Documente Academic
Documente Profesional
Documente Cultură
(1)
, y = y( x) este unde F este o funcie real definit pe o mulime deschis D dy este derivata de ordinul nti a acesteia. funcia necunoscut, iar y = dx
Definiia 7.1.1 O funcie : I se numete soluie pentru ecuaia diferenial (1) dac este derivabil pe I i F [ x, ( x), ( x)] = 0 , x I (Se
subnelege c se presupune c ( x, ( x), ( x) ) D , x I). Graficul unei soluii a ecuaiei (1) se mai numete i curb integral a ecuaiei (1). Prin soluie general nelegem o familie de soluii y = ( x, C ) , unde C este o constant arbitrar. Prin particularizarea constantei C obinem diferite soluii particulare ale soluiei (1).
Exemplul 7.1.1 Fie ecuaia y (2) y = , x 0. x Observm c y = Cx, x (0,) este soluia general a ecuaiei pe intervalul (0,). De asemenea y = Cx, x (,0) este soluia general a ecuaiei pe intervalul (,0). Curbele integrale sunt semidreptele care pornesc din originea axelor de coordonate (Fig. 1). Exemplul 7.1.2 y y = , y 0. x x ( C, C ) sunt soluii pentru aceast ecuaie pe intervalul ( C, C ) .
(3)
168
Fig. 1
Fig. 2
(4)
Soluia general este y = Cx + C , x , aa cum ne dm seama printr-o verificare direct. Curbele integrale corespunztoare soluiei generale reprezint o familie de drepte (fig. 3). Constatm ns x2 c ecuaia admite i soluia y = , 4 x . ntr-adevr, nlocuind n ecuaie 2 x2 x x obinem identitatea: = x + , 4 2 4
x . Pe de alt parte, este evident c aceast soluie nu se obine din soluia general prin particularizarea constantei x2 C. Aadar, y = , x este o soluie 4 Fig. 3 singular a ecuaiei (4). Curba sa integral este o parabol (nfurtoarea familiei de drepte y = Cx + C 2 ). Definiia 7.1.2 O ecuaie diferenial de forma: y = f ( x, y )
(5)
169
unde f este o funcie real continu definit pe o mulime deschis D 2 , se numete ecuaie diferenial de ordinul nti sub form normal. Problema Cauchy pentru ecuaia (5) i punctul ( x0, y0 ) D , const n deter-
(6)
Mai precis, problema const n gsirea unei funcii : I , de clas C pe intervalul I, care ndeplinete urmtoarele condiii: ( x, ( x)) D , x I , ( x) = f [ x, ( x)] , x I i ( x0 ) = y0 .
Lema 7.1.1 Rezolvarea problemei Cauchy (5) + (6) este echivalent cu rezolvarea ecuaiei integrale:
y( x) = y0 + f [t, y(t )] dt , x I
x0
(7)
Demonstraie. ntr-adevr, dac y = ( x) , x I este soluie pentru problema Cauchy (5) + (6) atunci (t ) = f [t, (t )] , t I i ( x0 ) = y0 . Integrnd prima identitate, obinem pentru orice x I :
( x) ( x0 ) = (t )d t = f [t, (t )] d t .
x0 x0
Cum ( x0 ) = y0 , rezult c ( x) = y0 +
x x0
y = ( x) , x I este soluie pentru ecuaia integral (7). Reciproc, dac y = ( x) , x I este soluie pentru ecuaia (7), atunci
( x) = y0 + f [t, (t)] d t , x I .
Evident ( x0 ) = y0 . Pe de alt parte, prin derivare obinem:
x0
pe domeniul D, dac exist o constant L 0 astfel nct f ( x, y1 ) f ( x, y2 ) L y1 y2 , oricare ar fi punctele ( x, y1 ) i ( x, y2 ) din D. Observaia 7.1.2 Dac D este deschis i convex, f C 1( D) i f este y
170
creterilor finite a lui Lagrange deducem c oricare ar fi punctele ( x, y1 ) i ( x, y2 ) din D, exist un punct ntre y1 i y2 astfel nct f f ( x, y1 ) f ( x, y2 ) = ( x, )( y1 y1 ) . n continuare avem: y
F = { g : I [ y0 b, y0 + b]; g continu}
. Observm c F nu este un spaiu vectorial, deoarece nu este nchis la Fig. 4 operaia de adunare. Constatm ns c F este un spaiu metric, n raport cu distana d ( g1, g2 ) = sup{ g1( x) g2 ( x) ; x I } , g1, g 2 F (8) Mai mult, F este un spaiu metric complet. ntr-adevr, dac {g n } este un ir fundamental de funcii din F, atunci {g n } este un ir fundamental n spaiul Banach
C ( I ) = {g : I , g continu } , nzestrat cu norma g = sup{ g ( x) , x I } .
Rezult c {g n } este convergent n C ( I ) , deci exist g : I atunci g F. Aadar, (F, d) este un spaiu metric complet. Definim aplicaia T : F F astfel:
, continu,
171
T ( g )( x) = y0 + T ( g )( x) y0
x x0
f [t, g (t )] d t , g F , x I
x
(9)
b =b. M
x0 f (t, g(t)) dt
M x x0 Mh M
Rezult c T ( g ) F , g F . Mai mult, vom arta c T este o contracie. ntr-adevr, innd seama c F este lipschitzian n raport cu a doua variabil, rezult:
T ( g1)( x) T ( g2 )( x) = L
x0
Cum ( 0,1) , deducem c T : F F este o contracie. Din teorema de punct fix a lui Banach (Teorema 3.1.8 din [10]) rezult c exist F unic, astfel nct T ( ) = . Aadar, avem:
( x) = y0 + f [t, (t)] d t , x I .
x0
Din Lema 7.1.1 deducem c este o soluie unic pentru problema Cauchy y = f ( x, y ) , y ( x0 ) = y0 i cu aceasta teorema este demonstrat.
Observaia 7.1.3 Teorema 7.1.1 ne d o prim metod aproximativ de rezolvare a problemei Cauchy i anume metoda aproximaiilor succesive. Aa cum tim din teorema de punct fix a lui Banach, soluia a problemei Cauchy este limita n raport cu distana, definit n (8), a irului aproximaiilor succesive { yn} , unde:
y1( x) = y0 +
x x0 x x0 x x0
f ( t, y0 ) d t, f [t, y1(t )] d t,
xI xI
y 2 ( x ) = y0 + y n ( x ) = y0 +
f [t, yn 1(t )] d t, x I
Cum convergena n raport cu distana (8) este echivalent cu convergena uniform, rezult c yn . I
Exemplul 7.1.4 S se rezolve problema Cauchy
u
172
1 , 2
Dac alegem =
x
y1( x) = 1 + 1d t = 1 + x
0
y2 ( x) = 1 + (1 + t ) d t = 1 + x +
0
x t2 x2 x3 y 3( x ) = 1 + 1 + t + d t = 1 + x + + 0 2 2 3!
yn ( x ) = 1 + x +
x2 xn +K+ 2! n!
Cum e x =
n =0
Observaia 7.1.4 n exemplul 7.1.4 am putut afla limita irului aproximaiilor succesive. De regul, acest lucru nu este posibil i de aceea vom aproxima limita acestui ir cu funcia determinat la pasul n. Cu alte cuvinte yn . Aa cum tim de la teorema de punct fix a lui Banach, eroarea satisface inegalitatea: n ( x ) yn ( x) dist ( y0, y1 ) , x I . 1
x x0
f (t, y0 ) d t ; x I M h , rezult c
n ( x) yn ( x) Mh , x I . 1