Le Théorème de Cauchy-Lipschitz

Existence et unicité des solutions d'équations différentielles

Introduction

Le théorème de Cauchy-Lipschitz, également connu sous le nom de théorème de Picard-Lindelöf, est un résultat fondamental en théorie des équations différentielles ordinaires.

Problème de Cauchy

Considérons le problème de Cauchy suivant :

$$\begin{cases} y'(t) = f(t, y(t)) \\ y(t_0) = y_0 \end{cases}$$

où $f$ est une fonction définie sur un domaine $D \subset \mathbb{R}^2$ et $(t_0, y_0) \in D$.

La question centrale est : existe-t-il une solution unique à ce problème ?

Énoncé du Théorème

Théorème de Cauchy-Lipschitz

Soit $f : D \to \mathbb{R}$ une fonction définie sur un domaine ouvert $D \subset \mathbb{R}^2$ et $(t_0, y_0) \in D$.

Si :

  1. $f$ est continue sur $D$
  2. $\frac{\partial f}{\partial y}$ existe et est continue sur $D$ (condition de Lipschitz locale)

Alors :

Il existe un intervalle $I$ contenant $t_0$ et une fonction $y : I \to \mathbb{R}$ unique telle que :

$$\begin{cases} y'(t) = f(t, y(t)) \text{ pour tout } t \in I \\ y(t_0) = y_0 \end{cases}$$

Remarque importante

La solution est unique localement, c'est-à-dire sur un voisinage de $t_0$. Pour l'existence globale, des conditions supplémentaires sont nécessaires.

Analyse des Conditions

1. Continuité de f

La fonction $f(t, y)$ doit être continue sur le domaine $D$. Cette condition assure l'existence d'au moins une solution.

2. Condition de Lipschitz

La condition $\frac{\partial f}{\partial y}$ continue est équivalente à la condition de Lipschitz locale :

Condition de Lipschitz locale

Pour tout point $(t_0, y_0) \in D$, il existe un voisinage $V$ de $(t_0, y_0)$ et une constante $L > 0$ telle que :

$$|f(t, y_1) - f(t, y_2)| \leq L |y_1 - y_2|$$

pour tous $(t, y_1), (t, y_2) \in V$.

Esquisse de Démonstration

La démonstration repose sur la méthode des approximations successives de Picard.

Étape 1 : Formulation intégrale

Le problème différentiel est équivalent à l'équation intégrale :

$$y(t) = y_0 + \int_{t_0}^t f(s, y(s)) ds$$

Étape 2 : Approximations de Picard

On construit une suite de fonctions :

$$\begin{cases} y_0(t) = y_0 \\ y_{n+1}(t) = y_0 + \int_{t_0}^t f(s, y_n(s)) ds \end{cases}$$

Étape 3 : Convergence uniforme

On montre que la suite $(y_n)$ converge uniformément vers une fonction $y$ sur un intervalle $[t_0 - h, t_0 + h]$ pour $h$ suffisamment petit.

Étape 4 : Solution de l'équation

La limite $y$ vérifie l'équation intégrale, donc l'équation différentielle.

Étape 5 : Unicité

Si $y_1$ et $y_2$ sont deux solutions, la condition de Lipschitz permet de montrer que $y_1 = y_2$.

Exemples d'Application

Exemple 1

Équation linéaire

$y' = ay + b$

Exemple 2

Équation de Bernoulli

$y' = y - y^2$

Contre-exemple

Violation de Lipschitz

$y' = \sqrt{|y|}$

Applications et Généralizations

Systèmes d'équations différentielles

Le théorème s'étend aux systèmes :

$$\begin{cases} \mathbf{y}'(t) = \mathbf{f}(t, \mathbf{y}(t)) \\ \mathbf{y}(t_0) = \mathbf{y}_0 \end{cases}$$

Applications pratiques

  • Mécanique : Équations du mouvement
  • Électronique : Circuits RLC
  • Biologie : Modèles de population
  • Économie : Modèles de croissance

Limites du théorème

Attention : Le théorème garantit seulement l'existence locale. Pour l'existence globale, il faut des hypothèses supplémentaires (croissance de $f$, etc.).