Đăng ký Đăng nhập
Trang chủ Tốc độ hội tụ và xấp xỉ hữu hạn chiều cho nghiệm hiệu chỉnh của bất đẳng thức bi...

Tài liệu Tốc độ hội tụ và xấp xỉ hữu hạn chiều cho nghiệm hiệu chỉnh của bất đẳng thức biến phân đơn điệu

.PDF
47
182
60

Mô tả:

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC LƯƠNG THỊ THU THỦY TỐC ĐỘ HỘI TỤ VÀ XẤP XỈ HỮU HẠN CHIỀU CHO NGHIỆM HIỆU CHỈNH CỦA BẤT ĐẲNG THỨC BIẾN PHÂN ĐƠN ĐIỆU LUẬN VĂN THẠC SĨ TOÁN HỌC THÁI NGUYÊN – 2009 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC LƯƠNG THỊ THU THỦY TỐC ĐỘ HỘI TỤ VÀ XẤP XỈ HỮU HẠN CHIỀU CHO NGHIỆM HIỆU CHỈNH CỦA BẤT ĐẲNG THỨC BIẾN PHÂN ĐƠN ĐIỆU 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: TS. NGUYỄN THỊ THU THỦY THÁI NGUYÊN - 2009 none 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.vn1 Môc lôc Më ®Çu 4 Ch­¬ng 1. BÊt ®¼ng thøc biÕn ph©n ®¬n ®iÖu vµ bµi to¸n ®Æt kh«ng chØnh 1.1. 8 Mét sè kiÕn thøc bæ trî . . . . . . . . . . . . . . . . . . . . 8 . . . . . . . . . . . . . . . . . . . 8 . . . . . . . . . . . . . 10 . . . . . . . . . . . . . . . . . . . . . 14 Bµi to¸n ®Æt kh«ng chØnh . . . . . . . . . . . . . . . . . . . 17 . . . . . . . . . 17 . . . . . . . . . . . . 18 . . . . . . . . . . . . . . . . . . . 20 . . . . . . . . . . . . . . . . 20 . . . . . . 24 1.1.1. Kh«ng gian Banach 1.1.2. PhiÕm hµm låi nöa liªn tôc d­íi 1.1.3. To¸n tö ®¬n ®iÖu 1.2. 1.2.1. Kh¸i niÖm vÒ bµi to¸n ®Æt kh«ng chØnh 1.2.2. VÝ dô vÒ bµi to¸n ®Æt kh«ng chØnh 1.3. BÊt ®¼ng thøc biÕn ph©n 1.3.1. Ph¸t biÓu bµi to¸n vµ vÝ dô 1.3.2. Sù tån t¹i nghiÖm vµ tÝnh chÊt cña tËp nghiÖm Ch­¬ng 2. NghiÖm hiÖu chØnh cña bÊt ®¼ng thøc biÕn ph©n ®¬n ®iÖu 2.1. 27 NghiÖm hiÖu chØnh . . . . . . . . . . . . . . . . . . . . . . 27 . . . . . . . . . . . . . . . . . . . . 27 2.1.1. Bµi to¸n hiÖu chØnh 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.vn2 . . . . . . . . . . . . . 28 2.1.3. Tèc ®é héi tô cña nghiÖm hiÖu chØnh . . . . . . . . . . 31 XÊp xØ h÷u h¹n chiÒu nghiÖm hiÖu chØnh . . . . . . . . . . 34 . . . . . . . . . . . . . . . . . . . 34 . . . . . . . . . . . . . . . . . . . . . . 37 KÕt qu¶ tÝnh to¸n thö nghiÖm . . . . . . . . . . . . . . . . . 40 2.1.2. Sù héi tô cña nghiÖm hiÖu chØnh 2.2. 2.2.1. XÊp xØ h÷u h¹n chiÒu 2.2.2. Tèc ®é héi tô 2.3. KÕt luËn 43 Tµi liÖu tham kh¶o 44 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.vn3 Më ®Çu Cho hîp cña X X, lµ mét kh«ng gian Banach ph¶n x¹ thùc, c¶ hai cã chuÈn ®Òu ®­îc kÝ hiÖu lµ tö ®¬n ®iÖu ®¬n trÞ vµ t×m x0 ∈ K K X∗ lµ kh«ng gian liªn k.k, A : X → X ∗ lµ mét tËp con låi ®ãng trong lµ to¸n X . Víi f ∈ X ∗ , h·y sao cho hA(x0 ) − f, x − x0 i ≥ 0 ∀x ∈ K, ë ®©y hx∗ , xi x ∈ X. kÝ hiÖu gi¸ trÞ phiÕm hµm tuyÕn tÝnh liªn tôc (0.1) x∗ ∈ X ∗ t¹i Bµi to¸n ®­îc gäi lµ bµi to¸n bÊt ®¼ng thøc biÕn ph©n (variational inequality). NÕu K≡X th× bµi to¸n (0.1) cã d¹ng ph­¬ng tr×nh to¸n tö A(x) = f. (0.2) BÊt ®¼ng thøc biÕn ph©n ®¬n ®iÖu lµ líp bµi to¸n n¶y sinh ra tõ nhiÒu vÊn ®Ò cña to¸n häc øng dông nh­ ph­¬ng tr×nh vi ph©n, c¸c bµi to¸n vËt lý to¸n, tèi ­u ho¸. Ngoµi ra nhiÒu vÊn ®Ò thùc tÕ nh­ c¸c bµi to¸n c©n b»ng m¹ng giao th«ng ®« thÞ, c¸c m« h×nh c©n b»ng kinh tÕ.... ®Òu cã thÓ m« t¶ ®­îc d­íi d¹ng cña mét bÊt ®¼ng thøc biÕn ph©n ®¬n ®iÖu. RÊt tiÕc lµ bÊt ®¼ng thøc biÕn ph©n ®¬n ®iÖu, nãi chung, l¹i lµ bµi to¸n ®Æt kh«ng chØnh. Do tÝnh kh«ng æn ®Þnh cña bµi to¸n ®Æt kh«ng chØnh nªn viÖc gi¶i sè cña nã gÆp khã kh¨n. Lý do lµ mét sai sè nhá trong d÷ kiÖn cña bµi to¸n cã thÓ dÉn ®Õn mét sai sè bÊt kú trong lêi gi¶i. V× thÕ n¶y sinh vÊn ®Ò t×m c¸c ph­¬ng ph¸p gi¶i æn ®Þnh cho c¸c bµi to¸n ®Æt kh«ng chØnh, sao cho khi sai sè cña d÷ kiÖn ®Çu vµo cµng nhá th× nghiÖm xÊp xØ t×m ®­îc cµng gÇn víi nghiÖm ®óng cña bµi to¸n ban ®Ç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.vn4 N¨m 1963, A. N. Tikhonov ®­a ra ph­¬ng ph¸p hiÖu chØnh næi tiÕng vµ kÓ tõ ®ã lý thuyÕt c¸c bµi to¸n ®Æt kh«ng chØnh ®­îc ph¸t triÓn hÕt søc s«i ®éng vµ cã mÆt ë hÇu hÕt c¸c bµi to¸n thùc tÕ. Môc ®Ých cña ®Ò tµi luËn v¨n nh»m nghiªn cøu mét ph­¬ng ph¸p gi¶i æn ®Þnh bÊt ®¼ng thøc biÕn ph©n ®¬n ®iÖu trªn c¬ së x©y dùng nghiÖm hiÖu chØnh h÷u h¹n chiÒu cho bÊt ®¼ng thøc biÕn ph©n . Nghiªn cøu sù héi tô vµ ®¸nh gi¸ tèc ®é héi tô cña nghiÖm hiÖu chØnh víi to¸n tö ng­îc ®¬n ®iÖu m¹nh trong kh«ng gian Banach ph¶n x¹ thùc dùa trªn viÖc chän tham sè hiÖu chØnh tiªn nghiÖm. Néi dung cña luËn v¨n ®­îc tr×nh bµy trong hai ch­¬ng. Ch­¬ng 1 tr×nh bµy mét sè kiÕn thøc c¬ b¶n nhÊt vÒ to¸n tö ®¬n ®iÖu, bµi to¸n ®Æt kh«ng chØnh vµ bÊt ®¼ng thøc biÕn ph©n. Trong ch­¬ng 2 sÏ tr×nh bµy ph­¬ng ph¸p hiÖu chØnh Tikhonov cho bÊt ®¼ng thøc biÕn ph©n ®¬n ®iÖu. KÕt qu¶ chÝnh cña ch­¬ng nµy lµ ®¸nh gi¸ tèc ®é héi tô cña ph­¬ng ph¸p hiÖu chØnh víi tham sè hiÖu chØnh ®­îc chän tiªn nghiÖm. §ång thêi x©y dùng nghiÖm hiÖu chØnh h÷u h¹n chiÒu vµ ®¸nh gi¸ tèc ®é héi tô cña nghiÖm hiÖu chØnh nµy. ë phÇn cuèi cña ch­¬ng lµ kÕt qu¶ sè cã tÝnh chÊt minh ho¹ cho ph­¬ng ph¸p nghiªn cøu, ch­¬ng tr×nh thùc nghiÖm ®­îc viÕt b»ng ng«n ng÷ MATLAB. KÕt qu¶ vÒ sù héi tô vµ tèc ®é héi tô cña nghiÖm hiÖu chØnh h÷u h¹n chiÒu cña bÊt ®¼ng thøc biÕn ph©n (0.1) ®­îc ®¨ng t¶i trªn T¹p chÝ Khoa häc vµ C«ng nghÖ §¹i häc Th¸i Nguyªn, sè 5 n¨m 2009. Em mong muèn bµy tá lßng biÕt ¬n s©u s¾c tíi c« gi¸o TiÕn sÜ NguyÔn ThÞ Thu Thuû, c« ®· rÊt tËn t×nh h­íng dÉn, chØ b¶o em trong suèt thêi gian 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.vn5 em thùc hiÖn khãa luËn vµ trùc tiÕp h­íng dÉn em hoµn thµnh khãa luËn nµy. Em xin göi lêi c¶m ¬n ch©n thµnh tíi c¸c gi¸o s­ , tiÕn sÜ ë ViÖn To¸n häc , ViÖn C«ng nghÖ th«ng tin thuéc ViÖn Khoa häc vµ C«ng nghÖ ViÖt nam, c¸c thÇy gi¸o, c« gi¸o trong Tr­êng §¹i häc Khoa häc nãi chung vµ Khoa To¸n-Tin nãi riªng ®· hÕt lßng gi¶ng d¹y, truyÒn ®¹t cho em nhiÒu kiÕn thøc khoa häc trong suèt thêi gian em häc tËp t¹i Tr­êng. Cuèi cïng, t«i xin göi lêi c¶m ¬n tíi nh÷ng ng­êi th©n, nh÷ng ng­êi b¹n cña t«i ®· ®éng viªn vµ cæ vò t«i rÊt nhiÒu trong suèt thêi gian võa qua. Do ®iÒu kiÖn, thêi gian vµ tr×nh ®é cã h¹n nªn khãa luËn nµy kh«ng tr¸nh khái nh÷ng thiÕu sãt. T«i rÊt mong nhËn ®­îc nh÷ng ý kiÕn ®ãng gãp quý b¸u cña c¸c quý thÇy c« vµ toµn thÓ c¸c b¹n. Th¸i Nguyªn, th¸ng 10 n¨m 2009 L­¬ng ThÞ Thu Thuû 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.vn6 Mét sè ký hiÖu vµ ch÷ viÕt t¾t H kh«ng gian Hilbert thùc X kh«ng gian Banach thùc X∗ kh«ng gian liªn hîp cña Rn kh«ng gian Euclide ∅ tËp rçng X n chiÒu x := y x ®­îc ®Þnh nghÜa b»ng y ∀x víi mäi ∃x tån t¹i inf F (x) x∈X x x infimum cña tËp {F (x) : x ∈ X} I ¸nh x¹ ®¬n vÞ AT ma trËn chuyÓn vÞ cña ma trËn a∼b a t­¬ng ®­¬ng víi b A∗ to¸n tö liªn hîp cña to¸n tö D(A) R(A) xk → x xk * x miÒn x¸c ®Þnh cña to¸n tö miÒn gi¸ trÞ cña to¸n tö d·y A A A A {xk } héi tô m¹nh tíi x d·y {xk } héi tô yÕu tíi x 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.vn7 Ch­¬ng 1 BÊt ®¼ng thøc biÕn ph©n ®¬n ®iÖu vµ bµi to¸n ®Æt kh«ng chØnh 1.1. Mét sè kiÕn thøc bæ trî Trong môc nµy chóng t«i tr×nh bµy mét sè kiÕn thøc c¬ b¶n cña gi¶i tÝch hµm vµ gi¶i tÝch hµm phi tuyÕn cã liªn quan ®Õn néi dung nghiªn cøu cña ®Ò tµi. C¸c kiÕn thøc nµy ®­îc tham kh¶o trong c¸c tµi liÖu [1], [2], [3], [4], [5] vµ [8]. 1.1.1. Kh«ng gian Banach §Þnh nghÜa 1.1.1. Kh«ng gian Banach lµ mét kh«ng gian ®Þnh chuÈn ®Çy ®ñ. VÝ dô 1.1.1. Kh«ng gian Lp [a, b], 1 ≤ p < ∞ x(t) x¸c ®Þnh vµ p-kh¶ tÝch trªn ®o¹n [a, b] víi c¸c phÇn tö lµ c¸c hµm Rb sao cho |x(t)|p dt < ∞, lµ mét a kh«ng gian Banach víi chuÈn Z kxk = b 1/p |x(t)| dt . p a Cho X lµ kh«ng gian Banach thùc, Kh«ng gian liªn hîp cña vµ kÝ hiÖu lµ X∗ X ∗∗ , tøc lµ X ∗∗ X∗ lµ kh«ng gian liªn hîp cña ®­îc gäi lµ kh«ng gian liªn hîp thø hai cña = L( X ∗ , R). 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.vn8 X. X §Þnh nghÜa 1.1.2. Kh«ng gian ®Þnh chuÈn X gäi lµ kh«ng gian ph¶n x¹ nÕu X = X ∗∗ . VÝ dô 1.1.2. Lp [0, 1], p > 1 lµ mét kh«ng gian ph¶n x¹. Mäi kh«ng gian ®Þnh chuÈn h÷u h¹n chiÒu ®Òu ph¶n x¹. §Þnh nghÜa 1.1.3. 1) låi nÕu TËp M ⊂X ∀x, y ∈ M, ∀λ ∈ [0, 1] ta cã λx + (1 − λ)y ∈ M ; 2) compact nÕu mäi d·y mét phÇn tö ®­îc gäi lµ {xn } ⊂ M tô yÕu ®Õn mét phÇn tö héi tô ®Õn §Þnh nghÜa 1.1.4. ®Òu chøa mét d·y con x nk héi {xn } ⊂ M , xn → x (xn * x) th× x ∈ M. D·y c¸c phÇn tö gäi lµ héi tô m¹nh ®Õn phÇn tö xn {xn } ⊂ M x0 ∈ M ; 4) ®ãng (®ãng yÕu) nÕu ta cã x nk x0 ∈ M ; 3) compact yÕu nÕu mäi d·y c¸c phÇn tö ®Òu chøa d·y con x0 xn khi trong kh«ng gian Banach X ®­îc n → ∞ nÕu k xn − x0 k−→ 0. D·y ®­îc gäi lµ héi tô yÕu ®Õn phÇn tö x0 nÕu víi mäi f ∈ X∗ f (xn ) → f (x0 ) , khi n → ∞. Ta sÏ sö dông kÝ hiÖu → ®Ó chØ sù héi tô m¹nh vµ * ®Ó chØ sù héi tô yÕu. Víi ®Þnh nghÜa nh­ trªn ta cã (xem [2]): 1) Tõ sù héi tô m¹nh cña d·y {xn } suy ra sù héi tô yÕu cña d·y ®ã. 2) Giíi h¹n yÕu cña mét d·y nÕu cã lµ duy nhÊt. 3) Mäi d·y héi tô yÕu ®Òu giíi néi. 4) NÕu X lµ kh«ng gian ph¶n x¹ th× xn * x khi vµ chØ khi d·y {hf, xn i} héi tô trong 5) NÕu R víi mäi f ∈ X ∗ . xn * x0 th× kx0 k ≤ limn→∞ kxn k. 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.vn9 ? NhËn xÐt: Mét sè tr­êng hîp tõ héi tô yÕu cã thÓ suy ra héi tô m¹nh lµ: 1) X 2) {xn } ⊂ M , ë ®©y M lµ kh«ng gian h÷u h¹n chiÒu. §Þnh lý 1.1.1. vµ gi¶ sö d·y trong lµ mét tËp compact trong (Banach-Steinhaus) Cho {hfn , xi} X bÞ chÆn víi mäi X. lµ kh«ng gian Banach, x ∈ X. Khi ®ã d·y fn ∈ X ∗ {fn } bÞ chÆn X ∗. §Þnh lý 1.1.2. héi tô yÕu ®Õn Gi¶ sö x∈X héi tô m¹nh tíi {fn } ⊂ X ∗ hoÆc héi tô m¹nh ®Õn f ∈ X∗ vµ {xn } ⊂ X {fn } ⊂ X ∗ héi tô yÕu ®Õn f ∈ X ∗ vµ {xn } ⊂ X x ∈ X. Khi ®ã lim hfn , xn i = hf, xi. §Þnh nghÜa 1.1.5. n→∞ Cho X lµ kh«ng gian Banach ph¶n x¹ thùc, X ®­îc gäi lµ kh«ng gian cã tÝnh chÊt Ephimov-Stechkin (hay tÝnh chÊt E-S) nÕu trong X sù héi tô yÕu c¸c phÇn tö lu«n kÐo theo sù héi tô m¹nh xn * x  vµ sù héi tô chuÈn  kxn k → kxk  kxn − xk → 0 . 1.1.2. PhiÕm hµm låi nöa liªn tôc d­íi Cho X, Y lµ c¸c kh«ng gian Banach, to¸n tö tö ®¬n trÞ. Chóng ta kÝ hiÖu miÒn x¸c ®Þnh cña A:X→Y lµ mét to¸n A lµ D(A) víi D(A) = domA = {x ∈ X|Ax 6= ∅} vµ miÒn gi¸ trÞ lµ R(A) = {f ∈ Y |f ∈ Ax, x ∈ D(A)}. §Þnh nghÜa 1.1.6. 1) To¸n tö A gäi lµ tuyÕn tÝnh nÕu A(x1 + x2 ) = Ax1 + Ax2 víi mäi x1 , x 2 ∈ X ; 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.vn10 2) NÕu f A(αx) = αAx víi mäi x ∈ X , ∀α ∈ R. Y ≡R th× ta cã phiÕm hµm tuyÕn tÝnh f víi miÒn x¸c ®Þnh cña hµm lµ domf = {x ∈ X|f (x) 6= ∅}. §Þnh nghÜa 1.1.7. To¸n tö A ®­îc gäi lµ mét to¸n tö tuyÕn tÝnh liªn tôc nÕu nã lµ to¸n tö tuyÕn tÝnh, ®ång thêi lµ to¸n tö liªn tôc gi÷a hai kh«ng gian X vµ Y. VÝ dô 1.1.3. Cho X = Rk , Y = Rm , to¸n tö A ®­îc x¸c ®Þnh bëi A(x1 , x2 , ..., xk ) = (y1 , y2 , ..., ym ) víi yi = k X aij xj , i = 1, . . . , m (1.1) j=1 trong ®ã aij tö tuyÕn tÝnh Rk vµo lµ c¸c h»ng sè. A Ma trËn (aij )k×m gäi lµ ma trËn cña to¸n vµ (1.1) lµ d¹ng tæng qu¸t cña mäi to¸n tö tuyÕn tÝnh tõ Rm . Mét to¸n tö tuyÕn tÝnh tõ Rk §Þnh nghÜa 1.1.8. To¸n tö tuyÕn tÝnh (giíi néi) nÕu tån t¹i sè vµo Rm bao giê còng liªn tôc. A : X → Y ®­îc gäi lµ bÞ chÆn K > 0 tháa m·n: kAxkY 6 K.kxkX , ∀x ∈ X. VÝ dô 1.1.4. Cho A : L2 [a, b] → L2 [a, b] lµ mét to¸n tö x¸c ®Þnh bëi Zb (Aϕ)(x) = K(x, s)ϕ(s)ds, a 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.vn11 trong ®ã K(x, s) lµ mét hµm hai biÕn cã b×nh ph­¬ng kh¶ tÝch, nghÜa lµ Z bZ b K 2 (x, s)dxds = N 2 < ∞. a Khi ®ã, a A lµ mét to¸n tö tuyÕn tÝnh liªn tôc. To¸n tö nµy gäi lµ to¸n tö tÝch ph©n Fredholm sinh bëi h¹ch Cho §Þnh nghÜa 1.1.9. K(x, s). A:X→Y lµ mét to¸n tö tuyÕn tÝnh liªn tôc. Khi ®ã sè inf{K, K > 0 : kAxk 6 K.kxk, ∀x ∈ X} ®­îc gäi lµ chuÈn cña to¸n tö A, kÝ hiÖu lµ kAk. ? NhËn xÐt: 1) Ba chuÈn th­êng dïng trong n X kxk1 = |xi |, kxk2 = i=1 ë ®©y Rn n X 2 |xi | 1/2 , kxk∞ = max |xi |, 1≤i≤n i=1 x = (x1 , . . . , xn ) ∈ Rn . 2) Trong kh«ng gian h÷u h¹n chiÒu ma trËn th× ba chuÈn t­¬ng øng cña A lµ: kAk1 = max 1≤j≤n trong ®ã n X 1 2 T |aij |, kAk2 = { max λi (A A)} , kAk∞ = max 1≤i≤n i=1 1≤i≤n n X |aij |, j=1 λi (AT A) lµ c¸c gi¸ trÞ riªng cña ma trËn ®èi xøng AT A. Víi to¸n tö ta sÏ viÕt KÝ hiÖu Rn , khi cã mét c¬ së cè ®Þnh, to¸n A ®­îc cho bëi ma trËn (aij )ni,j=1 tö tuyÕn tÝnh Y, lµ: r:X→Y tõ kh«ng gian Banach r(x) = o(kxk) víi x → θX , nÕu X vµo kh«ng gian Banach r(x)/kxk → 0 khi x → θX . L(X, Y ) lµ tËp tÊt c¶ c¸c to¸n tö tuyÕn tÝnh liªn tôc T : X → Y . 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.vn12 Cho §Þnh nghÜa 1.1.10. X A:X→Y vµo kh«ng gian Banach lµ mét to¸n tö tõ kh«ng gian Banach Y . To¸n tö A ®­îc gäi lµ kh¶ vi FrÐchet t¹i ®iÓm x ∈ X , nÕu tån t¹i T ∈ L(X, Y ) sao cho A(x + h) = A(x) + T h + o(khk), víi mäi h thuéc mét l©n cËn cña ®iÓm θ. NÕu tån t¹i th× T A t¹i x, vµ ta viÕt A0 (x) = T . hµm FrÐchet cña Hµm §Þnh nghÜa 1.1.11. víi mäi x, y ∈ X f : X → R ∪ {+∞} ®­îc gäi lµ låi trªn f X nÕu ta cã f (tx + (1 − t)y) ≤ tf (x) + (1 − t)f (y), Hµm ®­îc gäi lµ ®¹o låi ngÆt trªn X ∀t ∈ [0, 1]. nÕu bÊt ®¼ng thøc trªn kh«ng x¶y ra dÊu b»ng víi x 6= y . §Þnh nghÜa 1.1.12. nÕu víi mäi d·y Hµm f :X→R ®­îc gäi lµ nöa liªn tôc d­íi trªn X {xn } : xn → x th× lim inf f (xn ) ≥ f (x), ∀x ∈ X. n→∞ §Þnh nghÜa 1.1.13. X nÕu víi mäi d·y Hµm f : X → R ®­îc gäi lµ nöa liªn tôc d­íi yÕu trªn {xn } : xn * x th× lim inf f (xn ) ≥ f (x), ∀x ∈ X. n→∞ §Þnh nghÜa 1.1.14. Hµm 1) chÝnh th­êng nÕu 2) h÷u h¹n nÕu f : X → R ®­îc gäi lµ domf 6= ∅ vµ f (x) > −∞, ∀x ∈ X; |f (x)| < ∞, ∀x ∈ X. 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.vn13 §Þnh nghÜa 1.1.15. tån t¹i x∗ ∈ X ∗ Hµm f ®­îc gäi lµ kh¶ vi G©teaux t¹i ®iÓm f (x + λy) − f (x) = hx∗ , yi, λ→+0 λ x∗ ®­îc gäi lµ ®¹o hµm G©teaux cña §Þnh nghÜa 1.1.16. cÇu ®¬n vÞ kÐo theo nÕu sao cho ∀y ∈ X. lim vµ x∈X f t¹i Kh«ng gian ®Þnh chuÈn S = {∀x ∈ X : kxk = 1} kx + yk < 2 cña x, kÝ hiÖu lµ f 0 (x). X X ®­îc gäi lµ låi chÆt nÕu mÆt lµ låi chÆt, tøc lµ tõ (nãi c¸ch kh¸c biªn cña S x, y ∈ S kh«ng chøa bÊt k× mét ®o¹n th¼ng nµo). VÝ dô 1.1.5. Kh«ng gian Lp [a, b], 1 < p < ∞ lµ kh«ng gian låi chÆt. 1.1.3. To¸n tö ®¬n ®iÖu Cho X vµo A : X → X ∗ lµ to¸n tö ®¬n trÞ tõ kh«ng gian Banach ph¶n x¹ thùc X ∗ víi miÒn x¸c ®Þnh lµ D(A) ⊆ X (th«ng th­êng ta coi nÕu kh«ng nãi g× thªm) vµ miÒn gi¸ trÞ (miÒn ¶nh) §Þnh nghÜa 1.1.17. To¸n tö D(A) ≡ X R(A) n»m trong X ∗ . A ®­îc gäi lµ ®¬n ®iÖu nÕu hA(x) − A(y), x − yi ≥ 0, ∀x, y ∈ D(A). A ®­îc gäi lµ ®¬n ®iÖu chÆt nÕu dÊu b»ng chØ ®¹t ®­îc khi x = y . §Þnh nghÜa 1.1.18. NÕu ∀x ∈ X tö x¸c ®Þnh kh«ng ©m, kÝ hiÖu lµ ? NhËn xÐt: NÕu A ta cã hAx, xi ≥ 0 th× A ®­îc gäi lµ to¸n A ≥ 0. lµ mét to¸n tö tuyÕn tÝnh trong kh«ng gian Banach th× tÝnh ®¬n ®iÖu t­¬ng ®­¬ng víi tÝnh x¸c ®Þnh kh«ng ©m cña to¸n tö. 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.vn14 X §Þnh nghÜa 1.1.19. kh«ng ©m To¸n tö A ®­îc gäi lµ ®¬n ®iÖu ®Òu nÕu tån t¹i mét hµm δ(t), kh«ng gi¶m víi t ≥ 0, δ(0) = 0 vµ hA(x) − A(y), x − yi ≥ δ(kx − yk), NÕu δ(t) = cA t2 víi cA ∀x, y ∈ D(A). lµ mét h»ng sè d­¬ng th× to¸n tö A ®­îc gäi lµ ®¬n ®iÖu m¹nh. §Þnh nghÜa 1.1.20. To¸n tö A ®­îc gäi lµ h-liªn tôc trªn X nÕu A(x+ty) * Ax khi t → 0 víi ∀x, y ∈ X vµ d-liªn tôc nÕu xn → x th× suy ra Axn * Ax. Chó ý r»ng nÕu A lµ to¸n tö ®¬n ®iÖu vµ h-liªn tôc th× A lµ to¸n tö d-liªn tôc. §Þnh nghÜa 1.1.21. To¸n tö A ®­îc gäi lµ to¸n tö bøc, nÕu hA(x), xi = +∞. kxk kxk→+∞ lim §Þnh nghÜa 1.1.22. ¸nh x¹ U s : X → X ∗ (nãi chung ®a trÞ) x¸c ®Þnh bëi U s (x) = {x∗ ∈ X ∗ : hx∗ , xi = kx∗ ks−1 .kxk = kxks }, s ≥ 2 ®­îc gäi lµ ¸nh x¹ ®èi ngÉu tæng qu¸t cña kh«ng gian X. th× Us th­êng ®­îc viÕt lµ chuÈn t¾c cña X. TÝnh ®¬n trÞ cña ¸nh x¹ ®èi ngÉu chuÈn t¾c ®­îc cho Khi s = 2 U vµ ®­îc gäi lµ ¸nh x¹ ®èi ngÉu trong mÖnh ®Ò sau. MÖnh ®Ò 1.1.1. (xem [5]) Gi¶ sö X lµ mét kh«ng gian Banach. Khi ®ã, 1) U (x) lµ tËp låi, U (λx) = λU (x) víi mäi λ ∈ R; 2) U lµ ¸nh x¹ ®¬n trÞ khi vµ chØ khi X∗ lµ kh«ng gian låi chÆt. 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.vn15 ? NhËn xÐt: H, 1) Trong kh«ng gian Hilbert to¸n tö ®¬n vÞ 2) I trong ¸nh x¹ ®èi ngÉu chuÈn t¾c chÝnh lµ H. ¸nh x¹ ®èi ngÉu lµ mét trong nh÷ng vÝ dô vÒ to¸n tö ®¬n ®iÖu, nã tån t¹i trong mäi kh«ng gian Banach. Víi gian Rn X = Lp (Ω), 1 < p < ∞ vµ th× ¸nh x¹ ®èi ngÉu chuÈn t¾c U Ω lµ mét tËp ®o ®­îc cña kh«ng cã d¹ng (U x)(t) = kxk2−p |x(t)|p−2 x(t), Gi¶ thiÕt r»ng ¸nh x¹ ®èi ngÉu Us t ∈ Ω. tháa m·n hU s (x) − U s (y), x − yi ≥ mU kx − yks , kU s (x) − U s (y)k ≤ C(R)kx − ykν , ë ®©y (1.2) 0 < ν ≤ 1, (1.3) C(R) lµ mét hµm d­¬ng vµ ®¬n ®iÖu t¨ng theo R = max{kxk, kyk} (xem [1] vµ tµi liÖu dÉn). NÕu vµ mU > 0, X lµ kh«ng gian Hilbert H th× mU = 1, ν = 1 C(R) = 1. §Þnh lý 1.1.3. (xem [5]) NÕu ®èi ngÉu chuÈn t¾c H¬n n÷a, nÕu X X∗ lµ kh«ng gian Banach låi chÆt th× ¸nh x¹ U : X → X∗ lµ to¸n tö ®¬n ®iÖu, bøc vµ lµ kh«ng gian Banach låi chÆt th× U d-liªn tôc. lµ to¸n tö ®¬n ®iÖu chÆt. §Þnh nghÜa 1.1.23. Cho X lµ kh«ng gian Banach ph¶n x¹, mét phiÕm hµm låi, chÝnh th­êng trªn f :X →R lµ X . Ta ®Þnh nghÜa ∂f (x) bëi ∂f (x) = {x∗ ∈ X ∗ : f (x) ≤ f (y) + hx∗ , x − yi, ∀y ∈ X}. PhÇn tö x∗ ∈ X ∗ ®­îc gäi lµ d­íi Gradient cña hµm gäi lµ d­íi vi ph©n cña f t¹i f t¹i x vµ ∂f (x) ®­îc x. 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.vn16 ? NhËn xÐt: 1) ∂f (x) lµ to¸n tö ®¬n ®iÖu (nãi chung ®a trÞ) tõ X 2) ∂f (x) lµ mét tËp låi ®ãng. 1.2. vµo X ∗. Bµi to¸n ®Æt kh«ng chØnh 1.2.1. Kh¸i niÖm vÒ bµi to¸n ®Æt kh«ng chØnh XÐt mét bµi to¸n ë d¹ng ph­¬ng tr×nh to¸n tö A(x) = f, ë ®©y A : X → Y gian Banach Y, f (1.4) lµ mét to¸n tö tõ kh«ng gian Banach lµ phÇn tö thuéc Y. X vµo kh«ng Sau ®©y lµ mét ®Þnh nghÜa cña J. Hadamard: §Þnh nghÜa 1.2.1. Cho A lµ mét to¸n tö tõ kh«ng gian X vµo kh«ng gian Y . Bµi to¸n (1.4) ®­îc gäi lµ bµi to¸n ®Æt chØnh nÕu 1) ph­¬ng tr×nh A(x) = f cã nghiÖm víi mäi f ∈Y; 2) nghiÖm duy nhÊt vµ; 3) nghiÖm phô thuéc liªn tôc vµo d÷ kiÖn ban ®Çu. NÕu Ýt nhÊt mét trong ba ®iÒu kiÖn trªn kh«ng tho¶ m·n th× bµi to¸n (1.4) ®­îc gäi lµ bµi to¸n ®Æt kh«ng chØnh. ? NhËn xÐt: 1) Bµi to¸n t×m nghiÖm x phô thuéc vµo d÷ kiÖn f , nghÜa lµ x = R(f ), ®­îc gäi lµ æn ®Þnh trªn cÆp kh«ng gian (X, Y ) nÕu víi mçi ε > 0 cã thÓ t×m 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.vn17 ®­îc mét sè δ(ε) > 0, sao cho tõ ρY (f1 , f2 ) ≤ δ(ε) ta cã ρX (x1 , x2 ) ≤ ε, ë ®©y f1 , f2 ∈ Y, x1 , x2 ∈ X. x1 = R(f1 ), x2 = R(f2 ), 2) Mét bµi to¸n cã thÓ ®Æt chØnh trªn cÆp kh«ng gian nµy nh­ng l¹i ®Æt kh«ng chØnh trªn cÆp kh«ng gian kh¸c. Trong nhiÒu øng dông th× vÕ ph¶i cña (1.4) th­êng ®­îc cho bëi ®o ®¹c, nghÜa lµ thay cho gi¸ trÞ chÝnh x¸c m·n kfδ − f k ≤ δ . Gi¶ sö xδ thiÕt r»ng nghiÖm tån t¹i). Khi kh«ng chØnh th× xδ f ta chØ biÕt xÊp xØ lµ nghiÖm cña (1.4) víi δ→0 th× fδ → f nãi chung kh«ng héi tô ®Õn f fδ cña nã tho¶ thay bëi fδ (gi¶ nh­ng víi bµi to¸n ®Æt x. 1.2.2. VÝ dô vÒ bµi to¸n ®Æt kh«ng chØnh Sau ®©y ta sÏ chØ ra mét vÝ dô vÒ to¸n tö A mµ (1.4) lµ bµi to¸n ®Æt kh«ng chØnh. §Þnh nghÜa 1.2.2. To¸n tö (phi tuyÕn) A ®­îc gäi lµ liªn tôc m¹nh, nÕu nã ¸nh x¹ mäi d·y héi tô yÕu thµnh d·y héi tô m¹nh tøc lµ nÕu xn * x suy ra Axn → Ax. MÖnh ®Ò 1.2.1. NÕu (xem [4]) Cho X vµ Y lµ c¸c kh«ng gian Banach thùc. A lµ to¸n tö tuyÕn tÝnh compact th× A liªn tôc m¹nh. NÕu A lµ to¸n tö liªn tôc m¹nh th× bµi to¸n (1.4) (v« h¹n chiÒu) nãi chung lµ bµi to¸n ®Æt kh«ng chØnh. ThËt vËy,gi¶ sö tô yÕu ®Õn x, xn * x, xn 6→ x liªn tôc m¹nh cña vµ {xn } lµ mét d·y chØ héi yn = A(xn ), y = A(x). A suy ra yn → y Khi ®ã do tÝnh vµ nghiÖm cña ph­¬ng tr×nh A(x) = f kh«ng phô thuéc liªn tôc vµo d÷ kiÖn ban ®Çu. 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.vn18
- Xem thêm -

Tài liệu liên quan

Tài liệu xem nhiều nhất