Professional Documents
Culture Documents
არაწრფივი ჩვეულებრივვი დიფერენციალური განტოლებები
არაწრფივი ჩვეულებრივვი დიფერენციალური განტოლებები
roman koplataZe
Tbilisi
2020
2
öæꎎîïæ
1. ŽîŽûîòæã àŽêðëèâIJŽåŽ äëàæâîåæ éŽàŽèæåæ . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1. àŽêùŽèâIJŽá ùãèŽáâIJæŽêæ àŽêðëèâIJŽ . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. IJâîêñèæï àŽêðëèâIJŽ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. àŽêðëèâIJâIJæ ïîñè áæòâîâêùæŽèâIJöæ . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2. çëöæ-ìâŽêëï åâëîâéŽ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
3. çëöæï ŽéëùŽêæï âîåŽáâîåëIJŽ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
4. çëöæï ŽéëùŽêæï ŽéëýïêŽ éæéáâãîëIJæåæ éæŽýèëâIJæï éâåëáæå . . . . . . . . . . . 3
5. çëöæï ŽéëùŽêæï Žéëýïêæï àŽàîúâèâIJŽáëIJŽ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
6. åâëîâéâIJæ áæòâîâêùæŽèñîæ ᎠæêðâàîŽèñîæ ñðëèëIJâIJæï öâïŽýâIJ . . . . 3
7. çëöæï ŽéëùŽêæï äâᎠŽéëêŽýïêæ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
8. æêðâàîŽèñîæ ñðëèëIJâIJæ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
9. ŽîïâIJëIJæï ŽîŽèëçŽèñîæ åâëîâéŽ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
10. çëöæï ŽéëùŽêæï çëîâóðñèëIJŽ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
11. çëöæï ŽéëùŽêæï Žéëýïêæï Žéëýïêæï ûŽîéëâIJŽáëIJŽ ìŽîŽéâðîæï éæéŽîå . 3
12. çëöæï ŽéëùŽêæï éáàîŽáëIJŽ èæŽìñêëãæï Žäîæå . . . . . . . . . . . . . . . . . . . . . . . 3
13. ïŽïŽäôãîë ŽéëùŽêâIJæ ûîòæã áæòâîâêùæŽèñî àŽêðëèâIJŽåŽ ïæïðâéâIJæïŽå-
ãæ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
áŽéýéŽîâ èæðâîŽðñîŽ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .4
3
∫x ds
öâéëãæôëå òñêóùæŽ Φ(x) = àŽêïŽäôãîñèæ ]α, β[-öæ. âï òñêóùæŽ Žîæï
x0 φ(s)
ñûõãâðæ ᎠéçŽùîŽá éëêëðëêñîæ ]α, β[-öæ îŽáàŽê (1.5)-æï àŽéë Φ′ (x) ̸= 0.
Žéæðëé ŽîïâIJëIJï äôãîâIJæ ïŽïîñèæ Žê ñïŽïîñèë Φ(α+) ᎠΦ(β−). Žôãêæöêëå
{ } { }
A = min Φ(α+), Φ(β−) , B = max Φ(α+), Φ(β−) .
éŽöæê Φ-ï éêæöãêâèëIJŽåŽ Žîâ æóêâIJŽ ]A, B[ öñŽèâáæ. Žéæï öâéáâà (1.6) Žïâ àŽáŽã-
ûâîëå
∫t
Φ[x(t)] = a(τ ) dτ, t ∈ I0 . (1.7)
t0
ùýŽáæŽ A < 0 < B îŽáàŽê Φ(x0 ) = 0. (1.7) ðëèëIJŽï, îëé Žäîæ ßóëêáâï
ïŽüæîëŽ, îëé áŽùñèæ æóêŽï ìæîëIJâIJæ
∫t
A< a(τ ) dτ < B, t ∈ I0 . (1.8)
t0
Žéæï öâéáâà ïûëîâá ãæàñèæïýéëå, îëé I0 öâîøâñèæŽ æïâ, îëé áŽùñèæ æõëï
∫t
(1.8). Žïâåæ I0 îëé öâæîøâ㎠ùýŽáæŽ, îŽáàŽê a(τ ) dτ = 0 ∈ [AB]. (1.8) ìæîë-
t0
IJŽïŽ áŽ Φ òñêóùææï éçŽùîŽá éëêëðëêñîëIJæï àŽéë àãŽóãï, îëé
[ ∫t ]
−1
x(t) = Φ a(τ ) dτ < B, t ∈ I0 . (1.9)
t0
5
éŽöæê
y ′ (t) = (1 − n)x−n (t) x′ (t) = (1 − n)a(t)y(t) + (1 − n)b(t)
Ꭰøãâêæ çëöæï ŽéëùŽêŽ éææôâIJï ïŽýâï:
dy
= (1 − n)a(t)y + (1 − n)b(t), (1.10′ )
dt
y(t0 ) = x1−n
0 . (1.11′ )
éŽàîŽé (1.10), (1.11) Ꭰ(1.10′ ), (1.11′ ) ŽéëùŽêâIJæ Žî Žîæï âçãæãŽèâêðñîæ. éŽîå-
èŽù, éâëîâï ŽéëýïêŽ àŽêïŽäôãîñèæŽ éåèæŽêŽá I-öæ, éŽöæê îëùŽ ìæîãâèæï Žéë-
ýïêŽ éåèæŽêŽá I-öæ öâæúèâIJŽ Žî æõëï àŽêïŽäôãîñèæ. ïŽóéâ æéŽöæŽ, îëé (1.12)
àŽîáŽóéêŽ Žî Žîæï öâIJîñêâIJŽáæ éåâè I-öæ. îëàëîù çñîïæï ìæîãâèæ èâóùææáŽê
ãæùæå (1.10′ ), (1.11′ )-æï ŽéëýïêŽ éëæùâéŽ òëîéñèæå
∫t [ ∫t ∫t ]
(1−n) t a(τ ) dτ (n−1) t a(s) ds
y(t) = e 0 x0 + (1 − n) b(s) e
1−n 0 ds .
t0
öâãŽîøæëå I0 æïâ îëé
∫t ∫t
x1−n
0 + (1 − n) b(s) e(n−1) t0 a(τ ) dτ
ds > 0, îëùŽ t ∈ I0 . (1.13)
t0
∂z(t, x)
éŽîåèŽù, = p(t, x) ýëèë
∂x
∫x ∫x
∂z(t, x) ∂p(t, ξ) ∂q(t, ξ)
= q(t, x0 ) + dξ = q(t, x0 ) + dξ =
∂t ∂t ∂t
x0 x0
= q(t, x0 ) + q(t, x) − q(t, x0 ) = q(t, x).
åñ (1.15), (1.17)-ï àŽŽøêæŽ ŽéëêŽýïêæ, éŽöæê (1.15)-áŽê àãŽóãï p(t, x(t))dx(t) +
q(t, x(t))dt ≡ 0, t ∈ I0 , âï çæ êæöêŽãï, îëé dz(t, x(t)) ≡ 0, t ∈ I0 . âï æàæãâŽ, îŽù
(1.18).
ŽéàãŽîŽá, åñ ŽîïâIJëIJï (1.15), (1.17) ŽéëùŽêæï ŽéëýïêŽ îŽôŽù I0 öñŽèâáöæ,
æàæ ŽçéŽõëòæèâIJï (1.18) ðëèëIJŽï.
dx
Ꭰéîæùýãâèæï àŽéîŽãèâIJæï öâéáâà æàæ àŽýáâï ïîñè áæòâîâêùæŽèâIJöæ =
dt
µ(t, x) q(t, x)
− .
µ(t, x) p(t, x)
2. çëöæ-ìâŽêëï åâëîâéŽ
{ }∞
èâéŽ 2.1 (ŽîùâèŽ-Žïçëèæ). åñ I ïŽïîñèæ öñŽèâáæŽ, ýëèë xk k=1 Žîæï
Žé öñŽèâáöæ âîåëIJèæã öâéëïŽäôãîñèæ ᎠâîåëIJèæã ñûõãâðæ n àŽêäëéæèâ-
IJæŽê ãâóðëî òñêóùæŽåŽ éæéáâãîëIJŽ, éŽöæê éæïàŽê àŽéëæõëòŽ åŽêŽIJîŽá çîâIJŽáæ
óãâéæéáâãîëIJŽ I-öæ.
|I| { }∞
ïæàîúâ Žîæï k . Žïâ ŽæàâIJŽ ûâîðæèåŽ éæéáâãîëIJŽ tk k=1 , îëéâèæù ùýŽáæŽ õãâ-
2
èàŽê éçãîæãæŽ I-öæ. àŽêãæýæèëå n-àŽêäëéæèâIJæŽê ãâóðëîåŽ éæéáâãîëIJŽ
{ }+∞
xk (t1 ) k=1 . âï éæéáâãîëIJŽ öâéëïŽäôãîñèæŽ áŽ Žéæðëé ŽóâáŽê àŽéëæõëòŽ çîâ-
{ }+∞ { }+∞
IJŽáæ óãâéæéáâãîëIJŽ x1k (t1 ) k=1 . ŽéîæàŽá, òñêóùæŽåŽ éæéáâãîëIJŽ x1k (t2 ) k=1 .
{ }
ŽóâáŽê ŽéëæçîæIJâIJŽ
{ } çîâIJŽáæ óãâéæéáâãîëIJŽ x 2k (t2 ) . ŽéîæàŽá òñêóùæŽåŽ éæé-
áâãîëIJŽ x2k (t) çîâIJŽáæŽ t1 Ꭰt2 ûâîðæèâIJöæ. åñ {Žé ìîëùâïï } ñïŽïîñèëá
{ }
àŽãŽàîúâèâIJå
{ } éæãæôâIJå
{ éæéáâãîëIJŽåŽ
} { éæéáâãîëIJŽï
} x 1k (t) ⊃ x 2k (t) ⊃
x3k (t) ⊃ · · · ⊃ { xik (t)} ⊃ xi+1,k (t) ⊃ . . . æïâ îëé õëãâè òæóïæîâIJñè
i-åãæï éæéáâãîëIJŽ xik (t) çîâIJŽáæŽ t1 , . . . , ti ûâîðæèâIJöæ. éëïŽýâîýâIJâèæŽ âï
éæéáâãîëIJâIJæ áŽãŽþŽéëå ñïŽïîñèë éŽðîæùöæ
x11 (t), x12 (t), . . . , x1n (t), . . .
x21 (t), x22 (t), . . . , x2n (t), . . .
...........................
xn1 (t), xn2 (t), . . . , xnn (t), . . .
...........................
Ꭰöâéáâà øŽãõãâå áæŽàëêŽèï. â.æ. àŽêãæýæèëå éæéáâãîëIJŽ y k (t) = xkk (t).
ùýŽáæŽ, îëé {y k } æóêâIJŽ {xk }-æï óãâéæéáâãîëIJŽ. ãŽøãâêëå, îëé {y k } Žîæï ïûë-
îâá æï óãâéæéáâãîëIJŽ, îëéâèæù åâëîâéæï ìæîëIJâIJï ŽçéŽõëòæèâIJï. ùýŽáæŽ, îëé.
{y k (t)} çîâIJŽáæŽ êâIJæïéæâî tk -äâ. Žãæôëå êâIJæïéæâîæ ε > 0. ùýŽáæŽ {y k (t)} Žàîâ-
åãâ âîåëIJèæã ñûõãâðæ ᎠâîåëIJèæã öâéëïŽäôãîñèæŽ. Žéæðëé ε-åãæï ŽîïâIJëIJï
æïâåæ δ, îëé
ε
y k (t) − y k (s) < for |t − s| ≤ δ, k = 1, 2, . . . .
3
|I|
Žé δ-åãæï öâãŽîøæëå k0 , æïâ îëé k < δ ýëèë Žé k0 -åãæï öâãŽîøæëå k ∗ , æïâ îëé
20
y k (ti ) − y m (ti ) < 3 îëùŽ k > k ∗ Ꭰm > k ∗ , i = 1, 2, . . . , 2k0 − 1. ãåóãŽå ŽýèŽ
ε
[ δ]
t0 , t0 + ᎠŽó xk (t) ñçãâ àŽêïŽäôãîñèæ àãŽóãï. Žïâ àŽãŽàîúâèâIJå, ïŽêŽé Žî
k
éæãŽèå β IJëèëéáâ. Žáãæèæ öâïŽéøêâãæŽ, îëé xk (t) ñûõãâðæŽ [t0 , β]-öæ ᎠŽóŽù
ŽçéŽõëòæèâIJï ìæîëIJŽï
xk (t) − x0 ≤ r. (2.5)
δ] [
éŽîåèŽù, xk (t) îëé ñûõãâðæŽ áŽ (2.5)-ï ŽçéŽõëòæèâIJï t0 , t0 + -öæ âï ùýŽáæŽ.
[k iδ ]
âýèŽ áŽãñöãŽå, îëé xk (t) ñûõãâðæŽ áŽ (2.5)-ï ŽçéŽõëòæèâIJï t0 , t0 + -öæ áŽ
[ k
(i + 1)δ ]
ãŽøãâêëå, îëé æàæãâ ïŽéŽîåèæŽêæŽ t0 , t0 + -öæ. ñûõãâðëIJæï åãŽèïŽä-
k
iδ
îæïæå ïŽâüãëŽ éýëèëá àŽáŽIJéæï ûâîðæèöæ t0 + . éŽàîŽé îëàëîù Žáãæ-
k
èæ áŽïŽêŽýæŽ, òñêóùææï éŽîþãâêŽ áŽ éŽîùýâêŽ äôãîâIJæ òñêóùææï éêæöãêâèë-
[ iδ (i + 1)δ ]
IJæï ðëèæŽ. îŽù öââýâIJŽ (2.5)-ï, åñ t ∈ t0 + , t0 + , éŽöæê t − kδ ∈
[ k k
(i − 1)δ iδ ]
t0 + , t0 + Ꭰ(2.2)-æï àŽéë àãŽóãï
k k
δ
∫t− k ( )
δ r
xk (t) − x0 ≤ f (τ, xk (τ ) dτ ≤ M t − − t0 < (β − t0 ) ≤ M = r.
k M
t0
(Žó (2.2)-æï àŽéëõâêâIJæï ñòèâIJŽ æéæðëé àãóëêáŽ, îëé øãâêæ áŽöãâIJæï úŽèæå ûæêŽ
öñŽèâáöæ (2.5) ñçãâ ïîñèáâIJŽ). îëàëîù (2.5) àãæøãâêâIJï, {xk } éæéáâãîëIJŽ âî-
åëIJèæã öâéëïŽäôãîñèæŽ. øãâêæ éæäŽêæŽ ãŽøãâêëå {xk } éæéáâãîëIJæï âîåëIJèæã
ñûõãâðëIJŽ [t0 , β]-äâ. Žãæôëå êâIJæïéæâîæ t Ꭰs, t0 ≤ s ≤ t ≤ β. öâïŽúèâIJâèæŽ
Žáàæèæ ßóëêáâï âîåâîåï öâéáâàæ 3 öâéåýãâãæáŽê
δ
1) t ∈ t0 + ,
k
δ
2) s < t0 + < t,
k
δ
3) t0 + ≤ s.
k
ìæîãâè öâéåýãâãŽöæ (2.1)-æï àŽéë àãŽóãï xk (t) − xk (s) = 0. éâëîâ öâéåýãâ-
ãŽöæ
δ δ
∫t− k ∫t− k
xk (t) − xk (s) = f (τ, xk (τ ))dτ ≤ f (τ, xk (τ )) dτ ≤
t0 t0
( δ ( ) δ )][
≤ M t − − t0 = M t − t0 + ≤ M (t − s)
k k
12
îŽáàŽê xki ⇒ x, Žéæðëé f (τ, xki (τ )) ⇒ f (τ, x(τ )) (⇒ êæöêŽãï åŽêŽIJîŽá éæ-
ïûîŽòâIJŽï). Žéæðëé éâëîâ öâïŽçîâIJöæ äôãŽîäâ àŽáŽïãèŽ æêðâàîŽèæï êæöêæï
óãâö öâæúèâIJŽ. îŽù öââýâIJŽ éâïŽéâ öâïŽçîâIJï, éæïæ êëîéŽ Žî ŽôâéŽðâIJŽ Žïâå
δ
àŽéëïŽýñèâIJŽï M îëéâèæù ùýŽáæŽ → 0, îëùŽ i → +∞, Žïâ îëé åñ (2.6)
ki
àŽáŽãŽèå äôãŽîäâ, îëùŽ i → +∞, éæãæôâIJå
∫t
x(t) = x0 + f (τ, x(τ ))dτ. (2.7)
t0
(2.7) ðëèëIJŽï Žáàæèæ Žóãï êâIJæïéæâîæ t ∈ (t0 , β]-åãæï. îŽù öââýâIJŽ åãæå t0 , Žó
ëîæãâ éýŽîæï éêæöãêâèëIJŽ x0 -æï ðëèæŽ áŽ (2.7) ŽóŽù ïŽéŽîåèæŽêæŽ. ŽéîæàŽá,
x(t) ûŽîéëŽáàâêï (2.1)-æï ŽéëýïêŽï [t0 , β] öñŽèâáöæ.
ŽêŽèëàæñîŽá ãŽøãâêëå, îëé (2.1) ïæïðâéŽï àŽŽøêæŽ y(t) ŽéëýïêŽ [α, t0 ]-äâ åñ
α < t0 . Žáãæèæ ïŽêŽýŽãæŽ, îëé òñêóùæŽ
{
y(t), α ≤ t ≤ t0 ,
z(t) =
x(t), t0 < t ≤ β
ûŽîéëŽáàâêï (2.1)-æï ŽéëýïêŽï [α, β] öñŽèâáöæ. åâëîâéŽ áŽéðçæùáŽ.
13
u(t1 ) = 0, (3.7)
∫t
éŽîùýâêŽ æêðâàîŽèöæ éëãŽýáæêëå ùãèŽáåŽ àŽîáŽóéêŽ ω(u(τ )) dτ = s. éŽöæê
t1
àãŽóãï
∫δ
ds
< t∗ − t1 ,
ω(s)
ρε
t1∫+ε ∫t∗
ïŽáŽù ρε = ω(u(τ )) dτ , ýëèë δ = ω(u(τ )) dτ > 0. îëùŽ ε → 0, ρε → 0
t1 t1
Žéæðëé åñ ñçŽêŽïçêâè ðëèëIJŽöæ àŽáŽãŽèå äôãŽîäâ, îëùŽ ε → 0, éæãæôâIJå
∫δ
ds
≤ t∗ − t1 < +∞
ω(s)
0
îŽù âûæꎎôéáâàâIJŽ (3.6) ìæîëIJŽï. åâëîâéŽ áŽéðçæùáŽ.
æïéæï ïŽçæåýæ. ïŽüæîëŽ åñ ŽîŽ ëïàñèæï ìæîëIJŽ Žéëýïêæï âîåŽáâîåëIJæïŽå-
ãæï. öâéáâàæ éŽàŽèæåæ àãæøãâêâIJï, îëé éŽîðë (3.3) ìæîëIJŽ Žî Žîæï ïŽçéŽîæïæ
Žéëýïêæï âîåŽáâîåëIJæïŽåãæï.
ãåóãŽå éëùâéñèæŽ àŽêðëèâIJŽ
dx
= ω(x), (∗)
dt
ïŽáŽù ω ∈ C(−∞; +∞), ω(0) = 0, ω(x) > 0 îëùŽ x ̸= 0 áŽ
∫1 ∫0
ds ds
< +∞, < +∞.
ω(s) ω(s)
0 −1
′
∫
x(t)
ds
Žïâãâ æóêâIJŽ x (t)-ù, â.æ. x(t) éçŽùîŽá éëêëðëêñîæŽ). àãŽóãï = t − t0 .
0 ω(s)
∫x ds
åñ öâéëãæôâIJå òñêóùæŽï Φ(x) = àŽêïŽäôãîñèï (−∞, +∞)-äâ. æï æóêâIJŽ
0 ω(s)
éçŽùîŽá éëêëðëêñîæ Ꭰêñèæ àŽýáâIJŽ éýëèëá 0-öæ. Žéæðëé Žïâãâ æóêâIJŽ Φ−1 ,
t ∈ (−∞, +∞). àãŽóãï x(t) = Φ−1 (t − t0 ). ìæîæóæåŽù ŽáãæèŽá áŽãîûéñêáâIJæå,
îëé Žïâ àŽêïŽäôãîñèæ x(t) ŽçéŽõëòæèâIJï (∗)-ï (∗∗) ïŽûõæï ìæîëIJâIJöæ.
ñòîë éâðæù. ñçãâ øŽêï, îëé (∗), (∗∗) ŽéëùŽêŽï Žóãï
ñïŽïîñèëá IJâãîæ ŽéëýïêŽ, îëéâèåŽ ïŽâîåë îŽëáâ-
êëIJŽ çëêðæêæñéæŽ. éŽàŽèæåŽá, îëùŽ t0 = 0, Žé Žéë-
ùŽêæï
ŽéëýïêŽ æóêâIJŽ (æý. êŽýŽäæ)
−1
îëùŽ t ≤ 0,
Φ (t)
x(t) 0 îëùŽ 0 ≤ t ≤ t0 ,
Φ−1 (t − t ) îëùŽ t > t .
0 0
Žàîâåãâ òñêóùæŽ.
åâëîâéŽ 3.1-áŽê àŽéëéáæêŽîâëIJï
f -æï ñûõãâðëIJæï úŽèæå. ŽéàãŽîŽá v ñûõãâðæŽ [t0 , t∗ ]-äâ, v(t0 ) = 0, v(t∗ ) > 0.
Žéæðëé æï e t ûâîðæèæ, ïŽáŽù v éŽóïæéñéï Žôûâãï,
éâðæŽ t0 -äâ (öâæúèâIJŽ t∗ -ï áŽâéåýãâï). àãŽóãï
∫t
x(t) − y(t) ≤ f (τ, x(τ )) − f (τ, y(τ )) dτ
t0
îŽù (3.11)-æïŽ áŽ øãâêæ Žôêæöãêæï úŽèæå êæöêŽãï, îëé
∫t
1
v(t) ≤ v(τ ) dτ, t0 < t ≤ t∗ . (3.12)
t − t0
t0
∫ et ∫t
1 1
v(e
t) ≤ v(τ ) dτ < v(e
t) dτ = v(e
t).
e
t − t0 e
t − t0
t0 t0
ýëèë îëùŽ k = 1, àãŽóãï x1 (t) − x0 (t) ≤ r0 . Žéæðëé èâéŽ 2.1-æï úŽèæå àãŽóãï
∫t
vk (t) ≤ ω(v(τ ) + δ) dτ , k ≥ k0 + 1.
t0
∫t
v(t) ≤ ω(v(τ ) + δ) dτ .
t0
∫t
v(t) ≤ ω(v(τ )) dτ, t1 ≤ t < t∗ ,
t1
( ∫t )
ω(v(t)) ≤ ω ω(v(τ )) dτ , t1 ≤ t ≤ t∗ .
t1
23
∫t
Žáãæèæ öâïŽéøêâãæŽ, îëé ω(v(τ )) dτ > 0 îëùŽ t1 < t ≤ t∗ , Žéæðëé
t1
ω(v(t))
[∫t ] ≤ 1, t1 < t ≤ t∗
ω t1 ω(v(τ )) dτ
öâéáâà ëïàñèæï 3.1 åâëîâéæï ŽêŽèëàæñîŽá éæãæôâIJå ûæꎎôéáâàëIJŽï. ŽéîæàŽá
éæãæôâIJå, îëé
lim xk (t) − xk−1 (t) = 0.
t→+∞
âï çæ êæöêŽãï, îëé lim xk (t) − xk−1 (t) = 0, îæï áŽéðçæùâêŽù àãæêáëáŽ.
k→+∞
ŽýèŽ áŽãŽéðçæùëå ŽêŽèëàæñîæ åâëîâéŽ êŽàñéæ-ìâîëêæï ìæîëIJâIJæïåãæï.
åâëîâéŽ 4.3. åñ f ∈ Cn (I × D) ᎠŽéŽï àŽîáŽ, Žé Žîâöæ f ŽçéŽõëòæèâIJï
êŽàñéæ-ìâîëêæï (3.11) ìæîëIJŽï, éŽöæê (4.1) éæéáâãîëIJŽ çîâIJŽáæŽ [α, β] öñŽèâáäâ
(4.1), (4.2) ŽéëùŽêæï âîåâîåæ ŽéëýïêæïŽçâê ([α, β] æàæãâŽ, îŽù 4.1 åâëîâéŽöæ.
3) lim ρ(x(t), Γ) = 0,
t→β−
{ }
ïŽáŽù Γ Žîæï D Žîæï ïŽäôãŽîæ, ýëèë ρ(x, Γ) = inf ∥x−y∥, y ∈ Γ êâIJæïéæâîæ
x ∈ Rn -åãæï.
áŽéðçæùâIJŽ. Žé ìæîëIJâIJæáŽê âîå-âîåæï ïŽçéŽîæïëIJŽ ùýŽáæŽ. éŽîåèŽù, åñ
ïîñèáâIJŽ 1) ìæîëIJŽ éŽîþãêæã àŽàîúâèáâIJŽ ŽîŽéùåñ îëàëîù øãâêæ ŽéëùŽêæï
ŽéëýïêŽ, ŽîŽéâá îëàëîù ñûõãâðæ òñêóùæŽ, ýëèë åñ àãŽóãï 3) ãåóãŽå x àŽàî-
úâèâIJŽáæŽ éŽîþãêæã, éŽöæê éæïæ x ∗ àŽàîúâèâIJæï éêæöãêâèëIJŽ β ûâîðæèöæ ñêáŽ
éëýãáâï D Žîæï ïŽäôãŽîäâ x ∗ -æï ñûõãâðëIJæïŽï ᎠïŽäôãîæï øŽçâðæèëIJæï àŽéë.
âï çæ öâñúèâIJâèæŽ, îŽáàŽê fe òñêóùæŽ àŽêéŽîðâIJñèæ Žî àãŽóãï.
ŽýèŽ ãŽøãâêëå ŽñùæèâIJèëIJŽ. ŽéæïŽåãæï áŽãñöãŽå, îëé Žî ïîñèáâIJŽ 1)-3)
ᎠáŽãŽéðçæùëå, îëé éŽöæê x éŽîþãêæã àŽàîúâèâIJŽáæ àŽéëãŽ. îŽáàŽê 2) Žî
ïîñèáâIJŽ, lim inf ∥x(t)∥ < +∞, âï æéŽï êæöêŽãï, îëé ŽîïâIJëIJï ûâîðæèåŽ éæ-
t→β−
éáâãîëIJŽ tk → β− îëé ∥x(tk )∥ öâéëïŽäôãîñèæŽ. Žéæðëé ŽóâáŽê àŽéëæõëòŽ
çîâIJŽáæ óãâéæéáâãîëIJŽ x(βk ) → x ∗ ᎠîŽáàŽê 3) Žî ïîñèáâIJŽ, tk öâæúèâIJŽ æïâ
öâæîøâï, îëé x ∗ ∈ D. îŽáàŽê x ∗ ∈ D, ŽîïâIJëIJï r∗ > 0 æïâåæ, îëé
{ } { }
D∗ = x ∈ Rn , ∥x−x ∗ ∥ ≤ r∗ ⊂ D ≡ M = max ∥f (t, x)∥ : (t, x) ∈ [t0 , β]×D∗ .
îŽáàŽê ∥x(βk )∥ → x ∗ , öâàãæúèæŽ Žãæôëå æéáâêŽá áæáæ k0 , îëé
∗ r∗
x(βk0 ) − x < , (5.3)
2
r∗
M · (β − βk0 ) < . (5.4)
2
ãŽøãâêëå, îëé x(t) ∈ D∗ îëùŽ t ∈ [βk0 , β). éŽîåèŽù (5.3)-áŽê àŽéëéáæêŽîâëIJï,
îëé βk0 -ï ïŽçéŽëá éùæîâ éæáŽéëöæ ïîñèáâIJŽ ìæîëIJŽ ∥x − x ∗ ∥ < r∗ , Žêñ x(t) ∈
D∗ . åñ áŽãñöãâIJå, îëé x(t) ∈ D∗ ìæîëIJŽ Žî ïîñèáâIJŽ [βk0 , β)-öæ, æŽîïâIJâIJï
ûâîðæèæ β ∗ ∈ [βk0 , β) x(t) ∈ D∗ , t ∈ [βk0 , β ∗ ) áŽ
x(β ∗ ) − x ∗ = r∗ . (5.5)
ùýŽáæŽ, îëé
∗
∫β
x(β ∗ ) = x(βk0 ) + f (τ, x(τ )) dτ
βk0
áŽ
∗
∫β
x(β ∗ ) − x ∗ ≤ x(βk0 ) − x ∗ + f (τ, x(τ )) dτ <
βk0
∗
r r∗ r∗
< + M (β − βk0 ) < + = r∗
2 2 2
25
Ꭰ[tk , tk+1 ] öñŽèâáöæ ïŽáŽù tk+1 = tk + δk àŽêðëèâIJŽï àŽŽøêæŽ xk+1 (t) Žéë-
ýïêŽ Žïâå ïŽûõæï ìæîëIJâIJöæ x(tk ) = xk (tk ). îŽáàŽê δk < βk − tk àãŽóãï tk+1 =
tk + δk ≤ βk < sup I, Žïâ îëé äôãŽîæ lim tk = t∗ ∈ I. x òñêóùæŽ [t0 , t∗ ) öñ-
k→+∞
Žèâáöæ x(t) = xk (t) îëùŽ tk−1 ≤ t ≤ tk . ùýŽáæŽ, îëé x æóêâIJŽ (5.1), (5.2) Žéë-
ùŽêæï ŽéëýïêŽ [t0 , t∗ )-öæ. ãŽøãâêëå, îëéæàæ ŽîŽàŽàîúâèâIJŽáæŽ éŽîþãêæã. áŽãñ-
öãŽå ïŽûæꎎôéáâàæ. éŽöæê t∗ < sup I ᎠŽîïâIJëIJï äôãŽîæ lim x(t) = x ∗ ∈ D.
t→t∗ −
{3 } { }
∗
ýëèë r ≡ min ρ(x , Γ), 2 ᎠD∗ ≡ x : ∥x − x ∗ ∥ ≤ r∗ ⊂ D. ãŽøãâêëå,
∗
4
îëé, àŽîçãâñèæ ŽáàæèæáŽê áŽûõâIJñèæ õãâèæ Dk ⊂ D∗ .
{ }
Mk∗ ≡ max ∥f (t, x)∥ : (t, x) ∈ [tk , tk+1 ] × Dk ,
{ }
M ∗ = max ∥f (t, x)∥ : (t, x) ∈ [t0 , t∗ ] × D .
Dk ⊂ D-ï àŽéë àãŽóãï Mk∗ ≤ M ∗ . àŽîᎠŽéæïŽ, îŽáàŽê éŽêúæèæ x ∗ -áŽê D Žîæï
ïŽäôãîŽéáâ ŽáŽáâIJæåæŽ xk → x ∗ , Žáãæèæ áŽïŽêŽýæŽ, îëé rk > r0 , ïŽáŽù r0
îŽôŽù áŽáâIJæåæ îæùýãæŽ. ïŽIJëèëëá δk > η > 0, Žïâ îëé tk > t0 + kη → +∞.
éæãæôâå ïŽûæꎎôéáâàë ᎠåâëîâéŽ áŽéðçæùâIJñèæŽ.
27
ŽéàãŽîŽá ëîæãâ öâéåýãâãŽöæ ŽîïâIJëIJï b0 ∈ [a, b] æïâåæ, îëé u(t) > 0 îëùŽ
a < t < b. áŽãñöãŽå, îëé (6.5) ñðëèëIJŽ Žî Žîæï ïŽéŽîåèæŽêæ. éŽöæê äâéëå
öâêæöêñèæï úŽèæå ŽîïâIJëIJï æïâåæ t∗ ∈ (a, b) ûâîðæèæ, îëé u(t) > 0 îëùŽ
t ∈ (a, t∗ ) Ꭰu(t∗ ) = 0, Žêñ, x(t∗ ) = y(t∗ ). Žé öâéåýãâãŽöæ çæ
u′ (t∗ ) = f (t∗ , x(t∗ )) − y ′ (t∗ ) = f (t∗ , y(t∗ )) − y ′ (t∗ ) > 0.
çãèŽã (6.4)-æï àŽéë. âï çæ àãŽúèâãï ïŽûæꎎôéáâàëï, îŽáàŽê u′ (t) áŽáâIJæåæ
àŽéë㎠t∗ -ï éŽîùýâêŽ éæáŽéëöæ, â.æ. u Žó äîáŽáæ ñêᎠæõëï ᎠîŽáàŽê éŽîùýâêŽ
éæáŽéëöæ u áŽáâIJæåæŽ, t∗ -äâ æàæ êñèæï ðëèæ ãâî àŽýáâIJŽ.
28
åâëîâéŽ 7.1. (7.1), (7.2) ŽéëùŽêŽï àŽŽøêæŽ äâᎠŽéëêŽýïêæ a-ï ïŽçéŽîæïŽá
éùæîâ éŽîþãâêŽ éæáŽéëöæ.
{ áŽéðçæùâIJŽ. îŽáàŽê
} D ô掎 Ꭰx0 ∈ D, ŽîïâIJëIJï r0 > 0 æïâåæ, îëé D0 =
x : |x − x0 | ≤ r0 ⊂ D. Žãæôëå k ∈ N ᎠàŽêãæýæèëå àŽêðëèâIJŽ
dx 1
= + f (t, x). (7.4)
dt k
{ }
åñ ŽôãêæöêŽãå
{ M = 1 + max |f (t, x)|, (t, x) ∈ [a, b] × D , ïŽáŽù [a, b] ⊂ I áŽ
r0 }
0
åâëîâéŽ 7.2. ãåóãŽå (7.1), (7.2) ŽéëùŽêŽï àŽŽøêæŽ äâᎠŽéëýïêŽ x∗ àŽêïŽäôã-
îñèæ [a, b) ⊂ I-öæ, ýëèë y Žîæï ñûõãâðæ òñêóùæŽ, îëéâèæù [a, b]-ï D-öæ
àŽáŽïŽýŽãï, éŽöæê
y(a) ≤ x0 , y ′ (t) ≤ f (t, y(t)), t ∈ [a, b) (7.8)
ñðëèëIJâIJæáŽê àŽéëéáæêŽîâëIJï
y(t) ≤ x∗ (t), t ∈ [a, b). (7.9)
6.1 åâëîâéŽïåŽê öâáŽîâIJæå Žó (7.8)-öæ éçŽùîæ ñðëèëIJŽ öâæùãŽèŽ ŽîŽéçŽù-
îæå. Žéæðëé öâïŽIJŽéæïŽá åâëîâéæï áŽïçãêŽöæ êâIJæïéæâîæ ŽéëýïêŽ öâæùãèâIJŽ äâáŽ
Žéëýïêæå. Žó Žîù öâæúèâIJëᎠ(7.9) ñðëèëIJæï öâïîñèâIJæï éëåýëãêŽ êâIJæïéæâîæ
x ŽéëýïêæïŽåãæï, îŽáàŽê (7.1), (7.2) ŽéëùŽêæï Žéëýïêæï âîåŽáâîåëIJæï öâéåý-
ãâãŽöæ Žé ŽéëùŽêæï êâIJæïéæâîæ Ꭰçâîúëá äâᎠx∗ ŽéëýïêŽù ᎎçéŽõëòæèâIJáŽ
(7.8) ìæîëIJŽï ᎠåâëîâéŽ îëé êâIJæïéæâîæ x Žéëýïêæï öâéåýãâãŽöæ ïŽéŽîåèæŽêæ
õëòæèæõë éæãæôâIJáæå, îëé x∗ ≤ x, îŽù öâñúèâIJâèæŽ, îŽáàŽê âîåŽáâîåëIJæï
àŽéë æï öâæúèâIJŽ x∗ -àŽê àŽêïýãŽãâIJñèæ Žàãâôë.
áŽéðçæùâIJŽ. öâéëãæôëå òñêóùæŽ
{
f (t, x), x > y(t),
fe(t, x) =
f (t, y), x ≤ y(t).
ŽéîæàŽá fe âéåýãâ㎠x = y(t) ûæîæï äâãæå f -ï, ýëèë Žé ûæîæï óãâéëå æàæ
éñáéæãæŽ õëãâèæ t-åãæï x-æï éæéŽîå. Žáãæèæ áŽïŽêŽýæŽ, îëé fe òñêóùæŽ ñûõãâðæŽ
I × D-äâ. àŽêãæýæèëå Žïâåæ áæò. àŽêðëèâIJŽ
dx
= fe(t, x). (7.10)
dt
ãåóãŽå x Žîæï (7.10), (7.2) ŽéëùŽêæï îŽæéâ éŽîþãêæã ŽîŽàŽàîúâèâIJŽáæ ŽéëýïêŽ
ᎠãåóãŽå éæïæ àŽêïŽäôãîæï öñŽèâáæŽ [α, β]. ãŽøãâêëå, îëé
y(t) ≤ x(t), t ∈ [a, b) ∩ [a, β). (7.11)
áŽãñöãŽå ïŽûæꎎôéáâàë. éŽöæê ŽîïâIJëIJï êâIJæïéæâîæ t∗ ∈ [a, b) ∩ [a, β) æïâåæ,
îëé y(t∗ ) > x(t∗ ). îŽáàŽê (7.8)-æï àŽéë x(a) ≥ y(a), ŽóâáŽê àŽéëéáæêŽîâëIJï
æïâåæ t∗ ∈ [a, t∗ ) ûâîðæèæï ŽîïâIJëIJŽ, îëé
x(t∗ ) = y(t∗ ), x(t) < y(t) îëùŽ t ∈ (t∗ , t∗ ] (7.12)
(öâïŽúèâIJâèæŽ, îëé t∗ áŽâéåýãâï a-ï). Žôãêæöêëå u(t) = y(t) − x(t). éŽöæê fe-æï
àŽêéŽîðâIJæï Ꭰ(7.12) Ꭰ(7.8)-æï àŽéë àãŽóãï
u′ (t) = y ′ (t)−x′ (t) = y ′ (t)−fe(t, x(t)) = y ′ (t)−f (t, y(t)) ≤ 0 îëùŽ t ∈ [t∗ , t∗ ].
éâëîâï éýîæã, æïâã (7.12)-áŽê àãŽóãï, îëé u(t∗ ) = 0 Ꭰu(t) > 0 îëùŽ t ∈ [t∗ , t∗ ]
îŽù âûæꎎôéáâàâIJŽ (7.12)-ï. éæôâIJñèæ ûæꎎôéáâàëIJŽ ŽéðçæùâIJï (7.11)-ï.
31
8. æêðâàîŽèñîæ ñðëèëIJâIJæ
ñðëèëIJæáŽê àŽéëéáæêŽîâëIJï
[ ∫t ] ∫x
dρ
y(t) ≤ Φ−1 φ(τ ) dτ , t ∈ [a, b), ïŽáŽù Φ(x) = , x ∈ [0, +∞).
w(ρ)
a x0
Žïâ îëé Žé öâéåýãâãŽöæ ρ êñèæ àŽýáâIJŽ a-äâ). éŽöæê ρ æóêâIJŽ (8.13)-æï ŽéëýïêŽ
àŽêïŽäôãîñè [a, b0 ] Žîâöæ, îëéâèæù ŽçéŽõëòæèâIJï ìæîëIJŽï
0 ≤ ρ(t) ≤ u(t), a ≤ t ≤ b0 (8.19)
ýëèë åñ t∗ > a, éŽöæê ρ àŽãŽàîúâèëå t∗ -æï éŽîùýêæã îëàëîù æàæãñîŽá êñèæ
ᎠîŽáàŽê (8.13)-åãæï æàæãñîŽá êñèæ ŽéëýïêŽï ûŽîéëŽáàâêï, Žïâ àŽàîúâèâIJñèæ
ŽéëýïêŽ çãèŽã æóêâIJŽ (8.13)-æï ŽéëýïêŽ, îëéâèæù (8.19) ìæîëIJŽï ŽçéŽõëòæèâIJï.
ãŽøãâêëå, îëé ρ ŽçéŽõëòæèâIJï (8.14) ìæîëIJŽï (8.19)-æï àŽéë. ŽéæïŽåãæï ïŽçéŽ-
u(t)
îæïæŽ ãŽøãâêëå, îëé lim = 0. åñ àŽãæýïâêâIJå îŽï ŽôêæöêŽãï u, Žé ñçŽêŽïç-
t→a+ t − a
êâèæ áŽéëçæáâIJñèâIJæï áŽïŽéðçæùâIJèŽá ïŽçéŽîæïæŽ ãŽøãâêëå, îëé
1 [ ]
lim x(t) − y(t) = 0.
t→a+ t − a
sup I Žê inf I0 > inf I. äëàŽáëIJæï öâñäôñáŽãŽá ãæàñèæïýéëå, îëé sup I0 <
sup I. éâëîâ öâéåýãâ㎠ŽêŽèëàæñîŽá àŽêæýæèâIJŽ. Žôãêæöêëå t∗ = sup I0 .
[t0 , t∗ ) öñŽèâáöæ àãŽóãï ðëèëIJŽ
∫t
x(t) = x0 + f (τ, x(τ )) dτ, t ∈ [t0 , t∗ ),
t0
åñ (9.3)-ï àŽéëãæõâêâIJå,
∫t
( )
x(t) ≤ x0 + g(τ ) ω ∥x(τ )∥ dτ. (9.5)
t0
îŽáàŽê ω ŽîŽçèâIJŽáæŽ, îëàëîù 8.1 åâëîâéæáŽê øŽêï, ∥x(t)∥ Žî ŽôâéŽðâIJŽ
dρ
= g(t) ω(ρ), ρ(t0 ) = ∥x0 ∥ (9.6)
dt
ŽéëùŽêæï äâᎠŽéëýïêŽï. âï Žîæï àŽêðëèâIJŽ àŽêùŽèâIJŽáæ ùãèŽáâIJæå Ꭰîëàë-
îù èâóùæŽ 21-äâ ãêŽýâå, Žé ŽéëùŽêæï âîåŽáâîåæ, â.æ. äâᎠŽéëýïêŽù éëæùâéŽ
òëîéñèæå
[ ∫t ]
ρ∗ (t) = Φ−1 g(τ ) dτ , t ∈ [t0 , t∗ ),
t0
ïŽáŽù
∫x
ds
Φ(x) = , x ∈ [0, +∞).
ω(s)
∥x0 ∥
öâãêæöêëå, îëé Žó øãâê ãæïŽîàâIJèâå (9.4)-æå. éŽîåèŽù, Žé ìæîëIJæï úŽèæå
−1
Φ -æï àŽêïŽäôãîæï Žîâ æóêâIJŽ [A, +∞), ïŽáŽù A = Φ(0) ≤ 0, Žïâ, îëé àŽîŽê-
∫t
ðæîâIJñèæ ãŽîå, îëé gτ ) dτ îëùŽ t ∈ [t0 , t∗ ), éëýãáâIJŽ Φ−1 -æï àŽêïŽäôãîæï
t0
Žîâöæ.
8.1 åâëîâéæï úŽèæå àãŽóãï, îëé ∥x(t)∥ ≤ ρ∗ (t) îëùŽ t ∈ [t0 , t∗ ). ŽóâáŽê åñ
àŽãæåãŽèæïûæêâIJå, îëé ρ∗ ñûõãâðæŽ [t0 , t∗ )-äâ, éæãæôâIJå
lim∗ ∥x(t)∥ ≤ ρ∗ (t∗ ) < +∞. (9.7)
t→t
éŽàîŽé éâëîâï éýîæã, 5.1 åâëîâéæï ìæîëIJâIJæáŽê x-åãæï ìæîãâèæ ᎠéâïŽéâ Žî
ïîñèáâIJŽ. Žéæðëé Žé åâëîâéæï úŽèæå ñêᎠàãóëêáâï lim∗ ∥x(t)∥ = +∞, îŽù
t→t
âûæꎎôéáâàâIJŽ (9.7)-ï. áŽéðçæùâIJŽ áŽéåŽãîáŽ.
ûîòæãæ ïæïðâéæï {öâéåýãâãŽöæ }f (t, x) = A(t) x + b(t), Žïâ îëé, åñ Žôãêæ-
öêŽãå g(t) = max ∥A(t)∥, b(t) , ùýŽáæŽ àãâóêâIJŽ ∥f (t, x)∥ ≤ g(t)(1 + ∥x∥).
Žó ω(s) = 1 + ρ, Žïâ îëé ûîòæãæ ïæïðâéæïŽåãæï øãâêåãæï çŽîàŽá ùêëIJæèæ òŽóðæ
Žé åâëîâéæáŽê ðîæãæŽèñîŽá àŽéëéáæêŽîâëIJï. àŽîᎠŽéæïŽ öâãêæöêëå, îëé åñ
38
Žó øãâê öâãêæöêŽãå éýëèëá, îëé (9.8) ŽéëùŽêæï öâïŽýâIJ éëùâéñèæ ìæîëIJŽ àŽéë-
æõâêâIJŽ sup I0 < sup I öâéåýãâãæïåãæï (æý. åâëîâéŽ 9.1), ýëèë (9.9) ŽéëùŽêæï
öâïŽýâIJ éëùâéñèæ ìæîëIJŽ çæ inf I0 > inf I öâéåýãâãæïŽãæï.
åæåëâñèæ xki ñûõãâðŽá àŽãŽàîúâèëå [ai , bi ]-æï àŽîâå I0 -öæ, æïâ îëé áŽêŽî-
øâê öñŽèâáâIJöæ éñáéæãæ æõëï. (10.10) ùýŽáæŽ, îëé {xki } éæéáâãîëIJŽ æóêâIJŽ âî-
åëIJèæã öâéëïŽäôãîñèæ I0 -äâ. ãŽøãâêëå, îëé âï éæéáâãîëIJŽ Žîæï âîåëIJèæã
ñûõãâðæù I0 -äâ. Žôãêæöêëå
{ }
M = max ∥f (t, x)∥ x ∈ Dt , t ∈ I0 .
(10.5)-æï àŽéë äëàŽáëIJæï öâñäôñáŽãŽá öâæúèâIJŽ ãæàñèæïýéëå, îëé
f (t, x) − f ki (t, x) < 1, îëùŽ (t, x) ∈ I × D. (10.12)
éŽöæê (10.10), (10.12)-áŽê ᎠæóæáŽê îëé ε < r0 , àãŽóãï
f ki (t, xki (t)) ≤ f ki (t, xki (t)) − f (t, xki (t)) + f ki (t)) ≤ M + 1
îëùŽ tki ∈ [ai , bi ], i = 1, 2, . . . .
Žéæðëé
x′ki (t) < M + 1 îëùŽ tki ∈ [ai , bi ]
(IJëèëâIJäâ æàñèæïýéâIJŽ ùŽèéýîæãæ ûŽîéëâIJñèâIJæ). îŽáàŽê [ai , bi ]-æï àŽîâå xki
éñáéæãæŽ, ŽóâáŽê ùýŽáæŽ {xki } éæéáâãîëIJæï âîåëIJèæã ñûõãâðëIJŽ.
Žéæðëé ŽîùëèŽ-Žïçëèæï èâéæï úŽèæå, äëàŽáëIJæï öâñäôñáŽãŽá öâàãæúèæŽ
ãæàñèæïýéëå, îëé {xki } åŽêŽIJîŽá çîâIJŽáæŽ I0 -öæ. Žïâãâ äëàŽáëIJæï öâñäôñ-
áŽãŽá öâàãæúèæŽ ãæàñèæïýéëå, îëé ai Ꭰbi -âIJæù çîŽIJŽáæŽ (îŽáàŽê æïæêæ öâéë-
ïŽäôãîñèæŽ). Žôãêæöêëå lim xki (t) = x0 (t), t ∈ I0 , lim ai = a0 , lim bi = b0 .
i→+∞ i→∞ i→∞
åñ áŽãñöãâIJå, îëé a0 = b0 , éŽöæê ùýŽáæŽ a0 = t0 = b0 ᎠàãâóêâIJëáŽ, îëé
lim xki (ai ) = lim xki (bi ) = x0 = x(t0 )
i→+∞ i→+∞
åŽêŽIJîŽá çîâIJŽáëIJæï àŽéë ŽóâáŽê øŽêï, îëé x0 öâäôñá㎠(a0 , b0 )-äâ ûŽîéë-
Žáàâêï (10.1), (10.2) ŽéëùŽêæï ŽéëýïêŽï. éŽàîŽé ìæîëIJæŽ úŽèæå Žé ŽéëùŽêŽï
âîåŽáâîåæ ŽéëýïêŽ Žóãï. Žéæðëé
x0 (t) = x(t) îëùŽ t ∈ [a0 , b0 ].
41
dx
= f (t, x, µ), (11.1)
dt
x(t0 ) = x0 . (11.2)
t x + (1 − t)y ∈ Gk .
42
Žêñ åñ ŽôãêæöêŽãå
lk (x1 , . . . , xm1 ; y1 , . . . , ym1 ; z1 , . . . , zm2 ) =
∫1
∂φ [ ]
= tx1 + (1 − t)y1 , . . . , txm1 +(1 − t)ym1 ; z1 , . . . , zm1 dt
∂xk
0
éæãæôâIJå ïûëîâá (11.3)-ï. îŽáàŽê φ-ï Žóãï ñûõãâðæ çâîúë ûŽîéëâIJñèâIJæ p îæ-
àŽéáâ øŽåãèæå ìæîãâèæ m1 Žîàñéâêðæï éæéŽîå, ùýŽáæŽ, îëé lk -ï âóêâIJŽ ñûõãâ-
ðæ çâîúë ûŽîéëâIJñèâIJæ p îæàŽéáâ øŽåãèæå ïŽçéŽîæïæŽ àŽãæýïâêëå ìŽîŽéâðîäâ
áŽéëçæáâIJñèæ æêðâàîŽèæï ìŽîŽéâðîæå àŽûŽîéëâIJŽ.
öâêæöãêŽ. (11.13) ûŽîéëáàâêæáŽê ùýŽáæŽ, îëé
φ(x1 , . . . , xk , . . . , xm1 ; z1 , . . . , zm2 ) − φ(x1 , . . . , yk , . . . xm1 ; z1 , . . . , zm2 ) =
= lk (x1 + . . . , xm1 ; y1 , . . . yk , . . . , xm1 ; zk , . . . , zm1 (xk − yk ).
åñ Žé ðëèëIJæï ëîæãâ éýŽîâï àŽãõëòå (xk − yk )-äâ ᎠàŽáŽãŽèå äôãŽîäâ,
îëùŽ yk → xk , éæãæôâIJå
∂φ(x1 , . . . , xm1 , z1 , . . . , zm2 )
lk (x1 , . . . , xm ; x1 , . . . , xm1 , z1 , . . . , zm2 ) = .
∂xk
ŽáŽéŽîæï èâéŽ öâæúèâIJŽ àŽêäëàŽááâï æé öâéåýãâãŽöæ, îëùŽ àãŽóãï ŽîŽ éŽæêáŽ-
éŽæêù êŽéáãæèæ òñêóùæŽ, ŽîŽéâá ŽïŽý㎠êâIJæïéæâî àŽêäëéæèâIJæïê âãçèæáâï ïæ-
ãîùâöæ ᎠŽóâáŽê çæ èâéŽ éææôâIJŽ îëàëîù çâîúë öâéåýãâãŽ. åñ ŽáŽéŽîæï èâ-
éŽï ᎠöâêæöãêŽï àŽãæåãŽèæïûæêâIJå, ŽáãæèŽá áŽãîûéñêáâIJæå öâéáâàæ öâáâàæï
ïŽéŽîåèæŽêëIJŽöæ (øãâê Žó àŽáŽãŽèå ñòîë éëýâîýâIJñè ãâóðëîñè-éŽðîæùñè
øŽûâîŽäâ).
éŽàîŽé, îëàëîù ñçãâ ãæùæå ûîòæã ïæïðâéŽåŽ åâëîææáŽê (11.9), (30.10) Žéë-
ùŽêŽï àŽŽøêæŽ âîåŽáâîåæ ŽéëýïêŽ, àŽêïŽäôãîñèæ [a, b]-öæ
∆x(t, ∆µ)
y(t, ∆µ) = , ïŽáŽù ∆µ ̸= 0.
∆µ
éŽàîŽé, àŽêïýãŽãâIJæå Žé ðëèëIJæï éŽîþãâêŽ éýŽîæïŽ, Žé ðëèëIJæï éŽîùýâêŽ éýŽ-
îâï Žäîæ Žóãï éŽöæêŽù, îëùŽ ∆µ = 0, îŽáàŽê (11.9) ïæïðâéŽ Žé öâéåýãâãŽöæù
àŽêïŽäôãîñèæŽ, éâëîâï éýîæã, ûîòæãæ ïæïðâéâIJæïŽåãæï çëöæï ŽéëùŽêæï çëîâó-
ðñèëIJæáŽê, æïâãâ îëàëîù äâãæå, ùýŽáæŽ, îëé y Žîæï ñûõãâðæ ŽïŽý㎠[a, b] ×
H0 → R. éŽöŽïŽáŽéâ,
∆x(t, ∆µ)
lim = y(t, 0)
∆µ→0 ∆µ
åŽêŽIJîŽá t-ï éæéŽîå. Žéæå ûŽîéëâIJŽáëIJŽ µ ìŽîŽéâðîæï éæéŽîå áŽéðçæùâIJñèæŽ.
∂x(t, µ)
ŽéîæàŽá k Žîæï öâéáâàæ àŽêðëèâIJæï ŽéëýïêŽ
∂µ
∂y ∗
= L∗ (t, 0)y + l (t, 0) (11.11)
∂t
ïŽûõæï ìæîëIJâIJöæ
y(t0 ) = o. (11.12)
∗
éŽàîŽé, îëàëîù L∗ Ꭰl -æï àŽêéŽîðâIJæáŽê øŽêï, L∗ (t, 0) = L(t, x(t, µ), x(t, µ), µ),
∗
ýëèë l (t, 0) = l(t, x(t, µ)µ, µ). 11.2 öâáâàæï åŽêŽýéŽá àãŽóãï
∂f (t, x, µ)
L(t, x, x, µ) =
∂x
ýëèë
∂f (t, x, µ)
l(t, x, µ, µ) = .
∂x
Žïâ, îëé (11.11) àŽêðëèâIJŽ Žïâ öâæúèâIJŽ àŽáŽæûâîëï
∂y ∂f (t, x(t, µ), µ) ∂f (t, x(t, µ), µ)
= y+ . (11.13)
∂t ∂x ∂µ
∂x(t, µ)
ŽéîæàŽá ûŽîéëŽáàâêï (11.13), (11.12) ŽéëùŽêæï ŽéëýïêŽï. îŽáàŽê x(t, µ)
∂µ
åãæåëê ñûõãâðæŽ, (11.13) àŽêðëèâIJæï çëâòæùæâêðâIJæù ñûõãâðæ æóêâIJŽ, Žïâ îëé
∂x(t, µ)
éæïæ y(t, µ) = ŽéëýïêŽù ñûõãâðæ æóêâIJŽ. â.æ. x ñûõãâðŽá ûŽîéëâIJŽáæŽ µ
∂µ
ìŽîŽéâðîæï éæéŽîå.
ŽéîæàŽá øãâê åâëîâéŽ áŽãŽéðçæùâå, îëùŽ p = 1. êâIJæïéæâîæ p-åãæï åâëîâéŽ
áŽéðçæùáâIJŽ æêáñóùææå. éŽîåèŽù, ãåóãŽå áŽéðçæùâIJñèæŽ (p − 1)-åãæï. éŽöæê
∂x
-åãæï çãèŽã ïŽéŽîåèæŽêæŽ (11.13) ûŽîéëáàâêŽ. îëàëîù Žáãæèæ éæïŽýãâá-
∂µ
îæŽ, Žé àŽêðëèâIJæï éŽîþãâêŽ éýŽîâï y Ꭰµ-ï éæéŽîå àŽŽøêæŽ p − 1 îæàŽéáâ
46
àŽêãæýæèëå ŽéëùŽêŽ
dx
= f (t, x), (12.1)
dt
x(t0 ) = c0 , (12.2)
ïŽáŽù ãàñèæïýéëIJå, îëé f Žîæï ñûõãâðæ ŽïŽý㎠[t0 , +∞) × D → Rn , D ⊂ Rn
ŽîâŽ, c0 ∈ D.
Žôãêæöêëå, îëé Žó éåŽãŽîæŽ ŽîŽ æï, îëé éŽîþãâêŽ äëèæ Žîæï +∞, ŽîŽéâá
æï, îëé f -åãæï åŽãæï àŽêïŽäôãîæï Žîæï öñŽèâáæï âîåâîå IJëèëäâ àŽŽøêæŽ
àŽêïŽçñåîâIJñèëIJŽ áŽéëñçæáâIJâèæ ùãèŽáæï éæéŽîå, â.æ. ñûõãâðëIJŽ æîôãâãŽ.
âï àŽêïŽçñåîâIJñèëIJŽ çæ ùãèŽáæï àŽîáŽóéêæå öâàãæúèæŽ +∞-öæ àŽáŽãæðŽêëå.
ïýãŽêŽæîŽá îëé ãåóãŽå, èæŽìñêëãæï åâëîæŽ éáàîŽáëIJæï öâïŽýâIJ âï Žîæï çëöæï
ŽéëùŽêæï çëîâóðñèëIJŽ æé öâéåýãâãæïŽðãæï, îëùŽ öñŽèâáæï âîåâîå IJëèëöæ
f -ï Žóãï àŽêïŽçñåîâIJñèëIJŽ t-ï éæéŽîå.
åâëîâéŽ 13.1. ãåóãŽå P ∈ Cn×n (I). éŽöæê æéæïŽåãæï, îëé (13.1), (13.2)
ŽéëùŽêŽ ùŽèïŽýŽá ŽéëýïêŽáæ æõëï êâIJæïéæâîæ q ∈ Cn (I) Ꭰr ∈ Rn -åãæï Žñùæ-
èâIJâèæ ᎠïŽçéŽîæïæŽ, îëé
dx
= P(t) x, (10 )
dt
l(x) = 0 (20 )
âîåàãŽîëãŽê ŽéëùŽêŽï ßóëêáâï éýëèëá ðîæãæŽèñîæ ŽéëýïêŽ.
áŽéýéŽîâ èæðâîŽðñîŽ
1. Ô. Õàðòìàí, Îáûêíîâåííûå äèôôåðåíöèàëüíûå óðàâíåíèÿ, Èçä. Ìèð,
Ìîñêâà, 1970.