Catalogue Licence
L3 • Équations Différentielles
Recherche L3

Théorème de Cauchy-Lipschitz et théorie qualitative

Existence et unicité locales, solutions maximales, explosion en temps fini, lemme de Grönwall et dépendance aux conditions initiales

Fils Rouges :Fil 5 — Complétude : fabriquer l'existence
Point d'entrée intuitif

Comment garantir qu'une équation différentielle a une solution unique alors qu'aucune formule ne la donne — et pourquoi cette solution peut-elle cesser d'exister en temps fini sans qu'aucune singularité n'apparaisse dans l'équation ?

Idée en une phrase :
Une équation différentielle équivaut à une équation intégrale, dont le second membre est une application contractante sur un petit intervalle de temps : le point fixe fournit la solution.
Généalogie historique du concept :

Cauchy démontre vers 1820 un premier théorème d'existence par la méthode des lignes brisées — approximations d'Euler successives. Lipschitz introduit en 1876 la condition qui porte son nom, et qui rend l'unicité accessible. Picard donne en 1890 la démonstration par approximations successives, essentiellement celle qu'on utilise aujourd'hui. Peano montre en 1886 que la continuité seule suffit à l'EXISTENCE, mais son contre-exemple établit qu'elle ne donne jamais l'unicité. Poincaré renverse enfin la perspective vers 1880 : plutôt que de chercher des formules, il étudie l'allure globale des trajectoires.

Pourquoi CETTE définition formelle :

Pourquoi reformuler l'équation différentielle en équation INTÉGRALE avant de la résoudre ? Parce que la dérivation est une opération instable — elle amplifie les irrégularités — alors que l'intégration régularise. L'opérateur intégral est continu et même contractant sur un petit intervalle, ce que l'opérateur de dérivation n'est jamais. Toute la théorie repose sur ce renversement.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

Le champ de vecteurs indique en chaque point la direction à suivre ; une solution est une trajectoire qui obéit à ces flèches.

Ce qu'elle capture :

L'unicité devient géométrique : par chaque point ne passe qu'une seule trajectoire, et deux trajectoires ne peuvent jamais se croiser.

⚠️ Où l'analogie ment :

L'image suggère que la trajectoire existe pour toujours. Faux : elle peut sortir du domaine, ou partir à l'infini en temps FINI — l'équation explose alors qu'elle est parfaitement régulière partout.

Modèle #2

La condition de Lipschitz est une limite de vitesse sur la variation du champ : il ne peut pas changer trop brusquement d'un point à l'autre.

Ce qu'elle capture :

C'est ce qui empêche deux trajectoires de se rejoindre ou de bifurquer : leur écart ne peut croître qu'exponentiellement, jamais s'annuler brutalement.

⚠️ Où l'analogie ment :

L'image ne dit pas que la condition est LOCALE en pratique : on l'exige seulement sur un voisinage, ce qui suffit pour l'existence locale mais autorise l'explosion à distance finie.

Modèle #3

Le lemme de Grönwall est un contrôle d'amplification : si une quantité croît au plus proportionnellement à elle-même, elle croît au plus exponentiellement.

Ce qu'elle capture :

Il transforme une inégalité intégrale implicite en une majoration explicite, ce qui donne l'unicité et la dépendance continue aux données.

⚠️ Où l'analogie ment :

L'image suggère un contrôle rassurant. La majoration exponentielle est en réalité TRÈS pessimiste sur le long terme : elle rend l'horizon de prédictibilité logarithmique en la précision, ce qui est le cœur du chaos déterministe.

Les Pièges Conceptuels Classiques

1
La continuité du champ suffit pour l'unicité.

Correction :

Faux, et le contre-exemple est élémentaire. L'équation avec admet la solution nulle, mais aussi pour , et une infinité de solutions obtenues en restant nulle un temps arbitraire puis en décollant. La racine carrée n'est pas lipschitzienne en zéro : sa pente y est infinie.

2
Une solution existe pour tout temps si le champ est défini partout.

Correction :

Faux : avec a pour solution , qui EXPLOSE en . Le champ est pourtant polynomial, défini sur tout . L'explosion vient de la croissance du champ, non d'une singularité — c'est le caractère non linéaire qui la produit.

3
Le théorème fournit un moyen de calculer la solution.

Correction :

La suite de Picard converge effectivement, mais son calcul explicite est presque toujours impraticable : chaque itération demande une intégration, et les expressions explosent en complexité. En pratique on utilise des schémas numériques — Runge-Kutta —, dont la convergence se démontre par les mêmes outils.

4
L'unicité empêche toute sensibilité aux conditions initiales.

Correction :

L'unicité est compatible avec le CHAOS. Le lemme de Grönwall majore l'écart entre deux trajectoires par une exponentielle : deux conditions initiales distantes de peuvent diverger complètement en quelques secondes, comme le pendule double du module L2-13. Le déterminisme n'implique donc pas la prédictibilité.

Glossaire des Notations Mathématiques

champ de vecteurs

indique la direction à suivre ; la condition de Lipschitz porte sur la SECONDE variable seulement

constante de Lipschitz

limite de variation du champ ; elle apparaît en exposant dans toutes les estimations

temps d'existence maximal

peut être FINI même pour un champ défini partout : c'est l'explosion