Una desigualdad de comparación integral (y diferencial) que acota una función que satisface una desigualdad integral lineal mediante un factor exponencial explícito; se usa para obtener cotas explícitas de crecimiento o decaimiento y para probar unicidad y estabilidad de soluciones.

Principio

Si u(t) ≤ a(t) + ∫_{t0}^t b(s) u(s) ds con b≥0 e integrable, entonces u(t) queda acotada por una cantidad que implica exp(∫ b); en la forma estándar u(t) ≤ C exp(∫_{t0}^t b(s) ds).

Demostración

Para dos soluciones y y z de una EDO con miembro derecho Lipschitz, la diferencia u=|y−z| satisface u(t) ≤ ∫_0^t L u(s) ds; Gronwall da u(t) ≤ 0·e^{Lt}=0, probando unicidad, y proporciona estimaciones de estabilidad con factores exponenciales explícitos.

Aplicación incorrecta

Emplear Gronwall cuando el coeficiente b no es integrable o cuando u puede ser negativa sin ajustar los signos lleva a cotas incorrectas; ignorar las hipótesis de medibilidad o continuidad invalida la conclusión.

Consecuencia

Proporciona cotas explícitas que cuantifican cómo se propagan los errores iniciales (crecimiento/decaimiento exponencial), sustenta estabilidad y dependencia continua, y es herramienta básica para estimaciones a priori en EDOs y EDPs.

Inversión

Si la desigualdad integral está invertida (u ≥ a + ∫ b u), los razonamientos tipo Gronwall dan cotas inferiores en lugar de superiores, pero hay que manejar cuidadosamente signos e integrabilidad; la ausencia de no negatividad rompe la conclusión habitual.

Límite

Se aplica a funciones que satisfacen condiciones apropiadas de medibilidad/continuidad e integrabilidad, típicamente con kernel b no negativo; no trata directamente kernels singulares, coeficientes que cambian de signo sin modificación, ni desigualdades integrales completamente no lineales.

Tensión semántica

Entraría en tensión con estimaciones perturbativas ingenuas que ignoran la acumulación integral: las cotas punto por punto pierden la amplificación exponencial acumulada que Gronwall captura; también difiere de métodos de barrera que usan sub/sobre-soluciones en lugar de comparaciones integrales.

Síntesis

La Desigualdad De Gronwall consolida comparación y control exponencial: cuando una función está acotada por su propia integral con kernel no negativo, Gronwall convierte esa restricción autorreferencial en una estimación exponencial explícita, permitiendo conclusiones de unicidad y estabilidad.