Temas 1 Impropias 1011 Apuntes

Ampliacin de Clculo
INTEGRALES IMPROPIAS Y FUNCIONES DEFINIDAS

MEDIANTE INTEGRALES
Grupo 2M1. Curso 2010-2011
16 de septiembre de 2010
ndice
1. Concepto de integral impropia 3
2. Integral impropia de una funcin acotada en compactos, en un intervalo no acotado 3
2.1. Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2. Criterios de convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2.1. Criterios para funciones subintegrales no negativas . . . . . . . . . . . . . . . . 8
2.2.2. Criterios de convergencia. Caso general . . . . . . . . . . . . . . . . . . . . . . 9
2.2.3. Condicin necesaria de convergencia . . . . . . . . . . . . . . . . . . . . . . . . 10
2.3. Algunas operaciones con integrales impropias . . . . . . . . . . . . . . . . . . . . . . . 11
3. Integral impropia de una funcin no acotada en un intervalo acotado 12
3.1. Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.2. Criterios de convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
4. Relacin entre la convergencia de integrales y de series 17
5. Ejercicios 20
6. Funciones denidas mediante integrales en sentido propio dependientes de un
parmetro 22
6.1. Integrales en sentido propio con lmites dependientes del parmetro . . . . . . . . . . . 23
7. Funciones denidas mediante integrales impropias dependientes de un parmetro 25
7.1. Planteamiento del problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
7.2. Convergencia puntual y uniforme de sucesiones de funciones . . . . . . . . . . . . . . . 26
7.3. Convergencia puntual y uniforme de series de funciones . . . . . . . . . . . . . . . . . 27
7.4. Convergencia uniforme de integrales impropias . . . . . . . . . . . . . . . . . . . . . . 29
7.5. Continuidad, derivabilidad e integrabilidad de integrales impropias tipo 1 (funcin aco-
tada en compactos e intervalo de integracin no acotado) . . . . . . . . . . . . . . . . 32
7.6. Continuidad, derivabilidad e integrabilidad de integrales impropias tipo 2 (funcin no
acotada e intervalo de integracin acotado) . . . . . . . . . . . . . . . . . . . . . . . . 33
7.7. Ejercicios de funciones denidas mediante integrales impropias . . . . . . . . . . . . . 33
1
8. Las funciones Gamma y Beta de Euler 36
8.1. La funcin Gamma de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
8.2. La funcin Beta de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
8.3. Aplicacin de las integrales impropias. Funciones de distribucin y de densidad de vari-
ables aleatorias. Momentos de la distribucin . . . . . . . . . . . . . . . . . . . . . . . 40
8.3.1. Distribucin normal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
8.3.2. Distribucin Gamma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
8.3.3. Distribucin exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
8.3.4. Distribucin Beta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
8.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
9. Integrales de funciones complejas de variable real 45
10.Integrales mltiples impropias 47
2
Ampliacin de Clculo
INTEGRALES IMPROPIAS
Y FUNCIONES DEFINIDAS MEDIANTE INTEGRALES
Luis Sanz. Curso 2010-2011
1. Concepto de integral impropia
En este captulo se estudiarn las denominadas integrales impropias, tanto simples como mltiples,
que son una generalizacin de la integral de Riemann. En primer lugar se trabajar con las integrales
impropias simples para a continuacin pasar a estudiar las integrales impropias mltiples.
La integral de Riemann de funciones reales de variables real (integral simple) se dene para funciones
acotadas y en un intervalo acotado, es decir, para denir
_
b
o
)(r)dr, a y / deben ser nitos y la
funcin ) : [a, /] R tiene que estar acotada.
Pues bien, una integral impropia simple es un concepto que se obtiene relajando alguna de las
condiciones anteriores. As, se estudiarn integrales del tipo
_
o
o
)(r)dr e integrales del tipo
_
b
o
)(r)dr
donde ) no est acotada en [a, /].
2. Integral impropia de una funcin acotada en compactos, en un
intervalo no acotado
2.1. Deniciones
Denicin 1 Sea a R y sea ) : [a, ) R una funcin que cumple que para todo T a la
funcin est acotada y es integrable Riemann (es decir, integrable en sentido clsico) en [a, T], con lo
que la integral
_
T
o
)(r)dr existe.
Se dice que la integral impropia
_
o
o
)(r)dr es convergente cuando existe y es nito el lmite
lm
To
_
T
o
)(r)dr
3
y en ese caso se dice que el valor de la integral es el valor de dicho lmite. En caso contrario se dice
que la integral es divergente.
Comentarios. Sea / a. Puesto que
_
T
o
)(r)dr =
_
b
o
)(r)dr +
_
T
b
)(r)dr
al tomar lmites cuando T se tiene, al no depender la segunda integral de T, que el lmite de
la primera integral existe y es nito si y slo si el lmite de la tercera integral existe y es nito, es
decir, se ha demostrado:
Proposicin 1 El carcter (es decir, la convergencia o la divergencia) de una integral del tipo
_
o
o
)(r)dr correspondiente a la denicin 1 no depende del punto a en el que se empieza a inte-
grar. Por ello, dicho punto se puede elegir arbitrariamente sin que esto afecte al carcter de la integral.
Comentario: Ntese la similitud entre el concepto de integral impropia
_
o
o
)(r)dr y el de serie
numrica
o
a=0
a
a
, pues sta ltima se dice que converge cuando existe y es nito el lmite
lm
no
n
a=0
a
a
Proposicin 2 La integral
_
o
1
oa
a
p
es convergente si y slo si j 1.
Dem.
Intentemos interpretar el resultado anterior: Como muestra la siguiente gura, las funciones 1,r
j
con
j 1 no solamente tienden a cero cuando r , sino que se pegan rpidamente al eje para valores
altos de r y por consiguiente la integral correspondiente converge. En el caso 1,r
j
con 0 < j _ 1
las funciones tambin tienden a cero cuando r , pero no con la suciente rapidez y la integral
correspondiente diverge
4
Denicin 2 Sea a R y sea ) : (, a] R una funcin que cumple que para todo T < a
la funcin est acotada y es integrable Riemann (es decir, integrable en sentido clsico) en [T, a],
con lo que la integral de Riemann
_
o
T
)(r)dr existe. Se dice que la integral impropia
_
o
o
)(r)dr es
convergente cuando existe y es nito el lmite
lm
To
_
o
T
)(r)dr
Comentarios:
De nuevo, el carcter de la integral
_
o
o
)(r)dr ser independiente del punto a.
Ntese que llevando a cabo el cambio t = r se obtiene
_
o
T
)(r)dr =
_
o
T
)(t)dt =
_
T
o
)(t)dt
por lo que al hacer tender T a se obtiene
_
o
o
)(r)dr =
_
o
o
)(t)dt
Por consiguiente, el estudio de las integrales del tipo
_
o
o
)(r)dr se puede reducir a las del tipo
_
o
b
)(r)dr.
Denicin 3 Sea ) : R R una funcin tal que para todo a _ /, la funcin ) est acotada en
[a, /] y es integrable en dicho intervalo. Sea a R. Se dice que la integral
_
o
o
)(r)dr es convergente
cuando las dos integrales impropias
_
o
o
)(r)dr y
_
o
o
)(r)dr son convergentes, es decir, existen los
dos lmites
lm
To
_
o
T
)(r)dr, lm
To
_
T
o
)(r)dr
5
y en tal caso se dene el valor de
_
o
o
)(r)dr como
_
o
o
)(r)dr =
_
o
o
)(r)dr +
_
o
o
)(r)dr
es decir,
_
o
o
)(r)dr = lm
To
_
o
T
)(r)dr + lm
To
_
T
o
)(r)dr
Comentario. Ntese que el que exista el lmite
lm
To
_
T
T
)(r)dr
no garantiza que la integral
_
o
o
)(r)dr sea convergente. En efecto, por ejemplo
lm
To
_
T
T
rdr = 0
y sin embargo la integral
_
o
o
rdr es divergente, pues tanto
_
0
o
rdr como
_
o
0
rdr son divergentes.
A continuacin se introduce el concepto de valor principal de una integral impropia. Este concepto
aparecer siempre que se consideren integrales impropias en los que aparecen dos lmites.
Denicin 4 Valor principal de
_
o
o
)(r)dr. Se dene el valor principal de la integral
_
o
o
)(r)dr
como
\ 1(
_
o
o
)(r)dr) := lm
To
_
T
T
)(r)dr
De forma inmediata se obtiene:
Proposicin 3 Si la integral
_
o
o
)(r)dr es convergente entonces su valor principal existe (como
lmite nito) y
_
o
o
)(r)dr = \ 1(
_
o
o
)(r)dr)
Comentarios:
Como se puso de maniesto anteriormente, que el valor principal exista (como lmite nito) no
implica que la integral impropia sea convergente.
Obsrvese que el estudio de las integrales impropias introducidas en las deniciones 2 y 3 se puede
reducir al estudio de las integrales
_
o
o
)(r)dr introducidas en la denicin 1.
Proposicin 4 Caracterizacin de la convergencia de una integral impropia. En las condi-
ciones de la denicin 1.1, se tiene que la integral
_
o
o
)(r)dr es convergente si y slo si se verica que
para todo - 0, existe = (-) R tal que si y ' son nmeros reales que cumplen < ' <
se tiene que

_
.
A
)(r)dr
< -,
es decir, la integral
_
o
o
)(r)dr es convergente si y slo si

_
.
A
)(r)dr
se puede hacer tan pequeo

como se quiera tomando ' y sucientemente grandes.
6
A continuacin se introduce el concepto de convergencia absoluta de integrales
_
o
o
)(r)dr que, como
se ver, est ntimamente relacionado con el de convergencia absoluta de series.
Denicin 5 Convergencia absoluta. En las condiciones de la denicin 1, se dice que la integral
_
o
o
)(r)dr converge absolutamente cuando la integral impropia
_
o
o
[)(r)[ dr es convergente.
El siguiente resultado establece la relacin entre la convergencia y la convergencia absoluta:
Proposicin 5 Si la integral
_
o
o
)(r)dr converge absolutamente entonces converge. Adems, en ese
caso
_
o
o
)(r)dr
_
_
o
o
[)(r)[ dr
Comentarios:
Como suceda en el caso de las series numricas, el recproco del enunciado anterior no es cierto
en general.
Cuando una integral impropia converge pero no converge absolutamente se dice que converge
condicionalmente.
Obviamente, si la funcin ) conserva el signo para valores sucientemente grandes de r, es decir,
si existe _ a tal que ) _ 0 en [, ) o bien ) _ 0 en [, ), la convergencia de
_
o
o
)(r)dr es
equivalente a su convergencia absoluta.
Ejercicio 1 Demostrar la proposicin anterior utilizando la caracterizacin de convergencia.
7
2.2. Criterios de convergencia
En esta seccin se introducen algunos criterios para poder garantizar que una integral impropia es
convergente o divergente sin necesidad de utilizar la denicin, es decir, sin necesidad de calcular
explcitamente
_
T
o
)(r)dr (cosa que en muy pocos casos se puede hacer) y luego pasar el lmite cuando
T .
2.2.1. Criterios para funciones subintegrales no negativas
En las condiciones de la denicin 1, supngase que ) es no negativa para valores sucientemente
grandes de r, es decir, supngase que existe _ a tal que ) _ 0 en [, ). En tal caso el rea
debajo de la grca de la funcin es siempre positiva y por tanto la funcin
1(T) =
_
T
o
)(r)dr
(que, obsrvese, es una funcin de T) es una funcin creciente para valores de T mayores que .
Integral de funciones no negativas
Por consiguiente, el comportamiento de 1(T) cuando T debe necesariamente ser uno de estos
dos:
1. Si 1(T) est acotada superiormente, entonces forzosamente el lmite lm
To
1(T) existe y es nito,
con lo que la integral
_
o
o
)(r)dr es convergente.
2. Si 1(T) no est acotada superiormente, entonces el lmite lm
To
1(T) vale +, con lo que la
integral
_
o
o
)(r)dr es divergente.
Ntese entonces que si ) _ 0, una forma de demostrar que la integral
_
o
o
)(r)dr es convergente es
demostrar que
_
T
o
)(r)dr est acotado superiormente como funcin de T.
8
A continuacin se introducen algunos criterios de convergencia para integrales de funciones no nega-
tivas que, como se ver, guardan gran similitud con los criterios de convergencia de series de trminos
no negativos.
Proposicin 6 Criterios de convergencia cuando la funcin subintegral es no negativa. En
las condiciones de la denicin 1, supngase que ) y q son no negativas para valores sucientemente
grandes de r.
1. Mayoracin. Si 0 _ ) _ q en [c, ) entonces si
_
o
o
q(r)dr converge entonces
_
o
o
)(r)dr
converge (y por ello si
_
o
o
)(r)dr diverge entonces
_
o
o
q(r)dr diverge).
2. Cociente. Si 0 _ ), q en [c, ) y existe (nito o innito) el lmite
1 := lm
ao
)(r)
q(r)
se tiene:
a) Si 0 < 1 < entonces las integrales
_
o
o
)(r)dr y
_
o
o
q(r)dr tienen el mismo carcter (es
decir, o ambas convergen o ambas divergen)
b) Si 1 = 0 y
_
o
o
_
o
o
)(r)dr converge.
c) Si 1 = y
_
o
o
q(r)dr diverge entonces
_
o
o
)(r)dr diverge.
Dem.
Comentario: Obsrvese que los dos resultados anteriores (criterios de mayoracin y del cociente) no
son ciertos si se elimina la condicin de que ) y q sean no negativas. Por ejemplo,
1
a
_
1
a
2
y
_
o
1
oa
a
2
converge y sin embargo
_
o
1
1
a
dr diverge. Por otro lado, como queda claro de su enunciado, si
no existe el lmite lm
ao
)(a)
j(a)
el criterio del cociente no se puede aplicar.
2.2.2. Criterios de convergencia. Caso general
Para el caso general (funciones que no necesariamente conservan el signo para valores sucientemente
altos de r) se tienen los siguientes resultados:
Proposicin 7 Criterio de Dirichlet para integrales impropias. Considrese la integral im-
propia
_
o
o
)(r)q(r)dr donde ) y q cumplen las condiciones de la denicin 1 Supngase:
1) La funcin 1(r) =
_
a
o
)(t)dt est acotada en [a, )
2) q cumple que es de clase 1 en [a, ), es decreciente en dicho intervalo y lm
ao
q(r) = 0.
Entonces la integral
_
o
o
)(r)q(r)dr es convergente.
Dem. Sugerencia. Utilizar integracin por partes.
9
Comentario: obsrvese que para poder aplicar el resultado anterior debe estar acotado
_
a
o
)(t)dt,
no )(r).
El siguiente resultado es una consecuencia directa del criterio de Dirichlet.
Proposicin 8 Criterio de Abel para integrales impropias. Considrese la integral impropia
_
o
o
)(r)q(r)dr donde ) y q cumplen las condiciones de la denicin 1. Supngase:
1)
_
o
o
)(t)dt es convergente.
2) q cumple que es de clase 1 en [a, ), es creciente y est acotada.
Entonces la integral
_
o
o
)(r)q(r)dr es convergente.
Dem. Sugerencia. Razonar que | := lm
ao
q(r) existe y es nito. Denir /(r) = | q(r), usar
que )q = )/ +|) y utilizar el criterio de Dirichlet.
2.2.3. Condicin necesaria de convergencia
Recurdese que en el caso de series numricas, una condicin necesaria (aunque no suciente) para
que
o
a=0
a
a
sea convergente es que exista el lmite lm
ao
a
a
y valga cero. Parece lgico plantearse si
algo anlogo sucede en el caso de la integral impropia
_
o
o
)(r)dr. En primer lugar es fcil darse
cuenta de que el que la integral
_
o
o
)(r)dr sea convergente no implica que exista lm
ao
)(r). De
hecho, puede suceder incluso que la funcin no est acotada en [a, ). En efecto, si se considera la
funcin ) : [1, ) R denida por
)(r) =
_
1
a
2
si r , N
r si r N
_
se tiene que ) no est acotada y el lmite lm
ao
)(r) no existe (ni nito ni innito). Por otro lado para
todo T 1
_
T
1
)(r)dr =
_
T
1
dr
r
2
(pues )(r) y
1
a
2
coinciden salvo en un nmero nito de puntos) y por ello lm
To
_
T
1
)(r)dr =
_
o
1
oa
a
2
con lo que la integral es convergente. Sin embargo s se verica lo siguiente:
Proposicin 9 En las condiciones de la denicin 1, si la integral impropia
_
o
o
y el lmite lm
ao
)(r) existe (nito o innito) entonces necesariamente lm
ao
)(r) = 0.
Dem.
10
Ejercicio 2 Estudiar la convergencia y la convergencia absoluta de las siguientes integrales impropias.
1)
_
o
0
senrdr
2)
_
o
2
a
2
oa
_
a
7
+1
3)
_
o
2
a
3
oa
_
a
7
+1
5)
_
o
2
sena
a
2
dr
6)
_
o
0
sen
_
1
_
a
_
dr
7)
_
o
1
2 cos
1
x
+ccaa
a
2
dr
Ejercicio 3 Sea H : [0, ) R la funcin denida mediante
H(r) = (1)
a
si r [:, : + 1), : N
es decir, H es una funcin constante a trozos que salta del valor 1 a 1 y viceversa al pasar por los
naturales. Sean las funciones
)(r) =
H(r)
_
r
+
1
r
2
q(r) =
H(r)
_
r
+
1
r
Se pide:
1. Calcular lm
ao
)(a)
j(a)
2. Estudiar la convergencia de las integrales
_
o
1
)(r)dr y
_
o
1
q(r)dr
3. Contradice lo obtenido en los apartados anteriores el criterio del cociente sobre la convergencia
de integrales impropias?
2.3. Algunas operaciones con integrales impropias
El cambio de variable y la integracin por partes pueden utilizarse en una integral impropia inter-
pretando adecuadamente los trminos que aparecen.
Ejercicio 4 Estudiar la convergencia de
_
o
2
oa
a
_
a
2
1
y en su caso calcularla. Sugerencia. Hacer el
cambio r = 1,n.
Ejercicio 5 Estudiar la convergencia de
_
o
1
ovctja
a
2
dr y en su caso calcularla.
11
3. Integral impropia de una funcin no acotada en un intervalo aco-
tado
3.1. Deniciones
Las deniciones 6 y 7 se reeren a la integral impropia
_
b
o
)(r)dr de una funcin que no est acotada
en el entorno de / o en el entorno de a, respectivamente. Las siguientes guras muestran algunos
ejemplos de funciones no acotadas en el entorno de /
Denicin 6 Sean a, / R y sea ) : [a, /) R una funcin que cumple que para todo tal que
a < < / la funcin est acotada y es integrable Riemann (es decir, integrable en sentido clsico) en
[a, ], con lo que la integral
_
o
_
b
o
cuando existe y es nito el lmite
lm
b
_

o
)(r)dr = lm
.0
+
_
b.
o
)(r)dr
12
Comentario: Sea a
t
[a, /). Puesto que
_

o
)(r)dr =
_
o
0
o
)(r)dr +
_

o
0
)(r)dr
al tomar lmites cuando /
se tiene, al no depender la segunda integral de , que el lmite de

la primera integral existe y es nito si y slo si el lmite de la tercera integral existe y es nito, es
decir, se ha demostrado:
Proposicin 10 El carcter (es decir, la convergencia o la divergencia) de una integral del tipo
_
b
o
)(r)dr correspondiente a la denicin 6 no depende del punto a en el que se empieza a integrar.
Por ello, dicho punto se puede elegir arbitrariamente sin que esto afecte al carcter de la integral.
Denicin 7 Sean a, / R y sea ) : (a, /] R una funcin que cumple que para todo tal que
a < < / la funcin est acotada y es integrable Riemann (es decir, integrable en sentido clsico) en
[, /], con lo que la integral
_
b

_
b
o
cuando existe y es nito el lmite
lm
o
+
_
b
)(r)dr = lm
.0
+
_
b
o+.
)(r)dr
Comentarios:
Ntese que haciendo el cambio t = r se tiene que
_
b
o+.
)(r)dr =
_
o.
b
)(t)dt
y adems )(t) est acotada en el entorno de / pero no en el entorno de a con lo que la integral
impropia tipo 2.2.
_
b
o
)(r)dr es igual a la integral impropia tipo 2.1.
_
o
b
)(r)dr.
Por supuesto, si
_
b
o
)(r)dr es una integral clsica de Riemann, es decir si ) est acotada
en (a, /), la integral no es impropia, pero si la consideramos como tal, resulta ser
convergente. Veamos un ejemplo: la integral
_
1
0
sinr dr no es impropia, pues la funcin sinr
est acotada en (0, 1), pero si nos olvidamos de esto y le aplicamos la denicin para ver si es
convergente, resulta que s lo es.
Proposicin 11 Sean a, / R, a < /. La integral
_
b
o
oa
(ba)
p
es convergente si y slo si j < 1. Adems,
lo mismo le sucede a la integral
_
b
o
oa
(ao)
p
.
Dem
13
Intentemos interpretar el resultado anterior para la integral
_
1
0
dr
r
j
.
Como muestra la siguiente gura, las funciones 1,r
j
con 0 < j < 1 tienden a cuando r 0
+
, y
adems se pegan rpidamente al eje j para valores pequeos de j, con lo que el rea debajo de la
curva es pequea y por consiguiente la integral correspondiente converge. En el caso 1,r
j
con j 1
las funcionestienden a cuando r 0
+
con mucha rapidez, con lo que el rea debajo de la curva
es grande y la integral correspondiente diverge
En el caso en que en una integral impropia haya ms de una causa de impropiedad, la convergencia
de la misma se dene de la siguiente forma:
Denicin 8 En el caso en que en una integral impropia haya un nmero nito de causas por las que
la integral deja de ser propia, se expresa la integral impropia como suma de integrales impropias de
forma que cada una de ellas slo sea impropia por una causa, y se dice que la integral es convergente
cuando todas esas integrales impropias son convergentes, siendo el valor de la integral la suma de las
mismas.
Ejercicio 6 Estudiar la convergencia de las siguientes integrales impropias
1.
_
o
0
oa
a
p
, j R
2.
_
o
o
oa
a(a3)
2
14
Denicin 9 Considrese una integral impropia
_
b
o
)(r)dr que sea una suma de integrales del tipo
2.1 y 2.2, es decir, ) no est acotada en el entorno de a ni de / pero est acotada y es integrable
Riemann en cualquier intervalo [c, ,] tal que a < c < , < /. Se dene el valor principal de la integral
como el valor del lmite
\ 1(
_
b
o
)(r)dr) := lm
.0
+
_
b.
o+.
)(r)dr
El siguiente resultado muestra la relacin que hay entre la existencia del valor principal y la conver-
gencia de la integral:
Proposicin 12 En las condiciones de la denicin 9, si la integral
_
b
o
)(r)dr (con ) no acotada en
el entorno de a ni de / pero acotada en cualquier intervalo [c, ,]) es convergente entonces su valor
principal existe (como lmite nito) y
_
b
o
)(r)dr = \ 1(
_
b
o
)(r)dr)
Comentario: Es sencillo darse cuenta de que aunque el valor principal exista (como lmite nito)
eso no implica que la integral impropia sea convergente.
Prop. Caracterizacin de la convergencia de una integral impropia (correspondiente a
la def. 6). En las condiciones de la denicin 6, se tiene que la integral
_
b
o
si y slo si se verica que para todo - 0, existe c = c(-) 0 tal que si c y , son nmeros reales
que cumplen / c < c < , < / se tiene que
_
o
c
)(r)dr
< -
La denicin de convergencia absoluta y relacin entre la convergencia y la convergencia absoluta es
la misma que en el caso tratado en la primera seccin.
Denicin 10 Convergencia absoluta. En las condiciones de la denicin 2.1., se dice que la
integral
_
b
o
)(r)dr converge absolutamente cuando la integral impropia
_
b
o
[)(r)[ dr es convergente.
Como pasaba en el caso de las integrales de tipo funcin acotada en compactos y recinto no acotado
se verica la siguiente relacin entre la convergencia y la convergencia absoluta:
Proposicin 13 En las condiciones de la denicin 2.1., si la integral
_
b
o
)(r)dr converge absoluta-
mente entonces converge. Adems, en ese caso
_
b
o
)(r)dr
_
_
b
o
[)(r)[ dr
Comentarios:
Por supuesto, el recproco del enunciado anterior no es cierto en general.
Pongmonos en las condiciones de la denicin 6 Obviamente, si la funcin ) conserva el signo
para valores sucientemente prximos a /, es decir, si existe c 0 tal que ) _ 0 en (/ c, /) o bien
) _ 0 en (/ c, /), la convergencia de
_
b
o
)(r)dr es equivalente a su convergencia absoluta.
15
3.2. Criterios de convergencia
Los nicos criterios de convergencia que se estudiarn para este tipo de integrales impropias son para
el caso en que la funcin subintegral no cambia de signo en el entorno de / y en las condiciones de
la denicin 6. Los resultados para integrales impropias del tipo correspondiente a la denicin 7 en
el caso de funciones que no cambien de signo en el entorno de a, se deducen de forma inmediata a
partir de los anteriores.
En las condiciones de la denicin 6, supngase que ) es no negativa para valores de r sucientemente
prximos a /, es decir, supngase que existe c 0 tal que ) _ 0 en (/ c, /). En tal caso la funcin
1() =
_

o
)(r)dr
es una funcin creciente de para valores de sucientemente prximos a /.
Por tanto, el comportamiento de 1() cuando /
debe necesariamente ser uno de estos dos.

Si 1() est acotada superiormente, entonces forzosamente el lmite lm
b
1() existe y es nito,

con lo que la integral
_
b
o
)(r)dr es convergente.
Si 1() no est acotada superiormente, entonces el lmite lm
b
1() vale +, con lo que la

integral
_
b
o
)(r)dr es divergente.
Ntese entonces que si ) _ 0, una forma de demostrar que la integral
_
b
o
)(r)dr es convergente es
demostrar que
_
o
)(r)dr est acotado superiormente como funcin de .
Pues bien, ya estamos en condiciones de introducir el siguiente resultado:
16
Proposicin 14 Criterios de convergencia para funciones no negativas. En las condiciones
de la denicin 2.1., supngase que ) y q son no negativas para valores de r sucientemente prximos
a /.
1. Comparacin. Si 0 _ ) _ q en (/ c, /), entonces si
_
b
o
_
b
o
)(r)dr
converge (y por ello si
_
b
o
)(r)dr diverge entonces
_
b
o
q(r)dr diverge).
2. Cociente. Si 0 _ ), q en (/ c, /) y existe (nito o innito) el lmite
1 := lm
ab
)(r)
q(r)
se tiene:
a) Si 0 < 1 < entonces las integrales
_
b
o
)(r)dr y
_
b
o
q(r)dr tienen el mismo carcter.
b) Si 1 = 0 y
_
b
o
_
b
o
)(r)dr converge.
c) Si 1 = y
_
b
o
q(r)dr diverge entonces
_
b
o
)(r)dr diverge.
Comentarios:
Obsrvese que los dos resultados anteriores no son ciertos si se elimina la condicin de que ) y q
sean no negativas. Por ejemplo,
1
a
_
1
a
1=2
y
_
1
0
oa
a
1=2
converge y sin embargo
_
1
0
1
a
dr diverge.
Como funciones q de comparacin se suele elegir q(r) = 1,r
j
para algn j. Ya sabemos que
_
o
1
1
r
j
dr converge si y slo si j 1
_
1
0
1
r
j
dr converge si y slo si j < 1
Ejercicio 7 Estudiar la convergencia de las siguientes integrales impropias
1.
_
1
0
ot
cca
3
(1t)
2)
_
1
0
c
x
oa
_
ccaa
3)
_
1
0
2+cca
1
x
oa
log(1+a)
4)
_
1
0
log
1
a
dr
5)
_
2
1
1+cos
1
x1
_
log(2a1)
dr
6)
_
1
0
1+a
2
cca(1a)
dr
7)
_
o
0
c
x
_
a
3
a
2
a+1
dr
8)
_
o
0
c
x
_
a
3
+a
2
a1
dr
4. Relacin entre la convergencia de integrales y de series
Considrese la integral impropia
_
o
0
)(r)dr donde suponemos que ) est acotada y es integrable en
los compactos de la forma [0, T], T 0.
Ya se sabe, de un criterio estudiado en Clculo, el siguiente resultado que relaciona la convergencia
de una integral con la de ua serie:
17
Proposicin 15 Si ) : [1, ) R cumple que es montona decreciente y positiva, entonces la serie
o
a=1
)(:)
converge si y slo si converge la integral impropia
_
o
1
)(r)dr converge.
Sabemos que por denicin
_
o
0
)(r)dr := lm
To
_
T
0
)(r)dr. Si en vez de tomar el lmite cuando la
variable continua T tiende a innito tomamos el lmite cuando la variable discreta : tiende a innito
se tiene
lm
ao
_
a
0
)(r)dr = lm
ao
__
1
0
)(r)dr +
_
2
1
)(r)dr + +
_
a
0
)(r)dr
_
=
= lm
ao
a
n=0
_
n+1
n
)(r)dr = lm
ao
a
n=0
a
n
=
o
n=0
a
n
donde
a
n
:=
_
n+1
n
)(r)dr
Por tanto, parece natural preguntarse si es cierto o no que
_
o
0
)(r)dr
?
=
o
n=0
a
n
donde a
n
:=
_
n+1
n
)(r)dr. Es decir, nos preguntamos la relacin entre la convergencia de la integral
impropia y de la serie
o
n=0
a
n
y, en caso de converger ambas, si ambas valen lo mismo.
Con respecto a la primera pregunta, hay que recordar que la existencia del lmite continuo implica
la existencia del lmite discreto y adems ambos valen lo mismo. Sin embargo la existencia del
lmite discreto no implica en general la del lmite continuo. Un ejemplo es el siguiente: el lmite
lm
ao
sen(2:) existe y vale cero, mientras que el lmite lm
To
sen(2T) no existe. Sin embargo,
si la funcin 1 a la que se est tomando el lmite es montona, entonces s se puede asegurar que la
existencia del lmite continuo es equivalente a la del lmite discreto.
Las ideas anteriores tambin son vlidas cuando el lmite discreto es ms general que :, : . As,
puede ser de la forma c
a
, : +, siempre que c
a
tienda a innito, por ejemplo :
2
, 2:, :+1, etc.
Es decir, se tiene el siguiente resultado:
Proposicin 16 Sea 1 : [0, ) R y sea c
a
una sucesin montona creciente que cumple lm
ao
c
a
=
+. Entonces:
a) Si los dos lmites lm
To
1(T) y lm
ao
1(c
a
) existen, entonces valen lo mismo.
b) Si lm
To
1(T) existe entonces lm
ao
1(c
a
) existe.
c) Si 1 es una funcin montona y lm
ao
1(c
a
) existe, entonces lm
To
1(T) existe.
Por lo tanto, y puesto que
_
o
0
)(r)dr = lm
To
_
T
0
)(r)dr y la funcin 1(T) :=
_
T
0
)(r)dr es
montona creciente cuando ) es no negativa, ya estamos en condiciones de asegurar lo siguiente:
18
Proposicin 17 Sea ) una funcin integrable Riemann, en cada intervalo [0, T], T 0 y sea c
a
una
sucesin montona creciente que cumple c
0
= 0 y lm
ao
c
a
= +. Entonces:
1) Si
_
o
0
)(r)dr y
o
n=0
_
c
m+1
cm
)(r)dr ambas convergen, entonces valen lo mismo.
2) Si
_
o
0
)(r)dr converge, entonces
o
n=0
_
c
m+1
cm
)(r)dr converge.
3) Si
o
n=0
_
c
m+1
cm
)(r)dr converge y ) _ 0, entonces
_
o
0
)(r)dr converge.
Hay casos en los que aunque ) no conserve el signo se puede asegurar que la convergencia de la serie
implica la de la integral. A continuacin presentamos un resultado relativo a uno de ellos, que es el
caso en que ) tiende a cero cuando r y cuando la longitud de los pasos de integracin est
acotada:
Proposicin 18 Sea ) una funcin integrable Riemann, en cada intervalo [0, T], T 0 y sea c
a
una
sucesin montona creciente que cumple lm
ao
c
a
= +. Supngase adems que existe 1 tal que
[c
a+1
c
a
[ _ 1 para todo : y que lm
ao
)(r) = 0. Entonces la convergencia de
o
n=0
_
c
m+1
cm
)(r)dr
implica la convergencia de
_
o
0
)(r)dr.
Ejercicio 8
1) Estudiar la convergencia y la convergencia absoluta de las siguientes integrales impropias
1
j
:=
_
o
0
:c:r
r
j
dr, J
j
:=
_
o
0
cos r
r
j
dr ; j R
Nota: en este apartado se puede utilizar que la integral
_
o
1
ccaa
a
p
dr diverge para j _ 0 y que la integral
_
1
0
[cca
x
1x
[
a(1a)
dr es divergente.
2) Demostrar, utilizando la relacin entre integrales y series, que
_
o
1
ccaa
a
p
dr diverge para j _ 0 y
que
_
o
1
[ccaa[
a
dr diverge.
3) Estudiar la convergencia y la convergencia absoluta de
_
o
0
:c:r
2
dr,
_
o
0
cos r
2
dr y
_
o
0
cca(a1)
(a1)
p
dr, j
R
19
5. Ejercicios
Ejercicio 9 Sea
)(r) =
sen(ar) arctan(r 2)
r
3
r
2
2r
y considrese la integral
1 =
_
10
0
)(r)dr
Razonar la veracidad o falsedad de los siguientes enunciados (algunos de ellos podran incluso no tener
sentido):
1. ) est denida para r = 0
2. 1 es una integral de Riemann.
3. ) es continua en r = 2
4. 1 es una integral convergente.
5. ) est acotada en el entorno de r = 0
6. ) converge
7. 1 est denida en r = 0
Ejercicio 10 Encontrar, si los hay, los razonamientos errneos en las siguientes operaciones:
1. lm
ao
r(arctan(3r) arctanr) = lm
ao
r
_
2

2
_
= lm
ao
r0 = 0
2. lm
ao
r(arctan(3r) arctanr) = lm
ao
arctan(3a)arctan a
1a
LHpital
= lm
ao
3
1+9x
2
1
1+x
2
1a
2
=
lm
ao
3a
2
1+9a
2

a
2
1+a
2
=
4
3
Ejercicio 11 Estudiar la veracidad o falsedad de los siguientes enunciados, razonndo su veracidad
en caso de ser ciertos y dando un contraejemplo en caso de ser falsos. Las funciones ), q : [a, ) R
y /, : : [a, /) R se suponen continuas en los intervalos en cuestin:
1. Si lm
ab
:(r) = 0 entonces
_
b
o
I(a)
c(a)
dr es una integral impropia.
2. Si lm
ab
/(r) = entonces
_
b
o
I(a)
c(a)
dr es una integral impropia.
3. Si lm
ao
)(r) = 0 entonces
_
o
o
)(r)dr es una integral impropia.
4. Si lm
ab
/(r) = 1 ,= 0 entonces
_
b
o
/(r)dr diverge
5. Si lm
ab
/(r) = entonces
_
b
o
/(r)dr diverge
6. Si lm
ao
)(r) = 0 entonces
_
o
o
)(r)dr converge.
7. Si / _ : en [a, /) y
_
b
o
:(r)dr converge entonces
_
b
o
/(r)dr converge.
8. Si [/[ _ : en [a, /) y
_
b
o
:(r)dr converge entonces
_
b
o
/(r)dr converge.
9. Si lm
ao
)
j
= 1 con 1 nito y no nulo y
_
o
o
_
o
o
)(r)dr converge.
10. Si
_
o
o
)(r)dr converge entonces lm
ao
)(r) existe y vale 0.
11. Si lm
ao
)(r) no existe entonces
_
o
o
)(r)dr diverge.
12. Si
_
o
o
)(r)dr converge y lm
ao
)(r) existe entonces dicho lmite vale 0.
13. Si ) est acotada y q es estrictamente decreciente, de clase uno y cumple lm
ao
q(r) = 0
entonces
_
o
o
)(r)q(r)dr converge.
14. Si j(r) es un polinomio entonces
_
o
0
j(r)c
a
dr converge.
15. Si j(r) es un polinomio sin races reales, entonces
_
o
0
c
x
j(a)
dr converge absolutamente.
16. Si j(r) es un polinomio de grado mayor o igual que uno con races reales, entonces
_
o
o
c
jxj
j(a)
dr
diverge.
20
Ejercicio 12 Estudiar si las integrales impropias
1
1
: =
_
o
0
c
a
_
r
3
r
2
r + 1
dr
1
2
: =
_
o
0
c
a
_
r
3
+r
2
r 1
dr
1
3
: =
_
o
o
c
a
_
[r
3
r
2
r + 1[
dr
son convergentes.
Ejercicio 13 Determinar los valore reales de a para los que converge la integral
1(a) =
_
o
0
c
a
c
oa
r
dr
Ejercicio 14 Sea
)(r, a) :=
arctan(ar) arctanr
r
Obsrvese que una vex jado a R, la funcin )(r, a) es o siempre no negativa o siempre no positiva.
Considrese la integral
_
o
0
)(r, a)dr
Usando la regla de LHpital se obtiene que
1. lm
a0
+
arctan(ar) arctanr
r
= a 1
2. Para a 0, lm
ao
[arctan(oa)arctan a[
a
1
a
2
=
a 1
a
3. Para a < 0, lm
ao
[arctan(oa)arctan a[
a
1
a
=
Decidir razonadamente la veracidad o falsedad de los siguientes enunciados:
1. Para todo a R la funcin )(r, a) est denida en r = 0
2. Para todo a R la funcin )(r, a) est acotada en el entorno de r = 0
3. Para todo a R la integral
_
o
0
)(r, a)dr no es impropia en r = 0
4. Para todo a = 1 la integral
_
o
0
)(r, a)dr es impropia en r = 0
_
o
0
)(r, a)dr es convergente.
_
1
0
7. Para todo a 0 la integral
_
o
0
8. Para todo a _ 0 la integral
_
o
0
)(r, a)dr es divergente.
21
6. Funciones denidas mediante integrales en sentido propio depen-
dientes de un parmetro
Condiciones I. Sea una funcin
) : [a, /] [c, d] R
(r, `) )(r, `)
tal que para todo ` [c, d], )(r, `) es integrable como funcin de r, con lo que puedo denir la
funcin
1(`) :=
_
b
o
)(r, `)dr, ` [c, d]
Nos preguntamos:
a) Bajo qu condiciones es 1(`) continua en [c, d]? En ese caso se tendra que para todo `
0
[c, d]
se cumplira lm
AA
0
_
b
o
)(r, `)dr =
_
b
o
)(r, `
0
)dr.
b) Bajo qu condiciones es 1(`) derivable en [c, d]? Y, en ese caso, es
o
oA
_
b
o
)(r, `)dr =
_
b
o
0)
0A
(r, `)dr
para cada ` de (c, d)?
c) Bajo qu condiciones es 1(`) integrable en [c, d]? Y, en ese caso, es cierto que
_
o
c
__
b
o
)(r, `)dr
_
d`
?
=
_
b
o
__
o
c
)(r, `)d`
_
dr ?,
es decir, puedo intercambiar el orden de integracin?
Los siguientes resultados dan respuesta a las preguntas anteriores:
Proposicin 19 Continuidad. Supnganse las condiciones I. Si ) es continua en [a, /] [c, d] en-
tonces 1(`) :=
_
b
o
)(r, `)dr es continua en [c, d] y por ello si `
0
[c, d] se tiene que lm
AA
0
_
b
o
)(r, `)dr =
_
b
o
)(r, `
0
)dr (si `
0
es un extremo del intervalo el lmite hay que entenderlos como lmite lateral).
Proposicin 20 Integracin. Supnganse las condiciones I. Si ) es continua en [a, /] [c, d] en-
tonces 1(`) :=
_
b
o
)(r, `)dr es integrable en [c, d] y adems se tiene que
_
o
c
__
b
o
)(r, `)dr
_
d` =
_
b
o
__
o
c
)(r, `)d`
_
dr =
_ _
[o,b][c,o]
)(r, `)drd`
Comentario: Obsrvese que este ltimo resultado no es ms que un caso particular del teorema de
Fubini.
Proposicin 21 Derivacin. Supnganse las condiciones I. Supngase adems:
1) ) es continua en [a, /] [c, d]
2)
0)
0A
(r, `) existe y es continua en [a, /] [c, d].
Entonces 1(`) :=
_
b
o
)(r, `)dr es derivable con continuidad en [c, d] y adems
\` [c, d], 1
t
(`) :=
d
d`
_
b
o
)(r, `)dr =
_
b
o
0)
0`
(r, `)dr
(si ` es un extremo del intervalo la derivada hay que entenderla como derivada lateral).
22
6.1. Integrales en sentido propio con lmites dependientes del parmetro
Condiciones II. Sea ' el conjunto denido por
' = (r, `) : ` [c, d], c(`) _ r _ ,(`) ,
donde c y , son funciones continuas de ` en [c, d].
Ntese que ' es compacto. Supongamos que para cada ` [c, d] existe la integral
_
o(A)
c(A)
)(r, `)dr
con lo que se puede denir la funcin
1(`) :=
_
o(A)
c(A)
)(r, `)dr, ` [c, d]
Nos preguntamos:
a) Bajo qu condiciones es 1(`) continua en [c, d]?
b) Bajo qu condiciones es 1(`) derivable en [c, d]? Cmo se puede calcular la derivada?
c) Bajo qu condiciones es 1(`) integrable en [c, d]?
Los siguientes resultados dan respuesta a las preguntas anteriores:
Proposicin 22 Continuidad. Supnganse las condiciones II. Si ) es continua en ' entonces
1(`) :=
_
o(A)
c(A)
)(r, `)dr es continua en [c, d] y por ello si `
0
[c, d] se tiene que lm
AA
0
_
o(A)
c(A)
)(r, `)dr =
_
o(A
0
)
c(A
0
)
)(r, `
0
)dr (si `
0
es un extremo del intervalo los lmites hay que entenderlos como lmites
laterales).
Proposicin 23 Integracin. Supnganse las condiciones II. Si ) es continua en ' entonces
1(`) :=
_
o(A)
c(A)
_
o
c
_
_
o(A)
c(A)
)(r, `)dr
_
d` =
_ _
A
)(r, `)drd`
Comentario: De nuevo, este ltimo resultado no es ms que un caso particular del teorema de
Fubini.
23
Proposicin 24 Derivacin. Supnganse las condiciones II. Supngase:
1) ) es continua en '.
2) c y, son de clase 1 en [c, d].
3)
0)
0A
(r, `) existe y es continua en '
Entonces 1(`) :=
_
o(A)
c(A)
)(r, `)dr es derivable con continuidad en [c, d] y adems
\` [c, d], 1
t
(`) :=
d
d`
_
o(A)
c(A)
)(r, `)dr =
_
o(A)
c(A)
0)
0`
(r, `)dr +)(,(`), `),
t
(`) )(c(`), `)c
t
(`)
(si `
0
es un extremo del intervalo la derivada hay que entenderla como derivada lateral).
24
7. Funciones denidas mediante integrales impropias dependientes
de un parmetro
7.1. Planteamiento del problema
Trabajaremos primero con funciones denidas mediante integrales impropias de la forma
_
o
o
)(r, `)dr
con )(r, `) acotada en compactos como funcin de r. Veremos que los resultados para las funciones
denidas mediante integrales impropias del tipo
_
b
o
)(r, `)dr con ) no acotada en el entorno de / (o
de a), son anlogos.
Condiciones III. Sea una funcin
) : [a, ) 1 R
(r, `) )(r, `)
donde 1 es un intervalo de R de forma que ) est acotada y es integrable Riemann en cada inter-
valo [a, ] con a < < /. Supngase que para todo ` 1, la integral impropia
_
o
o
)(r, `)dr es
convergente, con lo que puedo denir la funcin
1(`) :=
_
o
o
)(r, `)dr
Nos preguntamos:
a) Bajo qu condiciones es 1(`) continua en 1?
b) Bajo qu condiciones es 1(`) derivable en 1? Y, en ese caso, puedo derivar bajo el signo
integral?
c) Si 1 = [c, d]. Bajo qu condiciones es 1(`) integrable en [c, d]? Y, en ese caso, es cierto
que
_
o
c
__
o
o
)(r, `)dr
_
d` =
_
o
o
_
_
o
c
)(r, `)d`
_
dr? es decir, se puede intercambiar el orden de
integracin?
En el caso en que las integrales impropias son de tipo funcin no acotada en intervalo acotado, las
ideas anteriores tienen ideas correspondientes anlogas. En efecto, considrese:
Condiciones IV. Sea una funcin
) : [a, /) 1 R
(r, `) )(r, `)
tal que para cada ` 1, la funcin )(r, `) (como funcin de r) est acotada y es integrable Riemann
en cada intervalo [a, ] con a < < /. Supngase que para cada ` 1, la integral impropia
_
b
o
)(r, `)dr es convergente, con lo que puedo denir la funcin
1(`) :=
_
b
o
)(r, `)dr
Pues bien, en este caso surgen las mismas cuestiones relativas a la continuidad, derivabilidad e
integrabilidad de 1. Veremos que las condiciones para que las preguntas anteriores tengan respuesta
armativa son las mismas que en el caso de las funciones denidas mediante integrales propias
_
b
o
)(r, `)dr (seccin 6) pero aadiendo una condicin de convergencia uniforme de la integral
impropia correspondiente.
25
7.2. Convergencia puntual y uniforme de sucesiones de funciones
En esta seccin se denen los conceptos de convergencia puntual y convergencia uniforme de una
sucesin de funciones y de una serie funcional.
En lo sucesivo 1 ser siempre un intervalo de R. Considrese una sucesin de funciones ()
a
)
a.
donde
)
a
: 1 R R. Ntese que para cada : jo se tiene una funcin /(r) = )
a
(r) y para cada r 1
se tiene una sucesin de nmeros )
a
(r).
Denicin 11 Convergencia puntual y convergencia uniforme de una sucesin de fun-
ciones. Sea ()
a
)
a.
una sucesin funcional, donde )
a
: 1 R R y sea ) : 1 R R.
Se dice que )
a
converge puntualmente a ) en 1 cuando \r 1, )
a
(r)
ao
)(r), es decir, cuando
\r 1, [)
a
(r) )(r)[
ao
0.
Se dice que )
a
converge uniformemente a ) en 1 cuando sup
a1
[)
a
(r) )(r)[
ao
0.
De la denicin se sigue inmediatamente que la convergencia uniforme implica convergencia puntual
y al mismo lmite:
Proposicin 25 )
a
converge uniformemente a ) en 1 = )
a
converge puntualmente a ) en 1.
Comentarios:
El recproco de este ltimo resultado no es cierto.
Adems, es claro que si )
a
converge puntualmente (o uniformemente) a ) en 1 entonces )
a
converge
puntualmente (o uniformemente) a ) en cualquier subconjunto de 1.
Ejercicio 15 Para cada r R, estudiar la existencia del lmite lm
ao
r
a
. Como aplicacin, estudiar
la convergencia puntual e uniforme de )
a
(r) = r
a
en el conjunto [r[ < 1. Idem en [r[ _ a donde
0 < a < 1.
Las deniciones anteriores tambin son vlidas si las funciones )
a
y ) son funciones complejas de
variable real.
Veamos algunas limitaciones de las sucesiones de funciones que convergen puntualmente. La con-
vergencia puntual de )
a
a ) en 1, por s misma:
1. No permite asegurar que las propiedades de suavidad de )
a
se trasladen a ). Por ejemplo:
Si las )
a
son continuas en 1 eso no necesariamente implica que ) sea continua en 1. Por ejemplo,
)
a
(r) = r
a
es continua en (1, 1] para cada :, y sin embargo converge en ese conjunto a la
funcin
)(r) =
_
0 si r (1, 1)
1 si r = 1
_
que no es continua.
Si las )
a
son derivables en 1 eso no necesariamente implica que ) sea derivable en 1, y en caso
de que ) sea derivable, no tiene por qu vericarse que )
t
a
converja puntualmente a )
t
.
2. No permite asegurar a priori que se puedan realizar ciertos intercambios de lmites. Por ejemplo:
26
Si )
a
converge puntualmente a ) en [a, /], en general no es cierto que
_
b
o
)
a
(r)dr
ao
_
b
o
)(r)dr. Por ejemplo, la sucesin de funciones denida en el [0, 1] mediante
)
a
(r) =
_
:
2
si
1
a+1
< r _
1
a
0 si 0 _ r <
1
a+1

1
a
< r _ 1
_
cumple que converge puntualmente a ) donde ) es la funcin nula en dicho intervalo. Obvia-
mente
_
1
0
)(r)dr = 0. Sin embargo
_
1
0
)
a
(r)dr =
:
2
:
2
+:

ao
1
por lo que en este caso
_
1
0
)
a
(r)dr no converge a
_
1
0
)(r)dr.
Sin embargo, se tiene:
Proposicin 26 Continuidad, derivabilidad e integrabilidad del lmite uniforme de una
sucesin funcional. Sean )
a
, ) : 1 R R donde 1 es un intervalo de R.
1. Continuidad. Si las )
a
son continuas en 1 y )
a
converge uniformemente a ) en 1 entonces
) es continua en 1.
2. Integrabilidad. Si las )
a
: [a, /] R son integrables en [a, /] y convergen uniformemente en
dicho conjunto a una funcin ), entonces ) es tambin integrable en [a, /] y adems
_
b
o
)
a
(r)dr
ao
_
b
o
)(r)dr.
3. Derivabilidad. Daremos dos resultados:
3.1. Supongamos que 1 es un intervalo acotado. Si las )
a
son derivables en 1, las )
t
a
convergen
uniformemente a una cierta funcin en 1 y adems existe a 1 tal que la sucesin numrica )
a
(a)
converge, entonces:
a) )
a
converge uniformemente en 1 a una cierta funcin ).
b) ) es derivable en 1 y las )
t
a
convergen uniformemente en 1 a )
t
.
3.2. Sea 1 un intervalo cualquiera. Si las )
a
convergen puntualmente a una cierta funcin ) en 1
y las )
t
a
convergen uniformemente a una cierta funcin en 1 entonces:
a) ) es derivable en 1 y las )
t
a
convergen uniformemente en 1 a )
t
.
b) Si adems 1 es acotado, la convergencia de )
a
a ) es uniforme en 1.
7.3. Convergencia puntual y uniforme de series de funciones
Recurdese que una serie funcional es una expresin
o
a=0
)
a
(r) donde las )
a
son funciones )
a
: 1
R R. Ntese que para cada r 1,
o
a=0
)
a
(r) es una serie numrica.
Denicin 12 Convergencia puntual y convergencia uniforme de una serie de funciones.
Sea
o
a=0
)
a
(r) una serie de funciones )
a
: 1 R R y sea ) una funcin ) : 1 R R.
a) Se dice que
o
a=0
)
a
(r) converge puntualmente a ) en 1 cuando la sucesin de sumas parciales
a
n=0
)
n
(r) converge puntualmente a ) en 1 es decir, cuando \r 1,
n=0
)
n
(r) )(r)

ao
0, es
decir, cuando \r 1, la serie numrica
o
a=0
)
a
(r) converge y adems el lmite vale )(r).
27
b) Se dice que
o
a=0
)
a
(r) converge uniformemente a ) en 1 cuando la sucesin de sumas parciales
a
n=0
)
n
(r) converge uniformemente a ) en 1 es decir, cuando sup
a1
n=0
)
n
(r) )(r)

ao
0.
De nuevo, se cumple:
Proposicin 27
o
a=0
)
a
(r) converge uniformemente a ) en 1 =
o
a=0
)
a
(r) converge puntualmente a
) en 1.
Comentario: El recproco del resultado anterior no es cierto.
Por tanto, dada una serie funcional
o
a=0
)
a
(r), para cada r 1 se tiene una serie numrica que
puede converger o divergir. En caso de converger, puedo plantearme si la convergencia es absoluta.
Tambin se puede estudiar si la serie converge puntualmente a alguna funcin en 1, y de hacerlo
puedo plantearme si lo hace uniformemente.
Ntese que si
o
a=0
)
a
(r) converge puntualmente en un conjunto 1, puedo denir en ste una funcin
) mediante )(r) :=
o
a=0
)
a
(r).
La siguiente proposicin permite, en muchas ocasiones de inters, demostrar que una serie funcional
converge uniformemente en un conjunto sin necesidad de aplicar la denicin:
Proposicin 28 Criterio de Weierstrass. Sea
o
a=0
)
a
(r) una serie de funciones denidas en 1 1
tal que:
i) Existe una sucesin de nmeros reales a
a
tal que \r 1, \: , [)
a
(r)[ _ a
a
ii) La serie numrica
o
a=0
a
a
es convergente.
Entonces la serie
o
a=0
)
a
(r) converge uniformemente en 1.
Como ya se puede esperar, la convergencia puntual de una serie funcional
o
a=0
)
a
(r) no garantiza que
las propiedades de continuidad, derivabilidad e integrabilidad de las )
a
se trasladen a la funcin suma
). Adems, en general no se pueden intercambiar los lmites correspondientes.
Sin embargo, cuando la convergencia es uniforme se tiene lo siguiente:
Proposicin 29 Continuidad, derivabilidad e integrabilidad del lmite uniforme de una
serie de funciones. Sean )
a
, ) : 1 R R.
1. Continuidad. Si las )
a
son continuas en 1 y
o
a=0
)
a
(r) converge uniformemente a ) en 1
entonces ) es continua en 1.
2. Integrabilidad. Si las )
a
: [a, /] 1 son integrables en [a, /] y
o
a=0
)
a
(r) converge uni-
formemente en dicho conjunto a una funcin ), entonces ) es tambin integrable en [a, /] y adems
28
_
b
o
_
o
a=0
)
a
(r)
_
dr =
o
a=0
_
b
o
)
a
(r)dr con lo que, hablando informalmente, se pueden intercambiar la
suma innita y la integral.
3. Derivabilidad. Se verican los dos resultados siguientes:
3.1. Supongamos que 1 es un intervalo acotado. Si las )
a
son derivables en 1,
o
a=0
)
t
a
converge
uniformemente en 1 y adems existe a 1 tal que la serie numrica
o
a=0
)
a
(a) converge, entonces:
a)
o
a=0
)
a
converge uniformemente en 1 a una cierta funcin ).
b) ) es derivable en 1 y
o
a=0
)
t
a
converge uniformemente a )
t
en 1, es decir,
d
dr
_
o
a=0
)
a
(r)
_
=
o
a=0
)
t
a
(r)
con lo que, hablando informalmente, se pueden intercambiar la suma innita y la derivada.
3.2. Sea 1 un intervalo cualquiera. Si
o
a=0
)
a
converge puntualmente a ) en 1, las )
a
son derivables
en 1 y
o
a=0
)
t
a
converge uniformemente en 1 entonces:
a) ) es derivable en 1 y
o
a=0
)
t
a
converge uniformemente a )
t
en 1, es decir,
d
dr
_
o
a=0
)
a
(r)
_
=
o
a=0
)
t
a
(r)
b) Si adems 1 es acotado, entonces la convergencia de
o
a=0
)
a
a ) es uniforme en 1.
7.4. Convergencia uniforme de integrales impropias
La nocin de convergencia uniforme de integrales impropias del tipo
_
o
o
)(r, `)dr donde ) est
acotada en compactos para todo valor de `, es muy similar a la de convergencia uniforme de series
funcionales.
Denicin 13 Convergencia puntual y uniforme de una integral impropia paramtrica
tipo funcin acotada en compactos y dominio no acotado
_
o
o
)(r, `)dr. Sea 1 un intervalo
de R, y sea ) una funcin
) : [a, ) 1 R
(r, `) )(r, `)
que cumple las condiciones III anteriores, es decir, para cada ` 1, la funcin )(r, `), considerada
como funcin de r, est acotada y es integrable Riemann en cada intervalo [a, T] con T a. Sea 1
una funcin 1 : 1 R.
Se dice que la integral
_
o
o
)(r, `)dr converge puntualmente a 1 en 1 cuando \` 1,
_
T
o
)(r, `)dr 1(`)

To
0, es decir, cuando \` 1, la integral impropia
_
o
o
)(r, `)dr es
convergente y adems su valor es 1(`).
_
o
o
)(r, `)dr converge uniformemente a 1 en 1 cuando
sup
A1
_
T
o
)(r, `)dr 1(`)

To
0.
29
De la denicin se sigue de forma inmediata:
Proposicin 30 Si
_
o
o
)(r, `)dr converge uniformemente a 1 en 1 =
_
o
o
)(r, `)dr converge pun-
tualmente a 1 en 1.
Comentario: El recproco de este resultado no es cierto.
El siguiente resultado proporciona condiciones necesarias y sucientes para la convergencia uniforme
de una integral impropia paramtrica.
Proposicin 31 Caracterizacin de la convergencia uniforme de una integral impropia
paramtrica del tipo funcin acotada en compactos y dominio no acotado. En las condi-
ciones III anteriores, se verica que la integral
_
o
o
)(r, `)dr converge uniformemente para ` 1 si y
slo si se verica que para todo - 0, existe = (-) R tal que si y ' son nmeros reales que
cumplen < ' < se tiene que
sup
A1
_
.
A
)(r, `)dr
< -,
En muchos casos el resultado anterior no resulta muy til para comprobar en la prctica si una inte-
gral impropia converge uniformemente. Por el contrario la siguiente proposicin permite, en muchas
ocasiones de inters, demostrar que una integral impropia paramtrica converge uniformemente en
un conjunto. Ntese el gran parecido con el criterio de Weierstrass para la convergencia uniforme de
series funcionales.
Proposicin 32 Criterio de Weierstrass para la convergencia uniforme de integrales im-
propias del tipo funcin acotada en compactos e intervalo de integracin no acotado. Sea
)(r, `) una funcin denida en [a, ) 1 y considrese la integral impropia
_
o
o
)(r, `)dr. Supngase
que:
i) Existe una funcin c(r) tal que \` 1 y \r [a, ), [)(r, `)[ _ c(r).
ii) La integral impropia
_
o
o
c(r)dr es convergente.
Entonces la integral impropia
_
o
o
)(r, `)dr converge uniformemente en 1.
Veamos cmo se traslada el concepto de convergencia uniforme de integrales impropias paramtricas
al caso de integrales impropias del tipo
_
b
o
)(r, `)dr con )(r, `) no acotada en el entorno de / como
funcin de r.
Denicin 14 Convergencia puntual y uniforme de una integral impropia paramtrica
del tipo funcin no acotada en conjunto acotado
_
b
o
)(r, `)dr. Sea 1 R, sea una funcin
) : [a, /) 1 R
(r, `) )(r, `)
que cumple las condiciones IV y sea 1 una funcin 1 : 1 R.
_
b
o
)(r, `)dr converge puntualmente a 1 en 1 cuando
\` 1,
o
)(r, `)dr 1(`)
0, es decir, cuando \` 1, la integral impropia

_
b
o
)(r, `)dr
converge y adems su valor es 1(`).
_
b
o
)(r, `)dr converge uniformemente a 1 en 1 cuando
sup
A1
o
)(r, `)dr 1(`)
0.
30
De la denicin se desprende inmediatamente:
Proposicin 33
_
b
o
)(r, `)dr converge uniformemente a 1 en 1 =
_
b
o
)(r, `)dr converge puntual-
mente a 1 en 1.
Comentario: El recproco del resultado anterior no es cierto.
El siguiente resultado da condiciones necesarias y sucientes para la convergencia uniforme de una
integral paramtrica del tipo considerado:
Proposicin 34 Caracterizacin de la convergencia uniforme de una integral impropia
tipo funcin no acotada en dominio acotado. En las condiciones IV anteriores, se verica
que la integral
_
b
o
)(r, `)dr converge uniformemente para ` 1 si y slo si se verica que para todo
- 0, existe c = c(-) 0 tal que si c y , son nmeros reales que cumplen / c < c < , < / se
tiene que
sup
A1
_
o
c
)(r, `)dr
< -
Para las integrales impropias de este tipo tambin existe un criterio que proporciona condiciones
sucientes para que la integral converja uniformemente, y que es casi idntico al correspondiente
a las integrales tipo funcin acotada en compactos e intervalo de integracin no acotado.
Proposicin 35 Criterio de Weierstrass para la convergencia uniforme de integrales im-
propias del tipo funcin no acotada en intervalo acotado. Sea )(r, `) una funcin denida
en [a, /) 1 para la que suponemos las condiciones IV y considrese la integral impropia
_
b
o
)(r, `)dr.
Supngase que:
i) Existe una funcin c(r) tal que \` 1 y \r [a, /), [)(r, `)[ _ c(r).
ii) La integral impropia
_
b
o
c(r)dr es convergente.
Entonces la integral impropia
_
b
o
)(r, `)dr converge uniformemente en 1.
Si una integral impropia paramtrica es impropia por dos o ms razones, la denicin de convergencia
uniforme es la siguiente:
Denicin 15 En el caso en que en una integral impropia paramtrica haya un nmero nito de
causas por las que la integral deja de ser propia, se expresa la integral impropia como suma de integrales
impropias de forma que cada una de ellas slo sea impropia por una causa, y se dice que la integral
converge uniformemente para ` 1 cuando todas esas integrales impropias convergen uniformemente
para ` 1.
Ejercicio 16 Estudiar la convergencia puntual y la convergencia uniforme de las siguientes integrales
impropias, utilizando la denicin y utilizando el criterio de Weierstrass.
1.
_
o
0
`c
aA
dr en los intervalos: (a) 1 = [0, 1] y (b) 1 = [/, 1] con 0 < / < 1.
2.
_
1
0
`r
A1
dr en los intervalos: (a) 1 = [0, 1] y (b) 1 = [/, 1] con 0 < / < 1.
3.
_
o
1
t
t
2
+a
2
dr en los intervalos: (a) 1 = (0, ) y (b) 1 = (0, c] con 0 < c.
31
Nota: El ejercicio anterior muestra que una integral impropia puede converger uniformemente en
[/, 1] para todo / (0, 1) y sin embargo no convergere uniformemente en (0, 1). De manera anloga,
una integral impropia puede converger uniformemente en (0, c] para todo c 0 y sin embargo no
convergere uniformemente en (0, ).
7.5. Continuidad, derivabilidad e integrabilidad de integrales impropias tipo 1
(funcin acotada en compactos e intervalo de integracin no acotado)
Los siguientes resultados proporcionan condiciones bajo las cuales funciones denidas mediante in-
tegrales impropias (del tipo funcin acotada en compactos e intervalo de integracin no acotado)
son continuas, integrables y derivables. Obsrvese el paralelismo con los resultados anlogos de la
seccin 6, que estudian la continuidad, integrabilidad y derivabilidad de funciones denidas medi-
ante integrales propias. Esencialmente, los resultados de dicha seccin se trasladan a sta si a las
condiciones de las proposiciones se les aade un cierto requisito de convergencia uniforme de una
integral impropia. En concreto se tiene:
Proposicin 36 Continuidad. Supnganse las condiciones III. Supngase adems que:
1. ) es continua en [a, ) 1
2. La integral impropia
_
o
o
)(r, `)dr converge uniformemente en 1
Entonces la funcin 1(`) :=
_
o
o
)(r, `)dr es continua en 1 y por ello si `
0
1 se tiene que
lm
AA
0
_
o
o
)(r, `)dr =
_
o
o
)(r, `
0
)dr.
Proposicin 37 Integracin. Supnganse las condiciones III y supngase que 1 = [c, d] Supngase
adems que:
1. ) es continua en [a, ) [c, d]
_
o
o
)(r, `)dr converge uniformemente en [c, d].
Entonces 1(`) :=
_
o
o
_
o
c
__
o
o
)(r, `)dr
_
d` =
_
o
o
__
o
c
)(r, `)d`
_
dr
Proposicin 38 Derivacin. Supnganse las condiciones III:
1) ) es continua en [a, ) 1.
2)
0)
0A
(r, `) existe y es continua en [a, ) 1.
3) La integral impropia
_
o
o
0)
0A
(r, `)dr converge uniformemente en 1.
Entonces 1(`) :=
_
o
o
)(r, `)dr es derivable con continuidad en 1 y adems
\` 1, 1
t
(`) :=
d
d`
_
o
o
)(r, `)dr =
_
o
o
0)
0`
(r, `)dr
Ejercicio 17 Sea c 0 y sea la integral
_
o
1
t
t
2
+a
2
dr para t [0, c]. Converge la integral puntualmente
en dicho intervalo? Y uniformemente?
Ejercicio 18 Este problema tiene por objetivo calcular la integral
_
o
0
ccaa
a
dr. Considrese la integral
1(a) =
_
o
0
c
oa
:c:r
r
dr
1. Razonar las causas por las que la integral anterior es impropia, y estudiar razonadamente los
valores de a para los que la integral es convergente.
32
2. Demostrar que para todo , 0, la integral anterior es uniformemente convergente en [,, ).
3. Obtener una primitiva de q(r) := c
oa
:c:r
4. Sea , 0. Demostrar que
_
o
0
c
oa
:c:rdr es uniformemente convergente para a [,, ).
5. Razonar si 1 es derivable y en caso armativo obtener la derivada 1
t
(a) para a 0.
6. Calcular 1(a) para a 0.
7. Calcular 1(0) =
_
o
0
ccaa
a
dr (en este apartado se puede dar por sabido que 1(a) es uniformemente
convergente para a [0, ))
7.6. Continuidad, derivabilidad e integrabilidad de integrales impropias tipo 2
(funcin no acotada e intervalo de integracin acotado)
En el caso en que las integrales impropias son de tipo funcin no acotada, intervalo de integracin
acotado, los resultados anteriores tienen equivalentes anlogos. En efecto, se tiene:
Proposicin 39 Continuidad. Supnganse las condiciones IV. Supngase adems que:
1. ) es continua en [a, /) 1
_
b
o
)(r, `)dr converge uniformemente en 1
Entonces la funcin 1(`) :=
_
b
o
)(r, `)dr es continua en 1 y por ello si `
0
1 se tiene que
lm
AA
0
_
b
o
)(r, `)dr =
_
b
o
)(r, `
0
)dr.
Proposicin 40 Integracin. Supnganse las condiciones IV con 1 = [c, d]. Supngase adems que:
1. ) es continua en [a, /) [c, d]
_
b
o
)(r, `)dr converge uniformemente en [c, d].
Entonces 1(`) :=
_
b
o
_
o
c
__
b
o
)(r, `)dr
_
d` =
_
b
o
__
o
c
)(r, `)d`
_
dr
Proposicin 41 Derivacin. Supnganse las condiciones IV:
1) ) es continua en [a, /) 1.
2)
0)
0A
(r, `) existe y es continua en [a, /) 1.
3) La integral impropia
_
b
o
0)
0A
(r, `)dr converge uniformemente en 1.
Entonces 1(`) :=
_
b
o
)(r, `)dr es derivable con continuidad en 1 y adems
\` [c, d], 1
t
(`) :=
d
d`
_
b
o
)(r, `)dr =
_
b
o
0)
0`
(r, `)dr
7.7. Ejercicios de funciones denidas mediante integrales impropias
Ejercicio 19 Supngase que para todo ` R, la integral
_
o
o
)(r, `)dr slo es impropia porque el
intervalo de integracin es no acotado (es decir, para todo ` R la funcin )(+, `) est acotada y
es integrable Riemann en [a, T] para todo T a). Sea 1 un intervalo de la recta real. Razonar la
veracidad o falsedad de los siguientes enunciados.
1. Si
_
o
o
)(r, `)dr converge uniformemente en 1 =
_
o
o
)(r, `)dr converge puntualmente en 1
2. Si
_
o
o
)(r, `)dr converge puntualmente en [c, d] para todo c _ d =
_
o
o
)(r, `)dr converge puntual-
mente en R
33
3. Si
_
o
o
)(r, `)dr converge uniformemente en [c, d] para todo c _ d =
_
o
o
)(r, `)dr converge uni-
formemente en R
4. Si 1(`) :=
_
o
o
)(r, `)dr converge para todo ` [c, d] y es continua en dicho intervalo, entonces
converge uniformemente en [c, d].
5. Si )(r, `) y
0)
0A
(r, `) son continuas en [a, ) R y
_
o
o
)(r, `)dr converge uniformemente en [c, d]
= 1(`) :=
_
o
o
)(r, `)dr es derivable en [c, d].
6. Si )(r, `) y
0)
0A
(r, `) son continuas en [a, ) R y
_
o
o
0)
0A
(r, `)dr converge uniformemente en [c, d]
para todo c _ d = 1(`) :=
_
o
o
)(r, `)dr es derivable en R.
7. Si 1(`) :=
_
o
o
)(r, `)dr es derivable en [c, d] =
_
o
o
0)
0A
(r, `)dr converge uniformemente en [c, d].
Ejercicio 20 Dada la integral impropia
1(a) =
_
o
0
sen(ar)
r
dr
se pide:
1. Determinar el conjunto de valores reales de a para los cuales la integral 1(a) converge.
2. Enunciar el teorema de derivabilidad de integrales impropias dependientes de un parmetro.
Estudiar si dicho teorema puede aplicarse a la funcin 1.
3. Sabiendo que 1(1) = ,2, calcular 1(a) all donde exista.
4. Basndose en los apartados anteriores:
4.1.) Es 1 uniformemente convergente en todo su dominio de denicin?
4.2.) Es 1 derivable en algn intervalo?
Ejercicio 21 Utilizando adecuadamente el desarrollo en serie de potencias de la exponencial, com-
probar de dos maneras diferentes la validez de la frmula
_ _
[0,1][0,1]
c
aj
drdj =
o
a=0
1
(: + 1)! (: + 1)
.
Ejercicio 22 1. Estudiar si la funcin '(t) =
_
o
t
c
xt
a
dr + 3
_
t
0
c
x
2
a+1
dr est bien denida en el
intervalo [1, 10]. Adems, estudiar si es derivable en dicho intervalo.
2. Calcular el valor de t para el cual '(t) alcanza su valor mnimo en el intervalo [1, 10].
Ejercicio 23 1. Estudiar los valores de a para los que converge la integral impropia
1(a) :=
_
+o
0
arctg(ar)
r(1 +r
2
)
dr
2. Para los valores hallados en (1), estudiar si 1(a) es una funcin derivable.
3. Para los valores hallados en (1), calcular 1(a)
Ejercicio 24 Sabiendo que
_
+o
0
sena
a
dr = ,2:
1. Calcular 1(j) :=
_
+o
0
sen(aj)
a
dr para j R. Converge la integral impropia uniformemente para
j R?
2. Calcular J :=
_
+o
0
sen
2
a
a
2
dr por dos mtodos.
Nota: Se puede utilizar el hecho de que para cualquier c 0 la integral
_
+o
0
sen(aj)
a
dr converge
uniformemente para j [c, ).
34
Ejercicio 25 1. Hallar los valores de a para los cuales est denida la funcin
1(a) =
_
o
0
arctanar arctanr
r
dr
2. Estudiar si 1 es derivable para los valores de a hallados en el apartado anterior.
3. Calcular 1(a)
4. Calcular razonadamente la integral
_
o
0
(ar
2
1) log r
(1 +a
2
r
2
)(1 +r
2
)
dr
para a 0, a ,= 1.
Ejercicio 26 Se considera la funcin 1 denida por
1(a) =
_
o
0
arctan(ar)
r
dr
Estudiar si el siguiente razonamiento es o no correcto:
Derivando bajo el signo integral se obtiene
1
t
(a) =
_
o
0
1
1 +a
2
r
2
dr
que se puede calcular para a 0 obteniendo
1
t
(a) =
_
o
0
1
1 +a
2
r
2
dr =
1
a
arctan(ar) [
o
0
=

2a
Por ello se ha demostrado que 1 converge para a 0 y adems que es derivable en dicho conjunto y
que su derivada vale

2o
35
8. Las funciones Gamma y Beta de Euler
8.1. La funcin Gamma de Euler
Denicin 16 Se dene la funcin Gamma de Euler como
(j) :=
_
o
0
r
j1
c
a
dr (1)
para aquellos valores de j para los que la integral impropia es convergente.
Proposicin 42 La integral (1) es convergente si y slo si j 0.
Dem.
Proposicin 43 La integral (1) converge uniformemente en cualquier intervalo [c, d] con 0 < c < d.
Dem.
Proposicin 44 La funcin (j) es continua e innitas veces derivable en (0, ) y adems, para
todo / = 1, 2, ...
(I
(j) :=
_
o
0
r
j1
(log r)
I
c
a
dr
Dem.
Proposicin 45 La funcin (j) verica:
1. Para todo j 1, (j) = (j 1)(j 1).
2. Para todo : N, (:) = (: 1)!
3. Para todo j (0, 1), (j)(1 j) =

sen(j)
Dem. (slo demostraremos (1) y (2))
36
Ejercicio 27 Dibujar razonadamente la grca de (j).
Ejercicio 28 Sea C
1
=
_
(r, j) R
2
: r, j _ 0, r
2
+j
2
_ 1
2
_
y sea 1
a
=
_ _
[0,a][0,a]
c
(a
2
+j
2
)
drdj.
1. Acotar superior e inferiormente 1
a
utilizando las integrales
_ _
Cn
c
(a
2
+j
2
)
drdj
y
_ _
C
p
2n
c
(a
2
+j
2
)
drdj
2. Utilizando lo anterior demostrar que
_
o
0
c
a
2
dr =
_
,2
Ejercicio 29 Demostrar que (1,2) =
_
. (Sugerencia: relacionar (1,2) con
_
o
0
c
a
2
dr =
_
,2,
ver ejercicio 28)
37
Ejercicio 30 Determnense los valores de los parmetros reales : y : para los que la integral
_
1
0
r
n
_
log
1
r
_
a
dr
es convergente y, en su caso, calcular la integral.
Ejercicio 31 Estudiar los valores reales de a y / para los que la integral impropia
_
o
o
_
c
a
2
x
2
c
b
2
x
2
_
dr
es convergente y calcularla en dichos casos.
8.2. La funcin Beta de Euler
Denicin 17 Se dene la funcin Beta de Euler como
,(j, ) :=
_
1
0
r
j1
(1 r)
q1
dr (2)
para aquellos valores reales de j y para los que la integral impropia es convergente.
Proposicin 46 La integral (2) es convergente si y slo si j, 0.
Dem.
Proposicin 47 La funcin beta verica las siguiente propiedades:
1. \j, 0, ,(j, ) = ,(, j)
2. \j, N, ,(j, ) =
(j)(q)
(j+q)
3. La propiedad anterior se puede generalizar a todos los reales positivos, es decir, \j, 0,
,(j, ) =
(j)(q)
(j+q)
.
Dem. (Slo demostraremos 1 y 2)
38
Algunos cambios de variable en la funcin , :
Al efectuar el cambio de variable r = :c:
2
0 en (2) se obtiene
\j, 0, ,(j, ) = 2
_
2
0
:c:
2j1
0 cos
2q1
0d0 (3)
Al efectuar el cambio de variable r =
t
t+1
en (2) se obtiene
\j, 0, ,(j, ) =
_
o
0
t
j1
(t + 1)
j+q
dt
Al efectuar el cambio de variable r =
1
t
en (2) se obtiene
\j, 0, ,(j, ) =
_
o
1
(t 1)
q1
t
j+q
dt
Dem.
Ejercicio 32 Utilizando (3) comprobar que (1,2) =
_
Con respecto a las integrales de funciones trigonomtricas, conviene tener en cuenta las propiedades
que aparecen en el siguiente resultado:
Proposicin 48 Sean j y enteros positivos. Entonces:
a)
_
0
sen
j
rcos
q
rdr =
_
0 si es impar
2
_

2
0
sen
j
rcos
q
rdr si es par
_
b)
_
2
0
sen
j
rcos
q
rdr =
_
0 si j o es impar
4
_

2
0
sen
j
rcos
q
rdr si j y son pares
_
c)
_

2
0
)(sent)dt =
_

2
0
)(cos t)dt
39
8.3. Aplicacin de las integrales impropias. Funciones de distribucin y de densi-
dad de variables aleatorias. Momentos de la distribucin
Las integrales impropias juegan un papel determinante en la teora de probabilidad, concretamente
en el estudio de variables aleatorias que toman valores continuos.
Denicin 18 Funcin de distribucin de una variable aleatoria. La funcin de distribucin
de una variable aleatoria A que toma valores reales es la funcin 1
A
(r) denida mediante
1
A
(r) := jro/(A _ r)
Como consecuencia inmediata de su denicin, la funcin de distribucin de una variable aleatoria
A verica las siguientes propiedades:
Proposicin 49 1. 0 _ 1
A
(r) _ 1, \r R
2. 1
A
(r) es montona creciente.
3. lm
ao
1
A
(r) = 0 y lm
ao
1
A
(r) = 1.
La funcin de distribucin de una variable aleatoria est relacionada con la denominada funcin de
densidad de dicha variable:
Denicin 19 Funcin de densidad de una variable aleatoria. Sea A una variable aleatoria
con valores reales. Si la funcin de distribucin 1
A
(r) de A es derivable con continuidad y denimos
)
A
(r) := 1
t
A
(r) se dice que )
A
es la funcin de densidad de la variable A.
Comentarios:
Es bien sabido que no todas las variables aleatorias tienen una funcin de densidad. Por ejemplo,
si la variable aleatoria toma valores discretos (como en el caso de contar el nmero de veces que al
tirar un dado sale el nmero 6) la funcin de distribucin es discontinua y por ello no es derivable.
Muchas (pero no todas) las variables aleatorias que toman valores continuos tienen funciones de
densidad.
El siguiente resultado seala algunas propiedades de las funciones de densidad:
Proposicin 50 Si la variable aleatoria A tiene una funcin de densidad )
A
(r), sta cumple:
1. 1
A
(r) =
_
a
o
)
A
(j)dj. Consecuencia inmediata del teorema fundamental de Clculo y del hecho
que lm
ao
1
A
(r) = 0. Lo anterior tambin se puede expresar escribiendo que
jro/(a _ A _ /) =
_
b
o
)
A
(j)dj.
2.
_
o
o
)
A
(r)dr = 1. Consecuencia inmediata del hecho que lm
ao
1
A
(r) = 1.
A partir de la funcin de densidad se puede denir la esperanza de una variable aleatoria:
Denicin 20 Esperanza de una variable aleatoria. Supongamos que la variable aleatoria A
tiene funcin de densidad )
A
(r). Entonces la esperanza se puede calcular mediante
1(A) =
_
o
o
r)
A
(r)dr
siempre que esta integral impropia sea convergente.
40
Comentario: La esperanza de una variable aleatoria A se puede denir incluso si A no tiene funcin
de densidad, por ejemplo, si toma valores discretos. En tal caso, si A toma valores en el conjunto
se tiene
1(A) =

cn
c
a
jro/(A = c
a
)
Nosotros no estudiaremos este caso, pues en l se trabaja con series y no con integrales impropias.
El siguiente resultado permite calcular la esperanza de una funcin de una variable aleatoria A, por
ejemplo, la esperanza de A
2
:
Proposicin 51 Si q : R R es una funcin continua, entonces se verica
1(q(A)) =
_
o
o
q(r))
A
(r)dr
Por tanto, la varianza de A, denida mediante ar(A) := 1(A 1(A)
2
) se puede calcular como
ar(A) =
_
o
o
(r 1(A))
2
)
A
(r)dr
Veamos algunos ejemplos de variables aleatorias y de sus funciones de densidad.
8.3.1. Distribucin normal
Denicin 21 Se dice que una variable aleatoria A tiene una distribucin normal de media : R
y varianza o
2
0, cuando su funcin de densidad es
)(r) =
1
_
2o
2
exp
_
(r :)
2
2o
2
_
es decir, cuando se cumple
jro/(A _ r) =
1
_
2o
2
_
a
o
exp
_
(j :)
2
2o
2
_
dj
Haciendo un cambio de variable y usando las propiedades de la Gamma de Euler se demuestra que,
como debe suceder,
1
_
2o
2
_
o
o
exp
_
(r :)
2
2o
2
_
dr = 1
Proposicin 52 Si A tiene una distribucin normal de media : 1 y varianza o
2
0, o
2
0, se
verica que, como se intuye de la denicin 21,
1(A) = :
ar(A) = o
2
es decir,
1
_
2o
2
_
o
o
rexp
_
(r :)
2
2o
2
_
dr = : (4)
1
_
2o
2
_
o
o
(r :)
2
exp
_
(r :)
2
2o
2
_
dr = o
2
41
Ejercicio 33 Demostrar la proposicin anterior.
8.3.2. Distribucin Gamma
Denicin 22 Se dice que una variable aleatoria A (con valores en [0, )) tiene una distribucin
gamma con parmetros ` 0 y c 0 cuando su funcin de distribucin es
1
A
(r) =
_
0 para r _ 0
A
(c)
_
a
0
(`r)
c1
c
Aa
para r 0
_
Proposicin 53 Si A tiene una distribucin gamma con parmetros ` 0 y c 0, se verica
1(A) =
c
`
(5)
ar(A) =
c
`
2
8.3.3. Distribucin exponencial
Denicin 23 Distribucin exponencial. Se dice que una variable aleatoria A (con valores en
[0, )) tiene una distribucin exponencial con parmetro , cuando tiene una distribucin gamma con
parmetros c = 1 y ,. Por ello, ste es un caso particular de la distribucin gamma cuya funcin de
distribucin es
1
A
(r) =
_
,c
oa
para r 0
0 si r _ 0
_
Del resultado que proporciona la esperanza y la varianza de la distribucin gamma, se sigue que,
para la distribucin exponencial se verica
1(A) =
1
,
; ar(A) =
1
,
2
.
42
8.3.4. Distribucin Beta
Denicin 24 Distribucin Beta. Se dice que una variable aleatoria A que toma valores slo en
el intervalo [0, 1] tiene una distribucin Beta con parmetros j 0 y 0 cuando se verica que
jro/(A _ r) =
(j +)
(j)()
_
a
0
j
j1
(1 j)
q1
dj para todo r [0, 1]
Obviamente debe cumplirse
(j +)
(j)()
_
1
0
j
j1
(1 j)
q1
dj = 1
lo cual se verica de forma inmediata sin ms que usar la relacin entre las funciones , y .
Proposicin 54 Si A tiene una distribucin Beta con parmetros j 0 y 0 se verica
1(A) =
j
j +
ar(A) =
j
(j +)
2
(j + + 1)
43
8.4. Ejercicios
Ejercicio 36 Determinar los valores de los parmetros para los que convergen las siguientes integrales
y en dichos casos calcularlas
1 =
_
+o
o
c
oa
2
dr
J =
_
+o
o
c
(x)
2
c
2
dr
1 =
_
+o
o
c
oa
2
+ba+o
dr
Ejercicio 37 Hallar los valores de los parmetros reales a y / para los que la integral
_
+o
0
a
b1
oa
(1+a
a
)
c
es convergente y, en ese caso, calcular la integral.
Ejercicio 38 Estudiar la convergencia y la convergencia absoluta de
_
1
0
(log
1
a
)
j
dr, j R
Ejercicio 39 Utilcense las propiedades de las funciones gamma y beta de Euler para calcular el valor
de la integral:
_
+1
1
dr
3
_
1 +r r
2
r
3
Ejercicio 40 Calclese el volumen del slido limitado por la supercie
. = [r[
j
+[j[
q
; j, 0
y el plano . = a, (a 0).
Ejercicio 41 1. Para cada a R, calcular
1(a) =
_
+o
0
arctg ar
r(1 +r
2
)
dr.
Indicacin: Derivar respecto del parmetro.
2. Calcular
J =
_
2
0
log(senr)dr
Indicacin: Expresar J en trminos de 1(1).
3. Calcular la integral
1(0) =
_
1
0
log((r))dr
en donde (r) es la funcin gamma de Euler. Indicacin: Tomar logaritmos en la frmula de los
complementarios
(j)(1 j) =

sen(j)
, 0 < j < 1
y despus integrar entre 0 y 1,2.
4. Para cada c > 0, calcular
1(c) =
_
c+1
c
log((r))dr
Indicacin: Calcular 1
t
(c).
44
Ejercicio 42 Se considera la integral
_
o
1
_
r
3
1
_
n
r
3a+1
dr
Estudiar las condiciones que tienen que cumplir los parmetros reales : y : para que converja la
integral anterior. Calcular el valor de la integral en el caso en que : y : sean enteros.
Ejercicio 43 Se denen las funciones
)(r) =
__
a
0
c
t
2
dt
_
2
; q(r) =
_
1
0
c
a
2
(t
2
+1)
t
2
+ 1
dt.
1. Demostrar que ) y q son derivables en R y que la derivada de q se obtiene metiendo la derivada
bajo el signo integral.
2. Calcular )
t
(r) +q
t
(r), simplicando el resultado todo lo que se pueda.
3. Calcular )(r) +q(r), simplicando el resultado todo lo que se pueda.
4. Calcular con todo rigor lim
a+o
q(r).
5. Utilizando (3) y (4), calcular el valor de
_
1
2
_
.
9. Integrales de funciones complejas de variable real
Denicin 25 Sea ) : [a, /] C, de forma que )(r) = n(r) +i(r) con n, : [a, /] R, es decir, n
y son, respectivamente, las partes real e imaginaria de la funcin ).
i) Se dice que ) es integrable en [a, /] si n y son integrables en [a, /] y en tal caso
_
b
o
)(r)dr :=
_
b
o
n(r)dr +i
_
b
o
(r)dr
ii) Se dice que ) es derivable en r = a si n y son derivables en a y adems )
t
(a) := n
t
(a)+i
t
(a).
Pues bien, todos los resultados que se han visto, incluyendo los relativos a la convergencia y con-
vergencia uniforme de integrales impropias, y a los relativos a las propiedades de funciones denidas
mediante integrales (propias o impropias) siguen siendo vlidos al trabajar con funciones complejas
de variable real simplemente interpretando [+[ como mdulo.
Para muchos clculos es til denir la funcin exponencial compleja. Para cada . C, con . =
a +i/, a, / R se dene
c
:
:= c
o
(cos / +isen/)
Pues bien, es inmediato darse cuenta de que la funcin compleja de variable real c
ja
= c
oa
(cos /r +isen/r),
con j = a +i/ C cumple que es derivable y su derivada es
d
dr
(c
ja
) = jc
ja
45
Ejercicio 44 Estudiar la convergencia y cuando sea posible calcular las integrales
1
o,b
=
_
o
0
c
oa
cos(/r)dr
J
o,b
=
_
o
0
c
oa
sen(/r)dr
donde a, / R.
Es inmediato ver que estas integrales convergen si y slo si a 0, salvo en el caso de J
o,b
que converge
tambin para todo valor de a si / = 0, y en ese caso J
o,b
= 0.
Para calcularlas en el caso a 0, se puede integrar por partes dos veces en cada una de las expresiones
de 1
o,b
y J
o,b
y encontrar una ecuacin que deben cumplir stas.
Ms fcilmente, se puede denir
H
o,b
:= 1
o,b
+J
o,b
=
_
o
0
c
oa
cos(/r)dr +i
_
o
0
c
oa
sen(/r)dr
de forma que
H
o,b
: =
_
o
0
c
oa
c
iba
dr =
_
o
0
c
(oib)a
dr =
c
(oib)a
a i/
[
0
o
=
=
1
a i/
_
1 lm
To
c
(oib)a
_
=
1
a i/
=
a +i/
a
2
+/
2
donde se ha utilizado que
o
oa
(c
ca
) = cc
a
para todo c C y el hecho de que al ser a 0,
lm
To
c
(oib)a
= lm
To
c
oa
(cos /r +isen/r) = 0.
Por lo tanto 1
o,b
= Re (H
o,b
) =
o
o
2
+b
2
y J
o,b
= Im(H
o,b
) =
b
o
2
+b
2
Ejercicio 45 Estudiar la convergencia y calcular cuando sea posible cada una de las siguientes inte-
grales impropias
1)
_
+o
0
c
oa
cos /rdr ; 2)
_
+o
0
c
oa
sen/rdr
3)
_
+o
0
rc
oa
cos /rdr ; 4)
_
+o
0
rc
oa
sen/rdr
5)
_
+o
0
r
2
c
oa
cos /rdr ; 6)
_
+o
0
r
2
c
oa
sen/rdr
Ejercicio 46 Transformada de Fourier. La transformada de Fourier de una funcin ) : R C
es la funcin compleja de variable real
^
) denida mediante
^
)(.) :=
1
_
2
_
o
o
c
i.t
)(t)dt (6)
para todos los valores reales de . para los que la integral impropia es convergente.
1) Calclese la transformada de Fourier de la funcin )(t) = c
o[t[
para a 0.
2) Calclese la transformada de Fourier de la funcin )(t) = c
ot
2
para a 0. Indicacin: demostrar
que
^
)(.) es una funcin derivable y relacionar
^
)
t
(.) con
^
)(.).
46
10. Integrales mltiples impropias
La nocin de integral impropia se puede extender al caso de integrales mltiples en R
a
, : _ 2 ya sea
porque el recinto de integracin no est acotado, ya sea porque la funcin subintegral no est acotada
en los compactos denidos en dicho recinto. En el caso de integrales impropias en R
a
, : _ 2 daremos
una denicin de convergencia que es vlida para ambos casos.
Denicin 26 Sea : _ 2. Sea R
a
(acotado o no) y sea ) : R (acotada o no). Se dice que
una sucesin de conjuntos '
a
es una sucesin bsica para la integracin de ) en cuando se
cumple:
1. '
a
es medible Jordan para todo :
2. '
a
es creciente, es decir, '
a
'
a+1
3. Si 1 es cualquier conjunto compacto medible Jordan contenido en , entonces existe un : tal
que 1 '
a
.
4. ) es integrable Riemann (es decir, en sentido propio) en '
a
para todo :.
Supongamos que existe alguna sucesin bsica para la integracin de ) en . Dicha sucesin bsica
podra no existir si es un conjunto demasiado extrao (como por ejemplo si es acotado pero
no es medible Jordan) o si ) es demasiado discontinua en .
Entonces se dice que la integral
_
) es convergente cuando se cumple que el lmite lm

ao
_
An
)
existe, es nito y es independiente de la sucesin '
a
elegida. En tal caso se dene el valor de la
integral como
_
) := lm
ao
_
An
)
Observacin. La denicin anterior de convergencia de una integral impropia en R
a
, : _ 2 no es
equivalente a la dada para integrales impropias en R. En efecto, para : = 1 si una integral impropia es
convergente con la denicin 26 entonces tambin lo ser con la denicin estudiada en las secciones
2 y 3 y adems el valor de la integral es el mismo en los dos casos. Sin embargo puede suceder que una
integral impropia que era convergente con la denicin estudiada en las secciones 2 y 3 no lo sea con
la denicin (D). La razn es que en el caso de funciones reales de variable real, la coleccin bsica
de conjuntos que se toma para dar la denicin es de un tipo muy especial, pues slo se consideran
intervalos, mientras que para : _ 2 se consideran todas las sucesiones bsicas y el lmite tiene que
ser independiente de la sucesin. En denitiva, mantendremos la denicin que habamos estudiado
para el caso : = 1 y para : _ 2 adoptaremos la denicin que se acaba de dar.
Como consecuencia de la denicin (D), que pide condiciones ms fuertes para que una integral sea
convergente que en el caso unidimensional, se puede demostrar que en el caso : _ 2 la convergencia
es equivalente a la convergencia absoluta:
Proposicin 55 Sea : _ 2 y consideremos una integral impropia del tipo anterior. Entonces
_
)
converge si y slo si
_
) converge absolutamente.
Ejercicio 47 Considrese la funcin )(r, j) =sen
_
r
2
+j
2
_
y sean Q
a
:= [:, :] [:, :] y C
a
:=
_
(r, j) : r
2
+j
2
_ :
2
_
. Demostrar que existe el lmite lm
ao
_ _
Qn
)(r, j)drdj y sin embargo no
existe lm
ao
_ _
Cn
)(r, j)drdj. Es la integral
_ _
R
2
)(r, j)drdj convergente?
Ejercicio 48 Estudiar si la integral doble
_ _
[0,1][0,1]
j r
rj
drdj
es convergente. Sugerencia, considerar la integral
_ _
[.,1][c,1]
ja
aj
drdj con 0 < -, c _ 1
47
Caso en que la funcin subintegral es no negativa. Supngase que ) _ 0 en . Entonces,
como '
a
'
a+1
se cumplir que
_
An
) _
_
A
n+1
). Por ello el lmite lm
ao
_
An
) siempre existir
y valdr o bien un nmero (nito) o bien +. Pues bien, se puede demostrar que adems el valor
del lmite es independiente de la sucesin bsica '
a
que se tome. En concreto se verica el siguiente
resultado, de gran utilidad prctica:
Proposicin 56 En las condiciones de la denicin anterior, si ) _ 0 en entonces el lmite
lm
ao
_
An
) siempre existe, valiendo un nmero nito o bien +, y es independiente de la sucesin
bsica '
a
y por ello para estudiar si una integral es convergente basta con tomar una sucesin bsica
'
a
cualquiera y estudiar si el lmite anterior es nito.
Ejercicio 49 Estudiar los valores del parmetro real j 0 para los que las siguientes integrales son
convergentes y en su caso calcular su valor
1
j
: =
_ _
R
2
1((0,0),1)
drdj
_
_
r
2
+j
2
_
j
; J
j
:=
_ _
1((0,0),1)
drdj
_
_
r
2
+j
2
_
j
1
j
: =
_ _ _
R
3
1((0,0,0),1)
drdjd.
_
_
r
2
+j
2
+.
2
_
j
;

J
j
:=
_ _ _
1((0,0,0),1)
drdjd.
_
_
r
2
+j
2
+.
2
_
j
H
j
: =
_ _
R
2
drdj
_
_
r
2
+j
2
_
j
;

H
j
:=
_ _ _
R
3
drdjd.
_
_
r
2
+j
2
+.
2
_
j
Ejercicio 50 Estudiar los valores de c y , para los que la integral
_ _
a,j1
drdj
r
c
j
o
es convergente.
48
Cambio de variable en integrales mltiples impropias. Nos preguntamos ahora si en una
integral mltiple impropia se puede llevar a cabo un cambio de variable. La respuesta es armativa
siempre que ) sea no negativa y, por supuesto, que la transformacin r = c(j), r 1 sea un
verdadero cambio de variable:
Proposicin 57 (a) Sea 1 R
a
abierto
(b) Sea c : 1 R
a
tal que:
1. c C
1
(1)
2. c es inyectiva en 1
3. Jc(r) ,= 0 en 1 salvo quizs en un conjunto con contenido nulo.
Sea := c(1).
(c) Sea ) : R continua y no negativa
(d) Existe alguna sucesin bsica para la integracin de )(c(j)) [Jc(j)[ en 1. Como ) y Jc son
continuas dicha sucesin existir si, hablando de forma laxa, 1 no es demasiado raro
Entonces,
_
)(r)dr =
_
1
)(c(j)) [Jc(j)[ dj
donde las dos integrales que aparecen podran ser impropias y entonces o ambas convergen o ambas
divergen.
Comentarios al resultado anterior:
El resultado anterior no tiene por qu ser verdad si ) no conserva el signo. Sin embargo, s es
verdad si ), a pesar de no conservar el signo, cumple que la integral
_
)(r)dr es convergente. Es
decir, si ya sabemos que la integral de partida es convergente se puede aplicar el teorema aunque
) no conserve el signo.
Ni 1 ni tienen por qu ser acotados, por lo que las integrales en el resultado anterior pueden ser
impropias por esta razn.
Aunque sea acotado, ) no tiene por qu estar acotada en dicho conjunto, pues por ejemplo
puede ser abierto y las funciones continuas en abiertos no tienen por qu estar acotadas. Algo
anlogo sucede para )(c(j)) [Jc(j)[ en 1. Por ello, las integrales anteriores tambin pueden ser
impropias por esta razn.
En muchas ocasiones, para calcular una integral mltiple impropia en vez de aplicar directamente la
denicin es conveniente realizar primero un cambio de variable para tener una funcin subintegral
y un recinto de integracin ms cmodos.
Ejercicio 51 Estudiar si las siguientes integrales impropias son convergentes y en su caso calcularlas.
1
1
=
_ _
R
2
drdj
(1 +r
2
+j
2
)
j
donde j R ; oo| : 1
1
converge = j 1, 1
1
=

j 1
1
2
=
_ _
A
c
aj
drdj
r
donde ' = (r, j) : 1 _ r, 1 _ rj _ 2 ; oo| : 1
2
= c
1
c
2
1
3
=
_ _
A
c
aj
drdj
r
donde ' = (r, j) : 1 _ rj _ 2
1
4
=
_ _
drdj
_
4 r
2
j
2
donde =
_
(r, j) : r
2
+j
2
2j _ 0
_
; Sol: 4
_
2
1
_
1
5
=
_ _
drdj
4 r
2
j
2
donde =
_
(r, j) : r
2
+j
2
2j _ 0
_
49
Ejercicio 52 Calcular, en caso de ser convergentes, las siguientes integrales impropias
1 =
_ _
R
2
c
(a
2
+j
2
)
drdj
J =
_

_
R
n
c
a
T
a
dr
1
d
an
donde es una matriz simtrica denida positiva
Ejercicio 53 Se considera el conjunto =
_
(r, j) R
2
: r 0,
a
3
_ j _
a
2
_
. Estudiar si la integral
impropia
_ _
r
2
j
(r
2
+ 1) (j
4
r
4
)
drdj
es convergente y en su caso calcular su valor.
Ejercicio 54 Sea : un entero positivo, sea '
a
el recinto acotado del primer cuadrante de R
2
limitado
por las curvas de ecuaciones
rj = 1
rj = 2
j = :r
j =
1
:
r
y considrese la integral
1
a
:=
_ _
An
r
o+2
j
o
sen(
j
r
)drdj
donde , es un nmero real. Se pide:
1. expresar 1
a
en trminos de una integral simple y estudiar para qu valores de , el lmite
lm
ao
1
a
existe y es nito.
2. Estudiar razonadamente la convergencia de la integral
J =
_ _
A
r
o+2
j
o
sen(
j
r
)drdj
donde
' = (r, j) : 1 _ rj _ 2 ; r, j _ 0
Nota: Se recuerda que la integral
_
o
0
sena
a
p
dr converge si y slo si j (0, 2) y converge absolutamente
si y slo si j (1, 2).
Ejercicio 55 Estudiar la convergencia de las siguientes integrales impropias y calcularlas explcita-
mente en caso de ser convergentes.
1.
_ _
(a,j)R
2
:0a<o, aj<o
c
j
2
drdj
2.
_ _
(a,j)R
2
:0a
2
+j
2
1
a
(a
2
+j
2
)
3=2
drdj
50

Temas 1 Impropias 1011 Apuntes

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Temas 1 Impropias 1011 Apuntes

Cargado por

Copyright:

Formatos disponibles

Ampliacin de Clculo

INTEGRALES IMPROPIAS Y FUNCIONES DEFINIDAS

se puede hacer tan pequeo

se tiene, al no depender la segunda integral de , que el lmite de

)(r)dr existe. Se dice que la integral impropia

debe necesariamente ser uno de estos dos.

1() existe y es nito,

1() vale +, con lo que la

0, es decir, cuando \` 1, la integral impropia

) es convergente cuando se cumple que el lmite lm

También podría gustarte