Derivacin bajo el signo integral o

1. Teorem (derivacin bajo el signo integral, regla de Leibniz). Sean un subo conjunto medible de Rn , un intervalo de R, f : C. Se supone: i) , f L1 (). Denimos () :=

f (x, ) dx.

ii) para casi todo x la funcin fx es derivable. o iii) g L1 () tal que |fx ()| g(x) para casi todo x y . Entonces la funcin x fx () es integrable en , es derivable en y o () =

fx () dx.

2. Corolario. Cambiamos la hiptesis ii) del teorema por la siguiente: o 1 ii) para casi todo x , fx C (). Entonces C 1 (). 3. Corolario. Sea un subconjunto compacto de Rn y un intervalo compacto de R. Sea f : C. Se supone: i) , f L1 (). Denimos () :=

f (x, ) dx.

ii) la funcin (x, ) fx () existe y es continua en K . o Entonces C 1 () y () =

fx () dx.

4. Regla de Leibniz con l mites de integracin variables. Sean X, Y intervalos o abiertos en R y f : X Y C una funcin continua. Se supone que (x, y) X Y o existe 2 f (x, y) y que existe g L1 (X, R) tal que |2 f (x, y)| g(x) (x, y) X Y . Sean , funciones derivables Y X. Se dene y Y :
(y)

(y) =
(y)

f (x, y)dx.

Pruebe que es derivable en Y y calcule su derivada. pgina 1 de 3 a

5. Derivadas sucesivas de la funcin . C en (0, +) y o

+ (k)

(x) =
0

et tx1 (ln t)k dt.

6. Propiedades de la funcin . o 1. (x + 1) = x(x) x > 0. 2. (1) = 1. 3. (n + 1) = n!. 4. (x) > 0 x > 0. 5. (1, 2) tal que () = 0. 6. (x) + cuando x +. 7. (x)
1 x

cuando x +0.

El clculo numrico dice que 1.4616, () 0.8866. a e 7. Sea S un subconjunto medible en Rn . Sean f : S C, g : S R funciones medibles en S. Se supone que g(x) > 0 x S y que existe 0 > 0 tal que la funcin x e0 g(x) f (x) o es integrable en S. Se pone > 0 : () :=
S

eg(x) f (x) dx.

Muestre que est bien denida, que C (0 , +) y que k N y > 0 a (k) () = (1)k
S +

eg(x) (g(x))k f (x) dx.

Aplicacin: Para > 0 y k N calcule la integral o

0

ex xk dx.

8. Para todo x R se denen x f (x) :=

0

2 e
t2

dt ,

g(x) :=
0

ex (t +1) dt. t2 + 1

pgina 2 de 3 a

a) Demuestre que x R f (x) + g (x) = 0 y deduzca que f (x) + g(x) = . 4 b) Utilice a) para calcular la integral de Poisson:
+ t2

e
0

dt = . 2
1ex x2
2

9. a) Sea 0. Muestre que la funcin x o

+

es integrable en [0, +). Se pone

2

F () :=
0

1 ex dx. x2

Muestre que F es continua en [0, +). b) Pruebe que para > 0 se puede derivar F bajo el signo integral. Efectuando esta derivacin calcule expl o citamente F (). 10. Fijando a > 0 se pone
+

f (b) :=
0

eax cos bx dx

b 0.

Establezca la relacin o f (b) = Deduzca que

+

b f (b). 2a 1 2 b2 e 4a . a

eax cos bx dx =
0

pgina 3 de 3 a