A note on Fejér-monotone sequences in product spaces and its applications to the dual convergence of augmented Lagrangian methods

In a recent Math. Program. paper, Eckstein and Silva proposed a new error criterion for the approximate solutions of augmented Lagrangian subproblems. Based on a saddle-point formulation of the primal and dual problems, they proved that dual sequences generated by augmented Lagrangians under this error criterion are bounded and that their limit points are dual solutions. In this note, we prove a new result about the convergence of Fejér-monotone sequences in product spaces (which seems to be interesting by itself) and, as a consequence, we obtain the full convergence of the dual sequence generated by augmented Lagrangians under Eckstein and Silva’s criterion.