skyrius 6 Kintamųjų atskyrimo metodas
skyrius 6 Kintamųjų atskyrimo metodas
skyrius 6 Kintamųjų atskyrimo metodas
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>skyrius</strong> 6<br />
Kintamųjų <strong>atskyrimo</strong><br />
<strong>metodas</strong><br />
6.1 Hiperbolinių lygčių sprendimas kintamųjų <strong>atskyrimo</strong><br />
metodu<br />
Spręsime kraštinį uždavinį<br />
u tt = a 2 u xx , u(0,x) = ϕ(x), u t (0,x) = ψ(x), u(t,0) = u(t,l) = 0. (6.1)<br />
Ieškome atskirų sprendinių tokiu pavidalu:<br />
Iš (6.1), (6.2) gauname<br />
u(t,x) = T(t)X(x). (6.2)<br />
T ′′ (t)<br />
a 2 T(t) ≡ X′′ (x)<br />
X(x) = λ.<br />
Matome, kad funkcijos X(x) turi būti šio uždavinio nenuliniai sprendiniai<br />
X ′′ = λX, X(0) = X(l) = 0.<br />
Atitinkamos λ reikšmės vadinamos uždavinio tikrinėmis reikšmėmis, o<br />
atitinkamos funkcijos X(x) – tikrinėmis funkcijomis.<br />
Kai λ 0 tikrinių funkcijų nėra. Neigiamas konstantas pažymėkime<br />
(−λ 2 ). Tada tikrinės reikšmės ir tikrinės funkcijos yra:<br />
λ = nπ<br />
l , X n(x) = sin nπx , n = 1,2,3,... . (6.3)<br />
l<br />
49
50 SKYRIUS 6. KINTAMŲJŲ ATSKYRIMO METODAS<br />
Iš čia gauname<br />
Taigi<br />
u(t,x) =<br />
T n (t) = A n cos nπat<br />
l<br />
∞∑<br />
n=1<br />
+ B n sin nπat .<br />
l<br />
(<br />
A n cos nπat + B n sin nπat )<br />
sin nπx ,<br />
l l l<br />
u(0,x) =<br />
u t (0,x) =<br />
∞∑<br />
n=1<br />
∞∑<br />
n=1<br />
A n sin nπx<br />
l<br />
nπa<br />
l<br />
B n sin nπx<br />
l<br />
6.2 Elipsinių lygčių sprendimas<br />
= ϕ(x),<br />
= ψ(x).<br />
6.2.1 Laplaso lygties sprendimas apskritime<br />
Tarkime, kad γ yra apskritimas, kurio centras yra taške O(0,0) ir spindulys<br />
lygus a. Spręsime uždavinį<br />
∆u = 0, u| (x,y)∈γ = f(x,y).<br />
Perrašome Laplaso operatorių polinėse koordinatėse (žr. ??, ?? p.):<br />
∂ 2 u<br />
∂ρ 2 + 1 ∂u<br />
ρ ∂ρ + 1 ∂ 2 u<br />
ρ 2 ∂ϕ 2 = 0, u(ρ,ϕ)| ρ=a<br />
= F(ϕ). (6.4)<br />
(6.4) lygties sprendinio ieškome pavidalu<br />
Tada<br />
u(ρ,ϕ) = R(ρ)Φ(ϕ).<br />
u ρρ = R ′′ Φ, u ρ = R ′ Φ, u ϕϕ = RΦ ′′ .<br />
Įrašę šiuos reiškinius į lygtį, gauname<br />
(R ′′ + 1 ρ R′ )<br />
Φ + R ρ 2 Φ′′ = 0.<br />
Atskiriame kintamuosius:<br />
1<br />
R(ρ)<br />
(<br />
ρ 2 R ′′ (ρ) + ρR ′ (ρ) ) = − Φ′′ (ϕ)<br />
Φ(ϕ) .
6.2. ELIPSINIŲ LYGČIŲ SPRENDIMAS 51<br />
Ieškome periodinių sprendinių:<br />
Tada α = λ 2 > 0 ir turime<br />
Φ ′′ (ϕ) = −αΦ(ϕ).<br />
Φ(ϕ) = Acos λϕ + B sinλϕ.<br />
Iš antrosios lygybės išplaukia Oilerio tipo lygtis<br />
ρ 2 R ′′ (ρ) + ρR ′ (ρ) − λ 2 R(ρ) = 0.<br />
Lygtis turi atskirus sprendinius R(ρ) = ρ s . Gauname s = λ, s = −λ.<br />
Aprėžtą skritulyje ρ a sprendinį gauname, kai s = λ 0. Periodinį su<br />
periodu 2π sprendinį gausime, kai<br />
cos(λϕ + λ2π) = cos λϕ, sin(λϕ + λ2π) = sinλϕ.<br />
Todėl λ = 0,1,2,.... Taigi gauname uždavinio sprendinį<br />
u(ρ,ϕ) =<br />
∞∑<br />
(A n cos nϕ + B n sin nϕ) ρ n .<br />
n=0<br />
Koeficientus A n , B n pasirinkime taip, kad patenkinti pradines sąlygas<br />
∞∑<br />
(A n cos nϕ + B n sin nϕ) a n = F(ϕ).<br />
n=0<br />
Skleidžiame funkciją F(ϕ) Furjė eilute:<br />
F(ϕ) = 1 2 fc 0 +<br />
f c n = 1 π<br />
f s n = 1 π<br />
∫ 2π<br />
0<br />
∫ 2π<br />
0<br />
∞∑<br />
(fn c cos nϕ + fn s sin nϕ),<br />
n=0<br />
f(acos ϕ,asin ϕ) cos nϕdϕ,<br />
Gauname A n = 1<br />
a<br />
f c n n , B n = 1<br />
a<br />
f s n n ir todėl<br />
u(ρ,ϕ) = 1<br />
2π<br />
f(acos ϕ,asin ϕ) sin nϕdϕ.<br />
∫ 2π<br />
0<br />
f(acos ϕ,asin ϕ)dϕ+
52 SKYRIUS 6. KINTAMŲJŲ ATSKYRIMO METODAS<br />
1<br />
π<br />
⎛<br />
∞∑ ( ρ<br />
) n<br />
⎝cos nϕ<br />
a<br />
n=1<br />
sin nϕ<br />
∫ 2π<br />
0<br />
∫ 2π<br />
0<br />
f(acos ϕ,asin ϕ) cos nϕdϕ+<br />
⎞<br />
f(acos ϕ,asin ϕ) sin nϕdϕ⎠ .
<strong>skyrius</strong> 7<br />
Šturmo ir Liuvilio uždavinys<br />
7.1 Bendroji kintamųjų <strong>atskyrimo</strong> metodo schema<br />
7.1.1 Tiesinis diferencialinis operatorius<br />
Pažymėkime<br />
Lu ≡<br />
(A(t) ∂2 ∂2<br />
− B(x)<br />
∂t2 ∂x 2 + C(t) ∂ ∂t + D(x) ∂<br />
)<br />
∂x + (E(t) + F(x)) u,<br />
(7.1)<br />
čia A(t) A 0 > 0, B(x) B 0 >.<br />
Homogeninės lygties<br />
Lu = 0, t ∈ [0,+∞], x ∈ [a,b] (7.2)<br />
netrivialių (nenulinių) spendinių ieškosime pavidalu<br />
u(t,x) = T(t)X(x). (7.3)<br />
Nagrinėsime (7.1), (7.2) lygtį esant kraštinėms sąlygoms:<br />
(<br />
αu(t,x) + βu<br />
′<br />
x (t,x) )∣ ∣<br />
x=a<br />
= 0,<br />
(<br />
δu(t,x) + γu<br />
′<br />
x (t,x) )∣ ∣<br />
x=b<br />
= 0. (7.4)<br />
Gauname diferencialines lygtis funkcijoms T ir X rasti:<br />
A(t)T ′′ (t) + C(t)T ′ (t) + E(t)T(t)<br />
T(t)<br />
B(x)X ′′ (x) − D(x)X ′ (x) − F(x)X(x)<br />
X(x)<br />
= (7.5)<br />
= const<br />
53
54 SKYRIUS 7. ŠTURMO IR LIUVILIO UŽDAVINYS<br />
ir kraštines sąlygas:<br />
αX(a) + βX ′ (a) = 0, δX(b) + γX ′ (b) = 0. (7.6)<br />
Pažymėkime (7.5) lygčių konstanta (−λ) ir užrašome diferencialinę lygtį<br />
funkcijai X:<br />
−B(x)X ′′ + D(x)X ′ + F(x)X = λX.<br />
Padauginę abi lygybės puses iš<br />
1<br />
B(x) e− R D<br />
B dx ir pažymėję<br />
p(x) = e − R D<br />
B dx , q(x) = F(x)<br />
B(x) e− R D<br />
B dx ,r(x) = 1<br />
B(x) e− R D<br />
B dx ,<br />
gauname diferencialinę lygtį, priklausančią nuo parametro λ:<br />
L[X] ≡ d (<br />
p(x) dX )<br />
− q(x)X = −λr(x)X. (7.7)<br />
dx dx<br />
Pastebėkime, kad<br />
p(x) > 0, q(x) > 0,r(x) > 0.<br />
7.2 Šturmo ir Liuvilio uždavinys<br />
(7.7), (7.6) uždavinį, kai α 2 + β 2 ≠ 0 ir δ 2 + γ 2 ≠ 0 vadiname Šturmo ir<br />
Liuvilio uždaviniu. Reikia rasti tokias parametro λ reikšmes (jos vadinamos<br />
tikrinėmis), kad uždavinys turėtų netrivialių (nenulinių) sprendinių -<br />
tikrinių funkcijų.
<strong>skyrius</strong> 8<br />
Apibendrintosios funkcijos<br />
8.1 Pagrindinės ir apibendrintosios funkcijos<br />
8.1.1 Bendrosios sąvokos<br />
Tarkime, kad mažo spindulio ε rutulyje yra materialus taškas, kurio masė<br />
lygi 1. Užrašykime masės tankio funkciją<br />
f ε (x) =<br />
{ 3<br />
4πε 3 , kai |x| ε,<br />
0, kai |x| > ε.<br />
Pastebėkime, kad ∫∫∫<br />
f ε (x 1 ,x 2 ,x 3 )dx 1 dx 2 dx 3 = 1.<br />
|x|ε<br />
Kai ε → 0, gauname<br />
{ +∞, kai x = 0,<br />
δ(x) = lim f ε (x) =<br />
ε→0 0, kai x ≠ 0.<br />
(8.1)<br />
Tačiau taip apibrėžta funkcija δ(x) netenkina reikalavimo masės tankiui:<br />
∫<br />
V<br />
δ(x)dx =<br />
{ 1, kai 0 ∈ V,<br />
0, kai 0 /∈ V.<br />
Paimkime bet kurią tolydžiąją funkciją ϕ(x) ir apskaičiuokime silpnąją<br />
ribą<br />
∫<br />
lim f ε (x)ϕ(x)dx = ϕ(0).<br />
ε→0<br />
Įrodykime šią lygybę. Paimkime bet kurį ν > 0. Kadangi ϕ(x) yra tolydžioji<br />
55
56 SKYRIUS 8. APIBENDRINTOSIOS FUNKCIJOS<br />
funkcija, egzistuoja toks ε ν > 0, kad ∀|x| ε ν : |ϕ(x) − ϕ(0)| < ν. Taigi<br />
∣ ∫<br />
∣∣∣∣∣∣ f ε ϕ(x)dx − ϕ(0)<br />
= 3 ∫<br />
4πε<br />
∣<br />
∣<br />
3 (ϕ(x) − ϕ(0))dx<br />
<br />
∣<br />
|x|ε<br />
ν 3<br />
4πε 3 ∫<br />
|x|ε<br />
|x|ε<br />
dx = ν.<br />
Matome, kad silpnoji riba yra funkcionalas: kiekvieną tolydžiąją funkciją<br />
ϕ(x) atitinka jos reikšmė ϕ(0). Šis funcionalas žymimas δ ir vadinamas<br />
Dirako δ-funkcija. Žymėsime<br />
∫<br />
f ε (x)ϕ(x)dx = (δ,ϕ).<br />
lim<br />
ε→0<br />
Jei taške x = 0 sukoncentruota masė m, tai tankį galima išreikšti taip:<br />
mδ(x). Bendruoju atveju, kai taškuose x 1 , x 2 , ..., x N sukoncentruotos<br />
masės m 1 , m 2 , ..., m N , tankio funkcija užrašome taip:<br />
N∑<br />
m j δ(x − x j ).<br />
j=1<br />
8.1.2 Apibendrintų funkcijų erdvė D ′<br />
Žymėsime D = D (R n ) visų finitinių (turinčių baigtinę atramą – supp) be<br />
galo daug kartų diferencijuojamų funkcijų aibę (žymime C ∞ ). Šias funkcijas<br />
vadiname pagrindinėmis.<br />
Tarkime, kad U R = {⃗x = (x 1 ,x 2 ,...,x n ) ∈ R n : ‖⃗x‖ R},<br />
D α u(x) =<br />
∂ |α| u(x)<br />
∂x α 1<br />
1 ∂xα 2<br />
2 · · · ∂xαn n<br />
, α = (α 1 ,... ,α n ) , α j 0, |α| = α 1 +· · ·+α n .<br />
Apibrėžkime konvergavimą pagrindinių funkcijų aibėje D. Tarkime, kad<br />
1) ϕ 1 , ϕ 2 , ... ∈ D;<br />
2) ∃R > 0 (∀k ∈ N) supp ϕ k ⊂ U R ;<br />
3) ∀ε > 0 ∃k ε ∈ N : ∀α, k k ε<br />
Rašysime<br />
max |D α ϕ k (x) − D α ϕ(x)| < ε.<br />
x∈U R<br />
lim ϕ k = ϕ arba ϕ k → ϕ, k → +∞.<br />
k→+∞
8.1. PAGRINDINĖS IR APIBENDRINTOSIOS FUNKCIJOS 57<br />
8.1 apibrėžimas. Apibendrintąja funkcija f vadinsime bet kurį<br />
tiesinį tolydųjį funkcionalą f : D → C. Čia C – kompleksinių skaičių<br />
aibė.<br />
Funkcionalo f reikšmes žymėsime (f,ϕ). Šios reikšmės yra (kompleksiniai)<br />
skaičiai. Apibendintoji funkcija yra tiesinis funkcionalas:<br />
(f,λ 1 ϕ 1 + λ 2 ϕ 2 ) = λ 1 (f,ϕ 1 ) + λ 2 (f,ϕ 2 ).<br />
Apibendrintoji funkcija yra tolydusis funkcionalas:<br />
lim ϕ k = ϕ ⇒<br />
k→+∞<br />
lim (f,ϕ k) = (f,ϕ) .<br />
k→+∞<br />
Apibendrintųjų funkcijų aibė yra tiesinė: jei f ir g yra tiesiniai tolydieji<br />
funkcionalai D → C, tai (∀λ,µ ∈ C) λf + µg irgi yra tiesinis tolygusis<br />
funkcionalas.<br />
Apibrėžkime silpnąjį konvergavimą apibendintojų funkcijų aibėje. Sakysime,<br />
kad apibendrintoji funkcija f yra apibendrintojų funkcijų f 1 , f 2 , · · ·<br />
sekos riba, jei (∀ϕ ∈ D) lim (f k,ϕ) = (f,ϕ).<br />
k→+∞<br />
8.2 apibrėžimas. Visų apibendrintųjų funkcijų aibę su apibrėžtu silpnuoju<br />
konvergavimu žymėsime D ′ .<br />
8.1 teorema. Aibė D ′ yra pilnoji erdvė: jei seka f n ∈ D ′ silpnai<br />
konveguoja f n → f, tai f ∈ D ′ .<br />
Pratimai<br />
Įrodykite, kad (ε → +0)<br />
1.<br />
2.<br />
3.<br />
1<br />
2 √ x2<br />
e− 4ε → δ(x);<br />
πε<br />
1<br />
πx sin x ε → δ(x);<br />
1<br />
π<br />
ε<br />
x 2 + ε 2 → δ(x).<br />
8.1.3 Apibendrintųjų funkcijų diferencijavimas<br />
Tarkime, kad f(x) ∈ C 1 [a,b], ϕ ∈ D [a,b]. Tada<br />
(f ′ ,ϕ) =<br />
∫ b<br />
a<br />
f ′ (x)ϕ(x)dx =<br />
∫ b<br />
a<br />
b<br />
ϕ(x)df(x) = f(x)ϕ(x)<br />
∣ −<br />
a<br />
∫ b<br />
a<br />
f(x)ϕ ′ (x)dx.
58 SKYRIUS 8. APIBENDRINTOSIOS FUNKCIJOS<br />
Kadangi ϕ(a) = ϕ(b) = 0, gauname<br />
(f ′ ,ϕ) = −(f,ϕ ′ ).<br />
Taigi galime apibrėžti apibendintosios funkcijos išvestinę<br />
(D α f,ϕ) = (−1) |α| (f,D α ϕ) .<br />
Pastebėkime, kad differencijuojamai funkcijai f ∈ C n gauname, kad<br />
∫<br />
(D α f,ϕ) = D α (f(x)) ϕ(x)dx.<br />
R n<br />
8.1 pavyzdys. Hevisaido funkcijos H(x) =<br />
išvestinė<br />
H ′ (x) = δ(x).<br />
{ 0, kai x 0,<br />
1, kai x > 0.<br />
Delta funkcijos δ(x) pirmykštė funkcija yra H(x) + C, čia C – bet kuri<br />
konstanta.