• Nie Znaleziono Wyników

ON LOWER LIPSCHITZ CONTINUITY OF MINIMAL POINTS

N/A
N/A
Protected

Academic year: 2021

Share "ON LOWER LIPSCHITZ CONTINUITY OF MINIMAL POINTS"

Copied!
11
0
0

Pełen tekst

(1)

ON LOWER LIPSCHITZ CONTINUITY OF MINIMAL POINTS

Ewa M. Bednarczuk Systems Research Institute, PAS 01–447 Warsaw, Newelska 6, Poland

e-mail: bednarcz@ibspan.waw.pl

Abstract

In this paper we investigate the lower Lipschitz continuity of mini- mal points of an arbitrary set A depending upon a parameter u . Our results are formulated with the help of the modulus of minimality.

The crucial requirement which allows us to derive sufficient conditions for lower Lipschitz continuity of minimal points is that the modulus of minimality is at least linear. The obtained results can be directly applied to stability analysis of vector optimization problems.

Keywords: minimal points, Lipschitz continuity, vector optimization.

1991 Mathematics Subject Classification: 90C29, 90C48.

1 Introduction

Let (Y, k · k) be a normed space and let K ⊂ Y be a closed convex pointed cone in Y. Let A ⊂ Y be a subset of Y. We say that y ∈ A is a minimal point of A with respect to K if (y − K) ∩ A = {y} (see [12]). By M in(A|K) we denote the set of all minimal points of A with respect to K. We say that the domination property (DP ) holds for A if A ⊂ M in(A|K) + K (see [12, 15]).

Let U = (U, k · k) be a normed space and let Γ : U → Y be a set-valued mapping. Define a set-valued mapping M : U → Y as follows

M (u) = M in(Γ(u)|K) .

The set-valued mapping M is called the minimal point multifunction.

(2)

In the present paper we give sufficient conditions which ensure that M is lower Lipschitz continuous and/or locally Lipschitz at a given u 0 ∈ U.

Lipschitz behaviour of solutions to optimization problems is one of cen- tral topics of stability analysis in optimization. For scalar optimization it was investigated by many authors, see e.g. [2, 20, 16, 21, 11, 13, 14, 23, 18, 19, 24, 1] and many others. In vector optimization the results on Lipschitz continuity of solutions are not so numerous, and concern some classes of problems, for linear problems see e.g. [7, 8, 9], for convex problems see e.g.

[6, 10].

We say that a multivalued mapping F : U → Y is locally Lipschitz at u 0 , [2], if there exist a neighbourhood U 0 ⊂ domF of u 0 and a positive constant ` such that

F (u 1 ) ⊂ F (u 2 ) + ` · ku 1 − u 2 k for u 1 , u 2 ∈ U .

We say that F : U → Y is lower Lipschitz continuous at u 0 ∈ U if there exist a constant L and a neighbourhood U 0 of u 0 such that F (u 0 ) ⊂ F (u) + Lku − u 0 k for u ∈ U 0 . F : U → Y is upper Lipschitz continuous at u 0 ∈ U if there exist a constant L and a neighbourhood U 0 of u 0 such that F (u) ⊂ F (u 0 ) + Lku − u 0 k for u ∈ U 0 .

2 Modulus of minimality

Let (Y, k · k) be a normed space and let K be a closed convex and pointed cone in Y. By B(a, r) we denote the open ball of centre a and radius r, B(0, 1) = B.

It was shown in [4], and [5] that for the lower continuity of minimal point multifunction M at u 0 ∈ U the crucial requirement is that strictly minimal points are dense in M in(Γ(u 0 )|K). Some conditions assuring this kind of density are given in [5].

Let A ⊂ Y be a subset of Y.

Definition 21 ([4, 5]). (Strict minimality) We say that x ∈ M in(A|K) is a strictly minimal point, x ∈ SM (A|K), if for each ε > 0 there exists δ > 0 such that

[A \ B(x, ε)] ∩ [(x + δB) − K] = ∅ .

(3)

Clearly, each strictly minimal point is minimal. Other properties of strictly minimal points were investigated in [4, 5]. For minimality notions of similar type, see e.g. [17, 22].

To derive our continuity results we introduce the modulus of minimality of a set A.

Definition 22. (Modulus of minimality) The modulus of minimality of a set A ⊂ Y is the function m : R + → R, defined as

m(ε) = inf

x∈SM (A|K) ν(ε, x) (1)

where ν : R + × A → R , is the modulus of minimality of x ∈ A defined as ν(ε, x) = sup{δ : (A \ B(x, ε)) ∩ [x + δB − K] = ∅}.

(2)

For each x ∈ A, ν(ε, x) ≤ ε, and for x ∈ SM (A|K), 0 < ν(ε, x) ≤ ε. Clearly, [A \ B(x, ε)] ∩ [(x + ν(ε, x) · B) − K] = ∅ for x ∈ SM (A \ K).

3 Lower Lipschitz continuity

We start with sufficient conditions for lower Hausdorff continuity of minimal point multifunction M. By SM (u) we denote the set of strictly minimal points of the set Γ(u), cl(·) stands for the closure.

Theorem 31. Let Y be a normed space and let K ⊂ Y be a closed convex pointed cone. Assume that Γ : U → Y is a set-valued mapping defined on a normed space U, u 0 ∈ U. If

(i) M (u 0 ) ⊂ cl(SM (u 0 )),

(ii) (DP ) holds for all Γ(u) in some neighbourhood U 1 of u 0 ,

(iii) Γ is Hausdorff continuous at u 0 , i.e., for each ε > 0 there exists a neighbourhood U 2 of u 0 such that

Γ(u) ⊂ Γ(u 0 ) + ε · B, and

Γ(u 0 ) ⊂ Γ(u) + ε · B,

for u ∈ U 2 ,

(4)

then M is lower Hausdorff semicontinuous at u 0 , i.e. for each ε > 0 M (u 0 ) ⊂ M (u) + ε · B

for u ∈ U 1 ∩ U 2 .

P roof. If M (u 0 ) = ∅, then, by the assumptions, Γ(u) = ∅, and, conse- quently, M (u) = ∅, for u ∈ U 0 ∩ U 1 . Hence, we can suppose that M (u 0 ) 6= ∅.

Take any ε > 0, and y ∈ M (u 0 ). By (i) there exists y 1 ∈ SM (u 0 ) such that y 1 ∈ y + 1 4 ε · B, and

Γ(u 0 ) \ ³ y 1 + 1

2 ε · B ´´ + ν ³ 1

2 ε, y 1 ´ · B i ∩ (y 1 − K) = ∅.

Hence, h³

Γ(u 0 )\ ³ y 1 + 1

2 ε·B ´´ + 1 2 ν ³ 1

2 ε, y 1 ´ ·B i ³ y 1 + 1 2 ν ³ 1

2 ε, y 1 ´ ·B−K ´ = ∅.

(3)

I. Consider first the case where ν(ε, y 1 ) ≤ 1 2 ε. By the upper Hausdorff semicontinuity of Γ

Γ(u) ⊂ Γ(u 0 ) + 1 2 ν ³ 1

2 ε, y 1 ´ · B

Γ(u 0 ) \ ³ y 1 + 1

2 ε · B ´´ + 1 2 ν ³ 1

2 ε, y 1 ´ · B i

h y 1 + ³ 1 2 ν ³ 1

2 ε, y 1 ´ + 1

2 ε ´ · B i , (4)

for u ∈ U 2 , and by the lower Hausdorff semicontinuity of Γ, for u ∈ U 1 there exists y 2 ∈ Γ(u) such that

y 2 ∈ y 1 + 1 2 ν ³ 1

2 ε, y 1 ´ · B and

y 2 − K ⊂ y 1 + 1 2 ν ³ 1

2 ε, y 1 ´ · B − K . By (3)

(y 2 − K) ∩ Γ(u) \ ³ y 1 + 1

2 ε · B ´´ + 1 2 ν ³ 1

2 ε, y 1 ´ · B i = ∅ . Now, by (4) for u ∈ U 1

(y 2 − K) ∩ Γ(u) ⊂ y 1 + ³ 1 2 ν ³ 1

2 ε, y 1 ´ + 1

2 ε ´ · B .

(5)

Since (DP ) holds for Γ(u), for u ∈ U 1 ∩ U 2 there exists η 2 ∈ M (u) such that η 2 ⊂ (y 2 − K) ∩ Γ(u) ⊂ y 1 + ³ 1

2 ν ³ 1

2 ε, y 1 ´ + 1

2 ε ´ · B , and since ν(ε, y 1 ) ≤ 1 2 ε,

η 2 ∈ y 1 + 3

4 ε · B ⊂ y + ε · B . This means that for u ∈ U 1 ∩ U 2

M (u 0 ) ⊂ M (u) + ε · B which completes the proof in the case I.

II. Consider now the case where ν(ε, y 1 ) > 1 2 ε. By the upper Hausdorff semicontinuity of Γ we have for u ∈ U 2

Γ(u) ⊂ Γ(u 0 ) + 1 8 ε · B

Γ(u 0 ) \ ³ y + 1

2 ε · B ´´ + 1

8 ε · B i h y 1 + ³ 1 8 ε + 1

2 ε ´ · B i , (5)

and by the lower Hausdorff semicontinuity of Γ there exists y 2 ∈ Γ(u), u ∈ U 2 such that

y 2 ∈ y 1 + 1 2 ν ³ 1

2 ε, y 1 ´ · B . In consequence,

y 2 − K ⊂ y 1 + 1 2 ν ³ 1

2 ε, y 1 ´ · B − K , and by (3),

(y 2 − K) ∩ Γ(u 0 ) \ ³ y 1 + 1

2 ε · B ´´ + 1 2 ν ³ 1

2 ε, y 1 ´ · B i = ∅ . Since 1 2 ν( 1 2 ε, y 1 ) > 1 8 ε the latter implies that

(y 2 − K) ∩ Γ(u 0 ) \ ³ y 1 + 1

2 ε · B ´´ + 1

8 ε · B i = ∅ . Now, by (5)

(y 2 − K) ∩ Γ(u) ⊂ y 1 + 5

8 ε · B .

(6)

Since (DP ) holds for Γ(u), u ∈ U 1 , there exists η 2 ∈ M (u), u ∈ U 1 ∩ U 2 such that

η 2 ∈ (y 2 − K) ∩ Γ(u) ⊂ y 1 + 5 8 ε · B and

η 2 ∈ y + 7

8 ε · B ⊂ y + ε · B . This means that for u ∈ U 1 ∩ U 2

M (u 0 ) ⊂ M (u) + ε · B which completes the proof.

Now, by strengthening the assumption (i) of Theorem 31 we prove sufficient conditions for lower Lipschitz continuity of M at u 0 .

Theorem 32. Let Y be a normed space and let K ⊂ Y be a closed convex pointed cone. Assume that Γ : U → Y is a set-valued mapping defined on a normed space U, u 0 ∈ U. If

(i) M (u 0 ) ⊂ cl(SM (u 0 )), and the modulus of minimality m(ε) of Γ(u 0 ), satisfies the condition m(ε) ≥ cε, where c ∈ R, c > 0,

(ii) (DP ) holds for all Γ(u) in some neighbourhood U 0 of u 0 , (iii) Γ is upper and lower Lipschitz at u 0 , i.e.

Γ(u) ⊂ Γ(u 0 ) + Lku − u 0 k · B , Γ(u 0 ) ⊂ Γ(u) + 1

2 Lku − u 0 k · B for u in a neighbourhood U 1 of u 0 ,

then M is lower Lipschitz at u 0 , i.e. for u ∈ U 0 ∩ U 1 M (u 0 ) ⊂ M (u) + ³ 1 + 2

c

´

Lku − u 0 k . P roof. As previously, we can assume that M (u 0 ) 6= ∅.

Let u ∈ U 0 ∩ U 1 and y ∈ M (u 0 ). By (i) there exists y 1 ∈ SM (u 0 ) such that y 1 ∈ y + 1 c Lku − u 0 k · B. Since y 1 ∈ SM (u 0 )

Γ(u 0 ) \ ³ y 1 + 1

c Lku − u 0 k · B ´´ + m ³ 1

c Lku − u 0 k ´ · B i ∩ (y 1 − K) = ∅ ,

(7)

and hence h

Γ(u 0 ) \ ³ y 1 + 1

c Lku 1 − u 2 k · B ´ + 1 2 m ³ 1

c Lku 1 − u 2 k ´ · B i

³ y 1 + 1 2 m ³ 1

c Lku 1 − u 2 k ´ · B − K ´ = ∅ . (6)

By the upper Lipschitz continuity of Γ Γ(u) ⊂ Γ(u 0 ) + Lku − u 0 k · B

Γ(u 0 ) \ ³ y 1 + 1

c Lku − u 0 k · B ´´ + Lku − u 0 k · B i

h y 1 + ³ 1

c + 1 ´ Lku − u 0 k · B i , (7)

and since y 1 ∈ Γ(u 0 ), by the lower Lipschitz continuity there exists y 2 ∈ Γ(u) such that

y 2 ∈ y 1 + 1

2 Lku − u 0 k · B , and, since 1 2 Lku − u 0 k ≤ 1 2 m( 1 c Lku − u 0 k)

y 2 − K ⊂ y 1 + 1

2 Lku − u 0 k · B − K ⊂ y 1 + 1 2 m ³ 1

c Lku − u 0 k ´ · B − K . By (6)

(y 2 − K) ∩ h Γ(u 0 ) \ ³ y 1 + 1

c Lku − u 0 k · B ´ + 1 2 m ³ 1

c Lku − u 0 k ´ · B i = ∅ , and since Lku − u 0 k ≤ m( 1 c Lku − u 0 k)

(y 2 − K) ∩ h Γ(u 0 ) \ ³ y 1 + 1

c Lku − u 0 k · B ´ + Lku − u 0 k · B i = ∅ . Now, by (7)

(y 2 − K) ∩ Γ(u) ⊂ y 1 + ³ 1 + 1 c

´

Lku − u 0 k · B . Since (DP ) holds for Γ(u) there exists η 2 ∈ M (u) such that

η 2 ⊂ (y 2 − K) ∩ Γ(u) ⊂ y 1 + ³ 1+ 1 c

´

Lku − u 0 k·B ⊂ y + ³ 1+ 2 c

´

Lku − u 0 k.

This means that for u ∈ U 0 ∩ U 1

M (u 0 ) ⊂ M (u) + c + 2

c L|u − u 0 k · B

which completes the proof.

(8)

Theorem 33. Let Y be a normed space and let K ⊂ Y be a closed convex pointed cone. Assume that Γ : U → Y is a set-valued mapping defined on a normed space U, u 0 ∈ U. If

(i) M (u) ⊂ cl(SM (u)), in some neighbourhood U 2 of u 0 and for any ε > 0,

˜

m(ε) = inf

u∈U

2

m u (ε) ≥ 2cε > 0 ,

where m u (·) is the modulus of minimality of Γ(u), c ∈ R, c > 0, (ii) (DP ) holds for all Γ(u) in some neighbourhood U 0 of u 0 , (iii) Γ is locally Lipschitz at u 0 , i.e.

Γ(u 1 ) ⊂ Γ(u 2 ) + Lku 1 − u 2 k · B for u 1 , u 2 in a neighbourhood U 1 of u 0 ,

then M is locally Lipschitz at u 0 , i.e. for each u 1 , u 2 ∈ U 0 ∩ U 1 ∩ U 2 M (u 1 ) ⊂ M (u 2 ) + ³ 1 + 2

c

´ L · B . P roof. By (i), for any ε > 0, u ∈ U 2 , and any z ∈ SM (u),

[(Γ(u) \ (z + εB)) + ˜ m(ε)B] ∩ (z − K] = ∅ .

Let u 1 , u 2 ∈ U 0 ∩ U 1 ∩ U 2 , and y ∈ M (u 1 ). By (i) there exists y 1 ∈ SM (u 1 ) such that y 1 ∈ y + 1 c Lku 1 − u 2 k · B. Since y 1 ∈ SM (u 1 )

Γ(u 1 ) \ ³ y 1 + 1

c Lku 1 − u 2 k · B ´´ + ˜ m ³ 1

c Lku 1 − u 2 k ´ · B i ∩ (y 1 − K) = ∅ , and hence,

h

Γ(u 1 ) \ ³ y 1 + 1

c Lku 1 − u 2 k · B ´ + 1 2 m ˜ ³ 1

c Lku 1 − u 2 k ´ · B i

³ y 1 + 1 2 m ˜ ³ 1

c Lku 1 − u 2 k ´ · B − K ´ = ∅ . (8)

By local Lipschitz continuity of Γ Γ(u 2 ) ⊂ Γ(u 1 ) + Lku 1 − u 2 k · B

Γ(u 1 ) \ ³ y 1 + 1

c Lku 1 − u 2 k · B ´´ + Lku 1 − u 2 k · B i

h y 1 + ³ 1 + 1 c

´

Lku 1 − u 2 k · B i ,

(9)

(9)

and, since y 1 ∈ Γ(u 1 ) there exists y 2 ∈ Γ(u 2 ) such that y 2 ∈ y 1 + Lku 1 − u 2 k · B and, since Lku 1 − u 2 k ≤ 1 2 m( ˜ 1 c Lku 1 − u 2 k),

y 2 − K ⊂ y 1 + Lku 1 − u 2 k · B − K ⊂ y 1 + 1 2 m ˜ ³ 1

c Lku 1 − u 2 k ´ · B − K . By (8)

(y 2 − K) ∩ h Γ(u 1 ) \ ³ y 1 + 1

c Lku 1 − u 2 k · B ´ + 1 2 m ˜ ³ 1

c Lku 1 − u 2 k ´ · B i = ∅ and since Lku 1 − u 2 k ≤ 1 2 m( ˜ 1 c Lku 1 − u 2 k)

(y 2 − K) ∩ h Γ(u 1 ) \ ³ y 1 + 1

c Lku 1 − u 2 k · B ´ + Lku 1 − u 2 k · B i = ∅ . Now, by (9)

(y 2 − K) ∩ Γ(u 2 ) ⊂ y 1 + ³ 1 + 1 c

´

Lku 1 − u 2 k · B . Since (DP ) holds for Γ(u 2 ) there exists η 2 ∈ M (u 2 ) such that η 2 ⊂ (y 2 −K)∩Γ(u 2 ) ⊂ y 1 + ³ 1+ 1

c

´

Lku 1 −u 2 k·B ⊂ y+ ³ 1+ 2 c

´

Lku 1 −u 2 k·B . This means that for u 1 , u 2 ∈ U 0 ∩ U 1 ∩ U 2

M (u 1 ) ⊂ M (u 2 ) + ³ 1 + 2 c

´ Lku 1 − u 2 k · B

which completes the proof.

4 Final remarks

Parametric vector optimization problem

K − min{f (x) | x ∈ A(u)}

consists of finding all x ∈ A(u) such that f (x) ∈ M in(f (A(u))|K), where f :

X → Y is a mapping defined on a space X to be minimized and A : U → X

is a feasible set multifunction. By taking Γ(u) = f (A(u)) Theorems 31, 32,

(10)

33 can be directly applied to derive sufficient conditions for lower Lipschitz continuity of the set-valued mapping M(u) = M in(A(u)|K). Conditions ensuring that M (u 0 ) ⊂ clSM (u 0 ) can be found in [5].

References

[1] T. Amahroq and L. Thibault, On proto-differentiability and strict proto- differentiability of multifunctions of feasible points in perturbed optimiza- tion problems, Numerical Functional Analysis and Optimization 16 (1995), 1293–1307.

[2] J.-P. Aubin and H. Frankowska, Set-valued Analysis, Birkhauser 1990.

[3] E. Bednarczuk, Berge-type theorems for vector optimization problems, optimization, 32 (1995), 373–384.

[4] E. Bednarczuk, On lower semicontinuity of minimal points, to appear in Non- linear Analysis, Theory and Applications.

[5] E. Bednarczuk and W. Song, PC points and their application to vector optimization, Pliska Stud. Math. Bulgar. 12 (1998), 1001–1010.

[6] N. Bolintineanu and A. El-Maghri, On the sensitivity of efficient points, Revue Roumaine de Mathematiques Pures et Appliques 42 (1997), 375–382

[7] M.P. Davidson, Lipschitz continuity of Pareto optimal extreme points, Vestnik Mosk. Univer. Ser. XV, Vychisl. Mat. Kiber. 63 (1996), 41–45.

[8] M.P. Davidson, Conditions for stability of a set of extreme points of a poly- hedron and their applications, Ross. Akad. Nauk, Vychisl. Tsentr, Moscow 1996.

[9] M.P. Davidson, On the Lipschitz stability of weakly Slater systems of convex inequalities, Vestnik Mosk. Univ., Ser. XV (1998), 24–28.

[10] Deng-Sien, On approximate solutions in convex vector optimization, SIAM Journal on Control and Optimization 35 (1997), 2128–2136.

[11] A. Dontchev and T. Rockafellar, Characterization of Lipschitzian stability, pp.

65–82, Mathematical Programming with Data Perturbations, Lecture Notes in Pure and Applied Mathematics, Marcel Dekker 1998.

[12] J. Jahn, Mathematical Vector Optimization in Partially Ordered Linear Spaces, Verlag Peter Lang, Frankfurt 1986.

[13] R. Janin and J. Gauvin, Lipschitz dependence of the optimal solutions to

elementary convex programs, Proceedings of the 2nd Catalan Days on Applied

Mathematics, Presses University, Perpignan 1995.

(11)

[14] Wu-Li, Error bounds for piecewise convex quadratic programs and applications, SIAM Journal on Control and Optimization 33 (1995), 1510–1529.

[15] D.T. Luc, Theory of Vector Optimization, Springer Verlag, Berlin 1989.

[16] K. Malanowski, Stability of Solutions to Convex Problems of Optimization, Lecture Notes in Control and Information Sciences 93 Springer Verlag.

[17] E.K. Makarov and N.N. Rachkovski, Unified representation of proper efficien- cies by means of dilating cones, JOTA 101 (1999), 141–165.

[18] B. Mordukhovich, Sensitivity analysis for constraints and variational systems by means of set-valued differentiation, Optimization 31 (1994), 13–43.

[19] B. Mordukhovich and Shao Yong Heng, Differential characterisations of con- vering, metric regularity and Lipschitzian properties of multifunctions between Banach spaces, Nonlinear Analysis, Theory, Methods, and Applications 25 (1995), 1401–1424.

[20] D. Pallaschke and S. Rolewicz, Foundation of Mathematical Optimization, Math. Appl. 388, Kluwer, Dordecht 1997.

[21] R.T. Rockafellar, Lipschitzian properties of multifunctions, Nonlinear Analysis, Theory, Methods and Applications 9 (1985), 867–885.

[22] N. Zheng, Proper efficiency in locally convex topological vector spaces, JOTA 94 (1997), 469–486.

[23] N.D. Yen, Lipschitz continuity of solutions of variational inequalities with a parametric polyhedral constraint, Mathematics of OR 20 (1995), 695–705.

[24] X.Q. Yang, Directional derivatives for set-valued mappings and applications, Mathematical Methods of OR 48 (1998), 273–283.

Received 5 January 2000

Revised 13 April 2000

Cytaty

Powiązane dokumenty

and [9]. Generally, if X is an algebraic set of pure dimension n ≥ 1, X is said to be uniruled if every component of X is uniruled. Points at which a polynomial map is not proper.

Following the spectacular result of Drury (“the union of two Sidon sets is a Sidon set”), a lot of improvements were achieved in the 70’s about such sets Λ.. Rider, in

Port A is defined to be the origin of a set of coordinate axes and port B is located at the point (70, 30), where distances are measured

For our analysis of quasi-factors, we require two brief digressions: the algebraic theory of minimal flows, and maximal highly proximal flows and generators.. For details of

Lipschitz functions, type 2, cotype 2, isomorphic characterization of Hilbert spaces, Dvoretzky’s theorem.. The authors are supported by the ‘VIDI subsidie’ 639.032.201 in

For a conformal mapping of the unit disk onto a starlike domain with boundary in a given annulus we derive an estimate for the modulus of continuity of the boundary

The latter, in turn, would imply the equicontinuity of the absolute value |f | of all admissible conformal maps f onto starlike regions with boundary on A R which is obviously not

duces a Koebe function was by shown Pfluger (8), who made use of the fact that the omitted arc of any support point of S has an asymptotic line at °°.) In any case terminal support