Integrais Impróprios 1 PG Folha

C alculo I
C alculo com func oes de uma vari avel

Integrais Impr oprios
2009/10
Virgnia Santos
Departamento de Matem atica
Universidade de Aveiro
Conte udo
1 Integrais impr oprios 1
1.1 Integrais impr oprios de 1
a
esp ecie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
a
esp ecie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.3 Integrais impr oprios mistos ou de 3
a
esp ecie . . . . . . . . . . . . . . . . . . . . . . . . 59
1.4 Soluc oes dos exerccios propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
Captulo 1
Integrais impr oprios
A denic ao de integral de Riemann de uma func ao f num intervalo I exige que o intervalo seja fechado
e limitado e que a func ao seja limitada nesse intervalo.
Nesta secc ao vamos estender a denic ao de integral omitindo uma dessas condic oes. Passamos a
estudar um novo tipo de integrais que designamos por integrais impr oprios.
a
esp ecie
Vamos considerar em primeiro lugar o caso em que a func ao est a denida num intervalo ilimitado,
obtendo-se ent ao os integrais impr oprios de 1
a
esp ecie.
Denic ao 1.1. Seja f uma func ao denida num intervalo [a, +[ tal que f e integr avel em [a, t], para
todo o t a. Seja a func ao denida por
(t) =
_
t
a
f (x)dx ,
para todo o t a.
Se o limite
lim
t+
(t) = lim
t+
_
t
a
f (x)dx (1.1)
existe e e nito dizemos que f e integr avel em sentido impr oprio no intervalo [a, +[ ou que o
integral impr oprio
_
+
a
f (x)dx (1.2)
e convergente.
Neste caso escreve-se, por denic ao,
_
+
a
f (x)dx = lim
t+
_
t
a
f (x)dx
e ao valor do limite lim
t+
_
t
a
f (x)dx chamamos valor do integral impr oprio
_
+
a
f (x)dx.
Se o limite (1.1) n ao existe ou e innito dizemos que o integral impr oprio (1.2) e divergente.
1
Integrais impr oprios 1.1. Integrais impr oprios de 1
a
esp ecie
Ao integral impr oprio
_
+
a
f (x)dx ,
onde f : [a, +[ R e uma func ao integr avel em [a, t], para todo o t a, chamamos integral
impr oprio de 1
a
esp ecie, impr oprio no limite superior de integrac ao.
Exemplo 1.2. 1. Consideremos o integral impr oprio
_
+
0
senxdx .
A func ao f denida por f (x) =senx, para todo o x 0 e integr avel em [0, t], para todo o t 0 pelo
que o integral impr oprio considerado e um integral impr oprio de 1
a
esp ecie, impr oprio no limite
superior de integrac ao.
Uma vez que o limite
lim
t+
_
t
0
senxdx = lim
t+
_
cosx]
t
0
_
= lim
t+
(cost +1)
n ao existe, conclumos que o integral impr oprio considerado e divergente.
2. Vamos estudar, em func ao de s R, a natureza do integral impr oprio
_
+
1
1
x
s
dx .
Note-se que, para cada s R, a func ao f
s
denida por f
s
(x) =
1
x
s
, para todo o x [1, +[ e
integr avel em [1, t], para todo o t 1.
Logo, tem sentido estudar, em func ao de s R, o limite
lim
t+
_
t
1
1
x
s
dx .
Se s = 1 temos, para todo o t > 1,
_
t
1
1
x
dx = ln|x|]
t
1
= lnt
e, portanto,
lim
t+
_
t
1
1
x
dx = lim
t+
lnt
= + .
Conclumos ent ao que, neste caso, o integral impr oprio considerado e divergente.
2
a
esp ecie
Admitamos que s = 1. Temos, para todo o t > 1,
_
t
1
1
x
s
dx =
x
s+1
s +1
_
t
1
=
t
s+1
s +1
1
s +1
.
Consequentemente,
lim
t+
_
t
1
1
x
s
dx = lim
t+
_
t
s+1
s +1
+
1
s 1
_
.
Uma vez que
lim
t+
_
t
s+1
s +1
+
1
s 1
_
=
_
_
1
s 1
se s > 1
+ se s < 1
conclumos que o integral impr oprio considerado converge se s > 1 e diverge se s < 1.
Do que foi feito podemos concluir que
_
+
1
1
x
s
dx e
_
_
convergente se s > 1
divergente se s 1
No caso em que s > 1 podemos escrever
_
+
1
1
x
s
dx =
1
s 1
.
3. Vamos estudar, em func ao de R\{0}, a natureza do integral impr oprio
_
+
0
e
x
dx .
Note-se em primeiro lugar que, para cada R\{0}, a func ao f
denida por f
(x) = e
x
, para
todo o x [0, +[, e integr avel em [0, t], para todo o t 0, o que justica que o integral impr oprio
considerado e um integral impr oprio de 1
a
esp ecie, impr oprio no limite superior de integrac ao.
Para estudar a natureza do integral impr oprio considerado temos ent ao de estudar o limite
lim
t+
_
t
0
e
x
dx .
Uma vez que, para todo o R\{0}, e, para todo o t > 0,
_
t
0
e
x
dx =
1
e
x
_
t
0
=
1
e
t
,
3
a
esp ecie
conclumos que
lim
t+
_
t
0
e
x
dx =
_
_
+ se > 0
se < 0
Consequentemente
_
+
0
e
x
dx e
_
_
convergente se < 0
divergente se > 0
No caso em que < 0 podemos escrever
_
+
0
e
x
dx =
1
.
Denic ao 1.3. Seja f uma func ao denida num intervalo ] , a] tal que f e integr avel em [t, a], para
todo o t a. Seja a func ao denida por
(t) =
_
a
t
f (x)dx ,
para todo o t a.
Se o limite
lim
t
(t) = lim
t
_
a
t
f (x)dx (1.3)
existe e e nito dizemos que f e integr avel em sentido impr oprio no intervalo ] , a] ou que o
integral impr oprio
_
a
f (x)dx (1.4)
e convergente.
Neste caso escreve-se, por denic ao,
_
a
f (x)dx = lim
t
_
a
t
f (x)dx
e ao valor do limite lim
t
_
a
t
f (x)dx chamamos valor do integral impr oprio
_
a
f (x)dx.
_
a
f (x)dx ,
onde f : ] , a] R e uma func ao integr avel em [t, a], para todo o t a, chamamos integral
impr oprio de 1
a
esp ecie impr oprio no limite inferior de integrac ao.
Observac ao 1.4. Uma vez que
lim
t
_
a
t
f (x)dx = lim
t+
_
a
t
f (x)dx
4
a
esp ecie
para estudar a natureza do integral impr oprio (1.4) podemos estudar o limite do segundo membro da
igualdade anterior.
Exemplo 1.5. 1. Vamos estudar a natureza do integral impr oprio
_
1
1
1+x
2
dx .
A func ao f denida por f (x) =
1
1+x
2
, para todo o x ] , 1], e integr avel em [t, 1], para todo o
t 1 e, portanto, o integral impr oprio considerado e umintegral impr oprio de 1
a
esp ecie, impr oprio
no limite inferior de integrac ao.
Uma vez que, para todo o t 1,
_
1
t
1
1+x
2
dx = arctgx]
1
t
= arctg1arctgt
=

4
arctgt
temos
lim
t
_
1
t
1
1+x
2
dx = lim
t
_
4
arctgt
_
=

4
+

2
=
3
4
,
o que permite concluir que o integral impr oprio considerado e convergente.
Podemos ent ao escrever
_
1
1
1+x
2
dx =
3
4
.
2. Vamos estudar, em func ao de a R
+
\{1}, a natureza do integral impr oprio
_
0
a
x
dx .
Para cada a R
+
\{1}, a func ao f
a
denida por f
a
(x) = a
x
, para todo o x ] , 0] e integr avel
em [t, 0], para todo o t 0. Consequentemente, para cada a R
+
\ {1}, o integral impr oprio
considerado e um integral impr oprio de 1
a
esp ecie, impr oprio no limite inferior de integrac ao.
Para estudar a natureza deste integral impr oprio temos ent ao de estudar, emfunc ao de a R
+
\{1},
o limite
lim
t
_
0
t
a
x
dx .
5
a
esp ecie
Para todo o a R
+
\{1} e, para todo o t 0, temos
_
0
t
a
x
dx =
a
x
lna
_
0
t
=
1
lna
a
t
lna
.
Consequentemente,
lim
t
_
0
t
a
x
dx =
_
_
1
lna
se a > 1
+ se 0 < a < 1
donde conclumos que
_
0
a
x
dx e
_
_
convergente se a > 1
divergente se 0 < a < 1
No caso em que a > 1 podemos escrever
_
0
a
x
dx =
1
lna
.
Na proposic ao que se apresenta a seguir estabelece-se uma propriedade dos integrais impr oprios de
1
a
esp ecie, impr oprios no limite superior de integrac ao.
Proposic ao 1.6. Sejam f e g duas func oes denidas em [a, +[ e integr aveis em [a, t], para todo o t a.
Ent ao vericam-se as condic oes seguintes:
(i) se os integrais impr oprios
_
+
a
f (x)dx e
_
+
a
g(x)dx
s ao ambos convergentes, ent ao, para todos os , R, o integral impr oprio
_
+
a
( f (x) +g(x))dx
e convergente;
(ii) se o integral impr oprio
_
+
a
f (x)dx
e divergente, ent ao, para todo o R\{0}, o integral impr oprio
_
+
a
( f (x))dx
e divergente.
6
a
esp ecie
Demonstrac ao: (i) Atendendo ` a hip otese existeme s ao nitos os limites lim
t+
_
t
a
f (x)dx e lim
t+
_
t
a
g(x)dx.
Atendendo a que, para todo o t a,
_
t
a
( f (x) +g(x))dx =
_
t
a
f (x)dx +
_
t
a
g(x)dx
temos que
lim
t+
_
t
a
( f (x) +g(x))dx = lim
t+
_
_
t
a
f (x)dx +
_
t
a
g(x)dx
_
.
A hip otese e as propriedades dos limites permitem ent ao concluir que
lim
t+
_
t
a
t+
_
t
a
f (x)dx + lim
t+
_
t
a
g(x)dx .
Atendendo ` a Denic ao 1.1 podemos ent ao concluir que o integral impr oprio
_
+
a
( f (x) +g(x))dx
e convergente, como pretendamos.
(ii) Atendendo ` a hip otese o limite
lim
t+
_
t
a
f (x)dx
n ao existe ou e innito.
Atendendo a que, para todo o t a,
_
t
a
( f (x))dx =
_
t
a
f (x)dx
temos que o limite
lim
t+
_
t
a
( f (x))dx = lim
t+
_
_
t
a
f (x)dx
_
A Denic ao 1.1 permite ent ao concluir que o integral impr oprio
_
+
a
( f (x))dx e divergente,
como pretendamos.
Na proposic ao que apresentamos a seguir estabelece-se uma propriedade an aloga para os integrais
impr oprios de 1
a
esp ecie, impr oprios no limite inferior de integrac ao. A demonstrac ao desta proposic ao
e deixada como exerccio.
Proposic ao 1.7. Sejam f e g duas func oes denidas em ] , a] e integr aveis em [t, a], para todo o t a.
_
a
f (x)dx e
_
a
g(x)dx
7
a
esp ecie
_
a
( f (x) +g(x))dx
e convergente;
_
a
f (x)dx
e divergente, ent ao, para todo o R\{0}, o integral impr oprio
_
a
( f (x))dx
e divergente.
Demonstrac ao: Exerccio.
Como vimos no Exemplo 1.2 o integral impr oprio
_
+
0
e
2x
dx
e convergente.
Consideremos o integral impr oprio
_
+
2
e
2x
dx .
Poder a este integral impr oprio ser divergente? Note-se que os dois integrais impr oprios apenas di-
ferem no limite inferior de integrac ao e, para estudar a natureza do integral impr oprio
_
+
2
e
2x
dx,
temos de estudar o limite lim
t+
_
t
2
e
2x
dx. Uma vez que, pelas propriedades dos integrais de Riemann,
_
t
2
e
2x
dx =
_
t
0
e
2x
dx
_

2
0
e
2x
dx, tem-se que
lim
t+
_
t
2
e
2x
dx = lim
t+
_
_
t
0
e
2x
dx
_

2
0
e
2x
dx
_
.
Uma vez que o limite lim
t+
_
t
0
e
2x
dx existe e e nito tem-se, pelas propriedades dos limites, que o
limite lim
t+
_
t
2
e
2x
dx existe e e nito e, portanto, o integral impr oprio considerado e tamb em conver-
gente.
Aproposic ao que demonstramos a seguir garante que a natureza de umintegral impr oprio
_
+
a
f (x)dx
n ao se altera se iniciarmos o intervalo de integrac ao num ponto a
> a.
Proposic ao 1.8. Sejam f uma func ao denida num intervalo [a, +[ e integr avel em [a, t], para todo o
t a e a
> a. Ent ao os integrais impr oprios

_
+
a
f (x)dx e
_
+
a
f (x)dx t em a mesma natureza.

8
a
esp ecie
Demonstrac ao: A proposic ao ca demonstrada se provarmos que o integral impr oprio
_
+
a
f (x)dx e
convergente se e s o se o integral impr oprio
_
+
a
f (x)dx e convergente.
Para todo o t > a
temos
_
t
a
f (x)dx =
_
a
a
f (x)dx +
_
t
a
f (x)dx .
Consequentemente
lim
t+
_
t
a
f (x)dx = lim
t+
_
_
a
a
f (x)dx +
_
t
a
f (x)dx
_
o que implica que o limite
lim
t+
_
t
a
f (x)dx
existe e e nito se e s o se o limite
lim
t+
_
t
a
f (x)dx
existe e e nito.
Est a ent ao provado que o integral impr oprio
_
+
a
f (x)dx
e convergente se e s o se o integral impr oprio
_
+
a
f (x)dx
Analogamente temos que, sendo a
< a tal f e integr avel em [a
, t], para todo o t a
, os integrais
impr oprios
_
+
a
f (x)dx e
_
+
a

Tamb empara o caso de integrais impr oprios de 1
a
esp ecie, impr oprios no limite inferior de integrac ao,
podemos provar que a natureza de um integral impr oprio
_
a
f (x)dx n ao se altera se o limite superior

de integrac ao for um ponto a
< a.
Proposic ao 1.9. Sejam f uma func ao denida num intervalo ] , a] e integr avel em [t, a], para todo o
t a e a
< a.
Ent ao os integrais impr oprios
_
a
f (x)dx e
_
a

Tal como para os integrais impr oprios de 1
a
esp ecie, impr oprios no limite superior de integrac ao, te-
mos que, sendo a
>a tal f e integr avel em [t, a
], para todo o t a
, os integrais impr oprios

_
a
f (x)dx
9
a
esp ecie
e
_
a

As Proposic oes 1.8 e 1.9 d ao coer encia ` a denic ao que se segue.
Denic ao 1.10. Seja f uma func ao denida em R, integr avel em [, ], quaisquer que sejam , R,
< .
Dizemos que o integral impr oprio
_
+
f (x)dx (1.5)
e convergente se, para algum a R, os integrais impr oprios
_
a
f (x)dx e
_
+
a
f (x)dx
s ao ambos convergentes.
Neste caso escrevemos
_
+
f (x)dx =
_
a
f (x)dx +
_
+
a
f (x)dx
e ao valor do segundo membro da igualdade anterior chamamos valor do integral impr oprio
_
+
f (x)dx.
Se para algum a R, um dos integrais impr oprios
_
a
f (x)dx ou
_
+
a
f (x)dx
diverge dizemos que o integral impr oprio (1.5) e divergente.
_
+
f (x)dx ,
onde f : R R e uma func ao integr avel em [t, t
], para todos os t, t
R com t <t
, chamamos
integral impr oprio de 1
a
esp ecie, impr oprio em ambos os limites de integrac ao.
_
+
1
1+x
2
dx .
Como vimos no Exemplo 1.5 o integral impr oprio
_
1
1
1+x
2
dx
e convergente.
Vamos estudar a natureza do integral impr oprio
_
+
1
1
1+x
2
dx .
10
a
esp ecie
A func ao f denida por f (x) =
1
1+x
2
, para todo o x [1, +[, e integr avel em [1, t], para todo o
t 1.
Uma vez que, para todo o t > 1,
_
t
1
1
1+x
2
dx = arctgx]
t
1
= arctgt arctg1
= arctgt
4
temos
lim
t+
_
t
1
1
1+x
2
dx = lim
t+
_
arctgt
4
_
=

2

4
=

4
o que permite concluir que o integral impr oprio
_
+
1
1
1+x
2
dx e convergente.
Atendendo ` a Denic ao 1.10 conclumos ent ao que o integral dado e convergente.
_
+
1
1+x
2
dx =
_
1
1
1+x
2
dx +
_
+
1
1
1+x
2
dx
=
3
4
+

4
= .
2. Vamos estudar, em func ao de a R
+
\{1} a natureza do integral impr oprio
_
+
a
x
dx .
Vimos no Exemplo 1.5 que
_
0
a
x
dx e
_
_
convergente se a > 1
divergente se 0 < a < 1
Atendendo ` a Denic ao 1.10 podemos ent ao concluir que se 0 < a < 1, ent ao o integral impr oprio
_
+
a
x
dx e divergente.
Vamos ent ao estudar o integral impr oprio
_
+
0
a
x
dx
11
a
esp ecie
se a > 1.
Para todo o a >1, a func ao f denida por f (x) = a
x
, para todo o x [0, +[, e integr avel em [0, t],
para todo o t 0.
Temos ent ao de estudar, em func ao de a > 1, o limite
lim
t+
_
t
0
a
x
dx .
Para todo o a > 1 e, para todo o t > 0, temos
_
t
0
a
x
dx =
a
x
lna
_
t
0
=
a
t
lna
1
lna
.
Consequentemente, para todo o a > 1,
lim
t+
_
t
0
a
x
dx = +
o que permite concluir que, para todo o a > 1, o integral impr oprio
_
+
0
a
x
dx e divergente.
Atendendo ` a Denic ao 1.10 conclumos que, para todo o a > 1, o integral impr oprio dado e diver-
gente.
Atendendo ao que foi dito podemos ent ao concluir que, para todo o a R
+
\ {1} o integral
impr oprio
_
+
a
x
dx .
e divergente.
3. Vamos estudar a natureza do integral impr oprio
_
+
xdx .
Consideremos os integrais impr oprios
_
0
xdx e
_
+
0
xdx .
Uma vez que o integral impr oprio
_
0
xdx e divergente conclumos, pela Denic ao 1.10, que o

integral impr oprio dado e divergente.
Observac ao 1.12. 1. As Proposic oes 1.8 e 1.9 garantem que a natureza do integral impr oprio (1.5)
n ao depende do valor de a Rescolhido para estudar a natureza dos integrais impr oprios
_
+
a
f (x)dx
e
_
a
f (x)dx.
12
a
esp ecie
2. No caso de converg encia do integral impr oprio (1.5) podemos escrever
_
+
f (x)dx = lim
t
_
a
t
f (x)dx + lim
t+
_
t
a
f (x)dx .
E obvio que se os limites

lim
t
_
a
t
f (x)dx e lim
t+
_
t
a
f (x)dx
existirem e forem nitos, temos
lim
t
_
a
t
f (x)dx + lim
t+
_
t
a
f (x)dx = lim
t+
_
a
t
f (x)dx + lim
t+
_
t
a
f (x)dx
= lim
t+
_
_
a
t
f (x)dx +
_
t
a
f (x)dx
_
= lim
t+
_
t
t
f (x)dx .
Consequentemente, no caso de converg encia podemos escrever
_
+
f (x)dx = lim
t+
_
t
t
f (x)dx .
No caso em que o integral impr oprio (1.5) e divergente, a igualdade anterior n ao faz sentido.
Ao valor do limite
lim
t+
_
t
t
f (x)dx ,
quando existe e e nito, chamamos Valor Principal de Cauchy do integral e escrevemos
(VPC)
_
+
f (x)dx = lim
t+
_
t
t
f (x)dx .
E obvio que se o integral impr oprio

_
+
f (x)dx e convergente, o seu Valor Principal de Cauchy

coincide com o valor do integral.
Exemplo 1.13. 1. Como vimos no Exemplo 1.11, o integral impr oprio
_
+
1
1+x
2
dx e convergente
e tem valor .
Temos ent ao
(VPC)
_
+
1
1+x
2
dx = .
2. Como vimos no Exemplo 1.11, o integral impr oprio
_
+
xdx e divergente.
13
a
esp ecie
Uma vez que
lim
t+
_
t
t
xdx = lim
t+
x
2
2
_
t
t
= lim
t+
_
t
2
2

t
2
2
_
= 0
temos
(VPC)
_
+
xdx = 0 .
Estudo da converg encia dos integrais impr oprios de 1
a
esp ecie Consideremos o integral impr oprio
de 1
a
esp ecie
_
+
1
sen
1
x
2
dx .
Uma vez que n ao conhecemos uma primitiva da func ao f denida por f (x) = sen
1
x
2
, n ao e possvel
estudar a natureza deste integral utilizando a Denic ao 1.1.
Nas proposic oes que apresentamos a seguir estabelecem-se crit erios que permitem fazer o estudo da
natureza de um integral impr oprio de 1
a
esp ecie sem recorrer ` a denic ao.
A proposic ao que apresentamos a seguir estabelece um crit erio para o estudo da natureza de integrais
impr oprios de 1
a
esp ecie, impr oprios no limite superior de integrac ao, que e habitualmente designado
Crit erio de Comparac ao.
Proposic ao 1.14. Sejam f e g duas func oes denidas no intervalo [a, +[, integr aveis em [a, t], para
todo o t a e que vericam a condic ao
0 f (x) g(x) ,
para todo o x [a, +[.
(i) se o integral impr oprio
_
+
a
g(x)dx e convergente, ent ao o integral impr oprio
_
+
a
f (x)dx tamb em
e convergente;
_
+
a
f (x)dx e divergente, ent ao o integral impr oprio
_
+
a
g(x)dx tamb em
e divergente.
Demonstrac ao: Consideremos a func ao F denida por
F(t) =
_
t
a
f (x)dx ,
para todo o t [a, +[.
Vamos ver que a func ao F e mon otona crescente.
14
a
esp ecie
Sejam t
1
, t
2
[a, +[ tais que t
1
<t
2
e vamos provar que F(t
2
) F(t
1
).
Uma vez que t
2
>t
1
temos, pelas propriedades dos integrais denidos e pela denic ao de F,
F(t
2
) =
_
t
2
a
f (x)dx
=
_
t
1
a
f (x)dx +
_
t
2
t
1
f (x)dx
= F(t
1
) +
_
t
2
t
1
f (x)dx
Como por hip otese f e n ao negativa em [a, +[, a Proposic ao ?? garante que
_
t
2
t
1
f (x)dx 0
o que permite concluir que F(t
2
) F(t
1
), como pretendamos.
Uma vez que a func ao F e mon otona crescente existe o limite
L
1
:= lim
t+
F(t) = lim
t+
_
t
a
f (x)dx
podendo ser nito ou +.
Analogamente se prova que existe o limite
L
2
:= lim
t+
_
t
a
g(x)dx
Como por hip otese temos 0 f (x) g(x), o Corol ario ?? permite concluir que, para todo o t
[a, +[,
_
t
a
f (x)dx
_
t
a
g(x)dx . (1.6)
Uma vez que os limites L
1
e L
2
existem, a desigualdade (1.6) implica
L
1
L
2
. (1.7)
Tendo em vista a prova de (i) admitamos que o integral impr oprio
_
+
a
g(x)dx
e convergente.
Pela Denic ao 1.1 temos que o limite L
2
existe e e nito.
A desigualdade (1.7) permite ent ao concluir que o limite L
1
existe e e nito, o que signica que o
integral impr oprio
_
+
a
f (x)dx
e convergente, o que prova (i).
15
a
esp ecie
Tendo em vista a prova de (ii) admitamos que o integral impr oprio
_
+
a
f (x)dx
e divergente.
Pela Denic ao 1.1 e, atendendo a que o limite L
1
existe, temos que o limite L
1
e +.
Uma vez que o limite L
2
existe, a desigualdade (1.7) permite ent ao concluir que o limite L
2
e + o
que signica que o integral impr oprio
_
+
a
g(x)dx
e divergente.
Est a ent ao concluda a prova de (ii).
_
+
1
sen
1
x
2
dx
utilizando o Crit erio de Comparac ao.
Para todo o x [1, +[ temos
1
x
2
[0, 1] e, portanto, sen
1
x
2
0.
Consequentemente, para todo o x [1, +[ temos
0 sen
1
x
2

1
x
2
. (1.8)
_
+
1
1
x
2
dx
e convergente e que a desigualdade (1.8) se verica podemos concluir, pelo Crit erio de Comparac ao,
que o integral impr oprio
_
+
1
sen
1
x
2
dx
e convergente.
_
+
1
e
1/x
dx
1
x
[0, 1] e, portanto, temos
0 < 1 e
1/x
. (1.9)
16
a
esp ecie
Atendendo a que o integral impr oprio
_
+
1
1dx
e divergente e a que e v alida a desigualdade (1.9) podemos concluir, pelo Crit erio de Comparac ao,
_
+
1
e
1/x
dx
e divergente.
Na proposic ao seguinte estabelece-se o Crit erio de Comparac ao para integrais impr oprios de 1
a
esp ecie, impr oprios no limite inferior de integrac ao. A sua demonstrac ao e deixada como exerccio.
Proposic ao 1.16. Sejam f e g duas func oes denidas no intervalo ] , a], integr aveis em [t, a], para
todo o t a e que vericam a condic ao
0 f (x) g(x) ,
para todo o x ] , a].
_
a
g(x)dx e convergente, ent ao tamb em o integral impr oprio

_
a
f (x)dx
e convergente;
_
a
f (x)dx e divergente, ent ao tamb em o integral impr oprio

_
a
g(x)dx
e divergente.
Exemplo 1.17. Vamos estudar a natureza do integral impr oprio
_
1
arctg
1
x
2
dx
Para todo o x ] , 1] temos
0 arctg
1
x
2

1
x
2
. (1.10)
_
1
1
x
2
dx (1.11)
utilizando a Denic ao 1.3.
Para todo o t ] , 1[ temos
_
1
t
1
x
2
dx =
1
x
_
1
t
= 1+
1
t
17
a
esp ecie
e, portanto,
lim
t
_
1
t
1
x
2
dx = lim
t
_
1+
1
t
_
= 1 .
Conclumos ent ao, pela Denic ao 1.3, que o integral impr oprio (1.11) e convergente.
_
1
1
x
2
dx
e convergente e que a desigualdade (1.10) se verica podemos concluir, pelo Crit erio de Comparac ao,
_
1
arctg
1
x
2
dx
e convergente.
impr oprios de 1
a
esp ecie habitualmente designado Crit erio de Comparac ao por Passagem ao Limite
ou simplesmente Crit erio do Limite. O enunciado que apresentamos refere-se a integrais impr oprios de
1
a
Proposic ao 1.18. Sejam f e g duas func oes denidas em [a, +[ e integr aveis em [a, t], para todo o
t a. Admitamos que, para todo o x [a, +[,
f (x) 0 e g(x) > 0 .
Seja
L := lim
x+
f (x)
g(x)
.
(i) Se L e nito e n ao nulo, ent ao os integrais impr oprios
_
+
a
f (x)dx e
_
+
a
g(x)dx
t em a mesma natureza.
(ii) Se L =0 e o integral impr oprio
_
+
a
_
+
a
f (x)dx
e convergente.
(iii) Se L = +e o integral impr oprio
_
+
a
g(x)dx e divergente, ent ao o integral impr oprio
_
+
a
f (x)dx
e divergente.
Demonstrac ao: Observemos em primeiro lugar que se L existe temos L 0 ou L = +.
(i) Admitamos que L e nito e n ao nulo. Ent ao temos L > 0.
Uma vez que
L = lim
x+
f (x)
g(x)
18
a
esp ecie
temos que, para todo o > 0, existe M > 0 tal que, para todo o x [a, +[, se x > M, ent ao
f (x)
g(x)
L
< +L <
f (x)
g(x)
< +L .
Podemos ent ao armar que, para todo o > 0, existe x
0
[a, +[ tal que, para todo o x > x
0
,
+L <
f (x)
g(x)
< +L .
Tome-se = L/2 > 0.
Ent ao existe x
0
0
,
L
2
<
f (x)
g(x)
<
3
2
L .
Uma vez que, por hip otese g(x) > 0, para todo o x [a, +[, temos, para todo o x > x
0
,
0 <
L
2
g(x) < f (x) <
3
2
Lg(x) . (1.12)
De (1.12) resultam as desigualdades
0 < f (x) <
3
2
Lg(x) . (1.13)
e
0 <
L
2
g(x) < f (x) . (1.14)
Admitamos que o integral impr oprio
_
+
a
g(x)dx
e convergente.
Pela Proposic ao 1.8 o integral impr oprio
_
+
x
0
g(x)dx e tamb emconvergente e, pela Proposic ao 1.6,
o integral impr oprio
_
+
x
0
3
2
Lg(x)dx e tamb em convergente.
Atendendo ` a desigualdade (1.13) e ao Crit erio de Comparac ao conclumos ent ao que o integral
impr oprio
_
+
x
0
f (x)dx e convergente. Utilizando uma vez mais a Proposic ao 1.8 podemos con-
cluir que o integral impr oprio
_
+
a
f (x)dx
e tamb em convergente.
_
+
a
g(x)dx
e divergente.
19
a
esp ecie
_
+
x
0
g(x)dx e tamb em divergente e, pela Proposic ao 1.6
_
+
x
0
L
2
g(x)dx e tamb em divergente.
Atendendo ` a desigualdade (1.14) e ao Crit erio de Comparac ao conclumos ent ao que o integral
impr oprio
_
+
x
0
f (x)dx e tamb em divergente. Utilizando uma vez mais a Proposic ao 1.8 con-
clumos ent ao que o integral impr oprio
_
+
a
f (x)dx
e tamb em divergente.
Est a ent ao provado que se L e nito e n ao nulo, ent ao os integrais impr oprios
_
+
a
f (x)dx e
_
+
a
g(x)dx
(ii) Admitamos que se tem L = 0 e que o integral impr oprio
_
+
a
g(x)dx
e convergente.
Uma vez que
L = lim
x+
f (x)
g(x)
temos que, para todo o > 0, existe M > 0 tal que, para todo o x [a, +[, se x > M, ent ao
f (x)
g(x)
< <
f (x)
g(x)
< .
0
0
,
<
f (x)
g(x)
< .
Tome-se = 1 > 0.
Ent ao existe x
0
0
,
1 <
f (x)
g(x)
< 1 .
Atendendo a que, por hip otese, g(x) > 0 e f (x) 0 temos, para todo o x > x
0
,
0 f (x) < g(x) . (1.15)
20
a
esp ecie
Por hip otese o integral impr oprio
_
+
a
g(x)dx
e convergente.
_
+
x
0
g(x)dx e tamb em convergente e, atendendo ` a desi-
gualdade (1.15) e ao Crit erio de Comparac ao conclumos ent ao que o integral impr oprio
_
+
x
0
f (x)dx
e convergente. Utilizando uma vez mais a Proposic ao 1.8 podemos concluir que o integral impr oprio
_
+
a
f (x)dx
e tamb em convergente, como pretendamos.
(iii) Admitamos que L = + e que o integral impr oprio
_
+
a
g(x)dx
e divergente.
Uma vez que
L = lim
x+
f (x)
g(x)
temos que, para todo o K > 0, existe M > 0 tal que, para todo o x [a, +[, se x > M, ent ao
f (x)
g(x)
> K .
Podemos ent ao armar que, para todo o K > 0, existe x
0
0
,
f (x)
g(x)
> K .
Tome-se K = 1 > 0.
Ent ao existe x
0
0
,
f (x)
g(x)
> 1 .
Atendendo a que, por hip otese, g(x) > 0 e f (x) 0 temos, para todo o x > x
0
,
0 < g(x) < f (x) . (1.16)
_
+
a
g(x)dx
e divergente.
21
a
esp ecie
_
+
x
0
g(x)dx e tamb em divergente e, atendendo ` a desi-
_
+
x
0
f (x)dx
e divergente. Utilizando uma vez mais a Proposic ao 1.8 podemos concluir que o integral impr oprio
_
+
a
f (x)dx
e tamb em divergente, como pretendamos.
_
+
1
2x
2
+1
x
3
+2x +1
dx
utilizando o Crit erio de Comparac ao por Passagem ao Limite.
Temos, para todo o x [1, +[,
2x
2
+1
x
3
+2x +1
0 .
Para todo o R e, para todo o x [1, +[,
1
x
> 0 .
Seja
L = lim
x+
2x
2
+1
x
3
+2x +1
1
x
= lim
x+
2x
2+
+x
x
3
+2x +1
Se 2+ = 3 = 1, ent ao L = 2 e, portanto, pelo Crit erio de Comparac ao por Passagem ao
Limite, o integral impr oprio dado tem a mesma natureza do integral impr oprio
_
+
1
1
x
dx .
Uma vez que este ultimo e divergente conclumos que o integral impr oprio dado e divergente.
_
+
0
arctgx
1+x
4
dx
utilizando o Crit erio de Comparac ao por Passagem ao Limite.
arctgx
1+x
4
0 e
1
x
4
> 0 .
22
a
esp ecie
Como vimos, o integral impr oprio
_
+
1
1
x
4
dx
e convergente.
Temos
L = lim
x+
arctgx
1+x
4
1
x
4
= lim
x+
_
x
4
1+x
4
arctgx
_
=

2
Atendendo a que L e nito e n ao nulo, o Crit erio de Comparac ao por Passagem ao Limite permite
concluir que os integrais impr oprios
_
+
1
arctgx
1+x
4
dx e
_
+
1
1
x
4
dx
_
+
1
1
x
4
dx
e convergente temos que o integral impr oprio
_
+
1
arctgx
1+x
4
dx
A Proposic ao 1.8 garante que o integral impr oprio
_
+
0
arctgx
1+x
4
dx
3. Consideremos o integral impr oprio
_
+
1
x
e
2x
1
dx .
x
e
2x
1
0 .
Para estudar a natureza deste integral impr oprio vamos utilizar o Crit erio de Comparac ao por
Passagem ao Limite tomando como refer encia o integral impr oprio
_
+
1
1
x
dx . (1.17)
Para todo o R e, para todo o x [1, +[,
1
x
> 0 .
23
a
esp ecie
Seja
L = lim
x+
x
e
2x
1
1
x
= lim
x+
x
+1
e
2x
1
= 0 ,
para todo o R.
Se >1, o integral impr oprio (1.17) e convergente e, uma vez que L =0 conclumos, pelo Crit erio
de Comparac ao por Passagem ao Limite, que o integral impr oprio dado e tamb em convergente.
4. Consideremos o integral impr oprio
_
+
1
e
x
x
dx .
e
x
x
0 .
Para estudar a natureza deste integral impr oprio vamos utilizar o Crit erio de Comparac ao por
Passagem ao Limite tomando como refer encia o integral impr oprio (1.17).
Seja
L = lim
x+
e
x
x
1
x
= lim
x+
e
x
x
1
= + ,
para todo o R.
Se 1, o integral impr oprio (1.17) e divergente e, uma vez que L = + conclumos, pelo
Crit erio de Comparac ao por Passagem ao Limite, que o integral impr oprio dado e tamb em diver-
gente.
Apresentamos a seguir o enunciado do Crit erio do Limite para integrais de 1
a
esp ecie, impr oprios no
limite inferior de integrac ao. A sua demonstrac ao e deixada como exerccio.
Proposic ao 1.20. Sejam f e g duas func oes denidas em ] , a] e integr aveis em [t, a], para todo o
t a. Admitamos que, para todo o x ] , a],
f (x) 0 e g(x) > 0 .
Seja
L := lim
x
f (x)
g(x)
.
_
a
f (x)dx e
_
a
g(x)dx
24
a
esp ecie
(ii) Se L = 0 e o integral impr oprio
_
a

_
a
f (x)dx
e convergente.
(iii) Se L = + e o integral impr oprio
_
a

_
a
f (x)dx
e divergente.
Exemplo 1.21. Consideremos a func ao f : ] , 0] R denida por f (x) =
e
x
(x 1)
2
, para
todo o x ] , 0]. Observe-se que f e integr avel em [t, 0], para todo o t ] , 0] pelo que podemos
considerar o integral impr oprio de 1
a
esp ecie, impr oprio no limite inferior de integrac ao,
_
0
e
x
(x 1)
2
dx .
Vamos estudar a natureza deste integral impr oprio utilizando o Crit erio de Comparac ao por Passagem
ao Limite.
Para todo o x ] , 0] temos
e
x
(x 1)
2
> 0
e
1
(x 1)
2
> 0 .
Uma vez que
L = lim
x
e
x
(x 1)
2
1
(x 1)
2
= lim
x
e
x
= 0
e o integral impr oprio
_
0
1
(x 1)
2
dx
e convergente, conclumos, pelo Crit erio de Comparac ao por Passagemao Limite, que o integral impr oprio
_
0
e
x
(x 1)
2
dx
e convergente.
Converg encia absoluta Neste par agrafo vamos apresentar a denic ao de converg encia absoluta para
integrais impr oprios de 1
a
esp ecie e demonstrar que a converg encia absoluta e condic ao suciente para a
converg encia.
Denic ao 1.22. Seja f uma func ao denida em [a, +[ e integr avel em [a, t], para todo o t [a, +[.
_
+
a
f (x)dx
25
a
esp ecie
e absolutamente convergente se o integral impr oprio
_
+
a
| f (x)| dx
Exemplo 1.23. 1. Consideremos o integral impr oprio
_
+
1
senx
x
2
dx .
Utilizando o Crit erio de Comparac ao podemos concluir que o integral impr oprio
_
+
1
| senx|
x
2
dx
e convergente.
De facto, para todo o x [1, +[, temos 0 | senx| 1 e, portanto, temos
0
| senx|
x
2

1
x
2
, (1.18)
para todo o x [1, +[.
_
+
1
1
x
2
dx e convergente, conclumos, utilizando a desigualdade
(1.18) e o Crit erio de Comparac ao, que o integral impr oprio
_
+
1
| senx|
x
2
dx e convergente.
Pela Denic ao 1.22 temos que o integral impr oprio considerado e absolutamente convergente.
2. Vamos ver que, para todo o n N, o integral impr oprio
_
+
2
(1)
n
1+2x
4
dx
e absolutamente convergente.
Sendo n N, arbitr ario, temos
_
+
2
(1)
n
1+2x
4
dx =
_
+
2
1
1+2x
4
dx.
Para todo o x [2, +[, temos
1
1+2x
4
0,
1
x
4
> 0. Uma vez que
L = lim
x+
1
1+2x
4
1
x
4
= lim
x+
x
4
1+2x
4
=
1
2
_
+
2
1
x
4
dx e convergente, o Crit erio de Comparac ao por Passagemao Limite
permite concluir que o integral impr oprio
_
+
2
1
1+2x
4
dx e convergente.
26
a
esp ecie
Pela Denic ao 1.22 temos que o integral dado e absolutamente convergente, como se pretendia.
A proposic ao seguinte estabelece que, para integrais impr oprios de 1
a
esp ecie, impr oprios no limite
superior de integrac ao, a converg encia absoluta e uma condic ao suciente para que o integral impr oprio
seja convergente.
Proposic ao 1.24. Seja f uma func ao denida em [a, +[ e integr avel em [a, t], para todo o t [a, +[.
Se o integral impr oprio
_
+
a
f (x)dx
e absolutamente convergente, ent ao tamb em e convergente.
Demonstrac ao: Para todo o x [a, +[ temos
| f (x)| f (x) | f (x)| 0 f (x) +| f (x)| 2| f (x)| . (1.19)
_
+
a
| f (x)| dx
e convergente e, pela Proposic ao 1.6, temos que o integral impr oprio
_
+
a
2| f (x)| dx
e convergente.
Atendendo ` a desigualdade (1.19) podemos concluir, pelo Crit erio de Comparac ao que o integral
impr oprio
_
+
a
( f (x) +| f (x)|)dx
e convergente.
Utilizando a Proposic ao 1.6 temos que o integral impr oprio
_
+
a
( f (x) +| f (x)| | f (x)|)dx =
_
+
a
f (x)dx
Exemplo 1.25. O integral impr oprio
_
+
1
senx
x
2
dx
e convergente pois, como vimos no Exemplo 1.13, ele e absolutamente convergente.
Para integrais impr oprios de 1
a
esp ecie, impr oprios no limite inferior de integrac ao, podemos tamb em
denir converg encia absoluta e estabelecer que a converg encia absoluta e uma condic ao suciente para
a converg encia do integral. A demonstrac ao desse resultado e deixada como exerccio.
Denic ao 1.26. Seja f uma func ao denida em ] , a] e integr avel em [t, a], para todo o t ] , a].
27
a
esp ecie
_
a
f (x)dx
_
a
| f (x)| dx
e convergente.
Proposic ao 1.27. Seja f uma func ao denida em ] , a] e integr avel em [t, a], para todo o t ] , a].
_
a
f (x)dx
Exerccios 1.1. 1. Determine a natureza dos integrais impr oprios seguintes e, emcaso de converg encia,
calcule o seu valor:
(a)
_
+
4
1
e
x
dx;
(b)
_
+
cos(3x)dx;
(c)
_
+
0
1
a
2
+x
2
dx, com a R
+
;
(d)
_
+
0
te
st
dt, com s R
+
;
(e)
_
2
1
(4x)
2
dx;
(f)
_
+
x
2
dx;
(g)
_
+
3
4
x
2
4
dx;
(h)
_
0
xe
x
2
dx;
(i)
_
+
e
|x|
dx.
2. Faca um esboco do gr aco da func ao real de vari avel real F dada por
F(x) =
_
x
f (t)dt, x R ,
onde f e a func ao real de vari avel real denida por
f (t) =
_
t se |t| 1
0 se |t| > 1
3. Determine a natureza dos integrais impr oprios seguintes:
28
a
esp ecie
(a)
_
1
sen
_
1
x
_
3
x
5
dx
(b)
_
+
1
lnx
x
dx
(c)
_
+
0
x +1
x
2
+2x +2
dx
(d)
_
+
2
cosx +2
x
dx
(e)
_
+
1
cosx
x
5
dx
a
esp ecie
Vamos agora considerar o caso em que temos uma func ao f denida num intervalo limitado tal que f
n ao est a denida em pelo menos um ponto do intervalo ou e ilimitada no intervalo considerado. Obtemos
ent ao os integrais impr oprios de 2
a
esp ecie.
Vamos considerar em primeiro lugar o caso em que a func ao n ao est a denida num dos extremos do
intervalo considerado ou e ilimitada numa vizinhanca de um dos extremos do intervalo de integrac ao. Os
casos em que a func ao integranda n ao est a denida em pelo menos um ponto do interior do intervalo de
integrac ao ou e ilimitada em pelo menos um ponto do interior do intervalo de integrac ao reduzem-se aos
anteriores por decomposic ao do intervalo de integrac ao em subintervalos.
Denic ao 1.28. Seja f : ]a, b] R uma func ao integr avel em [t, b], para todo o a <t b.
Consideremos a func ao : ]a, b] R denida por
(t) =
_
b
t
f (x)dx .
Se o limite
lim
ta
+
(t) = lim
ta
+
_
b
t
f (x)dx (1.20)
existe e e nito dizemos que f e integr avel em sentido impr oprio no intervalo ]a, b] ou que o integral
impr oprio
_
b
a
f (x)dx (1.21)
e convergente e escrevemos, por denic ao,
_
b
a
f (x)dx = lim
ta
+
_
b
t
f (x)dx .
Neste caso, ao valor do limite lim
ta
+
_
b
t
f (x)dx chamamos valor do integral impr oprio (1.21).
Ao integral impr oprio (1.21) chamamos integral impr oprio de 2
a
inferior de integrac ao.
29
a
esp ecie
A proposic ao que apresentamos a seguir estabelece que, no caso em que a func ao integranda n ao est a
denida no limite inferior do intervalo de integrac ao mas e limitada nesse intervalo, o integral impr oprio
considerado e convergente. A demonstrac ao desta proposic ao e deixada como exerccio.
Proposic ao 1.29. Seja f : ]a, b] R uma func ao integr avel em [t, b], para todo o a <t b.
Se f e uma func ao limitada em ]a, b], ent ao o integral impr oprio
_
b
a
Exemplo 1.30. Utilizando a Proposic ao 1.29 podemos armar que o integral impr oprio de 2
a
esp ecie,
impr oprio no limite inferior de integrac ao,
_
1
0
sen
1
x
dx
e convergente, uma vez que a func ao
f : ]0, 1] R
x sen
1
x
e limitada em ]0, 1].
Nos exemplos que se seguemvamos utilizar a denic ao para estudar a natureza dos integrais impr oprios
considerados.
Exemplo 1.31. 1. A func ao f : ]0, 1] R denida por f (x) =
1
x
2
+2x
e uma func ao
integr avel em [t, 1], para todo o 0 <t 1.
Vamos estudar a natureza do integral impr oprio de 2
a
esp ecie
_
1
0
1
x
2
+2x
dx
Para todo o 0 <t 1, temos
_
1
t
1
x
2
+2x
dx =
_
1
t
1
_
(x
2
2x +1) +1
dx
=
_
1
t
1
_
1(x 1)
2
dx
= arcsen(x 1)]
1
t
= arcsen(t 1)
e, portanto,
lim
t0
+
_
1
t
1
x
2
+2x
dx = lim
t0
+
(arcsen(t 1))
= arcsen(1) =

2
.
30
a
esp ecie
Pela Denic ao 1.28 conclumos que o integral impr oprio
_
1
0
1
x
2
+2x
dx
e convergente e tem o valor /2.
_
1
0
1
x
2
+2x
dx =

2
.
2. Vamos estudar, em func ao de R
+
, a natureza do integral impr oprio
_
1
0
1
x
dx .
Note-se, em primeiro lugar, que, para todo o R
+
, a func ao f : ]0, 1] R denida por
f (x) =
1
x
e uma func ao integr avel em [t, 1], para todo o 0 <t 1.

Para todo o 0 <t 1 temos
_
1
t
1
x
dx =
_
_
lnx]
1
t
se = 1
x
+1
+1
_
1
t
se R
+
\{1}
=
_
_
lnt se = 1
1
+1
t
+1
+1
se R
+
\{1}
e, portanto,
lim
t0
+
_
1
t
1
x
dx =
_
_
1
1
se ]0, 1[
+ se 1
_
1
0
1
x
dx e
_
_
convergente se ]0, 1[
divergente se 1
No caso em que ]0, 1[ podemos escrever
_
1
0
1
x
dx =
1
1
.
Denic ao 1.32. Seja f : [a, b[ R uma func ao integr avel em [a, t], para todo o a t < b.
31
a
esp ecie
Consideremos a func ao : [a, b[ R denida por
(t) =
_
t
a
f (x)dx .
Se o limite
lim
tb
(t) = lim
tb
_
t
a
f (x)dx (1.22)
existe e e nito dizemos que f e integr avel em sentido impr oprio no intervalo [a, b[ ou que o integral
impr oprio
_
b
a
f (x)dx (1.23)
e convergente e escrevemos, por denic ao,
_
b
a
f (x)dx = lim
tb
_
t
a
f (x)dx .
Neste caso, ao valor do limite lim
tb
_
t
a
f (x)dx chamamos valor do integral impr oprio (1.23).
a
superior de integrac ao.
Tal como para os integrais impr oprios de 2
a
esp ecie, impr oprios no limite inferior de integrac ao,
prova-se que no caso em que a func ao n ao est a denida no limite superior de integrac ao mas e limitada no
intervalo de integrac ao, ent ao o integral impr oprio considerado e convergente. Temos ent ao a proposic ao
seguinte cuja demonstrac ao e deixada como exerccio.
Proposic ao 1.33. Seja f : [a, b[ R uma func ao integr avel em [a, t], para todo o a t < b.
Se f e uma func ao limitada em [a, b[, ent ao o integral impr oprio
_
b
a
Nos exemplos que se seguem vamos usar a Denic ao 1.32 para estudar a natureza dos integrais
impr oprios considerados.
Exemplo 1.34. 1. A func ao f : [0, 1[ R denida por f (x) =
ln(1x)
1x
e uma func ao in-
tegr avel em [0, t], para todo o 0 t < 1.
a
esp ecie
_
1
0
ln(1x)
1x
dx
32
a
esp ecie
Para todo o 0 t < 1, temos
_
t
0
ln(1x)
1x
dx =
1
2
ln
2
(1x)
_
t
0
=
1
2
ln
2
(1t)
e, portanto,
lim
t1
_
t
0
ln(1x)
1x
dx = lim
t1
1
2
ln
2
(1t)
_
= .
_
1
0
ln(1x)
1x
dx
e divergente.
2. Vamos estudar, em func ao de R
+
, a natureza do integral impr oprio
_
2
0
1
(2x)
dx .
Note-se, em primeiro lugar, que, para todo o R
+
, a func ao f : [0, 2[ R denida por
f (x) =
1
(2x)
e uma func ao integr avel em [0, t], para todo o 0 t < 2.

Para todo o 0 t < 2 temos
_
t
0
1
(2x)
dx =
_
_
ln|2x|]
t
0
se = 1
(2x)
+1
+1
_
t
0
se R
+
\{1}
=
_
_
ln2ln(2t) se = 1
(2t)
+1
1
+
2
+1
+1
se R
+
\{1}
e, portanto,
lim
t2
_
t
0
1
(2x)
dx =
_
_
2
1
1
se ]0, 1[
+ se 1
_
2
0
1
(2x)
dx e
_
_
convergente se ]0, 1[
divergente se 1
33
a
esp ecie
No caso em que ]0, 1[ podemos escrever
_
2
0
1
(2x)
dx =
2
1
1
.
Na proposic ao que se apresenta a seguir estabelece-se uma propriedade dos integrais impr oprios de
2
a
Proposic ao 1.35. Sejam f e g duas func oes denidas em [a, b[ e integr aveis em [a, t], para todo o t
[a, b[.
_
b
a
f (x)dx e
_
b
a
g(x)dx
_
b
a
( f (x) +g(x))dx
e convergente;
_
b
a
f (x)dx e divergente, ent ao, para todo o R\ {0}, o integral
impr oprio
_
b
a
( f (x))dx e divergente.
Demonstrac ao: (i) Atendendo ` a hip otese, existem e s ao nitos os limites
lim
tb
_
t
a
f (x)dx
e
lim
tb
_
t
a
g(x)dx .
Atendendo a que, para todo o t ]a, b[,
_
t
a
( f (x) +g(x))dx =
_
t
a
f (x)dx +
_
t
a
g(x)dx
temos que
lim
tb
_
t
a
tb
_
t
a
f (x)dx +
_
t
a
g(x)dx
_
.
A hip otese e as propriedades dos limites permitem ent ao concluir que
lim
tb
_
t
a
tb
_
t
a
f (x)dx + lim
tb
_
t
a
g(x)dx .
34
a
esp ecie
Atendendo ` a Denic ao 1.32 podemos ent ao concluir que o integral impr oprio
_
b
a
( f (x) +g(x))dx
(ii) Atendendo ` a hip otese, o limite
lim
tb
_
t
a
f (x)dx
Atendendo a que, para todo o t ]a, b[,
_
t
a
( f (x))dx =
_
t
a
f (x)dx
e ` a hip otese temos que o limite
lim
tb
_
t
a
( f (x))dx = lim
tb
_
t
a
f (x)dx
_
A Denic ao 1.32 permite ent ao concluir que o integral impr oprio
_
b
a
( f (x))dx e divergente,
como pretendamos.
Na proposic ao que apresentamos a seguir estabelece-se uma propriedade an aloga para os integrais
impr oprios de 2
a
esp ecie, impr oprios no limite inferior de integrac ao. A demonstrac ao desta proposic ao
e deixada como exerccio.
Proposic ao 1.36. Sejam f e g duas func oes denidas em ]a, b] e integr aveis em [t, b], para todo o t ]a, b].
_
b
a
f (x)dx e
_
b
a
g(x)dx
_
b
a
( f (x) +g(x))dx
e convergente;
_
b
a
f (x)dx e divergente, ent ao para todo o R\{0} o integral impr oprio
_
b
a
( f (x))dx e divergente.
35
a
esp ecie
Podemos, para os integrais impr oprios de 2
a
esp ecie, demonstrar resultados an alogos aos que foram
estabelecidos nas Proposic oes 1.8 e 1.9 para os integrais impr oprios de 1
a
esp ecie. Temos as proposic oes
seguintes:
Proposic ao 1.37. Sejam f uma func ao denida num intervalo ]a, b] e integr avel em [t, b], para todo o
a <t b e a < b
< b.
_
b
a
f (x)dx e
_
b
a
Demonstrac ao: A proposic ao ca demonstrada se provarmos que o integral impr oprio
_
b
a
f (x)dx e
convergente se e s o se o integral impr oprio
_
b
a
Para todo o t < b
< b temos
_
b
t
f (x)dx =
_
b
t
f (x)dx +
_
b
b
f (x)dx .
Consequentemente
lim
ta
+
_
b
t
f (x)dx = lim
ta
+
_
_
b
t
f (x)dx +
_
b
b
f (x)dx
_
o que implica que o limite
lim
ta
+
_
b
t
f (x)dx
existe e e nito se e s o se o limite
lim
ta
+
_
b
t
f (x)dx
existe e e nito.
Est a ent ao provado que o integral impr oprio
_
b
a
f (x)dx
e convergente se e s o se o integral impr oprio
_
b
a
f (x)dx
A demonstrac ao da proposic ao que se segue e deixada como exerccio.
Proposic ao 1.38. Sejam f uma func ao denida num intervalo [a, b[ e integr avel em [a, t], para todo o
a <t b e a < a
< b.
_
b
a
f (x)dx e
_
b
a

36
a
esp ecie
As Proposic oes 1.37 e 1.38 d ao coer encia ` a denic ao que se segue.
Denic ao 1.39. Seja f uma func ao denida em ]a, b[, integr avel em [t, t
], quaisquer que sejam t, t
R
tais que a <t <t
< b.
Dizemos que f e integr avel em sentido impr oprio no intervalo ]a, b[ ou que o integral impr oprio
_
b
a
f (x)dx (1.24)
e convergente se, para algum c ]a, b[, os integrais impr oprios
_
c
a
f (x)dx e
_
b
c
f (x)dx
_
b
a
f (x)dx =
_
c
a
f (x)dx +
_
b
c
f (x)dx
_
b
a
f (x)dx.
Se para algum c ]a, b[, um dos integrais impr oprios
_
c
a
f (x)dx ou
_
b
c
f (x)dx
a
esp ecie, impr oprio em ambos
os limites de integrac ao.
Exemplo 1.40. 1. A func ao f : ] 1, 1[ R denida por f (x) =
1
x
2
1
e uma func ao in-
tegr avel em [t, t
tais que 1 <t <t
< 1.
a
esp ecie
_
1
1
1
x
2
1
dx
Para o efeito podemos considerar os integrais impr oprios de 2
a
esp ecie
_
0
1
1
x
2
1
dx e
_
1
0
1
x
2
1
dx .
37
a
esp ecie
_
0
t
1
x
2
1
dx =
1
2
_
0
t
_
1
x 1
1
x +1
_
dx
=
1
2
ln
|x 1|
|x +1|
_
0
t
= ln
|x 1|
|x +1|
_
0
t
= ln
|t 1|
|t +1|
e, portanto,
lim
t1
+
_
0
t
1
x
2
1
dx = lim
t1
+
ln
|t 1|
|t +1|
= .
_
0
1
1
x
2
1
dx
e divergente.
A Denic ao 1.39 permite ent ao concluir que o integral impr oprio considerado e divergente.
2. A func ao f : ]0, 2[ R denida por f (x) =
1
_
1(x 1)
2
e uma func ao integr avel em
[t, t
tais que 0 <t <t
< 2.
a
esp ecie
_
2
0
1
_
1(x 1)
2
dx
a
esp ecie
_
1
0
1
_
1(x 1)
2
dx e
_
2
1
1
_
1(x 1)
2
dx .
_
1
t
1
_
1(x 1)
2
dx = arcsen(x 1)]
1
t
= arcsen(t 1)
38
a
esp ecie
e, portanto,
lim
t0
+
_
1
t
1
_
1(x 1)
2
dx = lim
t0
+
(arcsen(t 1))
=

2
.
_
1
0
1
_
1(x 1)
2
dx
e convergente e tem o valor

2
.
Para todo o 1 t
< 2, temos
_
t
1
1
_
1(x 1)
2
dx = arcsen(x 1)]
t
1
= arcsen(t
1)
e, portanto,
lim
t
_
t
1
1
_
1(x 1)
2
dx = lim
t
arcsen(t
1)
=

2
.
_
2
1
1
_
1(x 1)
2
dx
e convergente e tem o valor

2
.
A Denic ao 1.39 permite ent ao concluir que o integral impr oprio considerado e convergente e tem
o valor .
Observac ao 1.41. 1. As Proposic oes 1.37 e 1.38 garantemque a natureza do integral impr oprio (1.24)
n ao depende do valor de c ]a, b[ escolhido para estudar a natureza dos integrais impr oprios
_
c
a
f (x)dx e
_
b
c
f (x)dx.
2. No caso de converg encia do integral impr oprio (1.24) podemos escrever
_
b
a
f (x)dx = lim
t
a
+
_
c
t
f (x)dx + lim
tb
_
t
c
f (x)dx .
Uma vez que temos
lim
t
a
+
_
c
t
f (x)dx = lim
0
+
_
c
a+
f (x)dx
39
a
esp ecie
e
lim
tb
_
t
c
f (x)dx = lim
0
_
b+
c
f (x)dx
= lim
0
+
_
b
c
f (x)dx
se os limites
lim
t
a
+
_
c
t
f (x)dx e lim
tb
_
t
c
f (x)dx
lim
t
a
+
_
c
t
f (x)dx + lim
tb
_
t
c
f (x)dx = lim
0
+
_
c
a+
f (x)dx + lim
0
+
_
b
c
f (x)dx
= lim
0
+
_
_
c
a+
f (x)dx +
_
b
c
f (x)dx
_
= lim
0
+
_
b
a+
f (x)dx
Consequentemente, no caso de converg encia, podemos escrever
_
b
a
f (x)dx = lim
0
+
_
b
a+
f (x)dx .
No caso em que o integral impr oprio (1.24) e divergente a igualdade anterior n ao faz sentido.
Ao valor do limite
lim
0
+
_
b
a+
f (x)dx ,
(VPC)
_
b
a
f (x)dx = lim
0
+
_
b
a+
f (x)dx .

_
b
a
f (x)dx e convergente, o seu Valor Principal de Cauchy
coincide com o valor do integral.
Exemplo 1.42. Como vimos no Exemplo 1.40 o integral impr oprio
_
2
0
1
_
1(x 1)
2
dx e convergente
e tem o valor .
Atendendo ` a Observac ao 1.41 temos que
(VPC)
_
2
0
1
_
1(x 1)
2
dx = .
Denic ao 1.43. Seja f uma func ao denida num intervalo [a, b] excepto possivelmente para um ponto
c ]a, b[, integr avel em [a, t], para todo o a t < c e integr avel em [t, b], para todo o c <t b.
40
a
esp ecie
Dizemos que f e integr avel em sentido impr oprio em [a, b] ou que o integral impr oprio
_
b
a
f (x)dx (1.25)
e convergente se os integrais impr oprios
_
c
a
f (x)dx e
_
b
c
f (x)dx
_
b
a
f (x)dx =
_
c
a
f (x)dx +
_
b
c
f (x)dx
_
b
a
f (x)dx.
Se um dos integrais impr oprios
_
c
a
f (x)dx ou
_
b
c
f (x)dx
a
esp ecie, impr oprio em c ]a, b[.
Exemplo 1.44. 1. A func ao f : [0, 2] \{1} R denida por f (x) =
1
(x 1)
3
e uma func ao
integr avel em [0, t
], para todo o 0 t
<1 e e uma func ao integr avel em [t, 2] para todo o 1 <t 2.

a
esp ecie
_
2
0
1
(x 1)
3
dx
a
esp ecie
_
1
0
1
(x 1)
3
dx e
_
2
1
1
(x 1)
3
dx .
Para todo o 1 <t < 2, temos
_
2
t
1
(x 1)
3
dx =
1
2(x 1)
2
_
2
t
=
1
2
+
1
2(t 1)
2
e, portanto,
lim
t1
+
_
2
t
1
(x 1)
3
dx = lim
t1
+
_
1
2
+
1
2(t 1)
2
_
= + .
41
a
esp ecie
_
2
1
1
(x 1)
3
dx
e divergente.
A Denic ao 1.43 permite ent ao concluir que o integral impr oprio considerado e divergente.
2. A func ao f : [1, 1] \{0} R denida por f (x) = ln|x| e uma func ao integr avel em
[1, t
], para todo o 1 t
< 0 e e uma func ao integr avel em [t, 1] para todo o 0 <t 1.

a
esp ecie
_
1
1
ln|x| dx
a
esp ecie
_
0
1
ln|x| dx e
_
1
0
ln|x| dx .
Para todo o 1 <t < 0 temos
_
t
1
ln|x| dx =
_
t
1
ln(x)dx
= xln(x) x]
t
1
= t ln(t) t 1
e, portanto,
lim
t0
_
t
1
ln|x| dx = lim
t0
(t ln(t) t 1)
= lim
t0
_
_
_
ln(t)
1
t
t 1
_
_
_
R.C.
= lim
t0
_
_
_
1
t
1
t
2
t 1
_
_
_
= 1 .
_
0
1
ln|x| dx
e convergente e tem o valor 1.
42
a
esp ecie
Para todo o 0 <t < 1 temos
_
1
t
ln|x| dx =
_
1
t
lnxdx
= xlnx x]
1
t
= t lnt +t 1
e, portanto,
lim
t0
+
_
1
t
ln|x| dx = lim
t0
+
(1t lnt +t)
= 1 .
_
1
0
ln|x| dx
e convergente e tem o valor 1.
Utilizando a Denic ao 1.43 temos que o integral impr oprio dado e convergente e podemos escrever
_
1
1
ln|x| dx =
_
0
1
ln|x| dx +
_
1
0
ln|x| dx =2 .
Podemos ent ao dizer que o integral impr oprio dado tem o valor 2.
Observac ao 1.45. No caso de converg encia do integral impr oprio (1.25) podemos escrever
_
b
a
f (x)dx = lim
t
_
t
a
f (x)dx + lim
tc
+
_
b
t
f (x)dx .
Uma vez que
lim
tc
+
_
b
t
f (x)dx = lim
0
+
_
b
c+
f (x)dx
e
lim
t
_
t
a
f (x)dx = lim
0
_
c+
a
f (x)dx
= lim
0
+
_
c
a
f (x)dx
se os limites
lim
t
_
t
a
f (x)dx e lim
tc
+
_
b
t
f (x)dx
lim
t
_
t
a
f (x)dx + lim
tc
+
_
b
t
f (x)dx = lim
0
+
_
c
a
f (x)dx + lim
0
+
_
b
c+
f (x)dx
= lim
0
+
_
_
c
a
f (x)dx +
_
b
c+
f (x)dx
_
.
43
a
esp ecie
Consequentemente, no caso de converg encia, podemos escrever
_
b
a
f (x)dx = lim
0
+
_
_
c
a
f (x)dx +
_
b
c+
f (x)dx
_
.
No caso em que o integral impr oprio (1.25) e divergente a igualdade anterior n ao faz sentido.
Ao valor do limite
lim
0
+
_
_
c
a
f (x)dx +
_
b
c+
f (x)dx
_
,
(VPC)
_
b
a
f (x)dx = lim
0
+
_
_
c
a
f (x)dx +
_
b
c+
f (x)dx
_
.

_
b
a
f (x)dx e convergente o seu Valor Principal de Cauchy coin-
cide com o valor do integral.
Exemplo 1.46. 1. Como vimos no Exemplo 1.44, o integral impr oprio
_
2
0
1
(x 1)
3
dx e divergente.
Uma vez que
lim
0
+
_
_
1
0
1
(x 1)
3
dx +
_
2
1+
1
(x 1)
3
dx
_
= lim
0
+
_
1
2(x 1)
2
_
1
0
+
1
2(x 1)
2
_
2
1+
_
= lim
0
+
_
1
2
2
+
1
2
1
2
+
1
2
2
_
= 0
temos que
(VPC)
_
2
0
1
(x 1)
3
dx = 0 .
2. Como vimos no Exemplo 1.44 o integral impr oprio
_
1
1
ln|x| dx e convergente e tem o valor 2.
Atendendo ` a Observac ao 1.45, temos
(VPC)
_
1
1
ln|x| dx =2 .
Estudo da converg encia dos integrais impr oprios de 2
a
esp ecie Nas proposic oes que apresentamos
a seguir estabelecem-se crit erios que permitem estudar a natureza de um integral impr oprio de 2
a
esp ecie
sem recorrer ` a denic ao.
impr oprios de 2
a
esp ecie, impr oprios no limite inferior de integrac ao, que e habitualmente designado
Crit erio de Comparac ao.
Proposic ao 1.47. Sejam f e g duas func oes denidas no intervalo ]a, b], integr aveis em [t, b], para todo
44
a
esp ecie
o t ]a, b] e que vericam a condic ao
0 f (x) g(x) ,
para todo o x ]a, b].
_
b
a
_
b
a
f (x)dx
e convergente;
_
b
a
_
b
a
g(x)dx e
divergente.
Demonstrac ao: Consideremos a func ao denida por
(t) =
_
b
t
f (x)dx ,
para todo o t ]a, b[.
Vamos ver que a func ao e mon otona decrescente.
Sejam t
1
, t
2
]a, b[ tais que t
1
<t
2
e vamos provar que (t
1
) (t
2
).
Uma vez que t
1
<t
2
temos, pelas propriedades dos integrais denidos e pela denic ao de ,
(t
1
) =
_
b
t
1
f (x)dx
=
_
t
2
t
1
f (x)dx +
_
b
t
2
f (x)dx
=
_
t
2
t
1
f (x)dx +(t
2
) .
Como, por hip otese, f e n ao negativa em ]a, b], a Proposic ao ?? garante que
_
t
2
t
1
f (x)dx 0
o que permite concluir que (t
1
) (t
2
), como pretendamos.
Uma vez que a func ao e mon otona decrescente, existe o limite
L
1
:= lim
ta
+
(t) = lim
ta
+
_
b
t
f (x)dx
Analogamente se prova que existe o limite
L
2
:= lim
ta
+
_
b
t
g(x)dx
45
a
esp ecie
Como temos, por hip otese, 0 f (x) g(x), para todo o x ]a, b], o Corol ario ?? permite concluir
que, para todo o t ]a, b[,
_
b
t
f (x)dx
_
b
t
g(x)dx . (1.26)
Uma vez que os limites L
1
e L
2
existem, a desigualdade 1.26 implica
L
1
L
2
. (1.27)
Tendo em vista a prova de (i) admitamos que o integral impr oprio
_
b
a
g(x)dx
e convergente.
Pela Denic ao 1.28 temos que o limite L
2
existe e e nito.
A desigualdade 1.27 permite ent ao concluir que o limite L
1
existe e e nito o que signica que o
integral impr oprio
_
b
a
f (x)dx
e convergente, o que prova (i).
Tendo em vista a prova de (ii) admitamos que o integral impr oprio
_
b
a
f (x)dx
e divergente.
Pela Denic ao 1.28 e, atendendo a que o limite L
1
existe, temos que o limite L
1
e +.
Uma vez que o limite L
2
existe, a desigualdade 1.27 permite ent ao concluir que o limite L
2
e + o
que signica que o integral impr oprio
_
b
a
g(x)dx
e divergente, o que prova (ii).
Exemplo 1.48. 1. Utilizando o Crit erio de Comparac ao vamos estudar a natureza do integral impr oprio
_
1
0
senx
x
dx .
Para todo o x ]0, 1] temos
0
senx
x

1
x
. (1.28)
A func ao g : ]0, 1] R que a cada x ]0, 1] faz corresponder g(x) =
1
x
e integr avel em
[t, 1], para todo o t ]0, 1].
46
a
esp ecie
Uma vez que
lim
t0
+
_
1
t
1
x
dx = lim
t0
+
_
2
1
t
_
= lim
t0
+
(22
t)
= 2,
a Denic ao 1.28 permite concluir que o integral impr oprio de 2
a
esp ecie
_
1
0
1
x
dx e convergente.
Atendendo ` a desigualdade (1.28) podemos concluir, pelo Crit erio de Comparac ao, que o integral
impr oprio dado e convergente.
_
1
0
2+cosx
x
dx
Para todo o x ]0, 1] temos
0
1
x

2+cosx
x
. (1.29)
A func ao g : ]0, 1] R que a cada x ]0, 1] faz corresponder g(x) =
1
x
e integr avel em
[t, 1], para todo o t ]0, 1].
Uma vez que
lim
t0
+
_
1
t
1
x
dx = lim
t0
+
_
lnx]
1
t
_
= lim
t0
+
(lnt)
= +,
a
esp ecie
_
1
0
1
x
dx e divergente.
impr oprio dado e divergente.
Na proposic ao seguinte estabelece-se o Crit erio de Comparac ao para integrais impr oprios de 2
a
esp ecie, impr oprios no limite superior de integrac ao. A sua demonstrac ao e deixada como exerccio.
Proposic ao 1.49. Sejam f e g duas func oes denidas no intervalo [a, b[, integr aveis em [a, t], para todo
o t [a, b[ e que vericam a condic ao
0 f (x) g(x) ,
para todo o x [a, b[.
_
b
a
_
b
a
f (x)dx
e convergente;
47
a
esp ecie
_
b
a
_
b
a
g(x)dx e
divergente.
Exemplo 1.50.
_
1
0
e
x
1x
dx
Para todo o x [0, 1[ temos
0
x
1x
e
x
1x
. (1.30)
A func ao g : [0, 1[ R denida por g(x) =
x
1x
e integr avel em [0, t], para todo o t [0, 1[.
Uma vez que
lim
t1
_
t
0
x
1x
dx = lim
t1
_
t
0
_
1+
1
1x
_
dx
= lim
t1
_
x ln(1x)]
t
0
_
= lim
t1
(t ln(1t))
= +,
a
esp ecie
_
1
0
x
1x
dx e divergente.
impr oprio dado e divergente.
impr oprios de 2
a
esp ecie habitualmente designado Crit erio de Comparac ao por Passagem ao Limite
ou simplesmente Crit erio do Limite. O enunciado que apresentamos refere-se a integrais impr oprios de
2
a
esp ecie, impr oprios no limite inferior de integrac ao.
Proposic ao 1.51. Sejam f e g duas func oes denidas em ]a, b] e integr aveis em [t, b], para todo o t ]a, b].
Admitamos que, para todo o x ]a, b],
f (x) 0 e g(x) > 0 .
Seja
L := lim
xa
+
f (x)
g(x)
.
_
b
a
f (x)dx e
_
b
a
g(x)dx
48
a
esp ecie
_
b
a
_
b
a
f (x)dx e
convergente.
_
b
a
_
b
a
f (x)dx
e divergente.
Demonstrac ao: Observemos em primeiro lugar que se L existir, temos L R
+
0
ou L = +.
(i) Admitamos que L e nito e n ao nulo. Ent ao temos L > 0.
Uma vez que
L = lim
xa
+
f (x)
g(x)
temos que, para todo o > 0, existe > 0 tal que, para todo o x ]a, b], se x ]a, a+[, ent ao
f (x)
g(x)
L
< +L <
f (x)
g(x)
< +L .
Podemos ent ao armar que, para todo o > 0, existe > 0 e existe x
0
]a, b] tal que, se x ]a, x
0
],
ent ao
+L <
f (x)
g(x)
< +L .
Tome-se = L/2 > 0.
Ent ao existe > 0 e existe x
0
]a, b] tal que, se x ]a, x
0
], ent ao
L
2
<
f (x)
g(x)
<
3
2
L .
Uma vez que, por hip otese g(x) > 0, para todo o x ]a, b], temos, para todo o x ]a, x
0
],
0 <
L
2
g(x) < f (x) <
3
2
Lg(x) . (1.31)
De (1.31) resultam as desigualdades
0 < f (x) <
3
2
Lg(x) . (1.32)
e
0 <
L
2
g(x) < f (x) . (1.33)
_
b
a
g(x)dx
e convergente.
49
a
esp ecie
_
x
0
a
g(x)dx e tamb emconvergente e, pela Proposic ao 1.36,
_
x
0
a
3
2
Lg(x)dx e tamb em convergente.
Atendendo ` a desigualdade 1.32 e ao Crit erio de Comparac ao conclumos ent ao que o integral
impr oprio
_
x
0
a
f (x)dx e convergente. Utilizando uma vez mais a Proposic ao 1.37 podemos con-
cluir que o integral impr oprio
_
b
a
f (x)dx
_
b
a
g(x)dx
e divergente.
_
x
0
a
g(x)dx e tamb em divergente e, pela Proposic ao 1.36
_
x
0
a
L
2
g(x)dx e tamb em divergente.
Atendendo ` a desigualdade 1.33 e ao Crit erio de Comparac ao conclumos ent ao que o integral
impr oprio
_
x
0
a
f (x)dx e tamb em divergente. Utilizando uma vez mais a Proposic ao 1.37 con-
clumos ent ao que o integral impr oprio
_
b
a
f (x)dx
e tamb em divergente.
Est a ent ao provado que se L e nito e n ao nulo, ent ao os integrais impr oprios
_
b
a
f (x)dx e
_
b
a
g(x)dx
(ii) Admitamos que se tem L = 0 e que o integral impr oprio
_
b
a
g(x)dx
e convergente.
Uma vez que
L = lim
xa
+
f (x)
g(x)
temos que, para todo o > 0, existe > 0 tal que, para todo o x ]a, b], se x ]a, a+[, ent ao
f (x)
g(x)
< <
f (x)
g(x)
< .
50
a
esp ecie
0
]a, b] tal que, para todo o x ]a, x
0
],
<
f (x)
g(x)
< .
Tome-se = 1 > 0.
Ent ao existe x
0
0
],
1 <
f (x)
g(x)
< 1 .
Atendendo a que, por hip otese, g(x) > 0 e f (x) 0 temos, para todo o x ]a, x
0
],
0 f (x) < g(x) . (1.34)
_
b
a
g(x)dx
e convergente.
_
x
0
a
g(x)dx e tamb em convergente e, atendendo ` a desi-
_
x
0
a
f (x)dx
e convergente. Utilizando uma vez mais a Proposic ao 1.37 podemos concluir que o integral
impr oprio
_
b
a
f (x)dx
e tamb em convergente, como pretendamos.
(iii) Admitamos que L = + e que o integral impr oprio
_
b
a
g(x)dx
e divergente.
Uma vez que
L = lim
xa
+
f (x)
g(x)
temos que, para todo o M > 0, existe > 0 tal que, para todo o x ]a, b], se x ]a, a+[, ent ao
f (x)
g(x)
> M .
Podemos ent ao armar que, para todo o M > 0, existe x
0
0
],
f (x)
g(x)
> M .
51
a
esp ecie
Tome-se M = 1 > 0.
Ent ao existe x
0
0
],
f (x)
g(x)
> 1 .
Atendendo a que, por hip otese, para todo o x ]a, b] se tem, g(x) > 0 e f (x) 0 temos, para todo
o x ]a, x
0
],
0 < g(x) < f (x) . (1.35)
_
x
0
a
g(x)dx
e divergente.
_
x
0
a
g(x)dx e tamb em divergente e, atendendo ` a desi-
_
x
0
a
f (x)dx
e divergente. Utilizando uma vez mais a Proposic ao 1.37 podemos concluir que o integral impr oprio
_
b
a
f (x)dx
e tamb em divergente, como pretendamos.
Exemplo 1.52. 1. Consideremos o integral impr oprio de 2
a
esp ecie
_
2
1
x
x
3
1
dx .
Uma vez que, para todo o x ]1, 2] temos
x
x
3
1
=
x
(x 1)(x
2
+x +1)
0
podemos estudar a natureza deste integral impr oprio utilizando o Crit erio de Comparac ao por
_
2
1
1
x 1
dx .
Temos, para todo o x ]1, 2],
1
x 1
> 0 .
52
a
esp ecie
Uma vez que
lim
t1
+
_
2
t
1
x 1
dx = lim
t1
+
_
ln(x 1)]
2
t
_
= lim
t1
+
(ln(t 1))
= +,
conclumos, pela Denic ao 1.28, que o integral impr oprio
_
2
1
1
x 1
dx e divergente.
Atendendo a que
lim
x1
+
x
x
3
1
1
x 1
= lim
x1
+
x(x 1)
x
3
1
= lim
x1
+
x
x
2
+x +1
=
1
3
,
o Crit erio de Comparac ao por Passagem ao Limite permite concluir que os integrais impr oprios
_
2
1
x
x
3
1
dx e
_
2
1
1
x 1
dx
Consequentemente o integral impr oprio dado e divergente.
2. Consideremos o integral impr oprio de 2
a
esp ecie
_
1
0
e
1/x
x
2
dx .
Uma vez que, para todo o x ]0, 1] temos
e
1/x
x
2
0
_
1
0
1
x
2
dx .
Uma vez que, para todo o x ]0, 1],
1
x
2
> 0
53
a
esp ecie
e
lim
t0
+
_
1
t
1
x
2
dx = lim
t0
+
_
1
x
_
1
t
_
= lim
t0
+
_
1+
1
t
_
= +
podemos concluir, pela Denic ao 1.28, que o integral impr oprio
_
1
0
1
x
2
dx e divergente.
Dado que
L = lim
x0
+
e
1/x
x
2
1
x
2
= lim
x0
+
e
1/x
= +
_
1
0
1
x
2
dx e divergente, o Crit erio de Comparac ao por Passagem ao Limite
permite concluir que o integral impr oprio
_
1
0
e
1/x
x
2
dx e divergente.
a
esp ecie
_
0
1
1
1x
2
dx .
Uma vez que, para todo o x ] 1, 0], se tem
1
1x
2
0
_
0
1
1
1x
2
dx .
Uma vez que, para todo o x ] 1, 0],
1
1x
2
> 0
e
lim
t1
+
_
0
t
1
1x
2
dx = lim
t1
+
_
arcsenx]
0
t
_
= lim
t1
+
(arcsent)
=

2
54
a
esp ecie
_
0
1
1
1x
2
dx e convergente.
Dado que
L = lim
x1
+
1
1x
2
1
1x
2
= lim
x1
+
(1
x)
= 0
_
0
1
1
1x
2
dx e convergente, o Crit erio de Comparac ao por Passagem ao
Limite permite concluir que o integral impr oprio
_
0
1
1
1x
2
dx e convergente.
Apresentamos a seguir o enunciado do Crit erio de Comparac ao por Passagem ao Limite para inte-
grais de 2
a
esp ecie, impr oprios no limite superior de integrac ao. A sua demonstrac ao e deixada como
exerccio.
Proposic ao 1.53. Sejam f e g duas func oes denidas em [a, b[ e integr aveis em [a, t], para todo o t
[a, b[. Admitamos que, para todo o x [a, b[,
f (x) 0 e g(x) > 0 .
Seja
L := lim
xb
f (x)
g(x)
.
_
b
a
f (x)dx e
_
b
a
g(x)dx
_
b
a
_
b
a
f (x)dx e
convergente.
_
b
a
_
b
a
f (x)dx
e divergente.
Exemplo 1.54. 1. Consideremos o integral impr oprio de 2
a
esp ecie
_
0
1
cosx
x
2
dx .
55
a
esp ecie
Uma vez que, para todo o x [1, 0[,
cosx
x
2
0
_
0
1
1
x
2
dx .
Dado que, para todo o x [1, 0[,
1
x
2
> 0
e
lim
t0
_
t
1
1
x
2
dx = lim
t0
1
x
_
t
1
_
= lim
t0
_
1
1
t
_
= +
_
0
1
1
x
2
dx e divergente.
Como
L = lim
x0
cosx
x
2
1
x
2
= lim
x0
cosx
= 1
e nito e n ao nulo e o integral impr oprio
_
0
1
1
x
2
dx e divergente, o Crit erio de Comparac ao por
Passagem ao Limite permite concluir que o integral impr oprio
_
0
1
cosx
x
2
dx e divergente.
a
esp ecie
_
1
0
1x
3
1x
2
dx .
1x
3
1x
2
0
vamos estudar a natureza deste integral impr oprio utilizando o Crit erio de Comparac ao por Passa-
gem ao Limite tomando como refer encia o integral impr oprio
_
1
0
1
1x
2
dx .
56
a
esp ecie
1
1x
2
> 0
e
lim
t1
_
t
0
1
1x
2
dx = lim
t1
_
arcsenx]
t
0
_
= lim
t1
(arcsent)
=

2
_
1
0
1
1x
2
dx e convergente.
Como
L = lim
x1
1x
3
1x
2
1
1x
2
= lim
x1
(1x
3
)
= 0
_
1
0
1
1x
2
dx e convergente, o Crit erio de Comparac ao por Passagem ao
Limite permite concluir que o integral impr oprio
_
1
0
1x
3
1x
2
dx e convergente.
Converg encia absoluta Tal como para os integrais impr oprios de 1
a
esp ecie vamos apresentar a denic ao
de converg encia absoluta para integrais impr oprios de 2
a
esp ecie impr oprios no limite superior de integrac ao
e para integrais impr oprios de 2
a
esp ecie impr oprios no limite inferior de integrac ao. Tamb em nestes ca-
sos podemos demonstrar que a converg encia absoluta e condic ao suciente para a converg encia.
Denic ao 1.55. Seja f uma func ao denida em [a, b[ e integr avel em [a, t], para todo o t [a, b[.
_
b
a
f (x)dx
_
b
a
| f (x)| dx
tamb em e convergente.
Exemplo 1.56. Consideremos o integral impr oprio
_
0
1
senx
3
x
2
dx .
Para todo o x [1, 0[ temos
0
senx
3
x
2
=
| senx|
3
x
2
.
57
a
esp ecie
Atendendo a que 0 | senx| 1 temos, para todo o x [1, 0[,
0
senx
3
x
2
1
3
x
2
. (1.36)
_
0
1
1
3
x
2
dx
e convergente e tendo em considerac ao a desigualdade (1.36), o Crit erio de Comparac ao permite concluir
_
0
1
senx
3
x
2
dx
e convergente.
Consequentemente o integral impr oprio dado e absolutamente convergente.
A proposic ao seguinte estabelece que, para integrais impr oprios de 2
a
esp ecie, impr oprios no limite
superior de integrac ao, a converg encia absoluta e uma condic ao suciente para que o integral impr oprio
seja convergente.
A sua demonstrac ao e an aloga ` a demonstrac ao da Proposic ao 1.24 e e deixada como exerccio.
Proposic ao 1.57. Seja f uma func ao denida em [a, b[ e integr avel em [a, t], para todo o t [a, b[.
_
b
a
f (x)dx
Exemplo 1.58. O integral impr oprio
_
0
1
senx
3
x
2
dx
e convergente pois, como vimos no Exemplo 1.56, e absolutamente convergente.
Para integrais impr oprios de 2
a
esp ecie, impr oprios no limite inferior de integrac ao, podemos tamb em
denir converg encia absoluta e estabelecer que a converg encia absoluta e uma condic ao suciente para
a converg encia do integral. A demonstrac ao desse resultado e deixada como exerccio.
Denic ao 1.59. Seja f uma func ao denida em ]a, b] e integr avel em [t, b], para todo o t ]a, b].
_
b
a
f (x)dx
_
b
a
| f (x)| dx
e convergente.
58
Integrais impr oprios 1.3. Integrais impr oprios mistos ou de 3
a
esp ecie
Proposic ao 1.60. Seja f uma func ao denida em ]a, b] e integr avel em [t, b], para todo o t ]a, b].
_
b
a
f (x)dx
Exerccios 1.2. 1. Calcule, caso sejam convergentes, os seguintes integrais impr oprios:
(a)
_
0
1
x
1x
2
dx;
(b)
_

2
cotgxdx;
(c)
_
3
1
1
9x
2
dx;
(d)
_
1
0
lnxdx;
(e)
_
1
2
1
|x|
dx;
(f)
_
2
0
cosx
1senx
dx;
(g)
_
2
2
1
4x
2
dx;
(h)
_

2
0
1
_
1
x
2
2
dx.
2. Estude a natureza dos integrais impr oprios seguintes:
(a)
_
0
/2
cosx
x
2
dx.
(b)
_
2
1
1
x
2
1
dx.
(c)
_
1
0
5
x +1
1
3
x
dx.
(d)
_
2
0
senx
5
x
dx.
(e)
_
0
1
x
1x
4
dx.
1.3 Integrais impr oprios mistos ou de 3
a
esp ecie
Vamos agora considerar o caso em que o intervalo de integrac ao e ilimitado e a func ao integranda n ao
est a denida em pelo menos um ponto desse intervalo ou e ilimitada em pelo menos um ponto desse
intervalo.
Obtemos ent ao os integrais impr oprios mistos ou de 3
a
esp ecie.
59
a
esp ecie
Como veremos, o estudo da natureza dos integrais impr oprios de 3
a
esp ecie reduz-se ao estudo da
natureza de integrais impr oprios de 1
a
esp ecie e de integrais impr oprios de 2
a
esp ecie.

E evidente que
para o estudo da natureza de cada um destes integrais podemos utilizar os crit erios apresentados nos
par agrafos anteriores.
Vamos em primeiro lugar considerar o caso em que o intervalo de integrac ao e ilimitado e a func ao
integranda n ao est a denida ou e ilimitada no extremo nito do intervalo de integrac ao. Os casos em que
o intervalo de integrac ao e ilimitado e a func ao integranda n ao est a denida em pelo menos um ponto
do interior do intervalo de integrac ao ou e ilimitada em pelo menos um ponto do interior do intervalo de
integrac ao, reduzem-se aos casos anteriores dividindo o intervalo de integrac ao em subintervalos.
Denic ao 1.61. Seja f uma func ao denida em] , a[, integr avel em[t, t
], quaisquer que sejamt, t
R
tais que t <t
< a.
Dizemos que f e integr avel emsentido impr oprio no intervalo ] , a[ ou que o integral impr oprio
_
a
f (x)dx (1.37)
e convergente se, para algum c ] , a[, os integrais impr oprios
_
c
f (x)dx (integral impr oprio de 1

a
esp ecie, impr oprio no limite inferior de integrac ao)
_
a
c
a
esp ecie, impr oprio no limite superior de integrac ao)
_
a
f (x)dx =
_
c
f (x)dx +
_
a
c
f (x)dx
_
a
f (x)dx.
Se para algum c ] , a[, um dos integrais impr oprios
_
c
f (x)dx ou
_
a
c
f (x)dx
Observac ao 1.62. Observemos que as Proposic oes 1.9 e 1.38 d ao coer encia ` a Denic ao 1.61 uma vez
que garantem que a natureza do integral impr oprio (1.37) n ao depende do ponto c escolhido para estudar
a natureza dos integrais impr oprios
_
c
f (x)dx e
_
a
c
f (x)dx.
Exemplo 1.63. Seja um n umero real n ao nulo.
Consideremos a func ao f : ] , 1[ R que a cada x ] , 1[ faz corresponder f (x) =
1
(1x)
.
Observe-se que f e integr avel em [t, t
] , 1[ tais que t <t
.
Vamos estudar, em func ao de , a natureza do integral impr oprio de 3
a
esp ecie
_
1
1
(1x)
dx
60
a
esp ecie
Para o efeito podemos considerar os integrais impr oprios
_
0
1
(1x)
dx (integral impr oprio de 1

a
e
_
1
0
1
(1x)

a
De acordo com a denic ao 1.61, se ambos forem convergentes, ent ao o integral impr oprio dado e
convergente; se pelo menos um deles for divergente, ent ao o integral impr oprio dado e divergente.
Seja = 1. Uma vez que
lim
t
_
0
t
1
1x
dx = lim
t
_
ln|1x|]
0
t
_
= lim
t
_
ln(1x)]
0
t
_
= lim
t
ln(1t)
= +
temos, pela Denic ao 1.3, que o integral impr oprio
_
0
1
1x
dx e divergente.
Utilizando a Denic ao 1.61 podemos ent ao concluir que, se = 1, o integral impr oprio dado e
divergente.
Suponhamos agora que = 1.
Uma vez que
lim
t
_
0
t
1
(1x)
dx = lim
t
_
(1x)
+1
+1
_
0
t
_
= lim
t
_
1
1
+
(1t)
+1
+1
_
=
_
_
+ se ] , 0[]0, 1[
1
1
se > 1
conclumos, utilizando a Denic ao 1.3, que o integral impr oprio
_
0
1
(1x)
dx e divergente se
] , 0[]0, 1[ e e convergente se > 1.
A Denic ao 1.61 permite concluir que se ] , 0[]0, 1[ o integral impr oprio dado e divergente.
Para estabelecer a natureza do integral impr oprio dado no caso em que > 1 vamos estudar a natu-
reza do integral impr oprio
_
1
0
1
(1x)
dx.
61
a
esp ecie
Atendendo a que
lim
t1
_
t
0
1
(1x)
dx = lim
t1
(1x)
+1
+1
_
t
0
_
= lim
t1
_
(1t)
+1
1
+
1
+1
_
= +
temos, pela Denic ao 1.32 que, se > 1, o integral impr oprio
_
1
0
1
(1x)
dx e divergente.
A Denic ao 1.61 permite ent ao concluir que se > 1 o integral impr oprio dado e divergente.
Acab amos de provar que o integral impr oprio
_
0
1
(x 1)
dx e divergente, para todo o R\{0}.

As Proposic oes 1.8 e 1.37 d ao coer encia ` a denic ao que apresentamos a seguir.
Denic ao 1.64. Seja f uma func ao denida em ]a, +[, integr avel em [t, t
], quaisquer que sejamt, t
R
tais que a <t <t
.
Dizemos que f e integr avel emsentido impr oprio no intervalo ]a, +[ ou que o integral impr oprio
_
+
a
f (x)dx (1.38)
e convergente se, para algum c ]a, +[, os integrais impr oprios
_
c
a
a
_
+
c
a
_
+
a
f (x)dx =
_
c
a
f (x)dx +
_
+
c
f (x)dx
_
+
a
f (x)dx.
Se para algum c ]a, +[, um dos integrais impr oprios
_
c
a
f (x)dx ou
_
+
c
f (x)dx
Exemplo 1.65. Consideremos a func ao f : ]0, +[ R que a cada x ]0, +[ faz corresponder
f (x) =
lnx
x
. Observe-se que f e integr avel em [t, t
]0, +[ tais que t <t
.
62
a
esp ecie
a
esp ecie
_
+
0
lnx
x
dx
Podemos ent ao estudar os integrais impr oprios
_
1
0
lnx
x
a
e
_
+
1
lnx
x
a
De acordo com a Denic ao 1.64, se ambos forem convergentes, ent ao o integral impr oprio dado e
convergente; se pelo menos um deles for divergente, ent ao o integral impr oprio dado e divergente.
Uma vez que
lim
t0
+
_
1
t
lnx
x
dx = lim
t0
+
_
ln
2
x
2
_
1
t
_
= lim
t0
+
_
ln
2
t
2
_
= +
_
1
0
lnx
x
dx e divergente.
A Denic ao 1.64 permite concluir que o integral impr oprio dado e divergente.
Denic ao 1.66. Seja f uma func ao denida em ] , a], excepto possivelmente num ponto c ] , a[,
integr avel em [t, t
R tais que t <t
< c e integr avel em [t
, a], para todo o t
]c, a[.
Dizemos que f e integr avel emsentido impr oprio no intervalo ] , a[ ou que o integral impr oprio
_
a
f (x)dx (1.39)
e convergente se para algum c
] , c[ os integrais impr oprios

_
c

a
_
c
c

a
_
a
c
a
s ao todos convergentes.
_
a
f (x)dx =
_
c
f (x)dx +
_
c
c
f (x)dx +
_
a
c
f (x)dx
63
a
esp ecie
_
a
f (x)dx.
Se para algum c
] , c[, um dos integrais impr oprios

_
c
f (x)dx ou
_
c
c
f (x)dx ou
_
a
c
f (x)dx
Observac ao 1.67. As Proposic oes 1.9 e 1.38 d ao coer encia ` a Denic ao 1.66 uma vez que garantem que
a natureza do integral impr oprio (1.39) n ao depende do ponto c
escolhido para estudar a natureza dos

integrais impr oprios
_
c
f (x)dx e
_
c
c
f (x)dx.
Exemplo 1.68. Seja um n umero real positivo.
Consideremos a func ao f : ] , 1[]1, 2] R que a cada x ] , 1[]1, 2] faz correspon-
der f (x) =
1
|x 1|
. Note-se que f e integr avel em [t, t
R tais que t < t
< 1 e
integr avel em [t
, 2], para todo o t
]1, 2[.
Vamos estudar, em func ao de R
+
, a natureza do integral impr oprio de 3
a
esp ecie
_
2
1
|1x|
dx
_
0
1
|1x|

a
_
1
0
1
|1x|

a
e
_
2
1
1
|1x|

a
De acordo com a denic ao 1.66, se estes tr es integrais impr oprios forem convergentes, ent ao o in-
tegral impr oprio dado e convergente; se pelo menos um deles for divergente, ent ao o integral impr oprio
dado e divergente.
Suponhamos que = 1.
_
0
1
|1x|
dx.
Uma vez que
lim
t
_
0
t
1
|1x|
dx = lim
t
_
0
t
1
1x
dx
= lim
t
_
ln(1x)]
0
t
_
= lim
t
ln(1t)
= +
64
a
esp ecie
a Denic ao 1.3 permite concluir que o integral impr oprio
_
0
1
|1x|
dx e divergente.
Pela Denic ao 1.66 temos que, se = 1, ent ao o integral impr oprio dado e divergente.
Suponhamos que se tem = 1.
Estudemos em primeiro lugar o integral impr oprio
_
0
1
|1x|
dx. Uma vez que

lim
t
_
0
t
1
|1x|
dx = lim
t
_
0
t
1
(1x)
dx
= lim
t
_
(1x)
+1
+1
_
0
t
_
= lim
t
_
1
+1
+
(1t)
+1
+1
_
=
_
_
+ se ]0, 1[
1
+1
se > 1
_
0
1
|1x|
dx e divergente se ]0, 1[ e e
convergente se > 1.
A Denic ao 1.66 permite concluir que se ]0, 1[ o integral impr oprio dado e divergente.
Uma vez que para > 1 o integral impr oprio
_
0
1
|1x|
dx e convergente, nada podemos concluir

sobre a natureza do integral impr oprio dado.
Vamos ent ao estudar, para > 1, a natureza do integral impr oprio
_
1
0
1
|1x|
dx.
Atendendo a que, para > 1,
lim
t1
_
t
0
1
|1x|
dx = lim
t1
_
t
0
1
(1x)
dx
= lim
t1
(1x)
+1
+1
_
t
0
_
= lim
t1
(1t)
+1
+1
+
1
+1
_
=
_
1
0
1
|1x|
dx e divergente.
A Denic ao 1.66 permite concluir que, se > 1, o integral impr oprio dado e divergente.
As Proposic oes 1.8 e 1.37 d ao coer encia ` a denic ao que apresentamos a seguir.
Denic ao 1.69. Seja f uma func ao denida em [a, +[, excepto possivelmente num ponto c ]a, +[,
integr avel em [t, t
R tais que c <t <t
e integr avel em [a, t
], para todo o t
]a, c[.
Dizemos que f e integr avel emsentido impr oprio no intervalo [a, +[ ou que o integral impr oprio
_
+
a
f (x)dx (1.40)
65
a
esp ecie
e convergente se para algum c
]c, +[ os integrais impr oprios

_
c
a
a
_
c
c
a
_
+
c

a
s ao todos convergentes.
_
+
a
f (x)dx =
_
c
a
f (x)dx +
_
c
c
f (x)dx +
_
+
c
f (x)dx
_
+
a
f (x)dx.
Se para algum c
]c, +[, um dos integrais impr oprios

_
c
a
f (x)dx ou
_
c
c
f (x)dx ou
_
+
c
f (x)dx
Exemplo 1.70. Consideremos a func ao f : [0, 2[[2, +[ R que a cada x [0, 2[[2, +[ faz
corresponder f (x) =
cos
2
x
(x 2)
2
integr avel em [0, t
], para todo o t
]0, 2[ e integr avel em [t, t
], para todos
os t, t
R tais que 2 <t <t
.
a
esp ecie
_
+
0
cos
2
x
(x 2)
2
dx
_
2
0
cos
2
x
(x 2)
2
a
_
3
2
cos
2
x
(x 2)
2
a
e
_
+
3
cos
2
x
(x 2)
2
a
De acordo com a denic ao 1.69, se estes tr es integrais impr oprios forem convergentes, ent ao o in-
tegral impr oprio dado e convergente; se pelo menos um deles for divergente, ent ao o integral impr oprio
dado e divergente.
66
a
esp ecie
Vamos estudar, em primeiro lugar, a natureza do integral impr oprio
_
2
0
cos
2
x
(x 2)
2
dx.
cos
2
x
(x 2)
2
0 e
1
(x 2)
2
> 0 e
lim
x2
cos
2
x
(x 2)
2
1
(x 2)
2
= lim
x2
cos
2
x
= cos
2
2
o Crit erio de Comparac ao por Passagem ao Limite permite concluir que os integrais impr oprios
_
2
0
cos
2
x
(x 2)
2
dx e
_
2
0
1
(x 2)
2
dx
t em a mesma natureza. Uma vez que o integral impr oprio
_
2
0
1
(x 2)
2
dx e divergente, conclumos que
_
2
0
cos
2
x
(x 2)
2
dx e tamb em divergente.
A Denic ao 1.69 permite ent ao concluir que o integral impr oprio dado e divergente.
Exerccios 1.3. 1. Mostre que o integral impr oprio
_
1
0
1
xln
2
x
dx
diverge.
2. Calcule, caso sejam convergentes, os seguintes integrais impr oprios:
(a)
_
+
0
e
x
dx;
(b)
_
+
1
x
3
dx;
(c)
_
+
1
dx
x
x
2
1
.
3. Estude a natureza dos seguintes integrais impr oprios:
(a)
_
+
1
cos(3x)
x
3
dx;
(b)
_
1
0
1
ln(1+
x)
dx;
(c)
_
1
0
1
1x
4
dx;
(d)
_
+
0
e
x
cos
xdx;
(e)
_
+
0
1
3
x
4
+3x +2
dx;
(f)
_
+
1
lnx
xln(x +1)
dx;
67
a
esp ecie
(g)
_
+
1
arcsen
1
x
dx;
(h)
_
+
1
x
2
+1
x
3
+2x +1
dx;
(i)
_
1
0
senx
1x
dx;
(j)
_
1
0
e
x
x
dx;
(k)
_
2
0
senx
x
3
dx;
(l)
_
1
0
1
5
x
sen
_
1
x
_
dx.
4. Estude, em func ao de k R, a natureza do seguinte integral impr oprio
_
+
2
1
x
k
lnx
dx
5. Seja f uma func ao real contnua em [0, t], para todo o t > 0, e suponha que existem constantes
M > 0 e > 0 tais que, para todo t 0 se tem | f (t)| Me
t
. Prove que o integral impr oprio
_
+
0
e
st
f (t)dt
e convergente para s > .
68
Integrais impr oprios 1.4. Soluc oes dos exerccios propostos
1.4 Soluc oes dos exerccios propostos
Exerccios 1.1
1. (a) 2e
2
;
(b) Divergente;
(c)

2a
;
(d)
1
s
2
;
(e)
1
2
;
(f) Divergente;
(g) ln5;
(h)
1
2
;
(i) 2;
2.
3. (a) Convergente.
(b) Divergente.
(c) Divergente.
(d) Divergente.
(e) Convergente.
Exerccios 1.2
1. (a) 1;
(b) Divergente;
(c) Divergente;
(d) 1;
(e) Divergente;
(f) Divergente;
(g) ;
(h)
2
2
.
2. (a) Divergente.
(b) Divergente.
(c) Convergente.
(d) Convergente.
(e) Divergente.
69
Integrais impr oprios 1.4. Soluc oes dos exerccios propostos
Exerccios 1.3
1.
2. (a) 2;
(b) Diverge;
(c)

2
.
3. (a) Convergente;
(b) Convergente;
(c) Convergente;
(d) Convergente;
(e) Convergente;
(f) Divergente;
(g) Divergente;
(h) Divergente;
(i) Convergente;
(j) Divergente;
(k) Divergente;
(l) Convergente.
4. Se k > 1 converge, se k 1 diverge.
5.
70

Integrais Impróprios 1 PG Folha

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Integrais Impróprios 1 PG Folha

Enviado por

Direitos autorais:

Formatos disponíveis

C alculo I

C alculo com func oes de uma vari avel

> a. Ent ao os integrais impr oprios

f (x)dx t em a mesma natureza.

< a tal f e integr avel em [a

, t], para todo o t a

f (x)dx t em a mesma natureza.

f (x)dx n ao se altera se o limite superior

f (x)dx t em a mesma natureza.

>a tal f e integr avel em [t, a

, os integrais impr oprios

f (x)dx t em a mesma natureza.

xdx e divergente conclumos, pela Denic ao 1.10, que o

E obvio que se os limites

E obvio que se o integral impr oprio

f (x)dx e convergente, o seu Valor Principal de Cauchy

g(x)dx e convergente, ent ao tamb em o integral impr oprio

f (x)dx e divergente, ent ao tamb em o integral impr oprio

g(x)dx e convergente, ent ao o integral impr oprio

g(x)dx e divergente, ent ao o integral impr oprio

e uma func ao integr avel em [t, 1], para todo o 0 <t 1.

e uma func ao integr avel em [0, t], para todo o 0 t < 2.

f (x)dx t em a mesma natureza.

], quaisquer que sejam t, t

tais que 1 <t <t

tais que 0 <t <t

E obvio que se o integral impr oprio

<1 e e uma func ao integr avel em [t, 2] para todo o 1 <t 2.

< 0 e e uma func ao integr avel em [t, 1] para todo o 0 <t 1.

E obvio que se o integral impr oprio

], quaisquer que sejamt, t

f (x)dx (integral impr oprio de 1

] , 1[ tais que t <t

dx (integral impr oprio de 1

dx (integral impr oprio de 2

dx e divergente, para todo o R\{0}.

], quaisquer que sejamt, t

]0, +[ tais que t <t

R tais que t <t

< c e integr avel em [t

, a], para todo o t

] , c[ os integrais impr oprios

f (x)dx (integral impr oprio de 1

f (x)dx (integral impr oprio de 2

] , c[, um dos integrais impr oprios

escolhido para estudar a natureza dos

. Note-se que f e integr avel em [t, t

R tais que t < t

, 2], para todo o t

dx (integral impr oprio de 1

dx (integral impr oprio de 2

dx (integral impr oprio de 2

dx. Uma vez que

dx e convergente, nada podemos concluir

R tais que c <t <t

e integr avel em [a, t

]c, +[ os integrais impr oprios

f (x)dx (integral impr oprio de 1

]c, +[, um dos integrais impr oprios

]0, 2[ e integr avel em [t, t

R tais que 2 <t <t

Você também pode gostar