banaras hindu university, varanasi file/2009.12.17_talk_yuan ze... · 12/11/2009 2 s. k. mishra,...

82
Generalized Convex Functions, Nonlinear Programming and Applications S. K. Mishra Department of Mathematics Banaras Hindu University, Varanasi India 12/11/2009 1 S. K. Mishra, Banaras Hindu University, Varanasi, India

Upload: others

Post on 24-Jul-2020

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Generalized Convex Functions, Nonlinear Programming and

Applications

S. K. Mishra

Department of Mathematics

Banaras Hindu University, Varanasi

India

12/11/2009 1

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 2: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Abstract

In this talk, the focus is on convex functions and its generalizations.

Some important properties of generalized convex functions are

given. The role of generalized convex functions in nonlinear

programming is shown. Finally, some applications in economics are

given.

12/11/2009 2

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 3: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Elementary notions on convex, quasiconvex and

pseudoconvex functions

Invex functions and some properties

Optimality and duality involving invex functions

Vector Variational Like Inequalities

Applications

12/11/2009 3

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 4: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Convex Sets

A nonempty set nRX is convex if, for any two points in ,X

the line segment joining the two points lies entirely within .X

For example:

A convex set

12/11/2009 4

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 5: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

A Nonconvex set

12/11/2009 5

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 6: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Analytically:

A set nRX is convex if, Xxx 2

,1

1 , 0, 1 .1 2

x x X

Convention:

(i) An empty set is convex.

(ii) A singleton set is also convex.

12/11/2009 6

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 7: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Definition:

A convex combination of finitely many points

,...,,2,1, pinRi

x is a point x of the form ,1

p

ii

xi

x where

....,,1,0,1

1 pii

p

ii

Some Properties of Convex Sets:

(i) The intersection of an arbitrary family of convex sets is a

convex set. (Easy to prove, try yourself)

(ii) A set nRX is convex iff every convex combination of

finitely many points of X is in .X

12/11/2009 7

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 8: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

For several other topological properties of convex sets:

Like:

Closure of a convex set is a convex set.

Interior of a convex set is a convex set.

For more details see the book:

Generalized Convexity and Optimization,

by Alberto Cambini and Laura Martein

Lecture Notes in Economics and Mathematical Systems

No. 616, Springer-Verlag, Berlin, 2009.

12/11/2009 8

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 9: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Convex Functions

A function f is convex provided that the line segment joining

any two points of its graph lies on or above the graph.

A function f defined on a convex set nRX is said to be convex

if for every Xyx ,

.1,0,11 tyftxtfyttxf

12/11/2009 9

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 10: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Examples:

xxxf )( is convex

2)( xxf is convex

xexf )( is convex

xexf )( is convex

12/11/2009 10

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 11: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem (Jensen’s Inequality):

A function f is convex on a convex set X iff for every

,,...,1

Xnxx

,11

n

ii

xfi

n

ii

xi

f

where

n

ini

ii1

.,...,1,0,1

12/11/2009 11

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 12: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Characterization of Convex Function

Convex functions can be characterized by their epigraph.

Epigraph of a Convex Function:

zxfXxzxfepi ,:, .

12/11/2009 12

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 13: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem: Let f be a function deined on a convex set nRX .

Then f is convex if and only if fepi is a convex set.

Proof: Suppose f is a convex function on a convex set X .

We have to prove that fepi is a convex set.

Let

1,

1zx and

2,

2zx fepi , this implies that

11zxf

and

22zxf

. For every 1,0 , we have

.2

11

,2

112

,2

11

,1

zzxxzxzx

12/11/2009 13

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 14: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Note that

,2

112

11

xfxfxxf

function)convexais(Since f

.2

11

zz

Thus, fepizzxx

21

1,

21

1 ,

that is,

fepizxzx

2,

21

1,

1 ,

that is, fepi is a convex set

12/11/2009 14

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 15: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Suppose fepi is a convex. We have to show that f is

convex. Let Xxx 2

,1

, since

1,

1xfx and .

2,

2fepixfx

We have

,1,0,2

,2

11

,1

fepixfxxfx

set.convexaisSince fepi That is,

.2

11

,2

11

fepixfxfxx

That is,

.ofdefinitionby,2

112

11

fepixfxfxxf

Thus, f is a convex function on .X

12/11/2009 15

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 16: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Definition:

Lower level set of f is:

.,: RxfXxX

Theorem:

Let f be a convex function defined on a convex set nRX .

Then X is a convex set for every .R

12/11/2009 16

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 17: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Proof:

The result is true if X is an empty set or a singleton set.

Suppose .2

,1 Xxx By definition of

X ,

1xf and

.2

xf

Since f is a convex function, we have

2

112

11

xfxfxxf

,1 Since

1xf and .

2

xf

,

That is,

Xxx2

11

. Thus, X is a convex set.

12/11/2009 17

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 18: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem:

Let pff ,...,1

be convex functions defined on a convex set

nRX . Define a new function as

p

ii

xi

fi

xf1

.0,

Then f is a convex function on .X

Theorem:

Let RXf : be a convex function defined on a convex set

nRX and RYg : be a non-decreasing convex function, with

.YXf Then the composite function xfgxh is a convex

function on .X

12/11/2009 18

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 19: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Minima of Convex Functions

To know, whether or not a local minimum is also global, is one

of the most important questions in optimization. The Presence

of convex function answers in positive to this question.

Theorem:

Let nRX be a convex set and let f be a convex function on

.X Then

(i) A local minimum point is also global;

(ii) The set X of all minimum points is a convex set.

12/11/2009 19

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 20: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Differentiable Convex Functions

A convex function is continuous in the interior of its domain but

not necessarily differentiable.

For example: The convex function xxf is continuous on R

but it is well known that it is not differentiable at .0x

12/11/2009 20

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 21: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem

Let f be differentiable function defined on a nonempty

open convex set .nRX Then f is convex if and only if

Xu

., XxufTuxufxf

12/11/2009 21

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 22: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem: Let nRX be a convex set and let f be a

differentiable convex function on X . Then, a critical point Xu

of f is a global minimum point.

Proof. Let Xu be a critical point for f , i.e. 0 uf . By

convexity of f , one has

., XxufTuxufxf

That is, .,0 Xxufxf

Therefore, u is global minimum solution.

12/11/2009 22

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 23: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

In 1949, an Italian Mathematician de Finetti introduced the

concept of quasiconvex function as an extension of convex

function.

A function f defined on a convex set nRX , is said to be

quasiconvex on X if

.10,,,,max1 Xuxufxfuxf

12/11/2009 23

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 24: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem: Let nRX be a convex set. If f is convex on X ,

then it is quasiconvex on X .

Proof:

ufxfuxf 11 (since f is convex)

ufxfufxf ,1,max

.,max ufxf □

12/11/2009 24

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 25: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

It is clear from the above theorem that the class of

quasiconvex functions is larger than the class of

convex functions. Unfortunately, some nice properties

of convex functions are lost in this new class of

functions.

12/11/2009 25

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 26: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

For example: The class of convex functions is closed under

addition, where as the sum of quasiconvex functions may not be

quasiconvex,

eg: 3xxf and xxg 3 both are quasiconvex on R , but the

sum xxxh 33 is not quasiconvex, as ,00,22 hh but

0,2max21 hhh .

12/11/2009 26

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 27: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

One good thing turn out in case of quasiconvex

functions:

A quasiconvex function can be characterized by

its lower level set.

12/11/2009 27

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 28: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Invex Functions: Definitions and Properties

Definition. Assume nRX is an open set. The differentiable function

RXf : is invex if there exists a vector function nRXX : such that

.,,, XyxyfTyxyfxf (1)

It is obvious that the particular case of (differentiable) convex function is

obtained from (1) by choosing yxyx , .

12/11/2009 28

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 29: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem. Let RXf : be differentiable. Then f is invex if and only if

every stationary point is a global minimizer.

Proof. Necessity: Let f be invex and assume Xx with .0xf Then

,,0 Xxxfxf so x is a global minimizer of f over .X

Sufficiency: Assume that every stationary point is a global minimizer.

If ,0 yf let .0, yx

If ,0 yf let

.,

yfTyf

yfyfxfyx

Then f is invex with respect to

.

12/11/2009 29

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 30: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

This is, of course, not the only possible choice of . Indeed, if

,0 yf then yx, may be chosen arbitrarily, and if ,0 yf

then

,0:,

yfTvv

yfTyf

yfyfxfyx a half-space in nR .

12/11/2009 30

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 31: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Example: Take 22, yxyxf on 2R . All

stationary points of f given by Ryxyx ,,,,0,0,

Are global minimum points, so f is invex. On

the otherhand, take 1,3,4,0 ba in 2R ,

90 bfaf ,

but ,03618,63,3 TbfTba

which is violating 0 bfTbabfaf

So, f is not quasiconvex.

12/11/2009 31

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 32: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

If f is invex on an open set nRX it is not true that the set

0, xfXxA is a convex set (as for convex functions). Let us

consider the following.

Example. Let ,2

12,

xyyxf defined on the open set

.0,:2,

yRxRyxS The set of all its stationary points coincides

with the set of all its minimum points (i.e., f on S ). This set is given by

0:,10:,1 yyyy , which is not a convex set in .2R

12/11/2009 32

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 33: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

We note that the class of functions differentiable on an open set X

and all invex with respect to the same ,, yx is closed under

addition on any domain contained in X , unlike the classes of

quasi-convex and pseudo-convex functions which do not retain

this property of convex functions.

12/11/2009 33

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 34: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

However, the class of functions invex on an open set ,X but not

necessarily with respect to the same ,, yx need not be closed

under addition. For instance (see Smart (1990), Mond and Smart

(1991a)), consider RRf :1

and RRf :2

defined by

,

25

11

xexf

25

12

xexf . Both

1f and

2f are invex, but

21ff has a stationary point at 0x which is not a global

minimizer.

12/11/2009 34

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 35: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem. Let RXmfff :,...,2

,1

all invex on the open set

nRX , with respect to the same function .:, nRXXyx Then:

(i) for each ,0, R the function ,,...,1, mii

f is invex with

respect to the same ;

(ii) the linear combination of ,,...,2

,1 mfff with nonnegative

coefficients is invex with respect to the same .

12/11/2009 35

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 36: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem. Let ,: RXf RXg : be invex. A common , with

respect to which both f and g are invex, exists if and only if for

all Xyx , either

(a) ygyf for any 0 or

(b) ygyf for some 0 and .ygxgyfxf

12/11/2009 36

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 37: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem. Let ,: RXf RXg : be invex. A common , with

respect to which both f and g are invex, exists if and only if

gf is invex for all 0 .

12/11/2009 37

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 38: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem

Let RR: be a monotone increasing differentiable convex function. If

f is invex on X with respect to , then the composite function f is

invex with respect to the same .

Proof

By the fact that ,,,' Rhxhxxhx we get

yxyfyfyfyxyfyfxf ,',

., yxyfyf

12/11/2009 38

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 39: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Invexity and Optimization Series: Nonconvex Optimization and Its Applications , Vol. 88 Mishra, Shashi Kant, Giorgi, Giorgio 2008, X, 266 p., Hardcover ISBN: 978-3-540-78561-3 Online version available

12/11/2009 39

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 40: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Generalized Convexity and Vector Optimization

Series: Nonconvex Optimization and Its Applications ,

Vol. 90

Mishra, Shashi Kant, Wang, Shou-Yang, Lai, Kin Keung

2009, X, 294 p., Hardcover

ISBN: 978-3-540-85670-2

Online version available

12/11/2009 40

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 41: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Invexity in necessary and sufficient optimality conditions

Let us consider the following nonlinear programming problem:

(P)

,0,:

minimize

xgCxxK

Kx

xf

where RCf : and mRCg : are (Frechet) differentiable on

the open set nRC .

12/11/2009 41

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 42: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Note:

If we have a problem with equality constraints, of the type

pRChxh :,0 , we could re-write these constraints as

,0xh 0 xh .

12/11/2009 42

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 43: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

It is well known that under certain regularity assumptions on the

vector function g (“constraint qualifications”) the Karush-Kuhn-

Tucker conditions are necessary for optimality in (P), that is, if *x

is a solution of (P) or even if it is a point of local minimum of f

on ,K then there exists a vector mR* such that

0***

xg

Txf (1)

0**

xg

T (2)

0* T . (3)

12/11/2009 43

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 44: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Karush-Kuhn-Tucker type Sufficient Optimality Conditions

If ,*,*

x with ,* Kx ,* mR satisfies (1)-(3), then *x is

optimal for (P), provided one of the following assumptions is

imposed:

1. (Kuhn-Tucker (1951)) xf convex and xi

g convex,

.,...,1 mi

2. (Mangasarian (1965, 1969)) xf pseudoconvex and

xi

g quasiconvex, with

0*: x

igiIi the set of the

active or effective constraints at .* Kx 12/11/2009 44

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 45: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

3. (Mond (1983) xf pseudoconvex and xgT* quasiconvex.

4. (Mond (1983)) xgT

xf * pseudoconvex.

Hanson (1981) observed that the (generalized) convexity

requirements appearing in the (1)-(4) above can be further

weakened as in the related proofs of the sufficiency for problem

(P) there is no explicit dependence on the linear term ux ,

appearing in the definition of differentiable convex,

pseudoconvex and quasiconvex functions.

12/11/2009 45

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 46: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

That is, if Kx * and

*,* x satisfies (1)-(3), then *x solves (P) if any

one of the following conditions is satisfied:

(1) xf and every xi

g , ,Ii are invex with respect to the same .

(2) xf is pseudoinvex and every xi

g , ,Ii is quasiinvex with respect

to the same .

(3) xf is pseudoinvex and xgT* is quasiinvex with respect to the

same .

(4) The Lagrangian function xgT

xf * is pseudoinvex with respect

to an arbitrary .

12/11/2009 46

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 47: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

We give only the proof for (1) (see, Hanson (1981)):

For any Cx satisfying 0xg , we have

**,* xf

Txxxfxf

xg

TTxx **,

** xgxg

T

.0

*

xgT

So *x is minimal.

12/11/2009 47

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 48: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Jeyakumar (1985) gives the following result that weakens the

sufficient optimality conditions for problem (P) by means of

invex functions:

Theorem

Let Kx * and let

*,* x satisfy (1)-(3); let xf be

0 pseudoinvex at *x and let every x

ig , ,Ii be

i quasiinvex

at *x , with respect to the same functions and . Let

Ii

ii.0*

0 Then *x solves (P).

12/11/2009 48

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 49: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Duality

Hanson (1981) demonstrated that invexity of f and ,,...,1, mii

g

with respect to a common was also sufficient for weak and

strong duality to hold between the primal problem (P) and its

Wolfe dual (Wolfe (1961)):

(WD) ugTufu

,

Maximize

subject to 0

ugTuf

.0

12/11/2009 49

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 50: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem (Weak duality):

Let x be feasible for (P) and ,u be feasible for (WD) and let

f and ,,...,1, mii

g are all invex with respect to a common .

Then, we have

.ugTufxf

12/11/2009 50

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 51: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem (Strong Duality):

Under the conditions of a suitable constraint qualification for (P),

if 0x is minimal in the primal problem (P), then

0,0 x is

maximal in the dual problem (WD), where 0 is given by the

Kuhn-Tucker conditions and f and ,,...,1, mii

g are all invex

with respect to a common . Moreover, the extremal values are

equal for the two problems.

12/11/2009 51

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 52: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Proof. Let ,u be a feasible for (WD). Then

ugTufxgTxf 000

ugTufxf

0

ugTufT

ux

,0

ugTugTT

ux

,0

.00

xgT

So

0,0 x is maximal in the dual problem, and since

,000

xgT the extreme of the two problems are equal.

12/11/2009 52

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 53: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Definition. Let RCf : be invex with respect to some

function nRCC : ; f is said to be strictly invex at x if

.,,, xxCxxfTxxxfxf

Let RCf : be pseudoinvex with respect to some function

nRCC : ; f is said to be strictly pseudoinvex at x if

.,,0, xxCxxfxfxfTxx

12/11/2009 53

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 54: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem (Strict Converse Duality):

Assume f and ,,...,1, mii

g are invex with respect to a common

kernel function . Let *x be optimal for (P) and

,x be optimal

for (WD). If a constraint qualification is satisfied for (P) and f is

strictly invex for (P) at x , then xx * .

12/11/2009 54

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 55: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

The original version of the Mond-Weir dual to (P) is defined as

follows:

(MWD) ufMaximize

subject to 0 ugTuf

.0,0 ugT

12/11/2009 55

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 56: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

General Mond-Weir dual is obtained by partitioning the set

mM ,...,1 into 1r subsets ,1,,...,1

,0

mrrIII such that

,, II and

.0

MIr

12/11/2009 56

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 57: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

The General Mond-Weir dual problem is now (Mond and Weir

(1981)):

(GMWD) ui

gIi

iuf

0

Maximize (4)

subject to 0

ugTuf (5)

0 (6)

.,...,1,0 rui

gIi

i

(7)

12/11/2009 57

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 58: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Remark:

We remark that if 1

and,1,0

IrMI , then (GMWD) reduces

to the Wolfe dual. If ,1

and,1,0

MIrI then (GMWD) yields

the Mond-Weir dual (MWD).

12/11/2009 58

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 59: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem (Weak duality):

If

0Ii

ig

if is pseudoinvex with respect to some

nRCC : and

Ii

ig

i is quasiinvex with respect to the

same nRCC : , ,,...,1 r for any ,mR then

.sup(GMWD)(P)inf

12/11/2009 59

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 60: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem (Strong duality):

Let *x be optimal for (P), and assume the invexity assumptions

of Weak duality theorem are satisfied. Assume also that a suitable

constraint qualification is satisfied for (P). Then there exists

mR* such that

*,* x is optimal for (MWD), and the

objective values are equal.

12/11/2009 60

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 61: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

12/11/2009

S. K. Mishra, Banaras Hindu

University, Varanasi, India 61

f is pseudolinear if and only if there exists a positive functional

,p x y R such that

, .T

f x f y p x y x y f y

Definition. A differentiable functions f defined on an open set

nX R is called pseudolinear if f and f are pseudo-invex

with respect to the same .

Page 62: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

12/11/2009

S. K. Mishra, Banaras Hindu

University, Varanasi, India 62

Theorem. Let f be a differentiable function defined on an

open set nX R and K be an invex subset of X such that

: nK K R satisfies Condition C. Suppose that f is

pseudolinear on K . The for all ,x y K , , 0Tx y f y

if and only if .f x f y

Page 63: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

12/11/2009

S. K. Mishra, Banaras Hindu

University, Varanasi, India 63

Definition. The function : nK K R defined on the invex set

nK R satisfies Condition C (Mohan and Neogy (1995)), if for

evey ,x y K :

, , ,y y x y x y and

, , 1 ,x y x y x y for all 0,1 .

Page 64: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

12/11/2009

S. K. Mishra, Banaras Hindu

University, Varanasi, India 64

Theorem. Let f be a differentiable function defined on an open

set nX R and K an invex subset of X with respect to . Then

f is pseudolinear on K if and only if there exists a function

p defined on K K such that , 0p x y and

, , , , .T

f x f y p x y x y f y x y K

Page 65: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

12/11/2009

S. K. Mishra, Banaras Hindu

University, Varanasi, India 65

A vector variational-like inequality problem (VVLIP), is to

find a point ,x X such that there exists no ,y X such that

, 0.F x y x

A weak vector variational-like inequality problem

(WVVLIP), is to find a point ,x X such that there exists no

,y X such that , 0.F x y x

Page 66: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

66

Page 67: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

12/11/2009

S. K. Mishra, Banaras Hindu

University, Varanasi, India 67

Let : pnf R R , the vector optimization problem (VOP)

is to find the efficient points for

(VOP) minV f x

subject to .x X

Page 68: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

12/11/2009

S. K. Mishra, Banaras Hindu

University, Varanasi, India 68

Theorem. Let : pnf X R R be differentiable function on X . If

,F f f is invex with respect to and x solves the generalized

vector variational-like inequality problem (VVLIP) with respect to

the same , then x is an efficient point to the vector optimization

problem (VOP).

Page 69: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

12/11/2009

S. K. Mishra, Banaras Hindu

University, Varanasi, India 69

Theorem. Let : pnf X R R be differentiable function

on X . If ,F f f is strictly-invex with respect to . If x

is a weakly efficient solution to the vector optimization

problem (VOP) then x also solves the generalized vector

variational-like inequality problem (VVLIP).

Page 70: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

70

MR2211190 (2006i:49017) Mishra, S. K.; Wang, S. Y.

Vector variational-like inequalities and non-smooth vector

optimization problems. Nonlinear Anal. 64 (2006), no. 9, 1939-

-1945. 49J45 (47J20 90C29)

MR2165462 (2006c:49011) Mishra, S. K.; Noor, M. A. On

vector variational-like inequality problems. J. Math. Anal. Appl.

311 (2005), no. 1, 69--75. 49J40 (90C29)

PDF Doc Del Clipboard Journal Article

Page 71: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

71

MR2211190 (2006i:49017) Mishra, S. K.; Wang, S. Y.

Vector variational-like inequalities and non-smooth vector

optimization problems. Nonlinear Anal. 64 (2006), no. 9, 1939-

-1945. 49J45 (47J20 90C29)

MR2165462 (2006c:49011) Mishra, S. K.; Noor, M. A. On

vector variational-like inequality problems. J. Math. Anal. Appl.

311 (2005), no. 1, 69--75. 49J40 (90C29)

PDF Doc Del Clipboard Journal Article

Page 72: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

THE LE CHATELIER PRINCIPLE IN INVEX

PROGRAMMING

In 1884 the French chemist formulated a very nice principle

regarding the interaction of parameters and variables. We can do

no better than cite this principle the way it has been stated in the

Eichhorn and Oettli [7] paper. We quote ([7], page 711):

If a system is in stable equilibrium and one of the conditions is

changed, then the equilibrium will shift in such a way as to tend to

annul the applied change in the conditions

12/11/2009 72

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 73: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Consider a maximization problem:

(P) xfMax

bxhXxX :0 ,

where nRX 0 is an open convex set; RnRf : is a incave

scalar function; mRnRh : is invex vector function; .mRb

Let x be a vector of production levels, xf the firm’s

objective function and b a vector of available resources and the

function xh the vector of resource use. In this set up the

variations in b are analyzed by the Le Chatelier Principle.

12/11/2009 73

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 74: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Kuhn-Tucker necessary optimality conditions

If *x is an optimal solution for (P) then there exists a mRv * ,

0* i

v , such that

,0*

1

**

x

ih

m

ii

vxf

0**

x

ih

ib

iv , ,,...,1 mi

.,...,1,* mii

bxi

h

12/11/2009 74

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 75: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem (Kuhn-Tucker Sufficient Optimality Conditions):

Let *x be a feasible solution for the maximization problem.

Suppose that f is incave and each i

h for ,,...,1 mi is invex with

respect to the same at *x and there exists mRv * , 0* i

v , such

that

,0*

1

**

x

ih

m

ii

vxf

0**

x

ih

ib

iv , ,,...,1 mi

.,...,1,* mii

bxi

h

Then *x is an optimal solution for (P).

12/11/2009 75

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 76: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem (Kuhn-Tucker Sufficient Optimality Conditions):

Let *x be a feasible solution for the maximization problem.

Suppose that f is pseudo-incave and each i

h for ,,...,1 mi is

quasi-invex with respect to the same at *x and there

exists mRv * , 0* i

v , such that necessary conditions given in

above theorem hold. Then *x is an optimal solution for (P).

12/11/2009 76

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 77: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Now recall the Lagrangian function for (P):

.1

,

xi

hi

bm

ii

vxfvxL

Using one of the above Theorems of sufficiency, one can prove

that: *x solves (P)-assuming the Slater regularity condition

,0 bxh

for some 00 Xx if and only if there exists

0*,* vmRv such that

*,* vx is a saddle point of the

Lagrangian .1

,

xi

hi

bm

ii

vxfvxL

12/11/2009 77

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 78: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Note:

*,* vx is a saddle point of the Lagrangian

,1

,

xi

hi

bm

ii

vxfvxL

That is,

xhbvxfxhbvxfxhbvxf ***

for all .0,0 vXx

Clearly, the second inequality holds if and only if

.0

xhbv

12/11/2009 78

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 79: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

We consider a problem ( P ), where b has been substituted for b ,

so that

(P ) xfMax

.:0

bxhXxX

Let vx , be a saddle point of (P ) so that

xhbvxfxhbvxfxhbvxf

for all .0,0 vXx

Again, the second inequality holds if and only if

.0

xhbv 12/11/2009 79

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 80: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Theorem:

Let f be incave (pseudo-incave)and h invex (quasi-invex). If

there is a saddle point

*,* vx for (P) and a saddle point vx , for

(P ), then .0 bv

Here, *, vvvbbb .

12/11/2009 80

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 81: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Remark:

The above Theorem is a generalized version of the Le Chatelier

Principle as it now applies to a wider class of problems. The

Principle I of Leblanc and Moeseke (1976) is a particular case of

the above Theorem by setting ., yxyx

12/11/2009 81

S. K. Mishra, Banaras Hindu

University, Varanasi, India

Page 82: Banaras Hindu University, Varanasi file/2009.12.17_Talk_Yuan Ze... · 12/11/2009 2 S. K. Mishra, Banaras Hindu University, Varanasi, India. x Elementary notions on convex, quasiconvex

Thank You

12/11/2009 82

S. K. Mishra, Banaras Hindu

University, Varanasi, India