dependientes de un parmetro)
Dada una funcin (x, t) f (x, t) definida y continua para x U, t I ,
donde U, I R, I un intervalo
podemos definir una nueva funcin F por:
Z
F (x) = f (x, t)dt, para x U
I
Vamos a estudiar propiedades de continuidad y derivabilidad de esta funcin
F.
(Esta frmula se conoce como Regla de Leibniz para derivacin bajo el signo
de integral)
Z u2 (x)
Teorema 2 Si F (x) = f (x, t)dt para a x b, donde
u1 (x)
f
(x, t) f (x, t) y (x, t) (x, t)
x
son continuas en una regin del plano que incluye al conjunto
{(x, t) R2 : a x b, u1 (x) t u2 (x)} siendo u1 , u2 de clase C 1 en
[a, b], entonces se tiene que F es derivable y
"Z #
u2 (x)
d
F 0 (x) f (x, t)dt
dx u1 (x)
Z u2 (x)
f
= (x, t)dt + f (x, u2 (x))u02 (x) f (x, u1 (x))u01 (x)
u1 (x) x
1
Z 1
dt
Ejemplo.- Clculo de 2 2
.
Z 1 0 (t + 1)
dt 1 1
Tomando (x) = 2
= arctan podemos aplicar la regla
0 (t + x) x x
de Leibniz para obtener
Z1
0 dt 1 12 x3/2 1 1
(x) = = arctan
(t2 + x)2 x 1 2x x x
0 1+
x
Z 1
dt 0
1 1
1 1
y de aqu: 2 2
= (1) = 2 2
+ arctan 1 =2 2+4 .
0 (t + 1) Z x
sin xt
Ejemplo.- Estudio de la funcin (x) = dt para x > 0
x2 t
sin xt f
Aqu f (x, t) = y (x, t) = cos xt satisfacen las condiciones del
t x
Teorema anterior. Luego es derivable y
Z x
0
(x) = cos xt dt + f (x, x)1 f (x, x2 )2x
x2
1 1 sin x3
= sin xt|xx2 + sin x2 2x
x x x2
1
= sin x2 sin x3 + sin x2 2 sin x3
x
1
= 2 sin x2 3 sin x3
x
2
Rb
O sea, el lmite F (x) = lim f (x, t)dt es uniforme en K.
b a
Z
sin t 1 1
Dado que 2 2 para todo x y todo t 1, y adems dt
x +t 2 t 2
1 t
converge, nuestra integral impropia converge uniformemente en toda la recta
R.
Teorema 5 Si: R
i) la integral F (x) = a f (x, t)dt converge para un valor x0 U.
f
ii) las funciones f y son continuas sobre U [a, [.
x
R f
iii) la integral a (x, t)dt converge uniformemente sobre todo intervalo
x
compacto de U.
entonces, R
a) la integral F (x) = a f (x, t)dt converge uniformemente sobre todo inter-
valo compacto de U.
b) la funcin F es derivable y
Z
0 d
F (x) f (x, t)dt
dx
Z a
f
= (x, t)dt
a x
Z xt
e
Ejercicio.- Sea F (x) = 2
dt, definida para x > 0
0 1+t
a) Justifique el hecho que F es dos veces derivable.
00 1
b) Muestre que F satisface la ecuacin diferencial: F (x) + F (x) = .
x