Problema valorii inițiale

În Format:Ill-wd problema valorii inițiale, sau doar problemă inițială, cunoscută și drept problema Cauchy, 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 Format:Ill-wd având în vedere condițiile inițiale ale problemei.

Definiție

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

$y{}^{\prime }(t)=f(t,y(t))$

cu $f:\mathrm{\Omega }\subset ℝ\times {ℝ}^n\to {ℝ}^n$ unde $\mathrm{\Omega }$ iste o mulțime deschisă din $ℝ\times {ℝ}^n$, împreună cu un punct din domeniul $f$

$(t_0,y_0)\in \mathrm{\Omega },$

numită condiție inițială.

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

$y(t_0)=y_0.$

În dimensiuni superioare, ecuația diferențială este înlocuită cu o familie de ecuații $y_i^{\prime }(t)=f_i(t,y_1(t),y_2(t),\dots )$, iar $y(t)$ este vectorul $(y_1(t),\dots ,y_n(t))$, cel mai frecvent asociat cu poziția în spațiu. În general, funcția necunoscută $y$ poate lua valori în spații dimensionale infinite, cum ar fi spații Banach sau Format:Ill-wd.

Problemele Cauchy pot fi extinse la derivatele de ordin superior tratând derivatele în același mod ca o funcție independentă, de ex. $y{}^{\prime \prime }(t)=f(t,y(t),y{}^{\prime }(t))$.

Existența și unicitatea soluțiilor

Format:Ill-wd garantează o soluție unică într-un interval care conține Format:Mvar₀ dacă Format:Mvar este continuă într-o regiune care conține Format:Mvar₀ și Format:Mvar₀ și satisface Format:Ill-wd pentru variabila Format:Mvar. 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 Format:Ill-wd 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 Format:Mvar nu este o Format:Ill-wd din clasa Format:Mvar¹, 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 Format:Mvar 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 Format:Mvar discontinue.

Exemple

Un exemplu simplu este rezolvarea ecuației $y{}^{\prime }(t)=0,85y(t)$ cu $y(0)=19$. Se caută funcția $y(t)$ care să satisfacă aceste două ecuații.

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

$\frac{y^{\prime }(t)}{y(t)}=0,85$

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

$\int \frac{y{}^{\prime }(t)}{y(t)}dt=\int 0,85dt$

$\ln |y(t)|=0,85t+B$

Se elimină logaritmul prin exponențierea ambilor membri

$|y(t)|=e^B{e}^{0,85t}$

Fie $C$ constanta necunoscută $C=\pm e^B$, astfel

$y(t)=C{e}^{0,85t}$

Acum se calculează o valoare pentru $C$. Cu $y(0)=19$ așa cum este dat la început, se înlocuiesc 0 în $t$ și 19 în $y$

$19=C{e}^{0,85\cdot 0}$

$C=19$

În final se obține soluția $y(t)=19e^{0,85t}$.

Al doilea exemplu

Soluția ecuației

$y{}^{\prime }+3y=6t+5,y(0)=3$

poate fi

$y(t)=2e^{-3t}+2t+1.$

Într-adevăr,

$\begin{array}{cc}y{}^{\prime }+3y& =\frac{d}{dt}(2e^{-3t}+2t+1)+3(2e^{-3t}+2t+1)\\ & =(-6e^{-3t}+2)+(6e^{-3t}+6t+3)\\ & =6t+5.\end{array}$

Bibliografie

• Format:En icon Format:Cite book
• Format:En icon Format:Cite book
• Format:En icon Format:Cite journal
• Format:En icon Format:Cite book
• Format:En icon Format:Cite book
• Format:En icon Format:Cite book