Lección 1

Integrales impropias. Integrales

dependientes de parámetros.

1.1 Introducción

Hasta este momento cuando decı́amos que una función real de variable real era integrable Riemann en un

intervalo I (lo notábamos como f ∈ RI ) considerábamos que la función era acotada y que el intervalo era

cerrado y acotado. El propósito que nos planteamos, ahora, es extender el concepto de función integrable,

para ello consideraremos distintos casos:

1) Primero consideraremos que I no es acotado, es decir, trabajaremos con intervalos del tipo [a, +∞) o

(−∞, b] y diremos que se trata de integrales impropias de primera especie.

2) En segundo lugar extenderemos el estudio a funciones no acotadas paro definidas sobre intervalos que si

lo están, entonces diremos que se trata de integrales impropias de segunda especie.

3) Por último consideraremos funciones no acotada definida sobre intervalos que tampoco lo son, en este

caso diremos que se trata de integrales impropias de tercera especie.

También nos encontramos con muchas funciones que no pueden ser representadas por fórmulas algebraicas y

necesitan de una expresión integral que dependa de uno o de varios parámetros. Ası́ aparecen, por ejemplo,

1
las funciones eulerianas
Z +∞ Z 1
Γ(p) = e−x xp−1 dx; β(p, q) = xp−1 (1 − x)q−1 dx
0 0

El estudio de este tipo de funciones es lo que englobamos con el nombre de integrales dependientes de

parámetros. El estudio de la integración paramétrica es bastante complicado, realizaremos por tanto un

estudio sencillo del mismo.

1.2 Integrales impropias de primera especie.

Definición 1.2.1 Sea f : [a, +∞) → IR una función integrable en cualquier intervalo cerrado [a, b] con

b ≥ a. Denominamos integral generalizada o impropia de f en el intervalo [a, +∞) al lı́mite, si existe

Z b
lim f (x) dx
b→+∞ a
Z +∞
Representándola por f (x) dx.
a
Si el lı́mite es finito decimos que la integral es convergente. Si el lı́mite no existe o es infinito decimos

que la integral es divergente.

Z b
Nota 1.2.1 Análogamente podemos definir las integrales impropias del tipo f (x) dx
−∞

1.2.1 Propiedades de las integrales impropias de primera especie.

Z +∞
Sean f, h : [a, +∞) → IR funciones integrables Riemann en [a, b] con b ≥ a siendo f (x) dx y
Z +∞ a

h(x) dx convergentes. Se verifican las siguientes propiedades:

a
Z +∞
1. (Linealidad) La integral (αf (x) + βh(x)) dx con α y β reales es convergente y además
a
Z +∞ Z +∞ Z +∞
(αf (x) + βh(x)) dx = α f (x) dx + β h(x) dx
a a a

2. (Monotonı́a) Si f (x) ≤ h(x); ∀x ∈ [a, +∞), entonces

Z +∞ Z +∞
f (x) dx ≤ h(x) dx
a a

2
3. (Aditividad respecto al intervalo) Si b ∈ [a, +∞), entonces
Z +∞ Z b Z +∞
f (x) dx = f (x) dx + f (x) dx
a a b

4. (Regla de Barrow) Si F es una primitiva de f y existe lim F (b), entonces

b→+∞
Z +∞
f (x) dx = lim (F (b) − F (a))
a b→+∞

Como aplicación de estas propiedades estudiaremos la convergencia de dos integrales que nos serán muy

útiles en el futuro para estudiar la convergencia de otro tipo de integrales impropias. Comenzamos con la

llamada p-integral:
Z +∞
1
dx
a xp
.
1
La función f (x) = está definida y es continua en [a, +∞) con a > 0, por tanto es integrable en
xp
cualquier intervalo [a, b] con b ≥ a.
 " #b
Z +∞ Z b


 x−p+1
1 1  lim si p 6= 1
dx = lim dx = b→+∞ −p + 1 a
a xp b→+∞ a xp 


 lim [ln |x|]ba si p = 1
b→+∞

Distinguiremos tres casos según sea el valor de p

• Si p > 1, entonces
Z +∞ " #b " #
1 x−p+1 b−p+1 a−p+1 a−p+1
dx = lim = lim − =−
a xp b→+∞ −p + 1 a
b→+∞ −p + 1 −p + 1 −p + 1

que es finito. Por lo tanto en este caso la integral es convergente.

• Si p < 1, entonces
Z +∞ " #b " #
1 x−p+1 b−p+1 a−p+1
dx = lim = lim − = +∞
a xp b→+∞ −p + 1 a
b→+∞ −p + 1 −p + 1

Por lo tanto en este caso la integral es divergente.

• Si p = 1, entonces
Z +∞
1
dx = lim [ln |x|]ba = lim [ln |b| − ln |a|] = +∞
a xp b→+∞ b→+∞

Por lo tanto en este caso la integral es divergente.

3
Estudiamos, ahora, la convergencia de la integral exponencial:
Z +∞
etx dx
a

La función f (x) = etx está definida y es continua en [a, +∞), por tanto es integrable en cualquier

intervalo [a, b] con b ≥ a.

 " #b
Z +∞ Z b


 etx
 lim si t 6= 0
tx
e dx = lim etx dx = b→+∞ t a
a b→+∞ a 


 lim [x]ba si t = 0
b→+∞

Distinguiremos tres casos según sea el valor de t

• Si t > 0, entonces
Z +∞ " #b " #
etx etb eta
etx dx = lim = lim − = +∞
a b→+∞ t a
b→+∞ t t

Por lo tanto en este caso la integral es divergente.

• Si t < 0, entonces
Z +∞ " #b " #
tx etx etb eta eta
e dx = lim = lim − =−
a b→+∞ t a
b→+∞ t t t

Por lo tanto en este caso la integral es convergente.

• Si t = 0, entonces
Z +∞
dx = lim [x]ba = lim (b − a) = +∞
a b→+∞ b→+∞

Por lo tanto en este caso la integral es divergente.

Definición 1.2.2 Sea f : IR → IR e integrable en cualquier intervalo cerrado de IR, diremos que la integral

generalizada o impropia de f en el intervalo (−∞, +∞) converge cuando existe un número real a para el
Z +∞ Z a
cual convergen las integrales impropias f (x) dx y f (x) dx
a −∞
Z +∞
Nota 1.2.2 Se representa por f (x) dx y se tiene que
−∞
Z +∞ Z a Z +∞
f (x) dx = f (x) dx + f (x) dx
−∞ −∞ a
Z +∞ Z +∞ Z b
Además si f (x) dx es convergente se tiene que f (x) dx = lim f (x) dx.
−∞ −∞ b→+∞ −b

4
 Z b Z +∞
El recı́proco no es cierto, puede ocurrir que exista lim f (x) dx y en cambio f (x) dx no sea
b→+∞ −b −∞
Z +∞
convergente. Ası́ ocurre con x dx. (Ejercicio que dejamos al alumno).
−∞

1.2.2 Criterios de convergencia.

En este apartado tratamos distintas formas de estudiar la convergencia o divergencia de una integral im-

propia. Ya hemos visto que si se conoce una primitiva de la función f , se puede estudiar la convergencia

o divergencia aplicando las propiedades y sin más que calcular un lı́mite. Veamos que ocurre cuando este

procedimiento no es posible o no es recomendable.

Criterio de comparación

Consideramos la función f : [a, +∞) → IR siendo f (x) ≥ 0 en todo su dominio.

Teorema 1.2.1 Sea f : [a, +∞) → IR siendo f (x) ≥ 0 e integrable en todo intervalo cerrado [a, b] con
Z +∞ Z b
b ≥ a. Entonces f (x) dx es convergente si y solo si existe un número real M tal que f (x) dx ≤ M ,
a a
∀b ≥ a.
Z +∞ Z b
Demostración (T.C.): ⇒) Supongamos que f (x) dx es convergente, entonces existe lim f (x) dx =
a b→+∞ a

l por lo tanto dado ε > 0 existe b0 ≥ a tal que ∀b ≥ b0 se tiene que

¯Z ¯ Z b
¯ b ¯
¯ ¯
¯ f (x) dx − l¯ ⇒ l − ε < f (x) dx < l + ε
¯ a ¯ a

Basta tomar M = l + ε para ε fijo.

Z b Z b
⇐) Supongamos que f (x) dx ≤ M , ∀b ≥ a, entonces lim f (x) dx tiene que ser o bien número
a b→+∞ a

real positivo, o cero, o bien +∞. Supongamos que el lı́mite fuera +∞, entonces ∀H > 0 existirı́a b0 ≥ a
Z b
tal que ∀b ≥ b0 se tiene que f (x) dx > H. Tomando H = M llegamos a una contradicción. Por tanto la
a
integral es convergente.

Teorema 1.2.2 (Criterio de comparación) Sean f, h : [a, +∞) → IR integrables y no negativas en [a, b]

con b ≥ a. Si existe k ≥ 0 y c ≥ a tales que 0 ≤ f (x) ≤ k h(x), para todo x ≥ c, entonces

Z +∞ Z +∞
1. Si h(x) dx es convergente, entonces f (x) dx es convergente.
a a
Z +∞ Z +∞
2. Si f (x) dx es divergente, entonces h(x) dx es divergente.
a a

5
 Z b Z b
Demostración (T.C.): Si 0 ≤ f (x) ≤ k h(x), para todo x ≥ c, entonces f (x) dx ≤ k h(x) dx.
Z +∞ Z +∞ c c

1. Si h(x) dx es convergente, entonces h(x) dx es convergente, entonces existe un número real

aZ c
b
M tal que h(x) dx ≤ M , ∀b ≥ a. Por tanto
c
Z b Z b Z +∞
f (x) dx ≤ k h(x) dx ≤ k · M = M 0 ∀b ≥ c ⇒ f (x) dx
c c a

es convergente.
Z +∞ Z +∞
2. Si f (x) dx es divergente, entonces f (x) dx es divergente, entonces existen M > 0 y b ≥ a
a c
tales que
Z b Z b Z b Z b
M
f (x) dx > M ⇒ k h(x) dx ≥ f (x) dx > M ⇒ h(x) dx > = M0 ⇒
c c c c k
Z +∞ Z +∞
h(x) dx es divergente, por tanto h(x) dx también lo es.
c a
Z +∞
|cos(x)|
Ejemplo 1.2.1 Estudiar la convergencia de dx.
x2 1
Utilizamos el criterio de comparación con la p-integral. Sabemos que |cos(x)| ≤ 1 por tanto si tomamos:
¯ ¯
¯ cos(x) ¯ 1
¯
f (x) = ¯ ¯ y h(x) = ⇒ f (x) ≤ h(x) ∀x ≥ 1
x2 ¯ x2
Z +∞ Z +∞
1 |cos(x)|
Como dx es convergente (p = 2 > 1), entonces dx es también convergente.
1 x2 1 x2
Z +∞ x
e +1
Ejemplo 1.2.2 Estudiar la convergencia de dx.
xex 2
ex + 1
Utilizamos el criterio de comparación con la p-integral. Sabemos que ≥ 1 por tanto si tomamos:
ex
1 ex + 1
f (x) = y h(x) = ⇒ f (x) ≤ h(x) ∀x ≥ 2
x xex
Z +∞ Z +∞ x
1 e +1
Como dx es divergente (p = 1), entonces dx es también divergente.
2 x 2 xex
Z +∞
1
Ejemplo 1.2.3 Estudiar la convergencia de dx.
1 +1 2ex
Utilizamos el criterio de comparación con la integral exponencial. Sabemos que 2ex > ex , por tanto

2ex + 1 > 2ex > ex y si tomamos:

1 1
f (x) = y h(x) = ⇒ f (x) < h(x)
2ex +1 ex
Z +∞ Z +∞
1 1
Como dx es convergente (t = −1 < 0), entonces dx es también convergente.
1 ex 1 2ex +1

6
Teorema 1.2.3 (Criterio de comparación por paso al lı́mite) Sean f, h : [a, +∞) → IR integrables
f (x)
y positivas en [a, b] con b ≥ a. Sea lim = l, entonces
x→∞ h(x)
Z +∞ Z +∞
1. Si l 6= 0 y finito, entonces f (x) dx tiene el mismo carácter que h(x) dx.
a a
Z +∞ Z +∞
2. Si l = 0, entonces si h(x) dx es convergente, también f (x) dx es convergente.
a a
Z +∞ Z +∞
3. Si l = +∞, entonces si h(x) dx es divergente, también f (x) dx es divergente.
a a
Z +∞
x+1
Ejemplo 1.2.4 Estudiar la convergencia de dx.
1 x3 + 4
x+1
3 x3 + x2
lim x + 4 = lim 3 =1
x→∞ 1 x→∞ x + 4
x2
Z +∞ Z +∞
x+1 1
Por tanto dx y dx tienen el mismo carácter. Como la segunda integral es una p-integral
1 x3 + 4 1 x2
convergente (p = 2), entonces la integral dada es también convergente.

Nota 1.2.3 Los criterios de comparación se pueden ampliar a funciones no positivas, ası́:

1. Si la función f es negativa, entonces aplicamos los criterios a la función −f ya que

Z +∞ Z +∞
f (x) dx = − −f (x) dx
a a

2. Si la función f cambia de signo un número finito de veces y llamamos c al mayor valor de x donde la
Z +∞ Z +∞
función cambia de signo, estudiamos el carácter de f (x) dx que coincidirá con el de f (x) dx
c a

El problema del estudio de la convergencia según los criterios de comparación queda sin resolver cuando

tenemos una función que en el intervalo [a, +∞) cambia de signo infinitas veces. Para tratar este tipo de

funciones definimos el concepto de convergencia absoluta.

1.2.3 Convergencia Absoluta. Convergencia condicional

Definición 1.2.3 Sea f : [a, +∞) → IR e integrable en cualquier intervalo cerrado [a, n]; ∀n ≥ a de IR,
Z +∞ Z +∞
diremos que la integral f (x) dx es absolutamente convergente cuando |f (x)| dx es convergente
a a
Z +∞ Z +∞
Teorema 1.2.4 Si f (x) dx es absolutamente convergente, entonces f (x) dx es convergente.
a a

7
Demostración(T.C.):

0 ≤ |f (x)| − f (x) ≤ |f (x)| + |f (x)| = 2|f (x)| ∀x ≥ a

Z +∞ Z +∞
Por el criterio de comparación, como 2|f (x)| dx es convergente, entonces (|f (x)| − f (x)) dx es
a Z +∞ a

convergente y como f (x) = |f (x)| − (|f (x)| − f (x)) tenemos que f (x) dx es convergente.
a
Z +∞
cos(x)
Ejemplo 1.2.5 Estudiar la convergencia de dx.
π x2
Como cos(x) cambia de signo infinitas veces en el intervalo [π, +∞), utilizamos el concepto de conver-
Z +∞
|cos(x)|
gencia absoluta y estudiamos el carácter de la integral dx. Sabemos que esta última integral
π x2
es convergente, por tanto también será la dada inicialmente.
Z +∞
Nota 1.2.4 El recı́proco, en general, no es cierto. Es decir, |f (x)| dx puede ser divergente y sin
Z +∞ a

embargo f (x) dx ser convergente.

a

1.3 Integrales impropias de segunda especie

Vamos a estudiar en esta pregunta la convergencia de las integrales de funciones no acotadas definidas en

intervalos finitos. Hay de dos tipos según que el problema de la no acotación se presente en el extremo

inferior del intervalo de integración o en el superior, es decir:

• Sea f : (a, b] → IR siendo f integrable en cualquier intervalo de la forma [t, b] con t ∈ (a, b]. Un
1
ejemplo de este tipo de situación serı́a la integral de la función f (x) = en el intervalo (1, 3]
x−1

• Sea f : [a, b) → IR siendo f integrable en cualquier intervalo de la forma [a, t] con t ∈ [a, b). Un
1
ejemplo de este tipo de situación serı́a la integral de la función f (x) = en el intervalo [0, 2)
2−x

Definición 1.3.1 Sea f : (a, b] → IR siendo f integrable en cualquier intervalo de la forma [t, b] con
Z b
t ∈ (a, b], llamamos integral impropia de segunda especie y la denotamos por f (x) dx, al lı́mite si existe
a+
Z b Z b
lim f (x) dx = lim f (x) dx
t→a+ t ε→0+ a+ε

Si dicho lı́mite es finito, decimos que la integral impropia es convergente, en otro caso decimos que es

divergente.

8
Definición 1.3.2 Sea f : [a, b) → IR siendo f integrable en cualquier intervalo de la forma [a, t] con
Z b−
t ∈ [a, b), llamamos integral impropia de segunda especie y la denotamos por f (x) dx, al lı́mite si existe
a
Z t Z b−ε
lim f (x) dx = lim f (x) dx
t→b− a ε→0− a

Si dicho lı́mite es finito, decimos que la integral impropia es convergente, en otro caso decimos que es

divergente.

1.3.1 Propiedades de las integrales impropias de segunda especie.

Z b Z b
Sean f, h : (a, b] → IR funciones integrables Riemann en [t, b]; ∀t ∈ (a, b] siendo f (x) dx y h(x) dx
a+ a+
convergentes. Se verifican las siguientes propiedades:
Z b
1. (Linealidad) La integral (αf (x) + βh(x)) dx con α y β reales es convergente y además
a+
Z b Z b Z b
(αf (x) + βh(x)) dx = α f (x) dx + β h(x) dx
a+ a+ a+

2. (Monotonı́a) Si f (x) ≤ h(x); ∀x ∈ (a, b], entonces

Z b Z b
f (x) dx ≤ h(x) dx
a+ a+

3. (Regla de Barrow) Si F es una primitiva de f , entonces

Z b
f (x) dx = lim (F (b) − F (t))
a+ t→a+

Como aplicación de estas propiedades estudiaremos la convergencia de dos integrales que nos serán muy

útiles en el futuro para estudiar la convergencia de otro tipo de integrales impropias de segunda especie.

Comenzamos con:
Z b
1
dx
a+ (x − a)r
 " #b

 (x − a)−r+1



 lim si r 6= 1
 + −r + 1
Z b
1
Z b
1  t→a
 t
dx = lim dx =
a+ (x − a)r t→a+ t (x − a)r 

 
 · ¸b



 lim ln |x − a| si r = 1
t→a+ t
Distinguiremos tres casos según sea el valor de r

9
 • Si r > 1, entonces
Z b " #b " #
1 (x − a)−r+1 (b − a)−r+1 (t − a)−r+1
r
dx = lim = lim − = +∞
a+ (x − a) t→a+ −r + 1 t
t→a+ −r + 1 −r + 1

Por lo tanto es divergente.

• Si r < 1, entonces
Z b " #
1 (b − a)−r+1 (t − a)−r+1 (b − a)1−r
dx = lim − =
a+ (x − a)r t→a+ −r + 1 −r + 1 1−r

Por lo tanto en este caso la integral es convergente.

• Si r = 1, entonces
Z b
1
dx = lim [ln |x − a|]bt = lim (ln |b − a| − ln |t − a|) = +∞
a+ x−a t→a+ t→a+

Por lo tanto en este caso la integral es divergente.

Análogamente estudiaremos la convergencia de la integral:

Z b−
1
dx
a (b − x)r
 " #t



(b − x)−r+1

 lim − si r 6= 1
Z b− Z t 
 t→b
 − −r + 1 a
1 1
dx = lim dx =
a (b − x)r t→b− a (b − x)r 

 
 · ¸t


 lim − ln |b − x| si r = 1
t→b− a
Distinguiremos tres casos según sea el valor de r

• Si r > 1, entonces
Z b− " #t " #
1 (b − x)−r+1 (b − a)−r+1 (b − t)−r+1
dx = lim − = lim − = +∞
a (b − x)r t→b− −r + 1 a
t→b− −r + 1 −r + 1

Por lo tanto es divergente.

• Si r < 1, entonces
Z b− " #
1 (b − a)−r+1 (b − t)−r+1 (b − a)1−r
dx = lim − =
a (b − x)r t→b− −r + 1 −r + 1 1−r

Por lo tanto en este caso la integral es convergente.

10
 • Si r = 1, entonces
Z b−
1
dx = lim [− ln |b − x|]ta = lim (ln |b − a| − ln |b − t|) = +∞
a b−x t→b− t→b−

Por lo tanto en este caso la integral es divergente.

1.3.2 Criterios de convergencia para las integrales impropias de segunda especie.

En este apartado tratamos distintas formas de estudiar la convergencia o divergencia de una integral impropia

de segunda especie de una forma muy similar al estudio realizado con las integrales impropias de primera

especie. Ya hemos visto que si se conoce una primitiva de la función f , se puede estudiar la convergencia

o divergencia aplicando las propiedades y sin más que calcular un lı́mite. Veamos que ocurre cuando este

procedimiento no es posible o no es recomendable.

Criterio de comparación

Teorema 1.3.1 Sea f : (a, b] → IR siendo f (x) ≥ 0 e integrable en todo intervalo cerrado [t, b], ∀t ∈ (a, b].
Z b Z b
Entonces f (x) dx es convergente si y solo si existe un número real M tal que f (x) dx ≤ M , ∀t ∈ (a, b].
a+ t

Teorema 1.3.2 (Criterio de comparación) Sean f, h : (a, b] → IR integrables y no negativas en todo

intervalo cerrado [t, b], ∀t ∈ (a, b]. Si existe k > 0 y c ∈ (a, b] tales que 0 ≤ f (x) ≤ k h(x), para todo

x ∈ (a, c], entonces

Z b Z b
1. Si h(x) dx es convergente, entonces f (x) dx es convergente.
a+ a+
Z b Z b
2. Si f (x) dx es divergente, entonces h(x) dx es divergente.
a+ a+
Z 2
1
Ejemplo 1.3.1 Estudiar si √ dx es convergente o divergente.
1+ 2
x −1
Sabemos que x + 1 > 1 cuando x ∈ (1, 2], por tanto:

p √ 1 1
x2 − 1 = (x − 1)(x + 1) ≥ x − 1 ⇒ x2 − 1 ≥ x−1 ⇒ √ ≤√
2
x −1 x−1
Z 2
1 1
Como √ dx es convergente ya que es una r-integral con r = < 1 y por el criterio de comparación
1+ x−1 2
la integral dada es convergente también.

11
Teorema 1.3.3 (Criterio de comparación por paso al lı́mite) Sean f, h : (a, b] → IR integrables en
f (x)
todo intervalo cerrado [t, b], ∀t ∈ (a, b] y tales que f (x) ≥ 0, h(x) > 0 ∀x ∈ (a, b]. Sea lim = l,
x→a h(x)
+

entonces
Z b Z b
1. Si l 6= 0 y finito, entonces f (x) dx tiene el mismo carácter que h(x) dx.
a+ a+
Z b Z b
2. Si l = 0, entonces si h(x) dx es convergente, también f (x) dx es convergente.
a+ a+
Z b Z b
3. Si l = +∞, entonces si h(x) dx es divergente, también f (x) dx es divergente.
a+ a+
Z π
4 sen(x)
Ejemplo 1.3.2 Estudiar si dx es convergente o divergente.
0+ x2
sen(x)
lim x2 = lim sen(x) = 1
x→0+ 1 x→0+ x
x
Z π Z π
sen(x)
4 4 1
Por tanto la integral dx y la integral dx tienen el mismo carácter. Como esta última
0+ x2 0+ x
integral es divergente, la dada también lo será.

Nota 1.3.1 Los criterios de comparación se pueden ampliar a funciones no positivas, ası́:

1. Si la función f es negativa, entonces aplicamos los criterios a la función −f ya que

Z b Z b
f (x) dx = − −f (x) dx
a+ a+

2. Si la función f cambia de signo un número finito de veces y llamamos c al menor valor de x ∈ (a, b]
Z c
donde la función cambia de signo, estudiamos el carácter de f (x) dx que coincidirá con el de
Z b a+

f (x) dx
a+

El problema del estudio de la convergencia según los criterios de comparación queda sin resolver cuando

tenemos una función que en el intervalo (a, b] cambia de signo infinitas veces. Para tratar este tipo de

funciones definimos el concepto de convergencia absoluta.

1.3.3 Convergencia Absoluta. Convergencia condicional

Definición 1.3.3 Sea f : (a, b] → IR e integrable en cualquier intervalo cerrado [t, b] ∀t ∈ (a, b], diremos
Z b Z b
que la integral f (x) dx es absolutamente convergente cuando |f (x)| dx es convergente
a+ a+

12
 Z b Z b
Teorema 1.3.4 Si f (x) dx es absolutamente convergente, entonces f (x) dx es convergente.
a+ a+
µ ¶
1
Z kπ cos
x
Ejemplo 1.3.3 Estudiar si √ dx, con k ∈ Z es convergente o divergente.
0+ x
¯ µ ¶¯
¯ 1 ¯
¯ cos ¯
¯ ¯
¯ √ x ¯ ≤ √1
¯ x ¯¯ x
¯
¯ ¯
¯ µ ¶¯
¯ 1 ¯
Z kπ Z kπ ¯ cos ¯
1 1 ¯ ¯
Como √ es convergente (r = < 1), entonces ¯ √ x ¯ dx es convergente también y por tanto
x 2 ¯ x ¯¯
0+ 0+ ¯
¯ ¯
la integral dada es absolutamente convergente.

Nota 1.3.2 El recı́proco, en general, no es cierto.

Damos, ahora, definiciones análogas a las dadas cuando la función no está acotada en los extremos del

intervalo o no está acotada en un punto interior del intervalo.

Definición 1.3.4 Sea f : (a, b) → IR e integrable en cualquier intervalo cerrado contenido en (a, b), dire-
Z b− Z c Z b−
mos que la integral f (x) dx es convergente, si existe c ∈ (a, b) tal que f (x) dx y f (x) dx son
a+ a+ c
convergentes, en tal caso
Z b− Z c Z b−
f (x) dx = f (x) dx + f (x) dx
a+ a+ c

Definición 1.3.5 Sea f : [a, b] → IR y c ∈ (a, b) tal que f es integrable en cualquier intervalo cerrado
Z b Z c− Z b
contenido en [a, c) o en (c, b], diremos que la integral f (x) dx es convergente, f (x) dx y f (x) dx
a a c+
son convergentes, en tal caso
Z b Z c− Z b
f (x) dx = f (x) dx + f (x) dx
a a c+

Z 3−
1
Ejemplo 1.3.4 Para estudiar la convergencia de dx se estudia la convergencia de las inte-
0+ x(x − 3)
Z c Z 3−
1 1
grales dx y dx. La resolución de este ejercicio la dejamos para el alumno.
0+ x(x − 3) c x(x − 3)
Z 2
1
Ejemplo 1.3.5 Para estudiar la convergencia de dx se estudia la convergencia de las integrales
0 (x − 1)
Z 1− Z 2
1 1
dx y dx. La resolución de este ejercicio la dejamos para el alumno.
0 (x − 1) 1+ (x − 1)

13
1.4 Integrales impropias de tercera especie

Si el intervalo de integración no es acotado y existe en dicho intervalo un número real donde dicha función

no es acotada, se dice que la integral es de tercera especie. El estudio de la convergencia se realiza descom-

poniendo la integral en suma de integrales de primera y de segunda especie. Será convergente cuando todas

y cada una de las integrales en que se descompone lo sean. Es decir:

Z +∞ Z b Z +∞
f (x) dx = f (x) dx + f (x) dx
a a b

La primera integral es de segunda especie y la segunda integral es de primera especie.

Ejemplo 1.4.1
Z +∞ Z 2 Z +∞
1 1 1
dx = dx + dx =
0 (x − 1) 0 (x − 1) 2 (x − 1)
Z 1−ε Z 2 Z b
1 1 1
= lim dx + lim dx + lim dx
ε→0− 0 (x − 1) ε→0+ 1+ε (x − 1) b→+∞ 2 (x − 1)
Z 1−
1
Como dx es divergente, la integral de tercera especie también lo será.
0 (x − 1)

1.5 Integrales dependientes de parámetros

1.5.1 Introducción

Muchas funciones no pueden ser representadas por fórmulas algebraicas y necesitan de una expresión integral

que dependa de de uno o de varios parámetros. Ası́ aparecen las funciones eulerianas:
Z +∞ Z 1
Γ(p) = e−x xp−1 dx; β(p, q) = xp−1 (1 − x)q−1 dx
0 0

La función caracterı́stica asociada a una función de densidad f (x):

Z +∞
Ψ(t) = eitx f (x) dx
−∞

La transformada de Laplace de una función:

Z +∞
F (z) = e−zx f (x) dx
0

Las integrales paramétricas se caracterizan por definir una función F (y) mediante una integral que puede

ser de Riemann o impropia de primera o de segunda especie. Es decir:

Z b
F (y) = f (x, y) dx
a

14
 Z +∞
F (y) = f (x, y) dx
a
Z g(y)
F (y) = f (x, y) dx
a

El estudio de la integración paramétrica se complica cuando la función no es continua en el intervalo o el

intervalo de integración no es finito, en este último caso la integral paramétrica debe ser uniformemente

convergente. Por ello realizaremos tan sólo un estudio básico cuando el intervalo de integración es finito y

la función es integrable.

Definición 1.5.1 Sea f : [a, b] × [c, d] ⊂ IR2 → IR, integrable en [a, b], ∀y ∈ [c, d]. La expresión
Z b
f (x, y) dx depende del parámetro y. A esta integral la llamamos integral paramétrica y la repre-
a
sentamos por F (y).

Teorema 1.5.1 (Continuidad de las integrales paramétricas) Sea f : [a, b] × [c, d] ⊂ IR2 → IR,
Z b
continua y sea F : [c, d] ⊂ IR → IR, definida por F (y) = f (x, y) dx. Entonces la función F (y) es
a
continua en [c, d], es decir
Z b Z b Z b
lim f (x, y) dx = lim f (x, y) dx = f (x, y0 ) dx; ∀y0 ∈ [c, d]
y→y0 a a y→y0 a
Z 1
Ejemplo 1.5.1 Estudiar la continuidad de xy sen5 (xy) dx.
0 Z 1
Como la función f (x, y) = xy sen5 (xy) es continua en todo IR2 , entonces F (y) = xy sen5 (xy) dx es
0
también continua en todo IR.

1.5.2 Derivación bajo el signo integral

Una vez que conocemos bajo que condiciones la función F (y) definida por una integral paramétrica es

continua, vamos a estudiar bajo que condiciones la podemos derivar y cuál es su derivada
Z b
∂f
Teorema 1.5.2 Sea [a, b] × [c, d] y supongamos que fijado y ∈ [c, d], existe F (y) = f (x, y) dx. Si es
a ∂y
continua en [a, b] × [c, d], entonces existe F 0 (y); ∀y ∈ (c, d) y además
Z b
∂f (x, y)
F 0 (y) = dx
a ∂y

15
Ejemplo 1.5.2 Comprobar que se verifica la fórmula de la derivación de integrales paramétricas para
Z 1
F (y) = [(x + y)2 − 2x] dx.
−1
Por una parte tenemos que:
Z 1 Z 1 " #1
x3 2
F (y) = [(x + y)2 − 2x] dx = (x2 + y 2 + 2xy − 2x) dx = + y 2 x + x2 y − x2 = 2y 2 +
−1 −1 3 −1
3

Por tanto F 0 (y) = 4y.

∂f (x, y)
Por otra parte = 2(x + y) es continua, entonces
∂y
Z 1 Z 1 h i1
0 ∂f (x, y)
F (y) = dx = 2(x + y) dx = x2 + 2xy = 4y
−1 ∂y −1 −1

En el caso en que los lı́mites de la integral dependan de un parámetro, enunciamos el siguiente teorema

∂f
Teorema 1.5.3 Sean f y continuas en [a, b] × [c, d]. Sean p, q : [c, d] → [a, b] diferenciables. Sea
∂y
Z q(y)
F : [c, d] → IR definida por F (y) = f (x, y) dx, entonces ∀y ∈ (c, d) existe F 0 (y) y se tiene que:
p(y)
Z q(y)
0 ∂f (x, y)
F (y) = dx + f (q(y), y) · q 0 (y) − f (p(y), y) · p0 (y)
p(y) ∂y
Z y2 +3y
1
Ejemplo 1.5.3 Calcular la derivada de F (y) = dx.
y−3 1 + x2 + y 2
1
f (x, y) = es continua en todo IR2 .
1 + x2 + y 2
p(y) = y − 3 es continua y diferenciable en todo IR.

q(y) = y 2 + 3y es continua y diferenciable en todo IR.

∂f (x, y) −2y
= es continua en todo IR2 . Por tanto podemos aplicar el teorema anterior y ası́:
∂y (1 + x2 + y 2 )2
Z y2 +3y
−2y 1 1
F 0 (y) = 2 2
dx + 2 2 2
· (2y + 3) − ·1
y−3 1+x +y 1 + (y + 3y) + y 1 + (y − 3)2 + y 2

1.6 Funciones Eulerianas

1.6.1 Función Gamma

Definición 1.6.1 Definimos la función Γ(p) como

Z +∞
Γ(p) = xp−1 e−x dx
0

Teorema 1.6.1 Γ(p) es convergente cuando p > 0.

16
Propiedades de la función Gamma

1. Γ(p + 1) = p Γ(p)

2. Γ(p + 1) = p!

3. Conocida Γ(p) con 0 < p < 1, podemos conocer Γ(p) con p > 0.
µ ¶ Z +∞
1 n
4. Si n es un entero positivo, entonces Γ =n e−x dx
n 0
µ ¶
1 √
5. Γ = π
2
Z +∞
√ 3
Ejemplo 1.6.1 Obtener, utilizando la función gamma, x e−x dx.
0
1 1 2
Hacemos un cambio de variable x3 = t ⇒ x = t 3 ⇒ dx = t− 3 dt
3
Z +∞ Z +∞ Z +∞ µ ¶
√ 3 1 1 −2 1 1 1 1 1√
x e−x dx = t 6 e−t t 3 dt = t− 2 e−t dt = Γ = π
0 0 3 3 0 3 2 3

1.6.2 Función Beta

Definición 1.6.2 Definimos la función β(p, q) como

Z 1
β(p, q) = xp−1 (1 − x)q−1 dx
0

Teorema 1.6.2 β(p, q) es convergente cuando p > 0 y q > 0.

Propiedades de la función beta

1. β(p, q) = β(q, p)

1 1
2. β(p, 1) = ; β(1, q) =
p q
Z π
2
3. La forma trigonométrica de la función beta viene dada por β(p, q) = 2 cos2p−1 (t) sen2q−1 (t) dt
0

Γ(p) Γ(q)
4. β(p, q) =
Γ(p + q)
Z 1
Ejemplo 1.6.2 Calcular utilizando las funciones gamma y beta x4 (1 − x)3 dx.
0
Z 1
Γ(5) Γ(4) 4! · 3! 1
x4 (1 − x)3 dx = β(5, 4) = = =
0 Γ(9) 8! 280

17