- Research
- Open Access

# On the characterization of *D*-preinvex functions

- Taiyong Li
^{1}Email author and - Min Huang
^{2}

**2012**:240

https://doi.org/10.1186/1029-242X-2012-240

© Li and Huang; licensee Springer 2012

**Received:**10 April 2012**Accepted:**4 October 2012**Published:**17 October 2012

## Abstract

In (J. Inequal. Appl. 2006:9532, 2006), Peng and Zhu discussed interrelations among *D*-preinvexity, *D*-semistrict preinvexity, and *D*-strict preinvexity for vector-valued functions. In this note, we show that the same results or even more general ones can be obtained under weaker assumptions. We also give a new characterization of *D*-preinvexity and *D*-semistrict preinvexity under mild conditions.

**MSC:**90C26.

## Keywords

*D*-preinvex functions*D*-semistrictly preinvex functions*D*-strictly preinvex functions- semicontinuity

## 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 Refs. [1–9] and the references therein). A significant generalization of convex functions is the introduction of preinvex functions, which is due to Ben and Mond [4]. 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. Very recently, Peng and Zhu [7] introduced the vector cases of strict preinvexity and semistrict preinvexity and established some relations between them. In this paper, we show that the same results or even a generalized version of their results can be obtained under weaker assumptions. Moreover, we give a new characterization of *D*-preinvexity and *D*-semistrict preinvexity under mild conditions. 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.

## 2 Preliminaries

*X*be a real topological vector space and

*Y*be a real locally convex vector space, let $K\subset X$ be a nonempty subset. Let $D\subset Y$ be a nonempty pointed closed convex cone and ${Y}^{\ast}$ be the dual space of

*Y*. The dual cone ${D}^{\ast}$ of cone

*D*is defined by

From the bipolar theorem, we have the following

**Lemma 2.1** *For all* $q\in {D}^{\ast}$, $\u3008q,d\u3009\ge 0$ *if and only if* $d\in D$.

Now we will describe some definitions of generalized convexity.

**Definition 2.1** ([3])

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

*η*iff

**Definition 2.2** ([7])

*D*-preinvex on

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

**Definition 2.3** ([7])

*D*-semistrictly preinvex on

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

**Definition 2.4** ([7])

*D*-strictly preinvex on

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

In [10], Jeyakumar *et al.* introduced the ∗-lower semicontinuity for a vector-valued function as follows.

**Definition 2.5** ([10])

The vector-valued function $f:K\to Y$ is ∗-lower semicontinuous if for every $q\in {D}^{\ast}$, $q(f)(\cdot )=\u3008q,f(\cdot )\u3009$ is lower semicontinuous on *K*.

In [7], Peng *et al.* introduced the ∗-upper semicontinuity for a vector-valued function as follows.

**Definition 2.6** ([7])

The vector-valued function $f:K\to Y$ is ∗-upper semicontinuous if for every $q\in {D}^{\ast}$, $q(f)(\cdot )=\u3008q,f(\cdot )\u3009$ is upper semicontinuous on *K*.

In order to prove our main result, we need Condition C introduced by Mohan and Neogy [11] as follows.

## 3 Properties of *D*-preinvex functions

- (i)
$K\subseteq X$ is a nonempty invex set with respect to $\eta :X\times X\to X$;

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

The following result was proved in Ref. [7]; see Theorem 2.2 in Ref. [7].

**Theorem 3.1**

*Let*

*K*

*be a nonempty open invex set in*

*X*

*with respect to*$\eta :X\times X\to X$.

*If*$f:K\to Y$

*is*∗-

*upper semicontinuous and satisfies*$f(y+\eta (x,y))\in f(x)-D$, $\mathrm{\forall}x,y\in K$,

*then*

*f*

*is a*

*D*-

*preinvex function for the same*

*η*

*on*

*K*

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

*such that*

Now we improve the above theorem as follows.

**Theorem 3.2**

*Let*$f:K\to Y$

*be*∗-

*upper semicontinuous and satisfy*$f(y+\eta (x,y))\in f(x)-D$, $\mathrm{\forall}x,y\in K$,

*then*

*f*

*is a*

*D*-

*preinvex function for the same*

*η*

*on*

*K*

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

*such that*

*Proof*The necessity follows directly from the definition of

*D*-preinvexity for the vector-valued function

*f*. We only need to prove the sufficiency. By Lemma 2.1 in Ref. [7], the set $A=\{\alpha \in [0,1]\mid f(y+\alpha \eta (x,y))\in \alpha f(x)+(1-\alpha )f(y)-D,\mathrm{\forall}x,y\in K\}$ is dense in the interval $[0,1]$. Then $\mathrm{\forall}\overline{\alpha}\in (0,1)$, $\mathrm{\exists}\{{\alpha}_{n}\}\subseteq (0,1)\cap A$ such that ${\alpha}_{n}<\overline{\alpha}$ for each

*n*and ${\alpha}_{n}\to \overline{\alpha}$, as $n\to \mathrm{\infty}$. Give $x,y\in K$, denote

*n*,

*K*is invex with respect to

*η*. From Condition C, we have

*f*on

*K*, for every $q\in {D}^{\ast}$, $q(f)(\cdot )$ is upper semicontinuous, it follows that for any $\u03f5>0$, there exists an $N>0$ such that the following holds:

*q*is linear, by Lemma 2.1, we have

Hence, *f* is a *D*-preinvex function for the same *η* on *K*, this completes the proof. □

**Remark 3.1** We see from Theorem 3.2 that the condition of openness in Theorem 3.1 can be deleted in order to obtain the same results.

Now, we state another result in Ref. [7]; see Theorem 3.3 in Ref. [7].

**Theorem 3.3**

*Let*

*f*

*be a*

*D*-

*preinvex function on*

*K*.

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

*such that*,

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

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

The above theorem can be improved as follows.

**Theorem 3.4**

*Let*

*f*

*be a*

*D*-

*preinvex function with respect to*$\eta :X\times X\to X$

*on*

*K*.

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

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

*such that*

*then* *f* *is a strictly* *D*-*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

*D*-preinvex, we have

*x*,

*z*and the pair

*z*,

*y*are both distinct under condition (3.5). There exist ${\beta}_{1},{\beta}_{2}\in (0,1)$ such that

*f*is

*D*-preinvex, we have

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

**Remark 3.2** In Theorem 3.3, a uniform $\alpha \in (0,1)$ is needed, while in Theorem 3.4 this condition has been weakened to great extent.

By Theorem 2.3 in Ref. [7] and Theorem 3.4 above, we have the following corollary.

**Corollary 3.1**

*Let*

*f*

*be a*∗-

*lower semicontinuous function on*

*K*

*and satisfy*$f(y+\eta (x,y))\in f(x)-D$, $\mathrm{\forall}x,y\in K$.

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

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

*such that*

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

**Corollary 3.2**

*Let*

*f*

*be a*∗-

*upper semicontinuous function on*

*K*

*and satisfy*$f(y+\eta (x,y))\in f(x)-D$, $\mathrm{\forall}x,y\in K$.

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

*such that*,

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

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

*Proof* This result is obtained by Theorems 3.2 and 3.4 above. □

**Theorem 3.5**

*Let*

*f*

*be a*∗-

*lower semicontinuous function on*

*K*

*and satisfy*$f(y+\eta (x,y))\in f(x)-D$, $\mathrm{\forall}x,y\in K$.

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

*such that*,

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

*implies*

*then* *f* *is both a* *D*-*preinvex function on* *K* *and a* *D*-*semistrictly preinvex function on* *K*.

*Proof*First, we prove that

*f*is a

*D*-preinvex function on

*K*. By Theorem 2.3 in Ref. [7], we need to show that for each $x,y\in K$, there exists $\lambda \in (0,1)$ such that

*D*is a closed convex pointed cone, by the strong separation theorem for a convex set, it follows that there exists ${k}^{\ast}\in {D}^{\ast}\mathrm{\setminus}\{0\}$ such that

which contradicts (3.18), hence *f* is a *D*-preinvex function on *K*. Next, the *D*-semistrict preinvexity of *f* on *K* follows from Theorem 3.9 of Ref. [7]. □

## 4 Conclusions

In this paper, we firstly obtain a property of *D*-preinvex functions. We then get a sufficient condition of the strictly *D*-preinvex functions in terms of intermediate-point *D*-preinvex functions. We finally obtain a sufficient condition of *D*-preinvex functions and *D*-semistrictly preinvex functions. Our results improve and extend the existing ones in the literature.

## Declarations

### Acknowledgements

The research of the authors is partially supported by the Foundation of Department of Education of Zhejiang Province under Grant Y201121204 and by the Natural Science Foundation of Zhejiang Province (Y7100544). 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 ArticleGoogle Scholar - Yang XM, Li D: Semistrictly preinvex functions.
*J. Math. Anal. Appl.*2001, 258: 287–308. 10.1006/jmaa.2000.7382MathSciNetView ArticleGoogle 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 ArticleGoogle Scholar - Ben-Israel A, Mond B: What is invexity.
*J. Aust. Math. Soc. Ser. B, Appl. Math*1986, 28: 1–9. 10.1017/S0334270000005142MathSciNetView ArticleGoogle 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 ArticleGoogle 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 ArticleGoogle Scholar - Peng JW, Zhu DL: On
*D*-preinvex-type functions.*J. Inequal. Appl.*2006., 2006: Article ID 93532Google Scholar - Yang XM, Yang XQ, Teo KL: Characterizations and applications of prequasi-invex functions.
*J. Optim. Theory Appl.*2001, 110: 645–668. 10.1023/A:1017544513305MathSciNetView ArticleGoogle Scholar - Pini R: Invexity and generalized convexity.
*Optimization*1991, 22: 513–525. 10.1080/02331939108843693MathSciNetView ArticleGoogle Scholar - Jeyakumar V, Oettli W, Natividad M: A solvability theorem for a class of quasiconvex mappings with applications to optimization.
*J. Math. Anal. Appl.*1993, 179(2):537–546. 10.1006/jmaa.1993.1368MathSciNetView ArticleGoogle Scholar - Mohan SR, Neogy SK: On invex sets and preinvex functions.
*J. Math. Anal. Appl.*1995, 189: 901–908. 10.1006/jmaa.1995.1057MathSciNetView ArticleGoogle 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/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.