Sebenta Análise Matematica 2 D, 2003

A
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
A
N
L
I
S
E

M
A
T
E
M
T
I
C
A

I
I
2003
BENTO LOURO
ANA S
TEORIA E EXERCCIOS
Indice
1 Series Numericas 1
1.1 Generaliza c ao da opera c ao adi c ao . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Deni c ao de serie. Convergencia. Propriedades gerais . . . . . . . . . . . . 3
1.3 Series alternadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4 Convergencia absoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5 Series de termos n ao negativos . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.6 Multiplica c ao de series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2 Series de Func oes 39
2.1 Introdu c ao. Sucess oes de fun c oes . . . . . . . . . . . . . . . . . . . . . . . 39
2.2 Convergencia pontual e convergencia uniforme de series de fun c oes . . . . . 42
2.3 Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.4 Serie de Taylor e serie de MacLaurin . . . . . . . . . . . . . . . . . . . . . 58
3 Noc oes Topol ogicas em R
N
65
3.1 Normas e metricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.2 No c oes topol ogicas em R
N
. . . . . . . . . . . . . . . . . . . . . . . . . . . 72
4 Func oes de Varias Variaveis 79
4.1 Fun c oes reais de v arias vari aveis reais . . . . . . . . . . . . . . . . . . . . . 79
4.2 Fun c oes vectoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4.3 Limites e continuidade. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
5 Calculo Diferencial em R
N
99
5.1 Derivadas parciais. Teorema de Schwarz. . . . . . . . . . . . . . . . . . . . 99
5.2 Diferencial. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
5.3 Derivada segundo um vector. . . . . . . . . . . . . . . . . . . . . . . . . . . 122
6 Exerccios 125
6.1 Series Numericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
6.2 Series de Fun c oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
6.3 Normas e metricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
6.4 C alculo diferencial em R
N
. . . . . . . . . . . . . . . . . . . . . . . . . . . 138
6.4.1 Domnios e gr acos . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
ii

INDICE
6.4.2 Limites e continuidade . . . . . . . . . . . . . . . . . . . . . . . . . 140
6.4.3 Derivadas parciais e Teorema de Schwarz. Diferenciabilidade . . . . 142
6.4.4 Fun c ao composta . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
6.4.5 Derivadas direccionais . . . . . . . . . . . . . . . . . . . . . . . . . 147
6.4.6 Fun c oes vectoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
Captulo 1
Series Numericas
1.1 Generalizacao da operacao adicao
A opera c ao adi c ao (ou soma) e inicialmente denida como a aplica c ao que a cada
par de n umeros reais faz corresponder um n umero real, de acordo com determinadas
regras. Essa opera c ao goza de certas propriedades e vericamos que podemos generalizar
a opera c ao a um n umero nito de parcelas mantendo todas as propriedades. A deni c ao
de soma de um n umero nito de parcelas e feita por recorrencia:
n
i=1
a
i
=
_
_
a
1
, se n=1
_
n1
i=1
a
i
_
+ a
n
, se n > 1
Podemos pensar agora em fazer uma generaliza c ao a um n umero innito numer avel
de parcelas. As parcelas constituir ao a sucess ao a
1
, a
2
, . . . , a
n
, . . ..
Se existir uma ordem p a partir da qual todos os termos da sucess ao s ao nulos, tem-se
a soma de todas as parcelas igual ` a soma dos p primeiros termos:
nN
a
i
=
p
i=1
a
i
.
Se existir uma subsucess ao de termos n ao nulos poderemos chamar soma ao limite,
se existir e for nito, da sucess ao das somas dos n primeiros termos de a
n
, sucess ao essa
S
n
=
n
i=1
a
i
.
Se a sucess ao a
n
tivesse todos os termos positivos, poderia parecer ` a primeira vista
que S
n
n ao e convergente. De facto, supor que a soma de um n umero innito de parcelas
positivas e um n umero real n ao e um conceito intuitivo.
Neste caso, a intui c ao falha precisamente porque pretendemos generalizar para o in-
nito um conceito, o de soma, que temos intuitivo para um n umero nito de parcelas.

E
comum que a intui c ao nos engane em casos de passagem do nito para o innito.
2 1. Series Numericas
De qualquer modo e verdade que S
n
nem sempre e convergente, ou seja, que nem
sempre poderemos denir, por este processo, soma de um n umero innito de parcelas.
Interessa, no entanto, saber como deve ser a sucess ao a
n
de modo que a essa sucess ao
esteja associado um n umero real, soma de todos os seus termos.
Citando o Prof. Campos Ferreira:
Vem a prop osito lembrar um dos paradoxos formulados, h a mais de 2000 anos, pelo
l osofo grego Zen ao. Zen ao imaginou um corredor, deslocando-se de certo ponto A para
a meta B, com velocidade constante, e raciocionou de maneira que pode exprimir-se nos
termos seguintes: designe-se por A
1
o ponto medio do segmento AB, por A
2
o ponto
medio de A
1
B, etc. Em geral, para todo o n N, A
n+1
designar a o ponto medio do
segmento A
n
B.
A B A
1
A
2
A
3
Nestas condi c oes, se for t o tempo gasto pelo corredor a percorrer a dist ancia que vai
de A a A
1
, ser a t/2 o tempo gasto de A
1
a A
2
, t/2
2
o tempo necess ario para ir de A
2
a A
3
,
etc. O tempo total necess ario para completar a corrida, T, equivaleria assim ` a soma de
uma innidade de tempos parciais todos positivos:
T = t +
t
2
+
t
2
2
+ . . . +
t
2
n
+ . . .
Daqui julgava Zen ao poder deduzir que esse tempo total era necessariamente innito
e que, portanto, o corredor jamais poderia atingir a meta. Tal resultado, que lhe parecia
solidamente estabelecido, estava porem em contradi c ao evidente com o facto de que,
sendo o movimento uniforme por hip otese, o tempo correspondente ao percurso deveria ser
simplesmente o dobro do que o corredor gastava na primeira metade, isto e, T = 2t. Alem
disso, aquele resultado estava ainda em contradi c ao com a mais elementar experiencia do
mundo fsico. Por isso se dizia tratar-se de um paradoxo.
O esclarecimento completo da quest ao s o veio a ser alcan cado, cerca de 2000 anos
depois de o paradoxo ter sido enunciado por Zen ao, com a cria c ao da teoria das series.
Convem ainda registar que coube a um matem atico portugues, Jose Anast acio da
Cunha, um papel percursor de grande relevo no estudo desta teoria (em particular, deve-
-se-lhe a primeira deni c ao rigorosa do conceito de serie convergente, formulada em 1790);
mais tarde, gra cas a trabalhos de grandes matem aticos como Cauchy, Weierstrass, etc., as
series tornar-se-iam instrumentos de valor inestim avel para o desenvolvimento de todos
os ramos da An alise Matem atica.
1.2 Deni cao de serie. Convergencia. Propriedades gerais 3
1.2 Denicao de serie. Convergencia. Propriedades
gerais
Denicao 1.2.1 Seja a
n
uma sucess ao numerica. Chama-se serie gerada por a
n
à
sucess ao S
n
denida do modo seguinte:
S
1
= a
1
S
2
= a
1
+ a
2
S
3
= a
1
+ a
2
+ a
3
.
.
.
S
n
= a
1
+ a
2
+ a
3
+ + a
n
.
.
.
Para designar a serie usa-se qualquer das nota c oes:
n=1
a
n
,
a
n
, a
1
+ a
2
+ a
3
+
Os n umeros a
1
, a
2
, . . . , chamam-se termos da serie, a
n
diz-se termo geral da serie
e as somas S
1
, S
2
, . . . chamam-se somas parciais.
Denicao 1.2.2 A serie
a
n
diz-se convergente se existir e for nito o limite
lim
n+
S
n
= lim
n+
n
i=1
a
i
.
Se este limite n ao existir ou n ao for nito a serie diz-se divergente.
No caso de convergencia chama-se soma da serie ao valor, S, do limite, isto e,
S = lim
n+
S
n
=
n=1
a
n
.
NOTA: A identica c ao de uma serie com o smbolo
n=1
a
n
e um abuso de linguagem j a
que e a identica c ao da serie com a sua soma, quando ela existe. Este abuso, no entanto,
e de uso corrente e tem-se demonstrado util e inofensivo.
EXEMPLO 1: Chama-se serie geometrica ` a serie gerada por uma progress ao geometri-
ca: se a
n
e uma progress ao geometrica de raz ao r = 1 temos que
S
n
=
n
i=1
a
i
=
n
i=1
a
1
r
i1
= a
1
1 r
n
1 r
.
Sabemos que S
n
e convergente se, e s o se, |r| < 1, logo a serie geometrica e convergente
se, e s o se, o valor absoluto da raz ao da progress ao geometrica que a gerou for menor do
que 1. No caso de convergencia temos que
n=1
a
n
=
a
1
1 r
.
Se r = 1 a serie e uma serie de termo geral constante, isto e,
n=1
a
n
=
n=1
a
1
,
tendo-se, assim, S
n
= na
1
e, se a
1
= 0, a serie ser a divergente.
EXEMPLO 2: Consideremos a serie
n=1
1
n
, construamos a sucess ao das suas somas
parciais e estudemos o seu limite:
S
1
= 1
S
2
= 1 +
1
2
S
3
= 1 +
1
2
+
1
3
.
.
.
S
n
= 1 +
1
2
+
1
3
+ +
1
n
.
.
.
Como
1 +
1
2
+
1
3
+ +
1
n

1
n
+
1
n
+
1
n
+ +
1
n
=
n
n
=
n
e lim
n+
n = +, a sucess ao S
n
tem limite + e a serie em estudo e divergente.
n=1
1
n(n + 1)
. Sabendo que
1
n(n + 1)
=
1
n

1
n + 1
podemos escrever a sucess ao das somas parciais:
S
1
= 1
1
2
S
2
= 1
1
2
+
1
2

1
3
= 1
1
3
S
3
= 1
1
3
+
1
3

1
4
= 1
1
4
.
.
.
S
n
= 1
1
n + 1
.
.
.
Como lim
n+
S
n
= 1, a serie e convergente e a sua soma e 1:
n=1
1
n(n + 1)
= 1.
EXEMPLO 4: A sucess ao das somas parciais da serie
n=1
log
_
n
n + 1
_
=
n=1
(log n log(n + 1))
e a sucess ao
S
1
= log 1 log 2 = log 2
S
2
= log 2 + log 2 log 3 = log 3
S
3
= log 3 + log 3 log 4 = log 4
.
.
.
S
n
= log(n + 1)
.
.
.
Como lim
n+
(log(n + 1)) = , a serie e divergente.
EXEMPLO 5: O termo geral da serie
n=1
1
n
2
+ 3n
pode escrever-se na forma
1
3
_
1
n

1
n + 3
_
. A sucess ao das somas parciais pode agora ser
construda:
S
1
=
1
3
_
1
1
4
_
S
2
=
1
3
_
1
1
4
_
+
1
3
_
1
2

1
5
_
=
1
3
_
1
1
4
+
1
2

1
5
_
S
3
=
1
3
_
1
1
4
+
1
2

1
5
_
+
1
3
_
1
3

1
6
_
=
1
3
_
1
1
4
+
1
2

1
5
+
1
3

1
6
_
S
4
=
1
3
_
1
1
4
+
1
2

1
5
+
1
3

1
6
_
+
1
3
_
1
4

1
7
_
=
1
3
_
1
1
4
+
1
2

1
5
+
1
3

1
6
+
1
4

1
7
_
=
1
3
_
1 +
1
2

1
5
+
1
3

1
6

1
7
_
S
5
=
1
3
_
1 +
1
2

1
5
+
1
3

1
6

1
7
_
+
1
3
_
1
5

1
8
_
=
1
3
_
1 +
1
2

1
5
+
1
3

1
6

1
7
+
1
5

1
8
_
=
1
3
_
1 +
1
2
+
1
3

1
6

1
7

1
8
_
.
.
.
S
n
=
1
3
_
1 +
1
2
+
1
3

1
n + 1

1
n + 2

1
n + 3
_
.
.
.
Como lim
n+
S
n
=
1
3
_
1 +
1
2
+
1
3
_
, a serie e convergente.
Os tres ultimos exemplos s ao casos particulares de um tipo de series chamadas series
telesc opicas. S ao series cujo termo geral a
n
se pode escrever na forma
n

n+k
, com
k N:
n=1
(
n
n+k
).
Estas series s ao convergentes se, e s o se, lim
n+
v
n
, onde v
n
=
n+1
+ +
n+k
, existe
e e nito.
No caso particular de existir, nito, lim
n+
n
temos:
n=1
(
n
n+k
) =
k
i=1
i
ka,
sendo a = lim
n+
n
. De facto, a sucess ao das somas parciais e a sucess ao
S
n
=
n
i=1
(
i
i+k
)
=
n
i=1
i=1
i+k
=
1
+ +
k
+
k+1
+ +
n
(
k+1
+ +
n
+
n+1
+ +
n+k
)
=
1
+ +
k
(
n+1
+
n+k
)
=
k
i=1
i=1
i+n
Sendo
n
convergente ent ao lim
n+
i+n
existe e
lim
n+
n
= lim
n+
i+n
donde se conclui que
lim
n+
S
n
=
k
i=1
i
lim
n+
_
k
i=1
i+n
_
=
k
i=1
i
ka.
Teorema 1.2.1 Se a serie
n=1
a
n
e convergente ent ao a
n
e um innitesimo.
Demonstra c ao: Como a serie e convergente, a sucess ao S
n
=
n
i=1
a
i
e uma sucess ao con-
vergente, o mesmo acontecendo a S
n1
, tendo-se lim
n+
S
n
= lim
n+
S
n1
. Ent ao
lim
n+
a
n
= lim
n+
(S
n
S
n1
) = lim
n+
S
n
lim
n+
S
n1
= 0.
NOTA: Este teorema indica uma condi c ao necess aria, mas n ao suciente para que uma
serie seja convergente. Assim a sua utilidade e sobretudo para decidir que uma serie e
divergente j a que se o termo geral n ao for um innitesimo a serie ser a concerteza diver-
gente.
EXEMPLO 6: A serie
n=1
n
n + 1
e divergente porque lim
n+
n
n + 1
= 1.
n=1
1
n
. Temos que lim
n+
1
n
= 0, o que n ao nos
permite concluir nada pelo Teorema 1.2.1. No entanto, j a demonstr amos, no Exemplo 2,
que esta serie e divergente.
Teorema 1.2.2 Sejam
n=1
a
n
e
n=1
b
n
series convergentes de somas A e B, respectiva-
mente, e R. Ent ao
a) A serie
n=1
(a
n
+b
n
), a que se chama serie soma, tambem e convergente e a sua soma
e A + B:
n=1
(a
n
+ b
n
) =
n=1
a
n
+
n=1
b
n
.
b) A serie
n=1
a
n
e convergente e a sua soma e A:
n=1
a
n
=
n=1
a
n
.
Demonstra c ao:
a) Sejam S
n
e S
n
as sucess oes das somas parciais das series
n=1
a
n
e
n=1
b
n
, respectiva-
mente. Como s ao series convergentes temos que
lim
n+
S
n
= A e lim
n+
S
n
= B.
Seja S
n
a sucess ao das somas parciais da serie soma, isto e, S
n
=
n
i=1
(a
i
+ b
i
) =
n
i=1
a
i
+
n
i=1
b
i
= S
n
+ S
n
. Ent ao
lim
n+
S
n
= lim
n+
(S
n
+ S
n
) = lim
n+
S
n
+ lim
n+
S
n
= A + B,
isto e,
n=1
(a
n
+ b
n
) e convergente e tem soma A + B.
b) Seja S
n
a sucess ao das somas parciais da serie
n=1
a
n
. Por hip otese, lim
n+
S
n
= A. Seja
S
n
a sucess ao das somas parciais da serie
n=1
a
n
. Ent ao S
n
=
n
i=1
a
i
=
n
i=1
a
i
= S
n
.
Assim,
lim
n+
S
n
= lim
n+
S
n
= lim
n+
S
n
= A,
isto e, a serie
n=1
a
n
e convergente e tem soma A.
NOTAS:
1. Da demonstra c ao da alnea a) ressalta que pode acontecer que as series dadas sejam
divergentes e, no entanto, a serie soma seja convergente. Tambem se nota atraves
da demonstra c ao que se as sucess oes das somas parciais tiverem limites innitos
do mesmo sinal as series s ao ambas divergentes a sucess ao das somas parciais
ser a divergente, o mesmo acontecendo se uma das series for convergente e a outra
divergente. Se S
n
e S
n
tiverem limites innitos, mas de sinais contr arios, a serie
soma poder a ser convergente ou divergente j a que no c alculo do limite aparece uma
indetermina c ao.
2. Da demonstra c ao de b) resulta que se = 0, a serie
n=1
a
n
e convergente se, e s o
se, a serie
n=1
a
n
o for. Se = 0, a serie
n=1
a
n
e convergente pois todos os seus
termos ser ao nulos.
n=1
1
n(n + 3)(n + 6)
.
1
n(n + 3)(n + 6)
=
1
18
_
1
n

1
n + 3
_
1
18
_
1
n + 3

1
n + 6
_
.
A serie
n=1
_
1
n

1
n + 3
_
e uma serie telesc opica em que
n
=
1
n
e k = 3. Como
lim
n+
n
= 0 a serie e convergente e a sua soma e 1 +
1
2
+
1
3
=
11
6
.
A serie
n=1
_
1
n + 3

1
n + 6
_
e igualmente uma serie telesc opica em que
n
=
1
n + 3
e k = 3. Como lim
n+
n
= 0 a serie e convergente e a sua soma e
1
4
+
1
5
+
1
6
=
37
60
.
Como s ao ambas convergentes, a serie dada tambem e convergente e
n=1
1
n(n + 3)(n + 6)
=
1
18
n=1
_
1
n

1
n + 3
_
1
18
n=1
_
1
n + 3

1
n + 6
_
=
73
1080
.
Teorema 1.2.3 Uma serie
n=1
a
n
converge se, e so se,
> 0 p N : m > n > p |a
n+1
+ + a
m
| < .
Demonstra c ao: Como
|a
n+1
+ + a
m
| =
i=1
a
i
i=1
a
i
= |S
m
S
n
|,
o que pretendemos demonstrar e que a serie
n=1
a
n
converge se, e s o se,
> 0 p N : m > n > p |S
m
S
n
| < ,
ou seja, S
n
e uma sucess ao de Cauchy.
Mas, por deni c ao, a serie
n=1
a
n
converge se, e s o se, S
n
e uma sucess ao convergente
e em R uma sucess ao e convergente se, e s o se, e de Cauchy. O teorema ca assim
demonstrado.
n=1
1
n
denominada serie harm onica. Vamos de-
monstrar, utilizando o Teorema 1.2.3, que a serie harm onica e divergente.
Se a serie fosse convergente, dado > 0, existiria p N tal que se m > n > p ent ao
|a
n+1
+ + a
m
| < . Mas, se m = n + n,
|a
n+1
+ + a
m
| = |a
n+1
+ + a
n+n
|
=
1
n + 1
+ +
1
n + n
1
n + n
+ +
1
n + n
= n
1
2n
=
1
2
ou seja, a condi c ao do teorema n ao se verica para <
1
2
. Portanto, a serie harm onica e
divergente.
Corolario 1 A natureza de uma serie n ao depende dos p primeiros termos, seja qual for
p N, isto e, se
n=1
a
n
e
n=1
b
n
s ao series tais que p N : a
n
= b
n
n > p, ent ao ou
s ao ambas convergentes ou s ao ambas divergentes.
Denicao 1.2.3 Chama-se resto de ordem p da serie
n=1
a
n
à serie
r
p
=
n=1
a
n+p
=
n=p+1
a
n
.
Pelo corol ario anterior podemos concluir que se uma serie e convergente o mesmo
acontece ao seu resto de qualquer ordem. A soma do resto de ordem p de uma serie
convergente d a-nos o erro que se comete quando se toma para valor aproximado da soma
da serie a sua soma parcial S
p
. De facto, o erro e dado por:
n=1
a
n
S
p
=
n=1
a
n
n=1
a
n
=
n=1
a
n+p
= r
p
.
Corolario 2 A natureza de uma serie n ao e alterada se lhe suprimirmos um n umero
nito, arbitrario, de termos.
O teorema que se segue pode considerar-se, de certo modo, uma generaliza c ao da
propriedade associativa da adi c ao ao caso das series convergentes.
Teorema 1.2.4 Sejam
n=1
a
n
uma serie convergente e k
1
, k
2
, . . . , k
n
, . . . uma sucess ao de
elementos de N, estritamente crescente. Seja ainda b
n
a sucess ao denida do seguinte
modo:
b
n
=
_
_
k
1
i=1
a
i
, se n = 1
k
n
i=k
n1
+1
a
i
, se n > 1
Ent ao a serie
n=1
b
n
e convergente e
n=1
b
n
=
n=1
a
n
.
Demonstra c ao: Por deni c ao de serie convergente existe e e nito o limite
lim
n+
S
n
= lim
n+
n
i=1
a
i
.
Ent ao qualquer subsucess ao de S
n
ser a convergente e ter a o mesmo limite S =
n=1
a
n
.
A serie
n=1
b
n
ser a convergente se, e s o se, S
n
=
n
i=1
b
i
for convergente. Mas
S
n
=
n
i=1
b
i
=
k
1
i=1
a
i
+
k
2
i=k
1
+1
a
i
+ +
k
n
i=k
n1
+1
a
i
=
k
n
i=1
a
i
= S
k
n
,
ou seja, S
n
e uma subsucess ao de S
n
sendo, portanto, convergente e para o mesmo valor:
n=1
b
n
= lim
n+
S
n
= lim
n+
S
n
=
n=1
a
n
.
NOTA: O teorema diz que se a serie
n=1
a
n
e convergente ent ao
a
1
+ a
2
+ + a
k
1
+ + a
k
2
+ = (a
1
+ + a
k
1
) + (a
k
1
+1
+ + a
k
2
) +
Esta propriedade associativan ao e v alida se a serie for divergente. Basta observar que
se na demonstra c ao do teorema, S
n
n ao fosse convergente nada poderamos dizer sobre a
natureza de S
n
. Por exemplo, a serie
n=1
(1)
n
e divergente pois o seu termo geral n ao
tende para zero. No entanto, (1 + 1) + (1 + 1) + = 0.
1.3 Series alternadas 13
1.3 Series alternadas
Denicao 1.3.1 Uma serie diz-se alternada se os seus termos s ao alternadamente po-
sitivos e negativos.
Supondo que o primeiro termo da serie e positivo podemos escreve-la na forma
n=1
(1)
n1
a
n
, a
n
> 0 n N.
Teorema 1.3.1 (Criterio de Leibnitz)
Se a
n
e uma sucess ao decrescente de termos positivos e lim
n+
a
n
= 0 ent ao a serie
n=1
(1)
n1
a
n
e convergente.
Demonstra c ao: Seja S
n
a sucess ao das somas parciais desta serie:
S
n
= a
1
a
2
+ a
3
+ (1)
n1
a
n
.
Vamos estudar as subsucess oes de ndices pares e de ndices mpares. Seja k N, qual-
quer;
S
2k
= a
1
a
2
+ + a
2k1
a
2k
S
2k+1
= a
1
a
2
+ + a
2k1
a
2k
+ a
2k+1
A subsucess ao S
2k
e crescente porque, como a
n
e decrescente,
S
2k+2
S
2k
= a
1
a
2
+ + a
2k1
a
2k
+ a
2k+1
a
2k+2
(a
1
a
2
+ + a
2k1
a
2k
)
= a
2k+1
a
2k+2
0
e e uma sucess ao limitada porque
S
2
S
2k
= a
1
[(a
2
a
3
) + (a
4
a
5
) + + a
2k
] < a
1
Sendo uma sucess ao mon otona e limitada, S
2k
e uma sucess ao convergente. Por outro lado,
de S
2k+1
= S
2k
+ a
2k+1
conclui-se que lim
k+
S
2k+1
= lim
k+
S
2k
, visto que por hip otese a
n
e um innitesimo.
Como as subsucess oes dos termos de ordem par e de ordemmpar tem o mesmo limite,
S
n
e convergente. Ent ao, por deni c ao, a serie
n=1
(1)
n1
a
n
e convergente.
Teorema 1.3.2 Sejam a
n
uma sucess ao decrescente de termos positivos, tal que
lim
n+
a
n
= 0, e S a soma da serie
n=1
(1)
n1
a
n
. Ent ao
0 (1)
n
(S S
n
) a
n+1
n N.
Demonstra c ao: Sabemos da demonstra c ao do teorema anterior que S
2k
e uma subsucess ao
de S
n
crescente e com o mesmo limite, S, da subsucess ao S
2k+1
. Prova-se, por um processo
an alogo ao usado para S
2k
, que S
2k+1
e decrescente. Ent ao
S
2k
S e S S
2k+1
k N.
Destas desigualdades conclui-se que
0 S
2k1
S S
2k1
S
2k
= a
2k
0 S S
2k
S
2k+1
S
2k
= a
2k+1
,
isto e,
0 S
2k1
S a
2k
0 S S
2k
a
2k+1
,
ou ainda,
0 (1)
2k1
(S S
2k1
) a
2k
0 (1)
2k
(S S
2k
) a
2k+1
.
Destas duas ultimas desigualdades conclui-se que
0 (1)
n
(S S
n
) a
n+1
.
Corolario 1 Sejam a
n
uma sucess ao decrescente de termos positivos tal que lim
n+
a
n
= 0
e S a soma da serie
n=1
(1)
n1
a
n
. Ent ao
|S S
n
| a
n+1
n N.
NOTA: Do corol ario anterior ressalta que, nas condi c oes indicadas, o erro que se comete
quando se toma para valor aproximado da soma de uma serie alternada alguma soma
parcial e, em valor absoluto, inferior ao valor absoluto do primeiro dos termos desprezados.
Com efeito,
|(1)
n
(S S
n
)| |(1)
n
a
n+1
|,
ou seja,
|S S
n
| a
n+1
.
n=1
(1)
n
1
n
, denominada serie harm onica alter-
nada. Pelo Criterio de Leibnitz esta serie e convergente, pois a
n
=
1
n
e uma sucess ao
de termos positivos, decrescente e com limite zero. Se nesta serie tomarmos para valor
aproximado da soma a soma parcial S
9
cometeremos um erro que em valor absoluto e
inferior a
1
10
, valor de a
10
.
1.3 Series alternadas 15
n=1
(1)
n
1
n
, R.
Se 0 a serie diverge porque o seu termo geral n ao tende para zero.
Se > 0 a serie e convergente porque a
n
=
1
n
e uma sucess ao decrescente, de termos

positivos e lim
n+
a
n
= 0.
EXEMPLO 3: Seja a
n
o termo geral da serie
n=1
(1)
n
n
_
1 +
(1)
n
n
_
.
Como a
n
e um innitesimo e a
n
> 0 n > 1, mas a
n
n ao e decrescente, pelo Criterio
de Leibnitz nada podemos concluir.
No entanto, ve-se facilmente que a serie dada e divergente porque e a soma de uma
serie convergente a serie
n=1
(1)
n
1
n
com uma serie divergente a serie
n=1
1
n
.
1.4 Convergencia absoluta
n=1
|a
n
| e convergente, o mesmo acontece à serie
n=1
a
n
.
Demonstra c ao: A serie
n=1
|a
n
| e convergente se, e s o se,
> 0 p N : m > n > p | |a
n+1
| + +|a
m
| | < .
Como
|a
n+1
+ + a
m
| |a
n+1
| + +|a
m
|
e
| |a
n+1
| + +|a
m
| | = |a
n+1
| + +|a
m
|
temos que
> 0 p N : m > n > p |a
n+1
+ + a
m
| < ,
ou seja, a serie
n=1
a
n
e convergente.
NOTA:

E importante observar que o recproco deste teorema n ao e verdadeiro, isto e,
a serie
n=1
a
n
pode ser convergente sem que a serie dos m odulos,
n=1
|a
n
|, o seja. Basta
observar a serie harm onica (divergente) e a serie harm onica alternada (convergente): a
serie harm onica e a serie dos m odulos da serie harm onica alternada.
Denicao 1.4.1 Uma serie
n=1
a
n
diz-se absolutamente convergente se a serie
n=1
|a
n
| for convergente. Uma serie
n=1
a
n
diz-se simplesmente convergente ou con-
dicionalmente convergente se for convergente e a serie
n=1
|a
n
| for divergente.
Denicao 1.4.2 Diz-se que a serie
n=1
b
n
e um rearranjo da serie
n=1
a
n
, ou que desta
se obtem por reordena c ao dos seus termos, se existir uma bijec c ao de N em N tal que
b
n
= a
(n)
.
n=1
a
n
e absolutamente convergente ent ao qualquer serie que
dela se obtenha por reordena c ao dos seus termos e absolutamente convergente e tem a
mesma soma.
1.4 Convergencia absoluta 17
Este teorema generaliza ` as series absolutamente convergentes a propriedade comuta-
tiva da adi c ao usual. Contudo, e de referir que esta propriedade n ao vale para as series
simplesmente convergentes e pode mesmo demonstrar-se que por reordena c ao dos termos
de uma serie simplesmente convergente se pode obter outra serie de soma previamente
xada e ate uma serie divergente.
Teorema 1.4.3 Seja
n=1
a
n
uma serie simplesmente convergente. Ent ao:
a) Existem bijec c oes : N N tais que a serie
n=1
a
(n)
e divergente.
b) Para todo o n umero real k existe uma bijec c ao : N N tal que a serie
n=1
a
(n)
e
convergente e tem soma igual a k.
EXEMPLO: Consideremos a serie harm onica alternada,
n=1
(1)
n1
1
n
, que sabemos
ser simplesmente convergente. Reorganizemos os seus termos por forma que cada termo
positivo seja seguido por dois termos negativos. Obtemos a seguinte serie:
1
1
2

1
4
+
1
3

1
6

1
8
+
1
5

1
10

1
12
+
Temos para esta serie as somas parciais:
S
1
= 1
S
2
= 1
1
2
S
3
= 1
1
2

1
4
=
1
2

1
4
=
1
2
_
1
1
2
_
=
1
2
S
2
S
4
= 1
1
2

1
4
+
1
3
S
5
= 1
1
2

1
4
+
1
3

1
6
S
6
= 1
1
2

1
4
+
1
3

1
6

1
8
=
_
1
1
2
_
1
4
+
_
1
3

1
6
_
1
8
=
1
2

1
4
+
1
6

1
8
=
1
2
_
1
1
2
+
1
3

1
4
_
=
1
2
S
4
.
.
.
S
9
= S
6
+
1
5

1
10

1
12
=
1
2
_
1
1
2
+
1
3

1
4
_
+
_
1
5

1
10
_
1
12
=
1
2
_
1
1
2
+
1
3

1
4
_
+
1
10

1
12
=
1
2
_
1
1
2
+
1
3

1
4
+
1
5

1
6
_
=
1
2
S
6
.
.
.
onde S
n
=
n
i=1
(1)
i1
1
i
.
Ent ao S
3n
=
1
2
S
2n
o que implica que, sendo lim
n+
S
n
= S, lim
n+
S
3n
=
1
2
S.
Como S
3n+1
= S
3n
+
1
2n + 1
e S
3n+2
= S
3n
+
1
2n + 1

1
4n + 2
tem-se
lim
n+
S
3n+1
= lim
n+
S
3n
+ lim
n+
1
2n + 1
e
lim
n+
S
3n+2
= lim
n+
S
3n
+ lim
n+
1
2n + 1
lim
n+
1
4n + 2
ou seja,
lim
n+
S
3n+1
= lim
n+
S
3n+2
= lim
n+
S
3n
=
1
2
S.
Conclui-se assim que lim
n+
S
n
=
1
2
S, isto e, a serie obtida por reordena c ao dos termos
da serie harm onica alternada e convergente e tem soma igual a metade da soma da serie
dada.
1.5 Series de termos nao negativos 19
1.5 Series de termos nao negativos
Neste par agrafo vamos estabelecer alguns criterios de convergencia de series de termos
n ao negativos e, portanto, aplic aveis tambem ` a investiga c ao da convergencia absoluta das
series em geral.

E evidente que uma serie de termos n ao negativos se for convergente e
absolutamente convergente uma vez que o valor absoluto do seu termo geral e ele pr oprio.
Teorema 1.5.1 Seja
n=1
a
n
uma serie de termos n ao negativos. Ent ao a serie
n=1
a
n
e
convergente se, e so se, a sucess ao das suas somas parciais e limitada.
Demonstra c ao: Seja S
n
=
n
i=1
a
i
. Se a serie e convergente ent ao, por deni c ao, a sucess ao
S
n
tem limite nito. Consequentemente e uma sucess ao limitada.
Suponhamos que S
n
e limitada. Como a
n
0 tem-se S
n+1
S
n
n N, ou seja, S
n
e
uma sucess ao mon otona crescente. As duas arma c oes anteriores implicam a convergencia
de S
n
o que equivale a dizer que a serie
n=1
a
n
e convergente.
Teorema 1.5.2 (Criterio geral de comparacao) Sejam
n=1
a
n
e
n=1
b
n
duas series de
termos n ao negativos tais que a
n
b
n
, n N.
a) Se a serie
n=1
b
n
e convergente ent ao a serie
n=1
a
n
e convergente.
b) Se a serie
n=1
a
n
e divergente ent ao a serie
n=1
b
n
e divergente.
Demonstra c ao: Sejam S
n
=
n
i=1
a
i
e S
n
=
n
i=1
b
i
. Como 0 a
n
b
n
, n N, temos que
0 S
n
S
n
.
a) Visto que
n=1
b
n
e convergente a sucess ao das suas somas parciais, S
n
, e limitada
(Teorema 1.5.1) o que implica que a sucess ao S
n
tambem e limitada, isto e, a serie
n=1
a
n
e convergente.
b) Se a serie
n=1
a
n
e divergente ent ao a sucess ao S
n
n ao e limitada (Teorema 1.5.1). Isto
implica que a sucess ao S
n
tambem n ao e limitada e, assim, a serie
n=1
b
n
e divergente.
NOTA: A omiss ao de um n umero nito de termos n ao altera a natureza da serie como
vimos, portanto, o teorema anterior mantem-se v alido se p N : a
n
b
n
n p.
n=1
1
n!
. Como
0 <
1
n!
=
1
n(n 1)(n 2) . . . 2

1
2
n1
e a serie
n=1
1
2
n1
e uma serie geometrica de raz ao
1
2
, portanto convergente, a serie
n=1
1
n!
e convergente.
n=1
1
n
, < 1. Com esta hip otese, n
< n, o
que implica que
1
n
>
1
n
. Como a serie
n=1
1
n
e divergente a serie dada tambem ser a
divergente.
EXEMPLO 3: Estudemos a natureza da serie
n=1
1
n
2
. J a vimos que a serie
n=1
1
n(n + 1)
e convergente e como temos
0 <
1
(n + 1)
2
<
1
n(n + 1)
podemos concluir, pelo Teorema 1.5.2, que a serie
n=1
1
(n + 1)
2
e convergente, o mesmo
acontecendo ` a serie
n=1
1
n
2
porque difere desta apenas num termo.
Corolario 1 Sejam
n=1
a
n
e
n=1
b
n
duas series de termos positivos, c uma constante
positiva e p um n umero natural tais que a
n
c b
n
, n p.
a) Se a serie
n=1
b
n
n=1
a
n
e convergente.
b) Se a serie
n=1
a
n
n=1
b
n
e divergente.
Demonstra c ao: Seja c
n
= c b
n
. Pelo Teorema,
a) se a serie
n=1
c
n
n=1
a
n
e convergente;
b) se a serie
n=1
a
n
n=1
c
n
e divergente.
Como c > 0, as series
n=1
c
n
e
n=1
b
n
tem a mesma natureza e deste facto sai o resultado
pretendido.
Corolario 2 Sejam
n=1
a
n
e
n=1
b
n
duas series tais que a
n
0 e b
n
> 0, n N. Se
lim
n+
a
n
b
n
= k R
+
ent ao as series s ao da mesma natureza.
Demonstra c ao: Seja lim
n+
a
n
b
n
= k. Por deni c ao,
> 0 p N : n > p
a
n
b
n
k
< .
Seja =
k
2
. A partir de certa ordem p temos
a
n
b
n
k
<
k
2

k
2
<
a
n
b
n
k <
k
2

k
2
<
a
n
b
n
<
3
2
k
e, portanto,
a
n
<
3
2
k b
n
e
k
2
b
n
< a
n
.
Destas desigualdades conclui-se, pelo corol ario anterior, o resultado pretendido.
Corolario 3 Sejam
n=1
a
n
e
n=1
b
n
n
0 e b
n
> 0, n N. Se
lim
n+
a
n
b
n
= 0 ent ao
a) se a serie
n=1
b
n
e convergente, a serie
n=1
a
n
tambem e convergente;
b) se a serie
n=1
a
n
e divergente, a serie
n=1
b
n
tambem e divergente.
n+
a
n
b
n
= 0. Por deni c ao,
> 0 p N : n > p
a
n
b
n
< .
A partir de certa ordem p temos
a
n
b
n
=
a
n
b
n
< ,
pois a
n
0 e b
n
> 0. Consequentemente, 0 a
n
< b
n
, e do Corol ario 1 sai o resultado.
Corolario 4 Sejam
n=1
a
n
e
n=1
b
n
n
0 e b
n
> 0, n N. Se
lim
n+
a
n
b
n
= + ent ao
a) se a serie
n=1
b
n
n=1
a
n
tambem e divergente;
b) se a serie
n=1
a
n
n=1
b
n
tambem e convergente.
n+
a
n
b
n
= +. Por deni c ao,
> 0 p N : n > p
a
n
b
n
> .
A partir de certa ordem p temos a
n
> b
n
> 0, pois b
n
> 0, e desta desigualdade conclui-se,
pelo Corol ario 1, o que pretendamos.
Corolario 5 Sejam
n=1
a
n
e
n=1
b
n
n
> 0 e b
n
> 0, n N. Se
existir p N tal que
a
n+1
a
n
b
n+1
b
n
n p
ent ao
a) se a serie
n=1
b
n
n=1
a
n
e convergente;
b) se a serie
n=1
a
n
n=1
b
n
e divergente.
Demonstra c ao: Como a
n
> 0 e b
n
> 0 temos
a
n+1
a
n
b
n+1
b
n
a
n+1
b
n+1
a
n
b
n
,
ou seja, a sucess ao
a
n
b
n
e uma sucess ao decrescente a partir da ordem p. Ent ao existe uma
constante k (k
a
p
b
p
) tal que
a
n
b
n
k,
ou seja, a
n
k b
n
, n p. Do Corol ario 1 sai o resultado.
n=1
2n
2
+ 1
n
4
+ 3
.

E uma serie de termos positivos. Como
lim
n+
2n
2
+ 1
n
4
+ 3
1
n
2
= lim
n+
2n
4
+ n
2
n
4
+ 3
= 2
pelo Corol ario 2 as series
n=1
2n
2
+ 1
n
4
+ 3
e
n=1
1
n
2
tem a mesma natureza e como esta ultima
e convergente (Exemplo 3) a serie dada e convergente.
EXEMPLO 5: A serie
n=1
1 + (1)
n
n
2
e uma serie de termos n ao negativos. Como
0
1 + (1)
n
n
2

2
n
2
e a serie
n=1
1
n
2
e convergente, a serie dada e convergente (Corol ario 1).
EXEMPLO 6: A serie
n=1
log n
n
3
e uma serie de termos n ao negativos. Como
n=1
1
n
2
e
convergente e
lim
n+
log n
n
3
1
n
2
= lim
n+
log n
n
= 0
podemos concluir, pelo Corol ario 3, que a serie dada tambem e convergente.
EXEMPLO 7: Consideremos as series
n=1
b
n
=
n=1
1 3 (2n 1)
2 4 2n
e
n=1
1
n
. S ao
ambas series de termos positivos, sendo a segunda divergente. Como
b
n+1
b
n
=
1 3 (2n 1)(2n + 1)
2 4 2n(2n + 2)
1 3 (2n 1)
2 4 2n
=
2n + 1
2n + 2
e
a
n+1
a
n
=
1
n + 1
1
n
=
n
n + 1
,
verica-se facilmente que
n
n + 1

2n + 1
2n + 2
,
o que permite concluir, pelo Corol ario 5, que a serie
n=1
b
n
e divergente.
Teorema 1.5.3 (Criterio da Razao) Seja
n=1
a
n
uma serie de termos positivos.
a) Se existirem r < 1 e p N tais que
a
n+1
a
n
r < 1, n p, ent ao a serie
n=1
a
n
e
convergente.
b) Se existir p N tal que
a
n+1
a
n
1, n p, ent ao a serie
n=1
a
n
e divergente.
Demonstra c ao:
a) A serie
n=1
b
n
=
n=1
r
n
e uma serie geometrica de raz ao r. Como 0 < r < 1, a serie e
convergente. Mas
a
n+1
a
n
r
n+1
r
n
= r, n p,
o que implica, pelo Corol ario 5, que a serie
n=1
a
n
e convergente.
b) A serie
n=1
b
n
=
n=1
1 e uma serie divergente. Como
a
n+1
a
n
1 =
b
n+1
b
n
, n p,
o Corol ario 5 permite-nos armar que a serie
n=1
a
n
e divergente.
Corolario 1 (Criterio de DAlembert) Seja
n=1
a
n
uma serie de termos positivos. Se
existir lim
n+
a
n+1
a
n
= a (a R
+
0
ou a = +), ent ao
a) se a < 1, a serie
n=1
a
n
e convergente;
b) se a > 1, a serie
n=1
a
n
e divergente.
Demonstra c ao: Sabemos que, se a R,
lim
n+
a
n+1
a
n
= a > 0 p N : n > p
a
n+1
a
n
a
< .
a) Seja tal que 0 < < 1 a. Ent ao existe p N tal que
a
n+1
a
n
a
< n > p <

a
n+1
a
n
a < n > p a <
a
n+1
a
n
< a + n > p.
Mas se < 1 a ent ao a + < 1 e a alnea a) do Criterio da Raz ao permite-nos concluir
que a serie
n=1
a
n
e convergente.
b) Se a R, seja = a 1. Ent ao existe p N tal que
a
n+1
a
n
a
< a 1 n > p 1 <

a
n+1
a
n
< 2a 1 n > p.
Pelo teorema anterior a serie
n=1
a
n
diverge.
Se a = +, existe p N tal que
a
n+1
a
n
> 1 n > p,
e, ainda pelo teorema anterior, a serie
n=1
a
n
diverge.
NOTA: Se lim
n+
a
n+1
a
n
= 1 nada se pode concluir, pois existem series divergentes e series
convergentes nesta situa c ao. Por exemplo, a serie harm onica
n=1
1
n
e uma serie divergente
e
lim
n+
a
n+1
a
n
= lim
n+
n
n + 1
= 1
e a serie
n=1
1
n
2
e convergente e
lim
n+
a
n+1
a
n
= lim
n+
_
n
n + 1
_
2
= 1.
No entanto, se lim
n+
a
n+1
a
n
= 1 e a convergencia for por valores maiores do que 1, isso
signica que existe uma ordem p N a partir da qual
a
n+1
a
n
1, o que implica, pelo
Criterio da Raz ao, que a serie
n=1
a
n
e divergente.
EXEMPLO 8: Seja k > 0. A serie
n=1
k
n
n!
n
n
e uma serie de termos positivos. Como
lim
n+
k
n+1
(n + 1)!
(n + 1)
n+1
k
n
n!
n
n
= lim
n+
k
n+1
(n + 1)! n
n
k
n
n! (n + 1)
n+1
= lim
n+
k
_
n
n + 1
_
n
= k
1
e
o Criterio de DAlembert permite-nos concluir que: se
k
e
< 1, isto e, se k < e, a serie e
convergente e se
k
e
> 1, isto e, se k > e, a serie e divergente.
Se
k
e
= 1, isto e, se k = e, nada se pode concluir pelo Criterio de DAlembert. No
entanto, como
_
n + 1
n
_
n
e uma sucess ao crescente com limite e,
_
n
n + 1
_
n
e uma sucess ao
decrescente com limite
1
e
, o que implica que e
_
n
n + 1
_
n
ser a decrescente e ter a limite
1, ou seja,
a
n+1
a
n
tende para 1 por valores maiores do que 1. Ent ao a serie e divergente se
k = e.
EXEMPLO 9: A serie
n=1
(n!)
2
+ n!
(4n)! + n
4
e uma serie de termos positivos e
0 <
(n!)
2
+ n!
(4n)! + n
4
<
2(n!)
2
(4n)!
.
Estudemos a serie
n=1
2(n!)
2
(4n)!
pelo Criterio de DAlembert.
lim
n+
2((n + 1)!)
2
(4n + 4)!
2(n!)
2
(4n)!
= lim
n+
(n + 1)
2
(4n + 4)(4n + 3)(4n + 2)(4n + 1)
= 0
Conclumos, assim, que a serie
n=1
2(n!)
2
(4n)!
converge, logo a serie dada converge.
EXEMPLO 10: Consideremos a serie de termos positivos
1
2
+
1
2

1
3
+
1
2
2

1
3
+
1
2
2

1
3
2
+
1
2
3

1
3
2
+
ou seja, a
1
=
1
2
, a
2
=
1
2

1
3
, a
3
=
1
2
2

1
3
, a
4
=
1
2
2

1
3
2
, . . . , ou ainda,
a
n
=
_
_
1
2
n
2
1
3
n
2
, se n e par
1
2
n+1
2
1
3
n1
2
, se n e mpar
se n e par ent ao
a
n+1
a
n
=
1
2
n+2
2
1
3
n
2
1
2
n
2
1
3
n
2
=
2
n
2
3
n
2
2
n+2
2
3
n
2
= 2
1
=
1
2
se n e mpar ent ao
a
n+1
a
n
=
1
2
n+1
2
1
3
n+1
2
1
2
n+1
2
1
3
n1
2
=
2
n+1
2
3
n1
2
2
n+1
2
3
n+1
2
= 3
1
=
1
3
Pelo Criterio da Raz ao a serie converge.
Teorema 1.5.4 (Criterio da Raiz) Seja
n=1
a
n
uma serie de termos n ao negativos.
a) Se existirem r < 1 e p N tais que
n
a
n
r, n > p, ent ao a serie
n=1
a
n
e conver-
gente.
b) Se existirem p N e uma subsucess ao, (a
k
n
), de (a
n
) tal que
k
n
a
k
n
1, k
n
> p,
ent ao a serie
n=1
a
n
e divergente.
Demonstra c ao:
a) Se
n
a
n
r, n > p ent ao a
n
r
n
< 1 n p. A serie
n=1
r
n
e uma serie
convergente por ser uma serie geometrica de raz ao r, com 0 < r < 1. Portanto, a serie
n=1
a
n
e convergente.
b) Se
k
n
a
k
n
1, k
n
> p ent ao a
k
n
1, k
n
> p, pelo que n ao tende para zero.
Em consequencia, a sucess ao a
n
n ao tende para zero o que implica que a serie
n=1
a
n
e
divergente.
Corolario 1 Seja
n=1
a
n
uma serie de termos n ao negativos.
a) Se lim
n+
n
a
n
< 1, a serie
n=1
a
n
e convergente.
b) Se lim
n+
n
a
n
> 1, a serie
n=1
a
n
e divergente.
Demonstra c ao: Seja a = lim
n+
n
a
n
.
a) Seja r tal que a < r < 1. Podemos armar que
p N : n > p
n
a
n
< r
o que implica, pela alnea a) do teorema, que a serie
n=1
a
n
converge.
b) Por deni c ao de limite superior, existe uma subsucess ao de
n
a
n
com limite a > 1,
pelo que esta sucess ao tem uma innidade de valores maiores do que 1. Pela alnea b) do
teorema, a serie diverge.
Corolario 2 (Criterio da Raiz de Cauchy) Seja
n=1
a
n
uma serie de termos n ao
negativos. Se existir lim
n+
n
a
n
= a (a R
+
0
ou a = +), ent ao
n=1
a
n
e convergente;
n=1
a
n
e divergente.
Demonstra c ao:
Se existir lim
n+
n
a
n
= a, ent ao lim
n+
n
a
n
= lim
n+
n
a
n
= a e aplica-se o Corol ario 1.
NOTA: Se lim
n+
n
a
n
= 1 nada se pode concluir, pois existem series divergentes e series
convergentes nesta situa c ao. Por exemplo, a serie harm onica
n=1
1
n
e uma serie divergente
e
lim
n+
n
_
1
n
= lim
n+
1
n
n
= 1
e a serie
n=1
1
n
2
e convergente e
lim
n+
n
_
1
n
2
= lim
n+
1
n
n
2
= 1.
EXEMPLO 11: A serie
n=1
_
n + 1
n
_
n
2
e uma serie de termos positivos. Como
lim
n+
n
_
n + 1
n
_
n
2
= lim
n+
_
n + 1
n
_
n
= e > 1
a serie e divergente.
n=1
1
(3 + (1)
n
)
n
.
n
1
(3 + (1)
n
)
n
=
_
_
1
4
, se n e par
1
2
, se n e mpar
Ent ao
n
a
n

1
2
< 1, n N. Portanto, pelo Criterio da Raiz a serie e convergente.
NOTA: O Criterio de Cauchy e mais geral do que o Criterio de DAlembert. Isto signica
que se nada se puder concluir pelo Criterio de Cauchy tambem nada se concluir a pelo
Criterio de DAlembert. De facto, sabe-se que lim
n+
a
n+1
a
n
= a lim
n+
n
a
n
= a (em
particular, se a = 1, o Criterio de DAlembert e inconclusivo, o mesmo acontecendo com o
Criterio de Cauchy). Note-se que o recproco n ao e verdadeiro. Pode, portanto, acontecer
que se possam tirar conclus oes atraves do Criterio de Cauchy sem que o possamos fazer
com o Criterio de DAlembert.
n=1
2
n(1)
n
. Usando o Criterio de Cauchy,
lim
n+
n
2
n(1)
n
= lim
n+
2
1
.2
(1)
n
n
=
1
2
< 1
conclumos que a serie e convergente. Pelo Criterio de DAlembert nada se pode concluir.
De facto,
2
(n+1)(1)
n+1
2
n(1)
n
= 2
n1(1)
n+1
+n+(1)
n
= 2
1(1)
n+1
+(1)
n
=
_
2, se n e par
2
3
, se n e mpar
Teorema 1.5.5 (Criterio de Kummer) Sejam
n=1
a
n
e
n=1
b
n
duas series de termos
positivos, com
n=1
b
n
divergente. Se existir lim
n+
_
1
b
n
a
n
a
n+1
1
b
n+1
_
= k (k R ou
k = ), ent ao
a) se k > 0, a serie
n=1
a
n
e convergente;
b) se k < 0, a serie
n=1
a
n
e divergente.
Demonstra c ao: Se k R,
lim
n+
_
1
b
n
a
n
a
n+1
1
b
n+1
_
= k > 0 p N n > p
1
b
n
a
n
a
n+1
1
b
n+1
k
<
Mas

1
b
n
a
n
a
n+1
1
b
n+1
k
< k <
1
b
n
a
n
a
n+1
1
b
n+1
< k +
a) Seja k R
+
e =
k
2
. Existe uma ordem n
0
N a partir da qual se tem
k
k
2
<
1
b
n
a
n
a
n+1
1
b
n+1
k
2
<
1
b
n
a
n
a
n+1
1
b
n+1
1 <
2
k
_
1
b
n
a
n
a
n+1
1
b
n+1
_
a
n+1
<
2
k
a
n+1
_
1
b
n
a
n
a
n+1
1
b
n+1
_
a
n+1
<
2
k
_
a
n
b
n
a
n+1
b
n+1
_
Somando ordenadamente os dois membros da desigualdade desde n
0
+ 1 ate n + 1
obtemos
n+1
i=n
0
+1
a
i
<
n+1
i=n
0
+1
2
k
_
a
i1
b
i1
a
i
b
i
_
n+1
i=n
0
+1
a
i
<
2
k
_
a
n
0
b
n
0
a
n
0
+1
b
n
0
+1
+
a
n
0
+1
b
n
0
+1
a
n
0
+2
b
n
0
+2
+ +
a
n
b
n
a
n+1
b
n+1
_
n+1
i=n
0
+1
a
i
<
2
k
_
a
n
0
b
n
0
a
n+1
b
n+1
_
<
2
k
a
n
0
b
n
0
Ent ao a sucess ao das somas parciais da serie
n=1
a
n
e limitada, pois
0 < S
n+1
=
n+1
i=1
a
i
= S
n
0
+ a
n
0
+1
+ + a
n+1
S
n
0
+
2
k
a
n
0
b
n
0
e pelo Teorema 1.5.1 a serie
n=1
a
n
converge.
Se k = +, seja > 0, qualquer. Existe uma ordem n
0
1
b
n
a
n
a
n+1
1
b
n+1
>

2
e podemos aplicar o raciocnio anterior.
b) Seja k R
e = k. Existe uma ordem n

0
1
b
n
a
n
a
n+1
1
b
n+1
< 0
a
n
a
n+1
<
b
n
b
n+1
a
n+1
a
n
>
b
n+1
b
n
Como a serie
n=1
b
n
e divergente, o Corol ario 5 permite-nos concluir que
n=1
a
n
e
divergente.
Se k = , tambem existe uma ordem n
0
1
b
n
a
n
a
n+1
1
b
n+1
< 0
e termina-se do mesmo modo.
Corolario 1 (Criterio de Raabe) Seja
n=1
a
n
uma serie de termos positivos. Se existir
lim
n+
n
_
a
n
a
n+1
1
_
= a, ent ao
n=1
a
n
e divergente;
n=1
a
n
e convergente.
Demonstra c ao: Basta fazer no teorema anterior b
n
=
1
n
. A serie
n=1
1
n
e divergente e
lim
n+
_
1
b
n
a
n
a
n+1
1
b
n+1
_
= lim
n+
_
n
a
n
a
n+1
n 1
_
= lim
n+
n
_
a
n
a
n+1
1
_
1 = a1.
O corol ario est a demonstrado.
NOTA: Muitas vezes os casos que pelo Criterio de DAlembert s ao inconclusivos podem
ser resolvidos pelo Criterio de Raabe.
n=1
1 3 (2n 1)
2 4 2n

1
n
=
n=1
a
n
.
lim
n+
a
n+1
a
n
= lim
n+
n(2n + 1)
(n + 1)(2n + 2)
= 1
e, assim, pelo Criterio de DAlembert nada se pode concluir. Pelo Criterio de Raabe
lim
n+
n
_
a
n
a
n+1
1
_
= lim
n+
n
_
(n + 1)(2n + 2)
n(2n + 1)
1
_
= lim
n+
(n + 1)(2n + 2) n(2n + 1)
2n + 1
= lim
n+
3n + 2
2n + 1
=
3
2
> 1
portanto, a serie e convergente.
Teorema 1.5.6 (Criterio do integral) Seja f : [1, +[ R uma fun c ao contnua,
positiva e decrescente em [1, +[. Para cada n N, seja a
n
= f(n). Ent ao a serie
n=1
a
n
e o integral improprio
_

1
f(x) dx s ao da mesma natureza (isto e, s ao ambos
convergentes ou ambos divergentes).
Demonstra c ao: x 1 n N : n x n + 1. Como f e decrescente,
f(n + 1) f(x) f(n).
Mas f(n) = a
n
e podemos escrever
a
n+1
f(x) a
n
.
Integrando em ordem a x entre n e n + 1 obtemos
_
n+1
n
a
n+1
dx
_
n+1
n
f(x) dx
_
n+1
n
a
n
dx a
n+1

_
n+1
n
f(x) dx a
n
.
Somando ordenadamente desde n = 1 ate n = N 1 temos
N1
n=1
a
n+1

N1
n=1
__
n+1
n
f(x) dx
_
N1
n=1
a
n
N1
n=1
a
n+1

_
N
1
f(x) dx
N1
n=1
a
n
Se o integral e divergente, pelas condi c oes de f, lim
N+
_
N
1
f(x) dx = +. Ent ao, pela
desigualdade da direita, o limite da sucess ao das somas parciais da serie e tambem +,
isto e, a serie diverge. Se o integral converge ent ao existe e e nito lim
N+
_
N
1
f(x) dx.
Em consequencia, a sucess ao S
n
=
n
i=1
a
i
e limitada. Como a serie e de termos positivos
conclui-se que e convergente.
n=1
1
n
, R, habitualmente designada por serie

de Dirichlet.
Se 0, a serie e divergente porque o seu termo geral n ao tende para zero.
Se > 0, a fun c ao f(x) =
1
x
e contnua, positiva e decrescente em [1, +[. Sabemos

que
_
+
1
1
x
dx converge se, e s o se, > 1. Ent ao, pelo Criterio do Integral, a serie
converge se, e s o se, > 1.
EXEMPLO 16: Seja
n=2
a
n
a serie de termo geral a
n
=
1
n(log(n))
, R. Seja
f(x) =
1
x(log(x))
.
E uma fun c ao positiva e contnua em [2, +[. Como, se x > 2,

f
(x) = 0
(log(x))
+ (log(x))
1
x
2
(log(x))
2
= 0

(log(x))
1
(log(x) + )
x
2
(log(x))
2
= 0
log(x) + = 0
x = e
se x > e
vem f
(x) < 0 e, portanto, f e decrescente. Estudemos o integral

_
+
p
1
x(log(x))
dx
sendo p N tal que p 2 e p e
.
Se = 1
_
t
p
1
xlog(x)
dx = [ log(log(x)) ]
t
p
= log(log(t)) log(log(p))
e se = 1
_
t
p
1
x(log(x))
dx =
_
(log(x))
+1
+ 1
_
t
p
=
(log(t))
+1
(log(p))
+1
+ 1
tendo-se
lim
t+
_
t
p
1
x(log(x))
dx =
_
_
+, se 1
(log(p))
+1
1
, se > 1
Ent ao o integral converge se, e s o se, > 1. Pelo Criterio do integral a serie converge se,
e s o se, > 1.
1.6 Multiplica cao de series 35
1.6 Multiplicacao de series
Sejam
n=1
a
n
e
n=1
b
n
duas series convergentes de somas A e B, respectivamente. Ao
pensarmos no produto
_

n=1
a
n
_
n=1
b
n
_
ser a natural deni-lo por forma que a serie
obtida, sendo convergente, tenha soma A B. Podemos denir, por exemplo
_

n=1
a
n
_
n=1
b
n
_
=
n=1
_
a
n
k=1
b
k
_
obtendo-se
n=1
_
a
n
k=1
b
k
_
=
n=1
a
n
B = B
n=1
a
n
= B A.
Pode, no entanto, perguntar-se se n ao seria possvel fazer o produto das series mul-
tiplicando cada termo a
n
da primeira por cada termo b
k
e formar uma unica serie cujos
termos sejam os produtos a
n
b
k
por qualquer ordem, de modo que a soma dessa serie fosse
A B. Como resposta temos o teorema
Teorema 1.6.1 Sejam
n=1
a
n
e
n=1
b
n
duas series convergentes, de somas A e B, res-
pectivamente. Seja uma aplica c ao bijectiva, : N
2
N, (i, j) = n. A cada
podemos fazer corresponder uma serie
n=1
c
n
, com c
n
= c
(i,j)
= a
i
b
j
. A serie
n=1
c
n
converge, seja qual for a aplica c ao considerada se, e so se,
n=1
a
n
e
n=1
b
n
s ao absolu-
tamente convergentes e, nesse caso, tem-se
n=1
c
n
= AB, sendo a serie
n=1
c
n
tambem
absolutamente convergente.
NOTA: Dizer que
n=1
c
n
converge seja qual for a aplica c ao considerada, equivale a
armar que a serie produto converge seja qual for a ordem por que se tomem os seus
termos.
Denicao 1.6.1 Chama-se produto de Cauchy de duas series convergentes,
n=1
a
n
e
n=1
b
n
, à serie
n=1
_
n
k=1
a
k
b
nk+1
_
.
NOTA: Se n N
0
ent ao o produto de Cauchy escreve-se
n=0
_
n
k=0
a
k
b
nk
_
.
Corolario 1 Se
n=1
a
n
e
n=1
b
n
, s ao series absolutamente convergentes de somas A e B,
respectivamente, ent ao o seu produto de Cauchy e absolutamente convergente e tem soma
A B.
n=0
x
n
n!
, x R. Como
lim
n+
x
n+1
(n + 1)!
x
n
n!
= lim
n+
|x|
n + 1
= 0
a serie e absolutamente convergente x R. Ent ao o produto de Cauchy de duas series
deste tipo e absolutamente convergente. Formemos o produto e veriquemos que a serie
obtida e absolutamente convergente.
_

n=0
x
n
n!
_
n=0
y
n
n!
_
=
n=0
_
n
k=0
x
k
k!

y
nk
(n k)!
_
=
n=0
_
1
n!
n
k=0
n!
k!(n k)!
x
k
y
nk
_
=
n=0
(x + y)
n
n!
NOTA: O produto de Cauchy de duas series n ao absolutamente convergentes pode con-
duzir a uma serie divergente.
EXEMPLO 2: A serie
n=0
(1)
n
n + 1
e uma serie simplesmente convergente. Calculando o
produto de Cauchy da serie por ela pr opria, obtemos
n=0
_
n
k=0
(1)
k
_
(k + 1)
(1)
nk
_
(n k + 1)
_
=
n=0
_
n
k=0
(1)
n
1
k + 1
n k + 1
_
=
n=0
(1)
n
_
n
k=0
1
k + 1
n k + 1
_
=
n=0
(1)
n
a
n
1.6 Multiplica cao de series 37
que e uma serie alternada e como
a
n
=
n
k=0
1
k + 1
n k + 1
k=0
1
n + 1
n + 1
= 1
a
n
n ao tende para zero, sendo a serie produto uma serie divergente.
Teorema 1.6.2 (Mertens) Se pelo menos uma das series convergentes
n=1
a
n
e
n=1
b
n
e
absolutamente convergente, ent ao o seu produto de Cauchy e convergente e tem por soma
o produto das somas das series dadas.
Teorema 1.6.3 Se as series
n=1
a
n
e
n=1
b
n
s ao convergentes, de somas A e B, respecti-
vamente, ent ao, se o seu produto de Cauchy e convergente, tem soma A B.
EXEMPLO 3: A serie
n=1
(1)
n
n
e uma serie simplesmente convergente e a serie
n=1
(1)
n
n
2
e uma serie absolutamente convergente. Pelo Teorema de Mertens a serie produto, que e
uma serie alternada, e convergente:
_

n=1
(1)
n
n
_
n=1
(1)
n
n
2
_
=
n=1
_
n
k=1
(1)
k
k

(1)
nk+1
(n k + 1)
2
_
=
n=1
_
(1)
n+1
n
k=1
1
k(n k + 1)
2
_
.
Captulo 2
Series de Func oes
2.1 Introducao. Sucess oes de func oes
Em muitas quest oes de An alise interessa considerar sucess oes de fun c oes da forma
f
1
(x), f
2
(x), . . . , f
n
(x), . . . e surge evidentemente a quest ao da passagem ao limite.
Denicao 2.1.1 Seja f
n
uma sucess ao de fun c oes, f
n
: D R R. Diz-se que f
n
converge num ponto a D se a sucess ao numerica f
n
(a) e convergente (com limite
nito).
Se a sucess ao f
n
converge em todos os pontos de D, pode denir-se uma fun c ao
f : D R por f(x) = lim
n+
f
n
(x), a qual se diz limite de f
n
em D. Diz-se tambem que
f
n
converge pontualmente para f em D.
EXEMPLO 1: A sucess ao de fun c oes
_
1 +
x
n
_
n
, denidas em R, converge qualquer que
seja x R. A fun c ao limite e a fun c ao f(x) = e
x
:
lim
n+
_
1 +
x
n
_
n
= e
x
x R.
EXEMPLO 2: Consideremos as fun c oes f
n
(x) = x
n
, n N, no intervalo [0, 1]. S ao
fun c oes contnuas e a fun c ao limite existe:
f(x) = lim
n+
x
n
=
_
0, se 0 x < 1
1, se x = 1
Note-se que esta fun c ao n ao e contnua.
40 2. Series de Fun c oes
Vimos em An alise Matem atica I que se verica uma certa compatibilidade entre as
opera c oes algebricas fundamentais e a continuidade, derivabilidade e integrabilidade de
fun c oes reais de vari avel real. Surge naturalmente a pergunta: vericar-se- a esse mesmo
tipo de compatibilidade entre continuidade, derivabilidade e integrabilidade e a passagem
ao limite? No caso da continuidade, por exemplo, a pergunta pode p or-se da seguinte
forma: se a sucess ao de fun c oes convergir para uma fun c ao determinada e se os termos
da sucess ao s ao fun c oes contnuas, ser a tambem contnua a fun c ao limite? A resposta e:
n ao necessariamente, isto e, existem sucess oes de fun c oes contnuas que convergem, no
sentido da Deni c ao 2.1.1, para uma fun c ao descontnua (Exemplo 2).
E possvel, no entanto, denir outro tipo de convergencia de forma a obter resposta

armativa ` a pergunta anterior. Trata-se da convergencia uniforme.
Denicao 2.1.2 Diz-se que a sucess ao de fun c oes f
n
converge uniformemente para
f em D se
> 0 p N : n > p |f
n
(x) f(x)| < , x D.
Esta condi c ao e equivalente a
> 0 p N : n > p, sup
xD
|f
n
(x) f(x)| <
isto e,
lim
n+
sup
xD
|f
n
(x) f(x)| = 0
E evidente que se uma sucess ao de fun c oes f

n
converge uniformemente para f em D,
ent ao tambem f
n
converge pontualmente para f em D. A recproca n ao e verdadeira. Se
tomarmos a sucess ao f
n
do EXEMPLO 2, que converge pontualmente para f em [0, 1],
temos sup
x[0,1]
|f
n
(x) f(x)| = 1 n N, pelo que f
n
n ao converge uniformemente para f
em [0, 1].
2.1 Introdu cao. Sucess oes de fun c oes 41
A deni c ao de convergencia uniforme signica que, seja qual for > 0 xado, existe
uma ordem a partir da qual todas as fun c oes est ao na faixa entre f(x) e f(x) + .
Geometricamente,
f(x)
f(x)+d
f(x)-d
f (x)
n
x
y
Evidentemente, existem sucess oes de fun c oes que convergem para fun c oes contnuas,
mas n ao uniformemente, como se pode ver no exemplo seguinte.
EXEMPLO 3: A sucess ao de fun c oes f
n
(x) = xn
e
nx
converge para a fun c ao f(x) = 0
x R
+
0
. No entanto, essa convergencia n ao e uniforme, se 1: note-se que
sup
xR
+
0
|f
n
(x) f(x)| = max
xR
+
0
f
n
(x) = f
n
_
1
n
_
=
n
1
e
.
2.2 Convergencia pontual e convergencia uniforme
de series de func oes
Os conceitos de convergencia pontual e convergencia uniforme estendem-se ` as series
de fun c oes.
Denicao 2.2.1 Seja f
n
uma sucess ao de fun c oes, f
n
: X R R. Chama-se serie
de termo geral f
n
à sucess ao de fun c oes S
n
denida por
S
n
(x) = f
1
(x) + f
2
(x) + + f
n
(x), x X;
tambem se representa a serie por
n=1
f
n
.
n=1
f
n
converge no ponto a X se a serie
numerica
n=1
f
n
(a) for convergente.
Se a serie for convergente em todos os pontos de D X, podemos denir uma fun c ao
f : D R que a cada ponto x D faz corresponder a soma da serie
n=1
f
n
(x); à fun c ao
f chama-se fun c ao soma da serie.
n=0
x
2
(1 + x
2
)
n
.
Se x = 0 a serie dada e a serie nula, logo convergente.
Se x = 0, podemos escrever
n=0
x
2
(1 + x
2
)
n
= x
2
n=0
1
(1 + x
2
)
n
= x
2
n=0
_
1
1 + x
2
_
n
e esta serie e uma serie geometrica de raz ao r =
1
1 + x
2
; como |r| < 1, a serie e convergente.
Ent ao
n=0
x
2
(1 + x
2
)
n
= x
2
1
1
1
1 + x
2
= 1 + x
2
e a fun c ao soma e
f(x) =
_
1 + x
2
, se x = 0
0, se x = 0
2.2 Convergencia pontual e convergencia uniforme de series de fun c oes 43
n=0
x
n
n!
.
Podemos usar os criterios das series numericas para estudar a convergencia pontual
das series de fun c oes. Neste caso, vamos aplicar o criterio de DAlembert para estudar a
serie
n=0
x
n
n!
.
lim
n+
x
n+1
(n + 1)!
x
n
n!
= lim
n+
|x|
n + 1
= 0, x R.
Conclumos, assim, que a serie dada e absolutamente convergente x R, denindo uma
fun c ao f em R. Veremos mais tarde que f(x) = e
x
, isto e,
n=0
x
n
n!
= e
x
, x R.
n=0
x (1 x)
n
, x [0, 1].
Se x = 0 a serie dada e a serie nula, logo convergente.
Se x = 0, como a serie
n=0
(1 x)
n
e uma serie geometrica de raz ao r = 1 x e |r| < 1
se, e s o se, 0 < x < 2, a serie converge porque x ]0, 1]. Neste caso,
n=0
x (1 x)
n
= x
1
1 (1 x)
= 1.
Podemos ent ao dizer que a serie
n=0
x (1 x)
n
, x [0, 1], converge pontualmente para a
fun c ao
f(x) =
_
1, se 0 < x 1
0, se x = 0
n=1
f
n
(x) converge uniformemente para a fun c ao
f em D R (D = ) se
> 0 p N : n > p |f(x)
n
i=1
f
i
(x)| < , x D.
Esta condi c ao e equivalente a
> 0 p N : n > p, sup
xD
|f(x) S
n
(x)| <
isto e,
lim
n+
sup
xD
|f(x) S
n
(x)| = 0.
NOTA: A convergencia uniforme implica a convergencia pontual, mas o recproco n ao e
verdadeiro.
EXEMPLO 4: Vimos que a serie
n=0
x
2
(1 + x
2
)
n
e pontualmente convergente para a fun c ao
f denida por
f(x) =
_
1 + x
2
, se x = 0
0, se x = 0
No entanto, esta serie n ao e uniformemente convergente em [1, 1], por exemplo. De
facto,
lim
n+
sup
x[1,1]
|f(x) S
n
(x)| = lim
n+
sup
x [1, 1]
x = 0
1 + x
2
(1 + x
2
)
_
1
1
(1 + x
2
)
n+1
_
= lim
n+
sup
x [1, 1]
x = 0
1
(1 + x
2
)
n
= lim
n+
sup
x [1, 1]
x = 0
1
(1 + x
2
)
n
= 1.
Teorema 2.2.1

E condi c ao necessaria e suciente para que a serie
n=1
f
n
seja unifor-
memente convergente em D R que
> 0 p N : m > n > p
r=n+1
f
r
(x)
< , x D.
Teorema 2.2.2 (Weierstrass) Se existir uma serie numerica convergente, de termos
positivos,
n=1
a
n
, tal que
|f
n
(x)| a
n
, x D, n N
ent ao a serie
n=1
f
n
e uniformemente convergente em D.
Demonstra c ao: Sabemos, pelo Teorema 1.2.3, que
n=1
a
n
converge se, e s o se,
> 0 p N : m > n > p |a
n+1
+ + a
m
| < .
Seja > 0.
|f
n+1
(x) + + f
m
(x)| |f
n+1
(x)| + +|f
m
(x)|
a
n+1
+ + a
m
x D
= |a
n+1
+ + a
m
|, pois a
n
> 0 n N.
Ent ao
p N : m > n > p |f
n+1
(x) + + f
m
(x)| <
ou ainda,
p N : m > n > p
r=n+1
f
r
(x)
< .
Do teorema anterior sai o resultado pretendido.
EXEMPLO 5: Seja k uma constante tal que |k| < 1. A serie
n=1
f
n
(x), onde
f
n
(x) =
1 3 (2n 1)
2 4 2n
k
2n
(sen(x))
2n
, e uniformemente convergente em qualquer
conjunto D R. De facto,
|f
n
(x)| =
1 3 (2n 1)
2 4 2n
k
2n
(sen(x))
2n
1 3 (2n 1)
2 4 2n
k
2n
, x D
e a serie numerica
n=0
1 3 (2n 1)
2 4 2n
k
2n
e convergente. Para o vericar basta
aplicar o criterio de DAlembert:
lim
n+
1 3 (2n 1)(2n + 1)
2 4 2n(2n + 2)
|k|
2n+2
1 3 (2n 1)
2 4 2n
|k|
2n
= lim
n+
2n + 1
2n + 2
|k|
2
= |k|
2
< 1.
EXEMPLO 6: Como
sen(nx)
n
2

1
n
2
, x R, e a serie
n=1
1
n
2
n=1
sen(nx)
n
2
e uniformemente convergente em qualquer subconjunto de R.
NOTA: O Criterio de Weierstrass e uma condi c ao suciente, mas n ao necess aria para a
convergencia uniforme de uma serie de fun c oes: h a series uniformemente convergentes cujo
termo geral n ao admite uma majora c ao do tipo da do Criterio de Weierstrass. Repare-se
que essa majora c ao implica a convergencia absoluta da serie de fun c oes.
n=1
(1)
n
x
2
+ n
n
2
.

E uma serie alternada e pelo
Criterio de Leibnitz podemos armar que e convergente qualquer que seja x R. Mas
n ao e absolutamente convergente porque
(1)
n
x
2
+ n
n
2
=
x
2
+ n
n
2

1
n
x R
e a serie
n=1
1
n
e divergente. N ao e ent ao possvel usar o Criterio de Weierstrass para tirar
conclus oes sobre a convergencia uniforme desta serie.
Teorema 2.2.3 Se as fun c oes f
1
, f
2
, . . . , f
n
, . . . s ao contnuas em D e a serie
n=1
f
n
converge uniformemente para f em D, ent ao f e contnua em D.
Demonstra c ao: Seja x
0
um ponto arbitr ario de D. Queremos provar que
> 0 > 0 |x x
0
| < |f(x) f(x
0
)| < .
Podemos escrever
f(x) f(x
0
) = f(x) S
n
(x) + S
n
(x) S
n
(x
0
) + S
n
(x
0
) f(x
0
),
o que implica que
|f(x) f(x
0
)| |f(x) S
n
(x)| +|S
n
(x) S
n
(x
0
)| +|S
n
(x
0
) f(x
0
)|.
Seja > 0. Como a serie converge uniformemente para f sabemos que
p N : n > p |f(x) S
n
(x)| <

3
x D.
Como f
1
, f
2
, . . . , f
n
, . . . s ao contnuas, S
n
e uma fun c ao contnua, isto e,
> 0 |x x
0
| < |S
n
(x) S
n
(x
0
)| <

3
.
Ent ao
> 0 |x x
0
| < |f(x) f(x
0
)| < .
Da arbitrariedade de x
0
sai o resultado.
NOTA: Se a soma de uma serie de fun c oes n ao e contnua isso signica que as fun c oes
f
1
, f
2
, . . . , f
n
, . . . n ao s ao contnuas ou a convergencia da serie n ao e uniforme. Portanto,
se f
1
, f
2
, . . . , f
n
, . . . s ao fun c oes contnuas e f n ao e contnua podemos armar que a
convergencia n ao e uniforme.
n=0
x
2
(1 + x
2
)
n
, no intervalo [a, a], a > 0. Prov amos
que esta serie converge pontualmente para a fun c ao
f(x) =
_
_
_
1 + x
2
, se x = 0
0, se x = 0
Como f e descontnua em x = 0 e f
n
(x) =
x
2
(1 + x
2
)
n
e contnua n N, a convergencia
da serie n ao e uniforme.
Teorema 2.2.4 Sejam a, b R, a < b. Se as fun c oes f
1
, f
2
, . . . , f
n
, . . . s ao contnuas em
[a, b] e a serie
n=1
f
n
converge uniformemente para f em [a, b], ent ao
_
b
a
f(x) dx =
n=1
_
b
a
f
n
(x) dx
(Diz-se que a serie e integravel termo a termo).
Demonstra c ao: Pelo Teorema 2.2.3 f e contnua em [a, b], portanto, integr avel em [a, b].
Por hip otese, as fun c oes f
1
, f
2
, . . . , f
n
, . . . s ao contnuas em [a, b], o que implica que s ao
integr aveis nesse intervalo.
Pretendemos provar que a sucess ao S
n
das somas parciais da serie
n=1
_
b
a
f
n
(x) dx tem
limite
_
b
a
f(x) dx, isto e,
> 0 p N : n > p
n
(x)
_
b
a
f(x) dx
< .
Seja > 0.
n
(x)
_
b
a
f(x) dx
i=1
_
b
a
f
i
(x) dx
_
b
a
f(x) dx
_
b
a
_
n
i=1
f
i
(x) dx
_
_
b
a
f(x) dx
_
b
a
_
n
i=1
f
i
(x) f(x)
_
dx
_
b
a
i=1
f
i
(x) f(x)
dx
=
_
b
a
|S
n
(x) f(x)| dx.
Mas a serie
n=1
f
n
(x) converge uniformemente para f em [a, b], portanto
p N : n > p |f(x) S
n
(x)| <

b a
o que implica que
p N : n > p
_
b
a
|S
n
(x) f(x)| dx <
_
b
a
b a
dx = .
n=1
e
nx
2
n
, em [0, 1].
e
nx
2
n
=
1
e
nx
2
n

1
2
n
x [0, 1].
A serie
n=1
1
2
n
e uma serie geometrica de raz ao
1
2
sendo, portanto, convergente. Pelo
Teorema de Weierstrass a serie dada e uniformemente convergente em [0, 1]. Pelo Teore-
ma 2.2.4
_
1
0
n=1
e
nx
2
n
dx =
n=1
_
1
0
e
nx
2
n
dx =
n=1
1
2
n
_
e
nx
n
_
1
0
=
n=1
1 e
n
n2
n
.
EXEMPLO 10: A serie
n=0
x
n
n!
e uniformemente convergente em qualquer intervalo [a, b],
a, b R, pois nesse intervalo
x
n
n!
M
n
n!
, sendo M = max (|a|, |b|),
e a serie
n=0
M
n
n!
e convergente. Como f
n
(x) =
x
n
n!
e contnua n N, a serie
n=0
x
n
n!
e
integr avel termo a termo e
_
b
a
n=0
x
n
n!
dx =
n=0
_
b
a
x
n
n!
dx =
n=0
1
n!
_
x
n+1
n + 1
_
b
a
=
n=0
b
n+1
a
n+1
(n + 1)!
.
NOTA: Uma serie pode n ao ser uniformemente convergente num intervalo [a, b] e ser
integr avel termo a termo nesse intervalo.
EXEMPLO 11: A serie x+
n=2
(x
n
x
n1
) e convergente em [0, 1] para a fun c ao f denida
por
f(x) =
_
0, se 0 x < 1
1, se x = 1
Como f
n
e contnua em [0, 1] n N, e f e descontnua nesse intervalo, a serie n ao e
uniformemente convergente. No entanto,
_
1
0
f(x) dx = 0 e
n=1
_
1
0
f
n
(x) dx =
_
1
0
x dx +
n=2
_
1
0
(x
n
x
n1
) dx
=
_
x
2
2
_
1
0
+
n=2
_
x
n+1
n + 1

x
n
n
_
1
0
=
1
2
+
n=2
_
1
n + 1

1
n
_
=
1
2

n=2
_
1
n

1
n + 1
_
= 0.
Corolario 1 Sejam a, b R, a < b. Se as fun c oes f
1
, f
2
, . . . , f
n
, . . . s ao contnuas em
[a, b] e a serie
n=1
f
n
converge uniformemente para f em [a, b], ent ao
_
x
a
f(t) dt =
n=1
_
x
a
f
n
(t) dt, x [a, b],
isto e, a serie e primitivavel termo a termo.
Corolario 2 Sejam a, b R, a < b. Se a serie
n=1
f
n
converge pontualmente, no inter-
valo [a, b] para a fun c ao f, se nesse intervalo existem e s ao contnuas as derivadas f
n
e
se a serie
n=1
f
n
converge uniformemente em [a, b] ent ao f e diferenciavel em [a, b] e
f
(x) =
n=1
f
n
(x), x [a, b].
Demonstra c ao: Seja g(x) =
n=1
f
n
(x), x [a, b]. Pelo Corol ario 1
_
x
a
g(t) dt =
n=1
_
x
a
f
n
(t) dt =
n=1
[f
n
(t)]
x
a
=
n=1
(f
n
(x) f
n
(a)),
ou seja,
_
x
a
g(t) dt = f(x) f(a),
ou ainda,
f(x) =
_
x
a
g(t) dt + f(a),
o que implica que f
(x) = g(x), isto e, f
(x) =
n=1
f
n
(x).
n=0
x
n
.

E uma serie geometrica de raz ao x. A serie
converge se, e s o se, |x| < 1 e, neste caso,
n=0
x
n
=
1
1 x
.
Seja 0 < r < 1. Ent ao |x
n
| r
n
, x [r, r]. Como a serie
n=0
r
n
e uma serie
numerica convergente, a serie
n=0
x
n
e uniformemente convergente em [r, r].
_
r
r
1
1 x
dx =
_
r
r
n=0
x
n
dx =
n=0
_
r
r
x
n
dx
[ log |1 x| ]
r
r
=
n=0
_
x
n+1
n + 1
_
r
r
log |1 r| + log |1 + r| =
n=0
_
r
n+1
(r)
n+1
n + 1
_
log
_
1 + r
1 r
_
=
n=0
r
n+1
n + 1
(1 (1)
n+1
) = 2
n=0
r
2n+1
2n + 1
.
Consideremos novamente a serie
n=0
x
n
. Derivando-a termo a termo obtemos a serie
n=0
(n + 1)x
n
. Como
lim
n+
|(n + 2)x
n+1
|
|(n + 1)x
n
|
= lim
n+
(n + 2)|x|
n + 1
= |x|
podemos armar, pelo Criterio de DAlembert, que se |x| < 1 a serie converge e se |x| > 1
a serie diverge; se |x| = 1 temos as series divergentes
n=0
(n + 1) e
n=0
(n + 1)(1)
n
.
Esta serie,
n=0
(n+1)x
n
, e uniformemente convergente em qualquer intervalo [r, r] se
0 < r < 1 porque |(n + 1)x
n
| (n + 1)r
n
e a serie
n=0
(n + 1)r
n
e convergente. Podemos
ent ao escrever que
_
1
1 x
_
=
_

n=0
x
n
_
n=0
(n + 1)x
n
, |x| < 1
1
(1 x)
2
=
n=0
(n + 1)x
n
, |x| < 1.
2.3 Series de potencias
Denicao 2.3.1 Seja x
0
R. Chama-se serie de potencias em x x
0
a uma serie
da forma
n=0
a
n
(x x
0
)
n
com a
n
R, n N.
NOTA: Fazendo y = x x
0
, as series de potencias podem sempre reduzir-se ` a forma
n=0
a
n
x
n
.
Teorema 2.3.1 Seja
1
lim
n
_
|a
n
|
= r. Se r R
+
, ent ao a serie de potencias
n=0
a
n
x
n
e
absolutamente convergente em cada ponto x ] r, r[ e divergente em cada ponto x
] , r[]r, +[. Se r = + ent ao a serie de potencias e absolutamente convergente
para todo o x R. Se r = 0, a serie converge se x = 0 e diverge se x = 0.
Demonstra c ao: Consideremos a serie
n=0
|a
n
x
n
|. Tendo em conta que
lim
n
_
|a
n
x
n
| = |x| lim
n
_
|a
n
|,
temos, pelo Corol ario 1 do Criterio da Raiz, que, se |x| lim
n
_
|a
n
| < 1 (isto e, se |x| < r),
a serie converge, ou seja, a serie
n=0
a
n
x
n
converge absolutamente.
Se |x| lim
n
_
|a
n
| > 1 (isto e, se |x| > r) ent ao, pelo raciocnio usado no Corol ario 1 do
Criterio da Raiz, existe uma subsucess ao de |a
n
x
n
| que toma valores maiores ou iguais a
1, o que implica que a sucess ao |a
n
x
n
| n ao tende para zero, pelo que sucess ao a
n
x
n
n ao
tende para zero, donde se conclui que a serie
n=0
a
n
x
n
diverge.
Denicao 2.3.2 Nas condi c oes do Teorema 2.3.1, a r chama-se raio de convergencia
da serie e, ao intervalo ] r, r[, intervalo de convergencia.
Corolario 1 Se lim
n
a
n
a
n+1
= r R
+
ent ao o raio de convergencia da serie de potencias
e r.
n=0
(3 + (1)
n
)
n
x
n
. Sendo a
n
= (3 + (1)
n
)
n
, n ao
existe lim
a
n
a
n+1
, mas r =
1
lim
n
_
|a
n
|
=
1
4
.
2.3 Series de potencias 53
EXEMPLO 2: Calculemos o raio de convergencia da serie
n=1
x
n
n
n
:
r =
1
lim
n
_
|a
n
|
=
1
lim
n
_
1
n
n
=
1
lim
1
n
= +.
A serie tem raio de convergencia innito, isto e, a serie e absolutamente convergente
x R.
EXEMPLO 3: A serie
n=0
n! x
n
tem raio de convergencia r = 0:
r = lim
a
n
a
n+1
= lim
n!
(n + 1)!
= lim
1
n + 1
= 0,
isto e, a serie s o converge em x = 0.
n=1
x
n
n
. Tendo em conta que
r = lim
a
n
a
n+1
= lim
1
n
1
n + 1
= lim
n + 1
n
= 1
podemos armar que o intervalo de convergencia da serie e ] 1, 1[: a serie converge
absolutamente no intervalo ] 1, 1[ e diverge em ] , 1[]1, +[.
n=0
(1)
n
(x + 1)
n
2
n
. Seja y = x + 1. A serie
n=0
(1)
n
y
n
2
n
tem raio de convergencia
r = lim
a
n
a
n+1
= lim
(1)
n
2
n
(1)
n+1
2
n+1
= 2.
Ent ao a serie converge absolutamente se y ] 2, 2[, isto e, se x ] 3, 1[, e diverge
se x ] , 3[]1, +[.
NOTA: O teorema anterior n ao diz nada sobre a natureza da serie de potencias nos
extremos do intervalo de convergencia, ] r, r[, r R
+
. Pode acontecer que a serie seja
convergente nos dois extremos, convergente num e divergente no outro, ou divergente nos
dois. Teremos sempre de estudar os casos x = r e x = r.
No caso do Exemplo 4, o intervalo de convergencia e ] 1, 1[:
Se x = 1, obtemos a serie
n=1
(1)
n
n
que e convergente.
n=1
1
n
que e divergente.
Conclumos que a serie converge no intervalo [1, 1[ e diverge em ] , 1[[1, +[.
Teorema 2.3.2 Se o raio de convergencia da serie
n=0
a
n
x
n
e r > 0 e se 0 < < r
ent ao a serie e uniformemente convergente em [, ].
Demonstra c ao: Por hip otese, |a
n
x
n
| |a
n
|
n
, x [, ]. A serie
n=0
|a
n
|
n
e uma
serie numerica convergente, pois
lim
n
_
|a
n
|
n
= lim
n
_
|a
n
| =
1
r
<
1
= 1.
Ent ao, pelo Criterio de Weierstrass, a serie
n=0
a
n
x
n
e uniformemente convergente em
[, ].
Corolario 1 Toda a serie de potencias e uniformemente convergente em qualquer inter-
valo fechado [a, b] contido no seu intervalo de convergencia e tem-se:
_
b
a
n=0
a
n
x
n
dx =
n=0
a
n
b
n+1
a
n+1
n + 1
.
Demonstra c ao: Se [a, b] ] r, r[ ent ao existe > 0 tal que [a, b] [, ] ] r, r[.
Pelo teorema, a serie e uniformemente convergente em [, ] e se-lo- a tambem em [a, b].
Ent ao podemos integrar a serie termo a termo em [a, b]:
_
b
a
n=0
a
n
x
n
dx =
n=0
_
b
a
a
n
x
n
dx =
n=0
a
n
_
b
a
x
n
dx =
n=0
a
n
b
n+1
a
n+1
n + 1
.
Teorema 2.3.3 Toda a serie de potencias de raio de convergencia r > 0 e derivavel
termo a termo no intervalo de convergencia, isto e,
_

n=0
a
n
x
n
_
n=1
na
n
x
n1
, x ] r, r[.
Demonstra c ao: Vimos no Corol ario 2 do Teorema 2.2.4 condi c oes sucientes para que
uma serie de fun c oes
u
n
(x) seja deriv avel termo a termo:
u
n
(x) pontualmente convergente em [a, b];
u
n
contnua em [a, b], n N;
(u
n
(x))
uniformemente convergente em [a, b].

Consideremos a serie
a
n
x
n
:
e pontualmente convergente em ] r, r[;
(a
n
x
n
)
= na
n
x
n1
s ao contnuas em ] r, r[, n N;
na
n
x
n1
e uma serie de potencias cujo raio de convergencia e r:
1
lim
n
_
|na
n
|
=
1
lim
n
n
n
_
|a
n
|
=
1
lim
n
_
|a
n
|
= r,
portanto, e uniformemente convergente em [a, b] ] r, r[.
Assim,
_

n=0
a
n
x
n
_
n=0
na
n
x
n1
, x ] r, r[.
NOTA: Se a serie de potencias
a
n
x
n
tem raio de convergencia r, ent ao a serie das
derivadas tem o mesmo raio de convergencia r, assim como a serie das primitivas.
n=0
(1)
n
x
2n+1
(2n + 1)!
. Seja y = x
2
e estudemos a serie
n=0
(1)
n
y
n
(2n + 1)!
.
lim
(1)
n
(2n + 1)!
(1)
n+1
(2n + 3)!
= lim
(2n + 3)!
(2n + 1)!
= lim (2n + 3)(2n + 2) = +
portanto, a serie e absolutamente convergente y R
+
0
, sendo a serie em estudo absolu-
tamente convergente x R.
EXEMPLO 7: Calculemos
_
1
0
f(x) dx sendo f(x) =
n=0
(1)
n
x
2n
(2n)!
. Seja y = x
2
. A serie
n=0
(1)
n
y
n
(2n)!
tem raio de convergencia innito:
r = lim
(1)
n
(2n)!
(1)
n+1
(2n + 2)!
= lim
(2n + 2)!
(2n)!
= lim (2n + 2)(2n + 1) = +,
o que implica que a serie dada converge x R. Ser a ent ao uniformemente convergente
em [0, 1] e integr avel termo a termo nesse intervalo:
_
1
0
n=0
(1)
n
x
2n
(2n)!
dx =
n=0
_
1
0
(1)
n
x
2n
(2n)!
dx
=
n=0
(1)
n
1
(2n)!
_
x
2n+1
2n + 1
_
1
0
=
n=0
(1)
n
(2n + 1)!
.
n=1
(1)
n+1
(x 5)
n
n5
n
. Seja y = x 5. A serie
n=1
(1)
n+1
y
n
n5
n
tem raio de convergencia
r = lim
(1)
n+1
n5
n
(1)
n+2
(n + 1) 5
n+1
= lim
(n + 1) 5
n+1
n5
n
= 5,
o que implica a convergencia absoluta da serie dada no intervalo ]0, 10[.
n=1
1
n
que e divergente.
n=1
(1)
n+1
n
que e convergente.
Conclumos que a serie
n=1
(1)
n+1
(x 5)
n
n5
n
converge no intervalo ]0, 10] e diverge em
] , 0]]10, +[.
A serie das derivadas e a serie
_

n=1
(1)
n+1
(x 5)
n
n5
n
_
n=1
(1)
n+1
n
(x 5)
n1
n5
n
=
n=1
(1)
n+1
(x 5)
n1
5
n
O intervalo de convergencia desta serie e ]0, 10[.
n=1
1
5
que e divergente.
n=1
(1)
n+1
5
que e divergente.
2.4 Serie de Taylor e serie de MacLaurin
Sejam I um intervalo e f : I R R uma fun c ao de classe C
n
em I. Seja x
0
I.
Sabemos que
f(x) = f(x
0
) + f
(x
0
)(x x
0
) + f
(x
0
)
(x x
0
)
2
2!
+ + f
(n1)
(x
0
)
(x x
0
)
n1
(n 1)!
+ R
n
(x),
onde R
n
(x) = f
(n)
(x
0
+ (x x
0
))
(x x
0
)
n
n!
, sendo 0 < < 1.

E a f ormula de Taylor de
f, de ordem n, com resto de Lagrange, em torno do ponto x
0
.
Suponhamos que f C
(I). Chama-se serie de Taylor de f em x

0
` a serie de
potencias
n=0
f
(n)
(x
0
)
n!
(x x
0
)
n
.
Se x
0
= 0 I, a serie de Taylor designa-se por serie de MacLaurin e escreve-se
n=0
f
(n)
(0)
n!
x
n
.
EXEMPLO 1: Determinemos a serie de MacLaurin de f(x) = sen(x). Sabemos que
f C
(R) e f
(n)
(x) = sen(x +
n
2
). Ent ao f
(n)
(0) = sen
_
n
2
_
e, portanto, a serie de
MacLaurin de f e
x
x
3
3!
+
x
5
5!

x
7
7!
+ =
n=0
(1)
n
x
2n+1
(2n + 1)!
Vimos, num exemplo anterior, que esta serie converge x R.
EXEMPLO 2: Consideremos a fun c ao f(x) = (1 + x)
, R, x > 1. Esta fun c ao e

de classe C
no seu domnio e f
(n)
(x) = ( 1) . . . ( n + 1)(1 + x)
n
. Portanto,
f
(n)
(0) = ( 1) . . . ( n + 1) e a sua serie de MacLaurin e
1 + x +
( 1)
2!
x
2
+
( 1)( 2)
3!
x
3
+ +
( 1) . . . ( n + 1)
n!
x
n
+ ,
isto e,
1 +
n=1
( 1) . . . ( n + 1)
n!
x
n
.
Se N
0
a serie reduz-se ao desenvolvimento do bin omio de Newton. Suponhamos
que N
0
e estudemos a convergencia da serie. O raio de convergencia e
lim
( 1) . . . ( n + 1)
n!
( 1) . . . ( n + 1)( n)
(n + 1)!
= lim
(n + 1)!
n!
1
| n|
= lim
n + 1
| n|
= 1.
2.4 Serie de Taylor e serie de MacLaurin 59
Ent ao a serie converge absolutamente em ] 1, 1[ e diverge em ] , 1[]1, +[.
Esta serie designa-se, habitualmente, por serie binomial.
A quest ao fundamental no desenvolvimento em serie de Taylor de uma fun c ao inde-
nidamente diferenci avel e a seguinte:
Existe uma vizinhan ca V de x
0
tal que
f(x) = f(x
0
) + f
(x
0
)(x x
0
) + f
(x
0
)
(x x
0
)
2
2!
+ + f
(n1)
(x
0
)
(x x
0
)
n1
(n 1)!
+
x V , isto e, a serie de Taylor de f em x
0
e convergente para todo o x V e a sua
soma e igual a f(x)?
Na realidade, a mera existencia das derivadas f
(n)
(x
0
) para todos os valores naturais
de n, embora permita escrever a serie de Taylor de f no ponto x
0
, n ao garante que, em
alguma vizinhan ca de x
0
, seja vericada a igualdade:
f(x) =
n=0
f
(n)
(x
0
)
n!
(x x
0
)
n
(2.1)
como se pode ver no exemplo seguinte:
EXEMPLO 3: Consideremos a fun c ao
f(x) =
_
_
e
1
x
2
, se x = 0
0, se x = 0
Como f
(n)
(0) = 0, n N, a serie de MacLaurin de f e a serie
0 + 0x + 0x
2
+ ,
que converge para a fun c ao nula em R. Portanto, f n ao e a soma da serie em nenhum
ponto, excepto em 0, dado que f(x) = 0 se x = 0.
Que condi c oes suplementares devem ser impostas a uma fun c ao f, suposta indenida-
mente diferenci avel numa vizinhan ca de x
0
, para que que garantida a igualdade (2.1)?
A considera c ao da f ormula de Taylor de f permite responder de forma simples a esta
quest ao. De facto, sendo S
n
(x) a soma dos n primeiros termos da serie de Taylor de f
em x
0
I, tem-se
R
n
(x) = f(x) S
n
(x),
vericando-se o seguinte resultado:
Teorema 2.4.1

E condi c ao necessaria e suciente para que a fun c ao indenidamente
diferenciavel, f : I R, seja soma da sua serie de Taylor numa vizinhan ca, V , de
x
0
I, que
lim
n+
R
n
(x) = 0, x V.
Na pr atica utilizam-se condi c oes sucientes:
Teorema 2.4.2 Seja f : I R uma fun c ao indenidamente diferenciavel e suponhamos
que existem constantes M, k 0 tais que, numa vizinhan ca, V , de x
0
, se verica
f
(n)
(x)
Mk
n
, x V, n N.
Ent ao f e soma da sua serie de Taylor em V .
Demonstra c ao: Sabemos que a express ao do resto de Lagrange, R
n
(x), e
R
n
(x) = f
(n)
(x
0
+ (x x
0
))
(x x
0
)
n
n!
, 0 < < 1.
Ent ao
|R
n
(x)| M
(k|x x
0
|)
n
n!
, x V ;
como a serie de termo geral
(k|x x
0
|)
n
n!
e convergente, esta sucess ao tem limite 0, sendo
o resultado pretendido uma consequencia imediata do Teorema 2.4.1.
Corolario 1 Se existe M 0 tal que em V se tenha
f
(n)
(x)
M x V, n N,
ent ao f e soma da sua serie de Taylor em V .
EXEMPLO 4: Consideremos a fun c ao f(x) = sen(x). Conclumos no Exemplo 1 que a
sua serie de MacLaurin converge absolutamente em R. Sabemos que
R
n
(x) =
sen
_
x +
n
2
_
n!
x
n
, 0 < < 1,
donde
0 |R
n
(x)| =
|sen
_
x +
n
2
_
|
n!
|x|
n
|x|
n
n!
.
Mas lim
n+
|x|
n
n!
= 0, x R, por se tratar do termo geral de uma serie convergente, o que
implica que
sen(x) =
n=0
(1)
n
x
2n+1
(2n + 1)!
, x R.
EXEMPLO 5: Se f(x) = e
x
obtemos f
(n)
(x) = e
x
, n N. Ent ao o seu desenvolvimento
em serie de MacLaurin e
n=0
f
(n)
(0)
n!
x
n
=
n=0
x
n
n!
.
Sabemos que esta serie e absolutamente convergente em R denindo uma fun c ao g em R.
Provemos que f(x) = g(x), x R. Para isso, vamos demonstrar que o resto de Lagrange
da f ormula de MacLaurin da fun c ao f tende para 0 em R.
R
n
(x) =
f
(n)
(x)
n!
x
n
=
e
x
n!
x
n
, 0 < < 1,
o que implica que, tendo em conta que e
x
e
x
pois e
x
e uma fun c ao crescente,
0 |R
n
(x)|
e
|x|
n!
|x|
n
.
Mas a serie de termo geral
e
|x|
n!
|x|
n
e uma serie convergente, x R, portanto,
lim
n+
e
|x|
n!
|x|
n
= 0, x R,
o que nos permite concluir que
e
x
=
n=0
x
n
n!
, x R.
Nos dois primeiros exemplos, os desenvolvimentos em serie de MacLaurin foram obti-
dos recorrendo directamente ` a f ormula
f(0) + f
(0) x +
f
(0)
2!
x
2
+
na qual se substituram os valores das sucessivas derivadas da fun c ao considerada. Dado
que este processo e bastante trabalhoso, raramente se recorre a ele na pr atica, preferindo-se
o recurso a certos desenvolvimentos j a conhecidos e tendo em conta o seguinte resultado:
Teorema 2.4.3 Toda a serie de potencias de x x
0
e a serie de Taylor (em torno de
x
0
) da fun c ao por ela denida. Em particular, o desenvolvimento em serie de potencias
de x x
0
e unico.
Demonstra c ao: Por hip otese,
f(x) =
n=0
a
n
(x x
0
)
n
numa vizinhan ca V de x
0
, o que implica que f(x
0
) = a
0
. Derivando,
f
(x) =
n=1
na
n
(x x
0
)
n1
e, portanto, f
(x
0
) = a
1
. A derivada de ordem n e
f
(n)
(x) = n!a
n
+ (n + 1) . . . 2a
n+1
(x x
0
) + (n + 2)(n + 1) . . . 3a
n+2
(x x
0
)
2
+
donde se deduz que f
(n)
(x
0
) = n!a
n
, n N. Conclumos, assim, que
a
n
=
f
(n)
(x
0
)
n!
, n N.
EXEMPLO 6: Consideremos a fun c ao f(x) =
1
2 + 3x
. Tendo em conta que
1
2 + 3x
=
1
2

1
1 (
3
2
x)
e que
1
1 x
=
n=0
x
n
, x ] 1, 1[
podemos concluir que
1
2

1
1 (
3
2
x)
=
1
2
n=0
_
3
2
x
_
n
igualdade v alida desde que
3
2
x
< 1, isto e, |x| <

2
3
.
Ent ao a serie de MacLaurin de f e
n=0
(1)
n
3
n
2
n+1
x
n
, |x| <
2
3
.
EXEMPLO 7: Seja f(x) =
1
x
2
x 6
. Tendo em conta que x
2
x 6 = (x 3)(x + 2)
vem
f(x) =
1
5
_
1
x 3

1
x + 2
_
=
1
5
_
_
1
3

1
1
x
3
1
2

1
1
_
x
2
_
_
_
.
Sabendo que
1
1
x
3
=
n=0
_
x
3
_
n
, |x| < 3
e
1
1 (
x
2
)
=
n=0
_
x
2
_
n
=
n=0
(1)
n
_
x
2
_
n
, |x| < 2
podemos escrever a serie de MacLaurin de f, tendo-se:
f(x) =
1
5
_
1
3
n=0
_
x
3
_
n
1
2
n=0
(1)
n
_
x
2
_
n
_
=
n=0
1
5
_
(1)
n+1
2
n+1

1
3
n+1
_
x
n
, |x| < 2.
EXEMPLO 8: No Exemplo 2 desenvolvemos a fun c ao f(x) = (1 + x)
, R, em serie
de MacLaurin, obtendo
1 +
n=1
( 1) . . . ( n + 1)
n!
x
n
,
convergente no intervalo ] 1, 1[. Seja
g(x) = 1 +
n=1
( 1) . . . ( n + 1)
n!
x
n
, |x| < 1.
Provemos que f(x) = g(x), x ] 1, [1, isto e, f e a soma da sua serie de MacLaurin
naquele intervalo.
Sendo uma serie de potencias, e deriv avel termo a termo no intervalo de convergencia.
Obtemos
g
(x) =
n=1
( 1) . . . ( n + 1)
(n 1)!
x
n1
,
e multiplicando por x
xg
(x) =
n=1
( 1) . . . ( n + 1)
(n 1)!
x
n
.
Ent ao
g
(x) + xg
(x) =
n=1
( 1) . . . ( n + 1)
(n 1)!
x
n1
+
n=1
( 1) . . . ( n + 1)
(n 1)!
x
n
=
n=0
( 1) . . . ( n)
n!
x
n
+
n=1
( 1) . . . ( n + 1)
(n 1)!
x
n
= +
n=1
_
( 1) . . . ( n)
n!
+
( 1) . . . ( n + 1)
(n 1)!
_
x
n
= +
n=1
( 1) . . . ( n + 1)
(n 1)!
_
n
n
+ 1
_
x
n
= +
n=1
( 1) . . . ( n + 1)
(n 1)!
n
x
n
=
_
1 +
n=1
( 1) . . . ( n + 1)
n!
x
n
_
= g(x)
ou seja,
(1 + x) g
(x) = g(x). (2.2)

Consideremos a fun c ao
g(x)
(1 + x)
e calculemos a sua derivada:

_
g(x)
(1 + x)
=
g
(x)(1 + x)
(1 + x)
1
g(x)
(1 + x)
2
=
(1 + x)
1
((1 + x) g
(x) g(x))
(1 + x)
2

O numerador desta frac c ao e zero por (2.2), isto e,
_
g(x)
(1 + x)
= 0
o que implica que
g(x)
(1 + x)
e uma fun c ao constante em ] 1, 1[, ou ainda, g(x) = c (1 + x)
, se for c essa constante.

Mas como g(0) = 1, obtem-se para c o valor 1 e vem g(x) = (1 + x)
, x ] 1, 1[.
Captulo 3
Noc oes Topol ogicas em R
N
3.1 Normas e metricas
Denicao 3.1.1 Seja E um espa co vectorial real. Uma aplica c ao
: E R diz-se uma norma se verica as seguintes propriedades:
1) x 0, x E,
2) x = 0 x = 0,
3) x = || x, x E, R,
4) x + y x +y, x, y E, (desigualdade triangular).
Um espa co vectorial real onde esta denida uma norma, diz-se um espa co normado.
EXEMPLO 1: Seja N 1. Se denirmos em R
N
a soma de dois elementos por
(x
1
, x
2
, . . . , x
N
) + (y
1
, y
2
, . . . , y
N
) = (x
1
+ y
1
, x
2
+ y
2
, . . . , x
N
+ y
N
)
e o produto por um escalar por
(x
1
, x
2
, . . . , x
N
) = (x
1
, x
2
, . . . , x
N
),
obtemos um espa co vectorial real.
A aplica c ao
R
N
R
x = (x
1
, x
2
, . . . , x
N
) ||x|| = |x
1
| +|x
2
| + +|x
N
|
e uma norma:
1) ||x|| = |x
1
| +|x
2
| + +|x
N
| 0, x R
N
;
2) ||x|| = 0 |x
1
| + |x
2
| + + |x
N
| = 0 |x
1
| = |x
2
| = = |x
N
| = 0 x
1
= x
2
=
= x
N
= 0 x = 0;
3) ||x|| = ||(x
1
, x
2
, . . . , x
N
)|| = ||(x
1
, x
2
, . . . , x
N
)|| = |x
1
| + |x
2
| + + |x
N
| =
|||x
1
| +|||x
2
| + +|||x
N
| = ||(|x
1
| +|x
2
| + +|x
N
|) = || ||x||, R, x R
N
;
66 3. No c oes Topol ogicas em R
N
4) ||x + y|| = ||(x
1
, x
2
, . . . , x
N
) + (y
1
, y
2
, . . . , y
N
)|| = ||(x
1
+ y
1
, x
2
+ y
2
, . . . , x
N
+ y
N
)|| =
|x
1
+ y
1
| + |x
2
+ y
2
| + . . . , +|x
N
+ y
N
| |x
1
| + |y
1
| + |x
2
| + |y
2
| + . . . , +|x
N
| + |y
N
| =
|x
1
| +|x
2
| + +|x
N
| +|y
1
| +|y
2
| + +|y
N
| = ||x|| +||y||, x, y R
N
.
EXEMPLO 2: Em R
N
, com a soma e o produto por um escalar denidos da maneira
habitual (ver Exemplo 1) a aplica c ao
R
N
R
x = (x
1
, x
2
, . . . , x
N
) ||x|| = max{|x
1
|, |x
2
|, . . . , |x
N
|}
e uma norma:
1) ||x|| = max{|x
1
|, |x
2
|, . . . , |x
N
|} 0, x R
N
;
2) 0 = ||x|| = max{|x
1
|, |x
2
|, . . . , |x
N
|} x
1
= x
2
= = x
N
= 0 x = 0;
3) ||x|| = max{|x
1
|, |x
2
|, . . . , |x
N
|} = max{|| |x
1
|, || |x
2
|, . . . , || |x
N
|} =
= || max{|x
1
|, |x
2
|, . . . , |x
N
|} = ||x||, x R
N
, R;
4) ||x+y|| = max{|x
1
+y
1
|, |x
2
+y
2
|, . . . , |x
N
+y
N
|} max{|x
1
|+|y
1
|, |x
2
|+|y
2
|, . . . , |x
N
|+
|y
N
|} max{|x
1
|, |x
2
|, . . . , |x
N
|} + max{|y
1
|, |y
2
|, . . . , |y
N
|} = ||x|| +||y||, x, y R
N
.
EXEMPLO 3: Em R
N
, com a soma e o produto por um escalar denidos da maneira
habitual (ver Exemplo 1), se p > 1, a aplica c ao
R
N
R
x = (x
1
, x
2
, . . . , x
N
) ||x||
p
=
_
N
i=1
|x
i
|
p
_1
p
e uma norma:
1) ||x||
p
=
_
N
i=1
|x
i
|
p
_
1
p
0, x R
N
;
2) ||x||
p
= 0 ||x||
p
=
_
N
i=1
|x
i
|
p
_
1
p
= 0
N
i=1
|x
i
|
p
= 0 |x
1
|
p
= = |x
N
|
p
= 0
x
1
= x
2
= = x
N
= 0 x = 0;
3) ||x||
p
=
_
N
i=1
|x
i
|
p
_
1
p
=
_
N
i=1
||
p
|x
i
|
p
_
1
p
=
_
||
p
N
i=1
|x
i
|
p
_
1
p
= ||
_
N
i=1
|x
i
|
p
_
1
p
= || ||x||
p
, x R
N
, R.
4) Dado que a demonstra c ao da desigualdade triangular e muito extensa, vamos usar dois
resultados intermedios (Lemas 1 e 2), para uma melhor compreens ao.
3.1 Normas e metricas 67
Lema 1 Se p > 1, q > 1 s ao tais que
1
p
+
1
q
= 1, se a 0 e b 0, ent ao
a
1/p
b
1/q
a
p
+
b
q
.
Demonstra c ao: Se a = 0 ou b = 0, a desigualdade e evidente. Suponhamos que a e b s ao
ambos positivos. Sejam k ]0, 1[ e f : [1, +[ R a fun c ao f(t) = k(t1)t
k
+1. Como
f(1) = 0 e f
(t) 0, t [1, +[, ent ao f(t) 0, t [1, +[, pelo que t

k
kt + 1 k.
Se a b, tomando t = a/b ( 1) e k = 1/p, obtemos
a
1/p
b
1/p

1
p
a
b
+ 1
1
p
=
1
p
a
b
+
1
q
,
donde
a
1/p
b b
1/p
= a
1/p
b
11/p
= a
1/p
b
1/q
a
p
+
b
q
.
Se a < b, tomando t = b/a (> 1) e k = 1/q, obtemos
b
1/q
a
1/q

1
q
b
a
+ 1
1
q
=
1
q
b
a
+
1
p
,
pelo que
a
1/q
a b
1/q
= a
11/q
b
1/q
= a
1/p
b
1/q
b
q
+
a
p
.
Lema 2 (Desigualdade de H older) Se p > 1, q > 1 s ao tais que
1
p
+
1
q
= 1, ent ao
x, y R
N
,
N
i=1
|x
i
y
i
| ||x||
p
||y||
q
=
_
N
i=1
|x
i
|
p
_
1/p
_
N
i=1
|y
i
|
q
_
1/q
.
Demonstra c ao: Se x = 0 ou y = 0, a desigualdade e evidente (
N
i=1
|x
i
y
i
| = 0).
Supondo que x = 0 e y = 0 sejam, para cada i, a
i
=
|x
i
|
p
N
i=1
|x
i
|
p
=
|x
i
|
p
||x||
p
p
e
b
i
=
|y
i
|
q
N
i=1
|y
i
|
q
=
|y
i
|
q
||y||
q
q
. Note-se que
N
i=1
a
i
=
N
i=1
b
i
= 1 e, pelo Lema 1,
|x
i
y
i
|
||x||
p
||y||
q
= a
1/p
i
b
1/q
i

a
i
p
+
b
i
q
.
Ent ao
N
i=1
|x
i
y
i
|
||x||
p
||y||
q
=
N
i=1
|x
i
y
i
|
||x||
p
||y||
q
i=1
_
a
i
p
+
b
i
q
_
=
N
i=1
a
i
p
+
N
i=1
b
i
q
=
1
p
+
1
q
= 1.
N
Estamos agora em condi c oes de demonstrar a desigualdade triangular (tambem co-
nhecida, neste caso, por desigualdade de Minkowski):
||x + y||
p
p
=
N
i=1
|x
i
+ y
i
|
p
=
N
i=1
|x
i
+ y
i
| |x
i
+ y
i
|
p1
i=1
(|x
i
| +|y
i
|) |x
i
+ y
i
|
p1
=
N
i=1
|x
i
| |x
i
+ y
i
|
p1
+
N
i=1
|y
i
| |x
i
+ y
i
|
p1
_
N
i=1
|x
i
|
p
_
1/p
_
N
i=1
|x
i
+ y
i
|
(p1)q
_
1/q
+
_
N
i=1
|y
i
|
p
_
1/p
_
N
i=1
|x
i
+ y
i
|
(p1)q
_
1/q
= (||x||
p
+||y||
p
)
_
N
i=1
|x
i
+ y
i
|
(p1)q
_
1/q
= (||x||
p
+||y||
p
) ||x + y||
p/q
p
,
pelo que,
||x + y||
p
p
||x + y||
p/q
p
= ||x + y||
pp/q
p
= ||x + y||
p
||x||
p
+||y||
p
EXEMPLO 4: Em C([0, 1]), conjunto das fun c oes contnuas em [0, 1], com a soma e o
produto por um escalar denidos da maneira habitual, a aplica c ao
C([0, 1]) R
f ||f|| = max
x[0,1]
|f(x)|
e uma norma:
1) ||f|| = max
x[0,1]
|f(x)| 0, f C([0, 1]);
2) ||f|| = 0 max
x[0,1]
|f(x)| = 0 |f(x)| = 0, x [0, 1] f = 0;
3) ||f|| = max
x[0,1]
|f(x)| = max
x[0,1]
(|| |f(x)|) = || max
x[0,1]
|f(x)| = || ||f||, R, f
C([0, 1]);
4) ||f + g|| = max
x[0,1]
|f(x) + g(x)| max
x[0,1]
(|f(x)| +|g(x)|) max
x[0,1]
|f(x)| + max
x[0,1]
|g(x)| =
||f|| +||g||, f, g C([0, 1]).
EXEMPLO 5: Em C([0, 1]), conjunto das fun c oes contnuas em [0, 1], com a soma e o
produto por um escalar denidos da maneira habitual, a aplica c ao
C([0, 1]) R
f ||f|| =
_
1
0
|f(x)| dx
e uma norma:
1) ||f|| =
_
1
0
|f(x)| dx 0, f C([0, 1]);
2) ||f|| = 0
_
1
0
|f(x)| dx = 0 |f(x)| = 0, x [0, 1] f = 0;
3) ||f|| =
_
1
0
|f(x)| dx =
_
1
0
|| |f(x)| dx = ||
_
1
0
|f(x)| dx = || ||f||, R, f
C([0, 1]);
4) ||f + g|| =
_
1
0
|f(x) + g(x)| dx
_
1
0
(|f(x)| +|g(x)|) dx =
_
1
0
|f(x)| dx +
_
1
0
|g(x)| dx
= ||f|| +||g||, f, g C([0, 1]).
EXEMPLO 6: Seja E um espa co vectorial real. Chama-se produto interno em E a uma
aplica c ao
E E R
(x, y) x y
tal que
i ) x x 0, x E;
ii ) x x = 0 x = 0;
iii ) x y = y x, x, y E;
iv) (x) y = (x y), R, x, y E;
v) (x + y) z = x z + y z, x, y, z E.
Se em E estiver denido um produto interno ent ao
|x y|
x x

y y, x, y E (desigualdade de Cauchy-Schwarz).
Passamos a demonstrar esta desigualdade. Sejam x, y E, quaisquer. Consideremos a
fun c ao f : R R dada por f(t) = (x+ty) (x+ty); por iii ), iv) e v), f(t) = x x+2t(x
y) + t
2
(y y); por i ), f(t) 0, t R pelo que (note-se que At
2
+ Bt + C 0 t R
e equivalente a dizer que At
2
+ Bt + C = 0 ou n ao tem razes reais ou tem apenas uma,
isto e, B
2
4AC 0): 4(x y)
2
4 (x x) (y y) 0 isto e, (x y)
2
(x x) (y y), donde
se deduz a desigualdade de Cauchy-Schwarz.
Se em E estiver denido um produto interno ent ao a aplica c ao
E R
x ||x|| =

x x
e uma norma (que se diz a norma induzida pelo produto interno):
A aplica c ao est a bem denida porque, por i ), x x 0, x E;
1) ||x|| =

x x 0, x E;
N
2) ||x|| = 0

x x = 0 x x = 0 x = 0 (por ii ));
3) ||x|| =
_
(x) (x) =
_
2
(x x) = ||
x x = || ||x||, R, x, y E;
4) ||x + y||
2
= (x + y) (x + y) = x x + 2 x y + y y x x + 2
x x
y y + y y =
_
x x +
y y
_
2
= (||x|| +||y||)
2
, x, y E, pelo que ||x+y|| ||x|| +||y||, x, y E.
Vejamos alguns exemplos:
Consideremos o espa co C([0, 1]), denido atr as. A aplica c ao
C([0, 1]) C([0, 1]) R
(f, g) f g =
_
1
0
f(x) g(x) dx
e um produto interno. Pelo que acab amos de expor, a aplica c ao
C([0, 1]) R
f ||f|| =
_
1
0
(f(x))
2
dx
e uma norma.
Em R
N
, dene-se um produto interno do seguinte modo:
x y =
N
i=1
x
i
y
i
;
daqui resulta que a aplica c ao
R
N
R
x ||x|| =
_
N
i=1
(x
i
)
2
e uma norma (denominada norma euclidiana).
Denicao 3.1.2 Seja E um conjunto n ao vazio. Chama-se dist ancia (ou metrica) a
uma aplica c ao d : E E R tal que:
1) d(x, y) = 0 x = y,
2) d(x, y) = d(y, x), x, y E, (simetria)
3) d(x, y) d(x, z) + d(z, y), x, y, z E, (desigualdade triangular).
A um conjunto E onde esta denida uma dist ancia chama-se um espa co metrico.
NOTA: A dist ancia e uma aplica c ao n ao negativa:
0 = d(x, x) d(x, y) +d(y, x) = d(x, y) +d(x, y) = 2 d(x, y), pelo que d(x, y) 0, x, y
E.
Teorema 3.1.1 Seja E um espa co vectorial normado, com a norma . Ent ao a apli-
ca c ao d : EE R denida por d(x, y) = xy e uma dist ancia (que se diz a metrica
induzida pela norma).
Demonstra c ao: 1) d(x, y) = 0 ||x y|| = 0 x y = 0 x = y;
2) d(x, y) = ||x y|| = ||(1)(y x)|| = | 1| ||y x|| = ||y x||, x, y E;
3) d(x, y) = ||xy|| = ||xz +z y|| ||xz|| +||z y|| = d(x, z)+d(z, y), x, y, z E.
Tendo em conta as normas estudadas atr as, em C([0, 1]) podemos denir as dist ancias:
d(f, g) = max
x[0,1]
|f(x) g(x)|;
d(f, g) =
_
1
0
|f(x) g(x)| dx;
d(f, g) =
_
1
0
(f(x) g(x))
2
dx;
em R
N
, podemos denir as dist ancias:
d(x, y) =
N
i=1
|x
i
y
i
|;
d(x, y) = max
1iN
|x
i
y
i
|;
se p > 1,
d(x, y) =
p
_
N
i=1
|x
i
y
i
|
p
.
H a metricas que n ao s ao induzidas por normas. A aplica c ao
R R R
(x, y) d(x, y) = |e
x
e
y
|
e uma dist ancia:
1) d(x, y) = 0 |e
x
e
y
| = 0 e
x
= e
y
x = y;
2) d(x, y) = |e
x
e
y
| = |e
y
e
x
| = d(y, x);
3) d(x, y) = |e
x
e
y
| = |e
x
e
z
+e
z
e
y
| |e
x
e
z
|+|e
z
e
y
| = d(x, z)+d(z, y), x, y, z R
No entanto, n ao existe nenhuma norma tal que ||x y|| = d(x, y): se existisse tal
norma, ent ao ||x|| = d(x, 0), pelo que ||x|| = d(x, 0) = |e
x
1|; por outro lado,
|| ||x|| = || d(x, 0) = || |e
x
1| e, em geral, ||x|| = || ||x||.
N
3.2 Noc oes topol ogicas em R
N
Em R
N
considera-se a norma euclidiana x =
_
N
i=1
(x
i
)
2
Denicao 3.2.1 Dados a R
N
e > 0, chama-se bola aberta de centro a e raio ao
conjunto B
(a) = {x R
N
: xa < }. Ao conjunto B
(a) = {x R
N
: xa }
chama-se bola fechada de centro a e raio .
EXEMPLO 1: Em R,
B
(a) = {x R : |x a| < } = {x R : a < x < a + } =]a , a + [.

A bola aberta de centro a e raio e o intervalo ]a , a + [.
EXEMPLO 2: Em R
2
,
B
(a, b) = {(x, y) R
2
: ||(x, y) (a, b)|| < } = {(x, y) R
2
: ||(x a, y b)|| < } =
{(x, y) R
2
:
_
(x a)
2
+ (y b)
2
< } = {(x, y) R
2
: (x a)
2
+ (y b)
2
<
2
}
A bola aberta de centro (a, b) e raio e o interior do crculo de centro (a, b) e raio .
EXEMPLO 3: Em R
3
,
B
(a, b, c) = {(x, y, z) R
3
: ||(x, y, z) (a, b, c)|| < } =
{(x, y, z) R
3
: (x a)
2
+ (y b)
2
+ (z c)
2
<
2
}
A bola aberta de centro (a, b, c) e raio e o interior da esfera de centro (a, b, c) e raio .
Denicao 3.2.2 Chama-se vizinhan ca de a R
N
a uma bola aberta de centro a e raio
> 0.
A partir da no c ao de vizinhan ca, introduzem-se as no c oes topol ogicas.
Denicao 3.2.3 Sejam C R
N
e a R
N
.
a) Diz-se que a e interior a C se existir uma vizinhan ca de a contida em C. Ao conjunto
dos pontos interiores a C chama-se interior de C e representa-se por int(C).
b) Diz-se que a e exterior a C se e interior ao complementar de C, isto e, se existir uma
vizinhan ca de a que n ao intersecta C. Ao conjunto dos pontos exteriores a C chama-se
exterior de C e representa-se por ext(C).
c) Diz-se que a e fronteiro a C se qualquer vizinhan ca de a intersecta C e o seu comple-
mentar. Ao conjunto dos pontos fronteiros a C chama-se fronteira de C e representa-se
por fr(C).
d) Chama-se fecho ou aderencia de C ao conjunto C = C fr(C).
N
73
NOTA: A partir das deni c oes conclui-se imediatamente que C = C fr(C) = int(C)
fr(C).
Das deni c oes tambem se conclui facilmente:
Teorema 3.2.1 Seja C R
N
. Ent ao:
int(C)ext(C)fr(C) = R
N
;
int(C)ext(C) = int(C)fr(C) = ext(C)fr(C) = .
EXEMPLO 1: Seja A = {(x, y) R
2
: 0 < y 1}. Ent ao:
int(A) = {(x, y) R
2
: 0 < y < 1},
fr(A) = {(x, y) R
2
: y = 0 y = 1},
ext(A) = {(x, y) R
2
: y < 0 y > 1}.
EXEMPLO 2: Seja B = {(x, y) R
2
: x 0 y 0 y x + 1}. Ent ao:
int(B) = {(x, y) R
2
: x > 0 y > 0 y < x + 1},
fr(B) = {(x, y) R
2
: (x = 0 0 y 1) (y = 0 0 x 1) (y = x + 1 0
x 1)},
ext(B) = {(x, y) R
2
: x < 0 y < 0 y > x + 1}.
EXEMPLO 3: Seja C = {(x, y) R
2
:
x
2
4
+
y
2
9
< 1}. Ent ao:
int(C) = C,
fr(C) = {(x, y) R
2
:
x
2
4
+
y
2
9
= 1},
ext(C) = {(x, y) R
2
:
x
2
4
+
y
2
9
> 1}
Denicao 3.2.4 Um conjunto C diz-se aberto se int(C) = C. Um conjunto C diz-se
fechado se C = C
NOTA 1: C e fechado se, e s o se, fr(C) C:
De facto, se C = C = Cfr(C) ent ao fr(C) C; se fr(C) C, ent ao C = Cfr(C) = C.
NOTA 2: C e aberto se, e s o se, fr(C) C = :
Se C = int(C), ent ao fr(C)C = fr(C) int(C) = (pelo Teorema 3.2.1); se fr(C)C = ,
como x C x int(C) x fr(C), ent ao x C x int(C), isto e, C e aberto.
NOTA 3: C e aberto se, e s o se, R
N
\ C e fechado:
Se C e aberto, ent ao fr(C) C = , pelo que fr(C) = fr(R
N
\ C) (R
N
\ C) e concluimos
que R
N
\C e fechado; reciprocamente, se R
N
\C e fechado, fr(R
N
\C) = fr(C) (R
N
\C),
donde fr(C) C = , o que implica que C e aberto.
NOTA 4: C e fechado se, e s o se, R
N
\ C e aberto:
Pela Nota 3, R
N
\ C e aberto se, e s o se, R
N
\ (R
N
\ C) = C e fechado.
N
EXEMPLOS: O conjunto C = {(x, y) R
2
:
x
2
4
+
y
2
9
< 1} e aberto; o conjunto B =
{(x, y) R
2
: x 0 y 0 y x + 1} e fechado; o conjunto A = {(x, y) R
2
: 0 <
y 1} n ao e aberto nem fechado.
Teorema 3.2.2 A intersec c ao de um n umero nito de conjuntos abertos e um conjunto
aberto.
Demonstra c ao: Sejam A
1
, A
2
, . . . , A
m
conjuntos abertos, A =
m
i=1
A
i
. Se A = , A
e aberto. Se A = , seja x A, isto e, x A
i
, i = 1, . . . , m; como os A
i
s ao todos
abertos, para cada i, existe
i
tal que B
i
(x) A
i
; se = min{
1
,
2
, . . . ,
m
}, ent ao
B
(x) A
i
, i = 1, . . . , m, pelo que B
(x)
m
i=1
A
i
= A. Concluimos assim que, para
todo o x A, existe > 0 tal que B
(x) A, isto e, A e aberto.

NOTA: A intersec c ao de um n umero innito de conjuntos abertos pode n ao ser um
conjunto aberto. Por exemplo, para cada n N seja A
n
= {(x, y) R
2
: x
2
+ y
2
<
1
n
2
(crculo aberto de centro na origem e raio
1
n
); ent ao
n=1
A
n
= {(0, 0)} que n ao e um
conjunto aberto.
Corolario 2 A uni ao de um n umero nito de conjuntos fechados e um conjunto fechado.
Demonstra c ao: Sejam F
1
, F
2
, . . . , F
m
conjuntos fechados. Ent ao, tendo em conta as Notas
que se seguem ` a deni c ao e o Teorema, R
N
\ (
m
i=1
F
i
) =
m
i=1
(R
N
\ F
i
) e um conjunto
aberto, pelo que
m
i=1
F
i
e fechado.
Teorema 3.2.3 A uni ao de conjuntos abertos e um conjunto aberto.
Demonstra c ao: Seja (A
i
)
iI
uma colec c ao, nita ou innita, de conjuntos abertos e seja
A =
iI
A
i
; se x A, ent ao existe j I tal que x A
j
e, visto que A
j
e aberto, existe
> 0 tal que B
(x) A
j
pelo que B
(x) A.
Corolario 3 A intersec c ao de conjuntos fechados e um conjunto fechado.
Demonstra c ao: Seja (F
i
)
iI
uma colec c ao, nita ou innita de conjuntos fechados. Ent ao,
tendo em conta as Notas que se seguem ` a deni c ao e o Teorema, R
N
\ (
iI
F
i
) =
iI
(R
N
\ F
i
) e um conjunto aberto, pelo que
iI
F
i
e fechado.
Denicao 3.2.5 Diz-se que uma sucess ao x
1
, x
2
, . . . , x
n
, . . . de pontos de R
N
converge
para a R
N
, e escreve-se limx
n
= a ou lim
n+
x
n
= a ou x
n
a, se
> 0 p N n > p, x
n
a < .
N
75
NOTA 1: A deni c ao anterior e equivalente a
lim
n+
x
n
a = 0
(note-se que x
n
a e uma sucess ao de n umeros reais).
NOTA 2: Se uma sucess ao de pontos de R
N
convergir, o seu limite e unico. Esta
propriedade pode ser demonstrada de modo an alogo ao usado para sucess oes de n umeros
reais e deixamo-la ao cuidado do leitor.
Teorema 3.2.4

E condi c ao necessaria e suciente para que a sucess ao x
1
, x
2
, . . . , x
n
, . . . ,
de pontos de R
N
, convirja para a que cada uma das sucess oes coordenadas convirja para
a coordenada correspondente de a.
Demonstra c ao: Seja x
n
= (x
n,1
, x
n,2
, . . . , x
n,N
) R
N
o termo geral da sucess ao; queremos
mostrar que
x
n
a x
n,i
a
i
, i = 1, 2, . . . , N.
Como |x
n,i
a
i
| =
_
(x
n,i
a
i
)
2
_
N
i=1
(x
n,i
a
i
)
2
= ||x
n
a||, ent ao ||x
n
a||
0 |x
n,i
a
i
| 0, isto e, x
n,i
a
i
, i = 1, 2, . . . , N.
Reciprocamente, se x
n,i
a
i
, i = 1, 2, . . . , N, ent ao (x
n,i
a
i
)
2
0, i = 1, 2, . . . , N,
pelo que
N
i=1
(x
n,i
a
i
)
2
0 donde se conclui que
_
N
i=1
(x
n,i
a
i
)
2
= ||x
n
a|| 0.
Denicao 3.2.6 Diz-se que uma sucess ao x
1
, x
2
, . . . , x
n
, . . . de pontos de R
N
e sucess ao
de Cauchy se
> 0 p N m, n > p, x
n
x
m
< .
Teorema 3.2.5

E condi c ao necessaria e suciente para que a sucess ao x
1
, x
2
, . . . , x
n
, . . . ,
de pontos de R
N
, seja de Cauchy que cada uma das sucess oes coordenadas seja de Cauchy.
Demonstra c ao: Da desigualdade |x
n,i
x
m,i
|
_
N
i=1
(x
n,i
x
m,i
)
2
= ||x
n
x
m
|| deduzimos
que se {x
n
} e sucess ao de Cauchy em R
N
, ent ao {x
n,i
} e sucess ao de Cauchy em R, para
i = 1, 2, . . . , N.
Reciprocamente, se {x
n,i
} s ao sucess oes de Cauchy em R, para i = 1, 2, . . . , N, ent ao
> 0 p
i
N m, n > p
i
, |x
n,i
x
m,i
| < /
N,
N
pelo que, tomando p = max{p
1
, p
2
, . . . , p
N
},
m, n > p, ||x
n
x
m
|| =
_
N
i=1
(x
n,i
x
m,i
)
2
_
N
i=1
2
N
=
2
= .
Corolario 4 Uma sucess ao de elementos de R
N
e convergente se, e so se, for de Cauchy.
Demonstra c ao: Resulta imediatamente dos Teoremas 3.2.4 e 3.2.5 e do facto de uma
sucess ao de n umeros reais ser convergente se, e s o se, for de Cauchy.
Teorema 3.2.6 Um conjunto C R
N
e fechado se, e so se, todos os limites das sucess oes
convergentes de elementos de C pertencem a C.
Demonstra c ao: Seja {x
n
} C uma sucess ao tal que x
n
a; pela deni c ao de fecho,
a C (de facto, se a ext(C), > 0 : B
(a) C = ). Se C e fechado, a C = C.
Reciprocamente, suponhamos que {x
n
} C x
n
a a C. Seja b fr(C); para
cada n N, tomemos y
n
B
1/n
(b) C, isto e, {y
n
} C ||y
n
b|| < 1/n. Ent ao y
n
b
e, pela hip otese, b C. Conclumos assim que fr(C) C pelo que C e fechado.
Denicao 3.2.7 Um conjunto C R
N
diz-se limitado se
M > 0 x C, ||x|| M
Teorema 3.2.7 Um conjunto C e limitado se, e so se, para cada i = 1, 2, . . . , N, o
conjunto C
i
= {x
i
R : (x
1
, . . . , x
i
, . . . , x
N
) C} e limitado.
Demonstra c ao: Como |x
i
| ||x||, i = 1, 2, , N, se C e limitado, C
i
e obviamente
limitado.
Reciprocamente, se existem M
1
, M
2
, . . . , M
N
tais que |x
i
| M
i
, x
i
C
i
, i =
1, 2, , N, ent ao, se x C, ||x|| =
_
N
i=1
(x
i
)
2
_
N
i=1
(M
i
)
2
Basta, pois, fazer M =
_
N
i=1
(M
i
)
2
.
Denicao 3.2.8 Uma sucess ao {x
n
} R
N
diz-se limitada se o conjunto dos seus ter-
mos, {x
1
, x
2
, . . . , x
n
, . . . }, for limitado.
Teorema 3.2.8 Em R
N
, toda a sucess ao limitada tem uma subsucess ao convergente.
Demonstra c ao: Seja {x
n
} uma sucess ao limitada. Pelo Teorema 3.2.7 a sucess ao {x
n,1
}
e limitada em R, pelo que tem uma subsucess ao x
n
k
,1
convergente. Consideremos agora
a sucess ao x
n
k
,2
; trata-se de uma sucess ao limitada pelo que tem uma subsucess ao x
n
k
p
,2
convergente; procedendo do mesmo modo, existe uma subsucess ao x
n
k
p
q
,3
convergente, . . . ,
existe uma subsucess ao x
n
.
.
.
z
,N
convergente. A sucess ao (x
n
.
.
.
z
,1
, x
n
.
.
.
z
,2
, . . . , x
n
.
.
.
z
,N
) e,
pelo Teorema 3.2.4, convergente.
N
77
Denicao 3.2.9 a) Diz-se que a R
N
e ponto de acumula c ao (ou ponto limite) de
C R
N
se toda a vizinhan ca de a contem, pelo menos, um ponto de C\{a}. Ao conjunto
dos pontos de acumula c ao de C chama-se derivado de C e designa-se por C
.
b) Diz-se que a C e ponto isolado de C R
N
se existir uma vizinhan ca de a cuja
intersec c ao com C e o proprio a.
Teorema 3.2.9 a R
N
e ponto de acumula c ao de C se, e so se, existir uma sucess ao
de pontos de C, todos distintos de a, que converge para a.
Demonstra c ao: Se existir uma sucess ao de pontos de C, todos distintos de a que converge
para a, pela Deni c ao 3.2.5, para toda a vizinhan ca de a, existe uma ordem p a partir da
qual todos os elementos da sucess ao pertencem a essa vizinhan ca (e pertencem a C, por
hip otese) pelo que qualquer vizinhan ca de a contem pontos de C \ {a}.
Reciprocamente, se a e ponto de acumula c ao de C, ent ao n N, x
n
C\{a} : x
n

B
1/n
(a), isto e, ||x
n
a|| < 1/n, pelo que ||x
n
a|| 0, ou ainda x
n
a; obtivemos,
assim, uma sucess ao de elementos de C \ {a} que converge para a.
Teorema 3.2.10 (Weierstrass) Todo o conjunto innito limitado tem, pelo menos, um
ponto de acumula c ao.
Demonstra c ao: Seja C um conjunto innito limitado; ent ao existe um subconjunto de
elementos distintos dois a dois {x
1
, x
2
, . . . , x
n
, . . . } C. Visto tratar-se de uma sucess ao
limitada, ela admite uma subsucess ao convergente, x
n
k
a; a e ponto de acumula c ao de
C pelo Teorema 3.2.9.
Teorema 3.2.11 (Borel) Sejam C R
N
um conjunto limitado e fechado e (U
j
)
jJ
uma
cobertura aberta de C, isto e, uma famlia de conjuntos abertos tais que C
_
jJ
U
j
. Ent ao
existe uma parte nita I J tal que C
_
jI
U
j
.
N
Captulo 4
Func oes de Varias Variaveis
4.1 Func oes reais de varias variaveis reais
Denicao 4.1.1 Chama-se fun c ao real de N variaveis reais a toda a aplica c ao de
um conjunto D R
N
em R. Ao conjunto D chama-se domnio da fun c ao.
Sejam x = (x
1
, x
2
, . . . , x
N
) D e f(x) = y R. As variaveis x
1
, x
2
, . . . , x
N
s ao as
variaveis independentes e y e a variavel dependente.
Ao conjunto {y R : y = f(x), x D} chama-se contradomnio de f.
Chama-se graco de f ao subconjunto de R
N+1
:
{(x
1
, x
2
, . . . , x
N
, y) : x = (x
1
, x
2
, . . . , x
N
) D y = f(x)}
NOTA: Se a fun c ao for dada por uma express ao analtica, o seu domnio e o da express ao
analtica, isto e, o conjunto dos pontos para os quais a express ao analtica tem sentido.
EXEMPLO: A fun c ao
f : R
2
R
f(x, y) =
_
64 4 x
2
16 y
2
tem por domnio o conjunto
D = {(x, y) R
2
: 64 4 x
2
16 y
2
0} = {(x, y) R
2
: x
2
+ 4 y
2
16} =
{(x, y) R
2
:
_
x
4
_
2
+
_
y
2
_
2
1};
o contradomnio e o conjunto [0, 8]. Vejamos qual o gr aco de f:
z =
_
64 4 x
2
16 y
2
4 x
2
+ 16 y
2
+ z
2
= 64 z 0
_
x
4
_
2
+
_
y
2
_
2
+
_
z
8
_
2
= 1 z 0
80 4. Fun c oes de Varias Variaveis
Denicao 4.1.2 Dadas duas fun c oes f : A R
N
R e g : B R
N
R, diz-se que f
e um prolongamento de g se B A e f(x) = g(x), x B. Neste caso, tambem se
diz que g e a restri c ao de f ao conjunto B.
4.2 Fun c oes vectoriais 81
4.2 Func oes vectoriais
Denicao 4.2.1 Uma fun c ao f : D R
N
R
P
, a que se chama fun c ao vectorial, ca
denida por P fun c oes reais de N variaveis:
f(x
1
, x
2
, . . . , x
N
) = (y
1
, y
2
, . . . , y
P
)
em que
y
1
= f
1
(x
1
, x
2
, . . . , x
N
)
y
2
= f
2
(x
1
, x
2
, . . . , x
N
)
.
.
.
.
.
.
.
.
.
y
P
= f
P
(x
1
, x
2
, . . . , x
N
)
e f
i
: D R, i = 1, 2, . . . , P. A f
i
chama-se fun c ao coordenada de f.
EXEMPLO: Consideremos a fun c ao:
f : R
2
R
2
f(x, y) = (log(x y),
_
1 x
2
y
2
)
As fun c oes coordenadas s ao:
f
1
(x, y) = log(x y) e f
2
(x, y) =
_
1 x
2
y
2
O domnio de f e
D = {(x, y) R
2
: x > y 1 x
2
y
2
0} = {(x, y) R
2
: x > y x
2
+ y
2
1}
4.3 Limites e continuidade.
Denicao 4.3.1 Sejam f : D R
N
R e a D. Diz-se que f(x) tende para b
quando x tende para a (ou que tem limite b em a), e escreve-se lim
xa
f(x) = b se
> 0 > 0 : x D x a < |f(x) b| < .
Em termos de vizinhan cas, escreve-se
lim
xa
f(x) = b > 0 > 0 : f(B
(a) D) B
(b).
Teorema 4.3.1 lim
xa
f(x) = b se, e so se, a toda a sucess ao x
1
, x
2
, . . . , x
n
, . . . de pontos
de D, que tende para a, corresponde uma sucess ao f(x
1
), f(x
2
), . . . , f(x
n
), . . . de n umeros
reais que tende para b.
Demonstra c ao: Suponhamos que lim
xa
f(x) = b e seja > 0. Pela Deni c ao 4.3.1,
> 0 : x D ||x a|| < |f(x) b| < ;
seja {x
n
} D uma sucess ao que converge para a; usando a Deni c ao 3.2.5, sabemos que
existe p N tal que n > p, ||x
n
a|| < ; ent ao, n > p, |f(x
n
) b| < . Concluimos,
pois, que f(x
n
) b.
Reciprocamente, vamos mostrar que se para toda a sucess ao {x
n
} D tal que x
n
a,
f(x
n
) b, ent ao lim
xa
f(x) = b. Usamos a contra-recproca: suponhamos que lim
xa
f(x) = b
(ou que n ao existe lim
xa
f(x)), isto e,
> 0 > 0 x D : ||x a|| < |f(x) b| .
Seja = 1/n; x
n
D : ||x
n
a|| < 1/n |f(x
n
) b| . Obtemos assim uma sucess ao
{x
n
} D, x
n
a tal que f(x
n
) b.
Teorema 4.3.2 O limite lim
xa
f(x) = b, se existir, e unico.
Demonstra c ao: Suponhamos que lim
xa
f(x) = b e lim
xa
f(x) = c com b = c. Tomando
<
|b c|
2
, obtemos B
(b) B
(c) = . Pela Deni c ao 4.3.1, existe > 0 tal que

x D ||x a|| < f(x) B
(b) e x D ||x a|| < f(x) B
(c) o
que e impossvel porque B
(b) B
(c) = .
Dos dois Teoremas anteriores e do conhecimento de que, para sucess oes, o limite da
soma e a soma dos linites, o limite do produto e o produto dos limites e o limite do
quociente e o quociente dos limites (quando os quocientes tem sentido), obtemos:
4.3 Limites e continuidade. 83
Teorema 4.3.3 Sejam f, g : D R
N
R duas fun c oes com limites nitos quando x
tende para a. Ent ao:
a) lim
xa
(f(x) + g(x)) = lim
xa
f(x) + lim
xa
g(x);
b) lim
xa
(f(x) g(x)) = lim
xa
f(x) lim
xa
g(x);
c) se lim
xa
g(x) = 0, lim
xa
f(x)
g(x)
=
lim
xa
f(x)
lim
xa
g(x)
.
EXEMPLO: Seja
f(x, y) =
xy
_
x
2
+ y
2
O domnio de f e R
2
\ {(0, 0)}. Dado (a, b) D, seja {(x
n
, y
n
)} D uma sucess ao tal
que (x
n
, y
n
) (a, b). Ent ao x
n
a e y
n
b pelo que
limf(x
n
, y
n
) = lim
x
n
y
n
_
x
2
n
+ y
2
n
=
limx
n
limy
n
_
(limx
n
)
2
+ (limy
n
)
2
=
a b
a
2
+ b
2
.
Como (0, 0) D, faz sentido falar em lim
(x,y)(0,0)
f(x, y). Vejamos que este limite e zero:
xy
_
x
2
+ y
2
0
=
|x| |y|
_
x
2
+ y
2
_
x
2
+ y
2
_
x
2
+ y
2
_
x
2
+ y
2
=
_
x
2
+ y
2
.
Na deni c ao basta, pois, fazer = .
N
R e B um subconjunto proprio de D (isto e,
B D e B = D). Suponhamos que a e um ponto aderente a B. Diz-se que f tem limite
b, quando x tende para a, segundo B ou que b e o limite relativo a B de f quando x
tende para a, se o limite da restri c ao de f a B quando x tende para a e b. Designa-se
este limite por
lim
x a
x B
f(x) = b ou lim
xa, xB
f(x) = b.
NOTA: Se lim
xa
f(x) = b ent ao, qualquer que seja B tal que a B, lim
x a
x B
f(x) = b. A
recproca n ao e verdadeira: podem existir os limites relativos a alguns subconjuntos e n ao
existir o limite. Por exemplo, seja f : R
2
R dada por
f(x, y) =
_
1, x 0
0, x < 0.
Se B = {(x, y) : x 0}, ent ao lim
(x, y) (0, 0)
(x, y) B
f(x, y) = 1 e lim
(x,y)(0,0)
f(x, y) n ao existe.
Alguns limites relativos importantes s ao:
I) B = D \ {a}; obtemos assim o limite de f(x) quando x tende para a, por valores
diferentes de a e escreve-se:
lim
x a
x = a
f(x).
Note-se que este limite apenas faz sentido se a D \ {a}, isto e, se a e ponto de acumu-
la c ao de D.
II) Se N = 1, isto e, se f e uma fun c ao real de vari avel real, denem-se limite ` a esquerda
e limite ` a direita; o limite por valores diferentes existe se existirem o limite ` a esquerda e
o limite ` a direita e forem iguais. Se N > 1, as no c oes de esquerda e direita deixam de ter
sentido; alem disso, x pode tender para a por uma innidade de caminhos.
Seja B uma recta tal que a B. Ao lim
x a
x B
f(x) chama-se limite direccional.
Se N = 2, com a = (a
1
, a
2
), obtemos, para cada m R,
B = {(x, y) R
2
: y = m(x a
1
) + a
2
}
e, ainda, a recta vertical
B = {(x, y) R
2
: x = a
1
}.
Como vimos atr as, se existir o limite, existem todos os limites direccionais e s ao iguais
ao limite. No Exemplo 1, que se segue ao Teorema da unicidade do limite, poderamos
fazer
lim
(x, y) (0, 0)
y = mx
f(x) = lim
x0
xmx
x
2
+ m
2
x
2
= lim
x0
mx
2
|x|
1 + m
2
= lim
x0
m|x|
1 + m
2
= 0.
Concluiramos, assim, que o limite, se existir, e 0. A prova que de facto o limite e 0 foi
escrita atr as.
Se algum dos limites direccionais n ao existir ou se n ao forem todos iguais, conclui-se
que o limite n ao existe.
EXEMPLO 1: Seja
f(x, y) =
xy
x
2
+ y
2
.
O domnio e D = R
2
\ {(0, 0)} e (0, 0) D. Calculemos os limites direccionais:
lim
(x, y) (0, 0)
y = mx
xy
x
2
+ y
2
= lim
x0
xmx
x
2
+ m
2
x
2
= lim
x0
m
1 + m
2
=
m
1 + m
2
.
O limite depende da recta considerada, pelo que n ao existe lim
(x,y)(0,0)
f(x, y).
Se existirem todos os limites direccionais e forem iguais, n ao podemos concluir que
existe o limite.
EXEMPLO 2: Seja
f(x, y) =
xy
2
x
2
+ y
4
.
O domnio e D = R
2
\ {(0, 0)} e (0, 0) D. Calculemos os limites direccionais:
lim
(x, y) (0, 0)
y = mx
xy
2
x
2
+ y
4
= lim
x0
xm
2
x
2
x
2
+ m
2
x
4
= lim
x0
m
2
x
1 + m
2
x
2
= 0;
para a recta vertical
lim
(x, y) (0, 0)
x = 0
xy
2
x
2
+ y
4
= lim
y0
0
y
4
= 0.
Os limites direccionais s ao, pois, todos iguais a 0. Consideremos a curva y =

x; ent ao
lim
(x, y) (0, 0)
y =

x
xy
2
x
2
+ y
4
= lim
x0
xx
x
2
+ x
2
= lim
x0
1
2
=
1
2
.
Como existem limites relativos com valores diferentes, concluimos que n ao existe
lim
(x,y)(0,0)
f(x, y).
EXEMPLO 3: Seja
f(x, y) =
_
_
0, se x = y
1, se (x, y) = (0, 0)
x
2
, se x = y = 0
a) Se (a, b) R
2
e tal que a = b, seja {(x
n
, y
n
)} uma sucess ao que converge para (a, b);
ent ao existe p N tal que x
n
= y
n
, n > p, isto e, f(x
n
, y
n
) = 0, n > p pelo que
limf(x
n
, y
n
) = 0 e conclumos que lim
(x,y)(a,b)
f(x, y) = 0.
b) Se (a, b) = (0, 0), como lim
(x, y) (0, 0)
x = 0, y = 0
f(x, y) = lim
(x, y) (0, 0)
x = 0, y = 0
0 = 0 e f(0, 0) = 1, pelo que
n ao existe lim
(x,y)(0,0)
f(x, y). Vejamos que existe o limite por valores diferentes de (0, 0):
se (x, y) = (0, 0), |f(x, y)| x
2
||(x, y)||
2
; na deni c ao, para cada > 0, basta tomar
=
para concluir que lim

(x, y) (0, 0)
(x, y) = (0, 0)
f(x, y) = 0.
c) Se a = b = 0, ent ao
lim
(x, y) (a, b)
y = x
f(x, y) = lim
xa
x
2
= a
2
e
lim
(x, y) (a, b)
x = a, y = a
f(x, y) = lim
x=a,ya,y=a
0 = 0
pelo que n ao existe lim
(x,y)(a,a)
f(x, y).
Denicao 4.3.3 Chamam-se limites iterados de f : D R
2
R quando (x, y) tende
para (a, b) aos dois limites:
lim
xa
_
lim
yb
f(x, y)
_
e lim
yb
_
lim
xa
f(x, y)
_
.
Suponhamos que existe lim
(x,y)(a,b)
f(x, y) = e que, para um certo
0
> 0 e v alida
a propriedade: para cada x ]a
0
, a +
0
[ existe lim
yb
f(x, y). Em ]a
0
, a +
0
[,
denimos a fun c ao (x) = lim
yb
f(x, y). Sejam > 0 (qualquer) e > 0 tal que
< f(x, y) < + , (x, y) B
(a, b) (obviamente, podemos tomar <

0
); ent ao
(x) + , x ]a , a + [, pelo que lim
xa
(x) = e, tendo em conta as
deni c oes, lim
xa
_
lim
yb
f(x, y)
_
= . O raciocnio anterior continua v alido se supusermos
que existe lim
yb
f(x, y), x ]a
0
, a +
0
[\{a}.
Conclumos que se existir lim
(x,y)(a,b)
f(x, y) e se numa vizinhan ca de (a, b) existir, para
cada x, lim
yb
f(x, y), ent ao existe o limite iterado lim
xa
_
lim
yb
f(x, y)
_
= lim
(x,y)(a,b)
f(x, y).

E
claro que podemos estabelecer uma arma c ao an aloga para o outro limite iterado. Em
particular, se existir lim
(x,y)(a,b)
f(x, y), e existirem os limites iterados, estes tem o mesmo
valor que o limite.
Se existirem os limites iterados e forem diferentes ent ao n ao existe lim
(x,y)(a,b)
f(x, y).
Note-se que os limites iterados podem ser iguais sem que exista lim
(x,y)(a,b)
f(x, y).
EXEMPLO 1: Seja f : R
2
R dada por
f(x, y) =
x y
x + y
.
Ent ao D = {(x, y) R
2
: x = y} e (0, 0) D. Calculemos os limites iterados:
lim
x0
_
lim
y0
x y
x + y
_
= lim
x0
x
x
= 1,
lim
y0
_
lim
x0
x y
x + y
_
= lim
y0
y
y
= 1
e conclumos que n ao existe lim
(x,y)(0,0)
f(x, y).
EXEMPLO 2: Vimos atr as que n ao existe lim
(x,y)(0,0)
xy
x
2
+ y
2
. No entanto, os limites ite-
rados s ao iguais:
lim
x0
_
lim
y0
xy
x
2
+ y
2
_
= lim
x0
0
x
2
= 0,
lim
y0
_
lim
x0
xy
x
2
+ y
2
_
= lim
y0
0
y
2
= 0.
EXEMPLO 3: Seja f : R
2
R dada por
f(x, y) = (x + y) cos
_
1
xy
_
.
A fun c ao co-seno e limitada e lim
(x,y)(0,0)
(x + y) = 0 pelo que lim
(x,y)(0,0)
f(x, y) = 0. Para
x = 0, n ao existe lim
y0
f(x, y) pelo que n ao existe o limite iterado lim
xa
_
lim
yb
f(x, y)
_
e, para
y = 0, n ao existe lim
x0
f(x, y) pelo que n ao existe o limite iterado lim
yb
_
lim
xa
f(x, y)
_
.
Este exemplo permite-nos concluir que pode existir lim
(x,y)(a,b)
f(x, y) sem que existam
os limites iterados.
Por vezes usa-se, para o c alculo de limites, o processo de mudan ca de vari aveis, que
passamos a descrever.
Sejam (a, b) R
2
e : R
+
0
[0, 2 [ R
2
a fun c ao denida por (r, ) = (x, y), onde
_
x = a + r cos()
y = b + r sen()
Trata-se da mudan ca de coordenadas cartesianas em coordenadas polares.
Como vemos na Figura 4.1, r e a dist ancia entre (a, b) e (x, y) e o angulo que faz a
recta paralela ao eixo do xx que passa por (a, b) e a recta que une (a, b) a (x, y).
A fun c ao transforma o rect angulo
R
= [0, R[[0, 2 [ no crculo aberto de centro
em (a, b) e raio R, isto e, na vizinhan ca B
R
(a, b) (ver Figura 4.2).
Sejam f : D R
2
R, (a, b) int(D), > 0 tal que B
(a, b) D e F = f , isto
e, F(r, ) = f(a + r cos(), b + r sen()).
x
y
(a,b)
(x,y)
q
r
Figura 4.1: Signicado de r e
q
2p
S
y
x
r R
R
Y
B
R
(a,b)
Figura 4.2
Ent ao,
F(
) = (f )(
) = f((
)) = f(B
(a, b)).
Pela deni c ao, lim
(x,y)(a,b)
f(x, y) = c e equivalente a
> 0 > 0 (x, y) B
(a, b) |f(x, y) c| <

isto e,
> 0 > 0 (r, )
|F(r, ) c| < ,
ou ainda
> 0 > 0 0 r < |F(r, ) c| < , [0, 2[.
Conclumos, assim, que lim
(x,y)(a,b)
f(x, y) = c se, e s o se, lim
r0
F(r, ) = c, uniforme-
mente em .
NOTA : O que dissemos atr as adapta-se de forma evidente ao caso em que (a, b) / D
mas (a, b) D. Neste caso, teramos que considerar as intersec c oes com D, r seria sempre
diferente de 0 e nas vari aveis polares teramos que considerar as intersec c oes respectivas.
EXEMPLO 1: Consideremos a fun c ao
f(x, y) =
_
_
xy
_
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
Vamos usar coordenadas polares:
lim
r0
F(r, ) = lim
r0
r cos() r sen()
_
r
2
cos
2
() + r
2
sen
2
()
= lim
r0
r
2
cos() sen()
r
_
cos
2
() + sen
2
()
= lim
r0
r cos() sen() = 0
porque a fun c ao cos() sen() e limitada. Conclumos, pois, que lim
(x,y)(0,0)
f(x, y) = 0.
EXEMPLO 2: Seja
f(x, y) =
xy
x
2
+ y
2
Vamos estudar o limite de f(x, y) quando (x, y) (0, 0), usando coordenadas polares.
(Estamos no caso da Nota, (0, 0) / D).
lim
r0
F(r, ) = lim
r0
r cos() r sen()
r
2
cos
2
() + r
2
sen
2
()
= lim
r0
cos() sen() = cos() sen()
Como o limite estudado depende de , n ao existe lim
(x,y)(0,0)
f(x, y).
EXEMPLO 3: Consideremos a fun c ao f : R
2
R denida por
f(x, y) =
x
2
+ y
2
x y
cujo domnio e D = {(x, y) R
2
: x = y}. Usando coordenadas polares vamos vericar
se existe lim
(x,y)(0,0)
f(x, y):
F(r, ) =
r
2
cos
2
() + r
2
sen
2
()
r cos() r sen()
=
r
cos() sen()
.
Visto que a fun c ao de ,
1
cos() sen()
, n ao e limitada (se = /4, o denominador e
nulo e pr oximo de /4 obtemos valores do denominador t ao pequenos quanto queiramos)
a convergencia n ao e uniforme em e o limite n ao existe (note-se que se existisse teria
que ser 0 porque, xando , o limite, quando r tende para 0, e 0). Talvez se compreenda
melhor que o limite n ao existe se voltarmos ` a proposi c ao que teria que se vericar caso
ele existisse:
> 0 > 0 0 < r < |F(r, )| < , [0, 2[\{/4},
que e falsa porque, como vimos atr as, pr oximo de = /4, F(r, ) pode ser t ao grande
quanto se queira.
Para uma fun c ao f : D R
3
R podemos proceder de modo semelhante ao que
acab amos de expor, usando, neste caso, a mudan ca para coordenadas esfericas, isto e,
a fun c ao : R
+
[0, 2[[0, ] R
3
e denida por (r, , ) = (x, y, z) onde
_
_
_
x = a + r cos() sen(),
y = b + r sen() sen(),
z = c + r cos(),
Na Figura 4.3 exibem-se os signicados de r, e , no caso em que (a, b, c) = (0, 0, 0)
(que foi usado para simplicar o desenho; o leitor n ao dever a ter diculdade de fazer a
generaliza c ao para (a, b, c) qualquer).

E claro que, neste caso, existir a lim
(x,y,z)(a,b,c)
f(x, y, z)
se, e s o se, existir lim
r0
(f )(r, , ) uniformemente em e .
N
R
P
e a D. Diz-se que f(x) tende para
b = (b
1
, b
2
, . . . , b
P
) quando x tende para a (ou que tem limite b em a), e escreve-se
lim
xa
f(x) = b se
> 0 > 0 : x D x a < f(x) b < .
Em termos de vizinhan cas, escreve-se
lim
xa
f(x) = b > 0 > 0 : f(B
(a) D) B
(b).
Note-se que, embora as representemos do mesmo modo, as normas que aparecem na
deni c ao est ao denidas em espa cos diferentes: a primeira em R
N
e a segunda em R
P
. A
mesma observa c ao se pode fazer para as vizinhan cas.
Teorema 4.3.4

E condi c ao necessaria e suciente para lim
xa
f(x) = b que as fun c oes co-
ordenadas veriquem: lim
xa
f
i
(x) = b
i
, i = 1, 2, . . . , P.
Demonstra c ao: Visto que |f
i
(x) b
i
| ||f(x) b||, de lim
xa
f(x) = b concluimos, usando
as deni c oes, que lim
xa
f
i
(x) = b
i
, i = 1, 2, . . . , P.
Figura 4.3: Signicados de r, e
Reciprocamente, suponhamos que lim
xa
f
i
(x) = b
i
, i = 1, 2, . . . , P, e seja > 0. Ent ao,
para cada i, existe
i
> 0 tal que
x D ||x a|| <
i
|f
i
(x) b
i
| <

P
.
Seja = min{
1
,
2
, . . . ,
P
}; ent ao
x D ||x a|| < ||f(x) b||
2
=
P
i=1
(f
i
(x) b
i
)
2
<
P
i=1
2
P
=
2
,
isto e
x D ||x a|| < ||f(x) b|| < .
Teorema 4.3.5 lim
xa
f(x) = b se, e so se, a toda a sucess ao x
1
, x
2
, . . . , x
n
, . . . de pontos de
D, que tende para a, corresponde uma sucess ao f(x
1
), f(x
2
), . . . , f(x
n
), . . . de elementos
de R
P
que tende para b.
Demonstra c ao: Pelo Teorema 4.3.4, lim
xa
f(x) = b se, e s o se, para cada i, lim
xa
f
i
(x) = b
i
.
Basta aplicar, a cada i, o Teorema 4.3.1.
Denicao 4.3.5 Seja f : D R
N
R
P
, P 1. Suponhamos que D e tal que faz
sentido tomar x t ao grande quanto se queira. Diz-se que
lim
x+
f(x) = b
se
> 0 L > 0 : x D x > L f(x) b < .
EXEMPLO: Seja f : R
2
R
2
denida por
f(x, y) = (
cos(x)
x
2
+ y
2
+ 1
, e
x
2
y
2
)
Visto que ||(x, y)|| =
_
x
2
+ y
2
, ent ao
lim
(x,y)+
(x
2
+ y
2
) = + e lim
(x,y)+
1
x
2
+ y
2
+ 1
= 0;
como cos(x) e limitada, lim
(x,y)+
cos(x)
x
2
+ y
2
+ 1
= 0. Por outro lado, lim
(x,y)+
e
x
2
y
2
= 0.
Conclumos, assim, que lim
(x,y)+
f(x, y) = (0, 0).
N
R e a D. Diz-se que lim
xa
f(x) = + se
L > 0 > 0 : x D x a < f(x) > L.
EXEMPLO: Seja f : R
2
\ {(0, 0)} R a fun c ao denida por
f(x, y) =
1
x
2
+ y
2
A partir da deni c ao, e f acil vericar que lim
(x,y)(0,0)
f(x, y) = + (de facto, basta tomar,
para cada L > 0, = 1/
L).
Analogamente podemos denir
N
xa
f(x) = se
L > 0 > 0 : x D x a < f(x) < L.
EXEMPLO: Seja f : R
2
\ {(0, 0)} R a fun c ao denida por
f(x, y) =
xy 1
x
2
+ y
2
Podemos tomar uma vizinhan ca de (0, 0), sucientemente pequena de modo que, para
todos os pontos dessa vizinhan ca, xy 1 < 1/2 e proceder de modo semelhante ao
exemplo anterior, concluindo que lim
(x,y)(0,0)
f(x, y) =
Podemos ainda denir o limite para innito sem sinal:
N
xa
f(x) = se
L > 0 > 0 : x D x a < |f(x)| > L.
N
R e a D. Diz-se que f(x) e um innitesimo
com x a se lim
xa
f(x) = 0. Em particular, se a = (0, 0, . . . , 0), diz-se que f(x) e um
innitesimo com x.
EXEMPLOS: f(x, y) = x 1 + y
2
e um innitesimo com (x 1, y); g(x, y) =
_
x
3
+ y
3
e um innitesimo com (x, y).
Denicao 4.3.10 Dados dois innitesimos com x a, f e g, diz-se que
a) s ao da mesma ordem se o limite lim
xa
f(x)
g(x)
for nito e diferente de zero; se este limite
for 1, os innitesimos dizem-se equivalentes;
b) o innitesimo f(x) e de ordem superior à de g(x) se lim
xa
f(x)
g(x)
= 0;
c) s ao n ao comparaveis se n ao existir lim
xa
f(x)
g(x)
.
EXEMPLOS: f(x, y) = x
2
+ y
2
+ x
3
e g(x, y) = 2 x
2
+ 2 y
2
s ao innitesimos da mes-
ma ordem com (x, y) ( lim
(x,y)(0,0)
x
2
+ y
2
+ x
3
2 x
2
+ 2 y
2
= 1/2); h(x, y) = x
3
e um innitesimo
de ordem superior a j(x, y) = x
2
+ y
2
com (x, y) ( lim
(x,y)(0,0)
x
3
x
2
+ y
2
= 0); (x, y) =
x
2
+ y
2
+ x
3
e (x, y) = 2 x
2
+ y
2
s ao innitesimos com (x, y) n ao compar aveis: n ao
existe lim
(x,y)(0,0)
(x, y)
(x, y)
.
Denicao 4.3.11 Seja f um innitesimo com x a. Se existir R
+
tal que o limite
lim
xa
f(x)
x a
e nito e diferente de zero, diz-se que f(x) e um innitesimo de ordem

com x a.
EXEMPLO: f(x, y) = x
2
+ y
2
+ x
3
e um innitesimo de ordem 2 com (x, y):
lim
(x,y)(0,0)
x
2
+ y
2
+ x
3
||(x, y)||
2
= lim
(x,y)(0,0)
x
2
+ y
2
+ x
3
x
2
+ y
2
= 1.
N
R
P
e a D. Diz-se que f e contnua em a se
lim
xa
f(x) = f(a).
Diz-se que f e contnua num conjunto B D se for contnua em todos os pontos
de B.
Se f n ao e contnua num ponto a, diz-se que e descontnua em a.
Como consequencia imediata do Teorema 4.3.4, podemos enunciar:
Teorema 4.3.6

E condi c ao necessaria e suciente para f ser contnua em a que as
fun c oes coordenadas sejam contnuas em a.
Como consequencia imediata de resultados semelhantes para as sucess oes, obtemos
N
R
P
fun c oes contnuas em a. Ent ao f + g e
contnua em a.
Se P = 1, ent ao f g e contnua em a e, se alem disso, g(a) = 0 ent ao f/g e contnua
em a.
2
R dada por
f(x, y) =
_
1, se x y
2, se x < y
Se (a, b) e tal que a > b, ent ao existe uma vizinhan ca de (a, b) contida no conjunto
{(x, y) R
2
: x > y}; a fun c ao tem o valor 1 em todos os pontos dessa vizinhan ca pelo
que lim
(x,y)(a,b)
f(x, y) = 1 = f(a, b), isto e, a fun c ao e contnua em (a, b).
De modo semelhante, conclumos que f e contnua no conjunto {(x, y) R
2
: x < y}.
No conjunto {(x, y) R
2
: x = y} a fun c ao e descontnua:
lim
x a
x < a
f(x, a) = 2 = f(a, a) = 1.
2
R dada por
f(x, y) =
_
_
x
3
+ y
3
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
A fun c ao e contnua no conjunto R
2
\ {(0, 0)}, visto tratar-se do quociente de dois
polin omios em que o denominador n ao se anula.
Veriquemos o ponto (0, 0):
x
3
+ y
3
x
2
+ y
2
|x|
3
+|y|
3
x
2
+ y
2

(
_
x
2
+ y
2
)
3
+ (
_
x
2
+ y
2
)
3
x
2
+ y
2
= 2
_
x
2
+ y
2
;
conclumos, assim que lim
(x,y)(0,0)
f(x, y) = 0, isto e, a fun c ao e contnua em (0, 0).
2
R dada por
f(x, y) =
_
_
xy
_
x
2
+ y
2
, se (x, y) = (0, 0)
1, se (x, y) = (0, 0).
Vimos atr as que lim
(x,y)(0,0)
xy
_
x
2
+ y
2
= 0, pelo que a fun c ao e descontnua em (0, 0).

E
contnua em todos os outros pontos, visto tratar-se do quociente de duas fun c oes contnuas
em que o denominador n ao se anula.
N
R
P
e a D. Diz-se que a e uma descontinui-
dade n ao essencial de f se existir lim
x a
x = a
f(x) for nito e diferente de f(a). Se n ao
existir lim
x a
x = a
f(x), diz-se que a e uma descontinuidade essencial de f.
EXEMPLOS: A fun c ao f : R
2
R dada por
f(x, y) =
_
_
xy
_
x
2
+ y
2
, se (x, y) = (0, 0)
1, se (x, y) = (0, 0).
tem uma descontinuidade n ao essencial em (0, 0) e a fun c ao f : R
2
R dada por
f(x, y) =
_
_
_
xy
x
2
+ y
2
, se (x, y) = (0, 0)
1, se (x, y) = (0, 0).
tem uma descontinuidade essencial em (0, 0), visto que n ao existe lim
(x, y) (0, 0)
(x, y) = (0, 0)
f(x, y).
Teorema 4.3.8 Seja f : D R
N
R
P
uma fun c ao contnua num conjunto limitado e
fechado A D. Ent ao f(A) e um conjunto limitado e fechado.
Demonstra c ao: Vejamos que f(A) e limitado. Se tal n ao fosse verdade, para cada n N,
existiria y
n
f(A) tal que ||y
n
|| > n. Por deni c ao de f(A), para cada y
n
f(A) existe
um x
n
A tal que y
n
= f(x
n
). Obtemos uma sucess ao {x
n
} que e limitada por estar
contida em A. Pelo Teorema 3.2.8, existem x
0
R
N
e uma subsucess ao x
n
k
x
0
. Visto
que A e fechado x
0
A, pelo que f e contnua em x
0
. Ent ao f(x
n
k
) f(x
0
) e a sucess ao
y
n
k
= f(x
n
k
) e limitada o que contradiz a hip otese feita.
Vejamos que f(A) e fechado, usando o Teorema 3.2.6. Seja {y
n
} f(A) uma sucess ao
y
n
y
0
; queremos demonstrar que y
0
f(A). Consideremos uma sucess ao de elementos
de A tal que y
n
= f(x
n
), n N. Como vimos atr as, existem x
0
A e uma subsucess ao
x
n
k
x
0
A e, visto f ser contnua em x
0
, f(x
n
k
) y
0
= f(x
0
), pelo que y
0
f(A).
Em R, todo o conjunto limitado e fechado tem m aximo e mnimo pelo que
Corolario 1 (Weierstrass) Toda a fun c ao f : D R
N
R contnua num conjunto
fechado e limitado tem, nesse conjunto, um maximo e um mnimo.
N
R
P
e A D. Diz-se que f e uniformemente
contnua em A se
> 0 > 0 x, y A : x y < f(x) f(y) < .
EXEMPLO 1: Toda a aplica c ao linear de R
N
em R
P
e uniformemente contnua em R
N
.
Come camos por mostrar que se L : R
N
R
P
e uma aplica c ao linear, ent ao
C > 0 : Lx Cx, x R
N
.
Consideremos, como de costume, a base can onica em R
N
: e
1
= (1, 0, . . . , 0), e
2
=
(0, 1, . . . , 0), . . . , e
N
= (0, 0, . . . , 1). Seja C > 0 dado por
C =
_
L(e
1
)
2
+L(e
2
)
2
+ +L(e
N
)
2
(ou C > 0 qualquer, se esta quantidade for nula).
Usando as desigualdades triangular e de Schwarz,
L(x) = L(x
1
e
1
+ x
2
e
2
+ + x
N
e
N
) = x
1
L(e
1
) + x
2
L(e
2
) + + x
N
L(e
N
)
x
1
L(e
1
) +x
2
L(e
2
) + +x
N
L(e
N
)
= |x
1
| L(e
1
) +|x
2
| L(e
2
) + +|x
N
| L(e
N
)
_
|x
1
|
2
+|x
2
|
2
+ +|x
N
|
2
_
L(e
1
)
2
+L(e
2
)
2
+ +L(e
N
)
2
= C
_
(x
1
)
2
+ (x
2
)
2
+ + (x
N
)
2
= C x
Visto que
L(x) L(y) = L(x y) C x y,
para concluir basta, na deni c ao, considerar =

C
.
EXEMPLO 2: A fun c ao f : R
N
R denida por f(x) = x e uniformemente contnua
em R
N
.
Usando a desigualdade triangular, obtemos
x = x y + y x y +y x y x y, x, y R
N
Do mesmo modo se mostra que y x x y. Usando estas duas desigualdades,
obtemos
| x y | x y, x, y R
N
,
isto e, |f(x) f(y)| xy, x, y R
N
. Para concluir basta, na deni c ao, considerar
= .
E evidente que se f e uniformemente contnua em A ent ao a restri c ao de f a A e

contnua em A. A recproca n ao e verdadeira, tendo-se, no entanto o seguinte teorema:
Teorema 4.3.9 (Teorema de Heine-Cantor) Toda a fun c ao contnua num conjunto
fechado e limitado e uniformemente contnua nesse conjunto.
Demonstra c ao: Se a fun c ao n ao fosse uniformemente contnua, ent ao
> 0 > 0 x, y A x y < f(x) f(y) .
Tomando, para cada n N, = 1/n, obtemos:
n N x
n
, y
n
A x
n
y
n
<
1
n
f(x
n
) f(y
n
) .
Como A e limitado e fechado, pelo Teorema 3.2.8, existem x
0
A e uma subsucess ao
x
n
k
x
0
. Da desigualdade x
n
y
n
< 1/n, concluimos que tambem y
n
k
x
0
e,
visto que f e contnua em x
0
, f(x
n
k
) f(y
n
k
) f(x
0
) f(x
0
) = 0, o que contradiz a
desigualdade f(x
n
) f(y
n
) n N.
Captulo 5
Calculo Diferencial em R
N
5.1 Derivadas parciais. Teorema de Schwarz.
N
R e a um ponto interior a D. Se existir
lim
h0
f(a
1
, . . . , a
i
+ h, . . . , a
N
) f(a
1
, . . . , a
i
, . . . , a
N
)
h
,
diz-se que este limite e a derivada parcial de f, em ordem a x
i
, no ponto a.
Designa-se este limite por uma das formas
_
f
x
i
_
a
,
f
x
i
(a) , f
x
i
(a) , f
i
(a) ,

f
x
i
(a).
EXEMPLO: A fun c ao f : R
2
R dada por
f(x, y) =
_
_
_
xy
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0).
tem derivadas parciais em (0, 0):
f
x
(0, 0) = lim
h0
f(h, 0) f(0, 0)
h
= lim
h0
0 0
h
= 0
e
f
y
(0, 0) = lim
h0
f(0, h) f(0, 0)
h
= lim
h0
0 0
h
= 0
NOTA: Com vimos atr as, a fun c ao f do exemplo anterior n ao e contnua em (0, 0).
Concluimos, assim, que uma funcao f : D R
N
R pode ter todas as derivadas
parciais num ponto e ser descontnua nesse ponto.
Recordemos que as fun c oes reais de vari avel real (isto e, se N = 1) que tem derivada
num ponto s ao contnuas nesse ponto. O facto de se N > 1, f poder ser descontnua,
100 5. Calculo Diferencial em R
N
mesmo que existam todas as derivadas parciais no ponto, n ao e surpreendente se notarmos
que para a deni c ao da derivada parcial em ordem a x
i
apenas temos em conta os valores
da fun c ao na recta que passa pelo ponto e e paralela ao eixo dos x
i
, enquanto que para a
deni c ao de continuidade temos em conta os valores da fun c ao numa vizinhan ca do ponto.
Devido ` a semelhan ca da deni c ao com a derivada de uma fun c ao de vari avel real,
podem-se demonstrar de modo an alogo, apenas com as adapta c oes evidentes, as rela c oes
entre as derivadas parciais e as opera c oes elementares:
n
R e a um ponto interior a D. Ent ao,
(f + g)
x
i
(a) =
f
x
i
(a) +
g
x
i
(a),
(f g)
x
i
(a) = g(a)
f
x
i
(a) + f(a)
g
x
i
(a),
x
i
_
f
g
_
(a) =
g(a)
f
x
i
(a) f(a)
g
x
i
(a)
g
2
(a)
Pela raz ao que expusemos atr as, as regras de deriva c ao v alidas para as fun c oes de
vari avel real continuam a aplicar-se, com as adapta c oes que se tornam evidentes.
2
R dada por
f(x, y) =
_
_
_
xy
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0),
que consider amos atr as tem tambem derivadas parciais nos pontos diferentes de (0, 0):
f
x
(x, y) =
(xy)
x
(x
2
+ y
2
)
(x
2
+ y
2
)
x
(xy)
(x
2
+ y
2
)
2
=
y (x
2
+ y
2
) 2 x(xy)
(x
2
+ y
2
)
2
=
y
3
x
2
y
(x
2
+ y
2
)
2
e
f
y
(x, y) =
(xy)
y
(x
2
+ y
2
)
(x
2
+ y
2
)
y
(xy)
(x
2
+ y
2
)
2
=
x(x
2
+ y
2
) 2 y (xy)
(x
2
+ y
2
)
2
=
x
3
xy
2
(x
2
+ y
2
)
2
3
R dada por f(x, y, z) = x tem por derivadas parciais
f
x
(x, y, z) = 1,
f
y
(x, y, z) = 0,
f
z
(x, y, z) = 0.
5.1 Derivadas parciais. Teorema de Schwarz. 101
3
R dada por f(x, y, z) = e
xyz
tem por derivadas parciais
f
x
(x, y, z) = yze
xyz
,
f
y
(x, y, z) = xze
xyz
,
f
z
(x, y, z) = xye
xyz
.
Se
f
x
i
(x) existir em todos os pontos de int(D), podemos denir uma nova fun c ao, a
que chamamos derivada de f em ordem a x
i
e representamos por
f
x
i
.
Denicao 5.1.2 Se
f
x
i
: int(D) R
N
R admitir derivada em ordem a x
i
no ponto
a, a essa derivada chama-se derivada de segunda ordem de f em ordem a x
i
no
ponto a e designa-se por uma das formas
2
f
x
2
i
(a) , f
x
2
i
(a) , f
ii
(a).
Se
f
x
i
admitir derivada em ordem a x
k
no ponto a, a essa derivada chama-se deri-
vada de segunda ordem de f em ordem a x
i
e a x
k
no ponto a e designa-se por
uma das formas
2
f
x
i
x
k
(a) , f
x
i
x
k
(a) , f
ik
(a).
Se x
i
= x
k
, a estas ultimas derivadas chama-se derivadas cruzadas.
3
R dada por f(x, y, z) = xy z tem por derivadas parciais
de segunda ordem
2
f
x
2
(x, y, z) = 0,

2
f
y
2
(x, y, z) = 0,

2
f
z
2
(x, y, z) = 0,
2
f
xy
(x, y, z) = z,

2
f
yx
(x, y, z) = z,

2
f
xz
(x, y, z) = y,
2
f
zx
(x, y, z) = y,

2
f
yz
(x, y, z) = x,

2
f
zy
(x, y, z) = x.
3
R dada por f(x, y, z) = e
xyz
tem por derivadas parciais
de segunda ordem
2
f
x
2
(x, y, z) = y
2
z
2
e
xyz
,

2
f
y
2
(x, y, z) = x
2
z
2
e
xyz
,

2
f
z
2
(x, y, z) = x
2
y
2
e
xyz
,
N
2
f
xy
(x, y, z) = (z + xyz
2
)e
xyz
,

2
f
yx
(x, y, z) = (z + xyz
2
)e
xyz
,
2
f
xz
(x, y, z) = (y + xy
2
z)e
xyz
,

2
f
zx
(x, y, z) = (y + xy
2
z)e
xyz
,
2
f
yz
(x, y, z) = (x + x
2
yz)e
xyz
,

2
f
zy
(x, y, z) = (x + x
2
yz)e
xyz
.
Teorema 5.1.2 (Teorema de Schwarz) Sejam f : D R
2
R e (a, b) um ponto
interior a D. Se as derivadas
f
x
,
f
y
e

2
f
xy
est ao denidas numa vizinhan ca de (a, b)
e se

2
f
xy
e contnua em (a, b) ent ao

2
f
yx
tambem esta denida em (a, b) e
2
f
xy
(a, b) =

2
f
yx
(a, b).
Demonstra c ao: Sejam > 0 tal que
f
x
(x, y),
f
y
(x, y) e

2
f
xy
(x, y) est ao denidas em
B
(a, b) e > 0 tal que o quadrado ]a , a + []b , b + [ est a contido em B
(a, b)
(ver Figura 5.1).
x
y
(a,b)
}
e
}
d
Figura 5.1
Seja k R tal que |k| < e consideremos a fun c ao :]a , a + [ R denida por
(x) = f(x, b + k) f(x, b)
Vejamos que e diferenci avel (portanto contnua) em ]a , a + [:
(x) = lim
h0
(x + h) (x)
h
= lim
h0
f(x + h, b + k) f(x + h, b) f(x, b + k) + f(x, b)
h
= lim
h0
f(x + h, b + k) f(x, b + k)
h
lim
h0
f(x + h, b) f(x, b)
h
=
f
x
(x, b + k)
f
x
(x, b).
Seja h R tal que |h| < . Pelo Teorema de Lagrange, existe
1
, 0 <
1
< 1, tal que
(a + h) (a) = h
(a +
1
h)
isto e,
(h, k) = f(a + h, b + k) f(a + h, b) f(a, b + k) + f(a, b)
= h
_
f
x
(a +
1
h, b + k)
f
x
(a +
1
h, b)
_
Fixemos h, nas condi c oes anteriores, e consideremos a fun c ao :]b , b + [ R
denida por
(y) =
f
x
(a +
1
h, y).
e diferenci avel (portanto contnua) em ]a , a + [:
(y) = lim
k0
f
x
(a +
1
h, y + k)
f
x
(a +
1
h, y)
k
=

2
f
xy
(a +
1
h, y);
novamente pelo Teorema de Lagrange, existe
2
, 0 <
2
< 1, tal que
(b + k) (b) = k
(b +
2
k) = k

2
f
xy
(a +
1
h, b +
2
k),
isto e,
k

2
f
xy
(a +
1
h, b +
2
k) =
f
x
(a +
1
h, b + k)
f
x
(a +
1
h, b)
pelo que
hk

2
f
xy
(a +
1
h, b +
2
k) = (h, k)
Como

2
f
xy
e contnua em (a, b), ent ao
lim
(h,k)(0,0)
(h, k)
hk
= lim
(h,k)(0,0)
2
f
xy
(a +
1
h, b +
2
k) =

2
f
xy
(a, b)
N
Queremos mostrar que existe

2
f
yx
(a, b), isto e, que existe o limite
2
f
yx
(a, b) =

x
_
f
y
_
(a, b) = lim
h0
f
y
(a + h, b)
f
y
(a, b)
h
= lim
h0
lim
k0
f(a + h, b + k) f(a + h, b)
k
lim
k0
f(a, b + k) f(a, b)
k
h
= lim
h0
lim
k0
f(a + h, b + k) f(a + h, b) f(a, b + k) + f(a, b)
hk
= lim
h0
lim
k0
(h, k)
hk
Para cada h = 0, existe lim
k0
(h, k)
hk
=
f
y
(a + h, b)
f
y
(a, b)
h
; vimos atr as que existe
lim
(h,k)(0,0)
(h, k)
hk
pelo que existe o limite iterado lim
h0
lim
k0
(h, k)
hk
e estes limites s ao iguais
(conforme as considera c oes que se seguem ` a deni c ao de limite iterado).
Conclumos, pois, que existe

2
f
yx
(a, b) e
2
f
xy
(a, b) =

2
f
yx
(a, b).
NOTA 1: Do Teorema de Schwarz deduzimos imediatamente que se

2
f
xy
e

2
f
yx
forem
contnuas num conjunto aberto C R
2
ent ao

2
f
xy
(x, y) =

2
f
yx
(x, y), (x, y) C
NOTA 2: Aplicando o Teorema de Schwarz ` as derivadas de primeira ordem, conclui-
se que se

3
f
x
2
y
,

3
f
xyx
e

3
f
yx
2
forem contnuas, ent ao s ao iguais. Isto e, se forem
contnuas, as derivadas s ao iguais independentemente da ordem pela qual se derive em
rela c ao a cada vari avel (interessa apenas o n umero de vezes que se deriva em rela c ao a
cada vari avel). O mesmo se aplica ` as derivadas de ordem superior.
NOTA 3: Sejam f : D R
N
R e a um ponto interior a D. O Teorema de Schwarz
continua v alido com as adapta c oes evidentes (e com a mesma demonstra c ao):
Se as derivadas cruzadas
2
f
x
i
x
j
(x) e

2
f
x
j
x
i
(x)
est ao denidas numa vizinhan ca de a e s ao contnuas em a, ent ao
2
f
x
i
x
j
(a) =

2
f
x
j
x
i
(a).
E claro que as notas 1 e 2 continuam a aplicar-se ao caso de fun c oes de v arias vari aveis,
com as devidas adapta c oes:
se todas as derivadas em causa forem contnuas num conjunto aberto C D ent ao
p
1
+p
2
++p
N
f
x
p
1
1
x
p
2
2
. . . x
p
N
N
(x)
e independente da ordem pela qual se derive, desde que se derive p
1
vezes em ordem a x
1
,
p
2
vezes em ordem a x
2
, . . . , p
N
vezes em ordem a x
N
(seguindo a conven c ao de que se
algum dos p
i
for nulo, n ao se deriva em ordem a x
i
).
Vimos atr as que uma fun c ao pode ter todas as derivadas parciais de primeira ordem
num ponto e ser descontnua nesse ponto. No entanto, e v alido o seguinte Teorema (que
n ao demonstraremos):
Teorema 5.1.3 Seja f : D R
N
R uma fun c ao que admite derivadas parciais em
todos os pontos de um conjunto aberto C e tal que existe M > 0 vericando
f
x
i
(x)
< M, x C, i = 1, 2, . . . , N,
ent ao f e contnua em C.
Denicao 5.1.3 Diz-se que f : D R
N
R e continuamente derivavel num ponto
se admitir todas as derivadas parciais de primeira ordem e estas forem contnuas nesse
ponto.
f e continuamente derivavel num conjunto A D se f for continuamente derivavel
em todos os pontos de A. Neste caso, tambem se diz que f e de classe C
1
em A, e
escreve-se f C
1
(A).
Se p > 1, diz-se que f e de classe C
p
em A, e escreve-se f C
p
(A), se as derivadas
parciais de ordem p de f forem contnuas em A.
Diz-se que f e de classe C
em A, e escreve-se f C
(A), se f C
p
(A), p N.
2
R denida por
f(x, y) =
_
_
_
xy
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0).
tem derivadas parciais em todos os pontos de R
2
, mas estas s ao descontnuas em (0, 0);
por isso f / C
1
(R
2
). De facto, f C
1
(R
2
\ {(0, 0)}).
3
R denida por f(x, y, z) = e
xyz
e de classe C
em R
3
.
N
NOTA: Se f C
2
(A), A aberto de R
N
, estamos nas condi c oes do Teorema de Schwarz
pelo que
2
f
x
i
x
j
(x) =

2
f
x
j
x
i
(x), x A, i, j {1, 2, . . . , N}.
Mais geralmente, se f C
p
(A), podemos aplicar as considera c oes da Nota 3 a seguir
ao Teorema de Schwarz, com p = p
1
+ p
2
+ + p
N
.
5.2 Diferencial. 107
5.2 Diferencial.
Sejam f : D R R e a int(D). Diz-se que existe derivada de f em a (ou que f
e diferenci avel em a) se existir o limite
lim
h0
f(a + h) f(a)
h
= c ;
a c chama-se a derivada de f em a e escreve-se f
(a) = c.
O quociente da f ormula anterior n ao faz sentido se f : D R
N
R
P
, com N >
1 (nesse caso teramos h R
N
e n ao podemos dividir por h). Podemos, no entanto,
reformular a deni c ao anterior de modo a podermos efectuar a generaliza c ao pretendida
a fun c oes de v arias vari aveis. Consideremos a aplica c ao linear : R R dada por
(h) = f
(a) h, h R; a equa c ao anterior e equivalente a

lim
h0
f(a + h) f(a) (h)
h
= 0,
que, por sua vez, e equivalente a
lim
h0
|f(a + h) f(a) (h)|
|h|
= 0.
Podemos, pois, reformular a deni c ao de diferenciabilidade:
Diz-se que f : D R R e diferenci avel em a (a int(D)) se existir uma aplica c ao
linear : R R tal que
lim
h0
|f(a + h) f(a) (h)|
|h|
= 0.
E esta formula c ao que vamos generalizar.

N
R
P
e a um ponto interior a D. Diz-se que f e
diferenciavel em a se existir uma aplica c ao linear : R
N
R
P
tal que
lim
h0
f(a + h) f(a) (h)
h
= 0.
`
A aplica c ao linear chama-se o diferencial de f em a e representa-se por df(a) ou
por f
(a).
Ao valor de df(a) num elemento h R
N
chama-se diferencial de f, no ponto a,
segundo h.
Se f for diferenci avel em todos os pontos de um conjunto X int(D) podemos
denir a aplica c ao df que, a cada elemento x de X, faz corresponder o elemento df(x) de
N
L(R
N
, R
P
) (espa co das aplica c oes lineares de R
N
em R
P
). Assim:
df : X L(R
N
, R
P
).
NOTA: Tendo em conta a deni c ao de limite, dizer que f e diferenci avel em a int(D)
e equivalente a dizer que existem > 0, uma aplica c ao linear df(a) : R
N
R
P
e uma
fun c ao o : B
(a) R
P
tais que
f(a + h) = f(a) + df(a)(h) + o(h)
e a fun c ao o verica lim
h0
o(h)
h
= 0.
As fun c oes coordenadas de f(a + h) f(a) (h) s ao f
i
(a + h) f
i
(a)
i
(h), i =
1, . . . , P em que
i
e a fun c ao coordenada de (tambem linear, portanto). Vimos, quando
estud amos os limites, que o limite existe se, e s o se, existirem os limites das fun c oes
coordenadas pelo que
Teorema 5.2.1 Sejam f : D R
N
R
P
e a um ponto interior a D. f e diferenciavel
em a se, e so se, as fun c oes coordenadas de f forem diferenciaveis em a.
Dadas duas bases ordenadas, uma em R
N
e outra em R
P
, a cada aplica c ao linear,
, corresponde uma matriz com P linhas e N colunas e reciprocamente, a cada matriz
P N, corresponde uma aplica c ao linear, expressa naquelas bases. A coluna i da matriz
e formada pelos coecientes, na base de R
P
, da imagem do i-esimo elemento da base de
R
N
.
Doravante, consideramos as bases can onicas, isto e, as bases e
1
= (1, 0, . . . , 0), e
2
=
(0, 1, . . . , 0), . . . , e
N
= (0, 0, . . . , 1) e e
1
= (1, 0, . . . , 0), e
2
= (0, 1, . . . , 0), . . . , e
P
=
(0, 0, . . . , 1) em R
N
e R
P
, respectivamente.
Come camos por considerar o caso P = 1. Vejamos qual o valor de df(a)(e
i
). Visto
que lim
t0
(te
i
) = 0, se f e diferenci avel em a, ent ao
lim
t0
|f(a + te
i
) f(a) df(a)(te
i
)|
||te
i
||
= lim
t0
|f(a + te
i
) f(a) t df(a)(e
i
)|
|t| ||e
i
||
= lim
t0
|f(a + te
i
) f(a) t df(a)(e
i
)|
|t|
= lim
t0
f(a + te
i
) f(a) t df(a)(e
i
)
t
= lim
t0
f(a + te
i
) f(a)
t
df(a)(e
i
)
= 0
que e equivalente a
lim
t0
f(a + te
i
) f(a)
t
= df(a)(e
i
),
isto e,
f
x
i
(a) = lim
t0
f(a
1
, a
2
, . . . , a
i
+ t, . . . , a
N
) f(a
1
, a
2
, . . . , a
i
, . . . , a
N
)
t
= df(a)(e
i
),
pelo que a matriz que corresponde ao diferencial e
_
f
x
1
(a)
f
x
2
(a)
f
x
N
(a)
_
que se chama gradiente de f em a.
Se P > 1, ent ao
lim
t0
||f(a + te
j
) f(a) df(a)(te
j
)||
||te
j
||
= lim
t0
||f(a + te
j
) f(a) t df(a)(e
j
)||
|t|
= lim
t0
_
_
_
_
f(a + te
j
) f(a)
t
df(a)(e
j
)
_
_
_
_
= 0
que e equivalente a
lim
t0
f(a + te
j
) f(a)
t
= df(a)(e
j
),
o que, como vimos quando estud amos os limites, equivale a
f
i
x
j
(a) = lim
t0
f
i
(a
1
, a
2
, . . . , a
j
+ t, . . . , a
N
) f
i
(a
1
, a
2
, . . . , a
j
, . . . , a
N
)
t
= df
i
(a)(e
j
), i = 1, . . . , P.
Conclumos assim que a matriz correspondente ao diferencial e
_
_
f
1
x
1
(a)
f
1
x
N
(a)
.
.
.
.
.
.
f
P
x
1
(a)
f
P
x
N
(a)
_
_
que se chama matriz jacobiana (ou derivada total) de f em a. Observe-se que o gradiente
e a matriz jacobiana no caso em que P = 1.
A constru c ao que zemos da matriz jacobiana e apenas baseada na deni c ao de dife-
rencial o que nos permite concluir:
Teorema 5.2.2 Se f e diferenciavel em a, a aplica c ao linear : R
N
R
P
tal que
lim
h0
f(a + h) f(a) (h)
h
= 0,
e unica.
N
R e a um ponto interior a D. Se f e diferenciavel
em a, ent ao existem todas as derivadas parciais de primeira ordem de f em a e
df(a)(h) =
f
x
1
(a) h
1
+
f
x
2
(a) h
2
+ +
f
x
N
(a) h
N
, h R
N
.
N
Demonstra c ao: Vimos atr as que se f e diferenci avel em a, existem todas as derivadas
parciais de primeira ordem de f em a. Por outro lado, como a matriz associada a df(a) e
o gradiente sabe-se, da

Algebra Linear, que a imagem de h por df(a) e o elemento de R
que resulta do produto matricial
_
f
x
1
(a)
f
x
2
(a)
f
x
N
(a)
_
.
_
_
h
1
h
2
.
.
.
h
N
_
_
=
f
x
1
(a) h
1
+
f
x
2
(a) h
2
+ +
f
x
N
(a) h
N
.
EXEMPLO 1: Vamos vericar que fun c ao
f(x, y) =
_
_
_
(x
2
+ y
2
) sen
_
1
_
x
2
+ y
2
_
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
e diferenci avel em (0, 0).
Sabemos que se f for diferenci avel em (0, 0), ent ao
df(0, 0)(h, k) =
f
x
(0, 0) h +
f
y
(0, 0) k.
Calculemos as derivadas parciais de f em (0, 0):
f
x
(0, 0) = lim
h0
f(0 + h, 0) f(0, 0)
h
= lim
h0
h
2
sen
_
1
h
2
_
h
= lim
h0
h sen
_
1
|h|
_
= 0
e
f
y
(0, 0) = lim
k0
f(0, 0 + k) f(0, 0)
k
= lim
k0
k
2
sen
_
1
k
2
_
k
= lim
k0
k sen
_
1
|k|
_
= 0.
f ser a diferenci avel se
lim
(h,k)(0,0)
(h
2
+ k
2
) sen
_
1
h
2
+ k
2
_
0 0 h 0 k
(h, k)
= lim
(h,k)(0,0)
(h
2
+ k
2
) sen
_
1
h
2
+ k
2
_
(h, k)
= 0,
isto e, f e diferenci avel se
lim
(h,k)(0,0)
h
2
+ k
2
sen
_
1
h
2
+ k
2
_
= 0.
Usando coordenadas polares e tendo em conta que a fun c ao seno e limitada, obtemos
lim
r0
r sen
_
1
r
_
= 0,
pelo que f e diferenci avel em (0, 0).
EXEMPLO 2: Vamos vericar que a fun c ao f(x, y) =
_
|xy| n ao e diferenci avel em (0, 0).
Calculemos as derivadas parciais de f em (0, 0):
f
x
(0, 0) = lim
h0
f(0 + h, 0) f(0, 0)
h
= lim
h0
0 0
h
= 0
e
f
y
(0, 0) = lim
k0
f(0, 0 + k) f(0, 0)
k
= lim
k0
0 0
k
= 0
Pela deni c ao, f ser a diferenci avel se
lim
(h,k)(0,0)
f(0 + h, 0 + k) f(0, 0) 0 h 0 k
(h, k)
= 0
isto e, se
lim
(h,k)(0,0)
_
|hk|
(h, k)
= lim
(h,k)(0,0)
_
|hk|
h
2
+ k
2
= 0;
se considerarmos os limites direccionais (k = mh),
lim
h0
_
|h mh|
h
2
+ m
2
h
2
= lim
h0
_
|h
2
m|
_
h
2
(1 + m
2
)
= lim
h0
|h|
_
|m|
|h|
1 + m
2
= lim
h0
_
|m|
1 + m
2
=
_
|m|
1 + m
2
e assim se conclui que
lim
(h,k)(0,0)
_
|hk|
(h, k)
n ao existe, isto e, f n ao e diferenci avel em (0, 0).
EXEMPLO 3: Seja L : R
N
R
P
uma aplica c ao linear. Ent ao L e diferenci avel em todos
os pontos de R
N
e tem-se: dL(a) = L, a R
N
.
De facto, sejam a, h R
N
, quaisquer. Ent ao
L(a + h) = L(a) + L(h) = L(a) + L(h) + 0.
Basta ter em conta a Nota que se segue ` a deni c ao, tomando o(h) = 0.
N
Por facilidade de nota c ao, consideramos a seguir, P = 1. O caso P > 1, reduz-se a
este, tomando as fun c oes coordenadas.
Seja, para cada i {1, 2, . . . , N},
i
(x) =
i
(x
1
, x
2
, . . . , x
i1
, x
i
, x
i+1
, . . . , x
N
) = x
i
.
As fun c oes
i
s ao lineares de R
N
em R, pelo que d
i
=
i
; e usual representar estas
aplica c oes por dx
i
, isto e, dx
i
= d
i
=
i
. Note-se que, se h R
N
, dx
i
(h) = h
i
.
Pelo Teorema 5.2.3, sabemos que, se f for diferenci avel em a int(D), ent ao
df(a)(h) =
f
x
1
(a) h
1
+
f
x
2
(a) h
2
+ +
f
x
N
(a) h
N
, h R
N
,
pelo que
df(a)(h) =
f
x
1
(a) dx
1
(h) +
f
x
2
(a) dx
2
(h) + +
f
x
N
(a) dx
N
(h)
=
_
f
x
1
(a) dx
1
+
f
x
2
(a) dx
2
+ +
f
x
N
(a) dx
N
_
(h), h R
N
,
isto e,
df(a) =
f
x
1
(a) dx
1
+
f
x
2
(a) dx
2
+ +
f
x
N
(a) dx
N
.
Se f for diferenci avel em todos os pontos de X int(D), podemos escrever
df =
f
x
1
dx
1
+
f
x
2
dx
2
+ +
f
x
N
dx
N
em que, para cada i {1, 2, . . . , N},
f
x
i
e a fun c ao que, a cada x X, faz corresponder
f
x
i
(x).
Teorema 5.2.4 Se f e diferenciavel em a, ent ao e contnua em a.
Demonstra c ao: Usando a Nota que se segue ` a deni c ao de fun c ao diferenci avel, sabemos
que existe > 0 tal que
f(x) = f(a) + df(a)(x a) + o(x a), x B
(a) (D).
Como df(a) e linear, e contnua em R
N
, pelo que
lim
xa
df(a)(x a) = lim
xa0
df(a)(x a) = df(a)(0) = 0.
Por outro lado,
lim
xa
o(x a) = lim
xa0
_
o(x a)
x a
x a
_
= 0 0 = 0.
Concluimos, assim, que lim
xa
f(x) = f(a).
Tendo em conta a deni c ao e as regras de deriva c ao, facilmente se pode demonstrar
(o que nos abstemos de fazer) o seguinte:
Teorema 5.2.5 Se f e g s ao diferenciaveis em a ent ao f + g e diferenciavel em a e
d(f + g)(a) = df(a) + dg(a).
Se f e g s ao fun c oes reais, diferenciaveis em a, ent ao f g e diferenciavel em a
(d(f g)(a) = f(a) dg(a)+g(a) df(a)) e, se g(a) = 0, f/g e diferenciavel em a (d(f/g)(a) =
1/(g(a))
2
(g(a) df(a) f(a) dg(a))).
N
R
P
e g : E R
M
R
N
duas fun c oes tais que
g(E) D. Se g e diferenciavel em a e f e diferenciavel em b = g(a), ent ao f g e
diferenciavel em a e d(f g)(a) = df(b) dg(a).
Demonstra c ao: Usando a Nota que se segue ` a deni c ao de fun c ao diferenci avel, sabemos
que existem
1
> 0,
2
> 0, o
1
: B
1
(b) R
P
e o
2
: B
2
(a) R
N
tais que
f(y) = f(b) + df(b)(y b) + o
1
(y b), y B
1
(b)
e
g(x) = g(a) + dg(a)(x a) + o
2
(x a), x B
2
(a).
Como g e diferenci avel em a, e contnua em a, pelo que existe
3
tal que g(B
3
(a))
B
1
(b). Visto que a express ao anterior continua v alida se tomarmos
2
<
3
, obtemos,
para todo o x B
2
(a),
f(g(x)) = f(g(a)) + df(b)(g(x) b) + o
1
(g(x) b)
= f(g(a)) + df(b)(g(x) g(a)) + o
1
(g(x) g(a))
= f(g(a)) + df(b)(dg(a)(x a) + o
2
(x a)) + o
1
(dg(a)(x a) + o
2
(x a))
Pondo h = x a, a express ao anterior toma a forma
(f g)(a + h) = (f g)(a) + (df(b) dg(a))(h) + df(b)(o
2
(h)) + o
1
(dg(a)(h) + o
2
(h))
e terminamos a demonstra c ao se provarmos que
lim
h0
df(b)(o
2
(h)) + o
1
(dg(a)(h) + o
2
(h))
h
= 0
Visto que a aplica c ao df(b) e linear, e contnua e df(b)(0) = 0, pelo que
lim
h0
df(b)(o
2
(h))
h
= lim
h0
df(b)(
o
2
(h)
h
) = 0.
Sabemos que
lim
k0
o
1
(k)
k
= 0 e lim
h0
o
2
(h)
h
= 0,
que pela deni c ao de limite, s ao equivalentes a
> 0, > 0 : k <
o
1
(k)
k
<
N
e
> 0, > 0 : h <
o
2
(h)
h
< ,
isto e,
> 0, > 0 : k < o
1
(k) < k (5.1)
e
> 0, > 0 : h < o
2
(h) < h. (5.2)
Como dg(a) e uma aplica c ao linear,
C
1
> 0 : dg(a)(h) C
1
h
Tomando, em (5.2), < C
1
,
> 0 : h < dg(a)(h) + o
2
(h) dg(a)(h) +o
2
(h)
C
1
h + h < 2C
1
h = Ch < C.
Nesta express ao, podemos tomar <

C
e obtemos
h < dg(a)(h) + o
2
(h) < Ch < . (5.3)
Sejam > 0, qualquer, e > 0 tal que
k < o
1
(k) <

C
k.
Para este , seja > 0 tal que (5.3) se verica. Ent ao
h < o
1
(dg(a)(h) + o
2
(h)) <

C
dg(a)(h) + o
2
(h) <

C
C h = h.
Prov amos que
> 0, > 0 : h < o
1
(dg(a)(h) + o
2
(h)) < h,
isto e,
lim
h0
o
1
(dg(a)(h) + o
2
(h))
h
= 0.
Sejam f : D R
N
R
P
e g : E R
M
R
N
duas fun c oes tais que g(E) D, g
diferenci avel em a e f diferenci avel em b = g(a). Pelo Teorema 5.2.6 a fun c ao h = f g
e diferenci avel em a e dh(a) = df(b) dg(a). Sabemos que a matriz correspondente ` a
composi c ao de duas aplica c oes lineares e o produto das matrizes correspondentes a cada
uma das aplica c oes. Assim a matriz jacobiana de h em a e o produto das matrizes
jacobianas de f em b e de g em a:
_
_
h
1
x
1
(a)
h
1
x
M
(a)
.
.
.
.
.
.
h
P
x
1
(a)
h
P
x
M
(a)
_
_
=
_
_
f
1
y
1
(b)
f
1
y
N
(b
.
.
.
.
.
.
f
P
y
1
(b)
f
P
y
N
(b)
_
_
_
_
g
1
x
1
(a)
g
1
x
M
(a)
.
.
.
.
.
.
g
N
x
1
(a)
g
N
x
M
(a)
_
_
=
_
_
N
i=1
f
1
y
i
(b)
g
i
x
1
(a)
N
i=1
f
1
y
i
(b)
g
i
x
M
(a)
.
.
.
.
.
.
N
i=1
f
P
y
i
(b)
g
i
x
1
(a)
N
i=1
f
P
y
i
(b)
g
i
x
M
(a)
_
_
Deduzimos que se f : D R
N
R
P
e g : E R
M
R
N
s ao duas fun c oes tais que
g(E) D, g diferenci avel em a e f diferenci avel em b = g(a) ent ao a fun c ao h = f g e
diferenci avel em a e
h
i
x
j
(a) =
N
r=1
f
i
y
r
(b)
g
r
x
j
(a), i = 1, . . . , P, j = 1, . . . , M
que e conhecida como regra de derivacao da funcao composta.
EXEMPLO 1: Seja F : R
2
R; considerando a fun c ao u(s, t) = F(s
2
t
2
, t
2
s
2
) vamos
mostrar que
t
u
s
+ s
u
t
= 0.
Consideremos a fun c ao composta
R
2
R
2
R
(s, t) (x, y) u = F(x, y)
com
_
x = s
2
t
2
y = t
2
s
2
Ent ao
u
s
=
u
x
x
s
+
u
y
y
s
= 2s
u
x
2s
u
y
e
u
t
=
u
x
x
t
+
u
y
y
t
= 2t
u
x
+ 2t
u
y
.
Destas ultimas igualdades obtemos
t
u
s
+ s
u
t
= t (2s
u
x
2s
u
y
) + s (2t
u
x
+ 2t
u
y
)
N
= 2st
u
x
2st
u
y
2st
u
x
+ 2st
u
y
= 0
EXEMPLO 2: Sejam f : R
3
R
2
, denida por
f(x, y, z) = (x
2
+ y
2
+ z
2
, x
2
+ y
2
z
2
),
e g : R
3
R
3
, denida por
g(r, , ) = (r cos() cos(), r cos() sen(), r sen()).
Como as fun c oes coordenadas de f e g s ao diferenci aveis, a fun c ao h = f g e dife-
renci avel em R
3
. Para facilitar as nota c oes consideramos
R
3
R
3
R
2
(r, , ) (x, y, z) (u, v) = h(r, , )
com
_
_
_
x = r cos() cos()
y = r cos() sen()
z = r sen()
e
_
u = x
2
+ y
2
+ z
2
v = x
2
+ y
2
z
2
A matriz jacobiana de f e
_
_
u
x
u
y
u
z
v
x
v
y
v
z
_
_
=
_
_
2x 2y 2z
2x 2y 2z
_
_
e a matriz jacobiana de g e
_
_
x
r
x
y
r
y
z
r
z
_
=
_
_
cos() cos() r sen() cos() r cos() sen()
cos() sen() r sen() sen() r cos() cos()
sen() r cos() 0
_
_
.
A matriz jacobiana de h e (antes de substituir x, y e z pelos seus valores):
_
_
2x 2y 2z
2x 2y 2z
_
_
cos() cos() r sen() cos() r cos() sen()
cos() sen() r sen() sen() r cos() cos()
sen() r cos() 0
_
_
,
pelo que
h
1
r
= 2x cos() cos() + 2y cos() sen() + 2z sen()
= 2r cos
2
() cos
2
() + 2r cos
2
() sen
2
() + 2r sen
2
()
= 2r (cos
2
() cos
2
() + cos
2
() sen
2
() + sen
2
())
= 2r (cos
2
() (cos
2
() + sen
2
()) + sen
2
()) = 2r (cos
2
() + sen
2
()) = 2r,
h
1
= 2xr sen() cos() 2yr sen() sen() + 2zr cos()

= 2r
2
cos() sen() cos
2
() 2r
2
cos() sen() sen
2
() + 2r
2
cos() sen()
= 2r
2
cos() sen()(cos
2
() + sen
2
()) + 2r
2
cos() sen()
= 2r
2
cos() sen() + 2r
2
cos() sen() = 0
h
1
= 2xr cos() sen() + 2yr cos() cos() + 0

= 2r
2
cos
2
() sen() cos() + 2r
2
cos
2
() cos() sen() = 0
h
2
r
= 2x cos() cos() + 2y cos() sen() 2z sen()
= 2r cos
2
() cos
2
() + 2r cos
2
() sen
2
() 2r sen
2
()
= 2r (cos
2
() cos
2
() + cos
2
() sen
2
() sen
2
())
= 2r (cos
2
() (cos
2
() + sen
2
()) sen
2
()) = 2r (cos
2
() sen
2
()) = 2r cos(2),
h
2
= 2xr sen() cos() 2yr sen() sen() 2zr cos()

= 2r
2
cos() sen() cos
2
() 2r
2
cos() sen() sen
2
() 2r
2
cos() sen()
= 2r
2
cos() sen()(cos
2
() + sen
2
()) 2r
2
cos() sen()
= 2r
2
cos() sen() 2r
2
cos() sen() = 2r
2
sen(2)
h
2
= 2xr cos() sen() + 2yr cos() cos() + 0

= 2r
2
cos
2
() sen() cos() + 2r
2
cos
2
() cos() sen() = 0
N
A matriz jacobiana de h e pois
_
_
2r 0 0
2r cos(2) 2r
2
sen(2) 0
_
_
.
Teorema 5.2.7 (Princpio de invariancia do diferencial)
Sejam f : D R
N
R
P
e g : E R
M
R
N
duas fun c oes diferenciaveis tais que
g(E) D. O diferencial de u = f g, em ordem às variaveis x
1
, x
2
, . . . , x
M
, pode obter-
se formando em primeiro lugar o diferencial de u em ordem a y
1
, y
2
, . . . , y
N
e exprimindo
em seguida o diferencial de y
i
, i = 1, . . . , N, em ordem a x
1
, x
2
, . . . , x
M
.
Demonstra c ao: Consideramos, para simplicar a nota c ao, P = 1. O caso P > 1 reduz-se
a este, tomando as fun c oes coordenadas.
Usando a Regra de Deriva c ao da Fun c ao Composta e as nota c oes introduzidas atr as,
du =
M
k=1
u
x
k
dx
k
=
M
k=1
_
N
i=1
u
y
i
y
i
x
k
_
dx
k
=
N
i=1
u
y
i
_
M
k=1
y
i
x
k
dx
k
_
=
N
i=1
u
y
i
dy
i
EXEMPLO: Sejam f : R
2
R e g : R
2
R
2
duas fun c oes denidas por
f(x, y) = x
2
2 xy e g(r, ) = (r cos(), r sen()).
A fun c ao composta e dada por
u(r, ) = f(g(r, )) = r
2
cos
2
() 2r
2
cos()sen().
Como vimos atr as,
du =
u
x
dx +
u
y
dy,
dx =
x
r
dr +
x
d
e
dy =
y
r
dr +
y
d,
pelo que
du =
u
x
dx +
u
y
dy = (2x 2y)dx 2xdy
= (2x 2y)(cos()dr r sen()d) 2x(sen()dr + r cos()d)
= (2r cos() 2r sen())(cos()dr r sen()d) 2r cos()(sen()dr + r cos()d)
= 2r cos
2
()dr 2r
2
cos() sen()d 2r cos() sen()dr
+2r
2
sen
2
()d 2r cos() sen()dr 2r
2
cos
2
()d
= (2r cos
2
() 4r cos() sen())dr + (2r
2
sen
2
() 2r
2
cos() sen() 2r
2
cos
2
())d
= 2r(cos
2
() sen(2))dr + 2r
2
( sen
2
() cos() sen() cos
2
())d
= 2r(cos
2
() sen(2))dr 2r
2
(cos(2) + 1/2 sen(2))d =
u
r
dr +
u
d
N
R e X um subconjunto aberto de D. Se f
C
1
(X), ent ao f e diferenciavel em todos os pontos de X.
Demonstra c ao: Sejam a X e > 0 tal que B
(a) X. Seja h B
(0), isto e,
a+h B
(a); consideremos, como de costume, a base can onica de R

N
: e
1
= (1, 0, . . . , 0),
e
2
= (0, 1, . . . , 0), . . . , e
N
= (0, 0, . . . , 1).
Podemos escrever
f(a + h) = f(a
1
+ h
1
, a
2
+ h
2
, . . . , a
N
+ h
N
) = f(a + h
1
e
1
+ h
2
e
2
+ + h
N
e
N
)
pelo que
f(a + h) f(a) = f(a + h
1
e
1
+ h
2
e
2
+ + h
N
e
N
) f(a)
= f(a + h
1
e
1
+ h
2
e
2
+ + h
N
e
N
) f(a + h
2
e
2
+ + h
N
e
N
)
+f(a + h
2
e
2
+ + h
N
e
N
) f(a + h
3
e
3
+ + h
N
e
N
) + + f(a + h
N
e
N
) f(a).
Para cada i (i = 1, 2, . . . , N), consideremos a fun c ao
(t) = f(a + t h
i
e
i
+ h
i+1
e
i+1
+ + h
N
e
N
)
Se t [1, 1],
t h
i
e
i
+ h
i+1
e
i+1
+ + h
N
e
N
=
_
t
2
h
2
i
+ h
2
i+1
+ + h
2
N
_
h
2
i
+ h
2
i+1
+ + h
2
N

_
h
2
1
+ h
2
2
+ + h
2
N
= h
e conclumos que (a + t h
i
e
i
+ h
i+1
e
i+1
+ + h
N
e
N
) B
(a) X, pelo que a fun c ao

est a bem denida em [1, 1]. Se t
0
] 1, 1[, pelas deni c oes de derivada e de derivada
parcial,
(t
0
) = lim
s0
(t
0
+ s) (t
0
)
s
= lim
s0
f(a + (t
0
+ s) h
i
e
i
+ + h
N
e
N
) f(a + t
0
h
i
e
i
+ + h
N
e
N
)
s
= h
i
lim
s0
f(a + t
0
h
i
e
i
+ s h
i
e
i
+ + h
N
e
N
) f(a + t
0
h
i
e
i
+ + h
N
e
N
)
h
i
s
= h
i
f
x
i
(a + t
0
h
i
e
i
+ h
i+1
e
i+1
+ + h
N
e
N
)
(se h
i
= 0, a igualdade mantem-se porque, nesse caso (t
0
+s) e (t
0
) tem o mesmo valor
e
(t
0
) = 0). A fun c ao tem, pois, derivada em todos os pontos de ] 1, 1[; do mesmo
N
modo, podemos vericar que tem derivada ` a esquerda em 1 e derivada ` a direita em 1,
pelo que e contnua em [1, 1]. A fun c ao est a nas condi c oes do Teorema de Lagrange:
i
]0, 1[: (1) (0) =
(
i
)
isto e
i
]0, 1[: f(a + h
i
e
i
+ h
i+1
e
i+1
+ + h
N
e
N
) f(a + h
i+1
e
i+1
+ + h
N
e
N
)
= h
i
f
x
i
(a +
i
h
i
e
i
+ h
i+1
e
i+1
+ + h
N
e
N
).
Ent ao
i
]0, 1[, i = 1, . . . , N tais que
f(a + h) f(a) = h
1
f
x
1
(a +
1
h
1
e
1
+ h
2
e
2
+ + h
N
e
N
)
+h
2
f
x
2
(a +
2
h
2
e
2
+ + h
N
e
N
) + + h
N
f
x
N
(a +
N
h
N
e
N
)
= h
1
f
x
1
(a) + h
2
f
x
2
(a) + + h
N
f
x
N
(a)+
h
1
(
f
x
1
(a +
1
h
1
e
1
+ h
2
e
2
+ + h
N
e
N
)
f
x
1
(a))
+h
2
(
f
x
2
(a +
2
h
2
e
2
+ + h
N
e
N
)
f
x
2
(a))
+ + h
N
(
f
x
N
(a +
N
h
N
e
N
)
f
x
1
(a))).
Para cada i (i = 1, 2, . . . , N), seja
i
a fun c ao dada por
i
(h) =
f
x
i
(a +
i
h
i
e
i
+ + h
N
e
N
)
f
x
i
(a).
Como vimos atr as,
f(a + h) f(a) = h
1
f
x
1
(a) + h
2
f
x
2
(a) + + h
N
f
x
N
(a)
+h
1
1
(h) + h
2
2
(h) + + h
N
N
(h).
Pela desigualdade de Cauchy-Schwarz,
|h
1
1
(h) + h
2
2
(h) + + h
N
N
(h)|
_
h
2
1
+ h
2
2
+ + h
2
N
_
2
1
(h) +
2
2
(h) + +
2
N
(h)
= h
_
2
1
(h) +
2
2
(h) + +
2
N
(h),
pelo que
lim
h0
|h
1
1
(h) + h
2
2
(h) + + h
N
N
(h)|
h
lim
h0
_
2
1
(h) +
2
2
(h) + +
2
N
(h) = 0.
Note-se que, por hip otese, f C
1
(B
(a)) o que implica que

lim
h0
i
(h) = lim
h0
_
f
x
i
(a + h)
f
x
i
(a)
_
=
lim
h0
_
f
x
i
(a +
i
h
i
e
i
+ + h
N
e
N
)
f
x
i
(a)
_
= 0
Prov amos, assim, que f e diferenci avel em a.
N
5.3 Derivada segundo um vector.
N
R
P
, a int(D) e u um vector de R
N
. Chama-se
derivada de f, no ponto a, segundo o vector u, ao limite (se existir)
lim
t0
f(a + t u) f(a)
t
.
Designa-se esta derivada por f
u
(a) ou D
u
f(a).
EXEMPLO 1: Consideremos f : R
2
R dada por f(x, y) = 2x +5y
2
e u = (2, 1); ent ao,
f
u
(1, 1) = lim
t0
f((1, 1) + t(2, 1)) f(1, 1)
t
= lim
t0
f(1 + 2t, 1 + t) f(1, 1)
t
= lim
t0
2(1 + 2t) + 5(1 + t)
2
7
t
= lim
t0
2 + 4t + 5 + 10t + 5t
2
7
t
= lim
t0
(14 + 5t) = 14
EXEMPLO 2: Sejam f : D R
N
R e a int(D) um ponto tal que existe
f
x
i
(a).
Ent ao, se e
i
designa o i-esimo vector da base can onica,
f
e
i
(a) = lim
t0
f(a + t e
i
) f(a)
t
= lim
t0
f(a
1
, . . . , a
i1
, a
i
+ t, a
i+1
, . . . , a
N
) f(a
1
, . . . , a
i1
, a
i
, a
i+1
, . . . , a
N
)
t
=
f
x
i
(a)
Conclumos, assim, que a i-esima derivada parcial de f em a e igual ` a derivada de f,
segundo o vector e
i
, em a.
Teorema 5.3.1 Se f : D R
N
R e diferenciavel em a int(D), ent ao f admite
derivada segundo qualquer vector, no ponto a, que e dada por
f
u
(a) =
f
x
1
(a) u
1
+
f
x
2
(a) u
2
+ +
f
x
N
(a) u
N
.
Demonstra c ao: Sejam a int(D) e g : R R
N
dada por g(t) = a + tu. Consideremos
a fun c ao = f g; trata-se de uma fun c ao real de vari avel real, que est a denida
numa vizinhan ca de 0 (se B
(a) D, ent ao est a denida em ] , [). A fun c ao

e diferenci avel em 0 por ser a composi c ao da fun c ao g, que e diferenci avel em 0, com a
fun c ao f, que e diferenci avel em a = g(0). Podemos usar a regra de deriva c ao da fun c ao
composta:
(0) =
N
i=1
f
x
i
(a) g
i
(0) =
N
i=1
f
x
i
(a) u
i
.
5.3 Derivada segundo um vector. 123
Por outro lado,
(0) = lim
t0
(0 + t) (0)
t
= lim
t0
f(g(t)) f(g(0))
t
= lim
t0
f(a + tu) f(a)
t
= f
u
(a).
NOTA: Podamos ter enunciado o Teorema do seguinte modo:
Se f : D R
N
R e diferenci avel em a int(D), ent ao f admite derivada segundo
qualquer vector u, no ponto a, que e dada por f
u
(a) = gradf(a) u, isto e, f
u
(a) e o
produto interno do gradiente de f, em a, por u.
EXEMPLO 1: Consideremos, como no Exemplo 1 a seguir ` a deni c ao, f : R
2
R dada
por f(x, y) = 2x + 5y
2
e u = (2, 1); ent ao, f
u
(1, 1) = (2, 10) (2, 1) = 14.
EXEMPLO 2: Se f n ao for diferenci avel, a f ormula evidenciada no Teorema pode n ao ser
v alida. Consideremos, por exemplo, a fun c ao f : R
2
R dada por
f(x, y) =
_
0, se x = y
x + y, se x = y
Seja u = (1, 1). Ent ao
f
u
(0, 0) = lim
t0
f((0, 0) + t(1, 1)) f(0, 0)
t
= lim
t0
f(t, t) 0
t
= lim
t0
2t
t
= 2
e
f
x
(0, 0) u
1
+
f
y
(0, 0) u
2
= 0 1 + 0 1 = 0.
N
Captulo 6
Exerccios
6.1 Series Numericas
1. Determine o termo geral e a soma de cada uma das seguintes series:
(a)
1
3
+
1
8
+
1
15
+
1
24
+ ;
(b)
1
1 2 3
+
1
2 3 4
+
1
3 4 5
+ ;
(c)
1
1 2 3 4
+
1
2 3 4 5
+
1
3 4 5 6
+ .
2. Determine a soma das series:
(a)
n=1
(1)
n
2n + 1
n(n + 1)
;
(b)
n=1
1
2
n
tg
_
a
2
n
_
, sabendo que tg
_
x
2
_
= cotg
_
x
2
_
2 cotg(x);
(c)
n=1
n + 1
n
2
+ n
;
(d)
n=1
(1)
n
8
3
n
.
3. Seja
n=1
a
n
uma serie convergente. Mostre que e divergente a serie
n=1
a
3
n
+ 5n
n
2
+ 1
.
126 6. Exerccios
4. Indique os valores de x para os quais convergem as seguintes series e, quando
possvel, calcule a sua soma:
(a)
n=0
8
n
(x + 1)
3n
;
(b)
n=1
(|x| 1)
n
;
(c)
n=0
(1)
n
x
2n+1
.
5. Mostre que se
n=0
a
n
= A R, ent ao
n=1
(a
n1
+ a
n
+ a
n+1
) = 3A a
1
2a
0
.
6. Estude do ponto de vista da convergencia as seguintes series e, em caso de con-
vergencia, se esta e absoluta ou condicional:
(a)
n=1
(1)
n+1
n
;
(b)
n=1
(1)
n1
n
2
;
(c)
n=1
(1)
n
n
2
1 + n
2
.
7. Considere a seguinte serie:
n=1
(1)
n+1
n
.
(a) Estude-a quanto ` a convergencia.
(b) Qual a soma S
n
da serie que d a um erro inferior a
1
1000
?
(c) Indique um majorante do erro que se comete quando se toma para soma da
serie S
5
.
8. Considere a serie:
n=1
(1)
n
(n + 1)
2
.
(a) Verique que e convergente.
(b) Calcule a soma com erro inferior a
1
1000
.
6.1 Series Numericas 127
9. Sejam
a
n
e
b
n
duas series convergentes,
c
n
e
d
n
duas series divergentes e
= 0 um n umero real. O que se pode armar sobre a natureza das seguintes series?
(a)
(a
n
+ b
n
) (b)
(a
n
b
n
)
(c)
(a
n
) (d)
(a
n
+ c
n
)
(e)
(a
n
c
n
) (f)
(c
n
)
(g)
(c
n
+ d
n
) (h)
(c
n
d
n
)
10. Determine a natureza das seguintes series por um criterio de compara c ao:
(a)
n=1
1
n
3
+ 3
(b)
n=1
_
_
n + 1
n
2
+ 1
_
(c)
n=1
1
_
n(n
2
+ 1)
(d)
n=1
(n
n
2
1)
(e)
n=1
1
(n + 1)
n
(f)
n=2
n +
n
n
2
n
(g)
n=1
n
n
(n + 1)
3
n
3
+ 1
(h)
n=1
n
2
+ 1
n
3
+ 1
11. Estude a natureza das seguintes series pelo Criterio da Raiz (ou da Raiz de Cauchy):
(a)
n=1
1
n4
n
(b)
n=1
k
n
n!
, k constante
(c)
n=1
_
n
n + 1
_
n
2
(d)
n=1
_
sen
_
n
__
n
12. Estude a natureza das seguintes series pelo Criterio da Raz ao ou pelo de DAlem-
bert:
(a)
n=1
n
3
n!
(b)
n=1
n
n
(2n)!
(c)
n=1
n!
n
2
(d)
1
3
+
2
3
2
+
3
3
3
+
(e)
1
3
+
2!
3
2
+
3!
3
3
+ (f) 1 +
2
3
+
2 3
3 5
+
2 3 4
3 5 7
+
128 6. Exerccios
13. Estude a natureza das seguintes series pelo Criterio de Raabe:
(a)
n=1
n n!
(2n + 1)!
(b)
n=1
n
(2n + 1)!
(c)
n=1
n 1
n
(d)
n=1
n
n
2
+ 1
(e)
n=1
1
n(n + 1)(n + 2)
14. Usando o Criterio do Integral, estude a natureza das seguintes series:
(a)
n=2
1
n(log n)
2
(b)
n=2
1
nlog n
(c)
n=1
1
n + 1 1
(d)
n=1
_
1
2
_
n
15. Estude quanto ` a convergencia as seguintes series:
(a)
n=0
1
n
2
+ 1
(b)
n=2
1
_
n(n
2
1)
(c)
n=1
e
n
n
n
n!
(d)
n=1
(n + p)!
n!(n + q)!
, p, q N
(e)
n=1
_
(1)
n
n(n + 1)
+
1
3
n
_
(f)
n=0
(1)
n
2n + 3
(n + 1)(n + 2)
(g)
n=3
_
tg
_
n
__
n
(h)
n=1
1
n
cos
_
n
2
_
(i)
n=1
1
n
(1+
1
n
)
(j)
n=1
_
2n
4n + 1
_
3n1
(k)
n=1
n!
( + 1)( + 2) . . . ( + n)
(l)
n=3
cos (n) tg
_
e
n
_
(m)
n=1
_
n!
n
n
2
n
+
1
n
2
+ n
_
(n)
n=1
sen(n + 1)
n
2
log (n + 1)
(o)
n=0
1
2
n
+ a
, a R
+
0
(p)
n=3
_
1
3
n
+
(n!)
2
(2n)!
_
(q)
n=1
2
n
2
+ p
2
(r)
n=1
n
2
+ 2n + 1
3n
2
+ 2
(s)
n=1
_
sen
_
3
2
__
n
n
2
+ 1
(t)
n=2
1
n
n
log n
(u)
n=2
1
n
(
1+
1
log n
)
(v)
n=2
n
e
log n
(x)
n=1
1
_
(n + 1)(n + 2)
(z)
n=1
1
_
n(n
2
+ 2)
16. Estude quanto ` a convergencia as seguintes series:
(a)
n=1
|sen(n)|
n
2
(b)
n=0
5
2n
(n + 1)!
(c)
n=0
_
a
n + 3
_
n
, a R (d)
n=0
2
n
(2n + 1)!
(e)
n=1
2 cos (n)
n
5
2
(f)
n=2
log
log
_
1
n!
_
(g)
n=0
n
2n
(2n)!
x
n
(h)
n=1
log (n!) + n!
n
n
+ 2
n
(i) 1 +
1
2

1
3
+
1 3
2 4

1
5
+
1 3 5
2 4 6

1
7
+ (j)
n=1
2n 1 log (4n + 1)
n(n + 1)
17. Seja
a
n
uma serie convergente. Mostre que a serie
b
n
, onde
b
1
= a
1
+ a
2
b
2
= a
3
+ a
4
+ a
5
b
3
= a
6
+ a
7
+ a
8
+ a
9
b
4
= a
10
+ a
11
+ a
12
+ a
13
+ a
14
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
tambem e convergente e as somas coincidem.
18. Para que valores de s ao simples ou absolutamente convergentes as seguintes series:
(a)
n=1
(1 + sen())
n
130 6. Exerccios
(b)
n=0
(1)
n
1
(n + 1)
19. Sejam
a
n
e
b
n
duas series convergentes, a
n
> 0, b
n
> 0. Mostre que a serie
_
a
n
b
n
tambem converge. (Sugest ao: prove que
a
n
+ b
n
2

_
a
n
b
n
).
20. Sabendo que
a
n
e convergente, a
n
> 0, e b
n
> 0, qual a natureza da serie
a
n
1 + b
n
?
21. Sabendo que
a
n
e
b
n
s ao convergentes, estude quanto ` a convergencia as seguin-
tes series:
(a)
_
1
a
n
+
1
b
n
_
sendo a
n
> 0 e b
n
> 0.
(b)
n + 1
n
a
n
.
22. Seja
a
n
uma serie divergente, a
n
0, e seja s
n
a soma dos seus n primeiros
termos. Mostre que a serie
s
n+1
s
n
)
e divergente.
23. Prove que a serie
a
0
n
p
+ + a
p
b
0
n
q
+ + b
q
em que a
0
, . . . , a
p
, b
0
, . . . , b
q
s ao n umeros reais e a
0
> 0, b
0
> 0, e convergente se e
s o se q p > 1.
24. Estude quanto ` a convergencia simples e absoluta as series
(a)
n=1
a
n
(1 + a)(1 + a
2
) . . . (1 + a
n
)
, a > 0
(b)
n=1
( + 1)( + 2) . . . ( + n)
( + 1)( + 2) . . . ( + n)
i. Se , R \ Z
.
ii. Se Z
.
25. Seja u
n
> 0 e
u
n+1
u
n
1
2
n
+
1
n
2
. Mostre que
u
n
e convergente.
26. Seja u
n
> 0 e
u
n+1
u
n
1
1
n
. Mostre que
u
n
e divergente.
27. Estude a natureza da serie
n=0
(3n!)
27
n
(n!)
3
.
28. Considere as series
0
(1)
n
n!
e
0
1
(n + 1)
n + 1
.
(a) Calcule a soma de ordem tres do produto de Cauchy das duas series.
(b) Estude quanto ` a convergencia a serie produto.
132 6. Exerccios
6.2 Series de Func oes
1. Mostre que se tem
1
1 + x
=
n=0
(1)
n
x
n
com |x| < 1.
2. Mostre que a serie de fun c oes
n=0
x
2
(1 + x
2
)
n
dene uma fun c ao de domnio R e que a serie n ao e uniformemente convergente num
intervalo que contenha o ponto x = 0.
3. Prove que a serie de fun c oes
n=1
(1)
n
x
2
+ n
n
2
converge uniformemente em todo o intervalo limitado, mas que n ao existe x tal que
a serie seja absolutamente convergente.
4. Tendo em conta que
e
x
=
n=0
x
n
n!
mostre que
lim
x0
e
x
1
x
= 1.
5. Estude quanto ` a convergencia a serie
n=1
n
x
n
com R, x = 0 e mostre que ela e uniformemente convergente no intervalo [2,3].
n=2
(x
1
n
x
1
n1
)
converge pontualmente em [0,1], mas n ao uniformemente.
6.2 Series de Fun c oes 133
n=1
sen(nx)
n
2
converge uniformemente em R, mas que, no entanto, h a pontos de R nos quais a
serie das derivadas diverge. Prove ainda que
f(x) =
n=1
sen(nx)
n
2
e integr avel em [0,1]; exprima
_
1
0
f(x)dx
como soma de uma serie.
n=1
e
nx
2
n
converge em [0,1] e que a fun c ao soma e integr avel nesse intervalo; exprima o integral
dessa fun c ao no intervalo [0,1] como soma de uma serie.
n=0
cos(nx)
2
n
converge em R e que a fun c ao soma e diferenci avel.
10. Considere a fun c ao
f(x) =
n=1
x
n(x + n)
sendo x R
+
0
.
(a) Prove que f e contnua em [0,1].
(b) Calcule
_
1
0
f(x)dx.
11. Estude quanto ` a convergencia uniforme as series de fun c oes
(a)
n=1
x
n
n
2
, x [0, 1].
(b)
n=1
x
n
(1 x
n
), x [0, 1].
12. Estude quanto ` a convergencia as seguintes series de fun c oes
134 6. Exerccios
(a)
n=0
n
n
x
n
;
(b)
n=1
(1)
n
2n 1
_
1 x
1 + x
_
n
;
(c)
n=0
(x + 3)
n
(n + 1)2
n
;
(d)
n=0
(1 x
2
)
n
n + 2
;
(e)
n=0
(1)
n
x
2n+1
2n + 1
;
(f)
n=0
_
1 +
(1)
n
2
_
n
(2x + 1)
n
.
13. Sejam a, b R
+
. Determine os valores de x para os quais as seguintes series s ao
absolutamente convergentes:
(a)
n=0
a
n
2
x
n
, a < 1.
(b)
n=0
x
n
a
n
+ b
n
.
14. Escreva o desenvolvimento de MacLaurin para as fun c oes:
(a) x a
x
, a > 0;
(b) x
1
a
2
+ x
2
;
(c) x arc tg x.
15. Sabendo que
senh(x) =
e
x
e
x
2
e cosh(x) =
e
x
+ e
x
2
x R
escreva as respectivas series de potencias de x.
16. Desenvolva em serie de potencias de x + 3 a fun c ao
f : x
2
4x + 5
e determine o raio de convergencia da serie.
6.2 Series de Fun c oes 135
17. Desenvolva em serie de potencias de x 3 a fun c ao
f : x
1
x
2
6x + 5
e determine o intervalo de convergencia da serie obtida.
18. Obtenha por dois processos diferentes a serie de MacLaurin da fun c ao
f(x) = (1 + x)
2
.
Qual o raio de convergencia da serie?
19. Determine duas series de potencias que representem a fun c ao
f : x
1
2 x
no intervalo
_
1
2
,
3
2
. Justique a resposta.
20. Determine a serie de Taylor da fun c ao
f(x) =
_
x
0
e
t
2
dt
numa vizinhan ca de x = 0.
21. Desenvolva em serie de MacLaurin a fun c ao
f : x 2
x
+
1
2 + x
e indique, justicando, o intervalo de convergencia da serie obtida.
22. Desenvolva em serie de MacLaurin a fun c ao
f : x xlog(1 + x
3
)
e aproveite o desenvolvimento para justicar que a fun c ao tem um mnimo no ponto
x = 0.
23. Desenvolva em serie de potencias de x 2 a fun c ao
f : x log(x)
e indique um intervalo aberto no qual a fun c ao coincide com a soma da serie obtida.
24. Desenvolva em serie de potencias de x 1 as fun c oes
f : x log(3 x) e f : x
1
x
2
.
Em cada caso indique o maior intervalo aberto em que o desenvolvimento representa
a fun c ao considerada.
25. Seja f a fun c ao denida por f(x) = x
2
log(x
2
) em R \ {0}. Desenvolva f em serie
de potencias de x 1 e indique o maior intervalo aberto onde esse desenvolvimento
representa a fun c ao.
136 6. Exerccios
6.3 Normas e metricas
1. (a) Quando se diz que num espa co linear real est a denida uma norma?
(b) Considere o espa co linear real, P
3
, dos polin omios reais, p(x), de grau menor
ou igual a 3 (com a adi c ao usual de polin omios e a multiplica c ao usual de um
n umero real por um polin omio). Seja p(x) = a
3
x
3
+a
2
x
2
+a
1
x+a
0
um elemento
generico de P
3
. Mostre que se dene uma norma em P
3
fazendo
p(x) =
3
i=0
|a
i
|.
(c) Em rela c ao ` a alnea anterior indique qual a metrica induzida pela norma.
2. Suponha denida em R uma norma p. Mostre que se pode denir em R
2
uma norma
q fazendo
q(x, y) = 3p(x) + 5p(y), (x, y) R
2
.
3. Considere o conjunto C das fun c oes reais de uma vari avel real contnuas no intervalo
[0,1]. Mostre que se dene uma metrica em C fazendo
(f, g) =
_
1
0
|f(x) g(x)|dx, f, g C.
Ser a esta metrica induzida por uma norma? Justique.
4. Verique que a fun c ao
d(x, y) =
_
1, se x = y
0, se x=y
denida num espa co vectorial e uma dist ancia, mas que n ao e possvel denir no
espa co uma norma . tal que d(x, y) = x y .
5. Considere o espa co linear real, P
1
, dos polin omios reais, p(x), de grau menor ou
igual a 1 (com a adi c ao usual de polin omios e a multiplica c ao usual de um n umero
real por um polin omio) e sejam x
1
e x
2
, x
1
= x
2
, dois n umeros reais determinados.
Mostre que se dene uma norma em P
1
fazendo
p = |p(x
1
)| +|p(x
2
)|,
p P
1
.
6. Seja C
1
([0, 1]) o espa co das fun c oes f deriv aveis em [0,1] e de derivada f
contnua
em [0,1]. Mostre que a aplica c ao
. : C
1
([0, 1]) R
+
0
denida por
f =
_
1
0
|f(x)|dx +
_
1
0
|f
(x)|dx
e uma norma.
7. Considere o espa co linear real, P
2
, dos polin omios reais, p(x), de grau menor ou
igual a 2 (com a adi c ao usual de polin omios e a multiplica c ao usual de um n umero
real por um polin omio). Mostre que se dene uma norma em P
2
fazendo
p = max(|p(0)|, |p(1)|, |p(2)|),
p P
2
.
8. Mostre que ca denida em R
3
uma norma fazendo
(x
1
, x
2
, x
3
) = k
3
i=1
|x
i
|
sendo k > 0 e (x
1
, x
2
, x
3
) R
3
.
138 6. Exerccios
6.4 Calculo diferencial em R
N
6.4.1 Domnios e gracos
1. Determine o domnio, C, da fun c ao f denida por
f(x, y) = log
_
_
1 x
2
y
2
_
+
_
y x
2
+
1
x y
e de uma interpreta c ao geometrica de C. Diga, justicando, se C e um conjunto
aberto ou fechado. Determine a fronteira e o derivado de C.
2. Considere a fun c ao real f de duas vari aveis denida por
f(x, y) = 1 +
_
x
2
(y
2
+ 1)x + y
2
.
Determine o domnio da fun c ao e de uma interpreta c ao geometrica desse conjunto.
3. Determine o domnio da fun c ao f denida por
f(x, y) = log(4 ((x 4)
2
+ (y 3)
2
)) +
x
2
16.
Mostre que esse conjunto e limitado e indique a sua fronteira.
4. Determine o domnio da fun c ao f : R
2
R denida por
f(x, y) =
_
y
2
+ 2xy 3x
2
+ log(1 + x
2
+ y
2
)
e de uma interpreta c ao geometrica desse domnio. Indique a sua fronteira.
5. Determine o domnio e o contradomnio das seguintes fun c oes (dando uma interpre-
ta c ao geometrica):
(a) f(x, y) =
_
_
_
1, se x < y
0, se x = y
1
2
, se x > y
(b) f(x, y, z) =
_
1 x
2
y
2
z
2
9
;
(c) f(x, y) = cos(y) + log(sen(x));
(d) f(x, y) =
_
x
2
, se x = y
0, se x = y
(e) f(x, y) =
_
0, se y 0 ou y x
2
1, se 0 < y < x
2
N
139
6. Determine o domnio de cada uma das seguintes fun c oes:
(a) f(x, y) = 4 x
2
y
2
;
(b) f(x, y) = log y
2
+
1 x
2
;
(c) f(x, y) = log(5x x
2
6) + log(1 y
2
);
(d) f(x, y) = log(5x x
2
6)(1 y
2
);
(e) f(x, y) =
_
(e
y
e
y
) cos x;
(f) f(x, y, z) = xyz +
_
x
2
+ xy + 2y 4;
(g) f(x, y, z) = log(1 z
2
) +
_
1 (x
2
+ y
2
).
7. Determine os gr acos de cada uma das seguintes fun c oes:
(a) f(x, y) = 1 x
2
y
2
;
(b) f(x, y) =
_
_
_
1, se x < y
0, se x = y
1
2
, se x > y
(c) f(x, y) =
_
x
2
+ y
2
, se (x, y) 1
0, se (x, y) > 1
f(x, y) =
x + y
_
x
2
y
2
+
4 x
2
.
(a) Indique o domnio da fun c ao e de uma interpreta c ao geometrica desse conjunto.
(b) Qual o derivado e a aderencia do conjunto a que se refere a alnea anterior?
140 6. Exerccios
6.4.2 Limites e continuidade
f(x, y) =
x + y
_
x
2
y
2
+
4 x
2
.
Mostre que a fun c ao n ao tem limite no ponto (0, 0).
2. Considere a fun c ao f : R
2
R assim denida:
(x, y)
sen(xy)
x
2
+ y
2
e mostre que (0, 0) e ponto de acumula c ao do seu domnio. Estude a existencia de
limite nesse ponto.
3. Determine o gr aco da fun c ao f assim denida:
f(x, y) =
_
5, se (x, y) > 1
2, se (x, y) 1
Estude a continuidade da fun c ao.
4. Estude quanto ` a continuidade a fun c ao f : R
2
R denida por:
f(x, y) =
_
0, se x y = 0
x
2
+ 2y, se x y = 0
5. Estude quanto ` a continuidade a fun c ao f(x, y) denida por
f(x, y) =
_
_
_
xy
3
x
2
+ y
6
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
6. Estude quanto ` a continuidade a fun c ao f : R
2
R denida por:
f(x, y) =
_
_
_
x
2
+ 3xy + y
2
x
2
+ 4xy + y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
7. Discuta a existencia dos seguintes limites:
(a) lim
(x,y)(0,0)
x + y
_
x
2
+ y
2
;
N
141
(b) lim
(x,y)
x + y
x
2
+ y
2
;
(c) lim
(x,y,z)(0,0,0)
xy z
2
x
2
+ y
2
+ z
2
;
(d) lim
(x,y)(0,0)
x
4
y
4
(x
2
+ y
4
)
3

8. Estude as descontinuidades da seguinte fun c ao:
f(x, y, z) =
_
x
2
+ y
2
+ z
2
, se x y + z = 0
0, se x y + z = 0
142 6. Exerccios
6.4.3 Derivadas parciais e Teorema de Schwarz. Diferenciabili-
dade
1. Calcule as derivadas parciais de 1
a
ordem das seguintes fun c oes:
(a) f(x, y, z) = x
y
;
(b) f(x, y, z) = z;
(c) f(x, y) = sen(x sen(y));
(d) f(x, y, z) = sen(x sen(y sen(z)));
(e) f(x, y, z) = x
y
z
;
(f) f(x, y, z) = x
y+z
;
(g) f(x, y, z) = (x + y)
z
;
(h) f(x, y) = sen(xy);
(i) f(x, y) = (sen(xy))
cos 3
.
a
ordem das seguintes fun c oes (onde g(t) e cont-
nua):
(a) f(x, y) =
_
x+y
a
g(t) dt;
(b) f(x, y) =
_
x
y
g(t) dt;
(c) f(x, y) =
_
xy
a
g(t) dt.
a
ordem de f em fun c ao das derivadas de g e h se:
(a) f(x, y) = g(x)h(y);
(b) f(x, y) = (g(x))
h(x)
;
(c) f(x, y) = g(x);
(d) f(x, y) = g(y);
(e) f(x, y) = g(x + y).
4. Determine todas as derivadas parciais de 2
a
ordem das seguintes fun c oes num ponto
generico do seu domnio:
(a) f(x, y) = x
y
;
(b) f(x, y, z) = sen(xyz);
N
143
(c) f(x, y, z) = e
x+y
;
(d) f(x, y, z) = xyz;
5. Diz-se que uma fun c ao f : R
n
R satisfaz a equa c ao de Laplace se
2
f
x
2
1
+

2
f
x
2
2
+ +

2
f
x
2
n
= 0.
Mostre que f(x, y) = log(x
2
+y
2
) e g(x, y, z) = (x
2
+y
2
+z
2
)
1
2
satisfazem a equa c ao
de Laplace.
6. Seja f uma fun c ao denida por
f(x, y) =
_
xy
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
Prove que
f
x
e
f
y
existem em qualquer ponto de R
2
, mas que f n ao e contnua
em (0, 0).
7. Seja
f(x, y) =
_
_
_
(x
2
+ y
2
)sen
1
_
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
(a) Calcule
f
x
e
f
y
e mostre que s ao descontnuas em (0, 0).
(b) Prove que f e diferenci avel em (0, 0).
8. Considere a fun c ao f(x, y) =
_
|xy|.
(a) Estude a continuidade em (0, 0).
(b) Prove que existe
f
x
(0, 0) e
f
y
(0, 0).
(c) Prove que f n ao e diferenci avel em (0, 0).
9. Seja f a fun c ao denida por
f(x, y) =
_
_
_
x|y|
_
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
(a) Calcule
f
x
(0, 0) e
f
y
(0, 0).
144 6. Exerccios
(b) Verique se f e diferenci avel em (0, 0).
10. Seja : R
2
R contnua em (0, 0) e tal que (0, 0) = 0. Prove que a fun c ao
f : R
2
R denida por f(x, y) = (x + y)(x, y) e diferenci avel no ponto (0, 0).
11. Mostre que a fun c ao denida por
f(x, y, z) =
_
x, se x = y
2
ou x = y = 0
1 + y, se x = y
2
e x = 0
tem derivadas parciais em (0, 0), mas n ao e diferenci avel nesse ponto.
12. Mostre que a fun c ao denida por
f(x, y, z) =
_
x + y + z, se xyz = 0
1, se xyz = 0
tem derivadas parciais em (0, 0, 0), mas n ao e diferenci avel nesse ponto.
13. Considere a fun c ao
f(x, y) =
_
_
_
xy
x
2
y
2
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
Mostre que:
(a) f,
f
x
e
f
y
s ao contnuas em R
2
.
(b)

2
f
xy
e

2
f
yx
existem em qualquer ponto de R
2
e s ao contnuas excepto em
(0, 0).
14. Dada a fun c ao
f(x, y) =
_
_
_
x
2
arctg
_
y
x
_
y
2
arctg
_
x
y
_
, se xy = 0
0, se xy = 0
Calcule
f
x
(0, y) e
f
y
(x, 0) e verique que

2
f
yx
(0, 0) =

2
f
xy
(0, 0). Por que raz ao
n ao tem lugar o Teorema de Schwarz?
N
145
6.4.4 Funcao composta
1. Seja w = f(u, v) com u = x + at, v = y + bt, a e b constantes. Prove que se f e
diferenci avel ent ao satisfaz a rela c ao
w
t
= a
w
x
+ b
w
y

2. Determine as fun c oes x(t) e y(t) de tal modo que as fun c oes compostas de t
f(x, y) = x
2
+ y
2
g(x, y) = x
2
+ 2bxy + y
2
, b = 0
tenham derivadas identicas.
3. Seja F a fun c ao u = F(s
2
t
2
, t
2
s
2
). Mostre que
t
u
s
+ s
u
t
= 0.
4. Sejam f : R
2
R uma fun c ao diferenci avel em todos os pontos de R
2
e
F(x, y, z) = x
3
f
_
y
x
,
z
x
_
. Mostre que
x
F
x
+ y
F
y
+ z
F
z
= 3F.
5. Prove que se u = (x
2
+ y
2
+ z
2
), onde
x = cos sin
y = sin sin
z = cos
ent ao
u
=
u
= 0.
6. Seja u(x, t) =
_
x+ct
xct
(s) ds em que : R R e diferenci avel.
(a) Indique, justicando, o domnio de u.
(b) Prove que

2
u
t
2
= c
2
2
u
x
2

146 6. Exerccios
7. Sejam x(r, ) = r cos(), y(r, ) = rsen(), F(r, ) = f(x(r, ), y(r, )) com
f : R
2
R diferenci avel. Mostre que:
F
r
=
f
x
cos() +
f
y
sen()
1
r

F
=
f
x
sen() +
f
y
cos().
8. Considere a fun c ao u = f(x, y) com x = (t) e y = (t). Mostre que:
d
2
u
dt
2
=

2
u
x
2
_
t
_
2
+

2
u
y
2
_
t
_
2
+ 2

2
u
xy

t

t
+
u
x

d
2
dt
2
+
u
y

d
2
dt
2

Aplique esta express ao ao caso em que f(x, y) = x
2
+ e
x+y
, x = t
2
e y = e
t
.
Verique o resultado obtido para
d
2
u
dt
2
calculando-o por outro processo. (Suponha
que as derivadas cruzadas s ao iguais.)
N
147
6.4.5 Derivadas direccionais
1. Calcule D
v
f(P
0
) - derivada direccional de f segundo o vector v no ponto P
0
- sendo:
(a) f(x, y) = 2x + 5y
2
, P
0
= (1, 1), v = (2, 1);
(b) f(x, y) = log(x
2
+ y
2
)
1
2
, P
0
= (1, 1), v = (1, 2);
(c) f(x, y, z) = xy + yz + 2x, P
0
= (1, 1, 7), v = (3, 4, 12);
(d) f(x, y, z) = cos(xy) + sen(yz), P
0
= (2, 0, 3), v =
_
1
3
,
2
3
,
2
3
_
;
(e) f(x, y, z) = z e
x
sen(y), P
0
=
_
log 3,
3
2
, 3
_
, v = (x, y, z).
2. Considere a seguinte fun c ao
f(x, y) =
_
_
_
xy
2
x
2
+ y
4
, se x = 0
0, se x = 0
Prove que f tem derivada segundo qualquer vector no ponto (0, 0), mas que e uma
fun c ao descontnua em (0, 0). Que pode concluir sobre a diferenciabilidade de f em
(0, 0)?
3. Dada a fun c ao
f(x, y) =
_
x + y, se xy = 0
1, se xy = 0
(a) Verique que existem
f
x
(0, 0) e
f
y
(0, 0), mas que f n ao e contnua na origem.
(b) Que se passa quanto ` as derivadas segundo outros vectores, que n ao sejam os
vectores da base can onica de R
2
, na origem?
4. Considere a seguinte fun c ao
f(x, y) =
_
_
_
1, se x < y
0, se x = y
1
2
, se x > y
Calcule D
v
f(a, a) com v =
_
2
2
,
2
2
_
.
148 6. Exerccios
5. Seja f : R
2
R a fun c ao denida por:
f(x, y) =
_
1, se y = x
2
e x = 0
0, se y = x
2
ou x = y = 0
Mostre que para qualquer v R
2
existe D
v
f(0, 0). Ser a f contnua em (0, 0)?
6. Seja f : R
2
R uma fun c ao diferenci avel tal que as derivadas segundo dois
vectores u e v linearmente independentes s ao nulas em todo o ponto de R
2
. Prove
que f e constante em R
2
.
N
149
6.4.6 Func oes vectoriais
1. Seja f : R
2
R
3
denida por
(x, y) (f
1
(x, y), f
2
(x, y), 3)
onde
f
1
(x, y) =
_
_
_
2xy
_
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
f
2
(x, y) =
_
_
_
x
3
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
Estude f quanto ` a continuidade.
2. Calcule a matriz Jacobiana da fun c ao f e df(P
0
)(u) sendo:
(a) f(x, y, z) = (cos(xy), sen(xy), xz); P
0
=
_
0,
2
2
, 1
_
; u = (1, 1, 2);
(b) f(x, y) = (arctg(xy), x, y); P
0
= (x, y); u = (1, 1);
(c) f(x, y, z, t) = (x + y + z, e
xt
); P
0
= (0, 0, 0, 0); u = (
2, ,
2
,
3
).
3. Estude a diferenciabilidade no ponto (0, 0) da fun c ao f : R
2
R
2
denida por
f(x, y) = (x
2
, x
2
+ y
2
).
4. Calcule as derivadas parciais da fun c ao f g sendo:
(a) f(x, y, z) = x
3
+ 3xyz; g(t, s) = (2t + s, t s, t
2
+ s
2
);
(b) f(x, y) =
x + y
1 xy
; g(t, s) = (sen(2t), cos(3t s)).
5. Seja f : R
2
R
2
a fun c ao denida por f(x, y) = (sen(x), log 2) e g : R
2
R
uma fun c ao diferenci avel em R
2
. Calcule as derivadas parciais de g f em (0, 2)
sabendo que
g
x
(0, y) = 16 e
g
y
(0, y) = 1 y R.
6. Sejam f, g : R
2
R
2
as fun c oes denidas por
f(x, y) = (sen(xy), x 1)
g(x, y) =
_
e
xy
,
xy
4
_
.
Calcule a matriz jacobiana de f g no ponto (2, 2).
150 6. Exerccios
7. Seja f : R
2
R
2
a fun c ao denida por f(x, y) = (1 + xy, e
xy
). Sabendo que
g : R
2
R
2
e uma fun c ao diferenci avel em todos os pontos de R
2
, que
g(0, y) = (y, 0) y R e que
g
x
(0, 1) =
g
y
(0, 1) = (1, 1)
calcule a matriz jacobiana de f g em (0, 1).
8. Seja f : R R uma fun c ao deriv avel tal que f(1) = f
(1) = 2 e f(2) = f
(2) = 1.
Sendo g(x, y, z) =
_
f(x
2
) + f(x
2
+ y
2
), (f(xyz))
2
_
e h(x, y) = e
8x
3
+y
3
prove que
h g e diferenci avel em (1, 1, 2) e calcule a matriz jacobiana de h g nesse ponto.
Bibliograa
[1] APOSTOL, T. - Calculus, Blaisdell, 1967.
[2] CAMPOS FERREIRA, J. - Introdu c ao ` a An alise Matem atica, Funda c ao Calouste
Gulbenkian, 1982.
[3] ELLIS, R.; GULLICK, D. - Calculus with Analytic Geometry, 5
a
edi c ao, Saunders
College Publishing, 1994.
[4] FIGUEIRA, M. - Fundamentos de An alise Innitesimal, Textos de Matem atica,
vol. 5, Departamento de Matem atica, Faculdade de Ciencias da Universidade de
Lisboa, 1996.
[5] HUNT, R. - Calculus, 2
a
edi c ao, Harper Collins, 1994.
[6] LARSON, R.; HOSTETLER, R.; EDWARDS, B. - Calculus with Analytic Geometry,
5
a
edi c ao, Heath, 1994.
[7] SANTOS GUERREIRO, J. - Curso de An alise Matem atica, Livraria Escolar Editora,
1989.
[8] SARRICO, C. - An alise Matem atica, Leituras e Exerccios, Gradiva, 1997.
[9] SPIVAK, M. - Calculus, World Student Series Edition, 1967.
[10] STEWART, J. - Calculus, 3
a
edi c ao, Brooks/Cole Publishing Company, 1995.
[11] SWOKOWSKI, E. W. - C alculo com Geometria Analtica, vol. 1, 2
a
edi c ao, Makron
Books, McGraw-Hill, 1994.
[12] TAYLOR, A.; MANN, R. - Advanced Calculus, 2
a
edi c ao, Xerox College Publishing,
1972.
Indice Remissivo
aderencia, 72
bola
aberta, 72
fechada, 72
conjunto
aberto, 73
fechado, 73
limitado, 76
contradomnio, 79
convergencia
pontual, 39, 42
uniforme, 40, 42, 43
coordenadas
cartesianas, 87
esfericas, 90
polares, 87
Criterio
da Raiz, 27
da Raiz de Cauchy, 28
da Raz ao, 24
de DAlembert, 25
de Kummer, 30
de Leibnitz, 13
de Raabe, 32
de Weierstrass, 44
do integral, 32
Criterio geral de compara c ao, 19
derivada
de segunda ordem, 101
parcial, 99
segundo um vector, 122
derivadas cruzadas, 101
derivado, 77
descontinuidade
essencial, 95
n ao essencial, 95
desigualdade
de Cauchy-Schwarz, 69
de H older, 67
de Minkowski, 68
triangular, 65, 70
diferencial, 107
dist ancia, 70
domnio, 79
espa co
metrico, 70
normado, 65
exterior, 72
fecho, 72
fronteira, 72
fun c ao
contnua num conjunto, 93
contnua num ponto, 93
coordenada, 81
descontnua, 93
diferenci avel, 107
real de N vari aveis reais, 79
fun c ao soma da serie, 42
gr aco, 79
gradiente, 109
innitesimo, 93
innitesimo
de ordem superior, 93
innitesimos
equivalentes, 93
n ao compar aveis, 93
INDICE REMISSIVO 153

integr avel termo a termo, 47
interior, 72
intervalo de convergencia, 52
limite
de uma fun c ao num ponto, 82
de uma fun c ao vectorial num ponto,
90
direccional, 84
relativo, 83
limites
iterados, 86
metrica, 70
matriz jacobiana, 109
norma, 65
norma
euclidiana, 70
ponto
de acumula c ao, 77
isolado, 77
primitiv avel termo a termo, 49
produto de Cauchy, 35
produto interno, 69
prolongamento, 80
raio de convergencia, 52
rearranjo, 16
regra de deriva c ao da fun c ao composta,
115
resto de ordem p, 11
restri c ao, 80
serie, 3
absolutamente convergente, 16
alternada, 13
binomial, 59
condicionalmente convergente, 16
convergente, 3
de Dirichlet, 33
de potencias, 52
divergente, 3
geometrica, 3
harm onica, 10
harm onica alternada, 14
simplesmente convergente, 16
telesc opica, 6
termo geral, 3, 42
termos da serie, 3
serie de MacLaurin, 58
serie de Taylor de f em x
0
, 58
soma, 3
somas parciais, 3
sucess ao
convergente, 74
de Cauchy, 75
limitada, 76
Teorema
de Borel, 77
de Mertens, 37
de Schwarz, 102
de Weierstrass, 77, 96
vari aveis
independentes, 79
vari avel
dependente, 79
Zen ao, 2

Sebenta Análise Matematica 2 D, 2003

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Sebenta Análise Matematica 2 D, 2003

Enviado por

Direitos autorais:

Formatos disponíveis

A

e uma sucess ao decrescente, de termos

, < 1. Com esta hip otese, n

< n > p <

< a 1 n > p 1 <

e = k. Existe uma ordem n

, R, habitualmente designada por serie

e contnua, positiva e decrescente em [1, +[. Sabemos

E uma fun c ao positiva e contnua em [2, +[. Como, se x > 2,

(x) < 0 e, portanto, f e decrescente. Estudemos o integral

E possvel, no entanto, denir outro tipo de convergencia de forma a obter resposta

E evidente que se uma sucess ao de fun c oes f

(x) = g(x), isto e, f

uniformemente convergente em [a, b].

(I). Chama-se serie de Taylor de f em x

, R, x > 1. Esta fun c ao e

< 1, isto e, |x| <

(x) = g(x). (2.2)

e calculemos a sua derivada:

e uma fun c ao constante em ] 1, 1[, ou ainda, g(x) = c (1 + x)

, se for c essa constante.

(t) 0, t [1, +[, ent ao f(t) 0, t [1, +[, pelo que t

(a) = {x R : |x a| < } = {x R : a < x < a + } =]a , a + [.

(x) A, isto e, A e aberto.

(c) = . Pela Deni c ao 4.3.1, existe > 0 tal que

(b) e x D ||x a|| < f(x) B

para concluir que lim

(a, b) (obviamente, podemos tomar <

(a, b) |f(x, y) c| <

e nito e diferente de zero, diz-se que f(x) e um innitesimo de ordem

E evidente que se f e uniformemente contnua em A ent ao a restri c ao de f a A e

(a, b) e > 0 tal que o quadrado ]a , a + []b , b + [ est a contido em B

(a) h, h R; a equa c ao anterior e equivalente a

E esta formula c ao que vamos generalizar.

= 2xr sen() cos() 2yr sen() sen() + 2zr cos()

= 2xr cos() sen() + 2yr cos() cos() + 0

= 2xr sen() cos() 2yr sen() sen() 2zr cos()

= 2xr cos() sen() + 2yr cos() cos() + 0

(a); consideremos, como de costume, a base can onica de R

(a) X, pelo que a fun c ao

(a)) o que implica que

(a) D, ent ao est a denida em ] , [). A fun c ao

INDICE REMISSIVO 153

Você também pode gostar