Professional Documents
Culture Documents
DIFERENCIALINĖS LYGTYS
prof. Artūras Štikonas
Paskaitu˛ kursas
Lenteliu˛ sąrašas v
Iliustraciju˛ sąrašas vii
Pagrindiniai žymenys xii
Pratarmė . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Matematinės sąvokos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1. Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2. Topologija . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3. Funkcinė analizė . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
4. Matematinė analizė . . . . . . . . . . . . . . . . . . . . . . . . . . 26
5. Diferencialinė geometrija . . . . . . . . . . . . . . . . . . . . . . . 34
⊔
⊓ ˛irodymo pabaiga
◁ apibrėžimo, pastabos, išvados pabaiga
:= priskirimo, apibrėžimo žymuo
≡ tapatumo žymuo
⇒, ⇐ išdavos sekimo žymuo („išplaukia“), implikacija
⇔ loginio ekvivalentiškumo žymuo („tada ir tik tada“)
∼ ekvivalentiškumo sąryšio žymuo
≃, ∼= homeomorfizmo ir izomorfizmo žymenys
∀ bendrumo kvantorius („kiekvienas“)
∃ egzistavimo kvantorius („egzistuoja“)
∃! egzistavimo ir vienaties kvantorius („egzistuoja vienintelis“)
x∈X x yra aibės X elementas, x priklauso aibei X
X ∩Y aibiu˛ sankirta
X ∪Y aibiu˛ sąjunga
X#Y jungioji sąjunga
X ×Y aibiu˛ Dekarto sandauga
↑ nemažėjimo žymuo, monotoniškai didėjanti
↓ nedidėjimo žymuo, monotoniškai mažėjanti
⇈ didėjimo žymuo, griežtai monotoniškai didėjanti
⇊ mažėjimo žymuo, griežtai monotonoškai mažėjanti
↷ iškilumas aukštyn
↶ iškilumas žemyn
Iliustraciju˛ sąrašas xiv
?
Funkcijos y = f (x) išvestinės gali būti žymimos:
dy dn y
y′ , y ′′ , y ′′′ , y (n) , f ′ (x), f ′′ (x), f (n) (x), , , ẏ, ÿ.
dx dxn
Tašku virš funkcijos x = x(t) žymėsime išvestines pagal kintamąji˛ t, kurio prasmė dažnai
yra laikas:
dx d2 x dn x
ẋ := , ẍ := , x(n) := .
dt dt2 dtn
1. Algebra
?
1.1. Sąryšiai. Sakykime, M – aibė, o R – poaibis Dekarto sandaugoje M × M . Jeigu
(x, y) ∈ R, tuomet sakoma, kad x susietas sąryšiu R su y, ir rašoma xRy. Sąryšis yra:
1) reflektyvusis, jei xRx;
2) simetrinis, jei xRy ⇒ yRx;
3) tranzityvusis, jei xRy, yRz ⇒ xRz;
4) antisimetrinis, jei xRy, yRx ⇒ x = y.
Pavyzdys. Lygybės sąryšis R = ∆x = {(x, x)|x ∈ M } yra refleksyvusis, simetrinis, tranzityvu-
sis ir antisimetrinis sąryšis.
?
1.2. Grupės. Pristatysime pagrindines algebrines struktūras.
Binarinė operacija ∗ : X × X → X vadinama:
asociatyviąja, jeigu (x ∗ y) ∗ z = x ∗ (y ∗ z), ∀x, y, z ∈ X;
komutatyviąja, jeigu x ∗ y = y ∗ x, ∀x, y ∈ X.
Elementas e ∈ X vadinamas neutraliuoju (vienetiniu), jei e ∗ x = x ∗ e = x, ∀x ∈ X.
Elementas y ∈ X vadinamas atvirkštiniu elementui x ∈ X, jei y ∗ x = x ∗ y = e.
1 skyrius
Paprastosios diferencialinės lygtys ir ju˛ sistemos
ėču˛p šu˛gh
sgdyuhojj iojojjdsež
lanko pėdsaku arba lanko atrama. Laikysime, kad g ∈ C 1 (I) ir Dg(t) :=
(ġ (t), ġ 2 (t)) ̸= (0, 0) ∀t ∈ I.
1
dt
Jei difeomorfizmas tenkina sąlygą dτ (τ ) < 0 ∀τ ∈ I, tai rašysime g2 = −g1 ,
ir vadinsime priešingos orientacijos lankais (o ju˛ klases – priešingos orentacijos
kreivėmis Γ2 = −Γ1 ).
Galima apibrėžti ir dalimis tolydžiai diferencijuojamą lanką g ∈ Cp1 [a; b] (kai
duotas intervalo [a; b] skaidinys T = {a = t0 < t1 < · · · < tm = b}, g ∈ C[a; b] ir
gj = g|[tj−1 ;tj ] ∈ C 1 [tj−1 ; tj ], j = 1, m). Uždaras lankas (g(a) = g(b)) vadinamas
ciklu.
1.1 uždavinys. I˛rodykite, kad jei U ⊂ Rn yra atviroji aibė, tai ekvivalentūs teiginiai:
1) U yra jungi;
2) U yra lankiškai jungi keliais;
3) U yra dalimis tiesiškai jungi, t.y. kiekvienai porai tašku˛ x0 , x1 ∈ U
egzistuoja juos jungianti laužtė L ⊂ U ;
4) U yra dalimis tiesiškai jungi, ir laužtės grandys yra lygiagrečios
koordinatinėms ašims.
∂u ∂u ∂v ∂2v ∂2v
y −x = 0, = 2
+
∂x ∂y ∂t ∂x ∂y 2
nėra PDL, nes i˛ jas ˛ieina ieškomu˛ funkciju˛ u(x, y) ir v(t, x, y) dalinės
išvestinės.
PDL uždaviniuose ieškoma nežinoma vieno kintamojo funkcija, tuo tarpu diferencialinėse
daliniu˛ išvestiniu˛ lygtyse ieškoma keliu˛ kintamu˛ju˛ funkcija. Kadangi šiame kurse nag-
rinėsime tik PDL, todėl trumpai jas vadinsime diferencialinėmis lygtimis (DL).
1.3 pavyzdys [DL eilė]. DL F (x, y, y ′ , . . . , y (n) ) = 0 yra n-osios eilės, o DL F (x, y, y ′ ) =
0 yra pirmosios eilės. 1.1 pavyzdyje pateiktos pirmosios, trečiosios ir
antrosios eilės DL.
1.6 pavyzdys. DL
y′ =
p
x(x2 − 1) (1.2)
dešinioji pusė turi prasmę ir yra tolydi, kai x ∈ [−1; 0] ir x ∈ [1; +∞]
(žiūrėk 1.1 pav.). Vadinasi, turime dvi DL, užrašytas ta pačia formule
(1.2), su DF = D1 = (−1; 0) × R × R ir DF = D2 = (1; +∞) × R × R,
atitinkamai.
45 1 SKYRIUS. Paprastosios diferencialinės lygtys ir ju˛ sistemos [2022 07 16 (22:29)]
-1 0 1 0 1
?
Jeigu lygtis (nebūtinai DL)
F (x, y, p1 , . . . , pn ) = 0 (1.3)
aprašoma tolydžiai diferencijuojama funkcija F ir taške (x0 , y0 , p01 , . . . , p0n ) išpildyta sąlyga
∂F
∂pn
(x0 , y0 , p01 , . . . , p0n ) ̸= 0, (1.4)
tuomet (remdamiesi neišreikštinės funkcijos teorema) (1.3) lygti˛ galima išspręsti pn at-
žvilgiu taško (x0 , y0 , p01 , . . . , p0n ) aplinkoje:
Akivaizdu, kad (1.6) DL, užrašytos kanoniniu pavidalu, apibrėžimo sritis yra
DF = Df × R, čia Df yra (atviroji ir jungioji) aibė, kurioje yra apibrėžta ir
tolydi funkcija f (x, y, y ′ , . . . , y (n−1) ). Sritis Df vadinama išreikštinės DL api-
brėžimo sritimi. Kintamu˛ju˛ (y, y ′ , . . . , y (n−1) ) erdvė vadinama fazine erdve, o
kintamu˛ju˛ (x, y, y ′ , . . . , y (n−1) ) erdvė – išplėstine fazine erdve. Vadinasi, Df yra
sritis išplėstinėje fazinėje erdvėje.
1.1 pavyzdyje pirmoji lygtis yra išreikštinė DL. Pastebėsime, kad trečioji
lygtis yra iš esmės neišreikštinė, nes y ′′ negalima išreikšti jokia elementariąja
funkcija. Pirmoji lygtis yra pavyzdys lygties, kurioje išvestinė yra išreikšta kaip
kintamu˛ju˛ x ir y funkcija (nors dešinioji lygties pusė tiesiogiai nuo y nepriklau-
so).
DL (y ′ )2 + y 2 + x2 − 1 = 0 (neišreikštinis pavidalas) p
apibrėžimo sritis DF = R3 . Išreiš-
′
kiant išvestinę, gaunamos dvi išreikštinės DL y = ± 1 − x2 − y 2 , užrašytos kanoniniu
pavidalu, kuriu˛ apibrėžimo sritys yra DF = Df × R = B12 (0, 0) × R.
Pirmosios eilės DL
y ′ = f (x, y) (1.7)
kanoninis pavidalas dar vadinamas normaliuoju.
1.5 apibrėžimas [pirmosios eilės DL simetrinis pavidalas]. Jeigu v, w ∈ C(D),
sritis D ⊂ R2 , |v(x, y)| + |w(x, y)| =
̸ 0, kai (x, y) ∈ D, tuomet lygtis
Paskutinio argumento išraiška (1.11) lygties kairėje pusėje atitinka kreivės (x, y(x)) kreivi˛.
Šią DL atitinka apverstoji DL
1 x′′
F (x, y, x′
,− ) = 0. (1.12)
(1+(x′ )2 )3/2
ẋÿ−ẍẏ
Jeigu duota kreivės parametrizacija (x(t), y(t)), tuomet jos kreivio formulė yra .
(ẋ2 +ẏ 2 )3/2
Aukštesnės eilės DL apverstosios DL pavidalas yra dar sudėtingesnis.
47 1 SKYRIUS. Paprastosios diferencialinės lygtys ir ju˛ sistemos [2022 07 16 (22:29)]
x = φ(t) := et + t, y ′′ = ψ(t) := t,
′′
t.y. pastarosios funkcijos φ ir ψ paverčia lygti˛ ey + y ′′ − x = 0 tapatybe
eψ(t) + ψ(t) − φ(t) ≡ 0 ir rank (φ′ (t), ψ ′ (t)) = rank (et + 1, 1) = 1, t ∈ R.
?
Bendruoju atveju n-osios eilės DL parametrizuotasis pavidalas yra:
x = φ(t0 , t1 , . . . , tn ),
y = φ0 (t0 , t1 , . . . , tn ),
y ′ = φ1 (t0 , t1 , . . . , tn ),
...
(n)
y = φn (t0 , t1 , . . . , tn ).
Laikysime, kad šios parametrizacijos Jakobio matricos rank J = n + 1 ir φ, φ0 , . . . , φn ∈
C 1 (Dφ ), Dφ ⊂ Rn+1 t – sritis, t = (t0 , t1 , . . . , tn ). Sriti˛ Dφ vadinsime n-osios eilės DL,
užrašytos parametrizuotuoju pavidalu, apibrėžimo sritimi. Jeigu parametrizuotojo pa-
vidalo funkcijos φ, φ0 ,...,φn paverčia (1.1) DL tapatybe F φ(t), φ0 (t), . . . , φn (t) ≡ 0,
t = (t0 , t1 , . . . , tn ), tuomet turėsime (1.1) DL parametrizaciją.
x = s, y = et+u + t + s2 , y ′ = u, y ′′ = t, Dφ = R3 = Rt × Rs × Ru .
1.4 pav. Integralinė kreivė ir jos projekcijos: sprendinio grafikas y = sin x; sprendinio
išvestinės grafikas y ′ = cos x; fazinė trajektorija y 2 + (y ′ )2 = 1.
Integralinė kreivė yra C 1 klasės (vektorinė) funkcija. Fazinei trajektorijai, kuri yra kreivė,
galima pridėti rodyklę, rodančią kaip juda projekcijos taškas didėjant x.
-1 0 1 -1 0 1
Kreivę (lokaliai) irgi galime užrašyti tiek neišreikštiniu, tiek išreikštiniu, tiek parametri-
zuotuoju pavidalu. Todėl žemiau pateikti sprendiniu˛ apibrėžimai tėra to pačio sprendinio
skirtingi užrašymo būdai.
1) φ ∈ C n (I);
2) x, φ(x), φ′ (x), . . . , φ(n) (x) ∈ DF , ∀x ∈ I;
1) ψ, φ ∈ C n (I), ψ̇ ̸= 0;
dφ(t) d dφ(t)
2) (ψ(t), φ(t), dψ(t) , . . . , dψ(t) (. . . ( dψ(t) ))) ∈ DF , ∀t ∈ I;
dφ(t) d dφ(t)
3) F (ψ(t), φ(t), dψ(t) , . . . , dψ(t) (. . . ( dψ(t) ))) ≡ 0.
1. Diferencialinė lygtis ir jos sprendiniai 50
?
dx
Jeigu x = x(t), y = y(t), ir ẋ = dt
̸= 0, tuomet
dy ẏ d2 y d ẏ 1 d ẏ ÿ ẋ − ẏẍ
y′ = = , y ′′ = 2
= = = . (1.14)
dx ẋ dx dx ẋ ẋ dt ẋ ẋ3
Jei sprendinys užrašytas neišreikštiniu pavidalu Ψ (x, y) = 0, tai ne visada galima iš šio
sąryšio išreikšti y (ir net x) elementariosiomis funkcijomis. Pavyzdžiui, ey + y − x = 0.
Nagrinėdami DL, visada ieškosime net tik sprendiniu˛ y = φ(x), bet ir apverstosios DL
sprendiniu˛ x = ψ(y).
Pirmosios eilės DL, užrašytai simetriniu pavidalu (1.8), funkcija Φ(x, y) api-
brėžia neišreikštini˛ sprendini˛ Φ(x, y) = 0, jei teisinga tapatybė
∂Φ(x, y) ∂Φ(x, y)
w(x, y) − v(x, y) ≡ 0.
∂x ∂y
p
Kadangi φ(x; C1 , C2 ) = C2 + 1 − (x − C1 )2 yra DL sprendinys su
bet kokiomis C1 ir C2 reikšmėmis, todėl gauname sprendiniu˛ šeimą
(aibę) priklausančią nuopdvieju˛ parametru˛. Pastebėsime, kad funkci-
ja φ(x; C1 , C2 ) = C2 − 1 − (x − C1 )2 taip pat yra sprendinys su bet
kokiomis C1 ir C2 reikšmėmis. Tai dar viena sprendiniu˛ šeima. DL
sprendiniu˛ grafikai pavaizduoti 1.8(a) pav.
Parametrizuotieji sprendiniai yra
1
1
-1 0 1 -1 0 1 0 p
-1
-1
(a) (b)
1.8 pav. 1.17 pvz. DL sprendiniai: (a) išreikštiniu˛ 1.9 pav. DL y ′ = cos x
sprendiniu˛ grafikai; (b) neišreikštiniai sprendiniai. integralinės kreivės.
Ψ (x, y; C1 , . . . , Cn ) = 0. (1.18)
y′ 1
C1 = x + p , C2 = y − p .
1 + (y ′ )2 1 + (y ′ )2
(x − C1 )2 + (y − C2 )2 = 1,
C1 , C2 ∈ R,
p
paprašo ir bendruosius sprendinius x = C1 + 1 − (y − C2 )
kuris taip pat 2
ir x = C1 − 1 − (y − C2 )2 apverstajai DL.
a) y ′′ + 9y = 0, y = C1 cos(3x) + C2 sin(3x);
′
b) y − 0, 5y = 0, y = Cex/2 − 2;
2
c) y ′ = 2xy, ye−x = C;
x
d) y ′ = , y = Cch t, x = Csh t;
y
x3
e) y ′′ = x + sin x, y = − sin x + C;
6
2
Z x 2
f ) y ′ = ex , y= eξ dξ + C.
0
Ψ0 (x, y; C1 , . . . , Cn ) := Ψ (x, y; C1 , . . . , Cn ) = 0,
Ψ1 (x, y, y ′ ; C1 , . . . , Cn ) := d
dx Ψ0 (x, y; C1 , . . . , Cn ) = ∂Ψ0
∂x + ∂Ψ0 ′
∂y y = 0,
...
Ψn (x, y, y ′ , . . . , y (n) ; C1 , . . . , Cn ) := d ′
dx Ψn−1 (x, y, y , . . . , y
(n−1)
; C1 , . . . , C n )
∂Ψn−1 ∂Ψn−1 ′ ∂Ψn−1 (n)
= ∂x + ∂y y + · · · + ∂y(n−1) y = 0.
(x − C1 )2 + (y − C2 )2 = 1.
Randame
1 + (y ′ )2 ′ 1 + (y ′ )2
x − C1 = y, y − C2 = − .
y ′′ y ′′
p
0 0
Sistema
∂Φ ∂Φ dy
Φ(x, y, C) = 0, ∂x (x, y, C) + ∂y (x, y, C) dx = 0.
1.23 pavyzdys [Kreiviu˛ šeimos DL]. Surasime 1.22 pavyzdžio kreiviu˛ šeimu˛ DL:
(
x + y + C = 0,
⇒ y ′ = −1;
1 + 1 · y′ = 0
( (
y − Cx2 = 0, C = y/x2 ,
⇒ ⇒ y′ = 2y
;
−2xC + 1 · y ′ = 0 y ′ = 2xC x
(
x2 /2 + y 2 − C 2 = 0,
⇒ y ′ = − 2y
x
.
x + 2y · y ′ = 0
Jeigu iš lygties Φ(x, y, C) = 0 pavyksta išreikšti parametrą C = Ψ (x, y), tuomet šiai
dy
vienaparametrinei šeimai DL yra ∂Ψ
∂x
(x, y) + ∂Ψ
∂y
(x, y) dx = 0.
Taikymuose dažnai reikia surasti kreiviu˛ šeimą, kertančią duotąją kreiviu˛ šei-
mą tam tikru kampu θ (pvz., stačiu). Tokios kreiviu˛ šeimos vadinamos izogona-
liosiomis (ortogonaliosiomis, kai θ = π/2) trajektorijomis. Sakykime, duotosios
kreiviu˛ šeimos ir jai izogonaliosios kreiviu˛ šeimos DL yra
a) x2 − y 2 = C 2 ; b) x2 + y 2 = C 2 ; c) y = Cx3 ; d) x2 + (y − C)2 = C 2 .
G
1
1
0 1
K
K
0 1
2. Koši uždavinys
(n−1)
y(x0 ) = y0 , y ′ (x0 ) = y0′ , . . . , y (n−1) (x0 ) = y0 . (2.2)
1.25 pavyzdys. Koši uždavinys y ′ = y/x, y(0) = 2 neturi išreikštinio sprendinio, nes
taške x = 0 DL neapibrėžta. Koši uždavinys apverstajai DL x′ = x/y,
x(2) = 0 turi sprendini˛ x ≡ 0.
1 Augustin Louis Cauchy (1789–1857) – prancūzu˛ matematikas.
2. Koši uždavinys 58
(n−1)
y = φ(x; x0 , y0 , y0′ , . . . , y0 ) (2.3)
Neišreiktinės DL atveju sprendinys gali būti ir ne vienintelis. Pavyzdžiui, DL, kuri aprašo
vienetinius apskritimus plokštumoje. Šiuo atveju kiekvienas plokštumos taškas priklauso
dviem skirtingiems apskritimams su ta pačia liestine tame taške.
1.1 teorema [Peano2 ]. Tarkime, funkcija f yra tolydi srityje G. Tada eg-
zistuoja (2.4) lygties sprendinys y = φ(x), x ∈ I, tenkinantis (2.2) pradines
sąlygas.
Tačiau šios teoremos salygu˛ neužtenka Koši uždavinio sprendinio vienačiai [8,
19, 20].
∂f
1.2 teorema [Pikaro3 ]. Tarkime, funkcija f ir jos dalinės išvestinės ∂y , . . . ,
∂f
tolydžios srityje G. Tada egzistuoja vienintelis (2.4) lygties sprendinys
∂y (n−1)
y = φ(x), x ∈ I, tenkinantis pradines (2.2) sąlygas.
Panaši teorema teisinga ir (2.1) lygčiai srityje G ⊂ DF [8]. Jos i˛rodymas išplaukia ne-
išreikštinės funkcijos sąvybiu˛ (žiūrėk (1.3)–(1.5) ) ir 1.2 teoremos.
2 Giuseppe Peano (1858–1932) – italu˛ matematikas.
3 Émile Picard (1856–1941) – prancūzu˛ matematikas.
59 1 SKYRIUS. Paprastosios diferencialinės lygtys ir ju˛ sistemos [2022 07 16 (22:29)]
(n)
1.3 teorema. Tarkime, funkcija F ∈ C 1 (G) ir taške (x0 , y0 , y0′ , . . . , y0 ) ∈ G išpildytos
sąlygos
(n) ∂F (n)
F (x0 , y0 , y0′ , . . . , y0 ) = 0, (x0 , y0 , y0′ , . . . , y0 ) ̸= 0.
∂y (n)
Tada egzistuoja (2.1) lygties vienintelis sprendinys y = φ(x), x ∈ I, tenkinantis (2.2)
pradines sąlygas.
Pikaro teoremą ir tolydžią priklausomybę nuo pradinės sąlygos i˛rodysime vėliau, bet jau
dabar jomis naudosimės. Šios trys teoremos sprendinio sąvybes formuluoja lokaliai, t.y.
intervalas I, kuriame egzistuoja sprendinys nenurodomas.
1.13 apibrėžimas. DL sprendinys, per kurio kiekvieną tašką eina tik vienas tos
DL sprendinys, vadinamas atskiruoju sprendiniu.
1.19 uždavinys. Raskite Koši uždavinio sprendinius, jei žinomas bendrasis sprendinys
arba bendrasis integralas:
y
a) y ′ = − , y(1) = 1; yx = C;
x
1
b) y ′ = − , y(1) = 0; xey = C;
x
3 x2
c) y ′′ = 1, y(0) = 1, y ′ (0) = ; y = + C1 x + C2 ;
2 2
x3
d) y ′′ = x + sin x, y(0) = 1, y ′ (0) = 1; y = − sin x + C1 x + C2 ;
6
x
e) y ′ = − , y(3) = 4; y 2 + x2 = C.
y
2. Koši uždavinys 60
DL gali turėti sprendiniu˛, kuriu˛ taškuose neišpildyta vienaties sąlyga. Nagrinėtame 1.28
pavyzdyje sprendinio y ≡ 0 negausime iš bendrojo sprendinio (kubiniu˛ paraboliu˛ šeimos)
y = (x − C)3 su jokia konstanta C ∈ RP 1 (žiūrėk 1.13 pav.).
1.20 uždavinys. Raskite 1.28 pavyzdžio DL visus sprendinius, kuriems neišpildyta vie-
naties sąlyga.
Kai kanoninės (2.4) DL dešiniosios pusės funkcija yra tolydi ir turi dalines
išvestines pagal kintamuosius y, y ′ , . . . , y (n−1) , jos ypatingieji sprendiniai gali
būti tik tie, kuriuose tenkinama bent viena sąlyga:
∂f ∂f
= ∞, . . . , (n−1) = ∞.
∂y ∂y
b) (y ′ )2 + y 2 = 1, y = sin(x − C).
Jeigu sprendinys yra apibrėžtas intervale I, tai jis bus sprendinys ir intervale
J ⊂ I.
1.16 apibrėžimas [integralinės kreivės tęsinys]. Integralinę kreivę intervale I va-
dinsime integralinės kreivės intervale J ⊂ I tęsiniu, o integralinę kreivę intervale
J integralinės kreivės intervale I siauriniu.◁
Koši uždavinio su pradinėmis sąlygomis (2.2) integralinė kreivė pratęsiama
pirmyn (atgal ) iki aibės Γ ⊂ G ⊂ Df , jeigu egzistuoja sprendinys su tomis
pačiomis pradinėmis sąlygomis, kurio integralinė kreivė kertasi su Γ taške x ⩾ x0
(x ⩽ x0 ).
Integralinė kreivė pratęsiama pirmyn (atgal ) neaprėžtai, jeigu visiems x ⩾ x0
(x ⩽ x0 ) egzistuoja sprendinys su tomis pačiomis pradinėmis sąlygomis.
Laikysime, kad sprendinys turi tęsini˛, jeigu jo integralinė kreivė turi tęsini˛.
61 1 SKYRIUS. Paprastosios diferencialinės lygtys ir ju˛ sistemos [2022 07 16 (22:29)]
Vietoje pirmyn (atgal ) taip pat naudosime terminus ˛i dešinę (i˛ kairę).
Jeigu sprendinys pratęsiamas iš atvirojo intervalo (a; b) ˛i intervalą (a; b]
([a; b)), tuomet toki˛ tęsini˛ vadinsime dešiniuoju (kairiuoju) plėtiniu.
Sprendinys, kurio negalima pratęsti nei ˛i kairę, nei ˛i dešinę, vadinamas pil-
nuoju sprendiniu, o intervalas J vadinamas sprendinio egzistavimo maksima-
liuoju intervalu. Toliau pagal nutylėjimą sprendini˛ suprasime kaip pilnąji˛.
Teorema teigia, kad per kiekvieną vidini˛ kompakto tašką eina vienintelė integralinė kreivė,
kuri pratęsiama iki kompakto krašto (žiūrėk ?? pav.). Tęsinio vienatis suprantama ta
prasme, kad dvi integralinės kreivės su tą pačia pradine sąlyga sutampa visur kur jos
apibrėžtos.
F 1 (x, y 1 , . . . , y n , y 1′ , . . . , y n′ ) = 0,
... (3.2)
n 1 n 1′ n′
F (x, y , . . . , y , y , . . . , y ) = 0,
3. Diferencialiniu˛ lygčiu˛ sistemos 62
1 n
D(F ,...,F )
čia y i′ := (y i )′ , i = 1, n. Kai jakobianas D(y 1′ ,...,y n ′ ) ̸= 0, pirmąsias išvestines
y 1′ = f 1 (x, y 1 , . . . , y n ),
... (3.3)
n′ n 1 n
y = f (x, y , . . . , y ).
Tokią DLS vadiname n-osios eilės normaliąja DLS. Jos vektorinis pavidalas yra
Šiai DLS (vektorinei DL) apibendrinamos visos sąvokos, kurias apibrėžėme ska-
liarinei DL y ′ = f (x, y). Pavyzdžiui, Koši uždavinys užrašomas kaip
C = Φ(x, y).
(n−1)
y (n) = f (x, y, y ′ , . . . , y (n−1) ), y(x0 ) = y0 , . . . , y (n−1) (x0 ) = y0 . (3.5)
z 1′ = z 2 ,
z 2′ = z 3 ,
... (3.6)
n−1′ n
z =z ,
n′
z = f (x, z 1 , . . . , z n )
(n−1)
su pradine (vektorine) sąlyga z(x0 ) = z 0 := (y0 , y0′ , . . . , y0 ).
Šis suvedimas rodo, kad 1.2 teorema (kai f ∈ C 1 (G)) išplaukia iš 1.6 teoremos, 1.4 teorema
– iš 1.7 teoremos, 1.4 teorema – iš 1.8 teoremos.
y ′ = z, z ′ = −y
1.22 uždavinys. Ar toks suvedimas vienintelis? Atsakymas: ne, nes galima suvesti ir
y ′ = −z, z ′ = y, su pradinėmis sąlygomis y(0) = y0 , z(0) = −y0′ .
a) y ′′ = − sin y;
2
b) y ′′′ + 5xy ′′ + (y ′ ) sin x + y = 0;
2
c) y ′′ = sin 1 + (y ′ ) .
Kiekvieną n-osios eilės normaliąją (3.3) DLS galima suvesti ˛i vieną n-osios
eilės kanoninę DL. Diferencijuojame vieną DLS lygti˛ (pvz., pirmąją) n − 1 kar-
tą pagal x, ir keičiame pirmosios eilės išvestines normaliosios sistemos lygčiu˛
dešiniosiomis pusėmis. I˛vedame naują funkciją z(x) := y 1 (x). Taip gaunama n
3. Diferencialiniu˛ lygčiu˛ sistemos 64
lygčiu˛ sistema:
y 2 = g 2 (x, z, z ′ , . . . , z (n−1) ),
...
y = g n (x, z, z ′ , . . . , z (n−1) ),
n
Jeigu suradome funkciją y 1 , tuomet galima pašalinti iš sistemos pirmąją lygti˛, i˛statyti y 1
i˛ likusias sistemos lygtis, t.y. nagrinėti normaliąją sistemą, sudarytą iš n − 1-os lygties.
y′ = w
x
, w = y ′ x,
⇒ y′ x
y ′′
= dw 1
dx x
− w
x2
= − xy − w
x2
y ′′ = − xy − x2
.
′
DLS suvesta i˛ antros eilės DL y ′′ = − y+y
x
arba xy ′′ + y + y ′ = 0.
u′ = v, u′ = −v, u′ = u − v,
a) b) c)
v ′ = u; v ′ = u; v ′ = u + v.
65 1 SKYRIUS. Paprastosios diferencialinės lygtys ir ju˛ sistemos [2022 07 16 (22:29)]
čia x := y 0 .
Šiame skyriuje nagrinėsime pirmosios eilės diferencialines lygtis, kurias galima išspręs-
ti integruojant. I˛rodysime sprendinio egzistavimo ir vienaties teoremą vienmačiu atveju
autonominei lygčiai. Daugelio tokiu˛ lygčiu˛ sprendiniai randami kintamu˛ju˛ atskyrimo me-
todu.
1. DL y ′ = f (x)
Nagrinėkime DL
dy
dx = f (x), f ∈ C(I), I = (a; b). (1.1)
I˛rodymas. DL lygties (1.1) prasmė yra, kad ieškoma funkcija y yra funkcijos f
pirmykštė funkcija. Iš matematinės analizės (Rymano1 integralo teorija) žino-
me, kad funkcijos f pirmykščiu˛ funkciju˛ šeima yra (1.2). ⊔
⊓
R
2.1 pastaba. Formulėje (1.2) integralą f (x) dx suprasime kaip vieną funkcijos
f pirmykštę funkciją.
2.1 pavyzdys. DL y ′ = cos x visi sprendiniai yra y = sin x + C, t.y. visi jie aprašomi
bendruoju sprendiniu.
2.2 pavyzdys. Intervale (0; 1) sprendinys yra funkcija φ(x) = x, intervale (−1; 0) –
funkcija φ(x) = −x, o taške x = 0 sprendinio reikšmė turėtu˛ būti nulinė
(tolydumas). Tačiau funkcija φ(x) = |x| nėra diferencijuojama funkcija.
Vadinasi, DL y ′ = sign x, (−1; 1) sprendiniu˛ neturi.
2.3 pavyzdys. Koši uždavinio y ′ = cos x, y(0) = 1 sprendinys (žiūrėk 1.9 pav.)
Z x x
y(x) = 1 + cos ξ dξ = 1 + sin ξ = 1 + sin x.
0 0
Jeigu dešinysis intervalo (a; b) galas yra baigtinis, t.y. b < +∞, tuomet
sprendinio pratęsimas ˛i ši˛ tašką priklauso nuo ribos f¯ := limx→b−0 f (x) egzista-
vimo. Bendruoju atveju ji gali neegzistuoti. Kairiajame intervalo gale situacija
analogiška. Toliau B(a; b) žymėsime aprėžtu˛ju˛ funkciju˛ klasę.
Nagrinėkime DL
dy
= f (x), f ∈ C(a; b), b < +∞. (1.5)
dx
Koši uždavinio su pradine sąlyga y(x0 ) = y0 , x0 ∈ (a; b) sprendinys
Z x
φ(x) := y0 + f (ξ) dξ, (1.6)
x0
φ ∈ C 1 (a; b) ir φ′ (x) ≡ f (x), x ∈ (a; b). Jeigu f ∈ B(a; b), tai ∃ M ⩾ 0, kad
|f (x)| ⩽ M ir
Z x2
|φ(x2 ) − φ(x1 )| = | f (ξ) dξ| ⩽ M |x2 − x1 |, x1 , x2 ∈ (a; b).
x1
Vadinasi, funkcija φ yra tolygiai tolydi intervale (a; b). Remiantis funkcijos ribos
Koši kriterijumi, egzistuoja funkcijos φ riba
Z b
B := φ(b − 0) = lim φ(x) = y0 + f (ξ) dξ. (1.7)
x→b−0 x0
2.2 lema. Tarkime, f ∈ C(a; b)∩B(a; b), −∞ < a < b < +∞. Tada integralinė
kreivė tolydžiai pratęsiama i˛ intervalą [a; b].
2 Isaac Barrow (1630–1677) – anglu˛ matematikas, filologas ir teologas.
69 2 SKYRIUS. Klasikinės pirmosios eilės DL ir ju˛ integravimas [2022 07 16 (22:29)]
0 0 0
0 0 0 0 0 0
Toliau nagrinėsime tik atvejus, kai egzistuoja baigtinės arba begalinės ribos
f = limx→a+0 f (x), f¯ = limx→b−0 f (x), −∞ ⩽ a < b ⩽ +∞.
Atvejis b < +∞, |f¯| < +∞. Funkcijos φ kairinė išvestinė taške x = b lygi
B − φ(x)
φ′ (b − 0) = lim = lim φ′ (x) = lim f (x), (1.8)
x→b−0 b − x (1) x→b−0 x→b−0
a) Jeigu egzistuoja baigtinė riba lim f (x), tuomet sprendinys yra tolydžiai
x→b−0
diferencijuojamas intervale (a; b] (žiūrėk 2.1(a)).
2.3 lema. Tarkime, f ∈ C(a; b), −∞ < a < b < +∞. Jeigu egzistuoja baig-
tinė riba limx→b−0 f (x) (limx→a+0 f (x)) tuomet egzistuoja sprendinio dešinysis
(kairysis) plėtinys.
2.5 pavyzdys. DL y ′ = sin(1/x), x ∈ (0; 1), turi dešini˛ plėtini˛, bet neturi kairiojo
plėtinio. Dar daugiau maksimalusis intervalas, kuriame apibrėžtas pil-
nasis sprendinys, yra (0; +∞).
Rb
Atvejis b < +∞, |f¯| = +∞. Šiuo atveju, integralas x0 f (ξ) dξ formulėje
(1.7) yra netiesioginis. Kadangi f (x) nekeičia ženklo taško b aplinkoje, todėl
galimi tik du atvejai:
Rb
b) | f (ξ) dξ| < +∞ (netiesioginis integralas konverguoja), t.y.
x0
Rb
B = φ(b − 0) = lim φ(x) = y0 + f (ξ) dξ reikšmė yra baigtinė;
x→b−0 x0
Rb
c) f (ξ) dξ = +∞ (arba −∞) (netiesioginis integralas diverguoja), t.y.
x0
B = φ(b − 0) = lim φ(x) = +∞ (arba −∞).
x→b−0
Šie du atvejai, kai f¯ = +∞, pavaizduoti 2.1b) ir 2.1c) pav.: b) atveju sprendinys
y = φ(x) „pasiekia“ baigtini˛ tašką (b, B), bet su begaline išvestine; c) atveju
sprendinys turi vertikalią asimptotę x = b, integralinė kreivė artėja i˛ tašką
(b; +∞).
2.4 lema. Tarkime, f ∈ C(a; b), −∞ < a < b < +∞, limx→b−0 f (x) = f¯,
Rb
|f¯| = +∞. Jeigu | x0 f (ξ) dξ| = +∞, tuomet DL (1.5) integralinė kreivė taške
Rb
x = b turi vertikaliąją asimptotę. Jeigu | x0 f (ξ) dξ| < +∞, tuomet integralinė
Rb
kreivė artėja tolydžiai i˛ tašką (b; B), B = y0 + x0 f (ξ) dξ, o jos liestinė artėja
˛i tiesę x = b.
Funkcija f ∈ C(a; b) kiekviename uždarame intervale [ā; b̄] ⊂ (a; b) yra tolydi
ir aprėžta. Vadinasi, turime a) atveji˛, ir sprendinys yra apibrėžtas kiekviena-
me intervalo (a; b) taške. Jeigu negalime pratęsti sprendinio, ir turime pilnąji˛
sprendini˛, kurio egzistavimo maksimalusis intervalas yra (a; b). Todėl galima
patikslinti lemą 2.1, atsisakant funkcijos f aprėžtumo.
2.5 lema. Tarkime, f ∈ C(a; b), Tada DL (1.1) bendrasis sprendinys intervale
(a; b) randamas integruojant:
Z
y = f (x) dx + C. (1.10)
2.1 išvada. Pakanka rasti vieną (1.1) lygties integralinę kreivę, o kitos integra-
linės kreivės gaunamos ją pastūmus y-kryptimi (žiūrėk 2.2 pav.).
dy
= f (x), f ∈ C(a, +∞). (1.12)
dx
1. DL y ′ = f (x) 72
8
0 0
0 0 0 0 0
Jeigu f > 0 (f < 0), tuomet funkcija φ yra monotoniškai didėjanti (mažėjanti)
ir egzistuoja riba lim φ(x) = B, kuri gali būti baigtinė ar begalinė (žiūrėk
x→+∞
2.3 pav.) ir
+∞
R
a) | f (ξ) dξ| < +∞ (netiesioginis integralas konverguoja), t.y.
x0
+∞
R
B = lim φ(x) = y0 + f (ξ) dξ reikšmė yra baigtinė;
x→+∞ x0
+∞
R
b) f (ξ) dξ = +∞ (arba −∞) (netiesioginis integralas diverguoja), t.y.
x0
B = lim φ(x) = +∞ (arba −∞).
x→+∞
2.6 lema. Tarkime, f ∈ C(a; +∞) ir yra pastovaus ženklo, kai x pakanka-
R +∞
mai didelis. Jeigu | x0 f (ξ) dξ| < +∞, tuomet DL (1.5) integralinė kreivė
monotoniškai (pakankamai dideliems x) artėja prie horizontalios asimptotės
R +∞
y = y0 + x0 f (ξ) dξ, o jos liestinė artėja prie tos pačios asimptotės, t.y.
Rb
sprendinys yra aprėžtas. Jeigu | x0 f (ξ) dξ| = +∞, tuomet integralinė kreivė
4 Isaac Barrow (1630–1677) – anglu˛ matematikas, filologas ir teologas.
73 2 SKYRIUS. Klasikinės pirmosios eilės DL ir ju˛ integravimas [2022 07 16 (22:29)]
2. DL y ′ = g(y)
Nagrinėkime DL
dy
dx = g(y), g ∈ C(U ), (2.1)
čia U = (A; B), arba U = (A; B], arba U = [A; B) arba U = [A; B]. Ištirsime
pagrindinius atvejus, kai galima rasti (2.1) lygties sprendinius.
dx 1
= f (y) = . (2.2)
dy g(y)
Jai išpildytos 2.5 lemos sąlygos.
2.7 lema. Tarkime, g(y) ̸= 0 ∀y ∈ (A; B). Tada (2.1) DL sprendinys randa-
mas integruojant:
R dy
x = g(y) + C, (2.3)
2.2 išvada. Pakanka rasti vieną (2.1) lygties integralinę kreivę, o kitos integra-
linės kreivės gaunamos ją pastūmus x-kryptimi.
2.9 pavyzdys. DL y ′ = 1 + y 2 dešinioji pusė tenkina lemos sąlygas. Rasime Koši užda-
vinio su pradine sąlyga y(π/4) = 1 sprendini˛
Z y
1
y
x = π/4+ dη = π/4+arctg η = π/4+arctg y−π/4 = arctg y
2
1 1+η 1
arba
y = tg x, x ∈ (−π/2; π/2).
2. DL y ′ = g(x) 74
0 0
0 0
0
0 0
0 0
0 0
8
0 0
R +∞ 1
R +∞ 1
(a) | y0 g(y)
dy| = +∞ (b) | y0 g(y)
dy| < +∞
2.7 pav. Lygties
y ′ = −y 2 sprendiniai.
2.6 pav. Lygties y ′ = g(y) sprendinio y = φ(x) elgsena,
kai y → +∞.
diverguoja, tuomet (2.1) DL (2.5) integralinė kreivė apibrėžta visiems (x0 ; +∞)
ir ji monotoniškai artėja ˛i +∞, kai x → +∞.
Jeigu (2.7) netiesioginis integralas konverguoja, tuomet (2.1) DL (2.5) inte-
gralinė kreivė monotoniškai artėja prie vertikaliosios asimptotės
Z +∞
1
x∞ = x0 + dy.
y0 g(y)
guoja.
R ±∞ 1 Kitos integralinės kreivės turi vertikalią asimptotę, nes integralas
y2
dy konverguoja. Šio uždavinio integralinės kreivės pavaizduotos
2.7 pav.
2.7 uždavinys. I˛rodykite, kad funkcija, tenkinanti Lipšico sąlygą, yra tolydi (ir net
tolygiai tolydi).
2.10 lema. Tarkime, f ∈ C 1 (A; B), (A; B) ⊂ R. Tada f ∈ LipL ([a; b]), kiek-
vienam intervalui [a; b] ⊂ (A; B).
2
1
0
2 1 0
0 1 2
Z x2 Z x2
′ ′
|f (x2 ) − f (x1 )| ⩽ |f (ξ)| dξ ⩽ max |f (x)| · 1 dξ
x1 x∈[a;b] x1
′
⩽ max |f (x)| · |x2 − x1 |.
x∈[a;b]
Nagrinėkime autonominę DL
y ′ = g(y), y ∈ U, (2.9)
čia U = (A; B) ⊂ R.
1 y1 dη
Z
x1 ⩾ x2 + .
L y2 y0 − η
dy g(y)
= , f ∈ C(I), I = (a; b), g ∈ C(U ), U = (A; B), (3.1)
dx f (x)
2.12 pavyzdys. DL
dy y 1
= =y·
dx x x
kartu su apverstąją DL yra apibrėžta visoje plokštumoje, išskyrus tašką
(0, 0). Pirmiausia randame stacionaru˛ji˛ sprendini˛ y ≡ 0. Apverstoji lyg-
tis turi papildomą sprendini˛ x ≡ 0. Kai xy ̸= 0 atskiriame kintamuosius
dy dx
=
y x
ir integruodami, gauname
ln |y| = ln |C| + ln |x|, C ̸= 0, ⇔ y = Cx, C ̸= 0.
Prijungus nulinius sprendinius, bendrojo sprendinio formulė yra y = Cx,
C ∈ RP 1 . Vadinasi, šios DL integralinės kreivės yra spinduliai, išeinantys
iš taško (0, 0), bet šis taškas nepriklauso integralinėms kreivėms.
2.13 pavyzdys. DL
dy x y −1
= − = − −1 , y ̸= 0
dx y x
ir apverstoji DL yra neapibrėžtos taške (0, 0). Stacionaru˛ju˛ sprendiniu˛
neturi abi lygtys. Atskiriame kintamuosius, ir abiems lygtims, gauname
2y dy = −2x dx.
Integruodami šią lygybę, randame bendrąji˛ integralą
x2 + y 2 = C 2 , C > 0.
Vadinasi, integralinės kreivės yra apskritimai su centru taške (0, 0) ir
spinduliu C.
2.14 pavyzdys. DL
dv v2
=− , (3.8)
dx x(v + 1)
yra neapibrėžta taške (0, 0). Ši DL turi du stacionariuosius sprendinius
v ≡ 0 (x ̸= 0) ir x ≡ 0 (v ̸= 0). Atskiriame kintamuosius, ir gauname
dx (v + 1) dv dv dv
=− =− − 2.
x v2 v v
Integruodami šią lygybę, randame bendrąji˛ integralą
ln |xv| = 1/v + ln |C|, C ̸= 0.
Prijungę stacionariuosius sprendinius, gauname xv = Ce1/v arba x =
Ce1/v /v.
81 2 SKYRIUS. Klasikinės pirmosios eilės DL ir ju˛ integravimas [2022 07 16 (22:29)]
2.14 uždavinys [Eulerio teorema]. Tarkime f : Ṙn → R yra m-osios eilės kvazihomoge-
ninė funkcija. I˛rodykite Eulerio 8 teoremą: Kad funkcija f būtu˛ m-osios
eilės
Pn kvazihomogenine, būtina ir pakanka, kad ji tenkintu˛ Eulerio lygybę
i ∂f
i=1 αi x ∂xi
= mf .
dy
2.3 apibrėžimas. Normaliąja kvazihomogenine DL vadiname lygti˛ dx = f (x, y),
2
kurios dešiniosios dalies funkcija f ∈ C(Ṙ ) yra (β − α)-osios eilės teigiamai
kvazihomogeninė funkcija. DL vadinama normaliąja homogenine DL, jei f yra
nulinės eilės teigiamai homogeninė funkcija (β = α = 1).
dz dz
x + z = f (x, zx) = f (1, z) ⇔ x = f (1, z) − z =: g(z).
dx dx
2.15 pavyzdys. DL nagrinėta 2.12 pavyzdyje yra homogeninė. Jos sprendiniai yra y =
Cx, C ∈ RP 1 . Jeigu naudojame keitini˛ y = xz(x), x ̸= 0, tuomet
gauname lygti˛
dz dz
z+x =z ⇔ = 0 ⇔ z = C, C ∈ R.
dx dx
Vadinasi, šis keitinys leidžia surasti pradinės DL sprendinius y = Cx,
C ∈ R. Keitinys x = yv(y), y ̸= 0, leidžia surasti sprendinius y = Cx,
0 ̸= C ∈ R, ir x ≡ 0 (C = ∞).
dy y
= (1 + ln y − ln x), Df = {(x, y) : x > 0, y > 0}
dx x
sprendinius. Taikome keitini˛ y = xz(x), ir gauname lygti˛
dz
z+x = z(1 + ln z), Df = {(x, z) : x > 0, z > 0}
dx
dz
arba x dx = z ln z. Šios lygties sprendinys yra z ≡ 1 (y = x). Kitus
sprendinius randame atskirdami kintamuosius
dz dx
= ⇔ ln | ln z| = ln x + ln |C|, C ̸= 0 ⇔ ln z = Cx, C ̸= 0.
z ln z x
Prijungiame sprendini˛ z ≡ 1, tuomet C ∈ R. Tada z = eCx , o gri˛žę prie
pradiniu˛ kintamu˛ju˛, užrašome bendrąji˛ sprendini˛ y = xeCx , C ∈ R.
dy y
= , (x, y) ∈ Ṙ2 ,
dx x+y
sprendinius. Akivaizdu, y ≡ 0 yra sprendinys. Ieškosime sprendiniu˛, kai
y ̸= 0, todėl pasirinksime keitini˛ x = yv(y) apverstajai DL
dx x+y x
= = + 1.
dy y y
83 2 SKYRIUS. Klasikinės pirmosios eilės DL ir ju˛ integravimas [2022 07 16 (22:29)]
Gauname lygti˛
dv dy
v+y = v + 1 ⇔ dv = .
dy y
Šios lygties sprendinys yra v = ln |Cy|, C > 0. Tada x = y ln |Cy|, C > 0
(žiūrėk 2.11 pav.). Papildomai turime y ≡ 0.
Pastaba. Jeigu būtume taikę keitini˛ y = xz(x), tuomet gautume tik
x = y ln |Cy|, C >, x ̸= 0. Akivaizdu, kad šiuo atveju sprendiniai
pratęsiami ir i˛ taškus, kuriuose x = 0.
dz 1+z dx 1−z dz z dz
z+x = ⇔ = dz = − .
dx 1−z x 1 + z2 1 + z2 1 + z2
Integruodami randame
dy y
2.17 uždavinys. Išspręskite DL dx
= 2(x+y 2 )
.
Lygtis
dy ax + by + c a b
=f , ∆ = ̸= 0
dx a1 x + b1 y + c1 a1 b1
ax + by + c = 0, a1 x + b1 y + c1 = 0
dz z+c
dx = a + bf λz+c1 .
(x + y − 3) dx + (y − x − 1) dy = 0.
Perrašome DL pavidalu
dy x+y−3 1 1
= , ∆ = ̸= 0.
dx x−y+1 1 −1
Randame sistemos
x + y = 3, x − y = −1
sprendini˛ x0 = 1, y0 = 2. Tada keitiniu x = x̃ + 1, y = ỹ + 2 DL
suvedama i˛ DL
dỹ x̃ + ỹ
= ,
dx̃ x̃ − ỹ
p
kurią sprendėme 2.18 pavyzdyje: x̃2 + ỹ 2 = Cearctg (ỹ/x̃) , C > 0. Todėl
y−2
galutinis atsakymas yra (x − 1)2 + (y − 2)2 = Cearctg x−1 , C > 0.
p
dy
dx = f (x)y + g(x), f, g ∈ C(I), x ∈ I ⊂ R, (4.1)
?
Tarkime, φ(t; ε) yra DL ẋ = v(t, x; ε), priklausančios nuo parametro ε, sprendinys, ir
φ0 = φ(t; 0). TDL
∂v ∂v
ẏ = f (t)y + g(t), f (t) := ∂x
(t, φ0 (t); 0), g(t) := ∂ε
(t, φ0 (t); 0), (4.2)
Nulinis (trivialusis) sprendinys yra atskirasis, nes eksponentė visada teigiama. Kievienas
netrivialus sprendinys nekeičia ženklo, nes y(x)/y(x0 ) > 0.
y = y0 K(x, x0 ). (4.7)
y 3
y y
Mb
l>1
x
0 T 2T 3T
2 y
Mb
l<1
0
I x x
0 T 2T 3T
Mb y
b x l=1
x
0 T 2T 3T 0 2T
T 3T
dy
dx = f (x)y, f ∈ C(R), f (x + T ) = f (x), x ∈ R, 0 < T ∈ R. (4.9)
M : R → R, M : φ(0) 7→ φ(T ).
φ(T ) = λφ(0).
9 Johann Peter Gustav Lejeune Dirichlet (1805–1859) – vokiečiu˛ matematikas.
89 2 SKYRIUS. Klasikinės pirmosios eilės DL ir ju˛ integravimas [2022 07 16 (22:29)]
1
RT
Teigiamas skaičius λ vadinamas multiplikatoriumi. Dydis ⟨f ⟩ := T 0
f (ξ) dξ
vadinamas funkcijos vidurkiu pagal periodą. Tada,
2.12 lema. Tarkime f yra T -periodinė funkcija. Tada Koši funkcijai teisinga:
todėl
Z x+T Z 0 Z T Z x+T Z T
f (ξ) dξ = f (ξ) dξ + f (ξ) dξ + f (ξ) dξ = f (ξ) dξ,
x x 0 T 0
Z x+T Z x Z x+T Z T Z x
f (ξ) dξ = f (ξ) dξ + f (ξ) dξ = f (ξ) dξ + f (ξ) dξ.
x0 x0 x 0 x0
Tada
R x+T RT Rx
f (ξ) dξ f (ξ) dξ f (ξ) dξ
K(x + T, x0 ) = e x0
=e 0 e x0
= λK(x, x0 ). (4.12)
I˛rodymas.
2.8 išvada. Jeigu multiplikatorius λ > 1 (⟨f ⟩ > 0), tuomet visi nenuliniai
sprendiniai artėja ˛i begalybę, kai x → +∞; jei λ < 1 (⟨f ⟩ < 0) – ˛i nuli˛, jei
λ = 1 (⟨f ⟩ = 0), tuomet visi nenuliniai sprendiniai yra periodiniai su periodu
T.
dy
2.22 uždavinys. Ištirkite DL dx = y(y + 2)(2(y + 1) cos x − 1) ir linearizuotos TDL
nulinio sprendinio stabilumą.
dy
= f (x)y + g(x), f, g ∈ C(I), x∈I⊂R (4.15)
dx
bendrasis sprendinys gaunamas prie bendrojo homogeninės TDL sprendinio
pridėjus atskirąji˛ nehomogeninės TDL sprendini˛.
2.9 išvada. Jeigu žinome vieną nehomogeninės TDL sprendini˛ y1 , tuomet bendrąji˛
sprendini˛ galima rasti viena kvadratūra: integruodami randame homogeninės
lygties bendrąji˛ sprendini˛ ir prie jo pridedame y1 .
2.23 uždavinys. Raskite TDL y ′ + 2xy = 2x4 + 3x2 bendrąji˛ sprendini˛, jei žinomas
nehomogeninės TDL atskirasis sprendinys ya = x3 .
I˛rodymas.
(αy1 +βy2 )′ −f (x)(αy1 +βy2 ) = α(y1′ −f (x)y1 )+β(y2′ −f (x)y2 ) = αg1 +βg2 = g. ⊔
⊓
Yra keletas metodu˛ kaip rasti nehomogeninės TDL sprendinius. Visi jie
remiasi homogeninės TDL Koši funkcija φ = K(x0 , x).
Integruojančiojo daugiklio metodas. Metodas dar vadinamas Eulerio me-
todu. (4.15) lygti˛ dauginame iš teigiamo daugiklio µ = 1/φ = K(x, x0 ) =
− x f (ξ) dξ
R
e x0 :
y′ f (x) g(x) φ′ g(x) d y g(x)
= y+ = 2y + ⇔ = .
φ φ φ φ φ dx φ φ(x)
(vφ)′ − f vφ = v ′ φ + v(φ′ − f φ) = g.
2.12 išvada. Nehomogeninės (4.1) TDL su pradine sąlyga y(0) = 0 sprendinio formulė:
Rx
y= 0 G(x, ξ)g(ξ) dξ, x > 0. (4.24)
dy
dx = f (x)y + g(x), f (x + T ) = f (x), g(x + T ) = g(x), x ∈ R, (4.25)
f, g ∈ C(R), 0 < T ∈ R.
λ
RT
ϕ(0) = 1−λ 0
K(0, ξ)g(ξ) dξ. (4.27)
λ
R x+T
ϕ(x) = 1−λ x
K(x, ξ)g(ξ) dξ. (4.28)
Todėl funkcija ϕ tenkina nehomogeninę (4.25) DL tada, ir tik tada, jei funkcija
g yra T -periodinė. Jeigu g yra T -periodinė, tuomet ir ϕ yra T -periodinė:
Z x+2T
λ
ϕ(x + T ) = K(x + T, ξ)g(ξ) dξ
1 − λ x+T
Z x+T
λ
= K(x + T, ξ + T )g(ξ + T ) dξ
1−λ x
Z x+T
λ
= K(x, ξ)g(ξ) dξ = ϕ(x),
1−λ x
čia pasinaudojome savybe K(x + T, ξ + T ) = K(x, ξ), kai f yra T -periodinė
funkcija. Periodinio sprendinio egzistavimas i˛rodytas. Jeigu φ yra kitas ne-
homogeninės DL sprendinys, tuomet φ − ϕ yra homogeninės DL sprendinys, o
nulinio sprendinio 0 = ϕ − ϕ stabilumas priklauso nuo ⟨f ⟩ (žiūrėk 2.8 išvadą).
⊔
⊓
e−2π
Z x+2π
sin x − cos x
ϕ= e−(x−ξ) sin ξ dξ = .
1 − e−2π x 2
Jeigu
Z x+T
G(x) := K(x, ξ)g(ξ) dξ ≡ 0 (4.30)
x
tuomet visi nehomogeninės DL sprendiniai yra T -periodiniai. Priešingu atveju,
periodiniu˛ sprendiniu˛ nėra. Sąlyga (4.30) yra ekvivalenti lygybei
Z x+T Z x
K(x + T, ξ)g(ξ) dξ = K(x, ξ)g(ξ) dξ,
0 0
C=1
j1
f
C=2
0
x 0 C=
1 C=0
8
j2 x
0
x
C=0.5 C=0 C=-1
(a) (b)
2.15 pav. Stabilus
periodinis sprendinys. 2.16 pav. Bernulio lygties integralinės kreivės.
Kai kurios DL gali būti suvestos ˛i TDL. Tarp tokiu˛ DL ypatingą vietą ma-
tematikos istorijoje užima Bernulio11 lygtis
dy
dx − f (x)y = g(x)y α , x ∈ I, y ⩾ 0, f, g ∈ C(I). (5.1)
(vφ)′ − f vφ = v ′ φ + v(φ′ − f φ) = gv α φα .
dv
dx = v α g(x)φα−1 (x).
R 1
1−α
y = ( g(x)φα−1 (x) dx + C)(1 − α) φ(x). (5.3)
2.29 uždavinys. Pirmajame kvadrante raskite kreives, turinčias savybę: atkarpa, kurią
ordinačiu˛ ašyje atkerta kreivės liestinė, yra lygi lietimosi taško ordinatės
kvadratui.
11 Jakob Bernoulli (1654–1705) – šveicaru˛ matematikas.
97 2 SKYRIUS. Klasikinės pirmosios eilės DL ir ju˛ integravimas [2022 07 16 (22:29)]
Keitinys
z = y 1−α , dz = (1 − α)y −α dy (5.4)
dz
= (1 − α)f (x)z + (1 − α)g(x).
dx
1−α 1−α
y3 −y1
1−α 1−α = C.
y2 −y1
dy
dx = g(x)y 2 + f (x)y + h(x), x ∈ I ⊂ Rx , f, g, h ∈ C(I).
y ′ = ay 2 + bx−1 y + x−2 c,
aA2 + (b + 1)A + c = 0.
12 Jacopo Francesco Riccati (1676–1754) – italu˛ matematikas.
13 Joseph Liouville (1809–1882) – prancūzu˛ matematikas.
99 2 SKYRIUS. Klasikinės pirmosios eilės DL ir ju˛ integravimas [2022 07 16 (22:29)]
du u 1 1
= +1 ⇔ u = Cx + x ln |x| ⇒ y= − .
dx x Cx + x ln |x| 2x
y2 −y1 1 1
y = y1 + 1+(y2 −y1 )z
⇔ z= y−y1
− y2 −y1
y ′ = −x−1 y 2 + (2 + x−1 )y − x
z ′ = x−1 z − x−1 z 2 ,
u′ = −x−1 u + x−1 ,
1 1
Patarimas: parodykite, kad u1 = y2 −y 1
ir u2 = y3 −y1
yra du skir-
tingi nehomogeninės TDL sprendiniai, o ju˛ skirtumas z = u1 − u2 =
y2 −y3
(y2 −y1 )(y1 −y3 )
.
y4 −y2 y3 −y2
y4 −y1 : y3 −y1 ≡ const. (5.6)
z ′ = gy ′ + g ′ y = g 2 y 2 + (gf + g ′ )y + gh ⇒ z ′ = z 2 + f1 z + h1 .
Lygtis
dy
dx = y 2 + h(x) (5.7)
u′ = v, v ′ = −h(x)u (5.9)
dz
t + βz + γz 2 = δt, β = k − 1/2,
dt
101 2 SKYRIUS. Klasikinės pirmosios eilės DL ir ju˛ integravimas [2022 07 16 (22:29)]
Gauname lygti˛
du
+ (β ± 1)u + δu2 = γt,
t
dt
čia ± atitinka pirmąji˛ arba antrąji˛ keitini˛. Atlikdami šiuos keitinius, visada
galime padidinti arba sumažinti β vienetu, o atlikus keletą tokiu˛ keitiniu˛, gauti
lygti˛:
dw w
t − + γ1 w2 = δ1 t,
dt 2
√
kuri keitiniu w = v t tranformuojama ˛i lygti˛ su atsiskiriančiais kintamaisiais.
̸ 0, (x, y) ∈ G ⊂ R2 .
v(x, y) dx + w(x, y) dy = 0, |v(x, y)| + |w(x, y)| = (6.1)
?
Priminsime pagrindinius diferencialiniu˛ formu˛ apibrėžimus srityje G ⊂ Rn . Visu˛ antisimetriniu˛
k-tiesiu˛ funkcionalu˛ erdvėje Rn aibę žymėkime Ωk (Rn ), o jos elementus vadinsime k-
formomis. Atvaizdis ω : G → Ωk (Rn ) vadinamas k-tosios eilės diferencialine forma (ar-
ba k-forma). Nulinės P eilėsi diferencialinė forma yra funkcija. Jeigu erdvės Rn bazė yra
(e1 , . . . , en ) ir x = n i i
i=1 x ei , tai funkcionalai dx (x) := x yra tiesiniai ir nepriklausomi,
t.y. sudaro erdvės Ω1 (Rn ) bazę, todėl 1-formos užrašomos pavidalu
n
X
ω= ωi (x) dxi . (6.2)
i=1
Funkcionalai
xj1
xi
( dx ∧ dx )(x1 , x2 ) := 1
i j
, x1 = (x11 , . . . , xn 1 n
1 ), x2 = (x2 , . . . , x2 )
xi
2 xj
2
yra k-formu˛ tiesinės erdvės baziniai elementai. Jeigu koeficientai ωj1 ...jk ∈ C p (G), tai
k-forma vadinama tolydžiai p-diferencijuojama, ir rašoma ω ∈ Ckp (G).
Formai ω ∈ Ckp (G), p ∈ N ∪ ∞ galima apibrėžti išorini˛ diferencialą dω ∈ Ck+1 p−1
(G)
n
X X ∂
dω := ω
i j1 ...jk
(x) dxi ∧ dxj1 ∧ · · · ∧ dxjk .
1⩽j1 <···<jk ⩽n i=1
∂x
yra uždara.
∂v ∂w
Jeigu v, w, ∂y , ∂x ∈ C(G), G ⊂ R2 , tuomet 1-formos ω = v(x, y) dx +
w(x, y) dy (išorinis) diferencialas yra 2-forma
∂w(x, y) ∂v(x, y)
dω = − dx ∧ dy.
∂x ∂y
Todėl plokštumos srityje 1-formos uždarumo sąlygą yra
∂w(x,y) ∂v(x,y)
∂x = ∂y , (x, y) ∈ G. (6.3)
103 2 SKYRIUS. Klasikinės pirmosios eilės DL ir ju˛ integravimas [2022 07 16 (22:29)]
?
Jei lankas g ∈ C 1 (I), tai galima apibrėžti 1-formos (antrojo tipo kreivini˛) integralą pagal
lanką g: g ω = I ω(ġ) dt := ab n i dg
R R R P
i=1 ωi (g(t))ġ (t) dt, čia ġ = dt . RJei g1 ∼ g2 , tai
R R R R R
g1 ω = g2 ω ir −g ω = − g ω, todėl galima kalbėti apie integralus −Γ ω = − Γ ω.
Jeigu orientuota kreivė Γ yra uždara, taiRšis integralas
Pm vadinamas 1-formos ω cirkuliacija
kreive Γ. Jei lankas g ∈ Cp1 [a; b], tai g ω =
R
j=1 g ω. Jei 1-forma yra tiksli, tai
j
egzistuoja u ∈ C 1 (G), ir
n n
d X ∂u X
g(t) ġ i (t) = ωi (g(t)) ġ i (t) ∈ C[tj−1 ; tj ]
u g(t) = i
dt i=1
∂x i=1
Jei lankas g ∈ Cp1 [a; b] ir 1-forma ω yra tiksli, tuomet teisinga formulė (i˛rodykite)
Z
ω = u g(b) − u g(a) . (6.4)
g
2x dx + 2y dy + y dx + x dy = d(x2 + y 2 + xy) = 0.
3) 1-formos ω cirkuliacija bet kokiam tiesiniam ciklui φ ∈ Cp1 (G) yra lygi
nuliui;
4) 1-formos ω cirkuliacija bet kokiam tiesiniam ciklui φ ∈ Cp1 (G) su grandi-
mis, lygiagrečiomis koordinatinėms ašims, yra lygi nuliui;
R
I˛rodymas. 1)⇒2). Kadangi 1-forma tiksli, tai φ ω = u g(a) − u g(a) = 0.
2)⇒3) ir 3)⇒4). Akivaizdu, nes dalimis tiesinis ciklas yra atskiras dali-
mis glodžiojo ciklo atvejis, o ciklas su grandimis, lygiagrečiomis koordinatinėms
ašims, yra atskiras uždarosios laužtės atvejis.
4)⇒1). Fiksuokime x0 ∈ G. Kadangi G yra sritis, tai bet koki˛ x ∈ G
galime sujungti laužte Γ su grandimis, lygiagrečiomis koordinatinėms ašims, su
x0 . Jeigu Γ1 yra kita tokia laužtė su pradžia taške x0 ir pabaiga taške x, laužtė
Γ0 = Γ ∪ (−Γ1 ) yra ciklas su grandimis, lygiagrečiomis koordinatinėms ašims,
todėl
Z Z Z Z Z Z Z Z
ω= ω− ω+ ω= ω+ ω =0+ ω= ω.
Γ Γ Γ1 Γ1 Γ0 Γ1 Γ1 Γ1
1-forma ω ∈ C10 (G), parinkime h taip, kad x + hei ∈ G, čia ei – ortas pagal xi
aši˛. Tada ˛ivertiname
Z 1
|u(x + hei ) − u(x) − ωi (x)h| = ωi (x + htei ) − ωi (x) dt · |h|
0
⩽ max |ωi (x + htei ) − ωi (x)| · |h| = o(h), h → 0.
t∈[0;1]
∂u
Vadinasi, egzistuoja ∂xi = ωi , i = 1, n, ir u ∈ C 1 (G). ⊔
⊓
randame C(y):
C ′ (y) = 2y; C(y) = y 2 + C.
Vadinasi, u(x, y) = x2 + xy + y 2 .
2.18 lema teigia kad kieviena tiksli 1-forma yra ir uždara, tačiau atvirkštinis
teiginys nėra teisingas.
2.32 pavyzdys. Srityje G = R2 ∖{(0, 0)} nagrinėkime 1-formą ω = x2−y +y 2
x
dx+ x2 +y 2 dy.
1
Šios 1-formos ω ∈ C1 (G) išorinis diferencialas dω = 0 (patikrinkite (6.3)
lygybę), todėl forma yra uždara srityje G. Tačiau ši 1-forma nėra tiksli,
nes jos cirkuliacija ciklu g = (cos(2πt), sin(2πt)), t ∈ [0; 1] nelygi nuliui:
Z Z 1 Z 1
cos(2πt) d sin(2πt) − sin(2πt) d cos(2πt)
ω= = 2π dt = 2π ̸= 0.
g 0 cos2 (2πt) + sin2 (2πt) 0
?
Matematinės analizės kurse i˛rodoma Gryno14 formulė plokštumoje R2x,y :
R RR ∂w(x,y) ∂v(x,y)
∂K v(x, y) dx + w(x, y) dy = K ∂x
− ∂y
dx dy. (6.6)
∂v(x,y) ∂w(x,y)
Ji teisinga, kai v, w ∈ C(K), K yra paprastasis kompaktas, ∂y
, ∂x ∈ C(K̊) ∩
B(K̊), čia K̊ yra aibės K vidus (didžiausia atviroji aibė prikausanti K), ∂K yra aibės K
kraštas (aibės K uždarinio ir vidaus skirtumas), kuris yra lokaliai yra dalimis tolydžiai
diferencijuojama kreivė, B(K̊) – aprėžtu˛ju˛ funkciju˛ klasė paprastojo kompakto viduje.
Krašto orientaciją apibrėžiama taip: einant palei kraštą jo vidinė normalė lieka iš kairės
(t.y. (τ , ν) ∼ (e1 , e2 )).
Paprastojo kompakto pavyzdžiai: bet koks stačiakampis, bet koks trikampis.
2.14 išvada. Sakykime, G ⊂ R2 yra sritis, K ⊂ G yra daugiakampis, ∂K yra savęs ne-
kertanti laužtė (toki˛ daugiakampi˛ vadinsime paprastuoju), o ω = v(x, y) dx + w(x, y) dy ∈
C11 (G) yra uždaroji 1-forma. Tada ±∂K ω = 0.
R
43
1(46) 38
42(45) 1(27) 26 1(15)
8(41,44) 25 14
9(40) 13
24 12
7 28
2 37(39) 17 23
2 2 11
6(10) 33 6
32 27(36) 16(22)
29 18 10
3(11) 26 3(7) 15 3 9
12 31(34) => 8 20 => 4
30 35
19 21
13(18) 5(20) 21(25) 5(13)
22 9(11)
4(19) 4(12) 14 5
14(17) 24 6 7 8
10
16 23
15
čia n(m) žymi viršūnę m, kuri jau buvo sunumeruota n < m (laužties grandžiu˛ susikirtimo
taškai arba susikirtimo atkarpu˛ galai), n − m žymi laužtės dali˛ (n, n + 1, . . . , m), kurioje
n + 1, . . . , m − 1 yra tik laužties viršūnės. Tokią seką atitinka cirkuliacijos skaidinys i˛ atskirus
integralus pagal laužties grandis.
Apibrėšime dvi operacijas: 1) „apendikso“ šalinimas, kai pakeičiame sekos
dali˛ (n, n + 1, n(n + 2)) ˛i n + 2; 2) „parazitinio“ ciklo (paprastasis daugiakampis)
šalinimas, kai pakeičiame sekos dali˛ (n, n + 1, . . . , n(m)) ˛i m. Jeigu šiu˛ operaciju˛
metu išmetame numeri˛ n, o toliau yra žymuo n(m), tai tą žymeni˛ iš karto
keičiame ˛i m. Abi šios operacijos nekeičia cirkuliacijos reikšmės.
Mūsu˛ pavyzdyje, atlikus šias operacijas (nuosekliai einant palei ciklą), lieka seka
(1 − 3, 4, 5, 10, 3(11) − 13, 17, 13(18), 4(19), 5(20), 25, 26 − 27 − 34 − 27(36), 39, 40, 44, 45, 1(46)).
107 2 SKYRIUS. Klasikinės pirmosios eilės DL ir ju˛ integravimas [2022 07 16 (22:29)]
Pernumeruojame iš naujo:
Analogiškai gauname:
2.42 uždavinys. Ar 1-forma ω yra tiksli, uždara? Jei tiksli, raskite u: ω = du.
y x
a) ω = x2 +y 2
dx + x2 +y 2
dy;
b) ω = (2xy − cos x) dx + (x2 − 1) dy;
c) ω = (2x + cos x) dx + (3y 2 + ey ) dy;
d) ω = x(1 + y 2 ) dx + y(1 + x2 ) dy.
Jei 1-forma yra tiksli, tai (6.1) lygtis vadinama pilnu˛ju˛ diferencialu˛ lygtimi.
Tuomet du = 0 ir u(x, y) = C yra (6.1) lygties bendrasis integralas.
x2 y2
+ = C arba x2 + y 2 = R2 = 2C.
2 2
integralinės kreivės bus koncentriniai apskritimai su centru koordinačiu˛
pradžioje ir spinduliu R > 0 (žiūrėk 2.18 pav.). Pastebėsime, kad 1-
forma ω = x dx + y dy neapibrėžia DL koordinačiu˛ pradžioje (v(0) =
w(0) = 0).
dy
dx
= f (x)g(y), g(y) ̸= 0. (6.12)
2.34 pavyzdys. Nagrinėkime lygti˛ −y dx+x dy = 0. Jos 1-forma nėra uždara. Spręsime
1
lygti˛ atskirdami kintamuosius. Daugindami ją iš µ = −xy gauname DL
1 1
y
dy = x
dx, x ̸= 0 arba y ̸= 0.
y y
by
b2
x b1
ay
ax a1 a2 a3 bx x
2.35 pavyzdys. DL, kurios dešinioji pusė yra homogeninė funkcija, galima užrašyti pa-
vidalu
φ(y/x) dx − dy = 0. (6.14)
Keitiniu y = vx šią lygti˛ paverčiame lygtimi su atsiskiriančiais kintamai-
siais
(φ(v) − v) dx − x dv = 0. (6.15)
Vadinasi, DL (6.14) 1-forma taps uždara, jei lygti˛ padauginsime iš
1 1
µ= = . (6.16)
x(φ(v) − v) xφ(y/x) − y
Jeigu sritis yra vienajungė, bet (6.3) sąlyga neišpildyta, tuomet ieškomas
integruojantysis daugiklis µ ∈ C(G), µ ̸= 0, paverčiantis (6.1) lygti˛ pilnu˛ju˛
diferencialu˛ lygtimi, t.y. 1-forma µω būtu˛ tiksli. Jei µ ∈ C 1 (G), šios 1-formos
uždarumo sąlyga
∂(µw) ∂(µv)
= .
∂x ∂y
Vadinasi, integruojantis daugiklis tenkina tiesinę pirmosios eilės lygti˛ dalinėmis
išvestinėmis
w ∂µ ∂µ ∂v ∂w
∂x − v ∂y = ∂y − ∂x µ. (6.18)
2.37 pavyzdys. Homogeninės pirmosios eilės diferencialu˛ lygties ((x, y) ̸= (0, 0))
(x + y) dx + (y − x) dy = 0
sprendini˛
1 y
u= ln(x2 + y 2 ) − arctg + C(y).
2 x
Ji˛ i˛statome i˛ antrąją (6.5) lygti˛
∂u y−x y−x
= 2 + C ′ (y) = 2 ,
∂y x + y2 x + y2
ir randame, kad C ′ (y) = 0, t.y. bendrasis integralas lygus
1 y
ln(x2 + y 2 ) − arctg = C.
2 x
2.44 uždavinys. Raskite integruojanti˛ji˛ daugikli˛ lygčiai (x + y) dx + (y − x) dy = 0
(žiūrėk 2.37 pvz.) pasinaudodami (6.17) formule.
y y
x x
Integruojančiojo daugiklio radimo uždavinys yra žymiai sudėtingesnis negu (6.1) užda-
vinys. Šis uždavinys turi begalo daug sprendiniu˛ priklausančiu˛ nuo laisvosios funkcijos.
Kaip matėme, pakanka rasti vieną toki˛ integruojamąji˛ daugikli˛ µ. Pastebėsime, kad (6.18)
lygtis yra tiesinė, tačiau tai lygtis dalinėmis išvestinėmis.
z(x, y) z(x, y)
∂v − ∂w ∂v − ∂w
∂y ∂x ∂y ∂x
x w
= ϕ(x) y −v
= ϕ(y)
∂v − ∂w ∂v − ∂w
∂y ∂x ∂y ∂x
x+y w−v
= ϕ(x + y) x−y w+v
= ϕ(x − y)
∂v − ∂w ∂v − ∂w
x2 + y 2 ∂y ∂x
2xw−2yv
= ϕ(x2 + y 2 ) x2 − y 2 ∂y ∂x
2xw+2yv
= ϕ(x2 − y 2 )
∂v − ∂w ∂v − ∂w
∂y ∂x x ∂y ∂x y
xy yw−xv
= ϕ(xy) y yw v = ϕ( x )
− − 2
x2 x
Jeigu
∂v ∂w
∂y − ∂x
∂z ∂z
= ϕ(z), (6.22)
w ∂x − v ∂y
R
ϕ ∈ C(R), tuomet 1-forma dν − ϕ(z) dz yra tiksli ir ν = ϕ(z) dz. Sa˛ryšis
(6.22) yra būtina ir pakankama lygties v dx + w dy = 0 integruojančio daugik-
lio, priklausančio nuo funkcijos z = z(x, y), egzistavimo sa˛lyga. Kai kurioms
funkcijoms šios sa˛lygos pateiktos 2.1 lentelėje.
2.49 uždavinys. Raskite sa˛lygas kada integruojantysis daugiklis yra µ = µ(z(x, y)):
a) z = ax + by; b) z = xy 2 ; c) z = x2 y;
d) z = y − x2 ; e) z = y 2 − x; f) z = x2 y;
2 2
g) z = x + xy + y .
N E 1
1
0 1
0 0
1
(g)
P = 0
8
8
2
0
(a) (d)
(b)
kampas ψ ∈ (−π/2; +π/2], todėl toliau klase˛ (projektyvinės erdvės RP1 taška˛) sutapa-
tinsime su šiuo kampu. Projektyvinės erdvės elementams žymėti galima naudoti kampa˛
φ := π/2 − ψ, φ ∈ (−π/2; +π/2] (žiūrėk 2.22(β) pav.). Tada kievienam y ∈ R abi-
pus vienareikšmiškai galime priskirti projektyvinės erdvės elementa˛ ψ ∈ (−π/2; π/2) arba
φ ∈ (−π/2; 0) ∪ (0; π/2]:
dψ
y = tg ψ, dy = cos2 ψ
arba y = ctg φ, dy = − sindφ
2φ . (7.2)
Projektyvinėje tiesėje yra dar vienas taškas ψ = π/2 (φ = 0, P∞ ), kuris neturi atitinkamo
taško y ∈ R. Galime laikyti, kad ši˛ taška˛ atitinka y = ∞. Norėdami aprašyti jo aplinka˛,
išveskime liestine˛ taške P∞ , ir šia˛ liestine˛ interpretuosime kaip koordinatine˛ z-aši˛ (žiūrėk
2.22(β) pav.). Išveskime per z-ašies taška˛ z ir apskritimo centra˛ O tiese˛. Taip galime
kievienam z abipus vienareikšmiškai galime priskirti projektyvinės erdvės elementa˛ φ ∈
(−π/2; π/2) arba ψ ∈ (−π/2; 0) ∪ (0; π/2]:
dφ
z = tg φ, dz = cos2 φ
arba z = ctg ψ, dz = − sindψ
2ψ . (7.3)
Kintamasis z aprašo visus RP1 taškus, išskyrus N . Abi koordinatės y arba z pilnai aprašo
visa˛ RP1 . Projektyvinės tiesės taškus, išskyrus P∞ ir N galima aprašyti kintamaisiais
y ir z. Iš (7.2) ir (7.3) gauname formules susiejančias y ir z: jos sutampa su p-proceso
formulėmis.
Pavaizduoti integralines kreives aibėje R1x ×RP1φ , kuri yra begalinis cilindras, yra sudėtinga.
Todėl integralinės kreivės vaizduojamos plokštumose R1x × R1y ir R1x × R1z . Kitas būdas,
suprojektuoti RP1 taškus i˛ η-aši˛ (žiūrėk 2.22(γ) pav.) ir ζ-aši˛ (žiūrėk 2.22(δ) pav.):
Šiuo atveju, integralinės kreivės braižomos juostoje R1x ×[−1; +1] (pastebėsime, kad taškai
−1 ∼ 1).
spręskite):
1
y ′ = y 2 , y ∈ R1 , y=− , C ∈ RP1 ;
x−C
1
ψ ′ = sin2 ψ, ψ ∈ RP1 , ψ = −arctg , C ∈ RP1 ;
x−C
φ′ = − cos2 φ, φ ∈ RP 1 , φ = −arctg (x − C), C ∈ RP1 ;
z ′ = −1, z ∈ R1 ,z = −(x − C), C ∈ R;
+ √ 1 , kai x ⩾ C,
′ 1+(x−C)2
2
p
η =η 1 − η , η ∈ [−1; 1], η =
2
1
C ∈ RP1 ;
− √ , kai x ⩽ C,
2 1+(x−C)
′ 2
p x−C
ζ = (ζ − 1) 1 − ζ 2 , ζ ∈ [−1; 1], ζ = −p , C ∈ RP1 .
1 + (x − C)2
2.50 uždavinys. Pritaikykite p-procesą duotajai DL, užrašykite p-procesu gautą DL:
a) y ′ = y(1 − y); b) y ′ = f (x)y + g(x)y α .
7.2. σ-procesas
Galime laikyti, kad vietoje Ṙ2 turime begalini˛ Mėbijaus 15 lapą (žiūrėk 2.24 pav.),
o kreivė t = 0 jame atitinka projektyvinę tiesę RP1z , kuri yra apskritimas S 1 .
p/2 -p/2
0 0
0
-p/2 p/2
-1
1
0
0 0
-1
1
dx = dt, dy = z dt + t dz (7.7)
ir gauname DL atsiskiriančiais kintamaisiais:
tm v(1, z) + w(1, z)z dt + tm+1 w(1, z) dz = 0.
y t
8
+
t
8
+
y=zx
2 b a
-½ 0 ½
1 1
0 ½ z
x s
1
~ -1
8
8
-½ a
-1 -2 z 2
8
-2
a b
b
- -2 -1 -½ 0 ½ 1 2
8
-
8
y z~
s-1 z s-1
8
2 s
1 2 1
8
2 2
-2 2
½ -1 1
½
s
-½ 1 1
½
½ ½
0 0 0 0 0 ~
0
s t
x -½ t -½ -½
½ -1 -1
-1
1 -2 -2
-½
-½
s 2 -2 s
-1 -2
8
-2 -1
8
a) (x − y) dx + x dy = 0; b) (xy − y) dx + x dy = 0;
c) (y − 2xy) dx + x dy = 0; d) y 2 dx + (x2 − xy) dy = 0;
2 2
√
e) xy ′ − y = xtg xy ;
f) (y + xy) dx − x dy = 0;
√ √
g) y dx − x dy = 0, x ⩾ 0, y ⩾ 0 (atskirdami kintamuosius ir
σ-procesu).
yα
(x, y) ⇆ (t, z), t = x, z = xβ
, kai t = x ̸= 0; (7.9)
dy xy
2.44 pavyzdys. Nustatykite, kad DL dx
= y 3 +x2
yra kvazihomogeninė. Raskite jos
sprendinius.
7.3. π-procesas
Kitas gerai žinomas būdas kaip nagrinėti DL ypatingo taško aplinkoje: Dekar-
to koordinačiu˛ (x, y) ∈ Ṙ2 := R2 ∖ {(0, 0)} keitimas ˛i polines koordinates.
π-procesas. Dekarto koordinačiu˛ (x, y) srityje R2x,y ∖ {y = 0, x < 0} keitimą
˛i polines koordinates srityje r > 0 ir φ ∈ (−π; π) apibrėžia formulės:
y r a
p/2
3p/4
a a
p/4
r
a
p 0
~
-p x p
b
-p/4
-3p/4 b=p
-p/2 b= -p
-3p/4
-p/2 -p/4 0 p/4 p/2 3p/4 j
y
r
p-1
x
j
p -p 0 p 3p
8. Kintamu˛ju˛ keitimas
3 skyrius
Neišreikštinės pirmosios eilės lygtys
Šiame skyriuje nagrinėsime neišreikštines pirmosios eilės diferencialines lygtis. Šios lygtys
gali turėti keletą kreiviu˛ šeimu˛ ir ypatinguosius sprendinius. Pateiksime metodus kaip
sprendžiamos šios lygtys.
3.2 pavyzdys. DL
(y ′ )2 − 4x2 = 0 (1.3)
′ ′ ′
galima pertvarkyti i˛ DL (y + 2x)(y − 2x) = 0. Išsprendę y = −2x ir
y ′ = 2x lygtis, atitinkamai gauname dvi paraboliu˛ šeimas: y = −x2 + C,
y = x2 + C. Abi šias šeimas užrašome viena formule
(y − C)2 − x4 = 0.
1. Išvestinės išreiškimas atskirais atvejais 124
0 0
3.3 pavyzdys. DL
(y ′ )2 − 4x/9 = 0, x ⩾ 0, (1.4)
√ √
galima pertvarkyti ˛i DL (y ′ + 2 x/3)(y ′ − 2 x/3) = 0. Išsprendę y ′ =
√ √
−2 x/3 ir y ′ = 2 x/3 lygtis, atitinkamai gauname dvi šeimas: y =
3/2 3/2
−x + C, y = x + C. Abi šias šeimas užrašome viena formule
(y − C)2 − x3 = 0.
3.4 pavyzdys. DL
(y ′ )2 − y = 0, y ⩾ 0, (1.5)
′ √ ′ √ ′ √
galima pertvarkyti i˛ DL (y + y)(y − y) = 0. Išsprendę y = − y ir
√ √
y ′ = y lygtis, atitinkamai gauname dvi šeimas: ±2 y = x + C. Abi
šias šeimas užrašome viena formule
4y = (x + C)2 .
y ′ = y + 4ay 2 , y ′ = − y + 4ay 2 .
p p
y ′ = ± y + 4ay 2 .
p
(1.6)
0
0
1
c) Atvejis a > 0. Tuomet ieškome sprendiniu˛ srityse y < − 4a ir y > 0.
2
Pirmuoju atveju taikysime keitini˛ y = − ch4au ( dy = − 2a1
sh u ch u du),
2
0 < u < +∞, o antruoju y = sh4au ( dy = 2a1
sh u ch u du), 0 < u < +∞,.
Abiejais atvejais gauname tą pačią lygti˛
du 2 du √
=a ⇔
= ± a.
dx dx
√
Randame dvi bendru˛ju˛ sprendiniu˛ šeimas u = ± a(x − C), ir turime
(žiūrėk 3.2(c) pav.):
√ √
ch 2 ( a(x − C)) sh 2 ( a(x − C))
y=− ir y= ,
4a 4a
atitinkamai.
3. Ypatingieji sprendiniai 126
3.6 pavyzdys. DL
(y ′ )2 − y = 0, y ⩾ 0, (1.7)
√ √ √
galima pertvarkyti i˛ DL (y ′ + y)(y ′ − y) = 0. Išsprendę y ′ = − y ir
√ √
y ′ = y lygtis, atitinkamai gauname dvi šeimas: ±2 y = x + C. Abi
šias šeimas užrašome viena formule
4y = (x + C)2 .
Sakykime, tam tikroje taško (x0 , y0 ) aplinkoje (1.1) lygčiu˛ funkcijos fk (x, y),
k = 1, . . . , m, tenkina sprendinio egzistavimo ir vienaties sąlygas. Tada per
tašką (x0 , y0 ) eina m skirtingu˛ (1) lygties integraliniu˛ kreiviu˛, kuriu˛ liestinės
yra skirtingos ir ju˛ krypties koeficientas yra fk (x0 , y0 ). Šiuo atveju sakome, kad
Koši uždavinys (y0 = y(x0 )) turi vieninteli˛ sprendini˛, o (1) lygties sprendinq
vadinsime atskiruoju, jei jis nėra nė vienos iš (1.1) lygčiu˛ ypatingasis sprendinys.
Priešingu atveju sprendini˛ vadinsime ypatinguoju.
3. Ypatingieji sprendiniai
3.1. Diskriminantė
127 3 SKYRIUS. Neišreikštinės pirmosios eilės lygtys [2022 07 16 (22:29)]
3.2. Gaubtinė
R x R tn R t2 (n−1)
y0
y= x0 x0
··· x0
f (t1 ) dt1 . . . dtn−1 dtn + (n−1)! (x − x0 )n−1 + · · · + y0 .
Tada
dy = y ′ dx
R
⇒ dy = f (t)ġ(t) dt ⇒ y= f (t)ġ(t) dt = h(t, C1 ) ,
ir gauname
x = g(t) ∈ C 1 (I), y = h(t, C1 ) ∈ C 1 (I). (1.6)
′′
4.2 pavyzdys. Raskime DL y ′′ + ey = x bendrąji˛ sprendini˛. Išreikšti y ′′ negalime.
Parametrizuokime DL:
x = et + t, y ′′ = t.
dy ′ = y ′′ dx = t(et + 1) dt ⇒ y ′ = (t − 1)et + t2 /2 + C1
dy = y ′ dx = t − 1)et + t2 /2 + C1 (et + 1) dt
⇒
Jeigu z = f (x), f ∈ C(I) yra lygties F (x, z) = 0 sprendinys, tuomet esame išreikšti-
nio atvejo situacijoje: y (n) = f (x). Lygtis F (x, z) = 0 gali turėti daugiau negu vieną
sprendini˛. Tada sprendžiame visą šeimą išreikštiniu˛ DL: y (n) = fk (x), k ∈ K (pateikite
DL pavyzdžius, kai K = ∅, {1}, {1, 2}, {1, 2, 3}, N).
131 4 SKYRIUS. Aukštesnės eilės lygčiu˛ integravimas kvadratūromis [2022 07 16 (22:29)]
G(x, y (n−1) , C1 ) = 0.
F (z, z ′ ) = 0. (1.8)
Tada
ġ(t)
dz = z ′ dx ⇒ dx = f (t) dt ⇒ x = G(t, C1 ),
z = tg t, z ′ = cos−3 t.
dy = y ′ dx ⇒ dy = tg t cos t dt = sin t dt
⇒ x = − sin t + C1 , y = cos t + C2 .
Bendrąji˛ parametrizuotąji˛ sprendini˛ galima užrašyti neišreikštiniu pa-
vidalu (x − C1 )2 + (y − C2 )2 = 1. Integralinės kreivės yra vienetiniu˛
apskritimu˛ šeima plokštumoje (žiūrėk 1.16 pvz.).
F (z, z ′′ ) = 0. (1.13)
G(x, y (n−2) , C1 , C2 ) = 0.
Pastebėsime, kad
dz ′ dz
dz ′ = z ′′ dx, dz = z ′ dx ⇒ dx = = ′ ⇒ 2z ′ dz ′ = 2z ′′ dz .
z ′′ z
Tada Z
d(z ′ )2 = 2f (z) dz ⇒ (z ′ )2 = 2 f (z) dz + C1 .
√ dz
R = dx ⇒ x = h(z, C1 , C2 ) .
± 2 f (z) dz+C1
d(y ′ )2 = 2y ′′ dy = ey dy.
Integruojame ir randame
(y ′ )2 = 4C1 + ey .
133 4 SKYRIUS. Aukštesnės eilės lygčiu˛ integravimas kvadratūromis [2022 07 16 (22:29)]
Tada Z
2z ′ dz ′ = 2z ′′ dz ⇒ (z ′ )2 = 2 f (t)ġ(t) dt + C1 .
ġ(t) dt
√ R = dx ⇒ x = h(t, C1 , C2 ) .
± 2 f (t)ġ(t) dt+C1
d ġ g̈ ẋ − ẍġ
z ′ (x) = g(t) = , z ′′ (x) = = f (t).
dx ẋ ẋ3
Jeigu pažymėsime ẋ = u, tuomet gauname Bernulio lygti˛
u̇ = tu3 ,
vadinamas DL
F (x, y, y ′ , . . . , y (n) ) = 0 (2.2)
tarpiniu integralu, jeigu diferencijuojant ši˛ sąryši˛ n − k kartu˛ pagal x, galima iš
gautos sistemos vienareikšmiškai išreikšti konstantas Ck+1 ,. . . ,Cn ir, eliminuo-
jant jas sąryšyje (2.1), gaunama (2.2) DL.
Kai k = n − 1, tarpinis integralas vadinamas pirmuoju tarpiniu integralu. Kai
k = 0, tarpinis integralas sutampa su bendruoju integralu. Tarpinis integralas
(k > 0) yra DL.
Nagrinėkime DL
F (x, y (k) , . . . , y (n) ) = 0, 0 < k ⩽ n. (2.3)
Pažymėję y (k) = z, turėsime (n − k)-osios eilės DL
F (x, z, . . . , z (n−k) ) = 0. (2.4)
Jos bendrasis integralas Φ(x, z, Ck+1 , . . . , Cn ) = 0 bus pradinės DL tarpinis
integralas Φ(x, y (k) , Ck+1 , . . . , Cn ) = 0.
4.7 pavyzdys. DL y ′′ = −(y ′ )2 nėra y. Žymime z = y ′ . Tada z ′ = −z 2 . Šios lygties
bendrasis sprendinys yra z = 1/(x − C1 ), C1 ∈ RP 1 . Vadinasi, y =
ln |x − C1 | + C2 , C1 , C2 ∈ R , y = C (šis sprendinys atitinka z = 0, kai
C1 = ∞). Pastebėsime, kad bendrasis sprendinys gaunamas stumdant
dvi kreives y = ln |x| (arba ey = ±x).
Nagrinėkime DL
F (y, y ′ , . . . , y (n) ) = 0. (2.5)
′
Nagrinėkime naują funkciją p(y) = y , laikydami y nepriklausomu kintamuoju.
Tada
dy ′ dp dp dy dp
y ′′ = = = =p = pp′ ,
dx dx dy dx dy
d dp d dp
y ′′′ = p =p p = p2 p′′ + p(p′ )2 ,
dx dy dy dy
ir t.t. Turime naują (n − 1)-osios eilės DL
F1 (y, p, p′ , . . . , p(n−1) ) = 0. (2.6)
Jos bendrasis integralas Φ(y, p, C2 , . . . , Cn ) = 0 bus pradinės DL tarpinis integ-
ralas Φ(y, y ′ , C2 , . . . , Cn ) = 0.
135 4 SKYRIUS. Aukštesnės eilės lygčiu˛ integravimas kvadratūromis [2022 07 16 (22:29)]
4.8 pavyzdys. DL y ′′ = −(y ′ )2 nėra x. Žymime y ′ = p(y). Tada pp′ = −p2 . Atvejis
p = 0 atitinka sprendiniu˛ šeimą y = C. Lygties p′ = −p bendrasis
spendinys yra p = ±eC2 e−y (p = 0 jau radome). Tarpinis integralas
yra ±y ′ = eC2 e−y , kurios sprendiniai yra ±ey−C2 = x − C1 arba ey =
±(x − C1 )eC2 .
ir t.t. Gauname DL
eαt F1 (z, z ′ , . . . , z (n) ) = 0, (2.11)
kurios išraiškoje nėra t.
4.11 pavyzdys. Nagrinėkime DL x2 y ′′ − 3x2 yy ′ − 3xy 2 − 3y = 0. Kadangi lygtys 2 +
(m − 2) = 2 + m + (m − 1) = 1 + 2m = m yra suderintos ir m = −1,
todėl taikome keitinius x = et , y = e−t z(t). Gauname lygti˛
z̈ − 3ż − 3z ż = 0,
kuri nepriklauso nuo t. Toliau taikome keitini˛ ż = p(z) ir gauname
dp
p − 3p − 3zp = 0.
dz
Kai p = 0, tai ż = 0, ir mes gauname sprendini˛ y = Ce−t = Cx−1 . Kitu
atveju, turime lygti˛
dp
= 3 + 3z,
dz
kurios bendrasis spendinys yra p = 3z + 3/2z 2 + C1 , tarpinis integralas
ż = 3/2z 2 +3z+C1 (Rikačio lygtis). Uždavinys. Raskite šios DL bendrąji˛
sprendini˛ (kintamu˛ju˛ atskyrimo metodu).
4.1 teorema [Eulerio teorema]. Sakykime, kai a < x < b, (2.2) lygties kairiosios dalies
funkcija F (x, y, y ′ , . . . , y (n) ) n + 2 argumentu˛ atžvilgiu tam tikroje ju˛ kitimo srityje tolydi
ir turi iki 2n-osios eilės tolydžias išvestines. Nagrinėjamoji funkcija F intervale (a, b) yra
(n − 1)osios eilės reiškinio G pilnoji išvestinė pagal x (egzistuoja G, tenkinanti lygybes
(2.12)) tik tada, kai yra tenkinama sąlyga
∂F d ∂F d2 ∂F dn ∂F
− + + · · · + (−1)n = 0. (2.13)
∂y dx ∂y ′ dx2 ∂y ′′ dxn ∂y (n)
Teoremos ˛irodymą galima rasti vadovėlyje [8]. Funkcija
G = φ(x) + u0 (x, y) + u1 (x, y, y ′ ) + · · · + un−1 (x, y, y ′ , . . . , y (n−1) ),
čia
Z
∂F dun−1
un−1 := dy (n−1) , Fn−1 := F − ,
∂y (n) dx
Z
∂Fn−1 dun−2
un−2 := dy (n−2) , Fn−2 := Fn−1 − ,
∂y (n−1) dx
...
Z
∂F2 ′ du1
u1 := dy , F1 := F2 − ,
∂y ′′ dx
Z
∂F1 du0
u0 := dy, F0 := F1 − ,
∂y ′ dx
Z
φ := F0 dx.
ir
d
2xyy ′ + y 2 + 4x3 = (xy 2 + x4 ).
dx
Gauname bendrąji˛ integralą
xy 2 + x4 = C1 x + C2 .
4.12 uždavinys. Raskite DL xyy ′′′ + (3xy ′ + 2y)y ′′ + 2(y ′ )2 = 0 bendrąji˛ integralą.
2. Sumažinamos eilės diferencialinės lygtys 138
5 skyrius
Tiesinės diferencialinės lygtys ir sistemos
Jeigu ieškome sprendiniu˛ tarp kompleksiniu˛ funkciju˛, tuomet vietoje vienos kompleksinės
funkcijos z(x) = Re z(x) + Im z(x) ı galime ieškoti dvieju˛ realiu˛ju˛ funkciju˛ u = Re z(x) ir
v = Im z(x), kurios yra dvieju˛ DL sistemos
u(n) + Re a1 (x)u(n−1) − Im a1 (x)v (n−1) + · · · + Re an (x)u − Im an (x)v = Re f (x),
v (n) + Im a1 (x)u(n−1) + Re a1 (x)v (n−1) + · · · + Im an (x)u + Re an (x)v = Im f (x)
sprendinys (sprendiniu˛ pora). Dar paprastesnis atvejis gaunamas, kai (1.1) lygties koefi-
cientai yra realiosios funkcijos. Tuomet pastaroji sistema tampa
u(n) + a1 (x)u(n−1) + · · · + an (x)u = Re f (x),
v (n) + a1 (x)v (n−1) + · · · + an (x)v = Im f (x). (1.2)
Šioms sistemoms egzistuoja vienintelė sprendiniu˛ pora. Toliau šiame skyriuje DL ir jos
sprendiniai gali būti ir reliosios, ir kompleksinės funkcijos. Atitinkamai skaliarai irgi gali
būti iš kūno K = R, arba iš kūno K = C.
im A
L1 -1
A f L2
z1 f = A(z 1)
A
0 0 g
ker A
5.2 uždavinys. Suformuluokite 5.1 ir 5.2 teiginius ir ju˛ išvadas n-osios eilės TDL spren-
diniams.
5.2 pav. Homogeninės 5.3 pav. Nehomogeninės 5.4 pav. Funkciju˛ tiesinė
TDL integralinės kreivės. TDL integralinės kreivės. priklausomybė.
teisininkas ir ekonomistas.
143 5 SKYRIUS. Tiesinės diferencialinės lygtys ir sistemos [2022 07 16 (22:29)]
Jeigu Vronskio determinantas lygus (tapačiai) nuliui, tai nebūtinai funkcijos yra priklau-
somos (žiūrėk 5.5 pvz.).
5.4 uždavinys. Raskite 5.5 pvz. funkciju˛ Vronskio determinantus W [F, G], W [F, H],
W [G, H].
Pirmieji n − 1 determinantai turi dvi vienodas eilutes, t.y. visi jie lygūs nuliui.
Todėl vronskiano išvestinė lygi paskutiniam determinantui. Funkcijos z1 , . . . , zn
yra homogeninės TDL sprendiniai ir šio determinanto paskutinės eilutės elemen-
tai lygūs
(n) (n−1) (n−2)
zi = −a1 (x)zi − a2 (x)zi − · · · − an (x)zi , i = 1, . . . , n.
Vadinasi,
z1 ... zn
z1′ ... zn′
′ . . . . . . . . .
W [z1 , . . . , zn ](x) = −a1 (x)
z (n−2) . . . zn(n−2)
1
z (n−1) . . . z (n−1)
1 n
z1 ... zn
z1 ... zn
z1′ ... zn′ z1′ zn′
...
. . . . . . . . .
− a2 (x) − · · · − an (x) . . . ... ... .
z (n−2) . . . zn(n−2) z (n−2) (n−2)
1 1 . . . zn
z (n−2) . . . z (n−2) z1 ... zn
1 n
Paskutinieji n − 1 determinantai turi dvi vienodas eilutes, t.y. visi jie lygūs
nuliui, o pirmasis sutampa su vronskianu. Gavome, kad vronskianas yra DL
5.6 išvada. Santykis W [z1 , . . . , zn ](x)/W [z1 , . . . , zn ](x0 ) nepriklauso nuo TDL
fundamentaliosios sistemos parinkimo, o tik nuo TDL.
1 − x20
W (x) = W (x0 ) .
1 − x2
2 Joseph Liouville (1809–1882) – prancūzu˛ matematikas.
3 Adrien Marie Legendre (1752–1833) – prancūzu˛ matematikas.
147 5 SKYRIUS. Tiesinės diferencialinės lygtys ir sistemos [2022 07 16 (22:29)]
5.8 išvada. Jeigu žinomas kuris nors vienas antrosios eilės TDL atskirasis spren-
dinys, tai jos bendrasis sprendinys randamas integravimu:
Z
W (x)
z = φ(x) C1 + C2 dx .
φ2 (x)
jeigu
n
X
vi′ zi = 0. (1.19)
i=1
jeigu
n
(k−1)
X
vi′ zi = 0, k = 1, . . . , n − 1, (1.21)
i=1
ir
n n
X
(n) (n−1)
X
z (n) = vi zi + vi′ zi . (1.22)
i=1 i=1
z1 z2 ... zn v1′
0
z1′ z2′ ... zn′ v2′ 0
... ... ... ...
(n−2)
... = ... (1.24)
z1 (n−2) (n−2) ′
z2 . . . zn vn−1 0
(n−1)
z1
(n−1)
z2
(n−1)
. . . zn vn′ f
vi′ = fi (x), i = 1, . . . , n.
Integruodami gauname
Z
vi = gi (x) + Ci = fi (x) dx + Ci , i = 1, . . . , n. (1.25)
v1 = C1 + x, v2 = C2 − ln | sin x|.
Suintegravę randame
v1 = C1 − x3 /2, v2 = C2 + 3x/2.
y = C1 − x3 /2 + (C2 + 3x/2)x2 = C1 + C2 x2 + x3 .
I˛rodymas. Kadangi
Ln [xk eλx ] = eλx Pn(k) (λ) + kxeλx Pn(k−1) (λ) + · · · + kxk−1 eλx Pn′ (λ) + xk eλx Pn (λ).
tai
ya = xs eα̃x Qm (x) cos(β̃x) + Tm (x) sin(β̃x) ,
čia Pm1 (x) ir Rm2 (x) yra žinomi polinomai, o polinomu˛ Qm (x) ir Tm (x) koefi-
cientai yra nežinomi, ir m = max(m1 , m2 ).
Kartais, (2.8) funkcijos atveju, iš pradžiu˛ sprendžiama nehomogeninė DL
su dešiniosiomis pusėmis Pm1 (x)e(α̃+β̃ı)x ir Rm2 (x)e(α̃+β̃ı)x , o po to surandama
pirmojo sprendinio realioji dalis ir antrojo – menamoji dalis.
Prilygindami koeficientą prie e−x , turime algebrinę lygti˛ 17A = 17. Vadi-
nasi, atskirasis nehomogeninės DL sprendinys yra e−x , o tada bendrasis
6× y = (Ax2 + Bx)ex ,
(−7)× y ′ = (Ax2 + Bx + 2Ax + B)ex ,
1× y ′′ = (Ax2 + Bx + 4Ax + 2B + 2A)ex ,
+
xex = (−10Ax − 5B + 2A)ex .
5× y = A cos x + B sin x,
2× y ′ = −A sin x + B cos x,
1× y ′′ = A cos x + B sin x,
+
10 sin x = (4A + 2B) cos x + (−2A + 4B) sin x.
157 5 SKYRIUS. Tiesinės diferencialinės lygtys ir sistemos [2022 07 16 (22:29)]
4A + 2B = 0,
−2A + 4B = 10.
A = 1, y1 = xex ; A = 1, B = C = 0, y2 = x2 .
Užrašome bendrąji˛ pradinėsDL sprendini˛
y = C1 ex + C2 e−x + xex + x2 .
5.15 uždavinys. Suintegruokite šias DL, ju˛ atskiruosius sprendinius raskite taikydami
neapibrėžtu˛ju˛ koeficientu˛ metodą:
a) y ′′ − y = ex x cos x;
b) y ′′′ + 2y ′′ + y ′ = x cos x + (x2 − 2) sin x;
c) y ′′ − 2y ′ + y = x2 ex .
2. Tiesinė diferencialinė lygtis su pastoviais koeficientais 158
6 skyrius
Geometrinės diferencialiniu˛ lygčiu˛ sąvokos
1. Fazinė erdvė
1.1. Evoliuciniai procesai
Diferencialinėmis lygtimis aprašomi evoliuciniai procesai, kurie pasižymi deter-
minizmu, baigtiniu matavimu bei glodumu. Determinuotu vadinsime toki˛ pro-
cesą, kurio ateiti˛ ir praeiti˛ nulemia dabartis, t.y. mes galime nusakyti ne tik
dabartinę determinuoto proceso būklę, bet ir jo būklę bet kuriuo laiko momen-
tu tiek praeityje, tiek ateityje. Aibė determinuoto proceso būsenu˛ vadinama
fazine erdve.
6.1 pavyzdys [Determinuotas procesas]. Vieno taško judėjimą trimatėje erdvėje pilnai
apibrėžia trys jo koordinatės ir trys jo greičio komponentės. Žinodami
šiuos šešis parametrus konkrečiu laiko momentu, mes galime nusakyti
judančio taško padėti˛ bet kuriuo momentu tiek praeityje, tiek ateityje.
6.3 pavyzdys [Baigtinio matavimo procesas]. Jei materialus taškas juda tiese, tuomet
jo būsenai pilnai aprašyti pakanka 2 parametru˛ (koordinatės ir greičio),
t.y. fazinė erdvė yra dvimatė. Trimatėje erdvėje tokiam procesui apibūdinti
reikalingi 6 parametrai. Jei nagrinėsime n tašku˛ judėjimą, tai ju˛ fa-
zinė erdvė bus 6n-matė (trys koordinatės ir trys greičio komponentės
kiekvienam taškui). Nagrinėjant n kietu˛ kūnu˛ judėjimą reikalinga 12n
parametru˛ (kokie?).
1 Robert Brown (1773–1858) – škotu˛ botanikas.
1. Tiesinė diferencialinė lygtis su pastoviais koeficientais 160
6.4 pavyzdys [Begalinio matavimo procesai]. Norint aprašyti stygos virpesius, bangu˛
sklidimą reikalingas begalinis skaičius parametru˛. Tokius procesus nag-
rinėja lygčiu˛ dalinėmis išvestinėmis teorija.
φi : Wi → Ui ⊂ Rn1 , φj : Wj → Uj ⊂ Rn2 .
161 6 SKYRIUS. Geometrinės diferencialiniu˛ lygčiu˛ sąvokos [2022 07 16 (22:29)]
φij : Uij ⊂ Rn1 → Uji ⊂ Rn2 , φji : Uji ⊂ Rn2 → Uij ⊂ Rn1 ,
0}, – vidiniu tašku. Daugdaros sienos tašku˛ aibė žymima ∂M , o vidiniu˛ tašku˛ – M ◦ . Jei
∂M = ∅, tai M vadinama daugdara be sienos. Kompaktinė daugdara be sienos vadinama
uždarąja. Daugdaros su siena M n siena ∂M n yra (n − 1)-matė daugdara be sienos.
6.7 pavyzdys. Erdvės Rn atviroji aibė A yra analizinė (ir be galo glodi) n-matė daug-
dara. Jos C ω -atlasą sudaro lokaliosios koordinačiu˛ sistemos (Ai , id), čia
Ai – jungios sritys sudarančios aibę A.
6.8 pavyzdys [Sfera]. Sfera S n−1 ⊂ Rn , apibrėžta lygtimi |x|2 = (x1 )2 + · · · + (xn )2 =
1 yra (n − 1)-matė be galo glodi daugdara. Kai n = 2 sfera S 1 yra
apskritimas (žiūrėk 6.6 pav.). Sferos dengini˛ sudaro aibės (i = 1, . . . , n):
"
"
6.12 pav. Projektyvinė 6.13 pav. Mėbijaus lapas. 6.14 pav. Kleino butelys.
plokštuma. .
6.3 uždavinys. Erdvė RP n yra glodžioji daugdara. Suraskite jos atlasą, sudarytą iš
n + 1 žemėlapio.
6.13 pavyzdys. Orientuotosios dvimatės uždarosios daugdaros yra sfera S 2 (žiūrėk 6.10
pav.), toras T 2 = S 1 × S 1 (žiūrėk 6.11 pav.), o neorientuotosios dvimatės
uždarosios – projektyvinė plokštuma RP 2 (žiūrėk 6.12 pav.) ir Kleino
1. Tiesinė diferencialinė lygtis su pastoviais koeficientais 164
xn (t)
1. Tiesinė diferencialinė lygtis su pastoviais koeficientais 166
dx(t)
v(x0 ) = , (1.1)
dt t=t0
Fazinė trajektorija neaprašo fazinio taško priklausomybės nuo laiko t, tačiau pa-
prastai nurodoma, kokia kryptimi vystosi evoliucinis procesas. Rodykle fazinėje
trajektorijoje žymima laiko didėjimo kryptis. Norėdami pavaizduoti, kaip pro-
cesas evoliucionuoja laiko atžvilgiu, naudosime išplėstinę fazinę erdvę Rt × U ,
kuri yra laiko ašies ir fazinės erdvės Dekarto2 sandauga. Tada grafikas (t, x(t))
bus kreivė (n + 1)-matėje erdvėje ir pilnai apibrėš fazinio taško priklausomybę
nuo laiko t (žiūrėk 6.21 pav.).
Pagrindinis PDL teorijos uždavinys ir yra ištirti evoliucinio proceso kitimą
fazinio greičio vektoriniame lauke. Prie svarbiu˛ klausimu˛ galima priskirti faziniu˛
trajektoriju˛ pobūdi˛: koks ju˛ pavidalas, ar fazinės trajektorijos lieka aprėžtoje
srityje, ar jos yra periodinės (uždaros), ar jos nueina ˛i begalybę ir t.t.
Bendruoju atveju, taip suformuluotas uždavinys tam tikra prasme neišspren-
džiamas. Paprasčiausiais atvejais ši˛ uždavini˛ galima išspręsti integruojant. Skai-
tiniais metodais visada galima rasti DL sprendini˛ baigtiniame intervale. Tačiau
taip mes negalime gauti globalaus kokybinio vaizdo (fazinio portreto).
6.22 pav. Fazinio greičio 6.23 pav. Vektorinis 6.24 pav. Vektorinis
laukas. laukas plokštumoje. laukas tiesėje.
Dalykinė rodyklė
atvaizdis
1-forma – diferencijavimo, 3, 5
– diferencialinė, 101 – glodusis, 27, 164
– tikslioji, 102 – reguliarusis, 20
– uždaroji, 102 – sutraukiantysis, 15
1-forma – tolydusis, 9
– diferencialinė, 39 – tolygiai tolydusis, 13
A B
aibė bazė, 5
– aprėžta – topologijos, 9
– – visiškai, 17
C
– atviroji, 8
ciklas, 103
– iškiloji, 6
cirkuliacija
– reliatyviai kompaktinė, 17
– formos, 103
– tolydi
– – lygialaipsniškai, 17 D
– uždaroji, 8 daugdara, 160
aksioma – afininė, 6
– skaitumo – glodžioji, 161
– – antroji, 9 – jungioji, 161
algebra, 4 – orientuotoji, 161
– Banacho, 19 – su siena, 162
– Grasmano, 35 – tiesinė, 5
– išorinė, 35 – uždaroji, 162
– Li, 4 daugdaros
– normuotoji, 19 – difeomorfiškos, 164
aplinka daugiklis
– aibės, 9 – integruojantysis, 110
atitraukimas daugyba
– formos, 40 – skaliarinė, 19
atkarpa, 6 – vidinė, 41
atlasas, 161 determinantas
atrama – Vronskio, 142
– funkcijos, 10 diagrama
– lanko, 43 – Niutono, 81
169 Dalykinė rodyklė [2022 07 16 (22:29)]
difeomorfizmas, 27 – trivialioji, 9
– daugdaru˛, 164 – vienajungė, 12
– leistinasis, 103
diferencialas F
– 1-formos, 102 faktoraibė, 1
– Frešė, 21 formulė
– funkcijos, 39, 41, 102 – Gryno, 105
– Gato, 21 – Liuvilio, 146
– išorinis, 41, 102 – Niutono ir Leibnico, 21, 103
DL, 44 funkcija
– autonominė, 65 – abstrakčioji, 20
– homogeninė, 81 – aprėžtosios variacijos, 13
– – normalioji, 81 – finičioji, 11
– kreiviu˛ šeimos, 54 – glodžioji, 1
– kvazihomogeninė, 81 – Gryno, 92
– – normalioji, 81 – homogeninė, 81
– neautonominė, 65 – – teigiamai, 81
– tiesinė, 139 – Koši, 87
– – su pastoviais koeficientais, – kvazihomogeninė, 81
151 – – teigiamai, 81
– vektorinė, 61 – skaliarinė, 39
DLS, 61 – tolydžiai diferencijuojama, 1
– autonominė, 65 funkcijos
– neautonominė, 65 – nepriklausomos, 29
– tiesiškai nepriklausomos, 142
E – tiesiškai priklausomos, 142
eilė
– DL, 44 G
erdvė gradientas, 32
– afininė, 6 grupė, 2
– Banacho, 18 – Abelio, 2
– diskrečioji, 9
– fazinė, 45, 62, 159 H
– – išplėstinė, 45, 166 homeomorfizmas, 10
– Hausdorfo, 9 homotopija, 10
– jungioji, 10
– kompaktinė, 11 I
– liečiamoji, 36 ˛idėtis, 164
– metrinė, 13 imersija, 164
– – pilnoji, 14 integralas
– normalioji, 9 – atskirasis, 53
– normuotoji, 18 – bendrasis, 53
– parakompaktinė, 11 – Rymano, 20
– projektyvinė, 7 – tarpinis, 134
– topologinė, 8 – – pirmasis, 134
– – jungi keliais, 12 integravimas
Dalykinė rodyklė 170
– DL, 48 laužtė, 6
intervalas, 11 lema
– maksimalusis, 61 – Adamaro, 29
išvestinė – Borelio, 31
– Frešė, 21 – Urisono, 10
– Gato, 21 lygtis
– apverstoji, 46
J – Bernulio, 96
jakobianas, 27 – charakteristinė, 151
– diferencialinė, 43
K – diferencialu˛, 46
kelias, 12 – pilnu˛ju˛ diferencialu˛, 107
kilpa, 12 – Rikačio, 98
kompaktas, 11 – – kanoninė, 100
konstanta – – specialioji, 100
– laisvoji, 52 – su atsiskiriančiais kintamai-
koordinatės siais, 108
– afininės, 6 – su atskirtaisiais kintamaisiais,
– baricentrinės, 6 107
– Dekarto, 7, 117 – tiesinė, 140
– homogenines, 117 – – homogeninė, 85, 139
– homogeninės, 7 – – nehomogeninė, 85, 139
– polinės, 120 – tiesinė DL, 85
– projektyvinės, 115 – variaciju˛, 86
kovektorius, 39 – vektorinė, 61
kraštas
– aibės, 9 M
kreivė matrica
– fazinė, 65 – Jakobio, 27
– integralinė, 48, 62 metodas
– ištiesinamoji, 13 – Eulerio, 91
– orientuota, 13, 103 – integruojančiojo daugiklio, 91
– paprastoji, 13 – kintamu˛ju˛ atskyrimo, 79
– parametrinė, 12 – Koši, 104
– – glodžioji, 31 – Lagranžo, 91
– reguliarioji, 32 – laisvosios konstantos varijavi-
– Žordano, 13 mo, 91
kreivė uždaroji, 13 – laisvu˛ju˛ konstantu˛ varijavimo,
kūnas, 3 148
kvazipolinomas, 155 – neapibrėžtinio integralo, 105
– neapibrėžtiniu˛ koeficientu˛ , 155
L metrika, 13
lankas, 12 multiplikatorius, 89
laukas
– krypčiu˛, 39, 56 N
– vektorinis, 39 nelygybė
171 Dalykinė rodyklė [2022 07 16 (22:29)]
submersija, 164 V
sąlyga variacija
– integruojamumo, 100 – pirmoji, 21
– Lipšico, 76 vektoriai
– tiesiškai nepriklausomi, 141
Š – tiesiškai priklausomi, 142
šeima vektorius, 37
– vienaparametrinė – greičio
– – kreiviu˛, 54 – – fazinio, 166
– liečiamasis, 36
T vidurkis
taškas – funkcijos
– fazinis, 165 – – pagal periodą, 89
– kritinis, 27 vidus
– nejudamasis, 15 – aibės, 8
– ypatingasis, 60 vronskianas, 142
TDL, 85
teorema Ž
– apie rangą, 28 žemėlapis, 160
– aproksimacijos, 15 žiedas, 2
– Arcela ir Askolio, 17
– atvirkštinės funkcijos, 28
– Eulerio, 81, 137
– Hausdorfo, 15, 17
– neišreikštinės funkcijos, 28
– Sardo, 27
– tolygaus konvergavimo, 14
– Tycės, 10
– Vejerštraso, 15
tęsinys, 60
tiesė
– projektyvinė, 56, 115
topologija, 8
– indukuotoji, 9
trajektorija
– fazinė, 48, 62, 165
– izogonalioji, 55
– ortogonalioji, 55
transformacija, 2
U
uždarinys
– aibės, 9
uždavinys
– Koši, 57
– pradinis, 57
Vardu˛ rodyklė
A Hausdorfas F., 9
Abelis N.H., 2
Arcela C., 17 J
Askolis G., 17 Jakobis C.G.J., 3
B K
Banachas S., 15 Kepleris J., 148
Barou I., 68, 72 Koši A.L., 14, 57
Bernulis Jakobas, 96
Borelis F.E.J.E., 31 L
Braueris L.E.J., 10 Lagranžas J.L., 21, 91, 148
Braunas R., 159 Leibnicas G.W., 3, 76
Ležandras A.M., 146
C Li M.S., 3
Cantoras G., 22 Lipšicas R.O.S., 15, 76
Liuvilis J., 98, 146
Č Lopitalis G.F., 69
Čebyševas P.L., 154
M
D
Miobijus A.F., 117
Dekartas R., 7, 166
Morsas A., 27
Dirichlė J.P.G.L., 88
E N
Einšteinas A., 38 Niutonas I., 21, 76
Euleris L., 81
P
F Peano G., 58
Frešė M.R., 21 Pikaras E., 58
Puasonas S.D., 5
G
Gato R.E., 21 R
Grasmanas H.G., 34 Rikatis J.F., 98
Grynas G., 105 Rymanas B., 20, 67
H S
Hadamaras J.S., 29 Sardas A., 27
Hanas H., 18 Stounas A.H., 12
Vardu˛ rodyklė 174
Š
Švarcas H.A., 19
T
Tycė H.F.F., 10
U
Uitnis H., 31
Urisonas P.S., 10
V
Vejerštrasas K.T.W., 15
Vronskis J.M., 142
Ž
Žordanas C., 7
Literatūra 176
Literatūra