T¹p chÝ Khoa häc & C«ng nghÖ - Sè 1(45) Tập 2/N¨m 2008<br />
<br />
KÕt qu¶ c¶i tiÕn s¬ ®å chia miÒn ®èi víi bµi to¸n song ®iÒu hßa<br />
Vò Vinh Quang – Tr−¬ng Hµ H¶i (Khoa C«ng nghÖ Th«ng tin - §H Th¸i Nguyªn)<br />
<br />
Më ®Çu<br />
Ph−¬ng ph¸p chia miÒn gi¶i bµi to¸n song ®iÒu hoµ ® ®−îc mét sè t¸c gi¶ trªn thÕ giíi<br />
vµ trong n−íc quan t©m. Trªn c¬ së c¸c kÕt qu¶ ®¹t ®−îc khi nghiªn cøu ph−¬ng ph¸p chia miÒn<br />
®èi víi c¸c bµi to¸n biªn elliptic cÊp hai, trong [1, 2] ® ®Ò xuÊt s¬ ®å chia miÒn gi¶i bµi to¸n<br />
song ®iÒu hoµ, c¸c kÕt qu¶ nµy ® ®−îc chøng minh chÆt chÏ b»ng lý thuyÕt vµ kiÓm tra b»ng<br />
thùc nghiÖm tÝnh to¸n. Trong bµi b¸o nµy, chóng t«i sÏ tr×nh bµy kÕt qu¶ khi c¶i tiÕn s¬ ®å chia<br />
miÒn ®èi víi bµi to¸n song ®iÒu hoµ víi môc ®Ých t¨ng tèc ®é héi tô cña ph−¬ng ph¸p.<br />
1. Ph−¬ng ph¸p chia miÒn gi¶i bµi to¸n song ®iÒu hoµ<br />
<br />
∆2u −c∆u + du<br />
<br />
XÐt bµi to¸n <br />
u<br />
<br />
<br />
<br />
∆u<br />
<br />
n<br />
trong ®ã Ω ∈ R , ∂Ω lµ biªn Lipschitz,<br />
<br />
=<br />
<br />
f , c ≥ 0, x ∈ Ω,<br />
<br />
= g 0,<br />
<br />
x ∈ ∂Ω,<br />
<br />
= g1,<br />
<br />
x ∈ ∂Ω<br />
<br />
(1)<br />
<br />
f ⊂ L2 (Ω) , g 0 , g1 lµ c¸c hµm sè cho tr−íc. Bµi to¸n<br />
(1) ®−îc gäi lµ bµi to¸n song ®iÒu hoµ tæng qu¸t. Tuú thuéc vµo c¸c hÖ sè c, d chóng ta xÐt hai<br />
<br />
d¹ng bµi to¸n c¬ b¶n:<br />
<br />
Bµi to¸n biªn thø nhÊt:<br />
<br />
∆2u −c∆u = f , c ≥ 0, x ∈Ω,<br />
<br />
<br />
= g0,<br />
u<br />
x ∈∂Ω,<br />
<br />
<br />
∆u<br />
x ∈∂Ω.<br />
= g1,<br />
<br />
<br />
(2)<br />
<br />
∆2u −c∆u +du = f , c ≥ 0, d ≠ 0,x ∈Ω,<br />
<br />
<br />
u<br />
= g0,<br />
x ∈∂Ω,<br />
<br />
<br />
<br />
∆u<br />
= g1,<br />
x ∈∂Ω.<br />
<br />
<br />
Bµi to¸n biªn thø hai:<br />
(3)<br />
Trªn c¬ së cña ph−¬ng ph¸p chia miÒn gi¶i ph−¬ng tr×nh elliptic cÊp hai víi t− t−ëng x¸c<br />
®Þnh gi¸ trÞ ®¹o hµm trªn biªn ph©n chia kÕt hîp víi ph−¬ng ph¸p ph©n r bµi to¸n song ®iÒu hoµ<br />
vÒ hai bµi to¸n biªn elliptic cÊp hai, trong [1, 2] ® ®−a ra ph−¬ng ph¸p chia miÒn gi¶i bµi to¸n<br />
song ®iÒu hoµ nh− sau: XÐt bµi to¸n (1), chia miÒn Ω = Ω1 ∪ Ω 2 , Ω1 ∩ Ω 2 = ∅ , kÝ hiÖu<br />
Γ = ∂Ω1 ∩ ∂Ω 2 , Γ1 = ∂Ω1 \ Γ, Γ 2 = ∂Ω 2 \ Γ , ui lµ nghiÖm trong miÒn Ωi , ϕi = − dui ,<br />
<br />
vi = ∆ui (i = 1, 2) , ξ =<br />
<br />
∂v1<br />
∂u1<br />
Γ, η =<br />
∂ν1<br />
∂ν1<br />
<br />
Γ<br />
<br />
trong ®ã ν i lµ vect¬ ph¸p tuyÕn ngoµi cña miÒn Ωi,<br />
<br />
(H×nh 1)<br />
Ω1<br />
38<br />
<br />
Γ<br />
<br />
Ω2<br />
<br />
Ω1<br />
<br />
Γ<br />
<br />
Ω2<br />
<br />
T¹p chÝ Khoa häc & C«ng nghÖ - Sè 1(45) Tập 2/N¨m 2008<br />
<br />
NghiÖm<br />
<br />
ui cña hai bµi to¸n cÇn ph¶i tho¶ mn c¸c ®iÒu kiÖn chuyÓn dÞch qua biªn Γ nh− sau:<br />
u1<br />
<br />
∂u1<br />
∂ν<br />
1<br />
<br />
∆u1<br />
<br />
∂∆<br />
u1<br />
∂ν1<br />
<br />
=<br />
=<br />
=<br />
= −<br />
<br />
u2, x ∈ Γ,<br />
∂u2<br />
, x ∈ Γ,<br />
∂ν 2<br />
∆u2, x ∈ Γ,<br />
<br />
−<br />
<br />
∂∆u2<br />
, x ∈ Γ.<br />
∂∆ν2<br />
<br />
(4)<br />
<br />
NÕu x¸c ®Þnh ®−îc c¸c gi¸ trÞ ξ , η trªn ®−êng biªn ph©n chia th× hiÓn nhiªn viÖc gi¶i bµi<br />
<br />
to¸n trong miÒn Ω ®−îc ®−a vÒ viÖc gi¶i hai bµi to¸n trong hai miÒn Ωi (i = 1, 2) . XuÊt<br />
<br />
ph¸t tõ môc ®Ých x¸c ®Þnh c¸c gi¸ trÞ ξ , η , viÖc t×m nghiÖm bµi to¸n biªn thø nhÊt vµ thø hai<br />
®−îc thùc hiÖn b»ng c¸c thuËt to¸n chia miÒn nh− sau:<br />
1.1 Bµi to¸n biªn thø nhÊt<br />
(0)<br />
B−íc 1: XuÊt ph¸t tõ ξ = 0, ∀k = 0,1, 2,... thùc hiÖn gi¶i c¸c bµi to¸n<br />
<br />
(k )<br />
1.1 Gi¶i bµi to¸n víi v1<br />
<br />
<br />
∆v (k ) −cv (k ) =<br />
f , x ∈ Ω1,<br />
1<br />
1<br />
<br />
v1(k ) = g1, x ∈ Γ1,<br />
<br />
<br />
<br />
∂v1(k )<br />
= ξ (k ), x ∈ Γ.<br />
<br />
∂ν1<br />
<br />
<br />
(5)<br />
<br />
(k )<br />
1.2 Gi¶i bµi to¸n víi v2<br />
<br />
∆v2(k ) −cv2(k ) =<br />
f , x ∈ Ω2,<br />
<br />
<br />
v2(k ) = g1, x ∈ Γ2,<br />
<br />
<br />
<br />
v2(k ) = v1(k ), x ∈ Γ.<br />
<br />
<br />
(6)<br />
<br />
1.3 HiÖu chØnh<br />
<br />
ξ (k +1) = θ1ξ (k ) − (1 − θ1)<br />
KÝ hiÖu nghiÖm thu ®−îc sau b−íc lÆp 1 lµ<br />
B−íc 2: XuÊt ph¸t tõ η<br />
<br />
(0)<br />
<br />
∂v2(k )<br />
, x ∈ Γ.<br />
∂ν2<br />
<br />
v1, v2<br />
<br />
(7)<br />
<br />
.<br />
<br />
= 0, ∀l = 0,1, 2,... thùc hiÖn gi¶i c¸c bµi to¸n<br />
39<br />
<br />
T¹p chÝ Khoa häc & C«ng nghÖ - Sè 1(45) Tập 2/N¨m 2008<br />
(ℓ)<br />
2.1 Gi¶i bµi to¸n víi u1<br />
<br />
<br />
∆u (ℓ) = v , x ∈ Ω ,<br />
1<br />
1<br />
1<br />
(ℓ)<br />
= g 0, x ∈ Γ1,<br />
u1<br />
<br />
∂u (ℓ)<br />
= η (ℓ), x ∈ Γ.<br />
1<br />
∂ν1<br />
<br />
(8)<br />
<br />
(ℓ)<br />
<br />
2.2 Gi¶i bµi to¸n víi u2<br />
∆u2(ℓ) = v2, x ∈ Ω2,<br />
<br />
(ℓ)<br />
= g 0, x ∈ Γ2,<br />
u2<br />
<br />
u (ℓ) = u (ℓ), x ∈ Γ.<br />
1<br />
2<br />
<br />
(9)<br />
<br />
2.3 HiÖu chØnh<br />
<br />
η(ℓ+1) = θ2η(ℓ) −(1 − θ2)<br />
<br />
∂u2(ℓ)<br />
, x ∈ Γ.<br />
∂ν2<br />
<br />
(10)<br />
XÐt s¬ ®å chia miÒn (5)-(10) chóng ta dÔ thÊy r»ng ®iÒu kiÖn liªn tôc cña hµm trong (4)<br />
lu«n lu«n tho¶ mn cßn ®iÒu kiÖn liªn tôc cña ®¹o hµm trong (4) sÏ tho¶ mn nÕu c¸c s¬ då lÆp<br />
(7) vµ (10) héi tô. Sö dông c¸c kÕt qu¶ khi nghiªn cøu ph−¬ng ph¸p chia miÒn ®èi víi bµi to¸n<br />
elliptic cÊp hai, trong [1,2] ® chøng minh c¸c s¬ ®å lÆp (7) vµ (10) héi tô.<br />
1.2. Bµi to¸n biªn thø hai<br />
(0)<br />
(0)<br />
B−íc 1: XuÊt ph¸t tõ ϕ1 = ϕ2 = 0, ∀k = 0,1, 2,... thùc hiÖn gi¶i c¸c bµi to¸n<br />
(0)<br />
B−íc 1.1: XuÊt ph¸t tõ ξ = 0, ∀l = 0,1, 2,...<br />
<br />
(ℓ)<br />
1.1.1 Gi¶i bµi to¸n víi v1<br />
<br />
<br />
∆ v ℓ − cv (ℓ )<br />
1<br />
1<br />
<br />
v 1( ℓ )<br />
<br />
<br />
∂ v ( ℓ)<br />
1<br />
<br />
∂<br />
ν<br />
<br />
1<br />
<br />
=<br />
<br />
f + ϕ1(k ),<br />
<br />
x ∈ Ω 1,<br />
<br />
=<br />
<br />
g 1,<br />
<br />
x ∈ Γ 1,<br />
<br />
=<br />
<br />
ξ (ℓ ),<br />
<br />
x ∈ Γ.<br />
<br />
(11)<br />
<br />
(ℓ)<br />
1.1.2 Gi¶i bµi to¸n víi v2<br />
<br />
∆ v 2(ℓ) − cv 2(ℓ)<br />
<br />
<br />
v 2(ℓ)<br />
<br />
<br />
<br />
v 2(ℓ)<br />
<br />
40<br />
<br />
=<br />
<br />
f + ϕ 2(k ), x ∈ Ω 2,<br />
<br />
=<br />
<br />
g 1,<br />
<br />
x ∈ Γ 2,<br />
<br />
=<br />
<br />
v 1(ℓ),<br />
<br />
x ∈ Γ.<br />
<br />
(12)<br />
<br />
T¹p chÝ Khoa häc & C«ng nghÖ - Sè 1(45) Tập 2/N¨m 2008<br />
<br />
1.1.3 HiÖu chØnh<br />
<br />
ξ (ℓ+1) = θ1ξ (ℓ) −(1 − θ1)<br />
(ℓ)<br />
<br />
∂v2(ℓ)<br />
, x ∈Γ<br />
∂ν2<br />
.<br />
<br />
(13)<br />
<br />
(ℓ)<br />
<br />
KÝ hiÖu v1 , v2 lµ nghiÖm sau b−íc lÆp 1.1<br />
B−íc 1.2: §Æt η<br />
<br />
(0)<br />
<br />
= 0, ∀m = 0,1, 2,...<br />
(m )<br />
<br />
1.2.1 Gi¶i bµi to¸n víi u1<br />
<br />
<br />
∆ u (m )<br />
1<br />
(m )<br />
u1<br />
<br />
∂ u (m )<br />
1<br />
∂ ν 1<br />
<br />
=<br />
<br />
v 1(k ),<br />
<br />
x ∈ Ω 1,<br />
<br />
=<br />
<br />
g 0,<br />
<br />
x ∈ Γ 1,<br />
<br />
=<br />
<br />
η (m ),<br />
<br />
x ∈ Γ.<br />
<br />
=<br />
<br />
v 2(k ),<br />
<br />
x ∈ Ω 2,<br />
<br />
=<br />
<br />
g 0,<br />
<br />
x ∈ Γ 2,<br />
<br />
=<br />
<br />
u 1(m ),<br />
<br />
x ∈ Γ.<br />
<br />
(14)<br />
<br />
(m )<br />
1.2.2 Gi¶i bµi to¸n víi u2<br />
<br />
∆ u 2(m )<br />
<br />
(m )<br />
u2<br />
<br />
u (m )<br />
2<br />
1.2.3 HiÖu chØnh<br />
<br />
η(m +1) = θ2η(m) −(1 − θ2)<br />
<br />
(15)<br />
<br />
(m )<br />
2<br />
<br />
∂u<br />
, x ∈ Γ.<br />
∂ν2<br />
<br />
(16)<br />
<br />
(k )<br />
(k )<br />
KÝ hiÖu u1 , u2 lµ nghiÖm sau b−íc lÆp 1.2<br />
B−íc 2: HiÖu chØnh<br />
<br />
ϕ1(k +1) = ϕ1(k ) − τ1(ϕ1(k ) + du1(k )), x ∈ Ω1,<br />
ϕ2(k +1) = ϕ2(k ) − τ2(ϕ2(k ) + du2(k )), x ∈ Ω2.<br />
<br />
(17)<br />
XÐt s¬ ®å lÆp (11)-(13) vµ (14)-(16), ®©y chÝnh lµ c¸c s¬ ®å lÆp ®éc lËp gi¶i c¸c bµi to¸n<br />
biªn elliptic cÊp hai víi ®iÒu kiÖn biªn Dirichlet b»ng ph−¬ng ph¸p chia miÒn, sù héi tô vµ tham<br />
sè lÆp tèi −u ® ®−îc kh¼ng ®Þnh trong [1,2]. c¸c s¬ ®å lÆp (17) ®−îc viÕt l¹i d−íi d¹ng<br />
<br />
ϕi(k +1) − ϕi(k )<br />
+ (ϕi(k ) + dui(k)) = 0, x ∈ Ωi, (i = 1,2)<br />
τi<br />
.<br />
<br />
(18)<br />
<br />
Trong [3] ® chøng minh c¸c s¬ ®å lÆp héi tô.<br />
NhËn xÐt: Khi nghiªn cøu c¸c s¬ ®å lÆp (5)-(10) gi¶i bµi to¸n biªn thø nhÊt vµ s¬ ®å (11)-(17)<br />
gi¶i bµi to¸n biªn thø hai, chóng ta nhËn thÊy viÖc thiÕt kÕ c¸c s¬ ®å lÆp trong thuËt to¸n chia<br />
41<br />
<br />
T¹p chÝ Khoa häc & C«ng nghÖ - Sè 1(45) Tập 2/N¨m 2008<br />
<br />
miÒn gi¶i bµi to¸n song ®iÒu hoµ thùc chÊt lµ viÖc thùc hiÖn thuËt to¸n chia miÒn gi¶i lÇn l−ît c¸c<br />
bµi to¸n biªn elliptic cÊp hai trong c¸c miÒn. §iÒu nµy sÏ tËn dông ®−îc c¸c kÕt qu¶ lý thuyÕt<br />
cña thuËt to¸n chia miÒn ®èi víi bµi to¸n elliptic cÊp hai ®Ó chøng minh sù héi tô cho thuËt to¸n<br />
chia miÒn ®Ò xuÊt ®èi víi bµi to¸n song ®iÒu hoµ. Tuy nhiªn khi thùc hiÖn gi¶i tuÇn tù c¸c bµi<br />
to¸n cÊp hai th× khèi l−îng tÝnh to¸n cã thÓ sÏ t¨ng lªn. V× vËy, chóng t«i sÏ ®Ò xuÊt viÖc c¶i tiÕn<br />
hai s¬ ®å lÆp trªn víi môc ®Ých t¨ng tèc ®é héi tô cña hai s¬ ®å chia miÒn ® tr×nh bµy.<br />
2. §Ò xuÊt viÖc c¶i tiÕn s¬ ®å chia miÒn<br />
2.1 Bµi to¸n biªn thø nhÊt<br />
<br />
Φ=<br />
§Æt<br />
<br />
Φ<br />
XuÊt ph¸t tõ<br />
<br />
(0)<br />
<br />
∂ ∆u η <br />
= <br />
∂ν 1 u Γ ξ <br />
.<br />
<br />
(19)<br />
<br />
η (0) 0 <br />
= (0) = , ∀k = 0,1, 2,...<br />
ξ 0 <br />
tiÕn hµnh gi¶i c¸c bµi to¸n<br />
<br />
B−íc 1: Gi¶i c¸c bµi to¸n trong miÒn Ω1<br />
<br />
<br />
∆v (k ) −cv (k ) =<br />
f , x ∈ Ω1,<br />
1<br />
1<br />
<br />
v1(k ) = g1, x ∈ Γ1,<br />
<br />
<br />
<br />
∂v1(k )<br />
= η(k ), x ∈ Γ.<br />
<br />
∂ν1<br />
<br />
<br />
(20)<br />
<br />
<br />
∆u (k ) = v (k )<br />
, x ∈ Ω1,<br />
1<br />
1<br />
<br />
u1(k ) = g 0, x ∈ Γ1,<br />
<br />
<br />
∂u (k )<br />
1<br />
= ξ (k ), x ∈ Γ.<br />
<br />
∂ν1<br />
<br />
(21)<br />
<br />
B−íc 2: Gi¶i c¸c bµi to¸n trong miÒn Ω 2<br />
<br />
42<br />
<br />
∆v2(k ) −cv2(k ) =<br />
f , x ∈ Ω2,<br />
<br />
<br />
v2(k ) = g1, x ∈ Γ2,<br />
<br />
<br />
<br />
v2(k ) = v1(k ), x ∈ Γ.<br />
<br />
<br />
(22)<br />
<br />
∆u2(k ) = v2(k )<br />
, x ∈ Ω2,<br />
<br />
<br />
u2(k ) = g 0, x ∈ Γ2,<br />
<br />
<br />
<br />
u2(k ) = u1(k ), x ∈ Γ.<br />
<br />
<br />
(23)<br />
<br />