Luận văn: ĐỊNH LÍ ĐIỂM CÂN BẰNG BLUM-OETTLI VÀ MỘT SỐ MỞ RỘNG

Chia sẻ: Greengrass304 Greengrass304 | Ngày: | Loại File: PDF | Số trang:0

Thêm vào BST

Báo xấu

84
lượt xem 14
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Bất đẳng thức biến phân đơn điệu và bất đẳng thức Ky Fan có nhiều điểm gần nhau. Bất đẳng thức biến phân đơn điệu với nhiều ứng dụng đã được nghiên cứu từ những năm sáu mươi của thế kỉ trước. Bất đẳng thức Ky Fan ngay sau khi được công bố (1972) đã thu hút sự chú ý của nhiều nghiên cứu trong lĩnh vực giải tích phi tuyến bởi sự gần gũi với bất đẳng thức biến phân đơn điệu và khả năng ứng dụng sâu rộng của nó. Vì vậy người ta tìm cách kết nối...

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Luận văn: ĐỊNH LÍ ĐIỂM CÂN BẰNG BLUM-OETTLI VÀ MỘT SỐ MỞ RỘNG

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM ----------------------- ĐOÀN VĂN SOẠN ĐỊNH LÍ ĐIỂM CÂN BẰNG BLUM-OETTLI VÀ MỘT SỐ MỞ RỘ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.vn
§¹i Häc Th¸i Nguyªn Trêng §¹i häc S ph¹m §oµn v¨n so¹n ®Þnh lÝ ®iÓm c©n b»ng blum-oettli vµ mét sè më réng Chuyªn ngµnh: Gi¶i tÝch M· sè: 60.46.01 luËn v¨n th¹c sÜ to¸n häc Ngêi híng dÉn khoa häc:T.S Lª V¨n Chãng 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.vn
Môc lôc Trang ................................ 2 Më ®Çu Bµi to¸n c©n b»ng ®¬n ®iÖu vµ kh«ng Ch¬ng 1 cã gi¶ thiÕt ®¬n ®iÖu . . . . . . . . . . . . . . . 4 1.1. Bµi to¸n c©n b»ng ....................... 5 1.2. Bµi to¸n c©n b»ng ®¬n ®iÖu .................. 9 1.3. Bµi to¸n c©n b»ng kh«ng cã gi¶ thiÕt ®¬n ®iÖu . . . . . . . . 17 ®Þnh lÝ ®iÓm c©n b»ng Blum-Oettli Ch¬ng 2 vµ më réng v« híng . . . . . . . . . . . . . . 22 2.1. §Þnh lÝ Brezis-Nirenberg-Stampacchia . . . . . . . . . . . . . 23 2.2. §Þnh lÝ ®iÓm c©n b»ng Blum-Oettli . . . . . . . . . . . . . . 29 2.3. Më réng v« híng §Þnh lÝ Blum-Oettli . . . . . . . . . . . . 36 më réng vect¬ ®Þnh lÝ ®iÓm c©n b»ng Ch¬ng 3 Blum-Oettli . . . . . . . . . . . . . . . . . . . . 41 3.1. Nãn vµ quan hÖ thø tù theo nãn trong kh«ng gian vect¬ t«p« 42 3.2. §Þnh lÝ ®iÓm c©n b»ng Blum-Oettli cho hµm vÐc t¬ ®¬n trÞ . 45 3.3. §Þnh lÝ ®iÓm c©n b»ng Blum-Oettli cho hµm vÐc t¬ ®a trÞ . . 58 KÕt luËn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 Tµi liÖu tham kh¶o . . . . . . . . . . . . . . . . . . . . . . . . . . 64 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.vn
Më §Çu BÊt ®¼ng thøc biÕn ph©n ®¬n ®iÖu vµ bÊt ®¼ng thøc Ky Fan cã nhiÒu ®iÓm gÇn nhau. BÊt ®¼ng thøc biÕn ph©n ®¬n ®iÖu víi nhiÒu øng dông ®· ®îc nghiªn cøu tõ nh÷ng n¨m s¸u m¬i cña thÕ kØ tríc. BÊt ®¼ng thøc Ky Fan ngay sau khi ®îc c«ng bè (1972) ®· thu hót sù chó ý cña nhiÒu nghiªn cøu trong lÜnh vùc gi¶i tÝch phi tuyÕn bëi sù gÇn gòi víi bÊt ®¼ng thøc biÕn ph©n ®¬n ®iÖu vµ kh¶ n¨ng øng dông s©u réng cña nã. V× vËy ngêi ta t×m c¸ch kÕt nèi hai kÕt qu¶ nµy víi nhau trong mét kÕt qu¶ chung. KÕt qu¶ ®Çu tiªn cña sù kÕt nèi nµy lµ cña Brezis-Nirenberg-Stampacchia(1972). N¨m 1993, Blum-Oettli c«ng bè mét kÕt qu¶ tiÕp theo vÒ sù kÕt nèi nµy. §©y lµ kÕt qu¶ hîp nhÊt hai híng nghiªn cøu c¬ b¶n cña bµi to¸n c©n b»ng, ®ã lµ bµi to¸n c©n b»ng cã gi¶ thiÕt ®¬n ®iÖu vµ bµi to¸n c©n b»ng kh«ng cã gi¶ thiÕt ®¬n ®iÖu. Bµi to¸n c©n b»ng ®îc xÐt bëi Blum-Oettli(1993) cã d¹ng sau: x∈C g (x, y ) + h(x, y ) ≥ 0 víi mäi y ∈ C, T×m sao cho C X trong ®ã lµ mét tËp låi ®ãng trong mét kh«ng gian vect¬ t«p« nµo ®ã, g : C × C −→ R h : C × C −→ R hµm ®îc gi¶ thiÕt lµ ®¬n ®iÖu vµ hµm kh«ng nhÊt thiÕt lµ hµm ®¬n ®iÖu (R lµ tËp sè thùc ). h=0 NÕu ta nhËn ®îc kÕt qu¶ vÒ bµi to¸n c©n b»ng ®¬n ®iÖu (më g = 0 ta cã kÕt qu¶ lµ mét më réng bÊt ®¼ng thøc biÕn ph©n ®¬n ®iÖu ). NÕu réng cña BÊt ®¼ng thøc Ky Fan. Sau kÕt qu¶ nµy cña Blum-Oettli, nhiÒu kÕt qu¶ kh¸c cã liªn quan hoÆc më réng ®îc c«ng bè. §ã lµ c¸c kÕt qu¶ nghiªn cøu më réng v« híng vµ më réng vect¬, ®¬n trÞ vµ ®a trÞ, ®èi víi kÕt qu¶ cña Blum-Oettli [3]. 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.vn
Môc ®Ých cña luËn v¨n lµ tËp hîp tr×nh bµy mét sè kÕt qu¶ nghiªn cøu c¬ b¶n xung quanh kÕt qu¶ cña Blum-Oettli [3]. §ã lµ mét sè kÕt qu¶ tån t¹i nghiÖm cña bµi to¸n c©n b»ng cã vµ kh«ng cã gi¶ thiÕt ®¬n ®iÖu khëi nguån cho kÕt qu¶ cña Blum-Oettli, c¸c kÕt qu¶ chÝnh cña Blum-Oettli vµ mét sè kÕt qu¶ më réng. Ngoµi phÇn më ®Çu, kÕt luËn vµ tµi liÖu tham kh¶o, luËn v¨n gåm 3 ch¬ng. Ch¬ng 1 tr×nh bµy mét sè kÕt qu¶ c¬ b¶n vÒ sù tån t¹i nghiÖm cña bµi to¸n c©n b»ng ë hai híng nghiªn cøu cã gi¶ thiÕt ®¬n ®iÖu vµ kh«ng cã gi¶ thiÕt ®¬n ®iÖu, víi ®iÒu kiÖn bøc cæ ®iÓn vµ n¬i gi¶m. Chóng t«i tr×nh bµy c¸c kÕt qu¶ nµy víi môc ®Ých ®Ó thÊy râ h¬n sù kÕt nèi cña hai híng nghiªn cøu nµy trong kÕt qu¶ cña Blum-Oettli[3], kÕt nèi ë kÕt qu¶ vµ kÕt nèi ë ý tëng chøng minh c¸c kÕt qu¶. C¸c kÕt qu¶ nghiªn cøu ®îc tr×nh bµy ë ®©y chñ yÕu ®îc tËp hîp tõ c¸c bµi b¸o Mosco[11], Allen[1], Chong[6]. Ch¬ng 2 tr×nh bµy kÕt qu¶ trung t©m cña luËn v¨n. §ã lµ kÕt qu¶ vÒ sù tån t¹i nghiÖm cña bµi to¸n c©n b»ng ®îc thiÕt lËp bëi Blum-Oettli [3]. KÕt qu¶ nµy cïng ý tëng chøng minh cña nã lµ sù hîp nhÊt c¸c kÕt qu¶ cïng ý tëng chøng minh cña chóng ®îc tr×nh bµy ë ch¬ng 1. Trong ch¬ng nµy chóng t«i còng tr×nh bµy mét kÕt qu¶ cã liªn quan vµ ®îc c«ng bè tríc kÕt qu¶ cña Blum-Oettli [3], ®ã lµ c«ng tr×nh cña Brezis-Nirenberg-Stampacchia [4], ®ång thêi tr×nh bµy mét kÕt qu¶ lµ më réng v« híng ®èi víi kÕt qu¶ cña Blum-Oettli [3], ®ã lµ c«ng tr×nh cña Chadli-Chbani-Riahi [7]. Ch¬ng 3 ®Ò cËp ®Õn sù më réng kÕt qu¶ cña Blum-Oettli[3] ra bµi to¸n c©n b»ng cho hµm vect¬, ®¬n trÞ vµ ®a trÞ. C¸c kÕt qu¶ ë ®©y ®îc tËp hîp tõ c¸c tµi liÖu Bianchi-Hadjisavvass-schaible[2],TÊn-TÜnh[13],TÊn-Minh[14]. 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.vn
LuËn v¨n ®îc hoµn thµnh t¹i Trêng §¹i häc s ph¹m-§¹i Häc Th¸i Nguyªn. Tríc hÕt t«i xin bµy tá lßng biÕt ¬n s©u s¾c tíi TiÕn sÜ Lª V¨n Chãng, ngêi thÇy ®· tËn t×nh híng dÉn, gióp ®ì vµ nghiªm kh¾c trong khoa häc ®Ó t«i hoµn thµnh luËn v¨n nµy. T«i xin bµy tá lßng biÕt ¬n tíi c¸c thÇy c« gi¸o trong Trêng §HSP-Th¸i Nguyªn, ViÖn to¸n häc ViÖt Nam, Trêng §HSP Hµ Néi ®· gi¶ng d¹y gióp t«i hoµn thµnh khãa häc. T«i xin c¶m ¬n Së gi¸o dôc vµ ®µo t¹o B¾c Giang, Trêng THPT Lý Thêng KiÖt vµ Trêng THPT ViÖt Yªn sè 1 B¾c Giang, gia ®×nh vµ b¹n bÌ ®· lu«n t¹o ®iÒu kiÖn, ®éng viªn, gióp t«i suèt trong qu¸ tr×nh häc tËp vµ nghiªn cøu. 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.vn
Ch¬ng 1 Bµi to¸n c©n b»ng ®¬n ®iÖu vµ kh«ng cã gi¶ thiÕt ®¬n ®iÖu Hai híng nghiªn cøu quan träng trong c¸c nghiªn cøu vÒ sù tån t¹i nghiÖm cña bµi to¸n c©n b»ng lµ c¸c nghiªn cøu dïng gi¶ thiÕt ®¬n ®iÖu vµ kh«ng dïng gi¶ thiÕt ®¬n ®iÖu. C¸c kÕt qu¶ vµ ý tëng chøng minh ë hai híng nghiªn cøu nµy lµ c¬ së cho viÖc thiÕt lËp vµ chøng minh §Þnh lÝ ®iÓm c©n b»ng Blum-Oettli [3] ®îc tr×nh bµy ë ch¬ng sau. V× vËy trong ch¬ng nµy chóng t«i tr×nh bµy mét sè kÕt qu¶ c¬ b¶n ë hai híng nghiªn cøu nªu trªn. Nh÷ng kÕt qu¶ nµy ®îc tËp hîp tõ c¸c bµi b¸o cña Mosco [11], Allen[1], Chong[6]. Tríc tiªn chóng t«i ®a ra d¹ng chung cña bµi to¸n c©n b»ng vµ mét sè trêng hîp riªng quen biÕt cã tÝnh ®¬n ®iÖu vµ kh«ng ®¬n ®iÖu. 1.1. Bµi to¸n c©n b»ng Bµi to¸n c©n b»ng ®îc Blum-Oettli[3] hiÓu lµ bµi to¸n sau: x∈C f (x, y ) ≤ 0 víi mäi y ∈ C , T×m sao cho (EP) f : C × C −→ R lµ mét hµm cho tríc. C trong ®ã lµ mét tËp cho tríc vµ X , tËp C §èi víi bµi to¸n c©n b»ng trong kh«ng gian vÐct¬ t«p« thêng ®îc xÐt lµ tËp låi. 5 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
Hµm f ®îc gäi lµ ®¬n ®iÖu nÕu f (x, y ) + f (y, x) ≥ 0 víi mäi x, y ∈ C . Kh¸i niÖm nµy lµ më réng cña kh¸i niÖm to¸n tö ®¬n ®iÖu. To¸n tö A : C −→ X ∗ Ax − Ay, x − y ≥ 0, ∀x, y ∈ C, ë ®©y gäi lµ ®¬n ®iÖu nÕu X∗ X. lµ kh«ng gian ®èi ngÉu cña Hµm f ®îc gäi lµ hemi-liªn tôc nÕu víi x, y ∈ C cho tríc tïy ý hµm sè f (x + t(y − x), y ) lµ nöa liªn tôc díi theo t trªn [0; 1]. Kh¸i niÖm nµy lµ më réng cña kh¸i niÖm to¸n tö hemi-liªn tôc. To¸n tö A : C −→ X ∗ x, y, z ∈ C A(x + ty ), z gäi lµ hemi-liªn tôc nÕu hµm víi t trªn [0; 1]. bÊt kú cè ®Þnh lµ nöa liªn tôc díi theo Bµi to¸n c©n b»ng bao hµm nhiÒu trêng hîp riªng lµ c¸c bµi to¸n quen biÕt. BÊt ®¼ng thøc Ky Fan lµ mét trêng hîp riªng quan träng. Díi ®©y lµ mét sè trêng hîp riªng quan träng kh¸c. 1. Bµi to¸n tèi u ϕ : C −→ R. T×m x ∈ C ϕ(x) ≤ ϕ(y ) víi mäi y ∈ C . Ta Cho sao cho min{ϕ(x) | x ∈ C }. còng viÕt: T×m f (x, y ) = ϕ(x) − ϕ(y ). Khi ®ã bµi to¸n tèi u trë thµnh: T×m x ∈ C §Æt f (x, y ) ≤ 0 y ∈ C. sao cho víi mäi Bµi to¸n nµy t¬ng ®¬ng víi bµi to¸n f c©n b»ng vµ ë ®©y lµ hµm sè ®¬n ®iÖu. 2. Bµi to¸n ®iÓm yªn ngùa ϕ : C1 × C2 → R. Khi Êy (x1 , x2 ) gäi lµ ®iÓm yªn ngùa cña ϕ nÕu Cho (x1 , x2 ) ∈ C1 × C2 , ϕ(x1 , y2 ) ≤ ϕ(y1 , x2 ), ∀(y1 , y2 ) ∈ C1 × C2 . (1.1) C = C1 × C2 f : C × C −→ R x¸c ®Þnh bëi §Æt vµ cho hµm f ((x1 , x2 ); (y1 , y2 )) = ϕ(x1 , y2 ) − ϕ(y1 , x2 ). 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.vn
x = ( x1 , x2 ) Khi Êy, lµ nghiÖm cña bµi to¸n c©n b»ng (EP) nÕu vµ chØ x tháa m·n (1.1). DÔ thÊy f nÕu lµ hµm ®¬n ®iÖu trong trêng hîp nµy. 3. Bµi to¸n ®iÓm bÊt ®éng X = X∗ T :C→C Cho lµ kh«ng gian Hilbert, lµ mét ¸nh x¹ cho tríc. Bµi to¸n bÊt ®éng ë ®©y lµ bµi to¸n x∈C T (x) = x. (1.2) T×m sao cho f (x, y ) = x − T x, x − y x lµ nghiÖm cña bµi to¸n c©n b»ng §Æt . Ta cã (1.2). (EP) nÕu vµ chØ nÕu nã lµ nghiÖm cña ThËt vËy ⇒ (EP): HiÓn nhiªn. (1.2) ⇒ (1.2): Chän y = T x ta cã (EP) 2 0 ≥ f (x, y ) = x − y ≥ 0 Suy ra x = T x. f (x, y ) + f (y, x) = x − T x, x − y + y − T y, y − x Do = T y − T x, x − y + x − y, x − y 2 = T y − T x, x − y + x−y 2 = − T x−T y, x−y + x−y f nªn trong trêng hîp nµy lµ ®¬n ®iÖu khi vµ chØ khi 2 T x − T y, x − y ≤ x − y . 4. Bµi to¸n bÊt ®¼ng thøc biÕn ph©n T : C −→ X x∈C Cho . T×m sao cho T x, x − y ≤ 0, ∀y ∈ C . (1.3) 7 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
f (x, y ) = T x, x − y (1.3) t¬ng ®¬ng víi bµi §Æt . Râ rµng bµi to¸n f T to¸n c©n b»ng (EP) vµ ®¬n ®iÖu khi vµ chØ khi ®¬n ®iÖu. 5. Bµi to¸n bï C Cho lµ nãn låi ®ãng víi nãn cùc cña nã C = {x ∈ X | x , y ≥ 0, ∀y ∈ C } T :C→X x∈X vµ lµ ¸nh x¹ cho tríc. Bµi to¸n bï lµ bµi to¸n t×m sao cho x ∈ C, T x ∈ C , T x, x = 0. (1.4) (1.4) t¬ng ®¬ng víi (1.3). DÔ thÊy ThËt vËy (1.4) ⇒ (1.3) lµ hiÓn nhiªn. (1.3) ®óng, lÊy y = 2x vµ y = 0 tõ (1.3) ta thu ®îc T x, x = 0. NÕu ⇒ (1.4). Do ®ã (1.3) 6. C©n b»ng Nash trong trß ch¬i i ∈ I, I Cho lµ mét tËp chØ sè h÷u h¹n (tËp c¸c ngêi ch¬i). Víi cho Ki (tËp chiÕn lîc ngêi ch¬i thø i). §Æt K= Ki . tríc tËp Víi mçi i∈I i ∈ I, cho hµm fi : K −→ R (hµm tæn thÊt cña ngêi ch¬i thø i, phô thuéc x = (xi )i∈I ∈ K vµo chiÕn lîc cña tÊt c¶ ngêi ch¬i). Víi ta ®Þnh nghÜa xi = (xj )j ∈I,j =i . x = (xi )i∈I ∈ K §iÓm ®îc gäi lµ ®iÓm c©n b»ng Nash i∈I nÕu víi mäi ta cã fi (x) ≤ fi (xi , yi ), ∀yi ∈ Ki (1.5) (nghÜa lµ ngêi ch¬i kh«ng thÓ gi¶m tæn thÊt cña m×nh b»ng c¸ch ®¬n lÎ thay 8 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
f : K × K −→ R x¸c ®Þnh bëi ®æi chiÕn lîc cña m×nh ). Cho hµm (−fi (xi , yi ) + fi (x)). f (x, y ) = i∈I x∈K x Khi Êy, lµ ®iÓm c©n b»ng Nash nÕu vµ chØ nÕu tháa m·n bµi i ∈ I, to¸n c©n b»ng (EP). ThËt vËy, nÕu (1.5) ®óng víi mäi th× hiÓn nhiªn xi = y i , i ∈ I, y∈K (EP) ®îc tháa m·n. NÕu víi ta chän sao cho th× f (x, y ) = −fi (xi , yi ) + fi (x). i ∈ I. f Do ®ã (EP) suy ra (1.5) víi mäi Hµm trong trêng hîp nµy kh«ng ®¬n ®iÖu. 7.BÊt ®¼ng thøc Ky Fan F : C × C −→ R C Víi lµ mét tËp låi comp¾c vµ hµm BÊt ®¼ng thøc x∈C F Ky Fan lµ bÊt ®¼ng thøc thiÕt lËp ®iÒu kiÖn ®èi víi ®Ó tån t¹i sao F (x, y ) ≤ 0 víi mäi y ∈ C , trong ®ã kh«ng ®ßi hái F cho cã tÝnh ®¬n ®iÖu. 1.2. Bµi to¸n c©n b»ng ®¬n ®iÖu §Ó më réng mét sè kÕt qu¶ tån t¹i nghiÖm cña bÊt ®¼ng thøc biÕn ph©n 1976 ®¬n ®iÖu, n¨m Mosco [11] chøng minh kÕt qu¶ tån t¹i nghiÖm quan träng sau cho bµi to¸n c©n b»ng dïng gi¶ thiÕt ®¬n ®iÖu. §Þnh lÝ 1.1 (Mosco [11]) Cho C lµ mét tËp låi, ®ãng trong kh«ng gian vect¬ t«p« Hausdorff X , hµm g : C × C −→ R, g (x, x) ≤ 0 víi mäi x ∈ C sao cho c¸c ®iÒu kiÖn sau tháa m·n: 1) g lµ hemi-liªn tôc vµ ®¬n ®iÖu; 2) Víi mçi x ∈ C, hµm g (x, .) lµ lâm vµ nöa liªn tôc trªn; 9 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
3) §iÒu kiÖn bøc: Tån t¹i tËp comp¾c B ⊂ C vµ y0 ∈ B sao cho g (x, y0 ) > 0, ∀x ∈ C \ B. Khi ®ã tËp nghiÖm cña bµi to¸n c©n b»ng: x ∈ C : g (x, y ) ≤ 0, ∀y ∈ C (1.6) lµ tËp con kh¸c rçng, låi vµ comp¾c trong B . ψ=0 ψ=0 §Þnh lÝ trªn chÝnh lµ §Þnh lÝ 3.1 trong [11] víi (Cho ®Ó tiÖn cho viÖc sö dông ë c¸c phÇn sau). §Ó chøng minh ®Þnh lÝ trªn Mosco[11] dïng mét kÕt qu¶ quen biÕt cña Ky Fan [8] vÒ giao cña hä c¸c tËp ®ãng vµ chøng minh mét kÕt qu¶ më réng cña tÝnh chÊt to¸n tö ®¬n ®iÖu. §ã lµ Bæ ®Ò 1.1 vµ Bæ ®Ò 1.2 díi ®©y. y∈C Víi mçi ta ®Æt G(y ) = {x ∈ C : g (x, y ) ≤ 0} H (y ) = {x ∈ C : g (y, x) ≥ 0} F (y ) = G(y ) A A ( kÝ hiÖu bao ®ãng cña tËp ). Bæ ®Ò 1.1 (Ky Fan[8]) Cho T lµ mét tËp tïy ý trong mét kh«ng gian vect¬ t«p« E , víi mçi w ∈T cho mét tËp ®ãng F (w) cña E sao cho c¸c ®iÒu kiÖn sau ®îc tháa m·n: 1) Víi mçi tËp h÷u h¹n {w1 , w2 , ..., wn } th× n co{w1 , w2 , ..., wn } ⊂ F (wi ) i=1 (coA kÝ hiÖu bao låi cña tËp A); 2) Tån t¹i w0 ∈ T ®Ó F (w0 ) lµ comp¾c. 10 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
Khi ®ã ta cã F (w) = ∅. w∈T Trong tµi liÖu Bæ ®Ò 1.1 cßn gäi lµ Bæ ®Ò Ky Fan hay Nguyªn lÝ ¸nh x¹ KKM, ¸nh x¹ nµy ®îc ®Þnh nghÜa nh díi ®©y. Cho X lµ kh«ng gian vect¬ t«p« Hausdorff, C lµ mét tËp con kh¸c rçng X , ¸nh x¹ ®a trÞ F : C −→ 2X gäi lµ ¸nh x¹ KKM nÕu víi mçi tËp con cña h÷u h¹n {x1 , x2 , ..., xn } ⊂ C ta cã n co{x1 , x2 , ..., xn } ⊂ F (xi ). i=1 F : T → 2X Nh vËy, §iÒu kiÖn 1) cña Bæ ®Ò 1.1 cã nghÜa: ¸nh x¹ lµ ¸nh x¹ KKM. Bæ ®Ò 1.2 Cho C lµ mét tËp låi, ®ãng trong kh«ng gian vect¬ t«p« Hausdorff X vµ hµm g : C × C −→ R víi g (x, x) ≤ 0, ∀x ∈ C , tháa m·n c¸c ®iÒu kiÖn sau: 1)g lµ hemi-liªn tôc vµ ®¬n ®iÖu; 2) Víi mçi x ∈ C, hµm g (x, .) lµ lâm vµ nöa liªn tôc trªn. Khi Êy F (y ) = H (y ) = G(y ) y ∈C y ∈C y ∈C vµ mçi giao nµy lµ mét tËp con låi ®ãng cña C. Chøng minh G(y ) ⊂ F (y ) y∈C Do víi mäi nªn ta chØ cÇn chøng minh F (y ) ⊂ H (y ) ⊂ G(y ). y ∈C y ∈C y ∈C 11 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
x ∈ G(y ) g (x, y ) ≤ 0 g ThËt vËy, lÊy mét bÊt k× ta cã . Do ®¬n ®iÖu nªn g (x, y ) ≤ 0 ≤ g (x, y ) + g (y, x). g (y, x) ≥ 0 x ∈ H (y ) G(y ) ⊂ H (y ) Suy ra , nghÜa lµ hay . y ∈ C H (y ) g (y, .) Ta cã víi mçi , lµ låi vµ ®ãng do lµ lâm vµ nöa liªn tôc G(y ) ⊂ H (y ) F (y ) ⊂ H (y ) F (y ) G(y ) trªn. Do lµ bao ®ãng cña vµ do nªn . VËy suy ra F (y ) ⊂ H (y ). y ∈C y ∈C B©y giê ta chøng minh H (y ) ⊂ G(y ), y ∈C y ∈C nghÜa lµ chøng tá: g (y, x) ≥ 0 ∀y ∈ C, (1.7) kÐo theo g (x, y ) ≤ 0 ∀y ∈ C. (1.8) x∈C (1.7) Gi¶ sö (1.8) kh«ng ®óng, tøc lµ tån t¹i tháa m·n vµ mét y∈C ®Ó cho g (x, y ) > 0. (1.9) xt = ty + (1 − t)x, t ∈ [0; 1] g (xt , y ) XÐt vect¬ . Theo ®iÒu kiÖn 1) hµm t → 0+ . t ∈ [0, 1] t>0 cña biÕn thùc lµ nöa liªn tôc díi khi Do ®ã víi (®ñ (1.9) nhá), tõ suy ra ∀t ∈ (0; t). g (xt , y ) > 0, (1.10) y = xt LÊy , tõ (1.7) suy ra 12 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
g (xt , x) ≥ 0, ∀t ∈ [0, 1]. (1.11) g (x, .) (1.10) (1.11) Do tÝnh lâm cña nªn tõ vµ ta suy ra g (xt , xt ) > 0, ∀t ∈ (0, t), ®iÒu nµy tr¸i víi gi¶ thiÕt. VËy (1.8) ®óng. Do ®ã H (y ) ⊂ G(y ). y ∈C y ∈C Bæ ®Ò ®îc chøng minh. Chøng minh §Þnh lÝ 1.1 y∈C H (y ) Theo Bæ ®Ò 1.2 vµ do lµ låi, ®ãng víi mçi ta cã tËp nghiÖm cña bµi to¸n lµ låi vµ ®ãng. TËp nghiÖm nµy lµ comp¾c v× nã lµ tËp con ®ãng B cña tËp comp¾c (theo §iÒu kiÖn bøc 3). Ta chøng minh tËp nghiÖm nµy kh¸c rçng b»ng c¸ch dïng Bæ ®Ò Ky Fan {F (y ) : y ∈ C } víi hä c¸c tËp ®ãng . y∈C F (y ) F (y0 ) ThËt vËy, víi mçi ta cã lµ tËp ®ãng vµ lµ bao ®ãng cña B⊂C G(y0 ) F (y0 ) tËp thuéc tËp comp¾c nªn còng comp¾c. {y1 , y2 , ..., yn } C Cho tËp lµ mét tËp h÷u h¹n trong . Ta cÇn chØ ra: n co{y1 , y2 , ..., yn } ⊂ F (yi ). i=1 F (y ) G(y ) Do lµ bao ®ãng cña nªn chØ cÇn chØ ra n co{y1 , y2 , ..., yn } ⊂ G(yi ). i=1 Gi¶ sö ngîc l¹i, tøc lµ cã mét n y ∈ co{y1 , y2 , ..., yn } \ G(yi ). i=1 13 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
Khi ®ã cã n n λi ≥ 0, i = 1, ..., n, λi = 1, y = λi yi i=1 i=1 g (y, yi ) > 0, ∀i = 1, 2, ..., n g (y, .) vµ . Do lµ hµm lâm ta cã n n λi g (y, yi ) ≤ g (y, 0< λi yi ) = g (y, y ). i=1 i=1 g (y, y ) ≤ 0 §iÒu nµy m©u thuÉn víi gi¶ thiÕt . {F (y ) : y ∈ C } VËy hä c¸c tËp ®ãng tháa m·n c¸c gi¶ thiÕt cña Bæ ®Ò Ky Fan nªn F (y ) = ∅. y ∈C Theo Bæ ®Ò 1.2 ta cã G(y ) = ∅, F (y ) = H (y ) = y ∈C y ∈C y ∈C vËy tËp nghiÖm cña bµi to¸n c©n lµ tËp låi comp¾c. §Þnh lý ®· ®îc chøng minh. HÖ qu¶ díi ®©y tõ §Þnh lÝ 1.1 lµ mét kÕt qu¶ tån t¹i nghiÖm kinh ®iÓn cña bµi to¸n bÊt ®¼ng thøc biÕn ph©n ®¬n ®iÖu. HÖ qu¶ 1.1 (Hartman-Stampacchia[10]) Cho C lµ mét tËp låi, ®ãng trong kh«ng gian Banach ph¶n x¹ X , ¸nh A : C −→ X ∗ lµ ®¬n ®iÖu, hemi-liªn tôc vµ tháa m·n ®iÒu kiÖn bøc sau x¹ Ax,x−y0 −→ +∞ khi x −→ +∞, x ∈ C. ∃y0 ∈ C : (1.12) x Khi Êy tËp nghiÖm cña bÊt ®¼ng thøc biÕn ph©n x ∈ C : Ax, x − y ≤ 0, ∀y ∈ C (1.13) lµ tËp con kh¸c rçng, låi, ®ãng vµ giíi néi trong C. 14 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
Chøng minh g (x, y ) = Ax, x − y X VËn dông §Þnh lý 1.1 víi t«p« yÕu trªn vµ . (1.12) §iÒu kiÖn bøc nªu trong §Þnh lý 1.1 ®îc tháa m·n do b»ng c¸ch B = {x ∈ C : x ≤ R } y0 (1.12) R>0 lÊy trong vµ víi ®ñ lín. §iÒu kiÖn bøc trong §Þnh lÝ 1.1 tá ra kh¸ chÆt v× ë mét sè trêng hîp nã kh«ng tháa m·n, mÆc dÇu bµi to¸n c©n b»ng ®îc xÐt vÉn cã nghiÖm. V× vËy viÖc gi¶m nhÑ ®iÒu kiÖn bøc ë c¸c nghiªn cøu tån t¹i nghiÖm bµi to¸n c©n b»ng lu«n ®îc quan t©m. Díi ®©y lµ mét kÕt qu¶ víi ®iÒu kiÖn bøc n¬i gi¶m cho bµi to¸n c©n b»ng ®¬n ®iÖu. §Þnh lÝ 1.2 (Chong [6]) Cho X lµ mét kh«ng gian låi ®Þa ph¬ng Hausdorff vµ C ⊂ X lµ mét tËp låi ®ãng. Cho f : C × C −→ R lµ mét hµm ®¬n ®iÖu vµ hemi-liªn tôc sao cho víi mçi x ∈ C, f (x, x) ≤ 0 vµ hµm f (x, .) lµ lâm vµ nöa liªn tôc trªn. Gi¶ sö tån t¹i tËp låi comp¾c B ⊂ C sao cho víi mçi x ∈ C \ B cã mét y ∈ B víi f (x, y ) > 0. (§iÒu kiÖn bøc). Khi Êy tËp c¸c x ∈ C víi f (x, y ) ≤ 0 víi mäi y ∈ C lµ kh¸c rçng, låi vµ comp¾c. Chøng minh y∈C Víi , ®Æt K (y ) = {x ∈ B : f (x, y ) ≤ 0}, G(y ) = {x ∈ C : f (x, y ) ≤ 0}, Q(y ) F (y ) K (y ) G(y ) gäi vµ lÇn lît lµ bao ®ãng cña vµ . 15 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
Do ®iÒu kiÖn bøc ta cã [G(y ) ∩ B ] = [ G(y )] ∩ B = K (y ) = G(y ) y ∈C y ∈C y ∈C y ∈C theo Bæ ®Ò 1.2 ta cã Q(y ) ⊆ F (y ) = G(y ) y ∈C y ∈C y ∈C nhng K (y ) ⊆ Q(y ), y ∈C y ∈C do ®ã K (y ) = Q(y ). y ∈C y ∈C y1 , ..., yn ∈ C C0 = co(B ∪ {y1 , ..., yn }) C0 LÊy , ®Æt , ta cã låi comp¾c vµ x0 ∈ C0 f (x0 , y ) ≤ 0, ∀y ∈ C0 C sao cho (theo §Þnh lÝ 1.1 víi låi comp¾c), nghÜa lµ n n x0 ∈ K (yi ) ⊆ Q(yi ). i=1 i=1 Q(y ), y ∈ C, B VËy c¸c tËp lµ ®ãng trong tËp comp¾c vµ cã tÝnh giao h÷u h¹n nªn tån t¹i x∈ K (y ) = Q(y ), y ∈C y ∈C f (x, y ) ≤ 0 y∈C x nghÜa lµ víi mäi . TÝnh låi comp¾c cña tËp c¸c suy ra tõ ®iÒu kiÖn bøc vµ Bæ ®Ò 1.2. X Lu ý ®Þnh lÝ trªn vÉn ®óng khi lµ kh«ng gian vect¬ t«p« Hausdorff, v× vËy §Þnh lÝ 1.2 lµ mét më réng cña §Þnh lÝ 1.1. Díi ®©y lµ mét vÝ dô dïng §Þnh lÝ 1.2 ta cã sù tån t¹i nghiÖm cña bµi to¸n c©n b»ng, trong khi §Þnh lÝ 1.1 kh«ng ¸p dông ®îc (v× ®iÒu kiÖn bøc kh«ng ®îc tháa m·n). 16 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
C = Rn , n A : C −→ Rn Cho ch½n, lµ tËp låi ®ãng, to¸n tö vµ hµm f : C × C −→ R ®îc x¸c ®Þnh bëi f (x, y ) = Ax(x − y )T Ax = (x2 , −x1 , x4 , −x3 , ..., xn , −xn−1 ) {x ∈ C : f (x, y ) ≤ 0} y∈C Do tËp kh«ng giíi néi víi mçi nªn ®iÒu kiÖn bøc cña §Þnh lÝ 1.1 kh«ng tháa m·n, nhng ®iÒu kiÖn bøc trong §Þnh lÝ 1.2 l¹i tháa m·n víi tËp låi comp¾c B = {x = (x1 , ..., xn ) ∈ C : −1 ≤ xi ≤ 1, i = 1, ..., n} . C¸c gi¶ thiÕt kh¸c cña hai ®Þnh lÝ trªn ®Òu tháa m·n. 1.3. Bµi to¸n c©n b»ng kh«ng cã gi¶ thiÕt ®¬n ®iÖu §èi víi bµi to¸n c©n b»ng kh«ng cã gi¶ thiÕt ®¬n ®iÖu, Mosco [11] chøng minh kÕt qu¶ c¬ b¶n sau lµ më réng cña bÊt ®¼ng thøc Ky Fan[9] vµ bÊt ®¼ng thøc biÕn ph©n cæ ®iÓn. §Þnh lÝ 1.3 (Mosco[11]) Cho C lµ mét tËp låi, ®ãng trong kh«ng gian vect¬ t«p« Hausdorff X vµ hµm g : C × C −→ R víi g (x, x) ≤ 0, víi mäi x ∈ C . Gi¶ sö c¸c ®iÒu kiÖn sau tháa m·n: 1) Víi mçi x ∈ C, g (x, .) lµ hµm lâm; 2) Víi mçi y ∈ C, g (., y ) lµ hµm nöa liªn tôc díi trªn X ; 3) §iÒu kiÖn bøc: Tån t¹i tËp comp¾c B ⊂ C vµ y0 ∈ B sao cho g (x, y0 ) > 0 víi mäi x ∈ C \ B . 17 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
Khi ®ã tËp nghiÖm cña bµi to¸n c©n b»ng : x ∈ C : g (x, y ) ≤ 0, ∀y ∈ C (1.14) lµ tËp con kh¸c rçng, comp¾c trong B. Chøng minh G(y ) = {x ∈ C : g (x, y ) ≤ 0}, y ∈ C §Æt . y∈C G(y ) g (., y ) Ta thÊy ®ãng víi mäi do tÝnh nöa liªn tôc díi cña . G(y0 ) B Theo ®iÒu kiÖn bøc 3), lµ mét tËp con ®ãng trong tËp comp¾c G(y0 ) nªn lµ tËp comp¾c. G H¬n n÷a lµ ¸nh x¹ KKM. {y1 , ..., yn } ⊂ C ThËt vËy, gi¶ sö tr¸i l¹i, nghÜa lµ cã mµ n co{y1 , ..., yn } ⊂ G(yi ), i=1 n n λi ≥ 0, ∀i = 1, ..., n, y= i=1 λi yi víi i=1 λi =1 th× khi Êy tån t¹i mét y ∈ G(yi ), ∀i = 1, ..., n. g (y, yi ) > 0∀i = 1, ..., n sao cho NghÜa lµ cã . Do ®ã n λi g (y, yi ) > 0 i=1 g (y, .) do lµ hµm lâm nªn suy ra n n λi g (y, yi ) ≤ g (y, 0< λi yi ) = g (y, y ), i=1 i=1 g (x, x) ≤ 0 x∈C G tr¸i víi gi¶ thiÕt víi mäi . VÇy lµ ¸nh x¹ KKM. Theo Bæ ®Ò 1.1 ta cã G(y ) = ∅, y ∈C B mµ tËp giao nµy lµ mét tËp ®ãng trong tËp comp¾c nªn nã lµ tËp comp¾c, (1.14) B vËy tËp nghiÖm cña Bµi to¸n lµ kh¸c rçng vµ comp¾c trong . 18 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn