Appunti riguardo il Lemma di Grönwall

in forma differenziale e in forma integrale

Lemma di Grönwall (in forma differenziale). Siano B(t) e u(t) funzioni continue a valori reali
definite su un intervallo I dell’asse reale della forma

I := [t0 , T ] oppure I := [t0 , T ) oppure I := [t0 , ∞) con t0 , T ∈ R e t0 < T.

Se la funzione u(t) è differenziabile in ˚I (ossia, nella parte interna di I) e soddisfa la disuguaglianza

differenziale
d
u(t) ≤ B(t) u(t), ∀t ∈ ˚ I,
dt
allora
u(t) ≤ u(t), ∀t ∈ I,
dove u(t) è soluzione del seguente problema di Cauchy

d

 dt u(t) = B(t) u(t),

 t∈˚
I,



u(t0 ) = u(t0 ),


ossia Z t 
u(t) = u(t0 ) exp B(s)ds , t ∈ I.
t0

Lemma di Grönwall in forma integrale, o Lemma di Grönwall-Bellman. Siano A(t), B(t)

e u(t) funzioni a valori reali definite su un intervallo I dell’asse reale della forma sopra indicata. Siano
le funzioni B(t) e u(t) continue in I e sia la parte negativa della funzione A(t) integrabile in ogni
sottointervallo chiuso e limitato di I.

(i) Se la funzione B(t) è non-negativa e la funzione u(t) soddisfa la seguente disuguaglianza integrale
Z t
u(t) ≤ A(t) + B(s) u(s) ds, ∀t ∈ I,
t0

allora Z t Z t 
u(t) ≤ A(t) + A(s) B(s) exp B(z) dz ds, ∀t ∈ I.
t0 s

(ii) Se, inoltre, la funzione A(t) è non-decrescente, allora

Z t 
u(t) ≤ A(t) exp B(s) ds , ∀t ∈ I.
t0

(iii) Se, inoltre, t0 = 0, A(t) ≡ α ∈ R+ e B(t) ≡ β ∈ R+ allora

 
u(t) ≤ α 1 + β t exp (βt) , ∀t ∈ I.
Connessione tra la forma integrale e la forma differenziale del Lemma di Grönwall. Sia
I un intervallo dell’asse reale della forma sopra indicata. Sia u(t) una funzione a valori reali definita
su I che sia continua in I e differenziabile in ˚
I. Inoltre, la funzione u(t) soddisfi la seguente condizione
puntuale
u(t0 ) = u0
e la seguente disuguaglianza differenziale
d
u(t) ≤ B(t) u(t), ∀t ∈ ˚
I,
dt
dove B(t) è una funzione a valori reali definita su I e continua in I. Grazie alla proprietà di monotonia
dell’integrale, integrando la suddetta disuguaglianza differenziale si ottiene
Z t Z t
u(t) ≤ u(t0 ) + B(s) u(s) ds, ∀t ∈ I =⇒ u(t) ≤ u0 + B(s) u(s) ds, ∀t ∈ I.
t0 t0

Quindi, se la funzione B(t) è non-negativa, il Lemma di Grönwall in forma integrale (vedasi (ii) con
A(t) ≡ u0 ) ci permette di concludere che
Z t 
u(t) ≤ u0 exp B(s) ds =: u(t), ∀t ∈ I.
t0

D’altra parte, la funzione u(t) cosı̀ definita è soluzione del seguente problema di Cauchy

d

˚
 dt u(t) = B(t) u(t), t ∈ I,





u(0) = u0 ,


ossia si ha il risultato del Lemma di Grönwall in forma differenziale.