 Research Article
 Open Access
 Published:
On Solvability of a Generalized Nonlinear VariationalLike Inequality
Journal of Inequalities and Applications volume 2009, Article number: 467512 (2009)
Abstract
A new generalized nonlinear variationallike inequality is introduced and studied. By applying the auxiliary principle technique and KKM theory, we construct a new iterative algorithm for solving the generalized nonlinear variationallike inequality. By means of the Banach fixedpoint theorem, we establish the existence and uniqueness of solution for the generalized nonlinear variationallike inequality. The convergence of the sequence generated by the iterative algorithm is also discussed.
1. Introduction
It is well known that variational inequality theory has become a very effective and powerful tool for studying a wide range of problems arising in many diverse fields. One of the most interesting and important problems in the variational inequality theory is the development of an efficient iterative algorithm to compute approximate solutions. The researchers in [1–10] suggested a lot of iterative algorithms for solving various variational inequalities and variationallike inequalities. By using the auxiliary principle technique, Ding and Yao [3], Ding et al. [4], Huang and Deng [5], Liu et al. [8, 9], and others studied several classes of nonlinear variational inequalities and variationallike inequalities in reflexive Banach and Hilbert spaces, respectively, suggested some iterative algorithms to compute approximate solutions for these nonlinear variational inequalities and variationallike inequalities, and proved the existence of solutions for the nonlinear variational inequalities and variationallike inequalities involving different monotone mappings.
Motivated and inspired by the research work in [1–10], we introduce and study a generalized nonlinear variationallike inequality. By using the auxiliary principle technique and KKM theorem due to Zhang and Xiang [2], we suggest a new iterative scheme for solving the generalized nonlinear variationallike inequality. Utilizing the Banach fixedpoint theorem, we prove the existence and uniqueness of solution for the generalized nonlinear variationallike inequality. Under certain conditions, we discuss the convergence of the iterative sequence generalized by the iterative algorithm.
2. Preliminaries
Throughout this paper, let be a real Hilbert space endowed with an inner product and a norm , respectively, and . Let be a nonempty closed convex subset of . Assume that is a coercive continuous bilinear form, that is, there exist positive constants such that
(a1)
(a2).
Remark 2.1.
It follows from (a1) and (a2) that
Let be nondifferentiable and satisfy the following conditions:
(b1) is linear in the first argument,
(b2) is convex in the second argument,
(b3) is bounded, that is, there exists a constant satisfying
(b4)
Remark 2.2.
It follows that
which implies that is continuous in the second argument.
Let be mappings and . Now we consider the following generalized nonlinear variationallike inequality.
Find such that
It is clear that for appropriate and suitable choices of the mappings and , the generalized nonlinear variationallike inequality (2.3) includes some variational inequalities and variationallike inequalities in [1–10] as special cases.
Recall the following concepts and results.
Definition 2.3.
Let and be mappings.

(1)
is said to beLipschitz continuous if there exists a constant such that

(2)
is said to be relaxed Lipschitz if there exists a constant such that

(3)
is said to be strongly monotone with respect to in the first argument if there exists a constant such that

(4)
is said to be monotone with respect to in the second argument if

(5)
is said to be relaxed cocoercive with respect to in the second argument if there exists a constant such that

(6)
is said to beLipschitz continuous in the second argument if there exists a constant such that

(7)
is said to beLipschitz continuous if there exists a constant such that

(8)
and are said to behemicontinuous with respect to and in if for any, the mapping is continuous on
Lemma 2.4 (see [2]).
Let be a nonempty closed convex subset of a Hausdorff linear topological space , and let be mappings satisfying the following conditions:
(a) and
(b)for each is upper semicontinuous on
(c)for each the set is a convex set;
(d)there exists a nonempty compact set and such that
Then there exists such that
Lemma 2.5 (see [11]).
Let and be nonnegative sequences satisfying
where
Then .
Assumption 2.6.
Let satisfy that
(1)
(2)for any the mapping is convex and lower semicontinuous in
3. Auxiliary Problem and Algorithm
Now we consider the following auxiliary problem with respect to the generalized nonlinear variationallike inequality (2.3). For each find such that
where is a constant.
Theorem 3.1.
Let be a nonempty closed convex subset of a real Hilbert space ,, and let be Lipschitz continuous with constant . Assume that is a coercive continuous bilinear form satisfying (a1) and (a2), satisfies (b1)–(b4). Let and be mappings such that is Lipschitz continuous with constant , is strongly monotone with respect to in the first argument with constant , relaxed cocoercive with respect to and Lipschitz continuous in the second argument with constants and , respectively, is relaxed Lipschitz with constant , and and are hemicontinuous with respect to and in . Assume that Assumption 2.6 holds and there exists a positive constant satisfying
Then for each , the auxiliary problem (3.1) has a unique solution in
Proof.
Let be in Define two functionals and by
for all .
Now we prove that the functionals and satisfy all the conditions of Lemma 2.4 in the weak topology. It is easy to see for all
which imply that and satisfy condition (a) of Lemma 2.4. Since is a coercive continuous bilinear form, is convex and continuous in the second argument, and for given the mapping is convex and lower semicontinuous in , it follows that for each is weakly upper semicontinuous in the second argument and the set is convex for each That is, the conditions (b) and (c) of Lemma 2.4 hold. Let
Clearly, is a weakly compact subset of . For each we infer that
which means that the condition (d) of Lemma 2.4 holds. Thus Lemma 2.4 ensures that there exists such that for all that is,
Put for and Replacing by in (3.7), we obtain that
Notice that is convex in the second argument. It follows from Assumption 2.6 and (3.8) that
which implies that
Letting in (3.10), we conclude that
That is, is a solution of the auxiliary problem (3.1).
Now we prove the uniqueness of solution for the auxiliary problem (3.1). Suppose that are two solutions of the auxiliary problem (3.1) with respect to . It follows that
Taking in (3.12) and in (3.13), we get that
Adding (3.14) and (3.15), we deduce that
which yields that by (3.2). That is, is the unique solution of the auxiliary problem (3.1). This completes the proof.
The proof of the below result is similar to that of Theorem 3.1 and is omitted.
Theorem 3.2.
Let be a nonempty closed convex subset of a real Hilbert space , and Lipschitz continuous with constant . Assume that is a coercive continuous bilinear form satisfying (a1) and (a2), satisfies (b1)–(b4). Let and be mappings such that is strongly monotone with respect to in the first argument with constant , monotone with respect to in the second argument, is Lipschitz continuous with constant and and are hemicontinuous with respect to and in . Assume that Assumption 2.6 holds and there exists a positive constant satisfying
Then for each , the auxiliary problem (3.1) has a unique solution in
Based on Theorems 3.1 and 3.2, we suggest the following iterative algorithm with errors for solving the generalized nonlinear variationallike inequality (2.3).
Algorithm 3.3.
For given compute sequence by the following iterative scheme:
where is a constant and is a sequence in introduced to take into account possible inexact computation and satisfies that
4. Existence and Convergence
In this section, we prove the existence of solution for the generalized nonlinear variationallike inequality (2.3) and discuss the convergence of the sequence generated by Algorithm 3.3.
Theorem 4.1.
Let be a nonempty closed convex subset of a real Hilbert space , and Lipschitz continuous with constant . Assume that is a coercive continuous bilinear form satisfying (a1) and (a2), satisfies (b1)–(b4). Let and be mappings such that is Lipschitz continuous with constant , is strongly monotone with respect to in the first argument with constant , relaxed cocoercive with respect to and Lipschitz continuous in the second argument with constants and , respectively, is relaxed Lipschitz with constant , and and are hemicontinuous with respect to and in . Assume that Assumption 2.6 holds and
Then the generalized nonlinear variationallike inequality (2.3) possesses a unique solution and the iterative sequence generated by Algorithm 3.3 converges strongly to
Proof.
Note that (4.1) implies that (3.2) holds. It follows from Theorem 3.1 that there exists a mapping such that for each is the unique solution of the auxiliary problem (3.1). Next we show that is a contraction mapping in . Let and be arbitrary elements in and a constant. Using (3.1), we deduce that
Letting in (4.2) and in (4.3), and adding these inequalities, we arrive at
that is,
where
by (4.1). Therefore, is a contraction mapping. It follows from the Banach fixedpoint theorem that has a unique fixed point In light of (3.1), we get that
which implies that
that is, is a solution of the generalized nonlinear variationallike inequality (2.3).
Now we prove the uniqueness. Suppose that the generalized nonlinear variationallike inequality (2.3) has two solutions . It follows that
for all Taking in (4.9) and in (4.10), we obtain that
Adding (4.11), we deduce that
which together with (4.1) implies that That is, the generalized nonlinear variationallike inequality (2.3) has a unique solution in .
Next we discuss the convergence of the iterative sequence generated by Algorithm 3.3. Taking in (4.7) and in (3.18), and adding these inequalities, we infer that
That is,
where is defined by (4.6). It follows from (3.19), (4.1), (4.14), and Lemma 2.5 that the iterative sequence generated by Algorithm 3.3 converges strongly to This completes the proof.
As in the proof of Theorem 4.1, we have the following theorem.
Theorem 4.2.
Let be a nonempty closed convex subset of a real Hilbert space , and Lipschitz continuous with constant . Assume that is a coercive continuous bilinear form satisfying (a1) and (a2), satisfies (b1)–(b4). Let and be mappings such that is strongly monotone with respect to in the first argument with constant , monotone with respect to in the second argument, is Lipschitz continuous with constant and and are hemicontinuous with respect to and in . Assume that Assumption 2.6 holds and
Then the generalized nonlinear variationallike inequality (2.3) possesses a unique solution and the iterative sequence generated by Algorithm 3.3 converges strongly to
Remark 4.3.
The conditions of Theorems 3.1, 3.2, 4.1, and 4.2 are different from the conditions of the results in [1–10]. In particular, the mappings and with respect to the second argument in Theorems 3.2 and 4.2 are Lipschitz continuous, but other mappings in Theorems 3.2 and 4.2 are not Lipschitz continuous.
References
Ansari QH, Yao JC: Iterative schemes for solving mixed variationallike inequalities. Journal of Optimization Theory and Applications 2001,108(3):527–541. 10.1023/A:1017531323904
Zhang SS, Xiang SW: Existence of solutions for a class of quasibilinear variational inequalities. Journal of Systems Science and Mathematical Sciences 1996,16(2):136–140.
Ding XP, Yao JC: Existence and algorithm of solutions for mixed quasivariationallike inclusions in Banach spaces. Computers & Mathematics with Applications 2005,49(5–6):857–869. 10.1016/j.camwa.2004.05.013
Ding XP, Yao JC, Zeng LC: Existence and algorithm of solutions for generalized strongly nonlinear mixed variationallike inequalities in Banach spaces. Computers & Mathematics with Applications 2008,55(4):669–679. 10.1016/j.camwa.2007.06.004
Huang N, Deng C: Auxiliary principle and iterative algorithms for generalized setvalued strongly nonlinear mixed variationallike inequalities. Journal of Mathematical Analysis and Applications 2001,256(2):345–359. 10.1006/jmaa.2000.6988
Huang NJ, Fang YP: Auxiliary principle technique for solving generalized setvalued nonlinear quasivariationallike inequalities. Mathematical Inequalities & Applications 2003,6(2):339–350.
Liu Z, Chen Z, Kang SM, Ume JS: Existence and iterative approximations of solutions for mixed quasivariationallike inequalities in Banach spaces. Nonlinear Analysis: Theory, Methods & Applications 2008,69(10):3259–3272. 10.1016/j.na.2007.09.015
Liu Z, Ume JS, Kang SM: General strongly nonlinear quasivariational inequalities with relaxed Lipschitz and relaxed monotone mappings. Journal of Optimization Theory and Applications 2002,114(3):639–656. 10.1023/A:1016079130417
Liu Z, Ume JS, Kang SM: Generalized nonlinear variationallike inequalities in reflexive Banach spaces. Journal of Optimization Theory and Applications 2005,126(1):157–174. 10.1007/s1095700526661
Yao JC: The generalized quasivariational inequality problem with applications. Journal of Mathematical Analysis and Applications 1991,158(1):139–160. 10.1016/0022247X(91)902733
Liu LS: Ishikawa and Mann iterative process with errors for nonlinear strongly accretive mappings in Banach spaces. Journal of Mathematical Analysis and Applications 1995,194(1):114–125. 10.1006/jmaa.1995.1289
Acknowledgments
This work was supported by the Science Research Foundation of Educational Department of Liaoning Province (2009A419) and the Korea Research Foundation(KRF) Grant funded by the Korea government (MEST) (20090073655).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Liu, Z., Zheng, P., Ume, J.S. et al. On Solvability of a Generalized Nonlinear VariationalLike Inequality. J Inequal Appl 2009, 467512 (2009). https://doi.org/10.1155/2009/467512
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2009/467512
Keywords
 Variational Inequality
 Iterative Algorithm
 Iterative Scheme
 Contraction Mapping
 Real Hilbert Space