1.

Teorema Fundamental del C

alculo

Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

Teorema . . .
Integrales Param
etricas

JJ

II

Vamos a considerar dos clases de funciones, definidas como integrales de otras funciones
Z t
f (x)dx
F (t) =
a

donde f : R R, y
Z
F (t) =
f (x, t)dx
A

donde f : Rn R R
El primer tipo de integrales son las integrales indefinidas, y tienen para la integral de Lebesgue
un comportamiento similar al teorema fundamental del calculo demostrado para la integral de
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
La notacion
f (x)dx corresponde a
f (x)dx si a b, y como en la integral de Riemann
a
[a,b]
Z b
Z a
de funciones de una variable, si a > b se entiende
f (x)dx =
f (x)dx
a

Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

Teorema . . .
Integrales Param
etricas

JJ

II

Teorema (Fundamental del C

alculo).
Sea I un intervalo real, y sea f : I R una funcion Zintegrable
t
f (x)dx
Lebesgue en I Sea a I fijo, y definamos la funcion F (t) =
a

para todo t I. Entonces F es continua en I. Ademas, si f

es continua en un punto t0 I entonces F es derivable en t0 y
F 0(t0) = f (t0)
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
que converja a b, y consideremos las funciones caractersticas [a,sk ] (x)
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)
k

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.

Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

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

la sucesion fk , y tenemos
Z
Z
Z
f [a,b) = lim fk = lim f [a,sk ]
k

es decir
Z
f [a,sk ] = lim F (sk )

F (b) = lim
k

Teorema . . .
Integrales Param
etricas

JJ

II

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.
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
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

Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

Teorema . . .
Integrales Param
etricas

JJ

II

y si t t0 se tiene
Z
(f (t0 ) )(t0 t)

t0

f (x)dx (f (t0 ) + )(t0 t)

t

Rb
Ra
En cualquier caso (poniendo a f = b f )
Rt
f (x)dx
(f (t0 ) + )
(f (t0 ) ) t0
t t0
o equivalentemente
Rt
f (x)dx
 t0
f (t0 ) 
t t0
si t I y 0Z < |t t0 | <
t
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 0 (t0 ) = lim

tt0

Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

Teorema . . .
Integrales Param
etricas

JJ

II

F (t) F (t0 )
= f (t0 )
t t0

J(Volver al enunciado)

Ejercicio:
Demostrar la primera parte del teorema cuando b a

Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

Teorema . . .
Integrales Param
etricas

JJ

II

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
F 0 (s) = f (s) en casi todo punto, tanto si f es continua como si no. Pero esto no podemos
demostrarlo ahora.

2. Integrales Param
etricas

Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

Vamos a estudiar ahora algunas aplicaciones a las llamadas integrales parametricas. Consideramos 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
una funcion en E I
f : E I R
(x, t) f (x, t) = ft (x)
de modo que para cada valor de t I tenemos una funcion de varias variables
f (., t) : E R
x f (x, t)

Teorema . . .
Integrales Param
etricas

JJ

II

Y tambien para cada x E tenemos una funcion real de una variable real
f (x, .) : I R
t f (x, t)
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.
Derivaci
on bajo
el signo de
integral

Teorema . . .
Integrales Param
etricas

JJ

II

Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

Teorema (Continuidad de las integrales param

etricas).
Sea I un intervalo real, E Rn un conjunto medible Lebesgue, y
f : E I R verificando:
a) Para cada t I, la funcion f (., t) es medible Lebesgue, y existe
una funcion g : E R integrable Lebesgue tal que para todo t I
|f (x, t)| g(x) para casi todo x E
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

E

Teorema . . .
Integrales Param
etricas

JJ

II

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
tienda a a.
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

Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

Teorema . . .
Integrales Param
etricas

JJ

II

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.
Aplicando el Teorema de Convergencia Dominada,
Z
Z
f (x, a)dx = lim f (x, tk )dx
E

es decir, F (a) = limk F (tk ). Por tanto F es continua en a.

J(Volver al enunciado)

Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

Teorema . . .
Integrales Param
etricas

Teorema (Derivaci
on bajo el signo de integral).
Sea I un intervalo en R, E Rn un conjunto medible Lebesgue, y
f : E I R verificando:
a) Para todo t I la funcion f (., t) es medible en E, y existe
t0 I tal que f (., t0) es integrable en E
b) Para casi todo x E la funcion f (x, .) es de clase C 1 en I
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)
dt
Z
Entonces la funcion F (t) =
f (x, t)dx es de clase C 1 en I, y
E

JJ

II

F 0(t) =

Z
E

df
(x, t)dx
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.

Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

Teorema . . .

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

 (x, t) g(x)
 dt

para todo t I donde g es una funcion integrable.
Sea t0 I tal que f (., t0 ) es integrable, segun se indica en el enunciado. Y sea t I otro
punto de I, fijo.
Para todo x E \ (Z0 Z1 ), podemos aplicar el teorema del valor medio a f (x, .) en [t0 , t],
de modo que
f (x, t) f (x, t0 ) =

Integrales Param
etricas

df
(x, )(t t0 )
dt

para algun [t0 , t], luego

JJ

II



 df

|f (x, t)| |f (x, t0 )| +  (x, )|t t0 |
dt
|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
(., t) son medibles, para cada t I
dt
Sea t I fijo; sea hk 0, y definamos las funciones gk (., t) : E R
Veamos ahora que

Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

Teorema . . .
Integrales Param
etricas

JJ

II

gk (x, t) =

f (x, t + hk ) f (x, y)
hk

Las funciones gk (., t) son medibles, por ser cociente de funciones medibles, y para todo x E \Z0
df
df
k
se tiene gk (x, t) (x, t) Por tanto (., t) es medible (lmite en casi todo punto de una
dt
dt
sucesion de funciones medibles)
Y por ultimo veamos que F es derivable y que se verifica
Z
df
0
F (t) =
(x, t)ds
E dt
calculando esta integral.
Las funciones gk (., t) verifican
|f (x, t + hk ) f (x, t)|
|h |
 k

 |hk |
 df
 (x, )
dt
|hk |
g(x)

|gk (x, t)| =

Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

Teorema . . .
Integrales Param
etricas

JJ

II

para todo x E \ (Z0 Z1 )

Aplicando el Teorema de Convergencia Dominada,
Z
Z
F (t + hk ) F (t)
df
(x, t)dx = lim gk (x, t)dx = lim
k
k
hk
E dt
E
luego efectivamente F es derivable, y ademas
Z
df
0
F (t) =
(x, t)dx
E dt
Que F es de clase C 1 se deduce del teorema anterior.
J(Volver al enunciado)

Ejercicios:
1. Se define la funcion Gamma de Euler como
Z
ex xt1 dx
(t) =
Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

para t > 0. Comprobar que (t) esta bien definida, y es una funcion continua en t (0, )
(Sugerencia: para aplicar el teorema de continuidad, considerar I un intervalo cualquiera
[a, b] con a > 0)
Comprobar tambien que para todo t > 0, (t + 1) = t(t), de donde se deduce que para
todo n N, (n + 1) = n!
Demostrar que es infinitamente diferenciable y que para cada n N
Z
(n)
(t) =
xt1 (log x)n ex dx

Teorema . . .

Integrales Param
etricas

JJ

II

2. En los siguientes casos comprobar que esta bien definida, y calcular 0 (t):
Z

1
2

ln(x + t )dx; t 6= 0

a) (t) =

Z
c) (t) =
0

ext
sen xdx
x

xt 1
dx (t > 1)
ln x

b) (t) =
0

tetx dx

Z
d) (t) =
0

3. Calcular las integrales siguientes, derivando con respecto al parametro:

Z
a)
Funciones
definidas por
integrales.
Derivaci
on bajo
el signo de
integral

Teorema . . .
Integrales Param
etricas

JJ

II

1 etx
dx (t > 1)
xex

Z
b)
0

/4

ln(1 + t cos2 x)
dx (t 0)
cos2 x

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.
Derivaci
on bajo
el signo de
integral

Teorema . . .
Integrales Param
etricas

JJ

II