The following Theorem REF  can be found in [1]} (see Theorem 4.6 therein), which tells that the iteration sequence \(\lbrace (u^k, y^k)\rbrace \)  has a finite length and converges to a critical point.
