1 Introduction

The problem to be considered in the present analysis is the following nondifferentiable minimax fractional problem:

Minimize  sup y Y f ( x , y ) + ( x T B x ) 1 / 2 g ( x , y ) ( x T C x ) 1 / 2 , subject to  h ( x ) 0 , x R n ,
(NFP)

where Y is a compact subset of R l , f(,), g(,): R n × R l R, and h(): R n R m are continuously differentiable functions. B and C are n×n positive semidefinite symmetric matrices. It is assumed that for each (x,y) in R n × R l , f(x,y)+ ( x T B x ) 1 2 0 and g(x,y) ( x T C x ) 1 2 >0.

In an earlier work, Schmittendorf [1] established necessary and sufficient optimality conditions for the following minimax programming problem:

where Y is a compact subset of R l , the functions f(,): R n × R l R, and h(): R n R m are in C 1 .

Tanimoto [2] applied the necessary conditions in [1] to formulate a dual problem and discussed the duality results, which were extended to fractional analogue of (P1) by several authors [312]. Liu [13] proposed the second-order duality theorems for (P1) under generalized second-order B-invex functions. Mishra and Rueda [14] and Ahmad, Husain and Sarita [15] discussed the second-order duality results for the following nondifferentiable minimax programming problems:

where Y is a compact subset of R l , f(,): R n × R l R, and h(): R n R m are twice differentiable functions. B is an n×n positive semidefinite symmetric matrix. Ahmad, Husain and Sharma [16] formulated a unified higher-order dual of (P2) and established weak, strong and strict converse duality theorems under higher-order (F,α,ρ,d)-Type I assumptions. Recently, Jayswal and Stancu-Minasian [17] obtained higher-order duality results for (P2).

In this paper, we formulate a higher-order dual of (P) and establish weak, strong and strict converse duality theorems under generalized higher-order η-convexity assumptions. More precisely, this paper is an extension of second-order duality results of Hu, Chen and Jian [18] to a class of higher-order duality and it also presents an answer to a question raised in [17].

2 Notation and preliminaries

Let X={x R n :h(x)0} denote the set of all feasible solutions of (NFP). Any point xX is called a feasible point of (NFP). For each (x,y) R n × R l , we define

ψ(x,y)= f ( x , y ) + ( x T B x ) 1 / 2 g ( x , y ) ( x T C x ) 1 / 2

such that for each (x,y)X×Y,

f(x,y)+ ( x T B x ) 1 / 2 0andg(x,y) ( x T C x ) 1 / 2 >0.

For each xX, we define

J(x)= { j J : h j ( x ) = 0 } ,

where

Since f and g are continuously differentiable and Y is compact in R l , it follows that for each x X, Y( x ), and for any y ¯ i Y( x ), we have a positive constant

λ =ψ ( x , y ¯ i ) = f ( x , y ¯ i ) + ( x T B x ) 1 / 2 g ( x , y ¯ i ) ( x T C x ) 1 / 2 .

Lemma 2.1 (Generalized Schwarz inequality)

Let A be a positive-semidefinite matrix of order n. Then, for all x,w R n ,

x T Aw ( x T A x ) 1 2 ( w T A w ) 1 2 .

The equality Ax=ξAw holds for some ξ0. Clearly, if ( w T A w ) 1 2 1, we have

x T Aw ( x T A x ) 1 2 .

We will use the following definitions.

Let ϕ: R n R and k: R n × R n R be differentiable functions.

Definition 2.1 [19]

A function ϕ is said to be higher-order η-convex if there exists a certain mapping η: R n × R n R n such that for all x,p R n , we have

ϕ(x)ϕ( x ¯ )k( x ¯ ,p)+ p T p k( x ¯ ,p)η ( x , x ¯ ) T p k( x ¯ ,p).

Definition 2.2 [19]

A function ϕ is said to be higher-order (strictly) η-pseudoconvex if there exists a certain mapping η: R n × R n R n such that for all x,p R n , we have

Definition 2.3 [19]

A function ϕ is said to be higher-order (strictly) η-quasiconvex if there exists a certain mapping η: R n × R n R n such that for all x,p R n , we have

3 Higher-order duality model

In this section, we formulate the higher-order dual for (NFP) and derive duality results.

max ( s , t , y ˜ ) S ( z ) sup ( z , μ , λ , v , w , p ) L ( s , t , y ˜ ) λ,
(NMD)

where L(s,t, y ˜ ) denotes the set of all (z,μ,λ,v,w,p) R n × R + m × R + × R n × R n × R n subject to

(3.1)
(3.2)
(3.3)
(3.4)

where J α M={1,2,,m}, α=0,1,2,,r with α = 0 r J α =M and J α Jβ= if αβ. If for a triplet (s,t, y ˜ )S(z), the set L(s,t, y ˜ )=, then we define the supremum over it to be ∞.

Remark 3.1 (i) Let J 0 =, F(z, y ¯ i ,p)= p T f(z, y ¯ i )+ 1 2 p T 2 f(z, y ¯ i )p, G(z, y ¯ i ,p)= p T g(z, y ¯ i )+ 1 2 p T 2 g(z, y ¯ i )p, i=1,2,,s and H j (z,p)= p T h j (z)+ 1 2 p T 2 h j (z)p, j=1,2,,m. Then (NMD) reduces to the second-order dual in [18, 20]. If, in addition, p=0, then we get the dual formulated by Ahmad, Gupta, Kailey and Agarwal [5].

(ii) If J 0 =, then the above dual becomes the dual formulated in [21].

Theorem 3.1 (Weak duality)

Let x and (z,μ,λ,s,t,v,w, y ˜ ,p) be feasible solutions of (NFP) and (NMD) respectively. Assume that

  1. (i)

    [ i = 1 s t i {f(, y ¯ i )+ ( ) T Bwλ(g(, y ¯ i ) ( ) T Cv)}+ j J 0 μ j h j ()] is higher-order η-pseudoconvex at z,

  2. (ii)

    j J α μ j h j (), α=1,2,,r, is higher-order η-quasiconvex at z.

Then

sup y Y f ( x , y ) + ( x t B x ) 1 / 2 g ( x , y ) ( x t C x ) 1 / 2 λ.

Proof Suppose to the contrary that

sup y Y f ( x , y ) + ( x T B x ) 1 / 2 g ( x , y ) ( x T C x ) 1 / 2 <λ.

Then we have

f(x, y ¯ i )+ ( x T B x ) 1 / 2 λ ( g ( x , y ¯ i ) ( x T C x ) 1 / 2 ) <0,for all  y ¯ i Y,i=1,2,,s.

It follows from t i 0, i=1,2,,s, that

t i [ f ( x , y ¯ i ) + ( x T B x ) 1 / 2 λ ( g ( x , y ¯ i ) ( x T C x ) 1 / 2 ) ] 0,i=1,2,,s,

with at least one strict inequality since t=( t 1 , t 2 ,, t s )0. Taking summation over i and using i = 1 s t i =1, we have

i = 1 s t i [ f ( x , y ¯ i ) + ( x T B x ) 1 / 2 λ ( g ( x , y ¯ i ) ( x T C x ) 1 / 2 ) ] <0.

It follows from the generalized Schwarz inequality and (3.4) that

i = 1 s t i [ f ( x , y ¯ i ) + x T B w λ ( g ( x , y ¯ i ) x T C v ) ] <0.
(3.5)

By the feasibility of x for (NFP)and μ0, we obtain

j J 0 μ j h j (x)0.
(3.6)

The above inequality with (3.5) gives

i = 1 s t i [ f ( x , y ¯ i ) + x T B w λ ( g ( x , y ¯ i ) x T C v ) ] + j J 0 μ j h j (x)<0.
(3.7)

Now, the feasibility of x for (NFP), μ0 and (3.3) yields

j J α μ j h j (x)0 j J α μ j [ h j ( z ) + H j ( z , p ) p T p H j ( z , p ) ] ,α=1,2,,r.
(3.8)

The inequality (3.8) and Hypothesis (ii) gives

η T (x,z) [ j J α μ j p H j ( z , p ) ] 0,α=1,2,,r.
(3.9)

From (3.1) and (3.9), we have

(3.10)

which by virtue of Hypothesis (i) yields

This contradicts (3.7). □

Theorem 3.2 (Strong duality)

Let x be an optimal solution of (NFP) and let h j ( x ), jJ( x ) be linearly independent. Assume that

Then there exist ( s , t , y ˜ )S and ( x , μ , λ , v , w , p )L( s , t , y ˜ ) such that ( x , μ , λ , v , w , s , t , y ˜ , p =0) is a feasible solution of (NMD) and the two objectives have the same values. Furthermore, if the assumptions of weak duality (Theorem  3.1) hold for all feasible solutions of (NFP) and (NMD), then ( x , μ , λ , v , w , s , t , y ˜ , p =0) is an optimal solution of (NMD).

Proof Since x is an optimal solution of (NFP) and h j ( x ), jJ( x ) are linearly independent, by the necessary conditions obtained in [13], there exist ( s , t , y ˜ )S and ( x , μ , λ , v , w , p )L( s , t , y ˜ ) such that ( x , μ , λ , v , w , s , t , y ˜ , p =0) is a feasible solution of (NMD) and the problems (NFP) and (NMD) have the same objectives values and

λ = f ( x , y ¯ i ) + ( x T B x ) 1 / 2 g ( x , y ¯ i ) ( x T C x ) 1 / 2 .

 □

Theorem 3.3 (Strict converse duality)

Let x and ( z , μ , λ , s , t , v , w , y ˜ , p ) be the optimal solutions of (NFP) and (NMD), respectively. Assume that

  1. (i)

    h j ( x ), jJ( x ) are linearly independent,

  2. (ii)

    [ i = 1 s t i {f(, y ¯ i )+ ( ) T B w λ (g(, y ¯ i ) ( ) T C v )}+ j J 0 μ j h j ()] is higher-order strictly η-pseudoconvex at z ,

  3. (iii)

    j J α μ j h j (), α=1,2,,r, is higher-order η-quasiconvex at z .

Then, z = x ; that is, z is an optimal solution of (NFP).

Proof We will assume that z x and reach a contradiction. From the strong duality theorem (Theorem 3.2), it follows that

sup y Y f ( x , y ˜ ) + ( x T B x ) 1 / 2 g ( x , y ˜ ) ( x T C x ) 1 / 2 = λ .
(3.11)

Now, proceeding as in Theorem 3.1, we get

i = 1 s t i [ f ( x , y ¯ i ) + x T B w λ ( g ( x , y ¯ i ) x T C v ) ] + j J 0 μ j h j ( x ) <0
(3.12)

and

(3.13)

By Hypothesis (ii), (3.2) and (3.13), we have

i = 1 s t i [ f ( x , y ¯ i ) + x T B w λ ( g ( x , y ¯ i ) x T C v ) ] + j J 0 μ j h j ( x ) >0,

which contradicts (3.12). Hence the results. □

4 Concluding remarks

The notion of higher-order invexity is adopted, which includes many other generalized convexity concepts in mathematical programming as special cases. If we take J 0 =, F(z, y ¯ i ,p)= p T f(z, y ¯ i )+ 1 2 p T 2 f(z, y ¯ i )p, G(z, y ¯ i ,p)= p T g(z, y ¯ i )+ 1 2 p T 2 g(z, y ¯ i )p, i=1,2,,s and H j (z,p)= p T h j (z)+ 1 2 p T 2 h j (z)p, j=1,2,,m in Theorems 3.1-3.3, then we get Theorems 3.1-3.3 in [18].

The presented results in this paper can be further extended to the following related class of nondifferentiable minimax fractional programming problems:

Min sup ν W Re [ ϕ ( ξ , ν ) + ( z H B z ) 1 / 2 ] Re [ ψ ( ξ , ν ) ( z H D z ) 1 / 2 ] subject to  g ( ξ ) S , ξ C 2 n ,
(CP)

where ξ=(z, z ¯ ), ν=(ω, ω ¯ ) for z C n , ω C l . ϕ(,): C 2 n × C 2 l C and ψ(,): C 2 n × C 2 l C are analytic with respect to ξ, W is a specified compact subset in C 2 l , S is a polyhedral cone in C m and g: C 2 n C m is analytic. Also B, D C n × n are positive semidefinite Hermitian matrices.