Lema de Gronwall

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

El lema de Gronwall establece una cota superior para las funciones no negativas que puedan acotarse por una función lineal de su integral. Este lema es de gran utilidad para probar la continuidad y unicidad de soluciones de ecuaciones diferenciales ordinarias.


Enunciado y demostración[editar]

Sean \,f \colon I \subseteq \mathbb{R} \to \mathbb{R} y x_0 \in I tales que:

0 \leq f_{(x)} \leq A + B \int_{x_o}^x{f_{(s)}ds} \;\;\; \forall x\in I.

con A y B ≥ 0 constantes.

Entonces:

f_{(x)} \leq A\,e^{B(x-x_0)}

Demostración[editar]

Sea \,G_{(x)}=\int_{x_o}^x{f_{(s)}ds}. Por la hipótesis se tiene que:


G'_{(x)}-B \, G_{(x)} \leq A


Luego, multiplicando ambos miembros por e^{-B(x-x_0)} se obtiene:


e^{-B(x-x_0)}G'_{(x)}-B \,e^{-B(x-x_0)} G_{(x)} \leq e^{-B(x-x_0)}A


que equivale a:


(e^{-B(x-x_0)} G_{(x)} )' \leq A\,e^{-B(x-x_0)}


Integrando entre x_0 y x:


\int_{x_o}^x{(e^{-B(s-x_0)} G_{(s)})'ds} \leq A\int_{x_o}^x{e^{-B(s-x_0)}ds}


 e^{-B(x-x_0)} G_{(x)}-G_{(x_0)} \leq -\frac{A}{B}(e^{-B(x-x_0)}-1)


Por como fue definida, G_{(x_0)}=0. Multiplicando ahora por e^{B(x-x_0)} :


G_{(x)} \leq \frac{A}{B}(e^{B(x-x_0)}-1)


Si reemplazamos la integral por G en la ecuación original:


f_{(x)} \leq A + B\,\frac{A}{B}(e^{B(x-x_0)}-1)


De donde se deduce que:


f_{(x)} \leq A\,e^{B(x-x_0)}