Curso de C

alculo 3
UNIVERSIDADE FEDERAL DE PERNAMBUCO

CENTRO DE CIENCIAS
EXATAS E DA NATUREZA
Disciplina: Calculo 3 - 2010.1
Professor: Gabriel de Morais Coutinho
Data: Mar/2010
Observacao importante: Ao longo do que segue, n
ao estaremos preocupados com os devidos
cuidados formais que algumas definic
oes, passagens, comentarios e demonstracoes exigem. Este e
um texto com o objetivo de motivar e explicar, e nao de apresentar resultados matematicos formais.
Para os que quiserem textos rigorosos a nvel de um curso de Calculo, sugiro:
C
alculo 2 de Serge Lang, editora Ao Livro Tecnico S.A.
Um curso de C
alculo vols 2, 3 e 4 de Hamilton Guidorizzi, editora LTC.
Um bom livro com exerccios e figuras, e referencia para a montagem deste curso e:
C
alculo, v.2 de James Stewart, editora CENGAGE.
Livros de um nvel mais aprofundado, para os que quiserem contato com matematica a nvel
superior, sao:
Geometria Diferencial de Curvas e Superfcies de Manfredo P. Carmo, editora da SBM.
An
alise Real v.1 de Elon L. Lima, editado pelo IMPA.

Sum
ario
I

1a unidade

1 Curvas parametrizadas
1.1 Introduc
ao . . . . . . . . . . . . . . . . . . . . . . . .
1.2 A derivada de uma curva . . . . . . . . . . . . . . .
1.2.1 Curva (parametrizac
ao) regular . . . . . . . .
1.2.2 Reparametrizac
ao . . . . . . . . . . . . . . .
1.3 O comprimento de uma curva . . . . . . . . . . . . .
1.3.1 Reparametrizac
ao pelo comprimento do arco
1.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

5
5
7
8
8
9
12
13

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

15
15
16
16
17
18

. . . . . . . . . . .
. . . . . . . . . . .

20
23

3 Teorema de Green
3.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

24
26

A Ap
endice - Geometria de Curvas
A.1 Curvatura para curvas planas . . . . . . . . . . . . .
A.2 Curvas espaciais - o triedro de Frenet e a torcao . . .
A.2.1 F
ormulas de Frenet . . . . . . . . . . . . . . .
A.3 Parametrizac
oes quaisquer e f
ormulas . . . . . . . .
A.3.1 F
ormula para curvatura . . . . . . . . . . . .
A.3.2 F
ormula para torc
ao . . . . . . . . . . . . . .
A.4 Existencia e Unicidade de curvas - breve comentario
A.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . .

27
27
28
29
30
31
32
32
33

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

2 Integrais de linha e campos vetoriais

2.1 Integrais de linha por comprimento de arco . . . . . . . . . . . . .
2.2 Integrais de linha sobre campos vetoriais . . . . . . . . . . . . . . .
2.2.1 Trabalho . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.2 Integral de linha sobre um campo . . . . . . . . . . . . . . .
2.2.3 Campos Conservativos . . . . . . . . . . . . . . . . . . . . .
2.2.4 Teorema Fundamental da Integrais de Linha sobre Campos
Conservativos . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

II

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

2a unidade

35

4 Superfcies parametrizadas e integrais de superfcie

4.1 Introduc
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

36
36

4.2
4.3
4.4
4.5

.
.
.
.

37
38
40
41

5 Teorema de Stokes e Teorema da Diverg

encia
5.1 Teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Teorema da Divergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

42
42
44
47

B Demonstra
c
ao do Teorema de Stokes e do Teorema da Diverg
encia
B.1 Demonstrac
ao do Teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . .
B.2 Demonstrac
ao do Teorema da Divergencia . . . . . . . . . . . . . . . . . . . . . . . . .

49
49
51

C Revis
ao - integrais triplas
C.1 Coordenadas retangulares . . .
C.2 Mudanca de vari
aveis . . . . .
C.3 Coordenadas cilndricas . . . .
C.4 Coordenadas esfericas . . . . .
C.5 Aplicac
ao: C
alculo de volumes
C.6 Exerccios . . . . . . . . . . . .

54
54
56
56
58
59
61

III

Plano tangente e vetor

Area
de superfcies . .
Integrais de superfcie
Exerccios . . . . . . .

normal
. . . . .
. . . . .
. . . . .

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

3a unidade

62

6 Sequ
encias
6.1 Criterios de convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2 Exemplos cl
assicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

63
65
67
70

7 S
eries
7.1 Criterios de convergencia e divergencia . . . . . . . . . . .
7.1.1 Criterios para series de termos positivos . . . . . .
7.1.2 Series de termos quaisquer . . . . . . . . . . . . . .
7.2 Exemplos mais sofisticados e um resultado surpreendente
7.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

71
73
74
79
80
83

8 S
eries de Pot
encias e S
eries de Taylor
8.1 Raio de Convergencia . . . . . . . . . .
8.2 Series de Taylor . . . . . . . . . . . . . .
8.2.1 Derivada e integral de uma serie
8.2.2 Serie de Taylor de uma funcao .
8.3 Exerccios . . . . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

85
85
88
88
90
94

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

O texto a seguir n
ao foi revisado e pode conter erros.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

Parte I

1a unidade
Onde falaremos sobre curvas parametrizadas, integrais de linha
e o teorema de Green

Captulo 1

Curvas parametrizadas
1.1

Introdu
c
ao

Nosso ambiente de estudo poder

a ser os espacos R2 ou R3 . Nosso interesse inicial e descrever curvas
nestes espacos, e para tal vamos introduzir a ideia de curva parametrizada.
Defini
c
ao 1.1. Uma curva parametrizada em R2 e uma funcao contnua definida num intervalo I dos
n
umeros reais. Ou seja, : I R2 que associa a cada n
umero no intervalo a um ponto no plano.
Sera comum representarmos da forma a seguir:
(t) = (x(t), y(t))
A motivac
ao de introduzir essa definicao para falarmos de curvas no R2 e que nem todas as curvas
podem ser expressas como o gr
afico de uma funcao f : R R. Por exemplo, nao existe funcao desta
forma cuja o gr
afico seja uma circunferencia. No maximo podemos expressar uma semi-circunferencia
fazendo f (t) = 1 t2 (no caso, o raio seria 1).
Exemplo 1.1. Por outro lado, a circunferencia de raio 1 pode ser representada como uma curva
parametrizada da seguinte forma:
(t) = (cos(t), sen(t))
onde t [0, 2], ou seja, : [0, 2] R2 . Para se convencer disto, basta pensarmos no crculo
trigonometrico, que e um crculo e as coordenadas dos pontos sao exatamente o seno e o cosseno do

Angulo
(no caso, o nosso par
ametro t).
Note que neste exemplo, x(t) = cos(t) e y(t) = sen(t).
Talvez seja interessante imaginarmos uma curva parametrizada como um ponto descrevendo uma
trajetoria no plano. Mesmo que trajet
oria seja o crculo unitario, existem diversas como um ponto
pode percorre-la: velocidade baixa, alta, constante ou variavel, acelerando e depois desacelerando, etc.
Esta forma de percorrer e dada pela parametrizacao. Isto nos sugere que diferentes parametrizac
oes
podem ter a mesma curva como imagem.
Exemplo 1.2. A curva (t) = (cos(2t), sen(2t)) com t [0, ] e exatamente o crculo unitario,
mas e
como se a velocidade tivesse sido duas vezes maior. E ainda, (cos(t2 ), sen(t2 )), com t [0, 2] e a
mesma curva, mas e como se a velocidade fosse aumentando a medida que t cresce. Futuramente, ao
falarmos de derivada, vamos quantificar esta nocao de velocidade.
Estender os coment
arios acima para o espaco R3 e facil.
5

Defini
c
ao 1.2. Uma curva parametrizada em R3 e uma funcao contnua : I R3 que associa
a cada n
umero no intervalo I R a um ponto no espaco. Sera comum representarmos da forma a
seguir:
(t) = (x(t), y(t), z(t))
Exemplo 1.3. Consideramos a seguinte curva
(t) = (cos(t), sen(t), t)
onde t [0, 2]. Qual o formato desta curva? Para responder perguntas deste tipo, o mais interessante
e eliminarmos uma coordenada de modo que ela se torne mais familiar. Por exemplo, se nao existisse
au
ltima, seria exatamente o crculo do exemplo anterior. Significa que onde quer que ela esteja no
espaco, sua projec
ao no plano ser
a o crculo unitario, ou seja, esta curva localiza-se no cilindro reto
sobre este crculo.
Ocorre que a medida que o par
ametro t aumenta, de 0 a 2, as duas primeiras coordenadas fazem
os pontos da curva descrevem uma trajetoria circular, ao passo que a u
ltima coordenada faz os pontos
subirem. Ou seja, teremos um formato helicoidal - a curva sera uma helice!
Exemplo 1.4. Qual uma curva parametrizada que representa a intersecao entre o cilindro x2 + y 2 = 1
e o plano y + z = 2 ? Ora, chamando x = x(t), y = y(t) e z = z(t), temos que:
x(t)2 + y(t)2 = 1
O conjuntos de todos os pontos que satisfazem tal equacao e justamente x(t) = cos(t) e y(t) = sen(t),
com t [0, 2]. Agora:
y(t) + z(t) = 2 sen(t) + z(t) = 2 z(t) = 2 sen(t)
Portanto nossa curva ser
a:
(t) = (cos(t), sen(t), 2 sen(t)) com t [0, 2]
Exemplo 1.5. Este exemplo e um exerccio. Qual uma curva parametrizada que representa a intersecao entre o parabol
oide y = x2 + z 2 com o plano x = z ??
(1) Encare estas vari
aveis como as funcoes x(t), y(t), z(t). (2) O que voce pode dizer facilmente
sobre x(t) e z(t)? (3) Arbitrariamente, decida que alguma destas funcoes sera simplesmente = t.
Quais parecem uma boa escolha? (4) Substitua na expressao para y(t).
Voce seria capaz de desenhar esta curva? Tendo chamado x(t) de t2 , teramos obtido a mesma
curva? E se fosse t3 ?
Citamos que uma curva parametrizada deve ser uma funcao contnua. De fato, para que isto
ocorra, e necess
ario e suficiente que cada funcao coordenada seja contnua. A proposicao a seguir
esclarece este fato:
Proposi
c
ao 1.1. Seja : I R3 uma curva parametrizada tal que (t) = (x(t), y(t), z(t)). Ent
ao:
lim (t) = ( lim x(t), lim y(t), lim z(t))

tt0

tt0

tt0

tt0

Se cada componente e contnua, teremos que:

( lim x(t), lim y(t), lim z(t)) = (x(t0 ), y(t0 ), z(t0 ))
tt0

tt0

tt0

Logo limtt0 (t) que e exatamente a primeira parte sera igual a (t0 ), que e segunda parte, garantindo
que a curva e contnua.
6

1.2

A derivada de uma curva

A pergunta natural a se fazer em um curso de calculo logo que uma estrutura e definida e: e a sua
derivada?
Sem dificuldades, temos que:
Proposi
c
ao 1.2. Seja : I R3 uma curva parametrizada tal que (t) = (x(t), y(t), z(t)). Ent
ao:
0 (t) = (x0 (t), y 0 (t), z 0 (t))
valendo o resultado an
alogo para R2 .
Demonstra
c
ao. Por definic
ao de derivada, temos que:
0 (t) = lim

t0

(t + t) (t)
t

Mas o lado direito e exatamente:

lim

t0

(x(t + t), y(t + t), z(t + t)) (x(t), y(t), z(t))

=
t

(x(t + t) x(t), y(t + t) y(t), z(t + t) z(t))

t
Colocando o t para dentro das coordenadas, teremos:


x(t + t) x(t) y(t + t) y(t) z(t + t) z(t)
lim
,
,
=
t0
t
t
t


y(t + t) y(t)
z(t + t) z(t)
x(t + t) x(t)
, lim
, lim
= lim
t0
t0
t0
t
t
t
= lim

t0

Que finalmente e:
(x0 (t), y 0 (t), z 0 (t))
como queramos.
Esperamos que a demonstrac
ao acima nao tenha parecido longa e tecnica - na verdade ela s
o e
macante. O leitor atento pode observar que trata-se apenas de operacoes simples com vetores, e de
uma aplicacao da Proposic
ao 1 sobre limite de funcoes vetoriais.
Exemplo 1.6. A derivada da curva (t) = (cos(t), sen(t)) e:
0 (t) = (sen(t), cos(t))
A cada ponto de uma curva est
a associado um vetor derivada. Se imaginarmos uma curva
parametrizada como um ponto descrevendo uma trajetoria no espaco, este vetor sera exatamente
a tangente da curva naquele ponto - fisicamente, o tamanho do vetor e exatamente a velocidade do
ponto, pois o tamanho do vetor d
a a ideia de com qual intensidade a partcula esta se movendo para
a direcao do vetor.

Exemplo 1.7. A derivada da curva (t) = (cos(2t), sen(2t)) e:

0 (t) = (2sen(2t), 2 cos(2t))
p
Logo ||0 (t)|| = ||(2sen(t), 2 cos(t))|| = 2 cos2 (2t) + sen2 (2t) = 2 Ou seja, a partcula estaria descrevendo com velocidade 2 o crculo unitario. No exemplo anterior, qual era a velocidade?!
Exemplo 1.8. Este exemplo e um exerccio. Consideremos a helice no R3 :
(t) = (cos(t), sen(t), t2 ) com t [0, 2]
Qual o vetor tangente a curva em t = ? Qual a funcao que determina a velocidade do ponto
percorrendo a curva? Qual a velocidade do ponto em t = 2?
(1) Faca a derivada da curva. (2) Substitua t = para saber o vetor tangente. (3) Calcule a
norma do vetor derivada - esta ser
a a funcao que dara a velocidade. (4) Substitua t = 2.

1.2.1

Curva (parametrizac
ao) regular

Defini
c
ao 1.3. Dizemos que uma curva (parametrizacao) e regular se sua derivada nunca e o vetor
nulo, ou seja, se 0 (t) 6= 0 para todo t I, onde este zero representa o vetor nulo.
Note que quando uma curva n
ao e regular, em algum ponto a derivada se anula. Fisicamente, e
como se a partcula parasse em sua trajetoria. Ao retomar o movimento, ela pode alterar drasticamente
a direcao, gerando uma especie de bico no formato da curva. Observe:
Exemplo 1.9. A curva (t) = (t3 , t2 ) e tal que 0 (t) = (3t2 , 2t). Quando t = 0, temos 0 (0) = (0, 0).
Desenhe esta curva e constate que existe um bico na origem. Para sabermos analiticamente se a curva
formara um bico, o ideal e escrevermos uma componente (y(t)) em termos da outra: se x(t) = t3 ,

entao t = 3 x. Como y(t) = t2 , teremos:

y = x2/3
Derivando, teremos:
dy
2
= x1/3
dx
3
que nao e definida se x = 0! Isso nos indica que nao ha tangente possvel para a curva - sendo o caso
de existir um bico.

1.2.2

Reparametrizac
ao

Vamos atentar para um fato que j

a foi discutido anteriormente. Consideramos uma curva parametrizada
por : I R3 . Agora considere que existe um intervalo J e uma funcao : J I. Definimos (s)
por:
(s) = ((s))
Tal e uma reparametrizac
ao da curva.
Exemplo 1.10. Lembre-se de quando consideramos a curva (t) = (cos(t), sen(t)), t [0, 2], e
mostramos que (s) = (cos(2s), sen(2s)), s [0, ], era exatamente a mesma curva. Ora, nosso
neste caso e tal que : [0, ] [0, 2] sendo (t) = 2t.

Observe que se
(s) = ((s))
entao temos que:
0 (s) = 0 (s) 0 ((s))
Desta forma, 0 (s) determina a relac
ao entre as derivadas. Se for positiva, a reparametrizacao ocorre
sem alterar o sentido da trajet
oria. Se for negativo, os sentidos serao opostos.
Exemplo 1.11. Este exemplo e um exerccio. Considere a parametrizacao do trecho de parabola:
(t) = (t, t2 ), com t [2, 2]
E a reparametrizac
ao do mesmo trecho:
(s) = (4s, 16s2 )
Determine (incluindo os intervalos) e decida se houve alteracao no sentido.
(1) Em quem o par
ametro t foi mandado? (2) Qual a derivada desta funcao? (3) Para que a
imagem fique entre 2 e 2, o domnio tem que ser qual intervalo? (4) Qual o sinal da derivada?
Esta subsec
ao estabelece de vez que uma mesma curva pode ter varias parametrizacoes. Preferiremos entao nos referirmos `
a parametrizac
ao quando estivermos falando da funcao, e de curva quando
estivermos falando da imagem.

1.3

O comprimento de uma curva

Nosso objetivo nesta sec

ao ser
a calcular o comprimento de um arco (trecho) de uma curva parametrizada.
Exemplo 1.12. Consideremos a parametrizacao da helice : [0, 2] R3 com:
(t) = (cos(t), sen(t), t)
Suponha que uma partcula se move por esta trajetoria. O significado fsico do intervalo sobre o qual
esta definido e de tempo, e n
os sabemos calcular a velocidade, sera:
q

0
|| (t)|| = ||(sen(t), cos(t), 1)|| = (sen(t))2 + (cos(t))2 + 12 = 2
Opa, a velocidade e constante! N
os sabemos o tempo. Alguma ideia de qual foi o espaco? A fsica
nos diz que comprimento da curva, que denotaremos por L, sera:

L = velocidade tempo = 2 2
Tudo seria perfeito se a velocidade fosse sempre constante. Ocorre que nem sempre e facil acharmos
uma parametrizac
ao cuja velocidade seja constante. Por exemplo, qual o comprimento
do arco de
parabola parametrizado por (t) = (t, t2 ) com t [0, 1] ? A velocidade sera ||0 (t)|| = 1 + 4t2 , que
infelizmente n
ao e constante.
Ora, o produto tempo vezes velocidade nada mais e do que a soma da velocidade por ela mesma
tantas unidades quanto for o tempo. Se a velocidade da partcula na parabola fosse constante em cada
unidade de tempo, bastaria calcular o comprimento de cada parte e depois somar. O problema e que
9

a velocidade varia a cada mnimo instante. Entao poderamos pegar um valor medio da velocidade
em cada unidade de tempo e fazermos esta conta - obteramos um valor aproximado.
Para melhorar a aproximac
ao, poderamos dividir o tempo em decimos de uma unidade, pegando o
valor medio da velocidade em cada decimo, calculando cada comprimento percorrido, e depois somando
tudo. Mas este ainda n
ao seria o valor exato.
O leitor perspicaz j
a deveria ter antevisto onde vamos chegar. O que estamos sugerindo e iterar
infinitas vezes uma soma de valores sobre particoes cada vez menores de um intervalo - ou seja:
integrar!
Em matem
atica, a integrac
ao serve justamente para interpretarmos os casos em que queremos
fazer uma soma (infinita) de uma grandeza que varia continuamente de acordo com outra. Motivados
por esta discuss
ao, e sem mais delongas, teremos que:
Teorema 1.1. Dada uma parametrizacao : [a, b] R3 de uma curva em R3 , temos que o comprimento da curva ser
a dado por:
Z b
||0 (t)|| dt
L=
a

O leitor j
a deveria est
a bastante convencido deste resultado, mas apresentaremos um esboco da
demonstracao formal por quest
oes de completude - e para que fique claro que as ideias matem
aticas
nao dependem a priori de conceitos fsicos.
Demonstra
c
ao. Consideremos a particao do intervalo [a, b] em {a = t0 , t2 , ..., tn = b}. Seja Pi = (ti ).
Observe agora que a poligonal que liga os pontos Pi e uma aproximacao da curva. O tamanho da
curva sera aproximadamente
n
X
||Pj Pj1 ||
j=1

Vamos agora fazer essa soma tomando uma particao infinita. Se a particao for infinita, teremos que
tj tj1 = t 0. Neste caso:


Pj Pj1
x(tj ) x(tj1 ) y(tj ) y(tj1 ) z(tj ) z(tj1 )
lim
= lim
,
,
= 0 (tj )
t0
t0
t
t
t
t
Concluindo que:
Pj Pj1 = 0 (tj ) t se 0
Entao finalmente:
lim

n
X

||Pj Pj1 || = lim

n
X

t0

||0 (tj )|| t

n j=1

j=1

Mas esta e exatamente a definic

ao de integral. Logo:
Z b
L=
||0 (t)|| dt
a

Exemplo 1.13. Qual o comprimento da catenaria dada por y = cosh(x) no intervalo x [0, 2] ?
Comecamos parametrizando a curva, fazendo x(t) = t. Logo:
(t) = (t, cosh(t)) com t [0, 2]
Da teremos que:
0 (t) = (1, senh(t)) ||0 (t)|| =
10

q
1 + senh2 (t)

Lembrando que a identidade trigonometrica hiperbolica fundamental diz que cosh2 (t) = 1 + senh2 (t),
teremos que:
||0 (t)|| = cosh(t)
Logo
2

Z
L=
0

2

e2 e2
cosh(t) dt = senh(t) =
2
0

Exemplo 1.14. Este exemplo e um exerccio.

Exiba uma integral que determina permetro da elipse que passa pelos pontos (2, 0), (0, 1), (2, 0)
e (0, 1).
(1) Que tal desenhar a elipse? (2) Qual a equacao cartesiana que esta elipse satisfaz? Comece
2
2
determinando o a e o b e lembre-se que a equacao e xa2 + yb2 = 1. (3) Qual o conjunto de todos

os pontos que satisfazem uma soma de quadrados igual a 1? Isso mesmo, chame x(t)
a = cos(t) e
y(t)
cao. Qual e o intervalo? O mesmo de sempre, afinal estamos
b = sen(t). (4) Escreva a parametriza
dando uma volta. (5) Calcule a derivada da parametrizacao. (6) Calcule a funcao da velocidade. (7)
Exiba a integral. Voce seria capaz de calcular esta integral?

Alguem questionador poderia estar pensando: o comprimento de uma curva so depende da curva
e nao depende da parametrizac
ao - mas para calcula-lo nos utilizamos uma parametrizacao especfica
!! A proposic
ao a seguir vai convence-lo de vez que esta dependencia e apenas aparente.
Proposi
c
ao 1.3. O comprimento de uma curva nao depende da parametrizacao.
Demonstra
c
ao. Consideramos duas parametrizacoes de uma curva qualquer, : [a, b] R3 e
3
: [c, d] R , sendo : [c, d] [a, b] como ja havamos definido. Suponhamos que 0 (s) > 0 sempre,
o caso oposto e an
alogo. N
os vamos mostrar que:
Z

|| (t)|| dt =
a

|| 0 (s)|| ds

Para tal, observe que:

Z

|| (s)|| ds =
c

||0 ((s))|| 0 (s) ds

Agora chamamos t = (s). Vamos aplicar o Teorema de Mudanca de Variaveis para integrais. Pela
regra pratica, fazemos:
dt
= 0 (s) dt = 0 (s) ds
ds
Notando tambem a = (c) e b = (d), teremos:
Z

(d)=b

|| ((s))|| (s) ds =
c

(c)=a

exatamente como queramos.

11

||0 (t))|| dt

1.3.1

Reparametrizac
ao pelo comprimento do arco

Nem sempre ser

a possvel, mas as vezes e interessante reparametrizarmos uma curva de modo que a
velocidade da partcula seja sempre 1, ou seja, dado um (t), acharmos um (s) = ((s)) de modo
que || 0 (s)|| = 1. Significa dizer que o comprimento do arco no instante t em sera exatamente igual
`a variacao do tempo (par
ametro s). Por isto tal parametrizacao sera chamada de parametrizac
ao pelo
comprimento de arco. Queremos dizer que:
Z t
||0 (u)|| du
s = (t) =
a

Tal relacao nos permite mandar o intervalo [a, b] do parametro t no intervalo [0, L] do parametro s
por meio da func
ao (t). Mas para acharmos a (s), precisamos da (s), que tem exatamente a ac
ao
oposta, ou seja, e a inversa de (t).
Como calcular (t)? Ora, se ||0 (t)|| possuir uma primitiva entao o Teorema Fundamental do
Calculo nos garante que (t) ser
a exatamente esta primitiva.
Para comprovar que este procedimento de fato ira gerar uma parametrizacao de velocidade 1, note
que:
||0 (t)||
|| 0 (s)|| = 0 (s) ||0 ((s))|| =
0 (t)
Mas (t) e uma primitiva de ||0 (t)|| - sua derivada e exatamente ||0 (t)||. Logo:
|| 0 (s)|| =

||0 (t)||
||0 (t)||
=
=1
0 (t)
||0 (t)||

Exemplo 1.15. Vamos reparametrizar a helice dada por (t) = (cos(t), sen(t), t) pelo comprimento
de arco.

Comecamos fazendo 0 (t) = (sen(t), cos(t), 1). Da teremos que: ||0 (t)|| = 2. Calculamos
entao:
Z
Z

0
2 dt = 2t
(t) =
|| (t)|| dt
=
|
{z
}
Rt
a

A inversa desta func

ao e:

||0 (u)|| du pelo TFC

s
(s) =
2

Logo a parametrizac
ao por comprimento de arco da helice sera:






s
s
s
(s) = cos
, sen
,
2
2
2

12

1.4

Exerccios

Quest
ao 1.1. Parametrize os segmentos ligando os pares de pontos a seguir.
(a) (0, 1) e (1, 2) (b) (1, 2, 3) e (4, 1, 7) (c) (0, 0, 0) e (1, 3, 8)
Dica: O segmento ligando os pontos P e Q e dado por (t) = P + t(Q P ) com t variando em algum
intervalo (qual?!).
Quest
ao 1.2. Parametrize as curvas descritas abaixo.
(a) As duas curvas da intersec
ao entre o cone z 2 = x2 + y 2 e o plano x = 1.
(b) Intersec
ao entre a superfcie z 3 = x2 + y 2 e o plano x = y + 1.
(c) Intersec
ao do parabol
oide hiperb
olico z = x2 y 2 e a esfera x2 + y 2 + z 2 = 1 (desenho da bola
de tenis). Dica: lembre-se das coordenadas esfericas....
Quest
ao 1.3. Um disco circular de raio 1 no plano xy localizado sobre o ponto (0, 0) no instante
t = 0 gira sem escorregar para a direita. Parametrize a curva descrita pelo ponto do disco localizado
sobre (0, 0) a medida que o disco gira (esta curva chama-se cicl
oide). Dicas: (1) Faca um desenho (2)
Lembre-se que os movimentos horizontal e vertical sao independentes.
Quest
ao 1.4. (1) Ache a derivada das curvas parametrizadas a seguir.
(a) (t) = (t, t2 ) (b) (t) = (cos(t), et 1, t2 ) (c) (t) = (t3 , sen(t) + 1, 1)
onde t [1, 1]. (2) Determine os vetores tangentes a cada uma dessas curvas quando t = 1. (3)
Alguma destas parametrizac
oes n
ao e regular?

Quest
ao 1.5. Ache uma parametrizac
ao da reta tangente `a curva (t) = (1 + 2 t, t3 t, t3 + t) no
ponto (3, 0, 2).
Quest
ao 1.6. Considere
que uma partcula se move atraves da hiperbole seguindo a parametrizac
ao

convencional (t, t2 1). Determine a velocidade desta partcula no instante t.

Quest
ao 1.7. Considere a curva parametrizada por (t) = (cos(t), cos2 (t)) com t [0, ]. (a) Esta
parametrizac
ao e regular? (b) Existe um bico? (c) Que curva e esta? (d) Esta curva e regular?
(e) Caso positivo, exiba uma parametrizacao regular desta curva. (f) Qual a funcao usada para
reparametrizar?
Quest
ao 1.8. Demonstre que a reta tangente `a circunferencia e sempre ortogonal ao raio. Dica:
A formula para a derivada do produto (escalar, no caso de vetores) tambem vale para curvas! A
proposito, demonstre este fato tambem.
Quest
ao 1.9. Calcule o comprimento das curvas a seguir.

(a) (t) = 2t, t2 , 31 t3 (b) (t) = (1, t2 , t3 ) (c) (t) = ( 2 t, et , et )
Todas com t [0, 1].
Quest
ao 1.10. Considere a curva (t) = (et/2 cos(t), et/2 sen(t)) com t [0, ). (1) Esboce o
tracado desta curva, mostrando que ela se aproxima da origem quando t . (2) Mostre que
0 (t) (0, 0) quanto t . (3) Calcule o limite do comprimento da curva quando t ,
concluindo que apesar de infinita, a curva tem comprimento finito.
13

Quest
ao 1.11. Lembra-se da curva dada por (t2 , t3 ) ? Reparametrize-a por comprimento de arco.
Obviamente voce nem se preocupou com o fato que esta curva nao era regular - mas olhe agora para
o seu parametro de comprimento de arco e decida se ele pode estar definido no ponto t = 0...
Quest
ao 1.12. Reparametrize a par
abola por comprimento de arco. Dica: Em alguma integral
que aparecer, chame 2t = tan() e resolva-a por substituicao (voce tambem poderia fazer usando o
ArcSenh). Foi possvel inverter a func
ao obtida?
Quest
ao 1.13. Reparametrize a curva

(t) =

2
2t
1, 2
2
t +1
t +1

com respeito ao comprimento de arco medido a partir do ponto (1, 0) na direcao de um t crescente.
Expresse a reparametrizac
ao na forma mais simples. O que pode-se concluir a respeito da curva?

14

Captulo 2

Integrais de linha e campos vetoriais

Ate o presente momento, ao longo do estudo do calculo integral, so nos dedicamos a definir integrais
de funcoes reais sobre regi
oes de mesmo dimensao que o espaco ambiente. Ou seja, tnhamos integrais
de funcoes reais de 1 vari
avel sobre R, integrais de funcoes reais de 2 variaveis sobre R2 e integrais de
funcoes reais de 3 vari
aveis sobre R3 .
Neste captulo, estaremos interessados em definir integrais diferentes. O primeiro tipo se pretende
a calcular a integral de uma func
ao real definida sobre a curva. Ja o segundo tipo dependera da noc
ao
de campo vetorial, e pretender
a calcular a integral deste campo ao longo da curva.

2.1

Integrais de linha por comprimento de arco

O primeiro tipo de integral que definiremos sao as integrais de linha por comprimento de arco. O
objetivo e generalizar as observac
oes feitas acerca de como se calcula o comprimento de curvas.
Consideramos uma parametrizac
ao : I R3 . No espaco em que a imagem (curva) estiver
definida, consideramos uma func
ao real f : R3 R. Estaremos interessados em calcular a integral
desta funcao ao longo da curva. Para tal, lembramos da motivacao do conceito de integral: calcular a
soma dos valores de uma func
ao sobre um espaco considerando uniformemente a dimensao do espaco.
Em outras palavras, e como se estivessemos somando o valor medio da funcao em intervalos regulares
de distancia, e fizessemos os limites dos comprimentos desses intervalos tenderem a zero.
A parametrizac
ao e arbitr
aria, mas sabemos que o componente ||0 (t)|| uniformizaa integral - e
o parametro comprimento de arco. Sem mais delongas, definimos:
Defini
c
ao 2.1. Seja : I R3 uma parametrizacao e f : R uma funcao definida num conjunto
R3 que contenha a curva. A integral de linha de f sobre com respeito ao comprimento de arco
sera:
Z
Z
b

f ds =

f ((t))||0 (t)|| dt

Observe que se por algum motivo a curva estiver parametrizada por comprimento de arco, ent
ao
||0 (t)|| = 1 e e como se simplesmente estivessemos calculando a integral sobre um intervalo da reta
de mesmo comprimento que a curva.
Exemplo 2.1. Vamos calcular a integral da funcao f (x, y) = x2 + 2y 2 ao longo da circunferencia
unitaria (t) = (cos(t), sen(t)) com t [0, 2]. Como sempre, temos:
||0 (t)|| = 1

15

Entao aplicamos nossa definic

ao de integral:
Z
Z 2
Z
2
2
f ds =
(cos(t) + 2sen(t) ) dt =

(1 + sen(t)2 ) dt = 3

Exemplo 2.2. Vamos calcular a integral da funcao f (x, y, z) = x2 + y 2 + z 2 ao longo da helice

distendida (t) = (2 cos(t), 2sen(t), t2 ) com t [0, 1]. Primeiro fazemos:
p
0 (t) = (2sen(t), 2 cos(t), 2t) ||0 (t)|| = 2 1 + t2
Entao aplicamos nossa definic
ao de integral:
Z 1
Z
Z

 p
2
2
2 2
2
(2 cos(t)) + (2sen(t)) + (t ) 2 1 + t dt = 2
f ds =

(4 + t4 )

p
1 + t2 dt

Qualquer pessoa nota facilmente que o resultado sera

 1


1 p
2
4
2
t 1 + t 93 + 2t + 8t + 99ArcSenh(t)  =
24
0
=


1 
2 (103) + 99ArcSenh(1)
24

Exemplo 2.3. Exemplo exerccio.

A massa de um objeto e a sua densidade calculada ao longo de sua dimensao. Se pensarmos num
fio muito fino como algo unidimensional, poderemos calcular sua massa fazendo a integral de uma
funcao densidade ao longo da curva descrita por ele. Por exemplo, consideramos o fio (t) = (t, t, t)
com t [0, 2] e (x, y, z) = xyz a densidade linear do fio. Qual a sua massa?
Basta (1) calcular ||0 (t)|| (2) montar a integral (3) resolve-la.

2.2

Integrais de linha sobre campos vetoriais

Motivados pelo conceito fsico de trabalho, vamos mostrar como integrar um campo de vetores (em
geral do R3 ) ao longo de uma curva no espaco ambiente. A partir de agora introduziremos o termo
suave para nos referirmos a curvas com derivada contnua.
Felizmente estas integrais podem ser facilmente tratadas se o campo de vetores satisfizer uma
determinada condic
ao, atraves de um resultado analogo ao Teorema Fundamental do Calculo. Ao
longo do texto, representar
a um conjunto do R2 ou do R3 , mas as ideias se generalizam para o Rn .
Sem mais delongas:

2.2.1

Trabalho

Vamos iniciar motivando a definic

ao de integral de linha:
3
Seja F : R uma campo de forcas, ou seja, uma funcao que associa a cada ponto de um
vetor, e consideremos uma partcula cuja trajetoria e descrita por uma curva : [a, b] . Se o
campo for constante, se a trajet
oria for um segmento reto, e se o sentido do campo for o mesmo da
trajetoria, ent
ao o trabalho realizado por F e dado por
= ||F ||.||(b) (a)||
16

Note que se a forca n

ao atuasse no mesmo sentido, e que o angulo entre os sentido fosse , faramos
simplesmente:




= ||F ||.||(b) (a)||. cos() = F, (b) (a) = F (b) (a)
Suponhamos agora que F e sejam quaisquer, com F contnuo e suave. Para calcularmos
o trabalho, fazemos como sempre. Consideramos uma particao de [a, b] chamada P definida por
razoavel ent
a = t0 < t1 < ... < tn = b, onde o maior ti = ti ti1 e suficientemente pequeno. E
ao
esperar que a soma:
n
X


F ((ti1 )) (ti ) (ti1 )
i=1

seja uma boa aproximac

ao para . Quanto menor for max ti , melhor sera a aproximacao. Agora
lembre-se que:
(ti ) (ti1 )
lim
= 0 (ti1 )
ti 0
ti
Logo a medida que max ti diminuir, teremos a aproximacao.
(ti ) (ti1 ) 0 (ti1 )ti
Logo temos que:

n
X

F ((ti1 )) 0 (ti1 )ti

i=1

Como F ((t)) 0 (t) e contnua, logo integravel, teremos que:

lim

ti 0

n
X

F ((ti1 )) ( (ti1 )ti ) =

F ((t)) 0 (t) dt

i=1

Isto motiva nossa definic

ao.

2.2.2

Integral de linha sobre um campo

Seja F : R3 um campo vetorial contnuo. Seja : [a, b] uma curva suave. Definimos a
integral de linha de F sobre como sendo:
Z

Z
F d =

F ((t)). 0 (t) dt

conveniente termos em mente que tal integral independe da parametrizacao escolhida, basta que
E
se tome o cuidado de reparametrizar conservando a mesma orientacao. Isto e consequencia imediata
do teorema de mudanca de vari
aveis em integrais.
Exemplo 2.4. Vamos integrar F (x, y) = (y 2 , x2 ) em (t) = (t2 , t), como t variando de 0 a 1.
Simplesmente:
Z
Z 1
Z 1
3
2 4
F d =
(t , t ) (2t, 1) dt =
t4 2t3 dt =
10

0
0

17

Exemplo 2.5. Vamos fazer a integral do campo F (x, y, z) = (x2 + y 2 , 1, x + y + z) na curva (t) =
(cos(t), sen(t), 0), com 0 t . Teremos que:
Z
Z
(cos2 (t) + sen2 (t), 1, cos(t) + sen(t) + 0) (sen(t), cos(t), 0) dt =
F d =

sen(t) + cos(t) dt = 2

=
0

Em particular, se a pergunta fosse qual o trabalho realizado por uma forca descrita por F em uma
partcula que percorresse o semi-crculo, teramos obtido -2 como resposta.
Uma classe de campos vetoriais merece destaque por se relacionar intimamente com as integrais
de linha sobre si pr
oprios. S
ao campos que aparecem naturalmente em problemas da fsica, e que
felizmente possuem um tratamento muito razoavel.

2.2.3

Campos Conservativos

Comecamos introduzindo uma definic

ao a qual recorreremos ao longo do texto a seguir.
Defini
c
ao 2.2. Dada uma func
ao real definida em um conjunto R3 , ie : R, o gradiente
desta funcao denotado por e definido por:



=
,
,
x y z
Tambem poderemos denotar a derivada parcial como na seguinte forma:
= (x , y , z )
Um campo vetorial F : R3 e dito um campo conservativo (ou gradiente) se existe : R
diferenciavel tal que
= F em
Se tal existe, ela e chamada de func
ao gradiente ou potencial do campo.
Exemplo 2.6. F : R3 R3 definida por F (x, y, z) = (2x, 2y, 2z) e conservativo, uma vez que a
funcao : R3 R definida por (x, y, z) = x2 + y 2 + z 2 e tal que = F em todo R3 .
Casos classicos na fsica de campos conservativos sao aqueles originados pelas forcas gravitacional
e eletrica, sendo as func
oes potenciais o que costumamos chamar de potencial gravitacional ou eletrico.
Abaixo, apresentamos uma condic
ao necess
aria para que um campo seja conservativo.


Proposi
c
ao 2.1. Seja F : R3 tal que F (x, y, z) = P (x, y, z), Q(x, y, z), R(x, y, z) . Se F e
conservativo e suave, ent
ao
Q P
R Q
R
P
=
,
=
,
=
y
x z
x z
y
Demonstra
c
ao. Se F e conservativo, entao existe : R tal que = F . Logo temos que
x = P , y = Q e z = R em . Pelo Teorema de Schwarz:
2
2
=
e tambem para x, z e y, z
xy
yx
Da, por exemplo para x e y, temos:
P
2
2
Q
=
=
=
y
xy
yx
x
18

De fato, esta condic

ao geralmente e suficiente, mas falha no caso em que existe uma singularidade
no conjunto sobre o qual f est
a definida. Com efeito:
Exemplo 2.7. Seja F : R2 R2 tal que

F (x, y) =

y
x
, 2
2
2
x + y x + y2

F1
y 2 x2
F2
y
= 2
=
, e de fato (x, y) = arctan e uma funcao potencial em quase todo
2
2
y
(x + y )
x
x
ponto, mas n
ao est
a definida em x = 0, logo nao serve para F .
Temos

Esta proposic
ao nos induz `
a definir um operador sobre campos vetoriais do R3 .


Defini
c
ao 2.3. O rotacional rot de um campo em R3 dado por F (x, y, z) = P (x, y, z), Q(x, y, z), R(x, y, z)
onde P, Q e R s
ao func
oes reais, e definido por:


R Q P
R Q P
rotF =

y
z z
x x
y
Em particular, vimos na proposic
ao que para um campo em R3 ser conservativo e necessario (mas
nao suficiente) que seu rotacional seja o campo nulo.
Uma maneira mnem
onica de se lembrar deste operador e calculando um determinante na matriz
a seguir:




i
j
k

x y z

P Q R
Como achar uma fun
c
ao potencial para um campo?
Com os exemplos a seguir, espera-se que seja possvel compreender uma estrategia para achar uma
funcao potencial para um campo dado.
Exemplo 2.8. Dado o campo F (x, y) = (y, x), procedemos da seguinte forma. Seja (x, y) a nossa
funcao potencial. Queremos que:

=y
x
Integrando a constantey com respeito a x, temos que (x, y) := xy e uma candidata. De fato, com
esta definicao, vale que:

=x
y
encerrando nossa busca.
Exemplo 2.9. Dado o campo F (x, y) = (6xy, 3x2 + 6y), faremos o mesmo.
1
= 6xy
x
19

implica que 1 (x, y) = 3x2 y e uma boa candidata. Definida assim, teremos que
1
= 3x2 6= 3x2 + 6y
y

Uma boa maneira de continuar com a busca e somar a 3x2 y um termo cuja derivada seja 6y. E

importantssimo que este termo seja funcao somente de y, para que

permaneca igual a 6xy. Ent
ao
x
temos que:
(x, y) = 3x2 y + h(y)
h
= 6y. Logo h(y) = 3y 2 e teremos finalmente que (x, y) = 3x2 y + 3y 2 , encerrando. Note
y
porem que poderamos ter somado qualquer constante `a funcao , uma vez que ela nao alteraria as
derivadas. Logo o formato geral ser
a:

onde

(x, y) = 3x2 y + 3y 2 + K
Generalizando e organizando as ideias intuitivas apresentadas acima, apresentamos um exemplo
mais esquematizado.
Exemplo 2.10. Dado F (x, y, z) = (yz + 2xy + z 2x, xz + x2 z 2 1, xy 2zy + x 3z 2 ), existe
alguma funcao potencial?
1. Dizemos que (x, y, z) = f (x, y, z) + g(y, z) + h(z).
2. Da igualdade

f
x ,

3. Da igualdade

f
y

g
y ,

4. Da igualdade

f
z

g
z

temos que f (x, y, z) = xyz + x2 y + zx 2x2 .

temos que

h
z ,

g
y

= z 2 1, logo g(y, z) = z 2 y y.

temos que

h
z

= 3z 2 , logo h(z) = z 3 .

De fato, (x, y, z) = xyz z 3 + x2 y yz 2 + x2 + xz y + K e funcao potencial para F .

Exemplo 2.11. Seja F (x, y) = (4x2 y, x1 ). Se tentarmos proceder como antes (tente!) nao conseguiremos. De fato, pela proposic
ao apresentada:
1
P
Q
= 4x2 6= 2 =
y
x
x
logo esse campo n
ao pode possuir func
ao potencial.

2.2.4

Teorema Fundamental da Integrais de Linha sobre Campos

Conservativos

Observe que uma func

ao gradiente e uma especie de primitiva de um campo. O leitor deve se lembrar
natural
que a integrais de func
oes reais s
ao calculadas ao acharmos uma primitiva da funcao. E
portanto esperar que que as func
oes gradientes se relacionem com as integrais de linha sobre os
campos conservativos.
Formalizando esta ideia, introduzimos o Teorema Fundamental das Integrais de Linha sobre Campos Conservativos:

20

Teorema 2.1. Se F : R3 for conservativo, sendo uma funcao potencial e : [a, b] R suave,
entao:
Z
Z
F d = d = (B) (A) onde (a) = A e (b) = B

Demonstra
c
ao. Pela regra da cadeia, temos que:
d
((t)) = ((t)). 0 (t) = F ((t)) 0 (t)
dt
Logo
Z

Z
F d =

F ((t)) (t) dt =
a

d
((t)) dt
dt

Pelo Teorema Fundamental do C

alculo
Z b
d
((t)) dt = ((t))|ba = (B) (A)
a dt
Ou seja, o valor da integral de um campo conservativo sobre uma curva nao depende do traco da
curva, mas somente dos seus valores nos pontos iniciais e finais.
Note que, em particular, toda integral de linha de campos conservativos sobre curvas
fechadas ser
a 0.
Por este destaque, quando for uma curva fechada, e comum o uso da notacao a seguir para a
integral de linha:
I
F d

Observe o exemplo:
Exemplo 2.12. Seja F : R2 R2 tal que F (x, y) = (x + y, x). Seja (t) = (cos(t), sin(t)) definida
2
sobre [0, 2]. Notemos que (x, y) = x2 + xy e uma funcao potencial do campo. Entao
I

F ((t)) (t) dt =

F d =

(cos(t) + sin(t), cos(t)) ( sin(t), cos(t))dt =

0

Z
=

cos2 (t) sin2 (t) cos(t) sin(t) dt

que certamente n
ao e muito simples de calcular. Por outro lado
Z 2
1 1
F ((t)) 0 (t) dt = ((2)) ((0)) = = 0
2 2
0
resultado este que j
a sabamos de antemao pois a curva e fechada.
A volta do teorema acima tambem e verdade. Ou seja, se uma integral de linha sobre um campo
nao depender do caminho de integracao, entao o campo e conservativo. A demonstracao e mais
tecnica e a import
ancia do resultado e menor, uma vez que costuma ser mais facil concluir que o
campo e conservativo que concluir que qualquer integral nao depende do caminho; por outro lado
e mais u
til obter a segunda informac
ao a partir de uma condicao fraca, como e a obtencao de uma
funcao potencial.
De qualquer forma, apresentamos a demonstracao para o leitor interessado:
21

Teorema 2.2. Seja F : R3 um campo vetorial. Sao equivalentes:

1 F e conservativo.
2 A integral de F ao longo de qualquer caminho fechado em e 0.
3 Se A, B , ent
ao a integral de linha sobre qualquer curva suave ligando A a B e a mesma.
Na demonstrac
ao a seguir, P indicara um ponto, e as variaveis x1 = x, x2 = y e x3 = z.
Demonstra
c
ao (Esboco). J
a fizemos de (1) para (2).
De (2) para (3), consideramos e dois caminhos entre A e B. Consideramos o caminho de B
para A. Nao e difcil mostrar que:
Z
Z
F =

Da

F =0

F+

F =

pois e um caminho fechado. Mas entao temos que:

Z
Z
Z
F =
F =
F

para quaisquer caminho entre A e B e o resultado segue.

De (3) para (1) temos mais trabalho. Em linhas gerais, fixamos um ponto O e definimos
Z

(P ) =

F
O

para todo P , o que faz sentido pois a integral nao depende do caminho. O objetivo e mostrar que

esima coordenada de F . Isto e feito tomando um ponto proximo a P na direc

ao
xi coincide com a i-
de xi e considerando o quociente de Newton. Temos
Z P +hei
Z P 
Z
(P + hei ) (p)
1
1 P +hei
=
F
F =
F
h
h
h P
O
O
Consideramos ent
ao o segmento de reta r ligando P e P + hei .
0
F (r(t))r (t) = fi (r(t)). Pelo teorema fundamental do calculo:
1
lim
h0 h

Teremos que r0 (t) = ei , logo

fi (r(t))dt = fi (r(0)) = fi (P )
0

Logo temos a igualdade:

(P + hei ) (p)
1
(P ) = lim
= lim
h0
h0 h
h
0

como queramos.

22

fi (r(t))dt = fi (r(0)) = fi (P )
0

2.3

Exerccios

Quest
ao 2.1 (Integrais de linha por comprimento de arco).
1. Qual a massa de um fio cuja equac
ao
cartesiana e x2 + y 2 = r2 , x 0 e y 0, e cuja densidade e dada por (x, y) = x + y.
2. Calcule a integral de linha por comprimento de arco da funcao f (x, y) = y sobre a par
abola
x = y 2 no intervalo 0 y 2.
Quest
ao 2.2 (Integrais de linha sobre campos).
1. Calcule a integral de linha do campo F (x, y, z) =
(x, x2 + y + z, xyz) sobre a curva (t) = (t, 2t, 1) com 0 t 1.
2. Calcule a integral de linha do campo F (x, y) = (y, x) sobre a curva parametrizada (t) cuja
2
2
imagem e a elipse x4 + y9 = 1. (Parametrize a elipse!)
3. Calcule a integral de linha do campo F (x, y, z) = (y 2 , x, 1) sobre o triangulo de vertices (0, 0, 0),
(1, 0, 0) e (2, 1, 2) (parametrize os lados do triangulo seguindo uma orientacao). Sera necess
ario
calcular 3 integrais.
4. Calcule a integral de linha do campo F (x, y, z) = (x, 1, 2) sobre a curva que e a intersec
ao do
parabol
oide z = x2 + y 2 com o plano 2x + 2y 1 = z. O sentido deve ser o anti-horario.
Quest
ao 2.3 (Campos conservativos). Determine se os campos a seguir sao ou nao conservativos.
Caso positivo, exiba uma func
ao potencial. Caso negativo, justifique.
1. F (x, y, z) = (

(x2

x
y
z
, 2
, 2
)
2
2
2
2
2
2
+ y + z ) (x + y + z ) (x + y 2 + z 2 )2

2. F (x, y, z) = (x y, x + y + z, z 2 )
3. F (x, y) = (x2 y, x)
4. F (x, y, z) = (yz 2xy 2 , xz 2yx2 , xy)
5. F (x, y, z) = (4x, 5y, z 3 )
6. F (x, y, z) = (x2 y 2 , 0, 1)

Quest
ao 2.4 (Teorema Fundamental).

1. Calcule a integral de linha do campo F (x, y) =

x
y
, 2
2
2
x + y x + y2

sobre a curva (t) = (t, 0) com 1 t 1.

2. Calcule a integral de linha do campo F (x, y) = (sen(xy) + xy cos(xy), x2 cos(xy)) sobre a curva
(t) = (t2 1, t2 + 1) com 1 t 1.
3. Calcule a integral de linha do campo F (x, y, z) = (yz, xz, xy) sobre a curva (t) = (cos(t), sen(t), t)
com 0 t 2. Que curva e esta?

4. Calcule a integral de linha do campo F (x, y, z) = (x2 , y 2 , z 2 ) sobre a curva (t) = (t, t3 , t2 + 1)
com 1 t 1.

23

Captulo 3

Teorema de Green
Um resultado fundamental no c
alculo vetorial envolvendo integracao de campos sobre formas (curvas,
superfcies, etc) estabelece uma relac
ao muito proxima entre a integracao na regiao e na sua fronteira.
Este captulo se dedicar
a a apresentar o caso particular deste resultado para o ambiente bidimensional.


Teorema 3.1. Seja F (x, y) = P (x, y), Q(x, y) um campo de vetores em R2 cuja derivada seja
contnua. Seja uma curva fechada, suave por partes, fronteira de uma regiao A em R2 , orientada
no sentido anti-hor
ario. Ent
ao

I
ZZ 
Q P
F =

dxdy
x
y

A
Na ocasiao do estudo deste teorema, podera aparecer como nota
c
ao alternativa:
I
I
F = P dx + Qdy

Este teorema fornece uma ferramenta poderosa para calcular certas integrais de linhas em campos
nao conservativos ao longo de curvas fechadas. A demonstracao do Teorema e demasiadamente tecnica
e nao a apresentaremos, n
ao obstante, e possvel encontra-la em qualquer bom texto de calculo vetorial,
especialmente nas indicac
oes. No futuro, ao falarmos do Teorema de Stokes, vamos deduzir o Teorema
de Green trivialmente.
Passemos aos exemplos:
Exemplo 3.1. Vamos integrar o campo F (x, y) = (xy 2 , x3 ) ao longo da curva = 1 2 3 4 ,
onde:
1 (t) = (t, 0), t [0, 2]
2 (t) = (2, t), t [0, 3]
3 (t) = (t, 3), t [0, 2]
4 (t) = (0, t), t [0, 3]
Seja Q a regi
ao delimitada por . Desenhe esta figura! Atencao para o sentido das i . Integrando
pela definicao, teremos que:
I
Z
Z
Z
Z
F d =
F d1 +
F d2
F d3
F d4 =

24

8 dt

0 dt +
0

Z
9t dt

0 dt = 24 18 = 6
0

Pelo Teorema de Green, teremos:


Z 2
Z 2Z 3
I
ZZ 
Q P
F d =
9x2 9x dx = 24 18 = 6
3x2 2yx dydx =
dxdy =

x
y
0
0
0

Q


Exemplo 3.2. Seja (t) = cos(t), sen(t) , 0 t < 2, e F (x, y) = (x4 y 3 , x3 + y 5 ). O campo em
questao certamente n
ao e um campo potencial. Teramos que usar a definicao:
I
Z 2




F d =
cos4 (x) sen3 (t), cos3 (t) + sen5 (t) sen(t), cos(t) dt =

Z
=

sen(t) cos4 (t) + sen4 (t) + cos4 (t) + cos(t)sen5 (t) dt

o que pode levar mais que alguns minutos para resolver. Para aplicar o Teorema de Green, note que
a regiao cuja fronteira e e o crculo unitario S. Teremos:

I
I
Z Z 
Z Z
Q P
4
3
3
5
F d = (x y ) dx + (x + y ) dy =

dxdy =
3x2 + 3y 2 dxdy
x
y

S
S
Passando para coordenadas polares, teremos:
Z Z
Z 1Z
2
2
3x + 3y dxdy =
S

3r3 cos2 () + sen2 () ddr =

3
3
2 =
4
2

25

3.1

Exerccios

Quest
ao 3.1. Aplique o Teorema de Green e resolva as integrais de linha a seguir.
Z
f d onde f (x, y) = (x3 , xy 2 ) e (t) = (2 cos(t), 3sen(t)) com 0 t 2. Desenhe esta curva!
1.

Z
2.

f d onde f (x, y) = (cos(x) + sen(y), tg 2 (y)) e (t) e o triangulo de vertices (0, 0), (1, 0) e

(0, 3) parametrizado no sentido horario.

Z
f d onde f (x, y) = (x + y, x2 + y 2 ) e (t) e uma parametrizacao no sentido horario para a
3.

curva fechada formada pelos gr

aficos de y = sen(x) e y = sen(x) com 0 x .
Z
f d onde f (x, y) = (ey x, x2 y 3 ) e (t) = (cos(t), sen(t)) com 0 t 2.
4.

Z
5.

f d onde f (x, y) = (cos(xy), sen(xy)) e (t) e o quadrado de lado 2 centrado na origem,

parametrizado no sentido anti-horario.

Quest
ao 3.2. Utilize o Teorema de Green para calcular a area da elipse de equacao
x2 y 2
+ 2 =1
a2
b
Dica: Parta de uma integral dupla para calcular uma integral de linha. Invente um campo vetorial
tal que Qx Py = 1.
Quest
ao 3.3. Calcule
I

y dx + 3xy dy +
C
y2

y 2 dx + 3xy dy

onde C e a circunferencia x2 +
= 4 parametrizada no sentido anti-horario e D e a circunferencia
x2 + y 2 = 1 no sentido hor
ario. Tente usar o Teorema de Green dividindo a regiao em duas partes,
de modo que cada parte seja cercada por uma curva composta de 4 partes. Note que duas partes de
cada curva ocorrem em sentidos opostos, logo se cancelam!
Quest
ao 3.4. Seja

F (x, y) =
Calcule

y
x
, 2
2
2
x + y x + y2

I
F

onde e qualquer curva parametrizada no sentido anti-horario que fique em volta da origem. Dicas:
(1) Nao da pra usar o Teorema de Green pois esta funcao nao esta definida na origem. Este campo e
conservativo? Existe alguma boa candidata para funcao potencial? Em qual ponto esta funcao teria
problemas? (2) Imagine agora sua curva arbitraria em torno da origem. Entre ela e a origem ponha
uma circunferencia muita pequena. Para as duas curvas ao mesmo tempo e possvel usar o Teorema
de Green, certo? Por que? Cuidado com o sentido da parametrizacao! (3) Entao voce quer saber a
integral de linha na curva maior. Voce sabe que ela somada com a integral de linha na circunferencia
pequena e igual a integral de Qx Py na regiao compreendida entre elas. Falta calcular o que? (4)
Faca o limite do raio da circunferencia tender a 0.

26

Ap
endice A

Geometria de Curvas - Curvatura e

Tor
c
ao
Neste addendum, vamos nos dedicar a calcular certas funcoes que descrevem o comportamento geometrico
de curvas. Para um estudo mais aprofundado deste topico e de outros topicos concernentes `a geometria diferencial, indico o excelente livro Geometria Diferencial de Curvas e Superfcies de Manfredo
Perdigao do Carmo, da Colec
ao Textos Universitarios da SBM - a venda nas secretarias de graduac
ao
dos cursos de matem
atica. Menciono tambem o Prof. Sergio Santa Cruz (DMat, UFPE) cujas aulas
sobre o assunto foram extremamente motivadoras e cujas notas de aula me ajudaram a escrever este
breve apendice.

A.1

Curvatura para curvas planas

Inicialmente, vamos supor que temos uma curva e uma parametrizacao por comprimento de arco
: I R2 . Definimos:
T (s) = 0 (s)
que pode ser interpretado como um campo (diferenciavel) unitario definido ao longo da curva, pois a
curva esta parametrizada por comprimento de arco. Ou seja:
||T (s)|| = ||0 (s)|| = 1
Observemos agora que T (s) e T 0 (s) s
ao campos ortogonais, pois:
d
hT (s), T (s)i = 2hT (s), T 0 (s)i
ds
mas hT (s), T (s)i = ||T (s)||2 = 1 uma constante, da a derivada e zero, portanto os vetores T (s) e T 0 (s)
sao ortogonais.
Estamos portanto definindo um campo vetorial T 0 (s) ao longo da curva que mede a variac
ao do
vetor tangente unit
ario T (s) em uma direcao ortogonal, ou seja, o quanto o vetor tangente tende a
alterar sua direc
ao. Temos que ||T 0 (s)|| e portanto uma medida de quao rapidamente uma curva se
afastara da reta tangente a ela em um determinado ponto. Motivados por isso, definimos:
Defini
c
ao A.1. Seja (s) uma parametrizacao por comprimento de arco, seja T (s) = 0 (s). Definimos:
(s) = ||T 0 (s)|| = ||00 (s)||
como a func
ao curvatura da curva no ponto (s).
27

A nossa ideia intuitiva e geometrica de curvatura nos diz que (1) uma reta deve ter curvatura nula
(2) uma circunferencia deve ter curvatura constante, mas que dependa do raio - sendo grande se o
raio for pequeno e pequena se o raio for grande. Ambos os fatos sao verdadeiros:
Exemplo A.1. Seja (s) = (a + bs, c + ds) uma reta parametrizada por comprimento de arco. Ent
ao
0
0
T (s) = (t) = (b, c) constante, logo T (s) = (0, 0). Da
(s) = ||T 0 (s)|| = 0
Exemplo A.2. Seja (t) = (R cos(t), Rsen(t)) circunferencia de centro na origem e raio R. Observe
que esta nao e uma parametrizac
ao por comprimento de arco, pois:
p
|| 0 (t)|| = R2 [sen(t)]2 + R2 [cos(t)]2 = R
Reparametrizando por comprimento de arco, teremos:
Z
s
1
(s) = R ds = R.s (s) =
R
Logo


s
 s 
((s)) = (s) = R cos
, Rsen
R
R
e a parametrizaca
o por comprimento de arco da circunferencia. Agora temos que:
 s 

s
, cos
T (s) = 0 (s) = sen
R
R
e ainda:

s
 s 
1
1
0
T (s) = cos
, sen
R
R
R
R
Concluindo
1
(s) = ||T 0 (s)|| =
R
corroborando nossas observac
oes iniciais.

A.2

Curvas espaciais - o triedro de Frenet e a torc

ao

Consideramos agora : I R3 uma parametrizacao por comprimento de arco. As observacoes feitas

acima se generalizam trivialmente, ou seja, definimos:
(1) O campo unit
ario paralelo a curva T (s) = 0 (s).
(2) A curvatura de dada por (s) = ||T 0 (s)|| = || 00 (s)||
possvel portanto definir o
Suponhamos agora que a curvatura de uma curva nunca se anule. E
campo unitario ao longo de (s) dado por:
N (s) =

T 0 (s)
T 0 (s)
=
||T 0 (s)||
(s)

Este campo e chamado campo normal principal `a curva . Obviamente esta definicao ainda e v
alida
para curvas planas.
So que agora, de posse de dois campos ortonormais (ortogonais e unitarios) de vetores ao longo da
curva, e possvel definir um terceiro campo, unitario e ortogonal a ambos, simplesmente por:
B(s) = T (s) N (s)
chamado campo binormal ao longo da curva.
28

Defini
c
ao A.2. O triedro ortonormal { T , N , B } e chamado triedro de Frenet.
Observe que os vetores T (s) e N (s) definem um plano contendo o ponto (s), chamado plano
osculador da curva. O vetor B(s) e normal a este plano, e sua variacao mede o quanto a curva se
afasta do plano osculador, ou seja, o quanto a curva deixa de ser uma curva plana em um dado ponto.
A grandeza associada a esta variac
ao e chamada torc
ao da curva.
Defini
c
ao A.3. O m
odulo da torc
ao de uma curva dada por uma parametrizacao por comprimento
de arco com triedro de Frenet {T (s), N (s), B(s)} e dada por:
| (s)| = ||B 0 (s)||
O sinal da torc
ao depender
a do fato que a curva pode se afastar do plano osculador no sentido
contrario ao induzido pelo triedro de Frenet. Nao ha motivos para preocupacoes, o calculo a seguir
ira esclarecer como calcular de vez todos estes valores.

A.2.1

F
ormulas de Frenet

Vamos omitir, a ttulo de limpeza na notacao, o (s) que deveria aparecer apos cada funcao T, N, B, , T 0 ,
N 0, B0 e .
Ja sabemos que:
T0 = N
(A.1)
Lembramos que {T, N, B} formam uma base ortonormal. Vamos entao expressar N 0 e B 0 em termos
desta base. Comecamos por:
B 0 = aT + bN + cB
Note que c = hB 0 , Bi (por que?!). Mas
d
hB, Bi = 2hB 0 , Bi = 0
ds
uma vez que hB, Bi = 1 e constante. Logo c = 0. Equivalentemente, a = hB 0 , T i. Mas
d
hB, T i = hB 0 , T i + hB, T 0 i = hB 0 , T i +
ds

= hB 0 , T i = 0

hB, N i
| {z }

=0 pois ortogonais

uma vez que hB, T i = 0 e constante. Logo a = 0. Da conclumos que B 0 e paralelo a N . Definimos
entao:
B 0 = N
(A.2)
Em particular, ||B 0 || = | |, como j
a havamos observado. Falta calcular N 0 = aT + bN + cB. Logo de
cara, sabemos que b = 0. Teremos que a = hN 0 , T i. Mas
d
hN, T i = hN 0 , T i + hN, T 0 i = hN 0 , T i +
ds

hN, N i
| {z }

= hN 0 , T i + = 0

= pois paralelos

uma vez que hN, T i = 0 e constante. Logo a = . Agora c = hN 0 , Bi. Mas

d
hN, Bi = hN 0 , Bi + hN, B 0 i = hN 0 , Bi +
ds

hN, N i
| {z }

= hN 0 , Bi = 0

= pois paralelos

uma vez que hN, T i = 0 e constante. Logo c = . Conclumos entao:

N 0 = T + B

(A.3)

As equacoes (A1), (A2) e (A3) s

ao conhecidas como equac
oes de Frenet e as expomos como:
29

Proposi
c
ao A.1.
T 0 (s) =
+(s) N (s)
N 0 (s) = (s) T (s)
+ (s) B(s)
0
B (s) =
(s) N (s)
Exemplo A.3. Vamos calcular o triedro de Frenet, a curvatura e a torcao da helice:
(t) = (cos(t), sen(t), t)
Comecamos fazendo uma reparametrizacao por comprimento de arco. Teremos que:

||0 (t)|| = 2
Logo

(s) =


cos


, sen

s
,
2

Agora calcularemos o triedro de Frenet:







1
s
s
1
1
0
T (s) = (s) = sen
, cos
,
2
2
2
2
2

 
  




 
12 cos s2 , 21 sen s2 , 0
s
s
T 0 (s)
=
= cos
, sen
,0
N (s) =
||T 0 (s)||
1/2
2
2






1
s
1
s
1
B(s) = T (s) N (s) = sen
, cos
,
2
2
2
2
2
A curvatura j
a foi calculada quando fizemos:
||T 0 (s)|| =

1
1
(s) =
2
2

Para ver a torc

ao, note que


 




 


1
1
s
s
s
s
0

B (s) =
, sen
, 0 = (s) N (s) = (s) cos
, sen
,0
cos
2
2
2
2
2
2
Donde conclumos trivialmente que:
(s) =

A.3

1
2

Parametriza
co
es quaisquer e f
ormulas

Suponhamos agora (t) : [a, b] R3 uma parametrizacao qualquer, e

e(s) : [c, d] R3 reparametrizacao por comprimento de arco, ou seja, (t) =
e(s(t)) de modo que
Z t
s(t) =
||0 (u)|| du
c

Lembramos que curvatura e torc

ao s
ao grandezas geometricas, independentes da parametrizac
ao,
portanto definimos em geral:
(t) =
e(s) e (t) = e(s)
e , B}
e o triedro de Frenet com relacao a
Seja {Te, N
e. Vamos obter as equacoes de Frenet para {T, N, B}.
30

e (s) e B(t) = B(s).

e
Lema A.1. Temos que T (t) = Te(s), N (t) = N
Demonstra
c
ao. Comece observando que:
Z t
||0 (u)|| du s0 (t) = ||0 (t)||
s(t) =
c

Note que:
(t) =
e(s(t)) 0 (t) = s0 (t)e
0 (s) = ||0 (t)||e
0 (s)
Logo
T (t) =

0 (t)
||0 (t)||.e
0 (s)
=
= Te(s)
||0 (t)||
||0 (t)||

Agora note que:

T (t) = Te(s(t)) T 0 (t) = s0 (t)Te0 (s) = ||0 (t)||Te0 (s)
da
N (t) =

T 0 (t)
||0 (t)||.Te0 (s)
e (s)
=
=N
||T 0 (t)||
||0 (t)||.||Te0 (s)||

Por fim:
e (s) = B(s)
e
B(t) = T (t) N (t) = Te(s) N
Proposi
c
ao A.2. As equac
oes de Frenet generalizadas sao dadas por:
T0 = v N)


N 0 = v T +
B
B0 = v N
Demonstra
c
ao. Vamos chamar ||0 (t)|| = v(t). Basta observar agora entao que:
d
d
e (s) = v(t)(t)N (t)
T (t) = Te(s(t)) = s0 (t)Te0 (s) = v(t)e
(s)N
dt
dt




d
d e
e 0 (s) = v(t)
e
N (t) = N
(s(t)) = s0 (t)N
e(s)Te(s) + e(s)B(s)
= v(t) (t)T (t) + (t)B(t)
dt
dt
d
d e
e 0 (s) = v(t)(e
e (s)) = v(t)( (t))N (t)
B(t) = B(s(t))
= s0 (t)B
(s)N
dt
dt
Por fim, vamos obter f
ormulas gerais para a curvatura e a torcao de uma curva dada pela
parametrizac
ao (t). Novamente vamos omitir o termo (t).

A.3.1

F
ormula para curvatura

Comecamos observando que:

0 = v.T
e que:
00 = v 0 .T + v.T 0 = v 0 .T + v 2 .N
Seria interessante fazermos alguma operacao que cancelasse o termo v 0 e isolasse o . Usando 0 e 00 ,
nada mais natural portanto do que usar a operacao vetorial que zera em vetores paralelos. Ou seja:
0 00 = vv 0 (T T ) + v 3 .(T N ) = v 3 .B
Tomando o m
odulo, o que e possvel pois a curvatura e sempre positiva, teremos portanto:
=

||0 00 ||
||0 00 ||
=
v3
||0 ||3
31

A.3.2

F
ormula para torc
ao

Alem de
0 = v.T e 00 = v 0 .T + v.T 0 = v 0 .T + v 2 .N
Agora temos que:
000 = v 00 .T + |v 0{z
.T}0 +2vv 0 .N + v 2 0 .N +
v 0 v.N

0
v| 2 .N
{z }

= T (v 00 v 3 2 ) + N (3vv 0 + v 2 0 ) + B(v 3 )

v 2 v(.T +.B)

Para isolar o , notamos que:

hB, 000 i = v 3 =

hB, 000 i
v3

Para obtermos o B, fazemos:

0 00 = v 3 .B B =
Por fim, obtemos:
=

A.4

0 00
v3

h0 00 , 000 i
h0 00 , 000 i
=
6
2
v
||0 00 ||2

Exist
encia e Unicidade de curvas - breve coment
ario

natural portanto
Fisicamente, pode-se pensar numa curva como sendo uma reta curvada e torcida. E
esperar que a func
ao curvatura e a funcao torcao detenham informacoes sobre a curva. Na verdade,
essas duas func
oes determinam uma e u
nica curva, o que apresentamos no formato de um teorema.
Teorema A.1. Dadas func
oes diferenciaveis (s) > 0 e (s), s I, existe uma curva parametrizada
3
regular : I R tal que s e o comprimento de arco, (s) e a curvatura e (s) e a torcao de . Alem
disso, qualquer outra curva
e satisfazendo as mesmas condicoes, difere de de por um movimento
rgido; ou seja, existe uma transformac
ao linear ortogonal de R3 , com determinante positivo, e um
vetor c tal que
e =+c
Para mostrar a existencia, e necess
ario utilizar o teorema que garante a existencia e unicidade de
solucoes para sistemas de equac
oes diferenciais ordinarias. Ja a demonstracao da unicidade, apesar de
mais elementar, e tecnica e n
ao cabe nos propositos dessas notas. Por este motivo, encerramos esta
secao sem demonstrar o teorema, na esperanca de que o leitor nao desconfie da veracidade das nossas
afirmacoes.

32

A.5

Exerccios

Quest
ao A.1. Considere a caten
aria y = cosh(x) dentro do plano R2 e parametrize-a com par
ametro
t. (a) Calcule o campo de vetores tangente T (t). (b) Calcule o campo normal principal N (t), quem
sabe utilizando um argumento geometrico simples (quando dois vetores sao ortogonais em R2 ?!). (c)
Calcule a curvatura (t) de duas formas (i) usando a formula geral para curvatura (ii) explorando o
fato que 00 = v 0 T + v 2 N .
Quest
ao A.2. Calcule o triedro de Frenet, a curvatura e a torcao da helice geral
h(t) = (a cos(t), asen(t), bt).
Quest
ao A.3. (a) Utilize o Teorema de Existencia e Unicidade de curvas para mostrar que dada uma
constante 0 > 0, existe essencialmente um u
nica curva plana com curvatura igual a esta constante.
Que curva e esta? (lembre-se do exemplo dado no texto). (b) Mostre que dadas duas constantes
0 > 0 e 0 , existe essencialmente uma u
nica curva espacial com estas curvatura e torcao constantes,
e que esta curva e uma helice.
Quest
ao A.4. Calcule o triedro de Frenet, a curvatura e a torcao da c
ubica reversa c(t) = (t, t2 , t3 ).
(Faca um desenho desta c
ubica). Em que ponto a torcao e maxima?!
2

Quest
ao A.5. Determine a curvatura da elipse xa2 + yb2 = 1 em um ponto (x, y). Determine os valores
o resultado que a
maximos e mnimos da curvatura, e em qual ponto da elipse eles sao atingidos. E
sua intuicao geometrica esperava?
Quest
ao A.6. Sem usar o teorema da existencia e unicidade apresentado (a) Prove que uma curva
regular C tem curvatura nula se e somente se e um segmento de reta (b) Se C tem curvatura n
ao nula
em todo ponto, prove que C tem torc
ao nula se e somente se e uma curva plana (o que caracteriza
uma curva plana? qual campo vetorial e constante?)
Quest
ao A.7. Usando o Teorema de Green, determine uma formula para a area delimitada por uma
curva plana fechada (t) = (x(t), y(t)).
Se voce chegou ate aqui, j
a est
a de bom tamanho para um topico extra de um curso de C
alculo.
Porem, o leitor que estiver motivado por esta teoria pode continuar a resolver os exerccios a seguir,
consideravelmente mais sofisticados, como uma forma de desafio!
Quest
ao A.8. Um campo de vetores D(s) ao longo de uma curva parametrizada por comprimento
de arco (s) e dito um campo de Darboux se T 0 = D T , N 0 = D N e B 0 = D B. Prove que existe
um u
nico campo de Darboux ao longo de , achando sua expressao em termos do triedro de Frenet.
Quest
ao A.9. (a) Suponha que todas as retas normais a uma curva passem por um ponto fixo.
Mostre que a curva e um arco de circunferencia. (b) Suponha que todas as retas tangentes a uma
curva passem por um ponto fixo. Mostre que e um segmento de reta.
1
Quest
ao A.10. O centro de curvatura de uma curva no ponto (t) e dado por (t) + (t)
N (t). A
evoluta de uma curva plana regular com 6= 0 e a curva percorrida pela centro de curvatura, ou
seja:
1
Evoluta(t) = (t) = (t) +
N (t)
(t)

(a) Calcule a evoluta da caten

aria (t, cosh(t)).
(b) Prove que o vetor tangente unit
ario de uma evoluta de uma curva qualquer e igual (a menos
de sinal) ao vetor normal principal de .
33

(c) Expresse o comprimento de arco s(t) da evoluta em termos da funcao curvatura de .

Quest
ao A.11. Seja (s) : [0, l] R2 uma curva plana parametrizada pelo comprimento de arco
fechada. A curva (s) = (s)r.N (s), r constante positiva, N vetor normal, e chamada curva paralela
a . Mostre que:
(a) Comprimento de = Comprimento de + 2r
(b) (s) =

1
1 + r (s)

(c) A() = A() + rl + r2

Onde A() e a
area delimitada pela curva (use a questao 28).
Quest
ao A.12. Vamos apresentar uma especie de contra exemplo para o tem (b) da quest
ao 27.
O objetivo e mostrar que basta um ponto de curvatura nula para que uma curva de torcao nula n
ao
pertenca a um u
nico plano. Considere:

2
(t, 0, e(1/t ) ) se t > 0
2
(t) =
(t, e(1/t ) , 0) se t < 0

(0, 0, 0) se t = 0
(a) Prove que e diferenci
avel.
(b) Provep
que (t) e regular para todo t. Prove que (t) 6= 0 para todos os t menos t = 0 e
t = 2/3. Mostre que k(0) = 0.
(c) Mostre que o limite do plano osculador com t 0 e t < 0 e o plano z = 0. Mostre que o limite
do plano osculador com t 0 e t > 0 e y = 0.
(d) Mostre que, mesmo sem que seja curva plana, e possvel dar uma definicao para e teremos
que = 0 constante.

34

Parte II

2a unidade
Onde falaremos sobre superfcies parametrizadas, integrais de superfcie,
o teoremas de Stokes e o teorema da diverg
encia

35

Captulo 4

Superfcies parametrizadas e integrais

de superfcie
Nosso objetivo neste captulo ser
a introduzir a integracao ao longo de superfcies, generalizando a ideia
de integrar sobre regi
oes do R2 . Em certo sentido, havera uma analogia com as integrais de linha por
comprimento de arco. Em outras palavras, estaremos interessados em calcular a soma dos valores que
uma funcao definida numa superfcie (imersa em R3 ) atinge de um modo uniforme, ou seja, dando
um peso proporcional a
area. Antes de comecarmos falando de integrais de superfcie, vamos discutir
como representar superfcies no R3 .

4.1

Introdu
c
ao

Lembramos que uma curva parametrizada em R2 e uma funcao : [a, b] R2 , que manda um
intervalo da reta no plano. Observe que a dimensao da (imagem da) curva corresponde `a dimens
ao do
domnio da parametrizac
ao . Estendendo esta ideia para superfcie, cuja dimensao e 2, teremos que:
Defini
c
ao 4.1. Uma superfcie parametrizada em R3 e uma funcao diferenciavel e injetiva : D
R3 onde D e o ret
angulo [a1 , b1 ] [a2 , b2 ]. Geralmente, representamos como:


(u, v) = x(u, v), y(u, v), z(u, v)
Lembramos que para parametrizarmos uma curva dada em termos de uma equacao cartesiana,
colocavamos uma vari
avel em termos da outra e fazamos uma escolha arbitraria para uma delas. O
esprito permanece o mesmo, observe o exemplo:
Exemplo 4.1. O plano 2x 3y + 2z = 15 pode ser parametrizado observando que z =
definindo x = u e y = v. Logo:

x= u
y= v
:

z = 152u+3v
2

152x+3y
2

com (u, v) livres.

Exemplo 4.2. O cilindro x2 + y 2 = R2 pode ser parametrizado utilizando nosso conhecimento sobre
o sistema de coordenadas cilndricas. De fato:

x = R cos(u)
y = Rsen(u)
:

z= v
36

com u [0, 2) e v livre, R fixo sendo o raio do cilindro.

Exemplo 4.3. A esfera x2 + y 2 + z 2 = R2 pode ser parametrizada utilizando nosso conhecimento
sobre o sistema de coordenadas esfericas. De fato:

x = R cos(u)sen(v)
y = Rsen(u)sen(v)
:

z = R cos(v)
com u [0, 2) e v [0, ).

4.2

Plano tangente e vetor normal

Como determinar um vetor tangente a uma superfcie parametrizada?! Certamente, em um ponto da

superfcie, existem infinitos vetores tangentes. Ocorre que os vetores tangentes a cada curva contida
na superfcie ser
ao tangentes `
a superfcie tambem. Uma estrat
egia eficiente portanto sera achar um
vetor tangente a uma curva que possa ser descrita simplificadamente e que passe pelo ponto.
Dado um ponto (u0 , v0 ) = (x0 , y0 , z0 ) = P0 , uma curva simples passando por este ponto ser
aa
curva tomada fazendo u variar pr
oximo de u0 e mantendo v fixo em v0 . Esta estrategia de manter uma
variavel fixa e a mesma utilizada quando calculamos as derivadas parciais, entao o vetor derivada da
curva (u, v0 )
e igual `
a derivada da parametrizacao (u, v) com respeito a u. Como o vetor derivada
da curva e tangente a ela, teremos que dois vetores tangentes `a superfcie (u, v) sao simplesmente:

e
u v
usualmente denotados por u e v .
Dois vetores (linearmente independentes) sao suficientes para determinar um plano, entao dizemos
que o plano tangente `
a superfcie dada por no ponto (u0 , v0 ) = P0 e o plano determinado pelos
vetores u e v calculados em u = u0 e v = v0 .
Definimos um vetor normal a uma superfcie em um ponto P0 como sendo um vetor normal ao
plano tangente em P0 . A geometria analtica nos diz que, dados dois vetores u e v , um vetor
ortogonal a eles e:

N = u v
Logo um vetor normal `
a superfcie em P0 = (u0 , v0 ) e:
n(u, v) =

u v
||u v ||

calculados em u0 e v0 . O outro vetor normal e n(u, v).

Exemplo 4.4. Desenhe a superfcie parametrizada (u, v) = v cos(u), vsen(u), v 2 , com 0 u 2
e v 0 (sugest
ao: quais a curvas obtidas fazendo u fixo? E v fixo?).
Esta superfcie nada mais e que um paraboloide de revolucao. Verifique que a parametrizac
ao
2
2
satisfaz x + y = z. O plano tangente a esta superfcie no ponto P = (0, 2) = (2, 0, 4) e aquele
determinado pelos vetores:


u P = (vsen(u), v cos(u), 0)P = (0, 2, 0)


v P = (cos(u), sen(u), 2v)P = (1, 0, 2)
37


x= 2+t
y = 2s
Logo e o plano (s, t) = P + (0, 2, 0)s + (1, 0, 2)t =

z = 4 + 2t
O vetor normal ser
a:


u P v P
(4, 0, 2)
(0, 2, 0) (1, 0, 2)


=
=


||(0, 2, 0) (1, 0, 2)||
||u P v P ||
20


Exemplo 4.5. Em geral, dada uma curva parametrizada contida no plano xz por f (v), 0, g(v) , a
superfcie (de revoluc
ao) obtida ao rotacionarmos esta curva em relacao ao eixo z e dada por:


(u, v) = f (v) cos(u), f (v)sen(u), g(v)
O vetor normal `
a superfcie ser
a obtido calculando:


u = f (v)sen(u), f (v) cos(u), 0


v = f 0 (v) cos(u), f 0 (v)sen(u), g 0 (v)
Da (removendo (v) por limpeza de notacao):




g 0 cos(u0 ), g 0 sen(u0 ), f 0
f g 0 cos(u), f g 0 sen(u), f f 0
u v
q
p
n(u, v) =
=
=


|{z}
||u v ||
(g 0 )2 + (f 0 )2
f 2 (g 0 )2 + (f 0 )2
u=u0

4.3

Area
de superfcies

Vamos agora determinar como calcular a area de superfcies parametrizadas em geral. Este conhecimento sera muito importante para definirmos adequadamente integrais de superfcie.
Teorema 4.1. A
area de uma superfcie parametrizada por (u, v) : D R3 sera:
ZZ
||u v || dudv
D

Demonstra
c
ao. A ideia da demonstracao seguira como sempre. Vamos aproximar a area da superfcie
pela soma das
area de pequenos ret
angulos encaixados proximos a ela, e depois faremos o limite para
quando os ret
angulos colapsarem e a soma tornar-se infinita. Comecamos observando o fato geometrico
que a area de um paralelogramo determinado por dois vetores v1 e v2 e dada por ||v1 v2 ||.
Seja agora : D R3 a parametrizacao de uma superfcie S. Dada uma particao P =
{u1 , ..., un } {v1 , ..., vm } do conjunto D, temos que ela induz uma particao de S em regioes quaseretangulares. De fato, definimos:
Aij = (ui , vj )
Bij = (ui + u , vj )
Cij = (ui + u , vj + v )
Dij = (ui , vj + v )

38

Temos que o ret

angulo os pontos Aij , Bij , Cij e Dij serao mandados nos pontos (Aij ), (Bij ), (Cij ) e (Dij ).
Definimos por Sij a regi
ao da superfcie S compreendida entre estes pontos e definimos Rij o paralelogramo definido por estes pontos.

A
area de Rij ser
a dada por ||(Aij )(Bij ) (Aij )(Dij )||
Agora note que se u 0 e v 0, entao

(Aij )(Bij ) u u (ui , vj )

(Aij )(Dij ) v v (ui , vj )

e tambem:
Rij Sij
X

A area de S, por outro lado, ser

a dada por
Area(Sij ). Entao se
i,j

lim
Area(Sij ) = ||u (ui , vj ) v (ui , vj )||u v

u 0
v 0

teremos que:

Area(S) = lim

u 0
v 0

ZZ
||u (ui , vj ) v (ui , vj ||u v =

||u v || dudv
D

i,j

Defini
c
ao 4.2. Dada uma superfcie S definiremos o elemento de area dS de modo que:
Z

Area(S) =
dS
S

Ou seja, se S e parametrizada por (u, v), entao identificamos

dS com ||u v || dudv
Exemplo 4.6. Vamos calcular a
area da esfera S de raio R. Consideramos a parametrizacao convencional


(u, v) = R cos(u)sen(v), Rsen(u)sen(v), R cos(v)
Temos que
u = (Rsen(u)sen(v), R cos(u)sen(v), 0) e v = (R cos(u) cos(v), Rsen(u) cos(v), Rsen(v))
Temos tambem que:
||(u) (v)|| = ||(R2 cos(u)sen2 (v), R2 sen(u)sen2 (v), R2 sen(v) cos(v))|| =
p
= R4 (sen4 (v) + sen2 (v) cos2 (v) = R2 sen(v)
Entao teremos que:
Z
ZZ
Z

Area(S) =
dS =
||u v || dudv =
S

39

2Z
0

R2 sen(v) dvdu = R2 .2.2 = 4R2

4.4

Integrais de superfcie

Seja f (x, y, z) func

ao real definida num subconjunto de R3 contendo superfcie S parametrizada por
3
(u, v) : D R . Nada mais natural nesta altura do campeonato do que definir a integral de superfcie
por elemento de
area:
ZZ
ZZ


f (u, v) ||u v || dudv
f dS =
D

Ou seja, estamos calculando a soma dos valores de f ao longo da superfcie considerando uniformemente a contribuic
ao do valor que f assume em cada ponto da superfcie. Em certo sentido, estamos
corrigindo distorc
oes que a parametrizacao considerada poderia gerar.
O teorema a ser apresentado neste momento e o de sempre: garantir que esta definicao nao depende
da parametrizac
ao escolhida:
Teorema 4.2. Sejam (u, v) : D R3 e (u, v) : E R3 parametrizacoes da mesma regiao S R3 .
Seja f (x, y, z) func
ao real definida num conjunto do R3 contendo S. Entao:
ZZ
ZZ
ZZ




f (u, v) ||u v || dudv
f dS =
f (u, v) ||u v || dudv =
S

Demonstra
c
ao. Seja r : E D a funcao que torna uma reparametrizacao de , ou seja:
r(u, v) = (u, v)


Considere agora r : E D como mudanca de coordenadas r(u, v) = s(u, v), t(u, v) . O determinante
jacobiano da transformac
ao s = s(u, v) e t = t(u, v) e dado por:


 su sv 


 tu tv  = su tv sv tu
Agora temos, pela regra da cadeia, que:
( r)u = s su + t tu e que ( r)v = s sv + t tv
Efetuando o produto vetorial, teremos:
( r)u ( r)v = (s su + t tu ) (s sv + t tv ) = (s t )(su tv sv tu )
Finalmente:
ZZ
ZZ



||( r)u ( r)v ||
f (s, t) ||s t || dsdt =
f r(u, v)
.|su tv sv tu | dudv =
|su tv sv tu |
D
E
ZZ


=
f (u, v) ||u v || dudv
E

Uma mesma aplicac

ao para c
alculo de massa e centro de massa e obtida no contexto das integrais
de superfcies, e o leitor interessado e convidado a pesquisa-la nas fontes recomendadas.
Exemplo 4.7. Considere a func
ao
f (x, y, z) = xyz definida no quarto de cilindro S parametrizado
por (u, v) = R cos(u), Rsen(u), v , como u 0, 2 e v [0, 1]. Entao:
Z
ZZ
Z /2Z 1
R3
f (u, v)||u v || dudv =
R2 cos(u)sen(u)v R dudv =
f dS =
4
S
D
0
0
O leitor atendo deve ter notado que se a superfcie estiver contida no plano, o vetor u v e
constante e unit
ario (aponta para cima ou para baixo), logo dS = dudv - ou seja, nossa definic
ao de
integral de superfcie e de fato uma generalizacao da ideia de integral sobre regioes do R2 .
40

4.5

Exerccios

Quest
ao 4.1. As superfcies a seguir s
ao de revolucao. Lembre-se que, dada uma curva (f (v), 0, g(v))
no plano xz, a rotac
ao dela em torno do eixo z se expressa como (cos(u)f (v), sen(u)f (v), g(v)).
1. Parametrize o cone reto centrado na origem de eixo z. Qual o plano tangente a este cone no
ponto (1, 1, 1)? Qual o vetor normal? Este cone possui plano tangente com z = 0?
2. Parametrize um hiperbol
oide de duas folhas cujo eixo e y, dado pela equacao: y 2 x2 z 2 = 1.
De uma f
ormula para o c
alculo do plano tangente.
3. Parametrize um elips
oide de revolucao

x2
4

+ y4 + z9 = 1. Ache uma formula para o vetor normal.

4. Parametrize o toro de raio interno 1 e raio externo 3. Toro e o nome dado `a casca da c
amara
de ar de um pneuou de uma rosquinha.
Quest
ao 4.2.
1. Calcule a
area do cone com 2 z 2.
2. Calcule a
area do hiperbol
oide com 4 y 4.
3. Calcule a
area do elips
oide.
4. Calcule a
area do toro.
Quest
ao 4.3.
1. Calcule a integral da func
ao f (x, y, z) = x2 + y 2 + z 2 ao longo da esfera de raio 3.
2. Calcule a integral da func
ao f (x, y, z) = x + y + z no elipsoide descrito acima.
3. Calcule a massa de um cilindro reto de raio 2 em volta do eixo z, com 2 z 2, se sua
densidade e dada por (x, y, z) = x2 + y 2 + ez .
Quest
ao 4.4. Observe a figura abaixo, retirada do livro do Stewart.

Exiba a parametrizac
ao de uma superfcie que tenha este formato.

41

Captulo 5

Teorema de Stokes e Teorema da

Diverg
encia
Neste captulo, vamos apresentar dois teoremas muito importantes do calculo vetorial. O Teorema
(classico) de Stokes, que em certo sentido generaliza o Teorema de Green, e o Teorema da Divergencia
(ou de Gauss). Ambos s
ao conseq
uencias do Teorema geral de Stokes para dimensao qualquer, o que
obviamente n
ao ser
a assunto deste curso.

5.1

Teorema de Stokes

Em outra ocasi
ao, j
a definimos o que vem a ser o
rotacional de um campo.
Se F (x, y, z) = P (x, y, z), Q(x, y, z), R(x, y, z) , lembramos:

rotF = (Ry Qz, P z Rx, Qx Py ) =

R Q P
R Q P

y
z z
x x
y



 i

=  x

 P

j
k 


y
z 
Q R 

A versao do teorema de Stokes no espaco diz que a integral de um campo sobre a fronteira de uma
superfcie e igual ao fluxo do rotacional sobre a superfcie, desde que a orientacao esteja compatvel.
A frase acima precisa de alguns esclarecimentos. O fluxo de um campo sobre uma superfcie e a
medida de quanto o campo atravessa a superfcie. Nao faremos uma motivacao fsica detalhada (um
curso de eletromagnetismo talvez o faca), mas em linha gerais isso significa que estaremos interessado
em somar ao longo da superfcie (de modo uniforme) os comprimentos das componentes dos vetores

do campo que sejam ortogonais `

a superfcie. Ou seja, tomando
n normal unitaria `a superfcie S, o

fluxo de F ao longo de S no sentido de n sera dado a integral de superfcie de cos()||F ||, onde e o

angulo entre
n e F . Mas como ||
n || = 1, isto e o mesmo que F
n.
Neste momento, o fato de cada ponto de uma superfcie possuir duas normais sera importante. De
fato, podemos tomar uma normal unit
aria apontando para cima ou para baixo. A escolha de um
sentido e chamada de orientac
ao da superfcie. Geralmente, a propria parametrizacao ja induz uma
normal unitaria:
u v

n =
||u v ||
Defini
c
ao 5.1. O fluxo de um campo F sobre uma superfcie S parametrizada por (u, v) : D R3

no sentido da normal
n induzida por e dado por:
Z

F
n dS
S

42

O fluxo de um campo atraves de uma superfcie pode ser tambem referido como simplesmente a
integral de um campo atraves da superfcies, e em alguns momentos identificado mais simplesmente
por:
Z
Z

F n dS =
F dS
S

A proposic
ao a seguir ser
a usada tacitamente ao longo do texto, nao obstante, e importante que o
leitor tenha sempre em mente que e uma proposicao, e nao uma definicao!
Proposi
c
ao 5.1.
FluxoF

Z
=

F
n dS =

ZZ


F (u, v) , n(u, v) ||u v || dudv =


ZZ
ZZ 





u v
=
F (u, v) ,
F (u, v) u v dudv
||u v || dudv =
||u v ||
D
D
A fronteira da superfcie, vista como uma curva parametrizada, estara positivamente orientada

de acordo com a normal

n acima se estiver no sentido anti-horario. Em outras palavras, tomando

um vetor v unit
ario e tangente `
a curva na direcao de sua parametrizacao, se {
v ,
n } for uma base
2
positiva de R , ent
ao a fronteira est
a positivamente orientada. Na pratica, isso pode ser verificado
usando a regra da m
ao direita: se o polegar apontar como a normal, os outros dedos flexionados devem
indicar o sentido da fronteira. Vamos entao enunciar o teorema de Stokes de modo mais tecnico:
Teorema 5.1. Seja : D R3 parametrizacao da superfcie S. Seja R3 tal que S . Seja
a fronteira desta superfcie, orientada positivamente de acordo com a normal de S induzida por .
Seja F campo vetorial definido em . Entao:
Z
Z

F d = (rotF )
n dS

A demonstrac
ao deste teorema e oferecida no Apendice B destas notas.
Exemplo 5.1. Calcule o fluxo do rotacional do campo F (x, y, z) = (y, x + y, 0) ao longo da superfcie

S parametrizada por (u, v) = (u, v, 2 u2 v 2 ), na regiao D satisfazendo u2 + v 2 1, sendo

n a
normal convencional.
Calculando diretamente, teremos que:
rotF = (1, 1, 1)
Por outro lado:
u v = (2u, 2v, 1)
Entao:

Z
S

rotF
n dS =

ZZ

ZZ
(1, 1, 1) (2u, 2v, 1) dudv =
D

(2u 2v 1) dudv
D

Passando para coordenadas polares, pois D e o crculo u2 + v 2 1, teremos que:


ZZ
Z 2Z 1
Z 2 
2
2
1
(2u 2v 1) dudv =
[2 cos() 2sen() 1] dd =
cos() sen()
d
3
3
2
D
0
0
0
Logo
Z

rotF
n dS =

43

Agora a outra maneira de resolver, aplicando o teorema de Stokes. A fronteira da figura certamente
ocorre quando u2 + v 2 = 1, ou seja, identificando u = cos(t) e v = sen(t), e a curva:


(t) = cos(t), sen(t), 1 com 0 t 2
Da temos que:
Z
Z
Z

F d =
rotF n dS =

sen(t), 0, cos(t) + sen(t) sen(t), cos(t), 0 dt =

sen2 (t) dt

Logo
Z

rotF
n dS =

como ja esper
avamos.
Exemplo 5.2. Este exemplo e um exerccio. Mostre que o fluxo do rotacional de qualquer campo em
uma superfcie fechada e igual a 0. (1) Divida a superfcie em duas metades. Chame de a borda (2)
Aplique o teorema em cada metade prestando atencao na orientacao (3) Expresse a o fluxo em toda
superfcie como soma dos fluxos em cada metade.

5.2

Teorema da Diverg
encia

O Teorema de Stokes associou a integral de linha ao longo de uma curva com uma certa integral de
superfcie. A pergunta natural e: ser
a que podemos associar uma integral de superfcie com uma
integral tridimensional?
Felizmente, a resposta e sim. O Teorema da Divergencia, ou Teorema de Gauss, diz que o fluxo
de um campo qualquer em direc
ao ao exterior de uma superfcie orientada e fechada e igual `a integral
do seu divergente ao longo da regi
ao confinada pela superfcie.
Novamente, vamos esclarecer esta frase.


Defini
c
ao 5.2. O divergente de um campo F (x, y, z) = P (x, y, z), Q(x, y, z), R(x, y, z) e definido
por:
P
Q R
divF =
+
+
= Px + Qy + Rz
x
y
z
Se B e uma regi
ao fechada e limitada do espaco, a fronteira de B e uma superfcie, que em geral
chamaremos de S. Escolheremos sempre o campo normal a S que aponta para forade B.
Por fim, lembramos que o fluxo de um campo F em direcao ao exterior de uma superfcie S, uma

vez fixado um campo normal

n apontando para fora de S, e definido por:
Z

F
n dS
S

Entao enunciamos o Teorema da Divergencia:

Teorema 5.2. Seja B uma regi

ao fechada e limitada do R3 , cuja fronteira e uma superfcie S. Seja
n
o campo de vetores normal `
a S que aponta para o exterior de B. Seja F um campo vetorial definido
num conjunto cujo interior contenha B. Nestas condicoes:
Z
ZZZ

F n dS =
divF dxdydz
S

44

A demonstrac
ao do teorema acima e oferecida no Apendice B destas notas. Observe os exemplos:
Exemplo 5.3. Seja F (x, y, z) = (x, y, z 2 ). Seja B o cilindro definido por x2 + y 2 1 e 0 z 1.
Calcule a integral de superfcie ao longo da fronteira de B considerando a normal exterior de duas
formas: pela definic
ao e pelo Teorema da Divergencia.


1. A fronteira de B consiste nas superfcies: (i) Face superior: 1 (u, v) = v cos(u),
vsen(u),
1
com


0 v 1 e 0 u 2; (ii) Face inferior: 2 (u, v) =
v cos(u), vsen(u), 0 com 0 v 1 e 0
u 2; (iii) Face lateral: 3 (u, v) = cos(u), sen(u), v com 0 v 1 e 0 u 2. O campo
normal ao longo de 1 e (0, 0, 1); ao longo de 2 e (0, 0, 1); ao longo de 3 e (cos(u), sen(u), 0).
Entao:
Z 2Z 1
Z



v cos(u), v sen(u), 12 , 0, 0, 1 .v dudv+

F
n dS =
0
0
S
Z 2Z 1


+
v cos(u), v sen(u), 0 , 0, 0, 1 .v dudv+
0
0
Z 2Z 1


+
cos(u), sen(u), v 2 , cos(u), sen(u), 0 dudv
0

Logo:
Z

F
n dS = 3

2. Pelo Teorema da Divergencia, temos:

Z
ZZZ

F n dS =
divF dxdydz
S

Considerando nosso campo F (x, y, z) = (x, y, z 2 ), teremos que:

divF =

x y z 2
+
+
= 1 + 1 + 2z = 2 + 2z
x y
z

Usando coordenadas cilndricas, teremos:

ZZZ
Z
divF dxdydz =
B

2Z 1Z 1

(2 + 2z)r dzdrd = 3
0

Apresentamos mais um exemplo:

Exemplo 5.4. Vamos calcular o fluxo de F (x, y, z) = (x3 + y sen(z), y 3 + z sen(x), 3z) atraves da
superfcie composta pela parte superior das esferas de raios 1 e 2, e pela parcela do plano z = 0 situada
entre elas, no sentido ao exterior da regiao compreendida entre as superfcies. O calculo do fluxo pela
definicao fica por conta do leitor!! N
os somente aplicaremos o Teorema da Divergencia:
Z
ZZZ

F
n dS =
divF dxdydz
S

Note que divF = 3x2 + 3y 2 + 3 = 3(x2 + y 2 + 1). Utilizando coordenadas esfericas, teremos:
Z 2Z
1

2Z

3(r2 sen2 () + 1)r2 sen() dddr =

45

"Z
= 6

r4

!
sen3 () d dr +

r2

sen() d dr

Temos que
Z

sen3 (u) du =

sen2 (u)sen(u) du

R
R
ds
Chamando sen2 (u) = t e sen(u) = du
, teremos pela regra do produto t ds = ts s dt o seguinte:
Z
Z
Z
3
2
2
sen (u) du = sen (u)sen(u) du = sen (u) cos(u) + 2 sen(u) cos2 (u) du
Logo
Z

sen3 (u) du = sen2 (u) cos(u) + 2

Z

Logo
Z
0

sen3 (u) du =

Z
sen(u) 2

sen3 (u) du

sen2 (u) cos(u) 2 cos(u)

3

2
sen () d = e
3
3

sen() d = 1

Entao nossa integral ficar

a:
 Z 2



Z 2
2
62 7
54
4
2
6
r dr +
r dr = 6

=
3 1
15 3
5
1

46

5.3

Exerccios

Quest
ao 5.1.
1. Calcule o fluxo do rotacional do campo F (x, y, z) = (x3 y, zy 2 , xz) ao longo da
2
superfcie x y 2 z 2 = 1 com 1 x 2. Escolha a orientacao de modo que o vetor (1, 0, 0)
esteja no campo normal definido.


z
2. Calcule o fluxo do rotacional do campo F (x, y, z) = x2 + y 2 , xy
, x2 + y 2 ao longo da superfcie
(u, v) = (u cos(v), usen(v), u2 sen(2v)), u [0, 1], v [0, 2].
3. Calcule o fluxo do rotacional do campo F (x, y, z) = (z, x2 , y 3 ) ao longo do elipsoide
y2
z2
ca agora ao longo da metade superior do elipsoide.
4 + 9 = 1. Fa

x2
4

4. Calcule o fluxo do rotacional do campo F (x, y, z) = (x2 , y 2 , ez x3 ) ao longo do cone x2 +y 2 z 2 = 0

com 1 z 4.
5. Calcule a integral de linha do campo F (x, y, z) = (x + y + z, x y z, x y z) ao longo da
borda da superfcie (u, v, sen(v)) com 0 v 2 e 1 u 1.
6. Calcule a integral de linha do campo F (x, y, z) = (x + y 2 , y + z 2 , z + x2 ) ao longo da borda do
triangulo de vertices (1, 0, 0), (0, 1, 0) e (0, 0, 1), orientada no sentido anti-horario em relac
ao ao
vetor (1, 1, 1).
7. Calcule a integral de linha do campo F (x, y, z) = (yz, 2xz, exy ) ao longo do crculo x2 + y 2 = 16
e z 5, orientado positivamente em relacao ao vetor (0, 0, 1).
Quest
ao 5.2.

1. Calcule o fluxo do campo F (x, y, z) = (x3 , y 3 , z 3 ) atraves da esfera de raio R.

2

2. Calcule o fluxo do campo F (x, y, z) = (sen(y), cos(x)ez , xy 2 ) atraves da superfcie limitada por
z 2 x2 y 2 = 1 e por x2 + y 2 = 3. Reflita sobre que superfcie e esta. Calcule a intersecao entre
as duas equac
oes implcitas.
3. Calcule o fluxo do campo F (x, y, z) = (x2 , sen(y)z, z 2 ) atraves da superfcie limitada superiormente pelo parabol
oide z = (x2 y 2 ) + 1 e inferiormente pela esfera de raio 1.
4. Calcule o fluxo do campo F (x, y, z) = (xyz, y, z) atraves da superfcie limitada superiormente
pelo cone (z 1)2 = x2 + y 2 e inferiormente pelo cone (z + 1)2 = x2 + y 2 .
Quest
ao 5.3. Demonstre, utilizando o Teorema da Divergencia, que o fluxo do rotacional de um
campo ao longo de qualquer superfcie fechada e sempre zero.
Quest
ao 5.4. Demonstre o Teorema de Green usando o Teorema de Stokes.
Quest
ao 5.5. Seja C curva simples fechada contida no plano x + y + z = 1. Mostre que a integral:
Z
zdx 2xdy + 3ydz
C

so depende da
area da regi
ao confinada por C, e nao do seu formato ou de sua posicao no espaco.
Quest
ao 5.6. Calcule:
Z

(y + sen(x))dx + (z 2 + cos(y))dy + x3 dx

onde C e a curva (t) = (sen(t), cos(t), sen(2t)), t [0, 2]. Voce saberia exibir uma superfcie que
contivesse esta curva?!
47



3
Quest
ao 5.7. Use o Teorema da Divergencia para calcular o fluxo de F (x, y, z) = z 2 x, y3 + tan(z), x2 z + y 2
onde S e a metade superior da esfera x2 + y 2 + z 2 = 1. Note que nao e uma superfcie fechada. Fecheada maneira mais simples possvel e resolva a questao!
Quest
ao 5.8. Demonstre todas as igualdades abaixo. Suponha que S e uma superfcie qualquer
com C sua borda parametrizada no sentido anti-horario por r, satisfazendo as hipoteses convencionais
sobre diferenciabilidade. Suponha que f, g sejam funcoes com segunda derivada contnua. Suponha
que B seja uma regi
ao qualquer com borda dada por T , satisfazendo as hipoteses convencionais sobre
diferenciabilidade.
ZZ
Z
(f g) dS
(f g) dr =
S

Z
(f f ) dr = 0
C

Z
(f g + gf ) dr
C

ZZ

a
n dS = 0, a vetor constante, n normal `a superfcie.

ZZ
1
Vol(B) =
F n dS, F (x, y, z) = (x, y, z)
3 S
ZZ
rotF n dS = 0
S

ZZ

ZZZ

2 f dV

D
n f dS =
S

ZZ

ZZZ

(f 2 g + f g) dV

(f g) n dS =
S

ZZ

ZZZ

(f 2 g g2 f ) dV

(f g gf ) n dS =
S

onde 2 f = divf e D
e a derivada direcional de g na direcao da normal, ou seja, g
n.
nf

48

Ap
endice B

Demonstra
c
ao do Teorema de Stokes e
do Teorema da Diverg
encia
A ttulo de completude desta exposic
ao, vamos apresentar demonstracoes (esbocada) dos teoremas
apresentados no captulo anterior. O leitor interessado em aplicacoes dos teoremas pode esquiv
a-las
sem prejuzos, mas reforcamos a import
ancia de acessar argumentos matematicos sofisticados para um
bom entendimento da teoria.

B.1

Demonstra
c
ao do Teorema de Stokes

Vamos introduzir algumas notac

oes. Se Q e uma regiao qualquer (do R2 ou do R3 ), entao
Q denota a fronteira da regiao Q, seja ela curva ou superfcie
Agora considere um ret
angulo R, sua fronteira R e um campo F . A integral de linha de F ao
longo de R no sentido anti-hor
ario sera representada simplesmente por:
Z
F
R

Lembramos o enunciado do Teorema.

Teorema B.1 (Stokes). Seja : D R3 parametrizacao da superfcie S. Seja R3 tal que S .
Seja a fronteira desta superfcie, orientada positivamente de acordo com a normal de S induzida por
. Seja F campo vetorial definido em . Entao:
Z
Z

F d = (rotF )
n dS

O leitor atento observar

a que esta demonstracao pode ser adaptada para uma demonstracao direta
do Teorema de Green.
Demonstra
c
ao. O Teorema de Stokes segue apos dois passos principais. Vamos chamar cada passo
de lema, deixando a demonstrac
ao do segundo deles (a mais difcil) para o final.
Lema B.1. Dados dois ret
angulos R1 e R2 compartilhando um lado l, temos que:
Z
Z
Z
F+
F =
F
R1

(R1 R2 )

R2

49

 f
Demonstra
c
ao (B.1). E
acil notar que:
Z

Z
F =

lR1

F
lR2

R
R
pois os sentidos s
ao opostos. Logo na soma R1 F + R2 F este termo se cancela, sobrando apenas
os tres lados restantes de cada ret
angulo. Com a orientacao anti-horaria escolhida em ambos, teremos
exatamente a fronteira de R1 R2 , logo:
Z
F
(R1 R2 )

//

Lema B.2. O Teorema de Stokes vale para quando a superfcie for um retangulo R infinitesimal, ie:
Z

F = (rotF )
n dR
R

Note que nao h

a sinais de integrac
ao do lado esquerdo, pois o retangulo e infinitesimal...
Com os lemas acima, a demonstrac
ao do resultado segue facilmente se passarmos por cima de certos
detalhes tecnicos. Como sempre, aproximamos a integral de superfcie como a soma das integrais em
retangulos que aproximam uma partic
ao da superfcie em regioes quadrilaterais curvas (como foi feito
para a area!). Ent
ao faremos o limite desta soma quando (1) temos infinitos retangulos (2) eles s
ao
infinitamente pequenos. Em termos informais:
Z
X

(rotF )
n dS =
(rotF )
n dR =
S

retangulos R
infinitesimais

X
retangulos R
infinitesimais

Z
F
R

Esta u
ltima igualdade valendo pelo Lema B.2. Mas usando o Lema B.1 indutivamente, transformando
cada par de ret
angulos em um ret
angulo maior, acabaremos que:
Z
Z
Z
X

(rotF )
n dS =
F =
F
S

retangulos R
infinitesimais

//

Falta demonstrar o Lema B.2, o que contem de fato a essencia deste resultado.
Demonstra
c
ao (B.2). Para simplificar a notacao, vamos assumir que por uma mudanca de coordenadas o nosso ret
angulo esteja no plano xy e um dos vertices seja a origem. Considere entao os lados
do retangulo como sendo:
I: s1 (t) = (tx , 0, 0), t [0, 1]
II: s2 (t) = (x , ty , 0), t [0, 1]
III: s3 (t) = (x (1 t), y , 0), t [0, 1]
IV: s4 (t) = (0, y (1 t), 0), t [0, 1]
50

Observemos que o vetor normal unit

ario a este retangulo e n = (0, 0, 1). Seja:


F (x, y, z) = P (x, y, z), Q(x, y, z), R(x, y, z)
Lembre-se que o fato a seguir e sempre verdadeiro para qualquer f (mudanca de variaveis):
1

f (1 t) dt

f (t) dt =
0

Teremos entao que:

IV

III

II

F =

F+

F+

F+

F =

4 Z
X
k=1

F (sk (t)) s0k (t) dt =

1


P (tx , 0, 0)x + Q(x , ty , 0)y P (tx , y , 0)x Q(0, ty , 0)y dt =
0

Z 1
Q(x , ty , 0) Q(0, ty , 0) P (tx , y , 0) P (tx , 0, 0)
=

x y dt
x
y
0

Tomando limites, a u
ltima integral acima converge para:

Z 1
Q P

dxdydt
x
y
0
Donde conclumos que:


Z
F =
R

Q P

x
y

dxdy = (rotF )
n dxdy

Mas dxdy = dR, concluindo nossa demonstracao.

Observamos que passamos por cima de varios detalhes (questoes de convergencia, mudancas de
coordenadas...) e s
o utilizando a definicao de rotacional para obter a u
ltima igualdade da demonstrac
ao
do lema anterior. Para justificar a definicao completa, podemos argumentar que simplesmente o
resultado teria que continuar valendo qualquer que fosse nossa mudanca de coordenadas, portanto
mandar em ret
angulos no plano xz deveria fazer aparecer o termo Pz Rx , e mandar em ret
angulos
no plano yz deveria fazer aparecer o termo Ry Qz .

B.2

Demonstra
c
ao do Teorema da Diverg
encia

Enunciamos agora o Teorema da Divergencia:

Teorema B.2. Seja B uma regi
ao fechada e limitada do R3 , cuja fronteira B e uma superfcie S.

Seja n o campo de vetores normal `

a S que aponta para o exterior de B. Seja F um campo vetorial
definido num conjunto cujo interior contenha B. Nestas condicoes:
Z
ZZZ

F n dS =
divF dxdydz
S

51

Demonstra
c
ao. Vamos comecar fazendo uma hipotese simplificadora. Suponha que B e uma regi
ao
simples, ou seja, que qualquer reta paralela a um dos eixos coordenados intersecte B somente em um
segmento de reta ou ponto. Isso significa que uma esfera (macica), por exemplo, e simples, ao passo
que um toro (macico) n
ao e. Continuando, denotamos:




F (x, y, z) = P (x, y, z), Q(x, y, z), R(x, y, z) = P, Q, R

e denotamos tambem o campo normal unitario

n por:




n(x, y, z) = n1 (x, y, z), n2 (x, y, z), n3 (x, y, z) = n1 , n2 , n3
Queremos mostrar que:
ZZZ

ZZ
F n dS =

divF dxdydz

B=S

ou seja:
ZZ

ZZZ

P n1 + Qn2 + Rn3 dS =

Px + Qy + Rz dxdydz

Na verdade, mostraremos algo ainda mais especfico. Mostraremos que:

ZZ
ZZZ
P n1 dS =
Px dxdydz
B

ZZ

ZZZ
Qn2 dS =

Qy dxdydz

ZZ

ZZZ
Rn3 dS =

Rz dxdydz

Por questoes de simetria na argumentacao, basta mostrar uma delas, digamos, a u

ltima. Como estamos
supondo que B e uma regi
ao simples, podemos dividir a fronteira de B em tres partes conexas:
{B}topo onde n3 > 0
{B}meio onde n3 = 0
{B}base onde n3 < 0
Da teremos que:
ZZ

ZZ

ZZ

Rn3 dS =
B

ZZ

Rn3 dS +

Rn3 dS +

Btopo

Bmeio

ZZ

ZZ

Rn3 dS +
Btopo

Rn3 dS =
Bbase

Rn3 dS
Bbase

pois n3 = 0 em {B}meio . Agora suponhamos que exista uma regiao D no plano xy tal que {B}topo
e a imagem da func
ao:
T (x, y) 7 (x, y, t(x, y)), (x, y) D
e que {B}base e a imagem da func
ao:
B(x, y) 7 (x, y, b(x, y)), (x, y) D

52

Caso esta hip

otese n
ao se verifique, seria necessario efetuar uma mudanca de coordenadas para definir
as funcoes, mas que poderia ser cancelada com uma nova mudanca nas integrais a seguir, e deixamos
os detalhes de lado. Continuando, teremos que:
ZZ
ZZ
ZZ
Rn3 dS =
Rn3topo dS +
Rn3base dS
B

Btopo

Bbase

Agora se S = Btopo , ent

ao:
dS = ||(1, 0, tx ) (0, 1, ty )||dxdy = ||(tx , ty , 1)||dxdy
E se S = Bbase , ent
ao:
dS = ||(1, 0, bx ) (0, b, ty )||dxdy = ||(bx , by , 1)||dxdy
O vetor normal n em Btopo seria:
ntopo =

(tx , ty , 1)
1
n3topo =
||(tx , ty , 1)||
||(tx , ty , 1)||

E o vetor normal n em Bbase seria:

(bx , by , 1)
1
n3base =
||(bx , by , 1)||
||(bx , by , 1)||

nbase =

Cancelando os termos ||(tx , ty , 1)|| e ||(bx , by , 1)||, teremos que:

ZZ
ZZ
ZZ
Rn3 dS =
R(x, y, t(x, y)) dxdy
R(x, y, b(x, y)) dxdy =
B

ZZ
R(x, y, t(x, y)) R(x, y, b(x, y)) dxdy

=
D

Mas, pelo Teorema Fundamental do C

alculo, temos que este u
ltimo termo e justamente igual a:
ZZ Z

t(x,y)

D b(x,y)

R
dxdydz =

ZZZ
B

R
dxdydz =
z

concluindo exatamente onde queramos.

Para mostrar o resultado completamente, seria necessario mostrar que podemos pegar qualquer
regiao M e divid-la em regi
oes simples, e que o teorema valendo em cada parte implica que valeria em
toda a regiao. Intuitivamente n
ao h
a como discordar, mas os detalhes tecnicas fogem aos prop
ositos
deste texto.

53

Ap
endice C

Revis
ao - integrais triplas
Generalizando o estudo de integrais bidimensionais, podemos definir integrais de funcoes reais de n
variaveis em regi
oes do espaco n-dimensional. Neste captulo, vamos definir integracao de func
oes de
tres variaveis em regi
oes do R3 , dando sentido `a expressao:
Z
f
A

onde f : R3 R e A R3 .
A definicao formal dessas integrais envolve somas de Riemann em particoes de paraleleppedos do
R3 , tratamento este que deixaremos para que o leitor interessado pesquise nas fontes citadas.
Um tratamento muito mais f
acil pode ser obtido atraves do Teorema de Fubbini, que permite
expressar integrais de v
arias vari
aveis em termos de integrais repetidas. Entao, se A e o ret
angulo
[a1 , a2 ] [b1 , b2 ] [c1 , c2 ], e f := f (x, y, z), temos que:
Z a2 Z b2 Z c2
Z
f=
f (x, y, z)dzdydx
a1

b1

c1

Exemplo C.1. Seja f (x, y, z) = x2 + yz. Seja A = [0, 1] [1, 2] [1, 3]. Entao

Z
Z 1Z 2Z 3
Z 1Z 2
Z 1Z 2
yz 2 3
2
2
f=
x + yz dzdydx =
zx +
4x2 + 4y dydx =
 dydx =
2
A
0
1
1
0
1
0
1
1
Z
=
0

2
Z

4x y + 2y  dx =
2

1

4x3
4
22
4x + 6 dx =
+ 6x = + 6 =
3
3
3
0
2

importante ressaltar que estas integrais repetidas podem ser calculadas em qualquer ordem,
E
desde que se tome o devido cuidado em integrar na variavel correspondente ao limite considerado.
Muitas vezes, os limites de integrac
ao nao poderao ser expressos somente numericamente, e o caso
em que a regi
ao considerada n
ao for um retangulo.

C.1

Coordenadas retangulares

Consideremos o intervalo [a, b] onde consideramos a variavel x. Sejam g1 (x) e g2 (x) duas func
oes
definidas neste intervalo. Entre os valores que estas funcoes assumem, definimos a variavel y. Sejam
agora as func
oes h1 (x, y) e h2 (x, y), onde a variavel x e tomada em [a, b] e y tomada em [g1 (x), g2 (x)].
No intervalo [h1 (x, y), h2 (x, y)] definimos a variavel z.
54

Nas condic
oes acima apresentadas, temos uma regiao A do R3 delimitada por:
a x b, g1 (x) y g2 (x), h1 (x, y) z h2 (x, y)
Entao, se f e uma func
ao real de tres variaveis, podemos considerar:
Z
Z b Z g2 (x) Z h2 (x,y)
f=
f (x, y, z) dzdydx
A

g1 (x)

h1 (x,y)

onde neste caso a ordem de integrac

ao nao pode ser alterada, a nao ser que se determinem novas
funcoes.
Exemplo C.2. Considere a regi
ao A delimitada por
0 x 1, 0 y 1 x, 0 z 1 x y
Como exerccio:
1. Quais s
ao as func
oes g1 , g2 , h1 e h2 ?
2. Desenhe esta regi
ao!
Se f (x, y, z) = x est
a definida nesta regiao, entao:
Z
Z 1 Z 1x Z 1xy
Z
f=
x dzdydx =
A

1Z

=
0

x x xydydx =
0

1x

=
Z

x(1 x)2
(1 x)(x x )
dx =
2
2

1 Z 1x
0

1xy

xz 
dydx =
0


xy 2 1x
y(x x )
dx =
2 0
2


x
1
x3
x2 x3 x4 1
2
x + dx =

+  =
2
2
4
3
8 0 24

Em algumas situac
oes, a regi
ao podera estar sendo expressa de uma maneira levemente diferente
de como introduzido acima. Neste caso, convem fazer uma adequacao.
Considere a regi
ao A limitada pelos planos do R3 :
x = 0, x = 1, y = 0, z = 0, z + y = 1
Certamente a melhor maneira de visualizar a regiao e desenhando-a. Poderemos concluir entao que:
0 x 1, donde obtemos nossos a e b.
Concluiremos tambem que:
y 0, z 0, z + y 1
que ainda nao est
a na forma desejada. Como y e z sao positivos, a condicao z + y 1 implica
naturalmente que z 1 e que y 1. Esta u
ltima condicao e u
nica que associa duas variaveis, ent
ao
certamente uma delas permanecer
a livre, enquanto a outra devera ser limitada por uma func
ao da
anterior. Neste caso, temos:
0 y 1, donde obtemos nossos g1 (x) e g2 (x).
e tambem:
0 z 1 y, donde obtemos nossos h1 (x, y e h2 (x, y).
55

C.2

Mudan
ca de vari
aveis

Consideremos uma transformac

ao G : (x, y, z) (x(u, v, w), y(u, v, w), z(u, v, w)) que envia a regi
ao A
do R3 em outra regi
ao B do R3 , ou, melhor dizendo, que escreve as variaveis x, y e z de outra forma.
Consideremos uma func
ao f : R3 R definido em B. Entao o seguinte resultado e valido:
Z
Z
f = (f G)| det(DG )|
A

onde DG e a matriz composta pelas derivadas parciais de x, y e z com respeito `as variaveis u, v e w,
chamada matriz Jacobiana. Ou seja:

x x x
u v w

y y y

DG =

u v w

z z z
u v w
As duas sec
oes seguintes se dedicam a apresentar aplicacoes muito u
teis destes resultados.

C.3

Coordenadas cilndricas

Considere o problema a seguir:

Exemplo C.3. Integre a func
ao f (x, y, z) = x2 + y 2 na regiao A limitada pelo plano z = 0 e pelo
2
2
paraboloide z + x + y = 1. Ap
os desenhar a regiao, obtemos em termos de desigualdades:
z 0 e z + x2 + y 2 1 ()
Com o que vimos em coordenadas retangulares, comecamos limitando o x, ignorando y e z. Como x2
e positivo, temos que |x| 1, logo
1 x 1
Tratemos de limitar y agora com respeito a x. Ignorando o z temporariamente, temos que x2 + y 2 1,
logo:
p
p
1 x2 y 1 x2
Por fim, olhando para as duas desigualdades em (), temos que z esta limitado da seguinte forma:
0 z 1 x2 y 2
Entao nossa integral fica no formato:
Z

f=
A

1x2

1x2

1x2 y 2

x2 + y 2 dzdydx

e o leitor fica convidado a resolve-la neste formato se nao tiver mais o que fazer.

56

Certamente esta n
ao deve ser a melhor estrategia para resolver um problema aparentemente t
ao
simples. A express
ao de um parabol
oide possui um forte apelo de simetria com respeito a rotac
ao. A
funcao considerada tambem possui uma consideravel simetria rotacional. De fato, se formos capazes
de reescrevemos as vari
aveis de modo que essa simetria se expresse mais claramente, conseguiremos
resolver o problema com facilidade.
Neste contexto, introduzimos a mudanca de coordenadas retangulares para cilndricas:
x r. cos()
y r.sen()
zz
onde 0 < 2 e r 0.
Note que a vari
avel z de altura permanece inalterada. A nova variavel r e a distancia do ponto
(x, y, z) ao eixo z, e a vari
avel mede o angulo da projecao do ponto com respeito ao eixo x.
O aluno interessado poder
a tentar compreender melhor tal mudanca de coordenadas fazendo um
desenho e imaginando um cilindro dentro do R3 , ou pesquisando nas fontes recomendadas.
A nomenclatura das vari
aveis e apenas arbitraria. No caso, u, v e w sao r, e z.
Calculamos ent
ao o determinante da matriz Jacobiana:


 x x x 


 r z 

 


 

 y y y   cos() rsen() 0 




|DG | = 
 =  sen() r cos() 0 
 r z  
0
0
1 




 z z z 


r z
Facilmente calcula-se
|DG | = r
Voltando ao exemplo anterior, temos:
Exemplo C.4. A regi
ao e z 0 e z + x2 + y 2 1. Trocando (x, y, z) pelos novos (r, , z), teremos:
z 0 e z + r2 1
pois (r cos())2 + (rsen())2 = r2 , onde o e livre de 0 a 2 e r 0. Vemos facilmente entao que:
| {z }
| {z }
x

0r1
e que
o z 1 r2
A funcao, por outro lado, fica:
f G(x, y, z) = (r cos())2 + (rsen())2 = r2
| {z }
| {z }
x

Entao aplicando a mudanca de vari

aveis, ou seja, ajustando aos novos limites, usando a funcao composta, e nao esquecendo o determinante Jacobiano, teremos que:
Z
Z 2 Z 1 Z 1r2
f=
r2 .r dzdrd
A

57

significativamente mais simples! De fato:

Z
Z 2 Z 1 Z 1r2
Z
2
f=
r .r dzdrd =
A

Z
=
0

1r2
Z

zr 
drd =

r3 r5 drd =

r 6 1


Z 2
1


 d =
d =
4
6 0
12
6
0

r4

Apesar de muito u
teis quando estamos lidando com regioes de revolucao, as coordenadas cilndricas
podem nao se adequar a todos os casos.
Considere o caso a seguir:
Exemplo C.5. Integre a func
ao f (x, y, z) =

x2 +y 2
z3

na esfera S dada por:

x2 + y 2 + z 2 1
Passando para coordenadas cilndricas, teremos:
r2 + z 2 1
Donde teremos:
p
p
0 2, 0 r 1, 1 r2 z 1 r2
que pode nao ser muito f
acil de calcular na integral...
Neste caso, introduzimos as coordenadas esfericas.

C.4

Coordenadas esf
ericas

A mudanca de coordenadas retangulares para esfericas e dada pelas expressoes:

x r. cos()sen()
y r.sen()sen()
z r. cos()
onde 0 < 2, 0 e r 0.
A nova vari
avel r e a dist
ancia do ponto (x, y, z) ao ponto (0, 0, 0), a variavel mede o angulo da
projecao do ponto com respeito ao eixo x e a variavel mede o angulo do ponto (visto como vetor)
com o eixo z.
O aluno interessado poder
a tentar compreender melhor tal mudanca de coordenadas fazendo um
desenho e imaginando uma esfera dentro do R3 , ou pesquisando nas fontes recomendadas.
Calculamos ent
ao o determinante da matriz Jacobiana:


 x x x 


 r 
 




 y y y   cos()sen() rsen()sen() r. cos() cos() 
 

|DG | = 
 = sen()sen() r. cos()sen() r.sen() cos() 
 r  

cos()
0
r.sen()




 z z z 




r
Com alguns c
alculos, conclui-se que
|DG | = r2 sen()
58

Exemplo C.6. Vamos voltar ao exemplo anterior. A esfera S e dada por x2 + y 2 + z 2 1. Por meio
de uma mudanca G para coordenadas esfericas, teremos que

2 
2 
2
r. cos()sen() + r.sen()sen() + r. cos() =
|
{z
}
|
{z
}
| {z }
x

= r2 sen()2 + r2 cos()2 = r2
Da conclumos que e s
ao livres, e r 1. Logo:
0 r 1, 0 2, 0
A funcao, por sua vez, ficar
a:
f G(x, y, z) = f (r. cos()sen(), r.sen()sen(), r. cos()) =
y

}|
{ 2  z
}|
{ 2
z
r. cos()sen() + r.sen()sen()
tan2 ()
=
=
3

r cos()
r. cos()
| {z }
z

Agora montamos a integral, n

ao esquecendo o jacobiano:
Z
Z 1 Z 2 Z
tan2 () 2
.r sen dddr
f=
S
0
0
0 r cos()
Como r e uma constante com respeito `
as integrais de e , e como nao aparecem termos em , teremos
que:
Z 1
 Z 2
 Z

Z
1
3
f=
r dr
1 d
tan ()d = .2.0 = 0
2
S
0
0
0
Vamos exibir mais aplicac
oes das coordenadas cilndricas e esfericas na proxima secao.

C.5

Aplica
c
ao: C
alculo de volumes

O uso da integrac
ao em R3 nos fornece um metodo para calcular volumes de solidos, e a massa se
considerarmos uma func
ao densidade.
No caso de volumes, definimos convenientemente:
Z
Vol(A) =
1
A

Exemplo C.7. Considere um cilindro C de raio R e altura H. Para calcularmos seu volume, vamos
fazer uma mudanca para coordenadas cilndricas. Sem esquecer o jacobiano, teremos:
Z

R Z 2

1=
C

r dzddr =
0

R2
.H.2 = R2 .H.
2

Naturalmente igual `
a f
ormula obtida apos aplicar o princpio de Cavalieri.

59

Exemplo C.8. Vamos calcular o volume de uma piramide P reta de base quadrada. Se um lado da
base mede 2 e se a altura e 2, trata-se da regiao limitada pelas desigualdades:
z 0; z + 2y 2; z 2y 2; z + 2x 2; z 2x 2
Elegemos a vari
avel x para ser livre. Claramente
1 x 1donde temos nossos a e b
Olhando para as quatro desigualdades, e com o objetivo de isolar o z, obteremos que z deve satisfazer
simultaneamente:
z 2 2x; z 2 2y; z 2 + 2x; z 2 + 2y
Por exemplo, quando x for positivo e maior que |y|, sera o caso da primeira. Quando for y positivo
maior que |x|, ser
a o caso da segunda. Tente interpretar geometricamente para quais regi
oes da
piramide essas desigualdades se aplicam!
De qualquer maneira, elas dividem a piramide em 4 partes iguais. Entao o volume da pir
amide
podera ser obtido usando apenas a primeira, ou seja, exigindo x positivo e x |y| x y x:
Z

1Z x

22x

1=
P

1Z x

2 2x dydx =

1 dzdydx =
0

4x 4x2 dx = 2

4
2
=
3
3

Multiplicando por 4, obtemos 83 .

Se existe uma func
ao densidade d definida em cada ponto do solido A, entao a massa do s
olido e
dada por:
Z
d
A

Exemplo C.9. Qual a massa da esfera S cuja densidade e igual a distancia do ponto ao centro da
esfera?
p
A densidade trata-se da func
ao d(x, y, z) = x2 + y 2 + z 2 . Entao a massa sera dada por:
Z p
x2 + y 2 + z 2
S

Passando para coordenadas esfericas, teremos que:

Z 1 Z 2 Z
Z p
2
2
2
x +y +z =
r2 r2 sen() dddr =
0

Z
=
0

r3 dr

 Z

 Z
1 d

60


sen() d =

C.6

Exerccios

Quest
ao C.1 (Fixac
ao).

a. Integre a funcao f (x, y, z) = x + y no retangulo [1, 1] [0, 1] [2, 5].

b. Integre a func
ao f (x, y, z) = sen(x)sen(z) no retangulo [0, ] [0, 2] [, ].
c. Integre a func
ao f (x, y, z) = cos(x + y + z) no retangulo [0, ] [0, ] [ 2 , 2 ].
Quest
ao C.2 (Coordenadas retangulares).
a. Desenhe a regiao determinada por 0 x 1, x
y x e x z x. Integre a funcao f (x, y, z) = xyz nesta regiao.
b. Integre a func
ao f (x, y, z) = x + y + z na regiao limitada pelos planos z = y + 1, z = y + 1,
x = 1, x = 1 e z = 0. Talvez seja necessario fazer 2 integrais!
Quest
ao C.3 (Coordenadas cilndricas).
a. Integre a funcao f (x, y, z) = z no cilindro reto de raio
3 limitado pelos planos z = 0 e z = 2.
b. Desenhe a regi
ao limitada pelo cilindro x2 + y 2 1, pelo paraboloide z = x2 + y 2 e pelo plano
1
z = 2. Integre a func
ao f (x, y, z) = x2 +y
ao.
2 nesta regi
Quest
ao C.4 (Coordenadas esfericas).
a. Integre a funcao f (x, y, z) = z1 na esfera de raio 1. Este
resultado mudaria se fosse x1 ? Tente calcular de fato a integral de x1 .
p
b. Integre a func
ao f (x, y, z) = x2 + y 2 na casca esferica 1 x2 + y 2 + z 2 4.
Quest
ao C.5 (Volume e massa).
a. Calcule o volume da regiao limitada pelas superfcies y =
cos(x), z = y, x = 0, x = 2 e z = 0.
b. Calcule o volume da regi
ao limitada acima pela esfera de raio 1 e abaixo pelo parabol
oide
z = x2 + y 2 .
c. Calcule a massa do s
olido limitado acima pela esfera x2 + y 2 + z 2 = z e abaixo pelo cone
2
2
2
z = x + y , se a func
ao densidade e dada por 2 vezes a distancia do ponto `a origem.
d. Deduza f
ormulas para o c
alculo do volume da esfera e do paraboloide z = x2 + y 2 limitado pelo
plano z = a.
e. Deduza f
ormula para o c
alculo do volume de um elipsoide
x2 y 2 z 2
+ 2 + 2 =1
a2
b
c

61

Parte III

3a unidade
Onde falaremos sobre sequ
encias de n
umeros, s
eries num
ericas,
s
eries de pot
encias e s
eries de Taylor

62

Captulo 6

Sequ
encias
Uma sequencia de n
umero reais e uma funcao
s:NR
que associa a cada n
umero natural um n
umero real. Sera comum denotarmos s(n) = sn e dizermos
que este e o n-esimo termo da sequencia.
Exemplo 6.1. A func
ao s(n) = n + 1 e a sequencia:
2, 3, 4, 5, ..., n + 1, ...
Exemplo 6.2. A func
ao sn =

pn
5

e a sequencia:
r

1
,
5

2
,
5

3
,
5

4
, 1,
5

6
, ...
5

Dizemos que uma sequ

encia
e convergente se existir:
L = lim sn
n

Neste caso, dizemos que L e o limite da sequencia. Lembramos ao leitor que, por definicao, tal limite
existe se:
Dado  > 0, existe n0 tal que n n0 implica que |sn L| < 
Exemplo 6.3. A sequencia sn =

1
n

e convergente, e seu limite e 0. Com efeito, dado um  > 0,

1
1
queremos achar um n0 tal que, a partir deste n0 , | 0| < , ou seja, < . Mas isto e logicamente
n
n
1
equivalente a < n. Logo, dado  > 0, tomamos qualquer n0 > 1 . Logo n n0 > 1 implicara que:

1
<
n
O limite portanto existe e e igual a 0.
Dizemos que
lim sn =

63

se a seguinte condic
ao se verifica:
Dado M > 0, existe n0 tal que n n0 implica que |sn | > M
ou seja, a sequencia cresce indefinidamente. Equivalentemente, diremos que:
lim sn =

se a seguinte condic
ao se verifica:
Dado M < 0, existe n0 tal que n n0 implica que |sn | < M
ou seja, a sequencia decresce indefinidamente.
Em ambos os casos, diremos que a sequ
encia
e divergente.
Exemplo 6.4. A sequencia sn = n2 e divergente, e diverge para
+. Com efeito, dado um suposto
limite M para esta sequencia, se tomarmos um natural n0 M , teremos que:

n > n0 M implica que sn = n2 > M

como queramos.
Com estas definic
oes de limite, todas as propriedades usuais se verificam. Ou seja, o limite, se
existir, e u
nico. A soma dos limites, se existirem, e exatamente o limite da soma, e o mesmo para o
produto. Em resumo:
Proposi
c
ao 6.1.
0. Se lim an = A e lim an = A0 , entao A = A0 .
n

1. Se lim an = A 6= e lim bn = B 6= , entao:

n





lim (an ) + (bn ) = A + B e lim (an )(bn ) = AB

2. Se lim an = A 6= e lim bn = B, B 6= e B 6= 0, entao:

n

lim

an
A
=
bn
B

3. Se lim an = A 6= 0 e lim bn = , entao:

n





lim (an ) + (bn ) = e lim (an )(bn ) =

4. Se lim an = A 6= e lim bn = , entao:

n

an
=0
n bn
lim

5. Se lim an = e lim bn = B 6= , entao:

n

lim

64

an
=
bn

O leitor e convidado a analisar os casos em que temos lim xn = ao inves de +.

n

n2 3n + 1
. A proposicao acima nao se verifica, pois os limites
n
2n2 + 5
de ambos os fatores s
ao +. Mas note que:
Exemplo 6.5. Calcule o limite lim

1 n3 + n12
n2 3n + 1
=
2n2 + 5
2 + n52
O limite de ambos os fatores agora existe, e temos:




3
5
1
lim 1 + 2 = 1 e lim 2 + 2 = 2
n
n
n n
n
Pelo item 2 acima, teremos:
1 n3 + n12
n2 3n + 1
1
=
=
lim
5
2
n
n
2n + 5
2
2 + n2
lim

O leitor certamente j
a compreendeu o esprito da coisa: tudo que se disse sobre lim f (x), onde x
x
e uma variavel contnua e f : R R se aplica aos limites de sequencias.

6.1

Crit
erios de converg
encia

A proposicao a seguir apresenta um criterio bastante u

til:
Proposi
c
ao 6.2. Seja uma sequencia sn e crescente.
1. Se for limitada superiormente, entao o limite lim sn existe, ie, sn e convergente.
n

2. Caso contr
ario, sn ser
a divergente.
Caso seja decrescente, consideramos limites inferiores.
Demonstra
c
ao. Todo conjunto de n
umeros reais limitados superiormente admite supremo S. Este
supremo sera o limite da sequencia, uma vez que dado um  > 0, existira um S  < sn0 S por
definicao de supremo. A partir de tal sn0 , os termos seguintes se acumularao entre S  e S. Mas
isto para qualquer escolha de , logo S e o limite. No caso da sequencia nao limitada superiormente,
e obvio que ela n
ao pode ter limite, sen
ao todos os termos seriam menores ou iguais a este.
Como aplicac
ao do criterio acima, vamos mostrar que uma sequencia converge e que outra diverge.
n
X
1
Exemplo 6.6. Considere a sequencia definida por sn =
. Ou seja:
k2
k=1

s1 = 1, s2 = 1 +

1
1
1
1
1
1
1
1
1
1
, s3 = 1 + 2 + 2 , s4 = 1 + 2 + 2 + 2 , s5 = 1 + 2 + 2 + 2 + 2 , ...
22
2
3
2
3
4
2
3
4
5

Vamos mostrar que esta sequencia converge. Falando de um modo informal, vamos mostrar que a
soma infinita:
1
1
1
1
1
1
lim sn = 1 + 2 + 2 + 2 + 2 + 2 + 2 + ...
n
2
3
4
5
6
7
1
converge para um valor. Inicialmente note que sn+1 sn = (n+1)
>
0, logo a sequencia e crescente.
2
Pelo criterio acima, basta verificarmos que e limitada. Para isso, faremos uso do calculo:
65

1
f HxL =

1
x2

Observe que a
area de cada ret
angulo e igual a cada termo da soma. Logo a soma de todas as
areas
sera igual `a nossa soma infinita. Mas note que a soma dessas areas e inferior `a area sob o grafico.
O leitor deve ser lembrar que
area sob o grafico e calculada fazendo uso do calculo:

Z b
1
1 b
1
lim
dx = lim ( ) = lim 1 = 1
b 1 x2
b x
b
b
1
Logo
Z b
1
1
1
1
1 + 2 + 2 + 2 + ... < lim
dx 1
b 1 x2
2
3
4
Nossa sequencia, formada pelas somas parciais, e portanto crescente e limitada, logo convergente, a
partir da proposic
ao acima apresentada. Calcular o limite, por outro lado, nao e facil. Com um pouco
de tecnica, obtem-se o impressionante resultado:
lim sn =

X
n=1

2
6

O leitor interessado poder

a consultar uma demonstracao deste resultado no apendice ao final do texto.
Exemplo 6.7. Se removermos os quadrados dos termos da sequencia anterior, a sequencia divergir
a.
n
X
1
Considere a sequencia definida por sn =
. Ou seja:
k
k=1

1
1 1
1 1 1
1 1 1 1
s1 = 1, s2 = 1 + , s3 = 1 + + , s4 = 1 + + + , s5 = 1 + + + + , ...
2
2 3
2 3 4
2 3 4 5
Vamos mostrar que esta sequencia diverge. Falando de um modo informal, vamos mostrar que a soma
infinita:
1 1 1 1 1 1
lim sn = 1 + + + + + + + ...
n
2 3 4 5 6 7
1
diverge, ou seja, seu limite e o infinito. Inicialmente note que sn+1 sn = (n+1)
> 0, logo a sequencia
e crescente. Pelo criterio acima, basta verificarmos que e nao e limitada. Para isso, faremos uso do
calculo:
f HxL =

1
x

66

Observe que a
area de cada ret
angulo e igual a cada termo da soma. Logo a soma de todas as
areas
sera igual `a nossa soma infinita. Mas note que a soma dessas areas e superior `a area sob o gr
afico.
Novamente:
b
Z b

1
lim
dx = lim ln(x) = lim ln(b) =
b 1 x
b
b
1
Logo
1 1 1
1 + + + + ... > lim
b
2 3 4

Z
1

1
dx
x

Nossa sequencia, formada pelas somas parciais, e portanto crescente e ilimitada, logo divergente, a
partir da proposic
ao acima apresentada.
Nos dois exemplos acima, tratamos do limite de sequencias formadas por somas parciais, e sem
pudor falamos de soma infinita, dando uso `a notacao:

sn

n=1

No captulo seguinte, daremos muita atencao a este tipo de sequencia, chamada serie. O teste que
fizemos para mostrar se a serie convergia ou divergia e chamado teste da integral, e voltaremos a falar
dele no futuro. Por ora, apresentamos um criterio deveras famoso, a ttulo de curiosidade.
Proposi
c
ao 6.3 (Criterio de Cauchy). Uma sequencia sn e convergente se, e somente se, dado  > 0,
existe n0 tal que se i, j n0 , ent
ao |si sj | < .
A proposic
ao acima diz os fatos a seguir sempre ocorrem simultaneamente:
1. Uma sequencia se acumula em torno de um ponto, ie, converge para um limite.
2. Os termos da sequencia tornam-se cada vez mais proximos um do outro.
A demonstrac
ao que estes dois fatos sao equivalentes nao e trivial, e preferiremos nao apresent
a-la
aqui.

6.2

Exemplos cl
assicos

Observe a proposic
ao a seguir, de extrema importancia:
Proposi
c
ao 6.4 (Criterio da raz
ao para sequencias).
sn+1
tivos, e se lim
= a < 1, ent
ao lim sn = 0.
n sn
n

1. Se sn e uma sequencia de termos posi-

sn+1
= b > 1, entao lim sn = .
n
sn
sn+1
3. Se sn e uma sequencia de termos positivos, e se lim
= 1, entao nada podemos afirmar
n sn
sobre a sequencia.
2. Se sn e uma sequencia de termos positivos, e se lim

Demonstra
c
ao.

67

1. Seja c tal que a < c < 1. Logo sn+1

sn < c para n suficientemente grande. Logo sn+1 < c.sn < sn ,
da temos que a sequencia e decrescente. Como os termos sao positivos, ela e decrescente e
limitada, logo convergente. Seja lim sn = b. Observe que:
n

sn+1 < c.sn lim sn+1 c. lim sn b c.b

n

Logo temos que b.(1c) 0. Como b 0 e (1c) e positivo pois c < 1, temos obrigatoriamente:
lim sn = b = 0

2. Suponha para efeito de derivar contradicao que a sequencia fosse limitada. Seja L seu limite.
Podemos escrever b = 1 + h. Entao para n suficientemente grande, an+1 an + han . Se
olharmos para um an pr
oximo o suficiente de L, digamos, menos que han , entao certamente
teremos an+1 > L, um absurdo.
1
n+1
n 1
n

n+1
= 1,
n
n
an+1
2 +1
e a sequencia an = n diverge. Por fim, observe que se an = 3n
= 1, e a
, entao lim
n2 1
n an
sequencia converge para 3.

3. Note que lim

= 1, e a sequencia an =

1
n

converge para 0. Note que que lim

Como aplicac
ao da proposic
ao acima, observe os classicos exemplos a seguir:
Exemplo 6.8. Sejam a > 1 e k uma constante, temos que:
nk
=0
n an
lim

Com efeito, observe que:

sn+1
lim
= lim
n sn
n

(n+1)k
an+1
nk
an

= lim

1 + n1
a

k
=

1
<1
a

nk
Logo, pela proposic
ao acima, temos lim n = 0. Em outras palavras, esta proposicao nos diz que a
n a
exponencial sempre ganha da polinomial.
Exemplo 6.9. Seja a > 1, temos que:

an
=0
n n!
lim

Com efeito, observe que:

sn+1
lim
= lim
n sn
n

an+1
(n+1)!
an
n!

a
=0<1
n n + 1

= lim

an
Logo, pela proposic
ao acima, temos lim
= 0. Em outras palavras, esta proposicao nos diz que o
n n!
fatorial sempre ganha da exponencial.
O exemplo a seguir e mais sofisticado, e muito importante.
68




n+1 n
1 n
Exemplo 6.10. Mostraremos que an =
= 1+
e crescente e limitada, e definiremos
n
n
o seu limite. Pelo bin
omio de Newton, temos que:


1 n
n.1 n(n 1)
1
1+
=1+
+
+ ... + n =
n
n
2!n2
n
 
  


 
 

1
1
1
1
2
1
1
n1
=1+1+
1
+
1
1
+ ... +
1
... 1
2!
n
3!
n
n
n!
n
n


Obviamente, temos que an > 2. Quando n cresce, o n

umero de parcelas e o valor de cada uma tambem
cresce, logo an e uma sequencia crescente. Temos tambem trivialmente que:
an < 1 + 1 +

1
1
1
1
1
1
+ + ... +
1 + 1 + + 2 + n1
2! 3!
n!
2 2
2

A soma desta progress

ao geometrica, como se sabe desde o ensino medio, e tal que:
1
1
1
an < 1 + 1 + + 2 + n1 = 1 +
2 2
2

1
2n 1
1
2 1

<3

Logo an e uma sequencia de termos crescentes e limitada superiormente por 3. Logo e convergente.
Definimos:


n+1 n
e = lim
n
n
um n
E
umero entre 2 e 3. Sua expans
ao decimal ate a quarta casa e e = 2, 7182.
Como aplicac
ao, temos:
Exemplo 6.11. Temos que:
n!
=0
n nn
lim

Com efeito, observe que:

sn+1
lim
= lim
n sn
n

(n+1)!
(n+1)n+1
n!
nn


= lim

n
n+1

n

n
n
Certamente
estar
a sempre entre 0 e 1, logo e limitada. Como sua inversa, do exemplo
n+1
anterior, era crescente, teremos que esta e decrescente, logo convergente, e seu limite estara entre 0 e
n!
1. Logo, pela proposic
ao acima, temos lim n = 0. Em outras palavras, esta proposicao nos diz que
n n
a exponencial de base crescente sempre ganha do fatorial.


69

6.3

Exerccios

Quest
ao 6.1. Calcule os limites abaixo.
n3 + n2
n n 1

1. lim

n+2
n n3

n3 + n2
3. lim
n n2 + 1
2. lim

4. lim n3 n2
n

Quest
ao 6.2. Para cada natural n, seja An o crculo de raio n. Prove que a sequencia abaixo converge:
ZZ
2
2 2
an =
e(x +y ) dxdy
An

Quest
ao 6.3. Prove que a sequencia abaixo converge:
Z n
sen2 (x)
an =
dx
x2
1
Quest
ao 6.4. Utilizando o criterio da razao, resolva as questoes abaixo.
1. Dados k natural e a > 0, calcule: lim

n!

n nk .an

an n!
nk an n!
e
lim
.
n nn
n
nn

2. Dados k natural e a > 0, com a 6= e, calcule: lim

Quest
ao 6.5. Calcule os limites abaixo, seguindo as sugestoes.
r
 r  n2

n
n
n
n
n
=
.
1. lim n!; Observe que n! >
n
2
2
2. lim

log n
log(n)
2
; Note que log( n) < n. Logo 0 <
< .
n
n
n

70

Captulo 7

S
eries
No captulo anterior, falamos brevemente de series. Apresentamos a definicao formal e uma definic
ao
intuitiva.
Defini
c
ao 7.1 (Formal). Dada uma sequencia ak , dizemos que a sequencia cujo termo e:
Sn =

n
X

ak

k=0

e a serie numerica associada a ak . Dizemos que ak e o termo geral da serie, e que Sn e uma soma
parcial. Quando existe lim Sn , finito ou infinito, tal limite e chamado de soma da serie, e denotado
em geral por

ak .

k=0

Exemplo 7.1. Seja ak = k 2 . Ent

ao:
Sn =

n
X

ak = 12 + 22 + 32 + ... + (n 1)2 + n2

k=0

E entao:
lim Sn =

ak = 12 + 22 + ... + n2 + ...

k=0

Defini
c
ao 7.2 (Intuitiva). Podemos abusar da linguagem, e dizer que uma serie e uma soma infinita
de termos, usualmente representada por:

ak = a0 + a1 + a2 + ... + an + ...

k=0

Alternaremos entre as duas definic

oes, geralmente usando a primeira para demonstrar proposic
oes,
e a segunda para apresentar problemas e motivar tecnicas de resolucao. Muitas vezes omitiremos os

X
P
ndices quando isto n
ao gerar confus
ao, convencionando que
representara
. Em alguns casos,
k=0
P
P
podera representar tambem
ao estiver definido com k = 0.
k=1 , quando o termo ak n

71

Defini
c
ao 7.3. Se o limite das somas parciais existir e for finito, ou seja, se lim

n
X
k=0

an =

ak = L,

k=0

diremos que a serie e convergente, e que converge para L. Se o limite for ou , ou mesmo se n
ao
existir, diremos que a serie e divergente.
Algumas propriedades b
asicas s
ao apresentadas, mas o leitor notara que elas sao bastante intuitivas:
X
X
P
1. Se e uma constante e se
ak for convergente, entao:
.ak =
ak
2. Se

ak e

3. Teremos que

bk convergirem, ent
ao:

(ak + bk ) =

X

 X 
ak +
bk

ak ser
a convergente se, e somente se, para qualquer natural p, a serie represen!
p1

X
X
X
X
tada por
ak tambem for convergente. E ainda:
ak =
ak +
ak
k=0

k=p

k=0

k=0

k=p

Exemplo 7.2. O leitor deve voltar ao captulo de sequencias e constatar que la apresentamos demonX 1
X1
diverge, ao passo que a serie
converge.
stracoes garantindo que a serie
k
k2
X
Exemplo 7.3. A serie
rk , com r < 1, e chamada serie geometrica. Tal serie converge. Observe:
n
X
Sejam Sn =
rk as somas parciais. Note que:
k=0

r.Sn = Sn+1 r0 = rn+1 + Sn 1 Sn =

1 rn+1
1r

Logo:
1
1 rn+1
=
pois r < 1
n 1 r
1r

lim Sn = lim

Em particular, se r =

1
2,

teremos:
X  1 k
2

=1+

1 1 1
1
+ + + ... =
2 4 8
1

1
2

=2

Exemplo 7.4. Se o termo geral ak de uma serie for tal que ak = bk bk+1 , entao a serie e chamada
de telescopica. Observe que:
X
X
Sn =
ak =
(bk bk+1 ) = b1 bn+1
Se por acaso lim bn = b, ent
ao teremos que:
n

lim Sn = lim (b1 bn+1 ) = b1 b

Observe:
X

X
1
=
k(k + 1)

1
1

k k+1

72


= lim 1
n

1
n+1


=1

7.1

Crit
erios de converg
encia e diverg
encia

Muitas vezes estaremos interessados em decidir se uma serie e ou nao convergente, em detrimento de
calcular seu limite de fato. A seguir, apresentaremos alguns resultados que permitem decidir se uma
serie e ou nao convergente ou divergente.
P
Crit
erio 7.1 (do Termo geral). Se uma serie
ak e convergente, entao lim ak = 0. Equivalentek

mente, se lim ak 6= 0, ent

ao a serie e divergente.
k

Observe que esta proposic

ao n
ao esta dizendo que se lim ak = 0, entao a serie sera convergente.
k

P
Demonstra
c
ao. A demonstrac
ao e f
acil. Seja sn =
ak . Note que se
ak converge, ent
ao, por
definicao, lim sn existe, digamos lim sn = s. Obviamente, temos que lim sn1 = s. Agora note
n
n
n
que: an = sn sn1 . Logo:

 

lim an = lim (sn sn1 ) = lim sn lim sn1 = s s = 0
n

Exemplo 7.5. A serie

k2
k2 +3

k2
= 1 6= 0. Como e uma sequencia
k k 2 + 3

n
ao converge, pois lim

crescente, ainda temos que:

X

k2
=
k2 + 3

P1 P 1
Exemplo 7.6. Ambas as series
sao tais que o limite do termo geral e zero, logo ambas
k e
k3
tem chance de convergir. Entretanto, somente a segunda converge. O leitor deve estar lembrado que
a primeira diverge (exemplo do captulo anterior).
Podemos modificar o criterio apresentado acima, aumentando as restricoes sobre a serie mas obtendo um resultado mais forte. A demonstracao e mais tecnica, e fica para o leitor interessado
pesquisa-la nas fontes.
P
Antes disto, apresentamos uma definicao. Diremos que uma serie do tipo (1)k ak , onde ak > 0,
e uma serie alternada de termo geral ak . Temos agora:
P
Crit
erio 7.2 (do Termo geral para series alternadas). Dada uma serie alternada (1)k ak , se a
sequencia ak for decrescente e se lim ak = 0, entao a serie converge.
k

Exemplo 7.7. A serie

X
(1)k
k=0

1
1 1 1
= 1 + + ...
k+1
2 3 4

1
= 0. O c
alculo
k k + 1
do limite, por outro lado, e mais trabalhoso. Futuramente veremos uma maneira padrao de resolver
problemas como este, mas por ora, apresentamos uma resolucao pontual:
Vamos mostrar que, se 0 < 1, entao:
converge, uma vez que 1, 12 , 31 , ..., ak , ... e uma sequencia decrescente, e lim

ln(1 + ) =

X
k
(1)k+1
k
k=1

73

Comece lembrando que:

Z
ln(1 + ) =
0

1
dx
1+x

Agora considere a progress

ao geometrica:
1 + r + r2 + ... + rn =

1 rn+1
1
rn+1

= 1 + r + r2 + ... + rn +
1r
1r
1r

Substituindo r por x, teremos que:

1
(1)n+1 xn+1
= 1 x + x2 x3 + ... + (1)n xn +
1+x
1+x
Integrando de 0 a termo a termo, a igualdade acima implica a seguinte:
Z n+1
2 3
x
n
ln(1 + ) =
+
... + (1)n
+ (1)n+1
dx
2
3
n
1
+x
0
Passando o limite com n em ambos os lados, teremos:
ln(1 + ) =

k+1

(1)

k=1

n+1

+ (1)

Z
lim

n 0

xn+1
dx
1+x

Se mostrarmos que este u

ltimo limite e igual a zero, entao encerraremos. Note entao que, como
n+1
0 < x < , ent
ao 1 + x 1, logo x1+x xn+1 . Entao:
Z

Mas

xn+1
dx
1+x

xn+1 dx =

n+2
n+2

n+2
= 0, pois 1
n n + 2
lim

o que encerra.
A seguir apresentaremos alguns criterios que sao proprios para series de termos positivos.

7.1.1

Crit
erios para s
eries de termos positivos

No que segue, consideraremos sempre ak e bk sequencias arbitrarias, mas de termos positivos.

O primeiro dos criterios j
a foi utilizado antes, mas e importante reedita-lo em seu devido local:
P
Crit
erio 7.3 (da Integral). Seja a serie
ak . Se existir um natural p tal que a funcao f (x) definida
de p em diante seja decrescente e positiva, e tal que f (k) = ak , entao:
Z
P
(a) Se
f (x)dx convergir, ent
ao
ak converge.
p

Z
(b) Se

f (x)dx divergir, ent

ao

ak diverge.

A demonstrac
ao deste criterio e simples, e certamente o leitor que consultar os exemplos acompanhados de desenhos no captulo anterior tera uma boa ideia do porque da validade deste criterio.
74

Exemplo 7.8. Este e um exemplo exerccio:

X
1
Decida se a serie
converge ou diverge. Sugestao: Aplique o criterio utilizando a func
ao
k. ln(k)
k=2
Z a
1
1
com x 2. Esta func
ao satisfaz as condicoes do criterio? Calcule lim
dx.
f (x) =
a
x. ln(x)
2 x. ln(x)


Lembre-se que lim ln ln(a) = .
a

O criterio abaixo e muito importante.

Crit
erio 7.4 (da Comparac
ao). Consideremos as series
certo p, com k p tem-se que bk ak 0. Entao:
X
P
(a) Se
bk convergir, ent
ao
ak converge.
X
P
(b) Se
ak divergir, ent
ao
bk diverge.

ak e

bk e suponha que a partir de um

Ou seja, uma serie maior convergente espremea menor, tornando esta convergente; ao passo que
uma serie menor divergente empurraa maior, fazendo com que esta divirja. Esta ideia intuitiva
dispensa a demonstrac
ao formal.
X1
Exemplo 7.9. Vamos oferecer outra demonstracao que a serie
diverge. Note que:
k
1 1 1 1 1 1 1 1
1
1
1
1
1
1
1
1+ + + + + + + + +
+
+
+
+
+
+
+ .... >
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
1
1
1
1
1
1
1
1 1 1 1 1 1 1
1
+
+
+
+
+
+
+
>1+ + + + + + + +
+.... =
2 |4 {z 4} |8 8 {z 8 8} |16 16 16 16 {z 16 16 16 16}
1/2

1/2

1/2

=1+

1 1 1 1
+ + + + ...
2 2 2 2

que certamente diverge.

X 1
converge. Note que:
k2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + ... <
2
3
4
5
6
7
8
9
10
11
12
13
14
15
1
1
1
1
1
1
1
1
1
1
1
1
1
1
< 1 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 +... =
4 {z 4
4 } |8
8
8
8 {z 8
8
8
8}
|2 {z 2 } |4

Exemplo 7.10. Vamos oferecer outra demonstracao que a serie

1/2

1/4

1/8

=1+
como o leitor deve se lembrar.
P1
Exemplo 7.11. A serie
k .sen

1
k

1 1 1
+ + + ... = 2
2 4 8

converge, uma vez que, como 0 k1 2 , teremos:

 
 
1
1
1
1
1
sen
< .sen
2
k
k
k
k
k
X 1


P1
Como
converge,
.sen k1 convergira.
k
2
k
X 1
E ainda, o valor desta soma certamente e maior que sen(1) e menor que 2, pois
2 como
k2
vimos logo acima.

75

Exemplo 7.12. A serie

X
k2

k
diverge, uma vez que:
+ 2k + 1
k
1
1
= .
k 2 + 2k + 1
k 1 + k2 +

1
k2

Sem dificuldades, vemos que se k 1, valera:

1
1+

2
k

1
k2

1
4

Logo:
X

X 1
k
1X1

=
k 2 + 2k + 1
4k
4
k

que certamente diverge.

O criterio abaixo e uma reapresentacao do criterio acima, mas que pode ter uso mais f
acil em
certos contextos.
P
P
Crit
erio 7.5 (do Limite). Sejam
ak e
bk duas series como sempre. Considere:
ak
k bk

L = lim
Entao:

(a) Se L > 0, L real, ent

ao ambas as series divergem ou ambas as series convergem.
P
P
(b) Se L = , ent
ao caso
bk seja divergente,
ak tambem o sera.
P
P
(c) Se L = 0, ent
ao caso
bk seja convergente,
ak tambem o sera.
Demonstra
c
ao. Se L e finito diferente de 0, temos que para valores grandes de k, existem L1 L
L2 tais que:
ak
L1
L2
bk
Logo:
ak
ak
bk .L1 ak L2 .bk e
bk
L2
L1
Portanto a convergencia ou divergencia de uma implica a convergencia ou divergencia de outra, pelo
criterio de comparac
ao acima.
Se L e infinito, ent
ao dado um natural M , para valores suficientemente grandes de k, temos que
ak > bk .M . Podemos garantir ent
ao que a divergencia de bk implica a de ak .
Se L e finito, ent
ao dado um natural m, para valores suficientemente grandes de k, temos que
ak < bk .m. Podemos garantir ent
ao que a convergencia de bk implica a de ak .
Exemplo 7.13. Vamos decidir se a serie
X

k.ek

e convergente ou divergente.
Da experiencia, sabemos que os termos exponenciais
P 1costumam variar com maior intensidade que
os termos lineares. Desta forma, sabendo que a serie
certamente e convergente, e natural esperar
ek
76

P k
P
que
tambem seja, mesmo sabendo que
k e divergente. Note ainda que lim ekk = 0, logo a serie
ek
pode ser convergente.
Vamos ent
ao compar
a-la com alguma serie convergente que conhecamos. Como vamos fazer uma
divisao, seria interessante que o termo geral desta serie pudesse cancelar alguns termos daquela...
Neste esprito, observe:
X 1
ek/2
e convergente. Utilizando o criterio acima:
L=

k
ek
lim 1
k k/2
e

k
ek/2

=0

P k
Pelo tem (c) do criterio, temos que
k.e Pe convergente.
1
O leitor e convidado a compar
a-la com
e obter a mesma conclusao.
k2
Exemplo 7.14. Este exemplo e um exerccio. Para decidir se a serie:

X
k=2

e convergente ou divergente, compare-a com

k5

k2 + 2
+ 2k + 1

X 1
k3

O criterio abaixo e certamente um dos mais importantes, e nos referiremos a ele futuramente.
P
Crit
erio 7.6 (da Raz
ao e da Raiz). Consideremos a serie
ak de termos positivos. Suponhamos que
o limite L abaixo exista:
ak+1
L = lim
k ak
Nestas condic
oes:
(a) Se L < 1, ent
ao

ak converge.

(b) Se L > 1, ent

ao

ak diverge.

(c) Se L = 1, ent
ao nada podemos afirmar sobre a serie.
Da mesma forma, se o limite J abaixo exista:
J = lim

ak

Nestas condic
oes:
(a) Se J < 1, ent
ao

ak converge.

(b) Se J > 1, ent

ao

ak diverge.

(c) Se J = 1, ent
ao nada podemos afirmar sobre a serie.
E mais, se L existe, ent
ao L = J.

77

Demonstra
c
ao. Mostraremos a parte da razao. A parte da raiz se mostra de maneira semelhante.
A demonstrac
ao da igualdade entre os limites e demasiadamente tecnica.
a
Observe que se L < 1, ent
ao a partir de um k0 grande o suficiente, teremos k+1
ak c para algum
n
umero L c < 1. Temos ent
ao que:
ak+1
ck+1
k
ak
c
Logo teremos:
ak+1
ak
k
ck+1
c
ak
ak
A sequencia k ser
a portanto decrescente, logo sera limitada. O limite lim k existira e sera finito.
k c
c
Por outro lado, a serie:
X
ck com c < 1
P
e convergente. Logo, pelo criterio apresentado acima, como
ak tera o mesmo comportamento, ela
sera convergente.
Se L > 1, ent
ao temos que ak+1 > ak para valores grandes o suficiente de k, logo limk ak 6= 0,
portanto a serie ter
a que divergir.
X1
X 1
Para o caso em que L = 1, o leitor e convidado a observar que tanto
como
satisfazem
k
k2
tal circunstancia, mas uma diverge e a outra converge.
Exemplo 7.15. A serie

X 2k
k!

converge ou diverge? Aplicamos o criterio acima:

2k+1
(k+1)!
lim 2k
k
k!

2
=0
k+1

Logo a serie s
o pode ser convergente.
Exemplo 7.16. A serie
ak+1
lim
= lim
k ak
k

X 1 4 7 ... (3n + 1)
n5

converge ou diverge? Aplicamos o criterio:

1 4 7 ... (3k + 1) (3k + 4)

n5

(n + 1)5
1 4 7 ... (3k + 1)


= lim

3k + 4

5 =
1 + k1

logo a serie diverge.

Exemplo 7.17. Este e um exemplo exerccio. O leitor deve decidir se


k+1 k
Lembre-se que lim
= e.
k
X k!
E quanto `
a serie
?
kk
Exemplo 7.18. A serie

X k3
3k

X kk
k!

converge ou diverge? Usando o criterio da raiz:

r
lim

k3
1
1
k
=
lim
(
k)3 =
k
3 k
3
3

Logo so pode ser convergente.

78

converge ou diverge.

7.1.2

S
eries de termos quaisquer

Todo tratamento acima foi feito para series de termos positivos. Pode ocorrer no entanto que uma
dada serie possua termos tambem negativos. Introduzimos um conceito importante:
P
P
Defini
c
ao 7.4. Uma serie qualquer
ak e absolutamente convergente se
|ak | convergir.
P
Note que sobre |ak | sempre poderemos aplicar os criterios vistos acima. Isto e muito importante,
uma vez que:
Proposi
c
ao 7.1. Se uma serie qualquer for absolutamente convergente, entao ela sera tambem convergente.
P
Demonstra
c
ao. Basta notar que 0 |ak | + ak 2|ak |. Da peloX
fato de X|ak | ser convergente,


P
(|ak |+ak ) tambem ser
a pelo criterio de comparacao. E mais, como
ak =
(|ak |+ak )|ak | =
X
X
P
(|ak | + ak )
|ak | e estas duas s
ao convergente, teremos que
ak tambem o sera.
X sen(k)
Exemplo 7.19. A serie
possui termos negativos e positivos. Para decidir se ela e converk2
gente ou divergente, vamos mostrar que ela e absolutamente convergente, logo convergente. Observe
que:


 sen(k) 
1


 k2  k2


X  sen(k) 
X sen(k)

 sera convergente, logo
Pelo criterio de comparac
ao,
e absolutamente conver k2 
k2
gente, portanto convergente.
Exemplo 7.20. A serie
vergente, pois:

X (1)k
k+1

converge para log(2) como vimos, mas nao e absolutamente con


 (1)k 
1


k+1= k+1

e a serie harm
onica

P1
k

diverge.

Exemplo 7.21. Pelo criterio para termo geral de series alternadas, a serie:

X
(1)k

ln(k)

k=2

e convergente, mas n
ao e absolutamente convergente, pois

X
k=2

X1
1

, que diverge!
ln(k)
k
k=2

79

7.2

Exemplos mais sofisticados e um resultado surpreendente

Exemplo 7.22. Vamos mostrar que, se 0 < 1, entao:

arctan() =

(1)k

k=0

2k+1
2k + 1

Usaremos um raciocnio semelhante ao usado para mostrar que ln(2) = 1 12 + 13 ... + ... Observe
que:
1 rn+1
1
rn+1
1 + r + r2 + ... + rn =

= 1 + r + r2 + ... + rn +
1r
1r
1r
Trocando r por x2 , teremos que:
1
(1)n+1 x2n+2
2
4
6
n 2n
=
1
x
+
x

x
+
...
+
(1)
x
+
1 + x2
1 + x2
Integrando ambos os lados de 0 a , teremos que:
(1)n 2n+1
3 5
+
+ ... +
+ (1)n+1
arctan() =
3
5
2n + 1

x2n+2
dx
1 + x2

Tomando o limite n em ambos os lados, so precisaremos mostrar que:

Z 2n+2
x
lim
dx = 0
n 0 1 + x2
Mas isto e facil, uma vez que:
0

x2n+2
x2n+2
1 + x2

Logo:
Z
lim

n 0

x2n+2
dx lim
n
1 + x2

2n+3
=0
n 2n + 3

x2n+2 dx = lim

desde que 1, o que encerra.

Exemplo 7.23. Aplicando o exemplo acima para = 1, teremos que:
X

1 1 1
1
= 1 + + ... =
(1)k
4
3 5 7
2k + 1
que fornece uma excelente maneira de calcular o n
umero com a aproximacao que queiramos.
Exemplo 7.24. Vamos calcular para qual valor converge a serie

X
1
k2
k=1

O valor desta serie foi calculado pela primeira vez por Euler, e e um resultado bastante elegante. Sua
demonstracao, contudo, n
ao e trivial; todavia o leitor interessado certamente ira aprecia-la:
Vamos calcular a integral
Z 1Z 1
1
I=
dxdy
0 0 1 xy
de duas formas diferentes.
80

1. Observando que 0 < xy < 1, temos que:

(xy)k =

k=0

1
1 xy

Entao teremos que:

!

Z 1Z 1 X

Z 1Z 1
X
1
k
k k
I=
dxdy =
(xy) dxdy =
x y dxdy
0 0 1 xy
0 0
0 0
k=0
k=0

 X
 Z 1
 X

Z 1

X
1
1
1
k
k
=
=
x dx
y dy =
k+1
k+1
k2
0
0
Z 1Z

k=0

k=1

k=0

2. Vamos fazer uma mudanca de coordenadas. Sejam:

u=

x+y
yx
ev=
2
2

Observe que esta mudanca altera o domnio de integracao conforme a figura abaixo:
y
v
1
2

1
2

- 12

Observando que x = u v e y = u + v, logo xy = u2 v 2 ; e que:



 (uv) (uv) 

 u
v
=2
 (u+v) (u+v)

 u
v
Teremos que:
Z 1Z
I=
0

1
dxdy =
1 xy

Z 1Z
2

1
2 dvdu +
1 (u2 v 2 )

Z 1Z
1
2

1u

u1

1
2 dvdu
1 (u2 v 2 )

Observando que a func

ao e simetrica com respeito ao eixo u, teremos:
Z 1Z
2

I=4
0

Z
Lembrando que
Z
I=4
0

1
2

dv
du + 4
1 (u2 v 2 )

Z 1Z
1
2

1u

dv
du
1 (u2 v 2 )

x
dx
1
=
arctan
, teremos que:
a2 + x2
a
a
1

arctan
1 u2

1 u2

Z
du + 4
1
2

81

arctan
1 u2

1u

1 u2


du

Substituindo u por sen() na primeira e u por cos() na segunda, teremos:

Z
I=4

1
arctan tan() cos()d + 4
cos()

Da obtemos:

Z
I=4

I=4
0

1
arctan
sen()


arctan
3

1 cos()
= tan
sen()

Z
d 4

O leitor deve lembrar-se que

d 4
3

1 cos()
sen()

1 cos()
sen()

sen() d


d

 

. Portanto, teremos:
2

d = 4
2

Finalmente:
I=


2 /6 2 0


2 0
4 /3

2
6

A despeito do que pareceria natural, nao se conhece o valor de

X
1
k3
k=0

Nem com qualquer expoente mpar. Por outro lado, Euler resolveu o problema para qualquer
expoente par. Encerraremos esta sec
ao apresentando um resultado um tanto quanto surpreendente:
Defini
c
ao 7.5. Uma serie e chamada de condicionalmente convergente se for convergente, mas n
ao
for absolutamente convergente.
Um tpico exemplo e

X (1)k
k

Teorema 7.1 (Riemann). Alterando-se convenientemente a ordem dos termos de uma serie condicionalmente convergente, pode-se fazer com que a soma da serie seja igual a qualquer n
umero real
pre-determinado.
Ou seja, a ordem dos termos numa serie condicionalmente convergente altera o valor da serie! Tal
fenomeno nao ocorre em series absolutamente convergentes. A demonstracao e simples:
Demonstra
c
ao. Fixado um n
umero real c, comecamos somando termos positivos ate que a serie
ultrapasse c pela primeira vez, uma vez que isto ocorra, comecamos somando termos negativos, ate
que a soma torne-se menor que c. Entao voltamos a somar termos positivos, e depois negativos, e
assim sucessivamente, de modo que o valor da soma oscile em torno de c. Tal processo e possvel pois,
como a serie e condicionalmente convergente, a soma de todos os termos positivos e , assim como a
de todos os negativos e . Logo sempre sera possvel chegar em qualquer valor por somas sucessivas
de termos de mesmo sinal.
Para garantir que de fato a soma, posta dessa forma, convergira para c, basta notar que ap
os a
k-esima oscilac
ao, ocorrida ap
os a soma do termo ank , a distancia do valor da soma para c sera menor
que |ank |. Como lim ak = 0, temos que havera a convergencia.
k

82

7.3

Exerccios

Quest
ao 7.1 (Propriedades b
asicas).
a. Qual o valor da soma

2
3n ?

P 2
1
3
b. Qual o valor da soma
5n + 7n 4n ?
P
1
c. Transforme a serie
erie telescopica e calcule seu valor.
(k)(k+1)(k+2) numa s
Quest
ao 7.2 (Criterio do Termo Geral).
a. Mostre que as series

P
P k3
P
k4
[1 + (1)k ],
sao divergentes.
k+1 e
k4 +k3 +k2 +k

P
P
P
3
1
(1)k k4k+3 , (1)k log(k)
e (1)k k!
convergem.
k
P 1
c. O que pode-se dizer acerca da convergencia ou divergencia da serie
erio
log(k) utilizando o crit
em quest
ao?

b. Mostre que as series

Quest
ao 7.3. Calcule o valor da serie

X
(1)k+1
k=1

k2

utilizando que

1
k2

2
6 .

Quest
ao 7.4 (Criterio da Integral).
a. Determine para quais valores de q a serie
b. A serie

k
k4 +1

converge ou diverge?

c. A serie

k
k2 +1

converge ou diverge?

1
k(log(k))q

converge ou diverge.

Quest
ao 7.5 (Criterio da Comparac
ao).
P 1
P 1
a. Mostre que
converge da mesma forma que foi mostrado que
converge.
k3
k2
P 1
b. A serie
n2n converge ou diverge?
P 1
converge ou diverge?
c. A serie
k
d. Determine em geral para quais valores de a serie

1
k

converge ou diverge.

Quest
ao 7.6 (Criterio do Limite).
P 3
(k + 1)ek converge ou diverge.
P
1
b. Decida se a serie
converge ou diverge.
k log(k)
a. Decida se

c. Determine para quais valores de p a serie

d. Prove que

P 2k
k!

1
kp log(k)

converge ou diverge.

converge utilizando o criterio do limite para alguma serie adequada.

83

e. Prove que para qualquer valor de , a serie

1
log(k)

diverge.

Quest
ao 7.7 (Criterio da Raz
ao e da Raiz).
a. Decida se

P k!2k

b. Decida se

kk

3k
1+4k

converge ou diverge.
converge ou diverge.

Quest
ao 7.8.
Determine x para que cada serie a seguir convirja:
X xk
k

xk
log(k)

X xk

X xk

2k

kk

k xk

X k!xk
kk

Quest
ao 7.9.
Prove que para todo natural k 1, temos que:
Z
log(1) + log(2) + ... + log(k 1)

log(x) dx log(2) + log(3) + ... + log(k)

1

Conclua que:
(n 1)! ek e k k k! ek
Utilize esse fato para mostrar que

X
k!ek
k=1

kk

84

Captulo 8

S
eries de Pot
encias e S
eries de Taylor
Nosso objetivo neste captulo ser
a introduzir o estudo de um importante tipo de series.
Defini
c
ao 8.1. Uma serie do tipo

an .(x x0 )n

n=0

e chamada serie de potencias em torno do ponto x0 com coeficientes an .

Exemplo 8.1. A serie a seguir

X (x 2)n
n2

e uma serie de potencias, onde an =

1
.
n2

Quando x = 3, ela e exatamente a serie

X 1
n2

nossa velha conhecida, que sabemos convergir para o valor

2
6 .

Quando x = 4, teremos:

X 2n
n2
que certamente e divergente, pois lim

2n
= .
n2

Para cada valor de x, teremos uma serie de potencias diferente! Na secao a seguir, vamos estudar
como a convergencia dessas series ocorre quando variamos o x.
Em alguns momentos vamos considerar x0 = 0 com um objetivo de deixar a notacao menos pesada
e as demonstrac
oes mais simples, mas todo tratamento a seguir se generaliza para qualquer valor de
x0 .

8.1

Raio de Converg
encia

O resultado a seguir garante que se uma serie de potencias convergir para determinado valor t, ela
convergira para todos os valores que forem mais proximos do x0 em relacao a t.
P
Teorema 8.1.PSuponha que
an (x x0 )n seja convergente para x = t, t 6= x0 . Seja r = |t x0 |.
n
Entao a serie
an (x x0 ) convergir
a absolutamente em todo o intervalo (x0 r, x0 + r).
85

P
Demonstra
c
ao. Seja x0 = 0. Como
an tn converge, temos por (1) que limn an tn = 0. Da para
todo  > 0, existe n0 tal que n > n0 implica que |an tn | < . Agora temos que
 x n
 
|an xn | = |an tn |  
t
Fazendo  = 1, temos que para todo n maior que algum n0 vale
 x n
 
|an xn |  
t
Se |x| < |t|, ent
ao a serie

X  x n
 
t

e convergente. Pelo criterio (2),

X
converge absolutamente, pois

an xn

|an xn | converge para todo x com |x| < |t|.

Exemplo 8.2. Considere a serie de potencias do exemplos anterior:

X (x 2)n
n2
Pelo teorema acima, e como ela converge para x = 3, temos que para qualquer valor de x no intervalo
(2 1, 2 + 1) = (1, 3) ela convergir
a.
Apresentamos agora um resultado que generaliza o acima apresentado. Suponhamos neste momento, sem perda de generalidade, que x0 = 0.
P
Teorema 8.2. Seja
an xn . Ent
ao ocorre exatamente uma das seguintes:
P
i
an xn converge apenas se x = 0 (x = x0 ).
P
ii
an xn converge para todo x R.
P
iii Existe um R > 0 tal que an xn converge para todo x (R, R) e diverge para todo x
/ [R, R]
(consideramos de fato (x0 R, x0 + R) et cetera).
Observe que a proposic
ao nada fala sobre o que ocorre nos pontos R e R!! Tal R sera chamado raio
de convergencia da serie.
Demonstra
c
ao. Seja A R o conjunto dos pontos nao negativos para os quais a serie converge.
Suponha que A 6= {0}. Logo:
P
Seja A ilimitado. Dado x R, seja
t

A
tal
que
|x|
<
t.
Como
t

A,
an tn converge por
P
hipotese. Pelo teorema anterior,
an xn converge para todo x tal que |x| < t. Entao converge
para o dado x que era arbitr
ario em R, logo converge em todo o R.
Suponha que A seja limitado superiormente. Logo
P An tem um supremo, seja R = sup A. Pelo
teorema
anterior,
para
todo
x
tal
que
|x|
<
R,
an x converge. Logo x (R, R) implica que
P
n
an x converge. Agora suponha para efeito de derivar P
contradicao que convergisse para um x
tal que |x| > R. Seja c tal que R < c < |x|.PTemos que
an xn converge em c, logo c A e R
n
nao seria supremo, uma contradic
ao. Logo
an x diverge se x
/ [R, R].

86

O resultado anterior e muito positivo pois garante que uma serie convergente sempre converge em
um conjunto razo
avel. Observe os exemplos:
Exemplo 8.3. Considere a serie:
X (x 3)n
n+1

1 x 3 (x 3)2 (x 3)3
+
+
+
+ ...
1
2
3
4

Se x = 4, tal serie nada mais e do que a serie harmonica:

X (4 3)n
n+1

1 1 1 1
+ + + + ...
1 2 3 4

que sabemos divergir. Certamente o raio de convergencia desta serie, como esta centrada em x0 = 3,
e no maximo que |4 3| = 1. Por outro lado, se x = 2, teremos:
X (2 3)n
n+1

=1

1 1 1
+ + ...
2 3 4

que sabemos convergir para log(2). Logo o raio de convergencia e pelo menos |2 3| = 1. O raio de
convergencia desta serie ent
ao ser
a 1, o intervalo de convergencia (centrado em 3) e [2, 4), divergindo
em (, 3) e em [4, ).
Exemplo 8.4. A serie de potencias centrada na origem
X xn
n!
converge em todos os pontos, pois para qualquer valor de x fixado, temos pelo criterio da razao que:
an+1
lim
= lim
n an
n

x(n+1)
(n+1)!
xn
n!

= lim

x
=0<1
n+1

Muitas vezes e u
til determinar o tal raio R. Entao:
P
Proposi
c
ao 8.1. Seja
an xn serie satisfazendo an 6= 0 a partir de um certo n0 . Da:


 an 


R = lim 
n an+1 
desde que este limite exista. E mais, desde que o limite exista, o raio tambem pode ser expresso por:
R=

1
limn

p
n

|an |

Costumaremos utilizar a primeira expressao, e a demonstracao a seguir refere-se somente a ela.

Demonstra
c
ao. Vamos utilizar o tem (3) apresentado no incio. Temos que:




 an+1 
 an+1 xn+1 
 = |x| lim 

lim 
n  an 
n 
an xn 




Se lim  an+1
ao para todo x real a serie convergira, logo R = . Note que:
an  = 0, ent




 an+1 
 an 

=


lim
= 0 lim 
n  an 
n an+1 
87





 an 
a 
logo R = limn  an+1
 se limn  n+1
an  = 0.




 an 


=
,
a
s
e
rie
convergir
a
apenas
se
x
=
0.
Logo
R
=
0
=
lim
Se limn  an+1
n  an+1  = 0,
an 
como esperado.



Se limn  an+1
ao para todo x tal que |x|.L < 1 a serie convergira absolutamente.
an  = L 6= 0, ent
Logo convergir
a absolutamente para todo x tal que:


 an 
1
1




|x| < =
lim 

 an+1  = n
L
a
n+1
limn  an 




 an 
 an 
divergindo caso |x| > limn  an+1
. Logo R = limn  an+1
, como queramos.
Exemplo 8.5. O raio de convergencia da serie:
X (x + 2)n
3n
e calculado por:




 an 
 = lim 
R = lim 
n an+1 
n 


 

3

 = lim   = 3
 n 1
3n+1
1
3n
1

Logo podemos garantir que a serie converge no intervalo (2 3, 2 + 3) = (5, 1) e que diverge fora
do intervalo [5, 1]. Quando x = 5 ou x = 1, temos que avaliar diretamente! De fato, em ambos os
casos, esta serie ir
a divergir.

8.2

S
eries de Taylor

Este e sem d
uvida o
apice do nosso estudo de series. Ate agora definimos series de n
umeros e series
de potencias, e decidimos para quais valores de x as series de potencias convergiam. Ora, se I =
(x0 R, x0 + R) e o intervalo de convergencia de uma serie potencias, entao para cada x I a serie
assume um valor determinado. Podemos entao definir uma funcao:
f (x) =

an (x x0 )n desde que x I onde I e o intervalo de convergencia.

n=0

8.2.1

Derivada e integral de uma s

erie

Os dois teoremas a seguir ser

ao de fundamental importancia. Nao apresentaremos as demonstrac
oes
completas por serem demasiadamente tecnicas, mas o leitor ha de notar que os resultados sao de certa
forma intuitivos.
Teorema 8.3 (Derivac
ao termo a termo). Dada a serie de potencias:
f (x) =

an (x x0 )n

n=0

convergente em (x0 R, x0 + R), a serie:

nan (x x0 )n1

n=0

88

converge no mesmo intervalo, e mais:

f 0 (x) =

nan (x x0 )n1

n=1

Demonstra
c
ao. O teorema acima diz que a derivada de uma serie de potencias e obtida derivando
um resultado esperado se pensarmos nas series de potencias como polinomios de
termo a termo. E
grau infinito... Para ver que o raio de convergencia e o mesmo, basta notar que:
lim

(n + 1)an+1
an+1
= lim
n
nan
an

Utilizando o teorema acima, podemos mostrar tambem que existem as derivadas de todas as ordens,
convergindo no mesmo intervalo.
Teorema 8.4 (Integrac
ao termo a termo). Dada a serie de potencias:
f (x) =

an (x x0 )n

n=0

convergente em (x0 R, x0 + R), a serie:

X
an
(x x0 )n+1
n+1

n=0

converge no mesmo intervalo, e mais:

Z

X
an
(x x0 )n+1
f (x)dx =
n+1
n=0

Tambem poderamos ter considerado integrais definidas.

Demonstra
c
ao. O teorema acima diz que a integral (indefinida) de uma serie de potencias e obtida
integrando termo a termo. Para ver que o raio de convergencia e o mesmo, basta notar que:
an+1
lim n+2
n an
n+1

= lim

an+1
an

Se consideramos uma serie como uma funcao:

X
f (x) =
an (x x0 )n
Pode ser bastante interessante expressar os coeficientes an em termos das derivadas de f calculadas
no ponto x0 no qual a serie est
a centrada. Neste esprito, observe:
0

f (x0 ) =

nan (x0 x0 )n1 = 1.a1

n=1

pois o u
nico termo que n
ao se anula por causa (x0 x0 )n1 e com n = 1. Vamos agora para as
derivadas segunda e terceira:
f 00 (x0 ) =

n(n 1)an (x0 x0 )n2 = 2.1.a2

n=2

89

000

f (x0 ) =

n(n 1)(n 2)an (x0 x0 )n3 = 3.2.a1

n=3

Em geral, teremos:
f (n) (x0 ) = n! an an =

8.2.2

f (n) (x0 )
n!

S
erie de Taylor de uma func
ao

A secao anterior nos mostrou que dada uma serie de potencias, se a encararmos uma como uma func
ao,
entao esta func
ao e infinitamente deriv
avel e integravel no intervalo de convergencia da serie original,
e mais, os coeficientes da serie original podem se expressar em termos de suas derivadas calculadas no
ponto em que a serie esteja centrada.
A pergunta natural e: dada uma funcao, podemos expressa-la como uma serie de potencias?!
Felizmente, para boa parte das func
oes que conhecemos, a resposta e sim! A forma de represent
a-la
sera exatamente como vimos acima olhando do ponto de vista das series.
Antes de ler a deduc
ao a seguir, o leitor deve se lembrar que:
Z
Z
Z
0
0
0
0
0
(u(t).v(t)) = u (t)v(t) + u(t)v (t) (u(t).v(t)) dt = u (t)v(t) dt + u(t)v 0 (t) dt
Logo obtemos a not
oria f
ormula de integracao por partes:
Z
Z
0
u(t)v (t) dt = u(t)v(t) u0 (t)v(t) dt
Pelo Teorema Fundamental do C
alculo:
Zx
f (x) f (x0 ) =

f 0 (t) dt

x0

Queremos que esta integral se decomponha em uma soma, e que seja possvel repetir o processo em
uma nova integral, e assim sucessivamente, para que assim uma serie emerja. Naturalmente, vamos
aplicar a formula de integrac
ao por partes. Precisaremos da mudanca de variaveis t = x s. Ent
ao:
Z0
f (x) f (x0 ) =

f 0 (x s) ds

xx0

Pela formula de integrac

ao por partes, temos que:

Z0
Z0

0
00
0
0
f (x) f (x0 ) = f (x s).sxx0
f (x s).s ds = f (x0 )(x x0 )
f 00 (x s).s ds
xx0

xx0

Repetindo o procedimento, teremos:

Z0
2 0
2
s
s

f (x) f (x0 ) = f 0 (x0 )(x x0 ) f 00 (x s). 

f 000 (x s). ds
2 xx0
2

xx0

90

Logo:
f 00 (x0 )
f (x) f (x0 ) = f (x0 )(x x0 ) +
(x x0 )2
2
0

Z0

f 000 (x s).

s2
ds
2

xx0

Faremos ainda o pr
oximo passo:

Z0
3
3 0
00 (x )
s
s
f

0

f (4) (x s). ds
(x x0 )2 f 000 (x s). 
f (x) f (x0 ) = f 0 (x0 )(x x0 ) +
2
3! xx0
3!
xx0

Finalmente:
f 00 (x0 )
f 000 (x0 )
f (x) f (x0 ) = f (x0 )(x x0 ) +
(x x0 )2 +
(x x0 )3
2!
3!
0

Z0

f (4) (x s).

s3
ds
3!

xx0

O leitor ja deve ter notado que, seguindo este procedimento, obteremos a seguinte expansao de f (x)
em torno de f (x0 ). Voltaremos `
a vari
avel t original por questao de estetica:
f (k) (x0 )
f 00 (x0 )
(x x0 )2 + ... +
(x x0 )k + ...
2!
k!
Zx
f (n) (x0 )
1
n
... +
(x x0 ) +
f (n+1) (t).(x t)n dt =
n!
n!

f (x) =f (x0 ) + f 0 (x0 )(x x0 ) +

x0

n
X
f (k) (x0 )
k=0

k!

(x x0 )k + Rn

O somatorio e definido como o polin

omio de Taylor de ordem n de f (x). Estamos definindo Rn
como sendo a integral da linha anterior, e chamaremos este termo de resto integral do polinomio de
Taylor de ordem n. Tomamos ent
ao o limite n em ambos os lados, obtendo:
f (x) =

X
f (k) (x0 )
k=0

k!

(x x0 )k + lim Rn
n

A serie obtida e chamada serie de Taylor de f (x). Observe que esta serie coincidira com a func
ao
se, e somente se, for uma serie convergente e o limite do resto integral for 0. Felizmente, para a maioria
das funcoes que conhecemos, e sempre possvel obter um raio de convergencia para a serie em torno
de um ponto e o limite do resto costuma ser 0.
Se a serie estiver centrada no ponto x0 = 0, e comum nos referirmos a ela como serie de MacLaurin.
Observe que se uma func
ao coincide com sua serie de Taylor, ela e infinitamente diferenci
avel e
integravel, e ser
a chamada, no
ambito das funcoes reais, de func
ao analtica.
Exemplo 8.6. A serie de Taylor de um polinomio e o proprio polinomio, e obviamente a convergencia
ocorre livremente em todo R.
Proposi
c
ao 8.2. As func
oes x1 , ex , cos(x), sen(x), tan(x), log(x), arctan(x), arccos(x) e arcsen(x)
sao todas func
oes analticas. A soma e o produto de funcoes analticas e uma funcao analtica.

91

Exemplo 8.7. A serie de Taylor da funcao exponencial em torno do ponto x0 = 0 e:

ex = 1 + x +

x2 x3 x4
+
+
+ ...
2!
3!
4!

Uma vez que e0 = 1 e (ex )(k) = ex para todo k. Observe que o raio de convergencia desta serie e
infinito.
Exemplo 8.8. Vamos calcular a serie de Taylor da funcao seno em torno do ponto x0 = 0. Observe
que sen(0) = 0, cos(0) = 1, sen(0) = 0 e cos(0) = 1, e as derivadas voltam a se repetir a cada
m
ultiplo de quatro. Ent
ao:
sen(x) = x

(1)n 2n+1
x3 x5 x7
+

+ ... +
x
+ ...
3!
5!
7!
(2n + 1)!

Observe que o raio de convergencia desta serie tambem e infinito.

1
em torno do ponto x0 = 0.
Exemplo 8.9. Vamos calcular a serie de Taylor da funcao f (x) = 1x
1
2
3!
k!
0
00
000
(k)
Observe que f (x) = (1x)2 , f (x) = (1x)3 , f (x) = (1x)4 , f (x) = (1x)
ao:
k+1 . Ent

k=0

k=0

X
X
1
k!
1
k
=

x
=
xk

1x
(1 0)k+1 k!
Observe que o raio de convergencia desta serie e 1, e ainda, a serie so converge para a func
ao no
intervalo (1, 1).
Exemplo 8.10. O leitor deve se lembrar que, por outros metodos, calculamos no captulo anterior as
series de Taylor de log(1 + x) e de arctan(x) em torno de 0. Vamos agora utilizar aquelas ideias para
calcular o valor da serie:

X
n
n=0

2n

Para tal, vamos olhar para esta serie como uma serie de potencias calculada com x = 21 . Logo estamos
interessados em decidir se a serie a seguir e a serie de Taylor de alguma funcao:

nxn

n=0

Suponhamos que seja, ent

ao e necess
ario que:
n xn =

f (n) (0) n
x
n!

Logo f (n) (0) = n n!. N

ao parece f
acil associar esta derivada n-esima com n.n!, por outro lado, seria
muito interessante que este segundo termo tivesse sido (n + 1)!. Para isto, bastaria que nossa serie
original fosse:

X
X
X
(n + 1)xn =
nxn +
xn
n=0

n=0

92

n=0

Ora, sabemos que

xn =

1
se |x| < 1. E mais, o leitor deve estar notando que:
1x
P

d xn X n1 X
=
nx
=
(n + 1)xn
dx
n=1

Logo:

n=0

(n + 1)x =

n=0

Portanto:

X
n=0

nxn =

(n + 1)xn

n=0

1
1x

xn =

n=0

0
=

1
(1 x)2

1
1
x

=
2
(1 x)
1x
(1 x)2

Certamente tal func

ao e analtica, logo a serie considerada converge para ela. Entao podemos resolver
nosso problema. Aplicando x = 12 , teremos o resultado da nossa soma:

1
X
n
2
=
1 2 =42=2
2n
(1

2)
n=0

93

8.3

Exerccios

Quest
ao 8.1. Calcule o raio de convergencia das series de potencia a seguir e determine o intervalo
de convergencia apropriadamente.
X

k k xk

X xk
kk

X (x 1)k

k3

k+2
X

xk
k2 + 3

X (x 5)k

X (x + 4)k

log(k)
X (2x 5)n

X (5x)n

3
n

Quest
ao 8.2. Derive e integre as series da questao anterior termo a termo.
Quest
ao 8.3. Calcule as series de Taylor das funcoes a seguir em torno de x0 = 0 e decida se estas
series convergem para a func
ao e em qual intervalo.
cos(x)

tan(x)

log(x)

1
(1 9x)3

arctan(x)
sen(x)
x

Quest
ao 8.4. As func
oes a seguir n
ao possuem primitiva elementar. Por outro lado, e possvel
expandi-las em serie de Taylor e assim calcular uma serie que e a primitiva. Faca-o.
Z
Z
sen(x)
2
dx
ex dx
x
Quest
ao 8.5. Expanda a func
ao (x 1)3 ex em torno do ponto x0 = 1.
P
1
Quest
ao 8.6. Calcule o valor de
2n (n+1) .
Quest
ao 8.7. Considere a func
ao definida por:
 1/x2
e
, se x 6= 0;
f (x)
0,
se x = 0.
Mostre que f (n) (0) = 0 para todo n 1. Conclua que
f (x) 6= f (0) +

X
f (k) (0)
k=1

k!

xk

Este e o classico exemplo de uma func

ao infinitamente diferenciavel mas que nao e analtica.
Quest
ao 8.8. Calcule o valor da soma:
X

(k + 2)(k + 1)xk

para os valores de x em que a serie for convergente. Faca o mesmo para

X
k 2 xk

94