ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC HOÀNG THỊ KIM NGỌC NGHIÊN CỨU HIỆU CHỈNH HÓA

TRONG BÀI TOÁN CÂN BẰNG

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

THÁI NGUYÊN – 2009

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn1

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC HOÀNG THỊ KIM NGỌC NGHIÊN CỨU HIỆU CHỈNH HÓA

TRONG BÀI TOÁN CÂN BẰNG

Chuyên ngành: Toán ứng dụng Mã số: 60. 46. 36 LUẬN VĂN THẠC SĨ TOÁN HỌC Người hướng dẫn khoa học: GS. TSKH LÊ DŨNG MƯU

THÁI NGUYÊN - 2009

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn2

M(cid:244)c l(cid:244)c

M(cid:244)c l(cid:244)c

1

Mº fi˙u

2

Ch›‹ng 1. B(cid:181)i to‚n c'n b»ng 4

1.1. C‚c ki(cid:213)n thłc chu¨n b(cid:222) . . . . . . . . . . . . . . . . . . . . 4

1.2. B(cid:181)i to‚n c'n b»ng v(cid:181) c‚c tr›Œng h(cid:238)p ri“ng . . . . . . . . . . 9

Ch›‹ng 2. Ph›‹ng ph‚p chi(cid:213)u v(cid:181) fi„o h(cid:181)m t¤ng c›Œng gi¶i b(cid:181)i to‚n

c'n b»ng 16

2.1. Ph›‹ng ph‚p chi(cid:213)u gi¶i b(cid:181)i to‚n c'n b»ng . . . . . . . . . . 16

2.2. Ph›‹ng ph‚p fi„o h(cid:181)m t¤ng c›Œng gi¶i b(cid:181)i to‚n c'n b»ng . . 25

Ch›‹ng 3. Ph›‹ng ph‚p h(cid:181)m fi‚nh gi‚ 40

3.1. H(cid:181)m fi‚nh gi‚ A.Auslender . . . . . . . . . . . . . . . . . . 42

K(cid:213)t lu¸n

53

T(cid:181)i li(cid:214)u tham kh¶o

54

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn3

1

3.2. H(cid:181)m fi‚nh gi‚ M.Fukushima . . . . . . . . . . . . . . . . . 48

Mº fi˙u

B(cid:181)i to‚n c'n b»ng cª nhi(cid:210)u łng d(cid:244)ng trong khoa h(cid:228)c, k(cid:220) thu¸t v(cid:181) fiŒi sŁng

nh›: v¸t l(cid:221) (fi˘c bi(cid:214)t l(cid:181) c‹ h(cid:228)c), ho‚ h(cid:228)c, sinh h(cid:228)c, qu'n sø, n«ng nghi(cid:214)p,

kinh t(cid:213), vi(cid:212)n th«ng... B(cid:181)i to‚n c'n b»ng l(cid:181) b(cid:181)i to‚n t(cid:230)ng qu‚t, nª bao g(cid:229)m

c‚c tr›Œng h(cid:238)p ri“ng nh›: b(cid:181)i to‚n tŁi ›u, b(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n ph'n,

b(cid:181)i to‚n b(cid:239) phi tuy(cid:213)n, b(cid:181)i to‚n Nash trong tr(cid:223) ch‹i h(cid:238)p t‚c... Do cª łng

d(cid:244)ng thøc t(cid:213) rØng r•i n“n vi(cid:214)c quy v(cid:210) b(cid:181)i to‚n c'n b»ng v(cid:181) fi›a ra c‚c thu¸t

to‚n gi¶i b(cid:181)i to‚n c'n b»ng l(cid:181) c˙n thi(cid:213)t. Ng(cid:181)y nay v(cid:237)i sø ph‚t tri(cid:211)n nhanh chªng cæa k(cid:220) thu¸t tin h(cid:228)c n“n ph„m vi v(cid:181) kh¶ n¤ng łng d(cid:244)ng cæa b(cid:181)i to‚n

c'n b»ng ng(cid:181)y c(cid:181)ng mº rØng.

Lu¸n v¤n n(cid:181)y nh»m gi(cid:237)i thi(cid:214)u v(cid:210) b(cid:181)i to‚n c'n b»ng v(cid:181) mØt sŁ ph›‹ng

ph‚p hi(cid:214)u ch(cid:216)nh cho b(cid:181)i to‚n c'n b»ng. Lu¸n v¤n g(cid:229)m m(cid:244)c l(cid:244)c, ba ch›‹ng,

Ch›‹ng 1 tr›(cid:237)c h(cid:213)t nh(cid:190)c l„i kh‚i ni(cid:214)m v(cid:181) k(cid:213)t qu¶ c‹ b¶n nh˚t v(cid:210) t¸p l(cid:229)i v(cid:181) h(cid:181)m l(cid:229)i sˇ fi›(cid:238)c d(cid:239)ng º c‚c ch›‹ng sau. Ti(cid:213)p theo l(cid:181) gi(cid:237)i thi(cid:214)u v(cid:210) b(cid:181)i

ph˙n k(cid:213)t lu¸n v(cid:181) t(cid:181)i li(cid:214)u tham kh¶o.

to‚n c'n b»ng v(cid:181) c‚c tr›Œng h(cid:238)p ri“ng cæa nª. Ph˙n n(cid:181)y fi›(cid:238)c coi l(cid:181) c‹ sº

Ch›‹ng 2 tr(cid:215)nh b(cid:181)y hai ph›‹ng ph‚p hi(cid:214)u ch(cid:216)nh b(cid:181)i to‚n c'n b»ng, fiª

l(cid:221) thuy(cid:213)t cho c‚c ph›‹ng ph‚p sˇ d(cid:239)ng fi(cid:213)n º c‚c ch›‹ng sau.

Ch›‹ng 3 gi(cid:237)i thi(cid:214)u hai lo„i h(cid:181)m fi‚nh gi‚ l(cid:181) h(cid:181)m fi‚nh gi‚ Auslender v(cid:181) h(cid:181)m fi‚nh gi‚ Fukushima. C‚c thu¸t to‚n t›‹ng łng v(cid:237)i hai lo„i h(cid:181)m fi‚nh

l(cid:181) ph›‹ng ph‚p chi(cid:213)u v(cid:181) ph›‹ng ph‚p fi„o h(cid:181)m t¤ng c›Œng.

gi‚ n(cid:181)y fi›(cid:238)c tr(cid:215)nh b(cid:181)y chi ti(cid:213)t trong ch›‹ng 3.

§(cid:211) ho(cid:181)n th(cid:181)nh lu¸n v¤n n(cid:181)y, t‚c gi¶ fi• nh¸n fi›(cid:238)c sø gi(cid:243)p fi(cid:236) v(cid:181) h›(cid:237)ng

d(cid:201)n t¸n t(cid:215)nh cæa GS.TSKH. L“ D(cid:242)ng M›u. T‚c gi¶ xin b(cid:181)y tÆ l(cid:223)ng bi(cid:213)t ‹n

s'u s(cid:190)c fi(cid:213)n th(cid:181)y cæa m(cid:215)nh.

T‚c gi¶ xin ch'n th(cid:181)nh c¶m ‹n c‚c th(cid:181)y c« trong BØ m«n to‚n, Tr›Œng §„i h(cid:228)c Khoa h(cid:228)c- §„i h(cid:228)c Th‚i Nguy“n, c(cid:239)ng c‚c b„n h(cid:228)c vi“n l(cid:237)p cao

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn4

2

h(cid:228)c to‚n K1 fi• lu«n t„o fii(cid:210)u ki(cid:214)n thu¸n l(cid:238)i, fiØng vi“n, kh(cid:221)ch l(cid:214) fi(cid:211) lu¸n

v¤n fi›(cid:238)c ho(cid:181)n th(cid:181)nh.

M˘c d(cid:239) t‚c gi¶ fi• cŁ g(cid:190)ng nh›ng lu¸n v¤n khª tr‚nh khÆi nh(cid:247)ng thi(cid:213)u

sªt, h„n ch(cid:213). T‚c gi¶ mong nh¸n fi›(cid:238)c nh(cid:247)ng (cid:253) ki(cid:213)n fiªng gªp cæa c‚c th(cid:181)y

c« v(cid:181) b„n fi(cid:228)c fi(cid:211) lu¸n v¤n fi›(cid:238)c ho(cid:181)n thi(cid:214)n h‹n.

Th‚i Nguy“n, 10/2009

Ho(cid:181)ng Th(cid:222) Kim Ng(cid:228)c

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn5

3

H(cid:228)c vi“n

Ch›‹ng 1

B(cid:181)i to‚n c'n b»ng

Ch›‹ng n(cid:181)y nh»m gi(cid:237)i thi(cid:214)u mØt sŁ kh‚i ni(cid:214)m v(cid:181) ki(cid:213)n thłc c‹ b¶n v(cid:210) b(cid:181)i

to‚n c'n b»ng v(cid:181) c‚c tr›Œng h(cid:238)p ri“ng cæa nª. Tr›(cid:237)c ti“n ta kh‚i qu‚t l„i

mØt sŁ ki(cid:213)n thłc v(cid:210) gi¶i t(cid:221)ch l(cid:229)i sˇ d(cid:239)ng fi(cid:213)n trong c‚c ph˙n cæa lu¸n v¤n.

1.1. C‚c ki(cid:213)n thłc chu¨n b(cid:222)

Gi¶i t(cid:221)ch l(cid:229)i fiªng vai tr(cid:223) quan tr(cid:228)ng trong vi(cid:214)c nghi“n cłu, ph'n t(cid:221)ch v(cid:181)

x'y døng c‚c thu¸t to‚n gi¶i b(cid:181)i to‚n c'n b»ng. M(cid:244)c fi(cid:221)ch ch(cid:221)nh cæa ph˙n

n(cid:181)y l(cid:181) nh(cid:190)c l„i mØt sŁ ki(cid:213)n thłc v(cid:210) gi¶i t(cid:221)ch l(cid:229)i, c‚c fi(cid:222)nh l(cid:253) kh«ng fi›(cid:238)c chłng minh cª th(cid:211) xem trong [4].

K(cid:221) hi(cid:214)u R l(cid:181) t¸p sŁ thøc, Rn l(cid:181) kh«ng gian Euclid n chi(cid:210)u.

§(cid:222)nh ngh(cid:220)a 1.1.1. [4] Cho hai fii(cid:211)m a, b trong kh«ng gian Euclid n-chi(cid:210)u Rn. §›Œng th…ng fii qua hai fii(cid:211)m a, b l(cid:181) t¸p h(cid:238)p c‚c fii(cid:211)m x trong Rn cª d„ng:

§o„n th…ng nŁi a, b l(cid:181) t¸p h(cid:238)p t˚t c¶ c‚c fii(cid:211)m x trong Rn cª d„ng:

x = λa + (1 − λ)b, ∀λ ∈ R.

x = λa + (1 − λ)b = λ(a − b) + b, 0 ≤ λ ≤ 1.

§(cid:222)nh ngh(cid:220)a 1.1.2. [4] T¸p A ⊆ Rn g(cid:228)i l(cid:181) t¸p l(cid:229)i, n(cid:213)u nª chła tr(cid:228)n fio„n th…ng nŁi hai fii(cid:211)m b˚t k(cid:215) thuØc nª.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn6

4

V(cid:221) d(cid:244) 1.1.1. H(cid:215)nh 1.1 cho ta v(cid:221) d(cid:244) fi‹n gi¶n v(cid:210) t¸p l(cid:229)i v(cid:181) t¸p kh«ng l(cid:229)i

(b) (c) (d)

(a) H(cid:215)nh 1.1. (a), (c)- T¸p l(cid:229)i; (b), (d)- T¸p kh«ng l(cid:229)i

§(cid:222)nh l(cid:253) 1.1.1. [1] T¸p l(cid:229)i l(cid:181) fiªng v(cid:237)i ph—p giao, ph—p h(cid:238)p, ph—p cØng, ph—p nh'n v(cid:237)i mØt sŁ v(cid:181) ph—p l˚y t(cid:230) h(cid:238)p tuy(cid:213)n t(cid:221)nh. Tłc l(cid:181), n(cid:213)u A v(cid:181) B l(cid:181) hai t¸p l(cid:229)i trong Rn th(cid:215) c‚c t¸p sau c(cid:242)ng l(cid:181) t¸p l(cid:229)i: a, A ∩ B := {x : x ∈ A, x ∈ B},

b, αA + βB := {x = αa + βb : a ∈ A, b ∈ B}.

§(cid:222)nh ngh(cid:220)a 1.1.3. [1] T¸p A ⊂ Rn fi›(cid:238)c g(cid:228)i l(cid:181) nªn n(cid:213)u:

x ∈ A, λ ≥ 0 ⇒ λx ∈ A.

MØt nªn lu«n chła fii(cid:211)m gŁc 0 ∈ Rn. T¸p A ⊂ Rn fi›(cid:238)c g(cid:228)i l(cid:181) nªn l(cid:229)i n(cid:213)u A vıa l(cid:181) nªn vıa l(cid:181) t¸p l(cid:229)i, tłc l(cid:181)

λ1x + λ2y ∈ A, ∀x, y ∈ A, ∀λ1, λ2 ≥ 0.

§(cid:222)nh ngh(cid:220)a 1.1.4. [4] Cho t¸p l(cid:229)i A ⊂ Rn v(cid:181) fii(cid:211)m x0 ∈ clA. T¸p

(cid:26) (cid:27) t ∈ Rn : (cid:10)t, x − x0(cid:11) ≤ 0, ∀x ∈ A NC(x0) =

l(cid:181) mØt nªn l(cid:229)i fiªng hay l(cid:181) nªn ph‚p tuy(cid:213)n ngo(cid:181)i cæa A t„i x0.

§(cid:222)nh ngh(cid:220)a 1.1.5. [3] Cho t¸p l(cid:229)i kh‚c r(cid:231)ng A ⊆ Rn. Vecto d 6= 0 fi›(cid:238)c g(cid:228)i l(cid:181) ph›‹ng l(cid:239)i xa cæa A n(cid:213)u v(cid:237)i m(cid:231)i x ∈ A cª:

Nh¸n x—t [3] ? M(cid:228)i n(cid:246)a fi›Œng th…ng song song v(cid:237)i mØt ph›‹ng l(cid:239)i xa d xu˚t ph‚t tı mØt fii(cid:211)m b˚t k(cid:215) cæa A fi(cid:210)u n»m tr(cid:228)n trong A. R(cid:226) r(cid:181)ng, t¸p A kh«ng b(cid:222) ch˘n khi

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn7

5

{x + λd | λ ≥ 0} ⊂ A.

v(cid:181) ch(cid:216) khi A cª mØt ph›‹ng l(cid:239)i xa. ? T¸p t˚t c¶ c‚c ph›‹ng l(cid:239)i xa cæa t¸p l(cid:229)i A ⊆ Rn c(cid:239)ng vecto 0 t„o th(cid:181)nh nªn l(cid:229)i. Nªn l(cid:229)i fi›(cid:238)c g(cid:228)i l(cid:181) nªn l(cid:239)i xa cæa t¸p A v(cid:181) k(cid:221) hi(cid:214)u l(cid:181) recA. ? Ta nªi hai ph›‹ng d1 v(cid:181) d2 l(cid:181) kh‚c bi(cid:214)t n(cid:213)u d1 6= αd2, α > 0. Ph›‹ng l(cid:239)i xa d cæa t¸p A fi›(cid:238)c g(cid:228)i l(cid:181) ph›‹ng cøc bi“n cæa A n(cid:213)u kh«ng t(cid:229)n t„i c‚c ph›‹ng l(cid:239)i xa kh‚c bi(cid:214)t d1 v(cid:181) d2 cæa A sao cho d = λ1d1 +λ2d2, λ1, λ2 > 0.

§(cid:222)nh ngh(cid:220)a 1.1.6. [1] MØt t¸p h(cid:238)p l(cid:181) giao cæa mØt sŁ h(cid:247)u h„n c‚c n(cid:246)a kh«ng gian fiªng fi›(cid:238)c g(cid:228)i l(cid:181) t¸p l(cid:229)i fia di(cid:214)n hay g(cid:228)i l(cid:181) kh(cid:243)c l(cid:229)i.

§(cid:222)nh ngh(cid:220)a 1.1.7. [1] T¸p con B cæa kh(cid:243)c l(cid:229)i A fi›(cid:238)c g(cid:228)i l(cid:181) mØt di(cid:214)n cæa A n(cid:213)u h(cid:212) B chła mØt fii(cid:211)m trong cæa mØt fio„n th…ng n(cid:181)o fiª cæa A th(cid:215) B chła c¶ fio„n th…ng fiª cæa A. Tłc l(cid:181),

∀a, b ∈ A n(cid:213)u x = λa + (1 − λ)b ∈ B, 0 < λ < 1 ⇒ a, b ∈ B.

MØt di(cid:214)n cª thł nguy“n b»ng 0 fi›(cid:238)c g(cid:228)i l(cid:181) mØt fi(cid:216)nh hay mØt fii(cid:211)m cøc bi“n. C„nh l(cid:181) di(cid:214)n cª thł nguy“n b»ng 1.

§(cid:222)nh l(cid:253) 1.1.2. [1] a, M(cid:228)i t¸p l(cid:229)i fia di(cid:214)n kh«ng chła tr(cid:228)n mØt fi›Œng th…ng fi(cid:210)u cª (cid:221)t nh˚t mØt fi(cid:216)nh. b, M(cid:228)i t¸p l(cid:229)i fia di(cid:214)n A cª fi(cid:216)nh b»ng t¸p h(cid:238)p cæa c‚c fii(cid:211)m x cª d„ng:

i∈I

j∈J λi = 1, λi, βj ≥ 0 v(cid:237)i m(cid:228)i i, j c(cid:223)n vi l(cid:181) c‚c fi(cid:216)nh, dj l(cid:181) c‚c

X X x = λivi + βjdj

trong fiª, P i∈I ph›‹ng cæa c‚c c„nh v« h„n cæa A.

§(cid:222)nh ngh(cid:220)a 1.1.8. [5] Cho M, K l(cid:181) c‚c t¸p l(cid:229)i kh‚c r(cid:231)ng cæa Rn, M ⊆ K v(cid:181) f : K × K → R ∪ {+∞}. Khi fiª: a, H(cid:181)m f fi‹n fii(cid:214)u m„nh tr“n M v(cid:237)i h»ng sŁ τ > 0 n(cid:213)u v(cid:237)i m(cid:231)i c˘p x, y ∈ M ta cª:

f (x, y) + f (y, x) ≤ −τ k x − y k2 .

b, H(cid:181)m f fi‹n fii(cid:214)u ch˘t tr“n M n(cid:213)u v(cid:237)i m(cid:228)i x, y ∈ M ta cª:

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn8

6

f (x, y) + f (y, x) < 0.

c, H(cid:181)m f fi‹n fii(cid:214)u tr“n M n(cid:213)u v(cid:237)i m(cid:231)i c˘p x, y ∈ M ta cª:

f (x, y) + f (y, x) ≤ 0.

d, H(cid:181)m f gi¶ fi‹n fii(cid:214)u tr“n M n(cid:213)u v(cid:237)i m(cid:231)i c˘p x, y ∈ M th(cid:215):

f (x, y) ≥ 0 ⇒ f (y, x) ≤ 0.

§(cid:222)nh ngh(cid:220)a 1.1.9. [4] a, H(cid:181)m f l(cid:181) h(cid:181)m l(cid:229)i x‚c fi(cid:222)nh tr“n t¸p l(cid:229)i X ⊆ Rn, n(cid:213)u:

f (cid:2)λx + (1 − λ)y(cid:3) ≤ λf (x) + (1 − λ)f (y),

v(cid:237)i b˚t k(cid:215) x, y ∈ X v(cid:181) sŁ thøc λ ∈ [0, 1]. b, H(cid:181)m f l(cid:181) h(cid:181)m l(cid:229)i ch˘t tr“n t¸p l(cid:229)i X, n(cid:213)u:

f (cid:2)λx + (1 − λ)y(cid:3) < λf (x) + (1 − λ)f (y),

v(cid:237)i b˚t k(cid:215) x, y ∈ X, x 6= y v(cid:181) λ ∈ (0, 1). c, H(cid:181)m f l(cid:181) h(cid:181)m l(cid:229)i m„nh v(cid:237)i h(cid:214) sŁ β > 0 tr“n t¸p l(cid:229)i X n(cid:213)u:

f (cid:2)λx + (1 − λ)y(cid:3) ≤ λf (x) + (1 − λ)f (y) − β(1 − λ)λ k x − y k2,

v(cid:237)i b˚t k(cid:215) x, y ∈ X v(cid:181) λ ∈ (0, 1). d, H(cid:181)m f fi›(cid:238)c g(cid:228)i l(cid:181) h(cid:181)m tøa l(cid:229)i tr“n t¸p l(cid:229)i X, n(cid:213)u v(cid:237)i ∀α ∈ R, t¸p młc d›(cid:237)i Lα(f ) = {x ∈ X : f (x) ≤ α} l(cid:181) t¸p l(cid:229)i.

§(cid:222)nh l(cid:253) 1.1.3. [1] Cho f l(cid:181) h(cid:181)m l(cid:229)i tr“n t¸p l(cid:229)i A v(cid:181) g l(cid:181) h(cid:181)m l(cid:229)i tr“n t¸p l(cid:229)i B. Khi fiª, c‚c h(cid:181)m sau l(cid:181) h(cid:181)m l(cid:229)i tr“n t¸p l(cid:229)i A ∩ B: a, λf + βg, ∀λ, β ≥ 0,

b, max(f, g).

§(cid:222)nh l(cid:221) 1.1.3 nh(cid:215)n chung kh«ng fi(cid:243)ng cho h(cid:181)m tøa l(cid:229)i. MØt h(cid:181)m l(cid:229)i cª th(cid:211) kh«ng li“n t(cid:244)c t„i mØt fii(cid:211)m tr“n bi“n mi(cid:210)n x‚c fi(cid:222)nh cæa nª. Tuy nhi“n, nª

l„i li“n t(cid:244)c t„i m(cid:228)i fii(cid:211)m trong cæa t¸p fiª theo fi(cid:222)nh l(cid:221) sau:

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn9

7

§(cid:222)nh l(cid:253) 1.1.4. [1] MØt h(cid:181)m l(cid:229)i x‚c fi(cid:222)nh tr“n t¸p l(cid:229)i A th(cid:215) li“n t(cid:244)c t„i m(cid:228)i fii(cid:211)m trong cæa t¸p A.

§(cid:222)nh l(cid:253) 1.1.5. [4] Cho h(cid:181)m f l(cid:229)i, kh¶ vi tr“n t¸p l(cid:229)i A. Khi fiª v(cid:237)i m(cid:228)i x, y ∈ A cª:

f (y) − f (x) ≥ (cid:10)∇f (x), y − x(cid:11).

N(cid:213)u f l(cid:229)i ch˘t, kh¶ vi tr“n t¸p l(cid:229)i A. Khi fiª v(cid:237)i m(cid:228)i x, y ∈ A v(cid:181) x 6= y ta cª:

f (y) − f (x) > (cid:10)∇f (x), y − x(cid:11).

N(cid:213)u f l(cid:181) l(cid:229)i m„nh v(cid:237)i h(cid:214) sŁ β > 0, kh¶ vi tr“n t¸p l(cid:229)i A. Khi fiª v(cid:237)i m(cid:228)i x, y ∈ A ta cª:

f (y) − f (x) ≥ (cid:10)∇f (x), y − x(cid:11) + β k y − x k2 .

§(cid:222)nh l(cid:253) 1.1.6. [1] Cho f l(cid:181) h(cid:181)m l(cid:229)i, kh¶ vi tr“n t¸p l(cid:229)i fiªng A. MØt fii(cid:211)m x∗ ∈ A l(cid:181) nghi(cid:214)m tŁi ›u cæa b(cid:181)i to‚n quy ho„ch l(cid:229)i:

f (x) min x∈A

khi v(cid:181) ch(cid:216) khi nª l(cid:181) fii(cid:211)m dıng cæa f tr“n A, tłc l(cid:181):

(cid:10)∇f (x∗), y − x∗(cid:11) ≥ 0, ∀y ∈ A.

Tı fi(cid:222)nh l(cid:221) 1.1.5 v(cid:181) 1.1.6 cª: n(cid:213)u f l(cid:181) h(cid:181)m l(cid:229)i m„nh tr“n t¸p l(cid:229)i fiªng A th(cid:215) b(cid:181)i to‚n:

f (x) min x∈A

cª nghi(cid:214)m duy nh˚t.

§(cid:222)nh ngh(cid:220)a 1.1.10. [1] Cho f l(cid:181) mØt h(cid:181)m l(cid:229)i tr“n t¸p l(cid:229)i A. MØt vecto y∗ ∈ Rn fi›(cid:238)c g(cid:228)i l(cid:181) d›(cid:237)i vi ph'n cæa f t„i x∗ ∈ A n(cid:213)u: f (x) ≥ f (x∗) + (cid:10)y∗, x − x∗(cid:11), ∀x ∈ A.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn10

8

T¸p h(cid:238)p t˚t c¶ c‚c fii(cid:211)m y∗ tho¶ m•n b˚t fi…ng thłc tr“n fi›(cid:238)c k(cid:221) hi(cid:214)u ∂f (x∗). T¸p ∂f (x∗) nh(cid:215)n chung th›Œng chła nhi(cid:210)u fii(cid:211)m. Trong tr›Œng h(cid:238)p ∂f (x∗) ch(cid:216) chła duy nh˚t mØt fii(cid:211)m ta nªi r»ng f kh¶ vi t„i x∗.

V(cid:221) d(cid:244) 1.1.2. f (x) =k x k kh¶ vi t„i m(cid:228)i fii(cid:211)m x 6= 0 do ∂f (x) = k x k−1x, kh«ng kh¶ vi t„i x = 0 do ∂f (x) = {y : k x k≥ (cid:10)y, x(cid:11), ∀y}.

§(cid:222)nh ngh(cid:220)a 1.1.11. [3] Cho D ⊂ Rn, D 6= ∅, f : D → R. MØt fii(cid:211)m x∗ ∈ D fi›(cid:238)c g(cid:228)i l(cid:181) cøc ti(cid:211)u fi(cid:222)a ph›‹ng cæa f tr“n D, n(cid:213)u t(cid:229)n t„i mØt l'n c¸n mº U cæa x∗, sao cho f (x∗) ≤ f (x), ∀x ∈ D ∩ U . §i(cid:211)m x∗ fi›(cid:238)c g(cid:228)i l(cid:181) cøc ti(cid:211)u tuy(cid:214)t fiŁi cæa f tr“n D n(cid:213)u f (x∗) ≤ f (x), ∀x ∈ D.

§(cid:222)nh l(cid:253) 1.1.7. [1] a, M(cid:228)i fii(cid:211)m cøc ti(cid:211)u fi(cid:222)a ph›‹ng cæa mØt h(cid:181)m l(cid:229)i tr“n mØt t¸p l(cid:229)i fi(cid:210)u l(cid:181) fii(cid:211)m cøc ti(cid:211)u tuy(cid:214)t fiŁi. b, N(cid:213)u x∗ l(cid:181) fii(cid:211)m cøc ti(cid:211)u cæa h(cid:181)m l(cid:229)i f tr“n t¸p l(cid:229)i D v(cid:181) x∗ ∈ intD th(cid:215) 0 ∈ ∂f (x∗).

§(cid:222)nh l(cid:253) 1.1.8. [1] Cøc fi„i cæa mØt h(cid:181)m l(cid:229)i (n(cid:213)u cª ) tr“n mØt t¸p l(cid:229)i cª fii(cid:211)m cøc bi“n bao giŒ c(cid:242)ng fi„t t„i mØt fii(cid:211)m cøc bi“n.

1.2. B(cid:181)i to‚n c'n b»ng v(cid:181) c‚c tr›Œng h(cid:238)p ri“ng

B(cid:181)i to‚n c'n b»ng cª (cid:253) ngh(cid:220)a quan tr(cid:228)ng trong kinh t(cid:213) v(cid:181) nhi(cid:210)u l(cid:220)nh vøc

thøc ti(cid:212)n kh‚c. H‹n n(cid:247)a, b(cid:181)i to‚n c'n b»ng l(cid:181) sø mº rØng cæa nhi(cid:210)u b(cid:181)i

to‚n kh‚c nh›: b(cid:181)i to‚n tŁi ›u, b(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n ph'n, b(cid:181)i to‚n

c'n b»ng Nash... V(cid:215) l(cid:221) do fiª m(cid:181) l(cid:237)p c‚c b(cid:181)i to‚n c'n b»ng fi›(cid:238)c nhi(cid:210)u nh(cid:181)

to‚n h(cid:228)c quan t'm, nghi“n cłu. Ph˙n n(cid:181)y sˇ gi(cid:237)i thi(cid:214)u d„ng to‚n h(cid:228)c cæa

b(cid:181)i to‚n c'n b»ng v(cid:181) mØt sŁ b(cid:181)i to‚n t›‹ng fi›‹ng v(cid:237)i b(cid:181)i to‚n c'n b»ng. NØi dung chæ y(cid:213)u cæa ph˙n n(cid:181)y fi›(cid:238)c tham kh¶o trong [2].

Trong to(cid:181)n bØ lu¸n v¤n n(cid:181)y ta lu«n gi¶ thi(cid:213)t K l(cid:181) t¸p l(cid:229)i fiªng kh‚c r(cid:231)ng trong Rn.

§(cid:222)nh ngh(cid:220)a 1.2.1. [2] Cho h(cid:181)m f : K × K → R tho¶ m•n f (x, x) = 0, ∀x ∈ K. Khi fiª, b(cid:181)i to‚n c'n b»ng fi›(cid:238)c ph‚t bi(cid:211)u nh› sau:

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn11

9

T(cid:215)m x∗ ∈ K sao cho f (x∗, y) ≥ 0, ∀y ∈ K. (1.1)

H(cid:181)m sŁ f tho¶ m•n t(cid:221)nh ch˚t f (x, x) = 0, ∀x ∈ K fi›(cid:238)c g(cid:228)i l(cid:181) h(cid:181)m c'n b»ng tr“n K.

Nh› fi• nªi º tr“n, c‚c b(cid:181)i to‚n quan tr(cid:228)ng cª th(cid:211) fi›a v(cid:210) b(cid:181)i to‚n c'n b»ng.

D›(cid:237)i fi'y ta tr(cid:215)nh b(cid:181)y sø t›‹ng fi›‹ng cæa b(cid:181)i to‚n c'n b»ng v(cid:237)i c‚c b(cid:181)i

B(cid:181)i to‚n tŁi ›u [2] Cho J : K → R l(cid:181) mØt h(cid:181)m sŁ x‚c fi(cid:222)nh tr“n K. Khi fiª, b(cid:181)i to‚n tŁi ›u fi›(cid:238)c ph‚t bi(cid:211)u nh› sau:

to‚n kh‚c.

T(cid:215)m x∗ ∈ K sao cho J(x∗) ≤ J(y), ∀y ∈ K. (1.2)

N(cid:213)u ta fi˘t f (x, y) := J(y) − J(x) v(cid:237)i ∀x, y ∈ K th(cid:215) b(cid:181)i to‚n tŁi ›u t›‹ng fi›‹ng v(cid:237)i b(cid:181)i to‚n c'n b»ng.

Th¸t v¸y, gi¶ s(cid:246) x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (1.2) n“n theo fi(cid:222)nh ngh(cid:220)a ta cª:

J(x∗) ≤ J(y), ∀y ∈ K.

M˘t kh‚c,

f (x, y) = J(y) − J(x), ∀x, y ∈ K.

Do ޻,

f (x∗, y) = J(y) − J(x∗) ≥ 0, ∀y ∈ K.

V¸y x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (1.1). Ng›(cid:238)c l„i, cho x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (1.1) n“n ta cª:

f (x∗, y) ≥ 0, ∀y ∈ K.

Theo c‚ch fi˘t ta cª:

f (x∗, y) = J(y) − J(x∗) ≥ 0, ∀y ∈ K ⇒ J(y) ≥ J(x∗), ∀y ∈ K.

B(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n ph'n t(cid:230)ng qu‚t [2]

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn12

10

V¸y x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (1.2).

Cho T : K → 2Rn l(cid:181) ‚nh x„ n(cid:246)a li“n t(cid:244)c tr“n tı mØt fii(cid:211)m v(cid:181)o mØt t¸p h(cid:238)p sao cho T (x) l(cid:181) t¸p compact, ∀x ∈ K. Khi fiª, b(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n ph'n t(cid:230)ng qu‚t fi›(cid:238)c ph‚t bi(cid:211)u nh› sau:

(cid:10)ξ∗, y − x∗(cid:11) ≥ 0, ∀y ∈ K T(cid:215)m x∗ ∈ K, ξ∗ ∈ T (x∗) sao cho

(1.3) (cid:10)ξ, y − x(cid:11), ∀x, y ∈ K th(cid:215) b(cid:181)i to‚n c'n N(cid:213)u ta fi˘t f (x, y) := maxξ∈T (x) b»ng (1.1) t›‹ng fi›‹ng v(cid:237)i b(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n ph'n t(cid:230)ng qu‚t.

Th¸t v¸y, gi¶ s(cid:246) x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (1.3) n“n cª:

(cid:10)ξ∗, y − x∗(cid:11) ≥ 0, ∀y ∈ K, ξ∗ ∈ T (x∗).

M˘t kh‚c theo c‚ch fi˘t ta cª:

(cid:10)ξ∗, y − x∗(cid:11) ≥ 0, ∀y ∈ K. f (x∗, y) = max ξ∗∈T (x∗)

V¸y x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (1.1). Ng›(cid:238)c l„i, cho x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (1.1) n“n

f (x∗, y) ≥ 0, ∀y ∈ K.

Theo c‚ch fi˘t ta cª:

(cid:10)ξ∗, y − x∗(cid:11) ≥ 0, ∀y ∈ K. f (x∗, y) = max ξ∗∈T (x∗)

V¸y x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (1.3).

• N(cid:213)u T l(cid:181) ‚nh x„ fi‹n tr(cid:222) th(cid:215) b(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n ph'n t(cid:230)ng qu‚t l(cid:181) b(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n ph'n sau:

(cid:10)T (x∗), y − x∗(cid:11) ≥ 0, ∀y ∈ K. T(cid:215)m x∗ ∈ K sao cho

B(cid:181)i to‚n b(cid:239) phi tuy(cid:213)n [2] Cho K ⊆ Rn l(cid:181) mØt nªn l(cid:229)i fiªng, K ∗ = {x ∈ Rn | (cid:10)x, y(cid:11) ≥ 0, ∀y ∈ K} l(cid:181) nªn fiŁi cøc cæa nªn K.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn13

11

(1.4) N(cid:213)u ta fi˘t f (x, y) := (cid:10)T (x), y − x(cid:11), ∀x, y ∈ K th(cid:215) v(cid:237)i c‚ch l¸p lu¸n nh› tr“n b(cid:181)i to‚n (1.4) t›‹ng fi›‹ng v(cid:237)i b(cid:181)i to‚n c'n b»ng (1.1).

Cho ‚nh x„ T : K → Rn li“n t(cid:244)c. Khi fiª, b(cid:181)i to‚n b(cid:239) phi tuy(cid:213)n fi›(cid:238)c ph‚t bi(cid:211)u nh› sau:

(cid:10)T (x∗), x∗(cid:11) = 0. T(cid:215)m x∗ ∈ K sao cho T (x∗) ∈ K v(cid:181)

(1.5) N(cid:213)u ta fi˘t f (x, y) := (cid:10)T (x), y − x(cid:11), ∀x, y ∈ K th(cid:215) b(cid:181)i to‚n b(cid:239) phi tuy(cid:213)n (1.5) sˇ t›‹ng fi›‹ng v(cid:237)i b(cid:181)i to‚n c'n b»ng (1.1).

Th¸t v¸y, gi¶ s(cid:246) x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (1.5) n“n ta cª:

(cid:10)T (x∗), x∗(cid:11) = 0. T (x∗) ∈ K v(cid:181)

M˘t kh‚c theo c‚ch fi˘t ta cª:

f (x∗, y) = (cid:10)T (x∗), y − x∗(cid:11)

= (cid:10)T (x∗), y(cid:11) − (cid:10)T (x∗), x∗(cid:11) = (cid:10)T (x∗), y(cid:11) ≥ 0, ∀y ∈ K.

V¸y x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng (1.1). Ng›(cid:238)c l„i, cho x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (1.1) ta cª:

f (x∗, y) ≥ 0 ∀y ∈ K.

Theo c‚ch fi˘t ta cª:

f (x∗, y) = (cid:10)T (x∗), y − x∗(cid:11), ∀y ∈ K.

(cid:10)T (x∗), −x∗(cid:11) ≥ 0 hay

(cid:10)T (x∗), 2x∗ − x∗(cid:11) ≥ 0 hay

Do K l(cid:181) nªn n“n 0 ∈ K v(cid:181) 2x∗ ∈ K. Trong fi…ng thłc tr“n n(cid:213)u l˚y (cid:10)T (x∗), x∗(cid:11) ≤ 0, c(cid:223)n n(cid:213)u l˚y y = 0 ∈ K cª (cid:10)T (x∗), x∗(cid:11) ≥ 0.V¸y y = 2x∗ ∈ K ta cª (cid:10)T (x∗), x∗(cid:11) = 0. H‹n n(cid:247)a, do 0 ≤ (cid:10)T (x∗), y − x∗(cid:11) = (cid:10)T (x∗), y(cid:11) − (cid:10)t(x∗), x∗(cid:11) = (cid:10)T (x∗), y(cid:11), ∀y ∈ K. (cid:10)T (x∗), y(cid:11) ≥ 0, ∀y ∈ K n“n T (x∗) ∈ K. Do fiª, x∗ ∈ K l(cid:181) nghi(cid:214)m

Ch(cid:243) (cid:253) Khi K l(cid:181) nªn l(cid:229)i fiªng th(cid:215) b(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n ph'n (1.4)

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn14

12

Do cæa (1.5).

ch(cid:221)nh l(cid:181) b(cid:181)i to‚n b(cid:239) phi tuy(cid:213)n (1.5).

B(cid:181)i to‚n fii(cid:211)m b˚t fiØng Kakutani [2] Cho T : Rn → 2Rn Khi fiª, b(cid:181)i to‚n fii(cid:211)m b˚t fiØng Kakutani fi›(cid:238)c ph‚t bi(cid:211)u nh› sau:

v(cid:237)i K ∩T (x) l(cid:181) t¸p compact l(cid:229)i, kh‚c r(cid:231)ng, v(cid:237)i ∀x ∈ K.

T(cid:215)m x∗ ∈ K sao cho x∗ ∈ T (x∗)

(1.6) (cid:10)x − ξ, y − x(cid:11), ∀x, y ∈ K th(cid:215) b(cid:181)i to‚n c'n

N(cid:213)u ta fi˘t f (x, y) := maxξ∈T (x) b»ng (1.1) t›‹ng fi›‹ng v(cid:237)i b(cid:181)i to‚n fii(cid:211)m b˚t fiØng (1.6).

Th¸t v¸y, gi¶ s(cid:246) x∗ ∈ K l(cid:181) nghi(cid:214)m cæa (1.6) n“n

T (x∗) = x∗.

M˘t kh‚c theo c‚ch fi˘t ta cª

f (x∗, y) = (cid:10)x∗ − T (x∗), y − x∗(cid:11), ∀y ∈ K.

Do fiª, x∗ ∈ K l(cid:181) nghi(cid:214)m cæa (1.1). Ng›(cid:238)c l„i, cho x∗ ∈ K l(cid:181) nghi(cid:214)m cæa (1.1) n“n

f (x∗, y) ≥ 0, ∀y ∈ K.

Theo c‚ch fi˘t cª

f (x∗, y) = (cid:10)x∗ − T (x∗), y − x∗(cid:11), ∀y ∈ K.

Ch(cid:228)n y = T (x∗) ∈ K ta cª

f (x∗, y) = (cid:10)x∗ − T (x∗), T (x∗) − x∗(cid:11) ≥ 0, ∀y ∈ K ⇒ − k x∗ − T (x∗) k≥ 0, ∀y ∈ K ⇒k x∗ − T (x∗) k≤ 0, ∀y ∈ K ⇒ x∗ = T (x∗), ∀y ∈ K.

V¸y x∗ ∈ K l(cid:181) nghi(cid:214)m cæa (1.6).

• N(cid:213)u T l(cid:181) ‚nh x„ fi‹n tr(cid:222) th(cid:215) b(cid:181)i to‚n fii(cid:211)m b˚t fiØng Kakutani trº th(cid:181)nh b(cid:181)i to‚n fii(cid:211)m b˚t fiØng Brouwer sau:

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn15

13

(1.7) T(cid:215)m x∗ ∈ K sao cho x∗ = T (x∗).

i (t¸p chi(cid:213)n l›(cid:238)c cæa ng›Œi ch‹i thł i ).

B(cid:181)i to‚n c'n b»ng Nash (trong tr(cid:223) ch‹i kh«ng h(cid:238)p t‚c) [2] • Cho I = {1, 2, . . . , p} l(cid:181) t¸p ch(cid:216) sŁ h(cid:247)u h„n (t¸p p−ng›Œi ch‹i ). • Ki l(cid:181) t¸p l(cid:229)i kh‚c r(cid:231)ng cæa Rn • H(cid:181)m fi : K1 × . . . × Kp → R cho tr›(cid:237)c (h(cid:181)m t(cid:230)n th˚t cæa ng›Œi ch‹i thł i khi vi ph„m chi(cid:213)n l›(cid:238)c cæa nh(cid:247)ng ng›Œi ch‹i v(cid:237)i ∀i ∈ I ) Cho x = (x1, . . . , xp) ∈ K1 × . . . Kp v(cid:181) y = (y1, . . . , yp) ∈ K1 × . . . Kp Ta fi(cid:222)nh ngh(cid:220)a vecto x[yi] ∈ K1 × . . . × Kp nh› sau:

N(cid:213)u ta fi˘t f (x, y) := (cid:10)x − T (x), y − x(cid:11), ∀x, y ∈ K th(cid:215) v(cid:237)i c‚ch l¸p lu¸n nh› tr“n ch(cid:216) ra fi›(cid:238)c r»ng b(cid:181)i to‚n (1.7) t›‹ng fi›‹ng v(cid:237)i b(cid:181)i to‚n c'n b»ng.

  xj, ∀j 6= i x[yi]j = ∀j = i  yi,

§˘t K = K1 × . . . × Kp Khi fiª, b(cid:181)i to‚n c'n b»ng Nash fi›(cid:238)c ph‚t bi(cid:211)u nh› sau:

T(cid:215)m x∗ ∈ K sao cho fi(x∗) ≤ fi(x∗[yi]), ∀i ∈ I, ∀y ∈ K. (1.8)

§i(cid:211)m tho¶ m•n (1.8) g(cid:228)i l(cid:181) fii(cid:211)m c'n b»ng Nash. V(cid:210) (cid:253) ngh(cid:220)a kinh t(cid:213), fii(cid:211)m c'n b»ng n(cid:181)y nªi l“n r»ng b˚t k(cid:215) fiŁi thæ n(cid:181)o ch(cid:228)n ph›‹ng ‚n ra khÆi fii(cid:211)m

c'n b»ng trong khi c‚c fiŁi thæ c(cid:223)n l„i v(cid:201)n gi(cid:247) ph›‹ng ‚n fii(cid:211)m c'n b»ng

p P i=1

{fi(x[yi]) − fi(x)} th(cid:215) fiŁi thæ ra khÆi fii(cid:211)m c'n b»ng sˇ b(cid:222) thua thi(cid:214)t. N(cid:213)u ta fi˘t f : K×K → R fi›(cid:238)c x‚c fi(cid:222)nh bºi f (x, y) :=

v(cid:237)i ∀x, y ∈ K th(cid:215) b(cid:181)i to‚n c'n b»ng Nash (1.8) t›‹ng fi›‹ng v(cid:237)i b(cid:181)i to‚n c'n b»ng (1.1).

Th¸t v¸y, gi¶ s(cid:246) x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (1.8) n“n:

p X

fi(x∗) ≤ fi(x∗[yi]), ∀i ∈ I, ∀yi ∈ Ki ⇒ fi(x∗[yi]) − fi(x∗) ≥ 0, ∀i ∈ I, ∀yi ∈ Ki

i=1

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn16

14

⇒ (cid:8)fi(x∗[yi]) − fi(x∗)(cid:9) ≥ 0, ∀y ∈ K.

Theo c‚ch fi˘t cª:

f (x∗, y) ≥ 0, ∀y ∈ K.

V¸y x∗ ∈ K l(cid:181) nghi(cid:214)m cæa (1.1). Ng›(cid:238)c l„i, cho x∗ ∈ K l(cid:181) nghi(cid:214)m cæa (1.1) m(cid:181) kh«ng l(cid:181) nghi(cid:214)m cæa (1.9). Do x∗ ∈ K l(cid:181) nghi(cid:214)m cæa (1.1) n“n ta cª:

f (x∗, y) ≥ 0, ∀y ∈ K.

p X

Theo c‚ch fi˘t cª:

i=1

{fi(x∗[yi]) − fi(x∗)} ≥ 0, ∀i ∈ K, ∀y ∈ K.

Do x∗ ∈ K kh«ng l(cid:181) nghi(cid:214)m cæa (1.8) n“n ∃i0 ∈ K sao cho:

fi(x∗) > fi(x∗[yi]), ∀yi ∈ Ki.

Ta l˚y x∗[yj] = x∗, ∀j 6= i0 suy ra

fi(x∗[yj]) − fi(x∗) = 0, ∀j 6= i0.

p X

K(cid:213)t h(cid:238)p hai fii(cid:210)u tr“n ta suy ra

i=1

(cid:8)fi(x∗[yi]) − fi(x∗)(cid:9) < 0, m'u thu(cid:201)n.

K(cid:213)t lu¸n ch›‹ng

V¸y x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (1.8).

Ch›‹ng n(cid:181)y tr›(cid:237)c ti“n nh(cid:190)c l„i mØt sŁ k(cid:213)t qu¶ c‹ b¶n cæa gi¶i t(cid:221)ch l(cid:229)i sˇ

d(cid:239)ng fi(cid:213)n trong c‚c ch›‹ng sau. Ti(cid:213)p theo l(cid:181) tr(cid:215)nh b(cid:181)y d„ng to‚n h(cid:228)c cæa

b(cid:181)i to‚n c'n b»ng, fi(cid:229)ng thŒi th«ng qua c‚c ph—p bi(cid:213)n fi(cid:230)i ph(cid:239) h(cid:238)p ch(cid:216) ra sø

t›‹ng fi›‹ng gi(cid:247)a b(cid:181)i to‚n c'n b»ng v(cid:237)i b(cid:181)i to‚n tŁi ›u, b(cid:181)i to‚n b˚t fi…ng

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn17

15

thłc bi(cid:213)n ph'n, b(cid:181)i to‚n b(cid:239) phi tuy(cid:213)n, b(cid:181)i to‚n fii(cid:211)m b˚t fiØng, b(cid:181)i to‚n c'n b»ng Nash.

Ch›‹ng 2

Ph›‹ng ph‚p chi(cid:213)u v(cid:181) fi„o h(cid:181)m t¤ng c›Œng gi¶i b(cid:181)i to‚n c'n b»ng

B(cid:181)i to‚n c'n b»ng cª (cid:253) ngh(cid:220)a thøc ti(cid:212)n l(cid:237)n, do fiª vi(cid:214)c t(cid:215)m lŒi gi¶i cho b(cid:181)i

to‚n c'n b»ng l(cid:181) r˚t c˙n thi(cid:213)t. Ch›‹ng n(cid:181)y nh»m gi(cid:237)i thi(cid:214)u ph›‹ng ph‚p

chi(cid:213)u v(cid:181) ph›‹ng ph‚p fi„o h(cid:181)m t¤ng c›Œng gi¶i b(cid:181)i to‚n c'n b»ng. NØi dung chæ y(cid:213)u cæa ch›‹ng n(cid:181)y fi›(cid:238)c xem trong [2], [5].

2.1. Ph›‹ng ph‚p chi(cid:213)u gi¶i b(cid:181)i to‚n c'n b»ng

Ph›‹ng ph‚p chi(cid:213)u l(cid:181) ph›‹ng ph‚p c‹ b¶n nh˚t fi(cid:211) gi¶i b(cid:181)i to‚n fiŁi ng(cid:201)u

cæa b(cid:181)i to‚n c'n b»ng. Tr›(cid:237)c ti“n ta fi(cid:222)nh ngh(cid:220)a b(cid:181)i to‚n fiŁi ng(cid:201)u.

§(cid:222)nh ngh(cid:220)a 2.1.1. [2] B(cid:181)i to‚n fiŁi ng(cid:201)u cæa b(cid:181)i to‚n c'n b»ng fi›(cid:238)c ph‚t bi(cid:211)u nh› sau:

T(cid:215)m x∗ ∈ K sao cho : f (y, x∗) ≤ 0, ∀y ∈ K. (2.1)

Trong fiª, f : K × K → R l(cid:181) h(cid:181)m li“n t(cid:244)c tho¶ m•n:

a, f (x, x) = 0, ∀x ∈ K, b, f (x, .) : K → R l(cid:181) h(cid:181)m l(cid:229)i v(cid:237)i ∀x ∈ K.

y∈K

Lf (y). V(cid:237)i m(cid:231)i x ∈ K fi˘t Lf (x) = {y ∈ K | f (x, y) ≤ 0}. R(cid:226) r(cid:181)ng, x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n fiŁi ng(cid:201)u (2.1) khi v(cid:181) ch(cid:216) khi x∗ ∈ T

§(cid:222)nh l(cid:221) sau ch(cid:216) ra mŁi quan h(cid:214) gi(cid:247)a nghi(cid:214)m cæa b(cid:181)i to‚n fiŁi ng(cid:201)u v(cid:181) nghi(cid:214)m

cæa b(cid:181)i to‚n c'n b»ng.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn18

16

§(cid:222)nh l(cid:253) 2.1.1. [2] T¸p nghi(cid:214)m cæa b(cid:181)i to‚n fiŁi ng(cid:201)u l(cid:181) t¸p con cæa t¸p nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

Chłng minh Cho x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n fiŁi ng(cid:201)u, l˚y y ∈ K, ∀λ ∈ [0, 1] ta fi(cid:222)nh ngh(cid:220)a zλ ∈ K nh› sau:

zλ := λy + (1 − λ)x∗.

(a) =f (zλ, zλ) = f (zλ, λy + (1 − λ)x∗) 0

(b) ≤λf (zλ, y) + (1 − λ)f (zλ, x∗). (2.2)

V(cid:237)i m(cid:231)i λ ∈ [0, 1] ta cª

Do x∗ l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n fiŁi ng(cid:201)u n“n:

y∈K

Lf (y) = T {x ∈ K | f (y, x) ≤ 0}. x∗ ∈ T y∈K

L˚y y = zλ, v(cid:237)i ∀λ ∈ [0, 1] ta lu«n cª f (zλ, x∗) ≤ 0. Do fiª, ∀λ ∈ [0, 1], ∀y ∈ K v(cid:181) tı (2.1) ta cª:

0 ≤ λf (zλ, y) ≤ f (λy + (1 − λ)x∗, y) = f (x∗ + λ(y − x∗), y).

Cho λ → 0, do t(cid:221)nh li“n t(cid:244)c cæa f n“n:

0 ≤ f (x∗, y), ∀y ∈ K.

(cid:3)

⇒ x∗ l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng. Ta cª fii(cid:210)u ph¶i chłng minh. Nh¸n x—t [2] ? M(cid:214)nh fi(cid:210) fi¶o cæa fi(cid:222)nh l(cid:221) 2.1.1 kh«ng fi(cid:243)ng. Th¸t v¸y, l˚y N = 1 v(cid:181) l˚y K = [0, 2] v(cid:181) k(cid:221) hi(cid:214)u S1 l(cid:181) t¸p nghi(cid:214)m cæa b(cid:181)i to‚n fiŁi ng(cid:201)u, S2 l(cid:181) t¸p nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng. Khi fiª, a, f (x, y) = (x − y)2 ⇒ S1 = ∅, S2 = [0, 2] ⇒ S1 * S2. b, f (x, y) = max{0, | x − y | −1} ⇒ S1 = {1}, S2 = [0, 2] ⇒ S1 * S2. ? Khi f l(cid:181) gi¶ fi‹n fii(cid:214)u, ngh(cid:220)a l(cid:181) ∀x, y ∈ K : f (x, y) ≥ 0 ⇒ f (y, x) ≤ 0, m(cid:214)nh fi(cid:210) fi¶o cæa 2.1.1 fi(cid:243)ng. Khi fiª, b(cid:181)i to‚n fiŁi ng(cid:201)u v(cid:181) b(cid:181)i to‚n c'n b»ng cª c(cid:239)ng t¸p nghi(cid:214)m.

Thu¸t to‚n chi(cid:213)u 2.1 [2] B›(cid:237)c 1: Cho k = 0, x0 ∈ K v(cid:181) r0 = k x0 k. B›(cid:237)c 2: L˚y xk v(cid:181) rk (i) §(cid:222)nh ngh(cid:220)a:

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn19

17

Ta cª thu¸t to‚n chi(cid:213)u 2.1 sau fi(cid:211) gi¶i b(cid:181)i to‚n fiŁi ng(cid:201)u.

(2.1a) Kk = {x ∈ K : k x k ≤ rk + 1}.

(ii) T(cid:215)m yk ∈ Kk cª t(cid:221)nh ch˚t:

(2.1b) f (y, xk) − (cid:15)k ≤ f (yk, xk), max y∈Kk

(cid:15)k = 0.

v(cid:237)i {(cid:15)k}k≥0 ⊂ [0, +∞] l(cid:181) d•y tho¶ m•n lim k→+∞ (iii) T(cid:221)nh xk+1 d„ng:

(2.1c) xk+1 = xk + tk (cid:2)PLf (yk)(xk) − xk(cid:3),

trong fiª, PLf (yk)(xk) l(cid:181) ph—p chi(cid:213)u trøc giao cæa xk l“n Lf (yk), v(cid:181) Lf (yk) = {x ∈ K | f (yk, x) ≤ 0} l(cid:181) t¸p l(cid:229)i, {tk}k≥0 ⊂ [α, 2 − α] v(cid:237)i α ∈ [0, 1]. (iv) T(cid:221)nh rk th«ng qua:

(2.1d) rk+1 = max{rk, k xk+1 k}

v(cid:181) trº v(cid:210) (i) cæa b›(cid:237)c 2.

Chłng minh • Chłng minh (2.1b) fi(cid:243)ng. Th¸t v¸y, tı c«ng thłc (2.1a) v(cid:181) (2.1d) ta cª:

M(cid:214)nh fi(cid:210) 2.1.1. [2] Thu¸t to‚n chi(cid:213)u 2.1 fi›(cid:238)c x‚c fi(cid:222)nh fi(cid:243)ng fi(cid:190)n.

Kk ⊂ Kk+1, ∀k ∈ N.

Do x0 ∈ K v(cid:181) k x0 k≤ r0 + 1 n“n suy ra x0 ∈ K0 ⇒ x0 ∈ Kk, ∀k ∈ N M˘t kh‚c, K l(cid:181) t¸p fiªng n“n m(cid:228)i Kk l(cid:181) kh‚c r(cid:231)ng v(cid:181) compact. L„i do t(cid:221)nh li“n t(cid:244)c cæa f n“n f (., yk) fi„t cøc fi„i tr“n Kk, v(cid:215) v¸y t(cid:229)n t„i yk ∈ Kk tho¶ m•n:

f (y, xk) − (cid:15)k ≤ f (yk, xk). max y∈Kk

• Chłng minh (2.1c) fi(cid:243)ng. Th¸t v¸y, do t(cid:221)nh l(cid:229)i cæa f (yk, .) v(cid:181) t(cid:221)nh l(cid:229)i cæa t¸p K n“n t¸p kh‚c r(cid:231)ng:

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn20

18

Lf (yk) = {x ∈ K | f (yk, x) ≤ 0}

l(cid:181) t¸p l(cid:229)i, fiªng. Do fiª,

xk+1 = xk + tk (cid:2)PLf (yk)(xk) − xk(cid:3)

fi›(cid:238)c x‚c fi(cid:222)nh duy nh˚t.

(cid:3) V¸y m(cid:214)nh fi(cid:210) fi›(cid:238)c chłng minh.

k=0

M(cid:214)nh fi(cid:210) 2.1.2. [2] Gi¶ s(cid:246) r»ng: +∞ \ Lf (yk) 6= ∅, (2.3)

+∞ T k=0 b, D•y {xk}k≥0 b(cid:222) ch˘n. c,

th(cid:215): a, ∀x∗ ∈ Lf (yk) d•y {k xk − x∗ k}k≥0 kh«ng t¤ng v(cid:181) do fiª hØi t(cid:244).

Chłng minh a, Cho x∗ ∈

+∞ T k=0 xk+1 = xk + tk

k xk+1 − xk k= 0. lim k→+∞

do fiª: Lf (yk), tı c«ng thłc (2.1c) cæa thu¸t to‚n 2.1 ta cª (cid:2)PLf (yk)(xk) − xk(cid:3)

2 k PLf (yk)(xk) − xk k2

(2.4)

k xk+1 − x∗ k2 = k xk + tk[PLf (yk)(xk) − xk] − x∗ k2 = k xk − x∗ k2 + tk + 2 tk (cid:10)xk − x∗, PLf (yk)(xk) − xk(cid:11).

Ta l„i cª:

2 tk (cid:10)xk − x∗, PLf (yk)(xk) − xk(cid:11) =

(cid:10)xk − PLf (yk)(xk) + PLf (yk)(xk) − x∗, PLf (yk)(xk) − xk(cid:11)

= 2 tk = −2 tk k xk − PLf (yk)(xk) k2 +2 tk

(cid:10)PLf (yk)(xk) − x∗, PLf (yk)(xk) − xk(cid:11). (2.5)

Tı (2.4) v(cid:181) (2.5) ta cª:

2 k PLf (yk)(xk) − xk k2 −

k xk+1 − x∗ k2 = k xk − x∗ k2 + tk

(2.6)

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn21

19

− 2 tk k xk − PLf (yk)(xk) k2 + + 2 tk (cid:10)PLf (yk)(xk) − x∗, PLf (yk)(xk) − xk(cid:11).

Do t(cid:221)nh ch˚t cæa ph—p chi(cid:213)u trøc giao v(cid:181) x∗ ∈ Lf (yk) n“n sŁ h„ng cuŁi c(cid:239)ng cæa (2.6) kh«ng d›‹ng, tłc l(cid:181):

2 tk (2.7) (cid:10)PLf (yk)(xk) − x∗, PLf (yk)(xk) − xk(cid:11) ≤ 0.

2 k PLf (yk)(xk) − xk k2 −

Tı (2.6), (2.7) v(cid:181) ∀k ∈ N ta suy ra: k xk+1 − x∗ k2 ≤ k xk − x∗ k2 + tk

(2.8)

− 2 tk k xk − PLf (yk)(xk) k2 = k xk − x∗ k2 −tk(2 − tk) k xk − PLf (yk)(xk) k2 ≤ k xk − x∗ k2 .

V¸y d•y {k xk − x∗ k}k≥0 kh«ng t¤ng v(cid:181) do fiª hØi t(cid:244). b, Theo k(cid:213)t qu¶ a, ta cª d•y {k xk − x∗ k}k≥0 hØi t(cid:244). M˘t kh‚c, k xk k= k xk − x∗ + x∗ k≤ k xk − x∗ k + k x∗ k. ⇒ {xk}k≥0 b(cid:222) ch˘n. c, Ta vi(cid:213)t l„i (2.8) d„ng:

tk(2 − tk) k xk − PLf (yk)(xk) k2≤ k xk − x∗ k2 − k xk+1 − x∗ k2 . (2.9)

V(cid:215) 0 < α ≤ tk ≤ 2 − α v(cid:237)i 0 < α < 1 ta cª 0 < α(2 − α) ≤ tk(2 − tk). Tı (2.9) ta suy ra:

(xk)} = 0. (2.11) α(2 − α) k xk − PLf (yk)(xk) k2≤ k xk − x∗ k2 − k xk+1 − x∗ k2 . (2.10) Tı (2.10), 0 < α(2 − α) v(cid:181) t(cid:221)nh hØi t(cid:244) cæa {k xk − x∗ k}k≥0 ta cª: {xk − PLf (yk) lim k→+∞

Do ޻,

= 0. xk+1 − xk tk

(cid:3) lim k→+∞ V(cid:215) 0 < α ≤ tk ≤ 2−α n“n (xk+1−xk) → 0 khi k → +∞.

M(cid:214)nh fi(cid:210) 2.1.3. [3] Gi¶ s(cid:246): i, D•y {xk}k≥0 b(cid:222) ch˘n, ii, k xk+1 − xk k= 0. lim k→+∞

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn22

20

Khi fiª, d•y {xk}k≥0 hØi t(cid:244) t(cid:237)i nghi(cid:214)m x∗ cæa b(cid:181)i to‚n c'n b»ng.

Chłng minh • Do xk+1 = xk + tk Tı gi¶ thi(cid:213)t ii, ta suy ra:

(xk) − xk(cid:3) ⇒ xk+1 − xk (xk) − xk(cid:3) . (cid:2)PLf (yk) = (cid:2)PLf (yk) tk

(xk)} = 0. {xk − PLf (yk) lim k→+∞

• Chłng minh {yk}k≥0 b(cid:222) ch˘n? Theo gi¶ thi(cid:213)t ta cª d•y {xk}k≥0 b(cid:222) ch˘n, do v¸y ∃ r > 0 sao cho:

k xk k≤ r, ∀k ∈ N.

Tı c«ng thłc (2.1d) cæa thu¸t to‚n chi(cid:213)u 2.1: rk+1 = max{rk, k xk+1 k} ta cª:

rk = max{k x0 k, . . . , k xk k}.

Do fiª, rk ≤ r, ∀k ∈ N. L„i tı (2.1a) ta cª Kk = {x ∈ K : k x k≤ rk + 1} n“n Kk ⊂ B(0, r + 1). f (y, xk) − (cid:15)k ≤ f (yk, xk), yk ∈ Kk, ∀k ∈ N, do v¸y: Tı (2.1b) ta cª max y∈Kk

k yk k≤ r + 1.

Do fiª, {yk}k≥0 b(cid:222) ch˘n. • Gi¶ s(cid:246) x l(cid:181) fii(cid:211)m gi(cid:237)i h„n cæa d•y {xk}k≥0 ⊂ K, v(cid:237)i K fiªng, x ∈ K. T(cid:229)n t„i d•y con {xkn}kn≥0 cæa d•y {xk}k≥0 tho¶ m•n:

xkn = x. lim kn→+∞

T›‹ng łng ta x—t d•y con {ykn}kn≥0 c(cid:242)ng b(cid:222) ch˘n. Do fiª, t(cid:229)n t„i d•y con {yknp }knp≥0 cæa d•y {ykn}kn≥0 hØi t(cid:244), gi¶ s(cid:246) hØi t(cid:244) t(cid:237)i y, tłc l(cid:181):

yknp = y. lim knp→+∞

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn23

21

(xk) = x. {xk −PLf (yk) PLf (yk) §(cid:211) cho ng(cid:190)n g(cid:228)n, ta k(cid:221) hi(cid:214)u yknp ≡ ykn, ta c(cid:242)ng l(cid:181)m t›‹ng tø v(cid:237)i xknp , ta k(cid:221) hi(cid:214)u xknp ≡ xkn. • Ta chłng minh f (y, x) = 0? Th¸t v¸y, tı tr“n cª lim k→+∞ (xk)} = 0 n“n lim k→+∞

kn→+∞

(xkn)(cid:1) Do t(cid:221)nh li“n t(cid:244)c cæa f n“n suy ra: f (y, x) = f (cid:0) lim kn→+∞ (2.12) PLf (ykn ) (xkn)(cid:1) ≤ 0. = lim ykn, lim kn→+∞ f (cid:0)ykn, PLf (ykn )

(xkn) ∈ Lf (ykn) = {x ∈ K | f (ykn, x) ≤ 0}.

Trong fiª, PLf (ykn ) Tı (2.1a), (2.1d) cª xk ∈ Kk, ∀k ∈ N. Tı fi(cid:222)nh ngh(cid:220)a 2.1.1 v(cid:181) (2.1b), v(cid:237)i ∀k ∈ N ta cª:

f (y, xk) ≤ f (yk, xk) + (cid:15)k. (2.13) 0 = f (xk, xk) ≤ max y∈Kk

(cid:15)k = 0 v(cid:181) f li“n t(cid:244)c n“n tı (2.12) suy ra: Do lim k→+∞

kn→+∞

0 ≤ lim {f (ykn, xkn) + (cid:15)kn}

kn→+∞

kn→+∞

= f ( lim ykn, xkn) + lim (2.14) (cid:15)kn lim kn→+∞

= f (y, x).

K(cid:213)t h(cid:238)p (2.12), (2.14) suy ra:

f (y, x) = 0. (2.15)

rk?

• V(cid:237)i m(cid:228)i 0 < δ < 1, x ∈ (cid:2)intB(0, r∗ + 1 − δ)(cid:3) ∩ K, v(cid:237)i r∗ = sup k∈N Do rk b(cid:222) ch˘n n“n r∗ = sup rk l(cid:181) h(cid:247)u h„n. k∈N V(cid:237)i 0 < δ < 1 x—t B(0, r∗ + 1 − δ) ≡ B(δ) Tı (2.1d) cª k xk k≤ rk ≤ r∗ < r∗+1−δ, ∀k ∈ N, n“n suy ra x ∈ intB(δ). V¸y x ∈ (cid:2)intB(0, r∗ + 1 − δ)(cid:3) ∩ K. • Cho bB(δ) = B(δ) ∩ K, x—t b(cid:181)i to‚n c'n b»ng ([EPδ) v(cid:237)i h(cid:181)m f v(cid:181) t¸p ch˚p nh¸n bB(δ):

T(cid:215)m bx ∈ ([EPδ) tho¶ m•n f (bx, y) ≥ 0, ∀y ∈ bB(δ)

([EPδ)

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn24

22

Khi fiª ta cª kh…ng fi(cid:222)nh sau: x ∈ bB(δ) l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n ([EPδ), v(cid:237)i 0 < δ < 1. Th¸t v¸y, l˚y d•y {rk}k∈N kh«ng gi¶m: rk ≤ rk+1. Ch(cid:228)n k0 ∈ N tho¶ m•n

rk0 ≥ r∗ − δ. Khi fiª:

r∗ + 1 − δ ≤ rk + 1, ∀k ≥ k0.

Do ޻,

bB(δ) ⊂ Kk, ∀k ≥ k0.

L˚y z ∈ bB(δ), ta cª z ∈ Kk, ∀k ≥ k0. V(cid:215) v¸y,

f (y, xk) ≤ f (yk, xk) + (cid:15)k, ∀k ≥ k0. (2.16) f (z, xk) ≤ max y∈Kk

Do t(cid:221)nh li“n t(cid:244)c cæa f , c«ng thłc (2.14), (2.15), (2.16) ta cª:

f (z, x) = f (z, xkn) lim kn→+∞

kn→+∞

f (z, xkn) = lim

(2.16) ≤ lim

(2.17)

kn→+∞

{f (ykn, xkn) + (cid:15)kn}

= f (y, x) = 0.

Tłc l(cid:181),

(2.18) f (z, x) ≤ 0, ∀z ∈ bB(δ).

Tı (2.18), do x ∈ K, v(cid:237)i m(cid:231)i 0 < δ < 1 ta cª:

x∈ bB(δ)

\ x ∈ Lf (z).

Theo fi(cid:222)nh l(cid:221) 2.1.1 suy ra x l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (dEP δ) v(cid:237)i 0 < δ < 1. • x l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng 1.1? Cho x l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n ([EPδ), tłc l(cid:181) f (x, y) ≥ 0, ∀y ∈ bB(δ). Theo gi¶ thi(cid:213)t cª f (x, x) = 0. Tı c‚c fii(cid:210)u tr“n ta kh…ng fi(cid:222)nh x l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n tŁi ›u l(cid:229)i:

f (x, y). (2.19)

min y∈ bB(δ) H(cid:181)m g : Rn → R ∪ {+∞} cª d„ng:

f (x, y)   si y ∈ K, g(y) =

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn25

23

 +∞ si y 6∈ K.

V(cid:237)i h(cid:181)m g vıa fi(cid:222)nh ngh(cid:220)a ta cª th(cid:211) vi(cid:213)t l„i (2.19) nh› sau:

g(y). min y∈B(δ)

Lf (z). Ta fi• chłng minh fi›(cid:238)c x l(cid:181) fii(cid:211)m cøc ti(cid:211)u cæa g tr“n B(δ), thuØc ph˙n trong cæa B(δ). L„i do g l(cid:181) h(cid:181)m l(cid:229)i, n“n x l(cid:181) fii(cid:211)m cøc ti(cid:211)u kh«ng r(cid:181)ng buØc cæa g. Tłc l(cid:181), g(x) ≤ g(y), ∀y ∈ Rn, trong fiª g(x) = f (x, x) = 0 ≤ g(y) = f (x, y), ∀y ∈ K. V¸y x l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng 1.1. xk = x ? •Ta chłng minh lim k→+∞ Ta fi• chłng minh fi›(cid:238)c x ∈ T z∈ bB(δ)

V(cid:215) th(cid:213) f (z, x) ≤ 0, ∀z ∈ K, k z k≤ r∗ + 1 − δ. Do δ ∈ [0, 1] ta cª f (z, x) ≤ 0, ∀z ∈ K, k z k≤ r∗ + 1. L„i do t(cid:221)nh li“n t(cid:244)c cæa h(cid:181)m f n“n f (z, x) ≤ 0, ∀z ∈ K, k z k≤ r∗ + 1. Do yk ∈ Kk, ∀k ∈ N n“n k yk k≤ rk+1 ≤ r∗+1 ⇒ f (yk, x) ≤ 0, ∀k ∈ N.

+∞ T k=0

⇒ x ∈ Lf (yk).

xk = x. Theo m(cid:214)nh fi(cid:210) 2.1.2a, ta cª {k xk − x}k≥0 hØi t(cid:244). V(cid:215) th(cid:213) d•y con {k xkn −x}kn≥0 hØi t(cid:244) v(cid:210) 0, n“n {k xk −x}k≥0 hØi t(cid:244) v(cid:210) 0, tłc (cid:3) l(cid:181) lim k→+∞

§(cid:222)nh l(cid:221) sau fi'y sˇ ch(cid:216) ra t(cid:221)nh ch˚t hØi t(cid:244) thu¸t to‚n chi(cid:213)u li“n ti(cid:213)p 2.1.

+∞ \

§(cid:222)nh l(cid:253) 2.1.2. [2] Cho {xk}k≥0 v(cid:181) {yk}k≥0 ⊂ K l(cid:181) d•y fi›(cid:238)c t(cid:221)nh tı thu¸t to‚n 2.1. Khi fiª: a, N(cid:213)u

k=0

Lf (yk) 6= ∅, (2.20)

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn26

24

th(cid:215) {xk}k≥0 hØi t(cid:244) fi(cid:213)n nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng. b, N(cid:213)u b(cid:181)i to‚n c'n b»ng v« nghi(cid:214)m th(cid:215) {xk}k≥0 kh«ng hØi t(cid:244).

Chłng minh

+∞ T k=0

a, Do Lf (yk) 6= ∅ v(cid:181) theo m(cid:214)nh fi(cid:210) 2.1.2, 2.1.3 suy ra {xk}k≥0 hØi t(cid:244)

{xk+1 − xk} = 0.

fi(cid:213)n nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng. b, B»ng ph¶n chłng, gi¶ s(cid:246) {xk}k≥0 ⊂ Rn hØi t(cid:244) t(cid:237)i nghi(cid:214)m x∗ ∈ Rn. Do {xk}k≥0 hØi t(cid:244) n“n {xk}k≥0 b(cid:222) ch˘n v(cid:181) lim k→+∞ Ph˙n c(cid:223)n l„i cæa chłng minh fi›(cid:238)c l¸p lu¸n nh› trong chłng minh m(cid:214)nh fi(cid:210) 2.1.3. Do fiª, x∗ l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng 1.2.1. M'u thu(cid:201)n v(cid:237)i gi¶ (cid:3) thi(cid:213)t. V¸y b(cid:181)i to‚n c'n b»ng v« nghi(cid:214)m.

Chłng minh Do b(cid:181)i to‚n fiŁi ng(cid:201)u cª nghi(cid:214)m n“n T

H(cid:214) qu¶ 2.1.1. [2] N(cid:213)u b(cid:181)i to‚n fiŁi ng(cid:201)u cª nghi(cid:214)m th(cid:215) {xk}k≥0 hØi t(cid:244) t(cid:237)i nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

y∈K

+∞ T k=0

Lf (y) 6= ∅ n“n Lf (yk) 6= ∅,

y∈K

+∞ T k=0

Lf (y) ⊂ v(cid:215) T Lf (yk). Theo fi(cid:222)nh l(cid:221) 2.1.2 suy ra fii(cid:210)u ph¶i chłng minh.

H(cid:214) qu¶ 2.1.2. [2] Cho {xk}k≥0, {yk}k≥0 l(cid:181) c‚c d•y fi›(cid:238)c t(cid:221)nh tı thu¸t to‚n 2.1. N(cid:213)u f l(cid:181) gi¶ fi‹n fii(cid:214)u v(cid:181) ho˘c {xk}k≥0 ho˘c {yk}k≥0 b(cid:222) ch˘n th(cid:215) {xk}k≥0 hØi t(cid:244) fi(cid:213)n nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

Chłng minh N(cid:213)u {xk}k≥0 b(cid:222) ch˘n th(cid:215) {yk}k≥0 c(cid:242)ng b(cid:222) ch˘n (theo chłng minh m(cid:214)nh fi(cid:210) 2.1.3). Gi¶ s(cid:246) {yk}k≥0 b(cid:222) ch˘n v(cid:181) theo gi¶ thi(cid:213)t f l(cid:181) gi¶ fi‹n fii(cid:214)u n“n suy ra +∞ T (cid:3) k=0

Lf (yk) 6= ∅. Theo fi(cid:222)nh l(cid:221) 2.1.2 suy ra fii(cid:210)u ph¶i chłng minh.

2.2. Ph›‹ng ph‚p fi„o h(cid:181)m t¤ng c›Œng gi¶i b(cid:181)i to‚n c'n b»ng

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn27

25

Ph›‹ng ph‚p fi„o h(cid:181)m t¤ng c›Œng l˙n fi˙u ti“n fi›(cid:238)c Korpelevich fi(cid:210) xu˚t fi(cid:211) gi¶i b(cid:181)i to‚n t(cid:215)m fii(cid:211)m y“n ngøa, sau fiª fi›(cid:238)c ph‚t tri(cid:211)n cho b(cid:181)i to‚n b˚t

fi…ng thłc bi(cid:213)n ph'n. Ph›‹ng ph‚p fi„o h(cid:181)m t¤ng c›Œng gi¶i b(cid:181)i to‚n c'n

b»ng l(cid:181) sø mº rØng cæa nguy“n l(cid:221) b(cid:181)i to‚n c'n b»ng ph(cid:244). Nh›ng º ph›‹ng

ph‚p fi„o h(cid:181)m t¤ng c›Œng cho ph—p gi¶i c‚c b(cid:181)i to‚n kh«ng c˙n gi¶ thi(cid:213)t fi‹n fii(cid:214)u m„nh cho h(cid:181)m f m(cid:181) ch(cid:216) y“u c˙u h(cid:181)m n(cid:181)y tho¶ m•n fii(cid:210)u ki(cid:214)n Lipschitz. Tr›(cid:237)c ti“n ta fi(cid:222)nh ngh(cid:220)a b(cid:181)i to‚n c'n b»ng ph(cid:244).

§(cid:222)nh ngh(cid:220)a 2.2.1. [2] Cho L : K × K → R v(cid:181) (cid:15) > 0, ta x—t b(cid:181)i to‚n c'n b»ng ph(cid:244) sau:

T(cid:215)m x∗ ∈ K sao cho : (cid:15)f (x∗, y) + L(x∗, y) ≥ 0, ∀y ∈ K (2.21)

M(cid:214)nh fi(cid:210) 2.2.1. [2] Cho f : K × K → R v(cid:237)i f (x, x) = 0, ∀x ∈ K v(cid:181) cho x∗ ∈ K. Gi¶ s(cid:246) f (x∗, .) : K → R l(cid:181) h(cid:181)m l(cid:229)i kh¶ vi. Cho L : K × K → R l(cid:181) h(cid:181)m l(cid:229)i, kh¶ vi, kh«ng 'm tr“n t¸p l(cid:229)i K theo bi(cid:213)n thł hai y (∀x ∈ K) v(cid:181) tho¶ m•n:

a, L(x, x) = 0, ∀x ∈ K; b, ∇yL(x, x) = 0, ∀y ∈ K.

Chłng minh (⇒⇒⇒) Do x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng n“n f (x∗, y) ≥ 0 v(cid:237)i ∀y ∈ K. Ta cª (cid:15) > 0 ⇒ (cid:15)f (x∗, y) ≥ 0, ∀y ∈ K, ∀x∗ ∈ K. V(cid:215) L : K × K → R l(cid:181) h(cid:181)m l(cid:229)i, kh¶ vi, kh«ng 'm tr“n t¸p l(cid:229)i K tho¶ m•n:

Khi fiª, x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng khi v(cid:181) ch(cid:216) khi nª l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng ph(cid:244) (2.21).

a, L(x, x) = 0, ∀x ∈ K; b, ∇yL(x, x) = 0, ∀y ∈ K.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn28

26

n“n L(x∗, y) ≥ 0, ∀x∗, y ∈ K ⇒ (cid:15)f (x∗, y) + L(x∗, y) ≥ 0, ∀y ∈ K. V¸y x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng ph(cid:244). (⇐⇐⇐) Cho x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng ph(cid:244), ta sˇ chłng minh x∗ ∈ K c(cid:242)ng l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng. Do x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng ph(cid:244) n“n nª c(cid:242)ng l(cid:181) nghi(cid:214)m

tŁi ›u cæa b(cid:181)i to‚n:

{(cid:15)f (x∗, y) + L(x∗, y)}. min y∈K

M˘t kh‚c, ta cª (cid:15)f (x∗, y) + L(x∗, y) ≥ 0, ∀y ∈ K,

⇒ (cid:15)f (x∗, x∗) + L(x∗, x∗) = 0.

{(cid:15)f (x∗, y) + L(x∗, y)}.

Ta cª x∗ ∈ K l(cid:181) nghi(cid:214)m tŁi ›u cæa b(cid:181)i to‚n min y∈K ⇔ (cid:10)(cid:15)∇yf (x∗, x∗) + ∇yL(x∗, x∗), y − x∗(cid:11) ≥ 0, ∀y ∈ K. Theo gi¶ thi(cid:213)t, ∇yL(x, x) = 0, ∀y ∈ K n“n (cid:10)(cid:15)∇yf (x∗, x∗), y − x∗(cid:11) ≥ 0, ∀y ∈ K. ⇔ (cid:15)(cid:10)∇yf (x∗, x∗), y − x∗(cid:11) ≥ 0, ∀y ∈ K. (cid:15)>0⇔ (cid:10)∇yf (x∗, x∗), y − x∗(cid:11) ≥ 0, ∀y ∈ K.

Do K l(cid:181) h(cid:181)m l(cid:229)i v(cid:181) theo t(cid:221)nh ch˚t l(cid:229)i kh¶ vi cæa f (x∗, .) : K → R n“n theo fi(cid:222)nh ngh(cid:220)a ta cª:

f (x∗, y) ≥ f (x∗, x∗) + (cid:10)∇yf (x∗, x∗), y − x∗(cid:11), ∀y ∈ K.

⇒ f (x∗, y) ≥ f (x∗, x∗) = 0, ∀y ∈ K.

Ch(cid:243) (cid:253) N(cid:213)u G : K → R l(cid:181) h(cid:181)m l(cid:229)i m„nh, kh¶ vi v(cid:181)

V¸y x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng, m(cid:214)nh fi(cid:210) fi›(cid:238)c chłng minh.(cid:3)

L(x, y) = G(y) − G(x) − (cid:10)∇G(x), y − x(cid:11), ∀x, y ∈ K. (2.22)

th(cid:215) h(cid:181)m L tho¶ m•n c‚c t(cid:221)nh ch˚t cæa m(cid:214)nh fi(cid:210) 2.2.1.

H(cid:214) qu¶ 2.2.1. [2] x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng khi v(cid:181) ch(cid:216) khi nª l(cid:181) nghi(cid:214)m tŁi ›u cæa b(cid:181)i to‚n tŁi ›u:

{(cid:15)f (x∗, y) + L(x∗, y)}. min y∈K

Nh¸n x—t ? x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng khi v(cid:181) ch(cid:216) khi nª l(cid:181) nghi(cid:214)m cæa

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn29

27

H(cid:214) qu¶ 2.2.2. [2] Cho f : K × K → R v(cid:237)i f (x, x) = 0, ∀x ∈ K. Gi¶ s(cid:246) f (x∗, .) : K → R l(cid:181) h(cid:181)m l(cid:229)i, kh¶ vi v(cid:181) (cid:15) > 0. Khi fiª, x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng khi v(cid:181) ch(cid:216) khi x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng ph(cid:244) (2.21) v(cid:181) h(cid:181)m L fi›(cid:238)c fi(cid:222)nh ngh(cid:220)a theo (2.22)..

Hay b(cid:181)i to‚n tŁi ›u: min y∈K min y∈K

{ξf (x∗, y) + G(y) − G(x∗) − (cid:10)∇G(x∗), y − x∗(cid:11)}. {ξf (x∗, y) + G(y) − (cid:10)∇G(x∗), y(cid:11)}. ? Do G l(cid:181) h(cid:181)m l(cid:229)i m„nh n“n nghi(cid:214)m cæa b(cid:181)i to‚n: {ξf (x∗, y) + G(y) − (cid:10)∇G(x∗), y(cid:11)}

min y∈K n(cid:213)u t(cid:229)n t„i l(cid:181) duy nh˚t.

Thu¸t to‚n 2.2 [2] B›(cid:237)c 0: L˚y x0 ∈ K, (cid:15) > 0 v(cid:181) k := 0; B›(cid:237)c 1: Gi¶i b(cid:181)i to‚n:

Trong to(cid:181)n ph˙n n(cid:181)y n(cid:213)u kh«ng nªi g(cid:215) th“m ta gi¶ s(cid:246) f (x, .) fiªng, l(cid:229)i v(cid:181) kh¶ d›(cid:237)i vi ph'n tr“n K, v(cid:237)i ∀x ∈ K. Sau fi'y ta fi›a ra thu¸t to‚n gi¶i b(cid:181)i to‚n c'n b»ng ph(cid:244).

{(cid:15)f (xk, y) + G(y) − (cid:10)OG(xk), y − xk(cid:11)}. (2.22a) min y∈K

cª nghi(cid:214)m tŁi ›u duy nh˚t yk. N(cid:213)u yk = xk th(cid:215) thu¸t to‚n dıng v(cid:181) k(cid:213)t lu¸n xk l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng. Tr‚i l„i, ta chuy(cid:211)n sang b›(cid:237)c 2. B›(cid:237)c 2: Gi¶i b(cid:181)i to‚n:

{(cid:15)f (yk, y) + G(y) − (cid:10)OG(xk), y − xk(cid:11)}. (2.22b) min y∈K

t(cid:215)m nghi(cid:214)m duy nh˚t xk+1. B›(cid:237)c 3: L˚y k := k + 1 v(cid:181) quay l„i b›(cid:237)c 1.

B(cid:230) fi(cid:210) d›(cid:237)i fi'y ch(cid:216) ra r»ng n(cid:213)u thu¸t to‚n 2.2 k(cid:213)t th(cid:243)c t„i b›(cid:237)c l˘p k n(cid:181)o fiª th(cid:215) ta t(cid:215)m fi›(cid:238)c nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn30

28

B(cid:230) fi(cid:210) 2.2.1. [6] N(cid:213)u thu¸t to‚n k(cid:213)t th(cid:243)c t„i fii(cid:211)m l˘p xk th(cid:215) xk l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

Chłng minh N(cid:213)u xk = yk th(cid:215) do f (x, x) = 0 n“n ta cª:

(cid:15)f (xk, yk) + G(yk) − G(xk) − (cid:10)OG(xk), yk − xk(cid:11)} = 0.

Do yk = xk l(cid:181) nghi(cid:214)m cæa (2.22a), ta cª:

0 = (cid:15)f (xk, yk) + G(yk) − G(xk) − (cid:10)OG(xk), yk − xk(cid:11)}

≤ (cid:15)f (xk, y) + G(y) − G(xk) − (cid:10)OG(xk), y − xk(cid:11)}, ∀y ∈ K.

(cid:3) Tı m(cid:214)nh fi(cid:210) 2.2.1 suy ra xk l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

Ta k(cid:221) hi(cid:214)u K ∗ l(cid:181) t¸p nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng v(cid:181) K d l(cid:181) t¸p nghi(cid:214)m cæa b(cid:181)i to‚n fiŁi ng(cid:201)u (2.1). §(cid:222)nh l(cid:221) sau ch(cid:216) ra t(cid:221)nh hØi t(cid:244) cæa thu¸t to‚n.

§(cid:222)nh l(cid:253) 2.2.1. [6] Gi¶ s(cid:246) r»ng:

i, G l(cid:229)i m„nh v(cid:237)i h(cid:214) sŁ β > 0 v(cid:181) kh¶ vi li“n t(cid:244)c tr“n t¸p mº Ω ⊇ K. ii, T(cid:229)n t„i h»ng sŁ c1 v(cid:181) c2 > 0 tho¶ m•n:

f (x, y) + f (y, x) ≥ f (x, z) − c1 k y − x k2 −c2 k z − y k2 ∀x, y, z ∈ K. (2.23)

−(cid:15)c1 −(cid:15)c2 (cid:1) k xk+1−yk k2 (2.24) Khi fiª: a, V(cid:237)i m(cid:228)i x∗ ∈ K d, th(cid:215) l(xk)−l(xk+1) ≥ (cid:0)β 2 (cid:1) k yk −xk k2 +(cid:0)β 2

, β 2c2

Chłng minh a, L˚y x∗ ∈ K d b˚t k(cid:215). Theo fi(cid:222)nh ngh(cid:220)a cæa h(cid:181)m l v(cid:181) cho xk, xk+1 ∈ K,

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn31

29

v(cid:237)i l(y) := G(x∗) − G(y) − (cid:10)∇G(y), x∗ − y(cid:11), ∀y ∈ K. b, Gi¶ s(cid:246) f l(cid:181) n(cid:246)a li“n t(cid:244)c d›(cid:237)i tr“n K × K, f (., y) l(cid:181) n(cid:246)a li“n t(cid:244)c tr“n tr“n K v(cid:181) 0 < (cid:15) < min (cid:8) β (cid:9), th(cid:215) d•y {xk} b(cid:222) ch˘n v(cid:181) m(cid:228)i fii(cid:211)m t(cid:244) 2c1 cæa nª l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng. H‹n th(cid:213), n(cid:213)u K d = K ∗ (trong tr›Œng h(cid:238)p n(cid:181)y f l(cid:181) gi¶ fi‹n fii(cid:214)u tr“n K) th(cid:215) {xk} hØi t(cid:244) t(cid:237)i nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

ta cª: l(xk) − l(xk+1) = G(xk+1) − G(xk) + (cid:10)∇G(xk+1), x∗ − xk+1(cid:11)

− (cid:10)∇G(xk), x∗ − xk(cid:11) = G(xk+1) − G(xk) + (cid:10)∇G(xk+1) − ∇G(xk), x∗ − xk+1(cid:11) − (cid:10)∇G(xk), xk+1 − xk(cid:11).

(2.25)

Ta cª xk+1 l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n:

{(cid:15)f (yk, y) + G(y) − G(xk) − (cid:10)∇G(xk), y − xk(cid:11)}, min y∈K

n(cid:213)u v(cid:181) ch(cid:216) n(cid:213)u

(cid:8)(cid:15)f (yk, xk+1)+G(xk+1)−G(xk)−(cid:10)∇G(xk), xk+1−xk(cid:11)(cid:9)+NK(xk+1). 0 ∈ ∂2

v(cid:237)i NK(x) l(cid:181) nªn ph‚p tuy(cid:213)n cæa K t„i x ∈ K. Do f (yk, .) l(cid:181) kh¶ d›(cid:237)i vi ph'n v(cid:181) G l(cid:181) l(cid:229)i m„nh, kh¶ vi tr“n K n“n theo fi(cid:222)nh l(cid:221) Moreau-Rockafella ∃w ∈ ∂2f (yk, xk+1) tho¶ m•n:

(cid:10)∇G(xk+1) − ∇G(xk), y − xk+1(cid:11) ≥ (cid:15)(cid:10)w, xk+1 − y(cid:11), y ∈ K.

M˘t kh‚c ta cª: (cid:10)∇G(xk+1) − ∇G(xk), y − xk+1(cid:11) ≥ (cid:15)f (yk, xk+1) − (cid:15)f (yk, y), ∀y ∈ K.

N(cid:213)u x∗ = y th(cid:215) b˚t fi…ng thłc tr“n cª d„ng:

(cid:10)∇G(xk+1) − ∇G(xk), x∗ − xk+1(cid:11) ≥ (cid:15)f (yk, xk+1) − (cid:15)f (yk, x∗).

Do x∗ l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n (2.1) n“n f (yk, x∗) ≤ 0. V(cid:215) v¸y

(cid:10)∇G(xk+1) − ∇G(xk), x∗ − xk+1(cid:11) ≥ (cid:15)f (yk, xk+1). (2.26)

Tı (2.23) v(cid:237)i x = xk, y = yk v(cid:181) z = xk+1, khi fiª (2.26) fi›(cid:238)c vi(cid:213)t: (cid:10)∇G(xk+1) − ∇G(xk), x∗ − xk+1(cid:11) ≥ (cid:15)f (xk, xk+1) − (cid:15)f (xk, yk)

− (cid:15) c1 k yk − xk k2 − (cid:15) c2 k xk+1 − yk k2 .

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn32

30

(2.27)

Tı b›(cid:237)c 1 cæa thu¸t to‚n 2.2 ta cª yk l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n:

{(cid:15)f (xk, y) + G(y) − G(xk) − (cid:10)∇G(xk), y − xk(cid:11)}, min y∈K

n“n cª

0 ∈ ∂2 (cid:8)(cid:15)f (xk, yk) + G(yk) − G(xk) − (cid:10)∇G(xk), yk − xk(cid:11)(cid:9) + NK(yk).

T›‹ng tø ta th˚y r»ng

(cid:15)f (xk, y) − (cid:15)f (xk, yk) ≥ (cid:10)∇G(yk) − ∇G(xk), yk − y(cid:11), y ∈ K.

V(cid:237)i y = xk+1 ta cª:

(cid:15)f (xk, xk+1) − (cid:15)f (xk, yk) ≥ (cid:10)∇G(yk) − ∇G(xk), yk − xk+1(cid:11). (2.28)

Tı (2.25), (2.27), (2.28) ta suy ra

l(xk) − l(xk+1) ≥ G(xk+1) − G(xk) − (cid:10)∇G(xk), xk+1 − xk(cid:11)

(2.29)

+ (cid:10)∇G(yk) − ∇G(xk), yk − xk+1(cid:11) − (cid:15) c1 k yk − xk k2 −(cid:15) c2 k xk+1 − yk k2 = G(xk+1) − G(xk) − (cid:10)∇G(xk), yk − xk(cid:11) + (cid:10)∇G(yk), yk − xk+1(cid:11) − (cid:15) c1 k yk − xk k2 −(cid:15) c2 k xk+1 − yk k2 = (cid:2)G(xk+1) − G(yk) − (cid:10)∇G(yk), xk+1 − yk(cid:11)(cid:3) + (cid:2)G(yk) − G(xk) − (cid:10)∇G(xk), yk − xk(cid:11)(cid:3) − (cid:15) c1 k yk − xk k2 −(cid:15) c2 k xk+1 − yk k2 .

V(cid:215) G l(cid:229)i m„nh v(cid:237)i h(cid:214) sŁ β n“n v(cid:237)i m(cid:228)i x, y ta cª:

G(y) − G(x) − (cid:10)∇G(x), y − x(cid:11) ≥ k y − x k2, ∀x, y ∈ K. (2.30) β 2

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn33

31

− (cid:15) c1 − (cid:15) c2 Tı (2.29), (2.30) v(cid:181) ∀k ≥ 0 ta cª: l(xk) − l(xk+1) ≥ (cid:0)β 2 (cid:1) k yk − xk k2 +(cid:0)β 2 (cid:1) k xk+1 − yk k2 . (2.31)

, (cid:9), ta cª: Ta cª fii(cid:210)u ph¶i chłng minh. b, Tı gi¶ thi(cid:213)t 0 < (cid:15) < min (cid:8) β 2c1 β 2c2

− (cid:15) c1 > 0, − (cid:15) c2 > 0. β 2 β 2

V(cid:215) v¸y tı b˚t fi…ng thłc (2.31) ta cª kh…ng fi(cid:222)nh sau:

(cid:1) k yk − xk k2≥ 0, ∀k. − (cid:15) c1 (2.32) l(xk) − l(xk+1) ≥ (cid:0)β 2

m X

Do fiª, d•y {l(xk)k≥0} l(cid:181) d•y kh«ng t¤ng. Nª b(cid:222) ch˘n d›(cid:237)i bºi 0 n“n nª hØi t(cid:244) fi(cid:213)n l∗.Trong (2.32) cho k ch„y tı 0 fi(cid:213)n m v(cid:181) cØng l„i ta cª:

k=0

k yk − xk k2≤ l(x0) − l(xk+1), ∀m ≥ 0. (β − (cid:15)c1)

∞ X

D•y {l(xk)}k≥0 hØi t(cid:244), cho m → ∞ tı b˚t fi…ng thłc cuŁi cª:

k=0

k yk − xk k2< ∞.

Tı fiª k—o theo:

k yk − xk k= 0. (2.33) lim k→+∞

Do G l(cid:181) β−l(cid:229)i m„nh v(cid:181) tı fi(cid:222)nh ngh(cid:220)a cæa l(xk) ta cª th(cid:211) vi(cid:213)t:

0 ≤ k x∗ − xk k2≤ l(xk), ∀k β 2

V¸y {l(xk)} hØi t(cid:244) v(cid:181) d•y {xk}k≥0 b(cid:222) ch˘n n“n nª cª (cid:221)t nh˚t mØt fii(cid:211)m t(cid:244). G(cid:228)i x ∈ K l(cid:181) fii(cid:211)m t(cid:244) v(cid:181) {xki}i≥0 l(cid:181) d•y con cæa {xk} n“n cª:

xki = x. lim i→+∞

Tı (2.33) ta cª

yki = x. lim i→+∞

Quay l„i b›(cid:237)c 1 cæa thu¸t to‚n 2.2, ta cª:

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn34

32

(cid:15)f (xki, y) + G(y) − G(xki) − (cid:10)∇G(xki), y − xki(cid:11) ≥ (cid:15)f (xki, yki) + G(yki) − G(xki) − (cid:10)∇G(xki), yki − xki(cid:11), ∀y ∈ K.

V(cid:215) f l(cid:181) n(cid:246)a li“n t(cid:244)c d›(cid:237)i tr“n K × K, f (., y) l(cid:181) n(cid:246)a li“n t(cid:244)c tr“n tr“n K v(cid:181) f (x, x) = 0, cho i → +∞ ta cª;

.

(cid:15)f (x, y) + G(y) − G(x) − (cid:10)∇G(x), y − x(cid:11) ≥ 0, ∀y ∈ K, v(cid:237)i x l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n 2.22 v(cid:181) L(x, y) = G(y)−G(x)(cid:10)∇G(x), y −x(cid:11) Theo m(cid:214)nh fi(cid:210) 2.2.1 th(cid:215) x l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng. Gi¶ s(cid:246) r»ng K d = K ∗, ta kh…ng fi(cid:222)nh d•y {xk}k≥0 hØi t(cid:244) fi(cid:213)n x. Th¸t v¸y, theo fi(cid:222)nh ngh(cid:220)a cæa l(xk) v(cid:237)i x∗ = x ∈ K d, cª l(x) = 0. V(cid:215) v¸y, do G l(cid:181) β− l(cid:229)i m„nh n“n ta cª th(cid:211) vi(cid:213)t:

l(xk)−l(x) = G(x)−G(xk)−(cid:10)∇G(xk), xk −x(cid:11) ≥ k xk −x k2, ∀k ≥ 0. β 2

Ch(cid:243) (cid:253) §i(cid:210)u ki(cid:214)n (2.23) kh«ng fiæ fi(cid:211) suy ra f l(cid:181) li“n t(cid:244)c. Trong thøc t(cid:213), n(cid:213)u f (x, y) = ϕ(y) − ϕ(x) th(cid:215) r(cid:226) r(cid:181)ng (2.21) lu«n fi(cid:243)ng v(cid:237)i ∀c1 ≥ 0, c2 ≥ 0 v(cid:181) h(cid:181)m ϕ tuœ (cid:253).

xk = x ∈ K ∗. (2.34) M˘t kh‚c, do {l(xk)}k≥0 kh«ng t¤ng v(cid:181) l(xki) → l(x), ta cª l(xk) → l(x) (cid:3) khi k → +∞. V(cid:215) v¸y, tı (2.34) suy ra lim k→+∞

Cho K l(cid:181) t¸p l(cid:229)i fia di(cid:214)n d„ng:

K := {x ∈ Rn : Ax ≤ b}. (2.35)

v(cid:181) h(cid:181)m f : K × K → R ∪ {+∞} cª d„ng:

f (x, y) := (cid:10)F (x) + Qy + q, y − x(cid:11), (2.36)

v(cid:237)i F : K → Rn, Q ∈ Rn×n l(cid:181) ma tr¸n fiŁi xłng x‚c fi(cid:222)nh d›‹ng v(cid:181) q ∈ Rn. Do Q l(cid:181) fiŁi xłng n(cid:246)a x‚c fi(cid:222)nh d›‹ng, f (x, .) l(cid:181) l(cid:229)i v(cid:237)i m(cid:228)i x ∈ K. Ta sˇ minh ho„ thu¸t to‚n 2.2 cho l(cid:237)p b(cid:181)i to‚n c'n b»ng n(cid:181)y. Tr›(cid:237)c ti“n ta cª mØt sŁ k(cid:213)t qu¶ sau:

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn35

33

B(cid:230) fi(cid:210) 2.2.2. [5] N(cid:213)u f : K → Rn l(cid:181) τ −fi‹n fii(cid:214)u m„nh tr“n K. Khi fiª: a, f fi‹n fii(cid:214)u tr“n K khi τ =k Q k. b, f l(cid:181) (τ − k Q k)−fi‹n fii(cid:214)u m„nh tr“n K khi τ >k Q k.

Chłng minh Tı fi(cid:222)nh ngh(cid:220)a cæa h(cid:181)m f ta cª:

f (x, y) + f (y, x) = (cid:10)Q(y − x), y − x(cid:11) − (cid:10)F (y) − F (x), y − x(cid:11). (2.37)

M˘t kh‚c,

(cid:10)Q(y − x), y − x(cid:11) ≤k Q kk y − x k2 . (2.38)

Do F l(cid:181) τ −fi‹n fii(cid:214)u m„nh tr“n K, tłc l(cid:181)

(cid:10)F (y) − F (x), y − x(cid:11) ≥ τ k y − x k2,

Tı (2.37), (2.38) suy ra f (x, y) + f (y, x) ≤ 0, khi τ =k Q k. V¸y f fi‹n fii(cid:214)u tr“n K khi τ =k Q k. Khi τ >k Q k tı (2.37), (2.38) ta suy ra

f (x, y)+f (y, x) ≤k Q kk y−x k2 −τ k y−x k2= −(τ − k Q k) k y−x k2 .

(cid:3) V¸y f l(cid:181) (τ − k Q k)− fi‹n fii(cid:214)u m„nh tr“n K khi τ >k Q k.

B(cid:230) fi(cid:210) 2.2.3. [5] N(cid:213)u F l(cid:181) li“n t(cid:244)c L−Lipschitz tr“n K, tłc l(cid:181)

k F (y) − F (x) k≤ L k y − x k ∀x, y ∈ K,

th(cid:215) f tho¶ m•n ti“u chu¨n ki(cid:211)u Lipschitz (2.23), tłc l(cid:181) ta cª:

f (x, y) + f (y, z) ≥ f (x, z) − c1 k y − x k2 −c2 k z − y k2 ∀x, y, z ∈ K,

Chłng minh V(cid:237)i m(cid:228)i x, y, z ∈ K ta cª: f (x, y) + f (y, z) − f (x, z) = (cid:10)F (y) − F (x), z = y(cid:11) + (cid:10)Q(y − z), y − x(cid:11),

v(cid:237)i c1 > 0, c2 > 0 tho¶ m•n: √ 2 c1c2 ≥ L+ k Q k .

Theo b˚t fi…ng thłc Cauchy-Schwartz, ta cª:

(cid:10)Q(y − z), y − x(cid:11) ≥ − k Q kk z − y kk y − x k .

v(cid:181)

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn36

34

(cid:10)F (y) − F (x), z − y(cid:11) ≥ − k F (y) − F (x) kk z − y k .

Do F l(cid:181) L− Lipschitzs, ta cª th(cid:211) vi(cid:213)t:

− k F (y) − F (x) kk z − y k≥ −L k y − x kk z − y | .

Do v¸y ta suy ra

f (x, y) + f (y, z) − f (x, z) ≥ −(L+ k Q k) k y − x kk z − y k .

V(cid:215) v¸y, theo gi¶ thi(cid:213)t cª:

−(L+ k Q k) k y − x kk z − y k≥ −c1 k y − x k2 −c2 k z − y k2 .

Suy ra

(cid:3) f (x, y) + f (y, z) ≥ f (x, z) − c1 k y − x k2 −c2 k z − y k2 .

• Tr›Œng h(cid:238)p fi˘c bi(cid:214)t, khi F l(cid:181) fi‹n ‚nh v(cid:181) F (x) = P x, P ∈ Rn×n, th(cid:215) h(cid:181)m f fi›(cid:238)c fi(cid:222)nh ngh(cid:220)a bºi (2.36) d„ng

f (x, y) = (cid:10)P x + Qy + q, y − x(cid:11), (2.39)

Ta gi¶ s(cid:246) r»ng ma tr¸n P, Q fi›(cid:238)c ch(cid:228)n tho¶ m•n Q l(cid:181) fiŁi xłng x‚c fi(cid:222)nh d›‹ng v(cid:181) Q − P l(cid:181) n(cid:246)a x‚c fi(cid:222)nh 'm. Khi fiª, f tho¶ m•n mØt sŁ t(cid:221)nh ch˚t sau fi'y:

i, f fi‹n fii(cid:214)u, f (., y) li“n t(cid:244)c v(cid:181) f (x, .) kh¶ vi tr“n t¸p l(cid:229)i K. ii, V(cid:237)i m(cid:228)i x, y, z ∈ K ta cª:

f (x, y) + f (y, z) ≥ f (x, z) − c1 k z − y k2 −c2 k y − x k2, (2.40)

v(cid:237)i c1 = c2 = 1 Th¸t v¸y, v(cid:237)i m(cid:228)i x, y, z ∈ K, do Q − P l(cid:181) n(cid:246)a x‚c fi(cid:222)nh 'm n“n ta cª: f (x, y) + f (y, x) = (cid:10)(Q − P )(y − x), y − x(cid:11) ≤ 0.

2 k P − Q k .

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn37

35

Do fiª, f l(cid:181) fi‹n fii(cid:214)u tr“n K. R(cid:226) r(cid:181)ng, f (x, .) kh¶ vi, do Q fiŁi xłng n(cid:246)a x‚c fi(cid:222)nh d›‹ng n“n f (x, .) l(cid:229)i v(cid:237)i m(cid:228)i x.

Tı ii, ta th˚y r»ng, v(cid:237)i m(cid:228)i x, y, z ∈ K cª:

f (x, y) + f (y, z) − f (x, z) = = (cid:10)P x + Qy + q, y − x(cid:11) + (cid:10)P y + Qz + q, z − y(cid:11) − (cid:10)P x + Qz + q, z − x(cid:11) = (cid:10)P x + Qy, y − x(cid:11) + (cid:10)P y + Qz, z − y(cid:11) − (cid:10)P x + Qz, z − x(cid:11) + (cid:10)q, y − x + z − y − (z − x)(cid:11) = (cid:10)P x + Qy, y − x(cid:11) + (cid:10)P y + Qz, z − y(cid:11) − (cid:10)P x + Qz, z − x(cid:11) = (cid:10)P x, y − x − (z − x)(cid:11) + (cid:10)Qz, z − y − (z − x)(cid:11) + (cid:10)Qy, y − x(cid:11)+ + (cid:10)P y, z − y(cid:11) = (cid:10)P x, y − z(cid:11) + (cid:10)Qz, x − y(cid:11) + (cid:10)Qy, y − x(cid:11) + (cid:10)P y, z − y(cid:11) = (cid:10)P (y − x), z − y(cid:11) + (cid:10)Q(z − y), x − y(cid:11) = (cid:10)P (y − x), z − y(cid:11) + (cid:10)QT (x − y), z − y(cid:11) = (cid:10)P (y − x), z − y(cid:11) + (cid:10)Q(x − y), z − y(cid:11) do Q = QT = (cid:10)(P − Q)(y − x), z − y(cid:11) . Tı fiª suy ra: f (x, y) + f (y, z) − f (x, z) = (cid:10)(P − Q)(y − x), z − y(cid:11)

k y − x kk z − y k ≥ −2

≥ − k y − x k2 − k z − y k2 k P − Q k 2 k P − Q k 2 k P − Q k 2

Theo c‚ch fi˘t, c1 = c2 = 1 2 k P − Q k, ta suy ra (2.40).

V(cid:221) d(cid:244) 2.2.1. [5] ‚p d(cid:244)ng thu¸t to‚n 2.2 v(cid:237)i h(cid:181)m ch(cid:221)nh quy ho‚ b¸c hai G(x) := 1 2 k x k2 fi(cid:211) gi¶i b(cid:181)i to‚n c'n b»ng. Trong fiª, f (x, y) := (cid:10)P x − Qy + q, y − x(cid:11) v(cid:181) K := {x ∈ Rn : Ax ≤ b}.

Trong tr›Œng h(cid:238)p n(cid:181)y, theo thu¸t to‚n t„i b›(cid:237)c 1 ta cª b(cid:181)i to‚n con:

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn38

36

{(cid:15)f (x, y) + k y − x k2}. min y∈K 1 2

Theo (2.39) f (x, .) l(cid:181) h(cid:181)m l(cid:229)i to(cid:181)n ph›‹ng, n“n b(cid:181)i to‚n con cª th(cid:211) gi¶i tr“n MATLAB Optimization Toolbox. V(cid:237)i n = 5 v(cid:181) ma tr¸n P, Q cª d„ng:

  3.1 2 0 0 1.6 1 0 0

2 3.6 0 0 1 1.6 0 0

; P = Q = 0 0 3.5 2 0 0 1.5 1

0 0 2 3.3 0 0 0 1 1.5 0              

0 0 0 0  0  0   0     3 0 0 0 0  0  0   0     2

V(cid:237)i q = (1, −2, −1, 2, −1)T ,

5 X

i=1

(cid:26) K = x ∈ R5 : (cid:27) , xi ≥ −1, −5 ≤ xi ≤ 5, i = 1, . . . , 5

2 k Q − P k= 1.4525, (cid:15) = 1 2c1 = 0.7262, x0 = (1, 3, 1, 1, 2)T

c1 = c2 = 1 v(cid:181) ζ = 10−3 ta cª:

k xk 1 xk 2 xk 5 xk 4

0 xk 3 1.00000 3.00000 1.00000 1.00000 2.00000

1 -0.34415 1.59236 0.68742 -0.15427 0.63458

2 3 -0.67195 1.10393 0.65016 -0.57872 0.30562 -0.73775 0.92351 0.66742 -0.74459 0.22567

4 -0.74236 0.85342 0.68785 -0.81261 0.20624

5 -0.73668 0.82486 0.70195 -0.84184 0.20152

6 -0.73168 0.81276 0.71030 -0.85493 0.20037

7 -0.72864 0.80747 0.71491 -0.86100 0.20009

8 -0.72700 0.80511 0.71737 -0.86389 0.20002

-0.72617 0.80403 0.71865 -0.86529 0.20001 9 10 -0.72576 0.80354 0.71931 -0.86598 0.20000

Nghi(cid:214)m x˚p x(cid:216) sau 10 b›(cid:237)c l˘p l(cid:181):

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn39

37

x10 = (−0.72576, 0.80354, 0.71931, −0.86598, 0.20000)T .

N(cid:213)u ch(cid:228)n   3.1 2.0 0.0 0.0 0.0

2.0 3.6 0.0 0.0 0.0

P = 0.0 0.0 3.5 2.0 0.0

0.0 0.0 2.0 3.3 0.0              

0.0 0.0 0.0 0.0 2.0

Khi fiª gi‚ tr(cid:222) ri“ng cæa ma tr¸n Q − P l(cid:181):

{−0.7192, −2.7808, 2.9050, −0.8950, 0.0000}

Theo i, cæa b(cid:230) fi(cid:210) 2.2.2 cª f fi‹n fii(cid:214)u. Trong tr›Œng h(cid:238)p n(cid:181)y, m‚y t(cid:221)nh t(cid:221)nh fi›(cid:238)c:

k xk 1 xk 2 xk 5 xk 4

0 xk 3 1.00000 3.00000 1.00000 1.00000 2.00000

1 -0.34006 1.59892 0.69395 -0.14884 0.69814

2 -0.67118 1.10637 0.65254 -0.57720 0.36476

3 4 -0.73773 0.92446 0.66833 -0.74422 0.27939 -0.74245 0.85380 0.68821 -0.81255 0.25753

5 -0.73676 0.82503 0.70210 -0.84185 0.25193

6 -0.73172 0.81283 0.71037 -0.85495 0.25049

7 8 -0.72866 0.80751 0.71494 -0.86102 0.25013 -0.72701 0.80512 0.71738 -0.86390 0.25003

9 -0.72618 0.80404 0.71866 -0.86530 0.25001

10 -0.72577 0.80354 0.71932 -0.86599 0.25000

v(cid:181) t(cid:221)nh fi›(cid:238)c nghi(cid:214)m x˚p x(cid:216) l(cid:181)

x10 = {−0.72577, 0.80354, 0.71932, −0.86599, 0.25000}T

K(cid:213)t lu¸n ch›‹ng

v(cid:237)i ζ = 10−3.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn40

38

Ch›‹ng n(cid:181)y gi(cid:237)i thi(cid:214)u v(cid:210) ph›‹ng ph‚p chi(cid:213)u v(cid:181) ph›‹ng ph‚p fi„o h(cid:181)m t¤ng

c›Œng gi¶i b(cid:181)i to‚n c'n b»ng. §(cid:229)ng thŒi, ta x—t mØt v(cid:221) d(cid:244) minh ho„ vi(cid:214)c

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn41

39

łng d(cid:244)ng ph›‹ng ph‚p fi„o h(cid:181)m t¤ng c›Œng v(cid:181)o gi¶i b(cid:181)i to‚n c'n b»ng.

Ch›‹ng 3

Ph›‹ng ph‚p h(cid:181)m fi‚nh gi‚

MØt ph›‹ng ph‚p hi(cid:214)u ch(cid:216)nh c‹ b¶n fi(cid:211) gi¶i b(cid:181)i to‚n c'n b»ng l(cid:181) ph›‹ng

ph‚p h(cid:181)m fi‚nh gi‚. Tłc l(cid:181), ta quy vi(cid:214)c gi¶i b(cid:181)i to‚n c'n b»ng v(cid:210) vi(cid:214)c gi¶i

b(cid:181)i to‚n cøc tr(cid:222). C‚ch ti(cid:213)p c¸n theo h(cid:181)m fi‚nh gi‚ fi›(cid:238)c nghi“n cłu v(cid:181) ‚p

d(cid:244)ng rØng r•i fi(cid:211) gi¶i b(cid:181)i to‚n c'n b»ng. Ch›‹ng n(cid:181)y tr(cid:215)nh b(cid:181)y c‹ sº l(cid:221)

thuy(cid:213)t v(cid:181) thu¸t to‚n hi(cid:214)u ch(cid:216)nh b(cid:181)i to‚n c'n b»ng theo ph›‹ng ph‚p h(cid:181)m

fi‚nh gi‚ cæa Auslender v(cid:181) Fukushima. NØi dung chæ y(cid:213)u cæa ch›‹ng fi›(cid:238)c tham kh¶o trong [2], [9].

Ch(cid:243)ng ta v(cid:201)n x—t b(cid:181)i to‚n c'n b»ng:

(1.1) T(cid:215)m x∗ ∈ K sao cho f (x∗, y) ≥ 0, ∀y ∈ K,

trong fiª, f : K × K → R l(cid:181) mØt h(cid:181)m tho¶ m•n f (x, x) = 0, ∀x ∈ K.

Nh› ta fi• bi(cid:213)t (ch›‹ng 1), b(cid:181)i to‚n c'n b»ng (1.1) t›‹ng fi›‹ng v(cid:237)i nhi(cid:210)u b(cid:181)i to‚n quan tr(cid:228)ng kh‚c nh›: b(cid:181)i to‚n tŁi ›u, b(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n

ph'n, b(cid:181)i to‚n b(cid:239),... B(cid:230) fi(cid:210) sau fi'y cho ta d„ng minimax cæa b(cid:181)i to‚n c'n b»ng (1.1).

B(cid:230) fi(cid:210) 3.0.4. [2] Cho f : K × K → R v(cid:237)i f (x, x) = 0, ∀x ∈ K. Khi fiª, c‚c m(cid:214)nh fi(cid:210) sau l(cid:181) t›‹ng fi›‹ng:

n = 0. sup y∈K

Chłng minh (a ⇒ b) Theo gi¶ thi(cid:213)t ta cª f (x, x) = 0, ∀x ∈ K.

f (x∗, y). a, ∃x∗ ∈ K sao cho f (x∗, y) ≥ 0, ∀y ∈ K. (cid:2) − f (x, y)(cid:3)o b, min x∈K c, x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n: min y∈K

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn42

40

f (x, y) ≤ 0, ∀x ∈ K ⇒ inf y∈K

f (x, y)} ≤ 0. { inf y∈K ⇒ sup x∈K f (x∗, y). { inf y∈K

f (x, y)} ≥ inf y∈K f (x∗, y) ≥ 0 M˘t kh‚c, cª x∗ ∈ K n“n ta suy ra fi›(cid:238)c sup x∈K Theo ph˙n a, ta l„i cª f (x∗, y) ≥ 0, ∀y ∈ K ⇒ inf y∈K

f (x, y)} f (x∗, y) ≤ sup x∈K f (x, y)} = 0 { inf y∈K { inf y∈K

f (x, y)} = sup x∈K [−f (x, y)]} = 0. ⇒ 0 ≤ inf y∈K { inf y∈K {sup y∈K

[−f (x, y)]} = 0 ⇒ max x∈K V¸y min x∈K (b ⇒ a) Do min x∈K

[−f (x, y)]} = 0 [−f (x∗, y)] = min x∈K {sup y∈K ⇒ ∃x∗ ∈ K : sup y∈K {sup y∈K

⇒ −f (x∗, y) ≤ 0, ∀y ∈ K ⇒ f (x∗, y) ≥ 0, ∀y ∈ K.

(c ⇔ a) Do x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n min y∈K

f (x∗, y)

(cid:3) ⇔ f (x∗, y) ≥ f (x∗, x∗) = 0 (do f (x, x) = 0, ∀x ∈ K), ∀y ∈ K ⇔ f (x∗, y) ≥ 0, ∀y ∈ K.

Nh¸n x—t Theo b(cid:230) fi(cid:210) tr“n th(cid:215) x∗ ∈ K l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng (1.1) khi v(cid:181) ch(cid:216) khi nª l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n tŁi ›u: (cid:2) − f (x, y(cid:3)o .

n (3.1) min x∈K sup y∈K

Xu˚t ph‚t tı nh¸n x—t tr“n, ng›Œi ta fi• fi›a ra kh‚i ni(cid:214)m h(cid:181)m fi‚nh gi‚ v(cid:181)

h›(cid:237)ng t(cid:237)i vi(cid:214)c x'y døng thu¸t to‚n h(cid:181)m fi‚nh gi‚ gi¶i b(cid:181)i to‚n c'n b»ng.

§(cid:222)nh ngh(cid:220)a 3.0.2. [9] Cho K l(cid:181) t¸p fiªng cæa Rn. Khi fiª, h(cid:181)m g : K → R fi›(cid:238)c g(cid:228)i l(cid:181) h(cid:181)m fi‚nh gi‚ cæa b(cid:181)i to‚n c'n b»ng n(cid:213)u v(cid:181) ch(cid:216) n(cid:213)u:

Nh¸n x—t ? Tı fi(cid:222)nh ngh(cid:220)a 3.0.2 ta th˚y h(cid:181)m:

a, g(x) ≥ 0, ∀x ∈ K, b, x∗ ∈ K, g(x∗) = 0 ⇔ x∗ l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn43

41

[−f (x, y)] (3.2) g(x) := sup y∈K

y∈K

l(cid:181) h(cid:181)m fi‚nh gi‚ cæa b(cid:181)i to‚n c'n b»ng (1.1). ? §Łi v(cid:237)i b(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n ph'n, ta cª h(cid:181)m fi‚nh gi‚: (cid:10)T (x), x − y(cid:11) (cid:8) − (cid:10)T (x), y − x(cid:11)(cid:9) = sup (3.3) g(x) := sup y∈K

h(cid:181)m fi‚nh gi‚ (3.3) g(cid:228)i l(cid:181) h(cid:181)m fi‚nh gi‚ A.Auslender [6]. Trong tr›Œng h(cid:238)p t(cid:230)ng qu‚t h(cid:181)m fi‚nh gi‚ n(cid:181)y nh(cid:215)n chung kh«ng kh¶ vi.

V˚n fi(cid:210) x'y døng h(cid:181)m fi‚nh gi‚ kh¶ vi, li“n t(cid:244)c cho b(cid:181)i to‚n b˚t fi…ng thłc

bi(cid:213)n ph'n fi• fi›(cid:238)c fi(cid:210) xu˚t fi˙u ti“n bºi M.Fukushima [8] v(cid:181) fi›(cid:238)c ph‚t tri(cid:211)n

ti(cid:213)p theo bºi D.L.Zhu v(cid:181) P.Marcotte. D.L.Zhu v(cid:181) P.Marcotte fi• chłng minh

fi›(cid:238)c r»ng: (cid:27) (cid:26) (cid:10)T (x), x − y(cid:11) − L(x, y) (3.4) g(x) := max y∈K

l(cid:181) h(cid:181)m fi‚nh gi‚ kh¶ vi, li“n t(cid:244)c cho b(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n ph'n, v(cid:237)i fii(cid:210)u ki(cid:214)n L : K × K → R l(cid:181) mØt h(cid:181)m kh«ng 'm, kh¶ vi li“n t(cid:244)c v(cid:181) l(cid:229)i m„nh tr“n t¸p l(cid:229)i K theo bi(cid:213)n y v(cid:181) tho¶ m•n:

a, L(x, x) = 0, ∀x ∈ K, b, ∇yL(x, x) = 0, ∀y ∈ K.

(cid:10)x − y, M (x − y)(cid:11)

Trong tr›Œng h(cid:238)p fi˘c bi(cid:214)t, L(x, y) := 1 v(cid:237)i M l(cid:181) ma 2 tr¸n fiŁi xłng x‚c fi(cid:222)nh d›‹ng c˚p n, th(cid:215) fiª ch(cid:221)nh l(cid:181) h(cid:181)m fi‚nh gi‚ fi›(cid:238)c ch(cid:216) ra bºi Fukushima [9].

3.1. H(cid:181)m fi‚nh gi‚ A.Auslender

Nh(cid:215)n chung, h(cid:181)m fi‚nh gi‚ Auslender th›Œng kh«ng kh¶ vi [9]. Do fiª, fi(cid:211)

cª th(cid:211) ‚p d(cid:244)ng ph›‹ng ph‚p h(cid:181)m fi‚nh gi‚ gi¶i b(cid:181)i to‚n c'n b»ng ta c˙n

c‚c fii(cid:210)u ki(cid:214)n fi(cid:211) mØt h(cid:181)m fi‚nh gi‚ l(cid:181) kh¶ vi li“n t(cid:244)c.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn44

42

M(cid:214)nh fi(cid:210) sau fi'y sˇ fi›a ra fii(cid:210)u ki(cid:214)n fi(cid:211) mØt h(cid:181)m fi‚nh gi‚ cª d„ng (3.2) l(cid:181) kh¶ vi li“n t(cid:244)c v(cid:181) cho c«ng thłc t›Œng minh fi(cid:211) t(cid:221)nh fi„o h(cid:181)m cæa nª.

M(cid:214)nh fi(cid:210) 3.1.1. [2] Gi¶ s(cid:246) r»ng f (x, .) : K → R l(cid:181) h(cid:181)m l(cid:229)i m„nh v(cid:237)i ∀x ∈ K, kh¶ vi v(cid:237)i bi(cid:213)n x v(cid:181) ∇xf (., .) li“n t(cid:244)c tr“n K × K. Khi fiª,

{−f (x, y)} g(x) := sup y∈K

l(cid:181) h(cid:181)m fi‚nh gi‚ kh¶ vi li“n t(cid:244)c cæa b(cid:181)i to‚n c'n b»ng v(cid:181) fi„o h(cid:181)m cæa nª

fi›(cid:238)c cho bºi c«ng thłc:

∇g(x) := ∇xf (x, y(x)), (3.5)

Chłng minh Do f (., .) l(cid:229)i m„nh v(cid:237)i bi(cid:213)n y, n“n t(cid:229)n t„i duy nh˚t fii(cid:211)m cøc ti(cid:211)u y(x) cæa b(cid:181)i to‚n:

trong fiª, y(x) := argminy∈Kf (x, y).

f (x, y) min y∈K

Theo fi(cid:222)nh l(cid:221) 4.3.3 cæa B.Bank, ta suy ra fi›(cid:238)c y(x) l(cid:181) n(cid:246)a li“n t(cid:244)c tr“n t„i x theo ngh(cid:220)a Berge v(cid:181) l(cid:181) h(cid:181)m fi‹n tr(cid:222) t„i y(x). Do fiª suy ra y(x) li“n t(cid:244)c t„i x. L„i do ∇xf (., .) li“n t(cid:244)c tr“n K × K, tı fi(cid:222)nh l(cid:221) 1.7 ch›‹ng 4 cæa Auslender [6] ta cª:

∇g(x) := −∇xf (x, y(x))

(cid:3) Do t(cid:221)nh li“n t(cid:244)c cæa ∇xf (., .) v(cid:181) y(x) n“n ∇g(x) li“n t(cid:244)c t„i x.

Thu¸t to‚n sau fi'y fi›(cid:238)c x'y døng døa v(cid:181)o vi(cid:214)c cøc ti(cid:211)u h(cid:181)m fi‚nh gi‚ g cho º d„ng (3.2).

Thu¸t to‚n 3.1 [9]

B›(cid:237)c 1 Cho k = 0, x0 ∈ K. B›(cid:237)c 2 Cho xk+1 = xk + tkdk v(cid:237)i k = 1, 2, . . . trong fiª:

{−f (x, y)}. Cho g(x) := sup y∈K

dk := y(xk) − xk

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn45

43

y(xk) l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n tŁi ›u:

f (xk, y) min y∈K

v(cid:181) tk l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n:

B›(cid:237)c 3 N(cid:213)u k xk+1 − xk k≤ µ v(cid:237)i µ > 0 th(cid:215) thu¸t to‚n dıng. Ng›(cid:238)c l„i, thay k bºi k + 1 v(cid:181) quay l„i b›(cid:237)c 2.

{g(xk + tdk)} min y∈K

• Nh(cid:190)c l„i r»ng, dk l(cid:181) h›(cid:237)ng gi¶m cæa h(cid:181)m fi‚nh gi‚ g t„i xk n(cid:213)u:

(cid:10)∇g(xk), dk(cid:11) < 0.

Ta c˙n chłng minh dk = y(xk) − xk l(cid:181) h›(cid:237)ng gi¶m cæa h(cid:181)m fi‚nh gi‚ g t„i xk. §(cid:211) kh…ng fi(cid:222)nh fii(cid:210)u fiª ta c˙n gi¶ thi(cid:213)t th“m:

(cid:10) 5x f (x, y) + 5yf (x, y), y − x(cid:11) ≥ 0, ∀x, y ∈ K. (3.6)

Gi¶ thi(cid:213)t (3.6) tho¶ m•n trong tr›Œng h(cid:238)p b(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n ph'n: f (x, y) = (cid:10)T (x), y − x(cid:11)

n(cid:213)u ∇T (x) l(cid:181) ma tr¸n x‚c fi(cid:222)nh d›‹ng v(cid:237)i m(cid:228)i x ∈ K.

M(cid:214)nh fi(cid:210) 3.1.2. [11] Gi¶ s(cid:246) r»ng gi¶ thi(cid:213)t cæa m(cid:214)nh fi(cid:210) 3.1.1 l(cid:181) fi(cid:243)ng v(cid:181) gi¶ thi(cid:213)t (3.6) tho¶ m•n. Khi fiª,

d(x) := y(x) − x

Chłng minh Ta th˚y r»ng x∗ l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng khi v(cid:181) ch(cid:216) khi y(x∗) = x∗. M˘t kh‚c y(x) l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n:

l(cid:181) h›(cid:237)ng gi¶m cæa h(cid:181)m fi‚nh gi‚ g t„i x ∈ K, v(cid:237)i fii(cid:210)u ki(cid:214)n y(x) 6= x.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn46

44

{f (x, y)} min y∈K

v(cid:181) f (x, .) l(cid:229)i m„nh n“n b˚t fi…ng thłc sau lu«n fi(cid:243)ng:

(cid:10)∇yf (x, y(x)), z − y(x)(cid:11) > 0, ∀z ∈ K, z 6= y(x) (3.7)

§˘t z := x ta cª:

(cid:10)∇yf (x, y(x)), x − y(x)(cid:11) > 0

fii(cid:210)u n(cid:181)y t›‹ng fi›‹ng v(cid:237)i:

(cid:10)∇yf (x, y(x)), y(x) − x(cid:11) < 0

K(cid:213)t h(cid:238)p v(cid:237)i (3.6) ta cª:

0 > (cid:10)∇yf (x, y(x)), y(x) − x(cid:11) − (cid:10)∇xf (x, y(x)), y(x) − x(cid:11)

Theo c«ng thłc fi„o h(cid:181)m ta cª:

∇g(x) = −∇xf (x, y(x)),

ta suy ra fi›(cid:238)c:

(cid:10)∇g(y), y − x(cid:11) < 0.

(cid:3) Tłc l(cid:181), d(x) = y(x) − x l(cid:181) h›(cid:237)ng gi¶m cæa g t„i x.

§(cid:222)nh l(cid:221) sau fi'y ch(cid:216) ra t(cid:221)nh hØi t(cid:244) cæa d•y fii(cid:211)m fi›(cid:238)c sinh tı thu¸t to‚n 3.1.

Chłng minh V(cid:215) K l(cid:181) t¸p l(cid:229)i v(cid:181) 0 ≤ tk ≤ 1, n“n {xk}k∈N ⊂ K. H(cid:181)m d(x) = y(x) − x li“n t(cid:244)c tr“n K do y(x) li“n t(cid:244)c. Ta l„i cª ‚nh x„:

§(cid:222)nh l(cid:253) 3.1.1. [9] Cho K l(cid:181) t¸p l(cid:229)i v(cid:181) compact cæa Rn. Gi¶ s(cid:246) r»ng f (x, .) l(cid:181) h(cid:181)m l(cid:229)i ch˘t (v(cid:237)i bi(cid:213)n y) ∀x ∈ K, kh¶ vi theo bi(cid:213)n x v(cid:181) ∇xf li“n t(cid:244)c tr“n K × K. H‹n n(cid:247)a, gi¶ thi(cid:213)t (3.6) tho¶ m•n. Khi fiª, v(cid:237)i ∀x0 ∈ K, d•y {xk}k∈N fi›(cid:238)c t(cid:215)m tı thu¸t to‚n 3.1 l(cid:181) thuØc K v(cid:181) m(cid:228)i fii(cid:211)m t(cid:244) cæa d•y {xk}k∈N fi(cid:210)u l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

t∈[0,1]

g(x + td)(cid:9) U (x, d) = (cid:8)y : y = x + tkd, g(x + tkd) = min

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn47

45

l(cid:181) fiªng khi h(cid:181)m g l(cid:181) h(cid:181)m li“n t(cid:244)c. Do fiª, d•y {xk}k∈N fi›(cid:238)c x'y døng bºi xk+1 = U (xk, d(xk)) l(cid:181) fiªng [10].

(cid:3) Theo fi(cid:222)nh l(cid:221) hØi t(cid:244) cæa Zangwill suy ra b˚t k(cid:215) fii(cid:211)m t(cid:244) n(cid:181)o cæa d•y {xk}k∈N fi›(cid:238)c t(cid:215)m tı thu¸t to‚n 3.1 l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

M(cid:214)nh fi(cid:210) 3.1.3. [9] Gi¶ s(cid:246) r»ng K l(cid:181) t¸p l(cid:229)i v(cid:181) compact cæa Rn. Gi¶ s(cid:246):

(cid:10)∇xf (x, y) + ∇yf (x, y), y − x(cid:11) ≥ µ k x − y k2, ∀x, y ∈ K (3.8)

tho¶ m•n v(cid:237)i µ > 0. Khi fiª,

(cid:10)∇g(x), d(x)(cid:11) ≤ −µ k d(x) k2

Nh¸n x—t Trong thu¸t to‚n 3.1, vi(cid:214)c gi¶i b(cid:181)i to‚n:

trong fiª, d(x) := y(x) − x.

(cid:8)g(xk + tdk)(cid:9) min y∈K

fi(cid:211) t(cid:215)m tk fi«i khi r˚t phłc t„p. §(cid:211) kh(cid:190)c ph(cid:244)c nh›(cid:238)c fii(cid:211)m n(cid:181)y ta fi›a ra thu¸t to‚n 3.2 fi(cid:211) gi¶i b(cid:181)i to‚n c'n b»ng trong tr›Œng h(cid:238)p h(cid:181)m fi‚nh gi‚ g fi›(cid:238)c cho bºi (3.2) v(cid:181) h(cid:181)m f tho¶ m•n fii(cid:210)u ki(cid:214)n (3.8).

Thu¸t to‚n 3.2 [9]

B›(cid:237)c 1 Cho k = 0, x0 ∈ K. B›(cid:237)c 2 N(cid:213)u g(xk) = 0, th(cid:215) l˚y x∗ = xk v(cid:181) thu¸t to‚n dıng. Tr‚i l„i, ta ti(cid:213)p t(cid:244)c thøc hi(cid:214)n b›(cid:237)c 3. B›(cid:237)c 3 Cho xk+1 = xk + tkdk v(cid:237)i k = 1, 2, . . . trong fiª:

{−f (x, y)}. Cho g(x) := sup y∈K

dk := y(xk) − xk.

Ch(cid:228)n sŁ nguy“n kh«ng 'm m nhÆ nh˚t tho¶ m•n:

g(xk) − g(xk + αmdk) ≥ tαm k dk k2

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn48

46

v(cid:237)i αm = tk; t, α ∈ [0, 1]. B›(cid:237)c 4 N(cid:213)u k xk+1 − xk k≤ µ v(cid:237)i µ > 0 th(cid:215) thu¸t to‚n dıng. Tr‚i l„i, thay k bºi k + 1 v(cid:181) quay l„i b›(cid:237)c 2.

§(cid:222)nh l(cid:221) sau fi'y kh…ng fi(cid:222)nh sø hØi t(cid:244) cæa d•y fii(cid:211)m fi›(cid:238)c sinh tı thu¸t to‚n 3.2.

Chłng minh Do t(cid:221)nh l(cid:229)i cæa t¸p K v(cid:181) v(cid:237)i m(cid:228)i tk ∈ [0, 1] n“n ta suy ra {xk}k∈N ⊂ K. L„i do t(cid:221)nh compact cæa t¸p K n“n tı d•y {xk}k∈N ta cª th(cid:211) tr(cid:221)ch ra fi›(cid:238)c mØt d•y con {xkn}kn∈N, d•y n(cid:181)y hØi t(cid:244) fi(cid:213)n fii(cid:211)m x∗. Ta sˇ chłng minh y(x∗) = x∗ v(cid:215) th(cid:213) n“n x∗ l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng. Cho d(x) := y(x)−x, v(cid:215) y(x) li“n t(cid:244)c (xem chłng minh cæa m(cid:214)nh fi(cid:210) 3.1.1) n“n suy ra d(x) li“n t(cid:244)c. V(cid:215) v¸y, ta cª th(cid:211) kh…ng fi(cid:222)nh d(xkn) → d(x∗) := d∗ v(cid:181) g(xkn) → g(x∗) := g∗. Ta cª:

§(cid:222)nh l(cid:253) 3.1.2. [9] Cho {xk}k∈N l(cid:181) d•y fi›(cid:238)c t(cid:221)nh tı thu¸t to‚n 3.2. Gi¶ s(cid:246) K l(cid:181) t¸p l(cid:229)i v(cid:181) compact cæa Rn, f (x, .) l(cid:229)i m„nh v(cid:237)i ∀x ∈ K v(cid:181) gi¶ s(cid:246) (3.8) tho¶ m•n v(cid:237)i µ > 0 v(cid:181) t < µ/2. Khi fiª, v(cid:237)i m(cid:228)i x0 ∈ K, d•y {xk}k∈N ⊂ K v(cid:181) hØi t(cid:244) fi(cid:213)n nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

g(xk) − g(xk+1) ≥ tαk k dk k2,

Do ޻,

αkn k d(xkn) k2→ 0,

v¸y {αkn} ⊆ {αk}. N(cid:213)u αkn > γ > 0, γ ∈ R, ∀k ∈ R th(cid:215) k d(xkn) k→ 0 n“n y(x∗) = x∗. Tr‚i l„i, gi¶ s(cid:246) t(cid:229)n t„i d•y {αkp} ⊆ {αkn}, αkp → 0. Ta cª,

< t k d(xkp) k2, (3.9) g(xkp) − g(xkp + αkpd(xkp) αkp

trong fiª, αkp = αkp/α. Cho (3.9) qua gi(cid:237)i h„n v(cid:237)i kp → 0, do αkp → 0 v(cid:181) g kh¶ vi li“n t(cid:244)c n“n suy ra:

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn49

47

−(cid:10)∇g(x∗), d∗(cid:11) ≤ t k d∗ k2, (3.10)

M(cid:214)nh fi(cid:210) 3.1.3 ta cª:

−(cid:10)∇g(x∗), d∗(cid:11) ≥ µ k d∗ k2 .

(cid:3) V(cid:215) t < µ/2 n“n k d∗ k= 0, tı fiª suy ra y(x∗) = x∗.

º ph˙n tr“n Auslender fi• x'y døng thu¸t to‚n h(cid:181)m fi‚nh gi‚ gi¶i b(cid:181)i to‚n c'n b»ng khi f (x, .) l(cid:229)i m„nh. Nh›ng kh«ng ph¶i l(cid:243)c n(cid:181)o gi¶ thi(cid:213)t v(cid:210) t(cid:221)nh l(cid:229)i m„nh c(cid:242)ng fi›(cid:238)c tho¶ m•n. Ch…ng h„n, b(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n ph'n khi f (x, .) l(cid:181) h(cid:181)m tuy(cid:213)n t(cid:221)nh. §(cid:211) kh(cid:190)c ph(cid:244)c nh›(cid:238)c fii(cid:211)m n(cid:181)y Fukushima fi• chuy(cid:211)n b(cid:181)i to‚n c'n b»ng v(cid:210) b(cid:181)i to‚n c'n b»ng ph(cid:244) v(cid:181) fi›a ra thu¸t to‚n

3.2. H(cid:181)m fi‚nh gi‚ M.Fukushima

h(cid:181)m fi‚nh gi‚ gi¶i b(cid:181)i to‚n c'n b»ng.

§(cid:222)nh l(cid:253) 3.2.1. [2] Gi¶ s(cid:246) f (x, .) : K → R l(cid:181) h(cid:181)m l(cid:229)i v(cid:237)i ∀x ∈ K, kh¶ vi v(cid:237)i bi(cid:213)n x v(cid:181) ∇xf (., .) li“n t(cid:244)c tr“n K × K. Cho L(., .) kh«ng 'm, kh¶ vi li“n t(cid:244)c tr“n K × K, l(cid:229)i m„nh v(cid:237)i bi(cid:213)n y, ∀x ∈ K tho¶ m•n:

a, L(x, x) = 0, ∀x ∈ K, b, ∇yL(x, x) = 0, ∀x ∈ K.

Khi ޻,

{−f (x, y) − L(x, y)} (3.11) g(x) := max y∈K

l(cid:181) h(cid:181)m fi‚nh gi‚ kh¶ vi li“n t(cid:244)c cæa b(cid:181)i to‚n c'n b»ng v(cid:181) fi„o h(cid:181)m cæa nª

fi›(cid:238)c cho bºi c«ng thłc:

∇g(x) := −∇xf (x, y(x)) − ∇xL(x, y(x)) (3.12)

Chłng minh Tı b(cid:230) fi(cid:210) 3.0.5 v(cid:181) h(cid:214) qu¶ 2.2.1 (ch›‹ng 2), ta suy ra b(cid:181)i to‚n c'n b»ng t›‹ng fi›‹ng v(cid:237)i b(cid:181)i to‚n c'n b»ng ph(cid:244) sau:

trong fiª, y(x) := arguminy∈K{f (x, y) + L(x, y)}.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn50

48

{(cid:15)f (x∗, y) + L(x∗, y)}. min y∈K

L˚y (cid:15) = 1 v(cid:181) ‚p d(cid:244)ng m(cid:214)nh fi(cid:210) 3.1.1 cho b(cid:181)i to‚n c'n b»ng ph(cid:244) ta suy ra fii(cid:210)u (cid:3) ph¶i chłng minh. Nh¸n x—t Khi f (x, y) := (cid:10)T (x), y − x(cid:11) th(cid:215)

{−f (x, y) − L(x, y)} g(x) := sup y∈K

l(cid:181) h(cid:181)m fi‚nh gi‚ cho b(cid:181)i to‚n b˚t fi…ng thłc bi(cid:213)n ph'n. ‚p d(cid:244)ng thu¸t to‚n 3.1 cho b(cid:181)i to‚n c'n b»ng ta cª thu¸t to‚n cho b(cid:181)i to‚n c'n b»ng ph(cid:244).

Thu¸t to‚n 3.3 [9] B›(cid:237)c 1 Cho k = 0, x0 ∈ K. B›(cid:237)c 2 Cho xk+1 = xk + tkdk v(cid:237)i k = 1, 2, . . . trong fiª,

{−f (x, y) − L(x, y)}. Cho g(x) := max y∈K

dk = y(xk) − xk

y(xk) l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n tŁi ›u:

{f (xk, y) + L(xk, y)}, min y∈K

v(cid:181) tk l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n:

B›(cid:237)c 3 N(cid:213)u k xk+1 − xk k≤ µ v(cid:237)i µ > 0 th(cid:215) thu¸t to‚n dıng. Tr‚i l„i, thay k bºi k + 1 v(cid:181) quay l„i b›(cid:237)c 2.

{g(xk + tdk)}. min y∈K

Trong thu¸t to‚n 3.3 thay th(cid:213) gi¶ thi(cid:213)t (3.6) cæa thu¸t to‚n 3.1 bºi fii(cid:210)u ki(cid:214)n sau: (cid:10)∇xf (x, y) + ∇xL(x, y) + ∇yf (x, y) + ∇yL(x, y), y − x(cid:11) ≥ 0, ∀x, y ∈ K. (3.13) D(cid:212) th˚y r»ng n(cid:213)u ta gi¶ thi(cid:213)t ∇xL(x, y) + ∇yL(x, y) = 0, ∀x, y ∈ K th(cid:215) gi¶ thi(cid:213)t (3.13) ch(cid:221)nh l(cid:181) gi¶ thi(cid:213)t (3.6).

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn51

49

§(cid:222)nh l(cid:221) sau ch(cid:216) ra t(cid:221)nh hØi t(cid:244) cæa d•y fii(cid:211)m fi›(cid:238)c sinh bºi thu¸t to‚n 3.3.

§(cid:222)nh l(cid:253) 3.2.2. [2] Cho K l(cid:181) t¸p l(cid:229)i v(cid:181) compact cæa t¸p Rn. Gi¶ s(cid:246) r»ng f (x, .) l(cid:181) h(cid:181)m l(cid:229)i ∀x ∈ K, kh¶ vi v(cid:237)i bi(cid:213)n x v(cid:181) ∇xf li“n t(cid:244)c tr“n K × K. Cho L(., .) : K × K → R kh«ng 'm, kh¶ vi li“n t(cid:244)c tr“n K × K, L(x, .) l(cid:229)i ch˘t v(cid:237)i ∀x ∈ K v(cid:181) tho¶ m•n:

a, L(x, x) = 0, ∀x ∈ K, b, ∇yL(x, x) = 0, ∀x ∈ K.

Chłng minh Theo m(cid:214)nh fi(cid:210) 3.0.5, b(cid:181)i to‚n c'n b»ng t›‹ng fi›‹ng v(cid:237)i b(cid:181)i to‚n c'n b»ng ph(cid:244). L˚y (cid:15) = 1 v(cid:181) ‚p d(cid:244)ng fi(cid:222)nh l(cid:221) 3.2.1 cho b(cid:181)i to‚n c'n b»ng (cid:3) ph(cid:244) ta suy ra fii(cid:210)u ph¶i chłng minh.

Nh¸n x—t Ch(cid:243)ng ta nh¸n th˚y r»ng fii(cid:210)u ki(cid:214)n l(cid:229)i m„nh cæa h(cid:181)m f (x, .) tr“n K trong thu¸t to‚n 3.2 l(cid:181)m h„n ch(cid:213) ph„m vi łng d(cid:244)ng. §i(cid:210)u ki(cid:214)n n(cid:181)y cª th(cid:211) bÆ fi›(cid:238)c n(cid:213)u ta thay th(cid:213) gi¶ thi(cid:213)t (3.8) bºi gi¶ thi(cid:213)t sau [11]: (cid:10)∇xf (x, y) + ∇xL(x, y) + ∇yf (x, y) + ∇yL(x, y), y − x(cid:11) ≥ µ k x − y k2 . (3.14)

H‹n n(cid:247)a, gi¶ s(cid:246) fii(cid:210)u ki(cid:214)n (3.13) tho¶ m•n. Khi fiª, v(cid:237)i m(cid:228)i fii(cid:211)m x0 ∈ K, d•y {xk}k∈N fi›(cid:238)c t(cid:215)m tı thu¸t to‚n 3.3 l(cid:181) thuØc K v(cid:181) hØi t(cid:244) t(cid:237)i nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

Thu¸t to‚n sˇ tr(cid:215)nh b(cid:181)y sau fi'y cª th(cid:211) ‚p d(cid:244)ng ngay c¶ trong tr›Œng h(cid:238)p f (x, .) l(cid:181) h(cid:181)m l(cid:229)i, nh›ng kh«ng nh˚t thi(cid:213)t l(cid:181) l(cid:229)i m„nh [9].

Thu¸t to‚n 3.4 [9] B›(cid:237)c 1 Cho k = 0, x0 ∈ K. B›(cid:237)c 2 N(cid:213)u g(xk) = 0 th(cid:215) thu¸t to‚n dıng. Tr‚i l„i ta ti(cid:213)p t(cid:244)c thøc hi(cid:214)n b›(cid:237)c 3. B›(cid:237)c 3 Cho xk+1 = xk + tkdk v(cid:237)i k = 1, 2, . . . trong fiª:

{−f (x, y) − L(x, y)}. Cho g(x) := max y∈K

dk := y(xk) − xk.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn52

50

Ch(cid:228)n sŁ nguy“n kh«ng 'm m nhÆ nh˚t tho¶ m•n:

g(xk) − g(xk + αmdk) ≥ tαm k dk k2

v(cid:237)i αm = tk; t, α ∈ [0, 1]. B›(cid:237)c 4 N(cid:213)u k xk+1 − xk k≤ µ v(cid:237)i µ > 0 th(cid:215) thu¸t to‚n dıng. Tr‚i l„i, thay k bºi k + 1 v(cid:181) quay l„i b›(cid:237)c 2.

Sø hØi t(cid:244) cæa d•y fii(cid:211)m fi›(cid:238)c sinh tı thu¸t to‚n 3.4 fi›(cid:238)c kh…ng fi(cid:222)nh bºi h(cid:214) qu¶ (cæa fi(cid:222)nh l(cid:221) 3.1.2) sau:

H(cid:214) qu¶ 3.2.1. [9] Cho {xk} l(cid:181) d•y fi›(cid:238)c t(cid:215)m tı thu¸t to‚n 3.4. Gi¶ s(cid:246) r»ng K l(cid:181) t¸p l(cid:229)i v(cid:181) compact cæa Rn v(cid:181) gi¶ thi(cid:213)t (3.14) tho¶ m•n v(cid:237)i µ > 0 v(cid:181) t < µ/2. Khi fiª, v(cid:237)i m(cid:228)i x0 ∈ K d•y {xk} ⊂ K v(cid:181) hØi t(cid:244) t(cid:237)i nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

Ng›Œi ta chłng minh fi›(cid:238)c r»ng cª th(cid:211) gi¶m nh(cid:209) fii(cid:210)u ki(cid:214)n v(cid:210) t(cid:221)nh compact cæa t¸p ch˚p nh¸n fi›(cid:238)c K trong tr›Œng h(cid:238)p h(cid:181)m f fi‹n fii(cid:214)u m„nh v(cid:181) ∇xL li“n t(cid:244)c Lipschitz tr“n K [11]. M(cid:214)nh fi(cid:210) sau cho ph—p ta fi‚nh gi‚ sai sŁ to(cid:181)n c(cid:244)c khi gi¶i b(cid:181)i to‚n c'n b»ng theo h(cid:181)m fi‚nh gi‚ g trong tr›Œng h(cid:238)p f fi‹n fii(cid:214)u m„nh.

M(cid:214)nh fi(cid:210) 3.2.1. [9] Cho f fi‹n fii(cid:214)u m„nh tr“n K v(cid:237)i h(cid:214) sŁ b. Khi fiª,

g(x) ≥ b k x − x∗ k2, ∀x ∈ K (3.15)

Chłng minh V(cid:215) v(cid:237)i ∀y ∈ K ta cª g(x) ≥ −f (x, y). Khi fiª døa v(cid:181)o gi¶ thi(cid:213)t v(cid:210) t(cid:221)nh fi‹n fii(cid:214)u m„nh theo h(cid:214) sŁ b cæa h(cid:181)m f v(cid:181) t(cid:221)nh ch˚t f (x, x) = 0, ∀x ∈ K ta cª:

v(cid:237)i x∗ l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

g(x) ≥ −f (x∗, x) − f (x, x∗) + f (x, x∗)

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn53

51

(cid:3) ≥ b k x − x∗ k2 +f (x, x∗) ≥ b k x − x∗ k2 .

(cid:8) − f (x, y) − L(x, y)(cid:9)

Ta cª th(cid:211) mº rØng k(cid:213)t qu¶ n“u trong m(cid:214)nh fi(cid:210) 3.2.1 fiŁi v(cid:237)i h(cid:181)m fi‚nh gi‚ g := maxy∈K v(cid:181) c˙n x—t th“m fii(cid:210)u ki(cid:214)n v(cid:210) t(cid:221)nh li“n t(cid:244)c Lipschitz cho h(cid:181)m ∇yL(x, y).

M(cid:214)nh fi(cid:210) 3.2.2. [11] Cho f fi‹n fii(cid:214)u m„nh tr“n K v(cid:237)i h(cid:214) sŁ b, L(x, .) l(cid:229)i v(cid:181) ∇yL(x, .) li“n t(cid:244)c Lipschitz v(cid:237)i h(cid:214) sŁ L < 2b, ∀x ∈ K. Khi fiª,

g(x) ≥ (b − L/2) k x − x∗ k2, ∀x ∈ K (3.16)

Chłng minh V(cid:237)i ∀x, y ∈ K cª

v(cid:237)i x∗ l(cid:181) nghi(cid:214)m cæa b(cid:181)i to‚n c'n b»ng.

g(x) ≥ −f (x, y) − G(x, y).

Do fiª, v(cid:237)i x∗ = y cª

g(x) ≥ −f (x∗, x) − L(x∗, x) − f (x, x∗) + f (x, x∗) ≥ b k x − x∗ k2 +f (x, x∗) − L(x∗, x).

g(x) ≥ b k x − x∗ k2 − G(x∗, x). (3.17)

Do ∇yL(x, .) li“n t(cid:244)c Lipschitz n“n b˚t fi…ng thłc sau fi(cid:243)ng

L(x∗, x) = L(x∗, x) − L(x, x) ( do L(x, x) = 0) ≤ (L/2) k x∗ − x k2, ∀x ∈ K.

K(cid:213)t h(cid:238)p v(cid:237)i (3.17) cª

K(cid:213)t lu¸n ch›‹ng

(cid:3) g(x) ≥ (b − L/2) k x − x∗ k2, ∀x ∈ K.

Ch›‹ng n(cid:181)y fi• tr(cid:215)nh b(cid:181)y l(cid:221) thuy(cid:213)t h(cid:181)m fi‚nh gi‚ gi¶i b(cid:181)i to‚n c'n b»ng. Døa

v(cid:181)o l(cid:221) thuy(cid:213)t h(cid:181)m fi‚nh gi‚, Auslender v(cid:181) Fukushima fi• fi›a ra c‚c thu¸t to‚n gi¶i b(cid:181)i to‚n c'n b»ng th«ng qua b(cid:181)i to‚n cøc ti(cid:211)u cª r(cid:181)ng buØc mØt

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn54

52

h(cid:181)m kh¶ vi li“n t(cid:244)c t›‹ng łng.

K(cid:213)t lu¸n

Nh› fi• tr(cid:215)nh b(cid:181)y º tr“n, b(cid:181)i to‚n c'n b»ng (1.1) l(cid:181) b(cid:181)i to‚n t(cid:230)ng qu‚t v(cid:215) cª nhi(cid:210)u b(cid:181)i to‚n quen thuØc nh›: b(cid:181)i to‚n tŁi ›u, b(cid:181)i to‚n b˚t fi…ng thłc

bi(cid:213)n ph'n, b(cid:181)i to‚n c'n b»ng Nash,... fi(cid:210)u cª th(cid:211) fi›a v(cid:210) b(cid:181)i to‚n c'n b»ng.

B(cid:181)i to‚n c'n b»ng cª th(cid:211) fi›(cid:238)c nghi“n cłu v(cid:181) ti(cid:213)p c¸n theo nh(cid:247)ng c‚ch kh‚c

nhau. Lu¸n v¤n n(cid:181)y nghi“n cłu ph›‹ng ph‚p chi(cid:213)u, ph›‹ng ph‚p gradient

t¤ng c›Œng v(cid:181) ph›‹ng ph‚p h(cid:181)m fi‚nh gi‚ gi¶i b(cid:181)i to‚n c'n b»ng. Nh(cid:247)ng

nØi dung ch(cid:221)nh fi›(cid:238)c tr(cid:215)nh b(cid:181)y trong lu¸n v¤n bao g(cid:229)m:

• D„ng to‚n h(cid:228)c cæa b(cid:181)i to‚n c'n b»ng v(cid:181) mØt sŁ b(cid:181)i to‚n łng d(cid:244)ng quen

thuØc m(cid:181) cª th(cid:211) chuy(cid:211)n v(cid:210) b(cid:181)i to‚n c'n b»ng.

• Tr(cid:215)nh b(cid:181)y ph›‹ng ph‚p chi(cid:213)u v(cid:181) fi„o h(cid:181)m t¤ng c›Œng gi¶i b(cid:181)i to‚n c'n

b»ng.

• Tr(cid:215)nh b(cid:181)y ph›‹ng ph‚p h(cid:181)m fi‚nh gi‚ gi¶i b(cid:181)i to‚n c'n b»ng. Ngh(cid:220)a l(cid:181), s(cid:246) d(cid:244)ng l(cid:221) thuy(cid:213)t h(cid:181)m fi‚nh gi‚ fi(cid:211) fi›a vi(cid:214)c gi¶i b(cid:181)i to‚n c'n b»ng v(cid:210) vi(cid:214)c

gi¶i b(cid:181)i to‚n cøc ti(cid:211)u mØt h(cid:181)m fi‚nh gi‚ theo ph›‹ng ph‚p h›(cid:237)ng gi¶m tr“n

t¸p r(cid:181)ng buØc.

Trong thŒi gian t(cid:237)i, t‚c gi¶ mong muŁn cª th(cid:211) nghi“n cłu s'u h‹n v(cid:210) b(cid:181)i

to‚n c'n b»ng fi(cid:211) cª th(cid:211) fi„t fi›(cid:238)c mØt sŁ k(cid:213)t qu¶ ri“ng v(cid:210) l(cid:220)nh vøc n(cid:181)y. T‚c

gi¶ mong muŁn nh¸n fi›(cid:238)c sø gi(cid:243)p fi(cid:236) v(cid:181) ch(cid:216) d(cid:201)n c‚c th(cid:181)y c« gi‚o c(cid:239)ng c‚c

b„n b(cid:204) fi(cid:229)ng nghi(cid:214)p fi(cid:211) fi„t fi›(cid:238)c nh(cid:247)ng k(cid:213)t qu¶ fi‚ng k(cid:211) trong h›(cid:237)ng nghi“n

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn55

53

cłu n(cid:181)y.

T(cid:181)i li(cid:214)u tham kh¶o

[1] L“ D(cid:242)ng M›u (1998), Nh¸p m«n c‚c ph›‹ng ph‚p tŁi ›u, Nh(cid:181) xu˚t b¶n

Khoa h(cid:228)c v(cid:181) K(cid:252) thu¸t, H(cid:181) NØi.

[2] Nguyen Van Hien (2002), Lecture Notes on Equilibrium Problems, Na-

mur, Belgium.

thuy(cid:213)t v(cid:181) Thu¸t to‚n, Nh(cid:181) xu˚t b¶n B‚ch Khoa -H(cid:181) NØi.

[3] Nguy(cid:212)n Th(cid:222) B„ch Kim (2008), Gi‚o tr(cid:215)nh C‚c Ph›‹ng ph‚p TŁi ›u L(cid:253)

[4] PGS.TS §(cid:231) V¤n L›u - PGS.TS Phan Huy Kh¶i (2000), Gi¶i t(cid:221)ch l(cid:229)i, Nh(cid:181)

xu˚t b¶n Khoa h(cid:228)c v(cid:181) K(cid:252) thu¸t, H(cid:181) NØi.

[5] D.Quoc Tran, M.Le Dung, Van Hien Nguyen (2008), "Extragradient

Algorithms Extended to Equilibrium Problems", Optimization.

[6] A.Auslender (1976), Opitimization-M—thodes num—riques, Masson,

Paris.

[7] E.Blum and W.Oettli (1994), "From Opitimization to Variational Inqual- ities to Equilibrium Problems", The Mathematics Student 63, pp.134-145.

[8] M.Fukushima (1992), "Equivalent Differentiable Opitimization Prob-

lems and Descent Methods for Asymmetric VariationalInquality Prob- lems", Mathematical Programming 53, pp. 99-110.

of Gloal Opitimization 27, pp. 411-426.

[9] G.Mastroeni (2003), "Gap Function for Equilibrium Problems", Journal

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn56

54

[10] D.L.Zhu and P.Marcotte (1994), "An Extended Descent Framework for Variational Inequalities", Journal of Opitimization Theory and Appli- cations 80, pp. 349-366.