Documente Academic
Documente Profesional
Documente Cultură
Prima întrebare care se pune este aceea de a găsi condiţii în care problema
Cauchy (12.1.1), (12.1.2) are soluţii şi în speţă când soluţia este unică.
TEOREMA 12.1.1 (teorema de existenţă şi unicitate a soluţiei problemei
Cauchy, teorema lui Cauchy sau teorema Cauchy–Kovalevskaia). Fie
f : I G R R n continuă şi local lipschitz-iană. În aceste condiţii, pentru
orice t0 I şi x0 G , fixate, există o vecinătate
I 0 J 0 G 0 V R n 2 t 0 , t 0 , x 0 (adică o vecinătate în R n 2 pentru t 0 , t 0 , x 0 )
cu proprietatea că I 0 J 0 G 0 I I G şi există şi este unică o funcţie
α C 0 I 0 J 0 G 0 cu proprietăţile
dα t , , ξ 0
f t , α t , , ξ 0 (12.1.5)
dt
pentru orice t I 0 şi
α, , ξ 0 ξ 0 (12.1.6)
B x 0 , b x G x x 0 Rn
b . (12.1.7)
M sup f t , x (12.1.9)
I a B x 0 ,b
şi
f t , x M (12.1.10)
pentru orice t , x I a B x 0 , b .
Vom defini acum mulţimea
M : I a1 I a1 B x 0 , b1 B x 0 , b1 con tinuă , (12.1.11)
ψ u
sup ψ t , t , x , (12.1.12)
D
în care D I a1 I a1 B x 0 , b1 .
Mai definim
d ψ 1 , ψ 2 ψ 1 ψ 2 u
; d : M M R. (12.1.13)
Pas 2: M , d este un spaţiu metric complet, adică orice şir Cauchy este
convergent.
Fie ψ k k 0 un şir Cauchy din M , adică pentru orice 0 , există
k N astfel încât pentru orice k k să avem ψ k ψ k 1 u
. Acest
lucru se poate scrie echivalent ca
ψ k 1 t , , ξ 0 ψ k t , , ξ 0 (12.1.14)
ψ t j , j , ξ 0j ψ t , , ξ 0
Rn
ψ t j , j , ξ 0j ψ k t j , j , ξ 0j
ψ k t j , j , ξ 0j ψ k t , , ξ 0 ψ k t , , ξ 0 ψ t , , ξ 0
Rn
ψ t j , j , ξ 0j ψ k t j , j , ξ 0j Rn
(12.1.16)
ψ k t j , j , ξ 0j ψ k t , , ξ 0
Rn
ψ k t , , ξ 0 ψ t , , ξ 0 .
Rn
pentru orice k k 2
ψ k t , , ξ 0 ψ k t , , ξ 0 R n (12.1.18)
3
şi pentru orice t j , j , ξ 0j , cu
t j,
j , ξ 0j t , , ξ 0 , (12.1.19)
să rezulte
ψ k t j , j , ξ 0j ψ k t , , ξ 0
Rn
3
. (12.1.20)
dz
f t , z δt ; z 0 z 0 x 0 ε 0 (12.1.34)
dt
admite o soluţie unică z z t pentru orice ε 0 cu ε 0 şi δt ;
iii) există o constantă K 0 astfel încât
z t xt K (12.1.35)
pentru orice t I .
DEFINIŢIA 12.1.2. Problema Cauchy (12.1.34) poartă numele de problema
perturbată asociată problemei Cauchy (12.1.1), (12.1.2).
COROLAR 12.1.1. În condiţiile teoremei Cauchy–Kovalevskaia, problema
Cauchy (12.1.1), (12.1.2) este o problemă bine pusă.
Demonstraţie: Corolarul este evident considerând , ε 0 astfel încât să nu se
părăsească domeniul I G .
Constanta K din punctul iii) al definiţiei 12.1.1 este o consecinţă a
exprimării soluţiei sub forma (12.1.31).
Dacă se renunţă la condiţia de lipschitz-ialitate în teorema Cauchy–
Kovalevskaia, atunci se poate demonstra doar existenţa soluţiei problemei Cauchy.
TEOREMA 12.1.2 (teorema de existenţă a soluţiei problemei Cauchy sau
teorema lui Peano). Fie f : I G R R n R continuă pe I G . În aceste
condiţii, pentru orice t 0 , x 0 I G există o soluţie a problemei Cauchy ataşate
(12.1.1), (12.1.2).
Demonstraţia acestei teoreme necesită un aparat matematic care depăşeşte
cadrul analizei obişnuite, astfel încât nu o prezentăm aici.
Observaţia 12.1.1. i) Teoremele Cauchy–Kovalevskaia, respectiv Peano,
asigură existenţa şi unicitatea, respectiv numai existenţa soluţiei problemei Cauchy
pe o vecinătate a condiţiilor iniţiale. În general, soluţia se poate extinde fără
probleme pe intervale suficient de mari, fără a fi o regulă în acest sens.
ii) Dacă se consideră ecuaţia diferenţială ordinară
dn y dy d 2 y d n -1 y
f
t , y , , , , , (12.1.36)
dt n dt dt 2 dt n 1
cu condiţiile
n 1
dy
y 0 y 0 ; 0 y 0 ; …; d n 1y 0 y 0n 1 , (12.1.37)
dt dt
atunci folosind notaţiile
dy d n 1 y
x1 y ; x 2 ; …; x n n 1 , (12.1.38)
dt dt
362 METODE NUMERICE
se obţine sistemul
dx 2 dx dx
x1 ; 3 x 2 ; …; n 1 x n 2 ;
dt dt dt
(12.1.39)
dx n
f t , x1 , x 2 , , x n
dt
ale cărui condiţii iniţiale sunt
x1 0 x10 y 0 ; x 2 0 x 20 y 0 ; …; x n 0 x n0 y 0n 1 . (12.1.40)
Rezultă astfel că ecuaţia (12.1.36) nu este un caz special ci poate fi
considerată în cadrul problemei Cauchy generale (12.1.1), (12.1.2).
iii) Teoremele Cauchy–Kovalevskaia şi Peano dau condiţii suficiente de
existenţă şi unicitate, respectiv de existenţă, a soluţiei problemei Cauchy (12.1.1).
Nu înseamnă deci că dacă ipotezele acestor teoreme nu sunt satisfăcute, problema
Cauchy nu are soluţie sau nu are soluţie unică.
Să considerăm spre exemplu problema căderii unei mingi pe suprafaţa
Pământului, coeficientul de restituire dintre minge şi Pământ fiind k . Problema
mecanică este simplă şi dacă notăm cu h0 înălţimea iniţială la care se găseşte
mingea, ea va lovi Pământul cu viteza v 0 2gh0 şi după ciocnire va avea viteza
v v1 kv0 (fig.12.1.1).
v12
Noua înălţime la care se ridică mingea este h1 kh0 şi procesul
2g
poate continua, mingea sărind din ce în ce mai puţin.
h0 x
h1 V0' =V1
V0
x g . (12.1.41)
Inconvenientele apar la ciocnirea între minge şi Pământ când vectorul viteză
prezintă discontinuităţi, atât ca mărime, cât şi ca sens. Evident nici una dintre
teoremele precedente nu poate fi aplicată deşi problema are soluţie unică.
iv) Aşa cum am văzut, se pot aplica teoremele Cauchy–Kovalevskaia sau
Peano pe anumite subintervale (timpul cât mingea este în aer), soluţia fiind
obţinută pe porţiuni.
dxt i h 2 d 2 x i
xt i 1 xt i h xt i h , (12.2.3)
dt 2 dt 2
unde i t i , t i 1 . Relaţia (12.2.3) poate fi scrisă pentru toţi i 0, 1, , N 1 .
Scriind relaţia (12.2.1) pentru t t i ,
dxt i
f t i , xt i , (12.2.4)
dt
şi înlocuind expresia (12.2.4) în (12.2.3), se obţine
h 2 d 2 x i
xt i 1 xt i h xt i hf t i , xt i . (12.2.5)
2 dt 2
Rezultă ecuaţiile
xt i 1 xt i h d 2 x i
f t i , xt i . (12.2.6)
h 2 dt 2
364 METODE NUMERICE
Deoarece x este de clasă C 2 pe intervalul t 0 , t f , se deduce că, pentru h
h d 2 x i
mic, expresia este suficient de mică pentru a fi neglijată în relaţia
2 dt 2
(12.2.6) şi obţinem
xt i 1 xt i
f t i , xt i . (12.2.7)
h
Notând
w0 xt 0 ; wi 1 wi hf t i , wi , (12.2.8)
rezultă că
wi xt i (12.2.9)
pentru toţi i 0, 1, , N .
DEFINIŢIA 12.2.1. Expresia (12.2.8) poartă numele de ecuaţia cu diferenţe
asociate metodei Euler.
Observaţia 12.2.1. Metoda Euler se generalizează uşor în cazul n -
dimensional, rezultând următorul algoritm
– se dau N , t 0 , t f , xt 0 x 0 , w 0 x 0 ;
t f t0
– se calculează h ;
N
– pentru i de la 1 la N execută
– se calculează t i t 0 ih ;
– se calculează w i w i 1 hf t i 1 , w i 1 .
EXEMPLUL 12.2.1. Fie problema Cauchy
dx
x t 2 ; x0 0 ; t 0, 1 . (a)
dt
Să se aproximeze soluţia acestei probleme,
xt e t t 1 , (b)
prin metoda Euler cu pasul h 0, 1 .
Soluţie: Vom construi tabelul de valori.
a i 1 1 m a i n ; i 0, k 1 , (12.2.15)
atunci
n n
a i 1 e i 1m a 0 ; i 0, k 1 . (12.2.16)
m m
366 METODE NUMERICE
1 me im n n
a0
n n
e i 1m a 0 , (12.2.22)
m m m m
adică 1 m e m , evident adevărată.
Lema este complet demonstrată.
TEOREMA 12.2.1 (determinarea erorii în metoda Euler). Fie xt soluţia
unică a problemei Cauchy (12.2.1) şi wi , i 0, N , aproximaţiile valorilor
soluţiei obţinute prin metoda Euler pentru un anume N 0 , N N . Dacă x
este definită pe o mulţime convexă D şi este lipschitz-iană pe D , de constantă
L , şi există M R , M 0 astfel încât
d2x
dt 2
M ; t t 0 , t f , (12.2.23)
atunci
xt i wi
2L
e
hM L ti t0
1 (12.2.24)
pentru i 0, N .
INTEGRAREA ECUAŢIILOR ŞI SISTEMELOR DE ECUAŢII DIFERENŢIALE 367
ORDINARE
Demonstraţie: Pentru i 0 se obţine
0 xt 0 w0 e 1 0
hM L0
(12.2.25)
2L
şi teorema este adevărată.
Pe de altă parte,
h 2 d 2 xt i i h
xt i 1 xt i hf t i , xt i , (12.2.26)
2 dt 2
unde i 0, 1 , i 0, N 1 şi
wi 1 wi hf t i , wi ; i 0, N 1 . (12.2.27)
Rezultă succesiv
xt i 1 wi 1 xt i wi hf t i , xt i hf t i , wi
h 2 d 2 xt i i h
xt i wi h f t i , xt i f t i , wi
2 dt 2 (12.2.28)
h 2 d 2 xt i i h h2M
x t i wi 1 hL .
2 dt 2 2
Aplicând acum lema 12.2.2 cu a j x t j w j , j 0, N , m hL ,
h2M
n , expresia (12.2.28) ne conduce la
2
hM hM
xt i 1 wi 1 e i 1hL xt 0 w0 . (12.2.29)
2L 2L
Ţinând seama că xt 0 w0 x 0 şi i 1h ti 1 t0 , relaţia (12.2.29) ne
oferă tocmai expresia (12.2.24) ce trebuia demonstrată.
Observaţia 12.2.2. Relaţia (12.2.24) ne arată că marginea erorii depinde liniar
de mărimea pasului de divizare h . În concluzie, o aproximare mai bună a soluţiei
se obţine prin micşorarea pasului de divizare.
EXEMPLUL 12.2.2. Fie problema Cauchy
dx
x 2 ; x1 1 ; t 1, 2 (a)
dt
a cărei soluţie este
1
xt . (b)
t
368 METODE NUMERICE
dxt i h 2 d 2 xt i
xt i 1 xt i h
dt 2 dt 2
(12.3.2)
h n d n xt i h n 1 d n 1 x i
,
n! dt n n 1! dt n
în care i este un punct intermediar între ti şi t i 1 , i t i , t i 1 , ti sunt nodurile
t t0
diviziunii echidistante a intervalului t 0 , t f , h este pasul diviziunii, h f
N
,
w0 xt 0 x 0 ; wi 1 wi hT n t i , wi ; i 0, N 1 , (12.3.8)
unde
h h n 1 n 1
T n t i , wi f t i , wi
f t i , wi f t i , wi . (12.3.9)
2 n!
DEFINIŢIA 12.3.1. Relaţia (12.3.8) poartă numele de ecuaţia cu diferenţe
asociată metodei Taylor de ordinul n .
Observaţia 12.3.1. Metoda Euler este de fapt metoda Taylor de ordinul întâi.
EXEMPLUL 12.3.1. Se consideră problema Cauchy
dx
x 2t 2 ; x0 1 ; t 0, 1 (a)
dt
a cărei soluţie este
xt e t 2t . (b)
Să se determine soluţia aproximativă a problemei Cauchy (a), utilizând
metodele Taylor de ordinele 1, 2, 3 şi 4 cu pasul h 0,1 .
Soluţie: Avem succesiv
f t , x x 2t 2 , (c)
d
f t , x x 2t 2 dx 2 x 2t , (d)
dt dt
dx
f t , x 2 x 2t 2 2 x 2t , (e)
dt
dx
f t , x 2 x 2t 2 2 x 2t , (f)
dt
astfel încât
T 1 t i , wi f t i , wi wi 2t i 2 , (g)
h
T 2 t i , wi f t i , wi
f t i , wi
2
(h)
h h
wi 2t i 2 wi 2t i wi 2t i 1 2 ,
2 2
h h2
T 3 t i , wi f t i , wi
f t i , wi f t i , wi
2 6
h h2
wi 2t i 2 wi 2t i wi 2t i (i)
2 6
h h2
wi 2t i 1 2,
2 6
372 METODE NUMERICE
h
T 4 t i , wi f t i , wi f t i , wi
2
h2 h3
f t i , wi f t i , wi wi 2t i 2
6 24
h h2 3 (j)
wi 2t i wi 2t i h wi 2t i
2 6 24
h h 2
h3
wi 2t i 1 2.
2 6 24
Rezultatele sunt trecute în tabelul următor.
f t , xt
df
t , xt f t , xt f t , xt x t , (12.4.1)
dt t x
unde
x t f t , xt (12.4.2)
şi de aici rezultă
h t
t , xt h t t , xt f t , xt . (12.4.3)
T 2 t , xt f t , xt
2 x 2 x
Dezvoltând în serie Taylor pe c1 f t 1 , x 1 în jurul lui t, x , vom
obţine
374 METODE NUMERICE
c1 f t 1 , x 1
f
t , x c11 f t , x c1 R2 t 1 , x 1 ,
(12.4.4)
c1 f t , x c1 1
t t
în care restul R 2 t 1 , x 1 se scrie
12 2 f 12 2 f
R 2 t 1 , x 1 , 1 1 , , . (12.4.5)
2 t 2 2 x 2
Prin identificarea coeficienţilor lui f şi ai derivatelor sale în formulele
(12.4.3) şi (12.4.4), se găseşte sistemul
h h
c1 1 ; c1 1 ; c11 f t , x (12.4.6)
2 2
a cărei soluţie este
h h
c1 1 ; 1 ; 1 f t , x . (12.4.7)
2 2
Rezultă deci
h h h h
T 2 t , x f t , x f t , x R 2 t , x f t , x , (12.4.8)
2 2 2 2
unde
h h h2 2 f
R 2 t , x f t , x ,
2 2 8 t 2
(12.4.9)
h2 2 f h2 2 f
2
f t , x , f t , x 2 , .
4 tx 8 x
Observaţia 12.4.1. Dacă toate derivatele parţiale de ordinul 2 ale lui f sunt
h h
mărginite, atunci R 2 t , x f t , x va fi de ordinul O h 2 .
2 2
DEFINIŢIA 12.4.1. Metoda cu diferenţe obţinută din metoda lui Taylor prin
înlocuirea lui T 2 t , x se numeşte metoda Range–Kutta a punctului mijlociu.
Metoda punctului mijlociu este dată de relaţiile
h h
w 0 xt 0 x 0 ; w i 1 w i hf t i , w i f t i , w i ;
2 2 (12.4.10)
i 0, N 1 .
EXEMPLUL 12.4.1. Fie problema Cauchy
x x t 1 ; 0 t 1 ; x0 2 (a)
INTEGRAREA ECUAŢIILOR ŞI SISTEMELOR DE ECUAŢII DIFERENŢIALE 375
ORDINARE
a cărei soluţie exactă este
x 2e t t . (b)
Să se integreze numeric problema (a) cu pasul h 0,1 prin metoda Runge–
Kutta a punctului mijlociu pe intervalul t 0, 1 şi să se compare cu soluţia exactă
(b).
Soluţie: Avem
f t , x x t 1 (c)
şi putem crea tabelul următor.
Tab. 12.4.2. Integrarea numerică a ecuaţiei (a) prin metoda Euler modificată.
h h
i ti xi wi f t i , wi f t i , wi f t i , wi
2 2
0 0 2,00000 2,00000 –1,00000 –0,80000 0
1 0,1 1,90967 1,91000 –0,81000 –0,62900 33 10 5
2 0,2 1,83746 1,83805 –0,63805 –0,47425 59 10 5
3 0,3 1,78164 1,78244 –0,48244 –0,33420 8 10 4
4 0,4 1,74064 1,74161 –0,34161 –0,20745 97 10 5
INTEGRAREA ECUAŢIILOR ŞI SISTEMELOR DE ECUAŢII DIFERENŢIALE 377
ORDINARE
h K
w 0 xt 0 x 0 ; K 1 hf t i , w i ; K 2 hf t i , w i 1 ;
2 2
(12.4.17)
1
K 3 hf t i h, w i 2K 2 K 1 ; w i 1 w i K 1 4K 2 K 3 ;
6
– metoda Runge–Kutta de ordinul patru pentru care ecuaţia cu diferenţe finite
se scrie
378 METODE NUMERICE
h K
w 0 xt 0 x 0 ; K 1 hf t i , w i ; K 2 hf t i , w i 1 ;
2 2
K
K 3 hf t i h, w i 2 ; K 4 hf t i h, w i K 3 ; (12.4.18)
2
1
w i 1 w i K 1 2K 2 2K 3 K 4 ;
6
– metoda Runge–Kutta de ordinul şase pentru care ecuaţia cu diferenţe finite
are forma
h K
w 0 xt 0 x 0 ; K 1 hf t i , w i ; K 2 hf t i , w i 1 ;
2 3
K 3 hf t i
2h
, wi
1
6K 2 4K 1 ;
5 25
1
K 4 hf t i h, w i 15K 3 12K 2 K 1 ;
4 (12.4.19)
2h 2
K 5 hf t i , wi 4K 4 25K 3 45K 2 3K 1 ;
3 81
K 6 hf t i
4h
, wi
1
8K 4 10K 3 36K 2 6K 1 ;
5 75
1
w i 1 w i 23K 1 125K 3 81K 5 125K 6 .
192
EXEMPLUL 12.4.3. Fie problema Cauchy
x 2tx 2 ; 0 t 1 ; x0 1 (a)
a cărei soluţie este
2
x e t 2t (b)
i) Să se integreze numeric ecuaţia (a) cu pasul h 0,1 pe intervalul t 0, 1
prin metoda Runge–Kutta de ordinul trei şi să se compare cu soluţia exactă.
ii) Aceeaşi problemă folosind metoda Runge–Kutta de ordinul patru.
iii) Aceeaşi problemă folosind metoda Runge–Kutta de ordinul şase.
Soluţie: i) Putem scrie
f t , x 2tx 2 . (c)
Datele sunt trecute în tabelul următor.
4 0,4 1,97351 1,93247 0,35460 0,37773 0,38303 0,43243 0,40391 0,39902 –0,04104
5 0,5 2,28403 2,27381 0,42738 0,45773 0,46482 0,53006 0,49234 0,48360 –0,01022
6 0,6 2,63333 2,68634 0,52236 0,56232 0,57182 0,65840 0,60825 0,59400 0,05301
7 0,7 3,03232 3,19174 0,64684 0,69975 0,71255 0,82820 0,76106 0,73895 0,15942
8 0,8 3,49648 3,81892 0,81103 0,88154 0,89892 1,05464 0,96401 0,93065 0,32244
9 0,9 4,04791 4,60687 1,02924 1,12399 1,14777 1,35927 1,23583 1,18631 0,55896
10 1,0 4,71828 5,60882 1,32176 1,45021 1,48302 1,77299 1,60325 1,53044 0,89054
h h2
f t i 1 , w i hf t i 1 , wi f t i 1 , wi wi t i , (f)
2 2
unde
f t , x x t 1 . (g)
Calculele sunt trecute în tabelul următor.