- Research
- Open Access

# On the strictly *G*-preinvex function

- Tai Yong Li
^{1}Email author and - Gui Hua Hu
^{1}

**2014**:210

https://doi.org/10.1186/1029-242X-2014-210

© Li and Hu; licensee Springer. 2014

**Received:**11 February 2014**Accepted:**13 May 2014**Published:**23 May 2014

## Abstract

In this paper, we consider the strictly *G*-preinvex functions introduced by Antczak (J. Comput. Appl. Math. 217:212-226, 2008). The relationships between semistrictly *G*-preinvex functions and strictly *G*-preinvex functions, *G*-preinvex functions strictly *G*-preinvex functions are investigated under mild assumptions. Our results improve and extend the existing ones in the literature.

**MSC:**90C26.

## Keywords

*G*-preinvex functions- semistrictly
*G*-preinvex functions - strictly
*G*-preinvex functions - optimization

## 1 Introduction

Convexity and some generalizations of convexity play a crucial role in mathematical economics, engineering, management science, and optimization theory. Therefore, it is important to consider wider classes of generalized convex functions and also to seek practical criteria for convexity or generalized convexity (see [1–11] and the references therein). A significant generalization of convex functions is the introduction of preinvex functions, which is due to Weir and Mond [3]. Yang and Li [1] presented some properties of preinvex functions; in [2] they introduced two new classes of generalized convex functions, called semistrictly preinvex functions and strictly preinvex functions. They established relationships between preinvex functions and semistrictly preinvex functions under a certain set of conditions. Recently, Antczak [4, 6] introduced the concept of *G*-preinvex function (strictly *G*-preinvex function), which includes the preinvex function (strictly preinvex function) [3] and *r*-preinvex function [5] as special cases. Relations of this *G*-preinvex function to preinvex functions and some properties of this class of functions were studied in [4]. Luo and Wu in [7] introduced the semistrictly *G*-preinvex functions and established relationships between *G*-preinvex functions and semistrictly *G*-preinvex functions under a certain set of conditions.

In this paper, we investigate the relationships between semistrictly *G*-preinvex functions and strictly *G*-preinvex functions, *G*-preinvex functions and strictly *G*-preinvex functions under mild assumptions. It is worth pointing out that the results obtained here improve and generalize the corresponding ones given in [12, 13].

The outline of the paper is as follows. In Section 2, we give some preliminaries. The main results of the paper are presented in Section 3. Section 4 gives some conclusions.

## 2 Preliminaries

In this section, we describe some definitions of generalized convexity.

**Definition 2.1** ([3])

*K*is said to be an invex set with respect to

*η*iff

**Definition 2.2** ([3])

*K*iff, $\mathrm{\forall}x,y\in K$, $\mathrm{\forall}\lambda \in [0,1]$,

**Definition 2.3** ([2])

*K*iff, $\mathrm{\forall}x,y\in K$, $f(x)\ne f(y)$, $\mathrm{\forall}\lambda \in (0,1)$,

**Definition 2.4** ([2])

*K*iff, $\mathrm{\forall}x,y\in K$, $x\ne y$, $\mathrm{\forall}\lambda \in (0,1)$,

In [12], the relationships between preinvex functions and strictly preinvex functions, semistrictly preinvex functions and strictly preinvex functions were discussed under the following condition.

**Condition C** ([3])

*η*satisfies Condition C iff, $\mathrm{\forall}x,y\in K$, $\mathrm{\forall}\lambda \in [0,1]$,

Let ${I}_{f}(K)$ be the range of *f*, *i.e.*, the image of *K* under *f*, and let ${G}^{-1}$ be the inverse of *G*.

*η*). The function $f:K\to R$ is said to be

*G*-preinvex on

*K*iff there exist a continuous real-valued increasing function $G:{I}_{f}(K)\to R$ and a vector-valued function $\eta :K\times K\to {R}^{n}$ such that, $\mathrm{\forall}x,y\in K$, $\mathrm{\forall}\lambda \in [0,1]$,

We note that the *G*-preinvex function in Definition 2.5 reduces to the preinvex function in Definition 2.2 and the *r*-preinvex function in [5] when setting $G(t)=t$ and $G(t)={e}^{rt}$, $r>0$, respectively.

**Definition 2.6** ([7])

*η*). The function $f:K\to R$ is said to be semistrictly

*G*-preinvex on

*K*iff there exist a continuous real-valued increasing function $G:{I}_{f}(K)\to R$ and a vector-valued function $\eta :K\times K\to {R}^{n}$ such that, $\mathrm{\forall}x,y\in K$, $f(x)\ne f(y)$, $\mathrm{\forall}\lambda \in (0,1)$,

**Definition 2.7** ([4])

*η*). The function $f:K\to R$ is said to be strictly

*G*-preinvex on

*K*iff there exist a continuous real-valued increasing function $G:{I}_{f}(K)\to R$ and a vector-valued function $\eta :K\times K\to {R}^{n}$ such that, $\mathrm{\forall}x,y\in K$, $x\ne y$, $\mathrm{\forall}\lambda \in (0,1)$,

We also observe that the semistrictly *G*-preinvex function in Definition 2.6 is a generalization of the semistrictly preinvex function in Definition 2.3, and the strictly *G*-preinvex function in Definition 2.7 is a generalization of the strictly preinvex function in Definition 2.4 when taking $G(t)=t$.

**Example 2.1**This example illustrates that a

*G*-preinvex function is not necessarily a strictly

*G*-preinvex function. Let

*f*is a

*G*-preinvex function on

*R*with respect to

*η*, where $G(t)={e}^{t}$. But if we let $x=0$, $y=1$, $\lambda =\frac{1}{2}$, we have

So, *f* is not a strictly *G*-preinvex function with respect to *η* on *R*.

**Example 2.2**This example illustrates that a semistrictly

*G*-preinvex function is not necessarily a strictly

*G*-preinvex function. Let

*f*is a semistrictly

*G*-preinvex function on $x\in [-6,-2]\cup [-1,6]$ with respect to

*η*, where $G(t)=t$. However, let $x=-1\ne y=1$, $\lambda =\frac{1}{2}$, and we have

Thus, *f* is not a strictly *G*-preinvex function with respect to the same *η* on $x\in [-6,-2]\cup [-1,6]$.

**Example 2.3**This example illustrates that a strictly

*G*-preinvex function is not necessarily a strictly preinvex function. Let

*f*is a strictly

*G*-preinvex function on

*R*with respect to

*η*, where $G(t)=lnt$. But if we let $x=-1$, $y=1$, $\lambda =\frac{1}{2}$, we have

So, *f* is not a strictly preinvex function with respect to *η* on *R*.

**Remark 2.1** From Example 2.1 and Example 2.2, we know that strictly *G*-preinvex functions are different from semistrictly *G*-preinvex functions and *G*-preinvex functions. By Example 2.3, we know that the definition of strictly *G*-preinvex functions is a true generalization of that of strictly preinvex functions.

## 3 Properties of strictly *G*-preinvex functions

*G*-preinvex functions and semistrictly

*G*-preinvex functions. In this section, we derive some properties of strictly

*G*-preinvex functions. We assume always that:

- (i)
$K\subseteq {R}^{n}$ is an invex set with respect to $\eta :K\times K\to {R}^{n}$;

- (ii)
*η*satisfies Condition C;*f*is a real-valued function on*K*.

**Theorem 3.1** *Let* *f* *be a semistrictly* *G*-*preinvex function with respect to* *η* *on* *K*. *If* $\overline{x}\in K$ *is a local minimum to the problem of minimizing* $f(x)$ *subject to* $x\in K$; *then* $\overline{x}$ *is a global one*.

*Proof*Suppose that $\overline{x}\in K$ is a local minimum to the problem of minimizing $f(x)$ subject to $x\in K$. Then there is an

*ϵ*-neighborhood ${N}_{\u03f5}(\overline{x})$ around $\overline{x}$ such that

*f*over

*K*, then there exists ${x}^{\ast}\in K$ such that

*G*-preinvex function with respect to

*η*on

*K*. Thus,

which is a contradiction to (3.1). This completes the proof. □

**Remark 3.1** It is easy to see that strict *G*-preinvexity implies semistrict *G*-preinvexity, so by Theorem 3.1, we have the following.

**Corollary 3.1** *Let* $f:K\to R$ *be a strictly* *G*-*preinvex function with respect to* *η* *on* *K*. *If* $\overline{x}\in K$ *is a local minimum to the problem of minimizing* $f(x)$ *subject to* $x\in K$, *then* $\overline{x}$ *is a global one*.

By Corollary 3.1, we can conclude that strictly *G*-preinvex functions constitute an important class of generalized convex functions in mathematical programming.

**Theorem 3.2**

*Let*

*f*

*be a*

*G*-

*preinvex function on*

*K*.

*For each pair*$x,y\in K$, $x\ne y$,

*if there exists*$\alpha \in (0,1)$

*such that*

*then* *f* *is a strictly* *G*-*preinvex function on* *K*.

*Proof*By contradiction: suppose that there exist $x,y\in K$, $x\ne y$, $\lambda \in (0,1)$ such that

*f*is

*G*-preinvex, we have

*x*,

*z*and the pair

*z*,

*y*are both distinct under (3.2), there exists ${\beta}_{1},{\beta}_{2}\in (0,1)$ such that

*f*is

*G*-preinvex, we have

*G*is an increasing function and hence, by Lemma 1 of [4], ${G}^{-1}$ is also increasing. Thus, from (3.5)-(3.8), we have

which contradicts (3.3). This completes the proof. □

**Corollary 3.2**

*Let*

*f*

*be a*

*G*-

*preinvex function on*

*K*.

*If there exists*$\alpha \in (0,1)$

*such that*,

*for each pair*$x,y\in K$, $x\ne y$,

*then* *f* *is a strictly* *G*-*preinvex function on* *K*.

**Corollary 3.3**

*Let*

*f*

*be a preinvex function on*

*K*.

*For each pair*$x,y\in K$, $x\ne y$,

*if there exists*$\alpha \in (0,1)$

*such that*

*then* *f* *is a strictly preinvex function on* *K*.

**Remark 3.2** Even Corollary 3.3 is a new result, it is an improvement of [[12], Theorem 1].

**Corollary 3.4** ([12])

*Let*

*f*

*be a preinvex function on*

*K*.

*If there exists*$\alpha \in (0,1)$

*such that*,

*for each pair*$x,y\in K$, $x\ne y$,

*then* *f* *is a strictly preinvex function on* *K*.

**Theorem 3.3**

*f*

*is a strictly*

*G*-

*preinvex function on*

*K*

*if and only if*

*f*

*is a semistrictly*

*G*-

*preinvex function on*

*K*

*and satisfies the following condition*:

*there exists*$\alpha \in (0,1)$

*such that*,

*for each pair*$x,y\in K$, $x\ne y$,

*Proof*The necessity is obvious from Definition 2.7. So we only prove the sufficiency. Since

*f*is a semistrictly

*G*-preinvex function on

*K*, we only show that $f(x)=f(y)$, $x\ne y$ implies that

*G*-preinvexity of

*f*and (3.10), it follows that

*G*-preinvexity of

*f*and (3.10), it follows that

This completes the proof. □

Theorems 3.1-3.3 improve and generalize the corresponding ones given in [12, 13] from the strictly preinvex case to the strictly *G*-preinvex case.

## 4 Conclusions

In this paper, we firstly obtain one property of strictly *G*-preinvex functions, we consider the strictly *G*-preinvex functions introduced by Antczak [4]. The relationships between semistrictly *G*-preinvex functions and strictly *G*-preinvex functions, *G*-preinvex functions and strictly *G*-preinvex functions are investigated under weaker conditions. Our results improve and extend the existing ones in the literature.

## Declarations

### Acknowledgements

The research was supported by the National Natural Science Foundation of China Grant 10461007, the Foundation of Department of Education of Zhejiang Province under Grant Y201121204 and the Foundation of Tianmu College Grant TMYY1210. The authors would like to express their thanks to the referees for helpful suggestions.

## Authors’ Affiliations

## References

- Yang XM, Li D:
**On properties of preinvex functions.***J. Math. Anal. Appl.*2001,**256:**229–241. 10.1006/jmaa.2000.7310MathSciNetView ArticleMATHGoogle Scholar - Yang XM, Li D:
**Semistrictly preinvex functions.***J. Math. Anal. Appl.*2001,**258:**287–308. 10.1006/jmaa.2000.7382MathSciNetView ArticleMATHGoogle Scholar - Weir T, Mond B:
**Pre-invex functions in multiple objective optimization.***J. Math. Anal. Appl.*1988,**136:**29–38. 10.1016/0022-247X(88)90113-8MathSciNetView ArticleMATHGoogle Scholar - Antczak T: G
**-Pre-invex functions in mathematical programming.***J. Comput. Appl. Math.*2008,**217:**212–226. 10.1016/j.cam.2007.06.026MathSciNetView ArticleMATHGoogle Scholar - Antczak T: r
**-Pre-invexity and**r**-invexity in mathematical programming.***Comput. Math. Appl.*2005,**50:**551–566. 10.1016/j.camwa.2005.01.024MathSciNetView ArticleMATHGoogle Scholar - Antczak T:
**New optimality conditions and duality results of**G**-type in differentiable mathematical programming.***Nonlinear Anal.*2007,**66:**1617–1632. 10.1016/j.na.2006.02.013MathSciNetView ArticleMATHGoogle Scholar - Luo HZ, Wu HX:
**On the relationships between**G**-preinvex functions and semistrictly**G**-preinvex functions.***J. Comput. Appl. Math.*2008,**222:**372–380. 10.1016/j.cam.2007.11.006MathSciNetView ArticleMATHGoogle Scholar - Li TY, Huang M:
**On the characterization of**D**-preinvex functions.***J. Inequal. Appl.*2012.,**2012:**Article ID 240Google Scholar - Pini R:
**Invexity and generalized convexity.***Optimization*1991,**22:**513–525. 10.1080/02331939108843693MathSciNetView ArticleMATHGoogle Scholar - Agarwal RP, Ahmad I, Iqbal A, Ali S:
**Geodesic**G**-invex sets and semistrictly geodesic**η**-preinvex functions.***Optimization*2012,**61:**1169–1174. 10.1080/02331934.2010.544314MathSciNetView ArticleMATHGoogle Scholar - Agarwal RP, Ahmad I, Iqbal A, Ali S:
**Generalized invex set and preinvex functions on Riemannian manifolds.***Taiwan. J. Math.*2012,**16:**1719–1732.MathSciNetMATHGoogle Scholar - Peng JW, Yang XM:
**Two properties of strictly preinvex functions.***Oper. Res. Trans.*2005,**9**(1):37–42. (in Chinese)Google Scholar - Yang XM:
**Semistrictly convex functions.***Opsearch*1994,**31:**15–27.MathSciNetMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.