Skip to main content

Some results on an infinite family of accretive operators in a reflexive Banach space

Abstract

The purpose of this article is to investigate a Halpern-like proximal point algorithm for common zero points of an infinite family of accretive operators. Possible computational errors are taken into account. Strong convergence theorems are established in a reflexive Banach space.

1 Introduction

The class of accretive operators is an important class of nonlinear operators. Interest in accretive operators stems mainly from their firm connection with equations of evolutions. It is well known that many physically significant problems can be modeled by initial value problems of the following form: \(x'(t)+Ax(t)=0\), \(x(0)=x_{0}\) where A is an accretive operator in an appropriate Banach space. Typical examples where such evolution equations occur can be found in the heat, wave or Schrödinger equations. If \(x(t)\) is dependent on t, then the above problem is reduced to \(Au=0 \) whose solutions correspond to the equilibrium points of the initial value problem. An early fundamental result in the theory of accretive operators, due to Browder [1], states that the initial value problem is solvable if A is locally Lipschitz and accretive on E. One of the most popular techniques for solving zero points of accretive operators is the proximal point algorithm, which was proposed by Martinet [2, 3] and generalized by Rockafellar [4, 5].

Halpern algorithm is efficient to study fixed points of nonexpansive mappings. The advantage of Halpern algorithm for nonexpansive mappings is that strong convergence is guaranteed without any compact assumptions or projections involved. Recently Halpern-like proximal point algorithms have been extensively studied by many authors; see [622] and the references therein.

In this article, we investigate common zeros of an infinite family of accretive operators based on a Halpern-like proximal point algorithm. Strong convergence theorems are established in a reflexive and strictly convex Banach space which has a weakly continuous duality mapping.

2 Preliminaries

Let \(R^{+}\) be the positive real number set. Let \(\varphi:[0,\infty]:=R^{+}\rightarrow R^{+}\) be a continuous strictly increasing function such that \(\varphi(0)=0\) and \(\varphi(t)\rightarrow\infty\) as \(t\rightarrow\infty\). This function φ is called a gauge function. Let E be a Banach space with the dual \(E^{*}\). The duality mapping \(J_{\varphi}:E\rightarrow E^{*}\) associated with a gauge function φ is defined by

$$J_{\varphi}(x)=\bigl\{ f^{*}\in E^{*}:\bigl\langle x,f^{*}\bigr\rangle =\Vert x \Vert \varphi\bigl(\Vert x\Vert \bigr), \bigl\Vert f^{*}\bigr\Vert = \varphi\bigl(\Vert x\Vert \bigr)\bigr\} , \quad \forall x\in E, $$

where \(\langle\cdot,\cdot\rangle\) denotes the generalized duality pairing. In the case that \(\varphi(t)=t\), we write J for \(J_{\varphi}\) and call J the normalized duality mapping.

Let \(U_{E}=\{x\in E: \Vert x\Vert =1\}\). The norm of E is said to be Gâteaux differentiable if the limit \(\lim_{t\rightarrow0}\frac{\Vert x+ty\Vert -\Vert x\Vert }{t} \) exists for each \(x,y\in U_{E}\). In this case, E is said to be smooth. The norm of E is said to be uniformly Gâteaux differentiable if for each \(y\in U_{E}\), the limit is attained uniformly for all \(x\in U_{E}\). The norm of E is said to be Fréchet differentiable if for each \(x\in U_{E}\), the limit is attained uniformly for all \(y\in U_{E}\). The norm of E is said to be uniformly Fréchet differentiable if the limit is attained uniformly for all \(x,y\in U_{E}\). It is well known that (uniform) Fréchet differentiability of the norm of E implies (uniform) Gâteaux differentiability of the norm of E. It is well known that if the norm of E is uniformly Gâteaux differentiable, then the duality mapping J is single-valued and uniformly norm to weak continuous on each bounded subset of E.

Following Browder [23], we say that a Banach space E has a weakly continuous duality mapping if there exists a gauge φ for which the duality mapping \(J_{\varphi}(x)\) is single-valued and weak-to-weak sequentially continuous (i.e., if \(\{x_{n}\}\) is a sequence in E weakly convergent to a point x, then the sequence \(J_{\varphi}(x_{n})\) converges weakly to \(J_{\varphi}\)). It is well known that \(l^{p}\) has a weakly continuous duality mapping with a gauge function \(\varphi(t)=t^{p-1}\) for all \(1< p<\infty\). Set

$$\Phi(t)=\int_{0}^{t}\varphi(\tau)\,d\tau,\quad \forall t\geq0, $$

then

$$J_{\varphi}(x)=\partial\Phi\bigl(\Vert x\Vert \bigr),\quad \forall x\in E, $$

where denotes the subdifferential in the sense of convex analysis.

Let \(\rho_{E}:[0,\infty)\rightarrow [0,\infty)\) be the modulus of smoothness of E by

$$\rho_{E}(t)=\sup\biggl\{ \frac{\Vert x+y\Vert -\Vert x-y\Vert }{2}-1:x\in U_{E}, \Vert y\Vert \leq t\biggr\} . $$

A Banach space E is said to be uniformly smooth if \(\frac{\rho _{E}(t)}{t}\rightarrow0\) as \(t\rightarrow0\). Let \(q>1\). E is said to be q-uniformly smooth if there exists a fixed constant \(c>0\) such that \(\rho_{E}(t)\leq ct^{q}\). If E is q-uniformly smooth, then \(q\leq 2\) and E is uniformly smooth, and hence the norm of E is uniformly Fréchet differentiable.

A Banach space E is said to be strictly convex if and only if

$$\Vert x\Vert =\Vert y\Vert =\bigl\Vert (1-\lambda)x+\lambda y\bigr\Vert $$

for \(x,y\in E\) and \(0<\lambda<1\) implies that \(x=y\).

E is said to be uniformly convex if for any \(\epsilon\in(0,2]\) there exists \(\delta>0\) such that for any \(x,y\in U_{E}\),

$$\Vert x-y\Vert \geq\epsilon\quad \mbox{implies}\quad \biggl\Vert \frac{x+y}{2} \biggr\Vert \leq1-\delta. $$

It is well known that a uniformly convex Banach space is reflexive and strictly convex.

Let D be a nonempty subset of C. Let \(Q_{D}:C\rightarrow D\). Q is said to be

  1. (1)

    contraction if \(Q_{D}^{2}=Q_{D}\);

  2. (2)

    sunny if for each \(x\in C\) and \(t\in(0,1)\), we have \(Q_{D} (tx+(1-t)Q_{D}x )=Q_{D}x\);

  3. (3)

    sunny nonexpansive retraction if \(Q_{D}\) is sunny, nonexpansive, and it is a contraction.

D is said to be a nonexpansive retract of C if there exists a nonexpansive retraction from C onto D. The following result, which was established in [24], describes a characterization of sunny nonexpansive retractions on a smooth Banach space.

Let E be a smooth Banach space and let C be a nonempty subset of E. Let \(Q_{C}:E\rightarrow C\) be a retraction and J be the normalized duality mapping on E. Then the following are equivalent:

  1. (1)

    \(Q_{C}\) is sunny and nonexpansive;

  2. (2)

    \(\Vert Q_{C}x-Q_{C}y\Vert ^{2}\leq\langle x-y,J(Q_{C}x-Q_{C}y)\rangle\), \(\forall x,y\in E\);

  3. (3)

    \(\langle x-Q_{C}x,J(y-Q_{C}x)\rangle\leq0\), \(\forall x\in E\), \(y\in C\).

It is well known that if E is a Hilbert space, then a sunny nonexpansive retraction \(Q_{C}\) is coincident with the metric projection from E onto C. Let C be a nonempty closed convex subset of a smooth Banach space E, let \(x\in E\) and let \(x_{0}\in C\). Then we have from the above that \(x_{0}=Q_{C}x\) if and only if \(\langle x-x_{0}, J(y-x_{0})\rangle\leq0\) for all \(y\in C\), where \(Q_{C}\) is a sunny nonexpansive retraction from E onto C.

Let C be a nonempty, closed, and convex subset of E. Let \(S:C\rightarrow C\) be a mapping. In this paper, we use \(F(S)\) to denote the set of fixed points of S. Recall that S is said to be α-contractive iff there exists a constant \(\alpha\in [0,1)\) such that \(\Vert Sx-Sy\Vert \leq\alpha \Vert x-y\Vert \), \(\forall x,y\in C\). S is said to be nonexpansive iff \(\Vert Sx-Sy\Vert \leq \Vert x-y\Vert \), \(\forall x,y\in C\). It is well known that many nonlinear problems can be reduced to the search for fixed points of nonexpansive mappings, for example, equilibrium problems, saddle point problems, and variational inequalities. Let K be a nonempty closed and convex subset of a smooth Banach space E. Recall the following variational inequality. Find a point \(u\in C\) such that \(\langle Au,J(v-u)\rangle\geq0\), \(\forall v\in C\). This problem is connected with fixed point problems of nonexpansvie mappings. From [25], we know that this variational inequality problem is equivalent to fixed point problems of nonlinear mapping \(Q_{K}(I-rA)\), where I is the identity mapping and r is a positive real number.

Let I denote the identity operator on E. An operator \(A\subset E\times E\) with domain \(D(A)=\{z\in E:Az\neq\emptyset\}\) and range \(R(A)=\bigcup\{Az:z\in D(A)\}\) is said to be accretive if for each \(x_{i}\in D(A)\) and \(y_{i}\in Ax_{i}\), \(i=1,2\), there exists \(j(x_{1}-x_{2})\in J(x_{1}-x_{2})\) such that \(\langle y_{1}-y_{2},j(x_{1}-x_{2})\rangle\geq0\). An accretive operator A is said to be m-accretive if \(R(I+rA)=E\) for all \(r>0\). In this paper, we use \(A^{-1}(0)\) to denote the set of zero points of A. For an accretive operator A, we can define a single-valued mapping \(J_{r}:R(I+rA)\rightarrow D(A)\) by \(J_{r}=(I+rA)^{-1} \) for each \(r>0\), which is called the resolvent of A.

Next, we give lemmas which play important roles in the article.

Lemma 2.1

[26]

Let E be a reflexive Banach space which has a weakly continuous duality map \(J_{\varphi}(x)\) with gauge φ. Let C be nonempty, closed, and convex subset of E. Let \(f:C\rightarrow C\) be an α-contractive mapping and let \(T: C\rightarrow C\) be a nonexpansive mapping. Let \(x_{t}\in C\) be the unique fixed point of the mapping \(tf+(1-t)T\), where \(t\in(0,1)\). Then T has a fixed point if and only if \(\{x_{t}\}\) remains bounded as \(t\rightarrow0^{+}\), and in this case, \(\{x_{t}\}\) converges as \(t\rightarrow0^{+}\) strongly to a fixed point \(\bar{x}\) of T, where \(\bar{x}\) is the unique solution to the following variational inequality: \(\langle f(\bar{x})-\bar{x},J_{\varphi}(p-\bar{x})\rangle\leq0\), \(\forall p\in\bigcap_{m=1}^{N} A_{m}^{-1}(0)\).

Lemma 2.2

[27]

Let C be a closed convex subset of a strictly convex Banach space E. Let \(S_{m}:C\rightarrow C\) be a nonexpansive mapping for each \(m\geq1\). Let \(\{\delta_{m}\}\) be a real number sequence in \((0,1)\) such that \(\sum_{m=1}^{\infty}\delta_{m}=1\). Suppose that \(\bigcap_{m=1}^{\infty}F(S_{m})\) is nonempty. Then the mapping \(\sum_{m=1}^{\infty}\delta_{m} S_{m}\) is nonexpansive with \(F(\sum_{m=1}^{\infty}\delta_{m} S_{m})=\bigcap_{m=1}^{\infty}F(S_{m})\).

The first part of the next lemma is an immediate consequence of the subdifferential inequality and the proof of the second part can be found in [28].

Lemma 2.3

Assume that a Banach space E has a weakly continuous duality mapping \(J_{\varphi}\) with a gauge φ.

  1. (i)

    For all \(x, y \in E\), the following inequality holds:

    $$\Phi\bigl(\Vert x+y\Vert \bigr)\leq\Phi\bigl(\Vert x\Vert \bigr)+\bigl\langle y, J_{\varphi}(x+y)\bigr\rangle . $$
  2. (ii)

    Assume that a sequence \(\{x_{n}\}\) in E converges weakly to a point \(x\in E\).

Then the following identity holds:

$$\limsup_{n\rightarrow\infty}\Phi\bigl(\Vert x_{n}-y\Vert \bigr) =\limsup_{n\rightarrow\infty}\Phi\bigl(\Vert x_{n}-x\Vert \bigr)+\Phi\bigl(\Vert y-x\Vert \bigr),\quad \forall x,y \in E. $$

Lemma 2.4

[29]

Let \(\{x_{n}\}\) and \(\{y_{n}\}\) be bounded sequences in a Banach space E and let \(\{\beta_{n}\}\) be a sequence in \([0,1]\) with \(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow\infty }\beta_{n}<1\). Suppose that \(x_{n+1}=(1-\beta_{n})y_{n}+\beta_{n}x_{n}\) for all \(n\geq0\) and

$$\limsup_{n\rightarrow\infty}\bigl(\Vert y_{n+1}-y_{n} \Vert -\Vert x_{n+1}-x_{n}\Vert \bigr)\leq0. $$

Then \(\lim_{n\rightarrow\infty} \Vert y_{n}-x_{n}\Vert =0\).

Lemma 2.5

[30]

Let \(\{a_{n}\}\), \(\{b_{n}\}\), \(\{c_{n}\}\), and \(\{ e_{n}\}\) be three nonnegative real sequences satisfying \(b_{n+1}\leq(1-a_{n})b_{n}+a_{n}c_{n}+e_{n}\), \(\forall n\geq n_{0}\), where \(n_{0}\) is some positive integer, \(\{a_{n}\}\) is a number sequence in \((0,1)\) such that \(\sum_{n=n_{0}}^{\infty}a_{n}=\infty\), \(\{c_{n}\}\) is a number sequence such that \(\limsup_{n\rightarrow\infty} c_{n}\leq0\) and \(\sum_{n=n_{0}}^{\infty}e_{n}=\infty\). Then \(\lim_{n\rightarrow\infty} a_{n}=0\).

3 Main results

Theorem 3.1

Let E be a reflexive and strictly convex Banach space which has a weakly continuous duality mapping \(J_{\varphi}\). Let \(A_{i}\) be an m-accretive operator in E with zeros for each \(i\geq 1\). Assume that \(\bigcap_{i=1}^{\infty}\overline{D(A_{i})}\) is convex and \(\bigcap_{i=1}^{\infty}A_{i}^{-1}(0)\) is not empty. Let f be an α-contraction on \(\bigcap_{i=1}^{\infty}\overline{D(A_{i})}\). Let \(\{\alpha_{n}\}\), \(\{\beta_{n}\}\), \(\{\gamma_{n}\}\), \(\{\alpha_{n}'\}\), \(\{ \beta_{n}'\}\), \(\{\gamma_{n}'\}\) and \(\{\delta_{n,i}\}\) be real number sequences in \((0,1)\). Let \(\{e_{n}\}\) be a bounded computational error in \(\bigcap_{i=1}^{\infty}\overline{D(A_{i})}\). Let \(\{x_{n}\}\) be a sequence in \(\bigcap_{i=1}^{\infty}\overline{D(A_{i})}\) generated by the following process:

$$\begin{cases} x_{1}\in\bigcap_{i=1}^{\infty}\overline{D(A_{i})}, \quad \textit{chosen arbitrarily},\\ y_{n}=\alpha_{n}'x_{n}+\beta_{n}'\sum_{i=1}^{\infty}\delta_{n,i}J_{r_{i}}x_{n}+\gamma _{n}'e_{n},\\ x_{n+1}=\alpha_{n} f(x_{n})+\beta_{n}x_{n}+\gamma_{n}y_{n}, \quad \forall n\geq1, \end{cases} $$

where \(J_{r_{i}}=(I+r_{i}A_{i})^{-1}\). Assume that the following conditions are satisfied:

  1. (1)

    \(\alpha_{n}+\beta_{n}+\gamma_{n}=\alpha_{n}'+\beta_{n}'+\gamma _{n}'=\sum_{i=1}^{\infty}\delta_{n,i}=1\);

  2. (2)

    \(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);

  3. (3)

    \(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow\infty}\beta_{n}<1\);

  4. (4)

    \(\sum_{n=1}^{\infty}\gamma_{n}'<\infty\), \(\lim_{n\rightarrow\infty}\delta_{n,i}=\delta_{i}\in(0,1)\).

Then \(\{x_{n}\}\) converges strongly to \(x=P_{\bigcap_{i=1}^{\infty}\overline {D(A_{i})}}f(x)\), where \(P_{\bigcap_{i=1}^{\infty}\overline{D(A_{i})}}\) is the sunny nonexpansive contraction onto \(\bigcap_{i=1}^{\infty}\overline{D(A_{i})}\).

Proof

The proof is split into four steps.

Step 1. Show that \(\{x_{n}\}\) is bounded.

Fixing \(p\in\bigcap_{i=1}^{\infty}A_{i}^{-1}(0)\), we get

$$\begin{aligned} \Vert y_{n}-p\Vert &\leq\alpha_{n}' \Vert x_{n}-p\Vert +\beta_{n}'\Biggl\Vert \sum_{i=1}^{\infty}\delta _{n,i}J_{r_{i}}x_{n}-p \Biggr\Vert +\gamma_{n}'\Vert e_{n}-p \Vert \\ &\leq\alpha_{n}'\Vert x_{n}-p\Vert + \beta_{n}'\sum_{i=1}^{\infty}\delta_{n,i}\Vert J_{r_{i}}x_{n}-p\Vert + \gamma_{n}'\Vert e_{n}-p\Vert \\ &\leq\bigl(\alpha_{n}'+\beta_{n}' \bigr)\Vert x_{n}-p\Vert +\gamma_{n}' \Vert e_{n}-p\Vert . \end{aligned}$$

It follows that

$$\begin{aligned} \Vert x_{n+1}-p\Vert \leq{}&\alpha_{n}\bigl\Vert f(x_{n})-p\bigr\Vert +\beta_{n}\Vert x_{n}-p\Vert +\gamma_{n}\Vert y_{n}-p\Vert \\ \leq{}&\alpha_{n}\alpha \Vert x_{n}-p\Vert + \alpha_{n}\bigl\Vert f(p)-p\bigr\Vert +\beta_{n}\Vert x_{n}-p\Vert \\ &{}+\gamma_{n}\Vert x_{n}-p\Vert +\gamma_{n}' \gamma_{n}\Vert e_{n}-p\Vert \\ \leq{}& \bigl(1-\alpha_{n}(1-\alpha) \bigr)\Vert x_{n}-p \Vert +\alpha_{n}(1-\alpha)\frac{\Vert f(p)-p\Vert }{1-\alpha}+\gamma_{n}'M_{1}, \end{aligned}$$

where \(M_{1}\) is some appropriate constant. This implies that

$$\Vert x_{n+1}-p\Vert \leq\max\biggl\{ \frac{\Vert f(p)-p\Vert }{1-\alpha}, \Vert x_{1}-p\Vert \biggr\} +\sum_{n=1}^{\infty}\gamma_{n}'M< \infty. $$

We find that \(\{x_{n}\}\) is bounded. It follows that \(\{y_{n}\}\) is also bounded. This completes Step 1.

Step 2. Show that \(\lim_{n\rightarrow\infty} \Vert x_{n+1}-x_{n}\Vert = 0\).

Putting \(z_{n}=\sum_{i=1}^{\infty}\delta_{n,i}J_{r_{i}}x_{n}\), we see that

$$\begin{aligned} \Vert y_{n}-y_{n-1}\Vert \leq{}&\Biggl\Vert \sum_{i=1}^{\infty}\delta_{n,i}J_{r_{i}}x_{n-1}- \sum_{i=1}^{\infty}\delta_{n-1,i}J_{r_{i}}x_{n-1} \Biggr\Vert \\ &{}+\Biggl\Vert \sum_{i=1}^{\infty}\delta_{n,i}J_{r_{i}}x_{n}-\sum _{i=1}^{\infty}\delta _{n,i}J_{r_{n}}x_{n-1} \Biggr\Vert \\ \leq{}&\sum_{i=1}^{\infty} \vert \delta_{n,i}-\delta_{n-1,i}\vert \Vert J_{r_{i}}x_{n-1} \Vert +\Vert x_{n}-x_{n-1}\Vert . \end{aligned}$$

Define \(\lambda_{n}:=\frac{x_{n+1}-\beta_{n}x_{n}}{1-\beta_{n}}\). This yields

$$\begin{aligned} \Vert \lambda_{n}-\lambda_{n-1}\Vert \leq{}& \frac{\alpha_{n}}{1-\beta_{n}}\bigl\Vert f(x_{n})-y_{n}\bigr\Vert + \frac{\alpha_{n-1} }{1-\beta_{n-1}}\bigl\Vert f(x_{n-1})-y_{n-1}\bigr\Vert + \Vert y_{n}-y_{n-1}\Vert \\ \leq{}&\frac{\alpha_{n}}{1-\beta_{n}}\bigl\Vert f(x_{n})-y_{n}\bigr\Vert +\frac{\alpha_{n-1} }{1-\beta_{n-1}}\bigl\Vert f(x_{n-1})-y_{n-1}\bigr\Vert +\Vert x_{n}-x_{n-1}\Vert \\ &{}+\sum_{i=1}^{\infty} \vert \delta_{n,i}-\delta_{n-1,i}\vert \Vert J_{r_{i}}x_{n-1} \Vert . \end{aligned}$$

Hence, we find that

$$\begin{aligned} \Vert \lambda_{n}-\lambda_{n-1}\Vert -\Vert x_{n}-x_{n-1}\Vert \leq{}&\frac{\alpha_{n}}{1-\beta_{n}}\bigl\Vert f(x_{n})-y_{n}\bigr\Vert +\frac{\alpha_{n-1} }{1-\beta_{n-1}}\bigl\Vert f(x_{n-1})-y_{n-1}\bigr\Vert \\ &{}+\sum_{i=1}^{\infty} \vert \delta_{n,i}-\delta_{n-1,i}\vert \Vert J_{r_{i}}x_{n-1} \Vert . \end{aligned}$$

Using restrictions (1), (2), and (3), we get

$$\limsup_{n\rightarrow\infty}\bigl(\Vert \lambda_{n}- \lambda_{n-1}\Vert -\Vert x_{n}-x_{n-1}\Vert \bigr)\leq0. $$

Using Lemma 2.5, we obtain \(\lim_{n\rightarrow\infty} \Vert \lambda_{n}-x_{n}\Vert = 0\). It follows that

$$ \lim_{n\rightarrow\infty} \Vert x_{n+1}-x_{n}\Vert = 0. $$
(3.1)

This completes Step 2.

Step 3. Show that \(\limsup_{n\rightarrow\infty}\langle f(x)-x,J_{\varphi}(x_{n}-x)\rangle\leq0\).

Define a mapping T by \(T:=\sum_{i=1}^{\infty}\delta_{i}J_{r_{i}}\). Using Lemma 2.1, we find that T is nonexpansive with \(F(T)=\bigcap_{i=1}^{\infty}F(J_{r_{i}})=\bigcap _{i=1}^{N} A_{i}^{-1}(0)\). Note that

$$\begin{aligned} &\Vert x_{n}-Tx_{n}\Vert \\ &\quad \leq \Vert x_{n}-x_{n+1}\Vert +\Vert x_{n+1}-Tx_{n}\Vert \\ &\quad \leq \Vert x_{n}-x_{n+1}\Vert +\alpha_{n} \bigl\Vert f(x_{n})-Tx_{n}\bigr\Vert + \beta_{n}\Vert x_{n}-Tx_{n}\Vert +\gamma _{n}\sum_{i=1}^{\infty} \vert \delta_{n,i}-\delta_{i}\vert \Vert J_{r_{i}}x_{n} \Vert . \end{aligned}$$

Using (3.1), we find from restrictions (2), (3), and (4) that

$$ \lim_{n\rightarrow\infty} \Vert Tx_{n}-x_{n}\Vert =0. $$
(3.2)

Take a subsequence \(\{x_{n_{j}}\}\) of \(\{x_{n}\}\) such that

$$ \limsup_{n\rightarrow\infty}\bigl\langle f(x)-x,J_{\varphi}(x_{n}-x) \bigr\rangle = \lim_{j\rightarrow\infty}\bigl\langle f(x)-x,J_{\varphi}(x_{n_{j}}- \bar{x})\bigr\rangle . $$
(3.3)

Since E is reflexive, we may further assume that \(x_{n_{j}}\rightharpoonup \hat{x}\) for some \(\hat{x}\in\bigcap_{i=1}^{\infty}\overline{D(A_{i})}\). Since \(J_{\varphi}\) is weakly continuous, we find from Lemma 2.1 that

$$\limsup_{j\rightarrow\infty}\Phi\bigl(\Vert x_{n_{j}}-x\Vert \bigr) =\limsup_{j\rightarrow\infty}\Phi\bigl(\Vert x_{n_{j}}-\hat{x} \Vert \bigr)+\Phi\bigl(\Vert x-\hat {x}\Vert \bigr),\quad \forall x\in E. $$

Putting \(f(x)=\limsup_{j\rightarrow\infty}\Phi(\Vert x_{n_{j}}-x\Vert )\), \(\forall x\in E\), we have

$$ f(x)=f(\hat{x})+\Phi\bigl(\Vert x-\hat{x}\Vert \bigr),\quad \forall x\in E. $$
(3.4)

It follows from (3.2) that

$$ \begin{aligned}[b] f(T\hat{x})&=\limsup_{j\rightarrow\infty}\Phi\bigl(\Vert x_{n_{j}}-T\hat{x}\Vert \bigr) \\ &\leq\limsup_{j\rightarrow\infty}\Phi\bigl(\Vert Tx_{n_{j}}-T\hat{x} \Vert \bigr) \\ &\leq\limsup_{j\rightarrow\infty}\Phi\bigl(\Vert x_{n_{j}}-\hat{x} \Vert \bigr) =f(\bar{x}). \end{aligned} $$
(3.5)

Note that \(f(T\hat{x})=f(\hat{x})+\Phi(\Vert T\hat{x}-\hat{x}\Vert )\). This yields from (3.5) \(\Phi(\Vert T\hat{x}-\hat{x}\Vert )\leq0\). This implies that \(\hat{x}\in F(T)=\bigcap_{i=1}^{N} A_{i}^{-1}(0)\). It follows that

$$ \limsup_{n\rightarrow\infty}\bigl\langle f(x)-x,J_{\varphi}(x_{n}-x) \bigr\rangle \leq0. $$
(3.6)

This completes Step 3.

Step 4. Show that \(x_{n}\rightarrow x\) as \(n\rightarrow\infty\).

Using Lemma 2.1, we find that

$$\begin{aligned} \Phi\bigl(\Vert x_{n+1}-x\Vert \bigr) ={}&\Phi\bigl(\bigl\Vert \alpha_{n}\bigl(f(x_{n})-f(x)\bigr)+ \alpha_{n}\bigl(f(x)-x\bigr)+\beta_{n}(x_{n}-x)+ \gamma _{n}(y_{n}-x)\bigr\Vert \bigr) \\ \leq{}&\Phi\bigl(\bigl\Vert \alpha_{n}\bigl(f(x_{n})-f(x) \bigr)+\beta_{n}(x_{n}-x)+\gamma_{n}(y_{n}-x) \bigr\Vert \bigr) \\ &{}+\alpha_{n}\bigl\langle f(x)-x,J_{\varphi}(x_{n+1}-x) \bigr\rangle \\ \leq{}&\bigl(1-\alpha_{n}(1-\alpha)\bigr)\Phi\bigl(\Vert x_{n}-\bar{x}\Vert \bigr)+\alpha_{n}\bigl\langle f(\bar {x})-\bar{x},J_{\varphi}(x_{n+1}-\bar{x})\bigr\rangle +M_{2} \gamma_{n}', \end{aligned}$$

where \(M_{2}\) is some appropriate constant. It follows from Lemma 2.4 that \(\Phi(\Vert x_{n}-x\Vert )\rightarrow0\). This implies that \(\lim_{n\rightarrow\infty} \Vert x_{n}-x\Vert =0\). This completes the proof. □

In the framework of Hilbert spaces, Theorem 3.1 is reduced to the following result.

Corollary 3.2

Let E be a Hilbert space. Let \(A_{i}\) be a maximal monotone operator in E with zeros for each \(i\geq 1\). Assume that \(\bigcap_{i=1}^{\infty}\overline{D(A_{i})}\) is convex and \(\bigcap_{i=1}^{\infty}A_{i}^{-1}(0)\) is not empty. Let f be an α-contraction on \(\bigcap_{i=1}^{\infty}\overline{D(A_{i})}\). Let \(\{\alpha_{n}\}\), \(\{\beta_{n}\}\), \(\{\gamma_{n}\}\), \(\{\alpha_{n}'\}\), \(\{ \beta_{n}'\}\), \(\{\gamma_{n}'\}\), and \(\{\delta_{n,i}\}\) be real number sequences in \((0,1)\). Let \(\{e_{n}\}\) be a bounded computational error in \(\bigcap_{i=1}^{\infty}\overline{D(A_{i})}\). Let \(\{x_{n}\}\) be a sequence in \(\bigcap_{i=1}^{\infty}\overline{D(A_{i})}\) generated by the following process:

$$\begin{cases} x_{1}\in\bigcap_{i=1}^{\infty}\overline{D(A_{i})},\quad \textit{chosen arbitrarily},\\ y_{n}=\alpha_{n}'x_{n}+\beta_{n}'\sum_{i=1}^{\infty}\delta_{n,i}J_{r_{i}}x_{n}+\gamma _{n}'e_{n},\\ x_{n+1}=\alpha_{n} f(x_{n})+\beta_{n}x_{n}+\gamma_{n}y_{n},\quad \forall n\geq1, \end{cases} $$

where \(J_{r_{i}}=(I+r_{i}A_{i})^{-1}\). Assume that the following conditions are satisfied:

  1. (1)

    \(\alpha_{n}+\beta_{n}+\gamma_{n}=\alpha_{n}'+\beta_{n}'+\gamma _{n}'=\sum_{i=1}^{\infty}\delta_{n,i}=1\);

  2. (2)

    \(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);

  3. (3)

    \(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow\infty}\beta_{n}<1\);

  4. (4)

    \(\sum_{n=1}^{\infty}\gamma_{n}'<\infty\), \(\lim_{n\rightarrow\infty}\delta_{n,i}=\delta_{i}\in(0,1)\).

Then \(\{x_{n}\}\) converges strongly to \(x=P_{\bigcap_{i=1}^{\infty}\overline {D(A_{i})}}f(x)\), where \(P_{\bigcap_{i=1}^{\infty}\overline{D(A_{i})}}\) is the metric contraction onto \(\bigcap_{i=1}^{\infty}\overline{D(A_{i})}\).

For a single accretive operator, Theorem 3.1 is reduced to the following result.

Corollary 3.3

Let E be a reflexive and strictly convex Banach space which has a weakly continuous duality mapping \(J_{\varphi}\). Let A be an m-accretive operator in E with zeros. Assume that \(\overline{D(A)}\) is convex and \(A^{-1}(0)\) is not empty. Let f be an α-contraction on \(\overline{D(A)}\). Let \(\{\alpha_{n}\}\), \(\{\beta_{n}\}\), \(\{\gamma_{n}\}\), \(\{\alpha_{n}'\}\), \(\{ \beta_{n}'\}\), and \(\{\gamma_{n}'\}\) be real number sequences in \((0,1)\). Let \(\{e_{n}\}\) be a bounded computational error in \(\overline{D(A)}\). Let \(\{x_{n}\}\) be a sequence in \(\overline{D(A_{i})}\) generated by the following process:

$$\begin{cases} x_{1}\in \overline{D(A)}, \quad \textit{chosen arbitrarily},\\ y_{n}=\alpha_{n}'x_{n}+\beta_{n}'J_{r}x_{n}+\gamma_{n}'e_{n},\\ x_{n+1}=\alpha_{n} f(x_{n})+\beta_{n}x_{n}+\gamma_{n}y_{n},\quad \forall n\geq1, \end{cases} $$

where \(J_{r}=(I+rA)^{-1}\). Assume that the following conditions are satisfied:

  1. (1)

    \(\alpha_{n}+\beta_{n}+\gamma_{n}=\alpha_{n}'+\beta_{n}'+\gamma_{n}'=1\);

  2. (2)

    \(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);

  3. (3)

    \(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow\infty}\beta_{n}<1\);

  4. (4)

    \(\sum_{n=1}^{\infty}\gamma_{n}'<\infty\).

Then \(\{x_{n}\}\) converges strongly to \(x=P_{\overline{D(A)}}f(x)\), where \(P_{\overline{D(A)}}\) is the sunny nonexpansive contraction onto \(\overline{D(A)}\).

Finally, we investigate the Ky Fan inequality, which is also known as the equilibrium problem [31].

Let F be a bifunction of \(C\times C\) into , where denotes the set of real numbers. Recall the following equilibrium problem:

$$ \mbox{Find } x\in C \mbox{ such that } F(x,y)\geq0,\quad \forall y\in C. $$
(3.7)

\(EP(F)\) stands for the solution set of the equilibrium problem.

To study equilibrium problem (3.7), we may assume that F satisfies the following conditions:

  1. (A1)

    \(F(x,x)=0\) for all \(x\in C\);

  2. (A2)

    F is monotone, i.e., \(F(x,y)+F(y,x)\leq0\) for all \(x,y\in C\);

  3. (A3)

    for each \(x,y,z\in C\),

    $$\limsup_{t\downarrow0}F\bigl(tz+(1-t)x,y\bigr)\leq F(x,y); $$
  4. (A4)

    for each \(x\in C\), \(y\mapsto F(x,y)\) is convex and weakly lower semi-continuous.

Lemma 3.4

[31]

Let C be a nonempty, closed, and convex subset of H and let \(F:C\times C\rightarrow\mathbb{R}\) be a bifunction satisfying (A1)-(A4). Then, for any \(r>0\) and \(x\in H\), there exists \(z\in C\) such that

$$F(z,y)+\frac{1}{r}\langle y-z,z-x\rangle\geq0,\quad \forall y\in C. $$

Further, define

$$J_{r}x:=\biggl\{ z\in C: F(z,y)+\frac{1}{r}\langle y-z,z-x \rangle\geq 0,\forall y\in C\biggr\} $$

for all \(r>0\) and \(x\in H\). Then the following hold:

  1. (a)

    \(J_{r}\) is single-valued;

  2. (b)

    \(J_{r}\) is firmly nonexpansive;

  3. (c)

    \(F(J_{r})=EP(F)\);

  4. (d)

    \(EP(F)\) is closed and convex.

Theorem 3.5

Let C be a nonempty, closed, and convex subset of a Hilbert space E and let \(F_{i}\) be a bifunction from \(C\times C\) to which satisfies (A1)-(A4) for each \(i\geq 1\). Assume that \(\bigcap_{i=1}^{\infty}EP(F_{i})\) is not empty. Let f be an α-contraction on C. Let \(\{\alpha_{n}\}\), \(\{\beta_{n}\}\), \(\{\gamma_{n}\}\), \(\{\alpha_{n}'\}\), \(\{ \beta_{n}'\}\), \(\{\gamma_{n}'\}\), and \(\{\delta_{n,i}\}\) be real number sequences in \((0,1)\). Let \(\{e_{n}\}\) be the bounded computational error in C. Let \(\{x_{n}\}\) be a sequence in C generated by the following process:

$$\begin{cases} x_{1}\in H,\quad \textit{chosen arbitrarily},\\ F_{i}(z_{n,i},z)+\frac{1}{r_{i}}\langle z-z_{n,i},z_{n,i}-x_{n}\rangle\geq0, \quad \forall z\in C,\\ y_{n}=\alpha_{n}'x_{n}+\beta_{n}'\sum_{i=1}^{\infty}\delta_{n,i}z_{n,i}+\gamma _{n}'e_{n},\\ x_{n+1}=\alpha_{n} f(x_{n})+\beta_{n}x_{n}+\gamma_{n}y_{n}, \quad \forall n\geq1. \end{cases} $$

Assume that the following conditions are satisfied:

  1. (1)

    \(\alpha_{n}+\beta_{n}+\gamma_{n}=\alpha_{n}'+\beta_{n}'+\gamma _{n}'=\sum_{i=1}^{\infty}\delta_{n,i}=1\);

  2. (2)

    \(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);

  3. (3)

    \(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow\infty}\beta_{n}<1\);

  4. (4)

    \(\sum_{n=1}^{\infty}\gamma_{n}'<\infty\), \(\lim_{n\rightarrow\infty}\delta_{n,i}=\delta_{i}\in(0,1)\).

Then \(\{x_{n}\}\) converges strongly to \(x=P_{\bigcap_{i=1}^{\infty}EP(F_{i})}f(x)\), where \(P_{\bigcap_{i=1}^{\infty}EP(F_{i})}\) is the metric projection onto \(\bigcap_{i=1}^{\infty}EP(F_{i})\).

Proof

From Lemma 3.4, we find that \(z_{n,i}=J_{r_{n},i}x_{n}\), where \(J_{r_{n},i}\) is defined as follows:

$$J_{r_{n},i}x:=\biggl\{ z\in C: F_{i}(z,y)+\frac{1}{r_{n,i}} \langle y-z,z-x\rangle \geq 0,\forall y\in C\biggr\} ,\quad \forall x\in H. $$

From Theorem 3.1, we find the desired conclusion immediately. □

Remark

Let \(F=x^{2}-xy-2x+2y\) be a bifunction from \([0,1]\times [0,1]\) to . It is easy to see that F satisfies conditions (A1)-(A4). Let \(f(x)=\frac{x}{2}\), \(\alpha_{n}=\frac{1}{n}\), \(\beta_{n}=\frac {n+1}{2n}\), \(\gamma_{n}=\frac{n-2}{2n}\), \(\alpha_{n}=\frac{n}{n^{2}}\), \(\beta_{n}=\frac{n^{2}-n-1}{n^{2}}\), and \(\gamma _{n}'=e_{n}=\frac{1}{n^{2}}\). Let \(\{x_{n}\}\) be a sequence in C generated in the ILA (see Table 1). Then \(\{x_{n}\}\) converges to zero.

Table 1 The framework of the ILA

References

  1. Browder, FE: Nonlinear mappings of nonexpansive and accretive type in Banach spaces. Bull. Am. Math. Soc. 73, 875-882 (1967)

    Article  MATH  MathSciNet  Google Scholar 

  2. Martinet, B: Regularisation d’inéquations variationelles par approximations successives. Rev. Fr. Inform. Rech. Oper. 4, 154-158 (1970)

    MATH  MathSciNet  Google Scholar 

  3. Martinet, B: Determination approchée d’un point fixe d’une application pseudo-contractante. C. R. Acad. Sci. Paris Ser. A-B 274, 163-165 (1972)

    MATH  MathSciNet  Google Scholar 

  4. Rockafellar, RT: Monotone operators and the proximal point algorithm. SIAM J. Control Optim. 14, 877-898 (1976)

    Article  MATH  MathSciNet  Google Scholar 

  5. Rockafellar, RT: Augmented Lagrangians and applications of the proximal point algorithm in convex programming. Math. Oper. Res. 1, 97-116 (1976)

    Article  MATH  MathSciNet  Google Scholar 

  6. Qin, X, Su, Y: Approximation of a zero point of accretive operator in Banach spaces. J. Math. Anal. Appl. 329, 415-424 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  7. Wei, L, Tan, R: Strong and weak convergence theorems for common zeros of finite accretive mappings. Fixed Point Theory Appl. 2014, Article ID 77 (2014)

    Article  Google Scholar 

  8. Kamimura, S, Takahashi, W: Weak and strong convergence of solutions to accretive operator inclusions and applications. Set-Valued Anal. 8, 361-374 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  9. Wu, C: Convergence of algorithms for an infinite family nonexpansive mappings and relaxed cocoercive mappings in Hilbert spaces. Adv. Fixed Point Theory 4, 125-139 (2014)

    Google Scholar 

  10. Zhang, M: Strong convergence of a viscosity iterative algorithm in Hilbert spaces. J. Nonlinear Funct. Anal. 2014, Article ID 1 (2014)

    Google Scholar 

  11. Cho, SY, Li, W, Kang, SM: Convergence analysis of an iterative algorithm for monotone operators. J. Inequal. Appl. 2013, Article ID 199 (2013)

    Article  MathSciNet  Google Scholar 

  12. Wang, S, Li, T: Weak and strong convergence theorems for common zeros of accretive operators. J. Inequal. Appl. 2014, Article ID 282 (2014)

    Article  Google Scholar 

  13. Yuan, Q, Cho, SY: Proximal point algorithms for zero points of nonlinear operators. Fixed Point Theory Appl. 2014, Article ID 42 (2014)

    Article  Google Scholar 

  14. He, XF, Xu, YC, He, Z: Iterative approximation for a zero of accretive operator and fixed points problems in Banach space. Appl. Math. Comput. 217, 4620-4626 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  15. Wang, ZM, Lou, W: A new iterative algorithm of common solutions to quasi-variational inclusion and fixed point problems. J. Math. Comput. Sci. 3, 57-72 (2013)

    Google Scholar 

  16. Cho, SY, Kang, SM: Approximation of fixed points of pseudocontraction semigroups based on a viscosity iterative process. Appl. Math. Lett. 24, 224-228 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  17. Rodjanadid, B, Sompong, S: A new iterative method for solving a system of generalized equilibrium problems, generalized mixed equilibrium problems and common fixed point problems in Hilbert spaces. Adv. Fixed Point Theory 3, 675-705 (2013)

    Google Scholar 

  18. Yuan, Q, Lv, S: Strong convergence of a parallel iterative algorithm in a reflexive Banach space. Fixed Point Theory Appl. 2014, Article ID 125 (2014)

    Article  MathSciNet  Google Scholar 

  19. Qin, X, Cho, SY, Wang, L: Iterative algorithms with errors for zero points of m-accretive operators. Fixed Point Theory Appl. 2013, 148 (2013)

    Article  Google Scholar 

  20. Yang, S: Zero theorems of accretive operators in reflexive Banach spaces. J. Nonlinear Funct. Anal. 2013, Article ID 2 (2013)

    Google Scholar 

  21. Wu, C, Lv, S, Zhang, Y: Some results on zero points of m-accretive operators in reflexive Banach spaces. Fixed Point Theory Appl. 2014, Article ID 118 (2014)

    Article  MathSciNet  Google Scholar 

  22. Qin, X, Cho, XSY, Wang, L: A regularization method for treating zero points of the sum of two monotone operators. Fixed Point Theory Appl. 2014, Article ID 75 (2014)

    Article  Google Scholar 

  23. Browder, FE: Convergence theorems for sequences of nonlinear operators in Banach spaces. Math. Z. 100, 201-225 (1967)

    Article  MATH  MathSciNet  Google Scholar 

  24. Bruck, RE: Nonexpansive projections on subsets of Banach spaces. Pac. J. Math. 47, 341-355 (1973)

    Article  MATH  MathSciNet  Google Scholar 

  25. Aoyama, K, Iiduka, H, Takahashi, W: Weak convergence of an iterative sequence for accretive operators in Banach spaces. Fixed Point Theory Appl. 2006, Article ID 35390 (2006)

    Article  MathSciNet  Google Scholar 

  26. Qin, X, Cho, SY, Wang, L: Iterative algorithms with errors for zero points of m-accretive operators. Fixed Point Theory Appl. 2013, Article ID 148 (2013)

    Article  Google Scholar 

  27. Bruck, RE: Properties of fixed-point sets of nonexpansive mappings in Banach spaces. Trans. Am. Math. Soc. 179, 251-262 (1973)

    Article  MATH  MathSciNet  Google Scholar 

  28. Lim, TC: Fixed point theorems for asymptotically nonexpansive mappings. Nonlinear Anal. 22, 1345-1355 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  29. Suzuki, T: Strong convergence of Krasnoselskii and Mann’s type sequences for one-parameter nonexpansive semigroups without Bochner integrals. J. Math. Anal. Appl. 305, 227-239 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  30. Liu, LS: Ishikawa and Mann iterative process with errors for nonlinear strongly accretive mappings in Banach spaces. J. Math. Anal. Appl. 194, 114-125 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  31. Blum, E, Oettli, W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 63, 123-145 (1994)

    MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors thank the anonymous reviewers for useful suggestions which improved the contents of the article. The authors also thank the Fundamental Research Funds for the Central Universities (2014ZD44).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Sheng-Hua Wang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The main idea of this paper was proposed by SHW. PZ performed some steps of the proofs. Both authors read and approved the final manuscript.

Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wang, SH., Zhang, P. Some results on an infinite family of accretive operators in a reflexive Banach space. Fixed Point Theory Appl 2015, 8 (2015). https://doi.org/10.1186/s13663-014-0252-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-014-0252-7

Keywords