Research Article Semistrict Nonlinear Programming -Preinvexity and Optimality in

```Hindawi Publishing Corporation
Abstract and Applied Analysis
Volume 2013, Article ID 103864, 7 pages
http://dx.doi.org/10.1155/2013/103864
Research Article
Semistrict πΊ-Preinvexity and Optimality in
Nonlinear Programming
Z. Y. Peng,1,2 Z. Lin,1 and X. B. Li1
1
2
College of Science, Chongqing JiaoTong University, Chongqing 400074, China
Department of Mathematics, Inner Mongolia University, Hohhot 010021, China
Correspondence should be addressed to Z. Y. Peng; [email protected]
Received 26 October 2012; Accepted 10 April 2013
permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
A class of semistrictly πΊ-preinvex functions and optimality in nonlinear programming are further discussed. Firstly, the relationships between semistrictly πΊ-preinvex functions and πΊ-preinvex functions are further discussed. Then, two interesting properties
of semistrictly πΊ-preinvexity are given. Finally, two optimality results for nonlinear programming problems are obtained under the
assumption of semistrict πΊ-preinvexity. The obtained results are new and different from the corresponding ones in the literature.
Some examples are given to illustrate our results.
1. Introduction
It is well known that convexity and generalized convexity
have been playing a central role in mathematical programming, economics, engineering, and optimization theory. The
research convexity and generalized convexity are one of the
most important aspects in mathematical programming and
optimization theory in [1–4]. Various kinds of generalized
convexity have been introduced by many authors (see, e.g.,
[5–21] and the references therein). In 1981, Hanson [5] introduced the concept of invexity which is extension of differentiable convex functions and proved the sufficiency of KuhnTucker condition. Later, Weir and Mond [6] considered functions (not necessarily differentiable) for which there exists a
vector function π : ππ &times; ππ → ππ such that, for all π₯, π¦ ∈ ππ ,
π ∈ [0, 1], one hasthe following:
π (π¦ + ππ (π₯, π¦)) ≤ ππ (π₯) + (1 − π) π (π¦) ,
(1)
which has been named as preinvex functions with respect to
vector-valued function π. In 2001, Yang and Li [8] obtained
some properties of preinvex function. At the same time,
Yang and Li [9] introduced the concept of semistrictly preinvex functions and investigated the relationships between
semistrictly preinvex functions and preinvex functions. It is
worth mentioning that many properties and applications in
mathematical programming for invex functions and preinvex
functions are discussed by many authors (see, e.g., [6–11, 21]
and the references therein).
On the other hand, Avriel et al. [12] introduced a class
of πΊ-convex functions which is another generalization of
convex functions and obtained some relations with other
generalization of convex functions. In [13], Antczak introduced the concept of a class of πΊ-invex fuctions, which is
a generalization of πΊ-convex functions and invex functions.
Recently, Antczak [14] introduced a class of πΊ-preinvex
functions, which is a generalization of πΊ-invex [13], preinvex
functions [8] and derived some optimality results for constrained optimization problems under πΊ-preinvexity. Very
recently, Luo and Wu introduced a new class of functions called semistrictly πΊ-preinvex functions in [15], which
include semistrictly preinvex functions [9] as a special case.
They investigated the relationships between semistrictly πΊpreinvex functions and πΊ-preinvex functions and gave a criterion for semistrict πΊ-preinvexity. Moreover, they also proposed three open questions (just as they said: “an interesting
topic for our future research is to”: (1) investigate πΊ-preinvex
functions and semicontinuity; (2) explore some properties
of semistrictly πΊ-preinvex functions; (3) research into some
applications in optimization problems under semistrictly πΊpreinvexity [15]).
2
Abstract and Applied Analysis
However, as far as we know, there are few papers dealing
with the properties and applications of the semistrictly πΊpreinvex functions [16]. The questions above in [15] have not
been solved, and one condition in [15] is not mild in researching of relationships between πΊ-preinvexity and semistrict πΊpreinvexity. So, in this paper, we further discuss semistrictly
πΊ-preinvex functions. The rest of the paper is organized
as follows. Firstly, we investigate πΊ-preinvex functions and
semicontinuity and obtain a criterion of πΊ-preinvexity under
semicontinuity. Then, we give new relationships between πΊpreinvexity and semistrictly πΊ-preinvexity, which are different from the recent ones in the literature [15]. Finally, we
get two optimality results under semistrict πΊ-preinvexity for
nonlinear programming. The obtained results in this paper
improve and extend the existing ones in the literature (e.g.,
[8, 9, 11, 15, 16]).
Definition 6 (see [15]). Let πΎ be a nonempty invex (with
respect to π) subset ππ . A function π : πΎ → π is said to be
semistrictly πΊ-preinvex at π’ on πΎ if there exists a continuous
real-valued increasing function πΊ : πΌπ (πΎ) → π such that for
all π₯ ∈ πΎ (π(π₯) =ΜΈ π(π’)) and π ∈ (0, 1),
2. Preliminaries and Definitions
Remark 8. Every semistrictly preinvex function [8, 9] is
semistrictly πΊ-preinvex with respect to the same function π,
where πΊ : πΌπ (πΎ) → π is defined by πΊ(π₯) = π₯.
π
Throughout this paper, let πΎ be a nonempty subset of π . Let
π : πΎ → π be a real-valued function and π : πΎ &times; πΎ → ππ
a vector-valued function. Let πΌπ (πΎ) be the range of π, that is,
the image of πΎ under π.
Now we recall some definitions.
Definition 1 (see [5, 6]). A set πΎ is said to be invex if there
exists a vector-valued function π : πΎ &times; πΎ → ππ (π =ΜΈ 0) such
that
π₯, π¦ ∈ πΎ,
π ∈ [0, 1] σ³¨⇒ π¦ + ππ (π₯, π¦) ∈ πΎ.
(2)
Definition 2 (see [6, 8]). Let πΎ ⊆ ππ be an invex set with
respect to π : ππ &times;ππ → ππ and let π : πΎ → π be a mapping.
One says that π is preinvex if
π (π¦ + ππ (π₯, π¦))
≤ ππ (π₯) + (1 − π) π (π¦) ,
∀π₯, π¦ ∈ πΎ, π ∈ [0, 1] .
(3)
Remark 3. Any convex function is a preinvex function with
π(π₯, π¦) = π₯ − π¦.
π
Definition 4 (see [10]). Let πΎ ⊆ π be an invex set with respect
to π : ππ &times; ππ → ππ . Let π : πΎ → π. One says that π is
prequasi-invex if
π (π¦ + ππ (π₯, π¦))
≤ max {π (π₯) , π (π¦)} ,
∀π₯, π¦ ∈ πΎ, π ∈ [0, 1] .
(4)
Definition 5 (see [14]). Let πΎ be a nonempty invex (with
respect to π) subset ππ . A function π : πΎ → π is said to be
πΊ-preinvex at π’ on πΎ if there exists a continuous real-valued
increasing function πΊ : πΌπ (πΎ) → π such that for all π₯ ∈ πΎ
and π ∈ [0, 1] (π ∈ (0, 1)),
π (π’ + ππ (π₯, π’)) ≤ πΊ−1 (ππΊ (π (π₯)) + (1 − π) πΊ (π (π’))) .
(5)
If (5) is satisfied for any π’ ∈ πΎ then π is πΊ-preinvex on πΎ,
with respect to π.
π (π’ + ππ (π₯, π’)) &lt; πΊ−1 (ππΊ (π (π₯)) + (1 − π) πΊ (π (π’))) .
(6)
If (6) is satisfied for any π’ ∈ πΎ, then π is semistrictly πΊ-preinvex on πΎ with respect to π.
Remark 7. In order to define an analogous class of semistrictly
πΊ-preincave functions with respect to π, the direction of the
inequality in Definition 6 should be changed to the opposite
one.
In order to prove our main result, we need Condition C
as follows.
Condition C (see [9]). The vector-valued function π : π &times;
π → π is said to satisfy Condition C if for any π₯, π¦ ∈ π, and
π ∈ [0, 1],
π (π¦, π¦ + ππ (π₯, π¦)) = −ππ (π₯, π¦) ,
π (π₯, π¦ + ππ (π₯, π¦)) = (1 − π) π (π₯, π¦) .
(7)
Example 9. Let
π₯ − π¦,
{
{
{
{
{
{
π₯ − π¦,
{
{
{
π (π₯, π¦) = { 5
− − π¦,
{
{
{
2
{
{
{5
{
{
− π¦,
{2
if π₯ ≥ 0, π¦ ≥ 0,
if π₯ &lt; 0, π¦ &lt; 0,
if π₯ &gt; 0, π¦ ≤ 0,
(8)
if π₯ ≤ 0, π¦ &gt; 0.
It can be verified that π satisfies the Condition C.
3. Relationships with
Semistrictly πΊ-Preinvexity
In [15], Luo and Wu obtained a sufficient condition of πΊpreinvex functions under the condition of intermediate-point
πΊ-preinvexity. Now we investigate πΊ-preinvex functions and
semicontinuity without the condition of intermediate-point
πΊ-preinvexity.
Theorem 10. Let πΎ be a nonempty invex set with respect to
π, where π satisfies Condition C. Let π : πΎ → π be lower
semicontinuous and semistrictly πΊ-preinvex for the same π on
πΎ, and let π(π¦ + π(π₯, π¦)) ≤ π(π₯) (for all π₯ ∈ πΎ). Then π is
πΊ-preinvex function on πΎ.
Abstract and Applied Analysis
3
Proof. Let π₯, π¦ ∈ πΎ. From the assumption of π(π¦ + π(π₯, π¦)) ≤
π(π₯), when π = 0, 1, we can know that
π (π¦ + ππ (π₯, π¦)) ≤ πΊ−1 (ππΊ (π (π₯)) + (1 − π) πΊ (π (π¦))) .
(9)
According to (13) and the semistrictly πΊ-preinvexity of π, we
have the following:
π (π§πΌ )
= π (π§π½ + (1 −
Then, there are two cases to be considered.
(i) If π(π₯) =ΜΈ π(π¦), then by the semistrict πΊ-preinvexity of
π, we have the following:
π (π¦ + ππ (π₯, π¦))
&lt; πΊ−1 (ππΊ (π (π₯)) + (1 − π) πΊ (π (π¦))) ,
∀π ∈ (0, 1) .
(10)
(ii) If π(π₯) = π(π¦), to show that π is a πΊ-preinvex function, we need to show that
π (π¦ + ππ (π₯, π¦))
≤ πΊ−1 (ππΊ (π (π₯)) + (1 − π) πΊ (π (π¦))) = π (π₯) .
(11)
By contradiction, suppose that there exists an πΌ ∈ (0, 1) such
that
π (π¦ + πΌπ (π₯, π¦)) &gt; π (π₯) .
(12)
Let π§πΌ = π¦ + πΌπ(π₯, π¦). Since π is lower semicontinuous, there
exists π½ : πΌ &lt; π½ &lt; 1, such that
π (π§π½ ) = π (π¦ + π½π (π₯, π¦)) &gt; π (π₯) = π (π¦) .
(13)
From Condition C,
π§π½ = π§πΌ +
π½−πΌ
π (π₯, π§πΌ ) .
1−πΌ
(14)
By the semistrict πΊ-preinvexity of π and (12), we have the following:
π (π§π½ )
&lt; πΊ−1 [(1 −
πΌ
πΌ
) πΊ (π (π¦)) + πΊ (π (π§π½ ))]
π½
π½
&lt; πΊ−1 [(1 −
πΌ
πΌ
) πΊ (π (π§π½ )) + πΊ (π (π§π½ ))]
π½
π½
(17)
= π (π§π½ )
which contradicts (15). This completes the proof.
Remark 11. In Theorem 10, we investigate πΊ-preinvex functions and lower semicontinuity, and establish a new sufficient condition for πΊ-preinvexity without the condition of
intermediate-point πΊ-preinvexity. Therefore, we also answer
the open question (1) which proposed in [15] (“(1) investigate
πΊ-preinvex functions and semicontinuity” [15]).
Now, we give a new sufficient condition for semistrictly
πΊ-preinvexity.
Theorem 12. Let πΎ be a nonempty invex set with respect to π,
where π satisfies Condition C. Let π : πΎ → π be a πΊ-preinvex
function for the same π on πΎ. Suppose that for any π₯, π¦ ∈ πΎ
with π(π₯) =ΜΈ π(π¦), there exists an πΌ ∈ (0, 1) such that
π (π¦ + πΌπ (π₯, π¦)) &lt; πΊ−1 (πΌπΊ (π (π₯)) + (1 − πΌ) πΊ (π (π¦))) .
(18)
Then, π is semistrictly πΊ-preinvex function on πΎ.
Proof. For any π₯, π¦ ∈ πΎ with π(π₯) =ΜΈ π(π¦) and π ∈ (0, 1), by
assumption, we have the following:
π (π¦ + ππ (π₯, π¦)) ≤ πΊ−1 (ππΊ (π (π₯)) + (1 − π) πΊ (π (π¦))) .
(19)
(i) Let π ≤ πΌ. From Condition C, we can obtain the following:
π½−πΌ
= π (π§πΌ +
π (π₯, π§πΌ ))
1−πΌ
π¦+
π½−πΌ
π½−πΌ
&lt;πΊ [
πΊ (π (π₯)) + (1 −
) πΊ (π (π§πΌ ))]
1−πΌ
1−πΌ
−1
π½−πΌ
π½−πΌ
&lt;πΊ [
πΊ (π (π§πΌ )) + (1 −
) πΊ (π (π§πΌ ))]
1−πΌ
1−πΌ
−1
= π (π§πΌ ) .
π
π (π¦ + πΌπ (π₯, π¦) , π¦)
πΌ
=π¦+
π
π (π¦ + πΌπ (π₯, π¦) , π¦ + πΌπ (π₯, π¦) − πΌπ (π₯, π¦))
πΌ
=π¦+
π
π (π¦ + πΌπ (π₯, π¦) , π¦ + πΌπ (π₯, π¦)
πΌ
(15)
On the other hand, from Condition C, one can obtain the following:
π§πΌ = π§π½ + (1 −
πΌ
) π (π¦, π§π½ ))
π½
πΌ
) π (π¦, π§π½ ) .
π½
(16)
+π (π¦, π¦ + πΌπ (π₯, π¦)))
=π¦−
π
π (π¦, π¦ + πΌπ (π₯, π¦))
πΌ
= π¦ + ππ (π₯, π¦) .
(20)
4
Abstract and Applied Analysis
Using (18) and the πΊ-preinvexity of π, we have the following:
π (π¦ + ππ (π₯, π¦))
= π [π¦ +
+
π
π (π¦ + πΌπ (π₯, π¦) , π¦)]
πΌ
1−π
(πΌπΊ (π (π₯)) + (1 − πΌ) πΊ (π (π¦)))]
1−πΌ
(24)
(21) and (24) imply that π is a semistrictly πΊ-preinvex function on πΎ.
π
+ (1 − ) πΊ (π (π¦))]
πΌ
Remark 13. Theorem 12 extends and improves Theorem 1 in
[15]. In Theorem 1 of [15], a uniform πΌ ∈ (0, 1) is needed;
while in assumption (18) of Theorem 12, this condition has
been weakened, where a uniform πΌ ∈ (0, 1) is not necessary.
Moreover, our proof is also different from the corresponding
result of [15].
π
&lt; πΊ [ πΊ (πΊ−1 (πΌπΊ (π (π₯)) + (1 − πΌ) πΊ (π (π¦))))
πΌ
−1
π
) πΊ (π (π¦))]
πΌ
π
= πΊ−1 [ (πΌπΊ (π (π₯)) + (1 − πΌ) πΊ (π (π¦)))
πΌ
+ (1 −
1−π
) πΊ (π (π₯))
1−πΌ
= πΊ−1 ( ππΊ ( π (π₯)) + (1 − π) πΊ (π (π¦))) ,
π
≤ πΊ−1 [ πΊ ( π (π¦ + πΌπ (π₯, π¦))
πΌ
+ (1 −
= πΊ−1 [(1 −
The following example illustrates that assumption (18) in
Theorem 12 is essential.
π
) πΊ (π (π¦))]
πΌ
Example 14. Let
7
3
π (π₯) = ln ( |π₯| + ) ,
2
4
= πΊ−1 (ππΊ ( π (π₯)) + (1 − π) πΊ (π (π¦))) .
(21)
(ii) Let πΌ &lt; π; that is,
0&lt;
1−π
&lt; 1.
1−πΌ
(22)
From Condition C, we have the following:
π¦ + πΌπ (π₯, π¦) + (1 −
= π¦ + [πΌ + (1 −
1−π
) π (π₯, π¦ + πΌπ (π₯, π¦))
1−πΌ
1−π
) (1 − πΌ)] π (π₯, π¦)
1−πΌ
(23)
= π¦ + ππ (π₯, π¦) .
π₯ − π¦,
{
{
{
{π₯ − π¦,
π (π₯, π¦) = {
{
−π₯ − π¦,
{
{
{−π₯ − π¦,
if
if
if
if
π₯ ≥ 0,
π₯ ≤ 0,
π₯ &gt; 0,
π₯ &lt; 0,
π¦ ≥ 0;
π¦ ≤ 0;
π¦ &lt; 0;
π¦ &gt; 0.
It is obvious that π is a πΊ-preinvex function with respect to π,
where πΊ(π‘) = ππ‘ , πΎ = π.
However, from Definition 6, we can verify that π is
a semistrictly πΊ-preinvex function. The reason is that the
assumption (18) is violated. Indeed, there exist π₯ = 1/2, π¦ = 4
(with π(π₯) =ΜΈ π(π¦)), for any π ∈ (0, 1), we have the following:
π (π¦ + ππ (π₯, π¦))
7 σ΅¨σ΅¨ 7
3 σ΅¨σ΅¨
7
= π (4 − π) = ln ( σ΅¨σ΅¨σ΅¨σ΅¨4 − πσ΅¨σ΅¨σ΅¨σ΅¨ + )
2
2σ΅¨
2 σ΅¨ 4
According to (18) and the πΊ-preinvexity of π, we get the following:
= ln (
π (π¦ + ππ (π₯, π¦))
7
3
σ΅¨ σ΅¨
= πΊ−1 ( (π |π₯| + (1 − π) σ΅¨σ΅¨σ΅¨π¦σ΅¨σ΅¨σ΅¨) + )
2
4
= π [π¦ + πΌπ (π₯, π¦) + (1 −
≤ πΊ−1 [(1 −
+
1−π
) πΊ (π (π₯))
1−πΌ
1−π
πΊ (π (π¦ + πΌπ (π₯, π¦))) ]
1−πΌ
&lt; πΊ−1 [(1 −
+
1−π
) π (π₯, π¦ + πΌπ (π₯, π¦))]
1−πΌ
1−π
) πΊ (π (π₯))
1−πΌ
1−π
πΊ (πΊ−1 (πΌπΊ (π (π₯)) + (1 − πΌ) πΊ (π (π¦)))) ]
1−πΌ
(25)
31 21
− π)
4
4
(26)
= πΊ−1 (ππΊ (π (π₯)) + (1 − π) πΊ (π (π¦))) .
Therefore, (18) is essential.
Lemma 15 (see [16]). Let πΎ be a nonempty invex set with
respect to π. Suppose that π is a semistrictly πΊ1 -preinvex function with respect to π and πΊ2 is a continuous and strictly
increasing function on πΌπ (π). If π(π‘) = πΊ2 πΊ1−1 is convex on
the image under πΊ1 of the range of π, then π is also semistrictly
πΊ2 -preinvex function with respect to the same π on πΎ.
Theorem 16. Let K be an invex set with respect to π and π :
πΎ → π be a semistrictly πΊ-preinvex function on πΎ. If πΊ is
Abstract and Applied Analysis
5
concave on πΌπ (π), then π is a preinvex function with respect to
the same π on πΎ.
Proof. Let π¦ and π§ be two points in πΌπ (π). Because πΊ is concave on πΌπ (π), the following inequality
πΊ (ππ¦ + (1 − π) π§) ≥ ππΊ (π¦) + (1 − π) πΊ (π§)
(27)
holds for any π ∈ [0, 1]. Let πΊ(π¦) = π₯ and πΊ(π§) = π’. Then,
for each pair of points π₯ and π’ in image πΊ of πΌπ (π), that is,
πΊ−1 (π₯) = π¦ and πΊ−1 (π’) = π§, we have the following:
πΊ (ππΊ−1 (π₯) + (1 − π) πΊ−1 (π’))
≥ ππΊ (πΊ−1 (π₯)) + (1 − π) πΊ (πΊ−1 (π’))
(28)
= ππ₯ + (1 − π) π’.
It follows from (28) and the increasing property of πΊ−1 that
πΊ−1 πΊ (ππΊ−1 (π₯) + (1 − π) πΊ−1 (π’))
≥ πΊ−1 (ππΊ (πΊ−1 (π₯)) + (1 − π) πΊ (πΊ−1 (π’)))
(29)
(30)
This means that πΊ−1 is convex. Letting πΊ1 = πΊ, πΊ2 (π‘) = π‘, then
π(π‘) = πΊ2 πΊ1−1 (π‘) is convex. Hence, by virtue of Lemma 15, π is
a semistrictly πΊ2 -preinvex function with respect to π. Because
πΊ2 (π‘) = π‘ is identity function, π is a preinvex function with
respect to the same π on πΎ.
From Theorem 16 and Definitions 2-4, we can obtain the
following Corollary easily.
Corollary 17. Let K be an invex set with respect to π and
π : πΎ → π is a semistrictly πΊ-preinvex function on πΎ. If πΊ
is concave on πΌπ (π) then π be a prequasi-invex function with
respect to the same π on πΎ.
4. Semistrictly πΊ-Preinvexity and Optimality
In order to solve the open question (3) proposed in [15] (see,
the part of Introduction), in this section, we consider nonlinear programming problems with constraint and obtain two
optimality results under semistrict πΊ-preinvexity.
We consider the following nonlinear programming Problem (P) with inequality constraint:
(P)
(31)
where π : πΎ → π, ππ : πΎ → π, π ∈ π½, and πΎ is a nonempty
subset of ππ . We denote the set of all feasible solutions in (P)
by the following:
π· = {π₯ ∈ πΎ : ππ (π₯) ≤ 0, π ∈ π½} .
(33)
Let π§ (π§ =ΜΈ π₯∗ ) be an interior point of π·. By assumption, π· is
an invex set with respect to π. It follows from the definition
of invex set π· that there exists π¦ ∈ π· such that for some π ∈
(0, 1),
(34)
By assumption, π is semistrictly πΊ-preincave with respect
to π on π·. Then, we have the following:
&gt; πΊ−1 (ππΊ (π (π¦)) + (1 − π) πΊ (π (π₯∗ )))
ππΊ−1 (π₯) + (1 − π) πΊ−1 (π’) ≥ πΊ−1 (ππ₯ + (1 − π) π’) .
π ∈ π½ = 1, . . . , π,
π (π₯∗ ) &gt; π (π₯) .
π (π§) = π (π₯∗ + ππ (π¦, π₯∗ ))
Thus,
ππ (π₯) ≤ 0,
Proof. If problem (P) has no solution the theorem is trivially
true. Let π₯ be an optimal solution in problem (P). By assumption, π is a nonconstant on π·. Then, there exists a feasible
point π₯∗ ∈ π· such that
π§ = π₯∗ + ππ (π¦, π₯∗ ) .
= πΊ−1 (ππ₯ + (1 − π) π’) .
min π (π₯)
Theorem 18. Suppose the set of all feasible solutions π· of
problem (P) is an invex set with respect to π, and π· at
least contains two points with nonempty interior. Let π be a
nonconstant semistrictly πΊ-preincave function with respect to
π on π·. Then no interior of π· is an optimal solution of (P), or
equivalently, any optimal solution π₯ in problem (P), if exists,
must be a boundary point of π·.
(32)
&gt; πΊ−1 (ππΊ (π (π₯)) + (1 − π) πΊ (π (π₯))) = π (π₯) ,
(35)
where π§ is an interior point of π·.
From the inequality above, we conclude that no interior of
π· is an optimal solution of (P), that is, any optimal solution π₯
in problem (P), if exists, must be a boundary point of π·. This
completes the proof.
Theorem 19. Let π₯ ∈ π· be local optimal in problem (P). Moreover, we assume that π is semistrictly πΊ-preinvex with respect
to π at π₯ on π· and the constraint functions ππ , π ∈ π½, are πΊpreinvex with respect to π at π₯ on π·. Then, π₯ is a global optimal
solution in problem (P).
Proof. Assume that π₯ ∈ πΎ is a local optimal solution in (P).
Hence, there is an neighborhood ππ (π₯) around π₯ such that
π (π₯) ≤ π (π₯) ,
∀π₯ ∈ πΎ ∩ ππ (π₯) .
(36)
Suppose to the contrary, π₯ is not a global minimum in (P),
there exists an π₯∗ ∈ π· such that
π (π₯∗ ) &lt; π (π₯) .
(37)
By assumption, the constraint functions ππ , π ∈ π½, are πΊ-preinvex with respect to the same π at π₯ on π·. By using Definition 5
together with π₯∗ , π₯ ∈ π·, then for all π ∈ π½ and any π ∈ [0, 1],
we have the following:
ππ (π₯ + ππ (π₯∗ , π₯)) ≤ πΊπ−1 (ππΊπ (ππ (π₯∗ )) + (1 − π) πΊπ (ππ (π₯)))
≤ πΊπ−1 (ππΊπ (0) + (1 − π) πΊπ (0)) = 0.
(38)
6
Abstract and Applied Analysis
Thus, for all π ∈ π½ and any π ∈ [0, 1],
∗
π₯ + ππ (π₯ , π₯) ∈ π·.
(39)
By assumption, π is semistrictly πΊ-preinvex with respect
to the same π at π₯ on π·. Therefore, by Definition 6, we have
the following:
π (π₯ + ππ (π₯∗ , π₯))
&lt; πΊ−1 (ππΊ (π (π₯∗ )) + (1 − π) πΊ (π (π₯))) ,
∀π ∈ (0, 1) .
(40)
From (37) and (40), we have the following:
π (π₯ + ππ (π₯∗ , π₯))
&lt; πΊ−1 (ππΊ (π (π₯)) + (1 − π) πΊ (π (π₯)))
= π (π₯) ,
(41)
∀π ∈ (0, 1) .
For a sufficiently small π &gt; 0, it follows that
π₯ + ππ (π₯∗ , π₯) ∈ πΎ ∩ ππ (π₯) ,
(42)
which contradicts that π₯ is local optimal in problem (P). This
completes the proof.
Now, we give an example to illustrate Theorem 19.
Example 20. Let π : πΎ → π be defined as follows:
ln (5 − 4 |π₯|) , if |π₯| ≤ 1,
π (π₯) = {
0,
if |π₯| ≥ 1,
(43)
and let
ππ (π₯) = 3π₯ − 1,
{
3
{
{
− π¦,
{
{
4
{
{
{
{
{
{
{
1,
{
{
{
{
{
π₯ − π¦,
{
{
{
{
{
−6π₯ − π¦,
{
{
{
{
{
1 − π¦,
{
{
{
{
{
π₯ − π¦,
{
{
{
{
{
π¦ − π₯ − 2,
{
{
{
{
{
{
{
{π¦ − π₯,
π (π₯, π¦) ={
{
{
{
π¦ − π₯,
{
{
{
{
{
1
{
{
−5 − π¦,
{
{
{
2
{
{
{
{
3
{
{
−4π₯ + π¦,
{
{
2
{
{
{
{
3
{
{
3π₯ + π¦,
{
{
{
2
{
{
{
15
{
{
−π¦ − π₯2 − π₯ − ,
{
{
2
{
{
{
{
π¦
−
2π₯,
{
{
{
{π¦ − 2π₯ − 6,
π ∈ π½ = 1, . . . , π,
if π₯ &gt; 1, 0 ≤ π¦ &lt; 1,
or π₯ &lt; −1, −1 &lt; π¦ ≤ 0;
if π¦ &gt; 1, 0 ≤ π₯ &lt; 1;
if π¦ &lt; −1, −1 &lt; π₯ ≤ 0;
if 0 ≤ π₯ &lt; 1, 0 &lt; π¦ &lt; 1;
if 0 ≤ π₯ &lt; 1, π¦ = 1;
σ΅¨ σ΅¨
if |π₯| ≥ 1, σ΅¨σ΅¨σ΅¨π¦σ΅¨σ΅¨σ΅¨ ≥ 1;
if π₯ &gt; 1, −1 &lt; π¦ &lt; 0;
if π₯ &gt; 1, −1 &lt; π¦ &lt; 0,
or π¦ &gt; 1, −1 &lt; π₯ &lt; 0;
if π¦ &lt; −1, 0 &lt; π₯ &lt; 1;
if |π₯| &lt; 1, −1 ≤ π¦ ≤ 0;
if π₯ = 1, 0 &lt; π¦ &lt; 1;
if π₯ = −1, −1 &lt; π¦ &lt; 0;
if − 1 &lt; π₯ &lt; 0, 0 &lt; π¦ ≤ 1;
if π₯ = 1, −1 &lt; π¦ ≤ 0;
if π₯ = −1, 0 ≤ π¦ &lt; 1.
(44)
From Definitions 5-6, we can get that π is semistrictly πΊpreinvex with respect to π and the constraint functions ππ , π ∈
π½, are πΊ-preinvex with respect to π, respectively, where πΊ(π‘) =
ππ‘ , πΎ = π. Obviously, π₯ = −1 is a local optimal solution of (P).
Then, all the conditions in Theorem 19 are satisfied. By virtue
of Theorem 19, π₯ = −1 is a global optimal solution in problem
(P).
Acknowledgments
The authors would like to express their thanks to Professor
X. M. Yang and the anonymous referees for their valuable
comments and suggestions which helped to improve the
paper. This work was supported by the Natural Science
Foundation of China (nos. 11271389, 11201509, and 71271226),
the Natural Science Foundation Project of ChongQing (nos.
CSTC, 2012jjA00016, and 2011AC6104), and the Research
Grant of Chongqing Key Laboratory of Operations and
System Engineering.
References
[1] O. L. Mangasarian, Nonlinear Programming, McGraw-Hill, New
York, NY, USA, 1969.
[2] M. S. Bazaraa, H. D. Sherali, and C. M. Shetty, Nonlinear Programming: Theory and Algorithms, John Wiley &amp; Sons, New
York, NY, USA, 1979.
[3] S. Schaible and W. T. Ziemba, Generalized Concavity in Optimization and Economics, Academic Press Inc., London, UK,
1981.
[4] S. K. Mishra and G. Giorgi, Invexity and Optimization, vol. 88 of
Nonconvex Optimization and Its Applications, Springer, Berlin,
Germany, 2008.
[5] M. A. Hanson, “On sufficiency of the Kuhn-Tucker conditions,”
Journal of Mathematical Analysis and Applications, vol. 80, no.
2, pp. 545–550, 1981.
[6] T. Weir and B. Mond, “Pre-invex functions in multiple objective
optimization,” Journal of Mathematical Analysis and Applications, vol. 136, no. 1, pp. 29–38, 1988.
[7] T. Weir and V. Jeyakumar, “A class of nonconvex functions and
mathematical programming,” Bulletin of the Australian Mathematical Society, vol. 38, no. 2, pp. 177–189, 1988.
[8] X. M. Yang and D. Li, “On properties of preinvex functions,”
Journal of Mathematical Analysis and Applications, vol. 256, no.
1, pp. 229–241, 2001.
[9] X. M. Yang and D. Li, “Semistrictly preinvex functions,” Journal
of Mathematical Analysis and Applications, vol. 258, no. 1, pp.
287–308, 2001.
[10] X. M. Yang, X. Q. Yang, and K. L. Teo, “Characterizations and
applications of prequasi-invex functions,” Journal of Optimization Theory and Applications, vol. 110, no. 3, pp. 645–668, 2001.
[11] J. W. Peng and X. M. Yang, “Two properties of strictly preinvex
functions,” Operations Research Transactions, vol. 9, no. 1, pp.
37–42, 2005.
[12] M. Avriel, W. E. Diewert, S. Schaible, and I. Zang, Generalized
Concavity, Plenum Press, New York, NY, USA, 1975.
[13] T. Antczak, “On πΊ-invex multiobjective programming. I. Optimality,” Journal of Global Optimization, vol. 43, no. 1, pp. 97–109,
2009.
Abstract and Applied Analysis
[14] T. Antczak, “πΊ-pre-invex functions in mathematical programming,” Journal of Computational and Applied Mathematics, vol.
217, no. 1, pp. 212–226, 2008.
[15] H. Z. Luo and H. X. Wu, “On the relationships between
πΊ-preinvex functions and semistrictly πΊ-preinvex functions,”
Journal of Computational and Applied Mathematics, vol. 222, no.
2, pp. 372–380, 2008.
[16] Z. Y. Peng, “Semistrict G-preinvexity and its application,” Journal of Inequalities and Applications, vol. 2012, article 198, 2012.
[17] X. J. Long, “Optimality conditions and duality for nondifferentiable multiobjective fractional programming problems
with (πΆ, πΌ, π, π)-convexity,” Journal of Optimization Theory and
Applications, vol. 148, no. 1, pp. 197–208, 2011.
[18] X.-J. Long and N.-J. Huang, “Lipschitz π΅-preinvex functions
and nonsmooth multiobjective programming,” Pacific Journal
of Optimization, vol. 7, no. 1, pp. 97–107, 2011.
[19] S. K. Mishra, Topics in Nonconvex Optimization: Theory and
Applications, vol. 50 of Springer Optimization and Its Applications, Springer, New York, NY, USA, 2011.
[20] S. K. Mishra and N. G. Rueda, “Generalized invexity-type conditions in constrained optimization,” Journal of Systems Science
&amp; Complexity, vol. 24, no. 2, pp. 394–400, 2011.
[21] X. Liu and D. H. Yuan, “On semi-(π΅, πΊ)-preinvex functions,”
Abstract and Applied Analysis, vol. 2012, Article ID 530468, 13
pages, 2012.
7
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
http://www.hindawi.com
International Journal of
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
```