• Research
• Open Access

# An implicitly defined iterative sequence for monotone operators in Banach spaces

Journal of Inequalities and Applications20142014:181

https://doi.org/10.1186/1029-242X-2014-181

• Received: 31 October 2013
• Accepted: 22 April 2014
• Published:

## Abstract

Given a monotone operator in a Banach space, we show that an iterative sequence, which is implicitly defined by a fixed point theorem for mappings of firmly nonexpansive type, converges strongly to a minimum norm zero point of the given operator. Applications to a convex minimization problem and a variational inequality problem are also included.

MSC:47H05, 47J25, 47N10.

## Keywords

• Banach space
• convex minimization
• mapping of firmly nonexpansive type
• fixed point
• monotone operator
• proximal point method
• variational inequality

## 1 Introduction

Many nonlinear problems can be formulated as the problem of finding a zero point of a maximal monotone operator in a Banach space. The proximal point method, which was first introduced by Martinet  and generally studied by Rockafellar , is an iterative method for approximating a solution to this problem.

The proximal point method generates a sequence $\left\{{x}_{n}\right\}$ by ${x}_{1}\in X$ and
${x}_{n+1}={\left(J+{\lambda }_{n}A\right)}^{-1}J{x}_{n}$
(1.1)

for all $n\in \mathbb{N}$, where $A:X\to {2}^{{X}^{\ast }}$ is a maximal monotone operator, X is a smooth, strictly convex, and reflexive real Banach space, $J:X\to {X}^{\ast }$ is the normalized duality mapping, and $\left\{{\lambda }_{n}\right\}$ is a sequence of positive real numbers.

The following result was obtained in : If ${\sum }_{n=1}^{\mathrm{\infty }}{\lambda }_{n}=\mathrm{\infty }$, then $\left\{{x}_{n}\right\}$ is bounded if and only if ${A}^{-1}0$ is nonempty. Further, if X is uniformly convex, the norm of X is uniformly Gâteaux differentiable, ${A}^{-1}0$ is nonempty, ${inf}_{n}{\lambda }_{n}>0$, and J is weakly sequentially continuous, then $\left\{{x}_{n}\right\}$ converges weakly to an element of ${A}^{-1}0$. This is a generalization of the result due to Rockafellar  in Hilbert spaces. See also [4, 5] for some related results.

The aim of the present paper is to study the asymptotic behavior of the sequence $\left\{{x}_{n}\right\}$ generated by
${x}_{n}={\beta }_{n}{\left(J+{\lambda }_{n}A\right)}^{-1}J{x}_{n}$
(1.2)

for all $n\in \mathbb{N}$, where A, X, J, and $\left\{{\lambda }_{n}\right\}$ are the same as in (1.1) and $\left\{{\beta }_{n}\right\}$ is a sequence of $\left[0,1\right)$. Under some additional assumptions, we show that $\left\{{x}_{n}\right\}$ is well defined and is strongly convergent to an element of ${A}^{-1}0$ of minimal norm; see Theorem 3.5.

The schemes (1.1) and (1.2) above are similar to each other, though their properties are quite different. In fact, the former fails to converge strongly even in Hilbert spaces , whereas the latter converges strongly in Banach spaces. Further, the former is well defined since $\mathrm{R}\left(J+\lambda A\right)={X}^{\ast }$ for each $\lambda >0$, whereas the latter is not necessarily well defined. To study the well definedness and the asymptotic behavior of $\left\{{x}_{n}\right\}$ in (1.2), we exploit some techniques in [3, 7].

This paper is organized as follows: In Section 2, we give some definitions, recall some known results, and briefly study the existence of a zero point of a monotone operator. In Section 3, using the results in the previous section, we first obtain a convergence theorem for a monotone operator satisfying a range condition; see Theorem 3.1. Using this result, we show a convergence theorem for a maximal monotone operator; see Theorem 3.5. In Section 4, we apply Theorem 3.5 to a convex minimization problem and a variational inequality problem.

## 2 Preliminaries

Throughout the present paper, we denote by the set of all positive integers, the set of all real numbers, X a smooth, strictly convex, and reflexive real Banach space with dual ${X}^{\ast }$, $\parallel \cdot \parallel$ the norms of X and ${X}^{\ast }$, $〈x,{x}^{\ast }〉$ the value of ${x}^{\ast }\in {X}^{\ast }$ at $x\in X$, ${x}_{n}\to x$ the strong convergence of a sequence $\left\{{x}_{n}\right\}$ of X to $x\in X$, ${x}_{n}⇀x$ the weak convergence of a sequence $\left\{{x}_{n}\right\}$ of X to $x\in X$, $\overline{U}$ the norm closure of $U\subset X$, coU the convex hull of $U\subset X$, $\overline{co}\phantom{\rule{0.2em}{0ex}}U$ the closed convex hull of $U\subset X$, and ${S}_{X}$ the unit sphere of X, respectively.

Under the assumptions on X, we know that for each $x\in X$, there is a corresponding unique Jx in ${X}^{\ast }$ such that $〈x,Jx〉={\parallel x\parallel }^{2}$ and $\parallel Jx\parallel =\parallel x\parallel$. The mapping J is called the normalized duality mapping of X into ${X}^{\ast }$. We know the following: $J:X\to {X}^{\ast }$ is a bijection; $J\left(\alpha x\right)=\alpha Jx$ for all $\alpha \in \mathbb{R}$ and $x\in X$; J is norm-to-weak continuous, that is, $J{x}_{n}⇀Jx$ whenever $\left\{{x}_{n}\right\}$ is a sequence of X such that ${x}_{n}\to x\in X$; J is strictly monotone, that is, $〈x-y,{x}^{\ast }-{y}^{\ast }〉>0$ for all distinct $x,y\in X$. The norm of X is said to be uniformly Gâteaux differentiable if the limit
$\underset{t\to 0}{lim}\frac{\parallel x+ty\parallel -\parallel x\parallel }{t}$
(2.1)

converges uniformly in $x\in {S}_{X}$ for all $y\in {S}_{X}$. The space X is said to be uniformly convex if for each $\epsilon \in \left(0,2\right]$, there exists $\delta >0$ such that $\parallel \left(x+y\right)/2\parallel \le 1-\delta$ whenever $x,y\in {S}_{X}$ and $\parallel x-y\parallel \ge \epsilon$. The space X is said to have the Kadec-Klee property if ${x}_{n}\to x$ whenever $\left\{{x}_{n}\right\}$ is a sequence of X such that ${x}_{n}⇀x\in X$ and $\parallel {x}_{n}\parallel \to \parallel x\parallel$. Every uniformly convex Banach space is both strictly convex and reflexive and has the Kadec-Klee property; see [8, 9].

For a nonempty closed convex subset C of X and $x\in X$, there exists a unique point $\stackrel{ˆ}{x}$ in C such that $\parallel \stackrel{ˆ}{x}-x\parallel \le \parallel y-x\parallel$ for all $y\in C$. The metric projection ${P}_{C}$ of X onto C is defined by ${P}_{C}x=\stackrel{ˆ}{x}$ for all $x\in X$. It is well known  that
$z={P}_{C}\left(x\right)\phantom{\rule{1em}{0ex}}⟺\phantom{\rule{1em}{0ex}}\underset{y\in C}{sup}〈y-z,J\left(x-z\right)〉\le 0$
(2.2)
for $\left(x,z\right)\in X×C$. The function $\varphi :X×X\to \mathbb{R}$ is defined by
$\varphi \left(x,y\right)={\parallel x\parallel }^{2}-2〈x,Jy〉+{\parallel y\parallel }^{2}$
(2.3)
for all $x,y\in X$; see [10, 11]. If X is a Hilbert space, then $\varphi \left(x,y\right)={\parallel x-y\parallel }^{2}$ for all $x,y\in X$. It is easy to see that
${\left(\parallel x\parallel -\parallel y\parallel \right)}^{2}\le \varphi \left(x,y\right)$
(2.4)
and
$\varphi \left(x,y\right)+\varphi \left(y,x\right)=2〈x-y,Jx-Jy〉$
(2.5)

for all $x,y\in X$.

Let C be a nonempty subset of X and $T:C\to X$ a mapping. The set of all fixed points of T is denoted by $\mathrm{F}\left(T\right)$. The mapping T is said to be of firmly nonexpansive type  if
$〈Tx-Ty,JTx-JTy〉\le 〈Tx-Ty,Jx-Jy〉$
(2.6)

for all $x,y\in C$; see also . If X is a Hilbert space, then $T:C\to X$ is firmly nonexpansive if and only if it is of firmly nonexpansive type.

For an operator $A:X\to {2}^{{X}^{\ast }}$, the domain $\mathrm{D}\left(A\right)$, the range $\mathrm{R}\left(A\right)$, and the graph $\mathrm{G}\left(A\right)$ of A are defined by $\mathrm{D}\left(A\right)=\left\{x\in X:Ax\ne \mathrm{\varnothing }\right\}$, $\mathrm{R}\left(A\right)={\bigcup }_{x\in X}Ax$, and $\mathrm{G}\left(A\right)=\left\{\left(x,{x}^{\ast }\right)\in X×{X}^{\ast }:{x}^{\ast }\in Ax\right\}$, respectively. The operator A is said to be monotone if $〈x-y,{x}^{\ast }-{y}^{\ast }〉\ge 0$ whenever $\left(x,{x}^{\ast }\right),\left(y,{y}^{\ast }\right)\in \mathrm{G}\left(A\right)$. It is also said to be maximal monotone if A is monotone and there is no monotone operator $B:X\to {2}^{{X}^{\ast }}$ such that $A\ne B$ and $\mathrm{G}\left(A\right)\subset \mathrm{G}\left(B\right)$. Let C be a nonempty closed convex subset of X and $A:X\to {2}^{{X}^{\ast }}$ a monotone operator such that $\mathrm{D}\left(A\right)\subset C\subset {J}^{-1}\mathrm{R}\left(J+A\right)$. Then the mapping $T:C\to C$ defined by $Tx={\left(J+A\right)}^{-1}Jx$ for all $x\in C$ is of firmly nonexpansive type and $\mathrm{F}\left(T\right)={A}^{-1}0$; see [12, 14]. We know the following lemma.

Lemma 2.1 ()

Suppose that the norm of X is uniformly Gâteaux differentiable. Let C be a nonempty closed convex subset of X, $A:X\to {2}^{{X}^{\ast }}$ a monotone operator such that
$\mathrm{D}\left(A\right)\subset C\subset \bigcap _{\lambda >0}{J}^{-1}\mathrm{R}\left(J+\lambda A\right),$
(2.7)

$\left\{{\lambda }_{n}\right\}$ a sequence of $\left(0,\mathrm{\infty }\right)$ such that ${inf}_{n}{\lambda }_{n}>0$, and ${Q}_{{\lambda }_{n}}:C\to C$ the mapping defined by ${Q}_{{\lambda }_{n}}x={\left(J+{\lambda }_{n}A\right)}^{-1}Jx$ for all $x\in C$ and $n\in \mathbb{N}$. If $\left\{{x}_{n}\right\}$ is a sequence of C such that ${x}_{n}⇀u$ and ${x}_{n}-{Q}_{{\lambda }_{n}}{x}_{n}\to 0$, then u is an element of ${A}^{-1}0$.

We know the following result for mappings of firmly nonexpansive type.

Lemma 2.2 ()

Let C be a nonempty closed convex subset of X and $T:C\to C$ a mapping of firmly nonexpansive type. Then the following hold:
1. (i)

$\mathrm{F}\left(T\right)$ is nonempty if and only if $\left\{{T}^{n}x\right\}$ is bounded for some $x\in C$;

2. (ii)

$\mathrm{F}\left(T\right)$ is closed and convex.

Using Lemma 2.2, we can show the following.

Lemma 2.3 Let C be a nonempty closed convex subset of X and $T:C\to C$ a mapping of firmly nonexpansive type. Suppose that $\beta \in \left[0,1\right)$, $0\in C$, and $T\left(C\right)$ is bounded. Then the mapping βT has a unique fixed point.

Proof Set $S=\beta T$. Since J is monotone, T is of firmly nonexpansive type, and $\beta \in \left[0,1\right)$, we have
$\begin{array}{rl}0& \le 〈Sx-Sy,JSx-JSy〉={\beta }^{2}〈Tx-Ty,JTx-JTy〉\\ \le {\beta }^{2}〈Tx-Ty,Jx-Jy〉\\ =\beta 〈Sx-Sy,Jx-Jy〉\le 〈Sx-Sy,Jx-Jy〉\end{array}$
(2.8)

for all $x,y\in C$. This implies that S is of firmly nonexpansive type. Since C is convex, $0\in C$, and $\beta \in \left[0,1\right)$, we know that S is a mapping of C into itself. Further, since $S\left(C\right)=\beta T\left(C\right)$ and $T\left(C\right)$ is bounded, the sequence $\left\{{S}^{n}x\right\}$ is bounded for all $x\in C$. Thus Lemma 2.2 implies that $\mathrm{F}\left(S\right)$ is nonempty.

We next show that $\mathrm{F}\left(S\right)$ consists of one point. Suppose that $p,{p}^{\prime }\in \mathrm{F}\left(S\right)$. Then it follows from (2.8) that $\left(1-\beta \right)〈p-{p}^{\prime },Jp-J{p}^{\prime }〉=0$. Since $1-\beta >0$, we obtain $〈p-{p}^{\prime },Jp-J{p}^{\prime }〉=0$. Thus the strict monotonicity of J implies that $p={p}^{\prime }$. □

As a direct consequence of Lemmas 2.2 and 2.3, we obtain the following.

Corollary 2.4 Let $A:X\to {2}^{{X}^{\ast }}$ be a monotone operator such that $\mathrm{D}\left(A\right)$ is bounded and $\mathrm{D}\left(A\right)\subset C\subset {J}^{-1}\mathrm{R}\left(J+A\right)$ for some nonempty closed convex subset C of X. Then the following hold:
1. (i)

${A}^{-1}0$ is nonempty, closed, and convex;

2. (ii)
if $0\in C$ and $\beta \in \left[0,1\right)$, then there exists a unique $p\in C$ such that
$p=\beta {\left(J+A\right)}^{-1}Jp.$
(2.9)

Proof Let $T:C\to C$ be the mapping defined by $Tx={\left(J+A\right)}^{-1}Jx$ for all $x\in C$. Then we know that T is of firmly nonexpansive type and $T\left(C\right)\subset \mathrm{D}\left(A\right)$. Hence $\left\{{T}^{n}x\right\}$ is bounded for all $x\in C$. On the other hand, we know that $\mathrm{F}\left(T\right)={A}^{-1}0$. Therefore, part (i) follows from Lemma 2.2. Part (ii) follows from Lemma 2.3. □

## 3 Strong convergence of an iterative sequence

In this section, we first show the following strong convergence theorem for a monotone operator satisfying a range condition.

Theorem 3.1 Let X be a smooth, strictly convex, and reflexive real Banach space, C a nonempty closed convex subset of X such that $0\in C$, and $A:X\to {2}^{{X}^{\ast }}$ a monotone operator such that $\mathrm{D}\left(A\right)$ is bounded and
$\mathrm{D}\left(A\right)\subset C\subset \bigcap _{\lambda >0}{J}^{-1}\mathrm{R}\left(J+\lambda A\right).$
(3.1)
Let $\left\{{\lambda }_{n}\right\}$ be a sequence of positive real numbers, $\left\{{\beta }_{n}\right\}$ a sequence of $\left[0,1\right)$, and ${Q}_{{\lambda }_{n}}:C\to C$ the mapping defined by ${Q}_{{\lambda }_{n}}x={\left(J+{\lambda }_{n}A\right)}^{-1}Jx$ for all $x\in C$ and $n\in \mathbb{N}$. Then the following hold:
1. (i)

For each $n\in \mathbb{N}$, there exists a unique ${x}_{n}\in C$ such that ${x}_{n}={\beta }_{n}{Q}_{{\lambda }_{n}}{x}_{n}$;

2. (ii)

if X has the Kadec-Klee property, the norm of X is uniformly Gâteaux differentiable, ${inf}_{n}{\lambda }_{n}>0$, and ${lim}_{n}{\beta }_{n}=1$, then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${P}_{{A}^{-1}0}\left(0\right)$.

Part (i) of Theorem 3.1 follows from Corollary 2.4.

The proof of (i) of Theorem 3.1 Let $n\in \mathbb{N}$ be given and set $B={\lambda }_{n}A$. Then $B:X\to {2}^{{X}^{\ast }}$ is monotone and $\mathrm{D}\left(B\right)=\mathrm{D}\left(A\right)$. Thus we know that $\mathrm{D}\left(B\right)$ is bounded and $\mathrm{D}\left(B\right)\subset C\subset {J}^{-1}\mathrm{R}\left(J+B\right)$. Therefore, part (ii) of Corollary 2.4 ensures the conclusion. □

Before proving (ii) of Theorem 3.1, we show the following lemma.

Lemma 3.2 The following hold:
1. (i)

$〈{Q}_{{\lambda }_{n}}{x}_{n}-y,J{Q}_{{\lambda }_{n}}{x}_{n}〉\le 0$ for all $y\in {A}^{-1}0$ and $n\in \mathbb{N}$;

2. (ii)

$\varphi \left({Q}_{{\lambda }_{n}}{x}_{n},y\right)+\varphi \left(y,{Q}_{{\lambda }_{n}}{x}_{n}\right)\le 2〈y-{Q}_{{\lambda }_{n}}{x}_{n},Jy〉$ for all $y\in {A}^{-1}0$ and $n\in \mathbb{N}$.

Proof We show (i). Let $y\in {A}^{-1}0$ and $n\in \mathbb{N}$ be given. Since ${Q}_{{\lambda }_{n}}$ is of firmly nonexpansive type and ${Q}_{{\lambda }_{n}}y=y$, we know that
$〈{Q}_{{\lambda }_{n}}{x}_{n}-y,J{Q}_{{\lambda }_{n}}{x}_{n}-J{x}_{n}〉\le 0.$
(3.2)
On the other hand, by the definition of $\left\{{x}_{n}\right\}$, we also know that
$J{Q}_{{\lambda }_{n}}{x}_{n}-J{x}_{n}=J{Q}_{{\lambda }_{n}}{x}_{n}-J\left({\beta }_{n}{Q}_{{\lambda }_{n}}{x}_{n}\right)=\left(1-{\beta }_{n}\right)J{Q}_{{\lambda }_{n}}{x}_{n}.$
(3.3)

By (3.2), (3.3), and $1-{\beta }_{n}>0$, the result follows.

By (2.5) and (i), we have
$\begin{array}{rl}\varphi \left({Q}_{{\lambda }_{n}}{x}_{n},y\right)+\varphi \left(y,{Q}_{{\lambda }_{n}}{x}_{n}\right)& =2〈{Q}_{{\lambda }_{n}}{x}_{n}-y,J{Q}_{{\lambda }_{n}}{x}_{n}-Jy〉\\ \le 2〈{Q}_{{\lambda }_{n}}{x}_{n}-y,-Jy〉\end{array}$
(3.4)

for all $y\in {A}^{-1}0$ and $n\in \mathbb{N}$. Thus the result follows. □

We next show (ii) of Theorem 3.1.

The proof of (ii) of Theorem 3.1 Suppose that X has the Kadec-Klee property, the norm of X is uniformly Gâteaux differentiable, ${inf}_{n}{\lambda }_{n}>0$, and ${lim}_{n}{\beta }_{n}=1$. Set ${y}_{n}={Q}_{{\lambda }_{n}}{x}_{n}$ for all $n\in \mathbb{N}$. By (i) of Corollary 2.4, the set ${A}^{-1}0$ is nonempty, closed, and convex. Hence ${P}_{{A}^{-1}0}$ is well defined. We denote ${P}_{{A}^{-1}0}$ by P.

Since ${y}_{n}\in \mathrm{D}\left(A\right)$ for all $n\in \mathbb{N}$ and $\mathrm{D}\left(A\right)$ is bounded, $\left\{{y}_{n}\right\}$ is bounded. By the definition of $\left\{{x}_{n}\right\}$, we have $\parallel {x}_{n}\parallel ={\beta }_{n}\parallel {y}_{n}\parallel \le \parallel {y}_{n}\parallel$ for all $n\in \mathbb{N}$. Thus $\left\{{x}_{n}\right\}$ is also bounded.

Let $\left\{{x}_{{n}_{i}}\right\}$ be any subsequence of $\left\{{x}_{n}\right\}$. To see that ${x}_{n}\to P\left(0\right)$, it is sufficient to see that there exists a subsequence $\left\{{x}_{{n}_{{i}_{j}}}\right\}$ of $\left\{{x}_{{n}_{i}}\right\}$ which converges strongly to $P\left(0\right)$. Since X is reflexive and $\left\{{x}_{n}\right\}$ is a bounded sequence of C, there exist $u\in C$ and a subsequence $\left\{{x}_{{n}_{{i}_{j}}}\right\}$ of $\left\{{x}_{{n}_{i}}\right\}$ such that ${x}_{{n}_{{i}_{j}}}⇀u$. Since $\left\{{y}_{n}\right\}$ is bounded and ${lim}_{n}{\beta }_{n}=1$, we have
$\parallel {x}_{n}-{y}_{n}\parallel =\parallel {\beta }_{n}{y}_{n}-{y}_{n}\parallel =\left(1-{\beta }_{n}\right)\parallel {y}_{n}\parallel \to 0.$
(3.5)

Since ${inf}_{j}{\lambda }_{{n}_{{i}_{j}}}\ge {inf}_{n}{\lambda }_{n}>0$, Lemma 2.1 shows that u is an element of ${A}^{-1}0$. It also follows from (3.5) and ${x}_{{n}_{{i}_{j}}}⇀u$ that ${y}_{{n}_{{i}_{j}}}⇀u$.

We next show that ${x}_{{n}_{{i}_{j}}}\to u$. By (2.4) and (ii) of Lemma 3.2, we have
$\begin{array}{rl}{\left(\parallel {y}_{{n}_{{i}_{j}}}\parallel -\parallel u\parallel \right)}^{2}& \le \varphi \left({y}_{{n}_{{i}_{j}}},u\right)\\ \le \varphi \left({y}_{{n}_{{i}_{j}}},u\right)+\varphi \left(u,{y}_{{n}_{{i}_{j}}}\right)\le 2〈u-{y}_{{n}_{{i}_{j}}},Ju〉\to 0.\end{array}$
(3.6)

Thus we obtain $\parallel {y}_{{n}_{{i}_{j}}}\parallel \to \parallel u\parallel$. Since X has the Kadec-Klee property, we have ${y}_{{n}_{{i}_{j}}}\to u$. Consequently, it follows from (3.5) that ${x}_{{n}_{{i}_{j}}}\to u$.

We next show that $u=P\left(0\right)$. To see this, let $y\in {A}^{-1}0$ be given. Since J is norm-to-weak continuous and ${y}_{{n}_{{i}_{j}}}\to u$, we know that $J{y}_{{n}_{{i}_{j}}}⇀Ju$. On the other hand, by (i) of Lemma 3.2, we have
$〈{y}_{{n}_{{i}_{j}}}-y,J{y}_{{n}_{{i}_{j}}}〉\le 0$
(3.7)
for all $j\in \mathbb{N}$. Letting $j\to \mathrm{\infty }$ in (3.7), we obtain $〈u-y,Ju〉\le 0$ and hence
$\underset{y\in {A}^{-1}0}{sup}〈y-u,J\left(0-u\right)〉\le 0.$
(3.8)

Noting that $u\in {A}^{-1}0$, we have from (2.2) and (3.8) that $u=P\left(0\right)$. Therefore, we conclude that $\left\{{x}_{n}\right\}$ converges strongly to $P\left(0\right)$. □

As a direct consequence of Theorem 3.1, we obtain the following corollary.

Corollary 3.3 Let X be a smooth, strictly convex, and reflexive real Banach space, C a nonempty closed convex subset of X such that $0\in C$, $T:C\to C$ a mapping of firmly nonexpansive type such that $T\left(C\right)$ is bounded, $\left\{{\lambda }_{n}\right\}$ a sequence of positive real numbers, and $\left\{{\beta }_{n}\right\}$ a sequence of $\left[0,1\right)$. Then the following hold:
1. (i)

For each $n\in \mathbb{N}$, there exists a unique ${x}_{n}\in C$ such that ${x}_{n}={\beta }_{n}T{x}_{n}$;

2. (ii)

if X has the Kadec-Klee property, the norm of X is uniformly Gâteaux differentiable, and ${lim}_{n}{\beta }_{n}=1$, then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${P}_{\mathrm{F}\left(T\right)}\left(0\right)$.

Proof Let $A:X\to {2}^{{X}^{\ast }}$ be the mapping defined by $A=J{T}^{-1}-J$, where ${T}^{-1}:X\to {2}^{X}$ is defined by
${T}^{-1}x=\left\{\begin{array}{cc}\left\{u\in C:Tu=x\right\}\hfill & \left(x\in T\left(C\right)\right);\hfill \\ \mathrm{\varnothing }\hfill & \left(x\notin T\left(C\right)\right)\hfill \end{array}$
(3.9)

for all $x\in X$. Then, by , we know that the following hold:

• A is a monotone operator and ${A}^{-1}0=\mathrm{F}\left(T\right)$;

• $\mathrm{D}\left(A\right)=T\left(C\right)\subset C={J}^{-1}\mathrm{R}\left(J+A\right)$;

• $Tx={\left(J+A\right)}^{-1}Jx$ for all $x\in C$.

Thus the result follows from Theorem 3.1. □

Remark 3.4 In the case when C is bounded, Corollary 3.3 is reduced to the result obtained in .

Using Theorem 3.1, we can also show the following strong convergence theorem for a maximal monotone operator.

Theorem 3.5 Let X be a smooth, strictly convex, and reflexive real Banach space, $A:X\to {2}^{{X}^{\ast }}$ a maximal monotone operator such that $0\in \overline{\mathrm{D}\left(A\right)}$ and $\mathrm{D}\left(A\right)$ is bounded, $\left\{{\lambda }_{n}\right\}$ a sequence of positive real numbers, and $\left\{{\beta }_{n}\right\}$ a sequence of $\left[0,1\right)$. Then for each $n\in \mathbb{N}$, there exists a unique ${x}_{n}\in \overline{\mathrm{D}\left(A\right)}$ satisfying (1.2). Moreover, if X has the Kadec-Klee property, the norm of X is uniformly Gâteaux differentiable, ${inf}_{n}{\lambda }_{n}>0$, and ${lim}_{n}{\beta }_{n}=1$, then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${P}_{{A}^{-1}0}\left(0\right)$.

Proof The maximal monotonicity of A implies that $\mathrm{D}\left(A\right)$ is nonempty and hence so is $\overline{\mathrm{D}\left(A\right)}$. It is obvious that $\overline{\mathrm{D}\left(A\right)}$ is closed. It is well known  that $\overline{\mathrm{D}\left(A\right)}$ is convex. In fact, we know that
$\underset{\mu ↓0}{lim}{\left(I+\mu {J}^{-1}A\right)}^{-1}x=x$
(3.10)

for all $x\in \overline{co}\phantom{\rule{0.2em}{0ex}}\mathrm{D}\left(A\right)$, where I denotes the identity mapping on X; see [16, 17]. Since ${\left(I+\mu {J}^{-1}A\right)}^{-1}x\in \mathrm{D}\left(A\right)$ for all $\mu >0$ and $x\in X$, it follows from (3.10) that $\overline{co}\phantom{\rule{0.2em}{0ex}}\mathrm{D}\left(A\right)\subset \overline{\mathrm{D}\left(A\right)}$. Thus $\overline{co}\phantom{\rule{0.2em}{0ex}}\mathrm{D}\left(A\right)=\overline{\mathrm{D}\left(A\right)}$ and hence $\overline{\mathrm{D}\left(A\right)}$ is convex.

On the other hand, since A is maximal monotone, we know that $\mathrm{R}\left(J+\lambda A\right)={X}^{\ast }$ for all $\lambda >0$; see . Putting $C=\overline{\mathrm{D}\left(A\right)}$, we have
$\mathrm{D}\left(A\right)\subset C\subset X=\bigcap _{\lambda >0}{J}^{-1}\mathrm{R}\left(J+\lambda A\right).$
(3.11)

Noting that $0\in \overline{\mathrm{D}\left(A\right)}=C$, we obtain the desired result by Theorem 3.1. □

## 4 Results deduced from Theorem 3.5

In this final section, we study two applications of Theorem 3.5. Throughout this section, we suppose the following:

• X is a uniformly convex real Banach space whose norm is uniformly Gâteaux differentiable;

• $\left\{{\lambda }_{n}\right\}$ is a sequence of positive real numbers such that ${inf}_{n}{\lambda }_{n}>0$;

• $\left\{{\beta }_{n}\right\}$ is a sequence of $\left[0,1\right)$ such that ${lim}_{n}{\beta }_{n}=1$.

We first study a convex minimization problem. For a function $f:X\to \left(-\mathrm{\infty },\mathrm{\infty }\right]$, we denote by argminf or ${argmin}_{y\in X}f\left(y\right)$ the set of all $u\in X$ such that $f\left(u\right)=inff\left(X\right)$. In the case when $argminf=\left\{p\right\}$ for some $p\in X$, we identify argminf with p. The set of all $x\in X$ such that $f\left(x\right)\in \mathbb{R}$ is denoted by $\mathrm{D}\left(f\right)$. We denote by ∂f the subdifferential mapping of f; see [17, 19] for more details.

Corollary 4.1 Let $f:X\to \left(-\mathrm{\infty },\mathrm{\infty }\right]$ be a proper lower semicontinuous convex function such that $0\in \overline{\mathrm{D}\left(f\right)}$ and $\mathrm{D}\left(f\right)$ is bounded. Then for each $n\in \mathbb{N}$, there exists a unique ${x}_{n}\in \overline{\mathrm{D}\left(f\right)}$ such that
${x}_{n}={\beta }_{n}\underset{y\in X}{argmin}\left\{f\left(y\right)+\frac{1}{2{\lambda }_{n}}\varphi \left(y,{x}_{n}\right)\right\}.$
(4.1)

Moreover, the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${P}_{argminf}\left(0\right)$.

Proof Let $A:X\to {2}^{{X}^{\ast }}$ be the operator defined by $A=\partial f$. It is well known that A is maximal monotone  and ${A}^{-1}0=argminf$. Since $\mathrm{D}\left(f\right)$ is bounded and $\mathrm{D}\left(A\right)\subset \mathrm{D}\left(f\right)$, we know that $\mathrm{D}\left(A\right)$ is bounded. By Brøndsted and Rockafellar’s theorem , we know that $\overline{\mathrm{D}\left(f\right)}=\overline{\mathrm{D}\left(A\right)}$. Thus we have $0\in \overline{\mathrm{D}\left(A\right)}$. Further, the equality
${\left(J+\lambda A\right)}^{-1}Jx=\underset{y\in X}{argmin}\left\{f\left(y\right)+\frac{1}{2\lambda }\varphi \left(y,x\right)\right\}$
(4.2)

holds for all $\lambda >0$ and $x\in X$. Thus we know that ${x}_{n}={\beta }_{n}{\left(J+{\lambda }_{n}A\right)}^{-1}J{x}_{n}$ for all $n\in \mathbb{N}$. Consequently, Theorem 3.5 implies the conclusion. □

We finally study a variational inequality problem. For a nonempty closed convex subset C of X and an operator $B:C\to {X}^{\ast }$, we denote by $VI\left(C,B\right)$ the set of all $u\in C$ such that $〈y-u,Bu〉\ge 0$ for all $y\in C$. In the case when $VI\left(C,B\right)=\left\{p\right\}$ for some $p\in C$, we identify $VI\left(C,B\right)$ with p. The operator B is said to be hemicontinuous if the mapping $g:\left[0,1\right]\to {X}^{\ast }$ defined by $g\left(t\right)=B\left(tx+\left(1-t\right)y\right)$ for all $t\in \left[0,1\right]$ is continuous with respect to the weak* topology in ${X}^{\ast }$ for all $x,y\in C$.

Corollary 4.2 Let C be a nonempty bounded closed convex subset of X such that $0\in C$ and $B:C\to {X}^{\ast }$ a monotone and hemicontinuous operator. Then for each $n\in \mathbb{N}$, there exists a unique ${x}_{n}\in C$ such that
${x}_{n}={\beta }_{n}VI\left(C,B+\frac{1}{{\lambda }_{n}}\left(J-J{x}_{n}\right)\right).$
(4.3)

Moreover, the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${P}_{VI\left(C,B\right)}\left(0\right)$.

Proof Let $A:X\to {2}^{{X}^{\ast }}$ be the operator defined by
$A\left(x\right)=\left\{\begin{array}{cc}B\left(x\right)+\partial {i}_{C}\left(x\right)\hfill & \left(x\in C\right);\hfill \\ \mathrm{\varnothing }\hfill & \left(x\in X\setminus C\right)\hfill \end{array}$
(4.4)
for all $x\in X$, where ${i}_{C}$ denotes the indicator function of C. It is well known that A is maximal monotone , ${A}^{-1}0=VI\left(C,B\right)$, and $\mathrm{D}\left(A\right)=C$. Thus we know that $\mathrm{D}\left(A\right)$ is bounded and $0\in \mathrm{D}\left(A\right)$. Further, the equality
${\left(J+\lambda A\right)}^{-1}Jx=VI\left(C,B+\frac{1}{\lambda }\left(J-Jx\right)\right)$
(4.5)

holds for all $\lambda >0$ and $x\in X$. Thus we have ${x}_{n}={\beta }_{n}{\left(J+{\lambda }_{n}A\right)}^{-1}J{x}_{n}$ for all $n\in \mathbb{N}$. Consequently, Theorem 3.5 implies the conclusion. □

## Declarations

### Acknowledgements

The author would like to thank the anonymous referees for carefully reading the original version of the manuscript. The author is supported by Grant-in-Aid for Young Scientists No. 25800094 from the Japan Society for the Promotion of Science.

## Authors’ Affiliations

(1)
Department of Computer Science and Intelligent Systems, Oita University, Dannoharu, Oita-shi Oita, 870-1192, Japan

## References 