Problema (Desigualdad de Gronwall Generalizado)

Sean : [0, T ] R+ y u, w : [0, T ] R funciones continuas. Suponga que u satisface

Z t
u(t) w(t) +
(s)u(s)ds, t [0, T ].
0

Demuestre que

u(t) w(t) +
(Sug. Defina r(t) =

Rt
0

(s)w(s) exp

(z)dz ds.

(s)u(s)ds, que puede decir acerca de r0 (t)r?).

Demostraci
on:
Rt
Sea r(t) = 0 (s)u(s)ds, entonces por TFC se tiene que r0 (t) = (t)u(t). Luego
r0 (t) (t)r(t) = (t)[u(t) r(t)].
Por hipotesis u(t) w(t) + r(t). Debido a que (t) 0, podemos multiplicar a la desigualdad
anterior por (t), y as obtener:
(t)[u(t) r(t)] (t)w(t).
Luego,
r0 (t) (t)r(t) (t)w(t).
Multiplicando por el factor integrante e

Rt
0

(z)dz

se obtiene:

Rt
d R t (z)dz
r(t)] e 0 (z)dz (t)w(t).
[e 0
dt

Ahora, integrando de 0 hasta t:

e

Rt
0

Z
(z)dz

r(t)

(s)w(s)e

Rs
0

(z)dz

ds.

De esta expresion se deduce que:

Z

r(t)

(s)w(s)[e

Rt
0

(z)dz

Rs
0

(z)dz

]ds,

el cual es equivalente a escribir:

Z

r(t)

(s)w(s)e

Rt
s

(z)dz

ds.

Por tanto, sustituyendo en la hipotesis:

Z

u(t) w(t) +

Rt

(s)w(s)e

(z)dz

ds.

Problema (Desigualdad de Gronwall)

Si w(t) = W , with W R+ , muestre que la desigualdad anterior se reduce a:
Z t

u(t) W exp
(z)dz .
0

Demostraci
on:
Sustituyendo el valor de la funcion w(t) = W (constante) en la desigualdad anterior nos resulta:
Z t
Rt
u(t) W + W
(s)e s (z)dz ds.
0

Por otra parte, note que

Rs
Rt
d R t (z)dz
d R s (z)dz
es
=
e t
= (s)e t (z)dz = (s)e s (z)dz .
ds
ds

Usando esto en la desigualdad anterior se logra obtener que:

Z t
Rt
Rt
d R t (z)dz
0
(z)dz
0
u(t) W W
es
ds = W W [e s (z)dz ]|s=t
].
s=0 = W W [e e
ds
0
Luego,

Z
u(t) W exp

(z)dz .