Lema de Grönwall

Em matemática, o lema de Grönwall estabelece uma importante estimativa aplicável à desigualdade envolvendo derivadas ou integrais. Existem duas versões do lema, a integral e a diferencial.

O Lema de Grönwall é uma ferramenta usada para obter variadas estimativas em equações diferenciais ordinárias.

Em particular, é usado para provar a unicidade de uma solução para o valor inicial do problema (como no Teorema de Picard-Lindelöf).

O Lema de Grönwall é nomeado a partir de Thomas Hakon Grönwall (1877-1932).

Versão Integral

Se, para $t_{0}\leq t\leq t_{1}$, $\phi (t)\geq 0$ e $\psi (t)\geq 0$ são funções contínuas tais que a desigualdade

$\phi (t)\leq K+L\int _{t_{0}}^{t}\psi (s)\phi (s)\,\mathrm {d} s$

se mantenha em $t_{0}\leq t\leq t_{1}$, com $K$ e $L$ sendo constantes positivas, então

$\phi (t)\leq K\exp \left(L\int _{t_{0}}^{t}\psi (s)\,\mathrm {d} s\right)$

sendo $t_{0}\leq t\leq t_{1}.$

Demonstração

É fácil ver que:

${\frac {\phi (t)}{K+L\int _{t_{0}}^{t}\psi (s)\phi (s)\,\mathrm {d} s}}\leq 1$

definindo $u(t):=K+L\int _{t_{0}}^{t}\psi (s)\phi (s)\,\mathrm {d} s$, temos:

${\frac {u'}{u}}\leq L\psi (s)$

Integrando entre $t_{0}\,$ e $t\,$, obtemos:

$\ln u-\ln u(t_{0})\leq L\int _{t_{0}}^{t}\psi (s)ds$

Usando exponenciais:

$u(t)\leq u(t_{0})\exp \left(L\int _{t_{0}}^{t}\psi (s)ds\right)$

como $u(t_{0})=K\,$ e $\phi (t)\leq u(t)\,$, vale:

$\phi (t)\leq K\exp \left(L\int _{t_{0}}^{t}\psi (s)ds\right)$

Versão Diferencial

Seja $u(t)\,$ uma função não negativa e diferenciável em $[0,T]\,$, que satisfaz:

$u'(t)\leq f(t)u(t)+g(t)\,$, onde $f(t)\,$ e $g(t)\,$ são funções integráveis em [0,T].

Então:

• $u(t)\leq u(0)e^{\int _{0}^{t}f(\tau )d\tau }+\int _{0}^{t}g(s)e^{\int _{s}^{t}f(\tau )d\tau }ds,~\forall t\in [0,T]\,$

Se $f(t)\,$ e $g(t)\,$ forem não negativas, então a expressão se simplifica a:

$u(t)\leq e^{\int _{0}^{t}f(\tau )d\tau }\left[u(0)+\int _{0}^{t}g(s)ds\right],\forall t\in [0,T]\,$

Demonstração

Basta multiplicar a expressão pelo fator integrante $e^{\int _{0}^{t}f(\tau )d\tau }\,$ e rearranjar os termos:

$\left(u(t)e^{-\int _{0}^{t}f(\tau )d\tau }\right)'\leq g(t)e^{-\int _{0}^{t}f(\tau )d\tau }\,$

Integra-se de 0 a t:

$u(t)e^{-\int _{0}^{t}f(\tau )d\tau }-u(0)\leq \int _{0}^{t}g(s)e^{-\int _{0}^{s}f(\tau )d\tau }ds\,$

$u(t)\leq e^{\int _{0}^{t}f(\tau )d\tau }\left[u(0)+\int _{0}^{t}g(s)e^{\int _{s}^{t}f(\tau )d\tau }ds\right]\,$