Problema valorii inițiale

o ecuație diferențială ordinară împreună cu valoarea integralei (condiția inițială) într-un punct

În analiza cu variabile multiple⁠(d) problema valorii inițiale,[1][2] sau doar problemă inițială,[3] cunoscută și drept problema Cauchy,[3][4] este o problemă referitoare la o ecuație diferențială ordinară împreună cu o condiție inițială care specifică valoarea funcției pentru un anumit argument din domeniul de definiție. Modelarea unui fenomen în fizică sau în alte științe echivalează frecvent cu rezolvarea unei probleme cu condiție inițială. În acest context ecuația diferențială specifică modul în care acesta evoluează în timp⁠(d) având în vedere condițiile inițiale ale problemei.

Definiție

modificare

O problemă Cauchy este o ecuație diferențială

 

cu   unde   iste o mulțime deschisă din  , împreună cu un punct din domeniul  

 

numită condiție inițială.[4]

O soluție la o problemă Cauchy este o funcție   care este o soluție a ecuației diferențiale și satisface

 

În dimensiuni superioare, ecuația diferențială este înlocuită cu o familie de ecuații  , iar   este vectorul  , cel mai frecvent asociat cu poziția în spațiu. În general, funcția necunoscută   poate lua valori în spații dimensionale infinite, cum ar fi spații Banach sau distribuții⁠(d).

Problemele Cauchy pot fi extinse la derivatele de ordin superior tratând derivatele în același mod ca o funcție independentă, de ex.  .

Existența și unicitatea soluțiilor

modificare

Teorema Picard–Lindelöf⁠(d) garantează o soluție unică într-un interval care conține t0 dacă f este continuă într-o regiune care conține t0 și y0 și satisface condiția Lipschitz⁠(d) pentru variabila y. Demonstrarea acestei teoreme continuă prin reformularea problemei ca o ecuație integrală echivalentă. Integrarea poate fi considerată un operator care aplică o funcție pe alta, astfel încât soluția să fie un punct fix al operatorului. Apoi, principiul contracției arată că există un punct fix unic, care corespunde soluției problemei Cauchy.

Hiroshi Okamura a obținut o condiție necesară și suficientă⁠(d) pentru ca rezolvarea unei probleme Cauchy să fie unică. Această condiție are legătură cu existența unei funcții Liapunov pentru problemă.

În unele situații funcția f nu este o funcție netedă⁠(d) din clasa C1, sau chiar din clasa Lipschitz, deci rezultatul care garantează existența locală a unei soluții unice nu se aplică. Teorema de existență a lui Peano demonstrează totuși că și pentru f continuu, soluțiile sunt garantate că există local în timp; problema este că nu există nicio garanție a unicității. Rezultatul poate fi găsit în Coddington & Levinson (1955, Teorema 1.3) sau Robinson (2001, Teorema 2.6). Un rezultat și mai general este teorema de existență a lui Carathéodory, care afirmă existența soluției în cazul unor funcții f discontinue.

Un exemplu simplu este rezolvarea ecuației   cu  . Se caută funcția   care să satisfacă aceste două ecuații.

Se rearanjează ecuația astfel încât   să fie în partea stângă

 

Se integrează ambele părți în raport cu   (aceasta introduce o constantă de integrare necunoscută  ).

 
 

Se elimină logaritmul prin exponențierea ambilor membri

 

Fie   constanta necunoscută  , astfel

 

Acum se calculează o valoare pentru  . Cu   așa cum este dat la început, se înlocuiesc 0 în   și 19 în  

 
 

În final se obține soluția  .

Al doilea exemplu

Soluția ecuației

 

poate fi

 

Într-adevăr,

 
  1. ^ Octavian Mustafa Oscilațiile Ecuațiilor Diferențiale Ordinare Arhivat în , la Wayback Machine., Craiova: Ed. Publicațiile DAL, 2007, p. 12
  2. ^ Petru Străin, Contribuții la studiul unor sisteme dinamice particulare, (rezumatul tezei de doctorat, p. 34), Universitatea de Vest din Timișoara, accesat 2023-07-18
  3. ^ a b Eugenia Paulescu Ecuații diferențiale Arhivat în , la Wayback Machine. (curs, Cap V. Ecuații diferențiale de ordinul întâi, p. 4), Universitatea de Vest din Timișoara, accesat 2023-07-17
  4. ^ a b Veronica Ilea, Matematici speciale (curs, Probleme Cauchy), Universitatea Babeș-Bolyai, accesat 2023-07-18

Bibliografie

modificare
  • en Coddington, Earl A.; Levinson, Norman (). Theory of ordinary differential equations . New York-Toronto-London: McGraw-Hill Book Company, Inc. 
  • en Hirsch, Morris W.; Smale, Stephen (). Differential equations, dynamical systems, and linear algebra. New York-London: Academic Press. 
  • en Okamura, Hirosi (). „Condition nécessaire et suffisante remplie par les équations différentielles ordinaires sans points de Peano”. Mem. Coll. Sci. Univ. Kyoto Ser. A (în French). 24: 21–28. MR 0031614. 
  • en Agarwal, Ravi P.; Lakshmikantham, V. (). Uniqueness and Nonuniqueness Criteria for Ordinary Differential Equations. Series in real analysis. 6. World Scientific. ISBN 978-981-02-1357-2. 
  • en Polyanin, Andrei D.; Zaitsev, Valentin F. (). Handbook of exact solutions for ordinary differential equations (ed. 2nd). Boca Raton, Florida: Chapman & Hall/CRC. ISBN 1-58488-297-2. 
  • en Robinson, James C. (). Infinite-dimensional dynamical systems: An introduction to dissipative parabolic PDEs and the theory of global attractors. Cambridge: Cambridge University Press. ISBN 0-521-63204-8.