- Open Access
A regularization algorithm for zero points of accretive operators
Fixed Point Theory and Applications volume 2013, Article number: 341 (2013)
A regularization algorithm with a computational error for treating accretive operators is investigated. A strong convergence theorem for zero points of accretive operators is established in a reflexive Banach space.
In this paper, we are concerned with the problem of finding zero points of a mapping ; that is, finding a point x in the domain of A such that . The domain of a mapping A is defined by the set . Many important problems have reformulations which require finding zero points, for instance, evolution equations, complementarity problems, mini-max problems, variational inequalities and optimization problems. It is well known that minimizing a convex function f can be reduced to finding zero points of the subdifferential mapping . One of the most popular techniques for solving the inclusion problem goes back to the work of Browder . One of the basic ideas in the case of a Hilbert space H is reducing the above inclusion problem to a fixed point problem of the operator defined by , which is called the classical resolvent of A. If A has some monotonicity conditions, the classical resolvent of A is with full domain and firmly nonexpansive, that is, , . The property of the resolvent ensures that the Picard iterative algorithm converges weakly to a fixed point of , which is necessarily a zero point of A. Rockafellar introduced this iteration method and called it the proximal point algorithm; for more detail, see [2–4] and the references therein. Methods for finding zero points of monotone mappings in the framework of Hilbert spaces are based on the good properties of the resolvent , but these properties are not available in the framework of Banach spaces.
In this paper, we study a viscosity algorithm with a computational error. A strong convergence theorem for zero points of accretive operators is established in a reflexive Banach space. The organization of this paper is as follows. In Section 2, we provide some necessary preliminaries. In Section 3, a strong convergence theorem is established in a reflexive Banach space. Two applications of the main results are also discussed in this section.
In what follows, we always assume that E is a Banach space with the dual . Let . E is said to be smooth or is said to have a Gâteaux differentiable norm if the limit exists for each . E is said to have a uniformly Gâteaux differentiable norm if for each , the limit is attained uniformly for all . E is said to be uniformly smooth or is said to have a uniformly Fréchet differentiable norm if the limit is attained uniformly for . Let denote the pairing between E and . The normalized duality mapping is defined by , . In the sequel, we use j to denote the single-valued normalized duality mapping. It is 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.
Let C be a nonempty closed convex subset of E. Let be a mapping. In this paper, we use to denote the set of fixed points of T. Recall that T is said to be α-contractive if there exits a constant such that , . T is said to be nonexpansive if . T is said to be pseudocontractive if there exists some such that , .
Recall that a closed convex subset C of a Banach space E is said to have normal structure if for each bounded closed convex subset K of C which contains at least two points, there exists an element x of K which is not a diametral point of K, i.e., , where is the diameter of K. Let D be a nonempty subset of C. Let . Q is said to be contraction if ; sunny if for each and , we have ; sunny nonexpansive retraction if Q is sunny, nonexpansive, and contraction. K is said to be a nonexpansive retract of C if there exists a nonexpansive retraction from C onto D; for more details, see  and the references therein.
Let I denote the identity operator on E. An operator with domain and range is said to be accretive if for each and , , there exists such that . An accretive operator A is said to be m-accretive if for all . In a real Hilbert space, an operator A is m-accretive if and only if A is maximal monotone. In this paper, we use to denote the set of zero points of A. For an accretive operator A, we can define a nonexpansive single-valued mapping by for each , which is called the resolvent of A.
One of classical methods of studying the problem , where is an accretive operator, is the proximal point algorithm (PPA) which was initiated by Martinet  and further developed by Rockafellar . It is known that PPA is only weakly convergent; see Güler . In many disciplines, including economics, image recovery, quantum physics, and control theory, problems arise in infinite dimension spaces. In such problems, strong convergence (norm convergence) is often much more desirable than weak convergence, for it translates the physically tangible property that the energy of the error between the iterate and the solution x eventually becomes arbitrarily small. The importance of strong convergence is also underlined in , where a convex function f is minimized via the proximal-point algorithm: it is shown that the rate of convergence of the value sequence is better when converges strongly than when it converges weakly. Such properties have a direct impact when the process is executed directly in the underlying infinite dimensional space.
Regularization methods recently have been investigated for treating zero points of accretive operators; see [8–22] and the references therein. In this paper, zero points of m-accretive operators are investigated based on a viscosity iterative algorithm with a computational error. A strong convergence theorem for zero points of m-accretive operators is established in a reflexive Banach space.
In order to state our main results, we need the following lemmas.
Lemma 2.1 
Let and be bounded sequences in a Banach space E. Let be a sequence in with . Suppose that , and . Then .
Lemma 2.2 
Let E be a real reflexive Banach space with the uniformly Gâteaux differentiable norm and the normal structure, and let C be a nonempty closed convex subset of E. Let be a nonexpansive mapping with a fixed point, and let be a fixed contraction with the coefficient . Let be a sequence generated by the following , where . Then converges strongly as to a fixed point of T, which is the unique solution in to the following variational inequality , .
Lemma 2.3 
Let E be a Banach space, and let A be an m-accretive operator. For , , and , we have , where and .
Lemma 2.4 
Let be a sequence of nonnegative numbers satisfying the condition , , where is a number sequence in such that and , is a number sequence such that , and is a positive number sequence such that . Then .
3 Main results
Theorem 3.1 Let E be a real reflexive Banach space with the uniformly Gâteaux differentiable norm, and let A be an m-accretive operator in E. Assume that is convex and has the normal structure. Let be a fixed α-contraction. Let be a sequence generated in the following manner: and
where and are real number sequences in , is a sequence in E, is a positive real number sequence, and . Assume that is not empty and the above control sequences satisfy the following restrictions:
Then the sequence converges strongly to , which is the unique solution to the following variational inequality , .
Proof Fixing , we find that
This proves that the sequence is bounded. Put . It follows that
In view of Lemma 2.3, we find that
where M is an appropriate constant such that . Substituting (3.1) into (3.2), we find that
In view of the restrictions (a), (c) and (d), we find that
It follows from Lemma 2.1 that
Notice that . It follows from the restrictions (a) and (c) that
In view of , we find from (3.3) and (3.4) that
Take a fixed number s such that . It follows from Lemma 2.3 that
This implies from (3.5) that
Now, we are in a position to claim that , where , and solves the fixed point equation , . It follows that
This implies that , . In view of (3.6), we find that
Since , as and the fact that j is strong to weak∗ uniformly continuous on bounded subsets of E, we see that
Hence, for any , there exists such that the following inequality holds . Taking in the above inequality, we find that . Since ϵ is arbitrary, we obtain from (3.7) that .
Finally, we prove that as . Note that
On the other hand, we have
It follows from (3.8) that
In view of Lemma 2.4, we find the desired conclusion immediately. □
In this section, we give two applications of our main result in the framework of Hilbert spaces.
First, we consider, in the framework of Hilbert spaces, solutions of a Ky Fan inequality, which is known as an equilibrium problem in the terminology of Blum and Oettli; see  and  and the references therein.
Let C be a nonempty closed and convex subset of a Hilbert space H. Let F be a bifunction of into ℝ, where ℝ denotes the set of real numbers. Recall the following equilibrium problem:
To study equilibrium problem (4.1), we may assume that F satisfies the following restrictions:
for all ;
F is monotone, i.e., for all ;
for each , ;
for each , is convex and lower semi-continuous.
The following lemma can be found in .
Lemma 4.1 Let C be a nonempty, closed, and convex subset of H and be a bifunction satisfying (A1)-(A4). Then, for any and , there exists such that , . Further, define
for all and . Then (1) is single-valued and firmly nonexpansive; (2) is closed and convex.
Lemma 4.2 
Let F be a bifunction from to ℝ which satisfies (A1)-(A4), and let be a multivalued mapping of H into itself defined by
Then is a maximal monotone operator with domain , , where stands for the solution set of (4.1), and
where is defined as in (4.2).
Theorem 4.3 Let be a bifunction satisfying (A1)-(A4). Let be a fixed α-contraction. Let be a sequence generated in the following manner: and
where and are real number sequences in , is a sequence in H, is a positive real number sequence, and . Assume that is not empty and the above control sequences satisfy the restrictions (a), (b), (c) and (d) in Theorem 3.1. Then the sequence converges strongly to , which is the unique solution to the following variational inequality , .
Next, we consider the problem of finding a minimizer of a proper convex lower semicontinuous function.
For a proper lower semicontinuous convex function , the subdifferential mapping ∂g of g is defined by
Rockafellar  proved that ∂g is a maximal monotone operator. It is easy to verify that if and only if .
Theorem 4.4 Let be a proper convex lower semicontinuous function such that is not empty. Let be a κ-contraction, and let be a sequence in H in the following process: and
where and are real number sequences in , is a sequence in E, and is a positive real number sequence. Assume that the above control sequences satisfy the restrictions in Theorem 3.1. Then the sequence converges strongly to , which is the unique solution to the following variational inequality , .
Proof Since is a proper convex and lower semicontinuous function, we see that subdifferential ∂g of g is maximal monotone. Note that
is equivalent to
It follows that
Following the proof in Theorem 3.1, we draw the desired conclusion immediately. □
Browder FE: Existence and approximation of solutions of nonlinear variational inequalities. Proc. Natl. Acad. Sci. USA 1966, 56: 1080–1086. 10.1073/pnas.56.4.1080
Rockfellar RT: Augmented Lagrangians and applications of the proximal point algorithm in convex programming. Math. Oper. Res. 1976, 1: 97–116. 10.1287/moor.1.2.97
Rockfellar RT: Monotone operators and proximal point algorithm. SIAM J. Control Optim. 1976, 14: 877–898. 10.1137/0314056
Solodov MV, Svaiter BF: Forcing strong convergence of proximal point iterations in a Hilbert spaces. Math. Program. 2000, 87: 189–202.
Bruck RE: Nonexpansive projections on subsets of Banach spaces. Pac. J. Math. 1973, 47: 341–355. 10.2140/pjm.1973.47.341
Martinet B: Regularisation d’inequations variationnelles par approximations successives. Rev. Fr. Inform. Rech. Oper. 1970, 4: 154–158.
Güler O: On the convergence of the proximal point algorithm for convex minimization. SIAM J. Control Optim. 1991, 29: 403–419. 10.1137/0329022
Cho SY, Kang SM: Approximation of fixed points of pseudocontraction semigroups based on a viscosity iterative process. Appl. Math. Lett. 2011, 24: 224–228. 10.1016/j.aml.2010.09.008
Cho SY, Kang SM: Zero point theorems for m -accretive operators in a Banach space. Fixed Point Theory 2012, 13: 49–58.
Yang S: Zero theorems of accretive operators in reflexive Banach spaces. J. Nonlinear Funct. Anal. 2013., 2013: Article ID 2
Wen M, Hu C: Strong convergence of an new iterative method for a zero of accretive operator and nonexpansive mapping. Fixed Point Theory Appl. 2012., 2012: Article ID 98
Luo H, Wang Y: Iterative approximation for the common solutions of a infinite variational inequality system for inverse-strongly accretive mappings. J. Math. Comput. Sci. 2012, 2: 1660–1670.
Cho SY, Qin X, Kang SM: Iterative processes for common fixed points of two different families of mappings with applications. J. Glob. Optim. 2013, 57: 1429–1446. 10.1007/s10898-012-0017-y
Cho SY: Strong convergence of an iterative algorithm for sums of two monotone operators. J. Fixed Point Theory 2013., 2013: Article ID 6
Jung JS: Strong convergence of viscosity approximation methods for finding zeros of accretive operators in Banach spaces. Nonlinear Anal. 2010, 72: 449–459. 10.1016/j.na.2009.06.079
Zegeye H, Shahzad N: Strong convergence theorem for a common point of solution of variational inequality and fixed point problem. Adv. Fixed Point Theory 2012, 2: 374–397.
Yang S: A proximal point algorithm for zeros of monotone operators. Math. Finance Lett. 2013., 2013: Article ID 7
Cho SY, Qin X, Kang SM: Hybrid projection algorithms for treating common fixed points of a family of demicontinuous pseudocontractions. Appl. Math. Lett. 2012, 25: 854–857. 10.1016/j.aml.2011.10.031
Cho SY, Kang SM: Approximation of common solutions of variational inequalities via strict pseudocontractions. Acta Math. Sci. 2012, 32: 1607–1618. 10.1016/S0252-9602(12)60127-1
Wu C, Lv S: Bregman projection methods for zeros of monotone operators. J. Fixed Point Theory 2013., 2013: Article ID 7
Qin X, Cho S, Wang L: Iterative algorithms with errors for zero points of m -accretive operators. Fixed Point Theory Appl. 2013., 2013: Article ID 148
Qin X, Su Y: Approximation of a zero point of accretive operator in Banach spaces. J. Math. Anal. Appl. 2007, 329: 415–424. 10.1016/j.jmaa.2006.06.067
Suzuki T: Strong convergence of Krasnoselskii and Mann’s type sequences for one-parameter nonexpansive semigroups without Bochne integrals. J. Math. Anal. Appl. 2005, 305: 227–239. 10.1016/j.jmaa.2004.11.017
Barbu V: Nonlinear Semigroups and Differential Equations in Banach Space. Noordhoff, Groningen; 1976.
Liu L: Ishikawa-type and Mann-type iterative processes with errors for constructing solutions of nonlinear equations involving m -accretive operators in Banach spaces. Nonlinear Anal. 1998, 34: 307–317. 10.1016/S0362-546X(97)00579-8
Fan K: A minimax inequality and applications. III. In Inequality. Edited by: Shisha O. Academic Press, New York; 1972:103–113.
Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994, 63: 123–145.
Takahashi S, Takahashi W, Toyoda M: Strong convergence theorems for maximal monotone operators with nonlinear mappings in Hilbert spaces. J. Optim. Theory Appl. 2010, 147: 27–41. 10.1007/s10957-010-9713-2
The authors declare that they have no competing interests.
Both authors contributed equally to this manuscript. Both authors read and approved the final manuscript.
About this article
Cite this article
Qing, Y., Cho, S.Y. A regularization algorithm for zero points of accretive operators. Fixed Point Theory Appl 2013, 341 (2013). https://doi.org/10.1186/1687-1812-2013-341
- accretive operator
- fixed point
- nonexpansive mapping
- regularization algorithm
- zero point