A projection method for bilevel variational inequalities

Abstract

A fixed point iteration algorithm is introduced to solve bilevel monotone variational inequalities. The algorithm uses simple projection sequences. Strong convergence of the iteration sequences generated by the algorithm to the solution is guaranteed under some assumptions in a real Hilbert space.

MSC:65K10, 90C25.

1 Introduction

Let C be a nonempty closed convex subset of a real Hilbert space ℋ with the inner product $〈\cdot ,\cdot 〉$ and the norm $\parallel \cdot \parallel$. We denote weak convergence and strong convergence by notations ⇀ and →, respectively. The bilevel variational inequalities, shortly (BVI), are formulated as follows:

$$\text{Find }{x}^{\ast }\in Sol(G,C)\text{ such that }〈F\left(x^{\ast }\right),x-x^{\ast }〉\ge 0,\mathrm{\forall }x\in Sol(G,C),$$

where $G:\mathcal{H}\to \mathcal{H}$, $Sol(G,C)$ denotes the set of all solutions of the variational inequalities:

$$\text{Find }{y}^{\ast }\in C\text{ such that }〈G\left(y^{\ast }\right),y-y^{\ast }〉\ge 0,\mathrm{\forall }y\in C,$$

and $F:C\to \mathcal{H}$. We denote the solution set of problem (BVI) by Ω.

Bilevel variational inequalities are special classes of quasivariational inequalities (see [1–4]) and of equilibrium with equilibrium constraints considered in [5]. However, they cover some classes of mathematical programs with equilibrium constraints (see [6]), bilevel minimization problems (see [7]), variational inequalities (see [8–13]), minimum-norm problems of the solution set of variational inequalities (see [14, 15]), bilevel convex programming models (see [16]) and bilevel linear programming in [17].

Suppose that $f:\mathcal{H}\to \mathcal{R}$. It is well known in convex programming that if f is convex and differentiable on $Sol(G,C)$, then $x^{\ast }$ is a solution to

$$min\{f(x):x\in Sol(G,C)\}$$

if and only if $x^{\ast }$ is the solution to the bilevel variational inequalities $VI(\mathrm{\nabla }f,Sol(G,C))$, where ∇f is the gradient of f. Then the bilevel variational inequalities (BVI) are written in a form of mathematical programs with equilibrium constraints as follows:

$$\{\begin{array}{c}minf(x),\hfill \\ x\in \{y^{\ast }:〈G(y^{\ast }),z-y^{\ast }〉\ge 0,\mathrm{\forall }z\in C\}.\hfill \end{array}$$

If f, g are two convex and differentiable functions, then problem (BVI) (where $F:=\mathrm{\nabla }f$ and $G:=\mathrm{\nabla }g$) becomes the following bilevel minimization problem (see [7]):

$$\{\begin{array}{c}minf(x),\hfill \\ x\in argmin\{g(x):x\in C\}.\hfill \end{array}$$

In a special case $F(x)=x$ for all $x\in C$, problem (BVI) becomes the minimum-norm problems of the solution set of variational inequalities as follows:

$$\text{Find }{x}^{\ast }\in C\text{ such that }{x}^{\ast }={Pr}_{Sol(G,C)}(0),$$

where ${Pr}_{Sol(G,C)}(0)$ is the projection of 0 onto $Sol(G,C)$. A typical example is the least-squares solution to the constrained linear inverse problem in [18]. For solving this problem under the assumption that the subset $C\subseteq \mathcal{H}$ is nonempty closed convex, $G:C\to \mathcal{H}$ is α-inverse strongly monotone and $Sol(G,C)\ne \mathrm{\varnothing }$, Yao et al. in [14] introduced the following extended extragradient method:

$$\{\begin{array}{c}{x}^0\in C,\hfill \\ y^k={Pr}_C(x^k-\lambda G(x^k)-{\alpha }_k{x}^k),\hfill \\ x^{k+1}={Pr}_C[x^k-\lambda G(x^k)+\mu (y^k-x^k)],\mathrm{\forall }k\ge 0.\hfill \end{array}$$

They showed that under certain conditions over parameters, the sequence $\{x^k\}$ converges strongly to $\hat{x}={Pr}_{Sol(G,C)}(0)$.

Recently, Anh et al. in [19] introduced an extragradient algorithm for solving problem (BVI) in the Euclidean space ${\mathcal{R}}^n$. Roughly speaking the algorithm consists of two loops. At each iteration k of the outer loop, they applied the extragradient method for the lower variational inequality problem. Then, starting from the obtained iterate in the outer loop, they computed an ${ϵ}_k$-solution of problem $VI(G,C)$. The convergence of the algorithm crucially depends on the starting points $x^0$ and the parameters chosen in advance. More precisely, they presented the following scheme

$$\{\begin{array}{c}\text{Compute }{y}^k:={Pr}_C(x^k-{\alpha }_{k}G(x^k))\text{ and }{z}^k:={Pr}_C(x^k-{\alpha }_{k}G(y^k)).\hfill \\ \text{Inner iterations }j=0,1,\dots .\text{ Compute}\hfill \\ \{\begin{array}{c}{x}^{k,0}:=z^k-\lambda F(z^k),\hfill \\ y^{k,j}:={Pr}_C(x^{k,j}-{\delta }_{j}G(x^{k,j})),\hfill \\ x^{k,j+1}:={\alpha }_j{x}^{k,0}+{\beta }_j{x}^{k,j}+{\gamma }_j{Pr}_C(x^{k,j}-{\delta }_{j}G(y^{k,j})).\hfill \\ \text{If }\parallel x^{k,j+1}-{Pr}_{Sol(G,C)}(x^{k,0})\parallel \le {\overline{ϵ}}_k,\text{then set }{h}^k:=x^{k,j+1}\text{ and go to Step 3}.\hfill \\ \text{Otherwise, increase }j\text{ by }1.\hfill \end{array}\hfill \\ \text{Set }{x}^{k+1}:={\alpha }_{k}u+{\beta }_k{x}^k+{\gamma }_k{h}^k.\text{ Increase }k\text{ by }1\text{ and go to Step 1}.\hfill \end{array}$$

Under assumptions that F is strongly monotone and Lipschitz continuous, G is pseudomonotone and Lipschitz continuous on C, the sequences of parameters were chosen appropriately. They showed that two iterative sequences $\{x^k\}$ and $\{z^k\}$ converged to the same point $x^{\ast }$ which is a solution of problem (BVI). However, at each iteration of the outer loop, the scheme requires computing an approximation solution to a variational inequality problem.

There exist some other solution methods for bilevel variational inequalities when the cost operator has some monotonicity (see [16, 19–21]). In all of these methods, solving auxiliary variational inequalities is required. In order to avoid this requirement, we combine the projected gradient method in [10] for solving variational inequalities and the fixed point property that $x^{\ast }$ is a solution to problem $VI(F,C)$ if and only if it is a fixed point of the mapping ${Pr}_C(x-\lambda F(x))$, where $\lambda >0$. Then, the strong convergence of proposed sequences is considered in a real Hilbert space.

In this paper, we are interested in finding a solution to bilevel variational inequalities (BVI), where the operators F and G satisfy the following usual conditions:

(A₁) G is η-inverse strongly monotone on ℋ and F is β-strongly monotone on C.

(A₂) F is L-Lipschitz continuous on C.

(A₃) The solution set Ω of problem (BVI) is nonempty.

The purpose of this paper is to propose an algorithm for directly solving bilevel pseudomonotone variational inequalities by using the projected gradient method and fixed point techniques.

The rest of this paper is divided into two sections. In Section 2, we recall some properties for monotonicity, the metric projection onto a closed convex set and introduce in detail a new algorithm for solving problem (BVI). The third section is devoted to the convergence analysis for the algorithm.

2 Preliminaries

We list some well-known definitions and the projection under the Euclidean norm which will be used in our analysis.

Definition 2.1 Let C be a nonempty closed convex subset in ℋ. We denote the projection on C by ${Pr}_C(\cdot )$, i.e.,

$${Pr}_C(x)=argmin\{\parallel y-x\parallel :y\in C\},\mathrm{\forall }x\in \mathcal{H}.$$

The operator $\phi :C\to \mathcal{H}$ is said to be

• (i) γ-strongly monotone on C if for each $x,y\in C$,

  $$〈\phi (x)-\phi (y),x-y〉\ge \gamma {\parallel x-y\parallel }^2;$$

• (ii) η-inverse strongly monotone on C if for each $x,y\in C$,

  $$〈\phi (x)-\phi (y),x-y〉\ge \eta {\parallel \phi (x)-\phi (y)\parallel }^2;$$

• (iii) Lipschitz continuous with constant $L>0$ (shortly L-Lipschitz continuous) on C if for each $x,y\in C$,

  $$\parallel \phi (x)-\phi (y)\parallel \le L\parallel x-y\parallel .$$

If $\phi :C\to C$ and $L=1$, then φ is called nonexpansive on C.

We know that the projection ${Pr}_C(\cdot )$ has the following well-known basic properties.

Property 2.2

• (a) $\parallel {Pr}_C(x)-{Pr}_C(y)\parallel \le \parallel x-y\parallel$, $\mathrm{\forall }x,y\in \mathcal{H}$.

• (b) $〈x-{Pr}_C(x),y-{Pr}_C(x)〉\le 0$, $\mathrm{\forall }y\in C,x\in \mathcal{H}$.

• (c) ${\parallel {Pr}_C(x)-{Pr}_C(y)\parallel }^2\le {\parallel x-y\parallel }^2-{\parallel {Pr}_C(x)-x+y-{Pr}_C(y)\parallel }^2$, $\mathrm{\forall }x,y\in \mathcal{H}$.

To prove the main theorem of this paper, we need the following lemma.

Lemma 2.3 (see [21])

Let $A:\mathcal{H}\to \mathcal{H}$ be β-strongly monotone and L-Lipschitz continuous, $\lambda \in (0,1]$ and $\mu \in (0,\frac{2\beta }{L^2})$. Then the mapping $T(x):=x-\lambda \mu A(x)$ for all $x\in \mathcal{H}$ satisfies the inequality

$$\parallel T(x)-T(y)\parallel \le (1-\lambda \tau )\parallel x-y\parallel ,\mathrm{\forall }x,y\in \mathcal{H},$$

where $\tau =1-\sqrt{1-\mu (2\beta -\mu L^2)}\in (0,1]$.

Lemma 2.4 (see [22])

Let ℋ be a real Hilbert space, C be a nonempty closed and convex subset of ℋ and $S:C\to \mathcal{H}$ be a nonexpansive mapping. Then $I-S$ (I is the identity operator on ℋ) is demiclosed at $y\in \mathcal{H}$, i.e., for any sequence $(x^k)$ in C such that $x^k\rightharpoonup \overline{x}\in D$ and $(I-S)(x^k)\to y$, we have $(I-S)(\overline{x})=y$.

Lemma 2.5 (see [19])

Let $\{a_n\}$ be a sequence of nonnegative real numbers such that

$$a_{n+1}\le (1-{\gamma }_n)a_n+{\delta }_n,\mathrm{\forall }n\ge 0,$$

where $\{{\gamma }_n\}\subset (0,1)$ and $\{{\delta }_n\}$ is a sequence in ℛ such that

• (a) ${\sum }_{n=0}^{\mathrm{\infty }}{\gamma }_n=\mathrm{\infty }$,

• (b) ${lim\hspace{0.17em}sup}_{n\to \mathrm{\infty }}\frac{{\delta }_n}{{\gamma }_n}\le 0$ or ${\sum }_{n=0}^{\mathrm{\infty }}|{\delta }_n{\gamma }_n|<+\mathrm{\infty }$.

Then ${lim}_{n\to \mathrm{\infty }}{a}_n=0$.

Now we are in a position to describe an algorithm for problem (BVI). The proposed algorithm can be considered as a combination of the projected gradient and fixed point methods. Roughly speaking the algorithm consists of two steps. First, we use the well-known projected gradient method for solving the variational inequalities $VI(G,C):x^{k+1}={Pr}_C(x^k-\lambda G(x^k))$ ($k=0,1,\dots$), where $\lambda >0$ and $x^0\in C$. The method generates a sequence $(x^k)$ converging strongly to the unique solution of problem $VI(G,C)$ under assumptions that G is L-Lipschitz continuous and α-strongly monotone on C with the step-size $\lambda \in (0,\frac{2\alpha }{L^2})$. Next, we use the Banach contraction-mapping fixed-point principle for finding the unique fixed point of the contraction-mapping $T_{\lambda }=I-\lambda \mu F$, where F is β-strongly monotone and L-Lipschitz continuous, I is the identity mapping, $\mu \in (0,\frac{2\beta }{L^2})$ and $\lambda \in (0,1]$. The algorithm is presented in detail as follows.

Algorithm 2.6 (Projection algorithm for solving (BVI))

Step 0. Choose $x^0\in C$, $k=0$, a positive sequence $\{{\alpha }_k\}$, λ, μ such that

$$\{\begin{array}{c}0<{\alpha }_k\le min\{1,\frac{1}{\tau }\},\tau =1-\sqrt{1-\mu (2\beta -\mu L^2)},\hfill \\ {lim}_{k\to \mathrm{\infty }}{\alpha }_k=0,{lim}_{k\to \mathrm{\infty }}|\frac{1}{{\alpha }_{k+1}}-\frac{1}{{\alpha }_k}|=0,\hfill \\ {\sum }_{k=0}^{\mathrm{\infty }}{\alpha }_k=\mathrm{\infty },0<\lambda \le 2\eta ,0<\mu <\frac{2\beta }{L^2}.\hfill \end{array}$$

(2.1)

Step 1. Compute

$$\{\begin{array}{c}{y}^k:={Pr}_C(x^k-\lambda G(x^k)),\hfill \\ x^{k+1}=y^k-\mu {\alpha }_{k}F(y^k).\hfill \end{array}$$

Update $k:=k+1$, and go to Step 1.

Note that in the case $F(x)=0$ for all $x\in C$, Algorithm 2.6 becomes the projected gradient algorithm as follows:

$$x^{k+1}:={Pr}_C(x^k-\lambda G\left(x^k\right)).$$

3 Convergence results

In this section, we state and prove our main results.

Theorem 3.1 Let C be a nonempty closed convex subset of a real Hilbert space ℋ. Let two mappings $F:C\to \mathcal{H}$ and $G:\mathcal{H}\to \mathcal{H}$ satisfy assumptions (A₁)-(A₃). Then the sequences $(x^k)$ and $(y^k)$ in Algorithm 2.6 converge strongly to the same point $x^{\ast }\in \mathrm{\Omega }$.

Proof For conditions (2.1), we consider the mapping $S_k:\mathcal{H}\to \mathcal{H}$ defined by

$$S_k(x):={Pr}_C(x-\lambda G(x))-\mu {\alpha }_{k}F\left[{Pr}_C(x-\lambda G(x))\right],\mathrm{\forall }x\in \mathcal{H}.$$

Using Property 2.2(a), G is η-inverse strongly monotone and conditions (2.1), for each $x,y\in \mathcal{H}$, we have

$$\begin{array}{rcl}{\parallel {Pr}_C(x-\lambda G(x))-{Pr}_C(y-\lambda G(y))\parallel }^2& \le & {\parallel x-\lambda G(x)-y+\lambda G(y)\parallel }^2\\ =& {\parallel x-y\parallel }^2+{\lambda }^2{\parallel G(x)-G(y)\parallel }^2\\ -2\lambda 〈x-y,G(x)-G(y)〉\\ \le & {\parallel x-y\parallel }^2+\lambda (\lambda -2\eta ){\parallel G(x)-G(y)\parallel }^2\\ \le & {\parallel x-y\parallel }^2.\end{array}$$

(3.1)

Combining this and Lemma 2.3, we get

$$\begin{array}{rl}\parallel S_k(x)-S_k(y)\parallel =& \parallel {Pr}_C(x-\lambda G(x))-\mu {\alpha }_{k}F\left[{Pr}_C(x-\lambda G(x))\right]-{Pr}_C(y-\lambda G(y))\\ +\mu {\alpha }_{k}F\left[{Pr}_C(y-\lambda G(y))\right]\parallel \\ \le & (1-{\alpha }_k\tau )\parallel {Pr}_C(x-\lambda G(x))-{Pr}_C(y-\lambda G(y))\parallel \\ \le & (1-{\alpha }_k\tau )\parallel x-y\parallel ,\end{array}$$

(3.2)

where $\tau :=1-\sqrt{1-\mu (2\beta -\mu L^2)}$. Thus, $S_k$ is a contraction on ℋ. By the Banach contraction principle, there is the unique fixed point ${\xi }^k$ such that $S_k({\xi }^k)={\xi }^k$. For each $\hat{x}\in Sol(G,C)$, set

$$\hat{C}:=\{x\in \mathcal{H}:\parallel x-\hat{x}\parallel \le \frac{\mu \parallel F(\hat{x})\parallel }{\tau }\}.$$

Due to this and Property 2.2(a), we get that the mapping $S_k{Pr}_{\hat{C}}$ is contractive on ℋ. Then there exists the unique point $z^k$ such that $S_k[{Pr}_{\hat{C}}(z^k)]=z^k$. Set ${\overline{z}}^k={Pr}_{\hat{C}}(z^k)$. It follows from (3.2) that

$$\begin{array}{rcl}\parallel z^k-\hat{x}\parallel & =& \parallel S_k\left({\overline{z}}^k\right)-\hat{x}\parallel \\ \le & \parallel S_k\left({\overline{z}}^k\right)-S_k(\hat{x})\parallel +\parallel S_k(\hat{x})-\hat{x}\parallel \\ =& \parallel S_k\left({\overline{z}}^k\right)-S_k(\hat{x})\parallel +\parallel S_k(\hat{x})-{Pr}_C(\hat{x}-{\alpha }_{k}G(\hat{x}))\parallel \\ \le & (1-{\alpha }_k\tau )\parallel {\overline{z}}^k-\hat{x}\parallel +\mu {\alpha }_k\parallel F\left[{Pr}_C(\hat{x}-{\alpha }_{k}G(\hat{x}))\right]\parallel \\ \le & (1-{\alpha }_k\tau )\frac{\mu \parallel F(\hat{x})\parallel }{\tau }+\mu {\alpha }_k\parallel F(\hat{x})\parallel \\ =& \frac{\mu \parallel F(\hat{x})\parallel }{\tau }.\end{array}$$

Thus, $z^k\in \hat{C}$, $S_k[{Pr}_{\hat{C}}(z^k)]=S_k(z^k)=z^k$ and hence ${\xi }^k=z^k\in \hat{C}$. Therefore, there exists a subsequence $({\xi }^{k_i})$ of the sequence $({\xi }^k)$ such that ${\xi }^{k_i}\rightharpoonup \overline{\xi }$. Combining this and the assumption ${lim}_{k\to \mathrm{\infty }}{\alpha }_k=0$, we get

$$\begin{array}{rcl}\parallel {Pr}_C({\xi }^{k_i}-\lambda G\left({\xi }^{k_i}\right))-{\xi }^{k_i}\parallel & =& \parallel {Pr}_C({\xi }^{k_i}-\lambda G\left({\xi }^{k_i}\right))-S_{k_i}\left({\xi }^{k_i}\right)\parallel \\ =& \mu {\alpha }_{k_i}\parallel F\left[{Pr}_C({\xi }^{k_i}-\lambda G\left({\xi }^{k_i}\right))\right]\parallel \\ \to & 0\text{as }i\to \mathrm{\infty }.\end{array}$$

(3.3)

It follows from (3.1) that the mapping ${Pr}_C(\cdot -{\alpha }_{k}G(\cdot ))$ is nonexpansive on ℋ. Using Lemma 2.4, (3.3) and ${\xi }^{k_i}\rightharpoonup \overline{\xi }$, we obtain ${Pr}_C(\overline{\xi }-\lambda G(\overline{\xi }))=\overline{\xi }$, which implies $\overline{\xi }\in Sol(G,C)$. Now we will prove that ${lim}_{j\to \mathrm{\infty }}{\xi }^{k_j}=x^{\ast }\in Sol(\mathrm{BVI})$.

Set ${\overline{z}}^k={Pr}_C({\xi }^k-\lambda G({\xi }^k))$, $v^{\ast }=(\mu F-I)(x^{\ast })$ and $v^k=(\mu F-I)({\overline{z}}^k)$, where I is the identity mapping. Since $S_{k_j}({\xi }^{k_j})={\xi }^{k_j}$ and $x^{\ast }={Pr}_C(x^{\ast }-\lambda G(x^{\ast }))$, we have

$$(1-{\alpha }_{k_j})({\xi }^{k_j}-{\overline{z}}^{k_j})+{\alpha }_{k_j}({\xi }^{k_j}+v^{k_j})=0$$

and

$$(1-{\alpha }_{k_j})[I-{Pr}_C(\cdot -\lambda G(\cdot ))]\left(x^{\ast }\right)+{\alpha }_{k_j}(x^{\ast }+v^{\ast })={\alpha }_{k_j}(x^{\ast }+v^{\ast }).$$

Then

$$\begin{array}{rcl}-{\alpha }_{k_j}〈x^{\ast }+v^{\ast },{\xi }^{k_j}-x^{\ast }〉& =& (1-{\alpha }_{k_j})〈{\xi }^{k_j}-x^{\ast }-({\overline{z}}^{k_j}-x^{\ast }),{\xi }^{k_j}-x^{\ast }〉\\ +{\alpha }_{k_j}〈{\xi }^{k_j}-x^{\ast }+v^{k_j}-v^{\ast },{\xi }^{k_j}-x^{\ast }〉.\end{array}$$

(3.4)

By the Schwarz inequality, we have

$$\begin{array}{rcl}〈{\xi }^{k_j}-x^{\ast }-({\overline{z}}^{k_j}-x^{\ast }),{\xi }^{k_j}-x^{\ast }〉& \ge & {\parallel {\xi }^{k_j}-x^{\ast }\parallel }^2-\parallel {\overline{z}}^{k_j}-x^{\ast }\parallel \parallel {\xi }^{k_j}-x^{\ast }\parallel \\ \ge & {\parallel {\xi }^{k_j}-x^{\ast }\parallel }^2-{\parallel {\xi }^{k_j}-x^{\ast }\parallel }^2\\ =& 0\end{array}$$

(3.5)

and

$$\begin{array}{rcl}〈{\xi }^{k_j}-x^{\ast }+v^{k_j}-v^{\ast },{\xi }^{k_j}-x^{\ast }〉& \ge & {\parallel {\xi }^{k_j}-x^{\ast }\parallel }^2-\parallel v^{k_j}-v^{\ast }\parallel \parallel {\xi }^{k_j}-x^{\ast }\parallel \\ \ge & {\parallel {\xi }^{k_j}-x^{\ast }\parallel }^2-(1-\tau ){\parallel {\xi }^{k_j}-x^{\ast }\parallel }^2\\ =& \tau {\parallel {\xi }^{k_j}-x^{\ast }\parallel }^2.\end{array}$$

(3.6)

Combining (3.4), (3.5) and (3.6), we get

$$\begin{array}{rcl}-\tau {\parallel {\xi }^{k_j}-x^{\ast }\parallel }^2& \ge & 〈x^{\ast }+v^{\ast },{\xi }^{k_j}-x^{\ast }〉\\ =& \mu 〈F\left(x^{\ast }\right),{\xi }^{k_j}-x^{\ast }〉\\ =& \mu 〈F\left(x^{\ast }\right),{\xi }^{k_j}-\overline{\xi }〉+\mu 〈F\left(x^{\ast }\right),\overline{\xi }-x^{\ast }〉\\ \ge & \mu 〈F\left(x^{\ast }\right),{\xi }^{k_j}-\overline{\xi }〉.\end{array}$$

Then we have

$$\tau {\parallel {\xi }^{k_j}-x^{\ast }\parallel }^2\le \mu 〈F\left(x^{\ast }\right),\overline{\xi }-{\xi }^{k_j}〉.$$

Let $j\to \mathrm{\infty }$, and hence the sequence $\{{\xi }^{k_j}\}$ converges strongly to $x^{\ast }$. This implies that the sequence $\{{\xi }^k\}$ also converges strongly to $x^{\ast }$.

Otherwise, by using (3.2), we have

$$\begin{array}{rcl}\parallel x^k-{\xi }^k\parallel & \le & \parallel x^k-{\xi }^{k-1}\parallel +\parallel {\xi }^{k-1}-{\xi }^k\parallel \\ =& \parallel S_{k-1}\left(x^{k-1}\right)-S_{k-1}\left({\xi }^{k-1}\right)\parallel +\parallel {\xi }^{k-1}-{\xi }^k\parallel \\ \le & (1-{\alpha }_{k-1}\tau )\parallel x^{k-1}-{\xi }^{k-1}\parallel +\parallel {\xi }^{k-1}-{\xi }^k\parallel .\end{array}$$

(3.7)

Moreover, by Lemma 2.3, we have

$$\begin{array}{rl}\parallel {\xi }^{k-1}-{\xi }^k\parallel =& \parallel S_{k-1}\left({\xi }^{k-1}\right)-S_k\left({\xi }^k\right)\parallel \\ =& \parallel (1-{\alpha }_k){\overline{z}}^k-{\alpha }_k{v}^k-(1-{\alpha }_{k-1}){\overline{z}}^{k-1}+{\alpha }_{k-1}{v}^{k-1}\parallel \\ =& \parallel (1-{\alpha }_k)({\overline{z}}^k-{\overline{z}}^{k-1})-{\alpha }_k(v^k-v^{k-1})+({\alpha }_{k-1}-{\alpha }_k)({\overline{z}}^{k-1}+v^{k-1})\parallel \\ \le & (1-{\alpha }_k)\parallel {\overline{z}}^k-{\overline{z}}^{k-1}\parallel +{\alpha }_k\parallel v^k-v^{k-1}\parallel +|{\alpha }_{k-1}-{\alpha }_k|\mu \parallel F\left({\overline{z}}^{k-1}\right)\parallel \\ \le & (1-{\alpha }_k)\parallel {\overline{z}}^k-{\overline{z}}^{k-1}\parallel +{\alpha }_k\sqrt{1-\mu (2\beta -\mu L^2)}\parallel {\xi }^k-{\xi }^{k-1}\parallel \\ +|{\alpha }_{k-1}-{\alpha }_k|\mu \parallel F\left({\overline{z}}^{k-1}\right)\parallel \\ \le & (1-{\alpha }_k)\parallel {\xi }^k-{\xi }^{k-1}\parallel +{\alpha }_k\sqrt{1-\mu (2\beta -\mu L^2)}\parallel {\xi }^k-{\xi }^{k-1}\parallel \\ +|{\alpha }_{k-1}-{\alpha }_k|\mu \parallel F\left({\overline{z}}^{k-1}\right)\parallel .\end{array}$$

This implies that

$${\alpha }_k\tau \parallel {\xi }^{k-1}-{\xi }^k\parallel \le |{\alpha }_{k-1}-{\alpha }_k|\mu \parallel F\left({\overline{z}}^{k-1}\right)\parallel$$

and hence

$$\parallel {\xi }^k-{\xi }^{k-1}\parallel \le \frac{\mu |{\alpha }_{k-1}-{\alpha }_k|\parallel F({\overline{z}}^{k-1})\parallel }{{\alpha }_k\tau }.$$

So, we have

$$\parallel x^k-{\xi }^k\parallel \le (1-{\alpha }_{k-1}\tau )\parallel x^{k-1}-{\xi }^{k-1}\parallel +\frac{\mu |{\alpha }_{k-1}-{\alpha }_k|\parallel F({\overline{z}}^{k-1})\parallel }{{\alpha }_k\tau }.$$

Let

$${\delta }_k:=\frac{\mu |{\alpha }_k-{\alpha }_{k+1}|\parallel F({\overline{z}}^k)\parallel }{{\alpha }_k{\alpha }_{k+1}{\tau }^2},k\ge 0.$$

Then

$$\parallel x^k-{\xi }^k\parallel \le (1-{\alpha }_{k-1}\tau )\parallel x^{k-1}-{\xi }^{k-1}\parallel +{\alpha }_{k-1}\tau {\delta }_{k-1},\mathrm{\forall }k\ge 1.$$

Since $\{F({\overline{z}}^k)\}$ is bounded, $\parallel F({\overline{z}}^k)\parallel \le K$ for all $k\ge 0$, we have

$$\underset{k\to \mathrm{\infty }}{lim}{\delta }_k=\underset{k\to \mathrm{\infty }}{lim}\frac{\mu |{\alpha }_k-{\alpha }_{k+1}|\parallel F({\overline{z}}^k)\parallel }{{\alpha }_k{\alpha }_{k+1}{\tau }^2}\le \frac{\mu K}{{\tau }^2}\underset{k\to \mathrm{\infty }}{lim}|\frac{1}{{\alpha }_{k+1}}-\frac{1}{{\alpha }_k}|=0.$$

Applying Lemma 2.5, ${lim}_{k\to \mathrm{\infty }}\parallel x^k-{\xi }^k\parallel =0$. Combining this and the fact that the sequence $\{{\xi }^k\}$ converges strongly to $x^{\ast }$, the sequence $\{x^k\}$ also converges strongly to the unique solution to problem (BVI). □

Now we consider the special case $F(x)=x$ for all $x\in \mathcal{H}$. It is easy to see that F is Lipschitz continuous with constant $L=1$ and strongly monotone with constant $\beta =1$ on ℋ. Problem (BVI) becomes the minimum-norm problems of the solution set of the variational inequalities.

Corollary 3.2 Let C be a nonempty closed convex subset of a real Hilbert space ℋ. Let $G:\mathcal{H}\to \mathcal{H}$ be η-inverse strongly monotone. The iteration sequence $(x^k)$ is defined by

$$\{\begin{array}{c}{y}^k:={Pr}_C(x^k-\lambda G(x^k)),\hfill \\ x^{k+1}=(1-\mu {\alpha }_k)y^k.\hfill \end{array}$$

The parameters satisfy the following:

$$\{\begin{array}{c}0<{\alpha }_k\le min\{1,\frac{1}{\tau }\},\tau =1-|1-\mu |,\hfill \\ {lim}_{k\to \mathrm{\infty }}{\alpha }_k=0,{lim}_{k\to \mathrm{\infty }}|\frac{1}{{\alpha }_{k+1}}-\frac{1}{{\alpha }_k}|=0,\hfill \\ {\sum }_{k=0}^{\mathrm{\infty }}{\alpha }_k=\mathrm{\infty },0<\lambda \le 2\eta ,0<\mu <2.\hfill \end{array}$$

Then the sequences $\{x^k\}$ and $\{y^k\}$ converge strongly to the same point $\hat{x}={Pr}_{Sol(G,C)}(0)$.