- Research
- Open Access
On geodesic strongly E-convex sets and geodesic strongly E-convex functions
- Adem Kılıçman^{1}Email author and
- Wedad Saleh^{1}
https://doi.org/10.1186/s13660-015-0824-z
© Kılıçman and Saleh 2015
- Received: 1 May 2015
- Accepted: 15 September 2015
- Published: 25 September 2015
Abstract
In this article, geodesic E-convex sets and geodesic E-convex functions on a Riemannian manifold are extended to the so-called geodesic strongly E-convex sets and geodesic strongly E-convex functions. Some properties of geodesic strongly E-convex sets are also discussed. The results obtained in this article may inspire future research in convex analysis and related optimization fields.
Keywords
- geodesic E-convex sets
- geodesic E-convex functions
- Riemannian manifolds
MSC
- 52A20
- 52A41
- 53C20
- 53C22
1 Introduction
Convexity and its generalizations play an important role in optimization theory, convex analysis, Minkowski space, and fractal mathematics [1–7]. In order to extend the validity of their results to large classes of optimization, these concepts have been generalized and extended in several directions using novel and innovative techniques. Youness [8] defined E-convex sets and E-convex functions, which have some important applications in various branches of mathematical sciences [9–11]. However, some results given by Youness [8] seem to be incorrect according to Yang [12]. Chen [13] extended E-convexity to a semi-E-convexity and discussed some of there properties. Also, Youness and Emam [14] discussed a new class functions which is called strongly E-convex functions by taking the images of two points \(x_{1} \) and \(x_{2} \) under an operator \(E\colon\mathbb{R}^{n}\rightarrow\mathbb{R}^{n} \) besides the two points themselves. Strong E-convexity was extended to a semi-strong E-convexity as well as quasi- and pseudo-semi-strong E-convexity in [15]. The authors investigated the characterization of efficient solutions for multi-objective programming problems involving semi-strong E-convexity [16].
A generalization of convexity on Riemannian manifolds was proposed by Rapcsak [17] and Udriste [18]. Moreover, Iqbal et al. [19] introduced geodesic E-convex sets and geodesic E-convex functions on Riemannian manifolds.
Motivated by earlier research works [18, 20–25] and by the importance of the concepts of convexity and generalized convexity, we discuss a new class of sets on Riemannian manifolds and a new class of functions defined on them, which are called geodesic strongly E-convex sets and geodesic strongly E-convex functions, and some of their properties are presented.
2 Preliminaries
In this section, we introduce some definitions and well-known results of Riemannian manifolds, which help us throughout the article. We refer to [18] for the standard material on differential geometry.
Let N be a \(C^{\infty} \) m-dimensional Riemannian manifold, and \(T_{z}N \) be the tangent space to N at z. Also, assume that \(\mu_{z}(x_{1},x_{2}) \) is a positive inner product on the tangent space \(T_{z}N \) (\(x_{1},x_{2}\in T_{z}N \)), which is given for each point of N. Then a \(C^{\infty} \) map \(\mu\colon z\rightarrow\mu_{z} \), which assigns a positive inner product \(\mu _{z} \) to \(T_{z}N \) for each point z of N is called a Riemannian metric.
Finally, assume that \((N,\eta) \) is a complete m-dimensional Riemannian manifold with Riemannian connection ▽. Let \(x_{1} , x_{2} \in N \) and \(\eta\colon[0,1]\rightarrow N \) be a geodesic joining the points \(x_{1} \) and \(x_{2} \), which means that \(\eta_{x_{1},x_{2}}(0)=x_{2}\) and \(\eta_{x_{1},x_{2}}(1)=x_{1} \).
Definition 2.1
[18]
A set B in a Riemannian manifold N is called totally convex if B contains every geodesic \(\eta_{x_{1},x_{2}} \) of N whose endpoints \(x_{1} \) and \(x_{2} \) belong to B.
Note the whole of the manifold N is totally convex, and conventionally, so is the empty set. The minimal circle in a hyperboloid is totally convex, but a single point is not. Also, any proper subset of a sphere is not necessarily totally convex.
The following theorem was proved in [18].
Remark 2.3
In general, the union of a totally convex set is not necessarily totally convex.
Definition 2.4
[18]
In 2005, strongly E-convex sets and strongly E-convex functions were introduced by Youness and Emam [14] as follows.
Definition 2.5
[14]
- (1)A subset \(B\subseteq\mathbb{R}^{n} \) is called a strongly E-convex set if there is a map \(E\colon\mathbb{R}^{n}\rightarrow \mathbb{R}^{n} \) such thatfor each \(b_{1},b_{2}\in B\), \(\alpha\in[0,1] \) and \(\gamma\in[0,1] \).$$\gamma\bigl(\alpha b_{1}+E(b_{1})\bigr)+(1-\gamma) \bigl( \alpha b_{2}+E(b_{2})\bigr)\in B $$
- (2)A function \(f\colon B\subseteq\mathbb {R}^{n}\rightarrow\mathbb{R} \) is called a strongly E-convex function on N if there is a map \(E\colon\mathbb {R}^{n}\rightarrow\mathbb{R}^{n} \) such that B is a strongly E-convex set andfor each \(b_{1},b_{2}\in B\), \(\alpha\in[0,1] \) and \(\gamma\in[0,1] \).$$f\bigl(\gamma\bigl(\alpha b_{1}+E(b_{1})\bigr)+(1-\gamma) \bigl(\alpha b_{2}+E(b_{2})\bigr)\bigr)\leq \gamma f \bigl(E(b_{1})\bigr)+(1-\gamma)f\bigl(E(b_{2})\bigr) $$
In 2012, the geodesic E-convex set and geodesic E-convex functions on a Riemannian manifold were introduced by Iqbal et al. [19] as follows.
Definition 2.6
[19]
- (1)
Assume that \(E\colon N\rightarrow N \) is a map. A subset B in a Riemannian manifold N is called geodesic E-convex iff there exists a unique geodesic \(\eta_{E(b_{1}),E(b_{2})}(\gamma) \) of length \(d(b_{1},b_{2}) \), which belongs to B, for each \(b_{1},b_{2}\in B \) and \(\gamma\in[0,1] \).
- (2)A function \(f\colon B\subseteq N \rightarrow\mathbb {R}\) is called geodesic E-convex on a geodesic E-convex set B iffor all \(b_{1},b_{2}\in B \) and \(\gamma\in[0,1] \).$$f\bigl(\eta_{E(b_{1}),E(b_{2})}(\gamma)\bigr)\leq\gamma f\bigl(E(b_{1}) \bigr)+(1-\gamma)f\bigl(E(b_{2})\bigr) $$
3 Geodesic strongly E-convex sets and geodesic strongly E-convex functions
In this section, we introduce a geodesic strongly E-convex (GSEC) set and a geodesic strongly E-convex (GSEC) function in a Riemannian manifold N and discuss some of their properties.
Definition 3.1
Assume that \(E\colon N\rightarrow N \) is a map. A subset B in a Riemannian manifold N is called GSEC if and only if there is a unique geodesic \(\eta_{\alpha b_{1}+E(b_{1}),\alpha b_{2}+E(b_{2})}(\gamma) \) of length \(d(b_{1},b_{2}) \), which belongs to B, \(\forall b_{1},b_{2}\in B\), \(\alpha\in[0,1] \), and \(\gamma\in [0,1] \).
Remark 3.2
- (1)
Every GSEC set is a GEC set when \(\alpha=0 \).
- (2)
A GEC set is not necessarily a GSEC set. The following example shows this statement.
Example 3.3
Let \(N^{2} \) be a 2-dimensional simply complete Riemannian manifold of non-positive sectional curvature, and \(B\subset N^{2} \) be an open star-shaped. Let \(E\colon N^{2}\rightarrow N^{2} \) be a map such that \(E(z)= \lbrace y\colon y\in \operatorname{ker}(B), \forall z\in B \rbrace \). Then B is GEC; on the other hand it is not GSEC.
Proposition 3.4
Every convex set \(B\subset N \) is a GSEC set.
Proof
Let us take a map \(E\colon N\rightarrow N \) such as \(E=I \) where I is the identity map and \(\alpha=0 \), then we have the required result. □
Note if we take the mapping \(E(x)=(1-\alpha)x\), \(x\in B \), then the definition of a GSE reduces to the definition of a t-convex set.
Theorem 3.5
If \(B\subset N \) is a GSEC set, then \(E(B)\subseteq B \).
Proof
Theorem 3.6
If \(\lbrace B_{j}, j\in I \rbrace\) is an arbitrary family of GSEC subsets of N with respect to the mapping \(E\colon N\rightarrow N \), then the intersection \(\bigcap_{j\in I}B_{j} \) is a GSEC subset of N.
Proof
If \(\bigcap_{j\in I}B_{j} \) is an empty set, then it is obviously a GSEC subset of N. Assume that \(b_{1},b_{2}\in\bigcap_{j\in I} B_{j} \), then \(b_{1},b_{2} \in B_{j} \), \(\forall j\in I \). By the GSEC of \(B_{j} \), we get \(\eta_{\alpha b_{1}+E(b_{1}),\alpha b_{2}+E(b_{2})}(\gamma )\in B_{j}\), \(\forall j\in I\), \(\alpha\in[0,1] \), and \(\gamma\in[0,1] \). Hence, \(\eta_{\alpha b_{1}+E(b_{1}),\alpha b_{2}+E(b_{2})}(\gamma)\in \bigcap_{j\in I} B_{j}\), \(\forall\alpha\in[0,1] \) and \(\gamma\in[0,1] \). □
Remark 3.7
The above theorem is not generally true for the union of GSEC subsets of N.
Now, we extend the definition of a GEC function on a Riemannian manifold to a GSEC function on a Riemannian manifold.
Definition 3.8
Remark 3.9
- (1)
Every GSEC function is a GEC function when \(\alpha=0 \). The following example shows that a GEC function is not necessarily a GSEC function.
Example 3.10
Similarly, the above inequality holds true when \(b_{1},b_{2}<0 \).
Similarly, \(f(\eta_{E(b_{1}),E(b_{2})}(\gamma))\leq\gamma f(E(b_{1}))+(1-\gamma)f(E(b_{2})) \), \(\forall\gamma\in[0,1] \) also holds for \(b_{1}>0 \) and \(b_{2}<0 \).
- (2)
Every g-convex function f on a convex set B is a GSEC function when \(\alpha=0 \) and E is the identity map.
Proposition 3.11
Assume that \(f\colon B\rightarrow\mathbb{R} \) is a GSEC function on a GSEC set \(B\subseteq N \), then \(f(\alpha b+E(b))\leq f(E(b)) \), \(\forall b\in B \) and \(\alpha\in[0,1] \).
Proof
Theorem 3.12
Consider that \(B\subseteq N \) is a GSEC set and \(f_{1}\colon B\rightarrow\mathbb{R} \) is a GSEC function. If \(f_{2}\colon I\rightarrow\mathbb{R} \) is a non-decreasing convex function such that \(\operatorname{rang}(f_{1})\subset I \), then \(f_{2}\circ f_{1} \) is a GSEC function on B.
Proof
Theorem 3.13
Proof
Theorem 3.14
Let \(B\subseteq N \) be a GSEC set and \(\lbrace f_{j},j\in I \rbrace\) be a family of real-valued functions defined on B such that \(\sup_{j\in I}f_{j}(b) \) exists in \(\mathbb{R} \), \(\forall b\in B \). If \(f_{j}\colon B\rightarrow\mathbb{R} \), \(j\in I\) are GSEC functions on B, then the function \(f\colon B\rightarrow \mathbb{R} \), defined by \(f(b)=\sup_{j\in I}f_{j}(b)\), \(\forall b\in B \) is GSEC on B.
Proof
Proposition 3.15
Assume that \(h_{j}\colon N\rightarrow\mathbb{R} \), \(j=1,2,\ldots,m\) are GSEC functions on N, with respect to \(E\colon N\rightarrow N \). If \(E(B)\subseteq B \), then \(B= \lbrace b\in N\colon h_{j}(b)\leq0, j=1,2,\ldots,m \rbrace \) is a GSEC set.
Proof
4 Epigraphs
Youness and Emam [14] defined a strongly \(E\times F \)-convex set where \(E\colon\mathbb{R}^{n} \rightarrow\mathbb{R}^{n}\) and \(F\colon\mathbb{R} \rightarrow\mathbb{R}\) and studied some of its properties. In this section, we generalize a strongly \(E\times F \)-convex set to a geodesic strongly \(E\times F \)-convex set on Riemannian manifolds and discuss GSEC functions in terms of their epigraphs. Furthermore, some properties of GSE sets are given.
Definition 4.1
It is not difficult to prove that \(B\subseteq N \) is a GSEC set if and only if \(B\times\mathbb{R} \) is a geodesic strongly \(E\times F \)-convex set.
Theorem 4.2
Let \(E\colon N\rightarrow N \) be a map, \(B\subseteq N \) be a GSEC set, \(f\colon B\rightarrow\mathbb{R} \) be a real-valued function and \(F\colon\mathbb{R}\rightarrow\mathbb{R} \) be a map such that \(F(f(b)+a)=f(E(b))+a \), for each non-negative real number a. Then f is a GSEC function on B if and only if \(\operatorname{epi}(f) \) is geodesic strongly \(E\times F \)-convex on \(B\times\mathbb{R} \).
Proof
Assume that \((b_{1},a_{1}) ,(b_{2},a_{2})\in \operatorname{epi}(f)\). If B is a GSEC set, then \(\eta_{\alpha b_{1}+E(b_{1}),\alpha b_{2}+E(b_{2})}(\gamma)\in B\), \(\forall\alpha\in[0,1] \) and \(\gamma\in [0,1] \). Since \(E(b_{1})\in B \) for \(\alpha=0\), \(\gamma=1 \), also \(E(b_{2})\in B \) for \(\alpha=0\), \(\gamma=0 \), let \(F(a_{1}) \) and \(F(a_{2}) \) be such that \(f(E(b_{1}))\leq F(a_{1}) \) and \(f(E(b_{2}))\leq F(a_{2}) \). Then \((E(b_{1}),F(a_{1})),(E(b_{2}),F(a_{2}))\in \operatorname{epi}(f) \).
Theorem 4.3
Assume that \(\lbrace B_{j}, j\in I \rbrace \) is a family of geodesic strongly \(E\times F \)-convex sets. Then the intersection \(\bigcap_{j\in I}B_{j} \) is a geodesic strongly \(E\times F \)-convex set.
Proof
Theorem 4.4
Assume that \(E\colon N \rightarrow N \) and \(F\colon\mathbb {R}\rightarrow\mathbb{R} \) are two maps such that \(F(f(b)+a)=f(E(b))+a \) for each non-negative real number a. Suppose that \(\lbrace f_{j}, j\in I \rbrace \) is a family of real-valued functions defined on a GSEC set \(B\subseteq N \) which are bounded from above. If \(\operatorname{epi}(f_{j}) \) are geodesic strongly \(E\times F \)-convex sets, then the function f which is given by \(f(b)=\sup_{j\in I}f_{j}(b)\), \(\forall b\in B \), is a GSEC function on B.
Proof
Declarations
Acknowledgements
The authors would like to thank the referees for valuable suggestions and comments, which helped the authors to improve this article substantially.
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.
Authors’ Affiliations
References
- Kılıçman, A, Saleh, W: A note on starshaped sets in 2-dimensional manifolds without conjugate points. J. Funct. Spaces 2014, Article ID 675735 (2014) Google Scholar
- Boltyanski, V, Martini, H, Soltan, PS: Excursions into Combinatorial Geometry. Springer, Berlin (1997) MATHView ArticleGoogle Scholar
- Danzer, L, Grünbaum, B, Klee, V: Helly’s theorem and its relatives. In: Klee, V (ed.) Convexity. Proc. Sympos. Pure Math., vol. 7, pp. 101-180 (1963) Google Scholar
- Jiménez, MA, Garzón, GR, Lizana, AR: Optimality Conditions in Vector Optimization. Bentham Science Publishers, Sharjah (2010) Google Scholar
- Martini, H, Swanepoel, KJ: Generalized convexity notions and combinatorial geometry. Congr. Numer. 164, 65-93 (2003) MATHMathSciNetGoogle Scholar
- Martini, H, Swanepoel, KJ: The geometry of Minkowski spaces - a survey. Part II. Expo. Math. 22, 14-93 (2004) MathSciNetView ArticleGoogle Scholar
- Saleh, W, Kılıçman, A: On generalized s-convex functions on fractal sets. JP J. Geom. Topol. 17(1), 63-82 (2015) Google Scholar
- Youness, EA: E-Convex sets, E-convex functions and E-convex programming. J. Optim. Theory Appl. 102, 439-450 (1999) MATHMathSciNetView ArticleGoogle Scholar
- Abou-Tair, I, Sulaiman, WT: Inequalities via convex functions. Int. J. Math. Math. Sci. 22(3), 543-546 (1999) MATHMathSciNetView ArticleGoogle Scholar
- Noor, MA: Fuzzy preinvex functions. Fuzzy Sets Syst. 64, 95-104 (1994) MATHView ArticleGoogle Scholar
- Noor, MA, Noor, KI, Awan, MU: Generalized convexity and integral inequalities. Appl. Math. Inf. Sci. 24(8), 1384-1388 (2015) Google Scholar
- Yang, X: On E-convex sets, E-convex functions, and E-convex programming. J. Optim. Theory Appl. 109(3), 699-704 (2001) MATHMathSciNetView ArticleGoogle Scholar
- Chen, X: Some properties of semi-E-convex functions. J. Math. Anal. Appl. 275(1), 251-262 (2002) MATHMathSciNetView ArticleGoogle Scholar
- Youness, EA, Emam, T: Strongly E-convex sets and strongly E-convex functions. J. Interdiscip. Math. 8(1), 107-117 (2005) MATHMathSciNetView ArticleGoogle Scholar
- Youness, EA, Emam, T: Semi-strongly E-convex functions. J. Math. Stat. 1(1), 51-57 (2005) MATHMathSciNetView ArticleGoogle Scholar
- Youness, EA, Emam, T: Characterization of efficient solutions for multi-objective optimization problems involving semi-strong and generalized semi-strong E-convexity. Acta Math. Sci., Ser. B Engl. Ed. 28(1), 7-16 (2008) MATHMathSciNetView ArticleGoogle Scholar
- Rapcsak, T: Smooth Nonlinear Optimization in R n $\mathbb{R}^{n}$ . Kluwer Academic, Dordrecht (1997) Google Scholar
- Udrist, C: Convex Functions and Optimization Methods on Riemannian Manifolds. Kluwer Academic, Dordrecht (1994) View ArticleGoogle Scholar
- Iqbal, A, Ali, S, Ahmad, I: On geodesic E-convex sets, geodesic E-convex functions and E-epigraphs. J. Optim. Theory Appl. 55(1), 239-251 (2012) MathSciNetView ArticleGoogle Scholar
- Fulga, C, Preda, V: Nonlinear programming with E-preinvex and local E-preinvex function. Eur. J. Oper. Res. 192, 737-743 (2009) MATHMathSciNetView ArticleGoogle Scholar
- Iqbal, A, Ahmad, I, Ali, S: Strong geodesic α-preinvexity and invariant α-monotonicity on Riemannian manifolds. Numer. Funct. Anal. Optim. 31, 1342-1361 (2010) MATHMathSciNetView ArticleGoogle Scholar
- Megahed, AEMA, Gomma, HG, Youness, EA, El-Banna, AZH: Optimality conditions of E-convex programming for an E-differentiable function. J. Inequal. Appl. 2013(1), 246 (2013) View ArticleGoogle Scholar
- Mirzapour, F, Mirzapour, A, Meghdadi, M: Generalization of some important theorems to E-midconvex functions. Appl. Math. Lett. 24(8), 1384-1388 (2011) MATHMathSciNetView ArticleGoogle Scholar
- Syau, YR, Lee, ES: Some properties of E-convex functions. Appl. Math. Lett. 18, 1074-1080 (2005) MATHMathSciNetView ArticleGoogle Scholar
- Yang, XM: On E-convex programming. J. Optim. Theory Appl. 109, 699-704 (2001) MATHMathSciNetView ArticleGoogle Scholar