 Research
 Open access
 Published:
A kind of system of multivariate variational inequalities and the existence theorem of solutions
Journal of Inequalities and Applications volumeÂ 2017, ArticleÂ number:Â 208 (2017)
Abstract
Let K be a nonempty closed convex and bounded subset of a reflexive Banach space X. Let \(A_{1}, A_{2},\ldots,A_{N}\) be Nvariables monotone demicontinuous mappings from \(K^{N}\) into X. Then: (1) the system of multivariate variational inequalities
has a solution \((x_{1}^{*},x_{2}^{*},\ldots,x_{N}^{*}) \in K^{N}\); (2) the set of solutions of this system of multivariate variational inequalities is closed convex in \(K^{N}\); (3) if \(A_{1}, A_{2},\ldots,A_{N}\) are also strictly monotone, this system of multivariate variational inequalities has a unique solution.
1 Introduction
Let X be a Banach space with the dual space \(X^{*}\) and let \(\langle \cdot,\cdot\rangle\) denote the duality pairing of X and \(X^{*}\). Let K be a nonempty closed convex subset of X, \(A: K\rightarrow X^{*}\) a mapping. The classical variational inequality problem is to find \(x \in K\) such that
The variational inequality problem has been recognized as one of the suitable mathematical models for dealing with many problems arising in different fields, such as optimization theory, game theory, economic equilibrium, mechanics. In the last four decades, since the time of the celebrated HartmanStampacchia theorem (see [1, 2]), the existence of a solution of a variational inequality and other related problems has become a basic research topic, which continues to attract attention of researchers in applied mathematics (see e.g., [3â€“14] and the references therein).
In 1966, Hartman and Stampacchia [2] proved the following result.
Theorem 1.1
[2]
Let K be a nonempty closed convex and bounded subset of \(R^{n}\). Let \(A: K\rightarrow R^{n}\) be a continuous mapping. Then the variational inequality (1.1) has a solution \(x^{*} \in K\).
In 1967, Browder proved the following more general result (see [15]).
Theorem 1.2
[15]
Let K be a nonempty compact convex subset of a locally convex topological vector space X. Let \(A: K\rightarrow X^{*}\) be a continuous mapping. Then the variational inequality (1.1) has a solution \(x^{*} \in K\).
The variational inequality (1.1) is called the HartmanStampacchia variational inequality. It is an important classical variational inequality which is also a classical and powerful tool in nonlinear analysis and other mathematical fields.
Definition 1.3
[15]
Let X be a normed space, \(A: X\rightarrow X^{*}\) a mapping, \(x_{0} \in X\). A is said to be demicontinuous at \(x_{0}\), if for any given \(y\in X\), \(A(x_{0}+t_{n}y)\) weak^{âˆ—} converges to \(A(x_{0})\) wherever \(t_{n}\rightarrow0\), \(t_{n}\geq0\).
In 1991, Chang [15] proved the following result in reflexive Banach spaces.
Theorem 1.4
[15]
Let K be a nonempty closed convex and bounded subset of a reflexive Banach space X. Let \(A: K\rightarrow X^{*}\) be a monotone demicontinuous mapping. Then

(1)
the variational inequality (1.1) has a solution \(x^{*} \in K\);

(2)
the set of solutions of (1.1) is closed convex;

(3)
if A is strictly monotone, then (1.1) has a unique solution.
In 2010, Plubtieng and Sombut [16] proved the following result.
Theorem 1.5
Let X be a reflexive Banach space, let K be a compact convex subset of X, and let \(A,B : K\rightarrow X^{*}\) be two continuous mappings. Then the system of variational inequalities
has a solution \((x,y) \in K\times K\) and the set of solutions of (1.2) is closed.
Multivariate calculus is a more general mathematical branch which paly a more important role in mathematical and applied fields. In recently, multivariate fixed point theorems and the system of Nvariables nonlinear operators have been studied by some authors. Many interesting results and the applications have also been given. In 2016, Su et al. [17] presented the concept of multivariate fixed point and proved a multivariate fixed point theorem for Nvariables contraction mappings which further generalizes Banach contraction mapping principle. In 2016, Luo et al. [18] presented the concept of multivariate best proximity point and proved the multivariate best proximity point theorems in metric spaces for Nvariables contraction mappings. In 2017, Xu et al. [19] presented the concept of multivariate contraction mapping in a locally convex topological vector spaces and proved the multivariate contraction mapping principle in such spaces. In 2017, Guan et al. [20] studied a kind of system of Nvariables pseudocontractive operator equations and proved the existence theorem of solutions.
The purpose of this paper is to study a kind of system of multivariate variational inequalities and to prove the existence theorem of solutions. The results of this paper improve and extend the results of [15, 16] in reflexive Banach spaces. In order to get the expected results, an ingenious mathematical method is used in this paper.
2 Preliminaries
Let us introduce some conclusions which will be useful for our main results.
Lemma 2.1
[20]
Let X be a Banach space with the norm \(\\cdot\\). We consider on the Cartesian product space \(X^{N}=X\times X\times \cdots\times X\) the following functional:
Then \((X^{N}, \\cdot\_{*})\) is a Banach space.
Lemma 2.2
[20]
\((X^{N},\\cdot\_{*})^{*}=((X,\\cdot\)^{*})^{N}\).
Lemma 2.3
[20]
Let X be a reflexive Banach space with the norm \(\\cdot\\), \(X^{N}=X\times X\times \cdots\times X\) be Cartesian product space of X. Let
Then \((X^{N}, \\cdot\_{*})\) is a reflexive Banach space.
3 Main results
Let K be a nonempty subset of a normed space X, \(A_{i}: K^{N}\rightarrow X^{*}\) a Nvariables mapping for all \(i=1,2,\ldots,N\). We consider the following system of multivariate variational inequalities:
Definition 3.1
Let K be a nonempty subset of a normed space X. A Nvariables mapping \(A: K^{N}\rightarrow X^{*}\) is said to be monotone, if
for all \((x_{1},x_{2}, \ldots,x_{N}), (y_{1},y_{2}, \ldots ,y_{N})\in K^{N}\). A Nvariables monotone mapping is said to be strictly monotone, if
implies \((x_{1},x_{2}, \ldots,x_{N})=(y_{1},y_{2}, \ldots,y_{N})\).
The following is the main result of this paper.
Theorem 3.2
Let K be a nonempty closed convex and bounded subset of a reflexive Banach space X. Let \(A_{i}: K^{N}\rightarrow X^{*}\) be a Nvariables monotone demicontinuous mapping for all \(i=1,2,\ldots,N\). Then:

(1)
the system of variational inequalities (3.1) has a solution \((x_{1}^{*},x_{2}^{*}, \ldots,x_{N}^{*}) \in K^{N}\);

(2)
the set of solutions of (3.1) is closed convex in \(K^{N}\);

(3)
if \(A_{i}\) is strictly monotone for all \(i=1,2,\ldots,N\), then (3.1) has a unique solution.
Proof
Let \(A^{*}:K^{N} \rightarrow(X^{*})^{N}\) be a mapping defined by
for any \(x=(x_{1},x_{2}, \ldots,x_{N})\in K^{N} \), where
From Lemma 2.1 and Lemma 2.2, we know \((X^{*})^{N}=(X^{N})^{*}\) and hence \(A^{*}\) is a mapping from \(K^{N}\) into \((X^{N}, \\cdot\_{*})^{*}\).
Next, we prove that \(A^{*}\) is a monotone mapping from \(K^{N}\) into \((X^{N}, \\cdot\_{*})^{*}\). Since \(A_{i}\) is a monotone mapping from K into \((X, \\cdot\)^{*}\) for all \(i=1,2,\ldots,N\),
for any \(x=(x_{1},x_{2}, \ldots,x_{N}), y=(y_{1},y_{2}, \ldots ,y_{N})\in K^{N} \).
We also need to prove \(A^{*}\) is demicontinuous on \(K^{N}\). For any given \(x_{0} \in K^{N}\) and any given \(y=(y_{1},y_{2}, \ldots,y_{N}) \in K^{N}\) such that \(x_{0}+t_{n}y\in K^{N}\), we have
Then \(A^{*}\) is demicontinuous on \(K^{N}\).
It is easy to see that \(K^{N}\) is a nonempty closed convex and bounded subset of Banach space \((X^{N}, \\cdot\_{*})\). By using Theorem 1.4, we know that the following variational inequality:
has a solution \(x^{*}=(x_{1}^{*},x_{2}^{*}, \ldots,x_{N}^{*})\in K^{N}\). That is,
We rewrite (3.3) as follows:
For any \(y \in K\), let \(y_{i}=(y,x_{2}^{*}, \ldots,x_{N}^{*}) \in K^{N}\) in (3.4), we get
For any \(y \in K\), let \(y_{i}=(x_{1}^{*}, \ldots,x_{j1}^{*}, y, x_{j+1}^{*}, \ldots,x_{N}^{*}) \in K^{N}\) in (3.4), we get
for all \(j=2,3,\ldots, N1\). For any \(y \in K\), let \(y_{i}=(x_{1}^{*}, x_{2}^{*},\ldots,x_{N1}^{*}, y) \in K^{N}\) in (3.4), we get
From (3.5)(3.7), we know that \(x^{*}=(x_{1}^{*},x_{2}^{*}, \ldots ,x_{N}^{*})\) is a solution of (3.1). This completes the proof of conclusion (1).
On the other hand, let \(x=(x_{1},x_{2}, \ldots,x_{N})\) be an arbitrary solution of (3.1). We have
which implies
Then \(x=(x_{1},x_{2}, \ldots,x_{N})\) is a solution of the variational inequality (3.2) in reflexive Banach space \((X^{N}, \\cdot\ _{*})\). From the above, we claim that the system of multivariate variational inequalities (3.1) is equivalent to the variational inequality (3.2). By using Theorem 1.4, we know that the set of solutions of the variational inequality (3.2) is closed convex. This completes the proof of conclusion (2).
Finally, if A is strictly monotone, then
implies \(x=y\). Hence \(A^{*}\) is also strictly monotone. By using Theorem 1.4, the variational inequality (3.2) has a unique solution and hence the multivariate variational inequalities (3.1) has a unique solution. This completes the proof.â€ƒâ–¡
Corollary 3.3
Let K be a nonempty closed convex and bounded subset of a reflexive Banach space X. Let \(A: K\rightarrow X^{*}\) be a Nvariables monotone semicontinuous mapping. Then:

(1)
the multivariate variational inequalities
$$ \bigl\langle A(x_{1},x_{2}, \ldots,x_{N}), yx_{i}\bigr\rangle \geq0, \quad\forall y \in K, \forall i=1,2,\ldots,N $$(3.8)has a solution \((x_{1}^{*},x_{2}^{*}, \ldots,x_{N}^{*}) \in K^{N}\);

(2)
the set of solutions of (3.8) is closed convex in \(K^{N}\);

(3)
if A is strictly monotone, then (3.8) has a unique solution.
Proof
Let \(A_{i}=A\) for all \(i=1,2,\ldots,N\) in Theorem 3.2, we can get the conclusion.â€ƒâ–¡
Corollary 3.4
Let K be a nonempty closed convex and bounded subset of a reflexive Banach space X. Let \(A: K\rightarrow X^{*}\) be a Nvariables monotone semicontinuous mapping. Then

(1)
the multivariate variational inequalities
$$ \Biggl\langle A(x_{1},x_{2}, \ldots,x_{N}), y\frac{1}{N}\sum_{i=1}^{N}x_{i} \Biggr\rangle \geq0,\quad \forall y \in K, $$(3.9)has a solution \((x_{1}^{*},x_{2}^{*}, \ldots,x_{N}^{*}) \in K^{N}\);

(2)
the set of solutions of (3.9) is closed convex in \(K^{N}\);

(3)
if A is strictly monotone, then (3.9) has a unique solution.
Proof
From (3.8), we have
That is,
This completes the proof.â€ƒâ–¡
Next, we prove an existence theorem of solutions for the system of variational inequalities (1.2) in normed spaces.
Theorem 3.5
Let X be a normed space, let K be a compact convex subset of X, and let \(A,B : K\rightarrow X^{*}\) be two continuous mappings. Then the system of variational inequalities (1.2) has a solution \((x,y) \in K\times K\) and the set of solutions of (1.2) is closed.
Proof
Let \(A(x,y)=A(y)\), \(B(x,y)=B(x)\) for all \((x,y) \in K\times K\), then the system of variational inequalities (1.2) is equivalent to
Let \(C^{*}: K \times K \rightarrow X^{*} \times X^{*}=(X\times X)^{*}\) be defined by
for all \((x,y) \in K\times K\). It is easy to see that \(C^{*}\) is a continuous mapping from the nonempty compact convex subset \(K\times K\) into the dual space \((X \times X)^{*}\) of normed space \(X \times X\). By using Theorem 1.2, there exists an element \((x^{*}, y^{*}) \in K \times K\) such that
where \(\langle\cdot,\cdot\rangle_{*}\) denotes the duality pairing of \(X\times X\) and \(X^{*} \times X^{*}=(X\times X)^{*}\). This implies
Hence
From the definition of \(\langle\cdot, \cdot\rangle_{*}\), we have
Let \(z_{2}=y^{*}\) and \(z_{1}=x^{*}\) in (3.11), respectively, we get
Then \((x^{*},y^{*}) \in K \times K\) is a solution of the system of variational inequalities (1.2). Since A, B are continuous, so the set of solutions of (1.2) is closed. This completes the proof.â€ƒâ–¡
It is obvious that Theorem 1.5 is a special form of Theorem 3.5 in reflexive Banach spaces.
Corollary 3.6
Theorem 1.5
Let X be a reflexive Banach space, let K be a compact convex subset of X, and let \(A,B : K\rightarrow X^{*}\) be two continuous mappings. Then the system of variational inequalities
has a solution \((x,y) \in K\times K\) and the set of solutions of (1.2) is closed.
We give an example to show the mathematical and physical significance of the main results of this paper.
Example 3.7
Let \(R=(\infty,+\infty)\), \(K=[a,b]\). Let \(f(x_{1},x_{2},\ldots,x_{N})\) be a continuous real Nvariables function with \(f \in C^{(1)}(K^{N}, R)\). Then there exists an element \(x_{0}= (x_{0,1}, x_{0,2}, \ldots,x_{0,N}) \in K^{N}\) such that
This element \(x_{0}\) must be a solution of the following system of multivariate variational inequalities:
In fact, we have
for all \(i=1,2,\ldots,N\). Hence \(x_{0}\) must satisfy (3.12). In addition, the system of multivariate variational inequalities (3.12) is equivalent to
where
This example is actually a practical background of Theorem 3.2, where \(A_{i}=\frac{\partial f}{\partial x_{i}}\) for all \(i=1,2,\ldots,N\) and \(\operatorname{grad} f(x)=A^{*}\).
4 Conclusion
In this article, we use an ingenious mathematical method to prove the existence theorem of solutions for a kind of system of multivariate variational inequalities:
Here K is a nonempty closed convex and bounded subset of a reflexive Banach space X and \(A_{1}, A_{2},\ldots,A_{N}\) are Nvariables monotone demicontinuous mappings from \(K^{N}\) into \(X^{*}\). This system of multivariate variational inequalities has a solution. The set of solutions of this system of multivariate variational inequalities is closed convex in \(K^{N}\). If \(A_{1}, A_{2},\ldots,A_{N}\) are also strictly monotone, this system of multivariate variational inequalities has a unique solution.
References
Kinderlehrer, D, Stampacchia, G: An Introduction to Variational Inequalities and Their Applications. Pure and Applied Mathematics, vol.Â 88. Academic Press, New York (1980)
Hartman, P, Stampacchia, G: On some nonlinear elliptic differentialfunctional equations. Acta Math. 115, 153188 (1966)
Chang, S, Joseph Lee, H, Chan, C: A new method for solving equilibrium problem fixed point problem and variational inequality problem with application to optimization. Nonlinear Anal., Theory Methods Appl. 70, 33073319 (2009)
Chang, S, Lee, B, Chen, Y: Variational inequalities for monotone operators in nonreflexive Banach spaces. Appl. Math. Lett. 8, 2934 (1995)
Fang, F, Huang, N: Variationallike inequalities with generalized monotone mappings in Banach spaces. J. Optim. Theory Appl. 118, 327338 (2003)
Huang, N, Fang, Y: Fixed point theorems and a new system of multivalued generalized order complementarity problems. Positivity 7, 257265 (2003)
Isac, G: Complementarity Problems. Lecture Notes in Mathematics, vol.Â 1528. Springer, Berlin (1992)
Isac, G, Sehgal, V, Singh, S: An alternate version of a variational inequality. Indian J. Math. 41, 2531 (1999)
Junlouchai, P, Plubtieng, S: Existence of solutions for generalized variational inequality problems in Banach spaces. Nonlinear Anal. 74, 9991004 (2011)
Nadezhkina, N, Takahashi, W: Weak convergence theorem by an extragradient method for nonexpansive mappings and monotone mappings. J. Optim. Theory Appl. 128, 191201 (2006)
Takahashi, W, Toyoda, M: Weak convergence theorems for nonexpansive mappings and monotone mappings. J.Â Optim. Theory Appl. 118, 417428 (2003)
Verma, R: On a new system of nonlinear variational inequalities and associated iterative algorithms. Math. Sci. Res. HotLine 3, 6568 (1999)
Verma, R: Iterative algorithms and a new system of nonlinear quasivariational inequalities. Adv. Nonlinear Var. Inequal. 4, 117124 (2001)
Yao, J, Chadli, O: Pseudomonotone complementarity problems and variational inequalities. In: Crouzeix, JP, Haddjissas, N, Schaible, S (eds.) Handbook of Generalized Convexity and Generalized Monotonicity. Nonconvex Optimization and Its Applications, vol.Â 76, pp.Â 501558. Springer, New York (2005)
Chang, S: Variational Inequality and Complementarity Problem Theory with Applications. Shanghai Science and Technology Press, Shanghai (1991)
Plubtieng, S, Sombut, K: Existence results for system of variational inequality problems with semimonotone operators. J. Inequal. Appl. 2010, Article ID 14 (2010)
Su, Y, PetruÅŸel, A, Yao, J: Multivariate fixed point theorems for contractions and nonexpansive mappings with applications. Fixed Point Theory Appl. 2016, Article ID 9 (2016)
Luo, Y, Su, Y, Gao, W: Multivariate best proximity point theorems in metric spaces. J. Nonlinear Sci. Appl. 9, 57565765 (2016)
Xu, Y, Guan, J, Tang, Y, Su, Y: Multivariate contraction mapping principle with the error estimate formulas in locally convex topological vector spaces and application. J. Nonlinear Sci. Appl. 10, 10641074 (2017)
Guan, J, Tang, Y, Xu, Y, Su, Y: System of N fixed point operator equations with Npseudocontractive mapping in reflexive Banach spaces. J. Nonlinear Sci. Appl. 10, 24572470 (2017)
Acknowledgements
This project is supported by the major project of Hebei North University under grant No. ZD201304.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authorsâ€™ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Publisherâ€™s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Tang, Y., Guan, J., Xu, Y. et al. A kind of system of multivariate variational inequalities and the existence theorem of solutions. J Inequal Appl 2017, 208 (2017). https://doi.org/10.1186/s1366001714869
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366001714869