You are on page 1of 66

Etvs Lornd Tudomnyegyetem

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

A tavalyi elads ismereteit feleleventve tismteljk az egyszerbb dierencilegyenletek megoldsmenett.


Kznsges elsrend dierencilegyenletek. Az y(x) ismeretlen fggvny,
F
0
F (y 0 , y, x) = 0 az implicit alak. Ha y
0 6= 0 egy tartomnyon, akkor y = f (x, y)
az explicit alak. Ez a megolds ltalban egy szabad paramtert tartalmaz. Azt
a megoldst keressk, ami kielgti a kezdeti felttelt (ha van). Teht az ltalnos
megolds: van szabad paramter, partikulris megolds: nincs szabad paramter
(kezdeti felttel).
Magasabb rend dierencilegyenletek. Ismeretlen y(x),
az F (y n , y n1 , ..., y 00 , y 0 , y, x) = 0 implicit alak, n-ed rend kznsges dierencilegyenlet. Ha yF(n) 6= 0 egy tartomnyon, akkor y (n) = f (y (n1) , ..., y, x) explicit
alak n-ed rend kznsges dierencilegyenlet. A flv sorn fleg n = 2 esetekkel
foglalkozunk.

1.1. Msodrend kznsges dierencilegyenletek


F (y 00 , y 0 , y, x) = 0, ahol az y(x) vals rtk fggvnye a vals x-nek. Az explicit
alak ismt a szoksos mdon alakul: y 00 = f (y 0 , y, x), mi pedig ezt szeretjk, ezrt

ezzel fogunk foglalkozni. Vegyk szre, hogy

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

Magasabb rend egyenleteknl a szabad paramterek xlsra tbb mdszer van.


Megtrgyaljuk a kezdeti rtk problmt s a peremrtk problmt is.
Kezdeti rtk: Adott a dierencilegyenlet y 00 = f (y 0 , y, x), valamint a kezdeti
rtkre y(x0 ) = y0 s y 0 (x0 ) = v0 . Ez grakusan gy rtelmezhet, hogy

megadunk egy pontot a fggvny menetbl s az adott pontban az rint


meredeksgt.

Peremrtk problma: y 00 = f (y 0 , y, x), valamint y(x0 ) = y0 s y(x1 ) = y1 .


Itt arrl van sz, hogy az x0 pontban megadom a fggvnyrtket, de nem
mondok semmit a meredeksgrl, cserbe kiktk egy jabb pontot, az x1

rtknl, a fggvnynek pedig t kell haladnia ezen. A vgtelen megolds


kzl ez vlasztja ki azt, ami neknk kell.

Kezdeti rtk feladat megoldsnak ltezse s egyrtelmsge. Az y 00 =


f (y 0 , y, x) explicit alak egyenlet megoldsa ltezik1 s egyrtelm, ha az f fggvny
elg sima, illetve az y s y 0 szerinti parcilis derivltjai is elg simk.
Ttel. Ha f (y 0 , y, x) az (y 0 , y, x) vltozknak folytonos fggvnye egy |xx0 | < A,
|y y0 | < B , |y 0 y00 | < C tartomnyon az (x0 , y0 , y00 ) pont krl s ugyanitt mg az
is igaz, hogy |f (y 0 , y, x)| < M s |f (y 0 , y, x) f (y20 , y2 , x)| < K(|y1 y2 | + |y10 y20 |)
valamilyen M, K szmokkal, tovbb (a,b,c) olyanok, hogy a < A, b < B, c < C
s b > aM, c > sM , akkor az |x x0 | < a tartomnyon a kezdeti rtk problma
megoldsa ltezik s egyrtelm.

1 y(x

0)

= y0 s y 0 (x0 ) = y00 kezdeti felttelek mellett.

Megjegyzs: Az elz csak a kezdeti rtk problmra vonatkozik mert ez egy


loklis problma, szemben a peremrtkkel, ami globlis s ezrt igaz ltalban,
hogy sokkal nehezebb megoldani. Vegynk pldul egy gmbt. Kt pont kztt
szeretnk mozogni a legrvidebb ton. A vlasz egyszer, egy geodetikus mentn
kell mozognom, amit a kezdeti rtk problmval knnyen meg is tudok oldani, a
megolds pedig egyrtelm. Megmondom honnan indulok s milyen meredeksggel
teszem s ksz. A peremrtkkel nagyon nehz, mert pldul ha a kt pont nem
tellenes pontban van, akkor ltezik megolds, de kett. Ha tellenesbl indulok ki,
akkor ltezik megolds, de vgtelen sok.

1.2. Hinyos msodrend dierencilegyenletek


Az ltalnos egyenlet y 00 = f (y 0 , y, x). Tbb eset van, attl fggen, hogy melyik
vltoztl lesz fggetlen az egyenlet. Menjnk vgig rajtuk!
1.2.1.

X-tl fggetlen

y 00 = f (y 0 , y). Legyen y 0 = p(y)


y 00 =

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

Ez sztvlaszthat tpus, elsrend egyenlet.


Z

dy
=
p(y, c1 )

Z
dx

Az integrlt elvgezve
(y, c1 ) = x + c2

eredmnyre jutunk, ahol az integrl eredmnye. A megolds y -ra nzve implicit,


ltalnos megolds s van benne kt szabad paramter.
1.2.2.

Y-tl fggelten

y 00 = f (x, y 0 ), tovbb legyen y 0 (x) = v(x). Vegyk szre, hogy itt mr az x fggv-

nynek tekintem v-t (teht y-t is).

y 00 = v 0 = f (x, v)

Ez egy elsrend, kznsges dierencilegyenlet. Tegyk fel, hogy megtalltuk a


megoldst, azaz van egy v(x, c1 ).
v(x, c1 ) = y 0

Ez integrlva ide jutunk:


Z
y(x) =

v(x, c1 )dx + c2

Ez explicit alak, kt szabad paramterrel.


1.2.3.

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

Itt helyettestnk egyet: p2 (y) = u.


1 du
= 1+u
2 dy
1 du

= 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

Ekkor azonban esznkbe jut, hogy p = y 0 , ezrt megynk tovbb,


dy p
= (y + c1 )2 1
dx
dy
p
= dx
(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

Ebbl pedig c2 = 0 s c1 = ch(a). A partikulris megolds, ami eleget tesz a


peremfelttelnek:
y(x) = ch(x) ch(a)

Nem ms ez, mint a lncgrbe!


Msodik
mdszer (y-tl nem fgg). y 00 =

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

Ez az ltalnos megolds kt szabad paramterrel. Ugyanaz, mint az elz mdon.

1.3. Msodrend, lineris, kznsges dierencilegyenletek


Emlkeztetl letisztzzuk az elsrendt: a(x)y 0 +b(x)y = c(x). Az egyenlet lineris
y, y 0 , y 00 -ben, ha
a(x)y 00 + b(x)y 0 + c(x)y(x) = d(x)

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)

Homogn esetben az r(x) = 0, mg inhomogn esetben r(x) 6= 0. Trgyaljuk meg a


homogn esetet:
y 00 + py 0 + qy = 0

ltalnos megoldsban eljn kt konstans (c1 , c2 )


Ha y megolds, akkor y is megolds, minden R.
Ha y1 , y2 megolds, akkor y1 + y2 is megolds.

Az ltalnos megolds teht a kvetkez:


c1 y1 (x) + c2 y2 (x) = y(x)
2.

Msodik elads

Folytattuk azt, amit az els rn flbehagytunk, gy n is ezt teszem! A c1 s


c2 szintn linerisan szerepel az ltalnos megoldsban. Mivel y1 = y2 esetben
c1 y1 + c2 y2 = (c1 + c2 )y1 , nem is maradna meg a kt konstans, kell, hogy legyen
valami fggetlensgi felttel, hogy ltalnos megoldst kapjunk.
Denci: Az egyenlet
kt megoldst alapmegoldsnak nevezzk, ha (y1 ,y2 )


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

Teht jl mri azt, hogy nem fggenek ssze.


Ha a mtrix oszlopai linerisan fggetlenek determinns nem nulla.

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

rjuk fel ezt mtrixos alakban!



   
y1 (x0 ) y2 (x0 )
c1
y
= 00
y10 (x0 ) y20 (x0 )
c2
y0

Hogy ezt meg tudjuk oldani, invertlnunk kell a mtrixot!


 
 0
 
1
c1
y2 (x0 ) y2 (x0 )
y0
=
0
c2
y
(x
)
y
(x
)
y00
W (x0 )
1 0
1 0

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

y1 (x0 )y00 y10 (x0 )y0


y1 (x0 )y20 (x0 ) y2 (x0 )y10

y1 (x)y2 (x0 ) y2 (x)y10 (x0 )


y2 (x)y1 (x0 ) y1 (x)y2 (x0 )
+y00
0
0
y1 (x0 )y2 (x0 ) y2 (x0 )y1 (x0 )
y1 (x0 )y20 (x0 ) y2 (x0 )y10 (x0 )

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.

2.1. Ismert partikulris megolds


Ha ismert a homogn egyenlet egy partikulris megoldsa (y1 ), akkor az alaprendszer
meghatrozhat a Wronski-determinns segtsgvel (y2 ).
W (x) = y1 y20 y10 y2

Ez kielgt egy egyszer dierencilegyenletet:


W 0 = y10 y20 + y1 y200 y20 y10 y2 y100 = y1 y200 y2 y100 =
00
0
Itt kihasznljuk, hogy y1 , y2 megolds, teht:y1,2
+ py1,2
+ qy1,2 = 0, a fenti egyenlet
teht a kvetkezkppen alakul:

= y1 (py20 qy2 ) y2 (py10 qy1 ) = ... = pW

A Wronski-determinns teht kielgt egy elsrend, lineris, homogn dierencilegyenleletet:


W 0 + pW = 0

dW
+ pW = 0
dx

Ezt kiintegrlva pedig

Z
lnW =

p(x)dx + lnC1

W (x) = C1 e

p(x)dx

Bejn teht egy tetszleges konstans. Most pedig hasznljuk a Wronski-t:


W (x) = y1 y20 y10 y2

itt csak y2 ismeretlen, nevezzk el ezt y -nak, teht y2 = y . gy


y1 y 0 yy10 = C1 e

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

Ezt leosztjuk y1 y -al.

y 0 y10

=0
y
y1
(ln y)0 = (ln y1 )0
ln y = ln y1 + ln c2

Az ltalnos megolds teht:


y(x) = c2 y1 (x)

Kszen vagyunk, most trjnk t az inhomogn egyenlet egy partikulris megoldsra. Hasznljuk az llandk varilsnak mdszert!
y = c2 (x)y1 (x)

Az llandt x-fggnek tekintem, s megprblom megoldani az egyenletet.


y 0 = c02 y1 + c2 y10

Most ezt tegyk be az inhomogn egyenletbe, ami az


y1 y 0 y10 y = W
y1 (c02 y1 + c2 y10 ) y10 c2 y1 = W
c02 y12 = W (x)
Z
W (x)
c2 (x) =
dx
y12 (x)

10

gy az inhomogn egyenlet ltalnos megoldsa:


Z

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) +

Teht: Ha a msodrend, lineris, homogn egyenlet egy megoldsa ismert (y1 ),


akkor a tle fggetlen y2 megkaphat.
Z
y2 (x) = y1 (x)

R2

p(x0 )dx0

y12 (x)

dx

gy maga az ltalnos megolds is megkaphat. Megjegyezzk, hogy az eredeti


y1 (x) megolds gy kaphat meg, ha c1 = 0 s c2 = 1. A c1 szabad konstans
a Wronski-determinnsra vonatkoz egyenlet integrlsakor jtt el, a c2 az y2 -re
vonatkoz elsrend dierencilegyenlet integrlsakor. A msodrend egyenletet
visszavezettk kt elsrendre.
2.1.1.

Pldn keresztl

Legyen a dierencilegyenletnk:
y 00 + 2xy 0 + x2 y = 0

Mi az ltalnos megolds? Ez egy homogn lineris, msodrend egyenlet. Tudjuk,


hogy p = 2x s q = x2 , ez viszont mg kevs, gy nem tudjuk megoldani. Vax2
laki azonban megsg neknk egy partikulris megoldst: y1 (x) = e 2 +x . Elszr
ellenrizzk le, hogy ez tnyleg megolds-e?
y10 = (x + 1)e
y100 = e

x2
+x
2

+ (x + 1)2 e

x2
+x
2

x2
+x
2

= ... = x(x 2)e

x2
+x
2

Ezt most helyettestsk be az egyenletbe. n nem rom ki az egszet, gondolom


mindenki be tudja helyettesteni, a legutols alak:
e

x2
+x
2

(x2 2x + 2x + x2 ) = 0

Teht minden ok! Nzzk a Wronski-t.


W 0 (x) + pW = 0
W 0 + 2xW = 0
dW
= 2xdx
W

11

lnW = x2 + lnC

gy pedig

W (x) = c1 ex

Ez neknk remek, mert nem nulla! Vezessk be az y = y2 jellst s menjnk tovbb.


Wronski:
2
y1 y 0 y10 y = 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

Most ttrnk az inhomognre! Ismt derivlni kell, hiszen az llandk varilsnak


mdszert alkalmazzuk.
yi (x) = c2 (x)y1 (x) = c2 (x)e
yi0 (x) = c02 (x)e

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

Ebbl megkapjuk c02 fggvnyt, amit visszaintegrlva


c2 (x) =

c1 2x x2 +x
c1 x2
e e 2
= e 2 x
2
2

A teljes megolds teht


y(x) = c2 e

x2
+x
2

+ c1 e

x2
x
2

2.2. Msodrend, lineris, inhomogn dierencilegyenlet


Az egyenlet, mellyel foglalkozni kell:
y 00 + p(x)y 0 + q(x)y = r(x)

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

Ezt alaktgatjuk egy kicsit, mg eljutunk a kvetkez alakig


c001 y1 + 2c01 y10 + c002 y2 + 2c02 y20 + p(c01 y1 + c02 y2 ) = r

Mivel p tetszleges lehet, kveteljk meg, hogy


c1 y 1 + c2 y 2 = 0

tovbb azt, hogy

c001 y1 + c01 y10 + c002 y2 + c02 y20 = 0

Alaktsuk tovbb az egyenletet ezekkel a kiktsekkel


(c001 y1 + c01 y10 + c002 y2 + c02 y20 ) + (c01 y10 + c02 y20 ) = r

Az elz kiktsekkel pedig

c1 y10 + c02 y20 = r


c01 y1 + c02 y2 = 0

Ez trhat mtrixos alakba:




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 =

lnos megoldsa teht:

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 )

Ne felejtsk el, hogy y1 , y2 az alapmegolds a homogn egyenletbl.


13

3.

Harmadik elads

3.1. Green-fggvny
Mire is hasznlom? Ha van egy msodrend, lineris, inhomogn dierencilegyenletem peremfelttellel
y(a) = 0 = y(b)

, akkor j trkk a Green-fggvny mdszer. Nzzk az egyenletet a peremfelttellel


egytt:
y 00 + py 0 + qy = r

s
y(a) = 0 = y(b)

Az y1 ,y2 ismert a homogn egyenletbl. Az inhomogn ltalnos megoldsa:


y(x) = c1 y1 + c2 y2 + f1 (x)y1 (x) + f2 (x)y2 (x)

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 ttesszk mtrix alakba, majd valami hasonlra jutunk:



  0  
0
y1 (x0 ) y2 (x0 )
f1
=
0
0
0
f2
r
y1 (x0 ) y2 (x0 )

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)

Ezt mg persze ki kellene integrlni, hogy tnyleges eredmnyt kapjunk


Z
f1 (x) =
Z
f2 (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 )

Ne feledjk, hogy az (y1 , y2 ) egyelre tetszleges alapmegolds. Mivel minket a


peremrtk problma rdekel,
y(a) = 0
y(b) = 0

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 )

Ez a kt felttel lehetv teszi, hogy megtallhassuk c1 s c2 konstansokat, mgpedig


Z
c1 =
Z
c2 =

y2 (x0 )r(x0 ) 0
dx
W (x0 )
a

y1 (x0 )r(x0 ) 0
dx
W (x0 )

Az inhomogn egyenlet peremrtk-problmt kielgt megoldsa


Z
y(x) = y1 (x)

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 )

Alaktsuk tovbb az egyenletet



Z x
y2 (x0 )r(x0 ) 0
y2 (x0 )r(x0 ) 0
y(x) = y1 (x)
dx
dx +
W (x0 )
W (x0 )

Z a
Z x
y1 (x0 )r(x0 ) 0
y1 (x0 )r(x0 ) 0
+y2 (x)
dx
dx =
W (x0 )
W (x0 )
R
R
R
Emlkezznk meg arrl, hogy ab f (x)dx ac f (x)dx = cb f (x)dx
Z

= 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

Az trtnt, hogy az y1 s y2 bejtt az integrl jel al. Hogy nz ki a vgeredmny?


gy kapom meg,
hogy elmegyek a-tl x-ig, majd onnan
a b-ig. Ha az a < x0 < x,
y2 (x)y1 (x0 )
y1 (x)y2 (x0 )
0
akkor W (x0 ) , ha az x < x < b, akkor pedig W (x0 ) .
Teht az egszet felfoghatom gy, mint
Z
y(x) =

G(x, x0 )r(x0 )dx0

ahol G a Green fggvny, amire teljesl, hogy


G(x, x ) =

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.

G(x, x0 )r(x0 )dx0

y(x) =
a

A Green fggvnyek hasznosak ms lineris problmkban is, pldul parcilis


dierencilegyenlet-rendszereknl.
Azrt is j mg, mert y(x) lineris r(x)-ben.

17

3.1.1.

Pldn keresztl

A vizsgland egyenlet legyen a


x2 (x 1)y 00 + x(x + 1)y 0 y = x

Hogy knnyebb legyen kezelni, leosztjuk x2 (x 1)-el.


y 00 +

x+1 0
1
1
y 2
y=
x(x 1)
x (x 1)
x(x 1)

gy a p, q s r rszek mr szpen felismerhetk. Ennyi informcival nem tudjuk


megoldani ezt az egyenletet, m ekkor jn a kis segdnk s megsgja, hogy a
homogn egyenlet egy megoldsa:
y1 (x) =

x
x1

Keressk meg azt a megoldst, ami eleget tesz a peremfelttelnek:


y(1/2) = y(1/4) = 0

Tudjuk, hogy

W 0 + pW = 0

Ezt a dierencilegyenletet knnyen megoldhatjuk, hiszen sztvlaszthat tpus. A


p helyre berjuk annak rtkt, sztvlasztjuk, kiintegrljuk.
Z

dW
=
W

W (x) = c1

x+1
dx
x(x 1)
x
(x 1)2

A homogn egyenlet megoldsa teht: yh = c2 y1 (x)


Az inhomogn pedig yi = c2 (x)y1 (x), teht ismt az llandk varilsnak mdszervel oldjuk meg!
c02 (x)

Ebbl c02 (x) =

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

Vegyk gyelembe, hogy a kezdeti felttelnkbl keressk azokat a c-ket, melyek


azt kielgtik, teht a c rtkek is a fggek lesznek. Ezzel a tudssal
y(a) =

a
[c2 + c1 ln(a)]
a1

Ez viszont nulla, teht


c2 = c1 ln(a)

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

Ebbl kiszedhet, amit kerestnk: c1 = a 1 s c2 = (1 a)ln(a). gy felrhat a


kvetkez
x
x
x
[(1 a)ln(a) + (a 1)ln(x)] =
(a 1)ln
y1 (x) =
x1
x1
a


x
x
y2 (x) =
(b 1)ln
x1
b
Megjegyezzk, hogy a = 1/4 s b = 1/2. Megkaptuk a homogn egyenlet olyan

alapmegoldst, ami a pont j kezdeti felttelt tudja. Ebbl mr lehet Green-t


szmolni. Viszont, ehhez elssorban kelleni fog a Wronski-determinns is!
W (x) = y1 y20 y2 y10 = ... = x

(a 1)(b 1) b
ln
(x 1)2
a

Persze most is lesz a Green-fggvnynek a kt vltozata:

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)

rdemes a fggvnyeket meghagyni paramteresen, teht meghagyni a-nak s b-nek,


mert gy ltszik, hogy mit-mire kell lecserlni. Ugye az van, hogy mindig elg az
egyiket megcsinlni a Green-nl, hiszen a msik ugyanaz, csak mindig cserlgetjk
az a-t b-re. Kicsit kiegyszerstjk a dolgot, hogy egyszerbb legyen hasznlni.
G(x, x0 ) =

x
ln(x/b)ln(x0 /a)(x0 1) x1

, ha a < x0 < x

ln(b/a)

ln(x/a)ln(x0 /b)(x0 1) x1 , ha x < x0 < b


ln(b/a)

Megvan a Green-fggvny! gy nekiugorhatunk az y -nak.


Z
y(x) =

b
0

G(x, x )r(x )dx = y(x) =


a

x
0

G(x, x )r(x )dx +y(x) =


a

19

G(x, x0 )r(x0 )dx0

r(x) =

1
x(x 1)

Helyettestsnk be mindent szpen:



Z x
1
x0 0
x
1
x
0
y(x) = b
dx +
ln( )ln( )(x 1)
b
a
x 1 x0 (x0 1)
ln a a

Z b
1
x
x0 0
1
x
0
+ b
dx
ln( )ln( )(x 1)
a
b
x 1 x0 (x0 1)
ln a x

Itt fejeztk be mltkor, innen folytatom...


4.

Negyedik elads

4.1. Green fggvny tovbbi tulajdonsgai


G(x, x0 ) =

y2 (x)y1 (x0 )
0

W (x0 ) , ha a < x < x

y1 (x)y2 (x0 )
W (x0 )

, ha x < x0 < b

Szeretnnk megvizsglni a fggvny menett. Els krben rtelmes a krds,


hogy folytonos-e x = x0 -ben? Ehhez meg kell vizsglnunk ennek az x pontnak a
krnyezett. Vesznk egy megfelelen kicsi rtket, s ezzel vizsgldunk. Termszetesen megynk majd jobbrl s balrl is bele az x-be.
G(x, x ) =

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

Szeretnnk 0 megnzni a derivltak folytonossgt, hiszen ezt fontos tudni. Nzzk,


)
hogy dG(x,x
folytonos-e x = x0 -ben? Ne feledjk el, hogy csak egy argumentumot
dx
derivlunk s ez az x. Az x0 bkn van hagyva.
dG(x, x0 )
=
0
dx
x (a,x)
dG(x, x0 )
=
0
dx
x (x,b)

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

Rendben, ezek utn nzzk meg, hogy a kt derivlt egyenl-e?


dG(x, x0 )
dG(x, x0 )
y20 (x)y1 (x0 )
y10 (x)y2 (x0 )

=
0
0


dx
dx
W (x0 ) x0 (a,x)
W (x0 ) x0 (x,b)
x (a,x)
x (x,b)

Most eleventsk fel, hogy az x0 nem ms, mint az x s x + rtkek s azt se


feledjk el, hogy az epszilon nullhoz tart!
=

y20 (x)y1 (x) y10 (x)y2 (x)

=1
W (x)
W (x)

Hiszen ami a kt szmllban van, az nem ms, mint a Wronski-determinns


de0)
ncija: y20 (x)y1 (x) y10 (x)y2 (x). Kimondhat teht, hogy a dG(x,x
-nek
ugrsa
dx
van x = x0 helyen, hiszen az rtk, amit kaptunk, nem nulla. Mi a helyzet a
msodik derivlttal? Ha egy olyan fggvnyt derivlunk msodszor, ami az els
derivltjban ugrik, akkor a msodik valsznleg vgtelen lesz. Helyettestsk be
a Green-fggvnyt egy msodrend dierencilegyenletbe. Hogy mirt tesszk ezt,
azt mg nem tudjuk, de nemsok kiderl. Az egyenlet legyen y 00 + py 0 + qy alak.
Helyettestsnk.
dG
d2
G(x, x0 ) + p(x) (x, x0 ) + q(x)G(x, x0 ) =?
2
dx
dx

Hogy knnyebb legyen az letnk, vezessnk be egy j jellst:


 2

d2
d
d
d
y + p(x) y + qy =
+ p(x) + q(x) y(x)
dx2
dx
dx2
dx

Ez a szgletes zrjelben szerepl kifejezs egy msodrend dierencil opertor,


ami x-ben operl. rjuk ki ismt, mirl is van sz s nevezzk el valahogy. Legyen

d2
d
+ p(x) + q(x)
K=
dx2
dx


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

Most a msik esetet vizsgljuk, ahol x0 (x, b)


G(x, x0 ) =

y1 (x)y2 (x0 )
(y1 )(x)y2 (x)
=
=0
0
W (x )
W (x0 )

Hiszen y1 is kielgti a homogn egyenletet.


Vegyk szre, hogy G(x, x0 ) = 0,ha x0 6= x. Krds azonban mg, hogy mi van
akkor, mikor x = x0 ? Ennek eldntsre ki kellene szmolnunk egy ilyen integrlt
(hogy segtsek magamon, bevezetek kt rvidtst. Legyen A = x + s B = x .
rvnyessgk ez az alfejezet.):
Z

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

Ugye, a megoldsban elklnl hrom rsz, hiszen szndkosan gy rtam. Az els


egy lesz, mert ott a derivlt ugrsa miatt egyet kapunk, ezt elbb kiszmoltuk. A
msodik nulla, hiszen mikor berjuk a behelyettestsi rtkeket, megkapjuk, hogy
a fggvny klnbsge nulla, hiszen ott folytonos. A harmadik tag (az integrlos)
pedig azrt nulla, mert az egy nulla szlessg integrl, teht
=1+0+0=1

szrevtelek

RA
B

G(x, x0 )dx0 = 1, ha epszilonnal a nullba tartunk.

G(x, x0 ) = 0, ha az x 6= x0 .
G(x, x0 ) = (x x0 ). (Dirac-delta)

A Green-fggvny mdszernek sszefoglalsa


Adott a dierencilegyenletnk s a hozz tartoz peremrtkek.
y 00 + py 0 + qy = r

Keressk az y fggvnyt, merre y(a) = y(b) = 0. Valaki jn s segt neknk egy


homogn egyenlet megoldssal, mert mshogy nem menne, teht kapunk egy y1 (x)
tippet.
Kiszmoljuk a Wronski-determinnst.
y1 y 0 yy10 = W egyenletbl megkapjuk y = y2 -t.
Ezek alapjn megvan az (y1 , y2 ) alaprendszert.
y1 = {y(x), y (a) = 0; y 0 (a) = 1}
y2 = {y(x), y (b) = 0; y 0 (b) = 1}

22

Ebbl mr ssze lehet rakni a Green-fggvnyt:


( y (x)y (x0 )
2
1
, ha a < x0 < x
W (x0 )
0
G(x, x ) = y1 (x)y2 (x0 )
, ha x < x0 < b
W (x0 )
Nem marad ms, mint az inhomogn egyenlet megoldsa: y(x) =

Rb
a

G(x, x0 )r(x0 )dx0

4.2. Euler-fle dierencilegyenletek


Az ltalnos formula a kvetkez
ax2 y 00 + bxy 0 + cy = r(x)

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

Keressk az y = x megoldst, ezrt behelyettestnk az egyenletbe.


y 0 = x1
y 00 = ( 1)2
x2 y 00 = ( 1)x
xy 0 = x
y = x

Ezt behelyettestve az egyenletbe: a( 1)x + bx + cx = 0, amit leosztunk


x -nal. Ebbl a kvetkez jn ki: a2 + (b a) + c = 0, amit trendeznk s
eljutunk a vgeredmnyhez
a2 + (b a) + c = 0

Ebbl tipikusan kt gykt kapunk:


1,2 =

ab

p
(b a)2 4ac
2a

Hrom alapvet esetet klnbztetnk meg. Vegyk ket sorban!


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

Persze, ez akkor igaz, ha 1 6= 2


Alaprendszernk:

(y1 = x1 , y2 = x2 )

A homogn egyenlet ltalnos megoldsa teht


y(x) = C1 x1 + C2 x2

2. Egy vals gyk (degenerlt eset)


Ilyenkor = 1 = 2 . Az egyik megoldst tudjuk: y1 (x) = x , ebbl meg
tudjuk hatrozni a msikat. Ezzel foglalkoztunk eddig, a Wronski-determinns
segtsgvel megkaphat az y2 . Mi azonban bemutatunk egy msik, j mdszert:
1 = , 2 = + , 6= 0
y = C1 x + C2 x+

A kett klnbzik, teht fggetlenek. A klnbsg is megolds, mert lineris


az egyenlet, le is oszthatom epszilonnal, akkor is megolds lesz.
x+ x
= y(x)

Teht, a fenti egyenlet is megolds minden -ra. Nzzk meg, mit ad ez?




x+ x
x 1
=
=x

Ez a tag ln(x)-hez tart, gy


= x

eln(x) 1

Ezt most szpen sorba fejtjk s a vge az lesz, hogy


x ln(x) + O()

viszont mivel az 0 hatresetet vizsgljuk, a szmolsunk vge


= x ln(x)

A kt megoldsunk teht

y1 (x) = x
y2 (x) = x ln(x)

az (y1 , y2 ) alaprendszer, ha a gykk egybeesnek.


24

3. Komplex konjuglt prok


A kt gyknk a kvetkez
1 = + i
2 = i

Legyen megolds a

y1 = x1 = x+i
y2 = x2 = xi

Az a gond, hogy vals fggvnyre komplex megoldst kaptunk, hiszen az x s


y valsak voltak. Viszont ha megnzzk, hogy az egyik megoldsunk az x+i ,
a msik pedig a xi , kijelenthetjk, hogy az sszegk is megolds, ez pedig
mr vals.


x+i + xi = x eiln(x) + eiln(x) = x 2cos(ln(x)) = y1 (x)

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

Konstansok nem is kellenek. A kt megolds teht:


y1 = x cos(ln(x))
y2 = x sin(ln(x))

Ez pedig az Euler-fle homogn msodrend dierencilegyenletek alaprendszert kpezik akkor, ha a gykk komplex konjuglt prok.

4.3. Msodrend, lineris, vltoz egytthatj dierencilegyenletek megoldsa sorfejtssel


Az alapegyenlet, amibl kiindulunk:
y 00 (x) + p(x)y 0 (x) + q(x)y(x) = r(x)

Az y(x)-et Taylor sor alakjban keresem


y(x) = x

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)

, ahol a(x), b(x), c(x), d(x) polinomok.


Nzznk egy pldt:
4x2 y 00 + 4xy 0 + (x2 1)y = 0
y(x) = xq

C m xm =

m=0

Cm xm+q

m=0

alak megoldst keresnk. Meg kell hatrozni az egytthatkat!

y 0 (x) =

(x + q)xm+q1

m=0

00

y (x) =

(m + q)(m + q 1)Cm xm+q2

m=0

4x2 y 00 = 4

(m + q)(m + q 1)Cm xm+q

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

sszegyjtjk az x-ben kzs kzs hatvnyokat:

xm+q [4(m + q)(m + q 1)Cm + 4(m + q)Cm Cm + Cm2 ] = 0

m=0

C2 = 0
C1 = 0
[4(m + q)(m + q 1) + 4(m + q) 1] Cm + Cm2

Kiemeljk 4(m + g)-t


4(m + q)2 1 Cm + Cm2

26

(2(m + q) 1)(2(m + q) + 1)Cm + Cm2 = 0


Cm =

Cm2
(2(m + q) 1)(2(m + q) + 1)

Persze, kssk ki, hogy m 2, mert gy m nem negatv. Abban az esetben, ha


m < 0, akkor m = 0 esetn 4q 2 1 = 0, m = 1 esetn pedig 4(1 + q)2 1)C1 = 0.
Ebbl a kt egyenletbl mr meghatrozhat a q rtk, a tbbibl pedig a C -t tudjuk
meghatrozni.
Jegyezzk meg, hogy alacsony hatvnyokbl (m = 0, 1, 2)hatrozzuk
meg a q rtket, majd q x s a magasabb, vgtelen sok hatvnybl hatrozzuk meg C -ket rekurzvan.
5.

tdik elads

5.1. Specilis fggvnyek


5.1.1.

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

y 00 (x) = p(p 1)xp2 u + 2pxp1 u0 + xp u00

Ezeket be kell helyettesteni az (1) egyenletbe:


p(p 1)xp u + 2pxp+1 u0 + xp+2 u00 + xp+1 u0 + (x2 p2 )xp u = 0

sszeszedjk a tagokat
xp+2 u00 + xp+1 u0 (1 + 2p) + uxp (p(p 1) + p + x2 p2 ) = 0

Ezt most leosztjuk szpen xp -el


x2 u00 + xu0 (1 + 2p) + ux2 = 0

Most pedig leosztunk x-nel is.


xu00 + u0 (1 + 2p) + ux = 0

27

Most szedjk ssze mit fogunk hasznlni:


u(x) =

C m xm

m=0

u (x) =

mCm xm1

m=0

u00 (x) =

m(m 1)Cm xm2

m=0
00

xu (x) =

m(m 1)Cm xm1

m=0

xu(x) =

Cm xm+1

m=0

sszegeztk mivel dolgozunk, rjunk be mindent a helyre:

m(m 1)Cm xm1 + (1 + 2p)

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

Hozzuk az sszes tagot xn alakra:

(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

xm [m(m + 1)Cm+1 + (1 + 2p)(m + 1)Cm+1 + Cm1 ] = 0

m=1

Minden koeciensnek nullnak kell lenni, hogy ez az egyenlsg teljesljn.


m(m + 1)Cm+1 + (1 + 2p)(m + 1)Cm+1 + Cm1 = 0, m 1
(m + 1)Cm+1 (m + 2p + 1) + Cm1 = 0

28

Cm+1 =

Cm1
(m + 1)(m + 1 + 2p)

Annak rdekben, nehogy nullval osszunk, ki kell ktni, hogy m + 1 + 2p 6= 0, teht


m 1 esetn p 6= 1 m. Ne feledjk el, hogy az m = 0 esetre is volt mr egy
relcink, miszerint
(2p + 1)c1 = 0
p 6= 1/2

ebbl pedig a c1 = 0. Mivel c1 = 0 c3 = 0 c5 = 0, megkapjuk, hogy


c2m+1 = 0

Mit mond neknk a c0 ?


c2 =
c4 =

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)

Ebbl valahogy kikombinljuk az ltalnos rekurzis formult c2m -re.


C2m =

(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

alaprendszer kt fggvnybl az egyik Taylor-sorba fejthet 0 krl, a msik pedig

29

nem (hiszen akkor arra is kaptunk volna szabad paramtert3 ) Hogy megknnytsk
a dolgunkat, bevezetjk a gamma fggvnyt.
(z + 1)

rtke pedig z!, ha z egsz szm, analitikus kiterjeszts, ha z / N

et tz1 dt

(z) =
0

Innen pedig (z + 1) = z!, ha z egsz.


llts:
(p + 1)(1 + p)...(m + p) = (p + m + 1)
(1 + p)...(m + p) =

(p + m + 1)
(p + 1)

Ezzel a gammval lehet egyszersteni.


1
Tudjuk, hogy c0 = 2p p(p+1)
y(x) = xp u(x) =

(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

Ez volt a Bessel, negatv n-re. Toljuk el az sszegz indexet!

 x 2m+n
(1)m+n
=
(m + n(!(m + 1) 2
m=0
3 Hiszen

msodrend egyenletre kt paramtert vr az ember a.

30

cserljk ki a faktorilist a gammval

 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

= (1)n Jn (x) = Jn (x)

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) =

p Z esetn csak egy megoldsunk van. Krds, hogy mi a msodik?


Np (x) =

Jp (x) cos(p) Jp (x)


,p
/Z
sin(p)

31

ilyenkor, p n esetn, a L'Hospital szably szerint




1 Jp (x)
n Jp (x)
Nn (x) =
(1)

p
p

llts: p = n, p Z alaprendszert alkot (Jn (x), Nn (x)), tovbb Nn (x) =


(1)n Nn (x)

A mdostott Bessel fggvny:


p

Ip (x) = ei 2 Jp (e 2 x) =

1
x p+2m
m!p(p + m + 1) 2
m=0

Az Ip egy dierencilegyenletet elgt ki:


x2

d2 y
dy
x (x2 + p2 )y = 0
2
dx
dx

Teht, y(x) = Ip (x).


Ha p
/ Z, akkor Ip (x), Ip (x) alaprendszer.
Ha p Z, be kell vezetni a harmadfaj, mdostott Bessel-fggvnyt.
Kp (x) =

[Ip (x) Ip (x)]


2 sin(p)

Ha p = n, p Z, szintn L' Hospital szably alkalmazsval




(1)n Ip (x) Ip (x)
Kn (x) =

2
p
p

Az (In (x), Kn (x)) alaprendszer.


Rekurzis relcik:

p
Jp (x) Jp0 (x)
x
p
= Jp (x) + Jp0 (x)
x

Jp+1 =
Jp1

Ha ezeket szpen sszeadjuk, akkor


Jp1 + Jp+1 =

2p
Jp (x)
x

Rendben, mg tesznk pr lltst s lassan itt a vge, szval: lltsok


Jp (x)-nek sok zrushelye van!
Zrushelyek nem torldnak.

32

Legyen Jp (x) = 0, tovbb x = 1 , 2 , .... Teljesljn, hogy 1 < 2 < 3 ...

Ezek utn nzzk a kvetkezt: Jp (1 x), Jp (2 x), ..., Jp (i x) egy fggvnyrendszer.


Ez a rendszer a (0, 1) intervallumon ortogonlis fggvnyrendszer
R
a (x) = x slyfggvnyre nzve.
1

dx(x)Jp (i x)Jp (j x) = 0, i 6= j
0

egybknt pedig konstans, hiszen


Z
0

6.

1
dx(x) [Jp (i x)]2 = Jp0 (i )2 > 0
2

Hatodik elads

6.1. lland egytthats, homogn, lineris, n-ed rend differencilegyenletek


Elszr is kssk ki, hogy minden elfordul y(x) mennyisg vals. Az eddig vizsglt
egyenletek vltoz egytthatsak voltak, melyekre az ltalnos alak
y 00 (x) + p(x)y 0 (x) + q(x)y(x) = 0

volt. Nzzk meg milyenek az lland egytthatsak!


y, y 0 , y 00 , ..., y (n)
pn y (n) + pn1 y (n1) + ... + p2 y 00 + p1 y 0 + p0 y = 0

(2)

Itt az sszes elfordul p rtk valamilyen konstans, valamint pn 6= 0. Tbbnyire itt


is igyeksznk megszabadtani az y (n) -t az egytthatjtl. Ilyenkor
y (n) + n1 y (n1) + ... + 2 y 00 + 1 y 0 + 0 y = 0

az ltalnos alak. Az ltalnos tulajdonsgok, amelyek eddig igazak voltak, tbbnyire itt is rvnyesek.
6.1.1.

Tulajdonsgok

Ha y1 , y2 megolds, akkor a linearits miatt az sszegk is megolds. Teht,

ha ez a kt egyenlet megolds
(n)

(n1)

+ ... + p2 y100 + p1 y10 + p0 y1 = 0

(n)

(n1)

+ ... + p2 y200 + p1 y20 + p0 y2 = 0

pn y1 + pn1 y1

pn y2 + pn1 y2

akkor sszeadva ket ltszik, hogy az sszegk is megolds.


33

Ha van egy y1 megolds, valamint c R, akkor cy1 (x) is megolds. Ebbl


kvetkezik, hogy ha y1 , ..., yn megoldsok, akkor tetszleges c1 , ..., cn tetszleges

konstansokra

y(x) = c1 y1 (x) + c2 y2 (x) + ... + cn yn (x)

is megolds, teht felrhat, hogy


y(x) =

n
X

ci yi (x)

i=1

Ebbl viszont az kvetkezik, hogy y1 , ..., yn "fggetlen" megolds esetn az


ltalnos megolds
y(x) =

n
X

ci yi (x)

(3)

i=1

hiszen tudjuk, hogy az ltalnos megoldsban n darab szabad konstansnak


kell megjelennie.
Az y1 , ..., yn megoldsokat fggetlennek mondjuk, ha
W (y1 , ..., yn ) 6= 0

ahol W a Wronski mtrix (ami egy nxn-es mtrix).

y1
y2 yn
y0
yn0
y20

1
6= 0
W = ..
.
.
.
..
..
..

.
y1n1 y2n1 ynn1

Ha ez teljesl (hogy a mtrix determinnsa nem nulla), akkor az y1 , ..., yn


megoldsok alaprendszert alkotnak. Az ltalnos megolds teht gy is
y(x) =

n
X

ci yi (x)

i=1

6.2. Megolds paramteresen


y (n) + n1 y (n1) + ... + 2 y 00 + 1 y 0 + 0 y = 0

A megoldst y(x) = ex alakban keresem.


y(x) = ex
y 0 (x) = ex
y n (x) = n ex

34

Ha ezeket belerjuk az egyenletbe, akkor


n ex + n1 n1 ex + ... + 1 ex + 0 ex = 0

Ezt le lehet osztani ex -szel.


n + n1 n1 ... + 1 + 0 = 0

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.

Az ltalnos megolds ilyen esetben

y(x) =

n
X

(5)

ci e i x

i=1

Tegyk fel, hogy mindegyik klnbz, de van kztk komplex. Ha 1 =


A + iB , akkor van egy 2 = A iB is. Ez egy ttel! Ebben az esetben
1 = e(A+iB)x
1 = e(AiB)x

sajnos nem valsak. Ilyen esetben gy kell kikeverni a megoldst, hogy az


vals legyen.
y1 + y2
e(A+iB)x + e(AiB)x
=
= eAx
2
2

eBx + eiBx
2

= eAx cos(Bx)

A msik vltozat rtelemszeren ugyangy alakul


y1 y2
= ... = eAx sin(Bx)
2i

Teht, ha vannak komplex gykk, akkor tudom, hogy lesz mg egy, hiszen
azok prosval jnnek.
k1,2 = Ak iBk

y1k = eAk x cos(Bk x)


y2k = eAk x sin(Bk x)

35

Emlkezznk, hogy a msodrend Euler-fle egyenlet

s a msodrend lland egytthatj, lineris, homogn egyenletek igen szoros kapcsolatban


lltak. Ha mondjuk az x-et kicserlem ex = z -re, a kett ttranszformldik
egymsba.
4

Nzzk meg mi volt a msodrendnl:

 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

gy felrhat a kt fggvnyre vonatkoz, elsrend dierencilegyenlet-rendszer:


y10 = y2
y20 = f (x, y1 , y2 )

Hasonlan jrhatunk el n = 3 esetben is: y1 = y , y2 = y 0 , valamint y3 = y 00 .


gy eljutunk a kvetkez egyenletrendszerhez:
y10 = y2
y20 = y3
y30 = f (x, y1 , y2 , y3 )

Teht egy n-ed rend egyenletbl n darab elsrend lineris egyenletrendszert


kapunk.
4y

= x1 s y2 = x2
1 x
s y2 = e2 x
1 =e
6 Ha = , akkor (ex , xex ) alaprendszer.
1
2
1

5y

36

Nzzk meg mi a helyzet az lland egytthatssal!


yi0

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.

6.3. Elsrend, lineris, lland egytthatj dierencilegyenletrendszerek


(y1 , ..., yn ) ismeretlen fggvny.
yi0

n
X

Aij yj

j=1

n=1

y 0 = Ay
y = C eAx

n=2

y10 = A11 y1 + A12 y2

Ezek ssze vannak ktve, mert y10 -ban benne van y2 .


Elszr nzzk meg mi van, ha ez az sszekts nem igaz! Tegyk fel, hogy
A12 = A21 = 0
y10 = A11 y1
y20 = A22 y2

Erre azt mondjuk, hogy az egyenletrendszer sztcsatoldik. Ilyenkor


y1 (x) = c1 exA11
y2 (x) = c2 exA22

Az egyszer eset teht akkor jn, ha A mtrix diagonlis, teht




A11 0
A=
0 A22

De mivel a tisztessges mtrixok nem ilyenek, nzzk meg a tbbi esetet.


Tegyk fel, hogy A21 = 0, A12 6= 0
y10 = A11 y1 + A12 y2

37

y20 = A22 y2

Ezt rszleges sztcsatoldsnak nevezzk. Ilyenkor az y20 -t meg lehet oldani


magban.
y2 = c2 eA22 x

y10 = A11 y1 + A12 c2 eA22 x

A vgre pedig a kvetkez addik


y10 A11 y1 = A12 c2 eA22 x

Ez pedig egy lland egytthatj, elsrend, lineris egyenlet, ami inhomogn.


Nzzk a legltalnosabb esetet. Tegyk fel, hogy A12 6= 0, A21 6= 0
y10 = A11 y1 + A12 y2
y20 = A21 y1 + A22 y2

Fejezzk ki y10 -bl az y2 -t.


y2 =

y10 A11 y1
A12

Ezt most szpen bele az y20 -be


y100 A11 y10
y10 A11 y1
= A21 y1 + A22
A12
A12

Szorozzuk meg az egszet A12 -vel


y100 A11 y10 = A12 A21 y1 + A22 (y10 A11 y1 )
y100 (A11 + A22 )y10 + (A11 A22 A12 A21 )y1 = 0

Ez egy lland egytthatj, msodrend egyenlet!


y100 spur(A)y10 + det(A)y1 = 0

Ne felejtsk el, hogy y1 = ex . rjuk fel A karakterisztikus polinomjt:


2 spur(A) + det(A) = 0

Ezzel ekvivalens alak a


det(A ) = 0

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

gy most viszont egy kicsit sok a konstans! (A C rtkek konstansok, a sok


index a megklnbztetsre szolgl!)
yi (x) = Ci1 e1 x + Ci2 e2 x
yi0 (x) = Ci1 1 e1 x + Ci2 2 e2 x

 

2
X
A11 A12
C11 e1 x + C12 e2 x
Aij yj =

A21 A22
C21 e1 x + C22 e2 x
j=1

Ci1 1 e1 x + Ci2 2 e2 x =

Aij cj1 e1 x + Cj2 e2 x

Ez az egyenlsg csak akkor igaz, ha


Ci1 1 =

Aij Cj1

Ci2 2 =

Aij Cj2

Teht a 1 sajtrtkhez tartoz sajtvektor a Ci1 , rtelemszeren a 2 -hz


pedig a Ci2 . A menet teht a kvetkez volt:
Aij 1 2 c1 , c2

Kzben a Ci1 -bl c1 vektort csinltunk, hogy jobb legyen rni. sszefoglalsul:
Ac1 = 1 c1
Ac2 = 2 c2

Ahol a sajtrtk, c a sajtvektor, az A pedig egy mtrix. Az eredetileg


felbukkant ngy konstansbl kett lett, aminek rlnk, hiszen pont ennyit
vrtunk!
6.3.1.

Pldn keresztl

Legyen a vizsgland rendszer:


2y10 = y1 + 3y2
2y20 = 3y1 + y2

39

A jobb oldal lineris y1 -ben, teht felrhat yi =

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

Prbljuk meg faktorizlni, hiszen a sajtrtkeket keressk ppen:


( 2)( + 1) = 0

Ebbl megkaphat, hogy 1 = 2 s 2 = 1 Most szpen keressk meg a


sajtvektorokat!
1
A 1 =

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

Ilyenkor a recept a kvetkez:


 Meg kell keresni az A sajtrtkeit s sajt vektorait.

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

Az egyenletben szerepl vastag betk vektorokat jellnek. Ezekbl az


egyenletekbl a c1 , ..., cn konstansok szpen kiszedhetk.
7.

Hetedik elads

Ide kell mg bevezet szveg, valamint a felsorols is rdemel nmi magyarzatot.


y (n) + pn1 y (n1) + p1 y 0 + p0 y = 0
yi0

n
X

Aij yj

j=1

Ez az egsz felrhat vektorosan is


y 0 (x) = Ay

Itt megjegyzem, hogy vastag betkkel a mtrixokat jellm. Tegyk fel, hogy A
diagonizlhat.
A = RDR1

ltezik, gy hogy D diagonlis. Teht D-ben tallhatk a sajtrtkek, R-ben pedig


a sajtvektorok.
y 0 (x) = RDR1 y

R1 y 0 (x) = DR1 y

Vezessk be az R1 y = v jellst s alkalmazzuk ezt az egyenletre.


v 0 = Dv

Komponensenknt pedig:

vi0 (x) = i vi (x)

Csatolt, n fggvnybl ll egyenletrendszer sztcsatoldik, n fggetlen egyenletre


esik szt.
vi (x) = ei x ci

41

A fenti egyenletben ci szabad konstans.


v = R1 y
y = Rv

Az ltalnos megolds pedig:


yi (x) =

n
X

Rij vi =

j=1

n
X

Rij ej x cj = yi (x)

j=1

Ha minden i vals, akkor kszek vagyunk, minden cj vals.


Ha van komplex i , ( = i), akkor n darab vals konstans marad.

y(x) = Ay(x)

1 dimenziban: y = ay y(x) = ceax , akkor y(x) = exA y 0 , ahol eA =


P

An
n=0 n!

y 0 = Ay , y(0) = y0 , akkor y(x) = exA y0


y 0 (x) = F (y), ahol F egy vektorfggvny, ami y -tl nemlinerisan is fgghet.
f (x) = f (x0 ) + (x x0 )f 0 (x0 ) +

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 )

Konstans megolds akkor van, ha F -nek van zrushelye.


Zrushely: F (y) = 0-t kell megoldani, ami n darab egyenletet jelent, n darab

ismeretlenre.

Tbbnyire generikusan izollt pontokat kapunk.

7.1. Degenerlt esetektl eltekintve


y(x) = y 0

42

Mit csinl a megolds y0 krl? Sorba kell fejteni F (y)-t


Fi (y) = Fi (y 0 ) + (y y 0 )

Fi (y0 ) + ...7
yj

yi0 = Fi (y0 ) + (yj y0j )

Fi
(y0 )
yj

Mivel az Fi (y0 ) helyen nulla, felrhatjuk a kvetkezt:


yi0 = 0 + (yj y0j )

Fi
(y0 )
yj

Lthat, hogy el van tolva. Vezessnk be egy j vltozt, legyen


vj (x) = yj (x) y0j

gy pedig
vi0 = vj

Fi
Fi
(y0 ) =
(y0 )vj = vi0
yj
yj

Ez egy elsrend, lland egytthatj, lineris egyenletrendszer. Megoldsa:


vj (x) =

Rij ej x cj

Rij

Fi
(y0 )
yj

A fentiek a mtrix sajt vektorai!


j

Fi
(y0 )
yj

Ezek meg a mtrix sajtrtkei!


Nemlineris egyenlet linearizlt alakja y0 krl
yi (x) = y0i + vi (x), ahol vi (x) az eltrs.
Linearizlt egyenlet megoldsnak viselkedse

1. i vals s i < 0, akkor x esetben v 0. Ezt exponencilisan


vonz xpontnak nevezzk, j a lineris kzelts.
2. i vals, s ltezik j = 0, de a tbbi i < 0, akkor a nulla sajtrtk sajt
vektorhoz tartoz irnyban (lineris rendben) nem vltozik a megolds,
a tbbi irnyban nullhoz tart! A i = 0 irnyt marginlis irnynak
nevezzk.
7A

tbbi tagot elhanyagoltuk!

43

3. Vals i , legyenek j > 0, k < 0, valamint n = 0. Ilyenkor x


esetben j irnyban "felrobban" a megolds. k irnyokban v 0,
valamint m irnyban els rendben nem vltozik a megolds (mint az
elbb).
x rtkekre a i < 0 irnyokban j a lineris kzelts (elg nagy
x-re).
x rtkekre a j > 0 irnyokban nem j a lineris kzelts (taszt
irny).
4. Ha vannak komplex i -k, akkor a korbbi osztlyozs helytll Re(i )-re.
 lim(i ) 6= 0 esetben ei x sin(i x), valamint cos(i x) oszcilll
megoldsok!
 Re() < 0 s Im() 6= 0 a vonz megolds.
 Re() > 0 s Im() 6= 0 a taszt megolds.
A vonz - taszt helyek megfelelnek az (x ) - (x ) helyzetnek.
Nem lineris egyenletek megoldsainak globlis szerkezett ilyen mdon fel
tudjuk trkpezni gy, hogy x pontok krl linearizlunk.
A xpontok szma s a vonz/taszt irnyok szma nem tetszleges, hanem

globlis knyszerek vannak rjuk.

Elfordulhat a kvetkez:
Fi (y) =

(y)
yi

ahol egy potencil. Ilyenkor


Aij =

2
(y )
yi yj 0

A xpont a kvetkez:
Fi (y 0 ) = 0 =

(y )
yi 0

A xpontok teht a potencil szlsrtkei!


A vonz/taszt pontok analzise megfelel annak a vizsglatnak, hogy az y 0

xpontok stabilak, minimumok, marginlisak, nyeregpontok, vagy instabilake?

7.1.1.

2 dimenzis pldk

Dolgozzunk az n = 2 skban! Az Im() = 0


A kt sajtrtk pozitv = taszt irny.
A kt sajtrtk negatv = vonz irny.

44

Az egyik pozitv, a msik negatv = van vonz s taszt is.

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

Hol vannak a jobb oldal nullhelyei?


Fu = (u)(v 1) = 0
Fv = 4 u2 v 2 = 0

 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)

Ezek konstans megoldsok.


Minden x pont krl linearizljuk a megoldst!
du
= Fu
dt
dv
= Fv
dt
Fu
=v1
u
Fv
= 2v
v

45

Fu
=u
v
Fv
= 2u
u


v1 u
Aij =
2u 2v

A fenti mtrixot a xpontokban kell nzni!




+1 0
A(p1 ) =
0 4

Ahol +1 a taszt s 4 a vonz pont.



A(p2 ) =

3 0
0 4

Itt mr 3 a vonz s 4 a taszt.


0
3
A(p3 ) =
2 3 2


0

A(p4 ) =
2 3 2


Az A(p1 ) s A(p2 ) mtrixokban szpen ltszanak a sajtrtkek, viszont a


maradk kettben nzzk meg!


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

8.2. Ktparamteres grbesereg


(x, c1 , c2 ), itt is rvnyes a megllapts, hogy ha van egy msodrend megold-

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.

Grbeseregbl a dierencilegyenlet fel

Ha adott a 2 paramteres grbesereg: (x, y, c1 , c2 ) = 0.


d
=0
dx
d
dy
=
+
=0
dx
x
y dx
dy
Teht van egy = 0 egyenletnk, valamint egy
+
= 0 egyenletnk. Ki kell
x
y dx
d2
szmtanunk mg a dx2 = 0 rtket! Rendelkezsnkre ll hrom egyenletet, melyekbl mind a hrom azonosan egyenl nullval! Kiszemelnk kettt a hrombl, amit
arra hasznlunk, hogy megoldjuk c1 , c2 -re, majd berva a harmadikba megkapjuk a
msodrend egyenletet. Az els kettbl kifejezett c1 s c2 fggeni fog x, y, y 0 -tl,
majd miutn ezt behelyettestjk a harmadikba, ott mr nem fog szerepelni a c1 , c2 .
Eredmnyl teht az F (x, y, y 0 , y 00 ) = 0 alak, msodrend dierencilegyenlethez
jutunk!
Vilgos teht, hogy az n paramteres grbeseregbl megkaphat az n-ed rend
dierencilegyenlet! Ismt csak az egyik irnyt kell beltni, hiszen a msik nyilvnval! A beltand irny:
2
= 0 s minden derivltra ddx2 = 0. Ez
(x, y, c1 , ..., cn ) = 0, tovbb d
dx
nem ms, mint a nulltl az n. derivltig n darab egyenlet. Ezeket megoldjuk a
c1 , ..., cn -re, majd ugyangy jrunk el, mint az elz (msodrend) esetben!

8.2.2.

Pldn keresztl
y = c1 x + c2 ex

= 0, y c1 x c2 ex = 0. Most megcsinljuk az egyenleteket!


y 0 = c1 + c2 e x
y 00 = c2 ex
y = c1 x + c2 ex

Megvan teht a hrom (rendre 1,2,3) egyenlet, ezekkel fogunk dolgozni.


47

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.

Egy ltalnosabb pldn keresztl

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

Innen megint szeretnnk kifejezni a c1 , c2 elemeket!


  
 
y
f1 f2
c1
=
0
0
0
y
f1 f2
c2

Ebbl

 
 0
 
1
y
f2 f2
c1
=
0
0
f
f
y
c2
W
1
1

Innen megkapjuk a c1 , c2 rtkeket!


c1 =

f20 y f2 y 0
W

c2 =

f2 y 0 f20 y
W

Ezeket szpen beleteszem az y 00 = ...-be, majd szmolgatok.


W y 00 = y(f20 f100 f10 f200 ) + y 0 (f1 f200 f2 f100 )
W (f1 , f2 )y 00 = yW (f20 , f10 ) + y 0 W (f1 , f2 )0

Ez pedig egy msodrend, lineris, homogn dierencilegyenlet, aminek alaprendszere az f1 , f2 .

48

8.2.4.

Plda: nemlineris eset

Adott az egysgnyi sugar, tetszleges kzppont krk serege, ebbl szeretnnk


ellltani a dierencilegyenletet, aminek pont ez a megoldsa! Az ilyen krk
egyenlete: (xc1 )2 +(y c2 )2 = 1 - ez lesz az egyik hasznlt egyenletnk! Csinljuk,
amit eddig szoktunk, derivljuk.
2(x c1 ) + 2(y c2 )y 0 = 0

Ezt talaktjuk kicsit


A msodik derivlt

x c1 + (y c2 )y 0 = 0
1 + y 02 + (y c2 )y 00 = 0

Ezekbl szpen ki kell fejezgetni a c1 , c1 rtkeket.


c1 =
c2 =

x y 0 (1 + y 02 )
y 00
1 + y 02 + yy 00
y 00

Ezekkel visszatrnk a legels egyenletnkbe, amibl kiindultunk! Az eredmny


pedig a kvetkez kppen alakul (mr egyszerstve)
y 02 = y 02 (1 + y 02 )2 + (1 + y 02 )2 = (1 + y 02 )3

Ez a tetszleges kzppont, egysgnyi sugar krk dierencilegyenlete.

8.3. Parcilis dierencilegyenletek


Eddig kznsges dierencilegyenletekkel foglalkoztunk, melyek egy vltozsak voltak (yi (x)). A parcilisoknl tbb vltozrl beszlnk u(x1 , x2 ).
8.3.1.

Elsrend parcilis dierencilegyenlet

Kt vltoztl fgg fggvny u(t, x)




u u
F t, x, u, ,
=0
t x

Trgyaljuk a kvzilineris, elsrend parcilis egyenlet esett. Ez egy megszorts,


hogy F lineris u
, u -ben. A kvzilineris egyenlet alakja
t x
(t, x, u)

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

Nzznk kznsges dierencilegyenlet-rendszert, melynek vltozja s.


t(s), x(s), u(s)
dt
= (t, x, u)
ds
dx
= (t, x, u)
ds
du
= (t, x, u)
ds

Mi itt a kapcsolat? A kznsges dierencilegyenlet-rendszerek megoldsai grbk


(t(s), x(s), u(s)), a parcilis dierencilegyenlet megoldsa (u(t, x)) pedig egy fellet.
rjuk fel a fellet rintskjt:

0
1

(t, x, u(t, x)) 0 , 1

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

A grbk rintje pedig




t x u
, ,
s s s


= (, , )

A parcilis dierencilegyenlet megoldsfelletnek normlisa merleges


a grbe rintjre.


u
u
u u

, , 1 =
+
=0
t x
t
x

A fenti a f lltsunk ebben a tmakrben. Ennek a segtsgvel kapjuk meg az


eredmnyeinket. Tanulsg: a karakterisztikus grbe rintje benne van a parcilis
dierencilegyenlet megoldsfelletnek rint skjban! Ha a grbe a felletrl
indul, akkor benne is marad!
Vegyk szre, hogy
dt
dx
du
= (t, x, u);
= (t, x, u);
= (t, x, u)
ds
ds
ds

A jobb oldalon teht nem szerepel s. ltalnos megolds:


50

1.
t(s) = f1 (s c1 , c2 , c3 )

2.
x(s) = f2 (s c1 , c2 , c3 )

3.
u(s) = f3 (s c1 , c2 , c3 )

Eltolsi szimmetria van s-ben. A c rtkek tetszleges konstansok. Az 1,2,3


egyenletekbl meghatrozzuk a c rtkeket mint (t, x, u) fggvnyeit.
t = f1
x = f2
u = f3

A fenti egyenletrendszerbl s c1 = g(t, c2 , c3 ). Ha ezzel behelyettestnk a 2, 3-ba,


akkor eliminltuk az s c1 -et.
x = f2 (g(t, c2 , c3 ), c2 , c3 )
u = f3 (g(t, c2 , c3 ), c2 , c3 )

Ezt szpen megoldjuk (c2 , c3 )-ra, amibl


c2 = 1 (t, x, u)
c3 = 2 (t, x, u)

Ezek a rtkek pedig a karakterisztikus grbe mentn llandak! Ezek utn


tetszleges fggvnyt veszem:
(1 (t, x, u), 2 (t, x, u)) = 0

Ez pedig u(t, x)-et implicit mdon denilja s tetszleges ktvltozs fggvnnyel


a parcilis dierencilegyenlet megoldsa.
9.

Kilencedik elads

9.1. Folytats: parcilis dierencilegyenletek, kvzi lineris


eset
Szeretnnk ltni, hogy az u kzvetlenl megoldja a parcilis dierencilegyenletet.
d1
=0
ds

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

Ez termszetesen a 2 mennyisgre is igaz.


2
2
2
+
+
=0
t
x
u

Az u-t a t-nek s az x-nek a vltozjnak tekintjk. Tudjuk, hogy (1 , 2 ) = 0.


Nzzk meg ezt pontosan.

(1 , 2 )
=0
t
Itt azrt parcilisan szmolunk, mert csak t szerint kell derivlni!

d1 (t, x, u(t, x))


d2 (t, x, u(t, x))
+
=0
1
dt
2
dt

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

Hogy ne kelljen folyton kirni ezt az egyenletet, nevezzk el ezt **-nak


Ugyanez viszont felrhat a (x1 ,2 ) = 0-ra is.




1 1 u
2 2 u
+
+
+
=0
1 x
u x
2 x
u t

Ezt pedig nevezzk el *-nak.


Tudjuk, hogy () = 0 s () = 0, teht () + () = 0 is teljesl. rjuk vgig.



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

trjuk egy szemlletesebb alakba!







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

Ez csak akkor teljesl, ha




u
u

t
x


=0

Teht, a vge nem ms, mint

9.1.1.

u
u
+
=
t
x

Megoldsi mdszerek

Elsknt felrjuk a karakterisztikus grbt


t = , x = , u = y

Ne feledjk, hogy a pont azt jelenti, hogy

d
ds

Kell majd mg 1 (t, x, u) s 2 (t, x, u). Ezek konstansok (s fggetlenek).


Minket nem az s fggs rdekel, hanem csak a 1 , 2 rtkek.

Erre kt mdszer ltezik.


1.
t(s) = f1 (s c1 , c2 , c3 )
x(s) = f2 (s c1 , c2 , c3 )
u(s) = f3 (s c1 , c2 , c3 )

Elsrend, 3 fggvnyre vonatkoz grbe dierencilegyenlet rendszert,


meg kell oldani. Ha megvan a megolds, akkor az ilyen alakban rhat.
Pontosan ezt vrjuk, hiszen az ltalnos megoldsban kell 3 szabad paramter.
 A 3 konstans kzl az egyik s c1 alakban bukkan fel. A grbre
vonatkoz dierencilegyenlet rendszer specilis alak.
dt
= (t, x, u)
ds
dx
= (t, x, u)
ds

53

du
= (t, x, u)
ds

Lthat, hogy a rendszer olyan, hogy a jobb oldalon nem szerepel


s. Tegyk fel, hogy van egy t0 (s), x0 (s), u0 (s) partikulris megoldsunk, akkor nyilvnval, hogy ebbl t0 (s + c), x0 (s + c), u0 (s + c) is
partikulris megolds, tetszleges c-re.
 Teht, ebben az eljrsban a 3 egyenletbl kivlasztunk egyet, amit
megoldunk c1 -re. Pldul
t = f1 (s c1 , c2 , c3 )
s c1 = g1 (t, c2 , c3 )

Az gy kapott s c1 -et behelyettestem a maradk kt egyenletbe.


x = f2 (g1 (t, c2 , c3 ), c2 , c3 )
u = f3 (g1 (t, c2 , c3 ), c2 , c3 )

Ez mr kt egyenlet kt ismeretlenre! Ezekbl meghatrozhat a


c2 = 1 (t, x, u)
c3 = 2 (t, x, u)

gy pedig az ltalnos megolds


(1 (t, x, u), 2 (t, x, u)) = 0

Ez pedig impliciten meghatrozza u-t.


2. Mr a dierencilegyenletbl eliminlhatjuk az s-t.
dx
du
dt
= ,
= ,
=
ds
ds
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

Ez u(t)-re s x(t)-re vonatkoz dierencilegyenlet-rendszer, amiben kett


szabad konstans jn el az ltalnos megoldsban.
U = Fn (t, c1 , c2 )
X = Fx (t, c1 , c2 )

A kt eljrs ekvivalens. Ezt c1 -re s c2 -re megoldva megkapjuk, hogy


c1 = 1 (t, x, u)
c2 = 2 (t, x, u)

Ismtlem: mindegy mit osztok mivel, mindig azt, amivel aztn a legknnyebb dolgozni!
9.1.2.

Tanulsgok a kvzilineris helyzetbl

Egyszer, mert teljes egszben visszavezethet kznsges dierencilegyenlet

rendszerre (ami a karakterisztikus grbe). Ha ezt tudjuk kezelni, akkor meg is


van a megoldsunk.

ltalban a parcilis dierencilegyenlet ltalnos megoldsa tetszleges fgg-

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

egyrtelm legyen a fggvny.

Ha a parcilis dierencilegyenlet valamilyen zrt tartomnyon van denilva,

akkor peremfelttellel tudom egyrtelmsteni.

ltalnos ttelek a megolds ltezsre s/vagy egyrtelmsgre nincsenek.

Mindig kell tudni az egyenletrl valamit, hogy mondhassunk brmit is.

Klnbz eseteket kell nzni, amelyeket mindig mshogy kell kezelni.

9.1.3.

Pldn keresztl

Legyen a vizsglt egyenlet

2u
=0
xy

Ez gy oks, mert az u(x, y). Nzzk sorban:

u
y


=0

55

u
= c(y)
y

Errl tudom, hogy x-tl biztos fggetlen, viszont y -tl fgghet. Teht
u
= c(y)
y

Ezt y -ban integrljuk!

Z
u(x, y) =

c(y)dy + c(x)

Itt az integrandusban szerepl kifejezs maga a c1 , a tilds pedig az integrlsbl


jn, ez x-tl nyugodtan fgghet. tnevezzk ket.
u(x, y) = c1 (y) + c2 (x)

Lthat, hogy az van x s y fggs is, erre gyelni!


Nzznk pldt kezdeti felttelre, a fenti szmols alapjn!
2u
=0
xy

Legyen: u(x, 0) = sin(x) s u(0, y) = y 2


Az ltalnos megolds az elbbiek alapjn
u(x, y) = c1 (y) + c2 (x)
u(0, y) = c1 (0) + c2 (y) = y 2 c2 (y) = y 2 c1 (0)
u(x, 0) = c1 (x) + c2 (0) = sin(x) c1 (x) = sin(x) c2 (0)

A partikulris megolds teht:


u(x, y) = sin(x) + c1 (0) + y 2 c1 (0) = sin(x) + y 2

Nzznk egy msik pldt


2u
u
+ 2x
=0
xy
y

Legyen

u
y

= v(x, y).
v
= v(x, y)
x

Lthat, hogy nincs explicit y fggs, az egyenlet sztvlaszthat. Tegyk meg s


integrljuk!
dv
= 2xvdx
v
ln(v) = x2 + ln(c(y))
V (x) = c(y)ex

56

Ez tetszleges c(y) fggvnnyel ok. Persze, mg tudjuk, hogy v =

u
y

u
2
= c(y)ex
y

Ezt integrlhatjuk y szerint:


Z
u(x, y) =

c(y)dy ex + c2 (x)

A zrjeles rszt nevezzk el c1 (y)-nak, gy pedig az ltalnos megolds


2

u(x, y) = c1 (y)ex + c2 (x)

Az ltalnos megoldsban kt tetszleges fggvny szerepel.

57

Egy harmadik plda - hozzfztt kezdeti rtk feladat


u
2u
+ 2x
=0
xy
y
u(x, /2) = x2
u(0, y) = cos(y)

Tudjuk, hogy:

u(x, y) = c1 (y)ex + c2 (x)


u(0, y) = c1 (y) + c2 (0) = cos(y)

Ebbl pedig a c1 meghatrozhat!


c1 (y) = cos(y) c2 (0)
2

u(x, y) = [cos(y) c2 (0)] ex + c2 (x)


2

u(x, /2) = c2 (0)ex + c2 (x) = x2


c2 (x) = x2 + c2 (0)ex

c2 (0) = c2 (0) = a

Teht
c2 (x) = x2 + aex

A vgeredmny teht
2

u(x, y) = (cos(y) a)ex + x2 + aex = ex cos(y) + x2


10.

Tizedik elads

10.1. Sztvlaszthat parcilis dierencilegyenletek


Van, ahol mkdik a dolog, de ott sem biztos, hogy az ltalnos megoldst kapjuk
eredmnyl. Ez nem egy ltalnos mdszer, viszont Ansatz-nak j!
u(t, x) = T (t)X(x)

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

Ha vannak kezdeti, vagy peremfelttelek, akkor azok ezt a -t meghatroz-

hatjk, vagy bizonyos feltteleket tehetnek r (pldul, hogy pozitv, negatv,


stb...)

Ha az eredeti parcilis dierencilegyenlet lineris s kapunk tbb megoldst,

akkor azoknak az sszege is megolds.

Ha sztvlaszthat mdszerrel kapunk egy ilyen megoldst


u1 (x, t) = X1 (x)T1 (t)
u2 (x, t) = X2 (x)T2 (t)

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.

Elfordulhat, hogy lineris esetben az ltalnos megoldst is megkaphatjuk.

10.1.1.

Plda 1

Nzznk egy kvzi lineris egyenletet


u
u
+c
=0
t
x
1 u u
+
=0
c t
x


1

+
u=0
c t x

Lthat, hogy az sszegtl nem fgg, teht maximum a klnbsgtl fgghet, a


megoldst gy vrjuk:
u(t, x) = f (x ct)

tetszleges f -re! Oldjuk meg sztvlaszthat mdszerrel:


u(t, x) = T (t)X(x)
T X + cT X 0 = 0
T
X0
+c
=0
T
X
1 T
X0

=
cT
X

59

Nevezzk el
egyenletre.

1 T
cT

= c1 -nek s

X0
X

= c1 -nek. Ezzel pedig a feladat sztesik kt

1
T = c1 T T (t) = c2 ec1 ct
c

Valamint, a msik rsze


X 0 = c1 X X(x) = c3 ec1 x

Ebbl pedig felrjuk a kvetkezt


u(t, x) = c2 c3 ec1 (ctx)

Nevezzk el c2 c3 rtket c2 -nek, egy egyszerbb alakhoz jutunk


u(t, x) = c2 ec1 (ctx)

ahol a c rtkek tetszleges konstansok! Ha ezekbl kitallunk egy csom ci1 s ci2 ,
i = 1, 2, 3... szmot, akkor
u(t, x) =

ci2 ec1 (ctx)

Lthat, hogy a sztvlaszts mdszervel sok megoldst meg lehet tallni.


10.1.2.

Msodik plda - hvezets


2
u
= 2u
t
x

Ennl az egyenletnl hatrfelttelek vannak rvnyben. Ezek a kvetkezk: u(t


, x) vges, u(t, 0) = u(t, L) = 0 s u(0, x) = (x), ahol (x) egy adott fggvny.
u
= T X
t
2u
= T X 00
x2
T X = T X 00

Leosztunk a szorzattal

T
X 00
=
T
X

Ezek pedig konstansok kell legyenek, ezrt sztesik kt egyenletre ismt.


T
= c1
T
X 00
= c1
X

60

Oldjuk meg elszr a T -re vonatkoz egyenletet.


T = c1 T T (t) = c2 ec1 t

A c1 konstansnak negatvnak kell lenni, hiszen a hatrfelttel kimondja, hogy t


ne "robbanjon fel" a fggvny, ez pedig csak gy teljeslhet. Legyen mostantl
c1 = a2 .
2
Tisztzzuk le mink van eddig! Tudjuk, hogy T (t) = c2 ea t , valamint X 00 =
a2 X . Ebbl pedig
X(x) = c3 cos(ax) + c4 sin(ax)

Ebbl pedig mr felrhatjuk a vgt is


2t

u(t, x) = [c2 c3 cos(ax) + c2 c4 sin(ax)] ea


2t

u(t, x) = [C cos(ax) + D sin(ax)] ea

ahol C, D, a tetszleges konstansok! Mivel ez lineris, C, D, a rtkek tetszlegesek


lehetnek. A peremfeltteleket viszont mg nem vettk gyelembe!
u(t, 0) = u(t, L) = 0
2

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

Ez a legltalnosabb megolds, amit kaphatunk, de nem biztos, hogy ez az ltalnos


megolds! Ez mg mindig vgtelen sok vals konstanst tartalmaz.
Nzzk a hatrfeltteleket!
u(0, x) = (x)



X
N x
u(0, x) =
sin
= (x)
L
N =1

61

Szeretnnk megkapni (x)-bl az DN koecienseket. Ehhez szpen le kell Fourier


transzformlni.
Z
0




 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

A vgs megolds teht a kvetkezkppen alakul


u(t, x) =

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

u(t, x) = [D cos(ax) + C sin(ax)] ea

A periodicits miatt teljeslnie kell ennek:


sin(ax) = sin(a(x + L))
aL = 2N
2N
aN =
L




X
2
2
2N x
2N x
+ CN sin
e ( L N ) t
u(t, x) =
DN cos
L
L
N

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

A megoldst pedig u(r, ) = R(r)() alakban keressk!


1
1
R00 + R0 + 2 R00 = 0
r
r

Nzzk meg, hogy tudjuk-e szeparlni?


1 00
R00 1 R0
+
+ 2
=0
R
rR
r
 00

R
1 R0
00
2
r
+
=
R
rR

Ismt csak gy lehet egyenl, ha az egyenlet mindkt oldala konstans, radsul


ugyanaz a konstans. Nevezzk mezt most el lambdnak. Ismt kt egyenlet addik.
Az els
00 =

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)

Ez csak akkor lesz periodikus 2 szerint, ha a = N , ezrt pedig


= N 2

63

a vge pedig
() = C sin(N ) + D cos(N )

Remek, most trjnk t a msodikra!


r2 R00 + rR0 N 2 R = 0

Ez j, hiszen Euler-fle egyenlet!

R = r

( 1) + N 2 = 0
2 N 2 = 0
1,2 = N

Kssk ki, hogy most N > 0


N > 0-nl kt klnbz gyke van az egyenletnek!
N = 0 = 0, a kt gyk egybeesik. Degenerlt megoldsoknl
R(r) = A0 + B0 ln(r)
Mikor N > 0, akkor a kvetkez alakot vrjuk:
R(r) = AN rN + BN rN

Folytassuk teht:
u(r, ) = R(r)()
u(r, ) =

RN (r)N () =

N =0

Ezt most szpen kirjuk, klns gyelemmel az N = 0 tagra, hiszen az specilis


bnsmdot ignyel!

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

gy mr szebb, csak mg nem vettk gyelembe a hatrfeltteleket! Az els az volt,


hogy az u vges a krlapon. Ez azt jelenti, hogy u(0) is vges kell legyen, mert a
krlapunk kzppontja maga az orig volt, ergo benne van az is.
Emiatt B0 = 0 s BN = 0 N 1-re.
u(r, ) = A0 +

[CN sin(N ) + DN cos(N )] rN

N =1

64

Az AN -t hozzfztk valamihez, hogy ne kelljen flslegesen konstansokat cipelni.


A msodik peremfelttel az volt, hogy a krlap peremn legyen valami fggvny,
mondjuk f ().
u(r = 1, ) = A0 +

[CN sin(N ) + DN cos(N )] = f ()

N =1

Adott f ()-bl A0 , CN s DN Fourier transzformcival megkaphat!


A0 -nl:

1
A0 =
2

1
CN =

1
Dn =

df ()
0

f () sin(N )d
0

f () cos(N )d
0

Ha megkaptuk a konstansokat, akkor rlnk, hiszen meg van oldva az egyenlet! A


2 dimenzis Laplace egyenlet megoldsa a krlapon adott hatrfelttelek
esetn egyrtelm. A kt dimenzis Laplace egyenlet tetszleges, vges,
sszefgg tartomnyon nzve egyrtelm megoldst ad, ha a peremen
peremfelttel adott.

65

You might also like