Une inégalité de comparaison intégrale (et différentielle) qui borne une fonction satisfaisant une inégalité intégrale linéaire par un facteur exponentiel explicite ; utilisée pour obtenir des bornes de croissance ou de décroissance et démontrer l'unicité et la stabilité des solutions.

Principe

Si u(t) ≤ a(t) + ∫_{t0}^t b(s) u(s) ds avec b≥0 et intégrable, alors u(t) est bornée par une quantité impliquant une exponentielle de ∫ b ; dans la forme standard u(t) ≤ C exp(∫_{t0}^t b(s) ds).

Démonstration

Pour deux solutions y et z d'une EDO à second membre Lipschitz, la différence u=|y−z| vérifie u(t) ≤ ∫_0^t L u(s) ds, et Gronwall donne u(t) ≤ 0·e^{Lt}=0, prouvant l'unicité ; de même on obtient des estimations de stabilité avec facteurs exponentiels explicites.

Mauvaise application

Employer Gronwall lorsque le coefficient b n'est pas intégrable ou lorsque u prend des valeurs négatives sans ajuster les signes conduit à des bornes incorrectes ; négliger les hypothèses de mesurabilité ou de continuité rend la conclusion invalide.

Conséquence

Fournit des bornes explicites quantifiant la propagation des erreurs initiales (croissance/déclin exponentiel), sous-tend la stabilité et la dépendance continue, et constitue un outil de base pour les estimations a priori en EDO et EDP.

Inversion

Si l'inégalité intégrale est inversée (u ≥ a + ∫ b u), des raisonnements de type Gronwall donnent des minorations, mais les conditions de signe et d'intégrabilité doivent être traitées avec soin ; l'absence de non-négativité rompt la conclusion habituelle.

Limite

S'applique à des fonctions satisfaisant des conditions de mesurabilité/continuité et d'intégrabilité appropriées, typiquement avec un noyau b non négatif ; elle ne traite pas directement des noyaux singuliers, des coefficients changeant de signe sans modification, ni des inégalités intégrales pleinement non linéaires.

Tension sémantique

S'oppose aux estimations perturbatives naïves qui ignorent l'accumulation intégrale : les bornes point par point manquent l'amplification exponentielle cumulative que Gronwall capture ; elle diffère aussi des méthodes de barrières qui utilisent des sous/sur-solutions au lieu de comparaisons intégrales.

Synthèse

L'Inégalité De Gronwall rassemble comparaison et contrôle exponentiel : lorsque une fonction est bornée par sa propre intégrale avec un noyau non négatif, Gronwall transforme cette contrainte autoréférentielle en une estimation exponentielle explicite, permettant des conclusions d'unicité et de stabilité.