Skip to main content

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 η: R n × R n → R n , K is said to be an invex set with respect to η iff

∀x,y∈K,∀λ∈[0,1]⇒y+λη(x,y)∈K.

Definition 2.2 ([3])

Let K⊆ R n be an invex set with respect to η: R n × R n → R n . The function f:K→R is said to be preinvex on K iff, ∀x,y∈K, ∀λ∈[0,1],

f ( y + λ η ( x , y ) ) ≤λf(x)+(1−λ)f(y).

Definition 2.3 ([2])

Let K⊆ R n be an invex set with respect to η:K×K→ R n . The function f:K→R is said to be semistrictly preinvex on K iff, ∀x,y∈K, f(x)≠f(y), ∀λ∈(0,1),

f ( y + λ η ( x , y ) ) <λf(x)+(1−λ)f(y).

Definition 2.4 ([2])

Let K⊆ R n be an invex set with respect to η:K×K→ R n . The function f:K→R is said to be strictly preinvex on K iff, ∀x,y∈K, x≠y, ∀λ∈(0,1),

f ( y + λ η ( x , y ) ) <λf(x)+(1−λ)f(y).

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 η:K×K→ R n . We say that the function η satisfies Condition C iff, ∀x,y∈K, ∀λ∈[0,1],

η ( y , y + λ η ( x , y ) ) = − λ η ( x , y ) , η ( x , y + λ η ( x , y ) ) = ( 1 − λ ) η ( x , y ) .

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.

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 (K)→R and a vector-valued function η:K×K→ R n such that, ∀x,y∈K, ∀λ∈[0,1],

f ( y + λ η ( x , y ) ) ≤ G − 1 ( λ G ( f ( x ) ) + ( 1 − λ ) G ( f ( y ) ) ) .

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 r t , 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 (K)→R and a vector-valued function η:K×K→ R n such that, ∀x,y∈K, f(x)≠f(y), ∀λ∈(0,1),

f ( y + λ η ( x , y ) ) < G − 1 ( λ G ( f ( x ) ) + ( 1 − λ ) G ( f ( y ) ) ) .

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 (K)→R and a vector-valued function η:K×K→ R n such that, ∀x,y∈K, x≠y, ∀λ∈(0,1),

f ( y + λ η ( x , y ) ) < G − 1 ( λ G ( f ( x ) ) + ( 1 − λ ) G ( f ( y ) ) ) .

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 ( x ) = ln ( | x | + 1 ) , η ( x , y ) = { x − y if  x y < 0 , − x − y if  x y ≥ 0 .

Then f is a G-preinvex function on R with respect to η, where G(t)= e t . But if we let x=0, y=1, λ= 1 2 , we have

f(y)=f(1)=ln2,f(x)=f(0)=0

and

f ( y + λ η ( x , y ) ) =f ( 1 2 ) =ln ( 3 2 ) = G − 1 ( 3 2 ) = G − 1 ( λ G ( f ( x ) ) + ( 1 − λ ) G ( f ( y ) ) ) .

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 ( x ) = { 1 if  x = 0 , 0 if  x ≠ 0 , x ∈ [ − 6 , − 2 ] ∪ [ − 1 , 6 ] , η ( x , y ) = { x − y if  − 1 ≤ x ≤ 6 , − 1 ≤ y ≤ 6 , x − y if  − 6 ≤ x ≤ − 2 , − 6 ≤ y ≤ − 2 , − 7 − y if  − 1 ≤ x ≤ 6 , − 6 ≤ y ≤ − 2 , − y if  − 6 ≤ x ≤ − 2 , − 1 ≤ y ≤ 6 , y ≠ 0 , x 6 if  − 6 ≤ x ≤ − 2 , y = 0 .

Then it is not difficult to show that f is a semistrictly G-preinvex function on x∈[−6,−2]∪[−1,6] with respect to η, where G(t)=t. However, let x=−1≠y=1, λ= 1 2 , and we have

f ( y + λ η ( x , y ) ) =f(0)=1>0= G − 1 ( λ G ( f ( x ) ) + ( 1 − λ ) G ( f ( y ) ) ) .

Thus, f is not a strictly G-preinvex function with respect to the same η on x∈[−6,−2]∪[−1,6].

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

f ( x ) = 1 | x | + 1 , η ( x , y ) = { x − y if  x y < 0 , − x − y if  x y ≥ 0 .

Then it is not difficult to show that f is a strictly G-preinvex function on R with respect to η, where G(t)=lnt. But if we let x=−1, y=1, λ= 1 2 , we have

f(y)=f(1)=f(x)=f(−1)= 1 2

and

f ( y + λ η ( x , y ) ) =f(0)=1> 1 2 =λf(x)+(1−λ)f(y).

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 η: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 x ¯ ∈K is a local minimum to the problem of minimizing f(x) subject to x∈K; then x ¯ is a global one.

Proof Suppose that x ¯ ∈K is a local minimum to the problem of minimizing f(x) subject to x∈K. Then there is an ϵ-neighborhood N ϵ ( x ¯ ) around x ¯ such that

f( x ¯ )≤f(x),∀x∈K∩ N ϵ ( x ¯ ).
(3.1)

If x ¯ is not a global minimum of f over K, then there exists x ∗ ∈K such that

f ( x ∗ ) <f( x ¯ ).

By assumption, f:K→R is a semistrictly G-preinvex function with respect to η on K. Thus,

f ( x ¯ + λ η ( x ∗ , x ¯ ) ) < G − 1 ( λ G ( f ( x ∗ ) ) + ( 1 − λ ) G ( f ( x ¯ ) ) ) <f( x ¯ )

for all λ∈(0,1). For a sufficiently small λ>0, it follows that

x ¯ +λη ( x ∗ , x ¯ ) ∈K∩ N ϵ ( x ¯ ),

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 x ¯ ∈K is a local minimum to the problem of minimizing f(x) subject to x∈K, then 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, x≠y, if there exists α∈(0,1) such that

f ( y + α η ( x , y ) ) < G − 1 ( α G ( f ( x ) ) + ( 1 − α ) G ( f ( y ) ) ) ,
(3.2)

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

Proof By contradiction: suppose that there exist x,y∈K, x≠y, λ∈(0,1) such that

f ( y + λ η ( x , y ) ) ≥ G − 1 ( λ G ( f ( x ) ) + ( 1 − λ ) G ( f ( y ) ) ) .
(3.3)

Denote

z=y+λη(x,y).

Since f is G-preinvex, we have

f(z)≤ G − 1 ( λ G ( f ( x ) ) + ( 1 − λ ) G ( f ( y ) ) ) .
(3.4)

The above two inequalities imply that

f(z)= G − 1 ( λ G ( f ( x ) ) + ( 1 − λ ) G ( f ( y ) ) ) .
(3.5)

We note that the pair x, z and the pair z, y are both distinct under (3.2), there exists β 1 , β 2 ∈(0,1) such that

f ( z + β 1 η ( x , z ) ) < G − 1 ( β 1 G ( f ( x ) ) + ( 1 − β 1 ) G ( f ( z ) ) ) ,
(3.6)
f ( y + β 2 η ( z , y ) ) < G − 1 ( β 2 G ( f ( z ) ) + ( 1 − β 2 ) G ( f ( y ) ) ) .
(3.7)

Denote

x ¯ =z+ β 1 η(x,z), y ¯ =y+ β 2 η(z,y).

From Condition C

x ¯ = z + β 1 η ( x , z ) = y + λ η ( x , y ) + β 1 η ( x , y + λ η ( x , y ) ) x ¯ = y + λ η ( x , y ) + ( 1 − λ ) β 1 η ( x , y ) x ¯ = y + ( λ + ( 1 − λ ) β 1 ) η ( x , y ) , y ¯ = y + β 2 η ( z , y ) = y + β 2 η ( y + λ η ( x , y ) , y ) y ¯ = y + β 2 η ( y + λ η ( x , y ) , y + λ η ( x , y ) − λ η ( x , y ) ) y ¯ = y + β 2 η ( y + λ η ( x , y ) , y + λ η ( x , y ) + η ( y , y + λ η ( x , y ) ) ) y ¯ = y − β 2 η ( y , y + λ η ( x , y ) ) y ¯ = y + λ β 2 η ( x , y ) .

Let μ 1 =λ+(1−λ) β 1 , μ 2 =λ β 2 , μ= λ − μ 2 μ 1 − μ 2 . It is easy to verify that μ 1 , μ 2 ,μ∈(0,1). Again from Condition C,

y ¯ + μ η ( x ¯ , y ¯ ) = y + μ 2 η ( x , y ) + μ η ( y + μ 1 η ( x , y ) , y + μ 2 η ( x , y ) ) = y + μ 2 η ( x , y ) + μ η ( y + μ 1 η ( x , y ) , y + μ 1 η ( x , y ) + ( μ 2 − μ 1 ) η ( x , y ) ) = y + μ 2 η ( x , y ) + μ η ( y + μ 1 η ( x , y ) , y + μ 1 η ( x , y ) + ( μ 2 − μ 1 1 − μ 1 ) η ( x , y + μ 1 η ( x , y ) ) ) = y + μ 2 η ( x , y ) − ( μ ( μ 2 − μ 1 ) 1 − μ 1 ) η ( x , y + μ 1 η ( x , y ) ) = y + μ 2 η ( x , y ) − μ ( μ 2 − μ 1 ) η ( x , y ) = y + ( μ 2 − μ ( μ 2 − μ 1 ) ) η ( x , y ) = y + λ η ( x , y ) = z .

Since f is G-preinvex, we have

f(z)≤ G − 1 ( μ G ( f ( x ¯ ) ) + ( 1 − μ ) G ( f ( y ¯ ) ) ) .
(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

f ( z ) ≤ G − 1 ( μ G ( f ( x ¯ ) ) + ( 1 − μ ) G ( f ( y ¯ ) ) ) < G − 1 ( μ ( β 1 G ( f ( x ) ) + ( 1 − β 1 ) G ( f ( z ) ) ) + ( 1 − μ ) ( β 2 G ( f ( z ) ) + ( 1 − β 2 ) G ( f ( y ) ) ) ) = G − 1 ( μ β 1 G ( f ( x ) ) + ( μ ( 1 − β 1 ) + ( 1 − μ ) β 2 ) G ( f ( z ) ) + ( 1 − μ ) ( 1 − β 2 ) G ( f ( y ) ) ) = G − 1 ( ( μ β 1 + λ μ ( 1 − β 1 ) + λ β 2 ( 1 − μ ) ) G ( f ( x ) ) + ( ( 1 − μ ) ( 1 − β 2 ) + ( 1 − λ ) μ ( 1 − β 1 ) + ( 1 − λ ) β 2 ( 1 − μ ) ) G ( f ( y ) ) ) = G − 1 ( λ G ( f ( x ) ) + ( 1 − λ ) G ( f ( y ) ) ) ,

where

μ β 1 + λ μ ( 1 − β 1 ) + λ β 2 ( 1 − μ ) = μ ( λ + β 1 ( 1 − λ ) − λ β 2 ) + λ β 2 = μ ( λ + β 1 ( 1 − λ ) − μ 2 ) + μ 2 = μ ( μ 1 − μ 2 ) + μ 2 = λ , ( 1 − μ ) ( 1 − β 2 ) + ( 1 − λ ) μ ( 1 − β 1 ) + ( 1 − λ ) β 2 ( 1 − μ ) = ( 1 − μ ) ( 1 − μ 2 ) + μ ( 1 − μ 1 ) = 1 − μ 2 + μ ( μ 2 − μ 1 ) = 1 − λ ,

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

Corollary 3.2 Let f be a G-preinvex function on K. If there exists α∈(0,1) such that, for each pair x,y∈K, x≠y,

f ( y + α η ( x , y ) ) < G − 1 ( α G ( f ( x ) ) + ( 1 − α ) G ( f ( 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∈K, x≠y, if there exists α∈(0,1) such that

f ( y + α η ( x , y ) ) <αf(x)+(1−α)f(y),

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 α∈(0,1) such that, for each pair x,y∈K, x≠y,

f ( y + α η ( x , y ) ) <αf(x)+(1−α)f(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 α∈(0,1) such that, for each pair x,y∈K, x≠y,

f ( y + α η ( x , y ) ) < G − 1 ( α G ( f ( x ) ) + ( 1 − α ) G ( f ( y ) ) ) .
(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(x)=f(y), x≠y implies that

f ( y + λ η ( x , y ) ) < G − 1 ( λ G ( f ( x ) ) + ( 1 − λ ) G ( f ( y ) ) ) =f(x),∀λ∈(0,1).

Let x ¯ =y+αη(x,y). From (3.9) and for each x,y∈K, f(x)=f(y), x≠y, we have

f( x ¯ )=f ( y + α η ( x , y ) ) < G − 1 ( α G ( f ( x ) ) + ( 1 − α ) G ( f ( y ) ) ) =f(x).
(3.10)

For each λ∈(0,1), if λ<α, taking μ= α − λ α , then μ∈(0,1), and from Condition C, we have

x ¯ + μ η ( y , x ¯ ) = y + α η ( x , y ) + α − λ α η ( y , y + η ( x , y ) ) = y + α η ( x , y ) + ( λ − α ) η ( x , y ) = y + λ η ( x , y ) .

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

f ( y + λ η ( x , y ) ) = f ( x ¯ + μ η ( y , x ¯ ) ) < G − 1 ( μ G ( f ( y ) ) + ( 1 − μ ) G ( f ( x ¯ ) ) ) ≤ G − 1 ( μ G ( f ( y ) ) + ( 1 − μ ) G ( f ( x ) ) ) = f ( x ) .

If λ>α, taking ν= λ − α 1 − α , then ν∈(0,1), and from Condition C, we have

x ¯ + ν η ( x , x ¯ ) = y + α η ( x , y ) + λ − α 1 − α η ( x , y + α η ( x , y ) ) = y + α η ( x , y ) + ( λ − α ) η ( x , y ) = y + λ η ( x , y ) .

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

f ( y + λ η ( x , y ) ) = f ( x ¯ + ν η ( x , x ¯ ) ) < G − 1 ( ν G ( f ( x ) ) + ( 1 − ν ) G ( f ( x ¯ ) ) ) ≤ G − 1 ( μ G ( f ( x ) ) + ( 1 − μ ) G ( f ( x ) ) ) = f ( x ) .

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  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

    Article  MathSciNet  MATH  Google Scholar 

  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

    Article  MathSciNet  MATH  Google Scholar 

  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

    Article  MathSciNet  MATH  Google Scholar 

  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

    Article  MathSciNet  MATH  Google Scholar 

  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

    Article  MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  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

    Article  MathSciNet  MATH  Google Scholar 

  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.

    MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

  13. Yang XM: Semistrictly convex functions. Opsearch 1994, 31: 15–27.

    MathSciNet  MATH  Google Scholar 

Download references

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 and Affiliations

Authors

Corresponding author

Correspondence to Tai Yong Li.

Additional information

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

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

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

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords