Chinese Journal of Mathematics

Volume 2014 (2014), Article ID 957482, 7 pages

http://dx.doi.org/10.1155/2014/957482

## Algorithm for Solving a New System of Generalized Nonlinear Quasi-Variational-Like Inclusions in Hilbert Spaces

Department of Applied Mathematics, Faculty of Engineering & Technology, Aligarh Muslim University, Aligarh 202002, India

Received 10 September 2013; Accepted 5 November 2013; Published 5 February 2014

Academic Editors: Q. Guo and X.-G. Li

Copyright © 2014 Shamshad Husain et al. 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 and study a new system of generalized nonlinear quasi-variational-like inclusions with -cocoercive operator in Hilbert spaces. We suggest and analyze a class of iterative algorithms for solving the system of generalized nonlinear quasi-variational-like inclusions. An existence theorem of solutions for the system of generalized nonlinear quasi-variational-like inclusions is proved under suitable assumptions which show that the approximate solutions obtained by proposed algorithms converge to the exact solutions.

#### 1. Introduction

Variational inclusion problems are important generalization of classical variational inequalities and have wide applications to many fields including mechanics, physics, optimization and control, nonlinear programming, economics, and engineering sciences; see, for example, [1]. For these reasons, various variational inclusions have been intensively studied in recent years. Many efficient ways have been studied to find solutions for variational inclusions. Those methods include the projection method and its various forms, linear approximation, descent and Newton’s method, and the method based on auxiliary principle technique. The method based on the resolvent operator technique is a generalization of the projection method and has been widely used to solve variational inclusions. For details, we refer to see [2–19].

Recently, Fang and Huang, Kazmi and Khan, and Lan et al. investigated several resolvent operators for generalized operators such as -monotone [3, 17], -accretive [4], -maximal relaxed accretive [14], -monotone [5], -accretive [13], -proximal point [8], and -accretive [9] operators. Very recently, Zou and Huang [19] introduced and studied -accretive operators, Kazmi et al. [10–12] introduced and studied generalized -accretive operators and --proximal point mapping, and Xu and Wang [18] introduced and studied -monotone operators. Ahmad et al. [2, 8] introduced and studied -cocoercive operators, showed some properties of the resolvent operator for the -cocoercive operators, and obtained an application for solving variational inclusions in Hilbert spaces. They also gave some examples to illustrate their results.

Inspired and motivated by the researches going on in this area, we introduce and discuss a new system of generalized nonlinear quasi-variational-like inclusions involving -cocoercive operators in Hilbert spaces. By using the resolvent operators associated with -cocoercive operators due to Ahmad et al. [2], we prove that the approximate solutions obtained by the iterative algorithms converge to the exact solutions of our system of generalized nonlinear quasi-variational-like inclusions. Our results can be viewed as an extension and generalization of some known results in the literature.

#### 2. Preliminaries

Throughout this paper, we suppose that is a real Hilbert space endowed with a norm and an inner product , is the metric induced by the norm , (resp., ) is the family of all the nonempty (resp., closed and bounded) subsets of and is the Hausdorff metric on defined by where and .

In the sequel, let us recall some concepts.

*Definition 1 (see [20]). *A mapping is said to be(i)monotone if
(ii)-strongly monotone if there exists a constant such that
(iii)-cocoercive if there exists a constant such that
(iv)-relaxed cocoercive if there exists a constant such that
(v)-Lipschitz continuous if there exists a constant such that
(vi)-expansive if there exists a constant such that
if , then it is expansive.

*Definition 2. *Let be set-valued mapping. Then, is said to be -cocoercive if there exists a constant such that

*Definition 3 (see [2]). *Let and be the single-valued mappings. Then,(i) is said to be -cocoercive with respect to if there exists a constant such that
(ii) is said to be -relaxed cocoercive with respect to if there exists a constant such that
(iii) is said to be -Lipschitz continuous with respect to if there exists a constant such that
(iv) is said to be -Lipschitz continuous with respect to if there exists a constant such that

*Definition 4 (see [2]). *Let and be the single-valued mappings. Then, the set-valued mapping is said to be -cocoercive with respect to and (or simply -cocoercive in the sequel), if(i) is cocoercive;(ii), for every .

*Example 5. *Let with the usual inner product. Let be defined by

Suppose that is defined by

Then, it is easy to check that is -cocoercive with respect to and -relaxed cocoercive with respect to .

Let , where is the identity mapping. Then, is -cocoercive mapping with respect to and .

*Example 6. *Let , where denotes the space of all real symmetric matrices. Let , for all and . Then, for , we have
but
because is not the square of any real symmetric matrix. Hence, is not -cocoercive with respect to and .

Proposition 7 (see [2]). *Let be -cocoercive with respect to and -relaxed cocoercive with respect to ; is -expansive, is -Lipschitz continuous, and , . Let be an -cocoercive operator. If the inequality
**
holds for all , then , where
*

*Theorem 8 (see [2]). Let be -cocoercive with respect to and -relaxed cocoercive with respect to ; is -expansive, is -Lipschitz continuous, and and . Let M be an -cocoercive operator with respect to and . Then, the operator is single-valued.*

*Definition 9 (see [2]). *Let be -cocoercive with respect to and -relaxed cocoercive with respect to ; is -expansive, is -Lipschitz continuous, and , . Let be an -cocoercive operator with respect to and . The resolvent operator is defined by

*Theorem 10 (see [2]). Let be -cocoercive with respect to and -relaxed cocoercive with respect to , is -expansive, is -Lipschitz continuous, and , with . Let be an -cocoercive operator with respect to and . Then, the resolvent operator is -Lipschitz continuous; that is,
*

*3. The System of Generalized Nonlinear Quasi-Variational-Like Inclusions and Iterative Algorithm*

*3. The System of Generalized Nonlinear Quasi-Variational-Like Inclusions and Iterative Algorithm*

*Let and be real Hilbert spaces. Let , , , , ,, , , and be the single-valued mappings. Let and be the set-valued mappings, let be a set-valued mapping such that, for each , is a -cocoercive operator with respect to and , and let be a set-valued mapping such that, for each , is an -cocoercive operator with respect to and . Assume that for each , and for each. Then, we consider the following system of generalized nonlinear quasi-variational-like inclusions.*

*Find with , such that
*

*
Next are some special cases of problem (21).(1)Let , be identity mappings, for each , and ; then problem (21) reduces to the following problem considered in [15]:
(2), , is an identity mapping, , , for each , ; then problem (21) reduces to the following problem considered in [16]:
*

*For a suitable choice of the mappings , , , , , , , , , , , and the space , a number of known systems of quasi-variational inequalities, systems of variational inequalities, systems of quasi-variational inclusions, and variational inclusions can be obtained as special cases of the generalized nonlinear quasi-variational inclusion problem (21). We would like to mention that the problem of finding zero of the sum of two maximal monotone operators is also a special case of problem (21). Furthermore, these types of variational inclusion enable us to study many important problems arising in mathematical, physical, and engineering science in a general and unified framework.*

*Lemma 11. Let and be real Hilbert spaces. Let , ,,,, be the single-valued mappings. Let be a single-valued mapping such that is -cocoercive with respect to and -relaxed cocoercive with respect to ; is -expansive, is -Lipschitz continuous, and , . Let be a single-valued mapping such that is -cocoercive with respect to and -relaxed cocoercive with respect to ; is -expansive, is -Lipschitz continuous, and , . Let and be the set-valued mappings, let be a set-valued mapping such that, for each , is a -cocoercive operator, and let be a set-valued mapping such that, for each , is an -cocoercive operator. Assume that for each , and for each. Then, for any with , is a solution of the problem (21), if and only if
where , , and are constants.*

*Proof. *By using the definitions of the resolvent operators and , the conclusion follows directly.

*The preceding lemma allows us to suggest the following iterative algorithm for problem (21).*

*Algorithm 12. *For with , , compute the sequences , , , as follows:
for all , 1, 2,, and and are constants.

*Definition 13. *Let and be two set-valued mappings. A single-valued mapping is said to be(i)-Lipschitz continuous in the first argument with respect to , if there exists a constant such that
(ii)-Lipschitz continuous in the second argument with respect to , if there exists a constant such that

*Definition 14. *Let and be two set-valued mappings. A single-valued mapping is said to be(i)-Lipschitz continuous in the first argument with respect to , if there exists a constant such that
(ii)-Lipschitz continuous in the second argument with respect to , if there exists a constant such that

*Definition 15. *A set-valued mapping is said to be -Lipschitz continuous, if there exists a constant such that

*Theorem 16. Let and be real Hilbert spaces. Let , ,, ,, , and be the single-valued mappings. Let and be the set-valued mappings, let be a set-valued mapping such that, for each , is a -cocoercive operator with respect to and , and let be a set-valued mapping such that for each , is an -cocoercive operator with respect to and . Assume that for each , and for each. Assume that (i), are , -Lipschitz continuous in the Hausdorff metric , respectively;(ii) is -cocoercive with respect to and -relaxed cocoercive with respect to ;(iii) is -cocoercive with respect to and -relaxed cocoercive with respect to ;(iv), is , -expansive, respectively;(v), is , -Lipschitz continuous, respectively;(vi) is -Lipschitz continuous and -strongly monotone;(vii) is -Lipschitz continuous and -strongly monotone;(viii) is -Lipschitz continuous with respect to and -Lipschitz continuous with respect to ;(ix) is -Lipschitz continuous with respect to and -Lipschitz continuous with respect to ;(x) is -Lipschitz continuous in the first argument and -Lipschitz continuous in the second argument;(xi)is -Lipschitz continuous in the first argument and -Lipschitz continuous in the second argument;(xii)*

Then, the iterative sequences , , , and , generated by Algorithm 12, converge strongly to , , , and respectively, and , , , is a solution of problem (21).

*Proof. *Since , are Lipschitz continuous with constants , , respectively, it follows from Algorithm 12 that
for all .

Using the -strong monotonicity of , we have
which implies that

Now we estimate by using Algorithm 12 and the Lipschitz continuity of as follows:

Since is -Lipschitz continuous with respect to and -Lipschitz continuous with respect to , is -Lipschitz continuous in the first argument and -Lipschitz continuous in the second argument. is -Lipschitz continuous and using (32), (34), and (35) it becomes

Let
where

Now we estimate by using Algorithm 12 and the Lipschitz continuity of as follows:

Since is -Lipschitz continuous with respect to and -Lipschitz continuous with respect to , is -Lipschitz continuous in the first argument and -Lipschitz continuous in the second argument. is -Lipschitz continuous and using (32), (34), and (39) it becomes

In the light of (34), we have

Let
where

From adding (37) and (42), we get
where .

Letting , we obtain , where

By (31), , and (44) and both are Cauchy sequences. Thus, there exists such that , , as . From the Lipschitz continuity of and and (32), , are also Cauchy sequences, and thus there exists such that , , as .

Now, we prove that and . In fact, since and , we have
which implies that . Since , it follows that . Similarly, we have . By Lemma 11, it follows that , , , is a solution of problem (21), and this completes the proof.

*Conflict of Interests*

*Conflict of Interests*

*The authors declare that there is no conflict of interests regarding the publication of this paper.*

*References*

*References*

- J. P. Aubin and A. Cellina,
*Differential Inclusions*, Springer, Berlin, Germany, 1984. - R. Ahmad, M. Dilshad, M.-M. Wong, and J.-C. Yao, “
*H*(·,·)-cocoercive operator and an application for solving generalized variational inclusions,”*Abstract and Applied Analysis*, vol. 2011, Article ID 261534, 12 pages, 2011. View at Publisher · View at Google Scholar · View at Scopus - 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 Scopus - Y.-P. Fang and N.-J. Huang, “
*H*-accretive operators resolvent operator technique solving variational inclusions in banach spaces,”*Applied Mathematics Letters*, vol. 17, no. 6, pp. 647–653, 2004. View at Publisher · View at Google Scholar · View at Scopus - Y.-P. Fang, N.-J. Huang, and H. B. Thompson, “A new system of variational inclusions with (
*H*,*η*)-monotone operators in hilbert spaces,”*Computers and Mathematics with Applications*, vol. 49, no. 2-3, pp. 365–374, 2005. View at Publisher · View at Google Scholar · View at Scopus - S. Husain and S. Gupta, “Algorithm for solving a new system of generalized variational inclusions in Hilbert spaces,”
*Journal of Calculus of Variations*, vol. 2013, Article ID 461371, 8 pages, 2013. View at Publisher · View at Google Scholar - S. Husain, S. Gupta, and V. N. Mishra, “Generalized
*H*(·, ·, ·)$\eta $-cocoercive operators and generalized set-valued variational-like inclusions,”*Journal of Mathematics*, vol. 2013, Article ID 738491, 10 pages, 2013. View at Publisher · View at Google Scholar - K. R. Kazmi and F. A. Khan, “Iterative approximation of a solution of multi-valued variational-like inclusion in Banach spaces: a
*P*-*η*-proximal-point mapping approach,”*Journal of Mathematical Analysis and Applications*, vol. 325, no. 1, pp. 665–674, 2007. View at Publisher · View at Google Scholar · View at Scopus - K. R. Kazmi and F. A. Khan, “Sensitivity analysis for parametric generalized implicit quasi-variational-like inclusions involving
*P*-*η*-accretive mappings,”*Journal of Mathematical Analysis and Applications*, vol. 337, no. 2, pp. 1198–1210, 2008. View at Publisher · View at Google Scholar · View at Scopus - K. R. Kazmi, N. Ahmad, and M. Shahzad, “Convergence and stability of an iterative algorithm for a system of generalized implicit variational-like inclusions in Banach spaces,”
*Applied Mathematics and Computation*, vol. 218, no. 18, pp. 9208–9219, 2012. View at Publisher · View at Google Scholar · View at Scopus - K. R. Kazmi, M. I. Bhat, and N. Ahmad, “An iterative algorithm based on
*M*-proximal mappings for a system of generalized implicit variational inclusions in Banach spaces,”*Journal of Computational and Applied Mathematics*, vol. 233, no. 2, pp. 361–371, 2009. View at Publisher · View at Google Scholar · View at Scopus - K. R. Kazmi, F. A. Khan, and M. Shahzad, “A system of generalized variational inclusions involving generalized
*H*(*·*,*·*)-accretive mapping in real q-uniformly smooth Banach spaces,”*Applied Mathematics and Computation*, vol. 217, no. 23, pp. 9679–9688, 2011. View at Publisher · View at Google Scholar · View at Scopus - H.-Y. Lan, Y. Je Cho, and R. U. Verma, “Nonlinear relaxed cocoercive variational inclusions involving (
*A*,*η*)-accretive mappings in banach spaces,”*Computers and Mathematics with Applications*, vol. 51, no. 9-10, pp. 1529–1538, 2006. View at Publisher · View at Google Scholar · View at Scopus - R. U. Verma, “The generalized relaxed proximal point algorithm involving
*A*-maximal-relaxed accretive mappings with applications to Banach spaces,”*Mathematical and Computer Modelling*, vol. 50, no. 7-8, pp. 1026–1032, 2009. View at Publisher · View at Google Scholar · View at Scopus - R. U. Verma, “General system of
*A*-monotone nonlinear variational inclusion problems with applications,”*Journal of Optimization Theory and Applications*, vol. 131, no. 1, pp. 151–157, 2006. View at Publisher · View at Google Scholar · View at Scopus - F.-Q. Xia and N.-J. Huang, “Variational inclusions with a general
*H*-monotone operator in Banach spaces,”*Computers and Mathematics with Applications*, vol. 54, no. 1, pp. 24–30, 2007. View at Publisher · View at Google Scholar · View at Scopus - F. -Q. Xia, Q. -B. Zhang, and Y. -Z. Zou, “A new iterative algorithm for variational inclusions with
*H*-monotone operators,”*Thai Journal of Mathematics*, vol. 10, no. 3, pp. 605–616, 2012. View at Google Scholar - Z. Xu and Z. Wang, “A generalized mixed variational inclusion involving $(H(\xb7,\xb7),\eta )$-monotone operators in Banach spaces,”
*Journal of Mathematics Research*, vol. 2, no. 3, pp. 47–56, 2010. View at Google Scholar - Y.-Z. Zou and N.-J. Huang, “
*H*(*·*,*·*)-accretive operator with an application for solving variational inclusions in Banach spaces,”*Applied Mathematics and Computation*, vol. 204, no. 2, pp. 809–816, 2008. View at Publisher · View at Google Scholar · View at Scopus - P. Tseng, “Further applications of a splitting algorithm to decomposition in variational inequalities and convex programming,”
*Mathematical Programming*, vol. 48, no. 1–3, pp. 249–263, 1990. View at Publisher · View at Google Scholar · View at Scopus

*
*