1.

Teorema Fundamental del Calculo

Vamos a considerar dos clases de funciones, definidas como integrales de otras funciones
Z t
Funciones F (t) = f (x)dx
a
definidas por
integrales. donde f : R R, y
Derivacion bajo Z
el signo de F (t) = f (x, t)dx
integral A

donde f : Rn R R
El primer tipo de integrales son las integrales indefinidas, y tienen para la integral de Lebesgue
Teorema . . .
un comportamiento similar al teorema fundamental del calculo demostrado para la integral de
Integrales Parametricas
Riemann.
El segundo tipo de funciones se llaman integrales parametricas, y estudiaremos condiciones
para determinar la continuidad y la derivabilidad de F (t).
Z b Z
JJ II
La notacion f (x)dx corresponde a f (x)dx si a b, y como en la integral de Riemann
J I a [a,b]
Z b Z a
de funciones de una variable, si a > b se entiende f (x)dx = f (x)dx
a b
 Teorema (Fundamental del Calculo).
Sea I un intervalo real, y sea f : I R una funcion Zintegrable
t
Lebesgue en I Sea a I fijo, y definamos la funcion F (t) = f (x)dx
Funciones
a
definidas por para todo t I. Entonces F es continua en I. Ademas, si f
integrales.
Derivacion bajo es continua en un punto t0 I entonces F es derivable en t0 y
el signo de F 0(t0) = f (t0)
integral
Demostracion: I (Saltar al final de la demostracion)
Sea b I fijo, b > a, y vamos a ver que F es continua en b. Sea {sk }k una sucesion en I
Teorema . . . que converja a b, y consideremos las funciones caractersticas [a,sk ] (x)
Integrales Parametricas Si x [a, b), como sk b, existe algun k0 tal que para todo k k0 se tiene sk > x, y por
tanto [a,sk ] (x) = 1 = [a,b) (x)
Y si x 6 [a, b], tambien como sk b, existe k1 tal que para todo k k1 se tiene sk < x y
por tanto [a,sk ] (x) = 0 = [a,b) (x)
JJ II
k
J I
Es decir, [a,sk ] (x) [a,b) (x) para todo x I excepto quiza para el punto b
Sea entonces fk = f [a,sk ]

fk son funciones medibles, por ser producto de funciones medibles.

 Para todo x I, x 6= b, se tiene lim fk (x) = f (x)[a,b) (x)
k

|fk (x)| |f (x)| para todo x I y para todo k.

Como f es integrable por hipotesis, podemos aplicar el teorema de convergencia dominada a

Funciones
la sucesion fk , y tenemos
definidas por
integrales. Z Z Z
Derivacion bajo f [a,b) = lim fk = lim f [a,sk ]
I k E k I
el signo de
integral es decir
Z
F (b) = lim f [a,sk ] = lim F (sk )
k I k
Teorema . . .
Integrales Parametricas por tanto F es continua en b.
La segunda parte de la demostracion se puede hacer de forma analoga a la del teorema
fundamental del calculo para la integral de Riemann.
JJ II Sea t0 tal que f es continua en t0 . Entonces dado  > 0 existe > 0 tal que si t I y
|t t0 | < , entonces |f (t) f (t0 )| < , o equivalentemente, si t I y |t t0 | < , se tiene
J I
f (t0 )  < f (t) < f (t0 ) + 
 Si t t0 se tiene entonces
Z t
(f (t0 ) )(t t0 ) f (x)dx (f (t0 ) + )(t t0 )
t0

y si t t0 se tiene
Funciones Z t0
definidas por
(f (t0 ) )(t0 t) f (x)dx (f (t0 ) + )(t0 t)
integrales. t
Derivacion bajo Rb Ra
el signo de En cualquier caso (poniendo a f = b f )
Rt
integral f (x)dx
(f (t0 ) ) t0 (f (t0 ) + )
t t0
Teorema . . .
o equivalentemente
Rt
Integrales Parametricas f (x)dx
 t0 f (t0 ) 
t t0
si t I y 0Z < |t t0 | <
JJ II t

J I
Como f (x)dx = F (t) F (t0 ), tenemos que si t I y 0 < |t t0 | < ,
t0
 
 F (t) F (t0 ) 
 f (t0 ) 
 t t0
 es decir, F (t) es derivable en t0 , y

F (t) F (t0 )
F 0 (t0 ) = lim = f (t0 )
tt0 t t0
Funciones J(Volver al enunciado) 
definidas por
integrales.
Derivacion bajo
el signo de
integral

Teorema . . .
Integrales Parametricas

JJ II
J I
 Ejercicio:
Demostrar la primera parte del teorema cuando b a

Observacion: Si f no es continua en ningun punto, la segunda mitad del teorema no tiene

sentido. Sin embargo uno de los teoremas importantes de la teora de integracion es que de hecho
Funciones
F 0 (s) = f (s) en casi todo punto, tanto si f es continua como si no. Pero esto no podemos
definidas por
demostrarlo ahora.
integrales.
Derivacion bajo
el signo de
integral

Teorema . . .
Integrales Parametricas

JJ II
J I
 2. Integrales Parametricas
Vamos a estudiar ahora algunas aplicaciones a las llamadas integrales parametricas. Con-
sideramos una familia de funciones dependientes de un parametro real t I R, del tipo
ft (x, y) = sen(t(x2 + y 2 )) para x E Rn . Esta familia de funciones se puede describir como
Funciones
una funcion en E I
definidas por
integrales.
Derivacion bajo f : E I R
el signo de (x, t) f (x, t) = ft (x)
integral
de modo que para cada valor de t I tenemos una funcion de varias variables
f (., t) : E R
Teorema . . . x f (x, t)
Integrales Parametricas
Y tambien para cada x E tenemos una funcion real de una variable real
f (x, .) : I R
JJ II t f (x, t)
J I Llamamos integral parametrica a la funcion F : I R definida por
Z
F (t) = f (x, t)dx
E
 cuando esta integral existe
Para este tipo de funciones se pueden demostrar los dos teoremas siguientes, sobre continuidad
y derivabilidad.

Funciones
definidas por
integrales.
Derivacion bajo
el signo de
integral

Teorema . . .
Integrales Parametricas

JJ II
J I
 Teorema (Continuidad de las integrales parametricas).
Sea I un intervalo real, E Rn un conjunto medible Lebesgue, y
f : E I R verificando:
Funciones a) Para cada t I, la funcion f (., t) es medible Lebesgue, y existe
definidas por
integrales. una funcion g : E R integrable Lebesgue tal que para todo t I
Derivacion bajo |f (x, t)| g(x) para casi todo x E
el signo de
integral b) Para casi todo x E, la Zfuncion f (x, .) es continua en I
Entonces la funcion F (t) = f (x, t)dx es continua en I
Teorema . . . E
Integrales Parametricas Demostracion: I (Saltar al final de la demostracion)
En primer lugar, F esta bien definida, ya que la condicion (a) nos asegura que para todo t I
la funcion f (., t) : E R es integrable.
Para probar que F es continua, sea a I fijo, y sea {tk }k una sucesion de puntos de I que
JJ II
tienda a a.
J I
Por la condicion (b), existe un subconjunto Z E con m(Z) = 0, tal que para todo
x E \ Z las funciones f (x, .) : I R son continuas. Entonces, si x E \ Z, se tiene
k
f (x, tk ) f (x, a). Es decir, la sucesion de funciones {f (., tk )}k tiende a la funcion f (., a) en
 cada punto de E \ Z.
As pues, tenemos una sucesion de funciones medibles, {f (., tk )}kN , que converge en casi
todo punto de E a una funcion f (., a), y que verifican para todo k N que |f (x, tk )| g(x)
para casi todo x E, con g una funcion integrable en E.
Funciones Aplicando el Teorema de Convergencia Dominada,
definidas por Z Z
integrales. f (x, a)dx = lim f (x, tk )dx
E k E
Derivacion bajo
el signo de es decir, F (a) = limk F (tk ). Por tanto F es continua en a.
integral J(Volver al enunciado) 

Teorema . . .
Integrales Parametricas

JJ II
J I
 Teorema (Derivacion bajo el signo de integral).
Sea I un intervalo en R, E Rn un conjunto medible Lebesgue, y
f : E I R verificando:
Funciones a) Para todo t I la funcion f (., t) es medible en E, y existe
definidas por
integrales. t0 I tal que f (., t0) es integrable en E
Derivacion bajo b) Para casi todo x E la funcion f (x, .) es de clase C 1 en I
el signo de
integral c) Existe g : E R integrableLebesgue en E tal que para todo
df
t I y para casi todo x E se tiene | (x, t)| g(x)
Teorema . . .
Z dt
Integrales Parametricas Entonces la funcion F (t) = f (x, t)dx es de clase C 1 en I, y
E
Z
df
JJ II F 0(t) = (x, t)dx
J I E dt
Demostracion: I (Saltar al final de la demostracion)
Primero vamos a ver que F esta bien definida, es decir, que las funciones f (., t) son integrables.
 Por (b), existe un conjunto Z0 E con m(Z0 ) = 0, tal que las funciones f (x, .) : I R
son de clase C 1 para todo x E \ Z0 .
Por (c), existe un conjunto Z1 E con m(Z1 ) = 0 y tal que para todo x E \ Z1 se tiene
 
 df 
Funciones  (x, t) g(x)
 dt 
definidas por
integrales. para todo t I donde g es una funcion integrable.
Derivacion bajo Sea t0 I tal que f (., t0 ) es integrable, segun se indica en el enunciado. Y sea t I otro
el signo de punto de I, fijo.
integral Para todo x E \ (Z0 Z1 ), podemos aplicar el teorema del valor medio a f (x, .) en [t0 , t],
de modo que

Teorema . . . df
f (x, t) f (x, t0 ) = (x, )(t t0 )
Integrales Parametricas dt
para algun [t0 , t], luego
 
 df 
JJ II |f (x, t)| |f (x, t0 )| +  (x, )|t t0 |
dt
J I
|f (x, t0 )| + g(x)|t t0 |

y la funcion f (., t0 ) + g(.)|t t0 ) es integrable en E. Por tanto f (., t) es integrable.

 df
Veamos ahora que (., t) son medibles, para cada t I
dt
Sea t I fijo; sea hk 0, y definamos las funciones gk (., t) : E R
f (x, t + hk ) f (x, y)
gk (x, t) =
Funciones hk
definidas por
Las funciones gk (., t) son medibles, por ser cociente de funciones medibles, y para todo x E \Z0
integrales. df df
k
Derivacion bajo se tiene gk (x, t) (x, t) Por tanto (., t) es medible (lmite en casi todo punto de una
dt dt
el signo de sucesion de funciones medibles)
integral Y por ultimo veamos que F es derivable y que se verifica
Z
0 df
F (t) = (x, t)ds
Teorema . . . E dt

Integrales Parametricas calculando esta integral.

Las funciones gk (., t) verifican
|f (x, t + hk ) f (x, t)|
JJ II |gk (x, t)| =
|h |
J I   k
 df  |hk |
 (x, )
dt |hk |
g(x)
 para todo x E \ (Z0 Z1 )
Aplicando el Teorema de Convergencia Dominada,

F (t + hk ) F (t)
Z Z
df
(x, t)dx = lim gk (x, t)dx = lim
E dt k E k hk
Funciones
definidas por luego efectivamente F es derivable, y ademas
integrales. Z
Derivacion bajo 0 df
F (t) = (x, t)dx
el signo de E dt
integral
Que F es de clase C 1 se deduce del teorema anterior.
J(Volver al enunciado) 
Teorema . . .
Integrales Parametricas

JJ II
J I
 Ejercicios:
1. Se define la funcion Gamma de Euler como
Z
(t) = ex xt1 dx
0
Funciones
para t > 0. Comprobar que (t) esta bien definida, y es una funcion continua en t (0, )
definidas por
(Sugerencia: para aplicar el teorema de continuidad, considerar I un intervalo cualquiera
integrales.
[a, b] con a > 0)
Derivacion bajo
el signo de Comprobar tambien que para todo t > 0, (t + 1) = t(t), de donde se deduce que para
integral todo n N, (n + 1) = n!
Demostrar que es infinitamente diferenciable y que para cada n N
Z
Teorema . . .
(n)
(t) = xt1 (log x)n ex dx
0
Integrales Parametricas
2. En los siguientes casos comprobar que esta bien definida, y calcular 0 (t):

1
ext
Z Z
JJ II a) (t) = 2 2
ln(x + t )dx; t 6= 0 b) (t) = sen xdx
J I 0 0 x
1
xt 1
Z Z
c) (t) = tetx dx d) (t) = dx (t > 1)
0 0 ln x
 3. Calcular las integrales siguientes, derivando con respecto al parametro:

/4
1 etx ln(1 + t cos2 x)
Z Z
a) dx (t > 1) b) dx (t 0)
Funciones 0 xex 0 cos2 x
definidas por
integrales.
Derivacion bajo
el signo de
integral

Teorema . . .
Integrales Parametricas

JJ II
J I
 BIBLIOGRAFIA:
Kennan T. Smith, Primer of Modern Analysis. Springer-Verlag (1983)
J.A. Facenda - F.J. Freniche, Integracion de funciones de varias variables. Ed. Piramide
(2002)
Funciones
definidas por
integrales.
Derivacion bajo
el signo de
integral

Teorema . . .
Integrales Parametricas

JJ II
J I