Professional Documents
Culture Documents
Jegyzet PDF
Jegyzet PDF
Differencilegyenletek II
Elads 2012/2013
Szerz:
Vida dm
Molnr Dvid
Oktat:
Ngrdi Dniel
Tartalomjegyzk
1. Els elads
1.1. Msodrend kznsges dierencilegyenletek . . . . .
1.2. Hinyos msodrend dierencilegyenletek . . . . . . .
1.2.1. X-tl fggetlen . . . . . . . . . . . . . . . . . .
1.2.2. Y-tl fggelten . . . . . . . . . . . . . . . . . .
1.2.3. Pldn keresztl . . . . . . . . . . . . . . . . . .
1.3. Msodrend, lineris, kznsges dierencilegyenletek
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
2
4
4
4
5
6
2. Msodik elads
7
2.1. Ismert partikulris megolds . . . . . . . . . . . . . . . . . . . . . . . 8
2.1.1. Pldn keresztl . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2. Msodrend, lineris, inhomogn dierencilegyenlet . . . . . . . . . 11
3. Harmadik elads
13
3.1. Green-fggvny . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.1.1. Pldn keresztl . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4. Negyedik elads
4.1. Green fggvny tovbbi tulajdonsgai . . . . . . . . . . . . . . . . . .
4.1.1. Derivlt folytonossgok . . . . . . . . . . . . . . . . . . . . . .
4.2. Euler-fle dierencilegyenletek . . . . . . . . . . . . . . . . . . . . .
4.2.1. Homogn eset . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3. Msodrend, lineris, vltoz egytthatj dierencilegyenletek megoldsa sorfejtssel . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
19
19
22
22
24
5. tdik elads
26
5.1. Specilis fggvnyek . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
5.1.1. Bessel-fggvnyek . . . . . . . . . . . . . . . . . . . . . . . . . 26
6. Hatodik elads
6.1. lland egytthats, homogn, lineris, n-ed rend dierencilegyenletek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.1.1. Tulajdonsgok . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2. Megolds paramteresen . . . . . . . . . . . . . . . . . . . . . . . . .
6.3. Elsrend, lineris, lland egytthatj dierencilegyenlet-rendszerek
6.3.1. Pldn keresztl . . . . . . . . . . . . . . . . . . . . . . . . . .
32
32
32
33
36
38
7. Hetedik elads
40
7.1. Degenerlt esetektl eltekintve . . . . . . . . . . . . . . . . . . . . . . 41
7.1.1. 2 dimenzis pldk . . . . . . . . . . . . . . . . . . . . . . . . 43
7.1.2. Pldul . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
8. Nyolcadik elads
8.1. Emlkeztet . . . . . . . . . . . . . . . . . . . .
8.2. Ktparamteres grbesereg . . . . . . . . . . . .
8.2.1. Grbeseregbl a dierencilegyenlet fel
8.2.2. Pldn keresztl . . . . . . . . . . . . . .
8.2.3. Egy ltalnosabb pldn keresztl . . . .
8.2.4. Plda: nemlineris eset . . . . . . . . . .
8.3. Parcilis dierencilegyenletek . . . . . . . . . .
8.3.1. Elsrend parcilis dierencilegyenlet .
8.3.2. Karakterisztikk mdszere . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9. Kilencedik elads
9.1. Folytats: parcilis dierencilegyenletek, kvzi lineris eset
9.1.1. Megoldsi mdszerek . . . . . . . . . . . . . . . . . .
9.1.2. Tanulsgok a kvzilineris helyzetbl . . . . . . . . .
9.1.3. Pldn keresztl . . . . . . . . . . . . . . . . . . . . .
10.Tizedik elads
10.1. Sztvlaszthat parcilis dierencilegyenletek
10.1.1. Plda 1 . . . . . . . . . . . . . . . . .
10.1.2. Msodik plda - hvezets . . . . . . .
10.1.3. Harmadik plda . . . . . . . . . . . . .
10.1.4. 2D Laplace-egyenlet . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
45
45
46
46
46
47
48
48
48
49
.
.
.
.
50
50
52
54
54
.
.
.
.
.
57
57
58
59
61
61
1.
Els elads
y1 (x) = y(x)
y2 (x) = y 0 (x)
ebbl pedig
y 00 = y20 = f (y2 , y1 , x)
y10 = y2
Termszetszeren addik a tny, hogy egy msodrend kznsges dierencilegyenlet ekvivalens egy elsrend kznsges dierencilegyenlet-rendszerrel.
y 00 = f (y 0 , y, x) y10 = f (y2 , y1 , x), y20 = y1
Korbbrl tudjuk, hogy az elsrend kznsges dierencilegyenleteknl a megoldsban eljn egy szabad paramter y(x, c). Ezt a kezdeti rtkkel tudjuk lexlni:
y(x0 ) = y0 . Ha elsrend kznsges dierencilegyenlet-rendszerrl beszlnk kt
fggvnyre, akkor az ltalnos megolds tartalmazni fog kt szabad paramtert
y1 (x, c1 , c2 ) s y2 (x, c1 , c2 ). Msodrend kznsges dierencilegyenlet ltalnos
megoldsban is lesz kt szabad paramter. Nzzk meg hogy nznek ki a kezdeti
felttelek!
3
Elsrend egyenletrendszer:
y1 (x0 ) = y10
y2 (x0 ) = y20
Msodrend egyenlet:
y1 = y
y2 = y 0
y(x0 ) = y0
y 0 (x0 ) = v0
1 y(x
0)
X-tl fggetlen
d dy
d
dp dy
dp
1 d 2
d2 y
=
=
p(y) =
= p=
p
2
dx
dx dx
dx
dy dx
dy
2 dy
p
dp
= f (y, p)
dy
Ez egy elsrend kznsges dierencilegyenlet a p(y) ismeretlen fggvnyre. ltalnos megoldsa p(y, c) alak.
dy
= y 0 = p(y, c1 )
dx
dy
=
p(y, c1 )
Z
dx
Az integrlt elvgezve
(y, c1 ) = x + c2
Y-tl fggelten
y 00 = f (x, y 0 ), tovbb legyen y 0 (x) = v(x). Vegyk szre, hogy itt mr az x fggv-
y 00 = v 0 = f (x, v)
v(x, c1 )dx + c2
Pldn keresztl
Vegyk az y 00 = 1 + y 02 explicit alak, msodrend, kznsges dierencilegyenletet. Ez nem fgg sem x-tl, sem y-tl, ezrt mindkt tanult mdszerrel megoldhat.
Nzzk meg mindkettvel, hisz ugyanolyan eredmnyt kellene kapnunk.
p
Els mdszer (x-tl nem fgg). Az egyenlet alakja teht p(y) = y 0 (y).
y 00 = p
p
dp p
= 1 + y 02 = 1 + p2
dy
1 d 2 p
p = 1 + p2
2 dy
= dy
2 1+u
1 + u = y + c1
1 + u = (y + c1 )2
u = (y + c1 )2 1
p2 = (y + c1 )2 1
p
p(y) = (y + c1 )2 1
Ezt kiintegrljuk s bevezetnk egy helyettestst, hogy jobban szrevehessk a hasonlsgokat, szval y + c1 = z s most integrlunk
Z
dz
=
z2 1
Z
dx
Arch(z) = x + c2
z = ch(x + c2 )
y + c1 = ch(x + c2 )
A vge pedig:
y(x) = ch(x + c2 ) c1
Most nzzk meg, hogyan alkalmazzuk itt a peremrtk problmt! Legyen y(a) =
0, y(a) = 0. Ezzel y(a) = ch(a + c2 ) c1 = 0
ch(c2 a) = c1
ch(c2 + a) = c1
v0 =
1 + v2
p
1 + y 02 = f (x, y 0 ), y 0 = v(x),
Z
dv
= dx
1 + v2
Arsh(v) = x + c1
v = sh(x + c1 )
y 0 = sh(x + c1 )
y = ch(x + c1 ) + c2
ahol a(x), b(x), c(x), d(x) adott fggvnyek. Ha a(x) 6= 0, egyszerbb alakhoz jutunk:
y 00 + p(x)y 0 + q(x)y = r(x)
Msodik elads
olyan, hogy
y1 y2
6 0. Ezt a dolgot nevezzk Wronski-determinnsnak.
=
y10 y20
y1 y2
= y1 y20 y10 y2
W (x) = 0
y1 y20
Megjegyzsek:
Ha y2 = y1
y1 y2 y1 y1
=0
W (x) = 0
=
y1 y20 y10 y10
llts: Ha a msodrend, homogn, lineris, kznsges dierencilegyenlet alapmegoldsa y1 , y2 , akkor az ltalnos megolds c1 y1 + c2 y2 .
Felmerl a krds, hogy lehet-e tetszleges kezdeti felttelhez tallni tetszleges
c1 , c2 -t, adott y1 , y2 fggvnyek mellett, mely radsul alapmegoldst is kpez? Nzzk pldn! A kezdeti feltteleink: y(x0 ) = y0 , y 0 (x0 ) = y00 . Keressk meg azokat a
c1 , c2 szmokat gy, hogy az ebbl kapott megolds kielgtse a kezdeti felttelt.
y(x0 ) = c1 y1 (x0 ) + c2 y2 (x0 ) = y0
y 0 (x0 ) = c1 y10 (x0 ) + c2 y20 (x0 ) = y00
Az invertls miatt kell a determinnssal osztani a jobb oldalon, ami pont a Wronskideterminns az x0 pontban. Az inverz a jobb oldalon pontosan akkor ltezik, ha ez a
determinns nem nulla. Teht, ha y1 , y2 alapmegolds, akkor a Wronski nem nulla,
teht a c1 , c2 -re van megolds.
y20 (x0 )y0 y2 (x0 )y00
c1 =
y1 (x0 )y20 (x0 ) y2 (x0 )y10
c2 =
y(x) = c1 y1 (x)+c2 y2 (x) = y0
Megjegyezs: Ha y1 , y2 adott volt, akkor mindennel kszen vagyunk. Neknk azonban most ez nem elg, mert nincsenek meg ezek a fggvnyek, meg kell tallni ket.
Ez egy nehz s nagyon sokszor megoldhatatlan feladat, nincs r ltalnos megolds.
Vannak azonban esetek, mikor mgis sikerl megcsinlni. Vegyk sorra az ilyeneket.
dW
+ pW = 0
dx
Z
lnW =
p(x)dx + lnC1
W (x) = C1 e
p(x)dx
p(x)dx
Ez egy elsrend, lineris, inhomogn egyenlet y -ra. Megoldsa nem ms, mint a
homogn ltalnos + inhomogn egy partikulris megoldsa. Kezdjk el a homogn
megoldsval:
y1 y 0 yy10 = 0
y 0 y10
=0
y
y1
(ln y)0 = (ln y1 )0
ln y = ln y1 + ln c2
Kszen vagyunk, most trjnk t az inhomogn egyenlet egy partikulris megoldsra. Hasznljuk az llandk varilsnak mdszert!
y = c2 (x)y1 (x)
10
W (x)
dx y1 (x)
y12 (x)
#
"Z
Rx
0
0
e p(x )dx
dx y1 (x)
y(x) = c2 y1 (x) + c1
y12 (x)
y(x) = c2 y1 (x) +
R2
p(x0 )dx0
y12 (x)
dx
Pldn keresztl
Legyen a dierencilegyenletnk:
y 00 + 2xy 0 + x2 y = 0
x2
+x
2
+ (x + 1)2 e
x2
+x
2
x2
+x
2
x2
+x
2
x2
+x
2
(x2 2x + 2x + x2 ) = 0
11
lnW = x2 + lnC
gy pedig
W (x) = c1 ex
A jobb oldal maga a Wronski! Oldjuk meg elszr a homogn rszt, de mivel egy
ugyanilyet csinltunk mr, csak lerom, hogy:
y(x) = c2 y1 (x) = c2 (x)e
x2
+x
2
x2
+x
2
x2
+x
2
+ ...
Nem rom ki a tbbi tagot, hiszen csak a c2 -ben derivlt fog megmaradni. Visszarunk mindent szpen az eredeti helyre.
e
x2
+x
2
c02 e
x2
+x
2
= c1 ex
c1 2x x2 +x
c1 x2
e e 2
= e 2 x
2
2
x2
+x
2
+ c1 e
x2
x
2
Persze, ezt is gy kell megoldani, mint az ilyeneket szoks. Vesszk majd a homogn
ltalnos megoldst, ahol a kt (y1 , y2 ) alapmegoldst alkot s itt bejn a kt szabad
konstans, plusz az inhomogn egy partikulris megoldst, ahol nem lesz tetszleges
konstans. Itt is az llandk varilsnak mdszert kell alkalmazni!
yi (x) = c1 (x)y1 (x) + c2 (x)y2 (x)
yi0 (x) = c01 (x)y1 (x) + c1 (x)y10 (x) + c02 (x)y2 (x) + c2 (x)y20 (x)
12
yi00 (x) = c001 (x)y1 (x) + 2c01 y10 + c1 (x)y100 (x) + c002 (x)y2 (x) + 2c02 y20 + c2 (x)y200 (x)
Vegyk szre, hogy ugyangy, mint az elbb, itt is x fggnek tartjuk a konstanst
s prbljuk megoldani az egyenletet. Ezeket az y -t, y 0 -t, y 00 -t helyettestsk be az
egyenletbe.
c001 (x)y1 (x) + 2c01 y10 + c1 (x)y100 (x) + c002 (x)y2 (x) + 2c02 y20 + c2 (x)y200 (x)+
p [c01 (x)y1 (x) + c1 (x)y10 (x) + c02 (x)y2 (x) + c2 (x)y20 (x)] +
q [c1 (x)y1 (x) + c2 (x)y2 (x)] = r
y1 y2
y10 y20
0
0
c1
=
0
c2
1
Mivel a kt y mr tisztzottan alaprendszert alkot, nem kell vizsglgatni, a determinns nem nulla, teht az egsz invertlhat. n ezt mr nem rom le kln, hiszen
ugyanaz az eset, mint egy fejezettel feljebb, a vgeredmnyt viszont lerom. A kt
fggvnyre:
c01 =
y2 (x)r(x)
W (x)
y1 (x)r(x)
W (x)
A vgeredmnyhez ezeket ki kell integrlni x szerint. Az inhomogn egyenlet ltac02 =
Z
y(x) = c1 y1 + c2 y2 y1 (x)
y2 (x0 )r(x0 ) 0
dx + y2 (x)
W (x0 )
y1 (x0 )r(x0 ) 0
dx
W (x0 )
3.
Harmadik elads
3.1. Green-fggvny
Mire is hasznlom? Ha van egy msodrend, lineris, inhomogn dierencilegyenletem peremfelttellel
y(a) = 0 = y(b)
s
y(a) = 0 = y(b)
Az egyenlet vgn lv f1 (x)y1 (x)+f2 (x)y2 (x) tag az inhomogn egyenlet partikulris
megoldsa, ahol f1 s f2 tagokat az llandk varilsnak mdszervel kaptuk meg
gy, hogy
f10 y1 + f20 y2 = 0
f10 y10 + f20 y20 = r
Ezt alaktgatjuk, hogy kihmozhassuk belle az f10 s f20 rtkeket. Lnyegben csak
invertlni kell s meg is vagyunk. A keresett egytthatk:
y2 (x)r(x)
W (x)
f10 =
s
f20 (x) =
y1 (x)r(x)
W (x)
y2 (x0 )r(x0 ) 0
dx
W (x0 )
y1 (x0 )r(x0 ) 0
dx
W (x0 )
14
Ezeket a fggvnyeket kell belehelyettesteni az inhomogn egyenlet ltalnos megoldsba, ami gy a kvetkez alakot lti
x
Z
y(x) = c1 y1 (x) c2 y2 (x) y1 (x)
y2 (x0 )r(x0 ) 0
dx + y2 (x)
W (x0 )
y1 (x0 )r(x0 ) 0
dx
W (x0 )
Ezrt kssk ki, hogy (y1 ,y2 ) legyen olyan alapmegolds, ami valamilyen egyszer
kezdeti rtk problmt elgt ki. Pldul:
y1 (a) = 0
y10 (a) = v1
y2 (b) = 0
y20 (b) = v2
Az y1 s y2 most mr xlva van. Megjegyezzk, hogy az y1 s y2 a homogn egyenletet elgti ki, az y pedig, amire a peremrtk problmt kirttuk, az inhomognt.
Keressk meg c1 s c2 rtkeket gy, hogy a peremrtk fennlljon. Amit keresnk, a kvetkez: y(a) = y(b) = 0. Nzzk
a
Z
y2 (x0 )r(x0 ) 0
y(a) = c1 y1 (a) c2 y2 (a) y1 (a)
dx + y2 (a)
W (x0 )
Z a
y1 (x0 )r(x0 ) 0
= c2 y2 (a) + y2 (a)
dx = 0
W (x0 )
Z
y1 (x0 )r(x0 ) 0
dx =
W (x0 )
Az utols egyenlsget kirttuk a felttel szerint. Kiktjk tovbb azt is, hogy
Z
y(b) = c1 y1 (b) y1 (b)
y2 (x0 )r(x0 ) 0
dx = 0
W (x0 )
y2 (x0 )r(x0 ) 0
dx
W (x0 )
a
y1 (x0 )r(x0 ) 0
dx
W (x0 )
y2 (x0 )r(x0 ) 0
dx y2 (x)
W (x0 )
15
y1 (x0 )r(x0 ) 0
dx
W (x0 )
Z
y1 (x)
y2 (x0 )r(x0 ) 0
dx + y2 (x)
W (x0 )
y1 (x0 )r(x0 ) 0
dx
W (x0 )
= y1 (x)
x
y2 (x0 )r(x0 ) 0
dx y2 (x)
W (x0 )
Z
x
y1 (x0 )r(x0 ) 0
dx =
W (x0 )
Z x
y2 (x0 )r(x0 ) 0
y1 (x0 )r(x0 ) 0
= y1 (x)
dx
+
y
(x)
dx =
2
W (x0 )
W (x0 )
x
a
Z x
Z a
y2 (x)y1 (x0 )r(x0 ) 0
y1 (x)y2 (x0 )r(x0 ) 0
=
dx +
dx = y(x)
W (x0 )
W (x0 )
a
x
Z
0)
, ha a < x0 < x
y1 (x)y2 (x0 )
, ha x < x0 < b
W (x0 )
(y
0
2 (x)y1 (x
W (x0 )
Megjegyzsek:
A G(x, x0 ) Green fggvny csak a homogn egyenlettl fgg, teht r-tl fggetlen. Ez j, mert klnbz r-ekre a G ugyanaz. Teht, ha van mondjuk 5
egyenletem, melyeknek a homogn tagjai ugyanazok, csak egyszer kell kiszmolnom G-t s aztn ezt megszorzom a klnbz r-ekkel.
Volt egy (y1 , y2 ) homogn egyenletbl szrmaz megoldsom, kezdeti felttellel; kaptam y inhomogn megoldst, peremfelttellel.
Az elejn leszgeztnk pr dolgot. Nevezetesen y1 (a) = 0, y1 (b) = 0, y10 (a) =
v1 , y20 (b) = v2 . Ezeket xltuk az elejn. Fgg valami attl, hogy mit vlasztunk v1 s v2 -nek? Ha megnzzk a Green fggvny dencijt, lthat,
16
hogy a szmllban s nevezben is y1 s y2 szorzata van. Ha a v1 s v2 rtkeket megszoroznm pl. 1 s 2 konstansokkal, akkor az egsz megolds
megszorzdna vele, hiszen lineris egyenletnk van. Mivel kirttuk azt, hogy
y1 (a) = 0, y1 (b) = 0, gy a szmllban s nevezben ugyanazzal a -val
kell szorozni, teht k kiejtik egymst, teht a G(x,x') nem vltozik. Ha
(v1 , v2 ) 6= 0 G nem fgg tle. gy megkvetelhet, hogy
y1 (a) = 0
y10 (a) = 1
y2 (b) = 0
y20 (b) = 1
Elkpzelhet olyan degenerlt eset, hogy y1 (a) = 0, y10 (a) = 1 megkvetelse
mellett vges C konstansokra lehetsges, hogy nem mkdik. Ilyenkor y1 (a) =
0 ,y10 (a) = v1 , y2 (b) = 0, y20 (b) = v1 -t kell kiktni s megmondjuk azt is, hogy
v1 6= 1. Nem baj, ha fura szmokkal dolgozunk, hiszen a vgn gyis kiesik.
y1 (a) = 0 ,y10 (a) = 1-et megoldva tetszleges a-ra az y2 rgtn addik, csak az
a-t kell kicserlni b-re.
y(x) =
a
17
3.1.1.
Pldn keresztl
x+1 0
1
1
y 2
y=
x(x 1)
x (x 1)
x(x 1)
x
x1
Tudjuk, hogy
W 0 + pW = 0
dW
=
W
W (x) = c1
x+1
dx
x(x 1)
x
(x 1)2
c1
x
c1 x
x2
=
2
(x 1)
(x 1)2
s c2 (x) = c1 ln(x)
y = c2
x
x
+ c1 ln(x)
x1
x1
Ne feledjk, hogy itt a c2 mellett ll dolog az y1 , a plusz jel melletti els rsz, az
pont a c2 . Ebbl a megoldsbl kell kikeverni azt, ami kielgti a kezdeti feltteleket,
mert ez azt sajnos mg nem tudja. Azt rttuk ki, hogy y(a) = 0, y 0 (a) = 1.
y(x) =
x
[c2 + c1 ln(x)]
x1
18
a
[c2 + c1 ln(a)]
a1
A msik felttelhez derivlni kell y -t. Nem fogom ezt vgig rni, mert az eladson
sem tettk meg.
y 0 (x) =
c1
x
1
+
c1 ln
2
(x 1)
a
x1
(a 1)(b 1) b
ln
(x 1)2
a
G(x, x0 ) =
x
0
(b1)ln(x/b) x0x1 (a1)ln(x0 /a)
x1
, ha a < x0 < x
0
(a1)(b1)ln(b/a)
0
2
(x 1)
x
(a1)ln(x/a) x0x1 (b1)ln(x0 /b)
x1 x0
, ha x < x0 < b
(x0 1)2
(a1)(b1)ln(b/a)
x
ln(x/b)ln(x0 /a)(x0 1) x1
, ha a < x0 < x
ln(b/a)
b
0
x
0
19
r(x) =
1
x(x 1)
Negyedik elads
y2 (x)y1 (x0 )
0
y1 (x)y2 (x0 )
W (x0 )
, ha x < x0 < b
y1 (x)y2 (x)
y2 (x)y1 (x )
= ( 0) =
W (x )
W (x)
G(x, x + ) =
y2 (x)y1 (x + )
y1 (x)y2 (x)
= ( 0) =
W (x )
W (x)
Kijelenthet ht, hogy x ugyanaz az rtk, fggetlenl attl, hogy jobbrl, vagy balrl konvergltunk bele. A G(x, x0 ) teht jl denilt, hiszen mindegy, hogy jobbrl,
vagy balrl megyek bele. A G(x, x0 ) folytonos x0 = x-ben. Ezt abbl tudjuk, hogy
nincs ugrsa, viszont x-nl van benne trs, mert a derivlt ugorhat!
4.1.1.
Derivlt folytonossgok
d y2 (x)y1 (x0 )
y20 (x)y1 (x0 )
=
dx W (x0 ) x0 (a,x)
W (x0 ) x0 (a,x)
d y1 (x)y2 (x0 )
y10 (x)y2 (x0 )
=
dx W (x0 ) x0 (x,b)
W (x0 ) x0 (x,b)
20
=
0
0
dx
dx
W (x0 ) x0 (a,x)
W (x0 ) x0 (x,b)
x (a,x)
x (x,b)
=1
W (x)
W (x)
Az inhomogn egyenlet ezzel felrhat a y(x) = r(x) formban, teht sokkal egyszerbb lesz kezelni a dolgokat!
Ha a Green-fggvnyre alkalmazzuk ezt, akkor mi van? Klnbztessk meg
eseteinket.
Elsknt azt, ahol x0 (a, x)
G(x, x0 ) =
y2 (x)y1 (x0 )
(y2 )(x)y1 (x)
(y200 + py20 + qy2 )(x)y1 (x)
=
=
=0
W (x0 )
W (x0 )
W (x0 )
Ugye rtjk, hogy mirt y2 -re mszott r a ? Hiszen megbeszltk, hogy csak
x-ben operl s pont y2 az x fgg. Az, hogy nulla lett az eredmny, azrt
van, mert y2 a homogn egyenletet kielgti.
21
y1 (x)y2 (x0 )
(y1 )(x)y2 (x)
=
=0
0
W (x )
W (x0 )
A
h
iA Z A
d
0
0
G(x, x )dx =
G(x, x ) + p(x) G(x, x ) +
q(x)G(x, x0 )dx0 =
dx
B
B
B
0
szrevtelek
RA
B
G(x, x0 ) = 0, ha az x 6= x0 .
G(x, x0 ) = (x x0 ). (Dirac-delta)
22
Rb
a
ahol a, b, c vals llandk. Msodrend, lineris egyenletekrl van sz, melyek lehetnek homognek s inhomognek is, attl fggen, van-e r(x) a jobb oldalon.
Az (y1 , y2 ) alaprendszer megkaphat, st, eddig2 tudnom kellett az egyiket, hogy a
msikat megkaphassam, most nem kell. Emlkeztetl rjuk ki az elsrend esett
ezeknek az egyenleteknek
d
y + by = 0
dx
A homogn eset megoldsa pedig yh = x volt.
ax
4.2.1.
Homogn eset
ax2 y 00 + bxy 0 + cy = 0
ab
p
(b a)2 4ac
2a
Green-fggvnyeknl
23
1. Kt vals gyk
y1 (x) = x1 valamint y2 (x) = x2 , W 6= 0
y1 y2 x1
x 2
W (x) = 0
0 =
1 1
1 x
2 x2 1
y1 y2
= (2 1 ) x1 +2 1 6= 0
(y1 = x1 , y2 = x2 )
Teht, a fenti egyenlet is megolds minden -ra. Nzzk meg, mit ad ez?
x+ x
x 1
=
=x
eln(x) 1
A kt megoldsunk teht
y1 (x) = x
y2 (x) = x ln(x)
Legyen megolds a
y1 = x1 = x+i
y2 = x2 = xi
Ez az egyik megolds, ami vals, hiszen ennl lnyegben a "vals rszt vettk".
A klnbsg is az, de ez tisztn kpzetes, ezrt az egszet le kell osztani i-vel,
hogy vals legyen.
x+i xi
= y2 (x)
i
i
x xi
y2 = x
= ... = 2x sin(ln(x))
i
Ez pedig az Euler-fle homogn msodrend dierencilegyenletek alaprendszert kpezik akkor, ha a gykk komplex konjuglt prok.
X
m=0
25
C m xm
Vegyk szre, hogy xp -tl indulunk, nem konstanstl, teht xp (Taylor sor) alakban
keressk a megoldst. Tudni szeretnnk teht a Cm s p rtkeket. Szorozzuk vissza
az y 00 el, amit eddig mindig leosztottunk, de valahogy gy, hogy minden polinom
legyen, ne legyen benne trt.
a(x)y 00 (x) + b(x)y 0 (x) + c(x)y(x) = d(x)
C m xm =
m=0
Cm xm+q
m=0
y 0 (x) =
(x + q)xm+q1
m=0
00
y (x) =
m=0
4x2 y 00 = 4
m=0
4xy = 4
(m + q)Cm xm+q
m=0
2
(x 1)y =
Cm x
m+q+2
m=0
(m+q)(m+q1)Cm x
m+q
+4
Cm xm+q
m=0
(m+q)Cm x
m+q
Cm x
m+q+2
m=0
m=0
m=0
Cm xm+q = 0
m=0
m=0
C2 = 0
C1 = 0
[4(m + q)(m + q 1) + 4(m + q) 1] Cm + Cm2
4(m + q)2 1 Cm + Cm2
26
Cm2
(2(m + q) 1)(2(m + q) + 1)
tdik elads
Bessel-fggvnyek
Nzzk a kvetkezt:
x2 y 00 + xy 0 + (x2 p2 )y = 0
(1)
itt p egy ltalnos konstans, amire egyenlre nem kell semmilyen kikts. Ez egy
msodrend, homogn, lineris dierencilegyenlet. Az x2 nlkl Euler-fle lenne.
Nem tudunk partikulris megoldst, szval sorfejtst kell hasznlnunk.
y(x) = xp u(x)
(Megjegyezzk, hogy valaki megsgta neknk, hogy az els tag xp alak legyen.)
Derivljunk gyesen
y 0 (x) = pxp1 u + xp u0
sszeszedjk a tagokat
xp+2 u00 + xp+1 u0 (1 + 2p) + uxp (p(p 1) + p + x2 p2 ) = 0
27
C m xm
m=0
u (x) =
mCm xm1
m=0
u00 (x) =
m=0
00
xu (x) =
m=0
xu(x) =
Cm xm+1
m=0
m=0
mCm xm1 +
m=0
Cm xm+1 = 0
m=0
Nem marad ms, meg kell nzni, hogy mindegyik ugyanarrl a hatvnyrl indul-e?
Ha nem, akkor az alskat kln kell kezelni. Mikor az x0 egytthatjt nullv
tesszk, a kvetkeznek kell teljeslni:
(1 + 2p)C1 = 0
(m + 1)mCm+1 x + (1 + 2p)
(m + 1)Cm+1 x +
m=1
m=1
Cm+1 xm = 0
m=1
Ezek a lpsek nem trivilisak s nagyon knnyen elronthatk. A sikeres ZH rdekben rdemes otthon megcsinlni nhny ilyen feladatot.
a tagokat.
. Folytassuk, gyjtsk be
m=1
28
Cm+1 =
Cm1
(m + 1)(m + 1 + 2p)
c0
c0
=
2(2 + 2p)
4(1 + p)
c
1
c0
=
4(1 + p) 4(4 + p)
4(1 + p)4(2(2 + p))
c6 =
c0
1
= ...
4(1 + p)4 2 (2 + p) 6(6 + 2p)
(1)m c0
(1)m c0
= m
=
2(2 + 2p)4(4 + 2p)...2m(2m + 2p)
2 m!2m (1 + p)(2 + p)...(m + p)
=
(1)m c0
= C2m
22m m!(1 + p)(2 + p)...(m + p)
C2m+1 = 0
Mivel kiktst tettnk a p-re, nem fordulhat el, hogy nullval osztannk.
u(x) =
Cm x =
C2m x2m =
m=0
m=0
(1)m C0 x2m
=
m m!(1 + p)...(m + p)
2
m=0
= C0
(1)m
x 2m
m!(1 + p)...(m + p) 2
m=0
u-ra kaptunk egy megoldst, s egy szabad paramtert, teht rjttnk, hogy az
29
nem (hiszen akkor arra is kaptunk volna szabad paramtert3 ) Hogy megknnytsk
a dolgunkat, bevezetjk a gamma fggvnyt.
(z + 1)
et tz1 dt
(z) =
0
(p + m + 1)
(p + 1)
(1)m
x 2m+p
= Jp (x)
m!(p
+
m
+
1)
2
m=0
Ez nem ms, mint egy Jp (x) = p index Bessel-fggvny. Azrt kellett neki j nv,
mert nem lehet zrt alakban kifejezni. Ez egy elsfaj, p index Bessel-fggvny.
Ugyan a negatv, egsz p = n rtkek ki voltak zrva mr, most viszont nzzk
meg mi van, ha p = n.
llts:
1
1
=
0
(p + m + 1)
(n + m + 1)
ha n egsz rtkhez tart, hiszen a (z) plusai pont a negatv egsz szmok.
Jp (x) =
x 2m+p
(1)n
m!(p + m + 1) 2
m=0
Ebbl a sorbl egy csom tagot el lehet hagyni, hisz negatvon nullt adnak!
Jn (x) =
x 2mn
(1)n
m!(n + m + 1) 2
m=n
x 2m+n
(1)m+n
=
(m + n(!(m + 1) 2
m=0
3 Hiszen
30
x 2m+n
x 2m+n
X
(1)m+n
(1)m
n
=
= (1)
=
(m
+
n
+
1)m!
2
m!(m
+
n
+
1)
2
m=0
m=0
Ez azt jelenti, hogy a negatv index Bessel egyenl (1)n pozitv index Bessellel.
Tulajdonsgok:
Konvergens sszeg.
Analitikus p-ben, x-ben Jp (x).
Ha p
/ Z, Jp (x), Jp (x) fggetlenek.
Ha p
/ Z, (Jp (x), Jp (x)) alaprendszer.
Egsz p esetn tovbbra is csak egy megolds maradt!
1
e (z z ) =
x
2
Jn (x)z n
n=
Genertor fggvny.
ix cos
= J0 (x) + 2
Jn (x)in cos(n)
n=1
Jp (x) csak akkor rhat fel elemi fggvnyek segtsgvel, ha p = n + 1/2. Erre
runk pr pldt:
2
sin(x)
x
r
2
J1/2 (x) =
cos(x)
x
r
2 sin(x)
J3/2 (x) =
cos(x)
x x
r
2
cos(x)
J3/2 (x) =
sin(x)
x
x
J1/2 (x) =
31
p
p
Ip (x) = ei 2 Jp (e 2 x) =
1
x p+2m
m!p(p + m + 1) 2
m=0
d2 y
dy
x (x2 + p2 )y = 0
2
dx
dx
2
p
p
p
Jp (x) Jp0 (x)
x
p
= Jp (x) + Jp0 (x)
x
Jp+1 =
Jp1
2p
Jp (x)
x
32
dx(x)Jp (i x)Jp (j x) = 0, i 6= j
0
6.
1
dx(x) [Jp (i x)]2 = Jp0 (i )2 > 0
2
Hatodik elads
(2)
az ltalnos alak. Az ltalnos tulajdonsgok, amelyek eddig igazak voltak, tbbnyire itt is rvnyesek.
6.1.1.
Tulajdonsgok
ha ez a kt egyenlet megolds
(n)
(n1)
(n)
(n1)
pn y1 + pn1 y1
pn y2 + pn1 y2
konstansokra
n
X
ci yi (x)
i=1
n
X
ci yi (x)
(3)
i=1
y1
y2 yn
y0
yn0
y20
1
6= 0
W = ..
.
.
.
..
..
..
.
y1n1 y2n1 ynn1
n
X
ci yi (x)
i=1
34
Mint lthat, ez egy x-tl fggetlen egyenlet. rjuk fel a karakterisztikus polinomot.
n
p() = n + n1 n1 + ... + 1 + 0 =
i i
(4)
i=0
Ez pedig egy n-ed rend polinom lambdban, egytthati valsak. A p() polinom
gykei: 1 , 2 , ..., n (ltalban ennyi van). Ha:
A lambdk mind klnbzek, akkor sorba rendezhetek, valamint TFH, mind
vals. llts: yi (x) = ei x -n darab klnbz fggvny alaprendszert alkot.
y(x) =
n
X
(5)
ci e i x
i=1
eBx + eiBx
2
= eAx cos(Bx)
Teht, ha vannak komplex gykk, akkor tudom, hogy lesz mg egy, hiszen
azok prosval jnnek.
k1,2 = Ak iBk
35
1 6= 2 vals
1,2 = A iB
1 = 2 vals 6
Nzzk mi lesz n > 2 esetben (ami most van). Ilyenkor mr sokkal tbb
lehetsg is szba jhet. Pldul, ha k (k < n) gyk egybeesik. Ilyenkor is
felrhat az alaprendszer, csak elg kompliklt.
Az n-ed rend, lland egytthatj, homogn, lineris egyenlet s az elsrend, lineris, n fggvnyre vonatkoz dierencilegyenlet-rendszer kztt is
van sszefggs. Nzzk meg azt, hogy volt n-ed rend dierencilegyenlet s
elsrend n-fggvnyre vonatkoz dierencilegyenlet rendszernl:
y 00 = f (x, y, y 0 )
Nzzk az n = 2 esetet:
y = y1
y 0 = y2
= x1 s y2 = x2
1 x
s y2 = e2 x
1 =e
6 Ha = , akkor (ex , xex ) alaprendszer.
1
2
1
5y
36
n
X
Aij yj
j=1
Itt i = 1, 2, ..., n. Az A mtrix nxn-es s konstans! Mivel az ilyet knnyebb kezelni, mint az n-ed rend, lland egytthatj egyenletet, ttrnk az egyenletrendszer vizsglatra.
n
X
Aij yj
j=1
n=1
y 0 = Ay
y = C eAx
n=2
37
y20 = A22 y2
y10 A11 y1
A12
Ebbl lthat, hogy egy sajtrtke az A mtrixnak! Ha az A karakterisztikus polinomjt megoldjuk, kapunk egy 1 , 2 megoldst.
Tegyk fel, hogy 1 6= 2 . Ekkor
y1 (x) = C11 e1 x + C12 e2 x
38
Mivel elbb, ha nem y2 -t fejeztem volna ki, hanem y1 -et, ugyanide jutottam
volna, ezrt felrhat, hogy
y2 (x) = C21 e1 x + C22 e2 x
A21 A22
C21 e1 x + C22 e2 x
j=1
Ci1 1 e1 x + Ci2 2 e2 x =
Aij Cj1
Ci2 2 =
Aij Cj2
Kzben a Ci1 -bl c1 vektort csinltunk, hogy jobb legyen rni. sszefoglalsul:
Ac1 = 1 c1
Ac2 = 2 c2
Pldn keresztl
39
Aij yj alakban.
1
3
y10 = y1 + y2
2
2
3
1
y20 = y1 + y2
2
2
1 3
1
1
3
A = 32 21 =
2 3 1
2
2
spur(A) = 1
det(A) = 2
det( A) = 0
2 spur(A) + det(A) = 0
2 2 = 0
2
3
2
3
2
1
2
2 0
0 2
=
3
2
3
2
3
2
32
1
Ebbl szpen ltszik, hogy az egyik sajtvektor pldul a a(1) =
, hiszen
1
(2)
ezzel
megszorozva lesz a determinns nulla! A msik sajtvektor pedig a a =
1
. gy mr fel lehet rni a megoldst, ami a kvetkez:
1
(1)
(2)
yi = c1 ai e1 x + c2 ai e2 x
Esetnkben teht
y1
1 2x
1
= c1
e + c2
ex
y2
1
1
n>2 eset:
yi0 =
Aij yj
40
det( A) = 0
TFH 1 < 2 < ... < n , s valsak!
yi (x) =
n
X
(j)
cj ai ej x
j=1
y(x) =
n
X
cj a(j) ej x
j=1
Hetedik elads
n
X
Aij yj
j=1
Itt megjegyzem, hogy vastag betkkel a mtrixokat jellm. Tegyk fel, hogy A
diagonizlhat.
A = RDR1
R1 y 0 (x) = DR1 y
Komponensenknt pedig:
41
n
X
Rij vi =
j=1
n
X
Rij ej x cj = yi (x)
j=1
y(x) = Ay(x)
An
n=0 n!
1
f (n) (x0 )
(x x0 )2 f 00 + ... + (x x0 )n
2!
n!
Taylor-sor
y(x) = y0 Tegyk fel, hogy a nem-lineris egyenletnek van ilyen konstans
megoldsa.
y 0 = 0 = F (y0 )
ismeretlenre.
42
Fi (y0 ) + ...7
yj
Fi
(y0 )
yj
Fi
(y0 )
yj
gy pedig
vi0 = vj
Fi
Fi
(y0 ) =
(y0 )vj = vi0
yj
yj
Rij ej x cj
Rij
Fi
(y0 )
yj
Fi
(y0 )
yj
43
Elfordulhat a kvetkez:
Fi (y) =
(y)
yi
2
(y )
yi yj 0
A xpont a kvetkez:
Fi (y 0 ) = 0 =
(y )
yi 0
7.1.1.
2 dimenzis pldk
44
Ha az Im() 6= 0, akkor
Kt pozitvra a pontbl kifel taszts csigaalakban.
Kt negatvra a pontba befel vonzs csigaalakban.
Az egyik pozitv, a msik negatv: ilyen nem lehet.
7.1.2.
Pldul
x t, (y1 , y2 ) (u, v)
du
= u(v 1)
dt
dv
= 4 u2 v 2
dt
A msodik egyenletbl
u = 0, v = 2. Ezt visszahelyettestve az elsbe
v = 1, u = 3
Ez j, hiszen ebbl 4 xpontot kapok!
p1 = (0, 2)
p2 = (0, 2)
p3 = ( 3, 1)
p4 = ( 3, 1)
45
Fu
=u
v
Fv
= 2u
u
v1 u
Aij =
2u 2v
3 0
0 4
0
3
A(p3 ) =
2 3 2
0
A(p4 ) =
2 3 2
1,2
0
3
2 3 2
2 + 2 + 6 = 0
2 4 24
=
= 1 i 5
2
Megjegyzsek:
A xpontok krl vannak vonzsi, vagy tasztsi tartomnyok.
Vonzsi, vagy tasztsi tartomnyokat szepartrixok vlasztjk el.
Globlis informcit nyernk az sszes x pont krli loklis vizsglatbl.
8.
Nyolcadik elads
8.1. Emlkeztet
Elsrend dierencilegyenlet 1 paramteres grbesereg! Az elsrend differencilegyenlet ltalnos megoldsa y(x, c). Mivel mi msodrend egyenletekkel
foglalkoztunk, ezek ltalnos megoldsa y(x, c1 , c2 ).
46
som a dierencilegyenletre, az felfoghat gy, mint grbesereg. Nzzk meg hogyan megy ez visszafel! Az egyik oldalon lesz egy msodrend dierencilegyenlet
F (x, y, y 0 , y 00 ) = 0, valamint ennek egy ltalnos megoldsa (x, y, c1 , c1 ). Ez kapcsolatban van a 2 paramteres grbeseregekkel: (x, y, c1 , c2 ). Miutn ezt letisztztuk,
tovbblphetnk. Az egyenletbl a grbesereg fel mutat irny nyilvnval, ezrt
most a msik irnyt nzzk meg!
8.2.1.
8.2.2.
Pldn keresztl
y = c1 x + c2 ex
A msodikbl:c2 = y 00 ex .
Az elsbl: y 0 = c1 + y 00 , amibl c1 = y 0 y 00 .
A harmadikbl pedig: y = (y 0 y 00 )x+y 00 , ahogy vrtuk, ebbl felrhat a lineris
dierencilegyenletnk:
y 00 (1 x) + xy 0 y = 0
8.2.3.
Az alapproblmnk: szeretnnk felrni egy dierencilegyenletet, ha megadtak neknk egy alaprendszert. Ez plusz pontos ZH-feladat is volt 2012-ben. Legyen teht
adott (f1 (x), f2 (x)). Tudjuk, hogy W 6= 0.
Az els egyenletnk:
y = c1 f1 (x) + c2 f2 (x)
A msodik:
A harmadik pedig:
y 0 = c1 f10 + c2 f20
y 00 = c1 f100 + c2 f200
Ebbl
0
1
y
f2 f2
c1
=
0
0
f
f
y
c2
W
1
1
f20 y f2 y 0
W
c2 =
f2 y 0 f20 y
W
48
8.2.4.
x c1 + (y c2 )y 0 = 0
1 + y 02 + (y c2 )y 00 = 0
x y 0 (1 + y 02 )
y 00
1 + y 02 + yy 00
y 00
u
u
+ (t, x, u)
(t, x, u) = 0
t
x
Itt a gamms rsz az inhomogn tag, az (t, x, u), (t, x, u), (t, x, u)-k pedig tetszleges fggvnyek.
Az ilyen tpus egyenleteket a karakterisztikk mdszervel oldjuk meg.
49
8.3.2.
Karakterisztikk mdszere
u
t
u
x
Ami a jobb oldalon van, az a kt fggetlen irnyba vett derivlt, ebbl megkapjuk
az rintskot. A fellet rintsk normlisa:
u
t
u
x
1
t x u
, ,
s s s
= (, , )
u
u
u u
, , 1 =
+
=0
t x
t
x
1.
t(s) = f1 (s c1 , c2 , c3 )
2.
x(s) = f2 (s c1 , c2 , c3 )
3.
u(s) = f3 (s c1 , c2 , c3 )
Kilencedik elads
51
d2
=0
ds
1 dt 1 dx 1 du
+
+
=0
t ds
x ds
u ds
A grbe mentn vettk a derivltat. Az egyenletet trjuk, felhasznlva hogy szerepelnek benne az , , rtkek.
1
1
1
+
+
=0
t
x
u
(1 , 2 )
=0
t
Itt azrt parcilisan szmolunk, mert csak t szerint kell derivlni!
Itt mr azrt teljes derivltat nznk, mert minden t fggst gyelembe kell vennnk!
1 1 u
2 2 u
+
+
+
=0
1 t
u t
2 t
u t
1
1 u
1
1 u
1
+
+
+
+
x
u x
t
u t
2
2 u
2
2 u
=0
+2
+
+
+
x
u x
t
u t
1
1 u
1 u
2
2 u
2 u
1
+
+
+ 2
+
+
=0
u
u x
u t
u
u x
u t
52
Azt hasznltuk ki, hogy a 1 , 2 rtkek a grbe mentn nullk, ki lehetett vltani
nhny rtket az egyenletbl.
1
1
u
u
u
2
u
u
+
+ 2
+
=0
t
x
u
t
x
1
2
u
u
1
+ 2
+
=0
u
u
t
x
u
u
t
x
=0
9.1.1.
u
u
+
=
t
x
Megoldsi mdszerek
d
ds
53
du
= (t, x, u)
ds
Kt egyenletprt kivlasztva, hnyadost kpezve s eliminlhat! Figyeljnk arra, hogy nincs ltalnos recept. gy rdemes elvgezni az osztst,
hogy knny legyen szmolni a maradkkal. A mi pldnkban legyen ez:
du
(t, x, u)
=
dt
(t, x, u)
dx
(t, x, u)
=
dt
(t, x, u)
54
Ismtlem: mindegy mit osztok mivel, mindig azt, amivel aztn a legknnyebb dolgozni!
9.1.2.
vnyt tartalmaz. Kznsges dierencilegyenletek esetn vges sok, tetszleges konstans szerepel a megoldsban.
Ebben a tmakrben teljes fggvnyekrl kell megmondani, hogy milyenek
legyenek, ezrt vgtelen felttelt kell kirni az ltalnos megolds partikulriss
ttelhez.
u(t, x) ltalban egy grbe mentn kell kell megmondani a megoldst, hogy
9.1.3.
Pldn keresztl
2u
=0
xy
u
y
=0
55
u
= c(y)
y
Errl tudom, hogy x-tl biztos fggetlen, viszont y -tl fgghet. Teht
u
= c(y)
y
Z
u(x, y) =
c(y)dy + c(x)
Legyen
u
y
= v(x, y).
v
= v(x, y)
x
56
u
y
u
2
= c(y)ex
y
c(y)dy ex + c2 (x)
57
Tudjuk, hogy:
c2 (0) = c2 (0) = a
Teht
c2 (x) = x2 + aex
A vgeredmny teht
2
Tizedik elads
szorzat alakban ttelezzk fel a megoldst. Akkor van esly arra, hogy mkdik, ha
az egyenlet a kvetkez alakra rhat:
f1 (T, T , ..., t) = f2 (X, X 0 , X 00 , ..., x)
Tegyk fel, hogy ilyen alakra hozhat. Ilyenkor sztvlaszthat. Ezzel ekvivalens
alak a
= f1 (T, T , ..., t)
= f2 (X, X 0 , X 00 , ..., x)
Ez kt kznsges dierencilegyenlet, ahol konstans. Ezek teljesen sztcsatoldnak, egyik sem tud a msikrl, csak egy kzs konstansban hasonltanak.
58
akkor
u(x, t) = X1 (x)T1 (t) + X2 (x)T2 (x)
is megolds!
Lineris esetben a sztvlaszthat Ansatz-bl ltalnosabb megoldsokat is
tudunk kapni.
10.1.1.
Plda 1
+
u=0
c t x
=
cT
X
59
Nevezzk el
egyenletre.
1 T
cT
= c1 -nek s
X0
X
1
T = c1 T T (t) = c2 ec1 ct
c
ahol a c rtkek tetszleges konstansok! Ha ezekbl kitallunk egy csom ci1 s ci2 ,
i = 1, 2, 3... szmot, akkor
u(t, x) =
Leosztunk a szorzattal
T
X 00
=
T
X
60
u(t, 0) = Cea t = 0 c = 0
2
u(t, L) = D sin(aL)ea t = 0
A D rtkt nem vlasztom nullnak, mert akkor az egsz megolds nulla lenne,
ezrt a sin(aL) = 0 kell teljesljn. Ebbl pedig
aL = N
aN =
N
L
ahol N egy egsz szm. A sztvlaszthatknl gyakran elfordul, hogy a hatrfelttel nem teljesen hatrozza meg a konstansokat, de ad egy j megszortst. Nzzk
meg mi maradt! Tudjuk, hogy N tetszleges, valamint DN tetszleges. gy a legltalnosabb megolds:
u(t, x) =
DN sin
N =1
N x
L
N 2 2
t
L2
X
N x
u(0, x) =
sin
= (x)
L
N =1
61
X
Z L
X
M
N x
L
L
M x
dx sin
dx =
DN
x sin
=
DN N,M = DM
(x) sin
L
L
L
2
2
0
N =1
N =1
Ez pedig egyenl
RL
0
x
(x) sin M
dx-el, teht
L
DM
2
=
L
dx(x) sin
M
x
L
DN sin
N =1
10.1.3.
2
N x ( M
t
L )
e
L
Harmadik plda
Ugyanazt az egyenletet vizsgljuk, csak most msik hatrral! Vegynk egy krgyrt. Az u(t, x) periodikus x-ben, L peridussal. Visszamegynk arra az alakra, ahol
mg nem rttuk ki, hogy az elejn s vgn nulla legyen a megolds.
A Fourier transzformcinl teht megszorzunk mindent a sin ML x -el s kiintegrljuk nulltl L-ig x-re.
2t
Az itt felbukkan szmok (a2 )-re diszkrt rtkek jttek ki. Mikor aN = 2N
, az
L
2N 2
d 2
ebbl gyrtott L
a dx opertor sajtrtkei a periodikus fggvnyeken.
Tbbnyire a szeparcis konstans valami bonyolult opertor sajtrtke.
10.1.4.
2D Laplace-egyenlet
u(x, y)
4u = 0
62
2
2
+ 2
x y
u=0
Vals megoldsokat keresnk s kt esetet fogunk vizsglni! Az els legyen az, mikor
egy krlapon vagyunk! Itt rdemes polrkoordintkban dolgozni! u = X(x)(y)bl legyen u = R(r)().
2u 2u
+
u(r, )
x2 y 2
2
2
1 2
u 2u
1
+
+
=
+
u(r, )
x2 y 2
r2 r r r2 2
Az msodik pedig
R0
R00
+r =
R
R
2 00
r R + rR0 = R
r2
Clszer a knnyvel kezdeni, htha ad majd valami megszortst a lambdra! Nzzk ht az elst.
00 =
Tudjuk, hogy a () periodikus, 2 peridussal. Ez a koordinta rendszer sajtossga. Emiatt a nem lehet pozitv.
<0
= a2
() = C sin(a) + D cos(a)
63
a vge pedig
() = C sin(N ) + D cos(N )
R = r
( 1) + N 2 = 0
2 N 2 = 0
1,2 = N
Folytassuk teht:
u(r, ) = R(r)()
u(r, ) =
RN (r)N () =
N =0
X
= R0 (r)0 () +
AN rN + BN rN [CN sin(N ) + DN cos(N )] =
N =1
= A0 + B0 ln(r) +
X
AN rN + BN rN [CN sin(N ) + DN cos(N )] = u(r, )
N =1
N =1
64
N =1
1
A0 =
2
1
CN =
1
Dn =
df ()
0
f () sin(N )d
0
f () cos(N )d
0
65