Integrao

Lcio Fassarella
June 4, 2011
Abstract
Notas de aula sobre a teoria da integrao de funes reais.
Contents
1 Introduo 2
2 Funo Primitiva e Integral Indenida 4
2.1 Integrais das Funes Bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2 Propriedades Algbricas da Integral . . . . . . . . . . . . . . . . . . . . . . . 6
3 rea e Integral Denida 8
3.1 Integral como Mdia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.1.1 Propriedades adicionais da integral denida . . . . . . . . . . . . . . . 10
3.2 Integrabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.3 Teorema Fundamental do Clculo . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.4 Continuidade e Integrao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.4.1 Argumento Intuitivo para o Teorema Fundamental do Clculo . . . . 15
4 Integrais Imprprias 18
5 Aplicaes 20
5.1 Equaes Diferenciais e Problemas de Valor Inicial . . . . . . . . . . . . . . . 20
5.2 Valor Mdio de Funo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
5.3 Comprimento de arco de curva . . . . . . . . . . . . . . . . . . . . . . . . . . 22
5.4 Volume e area de superfcies . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
5.5 Massa, Centro de Massa e Momento de Inrcia . . . . . . . . . . . . . . . . . 22
6 Tcnicas de Integrao 23
6.1 Integrais de Funes Racionais . . . . . . . . . . . . . . . . . . . . . . . . . . 23
6.2 Integrais por Substituio Trigonomtrica . . . . . . . . . . . . . . . . . . . . 25
6.3 Integrais de Funes Trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . 26
6.3.1 Integrais de Funes Racionais em Seno e Coseno . . . . . . . . . . . . 26
7 Problemas 29
7.1 Aplicaes em Fsica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
7.2 Anlise Matemtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
7.3 Problemas resolvidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
A Funes integrais importantes 36
B Derivada Fracionria 37
C Polarizao do Vcuo 38
1
1 Introduo
Histria
A integral um dos pilares do Clculo, ao lado do conceito de derivada. As noes
subjacentes idia de integral remontam Antiguidade, mas o conceito foi denido somente
na Era Moderna como consequncia da contribuio de muitos matemticos. Newton (1643
1727) e Leibniz (16461716) deniram original e independentemente o conceito de integral,
mas foi Riemann (18261866)
1
que formulou a denio atual, nos padres da Anlise
contempornea. Depois dele, a teoria da integrao foi desenvolvida por Lebesgue (1875-
1941), que unicou as noes de contagem e medida, e aplicada por Kolmogorov (1903-1987)
como fundamento da teoria axiomtica da probabilidade.
Essencialmente, a denio de integral inspirada no clculo de rea de guras planas:
a integral de uma funo dene a rea (algbrica) da regio plana entre o grco da funo
e o eixo de sua varivel.
2
Historicamente, o conceito de integral foi precedido pelo mtodo
de exausto, que um mtodo de clculo de reas de guras planas baseada na idia de
um limite de aproximaes por reas de polgonos regulares; esse mtodo foi descoberto e
utilizado j na Antiguidade, tendo sido proposto originalmente por Antfon (480 a.C 411
a.C), desenvolvido por Eudoxo (410 ou 408 a.C 355 ou 347 a.C) e aplicado procuamente
por Arquimedes (287 a.C. c. 212 a.C). A seguinte frmula para a integral de uma funo
traduz em termos modernos a essncia do mtodo de exausto:
_
b
o
) (r) dr = (/ a)
1

n=1
2
n
1

n=1
(1)
n+1
1
2
n
)
_
a + :
/ a
2
n
_
Teorema Fundamental do Clculo
O Teorema Fundamental do Clculo (TFC) relaciona numa nica frmula os conceitos
de derivada e integral um fato surpreendente porque esses conceitos so denidos inde-
pendentemente e tm signicados bastante distintos: para uma funo ) : (a, /) R com
derivada contnua, o TFC consiste da seguinte identidade
_
b
o
)
0
(r) dr = ) (/) ) (a)
O Teorema Fundamental do Clculo, o clculo de integrais de funes contnuas re-
duzido obteno de primitivas (anti-derivadas), objeto das tcnicas de integrao o que
constitui um preliminar essencial para as tcnicas de resoluo de equaes diferenciais. Em
resumo, o TFC fundamental por duas razes principais:
i) Reduz o clculo de integrais ao clculo de primitivas ou anti-derivadas;
ii) Fundamenta outros conceitos matemticos, alm de estar na base de muitas aplicaes
do Clculo nas cincias exatas (particularmente na Fsica).
oportuno salientar que o TFC revolucionou o clculo de rea de guras planas na
medida em que o padronizou e reduziu ao clculo de anti-derivadas; antes, o clculo de rea
de guras estava restrito a uma pequeno conjunto de guras, era trabalhoso e especco
3
.
1
Georg Friedrich Bernhard Rieman (17/11/182620/7/1866) foi um matemtico alemo que realizou
importantes contribuies para a matamtica, em diversas reas teoria dos nmeros, anlise real, anlise
complexa, geometria e geometria diferencial. oportuno destacar que suas descobertas na rea da geometria
diferencial formaram a base matemtica necessria para o desenvolvimento da Teoria da Relatividade Geral
por Albert Einstein.
2
Lembramos que a rea de guras planas denida como um limite de aproximaes dadas pelas somas
de reas de retngulos justapostos contidos ou contendo a gura.
3
Lembramos que os clculos de reas de guras planas realizados por Arquimedes (sculo III A.C.) eram
na verdade demonstraes por reduo ao absurdo beseadas no mtodo da exausto; seu raciocnio era
especco para cada caso, como podemos perceber na sua prova da frmula da rea da elipse, a qual no se
generaliza para outras guras planas porque depende de propriedades caractersticas dessa gura. Consulte
[1, p.40-42] para ver uma reproduo dos clculos de Arquimedes para obter a frmula da rea de uma elipse;
2
Aplicaes da Integral e das Tcnicas de Integrao
A teoria da integrao possui inumerveis aplicaes em muitas reas da matemtica
e das cincias exatas, principalmente na teoria das equaes diferenciais (e integrais), na
teoria estatstica e na teoria das probabilidades.
O conceito de integral nos permite denir noes importantes em diversas reas de
estudo, especialmente na Fsica; por exemplo, o trabalho mecnico realizado por uma fora

1 sobre uma partcula que se movimenta ao longo da trajetria dendo pela integral
(de caminho)
\ =
_
~

1 dr
Outros conceitos fsicos importantes denidos por uma integral so os uxo de campos
vetoriais, momentos de inrcia e momentos de rotao,...
Aplicaes elementares da integral so o clculo de reas e volumes e valores totais de
quantidades denidas por funes densidades.
Geralmente, regies limitadas por curvas (que no sejam segmentos de reta) no podem
ter sua rea calculada por mtodos puramente geomtricos exemplos simples so as elipses,
cuja frmula para rea facilmente obtidas mediante o uso de integrais:
rea da elipse com semi-eixos a e / = 2
/
a
_
:
:
_
a
2
r
2
dr = a/
Um exemplo de equao diferencial importante para a Fsica a Segunda Lei de Newton:
se uma partcula de massa : se movimenta sob ao de uma fora

1, ento sua posio
r (t) no instante t satisfaz a seguinte equao diferencial de segunda ordem:
:
d
2
r
dt
2
=

1
No caso de movimento unidimensional com fora constante 1 = a, duas integraes suces-
sivas determinam a funo posio (r
0
e
0
so a posio e velociade iniciais da partcula):
r (t) = r
0
+
0
t +
1
2:
at
2
consulte [3, pp.216-220].para uma reproduo realmente simples dos argumentos de Pascal na deduo da
frmula para a rea da superfcie de uma esfera e para conhecer os argumentos de Roberval na sua deduo
da rea de um arco de ciclide.
3
2 Funo Primitiva e Integral Indenida
Funo primitiva e anti-derivada designam a mesma coisa: uma terminologia til no con-
texto da teoria da integrao:
Denio 1 (Funo Primitiva) Seja ) : 1 R uma funo denida num intervalo
1 R.
Uma primitiva ou anti-derivada de ) uma funo 1 : 1 C contnua em 1 e derivvel
no interior de 1 tal que
1
0
(r) = ) (r) , \r 1
Quando existem, todas as primitivas de uma funo diferem entre si por constantes:
Lema 2 Seja ) : 1 R uma funo denida num intervalo 1 R.
Se 1 e G so primitivas de ), ento elas diferem por uma constante, i.e. existe c R
tal que
G = 1 + c
Prova. Esse fato decorre imediatamente do Teorema do Valor Mdio, pois este implica que
uma funo com derivada nula deve ser constante o que uma consequncia imediata das
hipteses:
(1 G)
0
= ) ) = 0
A Integral indenida de uma funo ) o conjunto de todas as primitivas de ). O
Teorema Fundamental do Clculo aliado ao fato de que as primitivas de uma funo diferem
por constantes nos motiva a seguinte notao para integral indenida: se 1 uma primitiva
de ), ento a integral indenida de ) denotada por
_
) (r) dr = 1 + c , c R
Em geral, interpretamos a integral indenida como uma anti-derivada:
_
) (r) dr = quais so as funes cuja derivada igual a )?
Observao 3 As denies de integral denida e integral indenida so bastante dis-
tintas, mas a notao bastante similar devido relao que o TFC estabelece entre elas.
Observe como funciona a notao de integral de uma funo integrvel ) :
[a, /] R:
I
_
b
o
) (r) dr denota a integral denida de ), um nmero real que representa
uma rea (algbrica);
I
_
) (r) dr denota a integral indenida de ), representa o conjunto das
funes primitivas de ).
Acontece que o TFC diz que
Se
_
) (r) dr = 1 (r) + c , ento
_
b
o
) (r) dr = 1 (/) 1 (a) .
4
2.1 Integrais das Funes Bsicas
importante notar que o clculo de derivadas e o clculo de integrais so realizados de
forma bastante distinta: enquanto basta aplicar as regras de derivao (regra da cadeia
e regra do produto) para calcular as derivadas de qualquer funo construda a partir de
funes cujas derivadas so conhecidas, existem inmeras tcnicas de integrao (baseadas
nas frmulas de substituio e integrao por partes) e todas so especcas para calcular
conjuntos particulares de integrais!
Incidentalmente, lembramos que a maioria das funes que encontramos nas aplicaes
do Clculo so construdas a partir de algumas poucas funes bsicas (a funo identidade,
a funo exponencial, a funo logartmo, e as funes trigonomtricas seno e coseno).
para as funes obtidas a partir dessas que as tcnicas de integrao se aplicam.
Pequena Tabela de Derivadas e Integrais Elementares
_
cdr = cr + C
_
sin(r) dr = cos (r) + C
_
r
o
dr =
1
o+1
r
o+1
+ C (c ,= 1)
_
cos (r) dr = sin(r) + C
_
1
r
dr = ln([r[) + C
_
tan(r) dr = ln([sec (r)[) + C
_
1
p
1r
2
dr = arcsin(r) + C
_
sec (r) dr = ln([sec (r) + tan(r)[) + C
_
1
p
1r
2
dr = arccos (r) + C
_
c
r
dr = c
r
+ C
_
1
p
r
2
1
dr = cosh
1
(r) + C
_
ln(r) dr = rln(r) r + C
_
1
p
r
2
+1
dr = sinh
1
(r) + C
_
sinh(r) dr = cosh (r) + C
_
1
r
p
r
2
1
dr = arcsec (r) + C
_
cosh(r) dr = sinh(r) + C
_
1
1+r
2
dr = arctan (r) + C
_
1
1r
2
dr = tanh
1
(r) + C
_
1
r
p
1r
2
dr = arcsec /
1
(r) + C
5
2.2 Propriedades Algbricas da Integral
Naturalmente, as propriedades algbricas da integral so anlogas s propriedades algbricas
de somatrias (porque a integral um limite de somatrias):
Teorema 4 (Propriedades Algbricas da Integral Indenida)
Sejam ), q : 1 R funes que possuem primitivas no intervalo 1 R.
i) Para c R, c) possui primitiva e vale
_
c) (r) dr = c
_
) (r) dr
ii) A funo ) + q possui primitiva e vale
_
() + q) (r) dr =
_
) (r) dr +
_
q (r) dr
iii) Integral por substituio: se n : J 1 uma funo com derivada integrvel,
ento composio () n) n
0
possui primitiva em J e vale
_
) (n(r)) n
0
(r) dr =
_
) (j) dj
iv) Integral por partes: se ) e q tm derivadas integrveis, ento o produto )q
integrvel e vale
_
) (r) q
0
(r) dr = )q
_
)
0
(r) q (r) dr
Prova. (iii) A prova decorre diretamente da regra da cadeia para diferenciao: como a
funo ) contnua, ento ela possui uma primitiva 1 : [a, /] R,
1
0
= )
A regra da cadeia implica que 1 q uma primitiva de () n) n
0
:
(1 n)
0
= (1
0
n) n
0
= () n) n
0
Ento: _
) (n(r)) n
0
(r) dr =
_
) (j) dj
(iv) A prova decorre diretamente da regra do produto para diferenciao: como as funes
n e so continuamente derivveis e vale
d
dr
()q) = )
dq
dr
+ q
d)
dr
temos
)q =
_
()q)
0
(r) dr =
_
) (r) q
0
(r) dr +
_
q (r) )
0
(r) dr
A notao intuitiva para lembrar da tcnica de substituio a seguinte:
dn =
dn
dr
dr = n
0
(r) dr =
_
u(J)
u(c)
) (r) dr =
_
b
o
) (n) dn
A notao intuitiva para lembrar desta regra a seguinte:
dn =
Ju
Jr
dr = n
0
(r) dr
d =
Ju
Jr
dr =
0
(r) dr
=
_
nd = n
_
dn
6
Observao 5 No h regra geral para determinar a tcnica de integrao ou as substitu-
ies que resolvem as integrais, at porque existem integrais que no podem ser expressas
em termos de polinmios e das funes elementares sin, cos, exp e ln; uma classe de sub-
stituies bastante teis so as substituies trigonomtricas ordinrias e hiperblicas.
Exemplo 6 Calcule as integrais
i)
_
1
1
rc
r
2
dr ii)
_
b
o
rc
r
dr
7
3 rea e Integral Denida
Denio 7 (Partio, Pontilhamento e Soma de Riemann)
Seja ) : [a, /] R uma funo limitada denida num intervalo [a, /] R.
Partio: uma partio do intervalo [a, /] um subconjunto nito de [a, /] do tipo
1 = r
0
= a < r
1
< ... < r
n
= /
A norma da partio 1 denida por
|1| := max r
|
r
|1
; / = 1, ..., :
Pontilhamento: um pontilhamento da partio 1 um subconjunto nito A = r

1
, ..., r

de [a, /] tal que

r
|1
_ r

|
_ r
|
, \/ = 1, ..., :
Uma partio pontilhada de [a, /] par (1, A) onde 1 uma partio de [a, /] e A um
pontilhamento de 1.
Soma de Riemann: a soma de Riemann de ) na partio pontilhada (1, A) por
(), 1, A) :=
n

|=1
) (r

|
) (r
|
r
|1
)
Denio 8 (Integral) Seja ) : [a, /] R uma funo limitada denida num intervalo
[a, /] R.
Dizemos que ) integrvel quando existe o limite 1 ()) = lim
k1k!0
(), 1, ) R
denido pela seguinte condio:
\- 0, c 0 , \1 [a, /] partio, \A [a, /] pontilhamento de 1 vale:
|1| < c =[(, 1, ) 1 ())[ < -
Nesse caso, esse limite chamado "integral de )" e o denotamos por
_
b
o
) (r) dr = 1 ()) = lim
k1k!0
(), 1, )
Observao 9 (Signicado da Integral) Se a funo real no-negativa, sua integral
dene a rea da regio plana compreendida entre o grco da funo e o eixo das abscissas.
Se a funo assume valoles positivos e negativos, ento sua integral representa a diferena
entre as reas das regies planas determinadas pelas partes positiva e negativa da funo.
Em geral, o clculo manual de integrais diretamente pela denio muito trabalhoso;
naturalmente, sempre podemos fazer aproximaes numricas, usando ou no um computa-
dor; entretanto o Teorema Fundamental do Clculo nos permite calcular exata e literalmente
muitas integrais de funes dadas pela soma, produto e composio das funes elementares:
polinmios, sin, cos, exp e ln.
8
3.1 Integral como Mdia
Seja ) : [a, /] R uma funo.
Para : N

e : pontos distintos
1
, ...,
n
[a, /], a mdia de ) nesses pontos denida
por

) (
1
, ...,
n
) :=
1
:
n

|=1
) (
|
) =
) (
1
) + ... + ) (
n
)
:
Agora, supondo que esses pontos pertenam partio de [a, /] com : intervalos de compri-
mento (/ a) ,:, denindo os extremos desses intervalos por
r
|
= a + /
/ a
:
, / = 1, ..., :
temos
r
|
r
|1
=
/ a
:
, \/ = 1, ..., :
e

) (
1
, ...,
n
) :=
1
:
n

|=1
) (
|
) =
1
/ a
n

|=1
) (
|
) (r
|
r
|1
)
Denimos a mdia de ) em [a, /] fazendo : tender ao innito;

) := lim
n!1

) (
1
, ...,
n
) = lim
n!1
1
/ a
n

|=1
) (
|
) (r
|
r
|1
)
Sabemos que esse limite existe independentemente das escolhas dos : se e somente se ) for
integrvel em [a, /]; nesse caso, temos que a mdia de ) em [a, /] dada por sua integral
dividida

) =
1
/ a
_
b
o
) (r) dr
Observao 10 Fazendo um paralelo entre derivada e integral de uma funo ) : [a, /] R
, temos:
Analiticamente, a derivada )
0
(r) dene a taxa de variao da funo ) no ponto r
(a, /), e a integral
_
b
o
) (r) dr dene a mdia de ) no intervalo [a, /] multiplicada por (/ a);
Geometricamente, a derivada )
0
(r) dene a inclinao da reta tangente ao grco de )
no ponto r (a, /), e a integral
_
b
o
) (r) dr dene a rea (algbrica) entre o grco de ) e
o eixo-r no intervalo [a, /].
9
3.1.1 Propriedades adicionais da integral denida
Teorema 11 Sejam ), q : [a, /] R funes integrveis.
i) Ento, a funo )q integrvel;
ii) funo ),q integrvel quando existe - 0 tal que [q[ -.
4
iii) Se ) _ q, ento
_
b
o
) (r) dr _
_
b
o
q (r) dr
iv) A funo[)[ integrvel e vale

_
) (r) dr

_
_
[) (r)[ dr
Em particular, se ) limitada e [) (r)[ _ ' \r [a, /], ento

_
b
o
) (r) dr

_ ' (/ a)
Aproveitamos para denir a seguinte notao til:
Notao 12 Seja ) : [a, /] R uma funo integrvel; denimos:
_
o
b
) (r) dr :=
_
b
o
) (r) dr
e
_
c
c
) (r) dr := 0 , \c [a, /]
Observao 13 No clculo de integrais denidas, temos uma diferena importante entre a
integrao por substituio e integrao por partes: enquanto a integrao por partes no al-
tera os limites de integrao, a mudana de variveis implica numa mudana correspondente
dos limites de integrao!
4
Nesse caso, no temos frmulas gerais para expressar as integrais de fg ou f=g em termos das integrais
de f e g.
10
3.2 Integrabilidade
O seguinte teorema bastante intuitivo:
Teorema 14 (Integrabilidade) Seja ) : [a, /] R uma funo denida num intervalo
[a, /] R.
Ento ) integrvel em [a, /] se e somente se para todo c (a, /) as restries )[
[o,c]
e
)[
[c,b]
so integrveis; nesse caso, para c (a, /) vale
_
b
o
) (r) dr =
_
c
o
) (r) dr +
_
b
c
) (r) dr
Esse teorema nos permite denir a funo integral de uma funo integrvel:
Denio 15 (Funo Integral) Seja ) : [a, /] R uma funo integrvel denida num
intervalo [a, /] R.
A funo integral de ) denida por
1 : [a, /] R , 1 (r) :=
_
r
o
) (t) dt
Naturalmente, levantamos a seguinte pergunta: quais condies sobre ) so necessrias
e quais so sucientes para garantirem que 1 seja contnua, derivvel e integrvel? Respon-
dendo essa pergunta, temos o seguinte teorema:
Teorema 16 (Propriedades Analticas da Funo Integral)
Seja ) : [a, /] R uma funo integrvel denida num intervalo [a, /] R e seja
1 : [a, /] R a funo integral de ).
Ento:
i) 1 integrvel;
ii) 1 contnua nos pontos onde ) localmente limitada;
iii) 1 derivvel nos pontos onde ) contnua!
O tem (iii) parte do Teorema Fundamental do Clculo, como veremos adiante.
11
3.3 Teorema Fundamental do Clculo
O Teorema Fundamental do Clculo o fato bsico para o clculo de integrais; num certo
sentido, ele estabelece que as operaes de derivar e integrar so inversas.
Teorema 17 (Fundamental do Clculo)
Primeira verso: Se uma funo ) : [a, /] R integrvel e possui uma primitiva
1 : [a, /] R, ento
_
b
o
) (r) dr = 1 (/) 1 (a)
Segunda verso: Se uma funo 1 : [a, /] R possui derivada integrvel em [a, /], ento
_
b
o
1
0
(r) dr = 1 (/) 1 (a)
Prova. Evidentemente, as duas verses do teorema so equivalentes; provaremos a primeira
verso: considere ) : [a, /] R uma funo integrvel com primitiva 1 : [a, /] R.
Prova. Seja 1 = r
|

n
|=0
uma partio de [a, /], i.:
a = r
0
< r
1
... < r
n1
< r
n
= /
Agora, vamos denir um pontilhamento particular para 1: para cada / 1, ..., :, o
Teorema do Valor Mdio nos garante que existe um ponto
|
(r
|1
, r
|
) tal que
1 (r
|
) 1 (r
|1
)
r
|
r
|1
= 1
0
(
|
) = ) (
|
)
Seja
1
=
|

n
|=1
o pontilhamento de 1 denido pelo conjunto desses pontos; ento, a
soma de Riemann de ) na partio pontilhada (1, ) dada por
(), 1,
J
) =
n

|=1
) (
|
) (r
|
r
|1
)
=
n

|=1
[1 (r
|
) 1 (r
|1
)] = 1 (r
n
) 1 (r
0
)
= 1 (/) 1 (a)
Portanto,
_
b
o
) (r) dr = lim
k1k!0
(), 1,
1
) = lim
k1k!0
[1 (/) 1 (a)] = 1 (/) 1 (a)
Observao 18 Como se percebe, a prova do Teorema Fundamental do Clculo relativa-
mente simples; sua importncia est nas suas consequncias, particularmente na existncia
dos diversos mtodos analticos de integrao.
Observao 19 Diante do Teorema Fundamental do Clculo, naturalmente levantamos
a pergunta: quais condies so necessrias e quais so sucientes para que uma funo
possua primitiva? possvel provar que uma condio necessria a funo no possuir
descontinuidades de primeira espcie, e uma condio suciente a funo ser contnua.
12
3.4 Continuidade e Integrao
A continuidade de uma funo condio suciente para sua integrabilidade:
Teorema 20 Seja ) : [a, /] R uma funo denida num intervalo [a, /] R.
Se ) possui um nmero nito de descontinuidades, ento ) integrvel.
Prova. Por simplicidade, vamos supor que ) seja contnua; o caso geral se reduz a esse
dividindo o intervalo [a, /] em nitos subintervalos nos quais as restries da funo ) so
contnuas.
Sendo contnua num intervalo compacto (limitado e fechado), ) uniformemente con-
tnua, i.:
\- 0, c
:
0 , r, j [a, /] , [r j[ < c
:
=[) (r) ) (j)[ < -
Isso implica que para todo - 0, toda partio 1 = r
|

n
|=0
com norma [1[ < c
:
e todo
par de pontilhamentos =
|

n
|=0
e =
|

n
|=0
de 1 vale
[(), 1, ) (), 1, )[ _
n

|=1
[) (
|
) ) (
|
)[ (r
|
r
|1
) _
n

|=1
- (r
|
r
|1
)
= - (/ a)
Essa propriedade signica que existe o limite que denie a integral de ), ou seja: )
integrvel!
Corolrio 21 So integrveis os polinmios, as funes sin, cos, exp, ln, e suas somas,
produtos e composies.
Teorema 22 (integrabilidade de funes contnuas)
Seja ) : [a, /] R uma funo integrvel e seja a funo integral de ) dada por
1 : [a, /] R , 1 (r) :=
_
r
o
) (t) dt
i) Se ) limitada numa vizinhana de c [a, /], ento 1 contnua em c;
ii) Se ) contnua em c [a, /], ento 1 derivvel em c [a, /] e vale
5
1
0
(c) = ) (c)
Em particular, se ) contnua em [a, /], ento ) possui primitiva!
Prova. (i) Seja c [a, /] um ponto em torno do qual ) seja limitada, i., existem - 0 e
' 0 tais que
[) (r)[ _ ' , \r [a, /] , [r c[ < -
Ento,
[1 (r) 1 (c)[ _ '[r c[ , \r [a, /] , [r c[ < -
donde
lim
r!c
[1 (r) 1 (c)[ _ lim
r!c
'[r c[ = 0 lim
r!c
1 (r) = 1 (c)
(ii) Seja c [a, /] um ponto em torno do qual ) contnua; temos que mostrar que
lim
r!c

1 (r) 1 (c)
r c
) (c)

= 0
Considere a identidade
1 (r) 1 (c)
r c
) (c) =
1
r c
_
r
c
[) (t) ) (c)] dt , \r [a, /] , r ,= c
5
Se c = a ou c = b, a derivada de F em c denida apenas lateralmente.
13
Seja - 0; como ) contnua em c, existe c
:
0 tal que
r [a, /] , [r c[ < c
:
=[) (r) ) (c)[ < -
Ento,
r [a, /] , [r c[ < c =

_
r
c
) (t) ) (c) dt

_
r
c
[) (t) ) (c)[ dt

_ - [r c[
Portanto,
lim
r!c

1 (r) 1 (c)
r c
) (c)

_ lim
r!c

_
r
c
- [r c[ dt

[r c[
= lim
r!c
- [r c[ = 0
14
3.4.1 Argumento Intuitivo para o Teorema Fundamental do Clculo
Introduo
O Teorema Fundamental do Clculo (TFC) justica seu nome pela importncia que tem
na teoria e suas aplicaes, razo pela qual bom que o estudante conhea uma demon-
strao matemtica. Existem demonstraes rigorosas relativamente simples do TFC, e elas
podem ser encontradas bastante facilmente inclusive na maioria dos livros-texto de Cl-
culo. Aqui apresento um argumento simples para a validade do TFC, essencialmente correto
mas principalmente intuitivo.
Desenvolvimento
Considere uma funo contnua denida num intervalo ) : [a, /] R e dena a funo
rea delimitada pelo grco de ):
6
: [a, /] R , (r

) :=
_
r
0
) (r) dr
Vamos calcular a derivada de num ponto r

(a, /) diretamente da denio; pre-

liminarmente, observamos que a variao da funo rea devida a uma variao r de r
em torno de r

aproximadamente
7
dada pela a rea (r

) do trapzio com com bases

) (r

) e ) (r

+ r) e altura r (conforme a gura no nal do documento):

(r

)
) (r

) + ) (r

+ r)
2
r
Portanto, podemos escrever o quociente de Newton

r
(r

)
) (r

) + ) (r

+ r)
2
No limite r 0 temos (usando a continuidade de ) em r

):
d
dr
(r

) = lim
r!0

r
(r

) = lim
r!0
_
) (r

) + ) (r

+ r)
2
_
=
) (r

) + ) (r

+ 0)
2
= ) (r

)
Concluso
O argumento apresentado aqui para a validade do TFC bastante simples e intuitivo:
possui duas etapas: (i) expresso para variaes dessa funo devidas variaes da var-
ivel (aproximada aqui pela rea de trapzios adequados) e (ii) clculo da derivada da funo
rea diretamente pela denio (combinado com a hiptese de continuidade da funo in-
tegrada). A compreenso do argumento envolve os seguintes detalhes: familiaridade com a
denio de derivada, capacidade para relacionar fatos geomtricos e algbricos e habilidade
de manipulao algbrica.
6
A funo f no necessariamente positiva; entretanto, a funo A no representa exatamente uma rea
no caso em que f assume valores negativos (mas sim, a diferena entre reas acima e abaixo do eixo-x).
7
Uma estimativa adequada do erro envolvido nessa aproximao o nico ponto desse argumento que
precisa ser detalhado para torn-lo completamente rigoroso...
15
Corolrio 23 (Teorema do Valor Mdio para Integrais)
Seja ) : [a, /] R uma funo contnua.
Ento, existe c (a, /) tal que
_
b
o
) (r) dr = ) (c) (/ a)
Prova. Como a funo ) contnua, ela possui uma primitiva 1; pelo Teorema do Valor
Mdio, existe c (a, /) tal que
1 (/) 1 (a) = 1
0
(c) (/ a) = )
0
(c) (/ a)
Pelo Teorema Fundamental do Clculo, isso equivalente a
_
b
o
) (r) dr = ) (c) (/ a)
16
Diretamente do Teorema Fundamental do Clculo e da Regra da Cadeia, obtemos a
Regra de Leibniz :
8
Proposio 24 (Derivadas de Funes Integrais)
Seja ) : [a, /] R uma funo contnua e sejam c, , : [c, d] [a, /] funes derivveis.
Ento
d
dr
_
o(r)
o(r)
) (r) dr = ) (, (r)) ,
0
(r) ) (c(r)) c
0
(r) , \r [c, d]
Prova. Seja 1 : [a, /] R uma primitiva para ); ento
_
o(r)
o(r)
) (r) dr = 1 (, (r)) 1 (c(r)) , \r [c, d]
Portanto,
d
dr
_
o(r)
o(r)
) (r) dr =
d
dr
1 (, (r))
d
dr
1 (c(r))
= 1
0
(, (r)) ,
0
(r) = 1
0
(c(r)) c
0
(r)
= ) (, (r)) ,
0
(r) ) (c(r)) c
0
(r) , \ [c, d]
Exemplo 25 Mostre que
d
dr
_
sec(r)
tan(r)
rdr =
1
2
sec
2
(r) tan (r)
8
Veja a interpretao geomtrica da Regra de Leibniz dada no livro [?, p.394-395].
17
4 Integrais Imprprias
Integrao imprpria generaliza a denio de integral para funes denidas em intervalos
innitos ou que possuem pontos singulares (pontos onde pelo menos um dos seus limites
laterais diverge); mais precisamente, integrais imprprias so denidas em duas situaes:
para funes ilimitadas e para funes com domnio ilimitado; em qualquer caso, a integral
imprpria dada por um limite de integrais ordinrias.
Dizemos que uma integral imprpria converge quando existe o limite que a dene; caso
contrrio, dizemos que a integral imprpria diverge.
Exemplo 26 Calcule as seguintes integrais imprprias
i)
_
1
1
1
r
2
dr ii)
_
3
1
dr
(r 1)
2/3
iii)
_
3
0
dr
(r 1)
2/3
dr iv)
_
1
1
rc
r
2
dr
A comparao de integrais pode determinar a convergncia de uma integral imprpria,
sem a necessidade de calcul-la expliscitamente:
Teorema 27 (Teste de Comparao) Sejam ), q : [a, ) R funes contnuas tais
que
0 _ ) (r) _ q (r) , r [a, )
Ento:
i)
_
1
o
q (r) dr convergente =
_
1
o
) (r) dr convergente;
ii)
_
1
o
) (r) dr divergente =
_
1
o
q (r) dr divergente.
Teorema 28 (Teste de Comparao do Limite)
Sejam ), q : [a, ) R funes contnuas positivas.
Seja
1 = lim
r!1
) (r)
q (r)
i) Se 0 < 1 < , ento:
_
1
o
) (r) dr convergente ==
_
1
o
q (r) dr convergente
ii) Se 1 = 0, ento:
_
1
o
q (r) dr convergente =
_
1
o
) (r) dr convergente
ou
_
1
o
) (r) dr divergente =
_
1
o
q (r) dr divergente
iii) Se 1 = , ento:
_
1
o
q (r) dr divergente =
_
1
o
) (r) dr divergente
ou
_
1
o
) (r) dr convergente =
_
1
o
q (r) dr convergente
Exemplo 29 Mostre que a seguinte integral imprpria converge quando c 1:
_
+1
0
1
1 + r
o
dr
18
Aplicao: clculo da velocidade de escape
A velocidade de escape da Terra denida como sendo a velocidade mnima que um corpo
lanado verticalmente precisa atingir para que no retorne superfcie da Terra. Usando a
lei da gravitao universal de Newton, a velocidade de escape para um corpo de massa :
caracterizada pela seguinte equao integral
1
2
:
2
t
=
_
1
:0
G
':
r
2
dr
onde G = 6.67259 10
11
m
3
kg
1
s
2
a constante de Newton, ' - 5, 95367 10
10
kg
a massa da Terra e r
0
- 6368 /: o raio (mdio) da Terra; vemos que a velocidade de
escape independente da massa do corpo e efetuando a integral obtemos:

t
= lim
:1!1
_
_
:1
:0
2G'
r
2
dr =
_
2'G
r
0
- 11, 170 /:,:
19
5 Aplicaes
5.1 Equaes Diferenciais e Problemas de Valor Inicial
Equao diferencial ordinria uma equao que envolve derivadas e cuja incgnita uma
funo.
As equaes diferenciais mais simples so do tipo
j
0
= ) (r)
onde ) : 1 R uma funo xada; nesse caso, uma soluo dessa equao
uma funo 1 : 1 R que derivvel e cuja derivada igual ):
J
Jr
1 (r) =
) (r) \r 1.
Problema de valor inicial uma equao diferencial junta com uma especicao do
valor da funo num ponto dado.
Os problemas de valor inicial mais simples so do tipo
j
0
= ) (r) , j (r
0
) = j
0
onde ) : 1 R uma funo, r
0
1 e j
0
R esto xados. Uma soluo desse
problema de valor inicial uma funo 1 : 1 R que derivvel, cuja derivada
igual ) e que assume o valor j
0
no ponto r
0
:
J
Jr
1 (r) = ) (r) \r 1 e
1 (r
0
) = j
0
.
Aqui, consideramos apenas as equaes diferenciais ordinrias separveis; esta uma
classe importante de equaes diferenciais ordinrias cuja resoluo requer apenas o conhec-
imento da teoria da integrao, mas nenhuma tcnica especial.
Denio 30 (EDOS)
Uma equao diferencial ordinria separvel (EDOS) uma equao do tipo
j
0
= ) (r) q (j)
onde ) : 1 R e q : J R so funes de uma nica varivel denidas em intervalos
de R. Uma soluo dessa equao uma funo diferencivel j : 1 J denida num
subintervalo aberto 1 1 tal que
d
dr
j (r) = ) (r) q (j (r)) , r 1
Teorema 31 (Existncia e Unicidade de Solues de EDOS)
Sejam ) : 1 R e q : J R funes contnuas denidas em intervalos abertos de R.
Suponha que q no se anula em J, i.e.:q (j) ,= 0 , \j J.
Ento, para r
0
1 e j
0
J xados, a equao diferencial separvel com condio inicial
_
j
0
= ) (r) q (j)
j (r
0
) = j
0
possui uma nica soluo, denida em algum intervalo aberto 1 1 contendo r
0
. Alm
disso, se 1 : 1 R uma primitiva de ) e G : J R uma primitiva de 1,q, ento essa
nica soluo da equao caracterizada por
G(j (r)) G(j
0
) = 1 (r) 1 (r
0
) , \r 1
20
Modo intuitivo de resoluo equaes diferenciais separveis
Considere a equao diferencial separvel com condio inicial
_
j
0
= ) (r) q (j)
j (r
0
) = j
0
i) Escrevemos
j
0
=
dj
dr
ii) Separamos as variveis (tratando dj e dr como se fossem parcelas de uma
frao comum)
dj
q (j)
= ) (r) dr
iii) Agora, considerando j como funo de r (j = j (r)) integramos ambos os
lados da equao partindo dos valores iniciais
_
(r)
0
d
q ()
=
_
r
r0
) () d
iv) Se 1 uma primitiva de ) e G uma primitiva de 1,q, ento as integrais
acima implicam na identidade
G(j (r)) G(j
0
) = 1 (r) 1 (r
0
)
Naturalmente, o intervalo de validade dessa expresso depende de ambos os
domnios de G e 1.
Exemplo 32 Resolva a equao diferencial separvel
_
j
0
= rj
j (0) = 1
Soluo: considerando
j
0
=
dj
dr
Basta realizar os clculos (intuitivos)
dj
dr
= rj =
dj
j
= rdr =
_
(r)
1
d

=
_
r
0
d
= ln[j (r)[ ln1 =
1
2
r
2
0
2
= ln[j (r)[ =
1
2
r
2
= j (r) = c
1
2
r
2
Finalmente, podemos vericar que a funo j (r) = c
r
2
(denida em todo R)
satisfaz a equao proposta:
dj
dr
= rc
1
2
r
2
= rj e j (0) = c
0
= 1
21
5.2 Valor Mdio de Funo
Generalizando a denio de mdia aritmtica de um conjunto de nmeros, o valor mdio de
uma funo limitada ) : [a, /] R denida num intervalo limitado denido pelo seguinte
limite, quando ele existe:

) := lim
n!1

n
|=1
)
_
a + /
bo
n
_
:
O valor mdio possui algumas propriedades.
Lema: se ) uma funo cujo valor mdio existe, ento
min) _

) _ max )
Lema: se ) integrvel, ento ) uma funo cujo valor mdio existe e vale

) =
1
/ a
_
b
o
) (r) dr
5.3 Comprimento de arco de curva
5.4 Volume e area de superfcies
5.5 Massa, Centro de Massa e Momento de Inrcia
22
6 Tcnicas de Integrao
Plano de aula
1) Propor o problema de calcular a rea do crculo de raio 1, fazendo notar
que esse problema pode ser resolvido usando o clculo integral;
2) Na resoluo desse problema, salientar os pontos fundamentais: a equao
do crculo, a identicao da funo cuja integral d a semi-rea do crculo;
3) Resolver a integral que d a semi-rea do crculo usando o TFC e a prim-
itiva
1 (r) =
1
2
2
arcsin
_
r
1
_
+
r
2
_
1
2
r
2
, r [1, 1]
4) Comentar que as tcnicas de integrao serviro exatamente para descobrir
primitivas tais como essa.
6.1 Integrais de Funes Racionais
Plano de aula
Para : N

, calcule a integral indenida

_
2r
(r
2
+ 1)
n
dr
Use substituio a m de recordar esse tpico; esse exemplo deve preparar os
alunos para o clculo da integral da funo racional no problema que segue
abaixo.
Uma funo racional um quociente de polinmios.
A tcnica bsica para resolver integrais de funes racionais consiste em reescrever o
integrando como soma de fraes parciais
9
. A decomposio em fraes parciais de uma
funo racional ) (r) =
(r)
j(r)
, onde j (r) e (r) so polinmios tais que 0 _ deg (j) < deg (),
pode ser entendida em trs passos:
1) Decompe-se o polinmio (r) em fatores irredutveis, i., como produto de potncias
de polinmios irredutveis (que so da forma ar + / ou ar
2
+ /r + c com /
2
4ac < 0);
2) Para cada potncia dos fatores irredutveis em (r) corresponde uma soma parcial
de fraes, dada pelo seguinte esquema:
Fator irredutvel em (r) Potncia Mxima Termos da Soma Parcial
ar + / (ar + /)
n .1
or+b
+ ... +
.m
(or+b)
m
ar
2
+ /r + c
b
2
4oc<0
_
ar
2
+ /r + c
_
n
.1r+11
or
2
+br+c
+ ... +
.mr+1m
(or
2
+br+c)
m
3) Os coecientes da soma em fraes parciais so calculadas pela comparao com a
funo racional original, a partir da condio de identidade entre polinmios: dois polinmios
so idnticos se e somente se tm o mesmo grau e possuem os mesmos coecientes.
Com essa tcnica, todas as integrais de funes racionais podem ser calculadas explici-
tamente, desde que sejam conhecidas as seguintes integrais bsicas:
(i) a, / R e r R 0 com a ,= 0,
_
1
(ar + /)
:
dr =
_
1
o(:+1)
(ar + /)
:+1
, r ,= 1
1
o
ln(ar + /) , r = 1
9
A existncia e unicidade de decomposio de funes racionais em fraes parciais um teorema algbrico
cujo enunciado e demonstrao pode ser encontrado em [5, Seo IV.4].
23
(ii) a, /, c, , 1 R e : N 0 com
10
/
2
4ac < 0,
_
r + 1
(ar
2
+ /r + c)
n
dr = ...
Problema 33 Calcule a integral (note que o nmero 1 raiz do polinmio no denominador)
_
3r
2
r + 2
r
3
r
2
+ r 1
dr
10
Para a > 0, a condio b
2
4ac < 0 signica que o polinmio q (x) = ax
2
bx + c irredutvel. Note
que esta condio implica em a 6= 0 e c 6= 0.
24
6.2 Integrais por Substituio Trigonomtrica
Algumas integrais podem ser resolvidas pela substituio da varivel de integrao por uma
funo trigonomtrica, particularmente quando o integrando tem uma raz quadrada; nesse
caso, a substituio trigonomtrica conveniente indicada tanto pela forma da raiz quadrada
quanto pelo conjunto de valores que a varivel de integrao pode assumir: ele deve coincidir
com a imagem da funo trigonomtrica que deve substitu-la; em geral, temos as seguintes
indicaes para substituio trigonomtrica:
Expresso Substituio Trigonomtrica Domnio Possvel
_
a
2
r
2
([r[ _ [a[) r = a sin(0) 0 (,2, ,2)
_
a
2
+ r
2
([r[ R) r = a tan(0) 0 (,2, ,2)
_
r
2
a
2
([r[ _ [a[) r = a sec (0) 0 (0, ,2)
Quando feita uma substituio trigonomtrica, algumas vezes necessrio especicar
um domnio restrito ao qual a funo trigonomtrica ca invertvel, para que o resultado
nal do clculo da integral possa ser expresso em termos da varivel de integrao original;
esse domnio deve ser sempre um intervalo de comprimento menor do que , devido
periodicidade das funes trigonomtricas.
11
Para lembrar dessa tcnica, instrutivo vericar que as funes trigonomtricas inversas
podem ser denidas por integrais; por exemplo,
arctan(r) =
_
r
0
dt
1 + t
2
, arcsin(r) =
_
r
0
dt
_
1 t
2
Exemplo 34 Calcule a seguinte integral
_
1
1
_
1 r
2
dr
usando a substituio
r = 1sin(0) , 0 [,2, ,2]
Resolva de duas maneras:
i) Use a substituio para calcular a integral diretamente - nesse caso, necessrio mudar
os limites de integrao, mas no necessrio retornar varivel de integrao original;
ii) Use a substituio para encontrar uma primitiva do integrando - nesse caso, no
necessrio mudar os limites de integrao, mas necessrio retornar varivel de integrao
original.
11
No caso da substituio pela secante, note que a escolha 2 (0; =2) restringe os valores de x ao intervalo
(a; 1) ou (1; a), se respectivamente a > 0 ou a < 0!
25
6.3 Integrais de Funes Trigonomtricas
Para resolver muitas integrais envolvendo funes trigonomtricas basta utilizar convenien-
temente as identidades que essas funes satisfazem.
sin(r + j) = sin (r) cos (j) + sin(j) cos (r)
cos (r + j) = cos (r) cos (j) sin(r) sin(j)
sin(r) sin(j) =
1
2
(cos (r j) cos (r + j))
sin(r) cos (j) =
1
2
(sin(r + j) + sin(r j))
cos (r) cos (j) =
1
2
(cos (r j) + cos (r + j))
sin(2r) = 2 sin(r) cos (r)
cos (2r) = cos
2
(r) sin
2
(r)
;
sin
2
(r) =
1
2
(1 cos (2r))
cos
2
(r) =
1
2
(1 + cos (2r))
sin
2
(r) + cos
2
(r) = 1 ; sec
2
(r) tan
2
(r) = 1 ; csc
2
(r) cot
2
(r) = 1
6.3.1 Integrais de Funes Racionais em Seno e Coseno
Muitas integrais de funes trigonomtricas identicadas como funes racionais de seno e
coseno podem ser integradas atravs da substituio:
R r . = tan
_
r
2
_
(, )
donde
dr =
2
1 + .
2
d. , sin(r) =
2.
1 + .
2
, cos (r) =
1 .
2
1 + .
2
Essa substituio transforma uma funo racional em seno e coseno numa funo racional
simples, cuja integral pode ser calculada pelo mtodo das fraes parciais. Portanto, esse
mtodo permite calcular todas as integrais de funes racionais em seno e coseno, embora
para alguns casos no seja mtodo mais eciente!
Prova das relaes denidas pela substituio . = tan
_
r
2
_
Se . = tan
_
r
2
_
, ento:
cos (r,2) =
1
sec (r,2)
=
1
_
tan
2
(r,2) + 1
=
1
_
.
2
+ 1
sin(r,2) = tan (r,2) cos (r,2) =
.
_
.
2
+ 1
e
cos (r) = cos
2
(r,2) sin
2
(r,2) =
1
.
2
+ 1

.
2
.
2
+ 1
=
1 .
2
1 + .
2
sin(r) = 2 sin (r,2) cos (r,2) =
2.
1 + .
2
Agora, a relao entre as diferenciais:
d. =
d.
dr
dr =
1
2
sec
2
(r,2) dr =
1
2
_
tan
2
(r,2) + 1
_
dr =
1
2
_
.
2
+ 1
_
dr
donde
dr =
2
1 + .
2
d.
26
Exemplo 35 Calcule a integral
_
1
3 + 2 cos (r)
dr
Exemplo 36 Calcule a integral
12
_
01
0
sec
4
_
0
2
_
d0
12
Na descrio do movimento de partculas sob ao de foras centrais, a integral da quarta potncia da
secante aparece na relao entre ngulo polar e o tempo; vide [4, section 3.8, p.99].
27
Frmulas de Recorrncia
Algumas integrais podem ser expressas por fmulas de recorrncia, que nesses casos so
regras indutivas exprimindo o resultado de uma integral em termos de outra integral. Em
geral, as frmulas de recorrncia so deduzidas para integrais cujos integrandos possuem
potncias inteiras de funes bsicas.
Exemplo 37 Deduza a frmula de recorrncia
_
r
n
c
or
dr
e calcule a integral
_
r
3
c
2r
dr
Outras integrais podem se expressas em termos de frmulas no-recorrentes, mas que
indicam um caminho de resoluo:
_
cos
n
(r) dr ,
_
sin
n
(r) cos
n
(r) dr
28
7 Problemas
Problema 38 Calcule aproximaes numricas para as reas solicitadas:
1. Crculo de raio r.
2. Elipse com semi-eixos a e /.
3. Regio limitada pelas curvas j = 0 e j = 4 r
2
.
Problema 39 Deduza a frmula para o volume do cone com rea da base e altura H,
vericando que no importa o formato nem a posio da base.
Problema 40 Resolva as integrais analiticamente:
i)
_
r
2
c
4r
3
dr
ii)
_
cos
2
(r) sin(r) dr
iii)
_
r
2
or
3
dr
i)
_
r
3
cos
_
/r
4
_
dr
)
_
sin(r)
c+cos(r)
dr
i)
_
(15 + r)
100
dr
ii)
_
2
p
r
p
r
dr
iii)
_
sec
2
(2r 3) dr
ir)
_
ln(r)
r
dr
r)
_
2
x
1+2
x
dr
Problema 41 Resolva as integrais usando integrao por partes:
i)
_
rc
r
dr
ii)
_
(r + 1) c
r
dr
iii)
_
rln(r) dr
i)
_
r
2
ln(r) dr
)
_
rsin(r) dr
i)
_
r
2
sin(r) dr
ii)
_
(r 1) ln
_
r
2
_
dr
iii)
_
ln
_
r
2
+ 1
_
dr
ir)
_
arcsin(r) dr
r)
_
arctan(r) dr
Problema 42 Resolva as integrais usando substituio trigonomtrica:
i)
_
1
r
2
+o
2
dr
ii)
_
r
r
2
+o
2
dr
iii)
_
r
2
r
2
+o
2
dr
i)
_
r
2
r
2
+o
2
dr
)
_
!!!!dr
i)
_
r
p
o
2
r
2
dr
ii)
_
r
p
o
2
+r
2
dr
iii)
_
r
p
r
2
o
2
dr
ir)
_
cos(r)
1+sin
2
(r)
dr
r)
_
!!!!dr
Problema 43 Calcule a rea das regies limitadas pelas curvas:
1. j = 0, r = 0, ar + /j = c (a 0, / 0, c 0)
2. j = 0 , j = r
2
2r
3. j = r
2
, j = 4 r
2
Problema 44 Calcule a rea da elipse com semi-eixos a e /.
Problema 45 Calcule as reas das duas partes do crculo r
2
+ j
2
_ 8 separadas pela
parbola j
2
= 2r.
Problema 46 Determine a frmula para o volume de uma esfera de raio r 0 calculando
a integral dada pelo limite da soma dos volumes de cilindros denidos por um fatiamento
da esfera.
29
7.1 Aplicaes em Fsica
Problema 47 O tanque de gasolina de um posto tem a forma de cilindro circular reto
deitado ao longo do seu eixo. O dono do posto pretende pagar 1$1000, 00 a quem denir
um procedimento fcil para se determinar a quantidade de gasolina no tanque e provar a
validade do procedimento; resolva o problema e seja feliz!
Problema 48 (Massa e centro-de-massa) Mostre que a massa ' e o centro de massa
r
0
de uma barra de comprimento 1 e densidade linear j (dada em funo da distncia r a
um dos seus extremos) dada por
' =
_
J
0
j (r) dr , r
0
=
_
J
0
rj (r) dr
Agora, calcule a massa e o centro de massa das barras com as funes densidades indicadas,
analisando o resultado da posio do centro de massa:
1. j
1
(r) = /r , r [0, 1] (/ =constante)
2. j
3
(r) =
1+r
1+r
2
, r [0, 1]
3. j
2
(r) = 1 + cos (r) , r [0, ]
Problema 49 (Trabalho mecnico) Mostre que o trabalho realizado por uma fora

1 que
age sobre uma partcula que se movimentou ao longo do eixo-A entre os pontos r
0
e r
1

dado pela frmula:
t =
_
r1
r0
1 (r) cos 0 (r) dr , 0 (r) = ngulo entre

1 (r) e o eixo-A
Em particular, se a fora aplicada paralelamente ao eixo-A, ento
t =
_
r1
r0
1 (r) dr
Nesse caso, mostre que se r = r(t) a funo posio da partcula em relao ao tempo,
ento vale:
t =
_
|1
|0
1 (r(t)) (t) dt , onde t
0
e t
1
so os instantes quando a partcula esteve localizada em r
0
e r
1
, respectivamente
Problema 50 (Mecnica I) Considere uma partcula que se movimenta numa nica di-
menso, digamos r; prove que sua acelerao constante igual a a durante um intervalo de
tempo 1, ento sua posio uma funo quadrtica do tempo nesse intervalo, especica-
mente
13
r(t) = r(t
0
) +
0
(t t
0
) +
1
2
a (t t
0
)
2
, t 1
r
0
e
0
so respectivamente a posio e a velocidade da partcula no instante t
0
1
Problema 51 (Mecnica II) Determina a forma geomtrica da superfcie de um lquido
contido num balde de raio 1 que gira com velocidade angular constante ..
Problema 52 (Mecnica III) Um bloco de massa ' desliza sobre numa superfcie hori-
zontal com coeciente de atrito cintico j devido ao de uma fora de trao; denote por
0 o ngulo que essa fora faz com o plano horizontal.
13
Sugesto: para facilitar os clculos, suponha que t
0
= 0.
30
1. Mostre que a intensidade da fora necessria para manter o movimento uniforme em
funo de 0 dada por
1 (0) =
jq'
jsin(0) + cos (0)
2. Mostre que o ngulo 0 para o qual essa fora 1 (0) mnima dado por
0
min
= arctan (j)
3. Verique que valem os limites e interprete-os sicamente
lim
!0
1 (0
min
) = 0 , lim
!1
1 (0
min
) = q'
4. Se uma pessoa parada puxa o bloco por uma corda de modo que mantenha seu movi-
mento uniforme, determine o trabalho realizado por ela para deslocar o bloco de uma
distncia a at uma distncia / de si mesma (a /).
Problema 53 (Mecnica IV) Dado um tanque inicialmente cheio de gua, calcule o
trabalho necessrio para retirar essa gua elevando-a at um tubo coletor localizado no topo;
considere as seguintes situaes:
1. O tanque tem a forma de um cilindro circular reto de raio 3 m e altura 10 m;
2. O tanque tem a forma de um cone circular reto de raio 3 m e altura 10 m com vrtice
na base.
Problema 54 (Campos eltrico e magntico) O campo eltrico gerado por uma o
retilneo uniformemente carregado disposto ao longo do eixo-. dado pela seguinte inte-
gral (onde -
0
a constante eltrica e ` a densidade de carga eltrica por unidade de
comprimento do o):
14

1 (r) =
j
j
`
4-
0
_
+1
1
d.
(.
2
+ j
2
)
3/2
, j = r^i + j^ ; se r = r^i + j^ ; + .
^
/
Semelhantemente, o campo magntico gerado por uma corrente eltrica que percorre um o
retilneo disposto ao longo do eixo-. dado pela seguinte integral (onde j
0
a constante
magntica e i a densidade de carga eltrica por unidade de comprimento do o):

1 (r) =
t
t
j
0
i
4
_
+1
1
d.
(.
2
+ j
2
)
3/2
, j = r^i + j^ ; e t = j^i + r^ ; se r = r^i + j^ ; + .
^
/
Calcule a integral indicada e verique que as intensidades do campo eltrico e magntico
so inversamente proporcionais ao quadrado da distncia ao o:
1 (r) ~
1
j
2
, 1 (r) ~
1
j
2
Problema 55 Considere uma caixa dgua na forma de cilindro circular reto com raio da
base 1 e altura H, medidos em metros. Supondo que a caixa no possui tampa, deter-
mine a taxa de variao da altura / da coluna de gua contida na caixa supondo que ela
recebe gua na taxa constante de litros por segundo e perde gua apenas atravs de uma
pequena abertura com rea a na sua base. Agora, supondo que a caixa dgua no recebe
gua e que inicialmente esteja completamente cheia, determine quanto tempo ela leva para
esvaziar-se atravs da pequena abertura na base. (Discuta a inuncia da tampa da caixa
no problema.)
15
14
Nesse problema, (~r) denota a distncia do ponto ~r ao eixo-z.
15
Soluo: dh=dt = a
p
2gh=R
2
e T =
p
H=2g=a, onde g a acelerao da gravidade no local.
31
Problema 56 (Lei de Stefan) A Lei de Stefan a lei fsica que descreve a potncia da
radiao eletromagntica emitida ou absorvida por um corpo de rea em funo da sua
temperatura absoluta T e da temperatura ambiente T
o
:
1 = co
_
T
4
T
4
o
_
onde o = 5.67051 10
8
Wm
2
K
4
a constante de Stefan-Boltzman, e c a constante
de emissividade da superfcie do corpo (um nmero entre 0 e 1, sendo 1 caracterstico de
um corpo negro ideal). Nesse a equao diferencial que determina a temperatura T do corpo
em funo do tempo t dada por
dT
dt
= /
_
T
4
T
4
o
_
, / = co
Determine a expresso da temperatura T (t) em funo do tempo t, da temperaturas do
ambiente T
o
e da temperatura inicial do corpo T
0
; ento verique e interprete os seguintes
fatos: (i) Se T
0
= T
o
, ento T constante; (ii) Se T
0
T
o
, ento T uma funo
decrescente; (iii) Se T
0
< T
o
, ento T uma funo crescente.
Problema 57 (Equao da rbita) Uma partcula de massa : sob ao de uma fora
central inversamente proporcional ao quadrado da distncia origem
1 (r) =
i
r
2
descreve uma trajetria caracterizada pela seguinte equao em coordenadas polares
0 =
_
|dr
_
2:r
4
_
1
l
2
2n:
2
+
r
:

onde 1 a energia mecnica e | o momento angular da partcula e | (ambos so constantes

de movimento). Deduza que vale
16
1
r
=
:i
|
2
[1 + c cos (0)] , c =
_
1 +
21|
2
:i
2
Sugesto: resolva essa integral efetuando preliminarmente a substituio
n =
1
r
Problema 58 (Movimento de projtil sob fora de resistncia do ar)
17
Considere
um projtil de massa : lanado prximo da superfcie da Terra com velocidade e ngulo
0 em relao ao plano horizontal; suponha que o projtil sofre uma fora de resistncia
do ar proporcional sua velocidade, com coeciente / 0. Nesse caso, o movimento
plano e para descrever a trajetria do projtil conveniente usar o sistema de coordenadas
cartesianas com origem no ponto de lanamento, com eixo-. perpendicular ao plano da
trajetria, com o eixo-j na direo vertical apontando para cima e com eixo-r apontando
na direo do movimento; ento, se (r(t) , j (t) , 0) so as coordenadas da posio do projtil
em funo do tempo transcorrido do lanamento, as equaes de movimento so dadas por:
:
d
2
r
dt
2
= /
dr
dt
, :
d
2
j
dt
2
= q /
dj
dt
, :
d
2
.
dt
2
= /
d.
dt
16
Vide: N.A.Lemos, Mecnica Analtica, 2a. edio, So Paulo: Editora Livraria da Fsica, 2006: pp.34-
35.
17
Para uma discusso do problema, veja: A.D.S. Bruno, J.M.O. Matos, O comprimento da trajetria de
um projtil, RBEF vol.24, no.1, Maro/2002: pp.30-36.
32
As solues para essas equaes so dadas pelas funes
r(t) =
: cos (0)
/
_
1 c

k
m
|
_
, j (t) =
_
: sin(0)
/
+
:
2
q
/
2
_
_
1 c

k
m
|
_

:q
/
t , . (t) = 0 ; t _ 0
1. Verique que as funes apresentadas so realmente solues das equaes de movi-
mento;
2. Deduza a equao caracterstica para o tempo de vo do projtil em funo da veloci-
dade e ngulo 0 de lanamento;
3. Deduza as aproximaes lineares e quadrticas das solues, discuta seu signicado
fsico e calcule os limites lim
|!0+
r(t) e lim
|!0+
j (t);
4. Deduza a relao entre as coordenadas j e r eliminando o tempo e use essa relao
para obter a equao caracterstica do alcance do projtil em funo da velocidade e
do ngulo 0 de lanamento;
5. Calcule o comprimento da trajetria descrita pelo projtil.
7.2 Anlise Matemtica
Problema 59 Usando o conhecimento da derivada do logaritmo natural
d
dr
ln(r) =
1
r
, \r 0
Prove a propriedade caracterstica dessa funo:
ln(a/) = ln(a) + ln(/) , \a, / 0
Problema 60 Seja ) : [a, /] R uma funo integrvel para a qual vale o Teorema do Valor
Intermedirio para Integrais, i.: para todo r
1
, r
2
[a, /] com r
1
< r
2
existe c (r
1
, r
2
)
tal que
_
r2
r1
) (t) dt = ) (c) (r
2
r
1
)
Nesse caso, prove que a funo integral de )
1 : [a, /] R , 1 (r) =
_
r
o
) (t) dt
uma primitiva de ), i.: 1 derivvel e vale
1
0
(r) = ) (r) , r [a, /]
Problema 61 Seja ) : [a, /] R uma funo contnua no-negativa e prove que / o
ponto de mximo da funo
q : [a, /] R , q (r) =
_
r
o
) (:) d:
Problema 62 (Funo Dilogaritmo) A funo dilogaritmo denida por
dilog : R

+
R , dilog (r) :=
_
r
1
ln(n)
1 n
dn
Para essa funo, determine (i) o domnio, (ii) a derivada, (iii) a existncia de assntotas e
(iv) faa um esboo do seu grco. Finalmente, pesquise aplicaes da funo dilogaritmo.
33
Problema 63 (Funo Erro) A Funo Erro ocorre frequentemente em Estatstica porque
est relacionada com a Distribuio Normal de Gauss; ela denida por
1r) : R R , 1r) (r) :=
2
_

_
r
0
c
|
2
dt
1. Prove que 1r) uma funo crescente;
2. Calcule os limites de 1r) para r ;
3. Prove que a funo
j (r) = c
r
+
1
2
c
r
2
1r) (r)
soluo da equao diferencial ordinria
j
0
2rj = 1
Problema 64 (Desigualdade de Gronwall) Seja n : [0, a] R funo contnua para a
qual existem c _ 0 e / _ 0 tais que
0 _ n(t) _ c +
_
|
0
n(:) d: , \t [0, a]
Ento
n(t) _ cc
||
, \t [0, a]
Problema 65 Considerando uma partio conveniente do intervalo [0, 2], mostre que
_
2 +
_
3 _
_
2
0
_
r
4
+ 2dr _ 3
_
2 +
_
3
7.3 Problemas resolvidos
Problema 66 Demostre a desigualdade
1 cos (0)
0
2
_
2

2
, 0 < 0 _
Soluo 67 Considere a funo
) (0) =
1 cos (0)
0
2
, 0 < 0 _
Ento
)
0
(0) =
2 + 2 cos (0) + 0 sin(0)
0
3
Uma plotagem mostra que a derivada de ) negativa no intervalo (0, ],
)
0
(0) < 0 , \0 < 0 _
Sendo )
0
negativa em (0, ], ) decrescente em (0, ] e vale
) (0) _ ) () =
2

2
, \0 _ 0 _
34
Agora, um argumento analtico provando que a derivada de ) negativa no intervalo (0, ].
Primeiro observamos que
)
0
(0) =
2 + 2 cos (0) + 0 sin(0)
0
3
=
1
0
3
_
0 sin0 2
_
0
0
sin(c) dc
_
=
1
0
3
_
0
0
[ccos (c) sin(c)] dc
=
1
0
3
_
0
0
c
_
cos (c)
sin(c)
c
_
dc
Portanto, para provar que )
0
negativa no intervalo (0, ] basta mostrar que o ltimo inte-
grando negativo, i.e.
cos (c) <
sin(c)
c
, \c (0, ]
Provamos essa desigualdade considerando o Teorema do Valor Mdio: para todo c (0, ]
existe
~
c (0, c) tal que
sin(c)
c
=
sin(c) sin(0)
c 0
= cos
_
~
c
_
Ento, como a funo cosseno decrescente no intervalo (0, ] e 0 <
~
c < c _ vale
cos (c) < cos
_
~
c
_
=
sin(c)
c
, \c (0, ]
35
A Funes integrais importantes
Muitas integrais no possuem expresso em termos das funes elementares que so os
polinmios sin, cos, exp e ln; na verdade, muitas integrais denem funes igualmente
importantes para a matemtica e suas aplicaes; apresentamos algumas delas abaixo.
Logaritmo Natural
ln : R

+
R , ln(r) :=
_
r
1
1
t
dt
Funo seno-integral
Si : R R , Si (r) :=
_
r
o
sin(t)
t
dt
Funo Erro
erf : R R , erf (r) :=
1
_

_
r
0
2c
|
2
dt
Funo Gamma
: R

+
R , (r) :=
_
1
0
c
|
t
r1
dt
A funo Gamma denida por uma integral embora no seja uma funo integral ; uma
de suas propriedades importantes que ela generaliza o fatorial:
(:) = (: 1)! , \: N

Funo de Distribuio de Probabilidade Normal

18
com mdia j R e desvio
padro o 0:
1
(,c)
: R R , 1
(,c)
(r) :=
1
_
2o
c

1
2
(
x

)
2
A funo de distribuio de probabilidade normal no uma funo denida por uma
integral, mas vale a seguinte propriedade importante:
_
1
1
1
(,c)
(r) dr = 1
18
H uma famlia de funes tais como a distribuio normal e a funo gamma chamadas generica-
mente de distribuies; elas tm importncia fundamental em diversas reas, particularmente na teoria da
probabilidade.
36
B Derivada Fracionria
!!!!!!!!!!!
37
C Polarizao do Vcuo
Mesmo que o estudante no venha futuramente a trabalhar em TQC, essa
informao mostra que os conceitos e tcnicas do Clculo so amplamente uti-
lizados nas teorias fsicas contemporneas.
A Teoria Quntica de Campos (TQC) uma sntese no-trivial e bastante elaborada da
Teoria da Relatividade com a Mecnica Quntica; ela dene a estrutura geral das teorias
fsicas que atualmente descrevem as partculas e foras fundamentais da natureza, as quais
tm gerado previses amplamente corroboradas por experimentos extremamente precisos,
particularmente aqueles que investigam os fenmenos de altas energias. A polarizao do
vcuo um dos fenmenos surpreendentes que a TQC prev, o que essencialmente consiste
na constante criao e aniquilao de pares de partcula-antipartcula no espao "vazio". Na
Eletrodinmica Quntica (a TQC que descreve o comportamento dos eltrons, psitrons e
ftons em interao eletromagntica), os clculos relacionados com a polarizao do vcuo
envolvem a seguinte integral, chamada integral de disperso:
19
^
(i) =
c
2
i
2
3
_
1
4n
2
: + 2:
2
:
2
(i :)
_
1
4:
2
:
d: (1)
onde : e c so a massa e a carga eltrica do eltron e i um nmero que pode ser positivo
ou negativo (a norma do quadrimomento da partcula criada no vcuo).
Abaixo, calculamos o valor da integral de disperso (1) para i < 0 mediante tcnicas
convencionais.
Para simplicar o integrando, considere a substituio j = j (:) denida pela equao
1
4:
2
:
=
_
1 + j
1 j
_
2
, 4:
2
_ : <
Realmente, essa equao dene biunivocamente j = j (:) para :
_
4:
2
,
_
devido ao
Teorema da Funo Implcita, pois
:
2
:
2
=
dj
d:
_
1 + j
1 j
_

dj
d:
=
:
2
:
2
_
1
4:
2
:
_
1/2
0 , \: 4:
2
Como :
_
4:
2
,
_
, concluimos que j [1, 0) pois
4:
2
_ : < =0 _ 1
4:
2
:
=
_
1 + j
1 j
_
2
< 1 =1 _ j < 0
Uma manipulao algbrica implica
:
:
2
=
(1 j)
2
j
Derivando implicitamente essa expresso, obtemos a relao entre diferenciais
d:
:
2
=
1 j
2
j
2
dj
Finalmente, a integral (1) igual a
^
(i) =
c
2
i
2
3
_
1
4n
2
1 +
2n
2
s
: (i :)
_
1
4:
2
:
d: =
c
2
i
2
3
_
0
1
1
2q
(1q)
2

n
2
(1q)
2
q
_
i +
n
2
(1q)
2
q
_
1 + j
1 j
1 j
2
j
2
dj
19
Vide: G. Scharf, Finite Quantum Electrodinamics: the causal approach, 2nd ed., Springer-Verlag, 1995:
pp.202-207
38
donde
^
(i) =
c
2
i
2
3:
2
_
0
1
j
2
4j + 1
ji + :
2
(1 j)
2
(1 + j)
2
(1 j)
4
dj (2)
Agora, utilizamos a mudana de variveis denida pela seguinte equao
i
:
2
=
(1 )
2

Por um argumento similar ao desenvolvido acima, podemos concluir que essa equao dene
biunivocamente = (i) para i (, 0), implicando (0, 1). Ento, reescrevemos a
integral (2):
^
(i) =
c
2
i
2
3:
2
_
0
1
j
2
4j + 1
ji + :
2
(1 j)
2
(1 + j)
2
(1 j)
4
dj
=
c
2
:
2
3
(1 )
4

2
_
0
1
j
2
4j + 1
j
n
2
(1)
2

+ :
2
(1 j)
2
(1 + j)
2
(1 j)
4
dj
=
c
2
:
2
3
(1 )
4

2
_
0
1
j
2
4j + 1
(j ) (j 1,)
(1 + j)
2
(1 j)
4
dj
Essa ltima integral pode ser calculada pelo mtodo das fraes parciais:
j
2
4j + 1
(j ) (j 1,)
(1 + j)
2
(1 j)
4
=???
Integrando as parcelas acima, obtemos
^
(i) =
c
2
:
2
3
_
1 +
1
_
4 +
1

_
ln() +
5
3
+
5
3
1

22
3
_
,
i
:
2
=
(1 )
2

, i < 0 (3)
39
References
[1] C.H. Edwards, The Historical Development of Calculus, Springer-Verlag, 1979.
[2] D.M. Flemming, M.B. Gonalves, Clculo A, Makron Books, 5a. edio (1992).
[3] G.G. Garbi, O Romance das Equaes Algbricas 2a edio, So Paulo: Editora
Livraria da Fsica, 2007.
[4] H. Goldstein, Classical Mechanics, Addison Wesley, 2nd. edition, 1980.
[5] S. Lang, Estruturas Algbricas, Rio de Janeiro: Editora Ao Livro Tcnico, 1972.
40