En mathématiques , le lemme de Grönwall , aussi appelé inégalité de Grönwall, nommé d'après Thomas Hakon Grönwall qui l'établit en 1919, permet l'estimation d'une fonction qui vérifie une certaine inégalité différentielle. Le lemme existe sous trois formes, intégrale , différentielle et discrète .
Le lemme de Grönwall constitue la justification et l'outil d'obtention de nombreuses approximations des solutions d'équations différentielles ordinaires. En particulier, il est utilisé pour démontrer l'unicité d'une solution au problème de Cauchy , au travers du théorème de Cauchy-Lipschitz [ 1] .
Si
ψ
≥
0
{\displaystyle \psi \geq 0}
et
ϕ
{\displaystyle \phi }
sont des fonctions continues qui vérifient :
∀
t
≥
t
0
ϕ
(
t
)
≤
K
+
∫
t
0
t
ψ
(
s
)
ϕ
(
s
)
d
s
{\displaystyle \forall t\geq t_{0}\quad \phi (t)\leq K+\int _{t_{0}}^{t}\psi (s)\phi (s)\,\mathrm {d} s}
où
K
{\displaystyle K}
est une constante, alors :
∀
t
≥
t
0
ϕ
(
t
)
≤
K
exp
(
∫
t
0
t
ψ
(
s
)
d
s
)
{\displaystyle \forall t\geq t_{0}\quad \phi (t)\leq K\exp \left(\int _{t_{0}}^{t}\psi (s)\,\mathrm {d} s\right)}
.
Démonstration
Soit
f
(
t
)
=
K
+
∫
t
0
t
ψ
(
s
)
ϕ
(
s
)
d
s
exp
(
∫
t
0
t
ψ
(
s
)
d
s
)
{\displaystyle f(t)={\frac {K+\int _{t_{0}}^{t}\psi (s)\phi (s)\,\mathrm {d} s}{\exp \left(\int _{t_{0}}^{t}\psi (s)\,\mathrm {d} s\right)}}}
.
Alors,
f
′
(
t
)
=
ψ
(
t
)
ϕ
(
t
)
−
K
−
∫
t
0
t
ψ
(
s
)
ϕ
(
s
)
d
s
exp
(
∫
t
0
t
ψ
(
s
)
d
s
)
≤
0
{\displaystyle f'(t)=\psi (t){\frac {\phi (t)-K-\int _{t_{0}}^{t}\psi (s)\phi (s)\,\mathrm {d} s}{\exp \left(\int _{t_{0}}^{t}\psi (s)\,\mathrm {d} s\right)}}\leq 0}
donc
∀
t
≥
t
0
f
(
t
)
≤
f
(
t
0
)
=
K
{\displaystyle \forall t\geq t_{0}\quad f(t)\leq f(t_{0})=K}
, c'est-à-dire que la fonction majorante de l'hypothèse est elle-même majorée par celle de la conclusion.
En particulier, si
K
=
0
{\displaystyle K=0}
et
ϕ
≥
0
{\displaystyle \phi \geq 0}
alors
ϕ
=
0
{\displaystyle \phi =0}
.
Il existe une version plus générale du lemme de Grönwall dans le cas où
K
{\displaystyle K}
est une fonction de
t
{\displaystyle t}
. Si
∀
t
≥
t
0
ϕ
(
t
)
≤
K
(
t
)
+
∫
t
0
t
ψ
(
s
)
ϕ
(
s
)
d
s
{\displaystyle \forall t\geq t_{0}\quad \phi (t)\leq K(t)+\int _{t_{0}}^{t}\psi (s)\phi (s)\,\mathrm {d} s}
alors
∀
t
≥
t
0
ϕ
(
t
)
≤
K
(
t
)
+
∫
t
0
t
K
(
s
)
ψ
(
s
)
exp
(
∫
s
t
ψ
(
τ
)
d
τ
)
d
s
{\displaystyle \forall t\geq t_{0}\quad \phi (t)\leq K(t)+\int _{t_{0}}^{t}K(s)\psi (s)\exp \left(\int _{s}^{t}\psi (\tau )\,\mathrm {d} \tau \right)\,\mathrm {d} s}
Enfin, si la fonction
K
{\displaystyle K}
est croissante, alors
∀
t
≥
t
0
ϕ
(
t
)
≤
K
(
t
)
exp
(
∫
t
0
t
ψ
(
s
)
d
s
)
{\displaystyle \forall t\geq t_{0}\quad \phi (t)\leq K(t)\exp \left(\int _{t_{0}}^{t}\psi (s)\,\mathrm {d} s\right)}
Si l'inéquation différentielle suivante est vérifiée :
d
ϕ
d
t
(
t
)
≤
ψ
(
t
)
ϕ
(
t
)
{\displaystyle {\frac {\mathrm {d} \phi }{\mathrm {d} t}}(t)\leq \psi (t)\phi (t)}
,
alors on a l'inégalité :
ϕ
(
t
)
≤
ϕ
(
t
0
)
exp
(
∫
t
0
t
ψ
(
s
)
d
s
)
{\displaystyle \phi (t)\leq \phi (t_{0})\exp \left(\int _{t_{0}}^{t}\psi (s)\,\mathrm {d} s\right)}
pour
t
≥
t
0
{\displaystyle t\geq t_{0}}
.
En particulier, si
ϕ
(
t
0
)
=
0
{\displaystyle \phi (t_{0})=0}
, alors
∀
t
≥
t
0
ϕ
(
t
)
≤
0
{\displaystyle \forall t\geq t_{0}\quad \phi (t)\leq 0}
.
Il est important de noter que la forme différentielle du lemme de Grönwall reste vraie sans l'hypothèse de positivité sur la fonction
ψ
{\displaystyle \psi }
.
La version discrète du lemme de Grönwall se présente dans la littérature en une multitude de déclinaisons.
Elle est couramment utilisée pour étudier la stabilité numérique des schémas d'intégration .
Considérons les trois suites de nombres réels positifs suivantes :
Δ
t
n
{\displaystyle \Delta t_{n}}
le pas de temps à chaque itération ,
e
n
{\displaystyle e_{n}}
l'erreur totale (accumulée) à l'itération
n
{\displaystyle n}
,
ε
n
{\displaystyle \varepsilon _{n}}
l'erreur supplémentaire apportée par l'itération
n
{\displaystyle n}
.
Considérons de plus le nombre réel positif
λ
{\displaystyle \lambda }
qui représente un facteur d'amplification de l'erreur.
Finalement, ajoutons, pour simplifier l'écriture :
t
n
{\displaystyle t_{n}}
le temps à l'itération
n
{\displaystyle n}
,
de sorte que
t
n
=
t
0
+
∑
i
=
0
n
−
1
Δ
t
i
{\displaystyle t_{n}=t_{0}+\sum _{i=0}^{n-1}\Delta t_{i}}
.
Si de plus les erreurs successives sont liées par
∀
n
≥
0
e
n
+
1
≤
(
1
+
λ
Δ
t
n
)
e
n
+
ε
n
{\displaystyle \forall n\geq 0\quad e_{n+1}\leq (1+\lambda \Delta t_{n})e_{n}+\varepsilon _{n}}
,
alors :
e
n
≤
e
(
t
n
−
t
0
)
λ
e
0
+
∑
i
=
0
n
−
1
e
λ
(
t
n
−
t
i
+
1
)
ε
i
{\displaystyle e_{n}\leq e^{(t_{n}-t_{0})\lambda }e_{0}+\sum _{i=0}^{n-1}e^{\lambda (t_{n}-t_{i+1})}\varepsilon _{i}}
.
La démonstration se fait par récurrence en remarquant que
1
+
μ
≤
e
μ
{\displaystyle 1+\mu \leq e^{\mu }}
pour tout
μ
≥
0
{\displaystyle \mu \geq 0}
.
↑ (en) Gastão S. F. Frederico , J. Vanterler da C. Sousa et Azizollah Babakhani , « Existence and uniqueness of global solution for a Cauchy problem and g-variational calculus », Computational and Applied Mathematics , vol. 40, no 6, septembre 2021 (ISSN 2238-3603 et 1807-0302 , DOI 10.1007/s40314-021-01620-5 , lire en ligne , consulté le 9 juillet 2024 )
Sur les autres projets Wikimedia :
(en) J. A. Oguntuase, « On an inequality of Gronwall », Journal of Inequalities in Pure and Applied Mathematics , vol. 2, no 1, 2001 (lire en ligne [archive du 28 juillet 2008 ] )