Kznsges differencilegyenletek

1.

Bevezets, dencik

A dierencilegyenletek olyan egyenletek, melyekben az ismeretlen egy fggvny s az egyenletben az ismeretlen fggvny derivltja is elfordul. Pldul
ha y = y (x) az ismeretlen fggvny, akkor
y = y

(1)

y = y

(2)

y = y

(3)

y
+x
(4)
x
fggvnyegyenletek kzl az els hrom dierencilegyenlet, de a negyedik mr nem, mert ott az ismeretlen y = y (x) fggvny semelyik derivltja
nem szerepel. A dierencilegyenletek tanulmnyozsa azrt fontos, mert
amint Newton mondta: a termszet trvnyeit dierencilegyenletek rjk
le. Az y = y dierencilegyenletet megoldani annyit jelent, mint megtallni az sszes olyan fggvnyt, amely egyenl az derivlt fggvnyvel.
Knny ltni, hogy minden c R-re az y = cex alak fggvnyekre igaz,
hogy az derivltjaik sajt magukkal megegyeznek, teht az sszes y = cex
alak fggvny a (1) dierencilegyenlet megoldsa. (Azt, hogy ennek az
egyenletnek minden megoldsa y = cex alak, majd ksbb ltjuk be.)
A (2) egyenletet illeten, kzpiskols tanulmnyainkra visszagondolva
lthatjuk, hogy mind a y (x) = cos (x) , mind pedig az y (x) = sin (x) fggvnyekre igaz, hogy az msodik derivltjuk sajt maguk negatvjval egyezik
meg, vagyis, hogy a cos (x) s sin (x) fggvnyek a (2) egyenlet megoldst
kpezik. Azt nagyon knny ltni, hogy ezek tetszleges lineris kombincija szintn megoldst ad. Teht tetszlegesen vlasztott a, b R szmokra: az y (x) = a cos (x) + b sin (x) a (2) di.egyenlet megoldst
adja. Szintn ksbb fogjuk beltni, hogy a (2) egyenlet minden megoldsa ilyen alak. Hasonlan kapjuk, hogy a (3) egyenlet minden megoldsa
y=

y = a ch (x) + b sh (x) . Az nyilvnval, hogy a fenti hrom dierencilegyenlet a legegyszerbb alak nem-trivilis dierencilegyenlet. Ksbb
ltni fogjuk, hogy ezek mindegyike rendkvl fontos is, mert a legfontosabb
zikai alkalmazsokban ezek fordulnak el.
Az els flves analzis tanulmnyok utn mr nyilvnval, hogy nem
lehet remlni sem azt, hogy minden dierencilegyenlet megoldst valamilyen kplettel lerhat fggvnyek segtsgvel megadhatjuk. Ugyanis, az
x
f (x) = ex fggvnynek nincs kplettel megadhat primitv fggvnye. Ez
x
ppen azt jelenti, hogy az y = ex dierencilegyenletnek nincs kplettel
megadhat megoldsa.

2.

Elsrend di.egyenletek

Ebben a fejezetben az
y (t) = F (t, y(t))

(5)

alak dierencilegyenletekkel foglakozunk. Elszr a sztvlaszthat vltozj azutn pedig az els rend lineris dierencilegyenleteket tekintjk.
Ezeket meg tudjuk oldani elg egyszeren. Azutn azt vizsgljuk ltalnos elsrend dierencilegyenletekre, hogy a kezdeti rtk problmnak
ltezik-e megoldsa (egzisztencia) s ha igen akkor egyrtelm-e (unicits).
Ezutn autonm egyenleteket tekintnk. Ezek a olyan specilis (5) alak
elsrend egyenletek, amelyekre a (5) egyenlet jobb oldala nem fgg a t fggetlen vltoztl kzvetlenl. (Pldul y (t) = y(t) (1 y(t)) autonm
egyenlet, de y (t) = y(t) (1 y(t)) + t mr nem autonm egyenlet.) A
fejezetet az autonm egyenletek stabilitsi vizsglatval zrjuk.

2.1.

Sztvlaszthat di.egyenletek

Legyen f (x) egy folytonos fggvny valamely I1 s g (y) egy folytonos fggvny valamely I2 intervallumon, tovbb g (y) 6= 0 ha y I2 . Ekkor az
y = f (x) g (y)

(6)

alak elsrend kznsges dierencilegyenleteket sztvlaszthat vltozj

1
dierencilegyenleteknek hvjuk. Legyen h (y) = g(y)
. Teht (6) szerint:
dy

h (y) y = f (x) . Ekkor a helyettestses integrls szablya szerint s dx

= y
alapjn:
2

h (y) dy =
f (x) dx + C.
| {z }
| {z }
Ez csak
Ez csak
y-tl fgg
x-tl fgg
A sztvlaszthat vltozj di.egyenletek megoldst a kvetkez pldn mutatjuk be:
1. PLDA:
aR

1. A normlis nvekeds egyenlete: legyen k R\ {} s

y = ky s y (0) = a.

(7)

ez nagyon fontos egyenlet, mert sokszor elfordul a gyakorlatban ezrt

a megoldst fejbl kell tudni. Nyilvnvalan sztvlaszthat vltody
dy
zj di.egyenlet. y = dx
-et rva: dx
= ky. Az y-os s x-es ta1 dy
gokat kln oldalra rendezve: k y = dx. Mindkt oldalt integrlva:
ln |y| = kx + C, amibl az y = ky ltalnos megoldsa y = ec ekx .
Hasznlva , hogy a = y (0) = Ce0 , ebbl a (7) Cauchy feladat megoldsa:
y = aekx .
Ezt krem jegyezzk meg!
2. y y 2 = 1. Ez a di.egyenlet sztvlaszthat vltozj, mivel a fenti
dy
f (x) = 1 s g (y) = y12 vlasztssal y = f (x) g (y) . Az y = dx
-et rva
s a dx-el formlisan tszorozva kapjuk, hogy:
y 2 dy = dx.
R
R
3
Mindkt oldalt integrlva: y 2dy = dx. Amibl y3 = x + C ad
dik. Innen y = 3 3x + C (mivel C tetszleges konstans, nem kell 3-al
megszorozni, mert 3C ugyangy mindentl fggetlen konstans, mint
C).
ln y
3. y = 2xy
. ez a di.egyenlet is sztvlaszthat vltozj, ugyanis
x2 1
ha f (x) = x22x1 -et s g (y) = y ln y-t runk akkor a di.egyenlet y =
f (x) g (y) alak lesz. A di.egyenlet megoldsa most is gy trtnik,
dy
hogy y = dx
-et rva:
dy
2xy ln y
= 2
.
dx
x 1

Most az y-os s x-es tagokat ms-ms oldalra rendezve:

dy
2x
= 2
dx.
y ln y
x 1
(Ha y ln y 6= 0.) Mindkt oldalon integrlva:
Z

1
dy
y

ln y

2x
dx
x2 1

-bl addik, hogy ln |ln y| = ln |x2 1| + ln C. (Itt a konstanst eleve

ln C alakba rtuk, amit megtehetnk, mert az ln x fggvny rtkksz2
lete az R.) Ahonnan: y = eC (x 1) . Az ln y = 0-nak az y 1 felel
meg.

2.2.

Elsrend lineris di.egyenletek megoldsa

Az
(8)

y + p (x) y = q (x)

alak di.egyenleteket elsrend lineris di.egyenleteknek hvjuk. It felttelezzk, hogy a p(x) a q(x) fggvnyek folytonosak. (Vagyis a megoldsokat
olyan intervallumon keressk ahol a p(x) a q(x) fggvnyek folytonosak.)
Az (8) alak egyenletek megoldst a kvetkez pldn szemlltetjk:
xy + 3y = x2 , x > 0

(9)

Ahhoz, hogy az egyenletet (8) alakra hozzuk el kell osztanunk x-el mind
a kt oldalon. Ezrt, a megoldsokat olyan intervallumokon kereshetjk
amelyek a 0-t nem tartalmazzk. Tegyk fel teht, hogy mostantl x > 0
s osszunk el x-el. Kapjuk, hogy
3
y + y = x.
x
Ekkor az (8) egyenlet jellseivel: p (x) =
lpsbl ll. Elszr megoldjuk az
Y+

3Y
=0
x
4

(10)
3
;
x

q (x) = x. A megolds kt

(11)

homogn di.egyenletet. Majd ennek az ltalnos megoldsban elfordul

C konstans helyre egy olyan C (x) fggvnyt runk, hogy ezzel a (9) megoldst kapjuk. Ily mdon a (9) egy partikulris megoldshoz jutunk. A
(9) ltalnos megoldst gy kapjuk, hogy
(12)

yi,alt = Yh,alt + yi,p

vagyis a (9) inhomogn egyenlet ltalnos megoldsa yi,alt egyenl az (11)

ltalnos megoldsa Yh,alt plusz a (9) inhomogn egyenlet egy partikulris
megoldsa yi,p .
1. lps: A homogn rsz az Y + 3Yx = 0 di.egyenlet, amely sztvlaszthat vltozj s megoldsa: Yh,alt = C/x3 .
2.lps: Most keressk az inhomogn egyenlet egy partikulris megoldst,
yi,p -t. Ehhez szeretnnk hatrozni egy olyan C (x) fggvnyt, amelyre
y = C (x) /x3
megoldsa a (9) egyenletnek. Mivel y = 3Cx4 + C x3 , ezt behelyettestve a (10) egyenletbe kapjuk, hogy
C x3 3Cx4 + 3x1 Cx3 = x.
Innen: C (x) = x5 /5 (itt nem kell feltntetni az integrlbl add
konstanst, mert csak egy partikulris megoldst keresnk). Teht
2
yi,p = C (x) x3 = x5 /5 x3 = x5 . gy a (10) egyenlet ltalnos
megoldsa:
x2
yi,alt = Yh,alt + yi,p = c| {z
x3} +
.
5
|{z}
Yh,alt

yi,p

A megoldsnak ezt a mdszert konstans varicis mdszernek

nevezzk, mert az yi,p -t gy hatroztuk meg, hogy az (11) homogn
egyenlet ltalnos megoldsban elfordul C konstanst helyettestettk egy C (x) fggvnnyel.

2.3.

Egzisztencia, unicits, stabilits

Ha egy elsrend egyenletet nem is tudunk megoldani, akkor is lehet eslynk annak a nagyon fontos krdsnek az eldntsre, hogy ltezik-e s ha
5

igen akkor egyrtelm-e a megolds. Ha az elbbire a vlasz igen, akkor van

egzisztencia, ha a ezen fell a msodik krdsre is pozitv a vlasz, akkor teljesl az unicits. A kvetkez ttelek nem a lehet legersebb eredmnyeket
adjk, de a legknnyebben rthetek.
Elszr vizsgljuk az egzisztencia s unicits krdst az elsrend lineris
egyenletekre:
1. TTEL: (Egzisztencia s unicits Ttel (els rend lineris egyenletre))
Ha a p(t) s q(t) fggvnyek folytonosak az I = (, ) nylt intervallumon
s t0 I akkor a
y + p(t)y = q(t),
y(t0) = y0
kezdeti rtk problma megoldsa ltezik s egyrtelm az I intervallumon.
Azaz ltezik EGYETLEN olyan y(t) fggvny, amely a kezdeti rtk problmnak megoldsa s amely minden t I-re rtelmezett.
A kvetkez ttel az ltalnos esetre vonatkozik:
2. TTEL: (Egzisztencia s unicits Ttel (ltalnos eset)) Tegyk
fel, hogy mind az F mind a F/y folytonos fggvnyek egy olyan < t <
, < y < tglalapon, amely tartalmazza a (t0 , y0) pontot. Akkor van
olyan (t0 h, t0 + h) (, ) intervallum, amelyben a kvetkez kezdeti
rtk problma megoldsa ltezik s egyrtelm:
y = F (t, y),

y(t0 ) = y0 .

(13)

1. MEGJEGYZS: Ha csak annyit tudunk, hogy az F (x, y) fggvny

folytonos akkor ez mr elg ahhoz, hogy a megolds ltezzen, de lehetsges,
hogy nem egyrtelm.
2. PLDA: A fenti ttelek valamelyikt hasznlva talljunk olyan intervallumot, amelyen
ty + 2y = 4t2
y(1) = 2
kezdeti rtk problma megoldsa ltezik s egyrtelm.
Megolds: Mindkt oldalt t-vel leosztva kapjuk a
2
y + y = 4t
t
6

egyenletet. Teht p(t) = 2t s q(t) = 4t. Vagyis q(t) rtelmezett s folytonos

minden t R-re de p(t) a t = 0-ban nincs rtelmezve. Teht vagy azt kell
feltennnk, hogy t > 0 vagy azt, hogy t < 0. Figyelembe vve a kezdeti
felttelt a t > 0 rsz a relevns. Ezutn hasznlva az 1. Ttelt kapjuk,
hogy a kezdeti rtk problma megoldsa ltezik s egyrtelm a 0 < t <
intervallumon.
3. PLDA: Alkalmazzuk a 2. Ttelt a kvetkez kezdeti rtk problma
megoldsra:
3x2 + 4x + 2
y =
y(0) = 1.
2(y 1)

Megolds: Vegyk szre, hogy

F (x, y) =

3x2 + 4x + 2
F
3x2 + 4x + 2
s
(x, y) =
2(y 1)
y
2(y 1)2

rtelmezett s folytonos mindentt kivve az y 1 horizontlis egyenest

pontjait. A (0, 1) pont krl nyilvn rajzolhat olyan tglalap ami nem
metszi az y 1 egyenest. Ezrt a 2. Ttel rtelmben a kezdeti rtk problmnak a megoldsa ltezik s egyrtelm VALAMELY olyan intervallumon amely a 0-t tartalmazza. Az azonban, hogy akrmilyen hossz olyan
tglalapot rajzolhatunk a (0, 1) pont krl, amely nem metszi az y 1
horizontlis egyenest NEM jelenti azt, hogy a megolds ltezik minden xre! Valjban a sztvlaszthat vltozj dierencilegyenletet megoldva
kapjuk, hogy a kezdeti rtk problma megoldsa:

y(x) = 1 x3 + 2x2 + 2x + 4.
Knnyen lthat, hogy ez a kifejezs csak x > 2 esetn add megoldst
(x = 2-ben y(2) = 1 s az nem lehetsges mert, akkor az egyenletben
0-val kellene osztani s x < 2-re a gyk alatti kifejezs negatv hiszen
x3 + 2x2 + 2x + 4 = (x + 2)(x2 + 2)).
4. PLDA: Vizsgljuk a kvetkez kezdeti rtk problmt a megolds
ltezse s egyrtelmsge szempontjbl!
y = y 1/3 ,

y(0) = 0, t 0.

Megolds:
7

A 2. Ttel jellseit hasznlva: F (t, y) = y 1/3 . Mivel

F
1
(t, y) = y 2/3
y
3
nincs rtelmezve a y = 0-ban ezrt ott nem is folytonos, teht a 2. Ttelt
nem is alkalmazhatjuk ebben az esetben. Knny ltni, hogy mind a kt
fggvny

3/2

3/2
2
2
y(t) =
t
s y(t) =
t
3
3

megoldsa a kezdeti rtk problmnak. St ennek a kezdeti rtk problmnak vgtelen sok megoldsa van. Nevezetesen minden t0 > 0-ra a kvetkez
fggvnyek megoldsok a eljel tetszleges vlasztsa esetn:
 
3/2
2

(t

t
)
, ha t t0 ;
0
3
y(t) =
0,
ha 0 t < t0 .
5. PLDA: Vizsgljuk a kvetkez kezdeti rtk problmt a megolds
ltezse s egyrtelmsge szempontjbl!
y = y 2,

y(0) = 1.

A 2 Ttel felttelei teljeslnek ezrt LTEZIK a t = 0 krl olyan intervallum, amelyben a megolds ltezik s egyrtelm. St erre az rtatlan
kinzet egyenletre tekintve az ember azt gondoln, hogy a megolds taln
az egsz szmegyenesen ltezik. Azonban, ha megoldjuk a sztvlaszthat
vltozj egyenletet ltjuk, hogy a Cauchy feladat megoldsa:
y=

1
,
1t

ami nem rtelmezett t = 1-ben teht a megolds csak a (, 1) nylt intervallumon ltezhet. Erre a jelensgre az egyenletnk alakja nem gyelmeztet!!!

2.4.

Irnymez

Tekintsk az
y = F (t, y)

y(t0) = y0
8

(14)

kezdeti rtk feladatot. Ha F (t, y) = f (y) g(t) , akkor mint tanultuk

ez egy sztvlaszthat vltozj egyenlet amit meg tudunk oldani. Ha
F (t, y) = (t) y(t) + (t) valamilyen (t), (t) folytonos fggvnyekre,
akkor a (14) egyenlet elsrend lineris egyenlet s megint csak tanultuk,
hogy hogyan lehet megoldani. Ezeken kvl mg nagyon sok olyan eset van
amikor a (14) kezdeti rtk feladatot meg tudjuk oldani. Azonban olyan esetek is vannak amikor az egyenletet megoldsra semmilyen mdszert nem
tallunk vagy ugyan meg tudjuk oldani az egyenletet de a megoldst olyan
bonyolult kplet adja ami nem mond semmit. Az egyik dolog amit ilyen
esetben tehetnk ha megnzzk az irnymezt (persze komputerrel). Az
irnymezt gy kapjuk ha a ty sk nagyon sok (t,y) pontjn keresztl megrajzoljuk annak az egyenesnek egy picike darabjt, amelynek meredeksge
F (t, y). Mivel ez az egyenes a keresett megolds rintje a t-ben ezen vonal
elemek a keresett megoldsok kzeltst adjk. Annl pontosabb kzeltst
minl tbb ponton keresztl rajzoljuk meg a fenti vonal elemeket.
Ezt az albbiakban egy pldn szemlltetjk: Tekintsk az y 2y = 3et
egyenletet! A Maple programot hasznlva a kvetkezket rjuk:
> ode := D(y)(t) - 2*y(t) = 3*exp(t);
ode := D(y)(t) - 2 y(t) = 3 exp(t)
> with(DEtools):
> InitialValues := [[0,1],[0,-5]];
InitialValues := [[0, 1], [0, -5]]
> DEplot(ode, y(t), t=0..1, y=-10..10, InitialValues, linecolor=black);

2.4.1.

Autonm egyenletek, stabilits

Ha a fentiekben vizsglt y = F (t, y) egyenletben a F (t, y) fggvny nem

fgg a t vltoztl, akkor autonm egyenletrl beszlnk. Az autonm
egyenletek ltalnos alakja teht:
y = f (y).
9

(15)

1. bra. Irnymez az y 2y = 3et egyenletre.

A tovbbiakban ha csak mst nem mondunk mindig feltesszk , hogy az f (y)
fggvny derivltja ltezik s folytonos. Ezrt teht a 2. Ttel rtelmben
a
y = f (y)
y(0) = y0 .
(16)
kezdeti rtk feladat megoldsa ltezik s egyrtelm a t = 0 egy krnyezetben. Ilyen egyenlet volt pldul a normlis nvekeds egyenlete (1.Plda
a 3.oldalon) vagy az 5. Plda a 8.oldalon. Az f (y) = 0 egyenlet (nem dierencilegyenlet csak sima algebrai egyenlet) megoldsait kritikus pontoknak
10

vagy egyenslyi megoldsoknak hvjuk. Az utbbi elnevezsnek az az oka,

hogy ha f (y0 ) = 0, akkor az
y(t) y0

konstans fggvny megoldsa a (15) egyenletnek. Ugyanis mivel ez a fggvny egy konstans fggvny a (15) egyenletnek mind a jobb mind a bal
oldaln az azonosan nulla fggvny szerepel. Ekkor teht az y(t) y0 konstans fggvny megoldsa (s az egyetlen megoldsa) a (16) kezdeti rtk
feladatnak. Kpzeljk el, hogy az y(t) egy idben vltoz mennyisget r le,
ahol t az id. Ekkor az, hogy az y(t) y0 megoldsa a (16) feladatnak azt
jelenti, hogy ha kezdetben t = 0 idpillanatban az y(0) rtke y0 volt, akkor
az is marad. Mindez a tulajdonsg abbl kvetkezett, hogy f (y0 ) = 0. Ezrt
nevezzk a f fggvny zrus helyeit egyenslyi megoldsoknak. Nzzk ezt
egy konkrt pldn:
6. PLDA:
y = (y 1)y(y + 1).
Az egyenslyi llapotok az y = 1, 0, 1. Az irny mezt a 2. bra mutatja.
Az a 2. brn lthat, hogy

lim y(t) = ,
ha y(0) > 1;

t
lim y(t) = 0,
ha 1 < y(0) < 1;
t

lim y(t) = , ha y(0) < 1.

t

ltalnosgban:

1. DEFINCI: Az y (t) y0 egyenslyi helyzetet Ljapunov- stabilnak

nevezzk, ha > 0 > 0, hogyha (t) az y = f (y)-nak egy olyan
megoldsa, melyre | (0) y0 | < , akkor | (t) y0 | < t-re. Ellenttes
esetben az y = y0 egyenslyi llapotot instabilnak hvjuk.
A fenti pldban teht y = 0 Lyapunov stabil de az y = 1 s az y = 1
instabil. Tovbb
2. DEFINCI: Az y (t) y0 egyenslyi helyzet aszimptotikusan stabil,
ha
(a) Ljapunov-stabil s
11

2. bra. Az y 1 s y 1 egyenslyi llapotok instabilok az y 0

asszimptotikusan stabil.

(b) lim (t) = y0 teljesl az y = f (y) minden olyan (t) megoldsra,

t

melyre (0) az y0 -hoz elg kzel van.

Ez teht azt mutatja, hogy a fenti plda egyetlen olyan egyenslyi llapota,
amely nem instabil, nevezetesen az y = 0, nem csak Lyapunov stabil hanem
valjban asszimptotikusan stabil.

12

7. PLDA: Vizsgljuk az
y = (y 1)y(y + 1)2 .
autonm egyenletet egyenslyi llapotait stabilits szempontjbl.
Megolds: Az egyenslyi helyzetek megint csak y = 1, y = 0, y = 1.
A 3. bra mutatja az irnymezt.
Az a 3. brn lthat, hogy

lim y(t) = , ha y(0) > 1;

t
lim y(t) = 0,
ha 1 < y(0) < 1;
t

lim y(t) = 1, ha y(0) < 1.

t

Ebbl teht nyilvnval, hogy megint csak az y = 0 stabil s a msik kt

egyenslyi llapot pedig instabil. Azonban amiatt, hogy lim y(t) = 1
t

teljesl, ha y(0) < 1 azt mondjuk, hogy az y = 1 egyenslyi llapot

flig-stabil.

13

3. bra. Az y 1 instabil az y 1 flig-stabil, az y 0 asszimptotikusan

stabil.

Fzis vonalak: Az egyenslyi helyzetek stabilitst az irnymez felrajzolsa nlkl is nagyon egyszeren eldnthetjk n. fzis vonalak segtsgvel.
Elszr is lerajzoljuk az f (y) fggvny grbjt s az brnkon megjelljk
az f (y) fggvny zrus helyeit (vagyis az egyenslyi llapotokat).Ez intervallumokra (kt vgtelen s nhny vges intervallumra) osztja a szmegyenest.
Ha egy ilyen intervallumon az f (y) > 0 akkor az intervallumra rajzolunk
egy jobbra mutat nyilat, ha egy ilyen intervallumon f (y) < 0, akkor az
14

intervallumra egy balra mutat nyilat rajzolunk. gy kapjuk a fzis vonalakat. Nzzk a fzis vonalakat elszr a 6. Plda utna pedig a 7. Plda
dierencilegyenletre.

4. bra. Fzis vonalak

Ha egy intervallumon a fzis vonal jobbra mutat az azrt van mert ott
f (y) > 0. Mivel y = f (y) ezrt itt a megolds nvekszik. Fordtva, ha
a fzis vonal balra mutat, akkor a megolds cskken. Ez teht azt adja,
15

hogy ha egy egyenslyi llapotot krlvev kt intervallum mindegyikn

ezen egyenslyi llapot fel mutat a nyl, akkor az az egyenslyi llapot
asszimptotikusan stabil. Ha csak az egyik nyl mutat az egyenslyi llapot fel, akkor az egyenslyi llapot flig stabil s ha mind a kt nyl az
egyenslyi llapottl ellenkez irnyba mutat, akkor az egyenslyi llapot
instabil.

2.5.

Euler formula

A clunk az, hogy deniljuk az olyan kifejezseket mint pldul

32+4i ,
i az imaginrius egysg i i = 1. Vegyk szre, hogy ehhez elg rtelmezni
az e alap s komplex kitevj hatvnyokat. Nevezetesen, hasznlva, hogy
3 = eln 3 kapjuk, hogy
32+4i = e2ln 3+i4ln 3 .
Teht denilnunk kell az ea+bi , a, b R szmokat.
3. DEFINCI: Valamely z C-re

X zn
z2 z3
e := 1 + z +
+
+ =
.
2!
3!
n!
n=0
z

(17)

Helyettestsk ebbe a kpletbe z = i t, ahol t egy vals szm. Ekkor:

t2 t4
t3 t5

eit = 1 + +i t + = cos t + i sin t.

| 2! {z4!
}
| 3! {z5!
}
cos t

sin t

Kapjuk teht az n. Euler formult:

eit = cos t + i sin t,

(18)

t R.

Ebbl mr knny meghatrozni a 32+4i rtkt. Nevezetesen:

!4i
32+4i = 9 34i = 9

3)
e|(ln
{z }
3

= 9 e(4 ln 3)i

= 9 cos(4 ln 3) + sin(4 ln 3)) i

| {z } | {z }
0.3126103028

0.9498814656

= 2.813492725 8.548933190 i.
16

Az Euler formult hasznlva vegyk szre, hogy:

eit = cos t + i sin t
eit = cos(t) + i sin(t) = cos t i sin t
| {z }
sin(t)

it
it
e +e
= 2 cos t
it
it
e e
= 2i sin t
vagyis

eit eit
eit + eit
,
sin t =
.
(19)
2
2i
Ezt a fontos kpletet mi csak vals t-re hasznljuk, de a t komplex rtkeire
is igaz.
cos t =

17

3.
3.1.

Msodrend lineris egyenletek

Csillaptott harmonikus rezgmozgs

5. bra. Rug
Egy vzszintes rdra fggesztnk egy rugt, melynek hossza eredetileg
. Ezutn erre a rdra egy m tmeg testet helyeznk. Ekkor a test kitr
L egysgnyit majd egyenslyba kerl. A testre hat erk :
Gravitcis er: w = mg,
Hooke trvnye miatt:Fs = kL.
Teht ebben a pillanatban:
mg = kL

(20)

Kpzeljk el, hogy a testet kimozdtjuk s magra hagyjuk. Clunk a

test mozgsnak lersa srldsi er jelenlte esetn.
Newton trvnye szerint a testre hat erk eredje f (t) egyenl a tmeg
szorozva a gyorsulssal. Ha a testnek a +L szinttl val eltrst a t idben
az y(t) fggvny adja meg, akkor:
a test sebessge: y (t),
a test gyorsulsa: y (t).
Teht Newton trvnye szerint: e
m y (t) = f (t).
18

(21)

Az f (t) a testre hat erk eredje. Teht

my (t) = f (t) =

mg
+ (k(L + y(t))) + (y (t)) + F (t)
|{z}
|
{z
}
| {z }
|{z}
gravitcis er
rug er
surldsi er kls er
(22)
Kihasznljuk, hogy a (20) egyenlet szerint: mg = kL. Ezrt (22)-et rendezve kapjuk, hogy
my + y + ky = F (t)
(23)
msodrend lineris inhomogn dierencilegyenlet rja le a csillaptott harmonikus rezg mozgst. Ezrt vizsgljuk ltalban a msodrend lineris
dierencilegyenleteket.

3.2.

Az inhomogn lineris egyenlet ltalnos megoldsa

a2 (t)y + a1 (t)y + a0 (t)y = r(t),

(24)

alak egyenletek a msodrend lineris egyenletek, feltve, hogy az

a2 (t), a1 (t) fggvnyek folytonosak. Ha egy I (vges vagy vgtelen) intervallumon az a2 (t) 6= 0, akkor vele leosztva kapjuk, az
y + p(t)y + q(t)y = g(t)

(25)

egyenletet. Ebben a fejezetben azt tanuljuk, hogy a (25) alak egyenletek

hogyan lehet megoldani. A (25) alak egyenletet inhomognnek nevezzk,
ha g(t) 6= 0; homognnek hvjuk, ha g(t) = 0.
Ebben az esetben is rvnyes az a formula amit az elsrend lineris
egyenletek esetn tanultunk:
yi,alt = Yh,alt + yi,p

(26)

Vagyis a (25) inhomogn egyenletet gy oldjuk, meg, hogy elszr meghatrozzuk a megfelel
Y + p(t)Y + q(t)Y = 0

(27)

homogn egyenlet ltalnos megoldst Yh,alt s ennek ismeretben kiszmoljuk a (25) egyenlet egy partikulris megoldst vagyis az yi,p fggvnyt.
Ezen az eladson a homogn rsz megoldsi mdszert tanuljuk.
19

3.3.

Homogn egyenletek
y + p(t)y + q(t)y = 0.

(28)

alak
8. PLDA:

1. y 2t y +

2
y
t2

= 0;

(t > 0)

2. y + y = 0
3. y y = 0
4. DEFINCI: Azt mondjuk, hogy az {y1 (t), y2 (t)} fggvnyek az a (28)
egyenlet fundamentlis megoldsai, ha
1. y1 (t), y2(t) megoldsai a (28) egyenletnek
2. az y2 (t) fggvny NEM konstans szorosa az y1 (t) fggvnynek.
A (8) Pldabeli egyenleteket tekintve:
2
2
y y + 2 y = 0;
t
t

(t > 0)

esetn knnyen ellenrizhet, hogy mind az y1 (t) = t s az y2 (t) = t2 megoldsai az egyenletnek s ezek nyilvn nem konstans szorosai egymsnak teht
az {t, t2 } fggvny pr az egyenlet fundamentlis megoldsai.
y + y = 0
egyenletnek az y1 (t) = cos t, y2 (t) = sin t fggvnyek megoldsai. mivel nem
konstans szorosai egymsnak, ezrt k fundamentlis megoldst kpeznek.
y y = 0
egyenletnek megoldsai az y1 (t) = et , y2(t) = et fggvnyek. Mivel nem
konstans szorosai egymsnak, ezrt k fundamentlis megoldst kpeznek.
Vegyk szre, hogy ugyan ennek az egyenletnek az y1 (t) = sht, y2 (t) = cht
fggvnyek is megoldsaik. Mivel ezek sem konstans szorosai egymsnak,
ezrt k IS fundamentlis megoldst kpeznek.

20

3. TTEL: Ha az {y1 , y2 } fggvnyek a homogn (28) fundamentlis megoldsa, akkor a (28) egyenlet sszes megoldst megkapjuk
y = c1 y1 + c2 y2 alakban valamely c1 , c2 R -re.

(29)

Vagyis ha {y1 , y2 } a (28) egyenlet fundamentlis megoldsa, akkor a (28)

ltalnos megoldsa:
y = c1 y 1 + c2 y 2 ,

c1 , c2 R.

(30)

Ez a jelensg analg a kvetkezhz: Legyen a tr valamely orign tmen

S skjnak kt egymssal nem prhuzamos vektora: v1 , v2 S. Ekkor
az S sk minden vektora w vektora elllthat v1 -el s v2 -vel prhuzamos
komponensek sszegeknt. Ugyanez algebrailag: c1 , c2 R, gy hogy
(31)

w = c1 v1 + c2 v2 .

A (29) s a (31) egyenleteknek ugyanaz a lnyege, csak az elbbiben a

w, v1 , v2 szerept az y, y1, y2 fggvnyek jtszk.
9. PLDA: Tekintsk a msodrend lineris homogn
2
2
y y + 2 y = 0,
t
t

t>0

(32)

egyenletet. Szemrevtelezssel azonnal lthat, hogy az y1 (t) = t egy megoldsa az egyenletnek. Prblkozssal hamar rjhetnk arra is, hogy az
y2 (t) = t2 is megoldsa az egyenletnek. Ezek nem szm szorosai egymsnak.
Teht az egyenletnek


y1 (t) = t, y2 (t) = t2

fundamentlis megoldsa. Ebbl azutn az elz ttel alkalmazsval kapjuk, hogy az egyenlet ltalnos megoldsa:
y(t) = c1 t + c2 t2 ,
3.3.1.

t > 0.

Konstans egytthats msodrend homogn lineris dierencilegyenletek.

Most azzal a specilis esettel foglalkozunk, amikor az egytthat fggvnyek

konstansok, vagyis
ay + by + cy = 0
21

(a 6= 0).

(33)

Ebben az esetben egy msodfok egyenlet (amit majd karakterisztikus a

egyenletnek hvunk) megoldsa nyomn kapott gykkbl azonnal kapjuk
a (33) dierencilegyenlet fundamentlis megoldst. Azonban meg kell
klnbztetnnk hrom esetet annak megfelelen, hogy a karakterisztikus
egyenlet kt klnbz vals, kt azonos vals- vagy egy komplex konjugltpr gykkel rendelkezik.
1. tlet: Keressk a (33) dierencilegyenlet megoldst
y(t) = ert ,
alakban, ahol a r alkalmasan vlasztott komplex vagy vals szm.
Ha a fenti tletet akarjuk megvalstani, akkor meg kell tallnunk azokat a
vals vagy komplex r szmokat, melyekre az y(t) = ert megoldsa a (33)-nek
nevezett
ay + by + cy = 0
(a 6= 0).
dierencilegyenletnek. Ehhez vegyk szre, hogy y(t) = ert esetn
y = rert

y = r 2 ert .

Ezeket helyettestjk a dierencilegyenletbe s osztunk ert -vel:

a r 2 ert + b rert + c ert = 0

: ert

kapjuk:
1. LEMMA: Legyenek r1 s r2 (akr vals, akr komplex ) gykei az
a r2 + b r + c = 0
n. karakterisztikus egyenletetnek. Ekkor a
t 7 er1 t s a t 7 er2 t
fggvnyek az
ay + by + cy = 0
dierencilegyenlet megoldsai. Ha r1 6= r2 , akkor az
y1 = er1 t s az y2 = er2 t
fggvnyek a dierencilegyenlet fundamentlis megoldst alkotjk.
22

(34)

Hrom esetet klnbztetnk meg:

I.eset r1 , r2 R s r1 6= r2 . Ekkor a dierencil egyenlet ltalnos megoldsa:
y = c1 e r 1 t + c2 e r 2 t
c1 , c2 R.
(35)
II. eset r1 , r2 R de r := r1 = r2 . Vegyk szre, hogy ekkor a
t 7 t ert
fggvny is megolds. Ezrt az alaprendszer:
ert , t ert .
Teht az ltalnos megolds:
y(t) = c1 ert + c2 t ert ,

c1 , c2 R.

III.eset r1 , r2 C. A fenti Lemma szerint az {er1 t , er2 t } egy fundamentlis

megolds. Igen m de ezek komplex fggvnyek s mi vals fggvnyekbl ll megoldst akarunk! Itt fel kell hasznlnunk azt az A1
trgyban tanult ttelt, hogy ha az r1 , r2 szmok komplex gykei a
vals egytthats
a r2 + b r + c = 0

msodfok egyenletnek, akkor k egyms komplex konjugltjai. Vagyis,

ha r1 = u + i v, akkor r2 = u i v, ahol u, v R. Ekkor teht
er1 t
er2 t
er1 t + er2 t
2
er1 t er2 t
2i

= eut eivt = eut (cos(vt) + i sin(vt))

= eut eivt = eut (cos(vt) i sin(vt))
= eut cos(vt)
= eut sin(vt)

Vagyis ha r1 = u + i v, r2 = u i v komplex gykk, akkor az

y1 = eut cos(vt)

y2 = eut sin(vt)

az egyenlet egy fundamentlis megoldsa s az egyenlet ltalnos megoldsa:

y = c1 eut cos(vt) + c2 eut sin(vt).
(36)
23

10. PLDA: Oldjuk meg a kvetkez kezdeti rtk feladatot:

y + y 30y = 0,

y(0) = 5; y (0) = 8.

Megolds: A karakterisztikus egyenlet:

r 2 + r 30 = 0.
Ennek gykei: r1 = 5, r2 = 6. Teht
y1 = e5t ,

y2 = e6t

az egyenlet fundamentlis megoldsa. Vagyis az egyenlet ltalnos megoldsa:

y = c1 e5t + c2 e6t ,
c1 , c2 R.

Az ltalnos megolds derivltja:

y = 5c1 e5t 6c2 e6t .

Behelyettestve:
5 = y(0) = c1 + c2
8 = y (0) = 5c1 6c2 .
Ebbl addik, hogy c1 = 2 s c2 = 3. Vagyis a kezdeti rtk feladat megoldsa:
y = 2e5t + 3e6t .
11. PLDA: Oldjuk meg a kvetkez kezdeti rtk feladatot:
y 6y + 9y = 0,

y(0) = 1; y (0) = 7.

Megolds: A karakterisztikus egyenlet:

r 2 6r + 9 = 0.
Ennek gykei: r = 3 ktszeres gyk. Teht a
y1 (t) = e3t ,

y2 (t) = t e3t
24

fundamentlis megolds. Ezrt az ltalnos megolds:

y = c1 e3t + c2 t e3t .
Az ltalnos megolds derivltja:
y = 3c1 e3t + c2 e3t + 3c2 te3t .
Behelyettestve:
1 = y(0) = c1
7 = y (0) = 3c1 + c2 .
Teht c1 = 1 s c2 = 4. Vagyis a kezdeti rtk feladat megoldsa:
y = e3t + 4te3t .
12. PLDA: Oldjuk meg a kvetkez kezdeti rtk feladatot:
y 4y + 13y = 0,

y(0) = 2; y (0) = 1.

Megolds: A karakterisztikus egyenlet:

r 2 4r + 13 = 0.
Ennek gykei: r1 = 2 + 3i s r2 = 2 3i. Teht a
y1 (t) = e2t cos(3t),

y2 (t) = e2t sin(3t)

fundamentlis megolds. Ezrt az ltalnos megolds:

y = c1 e2t cos(3t) + c2 e2t sin(3t).
Az ltalnos megolds derivltja:
y = 2c1 e2t cos(3t) 3c1 e2t sin(3t)
+ 2c2 e2t sin(3t) + 3c2 e2t cos(3t)
Behelyettestve:
2 = y(0) = c1
1 = y (0) = 4 + 3c2 .
Teht c1 = 2 s c2 = 1. Vagyis a kezdeti rtk feladat megoldsa:
y = 2e2t cos(3t) e2t sin(3t).
25

3.3.2.

Konstans egytthats msodrend inhomogn lineris differencilegyenletek.

Tegyk fel, hogy egy vges vagy vgtelen I intervallum minden pontjban
rtelmezett s folytonos a p(t), q(t), g(t) fggvnyek mindegyike. Most azzal
foglalkozunk, hogy a
ay + by + cy = g(t),

a 6= 0 s t I

(37)

konstans egytthats msodrend inhomogn lineris dierencilegyenletet

hogyan lehet megoldani. Mr tanultuk, hogy a (37) egyenlet megoldsnak
els lpse az, hogy felrjuk a megfelel homogn egyenletet, vagyis az
aY + bY + cY = 0

(38)

egyenletet. Meghatrozzuk ennek Yh,lt ltalnos megoldst az elz fejezetben tanult mdon. Ezutn mr csak a (37) inhomogn egyenlet egyetlen
yi,p megoldst kell megtallnunk hogy felrhassuk az inhomogn (37) egyenlet ltalnos megoldst:
yi,alt = Yh,alt + yi,p.

(39)

Ennek a fejezetnek a clja kt olyan mdszer ismertetse, amelyek segtsgvel megtallhatjuk a fenti yi,p megoldst.
Elszr az n. "prbafggvny mdszert" trgyaljuk.
Prba fggvny mdszer: Ezt nem mindig lehet alkalmazni, csak ha
a (37) egyenletben a g(t) fggvny alakja
g(t) = eut (An (t) cos(vt) + Bm (t) sin(vt)) ,

(40)

ahol An (t), Bm (t) olyan polinomok melyeknek rendje, n s m Vagyis valamely a0 , . . . , an s b0 , . . . , bm vals szmokra
An (t) = an tn +an1 tn1 + +a1 t+a0 ,

Bm (t) = bm tm +bm1 tm1 + +b1 t+b0

(41)

13. PLDA: A kvetkez fggvnyek mind (40) alakak a konstansok s

polinomok mellkelt vlasztsaival:
1. g(t) = 1 30t,
u = 0, v = 0, n = 1, An (t) = 1 30t.
26

2. g(t) = e5t ,
u = 5, v = 0, n = 0, A0 (t) 1,
3. g(t) = e6t cos(3t),
u = 6, v = 3, n = 0, A0 (t) 1, m = 0, Bm (t) 0.
4. g(t) = t2 ,
u = 0, v = 0, m = 2, A2 (t) = t2 .
5. g(t) = te7t
u = 7, v = 0, n = 1, A1 (t) = t.
A (37) egyenlet egy yi,p partikulris megoldsnak prbafggvny mdszerrel trtn meghatrozst egy konkrt pldn ismertetjk.
y + y 30y = e5t .

(42)

1. Megoldjuk a (42) egyenletnek megfelel

Y + Y 30Y = 0
HOMOGN egyenletet. Ennek felrjuk a karakterisztikus egyenlett
s meghatrozzuk ennek gykeit. Ez az egyenlet elfordult a 10. Pldban ezrt mint ott lttuk a karakterisztikus egyenlet gykei:
r1 = 5 s r2 = 6.
2. Most meghatrozzuk a (40) formulhoz tartoz u s v szmokat. Mint
a (13). Plda 2. rszben lttuk ezek:
u = 5, v = 0.
3. Legyen s {0, 1, 2} denci szerint az u + i v komplex szm multiplicitsa a karakterisztikus egyenlet gykei kztt. Ez azt jelenti,
hogy
(a) s = 0, ha u + i v nem szerepel a karakterisztikus egyenlet gykei
kztt,
27

(b) s = 1 ha u + i v egyszeres gyke a karakterisztikus egyenletnek,

(c) s = 2 ha a karakterisztikus egyenletnek egyetlen, ktszeres multiplicits gyke van, ami ppen egyenl u + i v-vel.

A mi esetnkben u + i v = 5, ami a karakterisztikus egyenlet gykei

kztt egyszer szerepel, ezrt
s = 1.
Ezek utn a (42) egyenlet egy yi,p partikulris megoldst kereshetjk
yi,p = ts eut (Pk (t) cos(vt) + Qk (t) sin(vt))

(43)

alakban, ahol
k := max {n, m}

Pk (t) = pk tk + p1 t + p0

Qk (t) = qk tk + q1 t + q0

ltalnos alak k-ad fok polinomok.

A mi ltalunk vizsglt specilis esetben: n = m = 0 teht k = 0.

Az ltalnos 0-ad fok polinomok a konstans fggvnyek. Ezrt a mi
specilis esetnkben a (43) alakja
yi,p = C e5t t.

(44)

Annyi maradt mindssze, hogy a fenti C konstanst meg kell hatroznunk az yi,p = C e5t t fggvnynek az eredeti (42) egyenletbe val
vissza helyettestsvel. Ehhez kellenek az els s a msodik derivltak:

yi,p
= C e5 t + 5 C te5 t s yi,p
= 10 C e5 t + 25 C te5 t .

Ezeket a (42) egyenletbe vissza rva kapjuk:

5t
5t
5t
5t
5t
5t
| {z } = e .
|10Ce +
{z25Cte } + |Ce +
{z5Ce } 30 Cte
y (t)

Innen kapjuk, hogy C =

y (t)

1
:
11

Vagyis

yi,p =
28

1 5t
te .
11

y(t)

Ezrt:

1
yi,alt = Yh,alt + yi,p = C1 e5t + C2 e6t + te5t .
|
{z
} 11
| {z }
Yh,alt
yi,p

Konstans varicis mdszer: Ezt a mdszert is az inhomogn egyenlet egy partikulris megoldsnak meghatrozsra hasznljuk. Abban klnbzik az elz mdszertl, hogy
brmilyen folytonos jobb oldali g(t) fggvny esetn a (37) egyenlet
megoldhat.
nem csak konstans de fggvny egytthats msodrend lineris inhomogn egyenletek partikulris megoldsra is hasznlhat. Vagyis
ha a p(t), q(t), g(t) fggvnyek folytonosak az I intervallumon s az
y + p(t)y + q(t)y = g(t)

tI

(45)

egyenlet homogn rsznek

Y + p(t)Y + q(t)Y = 0
ismerjk egy fundamentlis megoldst, a akkor konstans varicis
mdszerrel megkapjuk a (45) egyenlet egy yi,p partikulris megoldst.
A legtbb olyan esetben mikor az egyenlet konstans egytthats s
jobb oldali g(t) fggvny (40) alak az elbb tanult prbafggvny
mdszer kevesebb szmolssal ad eredmnyt. Teht a most bemutatsra kerl mdszer sokkal ltalnosabb (mkdik fggvny egytthats esetben is s nem csak specilis jobboldalra ), de azrt amikor
lehet prba fggvny mdszert jobb vlasztani.
A (45) egyenlet egy partikulris megoldsnak meghatrozsa
konstans varicis mdszerrel egy pldn keresztl:
Tekintsk a
2
2
y y + 2 y = 2t;
t
t
29

t>0

(46)

msodrend lineris inhomogn fggvny egytthats dierencilegyenletet.

Prblgatssal knnyen lthat, hogy mint az
y1 (t) = t s y2 (t) = t2
fggvnyek fundamentlis megoldst kpezik az
2
2
Y Y + 2 Y = 0
(47)
t
t
homogn egyenletnek. Teht ezen homogn egyenlet ltalnos megoldsa:
Yh,alt = C1 y1 (t) + C2 y2 (t) = C1 t + C2 t2

C1 , C2 R.

A mdszer tlete az, hogy a (46) egyenlet egy partikulris megoldst

yi,p = C1 (t) y1 (t) + C2 (t) y2 (t) = C1 (t) t + C2 (t) t2

(48)

C1 (t)y1 (t) + C2 (t)y2 (t) = 0

C1 (t)y1 (t) + C2 (t)y2 (t) = g(t)

(49)

alakban keressk. Vagyis keressk azon C1 (t), C2 (t) fggvnyeket, melyekre a fenti yi,p = C1 (t) t + C2 (t) t2 a (47) egyenlet egy megoldsa lesz.
Be lehet ltni (itt nincs r idnk), hogy a keresett C1 (t), C2 (t) fggvnyeket
megkapjuk, ha megoldjuk a keresett fggvnyek C1 (t), C2 (t) derivltjaira
vonatkoz

egyenletet. Ez a mi specilis esetnkben (y1(t) = t, y2 (t) = t2 ):

Ennek megoldsa

C1 (t) t + C2 (t) t2 = 0
C1 (t) 1 + C2 (t) 2t = 2t.
C1 (t) = 2t,

(50)

C2 (t) 2.

Ezt integrlva (konstansok nlkl mert csak egy partikulris megoldst keresnk):
C1 (t) = t2 s C2 (t) = 2t.
Teht ezt (48)-ba vissza rva:

yi,p = C1 (t)y1 (t) + C2 (t)y2 (t) = t2 t + 2t t2 = t3 .

Vagyis az ltalnos megolds:

2
yi,alt = Yh,alt + yi,p = a
t3 ,
|t+
{zb t} + |{z}
Yh,alt

30

yi,p

a, b R.

3.4.

Rezgmozgs srlds nlkl

Trjnk vissza a harmonikus rezg mozgshoz 5. bra. Ekkor mint lttuk a

test mozgst a (23) formula rja le. Ha feltesszk, hogy nincs srlds s a
kls er F (t) = F0 cos t, ahol F0 , konstansok, akkor a (23) formulban
= 0, vagyis a test mozgst a
my + ky = F0 cos t
(51)
p
dierencilegyenlet rja le. Legyen 0 := k/m. Ekkor 0 -t a rendszer
termszetes frekvencijnak hvjuk, ugyanis a homogn
mY + kY = 0
egyenlet ltalnos megoldsa
Yh,alt = C1 cos 0 t + C2 sin 0 t.
Abban az esetben ha a kls er frekvencija nem egyenl az 0 -al az (51)
egyenlet ltalnos megoldsa:
yi,alt = C1 cos 0 t + C2 sin 0 t +

F0
cos t.
02 )

m( 2

(52)

Nzzk ezt egy konkrt esetben:

14. PLDA: Legyen egy 1-hez kzeli szm. Vizsgljuk a
y + y = 0.5 cos t

y(0) = 0, y (0) = 0

kezdeti rtk feladat megoldsnak viselkedst, amint 1.

Az fent ismertetett mdszerrel knnyen ltszik, hogy a megolds:
y=

cos(t) cos(t)
1
(1 )t
(1 + )t
=
sin

sin
.
2(1 2 )
1 2
2
2

Specilisan az = 0.8 esetben ez:

y(t) = 2.77778 sin(0.1t) sin(0.9t).
s a megoldst grakonjt a a 3.4. bra mutatja.
31

(53)

6. bra. A 2.77778 sin(0.1t) s a 2.77778 sin(0.1t) sin(0.9t) fggvnyek

4.

Hinyos msodrend di.egyenletek

Egy msodrend dierencilegyenlet ltalnos alakja:

F (x, y, y , y ) = 0,
ahol teht F egy olyan formula ami kzvetlenl fgghet mind az
x, y, y s y
32

(54)

-tl (nem felttlenl fgg mindtl de fgghet mindtl). Pldul

((y )5 + sin(y )3 + cos(y ) + y)tan x cos x = 0.
|
{z
}
F (x,y,y ,y )

Ha kpesek vagyunk az y -t kifejezni az (54) formulbl, akkor a dierencilegyenletet megadhatjuk n. explicit alakban. Vagyis
y = f (x, y, y )

(55)

alakban. A legtbb esetben amivel itt tallkozunk a dierencilegyenletet fel

tudjuk rni explicit alakban de azrt mi itt mindig azt az ltalnos trgyals
mdot kvetjk, hogy felttelezzk, hogy a diferencilegyenletnk implicit
alakban adott. ltalnossgban nem tudunk olyan mdszert amivel egy
akrmilyen (54) alak dierencilegyenetet meg tudnnk oldani. Azonban
abban a specilis esetben, ha az (54)-ban szerepl F (x, y, y , y ) valjban
nem fgg az
x, y, y s y
mindegyiktl, teht az F kpletbl az x, y, y valamelyike hinyzik, akkor
kapjuk a hinyos msodrend dierencilegyenleteket, melyek megoldsnak mdszert pldkon keresztl szemlltetjk (az y nem hinyozhat
mert akkor az egyenlet nem lenne msodrend).
Hinyosnak neveznk egy msodrend di.egyenletet, ha az x, y, y , kzl legalbb az egyik hinyzik. Most osztlyozzuk a hinyos msodrend
di.egyenleteket aszerint, hogy az x, y, y kzl melyik hinyzik s mindegyik
esetben megmondjuk, hogyan tallhatjuk meg a megoldst.
1. Ha y s y hinyzik:Ekkor y = f (x) . A feladatot f (x) ktszeres
integrlsval oldhatjuk meg.
R
15. PLDA: y = 5R+ sin 3x. Ekkor y
= (5 + sin 3x) dx = 5x
cos 3x
+ C1 . Teht y =
5x cos33x + C1 dx = 52 x2 sin93x + C1 x + c2 .
3
2. Ha y hinyzik. Ez az F (x, y , y ) = 0 alak. A megolds kulcsa az,
hogy a
p (x) = y (x)
helyettestst kell alkalmazni, ekkor y (x) = p (x).
33

16. PLDA: Oldjuk meg az

1
1 + x2 y xy = 0,
2

y (0) = 0
y (0) = 3

Cauchy feladatot!

Megolds: Mivel y = p (x) ezrt y = p (x) . Ezzel a helyettestssel

az egyenlet a


1
1 + x2 p xp = 0
2
sztvlaszthat vltozj di.egyenletbe megy t. Ennek megoldsa:
p = c (1 + x2 ) . Teht y = c (1 + x2 ) . Innen pedig az ltalnos megolds:


x3
yalt = c x +
+ K.
3
A Cauchy feladat megoldst gy kapjuk, hogy behelyettestnk
x = 0-t mind az yalt , mind az ya lt kpletbe:
y (0) = K = 0
.
y (0) = c = 3
Teht a Cauchy feladat megoldsa: y = 3x + x3 .
17. PLDA: Fggessznk fel egy homogn lland keresztmetszet
fajsly hajlkonynak s nylhatatlannak felttelezett ktelet az A
s B pontokban. Hatrozzuk meg azt az y(x) fggvnyt, amely a ktl
alakjt meghatrozza, ha a ktelet csak sajt slya terheli.
Megolds: Egyszer zikai megfontolsok mutatjk, hogy valamely V
konstansra, az y(x) fggvnyre teljesl, hogy:
y =

p
1 + (y )2 .
V

(56)

Ebbl a hinyos msodrend egyenletbl hinyzik pldul az y. Teht

a kvetkez helyettestst hasznlhatjuk:
y = p(x),
34

y = p (x).

Ezzel a dierencilegyenletnk alakja:

dp
p
1 + p2 .
= p =
dx
V

Ez egy sztvlaszthat vltozj egyenlet,

dp
melynek megoldsa:

1+

p2

dx,
V

y (x) = p(x) = sinh

(x + C 1).
V

Integrlva kapjuk, hogy



V
y = cosh
(x + C1 ) + C2 .

Ebben hrom konstans van: C1 , C2 s V . Ezek meghatrozshoz

hrom egyenlet kell. Ezek felrshoz a kvetkez hrom adatot hasznljuk:
a ktl tmegy az A = (a1 , a2 ) ponton

a ktl tmegy az B = (b1 , b2 ) ponton

a ktl hossza egy adott szm.

Ezen hrom adatnak megfelel hrom egyenlet sorrendben:



V
cosh
(a1 + C1 ) + C2 .

V


V

cosh
(b1 + C1 ) + C2 .
b2 =

V
Za2p



i
V h
s =
sinh
[a2 + C1 ] sinh
[a1 + C1 ]
1 + (y )2 =

V
V

a2 =

a1

Ebbl a hrom egyenletbl az aktulis C1 , c2 , V konstansok rtkei

kiszmolhatk.
35

3. Ha x hinyzik. Ekkor az egyenlet F (y, y , y ) alak. Ebben az esetben

az
y = p (y)
helyettestst kell alkalmazni. Ekkor
y =

dp (y (x))
dp dy
dp
dp
=
= y = p.
dx
dy dx
dy
dy

18. PLDA: Oldjuk meg az yy = 2 (y )2 2y egyenletet.

Megolds: Az egyenletbe helyettestjk az y = p s a y =

sszefggseket. gy kapjuk az
dp
y p = 2p2 2p
dy

dp
p
dy

sztvlaszthat vltozj di.egyenletet (itt y a vltoz s p = p (y)

az y fggvnye). Ennek megoldsa a p 0 s a p = c2 y 2 + 1 .
Felhasznlva, hogy y = p kapjuk, hogy y C s y = 1c tg (cx + c2 ) .
4. Ha az y hinyzik akkor csak nagyon specilis tpusokat tudunk megoldani.

5.

Egzakt dierencilegyenletek

Az
M (x, y) dx + N (x, y) dy = 0
dierencilegyenlet egzakt, ha a
M
N

y
x
felttel teljesl, s mind M (x, y), mind N (x, y) fggvnyek parcilis derivltjai lteznek s folytonosak egy olyan tartomnyon, melyben nincsenek
lyukak. Az ilyen tartomnyokat egyszeresen sszefggnek hvjuk.
4. TTEL: Ha M
N
s mind M (x, y) mind N (x, y) fggvnyek pary
x
cilis derivltjai lteznek s folytonosak egy egyszeresen sszefgg tartomnyon, akkor ltezik olyan F : R2 R fggvny amelyre:
F
F
M=
s N =
x
y
vagyis grad (F ) = (M, N) .
36

Ebben az esetben azt mondjuk, hogy a F fggvny a potencilfggvnye az

(x, y) 7 (N(x, y), M(x, y))

vektormeznek. ltalnossgban egy vektormez potencilfggvnye lehet,

hogy nem ltezik. Viszont ha ltezik, akkor meg egsz bizonyos, hogy nem
egyrtelm. Ha ugyanis F (x, y) egy potencilfggvnye az
(x, y) 7 (N(x, y), M(x, y))
vektormeznek, akkor F (x, y) + C, ahol a C egy tetszleges konstans, szintn potencilfggvnye ugyanezen vektormeznek. Teht a potencilfggvny csak additv konstans erejig meghatrozott. Ha a potencil fggvny
ltezik, akkor a sk valamely A pontjbl valamely B pontjba trtn elmozduls sorn az
(x, y) 7 (N(x, y), M(x, y))
ertr ellenben vgzett munka nem fgg attl, hogy milyen ton megynk
A-bl B-be s a munkt az F (B) F (A) klnbsg adja.
Visszatrve a fenti deerencilegyenletnkhz, ha az
(x, y) 7 (N(x, y), M(x, y))
vektormezre ltezik F potencil fggvny akkor az
M (x, y) dx + N (x, y) dy = 0
dierencilegyenletet teht exact dierencilegyenletnek hvjuk s ltalnos
megoldst az
F (x, y) = C
implicit alakban kaphatjuk meg.
37

19. PLDA: Oldjuk meg a

y 3x4 y 2 x2 + 4x3 y 3 2xy = 0

di.egyenletet.
dy
Megolds: Hasznljuk fel, hogy y = dx
s formlisan szorozzuk meg
az egyenlet mind kt oldalt dx-el. Kapjuk, hogy




4x3 y 3 2xy dx + 3x4 y 2 x2 dy = 0.
|
{z
}
|
{z
}
M (x,y)

N (x,y)

Ez a di.egyenlet egzakt, mivel az M s az N fggvnyek s minden parcilis

derivtjaik mindentt rtelmezettek s
M
N
= 12x3 y 2 2x =
.
y
x
Teht a fenti ttel szerint ltezik egy F , melyre M = F
s N = F
.
x
y
F
Az F potencilfggvny meghatrozsa: Mivel x = M (x, y) , ezrt
Z
Z


F (x, y) = M (x, y) dx =
4x3 y 3 2xy dx = x4 y 3 x2 y + f (y) .

Ezutn mr csak az f (y) fggvnyt kell meghatrozni. Ezt abbl kapjuk,

hogy
F
.
N=
y
Ezt felrva:

3x4 y 2 x2 = 3x4 y 2 x2 + f (y) .

Innen f (y) 0 vagyis f (y) C. Teht

F (x, y) = x4 y 3 x2 y + C.
A fenti ttel rtelmben taht a di.egyenlet megoldst az x4 y 3 x2 y = C
adja. Itt a megoldst implicit alakban kaptuk meg de ennl tbbet ilyen
egyenleteknl csak specilis esetekben remlhetnk.
Eddig tart az I. Zh anyaga.

38

6.

Dierencilegyenlet-rendszerek

Ebben a fejezetben a fggetlen vltozt t-vel jelljk, az ismeretlen fggvnyeket pedig x (t) s y (t)-vel. Hasznlni fogjuk a D dierencils opertort. Vagyis x (t) = Dx (t) s y (t) = Dy (t) . Ha azt rjuk pldul, hogy
(D 5) x ez azzal egyenrtk, hogy x (t) 5x (t) . A dierencilegyenlet
rendszerek kzl csak a legegyszerbbeket tekintjk, s ezeknek megoldst
a kvetkez pldn mutatjuk be:
20. PLDA: Oldjuk meg a kvetkez di.egyenlet rendszert:
2x + y 4x y = et
x
+ 3x + y = 0
Megolds: Az egyenlet rendszer a D opertorral:
2 (D 2) x + (D 1) y = et
(D + 3) x +
y
= 0
A Cramer-szably szerint egyrtelm megolds azrt van, mert a


 2 (D 2) D 1 


 = D 2 + 1 6= 0.
= 
D+3
1 

A megoldsok addnak a kvetkez kt egyenletbl:




 t
 2 (D 2) et 
 e D1 
.



s y = 
x = 
D+3 0 
0
1 

Ezeket kifejtve:

D 2 + 1 x = et s D 2 + 1 y = 4et .

Ezek megoldsai:

1
x (t) = c1 cos t + c2 sin t et
2

y (t) = c3 cos t + c4 sin t + 2et .

Csak kt szabad paramter lehet, ezrt c3 , c4 kifejezhet c1 , c2 -vel. Az x(t), y (t)
fenti kpleteit az egyenletrendszer 2. egyenletbe helyettestve:

c2 + 3c1 + c3 cos t + 3c2 c1 + c4 sin t = 0

{z
}
|
{z
}
|
0

39

ez adja a kvetkez lineris egyenletrendszert:

3c1 c2 = c3
c1 3c2 = c4
Vagyis az egyenlet rendszer megoldsa:
t

x (t) = c1 cos t + c2 sin t e2

.
y (t) = (3c1 + c2 ) cos t + (c1 3c2 ) sin t + 2et
21. PLDA: Oldjuk meg a kvetkez Cauchy feladatot:


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

(57)

Megolds: Felrjuk az egyenletrendszert a D opertor hasznlatval:

(D + 3) x y = 0
2x + Dy = 0


 D + 3 1 
 = D 2 +3D +2 6= 0. Teht a fenti mdszer
Kiszmtjuk a = 
2 D 
alkalmazhat. Ezutn a Cramer-szablybl:




 0 1 
 D+3 0 

=0


x = 
= 0 s y = 
2 0 
0 D 
Ezt kirva:

x + 3x + 2x = 0 s y + 3y + 2y = 0.

(58)

Ezeket megoldva kapjuk, hogy

x (t) = c1 et + c2 e2t s y (t) = c3 et + c4 e2t .
Mivel csak kt konstans lehet a ngy helyett, mindezt vissza kell helyettesteni az egyenletrendszer valamelyik, mondjuk a msodik egyenletbe. Ebbl
addik, hogy:

2c1 c3 et + 2c2 2c4 e2t 0.

| {z }
| {z }
0

40

Teht c3 = 2c1 , s c4 = c2 . Ezt visszahelyettestve a (58) megoldsaiba,

kapjuk, hogy a di. egyenletrendszer ltalnos megoldsa:
x (t) = c1 et + c2 e2t
y (t) = 2c1 et + c2 e2t .

(59)

A Cauchy-feladat megoldst gy kapjuk, ha t = 0-t helyettestnk mindkt oldalra s felhasznljuk az y (0) = 3, x (0) = 1 kezdeti feltteleket:
1 = x (0) = c1 + c2
3 = y (0) = 2c1 + c2 .
Ezen egyenletrendszer megoldsaknt kapjuk, hogy: c1 = 2, c2 = 1.
Ezeket (59)-ba visszarva kapjuk a Cauchy-feladat megoldst:
x (t) = 2et e2t
y (t) = 4et e2t .

(60)

Az elbbiek egy alkalmazsa: Tegyk fel, hogy a skon mozog egy

pontszer bogrka a kvetkez felttelek mellett: A bogrka a t = 0 idpontban a sk A = (1, 3) pontjban tallhat. A bogrka mozgsa sorn
brmely (x, y) pontba is jut, a pillanatnyi sebessge ebben a pontban az
(y 3x, 2x) vektor ltal adott. Feladat: rjuk le a bogrka mozgst.
Megolds: Mivel a bogrka az A pontbl indul ki s a pillanatnyi
sebessge (x , y ) = (y 3x, 2x) ez azt jelenti, hogy a bogrka plyjnak
x s y koordintjnak idbeli fggst ler x (t) , y (t) fggvnyek eleget
tesznek a fenti (57) Cauchy feladatnak, vagyis a bogrka plyjt a 21 plda
megoldsaknt kapott
x (t) = 2et e2t
y (t) = 4et e2t .
fggvnyek rjk le.

41

(61)