Journal of Applied Mathematics

VolumeΒ 2012, Article IDΒ 638632, 11 pages

http://dx.doi.org/10.1155/2012/638632

## Iterative Methods for the Sum of Two Monotone Operators

Department of Information Management, Cheng Shiu University, Kaohsiung 833, Taiwan

Received 3 October 2011; Accepted 7 October 2011

Academic Editor: YonghongΒ Yao

Copyright Β© 2012 Yeong-Cheng Liou. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We introduce an iterative for finding the zeros point of the sum of two monotone operators. We prove that the suggested method converges strongly to the zeros point of the sum of two monotone operators.

#### 1. Introduction

Let be a nonempty closed convex subset of a real Hilbert space . Let be a single-valued nonlinear mapping and let be a multivalued mapping. The βso-calledβ quasi-variational inclusion problem is to find a such that The set of solutions of (1.1) is denoted by . A number of problems arising in structural analysis, mechanics, and economics can be studied in the framework of this kind of variational inclusions; see, for instance, [1β4]. The problem (1.1) includes many problems as special cases.(1)If , where is a proper convex lower semicontinuous function and is the subdif and if onlyerential of , then the variational inclusion problem (1.1) is equivalent to find such that which is called the mixed quasi-variational inequality (see, Noor [5]).(2)If , where is a nonempty closed convex subset of and is the indicator function of , that is, then the variational inclusion problem (1.1) is equivalent to find such that

This problem is called Hartman-Stampacchia variational inequality (see, e.g., [6]).

Recently, Zhang et al. [7] introduced a new iterative scheme for finding a common element of the set of solutions to the inclusion problem, and the set of fixed points of nonexpansive mappings in Hilbert spaces. Peng et al. [8] introduced another iterative scheme by the viscosity approximate method for finding a common element of the set of solutions of a variational inclusion with set-valued maximal monotone mapping and inverse strongly monotone mappings, the set of solutions of an equilibrium problem, and the set of fixed points of a nonexpansive mapping. For some related works, please see [9β27] and the references therein.

Inspired and motivated by the works in the literature, in this paper, we introduce an iterative for solving the problem (1.1). We prove that the suggested method converges strongly to the zeros point of the sum of two monotone operators .

#### 2. Preliminaries

Let be a real Hilbert space with inner product and norm , respectively. Let be a nonempty closed convex subset of . Recall that a mapping is said to be -inverse strongly-monotone if and if only for some and for all . It is known that if is -inverse strongly monotone, then for all .

Let be a mapping of into . The effective domain of is denoted by , that is, A multivalued mapping is said to be a monotone operator on if and if only for all , , and . A monotone operator on is said to be maximal if and if only its graph is not strictly contained in the graph of any other monotone operator on . Let be a maximal monotone operator on and let .

For a maximal monotone operator on and , we may define a single-valued operator: which is called the resolvent of for . It is known that the resolvent is firmly nonexpansive, that is, for all and for all .

The following resolvent identity is well known: for and , there holds the following identity:

We use the following notation: (i) stands for the weak convergence of to ; (ii) stands for the strong convergence of to .

We need the following lemmas for the next section.

Lemma 2.1 (see [28]). *Let be a nonempty closed convex subset of a real Hilbert space . Let the mapping be -inverse strongly monotone and let be a constant. Then, one has
**
In particular, if , then is nonexpansive.*

Lemma 2.2 (see [29]). *Let and be bounded sequences in a Banach space and let be a sequence in with
**
Suppose that
**
for all and
**
Then, .*

Lemma 2.3 (see [30]). *Assume that is a sequence of nonnegative real numbers such that
**
where is a sequence in and is a sequence such that *(1)*; *(2)* or . **Then .*

#### 3. Main Results

In this section, we will prove our main result.

Theorem 3.1. *Let be a nonempty closed and convex subset of a real Hilbert space . Let be an -inverse strongly monotone mapping of into H and let be a maximal monotone operator on , such that the domain of is included in . Let be the resolvent of for . Suppose that . For and given , let be a sequence generated by
**
for all , where , , and satisfy *(i)* and ; *(ii)*; *(iii)* where and . **Then generated by (3.1) converges strongly to .*

*Proof. *First, we choose any . Note that
for all . Since is nonexpansive for all , we have
Since is -inverse strongly monotone, we get
By (3.3) and (3.4), we obtain
It follows from (3.1) and (3.5) that
By induction, we have
Therefore, is bounded. We deduce immediately that is also bounded. Set for all . Then and are bounded.

Next, we estimate . In fact, we have

Since is nonexpansive for , we have . By the resolvent identity (2.7), we have
It follows that
So,
Thus,
From Lemma 2.2, we get
Consequently, we obtain
From (3.5) and (3.6), we have
It follows that
Since , , and , we have
Put . Set for all . Take in (3.17) to get . First, we prove . We take a subsequence of such that
It is clear that is bounded due to the boundedness of and . Then, there exists a subsequence of which converges weakly to some point . Hence, also converges weakly to because of . By the similar argument as that in [31], we can show that . This implies that
Note that . Then, . Therefore,
Finally, we prove that . From (3.1), we have
It is clear that and . We can therefore apply Lemma 2.3 to conclude that . This completes the proof.

#### 4. Applications

Next, we consider the problem for finding the minimum norm solution of a mathematical model related to equilibrium problems. Let be a nonempty, closed, and convex subset of a Hilbert space and let be a bifunction satisfying the following conditions:(E1) for all ;(E2) is monotone, that is, for all ;(E3)for all , ;(E4)for all , is convex and lower semicontinuous.

Then, the mathematical model related to equilibrium problems (with respect to ) is to find such that for all . The set of such solutions is denoted by . The following lemma appears implicitly in Blum and Oettli [32].

Lemma 4.1. *Let be a nonempty, closed, and convex subset of and let be a bifunction of into satisfying (E1)β(E4). Let and . Then, there exists such that
*

The following lemma was given by Combettes and Hirstoaga [33].

Lemma 4.2. *Assume that satisfies (E1)β(E4). For and , define a mapping as follows:
**
for all . Then, the following holds: *(1)* is single valued; *(2)* is a firmly nonexpansive mapping, that is, for all ,
*(3)*; *(4)* is closed and convex. *

We call such the resolvent of for . Using Lemmas 4.1 and 4.2, we have the following lemma. See [34] for a more general result.

Lemma 4.3. *Let be a Hilbert space and let be a nonempty, closed, and convex subset of . Let satisfy (E1)β(E4). Let be a multivalued mapping of into itself defined by
**
Then, and is a maximal monotone operator with . Further, for any and , the resolvent of coincides with the resolvent of ; that is,
*

Form Lemma 4.3 and Theorems 3.1, we have the following result.

Theorem 4.4. *Let be a nonempty, closed, and convex subset of a real Hilbert space . Let be a bifunction from satisfying (E1)β(E4) and let be the resolvent of for . Suppose . For and given , let be a sequence generated by
**
for all , where , , and satisfy *(i)* and ;*(ii)*;*(iii)* where and .**Then converges strongly to a point .*

#### Acknowledgment

The author was supported in part by NSC 100-2221-E-230-012.

#### References

- M. A. Noor and K. I. Noor, βSensitivity analysis for quasi-variational inclusions,β
*Journal of Mathematical Analysis and Applications*, vol. 236, no. 2, pp. 290β299, 1999. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - S. S. Chang, βSet-valued variational inclusions in Banach spaces,β
*Journal of Mathematical Analysis and Applications*, vol. 248, no. 2, pp. 438β454, 2000. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - S. S. Chang, βExistence and approximation of solutions for set-valued variational inclusions in Banach space,β
*Nonlinear Analysis, Theory, Methods and Applications*, vol. 47, no. 1, pp. 583β594, 2001. View at Publisher Β· View at Google Scholar - V. F. Demyanov, G. E. Stavroulakis, L. N. Polyakova, and P. D. Panagiotopoulos,
*Quasidifferentiability and Nonsmooth Modelling in Mechanics, Engineering and Economics*, vol. 10, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1996. - M. A. Noor, βGeneralized set-valued variational inclusions and resolvent equations,β
*Journal of Mathematical Analysis and Applications*, vol. 228, no. 1, pp. 206β220, 1998. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - P. Hartman and G. Stampacchia, βOn some non-linear elliptic differential-functional equations,β
*Acta Mathematica*, vol. 115, pp. 271β310, 1966. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - S.-S. Zhang, J. H. W. Lee, and C. K. Chan, βAlgorithms of common solutions to quasi variational inclusion and fixed point problems,β
*Applied Mathematics and Mechanics*, vol. 29, no. 5, pp. 571β581, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - J.-W. Peng, Y. Wang, D. S. Shyu, and J.-C. Yao, βCommon solutions of an iterative scheme for variational inclusions, equilibrium problems, and fixed point problems,β
*Journal of Inequalities and Applications*, vol. 2008, Article ID 720371, 15 pages, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - S. Takahashi and W. Takahashi, βViscosity approximation methods for equilibrium problems and fixed point problems in Hilbert spaces,β
*Journal of Mathematical Analysis and Applications*, vol. 331, no. 1, pp. 506β515, 2007. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - S. Takahashi and W. Takahashi, βStrong convergence theorem for a generalized equilibrium problem and a nonexpansive mapping in a Hilbert space,β
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 69, no. 3, pp. 1025β1033, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Y. Yao, Y.-C. Liou, and J.-C. Yao, βConvergence theorem for equilibrium problems and fixed point problems of infinite family of nonexpansive mappings,β
*Fixed Point Theory and Applications*, vol. 2007, Article ID 64363, 12 pages, 2007. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Y. Yao and J.-C. Yao, βOn modified iterative method for nonexpansive mappings and monotone mappings,β
*Applied Mathematics and Computation*, vol. 186, no. 2, pp. 1551β1558, 2007. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - L.-C. Ceng and J.-C. Yao, βA hybrid iterative scheme for mixed equilibrium problems and fixed point problems,β
*Journal of Computational and Applied Mathematics*, vol. 214, no. 1, pp. 186β201, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - S. Adly, βPerturbed algorithms and sensitivity analysis for a general class of variational inclusions,β
*Journal of Mathematical Analysis and Applications*, vol. 201, no. 2, pp. 609β630, 1996. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Y. Yao, Y.-C. Liou, and J.-C. Yao, βAn iterative algorithm for approximating convex minimization problem,β
*Applied Mathematics and Computation*, vol. 188, no. 1, pp. 648β656, 2007. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Y. Yao, R. Chen, and J.-C. Yao, βStrong convergence and certain control conditions for modified Mann iteration,β
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 68, no. 6, pp. 1687β1693, 2008. View at Google Scholar Β· View at Zentralblatt MATH - X. P. Ding, βPerturbed Ishikawa type iterative algorithm for generalized quasivariational inclusions,β
*Applied Mathematics and Computation*, vol. 141, no. 2-3, pp. 359β373, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - N.-J. Huang, βMann and Ishikawa type perturbed iterative algorithms for generalized nonlinear implicit quasi-variational inclusions,β
*Computers & Mathematics with Applications*, vol. 35, no. 10, pp. 1β7, 1998. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Y.-P. Fang and N.-J. Huang, βH-monotone operator and resolvent operator technique for variational inclusions,β
*Applied Mathematics and Computation*, vol. 145, no. 2-3, pp. 795β803, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - L.-J. Lin, βVariational inclusions problems with applications to Ekeland's variational principle, fixed point and optimization problems,β
*Journal of Global Optimization*, vol. 39, no. 4, pp. 509β527, 2007. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - R. U. Verma, βGeneral system of (A,
*Ξ·*)-monotone variational inclusion problems based on generalized hybrid iterative algorithm,β*Nonlinear Analysis. Hybrid Systems*, vol. 1, no. 3, pp. 326β335, 2007. View at Publisher Β· View at Google Scholar - J.-W. Peng and J.-C. Yao, βA new hybrid-extragradient method for generalized mixed equilibrium problems, fixed point problems and variational inequality problems,β
*Taiwanese Journal of Mathematics*, vol. 12, no. 6, pp. 1401β1432, 2008. View at Google Scholar Β· View at Zentralblatt MATH - Y. Yao and N. Shahzad, βStrong convergence of a proximal point algorithm with general errors,β
*Optimization Letters*. In press. View at Publisher Β· View at Google Scholar - Y. Yao and N. Shahzad, βNew methods with perturbations for non-expansive mappings in Hilbert spaces,β
*Fixed Point Theory and Applications*. In press. View at Publisher Β· View at Google Scholar - Y. Yao, R. Chen, and H.-K. Xu, βSchemes for finding minimum-norm solutions of variational inequalities,β
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 72, no. 7-8, pp. 3447β3456, 2010. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Y. Yao, R. Chen, and Y. C. Liou, βA unified implicit algorithm for solving the triplehierarchical constrained optimization problem,β
*Mathematical & Computer Modelling*. View at Publisher Β· View at Google Scholar - Y. Yao, Y. C. Liou, and S. M. Kang, βTwo-step projection methods for a system of variational inequality problems in Banach spaces,β
*Journal of Global Optimization*. In press. View at Publisher Β· View at Google Scholar - W. Takahashi and M. Toyoda, βWeak convergence theorems for nonexpansive mappings and monotone mappings,β
*Journal of Optimization Theory and Applications*, vol. 118, no. 2, pp. 417β428, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - T. Suzuki, βStrong convergence theorems for infinite families of nonexpansive mappings in general Banach spaces,β
*Fixed Point Theory and Applications*, vol. 2005, no. 1, pp. 103β123, 2005. View at Google Scholar Β· View at Zentralblatt MATH - H.-K. Xu, βIterative algorithms for nonlinear operators,β
*Journal of the London Mathematical Society*, vol. 66, no. 1, pp. 240β256, 2002. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - S. Takahashi, W. Takahashi, and M. Toyoda, βStrong convergence theorems for maximal monotone operators with nonlinear mappings in Hilbert spaces,β
*Journal of Optimization Theory and Applications*, vol. 147, no. 1, pp. 27β41, 2010. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - E. Blum and W. Oettli, βFrom optimization and variational inequalities to equilibrium problems,β
*The Mathematics Student*, vol. 63, no. 1β4, pp. 123β145, 1994. View at Google Scholar Β· View at Zentralblatt MATH - P. L. Combettes and S. A. Hirstoaga, βEquilibrium programming in Hilbert spaces,β
*Journal of Nonlinear and Convex Analysis*, vol. 6, no. 1, pp. 117β136, 2005. View at Google Scholar Β· View at Zentralblatt MATH - K. Aoyama, Y. Kimura, W. Takahashi, and M. Toyoda, βOn a strongly nonexpansive sequence in Hilbert spaces,β
*Journal of Nonlinear and Convex Analysis*, vol. 8, no. 3, pp. 471β489, 2007. View at Google Scholar Β· View at Zentralblatt MATH