Lemme des bouts — Wikipédia

En mathématiques, et plus précisément en analyse, le lemme des bouts (ou lemme de sortie des compacts, ou théorème d'explosion en temps fini) permet de reconnaître les solutions maximales d'une équation différentielle[1]. C'est une réciproque partielle au fait que toute solution globale est maximale.

Énoncé du lemme

[modifier | modifier le code]

Soit une fonction qui satisfait les hypothèses du théorème de Cauchy-Lipschitz et une solution de l'équation . La solution est maximale à droite si et seulement si

  • soit ;
  • soit et, lorsque , x(t) sort définitivement de tout compact de U.

De même dans le passé (solutions maximales à gauche)[1].

Références

[modifier | modifier le code]
  1. a et b Dominique Hulin, Équations différentielles ordinaires, , 119 p. (lire en ligne), pages 44–45