• Research
• Open Access

# Modified Halpern-type iterative methods for relatively nonexpansive mappings and maximal monotone operators in Banach spaces

Fixed Point Theory and Applications20142014:237

https://doi.org/10.1186/1687-1812-2014-237

• Accepted: 18 November 2014
• Published:

## Abstract

We obtain the modified Halpern-type iterative method for finding a common element of the fixed point set of a relatively nonexpansive mapping and the zero set of a maximal monotone operator in a uniformly convex and uniformly smooth Banach space. Our results extend and improve the recent results of Chuang, Lin and Takahashi (J. Glob. Optim. 56:1591-1601, 2013) and Nilsrakoo and Saejung (Appl. Math. Comput. 217:6577-6586, 2011).

MSC:47H05, 47H09, 47J25.

## Keywords

• Halpern-type iterative method
• relatively nonexpansive mapping
• maximal monotone operator

## 1 Introduction

Let E be a smooth and real Banach space with the dual space ${E}^{\ast }$. For $x\in E$ and ${x}^{\ast }\in {E}^{\ast }$, we denote the value of ${x}^{\ast }$ at x by $〈x,{x}^{\ast }〉$. The function $\varphi :E×E\to \mathbb{R}$ [1, 2] is defined by
(1.1)
where J is the normalized duality mapping from E to ${E}^{\ast }$. Let C be a nonempty closed convex subset of E. For a mapping $T:C\to E$, the set of fixed points of T is denoted by $Fix\left(T\right)$. A point a in C is called an asymptotic fixed point of T if there exists a sequence $\left\{{x}_{n}\right\}$ such that ${x}_{n}⇀a$ and ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-T{x}_{n}\parallel =0$. The set of asymptotic fixed points is denoted by $\stackrel{ˆ}{Fix}\left(T\right)$. A mapping $T:C\to E$ is relatively nonexpansive (see [36]) if the following properties are satisfied:
1. (i)

$Fix\left(T\right)\ne \mathrm{\varnothing }$;

2. (ii)

$\varphi \left(p,Tx\right)\le \varphi \left(p,x\right)$ for all $p\in Fix\left(T\right)$, $x\in C$;

3. (iii)

$\stackrel{ˆ}{Fix}\left(T\right)=Fix\left(T\right)$.

If T satisfies (i) and (ii), then T is called relatively quasi-nonexpansive (see [7]). In a Hilbert space, relatively quasi-nonexpansive mappings coincide with quasi-nonexpansive mappings. Quasi-nonexpansive mappings are investigated by Chuang et al. [8], Yamada and Ogura [9], Kim [10], etc.

Iterative methods for finding the fixed points of relatively nonexpansive mappings have been studied by many researchers. Matsushita and Takahashi [11] established the Mann-type iteration for relatively nonexpansive mappings. Nilsrakoo and Saejung [12] constructed the Halpern-Mann iterative methods for relatively nonexpansive mappings and proved the strong convergence theorem. Matsushita and Takahashi [6] presented the hybrid methods for relatively nonexpansive mappings.

Let A be a maximal monotone operator from E to ${2}^{{E}^{\ast }}$. Several problems in nonlinear analysis and optimization can be formulated to find a point $x\in E$ such that $0\in Ax$. We denote by ${A}^{-1}0$ the set of all $x\in E$ with $0\in Ax$. There has been tremendous interest in developing the method for solving zero point problems of maximal monotone operators and related topics (see [1323]). Zeng et al. [2022] proposed hybrid proximal-type and hybrid shrinking projection algorithms for maximal monotone operators, relatively nonexpansive mappings and equilibrium problems. Klin-Eam et al. [23] introduced the Halpern iterative method for finding a common element of the zero point set of a maximal monotone operator and the fixed point set of a relatively nonexpansive mapping in a Banach space by using hybrid methods. It is helpful to point out that the methods in [2023] involve the generalized projections. However, even in Hilbert spaces, sometimes it is hard to compute the generalized projection.

Motivated by Chuang et al. [8] and Nilsrakoo and Saejung [12], we present the modified Halpern-type iterative method for finding a common element of the fixed point set of a relatively nonexpansive mapping and the zero set of a maximal monotone operator. This iterative method is practicable since it does not involve the generalized projections. Our results extend and improve the recent results of some authors.

The paper is organized as follows. Section 2 contains some important concepts and facts. Section 3 is devoted to introducing an iterative scheme and proving a strong convergence theorem. Section 4 provides some examples and numerical results.

## 2 Preliminaries

Throughout this paper, let all Banach spaces be real. Let E be a Banach space with the dual space ${E}^{\ast }$. The normalized duality mapping $J:E\to {2}^{{E}^{\ast }}$ is defined by
$Jx=\left\{{x}^{\ast }\in {E}^{\ast }:〈x,{x}^{\ast }〉={\parallel x\parallel }^{2}={\parallel {x}^{\ast }\parallel }^{2}\right\}$
(2.1)

for every $x\in E$. By the Hahn-Banach theorem, Jx is nonempty for all $x\in E$. In a Hilbert space, the normalized duality mapping J is the identity (see [24] for more details).

A Banach space E is said to be strictly convex if $\parallel \frac{x+y}{2}\parallel <1$ for all $x,y\in E$ with $\parallel x\parallel =\parallel y\parallel =1$ and $x\ne y$. It is said to be uniformly convex if for every $ϵ\in \left(0,2\right]$, there exists $\delta >0$ such that $\parallel \frac{x+y}{2}\parallel <1-\delta$ for all $x,y\in E$ with $\parallel x\parallel =\parallel y\parallel =1$ and $\parallel x-y\parallel \ge ϵ$. Let ${S}_{E}$ be the unit sphere of E, that is, ${S}_{E}:=\left\{x\in E:\parallel x\parallel =1\right\}$. A Banach space E is said to be smooth if
$\underset{t\to 0}{lim}\frac{\parallel x+ty\parallel -\parallel x\parallel }{t}$
(2.2)

exists for $x,y\in {S}_{E}$. It is said to be uniformly smooth if the limit (2.2) exists uniformly for $x,y\in {S}_{E}$. Let us list some well-known facts (see [24, 25]).

(p1) A Banach space E is uniformly smooth if and only if ${E}^{\ast }$ is uniformly convex.

(p2) If E is strictly convex, then J is one-to-one.

(p3) If E is smooth, then J is single-valued.

(p4) If E is reflexive, then J is onto.

(p5) If E is uniformly smooth, then J is uniformly norm-to-norm continuous on each bounded subset of E.

Let E be a smooth, strictly convex and reflexive Banach space. The function $\varphi :E×E\to \mathbb{R}$ defined by (1.1) satisfies
${\left(\parallel x\parallel -\parallel y\parallel \right)}^{2}\le \varphi \left(x,y\right)\le {\left(\parallel x\parallel +\parallel y\parallel \right)}^{2}$
(2.3)
and
$\varphi \left(x,{J}^{-1}\left(\lambda Jy+\left(1-\lambda \right)Jz\right)\right)\le \lambda \varphi \left(x,y\right)+\left(1-\lambda \right)\varphi \left(x,z\right)$
(2.4)

for $\lambda \in \left[0,1\right]$ and $x,y,z\in E$.

Let C be a nonempty closed convex subset of a smooth, strictly convex and reflexive Banach space E. From Alber [1] and Kamimura and Takahashi [2], the generalized projection ${\mathrm{\Pi }}_{C}$ from E onto C is defined by ${\mathrm{\Pi }}_{C}\left(x\right)=arg{min}_{z\in C}\varphi \left(z,x\right)$ for all $x\in E$. In a Hilbert space H, the generalized projection coincides with the nearest metric projection from H onto C.

Let A be a set-valued mapping from E to ${2}^{{E}^{\ast }}$ with graph $G\left(A\right)=\left\{\left(x,{x}^{\ast }\right):{x}^{\ast }\in Ax\right\}$ and domain $D\left(A\right)=\left\{x\in E:Ax\ne \mathrm{\varnothing }\right\}$. It is said to be monotone if $〈x-y,{x}^{\ast }-{y}^{\ast }〉\ge 0$ for all $\left(x,{x}^{\ast }\right),\left(y,{y}^{\ast }\right)\in G\left(A\right)$. A monotone operator is maximal if its graph is not properly contained in the graph of any other monotone operator. For a maximal monotone operator A and $r>0$, the resolvent of A is defined by ${J}_{r}x={\left(J+rA\right)}^{-1}Jx$ for $x\in E$. It is easy to see that ${A}^{-1}0=Fix\left({J}_{r}\right)$. The Yosida approximation ${A}_{r}$ of A is defined by ${A}_{r}x=\frac{Jx-J{J}_{r}x}{r}$ for $x\in E$. Note that $\left({J}_{r}x,{A}_{r}x\right)\in G\left(A\right)$.

The following lemmas are useful in the sequel.

Lemma 2.1 [19]

Let E be a reflexive, strictly convex and smooth Banach space, and let $V:E×{E}^{\ast }\to \mathbb{R}$ be defined by
$V\left(x,{x}^{\ast }\right)={\parallel x\parallel }^{2}-2〈x,{x}^{\ast }〉+{\parallel {x}^{\ast }\parallel }^{2}.$
Then

Lemma 2.2 [12]

If E is a uniformly smooth Banach space and $r>0$, then there exists a continuous, strictly increasing and convex function $g:\left[0,2r\right]\to \left[0,\mathrm{\infty }\right)$ such that $g\left(0\right)=0$ and
$\varphi \left(x,{J}^{-1}\left(\lambda Jy+\left(1-\lambda \right)Jz\right)\right)\le \lambda \varphi \left(x,y\right)+\left(1-\lambda \right)\varphi \left(x,z\right)-\lambda \left(1-\lambda \right)g\left(\parallel Jy-Jz\parallel \right)$

for all $\lambda \in \left[0,1\right]$, $x\in E$ and $y,z\in {B}_{r}=\left\{\upsilon \in E:\parallel \upsilon \parallel \le r\right\}$.

Lemma 2.3 [2]

Let E be a uniformly convex and smooth Banach space. Suppose that $\left\{{x}_{n}\right\}$ and $\left\{{y}_{n}\right\}$ are two sequences of E such that $\left\{{x}_{n}\right\}$ or $\left\{{y}_{n}\right\}$ is bounded. If $\varphi \left({x}_{n},{y}_{n}\right)\to 0$, then ${x}_{n}-{y}_{n}\to 0$.

Lemma 2.4 [2]

Let C be a nonempty closed convex subset of a reflexive, strictly convex and smooth Banach space E. If $x\in E$ and $\stackrel{ˆ}{x}\in E$, then
1. (1)

If $\stackrel{ˆ}{x}={\mathrm{\Pi }}_{C}x$ if and only if $〈y-\stackrel{ˆ}{x},J\stackrel{ˆ}{x}-Jx〉\ge 0$ for all $y\in C$;

2. (2)

$\varphi \left(y,{\mathrm{\Pi }}_{C}x\right)+\varphi \left({\mathrm{\Pi }}_{C}x,x\right)\le \varphi \left(y,x\right)$ for all $y\in C$.

Lemma 2.5 [19]

Let E be a strictly convex, smooth and reflexive Banach space, and let $A:E\to {2}^{{E}^{\ast }}$ be a maximal monotone operator with ${A}^{-1}0\ne \mathrm{\varnothing }$. Let ${J}_{r}={\left(J+rA\right)}^{-1}J$ for all $r>0$. Then

Lemma 2.6 [26]

Let $\left\{{a}_{n}\right\}$ be a sequence of nonnegative real numbers satisfying ${a}_{n+1}\le \left(1-{\alpha }_{n}\right){a}_{n}+{\alpha }_{n}{\beta }_{n}$, where
1. (i)

$\left\{{\alpha }_{n}\right\}\subset \left(0,1\right)$, ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$;

2. (ii)

${lim sup}_{n\to \mathrm{\infty }}{\beta }_{n}\le 0$.

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

Lemma 2.7 [27]

Let $\left\{{\mathrm{\Gamma }}_{n}\right\}$ be a sequence of real numbers that does not decrease at infinity in the sense that there exists a subsequence $\left\{{\mathrm{\Gamma }}_{{n}_{j}}\right\}$ of $\left\{{\mathrm{\Gamma }}_{n}\right\}$ such that ${\mathrm{\Gamma }}_{{n}_{j}}<{\mathrm{\Gamma }}_{{n}_{j}+1}$ for all $j\in \mathbb{N}$. Define the sequence ${\left\{\tau \left(n\right)\right\}}_{n\ge {n}_{0}}$ of integers as follows:
$\tau \left(n\right)=\underset{k}{max}\left\{k\le n:{\mathrm{\Gamma }}_{k}<{\mathrm{\Gamma }}_{k+1}\right\},$
where ${n}_{0}\in \mathbb{N}$ such that $\left\{k\le {n}_{0}:{\mathrm{\Gamma }}_{k}<{\mathrm{\Gamma }}_{k+1}\right\}\ne \mathrm{\varnothing }$. Then the following hold:
1. (1)

$\tau \left({n}_{0}\right)\le \tau \left({n}_{0}+1\right)\le \cdots$ and $\tau \left(n\right)\to \mathrm{\infty }$;

2. (2)

${\mathrm{\Gamma }}_{\tau \left(n\right)}\le {\mathrm{\Gamma }}_{\tau \left(n\right)+1}$ and ${\mathrm{\Gamma }}_{n}\le {\mathrm{\Gamma }}_{\tau \left(n\right)+1}$ for all $n\in \mathbb{N}$.

## 3 Strong convergence theorems

In this section, we present the modified Halpern-type iterative method for a relatively nonexpansive mapping and a maximal monotone operator in a uniformly convex and uniformly smooth Banach space.

Theorem 3.1 Let C be a nonempty closed convex subset of a uniformly smooth and uniformly convex Banach space E, and let $A:E\to {2}^{{E}^{\ast }}$ be a maximal monotone operator with $D\left(A\right)\subset C$. Assume that the mapping $T:C\to E$ is a relatively nonexpansive mapping such that $Fix\left(T\right)\cap {A}^{-1}0\ne \mathrm{\varnothing }$. Let ${q}_{1}\in E$ be arbitrary, and let $\left\{{x}_{n}\right\}$ be generated by
$\left\{\begin{array}{l}{x}_{n}={J}_{{r}_{n}}{q}_{n},\\ {q}_{n+1}={J}^{-1}\left({\alpha }_{n}J{u}_{n}+\left(1-{\alpha }_{n}\right)\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)JT{x}_{n}\right)\right),\end{array}$
(3.1)

where $\left\{{\alpha }_{n}\right\}$ and $\left\{{\beta }_{n}\right\}$ are sequences in $\left(0,1\right)$ and the sequence $\left\{{u}_{n}\right\}$ is contained in E. Suppose that the following conditions are satisfied:

(c1) ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$ and ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$;

(c2) ${lim inf}_{n\to \mathrm{\infty }}{\beta }_{n}\left(1-{\beta }_{n}\right)>0$;

(c3) ${lim}_{n\to \mathrm{\infty }}{u}_{n}=u$ for some $u\in E$;

(c4) $0.

Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${\mathrm{\Pi }}_{Fix\left(T\right)\cap {A}^{-1}0}u$.

Proof It follows from [[6], Proposition 2.4] that the set $Fix\left(T\right)$ is closed and convex. The set $Fix\left(T\right)\cap {A}^{-1}0$ is closed and convex since ${A}^{-1}0$ is closed and convex. For simplicity, we write $\mathrm{\Omega }:=Fix\left(T\right)\cap {A}^{-1}0$.

Set ${y}_{n}={J}^{-1}\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)JT{x}_{n}\right)$. For every $\omega \in \mathrm{\Omega }$, we have
$\varphi \left(\omega ,{y}_{n}\right)\le {\beta }_{n}\varphi \left(\omega ,{x}_{n}\right)+\left(1-{\beta }_{n}\right)\varphi \left(\omega ,T{x}_{n}\right)\le \varphi \left(\omega ,{x}_{n}\right)$
and
$\begin{array}{rl}\varphi \left(\omega ,{x}_{n+1}\right)& =\varphi \left(\omega ,{J}_{{r}_{n+1}}{q}_{n+1}\right)\\ \le \varphi \left(\omega ,{q}_{n+1}\right)\\ =\varphi \left(\omega ,{J}^{-1}\left({\alpha }_{n}J{u}_{n}+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)\right)\\ \le {\alpha }_{n}\varphi \left(\omega ,{u}_{n}\right)+\left(1-{\alpha }_{n}\right)\varphi \left(\omega ,{y}_{n}\right)\\ \le {\alpha }_{n}\varphi \left(\omega ,{u}_{n}\right)+\left(1-{\alpha }_{n}\right)\varphi \left(\omega ,{x}_{n}\right)\\ \le max\left\{\varphi \left(\omega ,{u}_{n}\right),\varphi \left(\omega ,{x}_{n}\right)\right\}.\end{array}$
The sequence $\left\{{u}_{n}\right\}$ is bounded according to condition (c3). It follows that there exists a positive number M such that $\varphi \left(\omega ,{u}_{n}\right)\le M$. Hence, by an easy inductive process, we have
$\varphi \left(\omega ,{x}_{n+1}\right)\le max\left\{\varphi \left(\omega ,{x}_{1}\right),M\right\},$

which yields that $\left\{{x}_{n}\right\}$ is bounded. So are $\left\{{y}_{n}\right\}$ and $\left\{{q}_{n}\right\}$.

Let $\overline{x}={\mathrm{\Pi }}_{Fix\left(T\right)\cap {A}^{-1}0}u$ and ${z}_{n}={q}_{n+1}={J}^{-1}\left({\alpha }_{n}J{u}_{n}+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)$. Lemma 2.1 implies that
$\begin{array}{r}\varphi \left(\overline{x},{x}_{n+1}\right)\\ \phantom{\rule{1em}{0ex}}=\varphi \left(\overline{x},{J}_{{r}_{n+1}}{q}_{n+1}\right)\\ \phantom{\rule{1em}{0ex}}\le \varphi \left(\overline{x},{J}^{-1}\left({\alpha }_{n}J{u}_{n}+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)\right)\\ \phantom{\rule{1em}{0ex}}=V\left(\overline{x},{\alpha }_{n}J{u}_{n}+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)\\ \phantom{\rule{1em}{0ex}}\le V\left(\overline{x},{\alpha }_{n}J{u}_{n}+\left(1-{\alpha }_{n}\right)J{y}_{n}-{\alpha }_{n}\left(J{u}_{n}-J\overline{x}\right)\right)\\ \phantom{\rule{2em}{0ex}}-2〈{J}^{-1}\left({\alpha }_{n}J{u}_{n}+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)-\overline{x},-{\alpha }_{n}\left(J{u}_{n}-J\overline{x}\right)〉\\ \phantom{\rule{1em}{0ex}}=V\left(\overline{x},{\alpha }_{n}J\overline{x}+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)+2{\alpha }_{n}〈{z}_{n}-\overline{x},J{u}_{n}-J\overline{x}〉\\ \phantom{\rule{1em}{0ex}}=\varphi \left(\overline{x},{J}^{-1}\left({\alpha }_{n}J\overline{x}+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)\right)+2{\alpha }_{n}〈{z}_{n}-\overline{x},J{u}_{n}-J\overline{x}〉\\ \phantom{\rule{1em}{0ex}}\le \left(1-{\alpha }_{n}\right)\varphi \left(\overline{x},{x}_{n}\right)+2{\alpha }_{n}〈{z}_{n}-\overline{x},J{u}_{n}-Ju+Ju-J\overline{x}〉\\ \phantom{\rule{1em}{0ex}}=\left(1-{\alpha }_{n}\right)\varphi \left(\overline{x},{x}_{n}\right)+2{\alpha }_{n}\left(〈{z}_{n}-\overline{x},J{u}_{n}-Ju〉+〈{z}_{n}-\overline{x},Ju-J\overline{x}〉\right).\end{array}$
(3.2)

We divide the rest of the proof into two cases.

Case 1. Suppose that there exists ${n}_{0}\in \mathbb{N}$ such that $\varphi \left(\overline{x},{x}_{n+1}\right)\le \varphi \left(\overline{x},{x}_{n}\right)$ for all $n\ge {n}_{0}$. Then the limit ${lim}_{n\to \mathrm{\infty }}\varphi \left(\overline{x},{x}_{n}\right)$ exists and
$\underset{n\to \mathrm{\infty }}{lim}\left(\varphi \left(\overline{x},{x}_{n+1}\right)-\varphi \left(\overline{x},{x}_{n}\right)\right)=0.$
(3.3)
It follows from Lemma 2.2 that there exists a continuous, strictly increasing and convex function $g:\left[0,2r\right]\to \left[0,\mathrm{\infty }\right)$ such that $g\left(0\right)=0$ and
$\varphi \left(\overline{x},{y}_{n}\right)\le \varphi \left(\overline{x},{x}_{n}\right)-{\beta }_{n}\left(1-{\beta }_{n}\right)g\left(\parallel JT{x}_{n}-J{x}_{n}\parallel \right),$
where $r={sup}_{n}\left\{\parallel {x}_{n}\parallel ,\parallel T{x}_{n}\parallel \right\}$. Hence, we have
$\begin{array}{r}\varphi \left(\overline{x},{x}_{n+1}\right)\\ \phantom{\rule{1em}{0ex}}\le {\alpha }_{n}\varphi \left(\overline{x},{u}_{n}\right)+\left(1-{\alpha }_{n}\right)\varphi \left(\overline{x},{y}_{n}\right)\\ \phantom{\rule{1em}{0ex}}\le {\alpha }_{n}\varphi \left(\overline{x},{u}_{n}\right)+\left(1-{\alpha }_{n}\right)\left[\varphi \left(\overline{x},{x}_{n}\right)-{\beta }_{n}\left(1-{\beta }_{n}\right)g\left(\parallel JT{x}_{n}-J{x}_{n}\parallel \right)\right]\\ \phantom{\rule{1em}{0ex}}\le \varphi \left(\overline{x},{x}_{n}\right)+{\alpha }_{n}L-\left(1-{\alpha }_{n}\right){\beta }_{n}\left(1-{\beta }_{n}\right)g\left(\parallel JT{x}_{n}-J{x}_{n}\parallel \right),\end{array}$
where $L={sup}_{n}\left\{\varphi \left(\overline{x},{u}_{n}\right)-\varphi \left(\overline{x},{x}_{n}\right)\right\}$. This yields that
$\left(1-{\alpha }_{n}\right){\beta }_{n}\left(1-{\beta }_{n}\right)g\left(\parallel JT{x}_{n}-J{x}_{n}\parallel \right)\le \varphi \left(\overline{x},{x}_{n}\right)-\varphi \left(\overline{x},{x}_{n+1}\right)+{\alpha }_{n}L.$
(3.4)
Therefore, we conclude that
$\underset{n\to \mathrm{\infty }}{lim}\parallel JT{x}_{n}-J{x}_{n}\parallel =0.$
This together with property (p5) gives that
$\underset{n\to \mathrm{\infty }}{lim}\parallel T{x}_{n}-{x}_{n}\parallel =0.$
(3.5)
Observe that
$\varphi \left(T{x}_{n},{y}_{n}\right)\le {\beta }_{n}\varphi \left(T{x}_{n},{x}_{n}\right)+\left(1-{\beta }_{n}\right)\varphi \left(T{x}_{n},T{x}_{n}\right)\to 0$
and
$\varphi \left({y}_{n},{z}_{n}\right)\le {\alpha }_{n}\varphi \left({y}_{n},{u}_{n}\right)+\left(1-{\alpha }_{n}\right)\varphi \left({y}_{n},{y}_{n}\right)\to 0.$
Lemma 2.3 implies that $T{x}_{n}-{y}_{n}\to 0$ and ${y}_{n}-{z}_{n}\to 0$. Thus, we get
$\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n}-{z}_{n}\parallel =0.$
(3.6)
Next, we prove that
$\underset{n\to \mathrm{\infty }}{lim sup}〈{z}_{n}-\overline{x},Ju-J\overline{x}〉\le 0.$
(3.7)
Thanks to (3.6), we have
$\underset{n\to \mathrm{\infty }}{lim sup}〈{z}_{n}-\overline{x},Ju-J\overline{x}〉=\underset{n\to \mathrm{\infty }}{lim sup}〈{x}_{n}-\overline{x},Ju-J\overline{x}〉.$
We choose a subsequence $\left\{{x}_{{n}_{j}}\right\}$ of $\left\{{x}_{n}\right\}$ such that
$\underset{n\to \mathrm{\infty }}{lim sup}〈{z}_{n}-\overline{x},Ju-J\overline{x}〉=\underset{j\to \mathrm{\infty }}{lim}〈{x}_{{n}_{j}}-\overline{x},Ju-J\overline{x}〉.$
(3.8)
In view of the boundedness of $\left\{{x}_{{n}_{j}}\right\}$, without loss of generality, we assume that ${x}_{{n}_{j}}⇀p$. Now we show that $p\in \mathrm{\Omega }$. According to the definition of T and (3.5), one has $p\in Fix\left(T\right)$. It is sufficient to show that $p\in {A}^{-1}0$. For all $\left(h,{h}^{\ast }\right)\in G\left(A\right)$, one has
$〈h-{J}_{{r}_{{n}_{j}}}{q}_{{n}_{j}},{h}^{\ast }-{A}_{{r}_{{n}_{j}}}{q}_{{n}_{j}}〉\ge 0.$
Lemma 2.5 implies that
$\begin{array}{rl}\varphi \left({x}_{n+1},{q}_{n+1}\right)& \le \varphi \left(\overline{x},{q}_{n+1}\right)-\varphi \left(\overline{x},{x}_{n+1}\right)\\ \le {\alpha }_{n}\varphi \left(\overline{x},{u}_{n}\right)+\left(1-{\alpha }_{n}\right)\varphi \left(\overline{x},{x}_{n}\right)-\varphi \left(\overline{x},{x}_{n+1}\right)\\ \le {\alpha }_{n}\left[\varphi \left(\overline{x},{u}_{n}\right)-\varphi \left(\overline{x},{x}_{n}\right)\right]+\varphi \left(\overline{x},{x}_{n}\right)-\varphi \left(\overline{x},{x}_{n+1}\right),\end{array}$
(3.9)
which yields that ${x}_{n+1}-{q}_{n+1}\to 0$, i.e.,
$\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n}-{q}_{n}\parallel =0.$
(3.10)
Consequently, we get
${A}_{{r}_{{n}_{j}}}{q}_{{n}_{j}}=\frac{\parallel J{q}_{{n}_{j}}-J{x}_{{n}_{j}}\parallel }{{r}_{{n}_{j}}}\to 0.$
Recall that ${x}_{{n}_{j}}={J}_{{r}_{{n}_{j}}}{q}_{{n}_{j}}⇀p$. Thus, the maximality of A implies $p\in {A}^{-1}0$. Indeed, we have $p\in \mathrm{\Omega }$. By (3.8) and Lemma 2.4, we have
$\begin{array}{rl}\underset{n\to \mathrm{\infty }}{lim sup}〈{z}_{n}-\overline{x},Ju-J\overline{x}〉& =\underset{j\to \mathrm{\infty }}{lim}〈{x}_{{n}_{j}}-\overline{x},Ju-J\overline{x}〉\\ =〈p-\overline{x},Ju-J\overline{x}〉\\ \le 0.\end{array}$

Thus, inequality (3.7) holds.

Using (3.2), (3.7) and Lemma 2.6, we see that the sequence $\left\{{x}_{n}\right\}$ converges strongly to $\overline{x}$.

Case 2. Suppose that there exists a subsequence $\left\{{n}_{j}\right\}$ of $\left\{n\right\}$ such that
$\varphi \left(\overline{x},{x}_{{n}_{j}}\right)<\varphi \left(\overline{x},{x}_{{n}_{j}+1}\right)$
for all $j\in \mathbb{N}$. By Lemma 2.7, there is a nondecreasing sequence such that $\tau \left(n\right)\to \mathrm{\infty }$,
$\varphi \left(\overline{x},{x}_{\tau \left(n\right)}\right)\le \varphi \left(\overline{x},{x}_{\tau \left(n\right)+1}\right)\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\varphi \left(\overline{x},{x}_{n}\right)\le \varphi \left(\overline{x},{x}_{\tau \left(n\right)+1}\right)$
for all $n\in \mathbb{N}$. Expression (3.4) implies that
$\begin{array}{r}\left(1-{\alpha }_{\tau \left(n\right)}\right){\beta }_{\tau \left(n\right)}\left(1-{\beta }_{\tau \left(n\right)}\right)g\left(\parallel JT{x}_{\tau \left(n\right)}-J{x}_{\tau \left(n\right)}\parallel \right)\\ \phantom{\rule{1em}{0ex}}\le \varphi \left(\overline{x},{x}_{\tau \left(n\right)}\right)-\varphi \left(\overline{x},{x}_{\tau \left(n\right)+1}\right)+{\alpha }_{\tau \left(n\right)}M.\end{array}$
(3.11)
Hence, we have
$\underset{n\to \mathrm{\infty }}{lim}\parallel T{x}_{\tau \left(n\right)}-{x}_{\tau \left(n\right)}\parallel =0.$
(3.12)
It follows from (3.6) that
$\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{\tau \left(n\right)}-{q}_{\tau \left(n\right)+1}\parallel =0.$
(3.13)
By (3.9), one has
$\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{\tau \left(n\right)+1}-{q}_{\tau \left(n\right)+1}\parallel =0.$
(3.14)
Combining (3.13) and (3.14) gives
$\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{\tau \left(n\right)+1}-{x}_{\tau \left(n\right)}\parallel =0.$
(3.15)
It follows from (3.13) and (3.15) that
$\begin{array}{r}\underset{n\to \mathrm{\infty }}{lim sup}〈{z}_{\tau \left(n\right)}-\overline{x},Ju-J\overline{x}〉\\ \phantom{\rule{1em}{0ex}}=\underset{j\to \mathrm{\infty }}{lim}〈{x}_{\tau \left({n}_{j}\right)}-\overline{x},Ju-J\overline{x}〉\\ \phantom{\rule{1em}{0ex}}=\underset{j\to \mathrm{\infty }}{lim}〈{x}_{\tau \left({n}_{j}\right)+1}-\overline{x},Ju-J\overline{x}〉.\end{array}$
(3.16)
An argument similar to the one in Case 1 shows that
$\underset{n\to \mathrm{\infty }}{lim sup}〈{z}_{\tau \left(n\right)}-\overline{x},Ju-J\overline{x}〉\le 0.$
(3.17)
By (3.2), we have
$\begin{array}{r}\varphi \left(\overline{x},{x}_{\tau \left(n\right)+1}\right)\\ \phantom{\rule{1em}{0ex}}\le \left(1-{\alpha }_{\tau \left(n\right)}\right)\varphi \left(\overline{x},{x}_{\tau \left(n\right)}\right)+2{\alpha }_{\tau \left(n\right)}\left(〈{z}_{\tau \left(n\right)}-\overline{x},J{u}_{\tau \left(n\right)}-Ju〉+〈{z}_{\tau \left(n\right)}-\overline{x},Ju-J\overline{x}〉\right),\end{array}$
(3.18)
which yields that
$\varphi \left(\overline{x},{x}_{\tau \left(n\right)}\right)\le 2\left(〈{z}_{\tau \left(n\right)}-\overline{x},J{u}_{\tau \left(n\right)}-Ju〉+〈{z}_{\tau \left(n\right)}-\overline{x},Ju-J\overline{x}〉\right).$

This together with (3.17) implies that $\varphi \left(\overline{x},{x}_{\tau \left(n\right)}\right)\to 0$. It follows from (3.18) that $\varphi \left(\overline{x},{x}_{\tau \left(n\right)+1}\right)\to 0$. Then we have ${x}_{n}\to \overline{x}$ according to the fact that $\varphi \left(\overline{x},{x}_{n}\right)\le \varphi \left(\overline{x},{x}_{\tau \left(n\right)+1}\right)$. The proof is completed. □

Remark 1 Letting $u=0$ in our result, we obtain the algorithm for minimal-norm solutions of the corresponding problem.

Remark 2 When $A=\partial {\delta }_{C}$ (that is, the subdifferential of the indicator function of C) and ${q}_{1}={x}_{1}$, Theorem 3.1 improves and extends the result of Nilsrakoo and Saejung [[12], Theorem 3.4] in which the variable ${u}_{n}$ is reduced to the constant u.

Now, we apply our result to the equilibrium problem. Let C be a nonempty closed convex subset of a uniformly smooth and uniformly convex Banach space E, and let f be a bifunction from $C×C$ to . The equilibrium problem is to find $\overline{x}\in C$ such that
(3.19)

The set of solutions of (3.19) is denoted by $EP\left(f\right)$. Numerous problems in physics, optimization and economics can be reduced to finding a solution of the equilibrium problem (for instance, see [28]). The equilibrium problem has been studied extensively (see [7, 8, 2833]).

For solving the equilibrium problem, we assume that the bifunction f satisfies the following conditions:

(a1) $f\left(x,x\right)=0$ for all $x\in C$;

(a2) f is monotone, i.e., $f\left(x,y\right)+f\left(y,x\right)\le 0$ for all $x,y\in C$;

(a3) For every $x,y,z\in C$, ${lim sup}_{t↓0}f\left(tz+\left(1-t\right)x,y\right)\le f\left(x,y\right)$;

(a4) $f\left(x,\cdot \right)$ is convex and lower semicontinuous for all $x\in C$.

Takahashi and Zembayashi [33] obtained the following result.

Proposition 3.2 [33]

Let C be a nonempty closed convex subset of a uniformly smooth and strictly convex Banach space E, and let f be a bifunction from $C×C$ to satisfying (a1)-(a4). For $r>0$, define a mapping ${T}_{r}:E\to {2}^{C}$ as follows:

for all $x\in E$. Then the following hold:

(r1) ${T}_{r}$ is single-valued;

(r2) ${T}_{r}$ is a firmly nonexpansive-type mapping, i.e., for $x,y\in E$, $〈{T}_{r}x-{T}_{r}y,Jx-Jy〉\ge 〈{T}_{r}x-{T}_{r}y,J{T}_{r}x-J{T}_{r}y〉$;

(r3) $Fix\left({T}_{r}\right)=EP\left(f\right)$;

(r4) $EP\left(f\right)$ is closed and convex.

We call ${T}_{r}$ the resolvent of f for $r>0$. The following result is a specialized case of the result of Aoyama et al. [[30], Theorem 3.5].

Proposition 3.3 Let C be a nonempty closed convex subset of a uniformly smooth and uniformly convex Banach space E, and let f be a bifunction from $C×C$ to satisfying (a1)-(a4). Let ${A}_{f}$ be a set-valued mapping of E into ${2}^{{E}^{\ast }}$ defined by
(3.20)

Then ${A}_{f}$ is a maximal monotone operator with $D\left({A}_{f}\right)\subset C$ and $EP\left(f\right)={A}_{f}^{-1}0$. Furthermore, for $r>0$, the resolvent ${T}_{r}$ of f coincides with the resolvent ${\left(J+r{A}_{f}\right)}^{-1}J$ of ${A}_{f}$.

Using Theorem 3.1 and Proposition 3.3, we get the following result.

Corollary 3.4 Let C be a nonempty closed convex subset of a uniformly smooth and uniformly convex Banach space E, and let f be a bifunction from $C×C$ to satisfying (a1)-(a4). Assume that the mapping $T:C\to E$ is a relatively nonexpansive mapping such that $Fix\left(T\right)\cap EP\left(f\right)\ne \mathrm{\varnothing }$. Let ${q}_{1}\in E$ and $\left\{{x}_{n}\right\}$ be generated by
(3.21)

where $\left\{{\alpha }_{n}\right\}$ and $\left\{{\beta }_{n}\right\}$ are sequences in $\left(0,1\right)$ and the sequence $\left\{{u}_{n}\right\}$ is contained in E. If conditions (c1)-(c4) are satisfied, then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${\mathrm{\Pi }}_{Fix\left(T\right)\cap EP\left(f\right)}u$.

Remark 3 Corollary 3.4 improves and extends Theorem 3.4 of Chuang et al. [8].

## 4 Numerical experiments

In this section, we give some examples and numerical results to illustrate our result in the preceding section.

Example 4.1 Let $E=\mathbb{R}$ and ${C}_{1}=\left[-4,4\right]$. The mapping ${T}_{1}:{C}_{1}\to E$ is defined by
(4.1)
We claim that ${T}_{1}$ is a relatively nonexpansive mapping. In fact, it follows from $Fix\left({T}_{1}\right)=\left\{0\right\}$ that
However, ${T}_{1}$ is not nonexpansive. To show this, it is sufficient to take $x=\frac{2}{3\pi }$ and $y=\frac{1}{\pi }$ (for more details, see [34]). Let ${A}_{1}$ be the subdifferential of the indicator function of ${C}_{1}$. It follows from [[35], Theorem A] that ${A}_{1}$ is a maximal monotone operator. The resolvent ${J}_{r}^{\left(1\right)}$ is the metric projection onto ${C}_{1}$, namely, for all $r>0$,
(4.2)
Let ${\alpha }_{n}=\frac{1}{n+1}$, ${\beta }_{n}=\frac{2}{3}-\frac{1}{n+1}$, ${u}_{n}=\frac{3n-1}{4n}$, and ${r}_{n}=\frac{1}{3}$. Then all the assumptions and conditions in Theorem 3.1 are satisfied. Given ${q}_{1}=-0.8$, the numerical result is shown in Figure 1.
Example 4.2 Let $E=\mathbb{R}$ and ${C}_{2}=\left[-0.5,0.5\right]$. The mapping ${T}_{2}:{C}_{2}\to E$ is defined by
(4.3)
It is a relatively nonexpansive mapping. Moreover, the mapping ${T}_{2}$ is nonexpansive. For all $x,y\in \left[-0.5,0.5\right]$, we see that
$|{T}_{2}x-{T}_{2}y|\le |{x}^{2}-{y}^{2}|\le |x+y|\cdot |x-y|\le |x-y|.$
Let ${A}_{2}$ be the subdifferential of the indicator function of ${C}_{2}$. By an argument similar to the one in Example 4.1, the resolvent ${J}_{r}^{\left(2\right)}$ is defined as follows.
(4.4)
Let ${\alpha }_{n}=\frac{1}{ln\left(n+2\right)}$, ${\beta }_{n}=\frac{1}{2}-\frac{1}{n+3}$, ${u}_{n}=\frac{sinn}{n+1}$, and ${r}_{n}=\frac{1}{6}$. Putting ${q}_{1}=1.5$, the numerical result is given in Figure 2.

Remark 4 Figures 1 and 2 show that when an iteration step n is greater than 100 and 60 in Examples 4.1 and 4.2 respectively, the term ${x}_{n}$ is close to the desired element. Therefore, our iterative method is effective.

## Declarations

### Acknowledgements

The authors would like to thank reviewers and editors for their valuable comments and suggestions. This work was supported by graduate funds of Beijing University of Technology (no. ykj-2013-9422).

## Authors’ Affiliations

(1)
College of Applied Sciences, Beijing University of Technology, Beijing, 100124, China

## References

1. Alber YI: Metric and generalized projection operators in Banach spaces: properties and applications. Lecture Notes in Pure and Applied Mathematics 178. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Edited by: Kartsatos AG. Dekker, New York; 1996:15–50.Google Scholar
2. Kamimura S, Takahashi W: Strong convergence of a proximal-type algorithm in a Banach space. SIAM J. Optim. 2003, 13: 938–945.
3. Butnariu D, Reich S, Zaslavski AJ: Asymptotic behavior of relatively nonexpansive operators in Banach spaces. J. Appl. Anal. 2001, 7: 151–174.
4. Butnariu D, Reich S, Zaslavski AJ: Weak convergence of orbits of nonlinear operators in reflexive Banach spaces. Numer. Funct. Anal. Optim. 2003, 24: 489–508. 10.1081/NFA-120023869
5. Censor Y, Reich S: Iterations of paracontractions and firmly nonexpansive operators with applications to feasibility and optimization. Optimization 1996, 37: 323–339. 10.1080/02331939608844225
6. Matsushita SY, Takahashi W: A strong convergence theorem for relatively nonexpansive mappings in a Banach space. J. Approx. Theory 2005, 134: 257–266. 10.1016/j.jat.2005.02.007
7. Qin XL, Cho YJ, Kang SM: Convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces. J. Comput. Appl. Math. 2009, 225: 20–30. 10.1016/j.cam.2008.06.011
8. Chuang CS, Lin LJ, Takahashi W: Halpern’s type iterations with perturbations in Hilbert spaces: equilibrium solutions and fixed points. J. Glob. Optim. 2013, 56: 1591–1601. 10.1007/s10898-012-9911-6
9. Yamada I, Ogura N: Hybrid steepest descent method for variational inequality problem over the fixed point set of certain quasi-nonexpansive mappings. Numer. Funct. Anal. Optim. 2004, 25: 619–655.
10. Kim GE: Weak and strong convergence theorems of quasi-nonexpansive mappings in a Hilbert space. J. Optim. Theory Appl. 2012, 152: 727–738. 10.1007/s10957-011-9924-1
11. Matsushita SY, Takahashi W: Weak and strong convergence theorems for relatively nonexpansive mappings in Banach spaces. Fixed Point Theory Appl. 2004, 2004(1):37–47.
12. Nilsrakoo W, Saejung S: Strong convergence theorems by Halpern-Mann iterations for relatively nonexpansive mappings in Banach spaces. Appl. Math. Comput. 2011, 217: 6577–6586. 10.1016/j.amc.2011.01.040
13. Rockafellar RT: Monotone operators and proximal point algorithm. SIAM J. Control Optim. 1976, 14: 877–898. 10.1137/0314056
14. Kamimura S, Takahashi W: Approximating solutions of maximal monotone operators in Hilbert spaces. J. Approx. Theory 2000, 106: 226–240. 10.1006/jath.2000.3493
15. Xu HK: A regularization method for the proximal point algorithm. J. Glob. Optim. 2006, 36: 115–125. 10.1007/s10898-006-9002-7
16. Ceng LC, Khan AR, Ansari QH, Yao JC: Strong convergence of composite iterative schemes for zeros of m -accretive operators in Banach spaces. Nonlinear Anal. 2009, 70: 1830–1840. 10.1016/j.na.2008.02.083
17. Ceng LC, Ansari QH, Schaible S, Yao JC: Hybrid viscosity approximation method for zeros of m -accretive operators in Banach spaces. Numer. Funct. Anal. Optim. 2012, 33: 142–165. 10.1080/01630563.2011.594197
18. Saejung S: A supplement to a regularization method for the proximal point algorithm. J. Glob. Optim. 2013, 56: 121–129. 10.1007/s10898-012-9931-2
19. Kohsaka F, Takahashi W: Strong convergence of an iterative sequence for maximal monotone operators in a Banach space. Abstr. Appl. Anal. 2004, 2004(3):239–249. 10.1155/S1085337504309036
20. Zeng LC, Ansari QH, Shyu DS, Yao JC: Strong and weak convergence theorems for common solutions of generalized equilibrium problems and zeros of maximal monotone operators. Fixed Point Theory Appl. 2010., 2010: Article ID 590278Google Scholar
21. Ceng LC, Ansari QH, Yao JC: Hybrid proximal-type and hybrid shrinking projection algorithms for equilibrium problems, maximal monotone operators, and relatively nonexpansive mappings. Numer. Funct. Anal. Optim. 2010, 31: 763–797. 10.1080/01630563.2010.496697
22. Zeng LC, Ansari QH, Al-Homidan S: Hybrid proximal-type algorithms for generalized equilibrium problems, maximal monotone operators, and relatively nonexpansive mappings. Fixed Point Theory Appl. 2011., 2011: Article ID 973028Google Scholar
23. Klin-Eam C, Suantai S, Takahashi W: Generalized projection algorithms for maximal monotone operators and relatively nonexpansive mappings in Banach spaces. Taiwan. J. Math. 2011, 15: 1227–1246.
24. Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic, Dordrecht; 1990.
25. Agarwal RP, O’Regan D, Sahu DR: Fixed Point Theory for Lipschitzian-Type Mappings with Applications. Springer, Berlin; 2009.Google Scholar
26. Xu HK: Another control condition in an iterative method for nonexpansive mappings. Bull. Aust. Math. Soc. 2002, 65: 109–113. 10.1017/S0004972700020116
27. Mainge PE: Strong convergence of projected subgradient methods for nonsmooth and nonstrictly convex minimization. Set-Valued Anal. 2008, 16: 899–912. 10.1007/s11228-008-0102-z
28. Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994, 63: 123–145.
29. Combettes PL, Hirstoaga SA: Equilibrium programming in Hilbert spaces. J. Nonlinear Convex Anal. 2005, 6: 117–136.
30. Aoyama K, Kimura Y, Takahashi W: Maximal monotone operators and maximal monotone functions for equilibrium problems. J. Convex Anal. 2008, 15: 395–409.
31. Wu HC, Cheng CZ: Iterative methods for equilibrium problems and monotone inclusion problems in Hilbert spaces. J. Appl. Math. 2013., 2013: Article ID 280909Google Scholar
32. Wu HC, Cheng CZ: Approximations for equilibrium problems and nonexpansive semigroups. Abstr. Appl. Anal. 2014., 2014: Article ID 351372Google Scholar
33. Takahashi W, Zembayashi K: Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces. Nonlinear Anal. 2009, 70: 45–57. 10.1016/j.na.2007.11.031
34. Kim GE: Weak and strong convergence for quasi-nonexpansive mappings in Banach spaces. Bull. Korean Math. Soc. 2012, 49: 799–813. 10.4134/BKMS.2012.49.4.799
35. Rockafellar RT: On the maximal monotonicity of subdifferential mappings. Pac. J. Math. 1970, 33: 209–216. 10.2140/pjm.1970.33.209