Abstract
Lower semi-continuity from above or upper semi-continuity from below has been used by many authors in recent papers. In this paper, we first study the weak semi-continuity for vector functions having particular form as that of Browder in ordered normed vector spaces; we obtain several new results on the lower semi-continuity from above or upper semi-continuity from below for these vector functions. Our results generalize some well-known results of Browder in scalar case. Secondly, we study the minimum or maximum problems for vector functions satisfying lower semi-continuous from above or upper semi-continuous from below conditions; several new results on the existence of minimal points or maximal points are obtained. We also use these results to study vector equilibrium problems and von Neumann’s minimax principle in ordered normed vector spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Vector optimization problems have been extensively studied by many authors in the past years; see Cesari and Suryanarayana [1,2,3], Yu [4], Wagner [5], Hartley [6], and Corley [7, 8], see also [9]. Semi-continuity plays important role in variational problems, see [10, 11] and the references therein. A definition of generalized semi-continuity, which is called lower semi-continuous from above, was introduced by Chen et al. [12] to study the minimum of a convex function in reflexive Banach spaces. Lower semi-continuous from above functions have been used and generalized by many authors to study variational problems, optimize problems, equilibrium problems and fixed point problems, see [13,14,15,16,17,18,19,20,21,22,23]. This concept has also been generalized by Khanh and Quy [24,25,26] to study variational problems for vector functions, see also Chen et al. [27]. Until now, the study of a function to be lower semi-continuous from above is few. In this paper, we first study the lower (respectively, upper) semi-continuity from above (respectively, below) for vector functions in ordered normed vector spaces; then, we study minimum problems and equilibrium problems for vector functions under these semi-continuity conditions. We obtain some results on semi-continuity of vector functions which generalize the corresponding results of Browder [10] in scalar case. Results on the existence of minimal (respectively, maximal) points are also obtained under lower (respectively, upper) semi-continuous from above (respectively, below) conditions. Applications to equilibrium problems and von Newman’s minimax principle are also given.
The rest part of this paper is organized as follows: In Sect. 2, we recall some definitions and notations. In Sect. 3, we discuss the lower (respectively, upper) semi-continuity from above (respectively, below) of some vector functions in ordered normed spaces. In Sect. 4, we study the existence of minimal (respectively, maximal) points for lower (respectively, upper) semi-continuous from above (respectively, below) functions; applications to vector equilibrium problems and von Newman’s minimax principle are also given. Section 5 contains the concluding remarks.
2 Definitions of Semi-continuous Functions and Notations
In this section, we recall some definitions that will be used in the rest of this paper. Let F be a topological vector space, \(C\subset F\) is said to be a closed cone iff C is closed and convex, and \(\lambda C\subseteq C\) for all \(\lambda >0\), and \(C\cap (-C)=\{0\}\). The partial order \(\le \) induced by C on F is defined by \(x\le y\) iff \(y-x\in C\).
Definition 2.1
(see [4]) Let X, F be topological vector spaces, \(C\subset F\) a cone. \(\le \) is the partial order induced by C on F.
-
(i)
A vector-valued function \(\phi :X\rightarrow F\) is said to be cone convex iff \(\phi (\alpha x+\beta y)\le \alpha \phi (x)+\beta \phi (y)\), equivalently, \(\alpha \phi (x)+\beta \phi (y)-\phi (\alpha x+\beta y)\in C\) for all \(x,y\in D(\phi )\), \(\alpha>0,\beta >0\) satisfying \(\alpha +\beta =1\), where and after \(D(\phi )\) is always the domain of \(\phi \);
-
(ii)
A vector-valued function \(\phi :X\rightarrow F\) is said to be cone concave iff \(\alpha \phi (x)+\beta \phi (y)\le \phi (\alpha x+\beta y)\), equivalently, \(\phi (\alpha x+\beta y)-\alpha \phi (x)-\beta \phi (y)\in C\) for all \(x,y\in D(\phi )\), \(\alpha>0,\beta >0\) satisfying \(\alpha +\beta =1\);
-
(iii)
A vector-valued function \(\phi :X\rightarrow F\) is said to be quasi cone convex iff \(\{x; \phi (x)<\alpha \}\), equivalently, \(\{x;\alpha -\phi (x)\in C\setminus \{0\}\}\), is convex for each \(\alpha \in F\);
-
(iv)
A vector-valued function \(\phi :X\rightarrow F\) is said to be quasi cone concave iff \(\{x;\alpha <\phi (x)\}\), equivalently, \(\{x;\phi (x)-\alpha \in C\setminus \{0\}\}\), is convex for each \(\alpha \in F\).
The following definition of a cone lower semi-continuous function was essentially introduced by Corley [7].
Definition 2.2
Let X be a topological space, F a topological vector space, \(C\subset F\) a cone. \(\le \) is the partial order induced by C on F.
-
(i)
A vector-valued function \(f:X\rightarrow F\) is said to be cone lower semi-continuous iff \(f^{-1}(y-C)\) is closed for all \(y\in F\);
-
(ii)
A vector-valued function \(f:X\rightarrow F\) is said to be cone upper semi-continuous iff \(f^{-1}(y+C)\) is closed for all \(y\in F\).
Definition 2.3
(see [12]) Let X be a topological space. A function \(f:X\rightarrow \mathbb {R}\) is said to be sequentially lower semi-continuous from above at \(x_0\) iff for any \(x_n\rightarrow x_0\), \(f(x_{n+1})\le f(x_n)\) implies that \(f(x_0)\le \lim _{n\rightarrow \infty } f(x_n)\). Similarly, f is said to be sequentially upper semi-continuous from below at \(x_0\) iff for any \(x_n\rightarrow x_0\), \(f(x_{n+1})\ge f(x_n)\) implies that \(f(x_0)\ge \lim _{n\rightarrow \infty } f(x_n)\).
One can easily see that a strictly increasing or decreasing function on \(\mathbb {R}\) is both sequentially lower semi-continuous form above and upper semi-continuous from below. It was proved in [12] that a sequentially lower semi-continuous from above convex function in a reflexive Banach space obtains it is minimum if it is also coercive. Some well-known results such as Ekland’s variational principle, Caristi’s fixed point theorem and von Neumann’s minimax principle are also true under lower semi-continuous from above condition, see [12, 14] for details. Recently, lower semi-continuous from above functions has been used and generalized by many authors to study variational problems, optimization problems, fixed point problems, equilibrium problems and Ekland’s variational principle, see [13, 15,16,17,18,19,20,21,22,23]. Khanh and Quy have generalized this concept to study variational problem for vector functions; we recall it as the following.
Definition 2.4
(see [24, 27]) Let X be a topological space, F a topological vector space, and \(C\subset F\) a cone. \(\le \) is the partial order induced by C on F.
-
(i)
A function \(f:X\rightarrow F\) is said to be sequentially cone lower semi-continuous from above at \(x_0\) iff for any \(x_n\rightarrow x_0\), \(f(x_{n+1})\le f(x_n)\) imply that \(f(x_0)\le f(x_n)\) for \(n=1,2,\ldots \);
-
(ii)
f is said to be sequentially cone upper semi-continuous from below at \(x_0\) iff \(x_n\rightarrow x_0\), \(f(x_{n+1})\ge f(x_n)\) imply that \(f(x_0)\ge f(x_n)\) for \(n=1,2,\ldots \).
Clearly, cone lower semi-continuous introduced by [7] implies that cone lower semi-continuous from above, but the reverse is not true. See [12, 24].
The following result follows directly from Definition 2.4.
Proposition 2.1
Let X be a topological space, F a topological vector space, \(C\subset F\) a closed cone. \(\le \) is the partial order induced by C on F, and \(T:X\rightarrow F\), \(f:F\rightarrow F\) are two maps. We have the following conclusions:
-
(i)
Suppose \(f(x)>f(y)\) if and only if \(x>y\). Then f is both sequentially cone lower semi-continuous from above and cone upper semi-continuous from below on F.
-
(ii)
If T is continuous and f is sequentially cone lower semi-continuous from above (respectively, cone upper semi-continuous from below); then, \(f(Tx):X\rightarrow F\) is sequentially cone lower semi-continuous from above (respectively, cone upper semi-continuous from below).
Definition 2.5
Let X be a topological space, F a topological vector space, \(C\subset F\) a closed cone. \(\le \) is the partial order induced by C on F. Let \(\phi (x):D(\phi )\subseteq X\rightarrow F\) be a function, and \(epi\phi =\{(x,\alpha )\in X\times F, \phi (x)\le \alpha \}\).
-
(i)
\(epi\phi \) is said to be sequentially closed from above iff \((x_n,\alpha _n)\in epi\phi \), \(n=1,2,\ldots \), \((x_n,\alpha _n)\rightarrow (x_0,\alpha _0)\), and \(\phi (x_1)\ge \phi (x_2)\ge \cdots \phi (x_n)\ge \cdots \), then \((x_0,\alpha _0)\in epi\phi \);
-
(ii)
\(epi\phi \) is said to be sequentially closed from below iff \((x_n,\alpha _n)\in epi\phi \), \(n=1,2,\ldots \), \((x_n,\alpha _n)\rightarrow (x_0,\alpha _0)\), and \(\phi (x_1)\le \phi (x_2)\le \cdots \phi (x_n)\le \cdots \), then \((x_0,\alpha _0)\in epi\phi \).
Proposition 2.2
Let X be a topological space, F a topological vector space. \(C\subset F\) a closed cone. \(\le \) is the partial order induced by C on F. Let \(\phi (x):D(\phi )\subseteq X\rightarrow F\) be a function, then we have the following conclusions:
-
(i)
\(\phi \) is sequentially cone lower semi-continuous from above on X iff \(epi\phi \) is sequentially closed from above;
-
(ii)
If the range of \(\phi \) is well ordered, then \(epi\phi \) is sequentially closed iff \(epi\phi \) is both sequentially closed from below and above.
Proof
-
(i)
Necessity, if \((x_n,\alpha _n)\in epi\phi \), \(n=1,2,\ldots \), \((x_n,\alpha _n)\rightarrow (x_0,\alpha _0)\), and \(\phi (x_1)\ge \phi (x_2)\ge \cdots \phi (x_n)\ge \cdots \), then by the cone lower semi-continuity from above of \(\phi \), we have \(\phi (x_0)\le \phi (x_n)\), \(n=1,2,\ldots \). In view of \(\phi (x_n)\le \alpha _n\), \(n=1,2,\ldots \), we get \(\phi (x_0)\le \alpha _0\), i.e. \((x_0,\alpha _0)\in epi\phi \), \(epi\phi \) is sequentially closed from above. Sufficiency, if \(x_n\rightarrow x_0\), and \(\phi (x_1)\ge \phi (x_2)\ge \cdots \ge \phi (x_n)\ge \cdots \), then for each integer k, \((x_n,\phi (x_k))\in epi\phi \) for \(n\ge k\). It is obviously that \((x_n,\phi (x_k))\rightarrow (x_0,\phi (x_k))\) as \(n\rightarrow \infty \), by sequentially closedness from above of \(\phi \), we have \((x_0,\phi (x_k))\in epi\phi \), thus \(\phi (x_0)\le \phi (x_k)\), \(k=1,2,\ldots \), i.e. \(\phi \) is sequentially cone lower semi-continuous from above.
-
(ii)
Necessity is obvious; we only need to prove sufficiency. Assume that \((x_n,\alpha _n)\in epi\phi \) such that \((x_n,\alpha _n)\rightarrow (x_0,\alpha _0)\). Since the range of \(\phi \) is well ordered, by taking a subsequence, we have either \(\phi (x_{n_1})\ge \phi (x_{n_2})\cdots \), or \(\phi (x_{n_1})\le \phi (x_{n_2})\le \cdots \). In the first case, by using that \(epi\phi \) is sequentially closed from above, we get \((x_0,\alpha _0)\in epi\phi \). In the second case, by using that \(epi\phi \) is sequentially closed from below, we get \((x_0,\alpha _0)\in epi\phi \). Thus, \( epi\phi \) is sequentially closed. \(\square \)
Definition 2.6
Let F be a normed vector space, \(C\subset F\) a cone. \(\le \) is the partial order induced by C on F. C is said to be a completely regular cone iff \(x_1\le x_2\le \cdots \le x_n\cdots \), and \(\{x_n,n=1,2,\ldots \}\) is norm bounded imply that \((x_n)_{n=1}^{\infty }\) is a convergent sequence.
Note that the cone defined by \(C=\{(x_1,x_2,\ldots , x_n), x_i\ge 0, i=1,2,\ldots , n\}\subset \mathbb {R}^n\), and \(C=\{f(x)\in L^p(\Omega ), f(x)\ge 0, a.e. x \in \Omega \}\subset L^p(\Omega )\), where \(p>1\), and \(\Omega \subset \mathbb {R}^n\) is a bounded measurable subset, are completely regular. One may see [28] for more details on cone and partial orders.
Let E be a normed vector space; throughout this paper, we’ll use \(\rightharpoonup \) to denote the weak convergence and \(\rightarrow \) to denote the norm convergence.
3 Weak Lower Semi-continuity
Let E, F be two normed vector spaces, \(C\subset F\) a cone, and let \(f:E\rightarrow F\) be a vector-valued function. We will study the lower semi-continuity from above of f under some additional conditions. The vector-valued function that we study in this section is the generalization of the scalar function studied in Browder [10].
Theorem 3.1
Let E, F be two Banach spaces, \(C\subset F\) a completely regular closed cone, \(g(x,y):E\times E\rightarrow F\). Suppose that the following conditions are satisfied:
-
(i)
g is a bounded mapping, i.e. g maps bounded subsets to bounded subsets;
-
(ii)
For each bounded subset B, g(x, y) is uniformly weak continuous in y for \(x\in B\);
-
(iii)
For each \(y\in E\), g(x, y) is cone convex and continuous in x.
Then, \(f(x)=g(x,x)\) is a sequentially cone lower semi-continuous from above function in the weak topology of E.
Proof
Let \(x_n\rightharpoonup x_0\) in E, and \(f(x_1)\ge f(x_2)\ge \cdots \). By assumption (i), \(\{f(x_n)\}_{n=1}^{\infty }\) is a bounded sequence. Since C is a completely regular closed cone, we know that \(\{f(x_n)\}_{n=1}^{\infty }\) is a convergent sequence. We denote by \(y_0=\hbox {lim}_{n\rightarrow \infty }f(x_n)\), and we have \(y_0\le f(x_n)\) for all n.
By assumption (ii), we know that \(g(x_n,x_n)-g(x_n,x_0)\rightarrow 0\) as \(n\rightarrow \infty \), thus \(g(x_n,x_0)\rightarrow y_0\).
Since \(x_n\rightharpoonup x_0\), we have \(x_0\in cl (\mathrm{conv}\{x_n:n\ge k\})\), \(k=1,2,3,\ldots \). If this is not true, by using separation theorem of convex subsets, there exists \(h\in E^*\) such that \(h(x_0)<\hbox {inf}_{y\in cl(\mathrm{conv} \{x_n:n\ge k\})}h(y)\), and thus, we have \(h(x_0)<\hbox {inf}_{n\ge k}h(x_n)\), \(k=1,2,\ldots \), which is a contradiction to \(x_n\rightharpoonup x_0\). Therefore, there exist \(z_k=\Sigma \alpha _n^kx_n\in \mathrm{conv}\{x_n:n\ge k\}\), \(k=1,2,\ldots \), such that \(z_k\rightarrow x_0\) in E, where \(\alpha _i^k\ge 0\) with finite many \(\alpha _n^k>0\) satisfying \(\Sigma \alpha _n^k=1\).
By cone convexity of g, we have
By letting \(k\rightarrow \infty \), the continuity of \(g(x,x_0)\) implies that \(g(x_0,x_0)\le y_0\). So we have
\(f(x_0)\le f(x_n)\) for \(n=1,2,\ldots \). This completes the proof. \(\square \)
Corollary 3.1
Let E, F be two Banach spaces, \(C\subset F\) a completely regular closed cone, \(g(x,y):E\times E\rightarrow F\), and let \(M:E\rightarrow E\) be a linear compact mapping. Suppose that the following conditions are satisfied:
-
(i)
g is a bounded mapping, i.e. g maps bounded subsets to bounded subsets;
-
(ii)
For each bounded subset B, g(x, y) is uniformly weak continuous in y for \(x\in B\);
-
(iii)
For each \(y\in E\), g(x, y) is cone convex and continuous in x.
Then, \(f(x)=g(x,Mx)\) is a sequentially cone lower semi-continuous from above function in the weak topology of E.
Proof
Note that M is a linear compact mapping, so T maps a weak convergent sequence to a strong convergent sequence. Thus, g(x, Mx) satisfies all the assumptions in Theorem 3.1, and the conclusion holds. \(\square \)
Remark 3.1
If condition (i) is replaced by g maps bounded subsets to relatively compact subsets, this is true if F is the real numbers, then the completely regularity of C is not required, and we can prove that f(x) is cone lower semi-continuous. In such case, we get Theorems 1 and 2 of [10]. So Theorem 3.1 and Corollary 3.1 can be viewed as general versions of Theorems 1 and 2 of [10] in vector spaces.
By using a similar proof to Theorem 3.1, we get the following
Theorem 3.2
Let E, F be two Banach spaces, \(C\subset F\) a completely regular closed cone, \(g(x,y):E\times E\rightarrow F\). Suppose that the following conditions are satisfied:
-
(i)
g is a bounded mapping, i.e. g maps bounded subsets to bounded subsets;
-
(ii)
For each bounded subset B, g(x, y) is uniformly weak continuous in y for \(x\in B\);
-
(iii)
For each \(y\in E\), g(x, y) is cone concave and continuous in x.
Then, \(f(x)=g(x,x)\) is a sequentially cone upper semi-continuous from below function in the weak topology of E.
Theorem 3.3
Let E, F be two Banach spaces, \(C\subset F\) a completely regular closed cone, \(g_n(x,y):E\times E\rightarrow F\), \(n=1,2,\ldots \). Suppose that the following conditions are satisfied:
-
(i)
\(g_n\) is a bounded mapping, i.e. g maps bounded subsets to bounded subsets, \(n=1,2,\ldots \);
-
(ii)
For each bounded subset B, \(g_n(x,y)\) is uniformly weak continuous in y for \(x\in B\), \(n=1,2,\ldots \);
-
(iii)
For each \(y\in E\), \(g_n(x,y)\) is cone convex and continuous in x, \(n=1,2,\ldots \);
-
(iv)
\(g_1(x,x)\le g_2(x,x)\le \cdots \) is bounded for each \(x\in E\), \(f(x)=\lim _{n\rightarrow \infty }g_n(x,x)\), and \(f(x)\le f(y)\) implies that \(g_m(x,x)\le g_m(y,y)\) for all \(m=1,2,\ldots \).
Then, f(x) is a sequentially cone lower semi-continuous from above function in the weak topology of E.
Proof
By Theorem 3.1, \(g_n(x,x)\) is a sequentially cone lower semi-continuous from above function in the weak topology of E for each \(n=1,2,\ldots \).
By condition (iv), and C is complete regular, we know that
\(f(x)=\hbox {lim}_{n\rightarrow \infty }g_n(x,x)\) is well defined, and \(g_n(x,x)\le f(x)\) for all \(x\in E\), \(n=1,2,\ldots \).
Suppose that \(x_n\rightharpoonup x_0\), and \(f(x_1)\ge f(x_2)\ge \cdots \). Again by (iv), we have
\(g_n(x_1,x_1)\ge g_n(x_2,x_2)\ge \cdots \), for all \(n=1,2,\ldots \). So we have
\(g_n(x_0,x_0)\le g_n(x_k,x_k)\), for all \(n, k=1,2,\ldots .\)
By letting \(n\rightarrow \infty \), we get \(f(x_0)\le f(x_k)\), for all \(k=1,2,\ldots \), and the proof is complete. \(\square \)
Theorem 3.4
Let E, F be two Banach spaces, \(C\subset F\) a completely regular closed cone, and let \(f_n(x):E\rightarrow F\) be a cone lower semi-continuous function, \(n=1,2,\ldots \). Suppose that \(f_1(x)\le f_2(x)\le \cdots \), and \(\{f_n(x)\}_{n=1}^{\infty }\) is bounded for each \(x\in E\). Then, \(f(x)=\lim _{n\rightarrow \infty } f_n(x)\) is cone lower semi-continuous.
Proof
Since \(f_1(x)\le f_2(x)\le \cdots \), and \(\{f_n(x)\}_{n=1}^{\infty }\) is bounded for each \(x\in E\), and C is completely regular, \(f(x)=\hbox {lim}_{n\rightarrow \infty }f_n(x)\) exists for each \(x\in E\). It is obviously that \(f_n(x)\le f(x)\) for \(n=1,2,\ldots \).
For each \(y\in F\), we prove that \(\{x\in E:f(x)\le y\}\) is closed.
Let \(x_n\rightarrow x_0\) in E, \(f(x_n)\le y\) for \(n=1,2,\ldots \). Then \(f_m(x_n)\le f(x_n)\le y\) for \(n,m=1,2,\ldots \). By using the cone lower semi-continuity of \(f_m\), we get \(f_m(x_0)\le y\). Then by letting \(m\rightarrow \infty \), we get \(f(x_0)\le y\). This completes the proof.\(\square \)
Theorem 3.5
Let E, F be two Banach spaces, \(C\subset F\) a completely regular closed cone, \(g_n(x,y):E\times E\rightarrow F\), \(n=1,2,\ldots \). Suppose that the following conditions are satisfied
-
(i)
\(g_n\) is a bounded mapping, i.e. g maps bounded subsets to bounded subsets, \(n=1,2,\ldots \);
-
(ii)
For each bounded subset B, \(g_n(x,y)\) is uniformly weak continuous in y for \(x\in B\), \(n=1,2,\ldots \);
-
(iii)
For each \(y\in E\), \(g_n(x,y)\) is cone concave and continuous in x, \(n=1,2,\ldots \);
-
(iv)
\(g_1(x,x)\ge g_2(x,x)\ge \cdots \) is bounded for each \(x\in E\), \(f(x)=\lim _{n\rightarrow \infty }g_n(x,x)\), and \(f(x)\le f(y)\) implies that \(g_m(x,x)\le g_m(y,y)\) for all \(m=1,2,\ldots \).
Then, f(x) is a sequentially cone upper semi-continuous from below function in the weak topology of E.
4 Minimum and Equilibrium Problems
In this section, let E, F be two normed vector spaces, and \(C\subset F\) a cone, and let \(\phi (x):D\subseteq E\rightarrow F\) be a vector function. We will study the minimum (respectively, maximum) problem and find \(x_0\in D\) such that \(\phi (x_0)=\min _{x\in D}\phi (x)\), (respectively, \(\phi (x_0)=\max _{x\in D}\phi (x)\)). Several existence results are obtained under lower (respectively, upper) semi-continuity from above (respectively, below) condition. Applications to equilibrium problems and von Neumann’s minimax principle are also given.
Theorem 4.1
Let E be a Banach space, F a normed vector space, \(C\subset F\) a closed cone, \(D\subset E\) a weakly compact subset, and \(\phi :D\rightarrow F\) a sequentially cone lower semi-continuous from above function in the weak topology of E. Suppose that \(\phi (D)\) is separable. Then there exists \(y_0\in D\) such that
Proof
For each totally ordered subset \(T\subset \phi (D)\), we prove that T has a lower bound. Since \(\phi (D)\) is separable, there exist \(x_n\in D\), \(n=1,2,\ldots \) such that \(cl\{\phi (x_n):n=1,2,\ldots \}=T\). We first prove that there exists \(x_0\in D\) such that \(\phi (x_0)\le \phi (x_n)\) for \(n=1,2,\ldots \). Without loss of generality, we may assume that \(\phi (x_1)\ge \phi (x_2)\ge \cdots \), since T is totally ordered.
By using the assumption that D is weakly compact, there exist \(x_{n_k}\), \(k=1,2,\ldots \), such that \(x_{n_k}\rightharpoonup x_0\) as \(k\rightarrow \infty \). The cone lower semi-continuity from above of \(\phi \) in the weak topology implies that \(\phi (x_0)\le \phi (x_{n_k})\). Since \(\phi (x_{n_k})\le \phi (x_n)\) for all \(k\ge n\), so we have
for all \(n=1,2,\ldots \).
We next prove that \(\phi (x_0)\le \phi (y)\) for all \(\phi (y)\in T\). For each \(\phi (y)\in T\), there exist \(\phi (x_{n_m})\), \(m=1,2,\ldots \), such that \(\phi (x_{n_m})\rightarrow \phi (y)\) as \(m\rightarrow \infty \). By (1), we get \(\phi (x_0)\le \phi (y)\), so \(\phi (x_0)\) is the lower bound for T. By Zorn’s Lemma, \(\phi (D)\) has a minimal element. This completes the proof. \(\square \)
By using a similar argument to Theorem 4.1, we get the following
Theorem 4.2
Let E be a Banach space, F a normed vector space, \(C\subset F\) a closed cone, \(D\subset E\) a weakly compact subset, and \(\phi :D\rightarrow F\) a sequentially cone upper semi-continuous from below function in the weak topology of E. Suppose that \(\phi (D)\) is separable. Then there exists \(y_0\in D\) such that
Theorem 4.3
Let E be a reflexive Banach space, F a normed vector space, \(C\subset F\) a cone, cl(B(0, r)) the closed ball centred at zero with radius \(r>0\) , \(D\subset E\) a closed and convex subset, and \(\phi :D\rightarrow F\) a cone convex and cone lower semi-continuous mapping. Suppose that \(\phi (D\cap cl(B(0,r)))\) is separable. Then there exists \(y_0\in D\cap cl(B(0,r))\) such that
Proof
For each totally ordered subset \(T\subset \phi (D\cap cl(B(0,r))\), we prove that T has a lower bound. Since \(\phi (D\cap cl(B(0,r)))\) is separable, there exist \(x_n\in D\cap cl(B(0,r))\), \(n=1,2,\ldots \) such that \(cl\{\phi (x_n):n=1,2,\ldots \}=T\). We first prove that there exists \(x_0\in D\cap cl(B(0,r))\) such that \(\phi (x_0)\le \phi (x_n)\) for \(n=1,2,\ldots \). Without loss of generality, we may assume that \(\phi (x_1)\ge \phi (x_2)\ge \cdots \), since T is totally ordered.
By using the assumption that E is reflexive, there exist \(y_k=x_{n_k}\), \(k=1,2,\ldots \), such that \(y_k\rightharpoonup x_0\) as \(k\rightarrow \infty \). We have \(x_0\in cl(\mathrm{conv}\{y_m:m\ge k\})\) for \(k=1,2,\ldots \), there exist \(z_k=\Sigma \alpha _i^ky_i\in \mathrm{conv}\{y_m:m\ge k\}\), \(k=1,2,\ldots \), such that \(z_k\rightarrow x_0\) in E, where \(\alpha _i^k\ge 0\) with only finite many \(\alpha _i^k>0\) satisfying \(\Sigma \alpha _i^k=1\). By using cone convexity of \(\phi \), we get
By using the cone lower semi-continuity of \(\phi \), we get
We next prove that \(\phi (x_0)\le \phi (y)\) for all \(\phi (y)\in T\). For each \(\phi (y)\in T\), there exist \(\phi (x_{n_m})\), \(m=1,2,\ldots \), such that \(\phi (x_{n_m})\rightarrow \phi (y)\) as \(m\rightarrow \infty \). By (2), we get \(\phi (x_0)\le \phi (y)\), so \(\phi (x_0)\) is the lower bound for T. By Zorn’s Lemma, \(\phi (D)\) has a minimal element. This completes the proof. \(\square \)
By using a similar argument to Theorem 4.3, we get the following
Theorem 4.4
Let E be a reflexive Banach space, F a normed vector space, \(C\subset F\) a closed cone, cl(B(0, r)) the closed ball centred at zero with radius \(r>0\) , \(D\subset E\) a closed and convex subset, and \(\phi :D\rightarrow F\) a cone concave and cone upper semi-continuous mapping. Suppose that \(\phi (D\cap cl(B(0,r)))\) is separable. Then there exists \(y_0\in D\cap cl(B(0,r)))\) such that
In the following, let E, F be two normed vector spaces, \(C\subset F\) a closed cone. \(\le \) is the order induced by C on F. Assume that \(D\subset E\), and \(f(x,y):D\times D\rightarrow F\), we consider the vector equilibrium problem and find \(x_0\in D\) such that
\(f(x_0,y)\not <0\), for all \(y\in D\). (VEP)
Theorem 4.5
Assume that D is a weakly compact subset, and \(f(x,y)\le f(x,z)+f(z,y)\) for all \(x,y,z\in D\). If there exists \(z_0\in D\) such that \(f(x,z_0)):D\rightarrow F\) is sequentially cone upper semi-continuous from below in the weak topology of E, and \(f(D,z_0)\) is separable, then there exists \(x_0\in D\) such that (VEP) holds.
Proof
Since \(f(x,z_0):D\rightarrow F\) is sequentially cone upper semi-continuous from below in the weak topology of E, and \(f(D,z_0)\) is separable, by Theorem 3.2, there exists \(x_0\in D\) such that \(f(x_0,z_0)=max\{ f(x,z_0):x\in D\}\).
We also have \(f(x_0,y)\ge f(x_0,z_0)-f(y,z_0)\), for all \(y\in D\). Therefore, \(f(x_0,y)\not <0\) for all \(y\in D\). \(\square \)
Remark 4.1
When F is the real numbers, Theorem 4.5 is proved in [20].
Theorem 4.6
(von Neumann’s minimax principle) Let \(E_1,E_2\) be two reflexive Banach spaces, and let \(X\subset E_1\), \(Y\subset E_2\) be two nonempty convex bounded subsets. Assume that F is a separable normed vector space, and \(C\subset F\) is a closed cone. Suppose that \(f:X\times Y\rightarrow F\) is a function satisfying the following conditions:
-
(i)
\(y\rightarrow f(x,y)\) is sequentially cone lower semi-continuous from above in the weak topology of \(E_2\) and quasi cone convex for each fixed \(x\in X\);
-
(ii)
\(x\rightarrow f(x,y)\) is sequentially cone upper semi-continuous from below in the weak topology of \(E_1\) and quasi cone concave for each fixed \(y\in Y\);
-
(iii)
For each \(r\in F\), there exist \(x_i\in X\), \(i=1,2,\ldots ,n\), such that \(A_i=\{y:f(x_i,y)>r\}\) is open and \(Y=\cup _{i=1}^nA_i\);
-
(iv)
For each \(r\in F\), there exist \(y_j\in Y\), \(j=1,2,\ldots ,m\), such that \(B_j=\{x:f(x,y_j)<r\}\) is open and \(X=\cup _{j=1}^mB_j\).
Then, \(\max _{x\in X}\min _{y\in Y}f(x,y)\not <\min _{y\in Y}\max _{x\in X}f(x,y)\).
Proof
Since F is separable and X, Y are weakly compact, by assumptions (i), (ii), and Theorems 3.1 and 3.2, we know that \(\max _{x\in X}\min _{y\in Y}f(x,y)\) and \(\min _{y\in Y}\max _{x\in X}f(x,y)\) both exist. Now we show that
If this is not true, then there would be a element \(r\in F\) such that
Define two maps \(A,B:X\rightarrow 2^Y\) by \(Ax=\{y:f(x,y)>r\}\) and \(Bx=\{y:f(x,y)<r\}\) for \(x\in X\). It is obvious that
Since f(x, y) is quasi cone convex in y and quasi cone concave in x, we know that \(A^{-1}y\) is convex for \(y\in Y\) and Bx is convex for each \(x\in X\). Thus by Theorem 4.1 in [14], there exist \(x_0\in X\) and \(y_0\in Y\) such that \(y_0\in Ax_0\cap Bx_0\not =\phi \). Therefore, we have \(f(x_0,y_0)<r<f(x_0,y_0)\), which is a contradiction. This completes the proof. \(\square \)
Similarly, by using Theorems 3.3, 3.4 and 4.1 in [14], we get the following
Theorem 4.7
Let \(E_1,E_2\) be two reflexive Banach spaces, and and let \(X\subset E_1\), \(Y\subset E_2\) be two nonempty convex bounded subsets. Assume that F is a separable normed vector space, and \(C\subset F\) is a closed cone. Suppose that \(f:X\times Y\rightarrow F\) is a function satisfying the following conditions:
-
(i)
\(y\rightarrow f(x,y)\) is cone lower semi-continuous and cone convex for each fixed \(x\in X\);
-
(ii)
\(x\rightarrow f(x,y)\) is cone upper semi-continuous from below and cone concave for each fixed \(y\in Y\);
-
(iii)
For each \(r\in F\), there exist \(x_i\in X\), \(i=1,2,\ldots ,n\), such that \(A_i=\{y:f(x_i,y)>r\}\) is open and \(Y=\cup _{i=1}^nA_i\);
-
(iv)
For each \(r\in F\), there exist \(y_j\in Y\), \(j=1,2,\ldots ,m\), such that \(B_j=\{x:f(x,y_j)<r\}\) is open and \(X=\cup _{j=1}^mB_j\). Then, \(\max _{x\in X}\min _{y\in Y}f(x,y)\not <\min _{y\in Y}\max _{x\in X}f(x,y)\).
Remark 4.2
If f(X, Y) is a totally ordered subset of F, especially F is the real numbers, then we have \(\max _{x\in X}\min _{y\in Y}f(x,y)=\min _{y\in Y}\max _{x\in X}f(x,y)\) in Theorems 4.6 and 4.7.
5 Conclusions
Lower semi-continuous from above functions are very useful in recent research papers; we obtain new results on the lower semi-continuity from above of vector functions with form g(x, x) in ordered normed vector spaces. Our results can be viewed as general versions of the corresponding results in [10]. By using lower semi-continuous from above and upper semi-continuous from below conditions, we prove some new results on the existence of minimal points and maximal points of vector-valued functions in ordered normed vector spaces. These results are used to study equilibrium problems and von Newman’s minimax principle.
References
Cesari, L., Suryanarayana, M.B.: Existence theorems for Pareto optimization in Banach spaces. Bull. Am. Math. Soc. 82, 306–308 (1976)
Cesari, L., Suryanarayana, M.B.: An existence theorem for Pareto problems. Nonlinear Anal. TMA 2, 225–233 (1978)
Cesari, L., Suryanarayana, M.B.: Existence theorems for Pareto optimization; multivalued and Banach space valued functionals. Trans. Am. Math. Soc. 244, 37–65 (1978)
Yu, P.L.: Cone convexity, cone extreme points, and nondominated solutions in decision problems with multiobjectives. J. Optim. Theory Appl. 14, 319–377 (1974)
Wagner, D.H.: Semicompactness with respect to a Euclidean cone. Can. J. Math. 29, 29–36 (1977)
Hartley, R.: On cone efficiency, cone-convexity and cone-compactness. SIAM J. Appl. Math. 34, 211–222 (1978)
Corley, H.W.: An existence result for maximizations with respect to cones. J. Optim. Theory Appl. 31, 277–281 (1980)
Corley, H.W.: On optimality conditions for maximizations with respect to cones. J. Optim. Theory Appl. 46, 67–77 (1985)
Jahn, J.: Mathematical Vector Optimization in Partially Ordered Spaces. Lang Verlag Frankfurt, New York (1986)
Browder, F.E.: Remarks on the direct method of the calculus of variations. Arch. Ration. Mech. Anal. 20, 251–258 (1965)
Dacorogna, B.: Weak Continuity and Weak Lower Semi-continuity of Nonlinear Functionals. Lecture Notes in Mathematics, vol. 922. Springer, New York (1982)
Chen, Y.Q., Cho, Y.J., Yang, L.: Note on the results with lower semi-continuity. Bull. Korean Math. Soc. 39, 535–541 (2002)
Lin, L.J., Du, W.S.: Ekeland’s variational principle, minimax theorems and existence of nonconvex equilibria in complete metric spaces. J. Math. Anal. Appl. 323, 360–370 (2006)
Chen, Y.Q., Cho, Y.J., Kim, J.K., Lee, B.S.: Note on KKM maps and applications. Fixed Point Theory Appl. (2006). https://doi.org/10.1155/FPTA/2006/53286
Lin, L.J., Du, W.S.: On maximal element theorems, variants of Ekeland’s variational principle and their applications. Nonlinear Anal. TMA 68, 1246–1262 (2008)
Al-Homidan, S., Ansari, Q.H., Yao, J.C.: Some generalizations of Ekeland-type variational principle with applications to equilibrium problems and fixed point theory. Nonlinear Anal. TMA 69, 126–139 (2008)
Aruffo, A.B., Bottaro, G.: Generalizations of sequential lower semicontinuity. Boll. Unione Mat. Ital. Serie 9(1), 293–318 (2008)
Bugajewskia, D., Kasprzak, P.: Fixed point theorems for weakly F-contractive and strongly F-expansive mappings. J. Math. Anal. Appl. 359, 126–134 (2009)
Aruffo, A.B., Bottaro, G.: Some variational results using generalizations of sequential lower semicontinuity. FPTA 2010, 323487 (2010)
Castellania, M., Pappalardob, M., Passacantandob, M.: Existence results for nonconvex equilibrium problems. Optim. Methods Softw. 25, 49–58 (2010)
Qiu, J.H.: On Has version of set-valued Ekelands variational principle. Acta Math. Sin. 28, 717–726 (2012)
Qiu, J.H., He, H.: P-distances, q-distances and a generalized Ekeland’s variational principle in uniform spaces. Acta Math. Sin. 28, 235–254 (2012)
Qiu, J.H., He, F.: A general vectorial Ekeland’s variational principle with a p-distance. Acta Math. Sin. 29, 1655–1678 (2013)
Khanh, P.Q., Quy, D.N.: A generalized distance and enhanced Ekeland’s variational principle for vector functions. Nonlinear Anal. TMA 73, 2245–2259 (2010)
Khanh, P.Q., Quy, D.N.: On generalized Ekeland’s variational principle and equivalent formulations for set-valued mappings. J. Glob. Optim. 49, 381–396 (2011)
Khanh, P.Q., Quy, D.N.: On Ekeland’s variational principle for Pareto minima of set-valued mappings. J. Optim. Theory Appl. 153, 280–297 (2012)
Chen, Y.Q., Cho, Y.J., Kim, J.K.: Minimization of vector valued convex functions. J. Nonlinear Convex Anal. 16, 2053–2058 (2015)
Guo, D.J.: Partial Order Methods in Nonlinear Analysis. Shandong Science and Technology Publishers, Shandong (1997)
Acknowledgements
The authors are grateful to the editor and the guest editor for their kind advices and helpful suggestions. They are also grateful to the reviewer for his (or her) good comments and kind suggestions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Chen, Y., Zhang, C. On the Weak Semi-continuity of Vector Functions and Minimum Problems. J Optim Theory Appl 178, 119–130 (2018). https://doi.org/10.1007/s10957-017-1189-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10957-017-1189-x
Keywords
- Lower semi-continuous from above
- Upper semi-continuous from below
- Minimum
- von Newman’s minimax principle