Điều kiện tối ưu cấp hai cho bài toán tối ưu đa mục tiêu dưới ngôn ngữ đạo hàm parabolic

ĐẠI HỌC THÁI NGUYÊN
TRƯỜNG ĐẠI HỌC Sư PHẠM

TRẦN QUANG MẠNH

ĐIỀU KIỆN TỐI ƯU CẤP HAI
CHO BÀI TOÁN TỐI ƯU ĐA MỤC TIÊU
DƯỚI NGÔN NGỮ ĐẠO HÀM PARABOLIC

LUẬN VĂN THẠC SĨ TOÁN HỌC

Thái Nguyên — 2016


ĐẠI HỌC THÁI NGUYÊN
TRƯỜNG ĐẠI HỌC Sư PHẠM

TRẦN QUANG MẠNH

ĐIỀU KIỆN TỐI ƯU CẤP HAI
CHO BÀI TOÁN TỐI ƯU ĐA MỤC TIÊU
DƯỚI NGƠN NGỮ ĐẠO HÀM PARABOLIC

Chun ngành: GIẢI TÍCH
Mã số: 60.46.01.02

LUẬN VĂN THẠC SĨ TOÁN HỌC

Người hướng
PGS.TS
ĐỖ VĂN

dẫnLƯU
khoa học

Thái Nguyên — 2016


Lời cam đoan
Tơi xin cam đoan rằng nội dung trình bày trong luận văn này là trung
thực, không trùng lặp với các đề tài khác và các thơng tin trích dẫn trong
luận văn đã được chỉ rõ nguồn gốc.
Thái Nguyên, tháng 4 năm 2016
Người viết luận văn

Trần Quang Mạnh

3


Lời cảm ơn
Luận văn được hồn thành trong khóa 22 đào tạo Thạc sĩ của trường Đại
học Sư phạm - Đại học Thái Nguyên, dưới sự hướng dẫn của PGS.TS. Đỗ
Văn Lưu, Viện Tốn học. Tơi xin bày tỏ lịng biết ơn chân thành tới thầy
hướng dẫn, người đã tạo cho tôi một phương pháp nghiên cứu khoa học,
tinh thần làm việc nghiêm túc và đã dành nhiều thời gian, cơng sức hướng
dẫn tơi hồn thành luận văn.
Tơi cũng xin bày tỏ lòng cảm ơn sâu sắc tới các thầy cơ giáo của trường
Đại học Thái Ngun, Viện Tốn học, những người đã tận tình giảng dạy,
khích lệ, động viên tơi vượt qua những khó khăn trong học tập.
Tơi xin chân thành cảm ơn Ban lãnh đạo Khoa Sau đại học, Trường Đại
học Sư phạm - Đại học Thái Nguyên đã tạo mọi điều kiện thuận lợi, giúp

đỡ tôi trong suốt thời gian tôi học tập.
Cuối cùng, tôi xin cảm ơn gia đình, người thân và bạn bè đã động viên,
ủng hộ tơi để tơi có thể hồn thành tốt khóa học và luận văn của mình.
Thái Ngun, tháng 4 năm 2016
Người viết luận văn

Trần Quang Mạnh


Mục lục


Mở đầu
1. Lý do chọn đề tài
Lý thuyết các điều kiện tối ưu đóng vai trị quan trọng trong lý thuyết
các bài toán cực trị. Các điều kiện tối ưu cấp hai cho phép ta tìm được
nghiệm tối ưu trong trong tập các điểm dừng. Nhiều kết quả nghiên cứu về
điều kiện tối ưu cấp hai cho bài toán tối ưu đơn và đa mục tiêu đã được
thiết lập. C. Gutiérrez, B. Jiménez, V. Novo ([10], 2010) đã chứng minh các
điều kiện tối ưu cấp hai cho bài toán tối ưu đa mục tiêu với các hàm khả
vi Fréchet với đạo hàm Fréchet liên tục hoặc ổn định. Lớp hàm này chứa
trong lớp hàm C . Đây là đề tài được nhiều tác giả trong và ngoài nước
1,1

quan tâm nghiên cứu. Chính vì vậy tơi chọn đề tài: “Điều kiện tối ưu
cấp hai cho bài toán tối ưu đa mục tiêu dưới ngôn ngữ đạo hàm
parabolic”.

2. Nội dung đề tài

6


Luận văn trình bày các điều kiện tối ưu cấp hai dưới ngơn ngữ đạo hàm
parabolic cho bài tốn tối ưu đa mục tiêu với các hàm khả vi Fréchet và
đạo hàm Fréchet của chúng là liên tục hoặc ổn định. Luận văn được viết
dựa trên bài báo của C. Gutiérrez, B. Jiménez và V. Novo, đăng trong tạpchí
Math. Programming 123 (2010), 199-223.
Luận văn bao gồm phần mở đầu, ba chương, kết luận và danh mục các
tài liệu tham khảo.
Chương 1: "Tập tiếp tuyến cấp hai và đạo hàm theo phương cấp hai"
Trình bày bài tốn tối ưu đa mục tiêu (1.1) được xét trong luận văn; các
khái niệm tập tiếp tuyến cấp hai của một tập; các tính chất và mối quan
hệ của các tập tiếp tuyến cấp hai; hàm ổn định; các đạo hàm theo phương
parabolic và radial cấp hai, dưới vi phân Clarke cấp hai và mối quan hệ giữa
chúng. Các khái niệm và kết quả trong chương 1 là của Gutiérrez-JiménezNovo [10].
Chương 2: "Điều kiện cần tối ưu"
Trình bày các điều kiện cần tối ưu cấp hai của Gutiérrez-Jiménez-Novo
[10] cho bài toán (1.1) đã phát biểu trong chương 1 với các hàm có đạo hàm
Fréchet liên tục hoặc ổn định, dạng hệ khơng tương thích và dạng nhân tử
Lagrange cùng với một số ví dụ minh họa.
Chương 3: "Điều kiện đủ tối ưu"
Trình bày các điều kiện đủ tối ưu cấp hai dạng nhân tử Lagrange của
Gutiérrez-Jiménez-Novo [10] cho cực tiểu địa phương chặt cấp hai của bài
toán tối ưu đa mục tiêu (3.1) cùng với các hệ quả cho bài toán với các hàm
khả vi Fréchet hai lần, bài toán với các hàm C và các ví dụ.
1,1

7

Chương 1

Tập tiếp tuyến cấp hai và đạo hàm
theo phương cấp hai
Chương 1 trình bày bài tốn tối ưu đa mục tiêu được nghiên cứu trong
luận văn, các khái niệm tập tiếp tuyến cấp hai cùng với các tính chất và
mối quan hệ giữa chúng, hàm ổn định, các đạo hàm theo phương parabolic
và radial cấp hai, dưới vi phân Clarke cấp hai (ma trận Hessian suy rộng).
Các kết quả trong chương 1 là của Gutiérrez-Jiménez-Novo [10].

1.1Tập tiếp tuyến cấp hai
Cho f, g và h lần lượt là các hàm từ R vào R , R và R . Xét bài toán
n

p

m

r

tối ưu đa mục tiêu sau:
D — Minf (x);

(1.1)

x 2 M := g~1(K) \ h“1(0),
trong đó D là nón lồi đóng và nhọn (D \ —D = {0}) với phần trong khác
rỗng và K c R là tập lồi với phần trong khác rỗng. Thứ tự bộ phận trong
m

8


R được xác định bởi quan hệ
p

y Rõ ràng bài toán (1.1) bao gồm như một trường hợp đặc biệt bài toán quy
hoạch thông thường với ràng buộc bất đẳng thức gj(x) < 0, j = 1, ...,m,
khi chọn K là góc phần tư (orthant) không dương RT.
Cho M là tập con của R . Ta kí hiệu B(x, ổ) là hình cầu mở tâm x bán
n

kính ổ > 0, int M là phần trong của tập M, cl M là bao đóng của tập M,
co M là bao lồi của tập M và cone M là nón sinh bởi tập M.
Nhắc lại rằng điểm x 2 M được gọi là cực tiểu địa phương (cực tiểu
yếu địa phương) của bài toán (1.1), kí hiệu là x 2 LMin(f, M) (tương ứng
x 2 LWMin(f, M) đối với điểm cực tiểu yếu địa phương), nếu tồn tại lân
cận U của x sao cho
(f(M n U - f (X) n (-D) = {0}
(tương ứng (f (M n U — f (x)) n (—intD) = ; đối với điểm cực tiểu yếu địa
phương).
Đặc biệt khi p =1 và D = R+, chúng ta trở về khái niệm cực tiểu địa
phương đã biết.
Nón cực dương của tập M 2 R được định nghĩa bởi
n

M+ = (Ệ 2 R : «,x) > 0,8x 2 M).
Nón tiếp tuyến của M tại x 2 R là

n

T(M, x) = {v 2 R : 9t ! 0 , 9v ! v sao cho x + t v 2 M, 8n 2 N}.
n

n

+

n

n

n

Sau đây là khái tập tiếp tuyến cấp hai mà ta sẽ sử dụng trong luận văn.

9


Định nghĩa 1.1.1. Cho M c Rn và x, v 2 Rn.

(a) Tập tiếp liên cấp hai của M tại (x, v) là
T (M, x, v) = {w 2 R : 9t ! 0 , 9w ! w sao cho
2

n

+

n

n

x + t v + 2t^Wn 2 M, Vn 2 N}.
n

2
(b) Tập tiếp tuyến phần trong cấp hai của M tại (x,v) là
IT (M, x,v) = {w 2 R : Vt ! 0 , Vw ! w ta có
2

n

+

n

n

x + t v + -tnw 2 M, Vn đủ lớn}.
2
n

n

(c) Tập liền kề cấp hai của M tại (x,v) là
A (M, x, v) = {w 2 R : Vt ! 0 , 9w ! w sao cho
2

n

+

n

n

x + t v + 2tnwn 2 M, Vn 2 N}.
n

T (M, x,v) và A (M, x,v) là các tập đóng, IT (M, x,v) là tập mở và
2

2

2

nếu M là lồi thì A (M, x,v) và IT (M, x,v) là các tập lồi. Hơn nữa, khi
2

2

M được xác định bởi các ràng buộc đẳng thức và bất đẳng thức khả vi liên
tục hai lần với điều kiện chính quy Mangasarian-Fromovitz, ta có
A (M, x,v) = T (M, x,v)
2

2

(xem [5]). Kết quả sau đây bao gồm những tính chất cơ bản của tập tiếp
tuyến cấp hai được định nghĩa ở trên (xem [19]).
Mệnh đề 1.1.2. Cho M là tập con của Rn, x 2 M và v 2 Rn.

(i) IT (M, x, v) c A (M, x, v) c T (M, x, v)
2

2

2

c cl cone[cone(M — x) — v];
(ii)IT (M,x,v) = IT (int M,x,v);
2

2

1
0


(iii) Nếu v 2 T(M,x), thỉ T (M;X;v) = 0;
2

(iv) Nếu N c R , y 2 N, và u 2 R thỉ
k

k

IT2(M X N; (x,ỹ), (v,u)) = IT (M,x,v) X IT (N;ỹ;U).

2

2

Hơn nữa, nếu M lồi, int M = 0 v à v 2 T(M; X) thỉ
(v) IT (M; x,v) c int A2(M,x,v) c int cone[cone(M — x) — v];
2

(vi) Nếu A (M;X;v) = 0 thỉ
2

IT (M; X; v) = int A (M; X; v ) và
2

2

cl IT (M;X;v) = A (M,X,v);
2

2

(vii) Nếu v 2 cone(M — X), thỉ
(a) IT (M; X; v) = int cone[cone(M — X) — v] và
2

(b) A (M; X; v) = cl cone[cone(M — x) — v].
2

Các tính chất trên được trình bày trong [2], [19].

1.2Đạo hàm theo phương parabolic cấp hai
Nếu f là khả vi Fréchet tại X, khi đó đạo hàm Fréchet được kí hiệu bởi
f 0(X). Nếu f là khả vi Fréchet hai lần tại X, khi đó đạo hàm cấp hai Fréchet
được kí hiệu bởi f "(X) là ánh xạ song tuyến tính liên tục từ R X R vào
n

n

R.
p

Định nghĩa 1.2.1. Ta nói f : Rn ! Rp là ổn định tại X 2 Rn nếu tồn tại

lân cận U của X và hằng số k > 0 sao cho
||f

(X)

- f (X)|| < k\\X - XH; 8X 2 U.

1
1


Ta nói f là Lipschitz trên U nếu tồn tại số k > 0 sao cho
\\f (X) — f (x ) II < k\\x — X ||, với mọi X; X 2 U.
0

0

0

Ta nói f là Lipschitz trong một lân cận của X nếu f là Lipschitz trên U
với lân cận U nào đó của X.
Rõ ràng f là Lipschitz trên U kéo theo f ổn định tại mỗi điểm X 2 U,
nhưng điều ngược lại khơng đúng.
Ví dụ: f (x) = X sin

1

ổn định tại mỗi điểm thuộc lân cận U của X nhưng

khơng Lipschitz trên U.
Ta nói f là C trong một lân cận của X nếu tồn tại lân cận U của X sao
1,1

cho f là C trên U và đạo hàm f của nó là Lipschitz trên U.
1

0

ở đây chúng ta sẽ xét hàm f khả vi Fréchet trên lân cận của X và đạo
hàm f của nó là ổn định tại X, tức là
0

\\f0(X) - f (X)|| < k\\X - X||
0

với mọi X gần X và k > 0 nào đó. Khi ta nói f là liên tục hoặc ổn định tại
0

X, thì ta giả sử f 0(X) tồn tại với mọi X gần X.
Ta có các kết quả sau đây:
(a) f C trong một lân cận của X ) f ổn định tại X ) f liên tục tại X.
1,1

0

0

(b) f liên tục tại X ) f Lipschitz trong một lân cận của X.
0

(c) f khả vi Fréchet tại X ) f ổn định tại X. (Đặc biệt, nếu f khả vi Fréchet
hai lần tại X, khi đó f là ổn định tại X).
0

Ta cũng sẽ sử dụng các đạo hàm theo phương, là các ánh xạ đa trị. Ta
nhắc lại giới hạn trên theo nghĩa Painlevé-Kuratowski của ánh xạ đa trị

1
2


$ : R ^ R được định nghĩa bởi
p

Limsnpu-!ũ$(u) = {y 2 R : 9un ! U; 9y 2 $(un) sao cho y ! y}.
p

n

n

Định nghĩa 1.2.2. Cho f : Rn ! Rp là hàm khả vi Fréchet tại X và

U; w 2 R .
n

(a) Đạo hàm theo phương parabolic cấp hai đa trị của f tại X theo phương
(V; w) là tập

(X) _ tf0(X)V
-f
D f(X;V;W)
p
= l.iiHMip ... o- w----------------------- -----ị------------------------.
2t
2 tí*

_T•

n

f (X

_

+ tV +

1 t2u)

2

(b) Đạo hàm theo phương radial cấp hai đa trị của f tại X theo phương
V là tập
D2f (X;V) = Limsnp^ f (X + tv) - f 2X) - tf '

(X)V
.

2t

Từ định nghĩa, rõ ràng Dpf (X;V;W) và D2f (X;V) là các tập đóng.
Hơn nữa, ở Định nghĩa 1.2.2 ta thay giới hạn trên "Limsnp" bởi giới hạn
"lim" ta nhận được đạo hàm theo phương parabolic cấp hai của f và đạo
hàm theo phương radial cấp hai của f. Ta kí hiện các đạo hàm theo phương
cấp hai đơn trị đó lần lượt là dpf (X;V;W) và d2f(X;V), và ta nói rằng f là
khả vi parabolic (viết gọn là dp—khả vi) tại X nến dpf (X;V;W) tồn tại với
mọi V;W 2 R . Tương tự, ta nói rằng f là d2—khả vi tại X nến d2f(X;V)
n

tồn tại với mọi V 2 R .
n

Các đạo hàm theo phương cấp hai đơn trị được sử dụng để chứng minh các
điền kiện tối ưn (xem chẳng hạn [4], [5], [8], [14]). Tất nhiên, nến dpf (X; V; w)
tồn tại khi đó Dpf (X; V; w) = {đ2pf (X; V; w)}, tương tự nến d f (X; v) tồn tại
2

khi đó D2f (X;V) = {d2f (X;V)}.

1
3


Đạo hàm D2f (X;V) được sử dụng để chứng minh các điền kiện tối ưncấp hai
(xem chẳng hạn [7], [16]). Cũng chú ý rằng Dpf(x,v) được gọi là
đạo hàm tiếp liên của ánh xạ đa trị x ! ff (x)g tại (x, f (x)) theo phương
(v,f (x)v) trong Định nghĩa 2.2 [12].
0

Khi f Lipschitz trong một lân cận của x, dễ dàng kiểm tra được
f (x + tv + 1 t w) — f (x) — tf (x)v
1/2
2

Dpf (x,v,w) = Limsup !

t 0+

0

2b

và tương tự cho dpf (x, V, w). Các tính chất và các mối liên hệ giữa các đạo
hàm này được cho bởi mệnh đề sau.
Mệnh đề 1.2.3. Nếu f : Rn ! Rp có đạo hàm Fréchet f' ổn định tại x thỉ

Dpf (x,v,w) là tập compact khác rỗng với mọi v,w 2 R .

n

Chứng minh. Trước hết ta chứng minh rằng Dpf (x, v,w) = ;. Xét các dãy
tùy ý t ! 0+ và w ! w. Định lý giá trị trung bình chỉ ra rằng với mọi
n

n

a, b gần x ta có
llf(b) - f(a) - f (x)(b - a)|| < ||b - a|| súp ||f (x) - f (x)||.
0

/

(1 2)

-

/

x2[a,b]

Áp dụng bất đẳng thức này cho a = x và b = x + t v + 1 t^n, chú ý rằng
n

f là ổn định tại x với hằng số k, ta có
0

II U (x + / v + — t ) — Ù (x) — t„f (x)(v + —
) 11

x
w
x
x v
w
IU ( + n + 2 n n) J ( )
nJ ( )( + 2 n n)||
2

0

b v

b

|
< ^n v + 2tnwn||supxe[X;X+t v+
< kt nớ||v + 1 tnWn|| ,
n

2

1

tnwn]ll

f (x) _ f (x)

II

2

ở đây ta đã đặt x = a + ớ(b — a) = x + ớt (v + 1 t w ) với ỡ 2 [0,1]. Chia
n

n

n

cả hai vế cho 1 tn và đặt
y

n

:

f (x + tnv + 2t2nVJn) - f (x) - tnf (x)v

ĩ?2

2 bn

1
4

0

,

(1.3)

ta thấy rằng
\\yn - f,(x')Wn\\ < 2k\\v + 2tnWn\\2.

(1.4)

Vì vậy, (y ) là bị chặn. Do đó tồn tại một dãy con hội tụ tới y 2 Dpf (X; v, w).
n

Tiếp theo, ta chứng minh Dpf (x,v,w') là bị chặn và do đó Dpf (x,v,w')
là tập compact vì nó là tập đóng. Lấy y 2 Dp)f (X; v, w) khi đó y ! y, với
n

y được cho bởi (1.3) với mỗi dãy (t ìw ) ! (0 ; w). Lập luận tương tự ta
n

n

n

+

nhận được (1.4). Do đó
\\y - f'(X)w|| < 2k||vII2.
Vì vậy, Dpf (X; v, w) là một tập đóng bị chặn.

□

Mệnh đề 1.2.4. (i) Nếu f là hàm khả vi Fréchet hai lần tại X, khi đó

d f (x,v) = f (x)(v,v), 8v 2 R .
2

/0

n

(ii) Nếu f0 liên tục tại X, và d2f (X;v) tồn tại thì
dpf (x,v,w) = f (x)w + dĩf (X; v); 8w 2 R ,
0

n

và
Dp f (X; v; w) = f (x)w + D2f (X; v) V/’; w 2 R .
0

n

Chứng minh. (i) Chứng minh được suy ra từ Mệnh đề 2.4 (ii) [14].
(ii) Phần đầu là Mệnh đề 3.1 trong [17], chú ý rằng
dpf (X; v; 0) = dỊf (X;v).
ở phần thứ hai ta xét y 2 Dpf(X,v,w). Khi đó tồn tại dãy (t ,w ) !
n

(0 ; w) sao cho
+

f (X+ tnv + 2tnwn) - f (X) - tnf (X)v

0

yn :=

-------------2----

Ị-2-----------------------! y.

2 tn

1
5

n


Áp dụng bất đẳng thức (1.2) với a = a = x + t v và b = b = x + t v +
n

n

n

n

1 tnwn, ta được
llf (x

t v
n

■

f (x

■ 2rC'. -

■ tnv)

-

f/(x (

) 22'i'.

< 1 tìKllsuPxe^yll/^) - f/(x)||.
2
Với f0 liên tục tại X, ta có
lim su
n!i

Px2[an;bn]\\f'(x) - f'(x)ll = 0.

Chia cả hai vế cho 1 tn ta nhận được
f (x+ tnV + t nWn) - f (x + t v)
y n =------------------------------------------------f (x
1

2

n

:

2 tn

Nếu ta đặt
f(x + tnv) - f(x) - tnf (x)v
112

(1.5)

2n
ta có
và vì vậy y ! y — f (x)w. Từ đó suy ra y — f (x)w 2 D2f (x, v).
0

n

0

y'n = yn -

yn -

f0(x)w

n

! 0;

Để có bao hàm thức ngược lại, lấy y 2 D2f (x, v), khi đó tồn tại t ! 0
0

n

+

sao cho y ! y , với y được cho bởi (1.5). Nếu chọn dãy hằng w = W; 8n,
n

0

n

n

theo chứng minh trên ta có
yn = y'n

+ f0(x w

)

n

+

yn ! f (x)w + yo;
0

và do đó f(x)w + y 2 D^f (x,v,w).
0

Hệ quả 1.2.5. Giả sử f : Rn ! Rp có đạo hàm f0 liên tục tại x và v 2 Rn.

Khi đó các phát biểu sau là tương đương:
(a) d f (x,v) tồn tại;
2

1
6


(b) dpf (x,v,w) tồn tại với mọi w 2 R ;
n

(c) dpf (x,v,w ) tồn tại với mỗi w 2 R .
o

n

o

Do đó, f là d-—khả vi tại x nếu và chỉ nếu f là đp—khả vi tại x.
Chứng minh. (a) ) (b) theo Mệnh đề 1.2.4 (ii), và (b) ) (c) là hiển nhiên.
Ta chứng minh (c) ) (a). Ta chỉ cần chứng minh với mọi dãy t ! 0+,
n

ta có y ! dpf (x,v,w ) — f0(x)w , trong đó y cho bởi cơng thức (1.5).

n

o

o

n

Thật vậy, do dpf (x,v,w ) tồn tại, ta có
o

f (x +

tnV ■ t nw0) - f (x) - tnf'(x)v
1-r^"'.
:
yn = ------------------- - - -Ý---------------------------------------------! dpf (x,v,wo).
1

2

- tn

Chứng minh tương tự Mệnh đề 1.2.4 (ii) (với w = w với mọi n và
n

o

y = dpf (x, v, wo)) ta có ỹn ! y - f0(x)wo.

□

Cho f : R ! R và g : R ! R , hàm (f, g) : R ! R X R xác định
n

p

n

m

n

p

bởi
(f, )(x)

g

= (f (x),g(x)).

Rõ ràng là với mỗi v 2 R ,
n

D-(f, )(x,v)

g

c D f(x,v)

-

X

D g(x,v),
-

và nếu f (hoặc g) là d-—khả vi tại x thì ta có dấu bằng.
Bây giờ ta so sánh đạo hàm parabolic đơn trị với dưới vi phân cấp hai
Clarke (Mệnh đề 1.2.6). Lấy f : R ! R là C trong một lân cận của x.
n

p

1,1

Khi đó Jacobian suy rộng Clarke của f0 tại x được gọi là dưới vi phân cấp
hai Clarke của f0 tại x, là tập hợp
@ f (x) = cl co{limf00(x ) : x ! x, f00(x ) tồn tại}.
-

n

n

n

(xem [9]). Khi p =1, tập @ f (x) được gọi là ma trận Hessian suy rộng. Ta
-

xét phần tử của d f (x) là hàm song tuyến tính từ R X R vào R .
-

n

1
7

n

p


Mệnh đề 1.2.6. Nếu f : Rn ! Rp là C1;1 trong lân cận của x, khi đó

Dpf (x, v, w) c f(x)w + @ f(x)(v, v), Vu, v 2 R .
2

n

Dặc biệt, ; = D2f (x,v) c @ f (x)(v,v), với mọi v 2 R .
2

n

Chứng minh. Chọn y 2 Dpf (x, v,w), khi đó
y

.= f (xn) - f (x) - tnf(x)v >
1,2

2 tn

D*

y

cho mỗi dãy (t , w ) ! (0 , w) với x := x + t v + 2tnw . Sử dụng khai
n

n

+

n

n

n

triển Taylor [9] ta có
f (xn) = f (x) + tnf 0(x)(v + 1 tnw„) + 1 ^An(v + 1 tnVn, v + 1 tnU^n)

Dễ thấy bao hàm thức trong Mệnh đề 1.2.6 nói chung là chặt chẽ. Chẳng
hạn, cho f : R ! R xác định bởi f (x) = sign(x)x , x = 0 và v = w = 1, ta
2

có
@ f (x)(v,v) = [-2, 2]
2

và
D f (x,v)

2

= Dpf (x,v,w) =

1
8

{2g

.


Chương 2

Điều kiện cần tối ưu
Chương 2 trình bày các điều kiện cần tối ưu cấp hai của GutiérrezJiménez-Novo [10] cho cực tiểu địa phương yếu của bài toán tối ưu đa mục
tiêu (1.1) với các hàm khả vi Fréchet và đạo hàm Fréchet liên tục hoặc ổn
định, dạng hệ khơng tương thích và dạng nhân tử Lagrange cùng với các
điều kiện cần tối ưu cấp hai cho bài toán (1.1) với các hàm khả vi hai lần,
bài toán (1.1) với các hàm C , và một số ví dụ minh họa.
1,1

2.1Điều kiện cần cấp hai dạng hệ không tương thích
Trong phần này chúng ta xét bài tốn (1.1). Giả sử f, g là các hàm khả
vi Fréchet trong một lân cận của x 2 M, đặt H = h- (0), G = g~ (K) và
1

G = g- (int K). Như vậy, M = G \ H. Ta kí hiệu:
0

1

Nón pháp tuyến của K tại z là
0

N (K,zo) = —T (K,Z0) :
+

Nón tuyến tính hóa của M tại x 2 M là
C(M, x) = fv 2 R : g (x)v 2 cl cone(K — g(x)), h (x)v = 0}.
n

0

0

1
9

1


Nón các phương giảm tại x là
C(f;X) = {v 2 R : f(x)v 2 —D}.
n

Nón các phương tới hạn là

C(x) = C(M,x) \ C(f,x).
Định lý 2.1.2 cho điều kiện cần tối ưu cấp hai dạng nguyên thủy, còn
Định lý 2.2.6 là dạng đối ngẫu qua một quy tắc nhân tử Lagrange.
Kí hiệu ker (h; X; v) = {w 2 R : h'(x)w + h (x)(v, v) = 0}.
2

n

ỉỉ

Bổ đề 2.1.1. Giả sử g' liên tục tại X 2 M và h = (h1;...;hr) là hàm

khả vi Fréchet hai lần tại X với hl(x);...;hr(x) độc lập tuyến tính. Nếu
v 2 C(M,x), w 2 ker (h,x,v) và
2

D‘p)g(xìvìw') \ IT (K; g(x); g'(x)v) = ;
2

thỉ w 2 T (G \ H; x, v).
2

0

Chứng minh. Chọn z 2 Dpg(x,v,w') \ IT (K; g(x); gf(x)v); khi đó tồn tại
2

(t ;W ) ! (0 ,w) sao cho
n

+

n

(n(x + t„v + — t2wc) — a(x) — t.m (ì'(x)v) /(— t2) —> z.
(g (x
+ bnv + 2bnwn) g (x ) ng (x )v)/ (2^ n)
! z:
b

Lấy (w' ) là một dãy hội tụ đến w. Do g là Lipschitz trong một lân cận của
n

x, dễ dàng kiểm tra được
g(x + tnv + t „w n) - g(x) - tng0(x)v
z n := ------------------2-----|'/2t ---------------------------! z.
1

2

f

2

n

Bởi vì z 2 IT (K; g(x); g'(x)v) = IT (int K;g(x);g'(x)v) theo Mệnh đề
2

1.1.2

2

(ii), với mọi (s ; z ) ! (0 ; z), với mọi n đủ lớn ta có
n

n

+

g(x) + Sng0(x)v + 1 s nzn 2 int K.
2

2
0


Đặc biệt, chọn z = z' và s = t ta nhận được
n

n

n

n

n(x) + / c/ (rr)v + —t z0 — Í1(x + t„v + —t 7//„ ) C- int K
g Jy
g ,Jy
(' ) + bng ('Jj)V + 2bnzn

(' + bnv + 2bnw n) 2 nu
-íV ;
2

2

với mọi n đủ lớn. Do đó, ta đã chứng minh được
9t ! 0 , ■ ! w 9n 2 N sao cho Vn > no, x + t v + -t^n 2 G .
+

n

0

n

0

(2.1)
Theo Mệnh đề 4.5 [19], ta có
ker (h, x, v) = A (H, x, v).
2

2

Với w 2 ker (h,x,v) theo giả thiết, ta có w 2 Ẩ (H,x,v). Từ định nghĩa
2

2

của Ẩ , với dãy t ! 0 của (2.1) tồn tại dãy w ! w sao cho
2

+

n

n

x + tnv + 1 t nWn 2 H.
2
2

Do (2.1) ta có
x + t v + t w 2 G , Vn đủ lớn.
2
2

n

n

n

0

Do đó,
x + t v + — t2nW 2 G0 \ H.
2
Từ đó suy ra w 2 T (G \ H,x,v).

n

2

n

□

0

Định lý 2.1.2. Xét bài toán (1.1). Giả sử f và g0 là các hàm liên tục tại

x 2 M, và h là hàm khả vi Fréchet hai lần tại x với h1(x), ...,h0 (x) độc
r

lập tuyến tính. Nếu x 2 LWMin(f, M) thì với Vv 2 C(x) và V(y ,z ) 2
0

0

D2(f,g)(x,v), hệ phương trình sau là khơng tương thích theo w 2 R :
n

8

f0(x)w + y 2 -int cone(D + f0(x)v),
0

<

g0(x)w + z 2 IT (K, g(x), g0(x)v),
0

2

h0(x)w + h00(x)(v, v) = 0.

2
1

(

2.2)


Chứng minh. Giả sử kết luận trên là sai. Khi đó tồn tại v 2 C(x), (y0, zo) 2
D‘2(f, g)(x,v) và w 2 R thỏa mãn hệ phương trình (2.2). Phương trình
n

thứ ba cho ta w 2 ker (h,x,v). Theo Mệnh đề 1.2.4 (ii),
2

y = (f (x)w,g (x)w) ■ (yo,zo) 2 Dpj,g)(x,v,w).

( ,z) :

0

0

Do đó các phương trình thứ nhất và thứ hai của hệ (2.2) kéo theo
( ,z

y)

2 {[(-int cone(D

■ f (x),v))
0

X IT (K, (x), (x)v)]
g g
2

0

g
\Dp(f; g) (x,v,w) .
Nếu ta định nghĩa f (x) = f (x) — f (x), thì rõ ràng f (x) = 0, f (x)v =
0

f (x)v, và theo Mệnh đề 1.1.2 (vii), bởi vì f (x)v 2 cone(—D — 0) = — D;
0

0

cho nên
IT (—D, f(x), f'(x)v) = IT (—D, 0, f (x)v) = — int cone(D + f (x)v).
2

2

0

0

Từ Mệnh đề 1.1.2 (iv) ta có
IT (( D)

2 - X K; (f(x),g(x)), (f0(x)v,g0(x)v))

= IT2(-D,f(x),f (x)v) X IT2(K,g(x),gỉ(x)v)
f

= (—int cone(D + f (x), v)) X IT (K, g(x), g (x)v).
0

2

0

Hơn nữa, Dp(f,g)(x, v, w) = Dp(f,g)(x, v, w). Để áp dụng Bổ đề 2.1.1 cho
(f ,g) thay cho g và (—D) X K thay cho K, ta để ý rằng nón tuyến tính
hố liên kết với các ràng buộc
( , )(x)

ỉg

2(

-D)

X K; h(x)

=0

tại điểm x là
{u

2 R : ( , )/(x)u 2 T (( D) X K;
g
fg
(ĩ,g)(x)), h/(x)u = 0

= {u 2 R : f (x)u 2 —D, g (x)u 2 T(K,g(x)), h (x)u = 0g
n

0

0

0

2
2


= C (x);

2

3


với giả thiết v 2 C(x).
Từ Bổ đề 2.1.1 ta suy ra
w 2 T2(FO n G n H; X; v);
0

trong đó

FO = {x 2 R : f (x) 2 -in D} = {x 2 R : f (x) - f (x) 2 -in D}.
Nhưng T2(FO n G n H; X; v) = 0, theo Mệnh đề 1.1.2 (iii) ta suy ra
0

v 2 T(FO n GO n H; x)
và điều này là mâu thuẫn vì X 2 LWMin(f; M) nghĩa là FO n M n U = 0
với lân cận U nào đó của X. Vì vậy,
T(FO n GO n H;X) = 0;
bởi vì
T(FO n GO n H; x) c T(FO n G n H; x) = T(FO n M n U; x) = 0.

□
2.2Điều kiện cần cấp hai dạng nhân tử Lagrange
Định nghĩa 2.2.1. [1]. Tập A c Rn được gọi là tập affine, nếu

(1 — A)x + Ay 2 A (8X;y 2 A;VA 2 R).
Định nghĩa 2.2.2. [1]. Tương giao của tất cả các tập affine chứa tập

A c R được gọi là bao affine của A, và kí hiệu là affA.
n

Chú ý rằng affA là tập affine nhỏ nhất chứa A.

2
4


Định nghĩa 2.2.3. [1]. Phần trong tương đối của tập A c Rn là phần

trong của A trong affA, và kí hiệu là ri A. Chú ý rằng
ri A = {x 2 affA : V > 0, (x + "B) \ affA c A},
trong đó B là hình cầu đơn vị đóng trong R .
n

Định nghĩa 2.2.4. Tập lồi B được gọi là mở tương đối nếu ri B = B.
Bổ đề 2.2.5. Cho ', T, ộ lần lượt là các hàm tuyến tính từRn vào Rp, Rm,

R, (yo, Zo,uo) 2 R X R X R, C là nón lồi của R với int C = ; và B là
tập lồi mở tương đối của R . Nếu hệ
m

8

'(x) + yo 2 — int C,
<

T(x) + z 2 B,

(2.3)

0

7(.x) + U0 = 0,
vơ nghiệm x 2 R , thì tồn tại
n

(X,y,v) 2 R X R X R, (X,y,v) = 0
sao cho X 2 C+,
Xo'+yoT+Voộ=0

(2.4)

<X,yo> + hy,z0) + hy,u0)> sup hy,h).

(2.5)

Chứng minh. Ta định nghĩa 7 : R ! R X R X R bởi
n

p

m

r

7 (x) = ('(x), T(x),ộ(x)),ữ0 = (y0,z ,uo),
o

và tập lồi
E = (—cl C) X cl B X {0}.

Ta có
ri E = (—int C) X ri B X {0}

2
5