Exact Augmented Lagrangians for Constrained Optimization Problems in Hilbert Spaces I: Theory | AMiner