Abstract
In 1968, H. Brezis introduced a notion of operator pseudomonotonicity which provides a unified approach to monotone and nonmonotone variational inequalities. A closely related notion is that of Ky–Fan hemicontinuity, a continuity property which arises if the famous Ky–Fan minimax inequality is applied to the variational inequality framework. It is clear from the corresponding definitions that Ky–Fan hemicontinuity implies Brezis pseudomonotonicity, but quite surprisingly, a recent publication by Sadeqi and Paydar (J Optim Theory Appl 165(2):344–358, 2015) claims the equivalence of the two properties. The purpose of the present note is to show that this equivalence is false; this is achieved by providing a concrete example of a nonlinear operator which is Brezis pseudomonotone but not Ky–Fan hemicontinuous.
1 Introduction
Variational inequalities (VIs) are a prominent tool in applied mathematics. They have found numerous applications, including constrained optimization problems, Nash equilibrium problems, and several types of contact problems in mechanics. More details can be found, for instance, in [1,2,3,4] and the references therein.
The study of variational inequalities can be divided into multiple facets: most commonly, one is interested in sufficient conditions for the existence of solutions, the design of suitable algorithms for their computation, or other properties of the solution set such as closedness or convexity. Throughout the last decades, various concepts have been developed in order to ascertain these properties, including the monotonicity of the variational operator (and multiple relaxed versions thereof) as well as several types of continuity (hemicontinuity, continuity on finite-dimensional subspaces, etc.). In addition, one often requires suitable properties of the feasible set such as closedness or (weak) compactness.
One of the most general properties which can be used to tackle variational inequalities is that of (Brezis) pseudomonotonicity, a property which was introduced in [5]. (This should not be confused with pseudomonotonicity in the sense of Karamardian.) The attractive property of Brezis pseudomonotonicity is that it provides a unified approach to monotone and nonmonotone problems—indeed, it is best viewed as a hybrid combining elements of both monotonicity and continuity; see Definition 2.2.
Since its conception in 1968, the notion of pseudomonotonicity has occurred prominently in the works of Browder [6]; Brezis, Nirenberg, and Stampacchia [7]; Zeidler [8]; and Barbu and Precupanu [9]. The standard application of pseudomonotonicity was the construction of existence results for VIs, a topic which occurs in all these references and was also revisited in [10]. In addition, pseudomonotonicity has turned out to be quite useful when analyzing convergence of iterative algorithms for constrained minimization and variational or quasi-variational inequalities; see [11, 12] for more details.
A different but related approach to the existence of solutions is given by the classical minimax inequality of Ky Fan [13]. An application of this result to the VI framework gives rise to a continuity property which is sometimes called Ky–Fan hemicontinuity. This property implies Brezis pseudomonotonicity (a fact which follows directly from the corresponding definitions, see below), but the latter appears to be more refined and convenient when dealing with infinite-dimensional VIs. However, quite surprisingly, a 2015 publication by Sadeqi and Paydar [14] claims the equivalence of the two properties. The purpose of the present paper is to discuss this equivalence and provide a counterexample which shows that the two properties are in fact distinct. In addition, we also outline an error in the reference which may have led to the false result.
This paper is organized as follows. In Sect. 2, we give a brief summary of the properties in question, their consequences, and relations to other standard properties for VIs. Section 3 contains the main counterexample.
2 Hemicontinuity, Pseudomonotonicity, and Their Role in the Study of Variational Inequalities
Throughout this paper, X is a real Banach space with norm \(\Vert \cdot \Vert _X\) and continuous dual \(X^*\). The duality pairing between \(X^*\) and X is denoted by \(\langle \cdot ,\cdot \rangle \). We write \(\rightarrow \), \(\rightharpoonup \), and \(\rightharpoonup ^*\) for strong, weak, and weak-\(^*\) convergence.
Let \(A\subseteq X\) be a nonempty and convex set, and \(F:X\rightarrow X^*\) a given mapping. The typical variational inequality involving F and A takes on the following form:
A simple but useful observation is that the VI (1) can be rewritten as an equilibrium problem in the following sense: define \(\varPsi :A^2\rightarrow \mathbb {R}\), \({\varPsi (x,y):=\langle F(x),x-y \rangle }\). Then the VI is obviously equivalent to the existence of \(\bar{x}\in A\) such that \(\varPsi (\bar{x},y)\le 0\) for all \(y\in A\). One of the standard existence results for such problems is the minimax inequality of Ky Fan [13], which requires the weak sequential lower semicontinuity of \(\varPsi \) with respect to x. This gives rise to the following definition.
Definition 2.1
(Ky–Fan hemicontinuity) We say that \(F:X\rightarrow X^*\) is Ky–Fan hemicontinuous if, for every \(y\in X\), the function \(x\mapsto \langle F(x),x-y \rangle \) is weakly sequentially lower semicontinuous.
The above is one of the two main properties which we will discuss in this paper. The second one was introduced by Brezis [5] and is given as follows.
Definition 2.2
(Brezis pseudomonotonicity) We say that an operator \(F:X\rightarrow X^*\) is (Brezis) pseudomonotone if, whenever
then
It is clear from the above definitions that Brezis pseudomonotonicity is weaker than Ky–Fan hemicontinuity: the latter requires that (3) holds for all weakly convergent sequences \(\{x^k\}\subseteq X\) with limit \(x\in X\), whereas Brezis pseudomonotonicity only asserts this estimate for sequences which additionally satisfy the \(\limsup \)-condition in (2).
The set of pseudomonotone operators is large and encompasses many practically relevant examples. Various sufficient conditions for pseudomonotonicity can be found in [8, 12]; in particular, F is pseudomonotone provided it is either (i) monotone and continuous, (ii) completely continuous, or (iii) the sum of two operators which are themselves pseudomonotone. Using results from differential calculus in Banach spaces, one can also give sufficient conditions for pseudomonotonicity in the special case where F is the Fréchet derivative of a real-valued functional; see [12].
The following is the basic existence result for VIs with pseudomonotone operators. Note that we call Fbounded if it maps bounded sets in X to bounded sets in \(X^*\).
Proposition 2.1
(Pseudomonotone VIs [11, Corollary 4.2]) Let \({A\subseteq X}\) be a nonempty, convex, weakly compact set, and \(F:X\rightarrow X^*\) a bounded pseudomonotone operator. Then the variational inequality (1) admits a solution \(\hat{x}\in A\).
Apart from the existence of solutions, the notion of pseudomonotonicity has some additional interesting consequences. Two particular ones are mentioned below:
-
If \(F:X\rightarrow X^*\) is pseudomonotone, then the solution set of the VI (1) is always weakly sequentially closed. More generally, if \(\{x^k\}\) is a sequence of suitable “approximate” solutions of the VI, then every weak limit point of \(\{x^k\}\) belongs to its solution set; see [11].
-
If X is finite-dimensional (without loss of generality, a Hilbert space), then an operator \(F:X\rightarrow X\) is bounded and pseudomonotone if and only if it is continuous. Thus, in this case, the study of pseudomonotone VIs subsumes the well-known theory of finite-dimensional VIs; see, for instance, [1].
We close this section with a general comment on the role of sequences in Definitions 2.1 and 2.2. This remark is particularly important when using the analogues of these properties in topological vector spaces.
Remark 2.1
(Sequences versus nets) Some authors define the aforementioned concepts on a general Hausdorff topological vector space (instead of a Banach space endowed with its weak topology). In that case, the properties ought to be formulated in terms of nets or filters instead of ordinary sequences; see, for instance, [7].
3 A Nonlinear Operator Which is Brezis Pseudomonotone But Not Ky–Fan Hemicontinuous
As we shall see below, Brezis pseudomonotonicity and Ky–Fan hemicontinuity are not equivalent. The particular example shown here involves the well-known function spaces \(L^p(\varOmega )\), \(W^{k,p}(\varOmega )\), and \(W_0^{k,p}(\varOmega )\), with \(\varOmega \) a bounded finite-dimensional domain, \(k\in \mathbb {N}\), and \(p\in [1,+\infty ]\); see, for instance, [15].
Example 3.1
Let \(X:=W_0^{1,3} (0,1)\) be a well-known Sobolev space on the interval ]0, 1[, and let \(F:X\rightarrow X^*\) be the (negative) p-Laplacian defined by
More details on this operator can be found in [16, Section 3.1.3]. In particular, it is known that F is monotone and continuous, hence pseudomonotone. Now, for each \(k\in \mathbb {N}\), let \(u_k:[0,1]\rightarrow \mathbb {R}\) be the piecewise linear function with value 1 / k at \(t=(3 i+1)/(6 k)\) for \(i=0,\ldots ,k-1\), and value zero at \(t=i/(2 k)\) for \(i=0,\ldots ,k\), and on [1 / 2, 1]. Clearly, \(u_k\rightarrow 0\) in \(L^3(0,1)\). Moreover, the weak derivative of \(u_k\) (in the Sobolev sense) is almost everywhere given by
see Fig. 1. It follows from standard arguments (e.g., [17, Exercise 8.7, p. 254]) that \(\nabla u_k\rightharpoonup 0\) in \(L^3(0,1)\). Hence, \(u_k\rightharpoonup u:=0\) in \(X=W_0^{1,3}(0,1)\). Now, let \(v(t):=\alpha \min \{t,1-t\}\) with \(\alpha \gg 0\), and observe that \(\Vert \nabla u_k \Vert _{L^3(0,1)}^3=45\) for all k. Finally, we have \(\langle F(u),u-v \rangle =0\), but an elementary calculation shows that
Thus, if \(\alpha \) is large enough, it follows that \(\langle F(u_k),u_k-v \rangle \) is a negative constant for all k, and thus, F is not Ky–Fan hemicontinuous.
An interesting question that remains is where the argumentation from [14] is incorrect. The following is a particular error which is contained in that paper.
Remark 3.1
(An error in [14]) Proposition 3.5 of [14] is wrong. Choose \(K:=E:=\ell ^2\) as the space of square-summable real sequences, \(F:={\text {Id}}_E\) the identity mapping on E, and \(\{u_k\}\) the sequence of unit vectors. Then \(u_k\rightharpoonup u:=0\) and
Hence, the sequence \(\{ \langle F(u_k),u_k-u \rangle \}\) is convergent, but its limit is not equal to zero.
4 Conclusions
The example in this paper shows that Brezis pseudomonotonicity and Ky–Fan hemicontinuity are distinct properties. In particular, the former is strictly weaker than the latter and therefore remains one of the most general properties which can be used to tackle variational inequalities.
References
Facchinei, F., Pang, J.S.: Finite-Dimensional Variational Inequalities and Complementarity Problems. Springer Series in Operations Research, vol. I. Springer, New York (2003). https://doi.org/10.1007/b97543
Kinderlehrer, D., Stampacchia, G.: An introduction to variational inequalities and their applications. In: Classics in Applied Mathematics, vol. 31. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA (2000). https://doi.org/10.1137/1.9780898719451 (reprint of the 1980 original)
Baiocchi, C., Capelo, A.: Variational and Quasivariational Inequalities. Wiley, New York (1984)
Glowinski, R., Lions, J.L., Trémolières, R.: Numerical Analysis of Variational Inequalities, Studies in Mathematics and its Applications, vol. 8. North-Holland Publishing Co., Amsterdam (1981). https://doi.org/10.1016/s0168-2024(08)x7016-x
Brezis, H.: Équations et inéquations non linéaires dans les espaces vectoriels en dualité. Ann. Inst. Fourier (Grenoble) 18(fasc. 1), 115–175 (1968). https://doi.org/10.5802/aif.280
Browder, F.E., Hess, P.: Nonlinear mappings of monotone type in Banach spaces. J. Funct. Anal. 11, 251–294 (1972). https://doi.org/10.1016/0022-1236(72)90070-5
Brezis, H., Nirenberg, L., Stampacchia, G.: A remark on Ky Fan’s minimax principle. Boll. Un. Mat. Ital. 4(6), 293–300 (1972)
Zeidler, E.: Nonlinear Functional Analysis and its Applications. II/B: Nonlinear Monotone Operators. Springer, New York (1990). https://doi.org/10.1007/978-1-4612-0985-0. (translated from the German by the author and Leo F. Boron)
Barbu, V., Precupanu, T.: Convexity and Optimization in Banach Spaces. Springer Monographs in Mathematics, 4th edn. Springer, Dordrecht (2012). https://doi.org/10.1007/978-94-007-2247-7
Kien, B.T., Wong, M.M., Wong, N.C., Yao, J.C.: Solution existence of variational inequalities with pseudomonotone operators in the sense of Brézis. J. Optim. Theory Appl. 140(2), 249–263 (2009). https://doi.org/10.1007/s10957-008-9446-7
Kanzow, C., Steck, D.: Quasi-variational inequalities in Banach spaces: theory and augmented Lagrangian methods. ArXiv e-prints. arXiv:1810.00406 (2018)
Steck, D.: Lagrange multiplier methods for constrained optimization and variational problems in Banach spaces. Ph.D. thesis (submitted), University of Würzburg (2018)
Fan, K.: A minimax inequality and applications. Inequalities, III. In: Proceedings of 3rd Symposium, University California, Los Angeles, California, 1969; dedicated to the memory of Theodore S. Motzkin, pp. 103–113 (1972)
Sadeqi, I., Paydar, M.S.: A comparative study of Ky Fan hemicontinuity and Brezis pseudomonotonicity of mappings and existence results. J. Optim. Theory Appl. 165(2), 344–358 (2015). https://doi.org/10.1007/s10957-014-0618-3
Adams, R.A., Fournier, J.J.F.: Sobolev Spaces, Pure and Applied Mathematics (Amsterdam), vol. 140, second edn. Elsevier, Amsterdam (2003). https://doi.org/10.1016/s0079-8169(03)x8001-0
Ruzicka, M.: Nichtlineare Funktionalanalysis: Eine Einführung. Springer, Berlin (2006)
Alt, H.W.: Linear Functional Analysis. An Application-Oriented Introduction. Universitext. Springer, London (2016). https://doi.org/10.1007/978-1-4471-7280-2. (translated from the German edition by Robert Nürnberg)
Acknowledgements
The author would like to thank Daniel Wachsmuth for the basic idea of the counterexample and Ildar Sadeqi for the discussion leading to the creation of this paper. This research was supported by the German Research Foundation (DFG) within the priority program “Non-smooth and Complementarity-based Distributed Parameter Systems: Simulation and Hierarchical Optimization” (SPP 1962) under Grant No. KA 1296/24-1.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Viorel Barbu.
Rights and permissions
About this article
Cite this article
Steck, D. Brezis Pseudomonotonicity is Strictly Weaker than Ky–Fan Hemicontinuity. J Optim Theory Appl 181, 318–323 (2019). https://doi.org/10.1007/s10957-018-1435-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10957-018-1435-x
Keywords
- Brezis pseudomonotonicity
- Ky–Fan hemicontinuity
- Counterexample
- Variational inequality
- Equilibrium problem