7.2 Problème de Cauchy

Dans ce chapitre, nous allons chercher à résoudre numériquement le problème suivant :

Problème de Cauchy (pour une EDO du premier ordre) :

Trouver une fonction \(y:I\subset\R\rightarrow\R\) vérifiant

\[ \left\{ \begin{array}{rcl} y'(t) &=&f(t,y(t))\,,\forall t\in I\,,\\ y(t_0) &=&y_0\,, \end{array} \right. \] avec \(f:I\times\R\rightarrow\R\) une fonction donnée.

La première ligne du problème de Cauchy fournit l'EDO du premier ordre à résoudre. L'EDO est ici donnée sous forme explicite.

La seconde ligne correspond à la condition de Cauchy : \(t_0\in I\) est le point (ou le moment) initial et \(y_0\) est la valeur (donnée) initiale.

Remarque:

On note qu'en intégrant la première ligne du problème de Cauchy entre \(t_0\) et \(t\), on obtient

\[ \int_{t_0}^{t}{y'(\tau)d\tau} = \int_{t_0}^{t}{f(\tau,y(\tau))d\tau}\,. \]

Ainsi, comme le terme de gauche n'est autre que \(y(t)-y(t_0)\), le problème de Cauchy peut être écrit de manière équivalente sous forme intégrale :

\[ y(t) = y(t_0) + \int_{t_0}^{t}{f(\tau,y(\tau))d\tau} \equiv y_0 + \int_{t_0}^{t}{f(\tau,y(\tau))d\tau}\,. \]

La solution au problème de Cauchy est souvent appelée ''l'intégrale'' de l'EDO.