Now let's turn to the global convergence of the iteration () for our models. Actually, with the boundedness of \(\lbrace (u^k, y^k)\rbrace \)  proved above, by [1]} (Theorem 6.2), we can get the global convergence.
The following proposition will tell the convergence properties, i.e., Proposition REF , whose proof can be obtained by slight modifications of the proof in [2]} (Proposition 3.1) and is omitted here.
