Vous êtes sur la page 1sur 4

Unidad 1 Integrales Mltiples 1.

13 Derivacin bajo el signo de integral

Teorema 1. Teorema de Leibniz Sea f : [a, b] [c, d] R2 R una funcin continua y sean
, : [a, b] R funciones derivables tales que

axb

c (x) y (x) d y [c, d]

f
supongamos que existe y es continua en el conjunto
x
T = {(x, y)R2 | (x) y (x), x [a, b]}

entonces
Z (x)
F (x) = f (x, y) dy
(x)

existe es derivable y [c, d] y

Z (x)
f (x, y)
F 0 (x) = dy + f (x, (x)) 0 (x) f (x, (x))0 (x)
(x) x

Demostracin. Sea x0 [a, b] entonces podemos escribir

Z (x) Z (x0 ) Z (x0 ) Z (x)


F (x) = f (x, y) dy = f (x, y) dy + f (x, y) dy + f (x, y) dy
(x) (x) (x0 ) (x0 )

y se tiene que

Z (x0 ) Z (x0 ) Z (x0 )


F (x0 ) = f (x0 , y) dy + f (x0 , y) dy + f (x0 , y) dy
(x0 ) (x0 ) (x0 )

Facultad de Ciencias UNAM Prof. Esteban Rubn Hurtado Cruz

Clculo Diferencial e Integral IV 1


Unidad 1 Integrales Mltiples 1.13 Derivacin bajo el signo de integral

hacemos el cociente

(x0 ) (x0 ) (x)


F (x) F (x0 ) f (x, y) f (x0 , y)
Z Z Z
1 1
= f (x, y) dy + dy + f (x, y) dy
x x0 x x0 (x) (x0 ) x x0 x x0 (x0 )

tenemos que

(x)
(x) (x0 )
Z
1
f (x, y) dy = f (x, x) = 0 (x0 )(f (x0 , (x0 )))
x [(x), (x0 )] |{z}
x x0 (x0 ) x x0
xx0

(x0 ) (x0 )
f (x, y) f (x0 , y)
Z Z
f (x, y)
dy |{z}
= dy
(x0 ) x x0 (x0 ) x
xx0

(x)
(x) (x0 )
Z
1
f (x, y) dy = f (x, x) = 0 (x0 )(f (x0 , (x0 )))
x [(x0 ), (x)] |{z}
x x0 (x0 ) x x0
xx0

al sumar lo anterior se obtiene el resultado

Ejemplo Dada la funcin


Z x
F (x) = sen(xy) dy
0

calcular F 0 (x)

Solucin En este caso hacemos


f (x, y) = sen(xy)
(x) = 0, (x) = x

Facultad de Ciencias UNAM Prof. Esteban Rubn Hurtado Cruz

Clculo Diferencial e Integral IV 2


Unidad 1 Integrales Mltiples 1.13 Derivacin bajo el signo de integral

y segn la frmula de Leibniz


Z x 
F
= sen(xy) dy
x x 0
Z x 

= sen(xy) dy 0 sen(x 0) + (1)f (x, x)
0 x | {z } | {z }
0 (x) f (x,(x)) 0 (x)f (x,(x))
Z x
= y cos(xy) dy + sen(x2 )
0

Ejemplo A partir del resultado

Z 1  x  1
dx 1
= arctan =

0 x2 + a2 a a 0 4a

calcular las siguientes integrales

Z a Z a
dx dx
a) b)
0 (x2 + a2 )2 0 (x2 + a2 )3

Solucin Para el inciso a se tiene derivando la integral segn la regla de Leibniz

Z 1
dx
2 + a2
=
0 x 4a
Z a 
d dx d 
2 2
=
da 0 x +a da 4a
Z a  
1 d 
dx =
0 a x2 + a2 da 4a
Tenemos que
 
1 2a
2 2
= 2
a x +a (x + a2 )2
d 
= 2
da 4a 4a
por otro lado para (x) = a se tiene

1 1 1
f (a, x) = f (a, (x)) = 2 = 2
x2 + a2 a + a2 2a
por lo tanto
1 1
f (x, (x)) 0 (x) = 2
(a)0 = 2
2a 2a
y para (x) = 0 se tiene

1 1 1
f (a, x) = f (a, (x)) = 2 (0)0 = 2 (0) = 0
x2 +a2 0 +a 2 a

Facultad de Ciencias UNAM Prof. Esteban Rubn Hurtado Cruz

Clculo Diferencial e Integral IV 3


Unidad 1 Integrales Mltiples 1.13 Derivacin bajo el signo de integral

por lo tanto
1
f (x, (x))0 (x) = (0)0 = 0
a2
tenemos entonces que

a a
2a
Z Z
1 dx 2+
2 2 2
dx + 2 = 2 =
0 (x + a ) 2a 4a 0 (x2 2
+a ) 2 8a3

Para el inciso b se tiene al derivar lo anterior

Z a    a a
4a
Z Z
d dx d 2+ 1 3(2 + ) dx 8 + 3
= dx+ 2 = =
dx 0 (x + a2 )2
2 dx 8a3 0
2 2
(x + a ) 3 4a 8a4 0 (x2 2
+a ) 3 32a5

Facultad de Ciencias UNAM Prof. Esteban Rubn Hurtado Cruz

Clculo Diferencial e Integral IV 4