Journal of Applied MathematicsVolume 2012 (2012), Article ID 487394, 24 pagesdoi:10.1155/2012/487394

Research Article

Algorithms for General System of Generalized Resolvent Equations with Corresponding System of Variational Inclusions

Lu-Chuan Ceng¹ and Ching-Feng Wen²

¹ Scientific Computing Key Laboratory of Shanghai Universities and Department of Mathematics, Shanghai Normal University, Shanghai 200234, China²Center for General Education, Kaohsiung Medical University, Kaohsiung 807, Taiwan

Received 8 January 2012; Accepted 14 January 2012

Academic Editor: Yonghong Yao

Copyright © 2012 Lu-Chuan Ceng and Ching-Feng Wen. 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.

Very recently, Ahmad and Yao (2009) introduced and considered a system of generalized resolvent equations with corresponding system of variational inclusions in uniformly smooth Banach spaces. In this paper we introduce and study a general system of generalized resolvent equations with corresponding general system of variational inclusions in uniformly smooth Banach spaces. We establish an equivalence relation between general system of generalized resolvent equations and general system of variational inclusions. The iterative algorithms for finding the approximate solutions of general system of generalized resolvent equations are proposed. The convergence criteria of approximate solutions of general system of generalized resolvent equations obtained by the proposed iterative algorithm are also presented. Our results represent the generalization, improvement, supplement, and development of Ahmad and Yao corresponding ones.

1. Introduction and Preliminaries

It is well known that the theory of variational inequalities has played an important role in the investigation of a wide class of problems arising in mechanics, physics, optimization and control, nonlinear programming, elasticity, and applied sciences and so on; see, for example, [1–7] and the references therein. In recent years variational inequalities have been extended and generalized in different directions. A useful and significant generalization of variational inequalities is called mixed variational inequalities involving the nonlinear term [8], which enables us to study free, moving, obstacle, equilibrium problems arising in pure and applied sciences in a unified and general framework. Due to the presence of the nonlinear term, the projection method and its variant forms including the technique of the Wiener-Hopf equations cannot be extended to suggest the iterative methods for solving mixed variational inequalities. To overcome these drawbacks, Hassouni and Moudafi [9] introduced variational inclusions which contain mixed variational inequalities as special cases. They studied the perturbed method for solving variational inclusions. Subsequently, M. A. Noor and K. I. Noor [10] introduced and considered the resolvent equations by virtue of the resolvent operator concept and established the equivalence between the mixed variational inequalities and the resolvent equations. The technique of resolvent equations is being used to develop powerful and efficient numerical techniques for solving mixed (quasi)variational inequalities and related optimization problems. At the same time, some iterative algorithms for approximating a solution of some system of variational inequalities are also introduced and studied in Verma [11]. Pang [12], Cohen and Chaplais [13], Binachi [14], Ansari and Yao [15] considered a system of scalar variational inequalities and Pang showed that the traffic equilibrium problem, the Nash equilibrium, and the general equilibrium programming problem can be modeled as a system of variational inequalities. As generalizations of system of variational inequalities, Agarwal et al. [16] introduced a system of generalized nonlinear mixed quasi-variational inclusions and investigated the sensitivity analysis of solutions for the system of generalized mixed quasi-variational inclusions in Hilbert spaces. In 2007, Peng and Zhu [17] considered and studied a new system of generalized mixed quasi-variational inclusions with -monotone operators and Lan et al. [18] studied a new system of nonlinear -monotone multivalued variational inclusions. Furthermore, for more details in the related research work of this field, we invoke the readers to see, for instance, [19–30]. Very recently, Ahmad and Yao [31] introduced and considered a new system of variational inclusions in uniformly smooth Banach spaces, which covers the system of variational inclusions in Hilbert spaces considered by [18]. They established an equivalence relation between this system of variational inclusions and a system of generalized resolvent equations, proposed a number of iterative algorithms for this system of variational inclusions, and also gave the convergence criteria.

Let be a real Banach space with its norm the topological dual of , and the metric induced by the norm . Let (resp., ) be the family of all nonempty closed and bounded subsets (resp., all nonempty subsets) of and the Hausdorff metric on defined by where and . We write by the normalized duality mapping defined as where denotes the duality pairing between and .

The uniform convexity of a Banach space means that for any , there exists , such that for any ensure the following inequality: The function is called the modulus of convexity of .

The uniform smoothness of a Banach space means that for any given , there exists such that holds. The function is called the modulus of smoothness of .

It is well known that the Banach space is uniformly convex if and only if for all , and it is uniformly smooth if and only if . All Hilbert spaces, (or ) spaces (), and the Sobolov spaces are 2-uniformly smooth, while, for (or ) and spaces are -uniformly smooth.

Proposition 1.1 (see [15]). Let be a uniformly smooth Banach space. Then the normalized duality mapping   is single-valued, and for any there holds the following: (i),(ii), where .

Definition 1.2 (see [32]). A mapping is said to be(i)-strongly accretive, , if for any , there exists such that(ii)Lipschitz continuous if for any , there exists a constant , such that

Definition 1.3 (see [13]). A set-valued mapping is said to be(i)accretive, if for any , there exists such that for all and , (ii)-strongly accretive, , if for any , there exists , such that for all and , (iii)-accretive if is accretive and , for every (equivalently, for some) , where is the identity mapping (equivalently, if is accretive and ). In particular, it is clear from [9] that if is a Hilbert space, than is an -accretive mapping if and only if it is a maximal monotone mapping.

Definition 1.4 (see [31]). Let be an -accretive mapping. For any , the mapping associated with defined by is called the resolvent operator.

Definition 1.5 (see [33]). The resolvent operator is said to be a retraction if It is well known that is a single-valued and nonexpansive mapping.

Definition 1.6 (see [10]). A set-valued mapping is said to be -Lipschitz continuous if for any , there exists a constant such that

Let and be two real Banach spaces, and single-valued mappings, and and any four multivalued mappings. Let and be any nonlinear mappings, and nonlinear mappings with and , respectively. Then we consider the problem of finding such that which is called a general system of variational inclusions. In particular, if and , where and are single-valued mappings, then the general system of variational inclusions (1.14) reduces to the following system of variational inclusions which was considered by Lan et al. [18] in Hilbert spaces and studied by Ahmad and Yao [31] in Banach spaces, respectively.

Proposition 1.7 (see [31, Lemma  2.1]). is a solution of the system of variational inclusions (1.15) if and only if satisfies

Proposition 1.8 (see [31, Proposition  3.1]). The system of variational inclusions (1.15) has a solution with and if and only if the following system of generalized resolvent equations has a solution with and , where and .

Based on the above Propositions 1.7 and 1.8, Ahmad and Yao [31] presented the following algorithm and established the following strong convergence result for the sequences generated by the algorithm.

Algorithm 1.9 (see [31, Algorithm  3.1]). For given and , compute , and by the iterative scheme:

Theorem 1.10 (see [31, Theorem  3.1]). Let and be two real uniformly smooth Banach spaces with modulus of smoothness and for , respectively. Let be -Lipschitz continuous mappings with constants and , respectively, and let be -accretive mappings such that the resolvent operators associated with and are retractions. Let be both strong accretive with constants and , respectively, and Lipschitz continuous with constants and , respectively. Let be Lipschitz continuous with constants and , respectively, and let be Lipschitz continuous in the first and second arguments with constants and , respectively. If there exist constants and , such that where and ,,,, then there exist and satisfying the system of generalized resolvent equations (1.17) (in this case, is a solution of system of variational inclusions (1.15)), and the iterative sequences , and generated by Algorithm 1.9 converge strongly to , and , respectively.

In this paper we introduce and study a general system of generalized resolvent equations with corresponding general system of variational inclusions in uniformly smooth Banach spaces. Motivated and inspired by the above Proposition 1.8, we establish an equivalence relation between general system of generalized resolvent equations and general system of variational inclusions. By using Nadler [34] we propose some new iterative algorithms for finding the approximate solutions of general system of generalized resolvent equations, which include Ahmad and Yao’s corresponding algorithms as special cases to a great extent. Furthermore, the convergence criteria of approximate solutions of general system of generalized resolvent equations obtained by the proposed iterative algorithm are also presented. There is no doubt that our results represent the generalization, improvement, supplement, and development of Ahmad and Yao corresponding ones [31].

2. Main Results

Let and be two real Banach spaces, let and be single-valued mappings, and let and be any four multivalued mappings. Let and be any nonlinear mappings, and nonlinear mappings with and , respectively. Then we consider the problem of finding such that where and are the resolvent operators associated with and , respectively.

The corresponding general system of variational inclusions of (2.1) is the problem (1.14), that is, find such that

Proposition 2.1. are solutions of general system of variational inclusions (1.14) if and only if satisfies

Proof. The proof of Proposition 2.1 is a direct consequence of the definition of resolvent operator, and hence, is omitted.

Next we first establish an equivalence relation between general system of generalized resolvent equations (2.1) and general system of variational inclusions (1.14) and then prove the existence of a solution of (2.1) and convergence of sequences generated by the proposed algorithms.

Proposition 2.2. The general system of variational inclusions (1.14) has a solution with and if and only if general system of generalized resolvent equations (2.1) has a solution with ,, where and and .

Proof. Let be a solution of general system of variational inclusions (1.14). Then, by Proposition 2.1, it satisfies the following system of equations Let and . Then we have and hence and . Thus it follows that that is, Therefore, is a solution of general system of generalized resolvent equations (2.1).Conversely, let be a solution of general system of generalized resolvent equations (2.1). Then Now observe that which leads to and also that which leads to Consequently, we have Therefore, by Proposition 2.1, is a solution of general system of variational inclusions (1.14).

Proof (Alternative). Let Then, utilizing (2.4), we can write which yield that the required general system of generalized resolvent equations.

Algorithm 2.3. For given ,,, compute For , we take such that and . Then, by Nadler [34], there exist such that where is the Hausdorff metric on (for the sake of convenience, we also denote by the Hausdorff metric on ). Compute By induction, we can obtain sequences ,,, by the iterative scheme: for .The general system of generalized resolvent equations (2.1) can also be rewritten as Utilizing this fixed-point formulation, we suggest the following iterative algorithm.

Algorithm 2.4. For given ,,,, compute For , we take such that and . Then, by Nadler [34], there exist such that where is the Hausdorff metric on (for the sake of convenience, we also denote by the Hausdorff metric on ). Compute By induction, we can obtain sequences ,,, by the iterative scheme: for .For positive stepsize , the general system of generalized resolvent equations (2.1) can also be rewritten as This fixed point formulation enables us to propose the following iterative algorithm.

Algorithm 2.5. For given ,,,, compute and such that Then, by Nadler [34], there exist such that where is the Hausdorff metric on (for the sake of convenience, we also denote by the Hausdorff metric on ). Compute and such that By induction, we can obtain sequences by the iterative scheme: for .Note that for , Algorithm 2.5 reduces to the following algorithm which solves the general system of variational inclusions (1.14).

Algorithm 2.6. For given , compute such that Then, by Nadler [34], there exist such that where is the Hausdorff metric on (for the sake of convenience, we also denote by the Hausdorff metric on ). Compute such that By induction, we can obtain sequences by the iterative scheme: for .

We now study the convergence analysis of Algorithm 2.3. In a similar way, one can study the convergence of other algorithms.

Theorem 2.7. Let and be two real uniformly smooth Banach spaces with modulus of smoothness and for , respectively. Let , be -Lipschitz continuous mappings with constants , and , respectively, and let be -accretive mappings such that the resolvent operators associated with and are retractions. Let be both strong accretive with constants and , respectively, and Lipschitz continuous with constants and , respectively. Let be Lipschitz continuous with constants and , respectively, and Lipschitz continuous in the first and second arguments with constants and , respectively. If there exist constants and , such that where , and ,,,, then there exist and satisfying the general system of generalized resolvent equations (2.1) (in this case, is a solution of general system of variational inclusions (1.14)), and the iterative sequences , , and generated by Algorithm 2.3 converge strongly to , and , respectively.

Proof. From Algorithm 2.3 we have By Proposition 1.1, we have (see, e.g., the proof of [32, Theorem  3]) Since is Lipschitz continuous in both arguments, are -Lipschitz continuous, and is Lipschitz continuous, we have Utilizing (2.41) and Proposition 1.1, we have which implies that Thus, we have Note that where and .Utilizing (2.40) and (2.44), we deduce from (2.39) that where .On the other hand, again from Algorithm 2.3 we have Utilizing the same arguments as those for (2.40), we have Since is Lipschitz continuous in both arguments, are -Lipschitz continuous, and is Lipschitz continuous, we have Utilizing (2.49) and Proposition 1.1, we have which implies that Thus, we have Note that where and .Utilizing (2.48) and (2.52), we deduce from (2.47) that where .Adding (2.46) and (2.54), we have Also from (2.21), we have which implies that which implies that Utilizing (2.57) and (2.59), we conclude from (2.55) that Observe that where By (2.38), we know that . Now take a fixed arbitrarily. Then from (2.61) and (2.31) it follows that there exists an integer such that for all , So, we obtain from (2.60) that which implies that and are both Cauchy sequences. Thus, there exist and such that and as . From (2.57) and (2.59) it follows that and are also Cauchy sequences in and , respectively, that is, there exist such that and as .Also from (2.22), we have and hence, , and are also Cauchy sequences. Accordingly, there exist and such that , and , respectively.Now, we will show that , and . Indeed, since and we have which implies that . Taking into account that , we deduce that . Similarly, we can show that and . By the continuity of and Algorithm 2.3, we have By Propositions 2.1 and 2.2, the required result follows.

Acknowledgments

The research of L.-C. Ceng was partially supported by the National Science Foundation of China (11071169), Innovation Program of Shanghai Municipal Education Commission (09ZZ133), and Leading Academic Discipline Project of Shanghai Normal University (DZL707). The research of C.-F. Wen was partially supported by a Grant from NSC 100-2115-M-037-001.

References

C. Baiocchi and A. Capelo, Variational and Quasivariational Inequalities: Applications to Free Boundary Problems, John Wiley & Sons, New York, NY, USA, 1984.

G. Isac, V. A. Bulavsky, and V. V. Kalashnikov, Complementarity, Equilibrium, Efficiency and Economics, vol. 63 of Nonconvex Optimization and its Applications, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2002.

D. Kinderlehrer and G. Stampacchia, An Introduction to Variational Inequalities and Their Applications, vol. 88 of Pure and Applied Mathematics, Academic Press, New York, NY, USA, 1980.

I. Konnov, Combined Relaxation Methods for Variational Inequalities, vol. 495 of Lecture Notes in Economics and Mathematical Systems, Springer, Berlin, Germany, 2001.

A. Nagurney, Network Economics: A Variational Inequality Approach, vol. 1 of Advances in Computational Economics, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1993.

P. D. Panagiotopoulos and G. E. Stavroulakis, “New types of variational principles based on the notion of quasidifferentiability,” Acta Mechanica, vol. 94, no. 3-4, pp. 171–194, 1992.

M. Patriksson, Nonlinear Programming and Variational Inequality Problems: A Unified Approach, vol. 23 of Applied Optimization, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1999.

A. H. Siddiqi and Q. H. Ansari, “An algorithm for a class of quasivariational inequalities,” Journal of Mathematical Analysis and Applications, vol. 145, no. 2, pp. 413–418, 1990.

A. Hassouni and A. Moudafi, “A perturbed algorithm for variational inclusions,” Journal of Mathematical Analysis and Applications, vol. 185, no. 3, pp. 706–712, 1994.

M. A. Noor and K. I. Noor, “Multivalued variational inequalities and resolvent equations,” Mathematical and Computer Modelling, vol. 26, no. 7, pp. 109–121, 1997.

R. U. Verma, “Projection methods, algorithms, and a new system of nonlinear variational inequalities,” Computers & Mathematics with Applications, vol. 41, no. 7-8, pp. 1025–1031, 2001.

J.-S. Pang, “Asymmetric variational inequality problems over product sets: applications and iterative methods,” Mathematical Programming, vol. 31, no. 2, pp. 206–219, 1985.

G. Cohen and F. Chaplais, “Nested monotony for variational inequalities over product of spaces and convergence of iterative algorithms,” Journal of Optimization Theory and Applications, vol. 59, no. 3, pp. 369–390, 1988.

M. Binachi, “Pseudo p-monotone operators and variational inequalities,” Tech. Rep. 6, Instituto di Econometria e Matematica per Decisioni Economiche, Universita Cattolica del Sacro Cuore, Milan, Italy, 1993.

Q. H. Ansari and J.-C. Yao, “A fixed point theorem and its applications to a system of variational inequalities,” Bulletin of the Australian Mathematical Society, vol. 59, no. 3, pp. 433–442, 1999.

R. P. Agarwal, N.-J. Huang, and M.-Y. Tan, “Sensitivity analysis for a new system of generalized nonlinear mixed quasi-variational inclusions,” Applied Mathematics Letters, vol. 17, no. 3, pp. 345–352, 2004.

J. Peng and D. Zhu, “A new system of generalized mixed quasi-variational inclusions with -monotone operators,” Journal of Mathematical Analysis and Applications, vol. 327, no. 1, pp. 175–187, 2007.

H.-Y. Lan, J. H. Kim, and Y. J. Cho, “On a new system of nonlinear A-monotone multivalued variational inclusions,” Journal of Mathematical Analysis and Applications, vol. 327, no. 1, pp. 481–493, 2007.

R. Ahmad, Q. H. Ansari, and S. S. Irfan, “Generalized variational inclusions and generalized resolvent equations in Banach spaces,” Computers & Mathematics with Applications, vol. 49, no. 11-12, pp. 1825–1835, 2005.

S. S. Chang, Y. J. Cho, B. S. Lee, and I. H. Jung, “Generalized set-valued variational inclusions in Banach spaces,” Journal of Mathematical Analysis and Applications, vol. 246, no. 2, pp. 409–422, 2000.

N.-J. Huang, “A new class of generalized set-valued implicit variational inclusions in Banach spaces with an application,” Computers & Mathematics with Applications, vol. 41, no. 7-8, pp. 937–943, 2001.

L. C. Ceng, S. Schaible, and J. C. Yao, “On the characterization of strong convergence of an iterative algorithm for a class of multi-valued variational inclusions,” Mathematical Methods of Operations Research, vol. 70, no. 1, pp. 1–12, 2009.

L.-C. Zeng, S.-M. Guu, and J.-C. Yao, “Characterization of H-monotone operators with applications to variational inclusions,” Computers & Mathematics with Applications, vol. 50, no. 3-4, pp. 329–337, 2005.

X. P. Ding, J.-C. Yao, and L.-C. Zeng, “Existence and algorithm of solutions for generalized strongly nonlinear mixed variational-like inequalities in Banach spaces,” Computers & Mathematics with Applications, vol. 55, no. 4, pp. 669–679, 2008.

L.-C. Ceng, S.-M. Guu, and J.-C. Yao, “Iterative approximation of solutions for a class of completely generalized set-valued quasi-variational inclusions,” Computers & Mathematics with Applications, vol. 56, no. 4, pp. 978–987, 2008.

L.-C. Zeng, S.-M. Guu, and J.-C. Yao, “Three-step iterative algorithms for solving the system of generalized mixed quasi-variational-like inclusions,” Computers & Mathematics with Applications, vol. 53, no. 10, pp. 1572–1581, 2007.

L.-C. Zeng, S.-M. Guu, and J.-C. Yao, “Iterative algorithm for completely generalized set-valued strongly nonlinear mixed variational-like inequalities,” Computers & Mathematics with Applications, vol. 50, no. 5-6, pp. 935–945, 2005.

L.-C. Zeng, S.-M. Guu, and J.-C. Yao, “An iterative method for generalized nonlinear set-valued mixed quasi-variational inequalities with H-monotone mappings,” Computers & Mathematics with Applications, vol. 54, no. 4, pp. 476–483, 2007.

L.-C. Zeng, Q. H. Ansari, and J.-C. Yao, “General iterative algorithms for solving mixed quasi-variational-like inclusions,” Computers & Mathematics with Applications, vol. 56, no. 10, pp. 2455–2467, 2008.

L.-C. Ceng, S.-M. Guu, and J.-C. Yao, “Iterative algorithm for finding approximate solutions of mixed quasi-variational-like inclusions,” Computers & Mathematics with Applications, vol. 56, no. 4, pp. 942–952, 2008.

R. Ahmad and J. C. Yao, “System of generalized resolvent equations with corresponding system of variational inclusions,” Journal of Global Optimization, vol. 44, no. 2, pp. 297–309, 2009.

Ya. Alber and J.-C. Yao, “Algorithm for generalized multi-valued co-variational inequalities in Banach spaces,” Functional Differential Equations, vol. 7, no. 1-2, pp. 5–13, 2000.

Y. I. Alber, “Metric and generalized projection operators in Banach spaces: properties and applications,” in Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, vol. 178 of Lecture Notes in Pure and Applied Mathematics, pp. 15–50, Dekker, New York, NY, USA, 1996.

S. B. Nadler Jr., “Multi-valued contraction mappings,” Pacific Journal of Mathematics, vol. 30, pp. 475–488, 1969.