Documente Academic
Documente Profesional
Documente Cultură
Curs03 v2
Curs03 v2
3 - Problema Cauchy
1 Prezentare general¼
a
Acest curs este dedicat în exclusivitate introducerii şi studiului unui concept fundamental legat de studiul ecuaţiilor
diferenţiale: aşa-numita problem¼a Cauchy sau problem¼a cu condiţie iniţial¼a. Dup¼
a de…nirea conceptului este prezentat¼ a
noţiunea de funcţie Lipschitz, esenţial¼
a pentru demonstrarea ulterioar¼
a a existenţei şi unicit¼
aţii soluţiei pentru problema
Cauchy. La …nal va … prezentat şi un rezultat legat de sistemele de ecuaţii liniare.
De…niţie. Fie I R un interval de numere reale, Rn o submulţime deschis¼ a din Rn , f : I ! R o funcţie,
a 2 I/ şi 2 : Problema Cauchy sau problema cu condiţie iniţial¼a pentru o ecuaţie diferenţial¼ a de ordinul întâi, cu datele
D = (I; ; f; a; ) const¼ a în determinarea unei funcţii x : J ! de clas¼ a C 1 ; unde J I; a 2 J pentru care
f :R R ! R; f (t; x) = x2 ; 8(t; x) 2 R R,
Desigur, în cazul în care m = 1 sau n = 1 norma pe spaţiul respectiv se înlocuieşte cu modulul. De…niţia spune c¼ a
pentru o funcţie cu proprietatea Lipschitz distanţa dintre oricare dou¼ a valori ale funcţiei nu poate creşte oricât în raport
cu distanţa dintre argumente.
Propoziţie Orice funcţie cu proprietatea Lipschitz este continu¼ a.
Demonstraţie Vom folosi caracterizarea cu şiruri a continuit¼
aţii unei funcţii într-un punct. Fie, deci, F : Rn ! R m
o funcţie având proprietatea Lipschity, a 2 şi un şir (xn ) aşa încât xn ! a: Atunci, pentru orice n 2 N avem
1
1
Observaţie Reciproca este fals¼
a. De exemplu, dac¼
a consider¼
am f : (0; 1) ! R, f (x) = deşi este continu¼
a (chiar
x
derivabil¼
a) pe (0; 1); nu are proprietatea Lipschitz pe (0; 1): Dac¼
a ar exista L > 0 a.î.
atunci am avea
1 1
L jx yj , Lxy 1 8x; y > 0;
x y
1
ceea ce este, evident, fals(putem considera x = L; y = 12 ):
f (x) f (y)
= f 0 (zx;y ) ) jf (x) f (y)j = jf 0 (zx;y )j jx yj M jx yj :
x y
Cum x şi y au fost arbitrar alese rezult¼
a c¼
a f are proprietatea Lipschitz pe I:
Observaţii 1) Reciproca este în general, fals¼a, deoarece pentru a … Lipschitz nu este nevoie ca funcţia s¼
a …e derivabil¼
a.
Un bun exemplu în acest sens este funcţia modul (norm¼ a), care este, în mod evident Lipschitz pe R dar nu este derivabil¼a
pe R. Totuşi, dac¼a o funcţie care are proprietatea Lipschitz pe un interval I şi este derivabil¼a pe I, atunci derivata sa
este m¼arginit¼
a, constanta de m¼ arginire …ind, de fapt, constanta Lipschitz.
2) Pentru funcţii vectoriale F : Rn ! Rm propoziţia ultim¼ a se p¼
astreaz¼
a dar domeniul trebuie s¼ a …e convex iar
în loc de "derivata funcţiei f " vom pune "derivatele parţiale ale funcţiilor componente ale lui F ".
2 Existenţ¼
a şi unicitate în problema Cauchy
Vom trata mai întâi cazul ecuaţiilor diferenţiale ordinare, de ordinul 1, celelalte rezultate obţinându-se similar.
Teorem¼ a (Picard)
Fie I; D R dou¼ a intervale deschise de numere reale, f : I D ! R o funcţie, a 2 I/ şi 2 D şi problema Cauchy
xn (t) = (xn (t) xn 1 (t)) + (xn 1 (t) xn 2 (t)) + + (x1 (t) x0 (t)) + :
2
Atunci, convergenţa şirului (xn ) este echivalent¼
a cu convergenţa seriei
1
X
(xn (t) xn 1 (t)) ; t 2 J;
n=1
unde J I:
Deoarece f este continu¼ a, conform teoremei lui Weierstrass, este m¼ arginit¼
a pe orice mulţime m¼
arginit¼
a şi închis¼
a din
I D (şi îşi atinge efectiv marginile): Alegem, atunci mulţimea [a ;a + ] [ ; + ] I D; unde > 0 este
0
ales su…cient de mic a.î. [a ;a + ] I şi ; + 0 D: Atunci, exist¼a M > 0 astfel încât jf (t; u)j M,
0 0
8(t; u) 2 [a ;a + ] ; + : Observ¼ am c¼
a pentru orice n 2 N avem
Z t Z t
jxn (t) j= f (s; xn 1 (s))ds jf (s; xn (s))j ds M jt aj M :
a a
0 0
Alegând < =M rezult¼
a c¼
a jxn (t) j ; deci toate valorile tuturor funcţiilor xn se g¼
asesc în acelaşi interval şi putem
considera c¼
a
0 0
xn : [a ;a + ] I! ; + D; 8n:
Astfel, putem alege J = [a ; a + ] I:
S¼
a mai remarc¼ am c¼ a pentru orice n avem
Z t Z t
jxn (t) xn 1 (t)j jf (s; xn 1 (s)) f (s; xn 2 (s))j ds L jxn 1 (s) xn 2 (s)j ds
a a
0
Astfel, seria este convergent¼ a şi, deci, (xn ) este convergent pe întreg intervalul J la o funcţie x : J ! ; + 0 (chiar
uniform, deoarece rata de convergenţa şirului (xn (t)) nu depinde de t). Uniforma convergenţ¼ a ne permite s¼
a trecem la
limit¼
a în relaţia de recurenţ¼
a Z t
xn+1 (t) = + f (s; xn (s))ds
a
şi obţinem Z t
x(t) = + f (s; x(s))ds; 8t 2 J:
a
Rezult¼a c¼a x este soluţie pentru problema Cauchy şi mai r¼ amâne s¼ a ar¼
at¼
am unicitatea. Dar, dac¼
a y ar … o alt¼
a soluţie,
cf. celor discutate la începutul demonstraţiei, y ar trebui s¼
a veri…ce relaţia
Z t
y(t) = + f (s; y(s))ds
a
şi atunci Z Z t
t
jxn (t) y(t)j jf (s; xn 1 (s)) f (s; y(s))j ds L jxn 1 (t) y(t)j ds:
a a
3
Folosind din nou inducţia matematic¼
a se arat¼
a uşor c¼
a
M (L )n
jxn (t) y(t)j ! 0 pt.n ! 1
L n!
şi astfel
x(t) = lim xn (t) = y(t); 8t 2 J:
Rezult¼
a c¼
a soluţia este unic¼
a şi demonstraţia este încheiat¼
a.
1
iar cantitatea din faţa lui ju vj nu este m¼
arginit¼
a pentru u şi v apropiate de 0. De exemplu, pentru un = vn = n3
2
ju + vj n3 2
p
3
p3
p
3
= 3 = n ! 1 pentru n ! 1:
u + u2 v 2 + v 4
4
n4
3
Rezultatul de existenţ¼
a şi unicitate de mai sus poate … adaptat cu uşurinţ¼
a pentru a rezolva probleme cu un grad de
di…cultate mai ridicat. În primul rând, pentru a rezolva problema Cauchy aşa cum a fost ea de…nit¼ a la începutul acestui
curs, adic¼
a
x0 (t) = f (t; x(t))
PC(D) :
x(a) = :
unde f : I ! R , cu I R un interval de numere reale, Rn o submulţime deschis¼
a din Rn . Observ¼am c¼
ao
n
diferenţ¼
a este c¼
a în loc s¼
a lucr¼am cu D - interval deschis de numere reale, avem R , o mulţime deschis¼
a. Totuşi
raţionamentul este cu totul analog.
Un caz mai interesant este cel al sistemelor de ecuaţii diferenţiale (le-am întâlnit în primul curs, în prezentarea unor
modele matematice).
Un sistem de n ecuaţii diferenţiale de ordinul I cu n funcţii necunoscute are forma (normal¼ a)
8 0
>
> x1 (t) = f1 (t; x1 (t); :::; xn (t))
>
< x0n (t) = f2 (t; x1 (t); :::; xn (t))
..
>
> .
>
: 0
xn (t) = fn (t; x1 (t); :::; xn (t))
unde funcţiile fi : I U ! R, 8i = 1; ::; n au un domeniu comun de de…niţie, I este un interval de numere reale iar U
este o submulţime deschis¼ a din Rn : O soluţie pentru sistemul anterior de ecuaţii este un n-uplu de funcţii (x1 ; :::; xn ) de
1
clas¼
a C pentru care (t; x1 (t); :::; xn (t)) 2 I U pentru orice t 2 J I şi care veri…c¼ a sistemul.
Problema Cauchy asociat¼ aunui sistem de ecuaţii diferenţiale de ordinul I const¼ a în determinarea unei soluţii care
veri…c¼
a în plus şi condiţiile xi (t0 ) = xi0 ; 8i = 1; ::; n; numite condiţii iniţiale.
4
Consider¼
am, în leg¼
atur¼
a cu un astfel de sistem, funcţiile
Putem deci adapta teorema lui Picard şi la sisteme de ecuaţii diferenţiale de ordinul I (integrala transferându-se pe …ecare
component¼ a în parte). Astfel, şi problema Cauchy asociat¼ a unui sistem de ecuaţii diferenţiale de ordinul I are soluţie şi
aceasta este unic¼
a.
Încheiem cu problema Cauchy asociat¼ a unei ecuaţii diferenţiale de ordinul n ( în forma normal¼ a): Mai exact, …e mi R
un interval de numere reale, o submulţime deshis¼ a, nevid¼ a din Rn ; o funcţie
f :I !R
x:J I ! R,
Astfel, problema Cauchy pentru o ecuaţie diferenţial¼ a de ordin n poate … reformulat¼ a ca problem¼ a Cauchy pentru un
sistem de ecuaţii diferenţiale de ordinul I, despre care ştim c¼ a admite o soluţie şi c¼
a aceasta este unic¼
a,
8
>
> x01 = x2
>
>
>
> x02 = x3
>
< ..
.
>
> x0
> n 1 = xn
>
> 0
>
> xn = f (t; x1 ; :::; xn ):
:
x1 (a) = 1 ; :::; xn (a) = n :