Characterizations of the solution sets of pseudoinvex programs and variational inequalities

Caiping Liu; Xinmin Yang; Heungwing Lee

doi:10.1186/1029-242X-2011-32

Research
Open Access

Characterizations of the solution sets of pseudoinvex programs and variational inequalities

Caiping Liu¹,
Xinmin Yang²Email author and
Heungwing Lee³

Journal of Inequalities and Applications20112011:32

https://doi.org/10.1186/1029-242X-2011-32

Received: 7 February 2011
Accepted: 17 August 2011
Published: 17 August 2011

Abstract

A new concept of nondifferentiable pseudoinvex functions is introduced. Based on the basic properties of this class of pseudoinvex functions, several new and simple characterizations of the solution sets for nondifferentiable pseudoinvex programs are given. Our results are extension and improvement of some results obtained by Mangasarian (Oper. Res. Lett., 7, 21-26, 1988), Jeyakumar and Yang (J. Optim. Theory Appl., 87, 747-755, 1995), Ansari et al. (Riv. Mat. Sci. Econ. Soc., 22, 31-39, 1999), Yang (J. Optim. Theory Appl., 140, 537-542, 2009). The concepts of Stampacchia-type variational-like inequalities and Minty-type variational-like inequalities, defined by upper Dini directional derivative, are introduced. The relationships between the variational-like inequalities and the nondifferentiable pseudoinvex optimization problems are established. And, the characterizations of the solution sets for the Stampacchia-type variational-like inequalities and Minty-type variational-like inequalities are derived.

Keywords

Solution sets
Pseudoinvex programs
Variational-like inequalities
Optimization problem
Dini directional derivatives

1 Introduction

Characterizations and properties of the solution sets are useful for understanding the behavior of solution methods for programs that have multiple optimal solutions. Mangasarian [1] presented several characterizations of the solution sets for differentiable convex programs and applied them to study monotone linear complementarity problems. Since then, various extensions of these solutions set characterizations to nondifferentiable convex programs, infinite-dimensional convex programs, and multi-objective convex programs have been given in [2–4]. Moreover, Jeyakumar and Yang [5] extended the results in [1] to differentiable pseudolinear programs; Ansari et al. [6] extended the results in [5] to differentiable η-pseudolinear programs; Yang [7] extended the results in [1, 5, 6] to differentiable pseudoinvex programs. In this paper, we extend the results in [1, 5–7] to the nondifferentiable pseudoinvex programs and give the characterizations of solution sets for nondifferentiable pseudoinvex programs.

The variational inequalities are closely related to optimization problems. Under certain conditions, a variational inequality and an optimization problem are equivalent. As Mancino and Stampacchia [8] pointed out: if Γ is an open and convex subset of Rⁿ and F : Γ → Rⁿ is the gradient of the differentiable convex function f : Γ → R, then the variational inequality (VI): find

\bar{x} \in Γ

, such that

{(y - \bar{x})}^{T} F (\bar{x}) \geq 0, \forall y \in Γ,

is equivalent to the optimization problem {min f(x), x ∈ Γ}. An important generalization of variational inequalities is variational-like inequalities (VLI): find

\bar{x} \in Γ

, such that

η {(y, \bar{x})}^{T} F (\bar{x}) \geq 0, \forall y \in Γ,

where η : Γ × Γ → Rⁿ . Parida et al. [9] studied the existence of the solution of (VLI) and established the relationships between the variational-like inequalities (VLI) and differentiable convex programs. But the objective function of an optimization problem is not always differentiable; therefore, the variational inequalities defined by the directional derivative are introduced. For example, Crespi et al. [10, 11] introduced the Minty variational inequalities defined by lower Dini derivative and established the relationships between Minty variational inequalities and optimization problems. Later, Ivanov [12] established the relationships between variational inequalities and nondifferentiable pseudoconvex optimization problems and applied them to obtain the characterizations of solution sets of Stampacchia variational inequalities and Minty variational inequalities. In this paper, we introduce Stampacchia-type variational-like inequalities and Minty-type variational-like inequalities defined by upper Dini directional derivative, and based on the relationships between variational-like inequalities and optimization problems, we give the characterizations of solution sets of these two classes of variational-like inequalities.

2 Preliminaries

In this paper, let Rⁿ be a real n-dimensional Euclidean space, Γ a nonempty subset of Rⁿ , f : Γ → R a real-valued function, and η : Γ × Γ → Rⁿ a vector-valued function. Firstly, we recall some notions that will be used throughout the paper.

Definition 2.1. (See [13]) A set Γ is said to be η-invex if, for any x, y ∈ Γ and any λ ∈ [0, 1],

y + λ η (x, y) \in Γ .

Definition 2.2. (See [13]) A function f : Γ → R is said to be preinvex with respect to η on the η-invex set Γ if, for any x, y ∈ Γ and any λ ∈ [0, 1],

f (y + λ η (x, y)) \leq λ f (x) + (1 - λ) f (y) .

Definition 2.3. (See [14]) A function f : Γ → R is said to be prequasiinvex with respect to η on the η-invex set Γ if, for any x, y ∈ Γ and any λ ∈ [0, 1],

f (y + λ η (x, y)) \leq m a x {f (x), f (y)} .

Definition 2.4. (See [15]) A function f : Γ → R is said to be semistrictly prequasiinvex with respect to η on the η-invex set Γ if, for any x, y ∈ Γ with f (x) ≠ f (y) and any λ ∈ [0, 1],

f (y + λ η (x, y)) < m a x {f (x), f (y)} .

Condition A (See [16]):

f (y + η (x, y)) \leq f (x), \forall x, y \in Γ .

Condition C (See [14]): Let Γ be an η-invex set. For any x, y ∈ Γ and any λ ∈ [0, 1],

\begin{gathered} η (y, y + λ η (x, y)) = - λ η (x, y), \\ η (x, y + λ η (x, y)) = (1 - λ) η (x, y) . \end{gathered}

Obviously, the map η(x, y) = x - y satisfies Conditions A and C.

Remark 2.1. (See [16]) If Condition C is satisfied, then

\begin{gathered} η (y + λ_{1} η (x, y), y + λ_{2} η (x, y)) = (λ_{1} - λ_{2}) η (x, y), \forall λ_{1}, λ_{2} \in (0, 1); \\ η (y + λ η (x, y), y) = λ η (x, y), \forall λ \in [0, 1] . \end{gathered}

Definition 2.5. The upper Dini directional derivative of f at x ∈ Γ in the direction d ∈ Rⁿ is defined by

f_{+}^{'} (x; d) = \underset{t \to 0^{+}}{\lim \sup} \frac{f (x + t d) - f (x)}{t},

which is an element of R ∪ {± ∞}.

Definition 2.6. (See [17]) A function h : Rⁿ → R is said to be:

(1)

positively homogeneous if ∀x ∈ Rⁿ , ∀r > 0, one has h(rx) = rh(x);
(2)

subodd if ∀x ∈ Rⁿ \{0}, one has h(x) + h(-x) ≥ 0.

It is clear that the upper Dini directional derivative is positively homogeneous with respect to the direction d ∈ Rⁿ .

Definition 2.7. The function f : Γ → R is called radially upper semicontinuous on the η-invex set Γ, if the function g(λ) := f (y + λη (x, y)) is upper semicontinuous on [0,1], for any x, y ∈ Γ.

Next, we give a mean value theorem.

Theorem 2.1. (Mean Value Theorem) Let f : Γ → R be radially upper semicontinuous on the η-invex set Γ, and let f satisfy Condition A. Then, for any x, y ∈ Γ, there exists a point u ∈ {y + λη (x, y) : λ ∈ [0, 1)}, such that

f (x) - f (y) \geq f_{+}^{'} (u; η (x, y)) .

Proof. Let g : [0, 1] → R be a function defined by

g (λ) : = f (y + λ η (x, y)) .

Then, for any λ ∈ [0, 1),

\begin{array}{l} g_{+}^{'} (λ; 1) = \underset{t \to 0^{+}}{\lim \sup} \frac{g (λ + t) - g (λ)}{t} \\ = \underset{t \to 0^{+}}{\lim \sup} \frac{f (y + (λ + t) η (x, y)) - f (y + λ η (x, y))}{t} \\ = f_{+}^{'} (y + λ η (x, y); η (x, y)) . \end{array}

(2.1)

Let p : [0, 1] → R be another function defined by

p (λ) : = g (λ) + λ (f (y) - f (y + η (x, y))) .

(2.2)

It follows from radially upper semicontinuity of f that p is upper semicontinuous on [0,1]. Note that p(0) = p(1) = f(y). Therefore, p attains maximum at some point

\bar{λ} \in [0, 1)

, which implies

p_{+}^{'} (\bar{λ}; 1) = \underset{t \to 0^{+}}{\lim \sup} \frac{p (\bar{λ} + t) - p (\bar{λ})}{t} \leq 0.

(2.3)

From (2.2) and (2.1), we have

p_{+}^{'} (\bar{λ}; 1) = g_{+}^{'} (\bar{λ}; 1) + f (y) - f (y + η (x, y)) = f_{+}^{'} (y + \bar{λ} η (x, y); η (x, y)) + f (y) - f (y + η (x, y)) .

(2.4)

From (2.3) and (2.4), we have

f (y + η (x, y)) - f (y) \geq f_{+}^{'} (y + \bar{λ} η (x, y); η (x, y)) .

Set

u = y + \bar{λ} η (x, y)

, then u ∈ {y + λη (x, y) : λ ∈ [0, 1)}. By Condition A, we obtain

f (x) - f (y) \geq f_{+}^{'} (u; η (x, y)) .

■

Remark 2.2. In Theorem 2.1, u ∈ {y + λη (x, y) : λ ∈ [0, 1)} means that there exists $\bar{λ} \in [0, 1)$ , such that $u = y + \bar{λ} η (x, y)$ .

3 Pseudoinvexity

In this section, we introduce the concept of pseudoinvexity defined by upper Dini directional derivative and give some properties for this class of pseudoinvexity.

Definition 3.1. (See [18]) The function f : Γ → R is said to be pseudoconvex on convex set Γ if

x, y \in Γ, f_{+}^{'} (y; x - y) \geq 0 \Rightarrow f (x) \geq f (y) .

The following concept of pseudoinvexity is a natural extension for pseudoconvexity.

Definition 3.2. The function f : Γ → R is said to be pseudoinvex with respect to η on the η-invex set Γ if

x, y \in Γ, f_{+}^{'} (y; η (x, y)) \geq 0 \Rightarrow f (x) \geq f (y) .

By Definitions 3.1 and 3.2, it is clear that every pseudoconvex function is pseudoinvex function with respect to η(x, y) = x - y, but the converse is not true.

Examples 3.1 and 3.2 will show that a pseudoinvex function with respect to a given mapping η : Γ × Γ → R ⁿ is not necessarily pseudoconvex function.

Example 3.1. Let

Γ = {(x_{1}, x_{2}) \in R^{2} : x_{2} \in (- \frac{π}{2}, \frac{π}{2})}

, and let f : Γ → R, η : Γ × Γ → R² be functions defined by

\begin{align} f (x_{1}, x_{2}) & = x_{1} + s i n x_{2}, \\ η (x, y) & = (x_{1} - y_{1}, \frac{s i n x_{2} - s i n y_{2}}{c o s y_{2}}), \end{align}

where x = (x₁, x₂) ∈ Γ, y = (y₁, y₂) ∈ Γ. Then, f is pseudoinvex with respect to the given mapping η. But it is not pseudoconvex, because there exist $x = (1 + \frac{\sqrt{2}}{4} π, - \frac{π}{4})$ , $y = (1, \frac{π}{4})$ , such that $f_{+}^{'} (y; x - y) = 0$ , but $f (x) = \frac{\sqrt{2}}{4} π + 1 - \frac{\sqrt{2}}{2} < 1 + \frac{\sqrt{2}}{2} = f (y)$ .

Example 3.2. Let f : R → R, η : R × R → R be defined by

f (x) = - | x |, x \in R;

η (x, y) = \{\begin{matrix} x - y, & x \geq 0, y \geq 0 & o r & x \leq 0, y \leq 0, \\ y, & x > 0, y < 0 & o r & x < 0, y > 0 . \end{matrix}

Then, f is pseudoinvex with respect to the given mapping η. But it is not pseudoconvex, because there exist x = -5, y = 4, such that $f_{+}^{'} (y; x - y) = 9 > 0$ , but f (x) = -5 < - 4 = f (y).

Definition 3.3. (See [19]) The bifunction h : Γ × Rⁿ → R is said to be pseudomonotone on if, for any x, y ∈ Γ,

h (x; y - x) \geq 0 \Rightarrow h (y; x - y) \leq 0 .

We extend this pseudomonotonicity to η-pseudomonotonicity.

Definition 3.4. Let Γ × Γ → Rⁿ be a given mapping. The bifunction h : Γ × Rⁿ → R ∪ {± ∞} is said to be η-pseudomonotone on Γ if, for any x, y ∈ Γ,

h (x; η (y, x)) \geq 0 \Rightarrow h (y; η (x, y)) \leq 0 .

The above implication is equivalent to the following implication:

h (y; η (x, y)) > 0 \Rightarrow h (x; η (y, x)) < 0 .

Next, we present some properties for pseudoinvexity.

Theorem 3.1. Let f : Γ → R be radially upper semicontinuous on the η-invex set Γ. Suppose that

(1)

f is a pseudoinvex function with respect to η on Γ;
(2)

f and η satisfy Conditions A and C, respectively;
(3)

$f_{+}^{'}$
is subodd in the second argument.

Then, f is a prequasiinvex function with respect to the same η on Γ.

Proof. Suppose, on the contrary, f is not prequasiinvex with respect to η on Γ. Then, ∃ x, y ∈ Γ,

\exists \bar{λ} \in (0, 1]

, such that

f (y + \bar{λ} η (x, y)) > m a x {f (x), f (y)} .

Without loss of generality, let f (y) ≥ f (x), then

f (y + \bar{λ} η (x, y)) > f (y) \geq f (x) .

(3.1)

From radially upper semicontinuity of f, (3.1) and Condition A, there exists λ* ∈ (0, 1) such that

f (y + λ^{*} η (x, y)) = \max_{λ \in [0, 1]} {f (y + λ η (x, y))},

i.e.,

f (y + λ η (x, y)) \leq f (y + λ^{*} η (x, y)), \forall λ \in [0, 1] .

(3.2)

Hence,

f_{+}^{'} (y + λ^{*} η (x, y); η (x, y)) = \underset{t \to 0^{+}}{lim sup} \frac{f (y + (λ^{*} + t) η (x, y)) - f (y + λ^{*} η (x, y))}{t} \leq 0.

(3.3)

Since η satisfies Condition C and

f_{+}^{'}

is subodd in the second argument, then (3.3) implies

f_{+}^{'} (y + λ^{*} η (x, y); η (y, y + λ^{*} η (x, y))) \geq 0 .

According to the pseudoinvexity of f, we have

f (y) \geq f (y + λ^{*} η (x, y)) .

(3.4)

From (3.1) and (3.2), we get

f (y) < f (y + λ^{*} η (x, y)),

which contradicts (3.4). Hence, f is a prequasiinvex function with respect to η on Γ. ■

Theorem 3.2. Let Γ be an η-invex subset of Rⁿ, and let η : Γ × Γ → Rⁿ be a given mapping. Suppose that

(1)

f : Γ → R is radially upper semicontinuous on Γ ;
(2)

f and η satisfy Conditions A and C, respectively;
(3)

$f_{+}^{'}$
is subodd in the second argument.

Then, f is pseudoinvex with respect to η on Γ if and only if $f_{+}^{'}$ is η-pseudomonotone on Γ.

Proof. Suppose that f is pseudoinvex with respect to η on Γ. Let x, y ∈ Γ,

f_{+}^{'} (x, η (y, x)) \geq 0 .

(3.5)

In order to show

f_{+}^{'}

is η-pseudomonotone on Γ, we need to show

f_{+}^{'} (y, η (x, y)) \leq 0

. Assume, on the contrary,

f_{+}^{'} (y; η (x, y)) > 0 .

(3.6)

According to the pseudoinvexity of f, from (3.5), we get f (y) ≥ f (x), from (3.6), we get f (x) ≥ f (y). Hence, f (x) = f (y). By Theorem 3.1, we know that f is also prequasiinvex with respect to the same η on Γ, which implies

f (y + λ η (x, y)) \leq f (x) = f (y), \forall λ \in [0, 1] .

Consequently,

f_{+}^{'} (y; η (x, y)) = \underset{t \to 0^{+}}{\lim \sup} \frac{f (y + t η (x, y)) - f (y)}{t} \leq 0,

which contradicts (3.6).

Conversely, suppose that

f_{+}^{'}

is η-pseudomonotone on Γ. Let x, y ∈ Γ,

f_{+}^{'} (y; η (x, y)) \geq 0 .

(3.7)

In order to show that f is a pseudoinvex function with respect to η on Γ, we need to show f (x) ≥ f (y). Assume, on the contrary,

f (x) < f (y) .

(3.8)

According to the mean value Theorem 2.1,

\exists \bar{λ} \in [0, 1)

,

u = y + \bar{λ} η (x, y)

such that

f (x) - f (y) \geq f_{+}^{'} (u; η (x, y)) .

(3.9)

From (3.8) and (3.9), we get

f_{+}^{'} (u; η (x, y)) < 0 .

(3.10)

Note that

u = y + \bar{λ} η (x, y)

, if

\bar{λ} = 0

, from (3.10), we get

f_{+}^{'} (y; η (x, y)) < 0

, which contradicts (3.7). Hence,

\bar{λ} \in (0, 1)

. Since

f_{+}^{'}

is subodd in the second argument, (3.10) implies

f_{+}^{'} (u; - η (x, y)) > 0 .

(3.11)

It follows from (3.11) and

\bar{λ} \in (0, 1)

that

f_{+}^{'} (u; - \bar{λ} η (x, y)) > 0

. By Condition C, we get

f_{+}^{'} (u; η (y, u)) > 0 .

From the η-pseudomonotonicity of $f_{+}^{'}$ , we get $f_{+}^{'} (y; η (u, y)) < 0$ . Again using the Condition C, we obtain $f_{+}^{'} (y; η (x, y)) < 0$ , which contradicts (3.7). ■

Theorem 3.3. Let f : Γ → R be radially upper semicontinuous on the η-invex set Γ. Suppose that

(1)

f is a pseudoinvex function with respect to η on Γ;
(2)

f and η satisfy Conditions A and C, respectively;
(3)

$f_{+}^{'}$
is subodd in the second argument.

Then, f is semistrictly prequasiinvex with respect to the same η on Γ.

Proof. Suppose, on the contrary, f is not a semistrictly prequasiinvex function with respect to η on Γ, then there exist points x, y ∈ Γ with f (x) ≠ f (y) and

\bar{λ} \in (0, 1)

such that

f (y + \bar{λ} η (x, y)) \geq m a x {f (x), f (y)} .

Without loss of generality, let f (y) > f (x), then

f (y + \bar{λ} η (x, y)) \geq f (y) > f (x) .

(3.12)

By the mean value Theorem 2.1, ∃λ* ∈ (0, 1),

u = y + \bar{λ} η (x, y) + λ^{*} η (y, y + \bar{λ} η (x, y))

such that

0 \geq f (y) - f (y + \bar{λ} η (x, y)) \geq f_{+}^{'} (u; η (y, y + \bar{λ} η (x, y))) .

(3.13)

According to Condition C and (3.13), we get

f_{+}^{'} (u; - \bar{λ} η (x, y)) \leq 0

. By the suboddity and positively homogeneity of

f_{+}^{'}

in the second argument, we have

f_{+}^{'} (u; η (x, y)) \geq 0 .

(3.14)

Note that

u = y + \bar{λ} (1 - λ^{*}) η (x, y)

, if λ* = 0, then

u = y + \bar{λ} η (x, y)

. From (3.13), we get

0 \geq f_{+}^{'} (y + \bar{λ} η (x, y); η (y, y + \bar{λ} η (x, y))) .

Since

f_{+}^{'}

is subodd and positively homogeneous in the second argument, from Condition C, we have

f_{+}^{'} (y + \bar{λ} η (x, y); η (x, y)) \geq 0 .

Consequently,

f_{+}^{'} (y + \bar{λ} η (x, y); η (x, y + \bar{λ} η (x, y)) \geq 0

. By the pseudoinvexity of f,

f (x) \geq f (y + \bar{λ} η (x, y)

, which contradicts (3.12). Therefore, λ* ≠ 0 and λ* ∈ (0, 1). From (3.14),

u = y + \bar{λ} (1 - λ^{*}) η (x, y)

, Remark 2.1 and λ* ∈ (0, 1), we get

f_{+}^{'} (y + \bar{λ} (1 - λ^{*}) η (x, y); η (y + \bar{λ} η (x, y), y + \bar{λ} (1 - λ^{*}) η (x, y))) \geq 0 .

By Theorem 3.2, we know

f_{+}^{'}

is η-pseudomonotone on Γ. Therefore,

f_{+}^{'} (y + \bar{λ} η (x, y); η (y + \bar{λ} (1 - λ^{*}) η (x, y), y + \bar{λ} η (x, y))) \leq 0 .

From Condition C, the suboddity and positively homogeneity of

f_{+}^{'}

in the second argument, we obtain

f_{+}^{'} (y + \bar{λ} η (x, y); η (x, y)) \geq 0 .

Hence, $f_{+}^{'} (y + \bar{λ} η (x, y); η (x, y + \bar{λ} η (x, y))) \geq 0$ . From the pseudoinvexity of f, we get $f (x) \geq f (y + \bar{λ} η (x, y)$ , which contradicts (3.12). ■

4 Characterizations of the solution sets of pseudoinvex programs

Consider the nonlinear optimization problem

(P) \begin{matrix} m i n & f (x) \\ s . t . & x \in Γ, \end{matrix}

where Γ is an η-invex subset of Rⁿ and f : Γ → R is a real-valued nondifferentiable pseudoinvex function on Γ. This class of optimization problems is called the class of pseudoinvex programs.

We assume that the solution set of (P), denoted by

S : = a r g m i n {f (x) | x \in Γ},

is nonempty. Next, we state our main results.

Theorem 4.1. Let f : Γ → R be radially upper semicontinuous on the η-invex set Γ. Suppose that

(1)

f is a pseudoinvex function with respect to η on Γ;
(2)

f and η satisfy Conditions A and C, respectively;
(3)

$f_{+}^{'}$
is subodd in the second argument.

Then, the solution set S of (P) is an η-invex set.

Proof. Let x, y ∈ S, then for any z ∈ Γ,

f (x) = f (y) \leq f (z) .

According to Theorem 3.1, we know that f is a prequasiinvex function with respect to η on Γ, which implies

f (y + λ η (x, y)) \leq m a x {f (x), f (y)} \leq f (z), \forall λ \in [0, 1], \forall z \in Γ .

Hence, y + λη(x, y) S, for any λ ∈ [0, 1]. ■

Lemma 4.1. Let f : Γ → R be radially upper semicontinuous on the η-invex set Γ. Suppose that

(1)

f is a pseudoinvex function with respect to η on Γ;
(2)

f and η satisfy Conditions A and C, respectively;
(3)

$f_{+}^{'}$
is subodd in the second argument.

Then, ∀ x, y ∈ S,

f_{+}^{'} (x, η (y, x)) = f_{+}^{'} (y, η (x, y)) = 0 .

Proof. Since x, y ∈ S, we obtain

f_{+}^{'} (x, η (y, x)) \geq 0,

(4.1)

f_{+}^{'} (y, η (x, y)) \geq 0 .

(4.2)

Based on the pseudoinvexity of f and Theorem 3.2, we know

f_{+}^{'}

is η-pseudomonotone. Hence, inequalities (4.1) and (4.2) imply, respectively,

f_{+}^{'} (y, η (x, y)) \leq 0,

(4.3)

f_{+}^{'} (x, η (y, x)) \leq 0 .

(4.4)

Thus, (4.1) and (4.4) imply $f_{+}^{'} (x, η (y, x)) = 0$ , (4.2) and (4.3) imply $f_{+}^{'} (y, η (x, y)) = 0$

■

Theorem 4.2. Let f : Γ → R be radially upper semicontinuous on the η-invex set Γ, and let

\bar{x} \in S

be a given point. Suppose that

(1)

f is a pseudoinvex function with respect to η on Γ;
(2)

f and η satisfy Conditions A and C, respectively;
(3)

$f_{+}^{'}$
is subodd in the second argument.

Then,

S = \tilde{S} = {\tilde{S}}_{1} = S^{*} = S_{1}^{*} = \tilde{S} \cap Ŝ,

where

\begin{align} \tilde{S} : & = {x \in Γ | {f^{'}}_{+} (x; η (\bar{x}, x)) = 0}, \\ {\tilde{S}}_{1} : & = {x \in Γ | {f^{'}}_{+} (x; η (\bar{x}, x)) \geq 0}, \\ S^{*} : & = {x \in Γ | {f^{'}}_{+} (\bar{x}; η (x, \bar{x})) = {f^{'}}_{+} (x; η (\bar{x}, x))}, \\ S_{1}^{*} : & = {x \in Γ | {f^{'}}_{+} (\bar{x}; η (x, \bar{x})) \leq {f^{'}}_{+} (x; η (\bar{x}, x))}, \\ Ŝ : & = {x \in Γ | {f^{'}}_{+} (\bar{x}; η (x, \bar{x})) = 0} . \end{align}

Proof. (i) It is obvious that

\tilde{S} \cap Ŝ \subseteq \tilde{S} \subseteq {\tilde{S}}_{1}

and

\tilde{S} \cap Ŝ \subseteq S^{*} \subseteq S_{1}^{*}

.

(ii)

We prove that $S \subseteq \tilde{S} \cap Ŝ$ . Let x ∈ S. From $x, \bar{x} \in S$ and Lemma 4.1, we get $f_{+}^{'} (\bar{x}; η (x, \bar{x})) = f_{+}^{'} (x; η (\bar{x}, x)) = 0$ . Hence, $x \in \tilde{S} \cap Ŝ$ .
(iii)

We prove that $S_{1}^{*} \subseteq {\tilde{S}}_{1}$ . If $x \in S_{1}^{*}$ , then $f_{+}^{'} (\bar{x}; η (x, \bar{x})) \leq f_{+}^{'} (x; η (\bar{x}, x))$ . Since $\bar{x} \in S$ , we get $f_{+}^{'} (\bar{x}; η (x, \bar{x})) \geq 0$ . Hence, $f_{+}^{'} (x; η (\bar{x}, x)) \geq 0$ . We obtain $x \in {\tilde{S}}_{1}$ .
(iv)

We prove that ${\tilde{S}}_{1} \subseteq S$ . If $x \in {\tilde{S}}_{1}$ , then $f_{+}^{'} (x; η (\bar{x}, x)) \geq 0$ . According to the pseudoinvex of f, we get $f (\bar{x}) \geq f (x)$ . Since $\bar{x} \in S$ , from the definition of S, we get x ∈ S. ■

Remark 4.1. If f is differentiable, then $f_{+}^{'} (x; η (y, x)) = ▿ f {(x)}^{T} η (y, x)$ . In this case, Lemma 4.1 recovers to Lemma 3.1 in[7], Theorem 4.2 recovers to Theorems 3.1 and 3.2 in[7]. So, the results in Lemma 4.1 and Theorem 4.2 are the extension of the results in[7].

If we take η(x, y) = x - y in Theorem 4.2, we obtain the following result.

Corollary 4.1. Let f : Γ → R be radially upper semicontinuous on convex set Γ, and let

\bar{x} \in S

S be a given point. Suppose that

(1)

f is a pseudoconvex function on Γ;
(2)

$f_{+}^{'}$
is subodd in the second argument.

Then,

S = S^{1} = S_{1}^{1} = S^{2} = S_{1}^{2} = S^{1} \cap S^{3},

where

\begin{align} S^{1} : & = {x \in Γ | {f^{'}}_{+} (x; \bar{x} - x) = 0}, \\ S_{1}^{1} : & = {x \in Γ | {f^{'}}_{+} (x; \bar{x} - x) \geq 0}, \\ S^{2} : & = {x \in Γ | {f^{'}}_{+} (\bar{x}; x - \bar{x}) = {f^{'}}_{+} (x; \bar{x} - x)}, \\ S_{1}^{2} : & = {x \in Γ | {f^{'}}_{+} (\bar{x}; x - \bar{x}) \leq {f^{'}}_{+} (x; \bar{x} - x)}, \\ S^{3} : & = {x \in Γ | {f^{'}}_{+} (\bar{x}; x - \bar{x}) = 0} . \end{align}

5 Variational-like inequality

Consider the following two classes of variational-like inequalities:

Stampacchia-type variational-like inequality (SVLI): find

\bar{x} \in Γ

such that

f_{+}^{'} (\bar{x}; η (x, \bar{x})) \geq 0, \forall x \in Γ .

Minty-type variational-like inequality (MVLI): find

\bar{x} \in Γ

such that

f_{+}^{'} (\bar{x}; η (\bar{x}, x)) \leq 0, \forall x \in Γ .

Next, we establish the relationships between (SVLI) and (P) and between (MVLI) and (P).

Theorem 5.1. Let be an Γ-invex subset of Rⁿ .

(i) If $\bar{x} \in Γ$ is a solution of (P), then $\bar{x}$ is a solution of (SVLI);

(ii) If $\bar{x} \in Γ$ is a solution of (SVLI), in addition, assume that f is a pseudoinvex function with respect to on Γ, then $\bar{x}$ is a solution of (P).

Proof. (i) Let $\bar{x} \in Γ$ be a solution of the (P), then for any x ∈ Γ, $f (x) \geq f (\bar{x})$ .

Since Γ is an η-invex set, for any λ ∈ (0, 1), we have

\bar{x} + λ η (x, \bar{x}) \in Γ

. Hence,

\frac{f (\bar{x} + λ η (x, \bar{x})) - f (\bar{x})}{λ} \geq 0, \forall λ \in (0, 1) .

Taking the limit sup as λ → 0⁺, we obtain

f_{+}^{'} (\bar{x}; η (x, \bar{x})) = \underset{t \to 0^{+}}{\lim \sup} \frac{f (\bar{x} + λ η (x, \bar{x})) - f (\bar{x})}{λ} \geq 0, \forall x \in Γ,

which implies

\bar{x}

is a solution of (SVLI).

(ii)

Let $\bar{x} \in Γ$ be a solution of the (SVLI), then
$f_{+}^{'} (\bar{x}; η (x, \bar{x})) \geq 0, \forall x \in Γ .$

According to the pseudoinvexity of f, we obtain

f (x) \geq f (\bar{x}), \forall x \in Γ,

which implies $\bar{x}$ is a solution of (P). ■

Theorem 5.2. Let f : Γ → R be a pseudoinvex function with respect to η on the η-invex set Γ, and let η satisfy Condition C.

(i) If $\bar{x} \in Γ$ is a solution of (P), in addition, assume that f is radially upper semicontinuous on Γ, f satisfies Condition A, $f_{+}^{'}$ is subodd in the second argument, then $\bar{x}$ is a solution of MVLI);

(ii) If $\bar{x} \in Γ$ is a solution of (MVLI), for any given x, y ∈ Γ, the mapping $λ \mapsto f_{+}^{'} (y + λ η (x, y); η (x, y))$ is continuous at 0⁺, then $\bar{x}$ is a solution of (P).

Proof. (i) Suppose that

\bar{x} \in Γ

is a solution of (P). By Theorem 5.1(i),

\bar{x}

is a solution of (SVLI), i.e.,

f_{+}^{'} (\bar{x}; η (x, \bar{x})) \geq 0, \forall x \in Γ .

From the pseudoinvexity of f and Theorem 3.2, we know

f_{+}^{'}

is η-pseudomonotone on Γ. Hence,

f_{+}^{'} (\bar{x}; η (\bar{x}, x)) \leq 0, \forall x \in Γ .

which implies

\bar{x}

is a solution of (MVLI).

(ii)

Suppose that $\bar{x} \in Γ$ is a solution of (MVLI), then
$f_{+}^{'} (y; η (\bar{x}, y)) \leq 0, \forall x \in Γ .$

Since Γ is an η-invex set, for any λ ∈ (0, 1), we have

\bar{x} + λ η (y, \bar{x}) \in Γ

. Hence,

f_{+}^{'} (\bar{x} + λ η (y, \bar{x}); η (\bar{x}, \bar{x} + λ η (y, \bar{x}))) \leq 0, \forall y \in Γ, \forall λ \in (0, 1) .

(5.1)

It follows form Condition C and (5.1) that

f_{+}^{'} (\bar{x} + λ η (y, \bar{x}); - λ η (y, \bar{x})) \leq 0

. According to the suboddity and the positively homogeneity of

f_{+}^{'}

in the second argument, we get

f_{+}^{'} (\bar{x} + λ η (y, \bar{x}); η (y, \bar{x}))) \geq 0.

Letting λ → 0⁺, by the continuity of the mapping $λ \mapsto f_{+}^{'} (y + λ η (x, y); η (x, y))$ , at 0⁺

we obtain

f_{+}^{'} (\bar{x}; η (y, \bar{x})) \geq 0, \forall y \in Γ,

which implies that $\bar{x}$ is a solution of (SVLI). From the pseudoinvexity of f and Theorem 5.1(ii), we obtain that $\bar{x}$ is a solution of (P). ■

From Theorems 4.2 and 5.1, we obtain the following theorem. Denote the solution set of (SVLI) by S_SVLI.

Theorem 5.3. Let f : Γ → R be radially upper semicontinuous on the η-invex set Γ, and let

\bar{x} \in S_{S V L I}

be a given point. Suppose that

(1)

f is a pseudoinvex function with respect to η on Γ;
(2)

f and η satisfy Conditions A and C, respectively;
(3)

$f_{+}^{'}$
is subodd in the second argument.

Then,

S_{S V L I} = \tilde{S} = {\tilde{S}}_{1} = S^{*} = S_{1}^{*} = \tilde{S} \cap Ŝ .

From Theorems 4.2 and 5.2, we obtain the following theorem. Denote the solution set of (MVLI) by S_MVLI.

Theorem 5.4. Let f : Γ → R be radially upper semicontinuous on the η-invex set Γ, and let

\bar{x} \in S_{M V L I}

be a given point. Suppose that

(1)

f is a pseudoinvex function with respect to η on Γ;
(2)

f and η satisfy Conditions A and C, respectively;
(3)

$f_{+}^{'}$
is subodd in the second argument;
(4)

for any given x, y ∈ Γ, the mapping $λ \mapsto f_{+}^{'} (y + λ η (x, y); η (x, y))$ is continuous at 0⁺

Then,

S_{M V L I} = \tilde{S} = {\tilde{S}}_{1} = S^{*} = S_{1}^{*} = \tilde{S} \cap Ŝ .

Declarations

Acknowledgements

The authors thank the referees for helpful comments. This work is supported by the National Natural Science Foundation of China (10831009), the Natural Science Foundation of China (CSTC,2011BA0030), the Research Foundation Grant of The Hong Kong Polytechnic University and the Education Committee project Research Foundation of Chongqing (China) (KJ110624).

Authors’ Affiliations

(1)

College of Economic Mathematics, Southwestern University of Finance and Economics, Chengdu, 611130, China

(2)

Department of Mathematics, Chongqing Normal University, Chongqing, 400047, China

(3)

Department of Applied Mathematics, The Hong Kong Polytechnic University, Kowloon, Hong Kong, China

References

Mangasarian OL: A simple characterization of solution sets of convex programs. Oper Res Lett 1988, 7: 21–26. 10.1016/0167-6377(88)90047-8MathSciNetView ArticleGoogle Scholar
Burke JV, Ferris MC: Characterization of solution sets of convex programs. Oper Res Lett 1991, 10: 57–60. 10.1016/0167-6377(91)90087-6MathSciNetView ArticleGoogle Scholar
Jeyakumar V: Infinite -dimensional convex programming with applications to constrained approximation. J Optim Theory Appl 1992, 75: 469–586.MathSciNetView ArticleGoogle Scholar
Jeyakumar V, Yang XQ: Convex composite multi-objective nonlinear programming. Math Program 1993, 59: 325–343. 10.1007/BF01581251MathSciNetView ArticleGoogle Scholar
Jeyakumar V, Yang XQ: On characterizing the solution sets of pseudolinear programs. J Optim Theory Appl 1995, 87: 747–755. 10.1007/BF02192142MathSciNetView ArticleGoogle Scholar
Ansari QH, Schaible S, Yao JC: η -pseudolinearity. Riv Mat Sci Econ Soc 1999, 22: 31–39.MathSciNetGoogle Scholar
Yang XM: On characterizing the solution sets of pseudoinvex extremum problems. J Optim Theory Appl 2009, 140: 537–542. 10.1007/s10957-008-9470-7MathSciNetView ArticleGoogle Scholar
Mancino OG, Stampacchia G: Convex programming and variational inequalities. J Optim Theory Appl 1972, 9: 3–23. 10.1007/BF00932801MathSciNetView ArticleGoogle Scholar
Parida J, Sahoo M, Kumar A: A variational-like inequality problem. B Aust Math Soc 1989, 39: 225–231. 10.1017/S0004972700002690MathSciNetView ArticleGoogle Scholar
Crespi GP, Ginchev I, Rocca M: Minty variational inequalities, increase along rays property and optimization. J Optim Theory Appl 2004, 123: 479–496. 10.1007/s10957-004-5719-yMathSciNetView ArticleGoogle Scholar
Crespi GP, Ginchev I, Rocca M: Existence of solutions and star-shapedness in minty variational inequalities. J Glob Optim 2005, 32: 485–494. 10.1007/s10898-003-2685-0MathSciNetView ArticleGoogle Scholar
Ivanov VI: Optimization and variational inequalities with pseudoconvex functions. J Optim Theory Appl 2010, 146: 602–616. 10.1007/s10957-010-9682-5MathSciNetView ArticleGoogle Scholar
Weir T, Mond B: Preinvex functions in multiple objective optimization. J Math Anal Appl 1988, 136: 29–38. 10.1016/0022-247X(88)90113-8MathSciNetView 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
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
Yang XM, Yang XQ, Teo KL: Generalized invexity and generalized invariant monotonicity. J Optim Theory Appl 2003, 117: 607–625. 10.1023/A:1023953823177MathSciNetView ArticleGoogle Scholar
Sach PH, Penot JP: Charaterizations of generalized convexities via generalized directional derivative. Numer Funct Anal Optim 1998, 19: 615–634. 10.1080/01630569808816849MathSciNetView ArticleGoogle Scholar
Diewert WE: Alternative charaterizations of six kinds of quasiconcavity in the nondifferentiable case with applications to nonsmooth programming. In Generalized Concavity in Optimization and Economics. Edited by: Schaible S, Ziemba WT. Academic Press, New York; 1981:51–93.Google Scholar
Komlosi S: Generalized monotonicity and generalized convexity. J Optim Theory Appl 1995, 84: 361–376. 10.1007/BF02192119MathSciNetView 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.