Documente Academic
Documente Profesional
Documente Cultură
problemei Cauchy
an univ. 2001/2002
Vom prezenta pe scurt principalele momente din evolutia studiului problemei cu valori
initiale numit i problem Cauchy. Aceasta const determinarea unei solutii x = x(t) a
as
a
a in
a
a
Numeroase ecuatii diferentiale nu pot rezolvate explicit. De aceea s-au cutat conditii
suciente ct mai generale asupra datelor unei probleme cu valori initiale pentru ca aceasta
a
s admit cel putin o solutie. Primul care a stabilit un rezultat notabil acest sens a
a
a
in
1820, a utilizat metoda liniilor poligonale pentru
fost Augustin Cauchy (1789-1857) care, in
a demonstra existenta local (nu i unicitatea) pentru problema cu valori initiale al crui
a
s
a
1
a
a at a
fost impus cadrul cel mai general de ctre Giuseppe Peano (1858-1932) 1890.
a in
a
in
in
s
a
Un alt pas important ceea ce privete problema aproximrii solutiilor unei ecuatii
1890 de ctre Emile Picard (1856-1941) cnd a introdus metoda
diferentiale a fost fcut in
a
a
a
aproximatiilor succesive, devenind curnd foarte cunoscut.
a
a
Dup cum am vzut, principala preocupare a matematicienilor secolelor XVII-XVIII,
a
a
referitoare la ecuatiile diferentiale, a fost de a pune evidenta unele metode eciente, e de
in
determinare explicit a solutiilor, e de aproximare a lor. Din pcate s-a constatat c aceste
a
a
a
conferinta inut cadrul Congresului International
obiective sunt rareori realizabile. In
t
a in
a
rezolvat numai dac se exprima solutia cu ajutorul unui numr nit de functii cunoscute;
a
a
intotdeauna,
dar aceasta este greu de realizat
intr-un caz dintr-o sut. Ceea ce putem face
a
sau mai degrab ceea ce putem
a
intotdeauna
incerca s facem, este de a rezolva s spunem
a
a
problema calitativ, adic s incercm s gsim forma curbei ce reprezint functia necunosa
a a
a a a
a
cut.
a
23
2.1
a
D = {(t, x) | |t t0 | a, |x x0 | b}
i e functia f : D R.
s
int
a in a
a a
unei functii de clas C 1 , x = x(t), denit pe un interval I [t0 a, t0 + a] satisfcnd
a
a
x (t) = f (t, x(t)), t I, t0 I i x(t0 ) = x0 . Vom nota o astfel de problem prin
s
a
x = f (t, x)
x(t0 ) = x0 .
(2.1)
at
s
problema (2.1).
Distingem mai multe tipuri de solutii pentru (2.1). Astfel, dac I = [t0 , t0 + ] ,
a
caz contrar local. Dac I = [t0 , ) sau I = [t0 , ] ,
a
solutia x se numete solutie global, in
s
a
a
atunci x se numete solutie la dreapta. Analog, dac I = [, t0 ) sau I = [, t0 ] , atunci
s
a
x se numete solutie la stnga, timp ce dac inf I <t0 < sup I, x se numete solutie
s
in
a
s
bilateral.
a
Denitia 2.2 Functia f = f (t, x), denit pe D, satisface conditia Lipschitz local
a n
raport cu variabila x, dac pentru orice punct (t0 , x0 ) D exist o vecintate V(t0 , x0 ) D,
a
a
a
astfel at oricare ar (t, x) i (t, x) din V(t0 , x0 ), are loc inegalitatea
nc
s
|f (t, x) f (t, x)| L |x x|
(2.2)
acest caz vom spune c f este local lipschitzian raport cu variabila x. Dac
a
In
a
a in
inegalitatea (2.2) este satisfcut cu aceeai constant pentru orice pereche de puncte (t, x)
a a
s
a
i (t, x) din D, vom spune c f satisface pe D conditia Lipschitz global raport cu
s
a
a in
variabila x.
f
Observatia 2.1 Dac
a
a
x
este satisfcut.
a a
Teorema 2.1 (Teorema de existent i unicitate a solutiei problemei Cauchy
a s
nt
a in
Dac f = f (t, x) este continu D i local lipschitzian raport cu variabila x,
a
s
a in
atunci pentru orice punct (t0 , x0 ) D exist o solutie unic x = x(t) a ecuatiei (2.1),
a
b
,
denit
a intr-o vecintate sucient de mic a lui t0 , |t t0 | h unde h = min a,
a
a
M
unde M = sup |f (t, x)| i
25
Demonstratie.
s
y (t) = f (t, y(t)), t J i y(t0 ) = x0 . Deoarece y i f sunt functii continue avem:
s
y(t) = x0 +
(2.3)
t0
s
Pentru a demonstra teorema vom arta c ecuatia (2.1) admite solutie continu pe
a
a
a
b
a
. Deoarece f este continu pe un interval
intervalul |t t0 | h unde h = min a,
M
compact rezult c exist M = sup |f (t, x)| (teorema lui Weierstass). Conditia x(t0 ) =
a a
a
(t,x)D1
x0 este echivalent cu faptul geometric: gracul solutiei trece prin punctulde coordonate
a
(t0 , x0 ).
Pentru determinarea solutiei y = y(t) vom folosi metoda aproximatiilor succesive.
yn (t) = x0 +
(2.4)
t0
a
a
- toti termenii irului sunt functii continue pe intervalul [x0 h, x0 + h] deoarece f este
f (s, y0 )ds M |t t0 |
t0
b
M h b deoarece h = min a,
.
M
Presupunem c yn1 (t) satisface conditia yn1 (t) [x0 b, x0 + b] ; de aici rezult c
a
a a
t
a
|f (t, yn1 (t))| M, (t, x) D. Putem scrie mrginirea |yn (t) x0 | =
b
M |t t0 | M h b deoarece h = min a,
, adic toate aproximatiile succesive
a
M
apartin intervalului [x0 b, x0 + b] .
a
a
y(t) cnd n .
s
a
(2.5)
deoarece irul sumelor partiale ale seriei (2.5) este irul (yn (t))nN .
s
s
Pentru a arta c seria (2.5) converge uniform pe intervalul considerat este sucient s
a
a
a
artm c este majorat de o serie numeric cu tremeni pozitivi convergent. Artm c
aa
a
a
a
a
aa
a
pentru t [t0 h, t0 + h] ,
n1 |t
t0 |n
, n = 1, 2, . . .
n!
(2.6)
|y1 (t) x0 |
f (s, x0 )ds M |t t0 | .
t0
t0
t0 |n1
ds
(n 1)!
n2 |s
ML
t0
sau
t
n1
t0
n
|s t0 |n1
n1 |t t0 |
ds M L
.
(n 1)!
n!
Deoarece |t t0 | h avem
M (Lh)n
|yn (t) yn1 (t)|
, t [t0 h, t0 + h] .
L n!
M (Lh)n
este convergent (folosim criteriul raportului), rezult c sea
a a
Deoarece seria
L n!
n=1
ria y0 +
n=1
(yn (t) yn1 (t)) este absolut si uniform convergent pentru t [t0 h, t0 + h] .
a
Rezult c limita sirului de aproximatii este o functie continu. Fie x(t) = lim yn (t).
a a
a
n
relatia (2.4) obtinem c x veic ().
Trecnd la limit in
a
a
a
a
a
a
a a
Demonstrm c x este solutia cutat. Din (2.1) se observ c x(t0 ) = x0 (integrala va
a
a
nul) i deoarece functia denit cu ajutorul integralei din (2.1) este continu i derivabil,
a s
a
as
a
1
rezult c x C ([t0 h, t0 + h] , R) iar prin derivarea relatiei (2.1) .
a a
x (t) =
d
x0 +
dt
t0
27
a
a
Unicitatea solutiei. Presupunem c problema ar mai admite o solutie (t) care satisface
a
t
L
t0
t0
M (Lh)n
t0 |
n1 |t t0 |
, t [t0 h, t0 + h]
ds M L
(n 1)!
n!
L n!
n1
n2 |s
ML
in
garanteaz existenta solutiei numai pe un interval sucient de mic, cu centrul t0 . De
a
fapt, solutia gsit poate prelungit, obtinndu-se o solutie a ecuatiei (2.1), denit pe
a a
a
a
un interval ce include pe [t0 h, t0 + h]. intr-adevr, considernd punctul (t0 h, x(t0 h))
a
a
din D i aplicnd din nou teorema, vom construi o alt solutie a ecuatiei (2.1), denit pe
s
a
a
a
un interval de forma [t0 h 1 , t0 h + 1 ], cu conditia 1 > 0 sucient de mic. Aceast
a
solutie va coincide cu cea gsit anterior, pe intervalul comun de denitie. La fel, plecnd
a a
a
a
a
de la punctul (t0 + h, x(t0 + h)) D, gsim o solutie a ecuatiei (2.1), denit pe un interval
de forma [t0 +h2 , t0 +h+2 ], cu 2 > 0 sucient de mic. Aceast nou solutie va coincide
a
a
in
cu cea denit pe [t0 h, t0 + h], intervalul comun de denitie. Concluzia este c solutia
a
a
a crei grac trece prin (t0 , x0 ) este denit cel putin pe intervalul [t0 h 1 , t0 + h + 2 ].
a
Rationamentul se poate continua pn ce se obtine o solutie a crei grac nu mai poate
a a
a
prelungit, e din cauz c se ajunge la frontiera domeniului D, e din cauz c gracul
a a
a a
respectiv are asimptot vertical. O astfel de solutie se numete solutie saturat a ecuatiei
a
a
(2.1). Gracele a dou solutii saturate distincte nu au nici un punct comun, cci caz
a
a in
in
contrar acel punct s-ar contrazice rezultatul local de unicitate.
Observatia 2.3 Dac se renunta la conditia Lipschitz, admitnd numai c f este continu
a
a
a
D, teorema lui Peano arm c prin orice punct (t0 , x0 ) D trece cel putin un grac al
in
a a
unei solutii a ecuatiei (2.1). Cu alte cuvinte, acum avem garantat numai existenta local
a
a solutiei pentru care x(t0 ) = x0 , nu i unicitatea ei. De asemenea, nu putem garanta c de
s
a
data aceasta irul aproximatiilor succesive este uniform convergent la solutia respectiv;
s
a in
mod esential faptul c f este local lipschitzian
demonstratia Teoremei 2.1 se folosea in
a
a in
raport cu x.
Exemplul 2.1 Considerm problema Cauchy,
a
a
a
a
In
problemei puse, dar i x(t) = (1/27)(t t0 )3 este tot o solutie a problemei. acest caz,
s
a
a
prin punctul (t0 , 0) trec gracele a dou solutii distincte ale ecuatiei date; aceasta se explic
prin aceea c functia f (t, x) = x2/3 nu este lipschitzian raport cu variabila x, nici o
a
a in
in
vecintate a punctului (t0 , 0).
a
Notiunea de sistem diferential este o generalizare a notiunii de ecuatie diferential i,
as
de obicei,
ntr-un sistem diferential, numrul ecuatiilor este egal cu numrul functiilor
necunoscute.
Denitia 2.3 Forma normal a unui sistem diferential de ordin ai cu n functii
nt
necunoscute y1 , y2 , . . . , yn este:
s
I R cu valori reale.
a
g (t, y) = (g1 (t, y1 , . . . , yn ) , . . . , g1 (t, y1 , . . . , yn )) obtinem scrierea vectorial a sistemului
diferential de ordin ai cu n functii necunoscute (2.7) (care poate privit ca o ecuatie
nt
(2.8)
nt
nupl de functii (y1 , . . . , yn ) : I Rn de clas C 1 pe intervalul cu interior nevid I, care
a
a
satisface (t, y1 (t), . . . , yn (t)) Dom(g) i veric (2.8) pentru orice t I.
s
a
Denitia 2.5 Solutia general a sistemului de ecuatii diferentiale de ordin ai (2.7)
nt
a
este o familie de functii {y(, c) : I R; c = (c1 , . . . , cn ) Rn } denit implicit de n relatii
de forma
G(t, y, c) = 0
(2.9)
a
a
n care G :Dom(G) R2n+1 Rn este o functie de clas C 1 n raport cu primele n + 1
29
Problema Cauchy pentru sistemul diferential (2.8) const determinarea unei solutii
a n
y(t) = (y1 (t), . . . , yn (t)) care veric conditiile yi (t0 ) = yi0 R, i = 1, n, t0 I. Numerele
a
Denitia 2.6 O solutie a sistemului diferential (2.8) care satisface conditiile initiale date,
a n
Denitia 2.7 Functia g :D Rn+1 Rn satisface conditia Lipschitz local raport
L y y
(2.10)
nt
Dac functia vectorial g = (g1 , . . . , gn ) este continu D i local lipschitzian
a
a
a n
s
a n
raport cu variabila vectorial y = (y1 , . . . , yn ), atunci pentru orice punct (t0 , y0 ) D exist
a
a
a ntr-o vecintate sucient
a
o solutie unic y(t) = (y1 (t), . . . , yn (t)) a sistemului (2.8), denit
a
de mic a lui t0 i
a
s ndeplinind conditiile yi (t0 ) = yi0 R, i = 1, n.
(2.11)
a
S se determine functia x C n (I, R), I un interval nevid deschis R astfel at
a
n
nc
x(n) = f (t, x, x , . . . , x(n1) )
,
x(t0 ) = x00 , x (t0 ) = x10 , . . . , x(n1) (t0 ) = xn0
(2.12)
(2.13)
ai cu n functii necunoscute:
nt
y1 = y2
y = y3
2
.
.
(2.14)
.
.
y
n1 = yn
y = f (t, y , y , . . . , y )
1 2
n
n
a
a n s
a n
a
Dac functia f este continu D i local lipschitzian raport cu variabila vectorial
a
y = (y1 , . . . , yn ), atunci pentru orice punct (t0 , y0 ) D exist o solutie unic x(t) a ecuatei
(2.11), denit
a ntr-o vecintate sucient de mic a lui t0 i
a
a
s ndeplinind conditiile x(t0 ) =
2.2
multe situatii este foarte important s cunoatem nu numai c o problem Cauchy are
In
a
s
a
a
solutie unic pe un anumit interval, dar i cum putem gsi aceast solutie. Din pcate
a
s
a
a
a
clasa functiilor f pentru care putem obtine o reprezentare explicit a solutiei este foarte
restrns.
a a
s
a in
Dac f = f (t, x) este continu D i local lipschitzian raport cu variabila x,
a
a in
t
a
plus |f (t, x)| M, (t, x) D, urmtoarea formul de evaluare a erorii: xn x
a
a
in
Ln hn+1
, n N, |t t0 | h. Pentru a demonstra aceast formul observm c
M
a
a
a
a
(n + 1)!
t
f (s, x(s)) ds M |t t0 | x x0 M |t t0 | .
|x(t) x0 | =
t0
x1 x =
sup
t[t0 h,t0 +h]
t0
t
sup
t[t0 h,t0 +h]
L
t0
t0
t0
x x0 ds M
sup
t[t0 h,t0 +h]
|x0 x(s)| ds
L |t t0 |2
.
2!
s
a
Aceast inegalitate sugereaz c, pentru orice k N i |t t0 | h, ar trebui s avem:
a
a a
Lk |t t0 |k+1
xk x M
.
(k + 1)!
(2.15)
31
xk+1 x =
sup
t[t0 h,t0 +h]
sup
t[t0 h,t0 +h]
xk x dt M L
t0
t0
t0
Lk
(k + 1)!
t0
|s t0 |k ds M
sup
t[t0 h,t0 +h]
Lk+1 hk+2
Lk+1 |t t0 |k+2
M
.
(k + 2)!
(k + 2)!