- Research
- Open access
- Published:
Some results on an infinite family of accretive operators in a reflexive Banach space
Fixed Point Theory and Applications volume 2015, Article number: 8 (2015)
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 [6–22] 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
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
then
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
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
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}\),
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)
contraction if \(Q_{D}^{2}=Q_{D}\);
-
(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)
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)
\(Q_{C}\) is sunny and nonexpansive;
-
(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)
\(\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 φ.
-
(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 . $$ -
(ii)
Assume that a sequence \(\{x_{n}\}\) in E converges weakly to a point \(x\in E\).
Then the following identity holds:
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
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:
where \(J_{r_{i}}=(I+r_{i}A_{i})^{-1}\). Assume that the following conditions are satisfied:
-
(1)
\(\alpha_{n}+\beta_{n}+\gamma_{n}=\alpha_{n}'+\beta_{n}'+\gamma _{n}'=\sum_{i=1}^{\infty}\delta_{n,i}=1\);
-
(2)
\(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);
-
(3)
\(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow\infty}\beta_{n}<1\);
-
(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
It follows that
where \(M_{1}\) is some appropriate constant. This implies that
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
Define \(\lambda_{n}:=\frac{x_{n+1}-\beta_{n}x_{n}}{1-\beta_{n}}\). This yields
Hence, we find that
Using restrictions (1), (2), and (3), we get
Using Lemma 2.5, we obtain \(\lim_{n\rightarrow\infty} \Vert \lambda_{n}-x_{n}\Vert = 0\). It follows that
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
Using (3.1), we find from restrictions (2), (3), and (4) that
Take a subsequence \(\{x_{n_{j}}\}\) of \(\{x_{n}\}\) such that
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
Putting \(f(x)=\limsup_{j\rightarrow\infty}\Phi(\Vert x_{n_{j}}-x\Vert )\), \(\forall x\in E\), we have
It follows from (3.2) that
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
This completes Step 3.
Step 4. Show that \(x_{n}\rightarrow x\) as \(n\rightarrow\infty\).
Using Lemma 2.1, we find that
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:
where \(J_{r_{i}}=(I+r_{i}A_{i})^{-1}\). Assume that the following conditions are satisfied:
-
(1)
\(\alpha_{n}+\beta_{n}+\gamma_{n}=\alpha_{n}'+\beta_{n}'+\gamma _{n}'=\sum_{i=1}^{\infty}\delta_{n,i}=1\);
-
(2)
\(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);
-
(3)
\(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow\infty}\beta_{n}<1\);
-
(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:
where \(J_{r}=(I+rA)^{-1}\). Assume that the following conditions are satisfied:
-
(1)
\(\alpha_{n}+\beta_{n}+\gamma_{n}=\alpha_{n}'+\beta_{n}'+\gamma_{n}'=1\);
-
(2)
\(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);
-
(3)
\(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow\infty}\beta_{n}<1\);
-
(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:
\(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:
-
(A1)
\(F(x,x)=0\) for all \(x\in C\);
-
(A2)
F is monotone, i.e., \(F(x,y)+F(y,x)\leq0\) for all \(x,y\in C\);
-
(A3)
for each \(x,y,z\in C\),
$$\limsup_{t\downarrow0}F\bigl(tz+(1-t)x,y\bigr)\leq F(x,y); $$ -
(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
Further, define
for all \(r>0\) and \(x\in H\). Then the following hold:
-
(a)
\(J_{r}\) is single-valued;
-
(b)
\(J_{r}\) is firmly nonexpansive;
-
(c)
\(F(J_{r})=EP(F)\);
-
(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:
Assume that the following conditions are satisfied:
-
(1)
\(\alpha_{n}+\beta_{n}+\gamma_{n}=\alpha_{n}'+\beta_{n}'+\gamma _{n}'=\sum_{i=1}^{\infty}\delta_{n,i}=1\);
-
(2)
\(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);
-
(3)
\(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow\infty}\beta_{n}<1\);
-
(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:
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.
References
Browder, FE: Nonlinear mappings of nonexpansive and accretive type in Banach spaces. Bull. Am. Math. Soc. 73, 875-882 (1967)
Martinet, B: Regularisation d’inéquations variationelles par approximations successives. Rev. Fr. Inform. Rech. Oper. 4, 154-158 (1970)
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)
Rockafellar, RT: Monotone operators and the proximal point algorithm. SIAM J. Control Optim. 14, 877-898 (1976)
Rockafellar, RT: Augmented Lagrangians and applications of the proximal point algorithm in convex programming. Math. Oper. Res. 1, 97-116 (1976)
Qin, X, Su, Y: Approximation of a zero point of accretive operator in Banach spaces. J. Math. Anal. Appl. 329, 415-424 (2007)
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)
Kamimura, S, Takahashi, W: Weak and strong convergence of solutions to accretive operator inclusions and applications. Set-Valued Anal. 8, 361-374 (2000)
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)
Zhang, M: Strong convergence of a viscosity iterative algorithm in Hilbert spaces. J. Nonlinear Funct. Anal. 2014, Article ID 1 (2014)
Cho, SY, Li, W, Kang, SM: Convergence analysis of an iterative algorithm for monotone operators. J. Inequal. Appl. 2013, Article ID 199 (2013)
Wang, S, Li, T: Weak and strong convergence theorems for common zeros of accretive operators. J. Inequal. Appl. 2014, Article ID 282 (2014)
Yuan, Q, Cho, SY: Proximal point algorithms for zero points of nonlinear operators. Fixed Point Theory Appl. 2014, Article ID 42 (2014)
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)
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)
Cho, SY, Kang, SM: Approximation of fixed points of pseudocontraction semigroups based on a viscosity iterative process. Appl. Math. Lett. 24, 224-228 (2011)
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)
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)
Qin, X, Cho, SY, Wang, L: Iterative algorithms with errors for zero points of m-accretive operators. Fixed Point Theory Appl. 2013, 148 (2013)
Yang, S: Zero theorems of accretive operators in reflexive Banach spaces. J. Nonlinear Funct. Anal. 2013, Article ID 2 (2013)
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)
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)
Browder, FE: Convergence theorems for sequences of nonlinear operators in Banach spaces. Math. Z. 100, 201-225 (1967)
Bruck, RE: Nonexpansive projections on subsets of Banach spaces. Pac. J. Math. 47, 341-355 (1973)
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)
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)
Bruck, RE: Properties of fixed-point sets of nonexpansive mappings in Banach spaces. Trans. Am. Math. Soc. 179, 251-262 (1973)
Lim, TC: Fixed point theorems for asymptotically nonexpansive mappings. Nonlinear Anal. 22, 1345-1355 (1994)
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)
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)
Blum, E, Oettli, W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 63, 123-145 (1994)
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
Corresponding author
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.
About this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-014-0252-7