# On the strictly G-preinvex function

## 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.

## 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])

For a given set $KâŠ†{R}^{n}$ and a given function $\mathrm{Î·}:{R}^{n}Ã—{R}^{n}â†’{R}^{n}$, K is said to be an invex set with respect to Î· iff

$\mathrm{âˆ€}x,yâˆˆK,\phantom{\rule{2em}{0ex}}\mathrm{âˆ€}\mathrm{Î»}âˆˆ\left[0,1\right]\phantom{\rule{1em}{0ex}}â‡’\phantom{\rule{1em}{0ex}}y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)âˆˆK.$

Definition 2.2 ([3])

Let $KâŠ†{R}^{n}$ be an invex set with respect to $\mathrm{Î·}:{R}^{n}Ã—{R}^{n}â†’{R}^{n}$. The function $f:Kâ†’R$ is said to be preinvex on K iff, $\mathrm{âˆ€}x,yâˆˆK$, $\mathrm{âˆ€}\mathrm{Î»}âˆˆ\left[0,1\right]$,

$f\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)â‰¤\mathrm{Î»}f\left(x\right)+\left(1âˆ’\mathrm{Î»}\right)f\left(y\right).$

Definition 2.3 ([2])

Let $KâŠ†{R}^{n}$ be an invex set with respect to $\mathrm{Î·}:KÃ—Kâ†’{R}^{n}$. The function $f:Kâ†’R$ is said to be semistrictly preinvex on K iff, $\mathrm{âˆ€}x,yâˆˆK$, , $\mathrm{âˆ€}\mathrm{Î»}âˆˆ\left(0,1\right)$,

$f\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)<\mathrm{Î»}f\left(x\right)+\left(1âˆ’\mathrm{Î»}\right)f\left(y\right).$

Definition 2.4 ([2])

Let $KâŠ†{R}^{n}$ be an invex set with respect to $\mathrm{Î·}:KÃ—Kâ†’{R}^{n}$. The function $f:Kâ†’R$ is said to be strictly preinvex on K iff, $\mathrm{âˆ€}x,yâˆˆK$, , $\mathrm{âˆ€}\mathrm{Î»}âˆˆ\left(0,1\right)$,

$f\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)<\mathrm{Î»}f\left(x\right)+\left(1âˆ’\mathrm{Î»}\right)f\left(y\right).$

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])

Let $\mathrm{Î·}:KÃ—Kâ†’{R}^{n}$. We say that the function Î· satisfies Condition C iff, $\mathrm{âˆ€}x,yâˆˆK$, $\mathrm{âˆ€}\mathrm{Î»}âˆˆ\left[0,1\right]$,

$\begin{array}{c}\mathrm{Î·}\left(y,y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)=âˆ’\mathrm{Î»}\mathrm{Î·}\left(x,y\right),\hfill \\ \mathrm{Î·}\left(x,y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)=\left(1âˆ’\mathrm{Î»}\right)\mathrm{Î·}\left(x,y\right).\hfill \end{array}$

Let ${I}_{f}\left(K\right)$ be the range of f, i.e., the image of K under f, and let ${G}^{âˆ’1}$ be the inverse of G.

Definition 2.5 ([4, 6])

Let $KâŠ†{R}^{n}$ be an invex set (with respect to Î·). The function $f:Kâ†’R$ is said to be G-preinvex on K iff there exist a continuous real-valued increasing function $G:{I}_{f}\left(K\right)â†’R$ and a vector-valued function $\mathrm{Î·}:KÃ—Kâ†’{R}^{n}$ such that, $\mathrm{âˆ€}x,yâˆˆK$, $\mathrm{âˆ€}\mathrm{Î»}âˆˆ\left[0,1\right]$,

$f\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)â‰¤{G}^{âˆ’1}\left(\mathrm{Î»}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î»}\right)G\left(f\left(y\right)\right)\right).$

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\left(t\right)=t$ and $G\left(t\right)={e}^{rt}$, $r>0$, respectively.

Definition 2.6 ([7])

Let $KâŠ†{R}^{n}$ be an invex set (with respect to Î·). The function $f:Kâ†’R$ is said to be semistrictly G-preinvex on K iff there exist a continuous real-valued increasing function $G:{I}_{f}\left(K\right)â†’R$ and a vector-valued function $\mathrm{Î·}:KÃ—Kâ†’{R}^{n}$ such that, $\mathrm{âˆ€}x,yâˆˆK$, , $\mathrm{âˆ€}\mathrm{Î»}âˆˆ\left(0,1\right)$,

$f\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)<{G}^{âˆ’1}\left(\mathrm{Î»}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î»}\right)G\left(f\left(y\right)\right)\right).$

Definition 2.7 ([4])

Let $KâŠ†{R}^{n}$ be an invex set (with respect to Î·). The function $f:Kâ†’R$ is said to be strictly G-preinvex on K iff there exist a continuous real-valued increasing function $G:{I}_{f}\left(K\right)â†’R$ and a vector-valued function $\mathrm{Î·}:KÃ—Kâ†’{R}^{n}$ such that, $\mathrm{âˆ€}x,yâˆˆK$, , $\mathrm{âˆ€}\mathrm{Î»}âˆˆ\left(0,1\right)$,

$f\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)<{G}^{âˆ’1}\left(\mathrm{Î»}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î»}\right)G\left(f\left(y\right)\right)\right).$

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\left(t\right)=t$.

Example 2.1 This example illustrates that a G-preinvex function is not necessarily a strictly G-preinvex function. Let

Then f is a G-preinvex function on R with respect to Î·, where $G\left(t\right)={e}^{t}$. But if we let $x=0$, $y=1$, $\mathrm{Î»}=\frac{1}{2}$, we have

$f\left(y\right)=f\left(1\right)=ln2,\phantom{\rule{2em}{0ex}}f\left(x\right)=f\left(0\right)=0$

and

$f\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)=f\left(\frac{1}{2}\right)=ln\left(\frac{3}{2}\right)={G}^{{}^{âˆ’1}}\left(\frac{3}{2}\right)={G}^{{}^{âˆ’1}}\left(\mathrm{Î»}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î»}\right)G\left(f\left(y\right)\right)\right).$

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

Then it is not difficult to show that f is a semistrictly G-preinvex function on $xâˆˆ\left[âˆ’6,âˆ’2\right]âˆª\left[âˆ’1,6\right]$ with respect to Î·, where $G\left(t\right)=t$. However, let , $\mathrm{Î»}=\frac{1}{2}$, and we have

$f\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)=f\left(0\right)=1>0={G}^{{}^{âˆ’1}}\left(\mathrm{Î»}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î»}\right)G\left(f\left(y\right)\right)\right).$

Thus, f is not a strictly G-preinvex function with respect to the same Î· on $xâˆˆ\left[âˆ’6,âˆ’2\right]âˆª\left[âˆ’1,6\right]$.

Example 2.3 This example illustrates that a strictly G-preinvex function is not necessarily a strictly preinvex function. Let

Then it is not difficult to show that f is a strictly G-preinvex function on R with respect to Î·, where $G\left(t\right)=lnt$. But if we let $x=âˆ’1$, $y=1$, $\mathrm{Î»}=\frac{1}{2}$, we have

$f\left(y\right)=f\left(1\right)=f\left(x\right)=f\left(âˆ’1\right)=\frac{1}{2}$

and

$f\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)=f\left(0\right)=1>\frac{1}{2}=\mathrm{Î»}f\left(x\right)+\left(1âˆ’\mathrm{Î»}\right)f\left(y\right).$

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

In [7], the authors discussed the properties of G-preinvex functions and semistrictly G-preinvex functions. In this section, we derive some properties of strictly G-preinvex functions. We assume always that:

1. (i)

$KâŠ†{R}^{n}$ is an invex set with respect to $\mathrm{Î·}:KÃ—Kâ†’{R}^{n}$;

2. (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 $\stackrel{Â¯}{x}âˆˆK$ is a local minimum to the problem of minimizing $f\left(x\right)$ subject to $xâˆˆK$; then $\stackrel{Â¯}{x}$ is a global one.

Proof Suppose that $\stackrel{Â¯}{x}âˆˆK$ is a local minimum to the problem of minimizing $f\left(x\right)$ subject to $xâˆˆK$. Then there is an Ïµ-neighborhood ${N}_{\mathrm{Ïµ}}\left(\stackrel{Â¯}{x}\right)$ around $\stackrel{Â¯}{x}$ such that

$f\left(\stackrel{Â¯}{x}\right)â‰¤f\left(x\right),\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}xâˆˆKâˆ©{N}_{\mathrm{Ïµ}}\left(\stackrel{Â¯}{x}\right).$
(3.1)

If $\stackrel{Â¯}{x}$ is not a global minimum of f over K, then there exists ${x}^{âˆ—}âˆˆK$ such that

$f\left({x}^{âˆ—}\right)

By assumption, $f:Kâ†’R$ is a semistrictly G-preinvex function with respect to Î· on K. Thus,

$f\left(\stackrel{Â¯}{x}+\mathrm{Î»}\mathrm{Î·}\left({x}^{âˆ—},\stackrel{Â¯}{x}\right)\right)<{G}^{âˆ’1}\left(\mathrm{Î»}G\left(f\left({x}^{âˆ—}\right)\right)+\left(1âˆ’\mathrm{Î»}\right)G\left(f\left(\stackrel{Â¯}{x}\right)\right)\right)

for all $\mathrm{Î»}âˆˆ\left(0,1\right)$. For a sufficiently small $\mathrm{Î»}>0$, it follows that

$\stackrel{Â¯}{x}+\mathrm{Î»}\mathrm{Î·}\left({x}^{âˆ—},\stackrel{Â¯}{x}\right)âˆˆKâˆ©{N}_{\mathrm{Ïµ}}\left(\stackrel{Â¯}{x}\right),$

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â†’R$ be a strictly G-preinvex function with respect to Î· on K. If $\stackrel{Â¯}{x}âˆˆK$ is a local minimum to the problem of minimizing $f\left(x\right)$ subject to $xâˆˆK$, then $\stackrel{Â¯}{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âˆˆK$, , if there exists $\mathrm{Î±}âˆˆ\left(0,1\right)$ such that

$f\left(y+\mathrm{Î±}\mathrm{Î·}\left(x,y\right)\right)<{G}^{âˆ’1}\left(\mathrm{Î±}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î±}\right)G\left(f\left(y\right)\right)\right),$
(3.2)

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

Proof By contradiction: suppose that there exist $x,yâˆˆK$, , $\mathrm{Î»}âˆˆ\left(0,1\right)$ such that

$f\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)â‰¥{G}^{âˆ’1}\left(\mathrm{Î»}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î»}\right)G\left(f\left(y\right)\right)\right).$
(3.3)

Denote

$z=y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right).$

Since f is G-preinvex, we have

$f\left(z\right)â‰¤{G}^{âˆ’1}\left(\mathrm{Î»}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î»}\right)G\left(f\left(y\right)\right)\right).$
(3.4)

The above two inequalities imply that

$f\left(z\right)={G}^{âˆ’1}\left(\mathrm{Î»}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î»}\right)G\left(f\left(y\right)\right)\right).$
(3.5)

We note that the pair x, z and the pair z, y are both distinct under (3.2), there exists ${\mathrm{Î²}}_{1},{\mathrm{Î²}}_{2}âˆˆ\left(0,1\right)$ such that

$f\left(z+{\mathrm{Î²}}_{1}\mathrm{Î·}\left(x,z\right)\right)<{G}^{âˆ’1}\left({\mathrm{Î²}}_{1}G\left(f\left(x\right)\right)+\left(1âˆ’{\mathrm{Î²}}_{1}\right)G\left(f\left(z\right)\right)\right),$
(3.6)
$f\left(y+{\mathrm{Î²}}_{2}\mathrm{Î·}\left(z,y\right)\right)<{G}^{âˆ’1}\left({\mathrm{Î²}}_{2}G\left(f\left(z\right)\right)+\left(1âˆ’{\mathrm{Î²}}_{2}\right)G\left(f\left(y\right)\right)\right).$
(3.7)

Denote

$\stackrel{Â¯}{x}=z+{\mathrm{Î²}}_{1}\mathrm{Î·}\left(x,z\right),\phantom{\rule{2em}{0ex}}\stackrel{Â¯}{y}=y+{\mathrm{Î²}}_{2}\mathrm{Î·}\left(z,y\right).$

From Condition C

$\begin{array}{c}\stackrel{Â¯}{x}=z+{\mathrm{Î²}}_{1}\mathrm{Î·}\left(x,z\right)=y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)+{\mathrm{Î²}}_{1}\mathrm{Î·}\left(x,y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)\hfill \\ \phantom{\stackrel{Â¯}{x}}=y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)+\left(1âˆ’\mathrm{Î»}\right){\mathrm{Î²}}_{1}\mathrm{Î·}\left(x,y\right)\hfill \\ \phantom{\stackrel{Â¯}{x}}=y+\left(\mathrm{Î»}+\left(1âˆ’\mathrm{Î»}\right){\mathrm{Î²}}_{1}\right)\mathrm{Î·}\left(x,y\right),\hfill \\ \stackrel{Â¯}{y}=y+{\mathrm{Î²}}_{2}\mathrm{Î·}\left(z,y\right)=y+{\mathrm{Î²}}_{2}\mathrm{Î·}\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right),y\right)\hfill \\ \phantom{\stackrel{Â¯}{y}}=y+{\mathrm{Î²}}_{2}\mathrm{Î·}\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right),y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)âˆ’\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)\hfill \\ \phantom{\stackrel{Â¯}{y}}=y+{\mathrm{Î²}}_{2}\mathrm{Î·}\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right),y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)+\mathrm{Î·}\left(y,y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)\right)\hfill \\ \phantom{\stackrel{Â¯}{y}}=yâˆ’{\mathrm{Î²}}_{2}\mathrm{Î·}\left(y,y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)\hfill \\ \phantom{\stackrel{Â¯}{y}}=y+\mathrm{Î»}{\mathrm{Î²}}_{2}\mathrm{Î·}\left(x,y\right).\hfill \end{array}$

Let ${\mathrm{Î¼}}_{1}=\mathrm{Î»}+\left(1âˆ’\mathrm{Î»}\right){\mathrm{Î²}}_{1}$, ${\mathrm{Î¼}}_{2}=\mathrm{Î»}{\mathrm{Î²}}_{2}$, $\mathrm{Î¼}=\frac{\mathrm{Î»}âˆ’{\mathrm{Î¼}}_{2}}{{\mathrm{Î¼}}_{1}âˆ’{\mathrm{Î¼}}_{2}}$. It is easy to verify that ${\mathrm{Î¼}}_{1},{\mathrm{Î¼}}_{2},\mathrm{Î¼}âˆˆ\left(0,1\right)$. Again from Condition C,

$\begin{array}{rcl}\stackrel{Â¯}{y}+\mathrm{Î¼}\mathrm{Î·}\left(\stackrel{Â¯}{x},\stackrel{Â¯}{y}\right)& =& y+{\mathrm{Î¼}}_{2}\mathrm{Î·}\left(x,y\right)+\mathrm{Î¼}\mathrm{Î·}\left(y+{\mathrm{Î¼}}_{1}\mathrm{Î·}\left(x,y\right),y+{\mathrm{Î¼}}_{2}\mathrm{Î·}\left(x,y\right)\right)\\ =& y+{\mathrm{Î¼}}_{2}\mathrm{Î·}\left(x,y\right)+\mathrm{Î¼}\mathrm{Î·}\left(y+{\mathrm{Î¼}}_{1}\mathrm{Î·}\left(x,y\right),y+{\mathrm{Î¼}}_{1}\mathrm{Î·}\left(x,y\right)+\left({\mathrm{Î¼}}_{2}âˆ’{\mathrm{Î¼}}_{1}\right)\mathrm{Î·}\left(x,y\right)\right)\\ =& y+{\mathrm{Î¼}}_{2}\mathrm{Î·}\left(x,y\right)+\mathrm{Î¼}\mathrm{Î·}\left(y+{\mathrm{Î¼}}_{1}\mathrm{Î·}\left(x,y\right),y+{\mathrm{Î¼}}_{1}\mathrm{Î·}\left(x,y\right)\\ +\left(\frac{{\mathrm{Î¼}}_{2}âˆ’{\mathrm{Î¼}}_{1}}{1âˆ’{\mathrm{Î¼}}_{1}}\right)\mathrm{Î·}\left(x,y+{\mathrm{Î¼}}_{1}\mathrm{Î·}\left(x,y\right)\right)\right)\\ =& y+{\mathrm{Î¼}}_{2}\mathrm{Î·}\left(x,y\right)âˆ’\left(\frac{\mathrm{Î¼}\left({\mathrm{Î¼}}_{2}âˆ’{\mathrm{Î¼}}_{1}\right)}{1âˆ’{\mathrm{Î¼}}_{1}}\right)\mathrm{Î·}\left(x,y+{\mathrm{Î¼}}_{1}\mathrm{Î·}\left(x,y\right)\right)\\ =& y+{\mathrm{Î¼}}_{2}\mathrm{Î·}\left(x,y\right)âˆ’\mathrm{Î¼}\left({\mathrm{Î¼}}_{2}âˆ’{\mathrm{Î¼}}_{1}\right)\mathrm{Î·}\left(x,y\right)\\ =& y+\left({\mathrm{Î¼}}_{2}âˆ’\mathrm{Î¼}\left({\mathrm{Î¼}}_{2}âˆ’{\mathrm{Î¼}}_{1}\right)\right)\mathrm{Î·}\left(x,y\right)\\ =& y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\\ =& z.\end{array}$

Since f is G-preinvex, we have

$f\left(z\right)â‰¤{G}^{âˆ’1}\left(\mathrm{Î¼}G\left(f\left(\stackrel{Â¯}{x}\right)\right)+\left(1âˆ’\mathrm{Î¼}\right)G\left(f\left(\stackrel{Â¯}{y}\right)\right)\right).$
(3.8)

By the assumption, 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

$\begin{array}{rcl}f\left(z\right)& â‰¤& {G}^{âˆ’1}\left(\mathrm{Î¼}G\left(f\left(\stackrel{Â¯}{x}\right)\right)+\left(1âˆ’\mathrm{Î¼}\right)G\left(f\left(\stackrel{Â¯}{y}\right)\right)\right)\\ <& {G}^{âˆ’1}\left(\mathrm{Î¼}\left({\mathrm{Î²}}_{1}G\left(f\left(x\right)\right)+\left(1âˆ’{\mathrm{Î²}}_{1}\right)G\left(f\left(z\right)\right)\right)\\ +\left(1âˆ’\mathrm{Î¼}\right)\left({\mathrm{Î²}}_{2}G\left(f\left(z\right)\right)+\left(1âˆ’{\mathrm{Î²}}_{2}\right)G\left(f\left(y\right)\right)\right)\right)\\ =& {G}^{âˆ’1}\left(\mathrm{Î¼}{\mathrm{Î²}}_{1}G\left(f\left(x\right)\right)+\left(\mathrm{Î¼}\left(1âˆ’{\mathrm{Î²}}_{1}\right)+\left(1âˆ’\mathrm{Î¼}\right){\mathrm{Î²}}_{2}\right)G\left(f\left(z\right)\right)\\ +\left(1âˆ’\mathrm{Î¼}\right)\left(1âˆ’{\mathrm{Î²}}_{2}\right)G\left(f\left(y\right)\right)\right)\\ =& {G}^{âˆ’1}\left(\left(\mathrm{Î¼}{\mathrm{Î²}}_{1}+\mathrm{Î»}\mathrm{Î¼}\left(1âˆ’{\mathrm{Î²}}_{1}\right)+\mathrm{Î»}{\mathrm{Î²}}_{2}\left(1âˆ’\mathrm{Î¼}\right)\right)G\left(f\left(x\right)\right)\\ +\left(\left(1âˆ’\mathrm{Î¼}\right)\left(1âˆ’{\mathrm{Î²}}_{2}\right)+\left(1âˆ’\mathrm{Î»}\right)\mathrm{Î¼}\left(1âˆ’{\mathrm{Î²}}_{1}\right)+\left(1âˆ’\mathrm{Î»}\right){\mathrm{Î²}}_{2}\left(1âˆ’\mathrm{Î¼}\right)\right)G\left(f\left(y\right)\right)\right)\\ =& {G}^{âˆ’1}\left(\mathrm{Î»}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î»}\right)G\left(f\left(y\right)\right)\right),\end{array}$

where

$\begin{array}{c}\mathrm{Î¼}{\mathrm{Î²}}_{1}+\mathrm{Î»}\mathrm{Î¼}\left(1âˆ’{\mathrm{Î²}}_{1}\right)+\mathrm{Î»}{\mathrm{Î²}}_{2}\left(1âˆ’\mathrm{Î¼}\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\mathrm{Î¼}\left(\mathrm{Î»}+{\mathrm{Î²}}_{1}\left(1âˆ’\mathrm{Î»}\right)âˆ’\mathrm{Î»}{\mathrm{Î²}}_{2}\right)+\mathrm{Î»}{\mathrm{Î²}}_{2}\hfill \\ \phantom{\rule{1em}{0ex}}=\mathrm{Î¼}\left(\mathrm{Î»}+{\mathrm{Î²}}_{1}\left(1âˆ’\mathrm{Î»}\right)âˆ’{\mathrm{Î¼}}_{2}\right)+{\mathrm{Î¼}}_{2}\hfill \\ \phantom{\rule{1em}{0ex}}=\mathrm{Î¼}\left({\mathrm{Î¼}}_{1}âˆ’{\mathrm{Î¼}}_{2}\right)+{\mathrm{Î¼}}_{2}\hfill \\ \phantom{\rule{1em}{0ex}}=\mathrm{Î»},\hfill \\ \left(1âˆ’\mathrm{Î¼}\right)\left(1âˆ’{\mathrm{Î²}}_{2}\right)+\left(1âˆ’\mathrm{Î»}\right)\mathrm{Î¼}\left(1âˆ’{\mathrm{Î²}}_{1}\right)+\left(1âˆ’\mathrm{Î»}\right){\mathrm{Î²}}_{2}\left(1âˆ’\mathrm{Î¼}\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\left(1âˆ’\mathrm{Î¼}\right)\left(1âˆ’{\mathrm{Î¼}}_{2}\right)+\mathrm{Î¼}\left(1âˆ’{\mathrm{Î¼}}_{1}\right)\hfill \\ \phantom{\rule{1em}{0ex}}=1âˆ’{\mathrm{Î¼}}_{2}+\mathrm{Î¼}\left({\mathrm{Î¼}}_{2}âˆ’{\mathrm{Î¼}}_{1}\right)\hfill \\ \phantom{\rule{1em}{0ex}}=1âˆ’\mathrm{Î»},\hfill \end{array}$

which contradicts (3.3). This completes the proof.â€ƒâ–¡

Corollary 3.2 Let f be a G-preinvex function on K. If there exists $\mathrm{Î±}âˆˆ\left(0,1\right)$ such that, for each pair $x,yâˆˆK$, ,

$f\left(y+\mathrm{Î±}\mathrm{Î·}\left(x,y\right)\right)<{G}^{âˆ’1}\left(\mathrm{Î±}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î±}\right)G\left(f\left(y\right)\right)\right),$

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âˆˆK$, , if there exists $\mathrm{Î±}âˆˆ\left(0,1\right)$ such that

$f\left(y+\mathrm{Î±}\mathrm{Î·}\left(x,y\right)\right)<\mathrm{Î±}f\left(x\right)+\left(1âˆ’\mathrm{Î±}\right)f\left(y\right),$

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 $\mathrm{Î±}âˆˆ\left(0,1\right)$ such that, for each pair $x,yâˆˆK$, ,

$f\left(y+\mathrm{Î±}\mathrm{Î·}\left(x,y\right)\right)<\mathrm{Î±}f\left(x\right)+\left(1âˆ’\mathrm{Î±}\right)f\left(y\right),$

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 $\mathrm{Î±}âˆˆ\left(0,1\right)$ such that, for each pair $x,yâˆˆK$, ,

$f\left(y+\mathrm{Î±}\mathrm{Î·}\left(x,y\right)\right)<{G}^{âˆ’1}\left(\mathrm{Î±}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î±}\right)G\left(f\left(y\right)\right)\right).$
(3.9)

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\left(x\right)=f\left(y\right)$, implies that

$f\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)<{G}^{âˆ’1}\left(\mathrm{Î»}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î»}\right)G\left(f\left(y\right)\right)\right)=f\left(x\right),\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}\mathrm{Î»}âˆˆ\left(0,1\right).$

Let $\stackrel{Â¯}{x}=y+\mathrm{Î±}\mathrm{Î·}\left(x,y\right)$. From (3.9) and for each $x,yâˆˆK$, $f\left(x\right)=f\left(y\right)$, , we have

$f\left(\stackrel{Â¯}{x}\right)=f\left(y+\mathrm{Î±}\mathrm{Î·}\left(x,y\right)\right)<{G}^{âˆ’1}\left(\mathrm{Î±}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î±}\right)G\left(f\left(y\right)\right)\right)=f\left(x\right).$
(3.10)

For each $\mathrm{Î»}âˆˆ\left(0,1\right)$, if $\mathrm{Î»}<\mathrm{Î±}$, taking $\mathrm{Î¼}=\frac{\mathrm{Î±}âˆ’\mathrm{Î»}}{\mathrm{Î±}}$, then $\mathrm{Î¼}âˆˆ\left(0,1\right)$, and from Condition C, we have

$\begin{array}{rcl}\stackrel{Â¯}{x}+\mathrm{Î¼}\mathrm{Î·}\left(y,\stackrel{Â¯}{x}\right)& =& y+\mathrm{Î±}\mathrm{Î·}\left(x,y\right)+\frac{\mathrm{Î±}âˆ’\mathrm{Î»}}{\mathrm{Î±}}\mathrm{Î·}\left(y,y+\mathrm{Î·}\left(x,y\right)\right)\\ =& y+\mathrm{Î±}\mathrm{Î·}\left(x,y\right)+\left(\mathrm{Î»}âˆ’\mathrm{Î±}\right)\mathrm{Î·}\left(x,y\right)\\ =& y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right).\end{array}$

From the semistrict G-preinvexity of f and (3.10), it follows that

$\begin{array}{rcl}f\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)& =& f\left(\stackrel{Â¯}{x}+\mathrm{Î¼}\mathrm{Î·}\left(y,\stackrel{Â¯}{x}\right)\right)\\ <& {G}^{âˆ’1}\left(\mathrm{Î¼}G\left(f\left(y\right)\right)+\left(1âˆ’\mathrm{Î¼}\right)G\left(f\left(\stackrel{Â¯}{x}\right)\right)\right)\\ â‰¤& {G}^{âˆ’1}\left(\mathrm{Î¼}G\left(f\left(y\right)\right)+\left(1âˆ’\mathrm{Î¼}\right)G\left(f\left(x\right)\right)\right)\\ =& f\left(x\right).\end{array}$

If $\mathrm{Î»}>\mathrm{Î±}$, taking $\mathrm{Î½}=\frac{\mathrm{Î»}âˆ’\mathrm{Î±}}{1âˆ’\mathrm{Î±}}$, then $\mathrm{Î½}âˆˆ\left(0,1\right)$, and from Condition C, we have

$\begin{array}{rcl}\stackrel{Â¯}{x}+\mathrm{Î½}\mathrm{Î·}\left(x,\stackrel{Â¯}{x}\right)& =& y+\mathrm{Î±}\mathrm{Î·}\left(x,y\right)+\frac{\mathrm{Î»}âˆ’\mathrm{Î±}}{1âˆ’\mathrm{Î±}}\mathrm{Î·}\left(x,y+\mathrm{Î±}\mathrm{Î·}\left(x,y\right)\right)\\ =& y+\mathrm{Î±}\mathrm{Î·}\left(x,y\right)+\left(\mathrm{Î»}âˆ’\mathrm{Î±}\right)\mathrm{Î·}\left(x,y\right)\\ =& y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right).\end{array}$

From the semistrict G-preinvexity of f and (3.10), it follows that

$\begin{array}{rcl}f\left(y+\mathrm{Î»}\mathrm{Î·}\left(x,y\right)\right)& =& f\left(\stackrel{Â¯}{x}+\mathrm{Î½}\mathrm{Î·}\left(x,\stackrel{Â¯}{x}\right)\right)\\ <& {G}^{âˆ’1}\left(\mathrm{Î½}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î½}\right)G\left(f\left(\stackrel{Â¯}{x}\right)\right)\right)\\ â‰¤& {G}^{âˆ’1}\left(\mathrm{Î¼}G\left(f\left(x\right)\right)+\left(1âˆ’\mathrm{Î¼}\right)G\left(f\left(x\right)\right)\right)\\ =& f\left(x\right).\end{array}$

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.

## References

1. Yang XM, Li D: On properties of preinvex functions. J. Math. Anal. Appl. 2001, 256: 229â€“241. 10.1006/jmaa.2000.7310

2. Yang XM, Li D: Semistrictly preinvex functions. J. Math. Anal. Appl. 2001, 258: 287â€“308. 10.1006/jmaa.2000.7382

3. 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-8

4. Antczak T: G -Pre-invex functions in mathematical programming. J. Comput. Appl. Math. 2008, 217: 212â€“226. 10.1016/j.cam.2007.06.026

5. Antczak T: r -Pre-invexity and r -invexity in mathematical programming. Comput. Math. Appl. 2005, 50: 551â€“566. 10.1016/j.camwa.2005.01.024

6. 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.013

7. 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.006

8. Li TY, Huang M: On the characterization of D -preinvex functions. J. Inequal. Appl. 2012., 2012: Article ID 240

9. Pini R: Invexity and generalized convexity. Optimization 1991, 22: 513â€“525. 10.1080/02331939108843693

10. 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.544314

11. Agarwal RP, Ahmad I, Iqbal A, Ali S: Generalized invex set and preinvex functions on Riemannian manifolds. Taiwan. J. Math. 2012, 16: 1719â€“1732.

12. Peng JW, Yang XM: Two properties of strictly preinvex functions. Oper. Res. Trans. 2005,9(1):37â€“42. (in Chinese)

13. Yang XM: Semistrictly convex functions. Opsearch 1994, 31: 15â€“27.

## 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.

## Author information

Authors

### Corresponding author

Correspondence to Tai Yong Li.

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

The main theorems are proved by TYL. Both authors drafted the manuscript, read and approved the final manuscript.

## Rights and permissions

Reprints and permissions

Li, T.Y., Hu, G.H. On the strictly G-preinvex function. J Inequal Appl 2014, 210 (2014). https://doi.org/10.1186/1029-242X-2014-210

• Accepted:

• Published:

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