Lema de Barbalat

Sea f () una funcin diferenciable, f : R R tal que f = df /dt es uniformemente continua. Si o existe limt f (t) , entonces lim f (t) = 0.
t

Prueba: Se prueba el lema por contradiccin. Se supone que f (t) no converge a 0 cuando t . o Entonces para cada T > 0 se puede encontrar un > 0, de manera que para algn t1 T se u o verica que f (t1 ) . Como por hiptesis f () es uniformemente continua, dado /2 > 0 existe un (/2) para el cual f (ti + ) f (ti ) < 2 para todo ti > 0, y para todo [0, ]. Entonces, para cada t [ti , ti + ] se verica que f (t) = f (t) f (ti ) + f (ti ) f (ti ) f (t) f (ti ) > = . 2 2 a Si f(ti ) > 0 se tiene que para cualquier t [ti , ti + ] es f(t) > /2 (si f(ti ) < 0 el anlisis es similar). Por lo tanto, Z ti + Z ti + f(t) dt > dt = . (1) 2 2 ti ti Sin embargo, Z
ti +

ti

f(t) dt = f (ti + ) f (ti )

(2)

De (1) y (2) resulta

para todo i, 2 que contradice la hiptesis que f (t) tiene l o mite nito cuando t . f (ti + ) f (ti ) >

Una condicin suciente para que una funcin diferenciable sea uniformemente continua es que o o su derivada sea acotada. En consecuencia, si una funcin f () es diferenciable al menos dos veces, o su derivada f() es uniformemente continua si la segunda derivada f () es acotada. La condicin de continuidad uniforme es necesaria pues que la funcin f () tenga l o o mite cuando t no asegura que f() 0 cuando t . Por ejemplo, la funcin f (t) = et sen(e2t ) o tiende a cero con una envolvente exponencial, pero f (t) = et sen(e2t ) + et cos(e2t )2e2t = et sen(e2t ) + 2et cos(e2t ) crece ilimitadamente, con oscilaciones de frecuencia cada vez mayor. En cambio, si f() tiene una derivada acotada, f() es uniformemente continua.

Referencias
S. Zak, Systems and Control, Oxford University Press, New York, 2003, p. 210.