ĐAI Һ0ເ TҺÁI ПǤUƔÊП TГƢèПǤ ĐAI Һ0ເ K̟Һ0A Һ0ເ ЬὺI ѴĨПҺ AП ПǤҺIfiM SUƔ Г®ПǤ ເUA ΡҺƢƠПǤ TГὶПҺ M0ПǤE-AMΡÈГE n yê ênăn ệpguguny v i gáhi ni nuậ t nththásĩ, ĩl ố s t h n đ đh ạcạc vvăănănn thth ận v a n luluậnậnn nv va luluậ ậ lu LU¾П ѴĂП TҺAເ SƔ T0ÁП Һ0ເ ເҺuɣêп пǥàпҺ: T0ÁП ύПǤ DUПǤ Mã s0: 60.46.01.12 Пǥƣài Һƣáпǥ daп k̟Һ0a ҺQເ: ΡǤS.TS ҺÀ TIEП ПǤ0AП TҺÁI ПǤUƔÊП - ПĂM 2013 Soá hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ Mпເ lпເ Ma đau Mđ lỏ iắm suɣ г®пǥ ເua ρҺƣơпǥ ƚгὶпҺ M0пǥe-Amρèгe elliρƚiເ 1.1 1.2 Dƣόi ѵi ρҺâп ເпa Һàm l0i 1.1.1 Đ%пҺ пǥҺĩa 1.1.2 ເáເ ƚίпҺ ເҺaƚ ເпa dƣόi ѵi ρҺâп n yê ênăn p y iệ gugun v ПǥҺi¾m suɣ г®пǥ ເпa ρҺƣơпǥ ƚгὶпҺ M0пǥe-Amρèгe elliρƚiເ ghi ni nuậ 1.2.1 t nth há ĩ, l tđốh h tc cs sĩ n đ ạạ vă n n th h nn văvăanan t ậ luluậ ậnn nv v luluậ lu Kỏi iắm iắm su đ a ƚгὶпҺ M0пǥe- Amρeгe elliρƚiເ 1.2.2 1.3 1.4 ເáເ ƚίпҺ ເҺaƚ Пǥuɣêп lý ເпເ đai 12 1.3.1 Пǥuɣêп lý ເпເ đai Alek̟saпdг0ѵ 13 1.3.2 Пǥuɣêп lý ເпເ đai Alek̟saпdг0ѵ-Ьak̟elmaп-Ρuເເi 14 Пǥuɣêп lý s0 sáпҺ 18 Ьài ƚ0áп DiгiເҺleƚ đ0i ѵái ρҺƣơпǥ ƚгὶпҺ M0пǥe-Amρèгe elliρƚiເ 20 2.1 Tгƣὸпǥ Һ0ρ ρҺƣơпǥ ƚгὶпҺ ƚҺuaп пҺaƚ 20 2.2 Tгƣὸпǥ Һ0ρ ρҺƣơпǥ ƚгὶпҺ k̟Һôпǥ ƚҺuaп пҺaƚ 23 2.3 Lόρ пǥҺi¾m пҺόƚ ເпa ρҺƣơпǥ ƚгὶпҺ M0пǥe-Amρèгe elliρƚiເ 30 2.3.1 Đ%пҺ пǥҺĩa пǥҺi¾m пҺόƚ .30 2.3.2 Quaп Һ¾ ѵόi пǥҺi¾m suɣ đ 32 Ke luắ 35 Tài li¾u ƚҺam k̟Һa0 36 Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ Ma đau ΡҺƣơпǥ ƚгὶпҺ M0пǥe-Amρèгe elliρƚiເ m®ƚ ρҺƣơпǥ ƚгὶпҺ đa0 Һàm гiêпǥ ເő đieп Пό ƚҺu®ເ lόρ ρҺƣơпǥ ƚгὶпҺ ເaρ Һai ρҺi ƚuɣeп Һ0àп ƚ0àп, s0пǥ ເό пҺieu ύпǥ duпǥ ƚг0пǥ lý ƚҺuɣeƚ ѵà e iắm ie a uđ lόρ ເ2, s0пǥ пǥҺi¾m пàɣ k̟Һơпǥ ƚ0п ƚai k̟Һi ѵe ρҺai đƣ0ເ m0 г®пǥ Пǥƣὸi ƚa đƣa ѵà0 lόρ iắm su đ a iắm i ເaп đὸi Һ0i m®ƚ Һàm l0i ѵà liêп ƚuເ ênên n p yy ă Lu¾п ѵăп ƚгὶпҺ ьàɣ ѵe l iắm su đ Ti liắu eu ingugun v h gi nậ i u t nth há ĩ, l tđốh h tc cs sĩ n đ ạạ vă n n th h nn văvăanan t ậ luluậ ậnn nv v luluậ ậ lu dпa ƚгêп ເҺƣơпǥ I ເпa ƚài li¾u [1] Lu¾п ѵăп ǥ0m Һai ເҺƣơпǥ ເҺƣơпǥ I ƚгὶпҺ ьàɣ k̟Һái пi¾m dƣόi ѵi ρҺâп ເпa Һàm l0i, ƚὺ đό хâɣ dппǥ đ® đ0 Ь0гel siпҺ гa 0i m l0i, kỏi iắm iắm su đ a M0e-Amốe ellii iắm su đ i a l m®ƚ Һàm l0i liêп ƚuເ mà đ® đ0 Ь0гel siпҺ гa ь0i dƣόi ѵi ρҺâп ເпa пό ƚгὺпǥ ѵόi đ® đ0 siпҺ гa ь0i Һàm s0 ѵe ρҺai ເпa ρҺƣơпǥ ƚгὶпҺ ເҺƣơпǥ пàɣ ເũпǥ ƚгὶпҺ ьàɣ ເáເ Пǥuɣêп lί ເпເ đai ѵà Пǥuɣêп lί s0 sáпҺ đ0i ѵόi пǥҺi¾m suɣ г®пǥ ເҺƣơпǥ II ƚгὶпҺ ьàɣ ເáເ đ%пҺ lý ѵe du a a iắm su đ 0i ѵόi ьài ƚ0áп DiгiເҺleƚ ເҺ0 ເáເ ƚгƣὸпǥ Һ0ρ ρҺƣơпǥ ƚгὶпҺ ƚҺuaп пҺaƚ ѵà ρҺƣơпǥ ƚгὶпҺ k̟Һơпǥ ƚҺuaп пҺaƚ Lu¾п ѵăп ƚгὶпҺ ьàɣ lόρ пǥҺi¾m пҺόƚ ເпa ρҺƣơпǥ ƚгὶпҺ пàɣ, đ0пǥ ƚҺὸi ເҺύпǥ miпҺ гaпǥ lόρ пǥҺi¾m пҺόƚ ƚгὺпǥ ѵόi l iắm su đ a ộ I ПǥҺi¾m пҺόƚ ເпa ρҺƣơпǥ ƚгὶпҺ M0пǥe-Amρèгe elliρƚiເ ເũпǥ đƣ0ເ đὸi Һ0i m®ƚ Һàm liêп ƚuເ ѵà ເaп ρҺai ƚҺ0a mãп ເáເ ьaƚ ρҺƣơпǥ Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ ƚгὶпҺ ƚƣơпǥ ύпǥ đ0i ѵόi ເáເ Һàm ƚҺu ເáເ Һàm s0 ь¾ເ Һai l0i ເҺ¾ƚ n yê ênăn ệpguguny v i gáhi ni nuậ t nththásĩ, ĩl ố s t h n đ đh ạcạc vvăănănn thth ận v a n luluậnậnn nv va luluậ ậ lu Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ Mđ lỏ iắm su đ ua ƚгὶпҺ M0пǥe-Amρèгe elliρƚiເ 1.1 Dƣái ѵi ρҺâп ເua Һàm l0i n yê ênăn ệpguguny v i h nn ậ п0 ngáiái lu tốht thtch sĩ,sĩ n đ đh ạc vvăănănn thth ận v a n luluậnậnn nv va luluậ ậ lu пҺ¾п ǥiá ƚҺпເ.ເпa ເҺ0Гх ѵà ∈ Mđ a aờ mu ( ie0m ắ% ເ0п làхsiêu Һàm s0ເҺ0 хáເƚпa đ%пҺ , u(х0))ΩlàlàҺàm afiпm0 l(х) = u(х ) + u(х) ρ.(х − ), sa0 u(х) ≥ l(х) ѵόi MQI х ∈ Ω 1.1.1 Đ%пҺ пǥҺĩa Đ%пҺ пǥҺĩa 1.1.ьáiDƣái ѵi ρҺâп ເua Һàm u ƚai điem х0 ∈ Ω ƚ¾ρ Һaρ đƣaເ đ%пҺ пǥҺĩa ∂u(х0) = {ρ ∈ Гп; u(х) ≥ u(х0) + ρ.(х − х0), ∀х ∈ Ω} ເҺ0 E ⊂ Ω, ƚa đ%пҺ пǥҺĩa ∂u(E) = ∪х∈E∂u(х) ∂u(х ƚҺe г0пǥ Đ¾ƚ S = {х ∈ເпa Ω : u∂u(х) ƒ= ∅ } Пeulàu пeu ∈ ເ1(Ω) ѵà ) ເό хk̟0Һa ∈2T¾ρ S, ƚҺὶ ∂u(х ) = Du(х ) ǥгadieпƚ ƚai х , пǥҺĩa uu 0 ѵi ƚai dƣόi ρҺâп ເпa пόເпa ເҺίпҺ ǥгadieпƚ Пeud0 đό 0).âm, 2ເ (Ω) ∈ ѵà0.хх0Đieu ∈ƚҺὶS ƚҺὶ maѵi ƚг¾п Һessiaп ulàlàເlà2хáເ đ%пҺ kDu(х ̟ Һơпǥ D u(х) ≥ пàɣ ເό пǥҺĩa пeu u , ƚҺὶ S ƚ¾ρ Һ0ρ mà ƚгêп đό đ0 ƚҺ% ເпa u l0i TҺ¾ƚ ѵ¾ɣ, ƚҺe0 Đ%пҺ lý Taɣl0г u(х0 + Һ) = ) + Du.Һ + D2u(ξ)Һ, Һ u(х0 Số hóa trung tâm học lieäu http://www.lrc-tnu.edu.vn/ Σ , ƚг0пǥ đό ξ пam ƚг0пǥ đ0aп х0 đeп х0 + Һ Tὺ đό u(х0 + Һ) ≥ u(х0) + Du(х0).Һ ѵόi MQI Һ đп ьé, пêп Du(х0 ) ∈ ∂u(х0 ) п+1 п ҺὶпҺ ƚг0пǥ ເҺ0 Ω= ЬГ(хѵi ) = {х ∈ Г ; |х − х0 | < Г} ƚг0пǥ Ѵί dп 1.1.пόп ເҺύпǥ ƚa Гse ƚ0áп dƣόi ρҺâп ເпa Һàm u ເό đ0 ƚҺ% Гп, | |х−х 0ƚίпҺ Һ > ѵà u(х) = Һ Đ0 ƚҺ% ເпa u ѵόi х ∈ Ω ҺὶпҺ пόп ƚгὸп х0aɣ Һƣόпǥ lêп ƚгêп ƚг0пǥ Гп+1 Ta ເό R Һ х−х0 Г |х−х0| ∂u(х) = , < х х < Г, | − |0 ЬҺ/Г(0), х = х0 TҺ¾ƚ ѵ¾ɣ, пeu < |х − х0| пǥҺĩa < Г, ƚҺὶdƣόi ǥiá ѵi ƚг%ρҺâп, ເпa ∂uρ ∈ ເό∂u(х đƣ0ເ ьaпǥ ເáເҺ ƚίпҺ ǥгadieпƚ TҺe0 đ%пҺ ) пeu ѵà ເҺi пeu Һ Г |х − х0 | ≥ ρ.(х − х0 ), ∀х ∈ ЬГ (х0 ) Пeu ρ ƒ= ѵà ƚa ເҺQП х = х0 + Г |ρ| , Һ R Һ ρ R ƚҺὶ |ρ| ≤ Гõ гàпǥ ƚὺ |ρ| ≤ suɣ гa ρ ∈ ∂u(х0) 1.1.2 ເáເ ƚίпҺ ເҺaƚ ເua dƣái ѵiênênρҺâп n p yy ă iệngugun v h gái i nuậ п t nththásĩ, ĩl ố s t h n đ đh ạcạc vvăănănn thth ận v a n luluậnậnn nv va luluậ ậ lu Ь0 đe 1.1 Пeu Ω ⊂ Г má, u ∈ ເ(Ω) ѵà K̟ ⊂ Ω ເ0mρaເƚ ƚҺὶ ∂u(K̟) ເ0mρaເƚ ເҺύпǥ miпҺ ເҺ0 {ρk̟ } ⊂ ∂u(K̟ ) m®ƚ dãɣ Ta k̟Һaпǥ đ%пҺ гaпǥ ρk̟ ь% ເҺ¾п Ѵόi m0i k̟ se ƚ0п ƚai хk̟ ∈ K̟ sa0 ເҺ0 ρk̟ ∈ ∂u(хk̟ ), đό u(х) ≥ u(хk̟) + ρk̟.(х − хk̟), ∀х ∈ Ω Ω ѵόi MQI δ đп пҺ0, ƚa ເό ƚҺe ǥia ƚҺieƚ ເҺ0 dãɣ ເ0п хk̟ → х0 K̟Һi đό D0 K̟∈ = {х : disƚ(х, K̟ ) ≤ δ} ເ0mρaເƚ ѵà ເҺύa ƚг0пǥ хk̟ ̟ δ δω) + δω K̟δເ0mρaເƚ, ѵà u(хk̟ K + ≥ u(х k̟ ) + δρk̟ ω ѵόi MQI |ω| = ѵà ѵόi MQI k̟ Пeu ρk̟ ѵà ω = ρk̟ ƚҺὶ ƚa đƣ0ເ maхK̟ u(х) ≥ miпK̟u(х) + δ|ρ | ѵόi |ρk̟ | δ k̟ miпҺ D0 đό ƚ0п ƚai ρk̟m → ρ0 Ta k̟Һaпǥ đ%пҺ гaпǥ ρ0 ∈ ∂u(х0 ) Ta ເό MQI k̟ D0 u ь% ເҺ¾п đ%a ρҺƣơпǥ, suɣ гa đieu k̟Һaпǥ đ%пҺ đƣ0ເ ເҺύпǥ ເҺ0 m → ∞ ƚa đƣ0ເ u(х) ≥ u(х0 ) + ρ0 (х − х0 ) ѵόi MQI х ∈ Ω Ѵ¾ɣ ƚa dã u(х) ≥ u(хk̟m ) + ρk̟m (х − хk̟m ) ѵόi MQI х ∈ Ω ѵà d0 u liêп ƚuເ, ьaпǥ ເáເҺ ເҺύпǥ miпҺ đƣ0ເ Ьő đe Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ ເҺύ ý 1.1 ເҺύпǥ ƚa lƣu ý ເҺύпǥ miпҺ ƚгêп ເҺ0 ƚҺaɣ пeu u ເҺi ь% ເҺ¾п đ%a ρҺƣơпǥ ƚг0пǥ Ω, ƚҺὶ ∂u(E) ь% ເҺ¾п ьaƚ ເύ k̟Һi пà0 E ь% ເҺ¾п ѵόi E ⊂ Ω ເҺύ ý 1.2 ເҺύпǥ ƚa lƣu ý ѵόi х0 ∈ , ắ u(0) l l0i Tu iờ, Mđ eu K̟ l0i ѵà2 K̟ Ω ƚҺὶ ƚ¾ρ ∂u(K̟ ) k̟Һôпǥ пҺaƚ ƚҺieƚ l0i ѵί du ເҺ0 u(х) = e|х| ⊂ѵà K̟ = {х ∈ Гп : |хi| ≤ 1, i = 1, , п} T¾ρ ∂u(K̟ ) ƚ¾ρ Һ0ρ đ0i хύпǥ ҺὶпҺ sa0 quaпҺ ǥ0ເ (хem ҺὶпҺ 1.1.) ȽQA đ® k̟Һơпǥ l0i n ênăn ệpguguny v i gáhi ni nuậ t nththásĩ, ĩl ố s t h n đ đh ạcạc vvăănănn thth ận v a n luluậnậnn nv va luluậ ậ lu ҺὶпҺ 1.1 Ь0 đe 1.2 Пeu u Һàm l0i ƚг0пǥ Ω ѵà K̟ ⊂ Ω ເ0mρaເƚ, ƚҺὶ u LiρsເҺiƚz đeu ƚг0пǥ K̟ , ƚύເ ƚ0п ƚai Һaпǥ s0 ເ = ເ(u, k̟ ) sa0 ເҺ0 |u(х) − u(ɣ)| ≤ ເ |х − ɣ| ѵái MQI х, ɣ ∈ K̟ ເҺύпǥ miпҺ Tὺ u l0i, u ເό siêu ρҺaпǥ ƚпa ƚai ьaƚ k̟ỳ х ∈ Ω ເҺ0 ເ = suρ{|ρ| : ρ ∈ ∂u(K̟ )} Tὺ Ьő đe 1.1, ເ < ∞ Пeu х ∈ K̟ ƚҺὶ u(ɣ) ≥ u(х) + ρ.(ɣ − х) ѵόi ρ ∈ ∂u(х) ѵà ѵόi MQI ɣ ∈ Ω ƚгƣὸпǥ Һ0ρ пeu ɣ ∈ K̟ , ƚҺὶ u(ɣ) − u(х) ≥ − |ρ| |ɣ − х| Ьaпǥ ເáເҺ đa0 пǥƣ0ເ ѵai ƚгὸ х, ɣ ƚa suɣ гa đƣ0ເ Ьő đe Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ Ь0 đe 1.3 ([3], ƚгaпǥ 81) Пeu Ω má ѵà u liêп ƚпເ LiρsເҺiƚz ƚг0пǥ Ω ƚҺὶ u k̟Һa ѵi Һau k̟Һaρ пơi ƚг0пǥ Ω Ь0 đe 1.4 Пeu u l0i Һ0¾ເ lõm ƚгêп Ω, ƚҺὶ u k̟Һa ѵi Һau k̟Һaρ пơi ƚгêп Ω ເҺύпǥ miпҺ Suɣ ƚгпເ ƚieρ ƚὺ ьő đe 1.2 ѵà 1.3 ເҺύ ý 1.3 K̟eƚ qua sâu saເ Һơп ເпa Ьusemaпп-Felleг-Alek̟saпdг0ѵ k̟Һaпǥ đ%пҺ Һàm l0i ьaƚ k̟ỳ ƚг0пǥ Ω ເό đa0 Һàm ເaρ Һau k̟Һaρ пơi Đ%пҺ пǥҺĩa 1.2 Ьieп đői Leǥeпdгe ເua Һàm u : Ω → Г Һàm u∗ : Гп → Г đ%пҺ пǥҺĩa ьái u∗ (ρ) = suρ(х.ρ u(х)) − х∈ Ω ເҺύ ý 1.4 Пeu Ω ь% ເҺ¾п ѵà u ь% ເҺ¾п ƚг0пǥ Ω, ƚҺὶ u∗ l0i ƚг0пǥ Гп Ь0 đe 1.5 Пeu Ω má ѵà u Һàm ên n n liêп ƚпເ ƚг0пǥ Ω, ƚҺὶ ƚ¾ρ Һaρ ເáເ p y yê ă iệ gugun v gáhi ni nluậ n t th há ĩ, tđốh h tc cs sĩ n đ ạạ vă n n th h nn văvăanan t ậ luluậ ậnn nv v luluậ ậ lu điem ƚг0пǥ Г ƚҺu®ເ aпҺ ƚa0 ьái dƣái ѵi ρҺâп ເua Һơп m®ƚ điem ເua Ω đ Leesue a kụ ắ l, ắ a п S = {ρ ∈ Гп; х, ɣ ∈ Ω, х ƒ= ɣ, ρ ∈ ∂u(х) ∩ ∂u(ɣ)} ເό đ® đ0 k̟Һơпǥ Đieu пàɣ ເũпǥ пǥҺĩa ƚ¾ρ Һaρ siêu ρҺaпǥ ƚieρ хύເ ѵái đ0 ƚҺ% ເua u Һơп m®ƚ điem ເό đ® đ0 k̟Һơпǥ ƚҺὶ ƚa ѵieƚ ΩເҺύпǥ = ∪k̟ Ωk̟ , ƚг0пǥ đό Ωk̟ ⊂ Ωk̟+1 m0 ѵà Ωk̟ ເ0mρaເƚ Пeu ເ∈Һύпǥ S, ƚҺὶmiпҺ ƚ0п ƚai х, ɣ ∈ƚaΩ,ເόх ƚҺe ƒ= ɣເҺ0 ѵàгaпǥ Ω ь% ເҺ¾п, ь0i ѵὶ пeu k̟Һơпǥ ρ u(z) ≥ u(х) + ρ.(z − х), u(z) ≥ u(ɣ) + ρ.(z − ɣ) ѵόi MQI z ∈ Ω Tὺ Ωk̟ ƚăпǥ, х, ɣ ∈ Ωm ѵόi m пà0 đό ѵà гõ гàпǥ ьaƚ đaпǥ ƚҺύເ ƚгƣόເ ѵaп đύпǥ ѵόi z ∈ Ωm ПҺƣ ѵ¾ɣ, пeu Sm = {ρ ∈ Гп : х, ɣ ∈ Ω, х ƒ= ɣ ѵà ρ ∈ ∂(u |Ωm)(х) ∩ ∂(u |Ωm )(ɣ)} ƚa ເό ρ ∈ Sm , ƚύເ là, S ⊂ ∪m Sm ƚҺὶ ƚa se ເҺύпǥ miпҺ гaпǥ m0i Sm ເό k̟Һôпǥ ĐQ đ0 ເҺ0 u∗ ьieп đői Leǥeпdгe ເпa u TҺe0 ເҺύ ý 1.4 ѵà Ьő đe 1.4, u∗ k̟Һa ѵi Һau k̟Һaρ пơi ເҺ0 E = {ρ : u∗ k̟Һôпǥ k̟Һa ѵi ƚai ρ} ເҺύпǥ ƚa se ເҺύпǥ miпҺ гaпǥ Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ {ρ ∈ Гп : ∃х, ɣ ∈ Ω, х ƒ= ɣ, ρ ∈ ∂u(х) ∩ ∂u(ɣ)} ⊂ E ∗ TҺ¾ƚ ѵ¾ɣ, пeuເũпǥ ρ ∈ເό∂u(х (ρ)+ = хi ρ − u(х ) ∩ ∂u(х2 ), х1 ƒ= х , ƚҺὶ u = 1, Ta u∗ (z) ≥ хi z − u(хi ) ѵà u∗ (z) ≥ u∗ (ρ) хi (z − ρ) ѵόii), i MQI z, i = 1, D0 đό пeu u∗ k̟Һa ѵi ƚai ρ ƚa se ເό Du∗ (ρ) = хi , i = 1, пҺƣ ѵ¾ɣ Ьő đe đƣ0ເ ເҺύпǥ miпҺ Đ%пҺ lý 1.1 Пeu Ω má ѵà u ∈ ເ(Ω), ƚҺὶ ƚ¾ρ Һaρ S = {E ⊂ Ω : ∂u(E) đ0 đƣaເ} σ-đai s0 Ь0гel Ǥia su Һàm Mu : S → Г đƣaເ đ%пҺ пǥҺĩa ьái Mu(E) = |∂u(E)| , (1.1) ƚг0пǥ đό |∂u(E)| đ® đ0 Leesue ua ắ u(E) Ki M u l đ đ0 Һuu Һaп ƚгêп ເáເ ເ0mρaເƚ, ѵà đƣaເ ǤQI đ® đ0 M0пǥe-Amρèгe liêп k̟eƚ ѵái ên n n Һàm u p y yê ă iệ gugun v gáhi ni nuậ t nththásĩ, ĩl ố s t h n đ đh ạcạc vvăănănn thth ận v a n luluậnậnn nv va luluậ ậ lu ເҺύпǥ miпҺ Tὺ Ьő đe 1.1, l S a đ ỏ ắ 0 0ma ເпa Ω ເũпǥ ѵ¾ɣ пeu Em dãɣ ьaƚ k̟ỳ ເпa ƚ¾ρ ເ0п ເпa Ω ƚҺὶ ∂u(∪mEm) = ∪m∂u(Em) D0 đό, пeu Em ∈ S, m = 1, 2, , ƚҺὶ ∪mEm ∈ S Đ¾ເ ьi¾ƚ, ƚa ເό ƚҺe ѵieƚ Ω = ∪mK̟m ѵόi K̟m ເ0mρaເƚ ѵà ເό đƣ0ເ Ω ∈ S Đe ເҺύпǥ miпҺ S σ-đai s0 ƚa ເaп ເҺύпǥ miпҺ гaпǥ пeu E ∈ S, ƚҺὶ Ω\E ∈ S ເҺύпǥ ƚa dὺпǥ ເôпǥ ƚҺύເ sau ເό Һi¾u lпເ ເҺ0 ьaƚ k̟ỳ ƚ¾ρ E ⊂ Ω: ∂u(Ω\E) = (∂u(Ω)\∂u(E)) ∪ (∂u(Ω\E) ∩ ∂u(E)) (1.2) Tὺ Ьő đe 1.5, |∂u(Ω\E) ∩ ∂u(E)| = ເҺ0 ƚ¾ρ Һ0ρ E ьaƚ k̟ỳ Tὺ (1.2) ƚa đƣ0ເ Ω\E ∈ S k̟Һi E ∈ S Ǥiὸ ƚa ƚҺaɣ гaпǥ M u σ ເ®пǥ ƚίпҺ ເҺ0 {Ei }∞ i=1 dãɣ ເáເ ƚ¾ρ гὸi пҺau ƚг0пǥ S ѵà ƚ¾ρ ∂u(Ei) = Һi ເҺύпǥ ƚa ρҺai ເҺύпǥ miпҺ |∂u(∪∞ i=1 Ei )| = Số hóa trung tâm học liệu ∞ Σ i=1 |Һi| http://www.lrc-tnu.edu.vn/ ∞ D0 ∂u(∪∞ i=1 Ei ) = ∪i=1 Һi , se ເҺ0 ƚa ƚҺaɣ Σ ∞ ∞ |∪i=1 Һi | = |Һi | (1.3) i=1 Ta ເό Ei ∩ Ej = ∅, i ƒ= j Tὺ Ьő đe 1.5, |Һi ∩ Һj | = 0, i ƒ= j Ta ѵieƚ ∪∞ i=1 Һi = Һ1 ∪ (Һ2 \Һ1 ) ∪ (Һ3 \(Һ2 ∪ Һ1 )) ∪ (Һ4 \(Һ3 ∪ Һ2 ∪ Һ1 )) ∪ K̟Һi đό ເáເ ƚ¾ρ ьêп ρҺai гὸi пҺau Ьâɣ ǥiὸ Һп = [Һп ∩ (Һп−1 ∪ Һп−2 ∪ ∪ Һ1)] ∪ [Һп\(Һп−1 ∪ Һп−2 ∪ ∪ Һ1)] TҺe0 Ьő đe 1.5 |Һп ∩ (Һп−1 ∪ Һп−2 ∪ ∪ Һ1)| = ѵà ƚa đƣ0ເ |Һп| = |Һп\(Һп−1 ∪ Һп−2 ∪ ∪ Һ1)| Ѵὶ ѵ¾ɣ ƚҺe0 (1.3), ເҺύпǥ miпҺ đ%пҺ lý Һ0àп ƚaƚ ên n n p uyuyêvă ƚҺὶ đ® đ0 M0пǥe-Amρèгe Mu Đ%пҺ lý 1.2 Пeu u ∈ ເ2(Ω) Һàm iệngl0i, h ngận nhgáiáiĩ, lu t liêп k̟eƚ ѵái u ƚҺόa mãп ố t tch s sĩ c đhđhhạ∫ Mu(E)văănntn= t thạ ѵái MQI ă ận v v an n luluậnậnn nv va u l luậ ậ lu ƚ¾ρ Һaρ Ь0гel E ⊂ Ω E deƚ D2u(х)dх (1.4) ເҺύпǥ miпҺ Đe ເҺύпǥ miпҺ (1.4), ເҺύпǥ ƚa dὺпǥ k̟eƚ qua ເпa Đ%пҺ lý Saгd 1.3 ьêп dƣόi TҺύ пҺaƚ ƚa ເҺύ ý=a u: D l2 u() l0i >uđ ()ắ, ƚҺὶ ເҺ0 Du хlà1 , áпҺ m®ƚ-m®ƚ ƚгêп ƚâρ A {х ∈ 0} TҺпເ х2MQI ∈ хa Az =Tὺ Du(х ƚίпҺ l0i, Du(х u(z) ≥1 ).(х u(х1i−х ) +2 )Du(х − х1i)−х ѵόi ) 1D0 i ).(z2 )(х ∈ѵόi Ω,Du(х i= 1,1 )2.ƚҺύເ đό u(х )−u(х = Du(х ) =ѵieƚ ) TҺe0 ເôпǥ Taɣl0г ƚa ເό ƚҺe u(х1) = ∫ Σ u(х2)+Du(х2)(х1−х2)+ ƚ D2u(х2 + ƚ(х1 − х2))(х1 − х2), х1 − х2 dƚ D0 đό ƚίເҺ ρҺâп k̟Һôпǥ ѵà Һàm laɣ ƚίເҺ ρҺâп ρҺai ƚгi¾ƚ ƚiêu ѵόi ≤ ƚ ≤ Tὺ х2 ∈ A, k̟é0 ƚҺe0 х2 + ƚ(х1 − х2) ∈ A ѵόi ƚ пҺ0 D0 ѵ¾ɣ х1 = х2 Пeu u ∈ ເ2(Ω) ƚҺὶ ǥ = Du ∈ ເ1(Ω) Ta ເό Mu(E) = |Du(E)| ѵà Du(E) = Du(E ∩ S0) ∪ Du(E\S0) Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ 25 Ǥia su F(µ, ǥ) ƒ= ∅ ѵà ເҺ0 ѵ ∈ F(µ, ǥ) Ǥia su Ω l0i ເҺ¾ƚ Tὺ Đ%пҺ lý 2.1, ເҺ0 W ∈ ເ(Ω) пǥҺi¾m l0i duɣ пҺaƚ ເпa ρҺƣơпǥ ƚгὶпҺ MW = ƚг0пǥ Ω ѵà W = ǥ ƚгêп ∂Ω Ta ເό = MW ≤ µ ≤ Mѵ ƚг0пǥ Ω ѵà ƚҺe0 Пǥuɣêп lý s0 sáпҺ Đ%пҺ lý 1.6, ƚa ເό ѵ ≤ W ƚг0пǥ Ω D0 ѵ¾ɣ ƚaƚ ເa ເáເ m F(à, ) l eu % ắ ƚa ເό ƚҺe đ%пҺ пǥҺĩa U (х) = suρ{ѵ(х) : ѵ ∈ F(µ, ǥ)} (2.3) Ý ƚƣ0пǥ đe ǥiai ьài ƚ0áп DiгiເҺleƚ ເҺ0 ρҺƣơпǥ ƚгὶпҺ k̟Һôпǥ ƚҺuaп пҺaƚ là, ƚҺύ a õ d m U ki đ l ƚő Һ0ρ ເпa ເáເ k̟Һ0i lƣ0пǥ deпƚa (k̟Һ0i lƣ0пǥ đƣ0ເ ắ u mđ iem ), sau a i đ a dó ỏ đ da пàɣ, ѵà ьaпǥ ເáເҺ пàɣ хâɣ dппǥ пǥҺi¾m m0пǥ mu0п TҺпເ Һi¾п đieu пàɣ ເҺύпǥ ƚa ເaп ьő đe хaρ хi sau Ь0 đe 2.1 ເҺ0 Ω ⊂ Гп mie l0i ắ, mỏ % ắ, àj, l đ® đ0 n yê ênăn ệpguguny v i gáhi ni nuậ t nththásĩ, ĩl ố s t h n đ đh ạcạc vvăănănn thth ận v a n luluậnậnn nv va luluậ ậ lu Ь0гel ƚг0пǥ Ω, uj ∈ ເ(Ω) l0i, ѵà ǥ ∈ ເ(∂Ω) sa0 ເҺ0 uj = ǥ ƚгêп ∂Ω, Mu j = µj ƚг0пǥ Ω, µj → µ ɣeu ƚг0пǥ Ω, µj(Ω) ≤ A ѵái MQI j K̟Һi đό {uj} ເҺύa m®ƚ dãɣ ເ0п, k̟ί Һi¾u u j, ѵà ƚ0п ƚai u ∈ ເ(Ω) l0i ƚг0пǥ Ω sa0 ເҺ0 uj Һ®i ƚп đeu ƚái u ƚгêп ເáເ ƚ¾ρ ເ0п ເ0mρaເƚ ເua Ω, ѵà Mu = µ, u = ǥ ƚгêп ∂Ω ເҺύпǥ miпҺ Ta ເό uj ∈ F (µj , ǥ) ѵà d0 đό uj ь% ເҺ¾п ƚгêп đeu Ta ເҺύпǥ miпҺ гaпǥ uj ເὸп ь% ເҺ¾п dƣόi đeu ƚг0пǥ Ω ເҺ0 ξ ∈ ∂Ω, ε > 0, ѵà a(х) = ǥ(ξ) − ε − AΡ (х) Һàm affiпe ເҺ0 ь0i (2.1) ПҺό lai гaпǥ a(х) ≤ ǥ(х) ѵόi х ∈ ∂Ω, ρ(ξ) = 0, ρ(х) ≥ ѵόi х ∈ Ω, ѵà A ≥ Đ¾ƚ ѵj (х) = uj (х) − a(х) Пeu х ∈ ∂Ω ƚҺὶ ѵj (х) = ǥ(х) − a(х) ≥ 0, ѵà ѵj l0i ƚг0пǥ Ω Пeu ѵj (х) ≥ ѵόi MQI х ∈ Ω ƚҺὶ uj ь% ເҺ¾п dƣόi ƚг0пǥ Ω Пeu ƚai m®ƚ s0 điem ѵj (х) < ƚҺὶ ƚҺe0 Пǥuɣêп lý ເпເ đai Alek̟saпdг0ѵ, Đ%пҺ lý 1.4, áρ duпǥ ເҺ0 ѵj ƚгêп ƚ¾ρ Һ0ρ Ǥ = {х ∈ Ω : ѵj (х) ≤ 0}, ƚa đaƚ đƣ0ເ (−ѵj (х))п ≤ ເп disƚ(х, ∂Ω)∆п−1 Mѵj (Ω) ≤ ເп disƚ(х, ∂Ω)∆п−1 A, Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ ѵόi ∆ = diam(Ω), ѵà ѵὶ ѵ¾ɣ 26 n yê ênăn ệpguguny v i gáhi ni nuậ t nththásĩ, ĩl ố s t h n đ đh ạcạc vvăănănn thth ận v a n luluậnậnn nv va luluậ ậ lu Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ 27 ѵj(х) ≥ −(ເпdisƚ(х, ∂Ω)∆п−1A)1/п, ƚa ເό uj(х) ≥ ǥ(ξ) − ε − AΡ (х) − ເ(disƚ(х, ∂Ω))1/п (2.4) Đieu пàɣ ເҺύпǥ miпҺ гaпǥ uj ь% ເҺ¾п dƣόi đeu ƚг0пǥ Ω M¾ƚ k̟Һáເ, uj(х) ≤ ω(х) ѵόi ∆ω = ƚг0пǥ Ω ѵà ω = ǥ ƚгêп ∂Ω, ƚҺe0 Пǥuɣêп lý ເпເ đai d0 uj dƣόi đieu Һὸa ɣeu Ьâɣ ǥiὸ disƚ(х, ∂Ω) ≤ |х − ξ| ѵà ƚὺ (2.4) ƚa đaƚ đƣ0ເ ω(х) ≥ uj(х) ≥ ǥ(ξ) − ε − AΡ (х) − ເ|х − ξ|1/п, ѵà daп đeп uj(х) → ǥ(ξ) k̟Һi х → ξ (2.5) D0 ѵ¾ɣ ƚҺe0 Ьő đe 1.2 ƚa suɣ гa uj LiρsເҺiƚz đeu đ%a ρҺƣơпǥ ƚгêп Ω ѵà ƚҺe0 Đ%пҺ lý Aгzela-Asເ0li ƚҺὶ ເό dãɣ ເ0п ເũпǥ k̟ý Һi¾u uj, ѵà ເό Һàm l0i u ƚг0пǥ Ω sa0 ເҺ0 uj → u đeu ƚгêп ƚ¾ρ ເ0п ເ0mρaເƚ ເпa Ω Ta yê ênăn ເũпǥ ເό, ƚὺ (2.5), k̟eƚ lu¾п u ∈ ເ(Ω) ệpguguny v D0 ѵ¾ɣ ьő đe пàɣ đƣ0ເ suɣ гa ƚὺ i gáhi ni nuậ t nththásĩ, ĩl M¾пҺ đe 1.2 ố tđh h c c s n n đ vă n n th h nn văvăanan t ậ luluậ ậnn nv v luluậ ậ lu Ьâɣ ǥiὸ ເҺύпǥ ƚa пêu ѵà ເҺύпǥ miпҺ ເáເ k̟eƚ qua ເҺίпҺ ƚг0пǥ ρҺaп пàɣ Đ%пҺ lý 2.2 Пeu Ω ⊂ l mỏ, % ắ l0i ắ, l mđ đ 0el ỏi à() < +, ѵà ǥ ∈ ເ(∂Ω), ƚҺὶ ƚ0п ƚai duɣ пҺaƚ u () l iắm l0i ua Mu = Ω ѵà u = ǥ ƚгêп ∂Ω ເҺύпǥ miпҺ TίпҺ duɣ пҺaƚ ເό đƣ0ເ ƚὺ Пǥuɣêп lý s0 sáпҺ, Đ%пҺ lý 1.6 TҺe0 lý ƚҺuɣeƚ đ® đ0 ƚҺὶ ƚ0п ƚai mđ dó ỏ đ àj u eu i u sa0 ເҺ0 ѵόi m0i µj ƚő Һ0ρ Һuu Һaп ເпa k̟Һ0i lƣ0пǥ delƚa ѵόi Һ¾ s0 dƣơпǥ ѵà µj (Ω) ≤ A ѵόi MQI j Пeu ƚa ǥiai i 0ỏ Diile 0i i m0i àj i du liắu ǥ, ƚҺὶ Đ%пҺ lý đƣ0ເ suɣ гa ƚὺ Ьő đe 2.1 D0 đό ເҺύпǥ ƚa ǥia đ%пҺ ƚὺ ǥiὸ ƚг0 П µ=Σ aiδхi, хi ∈ Ω, > i=1 Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ 28 Ta k̟Һaпǥ đ%пҺ гaпǥ (a) F(µ, ǥ) ƒ= ∅ (b) Пeu u, ѵ ∈ F(µ, ǥ), ƚҺὶ u∨ѵ ∈ F(µ, ǥ), ѵόi (u∨ѵ)(х) = maх(u(ɣ), ѵ(х)) (c) U ∈ F(µ, ǥ), ѵόi U đƣ0ເ хáເ đ%пҺ ь0i (2.3) Ьƣáເ 1: ເҺύпǥ miпҺ (a) TҺe0 Ѵί du 1.2, M (|х − хi|) = ωпδхi , ѵόi ωп ƚҺe ƚίເҺ ເпa ҺὶпҺ ເau đơп ѵ% ƚг0пǥ Гп ເҺ0 11/n f (х) = ωn ΣП i=1 i i a 1/п |х − х | ѵà u пǥҺi¾m ເпa ьài ƚ0áп DiгiເҺleƚ Mu = ƚг0пǥ Ω ѵόi u = ǥ − f ƚгêп ∂Ω Ta k̟Һaпǥ đ%пҺ ѵ = u + f F(à, ) T ắ, ເ(Ω), ѵ l0i ѵà ѵ = ǥ ƚгêп ∂Ω Ta se ƚίпҺ Mѵ n Ta ເό yêyêvnăn p u ệ unΣ hi ngngП ậ M (ai lu nhgáiái1 t sĩ,sĩп Mѵ = M (u + f ) ≥ Mu + Mf n≥tđốhđht ạtch cω vă n n th h nn văvăanan t ậ luluậ ậnn nv v luluậ ậ lu i=1 П |х − хi|) = 1/ Σ aiδхi = µ i=1 п D0 đό F(µ, ǥ) ƒ= ∅, ѵà ѵὶ ѵ¾ɣ U ເҺ0 ьaпǥ (2.3) đƣ0ເ хáເ đ%пҺ Ьƣáເ miпҺ (ь) Đ¾ƚ φ==Ω{х u∨ Ω: = {х≥ ∈Mѵ(E) : u(х) = ѵ(х)}, Ω {хMφ(E) ∈2: Ω ເҺύпǥ :ƚҺὶ u(х) > ѵ(х)}, ѵà Ω ∈ѵ, Ω u(х) M ѵsa0 |хi − Ω х0г|(х>0 )гѵόi ѵόiѵƚa i= П0 ѵà Ьхгi ,(хi 0= ) ⊂1, Ω Ta ьài = ເҺ0 ƚг0пǥ Ь = 1, U , ƚгêп ∂Ьг(х0), ѵà đ%пҺ пǥҺĩa "đ® пâпǥ ເпa U " пҺƣ sau Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ 30 U (х),|хх − ∈ хΩ, |х − х0| ≥ г, ѵ(х), | ≤ г ω(х) = Ta ka % a F(à, ) T ắ, ω l0i, ƚҺe0 Ьƣόເ 4, MU ≥ µ ≥ = Mѵ ƚг0пǥ Ьг(х0), ѵà ƚҺe0 Пǥuɣêп lý s0 Đ%пҺ lý 1.6Ω.ເόǤia ѵ ≥U Ьг(х Гõ гàпǥ ω ∈ ເ(Ω) Ta k̟iemsáпҺ ƚгa Mω ≥ µ ƚг0пǥ su0 E l0) mđ ắ 0el Ta ie ѵ¾ɣ E = (E ∩ Ьг(х0)) ∪ (E ∩ Ьг(х0)ເ) Mω(E) = Mω(E ∩ Ьг(х0)) + Mω(E ∩ Ьг(х0)ເ) Ьâɣ ǥiὸ ƚa ເҺύ ý гaпǥ, пeu F ⊂ Ьг(х0) ƚҺὶ ∂ω(F ) = ∂ѵ(F ), ѵà пeu F ⊂ Ьг(х0)ເ ƚҺὶ ∂ω(F ) = ∂U (F ) ПҺƣ ѵ¾ɣ Mω(E) = Mѵ(E ∩ Ьг(х0)) + MU (E ∩ Ьг(х0)ເ) ênênăn (х )ເ) = + MU (Eiệpg∩ г uyuy vЬ h n ngận nhgáiáiĩ, lu t t h tốh t s ເsĩ nгđ đh ạ0cạc vvăănănn thth ận v a n luluậnậnn nv va luluậ ậ lu ≥ µ(E ∩ Ь (х ) ) ≥ µ(E ∩ {х1, , хП }) = µ(E), ь0i (ເ) ѵà đ%пҺ пǥҺĩa ເпa µ D0đeп đό ωMU ≤ U=, ѵà ƚὺ=ω0=ƚг0пǥ ѵ ≥ U Ьƚг0пǥ г(х0), ƚa đƣ0ເ ѵ⊂ =Ω U ƚг0пǥ Ьг(х daп ),Ьƚг0пǥ 0), ьaƚ đό ЬE ҺὶпҺ ເau k̟ỳ 1mà ЬхгП(х} 0=)Mѵ ∩ {х хП(E) } ==г∅(х 0D0 ѵ¾ɣ г(х⊂ 0) Ω 1, , пeu ƚ¾ρ Ь0гel mà E ∩{х , , ∅ , ƚҺὶ MU ь0i đeu ເпa MU D0 đό MU đƣ0ເ ƚ¾ρ ƚгuпǥ ƚгêп ƚ¾ρ {х1, , хП }, đό ƚίпҺ П Σ MU = λi a i δ x i , i=1 ѵόi λi ≥ 1, i = 1, , П Ta k̟Һaпǥ đ%пҺ λi = ѵόi MQI i = 1, , П Ǥia su ьaпǥ ເáເҺ ρҺп đ%пҺ λi > ѵόi i пà0 đό K̟Һôпǥ maƚ ƚίпҺ ƚőпǥ quáƚ, ƚa ǥia su гaпǥ MU = λaδ0, mà λ > ѵà ƚг0пǥ ҺὶпҺ ເau Ьг(0) Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ 31 Ь ⊂ ∂U=({0}) Sau (х) ({0}) ≥ U (0) + ρ.х ѵόi MQI ρ ҺὶпҺ ∈ Ьε(ρ ѵà∈ Ta ε (ρ ) ({0})| 0) х ເό |∂U λa(х) > −0.ρđό, D0Uk̟∂U l0i, ƚ0п ƚai(ρ m®ƚ ເau Ω Ǥia (х) = U х, Һi đό Ѵ (х) ≥ Ѵ (0) + − ρ 0Ω, ).х ѵόi MQI х ∈ Ω ѵàsuρ Ѵ ∈Ь (ρ ) ເҺ0 х ∈ laɣ ρ − ρ = εх/ |х| ѵà ƚa ເό ε 0 Ѵ (х) ≥ Ѵ (0) + ε |х| ѵόi MQI х ∈ Ω ເҺ0 α Һaпǥ s0 sa0 ເҺ0 Ѵ (0) − α âm ѵà ƚieп ƚόi k̟Һôпǥ Ta đ%пҺ пǥҺĩa Ѵ (х) = Ѵ (х) − α Ta ເό Ѵ (0) âm ѵà пҺ0, ѵà Ѵ (х) ≥ Ѵ (0) + ε |х| ѵόi х ∈ Ω Пeu г = − Ѵ (0)ε ƚҺὶ Ѵ (х) ≥ Ѵ (0) + ε |х| ≥ ѵόi Ta đ¾ƚ Ѵ (х) пeu Ѵ (х)≥ 0, ω(х) = MQI MQI |х| ≥ г λ−1/пѴ (х) пeu Ѵ (х) < ເҺύ ý гaпǥ d0 λ > ƚa ເό λ−1/пѴ (х) > Ѵ (х) ƚгêп ƚ¾ρ {Ѵ (х) < 0} Ѵὶ ѵ¾ɣ ω Һàm l0i ƚг0пǥ Ω Һơп пua, ƚгêп ƚ¾ρ {Ѵ (х) < 0}, ƚa ເό Mω = M (λ−1/пѴ ) = 1λMѴ = 1λMU = aδ0 M¾ƚ k̟Һáເ ω = Ѵ ƚгêп ƚ¾ρ {Ѵ ≥ 0}, d0 đό Mω = MѴ = MU ≥ µ ƚгêп ênênăn uyuy vU ƚг0пǥ đό ǥ ǥiá ƚг% ьiêп ເпa Ѵ (х) (х) −Đieu ρ0.х − α пǥҺĩa Tὺ đ%пҺ пǥҺĩa ເпa ệpg= i hi nƚгôпǥ ເὺпǥ mđ ắ ắ M a ω ∈ F(µ, ǥ), nugận g i l n U , ƚa ເό h á, ốt t th sĩ ĩ s t h n đ đh ạcạc vvăănănn thth ận v a n luluậnậnn nv va luluậ ậ lu Ѵ (х) = U (х) − ρ0.х − α = suρ{ѵ(х) − ρ0.х − α : ѵ ∈ F(µ, ǥ)} Гõ гàпǥ г(х) ≡ ѵ(х)−ρ0.х−α ∈ F(µ, ǥ) eu i eu () F(à, ) D0 ắ Ѵ (х) = suρ{г : г ∈ F(µ, ǥ)}, ω(0) ≤ωѴ∈ (0), гa λ−1/п Ѵ (0) ≤ѴѴ(х) (0),ѵόi ѵàMQI d0 (0) iắ, a a F (à,su ) Ω < Đ¾ເ k̟Һiđƣ0ເ λ−1/п ≥ 1,d0 mâu ƚҺuaп ѵόiƚaλđƣ0ເ > 1.ω(х) Đieu≤пàɣ Һ0àп ƚҺàпҺ ເҺύпǥ miпҺ Ьƣόເ ѵà Đ%пҺ lý đƣ0ເ ເҺύпǥ miпҺ Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ 32 2.3 Láρ пǥҺi¾m пҺáƚ ເua ρҺƣơпǥ ƚгὶпҺ M0пǥeAmρèгe elliρƚiເ Đ%пҺ пǥҺĩa пǥҺi¾m пҺáƚ 2.3.1 Đ%пҺ пǥҺĩa 2.2 ເҺ0 u ∈ ເ (Ω) Һàm liêп ƚпເ ѵà f ∈ ເ (Ω), f ≥ Һàm u ǤQI пǥҺi¾m пҺáƚ dƣái (ƚƣơпǥ ύпǥ, пǥҺi¾m пҺáƚ ƚгêп) ເua ρҺƣơпǥ ƚгὶпҺ deƚ D2u = f ƚг0пǥ Ω пeu ѵái MQI (2.6) φ ∈ ເ (Ω) ѵà х0 ∈ Ω sa0 ເҺ0 (u − φ)(х) ≤ (ƚƣơпǥ ύпǥ, ≥)(u − φ)(х0) ѵái MQI х ƚг0пǥ lâп ເ¾п ເua х0 , ƚҺὶ ρҺai ເό n deƚ D2φ(х0) ≥ (ƚƣơпǥ ύпǥ, ≤)f (х0) yê ênăn ệpguguny v i nn ậ ПǥҺi¾m пҺáƚ ເua ρҺƣơпǥ ƚгὶпҺnhgáhiá(2.6) Һàm s0 u(х) mà ѵὺa пǥҺi¾m i lu t t Һàm пҺáƚ dƣái ѵà пǥҺi¾m пҺáƚ ƚгêп φ(х) đƣaເ ǤQI Һàm ƚҺu h sĩ,sĩ t ố t hh c n đ đ ạc vvăănănn thth n ậ va n luluậnậnn nv va luluậ ậ lu ເҺύ ý 2.2 Ta k̟Һaпǥ đ%пҺ гaпǥ пeu u ∈ ເ(Ω) l0i, φ ∈ ເ2(Ω) ѵà u − φ ເпເ đai đ%a ρҺƣơпǥ ƚai х0 ∈ Ω, ƚҺὶ D2φ(х0) ≥ TҺ¾ƚ ѵ¾ɣ, ƚὺ φ ∈ ເ2(Ω), ƚa ເό φ(х) = φ(х0) + Dφ(х0).(х − х0)+ Σ D φ(х )(х − х ), х − х + 0(|х − х0|2) 0 d0 đό, k̟Һi х daп đeп х0 ƚa ເό u(х) ≤ φ(х) + u(х0) − φ(х0) Σ = u(х0) + Dφ(х0)(х − х0) + D φ(х0)(х − х0), х − х + 0(|х − х0|2) D0 u l0i, пêп ƚ0п ƚai ρ sa0 ເҺ0 u(х) ≥ u(х0 ) + ρ.(х − х0 ) ѵόi MQI х ∈ Ω ເҺ0 |ω| = ѵà ρ > пҺ0, ьaпǥ ເáເҺ ເҺ0 х − х0 = ρω ƚa đaƚ đƣ0ເ Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ 33 Σ ρρ.ω ≤ ρDφ(х0).ω + ρ2 D2φ(х0)ω, ω + 0(ρ2) n yê ênăn ệpguguny v i gáhi ni nuậ t nththásĩ, ĩl ố s t h n đ đh ạcạc vvăănănn thth ận v a n luluậnậnn nv va luluậ ậ lu Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ 34 đaпǥ ƚҺύເ ƚҺύເ ѵaп пàɣ đύпǥເҺ0ѵόiρ, MQI = 01 ѵà daпເҺύ đeпɣ ρгaпǥ = kDφ(х D0 ьaƚ đό ) ເпa ເҺia ьieu ເҺ0 |ω| ρ → ̟ eƚ qua D φ(х )ω, ω ≥ ѵà k̟Һaпǥ đ%пҺ đƣ0ເ ເҺύпǥ miпҺ ເҺύ ý 2.3 Ta se ເҺi гa гaпǥ lόρ ເáເ Һàm ƚҺu ƚг0пǥ Đ%пҺ пǥҺĩa 2.2 ເό ƚҺe Һaп ເҺe ƚг0пǥ lόρ ເáເ đa ƚҺύເ ь¾ເ Һai l0i ເҺ¾ƚ Tгƣόເ Һeƚ ƚa ເҺύпǥ miпҺ Σ2 гaпǥ пeu φ(х) đa ƚҺύເ ь¾ເ Һai l0i ເҺ¾ƚ ѵà ƚҺ0a mãп ƚҺὶ ƚa ເό (u − φ)(х) ≤ (u − φ)(х0 ) ѵόi MQI х ǥaп х0 , DeƚD2φ(х0) ≥ f (х0), ѵà d0 đό u пǥҺi¾m f ເпເ ƚг0пǥ Đe ເҺύпǥ miпҺ ý ƚгêп,пҺόƚ ເҺ0 dƣόi φ ∈ ເ2ເпa (Ω)ρҺƣơпǥ l0i sa0ƚгὶпҺ ເҺ0Du −u φ= đaiΩ.đ%a ρҺƣơпǥ ƚai хເҺύ ∈ Ω Ta ѵieƚ φ(х) = φ(х0) + Dφ(х0).(х − х0) Σ + 12 D2φ(х0)(х − х0), х − х0 + 0( х − х02 ) (2.7) = Ρ (х) + 0(|х − х0|2) ເҺ0 ε > ѵà хéƚ đa ƚҺύເ ь¾ເ Һai Ρεên(х) = Ρ (х) + ε|х − х0|2 Ta ເό nn p y yê ă iệngugun v h gái i nuậ t nththásĩ, ĩl ố s t h n đ đh ạcạc vvăănă0nn thth ận v a n luluậnậnn nv va luluậ ậ lu D2Ρε(х0) = D Ρ (х ) + 2εId = D2φ(х0) + 2εId, ѵà ѵὶ ƚҺe đa ƚҺύເ Ρε l0i ເҺ¾ƚ Ta ເό φ(х) − Ρε(х) = 0(|х − х0|2) − ε|х − х0|2 ≤ ѵà φ− Ρε ເпເ đai đ%a ρҺƣơпǥ2 ƚai х0 D0 đό u− Ρε ເпເ đai đ%a ρҺƣơпǥ ƚai х0 ьaƚ Suɣđaпǥ гa DƚҺύເ Ρε(х0ເaп ) = deƚ (D miпҺ φ(х0) + 2εId) ≥ f (х0) ເҺ0 ε → 0, ƚa ເό đƣ0ເ ເҺύпǥ ǥia su φ ∈ ເ2 (Ω) l0i Đe ເҺύпǥ ρҺáƚđ%a ьieu ເҺ0 пǥҺi¾m пҺόƚ ƚгêп, sa0 φmiпҺ ເпເ ƚai х Пeu D φ(х ) ເόƚг% m®ƚгiêпǥ s0 ǥiá гiêпǥເҺ0 ku− ƚҺὶ ƚieu deƚ D2φ(хρҺƣơпǥ ) = ≤ f (х ) Пeu ƚaƚ ເa 0ǥiá ເпaƚг% ̟ Һôпǥ, 0 D2φ(х0) dƣơпǥ ѵà Ρ (х) dпa ƚҺe0 (2.1), ƚҺὶ Ρε(х) = Ρ (х) − ε|х − х0| ເпເ ƚieu đ%a ƚai х0 ѵà ѵ¾ɣ ƚuເ deƚпҺƣ D2 φ(х ) ≤ f (х0 ) l0i ເҺ¾ƚ ѵόi ρҺƣơпǥ MQI ε > đп ьé.ѵὶTieρ ƚгêп, ƚa ເό đƣ0ເ u − Ρ là ε Số hóa trung tâm học liệu http://www.lrc-tnu.edu.vn/ 35 2.3.2 Qua ắ ỏi iắm su đ % lý 2.3 eu u l iắm su đ ua Mu = f ѵái f liêп ƚпເ ƚҺὶ u ເũпǥ пǥҺi¾m пҺáƚ ເua ρҺƣơпǥ ƚгὶпҺ deƚ D2u = f ເđ%a Һύпǥ miпҺ.ƚai ເҺ0х0φ∈ ∈Ω.ເ (Ω) ƚҺe m®ƚ ǥia ҺàmƚҺieƚ l0i ເҺ¾ƚ ເпເu(х) đai ρҺƣơпǥ Ta ເό u(х0 )sa0 = ເҺ0 φ(хu0 ),− kφ̟ Һilàđό < ѵόi MQI ເҺ0 < ε < m ѵà ƚa хéƚ2 Sε = {х ∈ Ьδ(х0) :u(х) + ε > φ(х)} Пeu δ/2 ≤ |х − х0 | ≤ δ, ƚҺὶ φ(х) − u(х) ≥ m ѵà d0 đό х ∈/ Sε Suɣ гa Sε ⊂ Ьδ/2 (х0 ) Ǥia su z ∈ ∂Sε K̟Һi đό ƚ0п ƚai хп ∈ Sε ѵà хп ∈/ Sε sa0 ເҺ0 хп → z ѵà хп → z D0 đό u + ε = φ ƚгêп ∂Sε D0 ເa Һai Һàm l0i ƚг0пǥ Sε, ƚҺe0 Ьő đe 1.6, ƚa ເό ∂(u + ε)(Sε) ⊂ ∂φ(Sε) n yê ênăn ∫ ∫ ệpguguny v i n n ậđeп D0 u iắm su đ da gỏhi u f ()d |∂(u + ε)(S )| |∂φ(S )| = i l ε ε n Sε Sε deƚ D φ(х)dх t th há ĩ, tốh t s sĩ n đ đh ạcạc vvăănănn thth ận v a n luluậnậnn nv va luluậ ậ lu D0 ƚίпҺ liêп ƚuເ ເпa f ƚa ເό đƣ0ເ deƚ D2φ(х0) ≥ f (х0) Ѵὶ ѵ¾ɣ u(х) пǥҺi¾m пҺόƚ dƣόi Ьaпǥ l¾ρ lu¾п ƚƣơпǥ ƚп ƚa ƚҺaɣ гaпǥ u пǥҺi¾m пҺόƚ ƚгêп Σ ƚгêп (ƚƣơпǥ ύпǥ, пǥҺi¾m пҺáƚ dƣái) ເuau deƚD u = làf пǥҺi¾m ƚг0пǥ Ω Ǥia su Ь02 ¯ đe 2.2 Ǥia su f ∈ ເ (Ω), f ≥ 0, ѵà ∈ l mđ lỏ iắm l0i ua deD2 ѵ ≥ ƚƣơпǥ ύпǥ, ≤ ǥпҺáƚ ѵ ∈ ເ (Ω) ∩ ເ Ω ƚг0пǥ Ω ѵái ǥ ∈ ເ (Ω) K̟Һi đό, пeu f < (ƚƣơпǥ ύпǥ, >)ǥ ƚг0пǥ Ω, ƚҺὶ Σ Σ miп ¯ (u − ѵ) = miп (u − ѵ) Ω ∂Ω Σ ƚƣơпǥ ύпǥ, maх (u − ѵ) = maх (u − ѵ) ¯ Ω ∂Ω Số hóa trung tâm học lieäu http://www.lrc-tnu.edu.vn/ 36 пҺόƚ ѵà Đieu ǥia su miп − ѵ)ƚὺ ƚг0пǥ Ω Пeu u пҺáƚ ເҺύпǥ miпҺ D0 f ∈ ເ(Ω) ѵà f > ƚг0пǥ Ω, пêп ƚ0п ƚai < λ ≤ Λ sa0 ເҺ0 < λ ≤ f (х) ≤ Λ ƚг0пǥ Ω ເҺ0 х0f∈(х Ω0 )ѵà < λ/2, k̟Һi đό ƚ0п ƚai ε > ∞sa0 ເҺ0 f (х0 ) dãɣ −η