Jose Miguel Urbano

An

alise Matem

atica II
Notas de Curso
Departamento de Matematica da Universidade de Coimbra
Coimbra, 2012
Conte udo
Preambulo 3
1 Sucessoes Numericas 6
1.1 Sucessoes convergentes . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Propriedades do limite . . . . . . . . . . . . . . . . . . . . . . 10
1.3 Limites innitos . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2 Series Numericas 17
2.1 Series convergentes e series divergentes . . . . . . . . . . . . . 17
2.2 Convergencia absoluta e convergencia condicional . . . . . . . 21
2.3 Criterios de convergencia . . . . . . . . . . . . . . . . . . . . 24
2.4 Comutatividade . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3 Sucessoes de fun coes 31
3.1 Convergencia simples e convergencia uniforme . . . . . . . . . 31
3.2 Propriedades da convergencia uniforme . . . . . . . . . . . . . 33
4 Series de funcoes 37
4.1 Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . 39
4.2 Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . 47
Bibliograa 52
2
Preambulo
Antes de come car, apresentamos algumas reexoes sobre os metodos de en-
sino e avaliacao e sobre como estudar Matematica.
{Metodos de ensino}
As aulas teoricas sao aulas de exposicao da materia. A abordagem
dos assuntos deve procurar contextualiza-los historicamente e rela-
ciona-los com outros de forma elucidativa e motivadora, salientando
a sua relevancia em termos de aplicacoes futuras noutras disciplinas.
Os principais resultados devem ser ilustrados com o recurso a abun-
dantes exemplos. Expor a materia signica essencialmente fazer a ma-
tematica, ou seja, desenvolver no quadro as demonstra coes, explicando
cada deducao logica, justicando cada raciocnio. As demonstracoes
devem ser completas ou entao omitir-se. Nao sao admissveis ex-
pressoes como um simples raciocnio conduz a...(o raciocnio em causa
raramente e simples) ou por um resultado conhecido...(ocorre sempre
a pergunta: conhecido por quem?); semelhantes locucoes sao, normal-
mente, a manifesta cao de diculdades experimentadas por quem as
utiliza e so servem o proposito de tornar nebuloso o que deve ser cris-
talino. Nao ha demonstracoes faceis, nem difceis; ha demonstra coes
claras, as que se percebem integralmente, e demonstracoes obscuras,
as restantes. A funcao do professor e conduzir o estudante na procura
da clareza que resulta da compreensao plena dos raciocnios.

E esta
simplicidade que fascina quem gosta de Matematica.
As aulas nao dispensam a adopcao de um texto escrito, trate-se de um
livro de referencia ou de notas de curso redigidas pelo professor. O
estudante deve ter `a partida a nocao exacta daquilo que o espera, co-
nhecer em pormenor o programa da disciplina, ser-lhe proporcionada
uma visao global dos assuntos em estudo. Tambem as regras de ava-
liacao devem ser claramente explicitadas no incio do curso e fornecida
a bibliograa complementar julgada adequada.
3
As aulas teoricas-praticas devem cumprir o objectivo de estimular o
trabalho individual do estudante e de o ajudar a marcar o seu ritmo
de estudo. O professor fornece, em cada semana, uma lista de proble-
mas que os estudantes deverao resolver ate `a aula seguinte, onde serao
discutidas e esclarecidas as eventuais diculdades e d uvidas. Deve
excluir-se radicalmente o cenario em que o professor resolve os proble-
mas no quadro e os alunos copiam a resolucao para o caderno. Tal
pratica e uma pura perda de tempo ou, sem brandura, um circular
jogo de enganos: julga o professor que ensina e o aluno que aprende,
quando tudo nao passa de um equvoco esteril, ainda que c umplice.
{Estudar Matematica}
Ao estudante e indicado, com antecedencia, que assunto sera exposto
em cada licao, sendo fortemente incentivado a ler, mesmo que su-
percialmente, a materia em questao no livro de texto. Os meritos
de uma leitura previa `as aulas teoricas sao evidentes: familiarizacao
com conceitos e nota coes, primeiro contacto com diculdades tecnicas,
possibilidade de suprir certas lacunas relacionadas com conhecimentos
supostamente adquiridos. Acresce um outro, mais difuso mas nao me-
nos relevante, relacionado com a estimula cao do processo mental de
assimilacao passiva que faz com que, da noite para o dia (por vezes,
mesmo literalmente), certos conceitos se tornem claros ou facilmente
relacionaveis com outros sem que, pelo menos na aparencia, se faca
para isso qualquer esfor co.
Aprender ouvindo, aprender lendo e aprender fazendo sao processos
distintos e complementares. E e desta ultima natureza que deve ser o
estudo que se segue `a exposicao da materia nas aulas.

E com ele que
o estudante aprende realmente, ou nao, o que lhe esta a ser ensinado.
Este estudo deve ser individual, profundo e completo, de papel e lapis,
dirigido `a compreensao integral dos conceitos e das demonstracoes e
complementado com a resolucao de exerccios de aplicacao.
4
{Avaliacao}
A componente principal da avaliacao consiste na realizacao de um
exame nal escrito (com duas chamadas). Sujeitar os alunos `a pressao
de uma prova nal e um incentivo indispensavel ao estudo individual,
persistente e continuado, para alem de convidar o estudante a adquirir
uma visao global das materias leccionadas. Acresce que a preparacao
assim adquirida pode vir a revelar-se decisiva para o exito na vida
prossional (seja na Universidade, seja numa empresa), onde o que
faz a diferenca se revela normalmente de forma discreta e nao tanto
contnua.
As classica coes de merito (superiores a 16 valores) habilitam o estu-
dante a realizar um exame escrito suplementar. Este exame e facul-
tativo, particularmente exigente e decisivo na atribuicao da nota nal
aos alunos que a ele tenham acesso. Aquela nao sera, em circunstancia
alguma, inferior a 16 valores (a classicacao que sera atribuda a quem
nao comparecer ao exame suplementar).
5
1 Sucess oes Numericas
Uma sucessao numerica, ou sucessao de n umeros reais, e uma funcao real de
variavel natural, ou seja, uma aplicacao de N em R:
u : N R.
Como, para uma sucessao numerica, o domnio e o conjunto de chegada
sao sempre N e R, respectivamente, omite-se a referencia explcita a estes
conjuntos e identica-se completamente a sucessao com a indicacao da lei
de transforma cao u(n), que se designa por termo geral da sucessao e se
representa por u
n
. Escreve-se (u
n
)
nN
, (u
n
)
n
ou, mais simplesmente, (u
n
)
para indicar a sucessao cujo termo geral e u
n
.
O conjunto dos termos da sucessao (u
n
) e o seu contradomnio
u(N) = {u
n
: n N} .
Exemplo 1.1 O conjunto dos termos da sucessao de termo geral u
n
=
(1)
n
e o conjunto {1, 1}. O conjunto dos termos da sucessao de termo
geral v
n
= 2n e o conjunto dos n umeros pares.
Denicao 1.1 Uma sucessao (u
n
) diz-se limitada se o conjunto dos seus
termos for limitado, ou seja, se
L > 0 : |u
n
| < L, n N. (1)
Isto signica que u(N) (L, L).
Exemplo 1.2 A sucessao (
1
n
)
nN
e limitada. De facto, o conjunto dos seus
termos esta contido no intervalo (0, 1] e portanto existe L > 0, que pode ser
L = 2, por exemplo, tal que

1
n

< 2, n N.
Ja a sucessao (2n)
nN
nao e limitada pois, dado qualquer n umero real posi-
tivo L, existe sempre um n umero par maior do que L.
6
Denicao 1.2 Uma sucess ao (u
n
) diz-se crescente se
u
n+1
u
n
, n N (2)
e diz-se decrescente se
u
n+1
u
n
, n N. (3)
Se as desigualdades em (2) e (3) forem estritas, acrescenta-se o qualicativo
estritamente.
Uma sucessao diz-se (estritamente) monotona se for (estrictamente)
crescente ou (estritamente) decrescente.
Exemplo 1.3 A sucessao de termo geral u
n
=
n
n+1
e estritamente crescente.
Na verdade,
u
n+1
u
n
=
n + 1
n + 2

n
n + 1
=
n
2
+ 2n + 1 n
2
2n
(n + 2)(n + 1)
=
1
(n + 2)(n + 1)
> 0, n N.
Exemplo 1.4 A sucessao de termo geral w
n
= cos(n) nao e monotona.
De facto,
w
2
w
1
= 1 (1) = 2 > 0 e w
3
w
2
= 1 1 = 2 < 0.
Denicao 1.3 Uma subsucessao da sucessao (u
n
)
nN
e uma restricao de
u a um subconjunto innito {n
1
< n
2
< . . . < n
k
< . . .} de N. Designa-se
por (u
n
k
)
kN
.
Exemplo 1.5 A sucessao (
1
2n
)
nN
e uma subsucessao (a subsucessao dos
termos de ordem par) da sucessao
_
(1)
n
n
_
nN
.
1.1 Sucessoes convergentes
A no cao central da Analise e a no cao de limite. O caso mais simples de um
limite e o limite de uma sucessao.
7
Denicao 1.4 Um n umero real a R diz-se limite da sucessao (u
n
) se
> 0, n
0
N : n > n
0
=|u
n
a| < . (4)
Diz-se que a sucessao (u
n
) converge para a e escreve-se limu
n
= a.
No sentido de interpretar a denicao de limite, escreva-se a condicao
|u
n
a| < na forma equivalente a < u
n
< a + , ou ainda
u
n
(a , a + ).
A um intervalo do tipo (a , a + ) chama-se uma vizinhanca de a.

E agora claro o signicado de (4): por mais pequeno que seja > 0, ou
seja, por menor que seja a amplitude da vizinhan ca (a, a+), existe sempre
uma ordem n
0
, a partir da qual todos os termos da sucessao pertencem a
essa vizinhan ca. Esta pertenca a uma vizinhanca de a e uma forma de medir
a proximidade a a e, portanto, uma sucessao tem limite a se os seus termos
se tornarem arbitrariamente proximos de a. A ordem n
0
depende de e,
tipicamente, sera tanto maior quanto menor for .
Denicao 1.5 Uma sucessao diz-se convergente se tiver limite. Caso
contrario, diz-se divergente.
Teorema 1.1 (Unicidade do limite) Uma sucessao nao pode ter dois li-
mites diferentes.
Demonstrac ao [Reductio ad absurdum]: Suponhamos que limu
n
= a,
limu
n
= b e, sem perda de generalidade
1
, que a < b.
Seja =
ba
2
> 0. Como limu
n
= a, existe uma ordem n
0
tal que
n > n
0
=u
n

_
a
b a
2
, a +
b a
2
_
=
_
3a b
2
,
a + b
2
_
.
Por outro lado, como limu
n
= b, existe uma ordem n
1
tal que
n > n
1
=u
n

_
b
b a
2
, b +
b a
2
_
=
_
a + b
2
,
3b a
2
_
.
1
o que isto signica e que se fosse a > b a demonstra c ao seria inteiramente an aloga;
conven ca-se, demonstrando o teorema para esse caso.
8
Seja n
2
= max{n
0
, n
1
}. Entao
n > n
2
=u
n

_
3a b
2
,
a + b
2
_

_
a + b
2
,
3b a
2
_
= ,
o que e absurdo.

Teorema 1.2 Se limu

n
= a entao toda a subsucessao de (u
n
) converge para
o limite a.
Demonstrac ao: Seja (u
n
k
)
kN
a subsucessao. Dado > 0, existe uma
ordem n
0
N tal que
n > n
0
=u
n
(a , a + ).
Em particular, tem-se
n
k
> n
0
=u
n
k
(a , a + )
e portanto limu
n
k
= a.

Observacao 1.1 Este resultado usa-se normalmente para mostrar que uma
sucessao nao tem limite, exibindo duas subsucessoes com limites distintos.
Por exemplo, a sucessao de termo geral (1)
n
e divergente porque a subsu-
cessao dos seus termos de ordem par converge para 1 e a subsucessao dos
seus termos de ordem mpar converge para 1.
Teorema 1.3 Toda a sucess ao convergente e limitada.
Demonstrac ao: Seja limu
n
= a. Escolhido = 1, existe uma ordem n
0
tal que
n > n
0
=u
n
(a 1, a + 1) .
Seja
L = max
_
|u
1
|, |u
2
|, . . . , |u
n
0
|, |a 1|, |a + 1|
_
> 0
(note que o conjunto e nito, tem n
0
+ 2 elementos). Entao
|u
n
| < L, n N.

9
Observacao 1.2 O recproco e falso. A sucessao de termo geral (1)
n
e
limitada mas, como ja se viu anteriormente, nao converge.
Teorema 1.4 Toda a sucess ao monotona e limitada e convergente.
Demonstrac ao: Seja (u
n
) uma sucessao limitada e, sem perda de genera-
lidade, crescente. Por ser limitada, existe
a = sup{u
n
: n N} .
Mostremos que limu
n
= a. Dado > 0, a nao e um majorante do
conjunto dos termos da sucessao pois e menor do que o seu supremo a,
que e o menor dos majorantes do conjunto. Logo, existe n
0
N tal que
a < u
n
0
a. Mas como (u
n
) e crescente,
n > n
0
= a < u
n
0
u
n
< a + =|u
n
a| <
e a conclusao e imediata.

Observacao 1.3 A demonstracao mostra que se a sucessao for crescente

converge para o supremo do conjunto dos seus termos; analogamente, se for
decrescente converge para o nmo do conjunto dos seus termos.
Exemplo 1.6 A sucessao (
1
n
)
nN
e (estritamente) decrescente e limitada.
Tem-se entao:
lim
1
n
= inf
_
1
n
: n N
_
= 0.
1.2 Propriedades do limite
Estudam-se nesta seccao algumas propriedades do limite de uma sucessao.
Teorema 1.5 Seja a = limu
n
. Se b < a entao existe uma ordem n
0
N
tal que
n > n
0
=b < u
n
.
10
Demonstrac ao: Seja = a b > 0. Como limu
n
= a, existe n
0
N tal
que
n > n
0
= a < u
n
< a + =b < u
n
.

Corolario 1.1 Seja a = limu

n
. Se a > 0 entao existe uma ordem n
0
N
tal que
n > n
0
=u
n
> 0.
Observacao 1.4 Sao validos resultados analogos para os casos b > a e
a < 0, respectivamente.
Corolario 1.2 Sejam a = limu
n
e b = limv
n
. Se existe uma ordem n
0
N
tal que
n > n
0
=u
n
v
n
entao a b.
Demonstrac ao: Se fosse a > b, entao pelo Teorema 1.5, ter-se-ia, a partir
de uma certa ordem
v
n
<
a + b
2
< u
n
o que contraria a hipotese.

Teorema 1.6 (Sucessoes enquadradas) Se limu

n
= limv
n
= a e existe
uma ordem n
0
N tal que
u
n
w
n
v
n
, n > n
0
entao limw
n
= a.
Demonstrac ao: Dado > 0 arbitrario, existem ordens n
1
, n
2
N tais que
n > n
1
=a < u
n
< a + ;
n > n
2
=a < v
n
< a + .
11
Seja n
3
= max{n
0
, n
1
, n
2
}; entao
n > n
3
=a < u
n
w
n
v
n
< a +
donde limw
n
= a.

Exemplo 1.7 Tem-se

1
n

sinn
n

1
n
, n N
e portanto lim
sin n
n
= 0.
Teorema 1.7 Se limu
n
= 0 e (v
n
) e limitada entao lim(u
n
v
n
) = 0.
Demonstrac ao: Como (v
n
) e limitada, existe L > 0 tal que
|v
n
| < L, n N.
Dado > 0 arbitrario, /L > 0 e, como limu
n
= 0, existe uma ordem n
0
N
tal que
n > n
0
= |u
n
| <

L
= |u
n
v
n
| = |u
n
| |v
n
| <

L
L = .

Exemplo 1.8 Como (1)

n
e limitada e lim1/n = 0 tem-se
lim
(1)
n
n
= 0.
Teorema 1.8 (

Algebra dos limites) Se limu

n
= a e limv
n
= b entao
1. lim(u
n
v
n
) = a b;
2. lim(u
n
v
n
) = ab;
3. lim
u
n
v
n
=
a
b
se b = 0.
12
Demonstrac ao:
1. Dado > 0 arbitrario, existem ordens n
1
, n
2
N tais que
n > n
1
=|u
n
a| < /2;
n > n
2
=|v
n
b| < /2.
Seja n
0
= max{n
1
, n
2
}; entao
n > n
0
=|(u
n
+ v
n
) (a + b)| = |(u
n
a) + (v
n
b)|
|u
n
a| +|v
n
b|
< /2 + /2 = .
O outro caso e analogo.
2. Escrevendo
u
n
v
n
ab = u
n
(v
n
b) + (u
n
a)b
o resultado segue-se do Teorema 1.3, do Teorema 1.7 e da parte 1.
3. Como lim(bv
n
) = b
2
> 0, pondo = b
2
/2 > 0, existe uma ordem
n
0
N tal que
n > n
0
= b
2

b
2
2
< bv
n
< b
2
+
b
2
2
=
b
2
2
< bv
n
<
3b
2
2
=
2
3b
2
<
1
bv
n
<
2
b
2
e portanto a sucessao
_
1
bv
n
_
e limitada. A conclusao segue-se da
igualdade
u
n
v
n

a
b
= (bu
n
av
n
)
1
bv
n
,
das partes 1. e 2. e do Teorema 1.7.

13
1.3 Limites innitos
Vejamos agora o que signica o limite de uma sucessao ser innito.
Denicao 1.6 Diz-se que a sucessao (u
n
) tende para + se
A > 0, n
0
N : n > n
0
=u
n
> A.
Diz-se que a sucessao (v
n
) tende para se
A > 0, n
0
N : n > n
0
=v
n
< A.
Escreve-se entao, respectivamente, limu
n
= + e limv
n
= .
Observacao 1.5 Observe-se enfaticamente que +e nao sao n umeros
reais e, portanto, se limu
n
= + ou limv
n
= as sucessoes sao diver-
gentes.

E evidente que se limu

n
= +entao (u
n
) nao e limitada superiormente.
O recproco e falso como e evidenciado pelo contra-exemplo
u
n
= [1 + (1)
n
] n.
Por outro lado, se (u
n
) for crescente e nao for limitada entao fatalmente sera
limu
n
= +. Conven ca-se, efectuando a demonstracao.
Teorema 1.9
1. Se limu
n
= + e (v
n
) e limitada inferiormente ent ao
lim(u
n
+ v
n
) = +.
2. Se limu
n
= + e (v
n
) e limitada inferiormente por um n umero posi-
tivo entao
lim(u
n
v
n
) = +.
3. Se u
n
> c > 0, n N, v
n
> 0, n N e limv
n
= 0 entao
lim
u
n
v
n
= +.
14
4. Se (u
n
) e limitada e limv
n
= + entao
lim
u
n
v
n
= 0.
Demonstrac ao:
1. Como (v
n
) e limitada inferiormente, existe c R tal que v
n
c, para
todo o n N. Dado A > 0 arbitrario, existe uma ordem n
0
N tal
que
n > n
0
=u
n
> Ac.
Entao
n > n
0
=u
n
+ v
n
> Ac + c = A.
2. Seja v
n
c > 0, para todo o n N. Dado A > 0 arbitrario, existe
uma ordem n
0
N tal que
n > n
0
=u
n
>
A
c
.
Entao
n > n
0
=u
n
v
n
>
A
c
c = A.
3. Dado A > 0 arbitrario, existe uma ordem n
0
N tal que
n > n
0
=v
n
<
c
A
.
Entao
n > n
0
=
u
n
v
n
> c
A
c
= A.
4. Como (u
n
) e limitada, existe L > 0 tal que |u
n
| < L, para todo o
n N. Dado > 0 arbitrario, existe uma ordem n
0
N tal que
n > n
0
=v
n
>
L

.
Entao
n > n
0
=

u
n
v
n

< L

L
= .

15
As hipoteses no enunciado do teorema anterior excluem as situacoes
genericamente designadas por indeterminacoes ou expressoes indetermina-
das. Por exemplo no primeiro item, nao pode acontecer limu
n
= + e
limv
n
= , caso em que nao e possvel determinar a priori o valor de
lim(u
n
+ v
n
). Na verdade, esse limite pode, consoante os casos,
nao existir: u
n
= n + (1)
n
e v
n
= n;
ser um qualquer n umero real a: u
n
= n + a e v
n
= n;
ser +: u
n
= 2n e v
n
= n;
ser : u
n
= n e v
n
= 2n.
Por isso se diz que a expressao e uma indeterminacao. Nos outros
items, as hipotese excluem outras indetermina coes como
0 ,
0
0
,

.
Sao tambem indetermina coes

0
, 1

e 0
0
.
Os limites mais importantes da Analise resultam de expressoes indetermi-
nadas; o caso mais evidente e o da derivada.
16
2 Series Numericas
A no cao de soma innita de n umeros reais e o objecto deste captulo. A
atribui cao de um signicado matematico preciso a uma expressao do tipo
a
1
+ a
2
+ a
3
+ . . . + a
n
+ . . ., com uma innidade de parcelas, faz uso do
conceito de limite, ubquo em Analise Matematica.
2.1 Series convergentes e series divergentes
Seja (a
n
)
nN
uma sucessao de n umeros reais. A serie numerica de termo
geral a
n
e a soma innita

+
n=1
a
n
.
Denicao 2.1 A sucess ao associada
2
`a serie numerica

+
n=1
a
n
e a suces-
sao de termo geral
s
n
=
n

i=1
a
i
= a
1
+ a
2
+ . . . + a
n
.
Denicao 2.2 A serie numerica

+
n=1
a
n
diz-se convergente se a sua
sucessao associada (s
n
) for convergente. Nesse caso, chama-se soma da
serie ao limite da sucessao associada e escreve-se
+

n=1
a
n
= lims
n
.
Se a sua sucessao associada for divergente, a serie diz-se divergente.
Nesse caso, nao faz sentido falar em soma.
Observacao 2.1 A varia cao do ndice mudo n na expressao que dene a
serie nao tem necessariamente de ocorrer em N, ou seja, de 1 a +. Por
vezes, e conveniente considerar series do tipo

+
n=0
a
n
, ou mesmo

+
n=p
a
n
,
com p um inteiro.
2
ou sucessao das somas parciais ou sucess ao das reduzidas
17
Exemplo 2.1 Seja a R.
`
A serie numerica
+

n=1
a
n
= a + a
2
+ a
3
+ . . .
chama-se serie geometrica de razao a. A sua sucessao associada e
s
n
=
n

i=1
a
i
=
_

_
a
1 a
n
1 a
se a = 1
n se a = 1 .
A serie e convergente (e a sua soma e
a
1a
) se |a| < 1 e divergente se |a| 1.
Exemplo 2.2 A serie numerica, dita serie telescopica,
+

n=1
1
n(n + 1)
tem como sucessao associada
s
n
=
n

i=1
1
i(i + 1)
=
n

i=1
_
1
i

1
i + 1
_
=
_
1
1
2
_
+
_
1
2

1
3
_
+ . . . +
_
1
n 1

1
n
_
+
_
1
n

1
n + 1
_
= 1
1
n + 1
.
A serie e portanto convergente (e a sua soma e 1).
A determinacao da soma de uma serie numerica, quando convergente,
exige normalmente o recurso a series de fun coes, que serao estudadas mais
adiante. Os casos em que e possvel obter a soma usando apenas a denicao
esgotam-se praticamente nos exemplos anteriores e suas variantes. O prin-
cipal objectivo de ora em diante vai ser o da determina cao da natureza de
uma dada serie numerica, isto e, o de decidir se a serie e convergente ou
18
divergente. Neste contexto, assume um caracter irrelevante a indicacao ex-
pressa dos ndices na escrita do somatorio e passaremos a usar simplesmente
a notacao

a
n
para nos referirmos a uma serie numerica.
O proximo resultado e uma condicao necessaria de convergencia.
Teorema 2.1 Se

a
n
e uma serie convergente entao lima
n
= 0.
Demonstrac ao: Seja (s
n
) a sucessao associada `a serie e s = lims
n
a soma
da serie. Dene-se uma nova sucessao (t
n
), com
t
n
=
_
_
_
0 se n = 1
s
n1
se n 2 .

E evidente que limt

n
= lims
n
= s e que s
n
t
n
= a
n
. Assim
lima
n
= lim(s
n
t
n
) = lims
n
limt
n
= s s = 0 .

Portanto, se o termo geral de uma serie numerica nao tender para zero
conclui-se imediatamente que a serie e divergente. No entanto, o recproco
do teorema anterior e falso. O exemplo classico e dado pelo
Exemplo 2.3 A serie harmonica
+

n=1
1
n
,
cujo termo geral tende para zero, e divergente. De facto, a subsucessao
(s
2
n)
nN
da sua sucessao associada e divergente:
s
2
n = 1 +
1
2
+
_
1
3
+
1
4
_
+
_
1
5
+
1
6
+
1
7
+
1
8
_
+ . . .
+
_
1
2
n1
+ 1
+ . . . +
1
2
n
_
. .
2
n1
parcelas
> 1 +
1
2
+ 2
1
4
+ 4
1
8
+ . . . + 2
n1
1
2
n
= 1 + n
1
2
+ .
19
A sucessao associada a uma serie

a
n
de termos nao-negativos a
n
0
e obviamente crescente pois
s
n+1
s
n
= a
n+1
0 , n.
Assim, a serie converge se, e so se, (s
n
) for limitada. E diverge se, e so se,
lims
n
= +. Neste caso, escrevemos

a
n
= +.
Exemplo 2.4 A serie de termos positivos
+

n=1
1
n

,
com > 1, e convergente pois a sua sucessao associada e limitada:
0 s
n
c , n N .
Na verdade, dado n N, seja k N tal que n 2
k
1. Entao,
s
n
s
2
k
1
= 1 +
_
1
2

+
1
3

_
+
_
1
4

+
1
5

+
1
6

+
1
7

_
+ . . .
+
_
1
(2
k1
)

+ . . . +
1
(2
k
1)

_
. .
2
k1
parcelas
1 +
2
2

+
4
4

+ . . . +
2
k1
(2
k1
)

=
k1

i=0
_
2
2

_
i

i=0
_
2
2

_
i
=
1
1 2
1
c ,
visto que a razao da serie geometrica e 0 < 2
1
< 1 porque > 1.
Apresentamos de seguida um criterio de comparacao para series de
termos nao-negativos.
20
Teorema 2.2 Sejam

a
n
e

b
n
series de termos nao-negativos tais que,
para uma constante c > 0 e um certo n
0
N,
a
n
c b
n
, n > n
0
. (5)
Entao se

b
n
convergir,

a
n
tambem converge.
Demonstrac ao: Sem perda de generalidade, podemos supor que (5) e
valida para todo o n N. Sendo (s
n
) e (t
n
) as sucessoes associadas, respec-
tivamente, a

a
n
e

b
n
, tem-se imediatamente
s
n
c t
n
, n N .
Sendo

b
n
convergente, (t
n
) e limitada:
M > 0 : 0 t
n
M , n N .
Logo, (s
n
) tambem e limitada: 0 s
n
c M , n N. Segue-se que

a
n
e convergente.

Exemplo 2.5 A serie de termos positivos

+

n=1
1
n

,
com < 1, e divergente. Na verdade,
1
n

1
n

, n N
e a conclusao resulta do criterio de comparacao e da divergencia da serie
harmonica.
2.2 Convergencia absoluta e convergencia condicional
Denicao 2.3 Uma serie

a
n
diz-se absolutamente convergente se a
serie dos modulos

|a
n
| for convergente.
21
Exemplo 2.6 Toda a serie convergente de termos nao-negativos e absolu-
tamente convergente.
Exemplo 2.7 A serie geometrica
+

n=1
_

1
2
_
n
e absolutamente convergente.
Exemplo 2.8 A serie
+

n=1
(1)
n+1
n
nao e absolutamente convergente ja que a sua serie dos modulos e a serie
harmonica

1
n
que e divergente.
Denicao 2.4 Uma serie convergente que nao seja absolutamente conver-
gente diz-se condicionalmente convergente.
Teorema 2.3 (Criterio de Leibniz) Seja (a
n
) uma sucess ao decrescente
com lima
n
= 0. Entao a serie
+

n=1
(1)
n+1
a
n
e convergente.
Demonstrac ao: A sucessao associada `a serie e
s
n
= a
1
a
2
+ a
3
+ . . . + (1)
n+1
a
n
.
A subsucessao (s
2n
) dos termos de ordem par e crescente ja que
s
2n+2
s
2n
= a
2n+2
+ a
2n+1
0 ;
a subsucessao (s
2n1
) dos termos de ordem mpar e decrescente ja que
s
2n+1
s
2n1
= a
2n+1
a
2n
0 .
Por outro lado,
s
2n
s
2n1
= a
2n
0 (6)
22
e portanto tem-se
s
2
s
4
. . . s
2n
. . . s
2n1
. . . s
3
s
1
.
Assim, ambas as subsucessoes sao limitadas inferiormente por s
2
e superi-
ormente por s
1
. Como tambem sao monotonas, sao convergentes. Resulta
entao de (6) que
lims
2n
lims
2n1
= lim(s
2n
s
2n1
) = lima
2n
= 0
e portanto lims
2n
= lims
2n1
donde (s
n
) e convergente.

Exemplo 2.9 A serie do Exemplo 2.8 e condicionalmente convergente. A

serie
+

n=1
(1)
n+1
ln
_
1 +
1
n
_
e condicionalmente convergente. Porque?
Mostremos agora que toda a serie absolutamente convergente e conver-
gente. Dada uma sucessao (a
n
), denimos duas novas sucessoes:
p
n
= max{a
n
, 0} =
_
_
_
a
n
se a
n
0
0 se a
n
0
designada por parte positiva de a
n
; e
q
n
= max{a
n
, 0} =
_
_
_
0 se a
n
0
a
n
se a
n
0
designada por parte negativa de a
n
. Sao de verica cao imediata as se-
guintes propriedades das partes positiva e negativa:
p
n
, q
n
0 ; p
n
+ q
n
= |a
n
| ; p
n
q
n
= a
n
.
Teorema 2.4 Toda a serie absolutamente convergente e convergente.
23
Demonstrac ao: Seja

|a
n
| convergente. Como p
n
, q
n
|a
n
|, segue-se
do Teorema 2.2 que

p
n
e

q
n
sao convergentes. Assim, tambem e
convergente a serie

a
n
=

(p
n
q
n
) =

p
n

q
n
.

Observacao 2.2 O resultado pode interpretar-se do seguinte modo: dada

uma serie convergente de termos nao-negativos, nenhuma troca de sinais dos
termos da serie altera a sua natureza.
Corolario 2.1 Se

a
n
for condicionalmente convergente entao

p
n
=

q
n
= +.
Demonstrac ao: Se convergir uma das series, por exemplo

p
n
, ter-se-a

q
n
=

(p
n
a
n
) =

p
n

a
n
e a outra tambem converge. Mas entao

|a
n
| =

(p
n
+ q
n
) =

p
n
+

q
n
e convergente, o que e absurdo.

2.3 Criterios de convergencia

Teorema 2.5 Seja

b
n
uma serie absolutamente convergente, com b
n
= 0,
n. Se a sucessao
_
a
n
/ b
n
_
n
for limitada (em particular, se for convergente)
entao a serie

a
n
e absolutamente convergente.
Demonstrac ao: Se
_
a
n
b
n
_
n
for limitada, existe c > 0 tal que

a
n
b
n

c |a
n
| c |b
n
| , n .
O resultado segue-se do Teorema 2.2.

Exemplo 2.10 A serie

1
n
3
+4n
2
+
e absolutamente convergente; de facto,

1
n
3
e absolutamente convergente e
lim
1
n
3
+4n
2
+
1
n
3
= lim
n
3
n
3
+ 4n
2
+
= 1 .
24
Corolario 2.2 (Criterio de dAlembert) Seja a
n
= 0, n. Se existir
uma constante 0 < c < 1 e uma ordem n
0
N tais que

a
n+1
a
n

c , n > n
0
(em particular, se lim

a
n+1
a
n

< 1) entao

a
n
e absolutamente convergente.
Demonstrac ao: Temos, para todo o n > n
0
,
|a
n+1
|
|a
n
|
c =
c
n+1
c
n

|a
n+1
|
c
n+1

|a
n
|
c
n
,
pelo que a sucessao de termos nao-negativos (|a
n
|/ c
n
)
n
e decrescente a partir
de uma certa ordem, logo limitada.
Como

c
n
e uma serie geometrica (absolutamente) convergente, segue-
se do teorema que

|a
n
| e convergente.

Observacao 2.3 Na generalidade dos casos praticos, a aplicacao do criterio

de dAlembert consiste no calculo de lim

a
n+1
a
n

= L.
Se L < 1, a serie

a
n
e absolutamente convergente.
Se L > 1, a serie e divergente pois o seu termo geral nao tende para
zero ja que, a partir de uma certa ordem, se tem |a
n+1
| > |a
n
|.
Se L = 1, o criterio e inconclusivo como mostram os exemplos das
series

1
n
2
e

1
n
.
Exemplo 2.11 A serie

n!
n
n
e absolutamente convergente:
lim
(n+1)!
(n+1)
(n+1)
n!
n
n
= lim
_
n
n + 1
_
n
=
1
e
< 1 .
25
Teorema 2.6 (Criterio de Cauchy) Se existir uma constante 0 < c < 1
e uma ordem n
0
N tais que
n
_
|a
n
| c , n > n
0
(em particular, se lim
n
_
|a
n
| < 1) entao

a
n
e absolutamente convergente.
Demonstrac ao: Temos, para todo o n > n
0
,
n
_
|a
n
| c |a
n
| c
n
.
Como

c
n
e uma serie geometrica (absolutamente) convergente, segue-se
do Teorema 2.2 que

|a
n
| e convergente.

Observacao 2.4 Na generalidade dos casos praticos, a aplicacao do criterio

de Cauchy consiste no calculo de lim
n
_
|a
n
| = L.
Se L < 1, a serie

a
n
e absolutamente convergente.
Se L > 1, a serie e divergente pois o seu termo geral nao tende para
zero ja que, a partir de uma certa ordem, se tem |a
n
| > 1.
Se L = 1, o criterio e inconclusivo como mostram os exemplos das
series

1
n
2
e

1
n
.
Exemplo 2.12 A serie
_
ln n
n
_
n
e absolutamente convergente:
lim
n

_
lnn
n
_
n
= lim
lnn
n
= 0 < 1 .
O resultado seguinte, cuja demonstra cao pode ser consultada em [4, pag.
143], relaciona os dois limites referidos anteriormente.
Teorema 2.7 Seja a
n
= 0, n. Se lim

a
n+1
a
n

= L entao lim
n
_
|a
n
| = L.
26
Teorema 2.8 (Criterio do integral) Seja f : [1, +) R contnua, po-
sitiva e decrescente e seja a
n
= f(n), n N. Entao a serie

a
n
e conver-
gente se, e so se, o integral improprio
_
+
1
f(x) dx for convergente.
Demonstrac ao: Mostramos apenas que a convergencia da serie se segue
da convergencia do integral improprio. Para cada k N, k = 1, tem-se
a
k
= f(k) =
_
k
k1
f(k) dx
_
k
k1
f(x) dx
pois, como f e decrescente, f(k) f(x), x (k 1, k). Assim,
s
n
=
n

k=1
a
k
a
1
+
n

k=2
_
k
k1
f(x) dx
= a
1
+
_
n
1
f(x) dx
a
1
+
_
+
1
f(x) dx
porque f e positiva. Logo, sendo o integral improprio convergente, a su-
cessao associada `a serie e limitada e portanto, como e de termos positivos,
e convergente.

Exemplo 2.13 A serie de Riemann

+

n=1
1
n

converge se > 1. Na verdade,

_
+
1
1
x

dx = lim
X+
_
X
1
1
x

dx
= lim
X+
_
x
1
1
_
X
1
=
1
1
lim
X+
_
X
1
1
_
=
1
1
.
Recorde, a proposito, o Exemplo 2.4.
27
2.4 Comutatividade
Para somas nitas de n umeros reais e valida a propriedade comutativa. No
caso das series, nem sempre a convergencia e a soma da serie sao indepen-
dentes da ordem das parcelas.
Denicao 2.5 Uma serie

a
n
diz-se comutativamente convergente
se, dada qualquer bijecc ao : N N, a serie

a
(n)
for convergente e

a
(n)
=

a
n
.
Exemplo 2.14 A serie
+

n=1
(1)
n+1
1
n
e (condicionalmente) convergente. Seja s a sua soma; entao
s = 1
1
2
+
1
3

1
4
+
1
5

1
6
+
1
7

1
8
+
1
9

1
10
+
1
11

1
12
+ . . .
s
2
= 0 +
1
2
+ 0
1
4
+ 0 +
1
6
+ 0
1
8
+ 0 +
1
10
+ 0
1
12
+ . . . ,
multiplicando por 1/2 e acrescentando parcelas nulas. Somando agora termo
a termo as duas series anteriores, obtem-se
3s
2
= 1 +
1
3

1
2
+
1
5
+
1
7

1
4
+
1
9
+
1
11

1
6
+ . . .
que e uma serie com os mesmos termos da serie inicial, tomados por uma
ordem diferente. Esta reordenacao conduziu a uma soma diferente da inicial
logo a serie nao e comutativamente convergente.
Os dois proximos resultados mostram que as series comutativamente
convergentes sao as series absolutamente convergentes.
Teorema 2.9 Toda a serie absolutamente convergente e comutativamente
convergente.
28
Demonstrac ao: Suponhamos, para come car, que a
n
0, para todo o
n e que

a
n
= s. Seja : N N uma bijeccao e s
n
e t
n
as sucessoes
associadas, respectivamente, a

a
n
e

a
(n)
. Dado m N, seja
n = max
_
(1), (2), . . . , (m)
_
.
Entao
t
m
=
m

i=1
a
(i)

n

j=1
a
j
= s
n
.
Analogamente, dado n N, existe m = max
_

1
(1),
1
(2), . . . ,
1
(n)
_
tal que s
n
t
m
. Daqui resulta que limt
n
= lims
n
= s. De facto, dado
> 0, seja n
0
N tal que n > n
0
s < s
n
s (recorde-se que s
n
e
crescente). Consideremos a ordem m
0
tal que s
n
0
+1
t
m
0
; entao, como t
n
e crescente,
n > m
0
s < s
n
0
+1
t
m
0
t
n
s .
Falta justicar a ultima desigualdade: se, para alguma ordem m

, t
m
> s,
existiria uma ordem n

tal que s
n
t
m
> s, o que e absurdo, pois a
sucessao crescente s
n
nao convergiria para s.
O caso geral reduz-se a este considerando a decomposicao da serie nas
suas partes positiva e negativa

a
n
=

p
n


q
n
. Uma reordena cao
a
(n)
dos termos da serie determina uma reordenacao p
(n)
dos p
n
e uma
reordenacao q
(n)
dos q
n
, que sao, respectivamente, as partes positiva e
negativa de a
(n)
. Entao, resulta do caso anterior que

a
(n)
=

p
(n)

q
(n)
=

p
n

q
n
=

a
n
.

Teorema 2.10 (Riemann) Seja

a
n
uma serie condicionalmente con-
vergente. Dado um qualquer n umero real , existe uma bijeccao : N N
tal que

a
(n)
= .
Demonstrac ao: Fixado R, denimos uma nova serie

a
(n)
, obtida
por reordena cao dos termos de

a
n
do modo seguinte: comecamos a somar
os termos positivos de

a
n
, na sua ordem natural, ate que, ao somar a
n
1
, a
29
soma seja, pela primeira vez, superior a . Isto e possvel pois

p
n
= +
(ver Corolario 2.1). Acrescentamos a seguir termos negativos, tambem
na sua ordem natural, ate que, ao somar a
n
2
, a soma seja, pela primeira
vez, inferior a . Isto e possvel pois

q
n
= (ver Corolario 2.1).
Prosseguindo deste modo, obtemos a reordena cao procurada. A sucessao t
n
associada `a nova serie oscila em torno de e verica a propriedade, a partir
do termo obtido ao somar a
n
1
,
|t
n
| |a
n
k
| ,
onde a
n
k
e o termo que originou a ultima oscilacao em torno de . Como
lima
n
k
= 0 (porque a serie

a
n
e convergente), temos que limt
n
= .

Observacao 2.5 Um raciocnio analogo permite demonstrar que existem

reordenacoes dos termos da serie que dao origem a series divergentes, com
sucessoes associadas a tender para + (ou ).
30
3 Sucess oes de funcoes
Seja X R e F o conjunto das funcoes reais denidas em X. Uma aplicacao
de N em F e dita uma sucessao de fun coes. Ao inves das sucessoes
numericas, para as quais so existe uma no cao de limite, para as sucessoes
de funcoes sao varias as possibilidades de denir o limite. Analisamos de
seguida as mais usuais.
3.1 Convergencia simples e convergencia uniforme
Denicao 3.1 Uma sucess ao de funcoes f
n
: X R converge simples-
mente (ou pontualmente) para uma funcao f : X R se, para todo o
x X, se tem f
n
(x) f(x), i.e.,
x X , > 0 , n
0
N : n > n
0

f
n
(x) f(x)

< .
Observacao 3.1 A interpretacao geometrica desta nocao de limite e a se-
guinte: para cada ponto x X, a sucessao de pontos (x, f
n
(x)), correspon-
dente `a intersec cao da recta vertical que passa por x com os gracos das
fun coes f
n
, converge para (x, f(x)), o ponto de intersec cao da mesma recta
com o graco de f.
Exemplo 3.1 Analisemos quais os limites simples das seguintes sucessoes
de funcoes:
1. f
n
(x) =
x
n
, x R.
Para cada x R, a sucessao numerica
x
n
converge para 0, pelo que o
limite e a funcao nula em R.
2. f
n
(x) = x
n
, x [0, 1].
Para cada x [0, 1), a sucessao numerica x
n
converge para 0; ja para
x = 1, a sucessao constante 1
n
tende para 1. O limite e pois a fun cao
f : [0, 1] R denida por
f(x) =
_
_
_
0 se x [0, 1)
1 se x = 1 .
31
3. f
n
(x) = x
n
(1 x
n
) , x [0, 1].
Usando o que foi dito anteriormente, e facil vericar que o limite e a
fun cao nula em [0, 1].
Na deni cao da convergencia simples, a ordem n
0
a determinar depende
nao apenas de mas tambem do ponto x
0
. Para o mesmo , nada obriga a
que, para pontos diferentes, o n
0
seja o mesmo. A denicao considera cada
ponto isoladamente e nao a funcao como um todo. Como consequencia,
algumas propriedades, por exemplo a continuidade, perdem-se na passagem
ao limite (cf. o exemplo anterior). A deni cao seguinte vem dar resposta a
estas limitacoes.
Denicao 3.2 Uma sucessao de func oes f
n
: X R converge unifor-
memente para uma fun cao f : X R se
> 0 , n
0
N : n > n
0

f
n
(x) f(x)

< , x X .
Observacao 3.2 A interpretacao geometrica e a seguinte: para cada > 0,
a faixa de raio em torno do graco de f
_
(x, y) R
2
: x X ; |y f(x)| <
_
contem, a partir da ordem n
0
, os gracos de todas as fun coes f
n
.
Observacao 3.3

E evidente que se uma sucessao converge uniformemente
para um dado limite tambem converge simplesmente para o mesmo limite.
O limite uniforme, se existir, sera, portanto, o limite simples.
Observacao 3.4 A deni cao dada e trivialmente equivalente a armar-se
que a sucessao numerica
M
n
sup
xX

f
n
(x) f(x)

(7)
e um innitesimo. Esta observa cao constitui um criterio pratico para inves-
tigar se, identicado o limite simples de uma dada sucessao de funcoes, a
convergencia e uniforme.
32
Exemplo 3.2 Reanalisemos os exemplos anteriores quanto `a convergencia
uniforme:
1. M
n
= sup
xR

x
n
0

= +.
Logo, a convergencia nao e uniforme. Ja se o domnio das funcoes fosse
um intervalo limitado, digamos [L, L], a convergencia seria uniforme:
M
n
= sup
x[L,L]

x
n
0

=
L
n
0 .
2. M
n
= sup
x[0,1]

x
n
f(x)

= sup
x[0,1)
x
n
= 1.
Logo, a convergencia nao e uniforme.
3. M
n
= sup
x[0,1]

x
n
(1 x
n
) 0

=
1
4
.
Logo, a convergencia nao e uniforme.
3.2 Propriedades da convergencia uniforme
O primeiro teorema desta seccao justica a arma cao heurstica de que o
limite uniforme de funcoes contnuas e uma func ao contnua.
Teorema 3.1 Seja f
n
: X R uma sucessao de funcoes uniformemente
convergente para f : X R. Se cada f
n
for contnua no ponto a X entao
f tambem e contnua no ponto a.
Demonstrac ao: Queremos provar que
> 0 , > 0 : x (a , a + ) X

f(x) f(a)

< .
Fixemos > 0. Como a convergencia dos f
n
para f e uniforme, ao n umero
real positivo

3
corresponde uma ordem n
0
tal que
n > n
0

f
n
(x) f(x)

<

3
, x X .
33
Fixemos uma ordem n

> n
0
; por hipotese, a fun cao f
n

e contnua em a.
Logo, dado o n umero real positivo

3
,
> 0 : x (a , a + ) X

f
n

(x) f
n

(a)

<

3
.
Entao, para x (a , a + ) X, tem-se

f(x) f(a)

f(x) f
n

(x) + f
n

(x) f
n

(a) + f
n

(a) f(a)

f
n

(x) f(x)

f
n

(x) f
n

(a)

f
n

(a) f(a)

<

3
+

3
+

3
= .

Exemplo 3.3 A sucessao de funcoes contnuas do exemplo 2. acima con-

verge para uma funcao descontnua. Imediatamente se conclui que a con-
vergencia nao e uniforme.
De seguida, respondemos armativamente `a questao da passagem ao
limite sob o sinal de integral: se a convergencia for uniforme, o integral do
limite e o limite dos integrais.
Teorema 3.2 Se a sucessao de funcoes integraveis f
n
: [a, b] R converge
uniformemente para f : [a, b] R entao f e integravel e
_
b
a
f(x) dx = lim
n+
_
b
a
f
n
(x) dx . (8)
Demonstrac ao: Omitimos a demonstra cao de que f e integravel, nao sem
observar que, para fun coes f
n
contnuas, o resultado e imediato ja que, pelo
teorema anterior, f tambem sera contnua, logo integravel.
Quanto `a igualdade (8), seja > 0. Como a convergencia dos f
n
para f
e uniforme, ao n umero real positivo

ba
corresponde uma ordem n
0
tal que
n > n
o

f
n
(x) f(x)

<

b a
, x [a, b] .
34
Portanto, para n > n
0
,

_
b
a
f
n
(x) dx
_
b
a
f(x) dx

_
b
a

f
n
(x) f(x)

dx
< (b a)

b a
= ,
e o resultado segue-se da deni cao de limite de uma sucessao numerica.

Exemplo 3.4 Veriquemos que o resultado nao e valido se se exigir apenas

a convergencia simples: a sucessao de funcoes f
n
(x) = nx
n
(1x
n
) converge
simplesmente, no intervalo [0, 1], para a fun cao nula. Tem-se
0 =
_
1
0
0 dx = lim
n+
_
1
0
f
n
(x) dx = lim
n+
n
2
(n + 1)(2n + 1)
=
1
2
.
A convergencia nao e uniforme ja que, por inspec cao da monotonia da
fun cao, se conclui que
M
n
= sup
x[0,1]

nx
n
(1 x
n
) 0

=
n
4
+ .
O exemplo seguinte mostra que, no caso da deriva cao, nao e a con-
vergencia uniforme da sucessao de fun coes que faz com que a derivada do
limite seja o limite das derivadas.
Exemplo 3.5 A sucessao de funcoes f
n
(x) =
sin(nx)
n
converge uniforme-
mente em R para a fun cao nula. No entanto, a sucessao das derivadas
f
n

(x) = cos(nx) nem sequer e convergente.

A condicao relevante e a convergencia uniforme das derivadas, como se
precisa a seguir.
Teorema 3.3 Seja (f
n
) uma sucess ao de funcoes de classe C
1
em [a, b]. Se,
para um certo c [a, b], a sucessao numerica (f
n
(c)) convergir e a sucess ao
das derivadas (f
n

) convergir uniformemente em [a, b] para uma funcao g,

entao (f
n
) converge uniformemente em [a, b] para uma funcao f, de classe
C
1
, tal que f

= g.
35
Demonstrac ao: Pelo Teorema Fundamental do Calculo, para cada n N,
tem-se
f
n
(x) = f
n
(c) +
_
x
c
f
n

(t) dt , x [a, b] .
Passando ao limite quando n +, resulta da hipotese e do teorema
anterior que, para cada x [a, b], existe
f(x) := lim
n+
f
n
(x) = lim
n+
f
n
(c) +
_
x
c
g(t) dt .
Fazendo x = c, obtem-se lim
n+
f
n
(c) = f(c). Como g e contnua (pois
e o limite uniforme de funcoes contnuas), f e derivavel, novamente como
consequencia o Teorema Fundamental do Calculo, e f

(x) = g(x), x [a, b].

Assim f e de classe C
1
.
Resta provar que f
n
f uniformemente. Dado > 0, existem ordens
n
1
, n
2
N tais que
n > n
1

f
n
(c) f(c)

<

2
n > n
2

f
n

(t) g(t)

<

2(b a)
, t [a, b] .
Seja n
0
= max{n
1
, n
2
}. Entao, para n > n
0
,

f
n
(x) f(x)

f
n
(c) +
_
x
c
f
n

(t) dt f(c)
_
x
c
g(t) dt

f
n
(c) f(c)

+
_
x
c

f
n

(t) g(t)

dt

2
+|x c| sup
t(c,x)

f
n

(t) g(t)

2
+ (b a)

2(b a)
= ,
qualquer que seja x [a, b].

36
4 Series de func oes
Por analogia com o caso das series numericas, denimos serie de funcoes
convergente atraves da sua sucessao (de funcoes) associada. Assim, dadas
fun coes f
n
: X R, dizemos que a serie

f
n
(x) e convergente e tem soma
f : X R se a sua sucessao associada
s
n
(x) =
n

k=1
f
k
(x) = f
1
(x) + . . . + f
n
(x) , n N , x X
for convergente para f.
A serie converge uniformemente se a sua sucessao associada (s
n
) conver-
gir uniformemente para f, o que e equivalente a dizer que a sucessao dos
restos
r
n
(x) =

k>n
f
k
(x) = f
n+1
(x) + f
n+2
(x) + . . . , n N , x X
converge uniformemente para zero. Esta equivalencia e evidente pois
r
n
= f s
n
, n N .
Os teoremas relativos `a convergencia demonstrados no captulo anterior
tem analogos obvios no contexto das series de funcoes:
Se

f
n
convergir uniformemente para f e cada f
n
for contnua no
ponto a entao f tambem e contnua no ponto a.
Se

f
n
convergir uniformemente para f e cada f
n
for integravel em
[a, b] entao f e integravel em [a, b] e
_
b
a
f(x) dx =
_
b
a
f
n
(x) dx.
Se cada f
n
for de classe C
1
em [a, b], se, para um certo c [a, b],
a serie

f
n
(c) convergir e se a serie das derivadas

f
n

convergir
uniformemente em [a, b], entao

f
n
converge uniformemente em [a, b]
para uma funcao de classe C
1
e (

f
n
)

=

f
n

.
37
Exemplo 4.1 A serie de funcoes
+

n=0
x
2
(1 + x
2
)
n
, que, para x = 0, e uma
serie geometrica, converge para a funcao descontnua
f(x) =
_
_
_
1 + x
2
se x R \ {0}
0 se x = 0 .
Logo, a convergencia nao e uniforme.
A forma mais conveniente de concluir que uma serie converge uniforme-
mente e dada pelo criterio seguinte.
Teorema 4.1 (Criterio de Weierstra) Sejam f
n
: X R e

a
n
uma
serie numerica convergente, de termos a
n
0, tal que
|f
n
(x)| a
n
, n N , x X .
Entao as series

|f
n
| e

f
n
sao uniformemente convergentes.
Demonstrac ao:

E evidente que as series convergem para cada x X, em
virtude do criterio de comparacao fornecido pelo Teorema 2.2. Para mos-
trar que a convergencia e uniforme, xemos > 0. Como a serie numerica

a
n
e convergente, existe uma ordem n
0
tal que

k>n
a
k
< , n > n
0
.
Assim

k>n
f
n
(x)

k>n
|f
n
(x)|

k>n
a
k
< , n > n
0
, x X ,
pelo que os restos de ambas as series convergem uniformemente para zero.

Exemplo 4.2 A serie de funcoes

sin(nx)
n
2
e uniformemente convergente.
Na verdade, tem-se

sin(nx)
n
2

1
n
2
, n N , x R
e a serie numerica de termos positivos

1
n
2
e convergente.
38
4.1 Series de potencias
Um tipo particularmente importante de series de fun coes sao as chama-
das series de potencias, que constituem a generaliza cao natural dos po-
linomios (podemos dizer, de forma heurstica, que sao polinomios de grau
innito). Uma serie de potencias de x e uma expressao da forma

n=0
a
n
x
n
= a
0
+ a
1
x + a
2
x
2
+ . . .
Mais geralmente,

n=0
a
n
(x x
0
)
n
= a
0
+ a
1
(x x
0
) + a
2
(x x
0
)
2
+ . . .
diz-se uma serie de potencias de x x
0
. Serao apenas consideradas series
de potencias de x e, doravante, a expressao serie de potencias querera dizer
serie de potencias de x; o caso geral reduz-se a este atraves da mudan ca de
variavel y = x x
0
.
A importancia destas series resulta do facto de as principais fun coes da
Analise se poderem representar como series de potencias. Antes de abor-
dar esta questao, detenhamo-nos na determinacao dos valores de x para os
quais converge uma serie de potencias. O conjunto de tais valores tem uma
estrutura bem determinada, a saber, trata-se de um intervalo de centro na
origem. Tal intervalo pode ser limitado (aberto, fechado ou semi-aberto),
estender-se a toda a recta ou reduzir-se apenas `a origem. Antes de de-
monstrar este facto, analisemos exemplos ilustrativos das diversas situa coes
referidas.
Exemplo 4.3
1. A serie

x
n
n!
converge (absolutamente) para x R, como se conclui
facilmente usando os criterios de Cauchy ou de dAlembert.
2. A serie

(1)
n
2n + 1
x
2n+1
converge (absolutamente) para x (1, 1),
como se conclui facilmente usando os mesmos criterios e diverge fora
de [1, 1]. Converge ainda nas extremidades deste intervalo, como
consequencia do Criterio de Leibniz. Assim, converge para x [1, 1].
39
3. Analogamente, a serie

(1)
n+1
n
x
n
converge (absolutamente) para
x (1, 1) e ainda para x = 1, como consequencia do Criterio de
Leibniz mas diverge para x = 1. Assim, converge para x (1, 1].
4. A serie geometrica de razao x,

x
n
, converge (absolutamente) para
x (1, 1).
5. A serie

n
n
x
n
so converge para x = 0, ja que o seu termo geral nao
tende para zero se x = 0.
Teorema 4.2 Uma serie de potencias

a
n
x
n
, ou converge apenas para
x = 0 ou existe r (0, +] tal que a serie converge absolutamente no
intervalo aberto (r, r) e diverge fora do intervalo fechado [r, r]. Se existir
L = lim
n
_
|a
n
| entao r = 1/L.
Demonstrac ao: Se a sucessao (
n
_
|a
n
|) for ilimitada entao o mesmo acon-
tece, para x = 0, com a sucessao (|a
n
x
n
|), pelo que o termo geral da serie

a
n
x
n
nao e um innitesimo. Assim, a serie de potencias converge apenas
para x = 0.
Se, em alternativa, a sucessao (
n
_
|a
n
|) for limitada entao o conjunto
X =
_
> 0 : n
0
N :
n
_
|a
n
| <
1

, n > n
0
_
e nao-vazio e, portanto, existe r = supX (0, +]
3
. Mostremos que X e
um intervalo de extremos 0 e r, ou seja, que X = (0, r) ou X = (0, r] ou
X = (0, +): seja X e 0 < x < ; entao
n
_
|a
n
| <
1

<
1
x
, n > n
0
pelo que x X. Mostremos agora que
a serie converge absolutamente no intervalo aberto (r, r):
3
Atenc ao ao abuso de linguagem: admitimos supX = + se X for ilimitado.
40
seja x (r, r) e X tal que |x| < < r; tem-se
n
_
|a
n
x
n
| = |x|
n
_
|a
n
| <
|x|

< 1 , n > n
0
e a arma cao segue-se do criterio de Cauchy (Teorema 2.6);
a serie diverge fora do intervalo fechado [r, r]:
seja |x| > r; entao |x| / X e, para uma innidade de valores de n,
tem-se
n
_
|a
n
|
1
|x|
|a
n
x
n
| 1
pelo que a serie

a
n
x
n
diverge ja que o se termo geral nao e um
innitesimo.
Finalmente, se existir L = lim
n
_
|a
n
| entao, para cada X, tem -se
(convencionando que 1/L = + para L = 0)
L = lim
n
_
|a
n
|
1

1
L
pelo que r = supX 1/L. Suponhamos, por absurdo que r < 1/L e seja
tal que r < < 1/L. Entao L = lim
n
_
|a
n
| < 1/ e, pela denicao de
limite, existe uma ordem n
0
tal que
n
_
|a
n
| < 1/ , n > n
0
.
Entao X e portanto r = supX, uma contradi cao.

Denicao 4.1 A r [0, +] chama-se raio de convergencia da serie de

potencias e ao intervalo (r, r) chama-se intervalo de convergencia.
Observacao 4.1 Uma serie de potencias pode convergir ou divergir nas
extremidades r e r do seu intervalo de convergencia, nada podendo armar-
se em geral.
Observacao 4.2

E consequencia do teorema anterior e do Teorema 2.7
que, se a
n
= 0, n e existir lim
|a
n+1
|
|a
n
|
= L entao o raio de convergencia da
serie de potencias

a
n
x
n
e r = 1/L.
41
As propriedades das series de potencias relativas `a continuidade, inte-
gracao e deriva cao sao consequencia dos resultados gerais.
Teorema 4.3 Seja r o raio de convergencia da serie de potencias

a
n
x
n
e (0, r). A serie converge uniformemente no compacto [, ].
Demonstrac ao: O resultado e consequencia imediata do Criterio de Wei-
erstra:
|a
n
x
n
| |a
n
|
n
, n N , x [, ]
e a serie

a
n

n
e absolutamente convergente pois (r, r).

Corolario 4.1 Seja r > 0 o raio de convergencia da serie de potencias

a
n
x
n
. A fun cao f : (r, r) R, denida por f(x) =

a
n
x
n
, e contnua.
O teorema arma que uma serie de potencias converge uniformemente
em todo o intervalo compacto contido no seu intervalo de convergencia. A
serie pode nao convergir uniformemente no intervalo de convergencia. No
entanto, vale o seguinte resultado (para a demonstracao, ver [4, pag. 388]).
Teorema 4.4 (Abel) Seja r, positivo e nito, o raio de convergencia da
serie de potencias

a
n
x
n
. Se

a
n
r
n
convergir entao a serie de potencias
converge uniformemente em [0, r]. Em particular,
lim
xr

a
n
x
n
_
=

a
n
r
n
.
Teorema 4.5 (Integracao termo a termo) Seja r o raio de convergen-
cia da serie de potencias

a
n
x
n
. Se [, ] (r, r) entao
_

a
n
x
n
_
dx =

a
n
n + 1
_

n+1

n+1
_
.
Demonstrac ao: A convergencia e uniforme no intervalo compacto [, ]
contido no intervalo de convergencia. Logo, pode-se integrar termo a termo.

42
Teorema 4.6 (Derivacao termo a termo) Seja r o raio de convergen-
cia da serie de potencias

n=0
a
n
x
n
. A funcao f : (r, r) R, denida
por f(x) =

n=0
a
n
x
n
, e deriv avel, com f

(x) =

n=1
na
n
x
n1
. A serie
de potencias de f

ainda tem raio de convergencia r.

Demonstrac ao: Omite-se a demonstra cao de que o raio de convergencia
da serie das derivadas ainda e r.
Seja x (r, r) e (|x|, r). Como a convergencia da serie das deriva-
das e uniforme em [, ], f e derivavel e vale a igualdade
f

(x) =
_

n=0
a
n
x
n
_

n=1
na
n
x
n1
.

Observacao 4.3 Ao integrar termo a termo uma serie de potencias com

raio de convergencia r, pode acontecer que a nova serie convirja em alguma
das extremidades de (r, r), ou em ambas, sem que isso aconteca para a serie
original. Ao derivar termo a termo, pode acontecer o inverso e perder-se a
convergencia em alguma das extremidades do intervalo de convergencia, ou
mesmo em ambas.
Corolario 4.2 Seja r o raio de convergencia da serie de potencias

a
n
x
n
.
A funcao f : (r, r) R, denida por f(x) =

a
n
x
n
, e de classe C

.
Para cada k N, tem-se
f
(k)
(x) =

nk
n(n 1) . . . (n k + 1) a
n
x
nk
, x (r, r) .
Em particular, a
k
=
f
(k)
(0)
k!
.
Assim, a
0
+a
1
x+. . . +a
n
x
n
e o polinomio de Taylor de grau n da funcao
f(x) =

a
n
x
n
em torno do ponto x = 0.
Corolario 4.3 (Unicidade) Sejam

a
n
x
n
e

b
n
x
n
duas series de po-
tencias convergentes em (r, r) e X (r, r) um conjunto com um ponto
de acumulacao nesse intervalo. Se

a
n
x
n
=

b
n
x
n
, para todo o x X,
entao a
n
= b
n
, n N.
43
Estudadas as series de potencias, interessa-nos agora saber em que condi-
coes se pode representar uma dada funcao atraves de uma serie de potencias,
ou seja, como se pode desenvolver uma funcao em serie de potencias.
Denicao 4.2 Seja I um intervalo e f : I R uma funcao com derivadas
de todas as ordens em x
0
I. Chama-se serie de Taylor de f em torno
do ponto x
0
`a serie de potencias

n=0
f
(n)
(x
0
)
n!
(x x
0
)
n
.
Resulta imediatamente do Corolario 4.2 que a serie de Taylor em torno
de zero da funcao f : (r, r) R, denida por f(x) =

a
n
x
n
, e precisa-
mente

a
n
x
n
.
Dada uma fun cao de classe C

e determinada a sua serie de Taylor,

digamos em torno de zero, colocam-se duas questoes: a de se saber para que
valores de x a serie converge e a de determinar se a serie converge para f(x).
Isso acontecera se o resto da formula de Taylor
f(x) =
n

k=0
f
(k)
(0)
k!
x
k
+ R
n
(x)
vericar lim
n
R
n
(x) = 0.
Exemplo 4.4 A funcao f : R R, denida por
f(x) =
_
_
_
e
1/x
2
se x = 0
0 se x = 0 ,
e tal que f
(n)
(0) = 0, n N. Assim, a sua serie de Taylor em torno de
zero, que e a funcao nula, e uma serie convergente mas nao converge para
f(x) em nenhum intervalo.
Exemplo 4.5 A formula de Taylor em torno de zero, com resto de La-
grange, para a fun cao exponencial e dada por
e
x
=
n

k=0
x
k
k!
+
e
c
(n + 1)!
x
n+1
, |c| < |x| .
44
Como lim
n
e
c
(n + 1)!
x
n+1
= 0, para todo x R, tem-se
e
x
=

n=0
x
n
n!
, x R .
Exemplo 4.6 A formula de Taylor em torno de zero, com resto de La-
grange, para a fun cao seno e dada por
sinx =
n

k=0
(1)
k
x
2k+1
(2k + 1)!
+
[sin]
(2n+2)
(c)
(2n + 2)!
x
2n+2
, |c| < |x| .
Como

[sin]
(2n+2)
(c)
(2n+2)!
x
2n+2

|x|
2n+2
(2n+2)!
0, para todo x R, tem-se
sinx =

n=0
(1)
n
x
2n+1
(2n + 1)!
, x R .
Mas nem sempre e pratico utilizar este procedimento de escrita da for-
mula de Taylor e inspec cao do limite do resto para obter o desenvolvimento
em serie de potencias de uma dada fun cao. Podem usar-se as propriedades
das series e obter desenvolvimentos a partir de outros ja conhecidos.
Exemplo 4.7
coshx =
1
2
_
e
x
+ e
x
_
=
1
2
_

n=0
x
n
n!
+

n=0
(1)
n
x
n
n!
_
=
1
2

n=0
(1 + (1)
n
)
x
n
n!
=

n=0
x
2n
(2n)!
, x R .
Exemplo 4.8 A expressao para a soma de um n umero nito de termos de
uma progressao geometrica de razao x e dada por
1 + x + . . . + x
n
=
1 x
n+1
1 x
.
Logo,
1
1 x
= 1 + x + . . . + x
n
+
x
n+1
1 x
.
45
Como, para |x| < 1, se tem lim
n
x
n+1
1 x
= 0, obtem-se
1
1 x
= 1 + x + . . . + x
n
+ . . . =

n=0
x
n
, x (1, 1) .
Esta serie e a serie de Taylor de f(x) =
1
1 x
em torno de zero, donde
f
(n)
(0) = n! .
Exemplo 4.9 Como |x
2
| < 1 |x| < 1, tem-se
1
1 + x
2
=
1
1 (x
2
)
=

n=0
(x
2
)
n
=

n=0
(1)
n
x
2n
, x (1, 1) .
Integrando termo a termo, vem
arctanx =
_
x
0
1
1 + t
2
dt =
_
x
0

n=0
(1)
n
t
2n
dt =

n=0
(1)
n
x
2n+1
2n + 1
,
para x (1, 1). Mas esta serie converge, pelo Criterio de Leibniz, nas
extremidades do intervalo e o Teorema de Abel permite entao estender a
igualdade acima a x [1, 1]. Fazendo x = 1, obtemos a formula de Leibniz

4
= 1
1
3
+
1
5

1
7
+ . . .
46
4.2 Series de Fourier
As series de potencias permitem representar, em intervalos apropriados,
um vasto conjunto de funcoes mas apresentam uma limitacao evidente: as
fun coes tem que ser regulares. A descoberta por Fourier
4
, na sua Theorie
analytique de la chaleur, de que para uma muito mais vasta classe de fun coes,
incluindo funcoes descontnuas que surgem em in umeras aplicacoes em Me-
canica, era valida uma representacao em serie trigonometrica da forma
f(x) =
a
0
2
+

n=1
_
a
n
cos
nx
L
+ b
n
sin
nx
L
_
(9)
teve, pois, uma enorme importancia no desenvolvimento da Analise.
Verica-se facilmente que as funcoes cos
nx
L
e sin
nx
L
sao periodicas de
perodo (positivo mnimo) igual a
2L
n
. Um perodo comum a todas elas e,
portanto, 2L, e a validade de (9) implica naturalmente a periodicidade de f.
Esta e uma restri cao relativamente inocua, ja que uma fun cao denida num
intervalo limitado pode ser estendida a toda a recta de forma a tornar-se
periodica.
Admitindo a validade de (9) e a convergencia uniforme da serie trigo-
nometrica, basta multiplicar por cos
mx
L
ou sin
mx
L
e integrar termo a termo
para obter, por for ca das seguintes relacoes de ortogonalidade
_
L
L
cos
nx
L
sin
mx
L
= 0
_
L
L
cos
nx
L
cos
mx
L
=
_
L se n = m
0 se n = m
_
L
L
sin
nx
L
sin
mx
L
=
_
L se n = m
0 se n = m ,
validas para quaisquer n, m N, expressoes para os coecientes a
n
e b
n
.
4
Joseph Fourier (17681830)
47
Denicao 4.3 Seja f : R R uma funcao periodica, de perodo 2L, in-
tegravel em cada intervalo limitado. Os coecientes de Fourier de f sao
os n umeros reais
a
n
=
1
L
_
L
L
f(x) cos
nx
L
dx , n 0 ; (10)
b
n
=
1
L
_
L
L
f(x) sin
nx
L
dx , n 1 . (11)
A presenca do factor
1
2
no termo independente de (9) justica-se por tornar
valida a formula (10) para n = 0.
O principal resultado relativo a series de Fourier estabelece as condicoes
em que uma funcao periodica por ser representada pela sua serie de Fourier,
ou seja, uma serie trigonometrica da forma (9) em que os coecientes sao
determinados pelas formulas (10) e (11).
Denicao 4.4 Uma fun cao f : I R diz-se seccionalmente contnua
se, em cada intervalo limitado, tiver apenas um n umero nito de desconti-
nuidades, todas de primeira especie. Se x
0
for uma descontinuidade, dene-
se
f(x
0
+ 0) = lim
xx
0
+
f(x) e f(x
0
0) = lim
xx
0

f(x) .
A fun cao diz-se seccionalmente deriv avel se for seccionalmente contnua
e a sua derivada tambem.
Observacao 4.4 Uma funcao seccionalmente derivavel nao precisa de estar
denida nos seus pontos de descontinuidade. Nesses pontos, faz-se
f(x) =
f(x + 0) + f(x 0)
2
,
ou seja, toma-se para valor da fun cao a media dos limites laterais. O mesmo
vale para a sua derivada.
48
Exemplo 4.10 A funcao denida por
f(x) =
_
_
_
0 se < x < 0
1 se 0 < x <
e seccionalmente derivavel. O seu valor na descontinuidade x = 0 pode
tomar-se f(x) =
1
2
.
Teorema 4.7 (Dirichlet) Seja f : R R uma func ao seccionalmente
derivavel e periodica, de perodo 2L. Entao a sua serie de Fourier converge
em cada ponto x R e
f(x + 0) + f(x 0)
2
=
a
0
2
+

n=1
_
a
n
cos
nx
L
+ b
n
sin
nx
L
_
A demonstra cao esta para alem do ambito da disciplina; pode ser consultada
em [3].
Exemplo 4.11 Seja f : R R a fun cao periodica, de perodo 2, denida
em [, ) por
f(x) =
_
_
_
0 se x < 0
1 se 0 x < .
Os coecientes de Fourier de f sao
a
0
=
1

_

0
1 dx = 1 ;
a
n
=
1

_

0
cos(nx) dx = 0 , n 1 ;
b
n
=
1

_

0
sin(nx) dx =
_
0 se n e par
2
n
se n e mpar
, n 1 .
logo, como a funcao e seccionalmente derivavel,
f(x + 0) + f(x 0)
2
=
1
2
+

n=1
2
(2n 1)
sin
_
(2n 1)x
_
.
49
Fazendo x = /2, obtemos novamente a formula de Leibniz

4
= 1
1
3
+
1
5

1
7
+ . . .
Se uma funcao periodica f : R R, de perodo 2L, for par entao a sua
serie de Fourier e uma serie de co-senos. Na verdade, os seus coecientes de
Fourier sao
a
n
=
2
L
_
L
0
f(x) cos
nx
L
dx , n 0 ;
b
n
= 0 , n 1 ,
pois as funcoes f(x) cos
nx
L
e f(x) sin
nx
L
sao, respectivamente, par e mpar.
Analogamente, a serie de Fourier de uma fun cao mpar e uma serie de
senos.
Exemplo 4.12 Seja f(x) = x em [0, ]. Se quisermos desenvolver f em
serie de co-senos, temos que prolongar a funcao por paridade a [, 0] (ou
seja, f(x) = x em [, 0]) e, de seguida, estende-la, de modo periodico
(com perodo 2) a toda a recta. Os coecientes de Fourier nao-nulos sao
a
0
=
2

_

0
x dx = ;
a
n
=
2

_

0
x cos(nx) dx =
_
0 se n e par

4
n
2

se n e mpar
, n 1 .
Como a fun cao e contnua e seccionalmente derivavel, vem
f(x) =

2

4

n=1
1
(2n 1)
2
cos
_
(2n 1)x
_
.
Se quisermos desenvolver f em serie de senos, prolongamo-la como fun cao
mpar (ou seja, f(x) = x em [, 0]). Os coecientes de Fourier nao-nulos
sao entao
b
n
=
2

_

0
x sin(nx) dx =
2(1)
n+1
n
, n 1
50
e
f(x) =

n=1
2(1)
n+1
n
sin(nx) . (12)
Terminamos com uma importante formula, a chamada identidade de
Parseval.
Teorema 4.8 (Parseval) Seja f : R R uma funcao seccionalmente
contnua e peri odica, de perodo 2L. Ent ao os seus coecientes de Fourier
vericam a identidade
1
2
a
0
2
+

n=1
_
a
n
2
+ b
n
2
_
=
1
L
_
L
L
|f(x)|
2
dx .
Exemplo 4.13 Recordando (12) no exemplo anterior e utilizando a formula
de Parseval, obtem-se

n=1
4
n
2
=
1

x
2
dx =
2
2
3
donde

n=1
1
n
2
=

2
6
.
51
Bibliograa
[1] T. Apostol, Calculus, vol. I, Wiley, 1967.
[2] J. Campos Ferreira, Introducao `a Analise Matematica, Fundacao
Calouste Gulbenkian, 1993.
[3] R. Courant F. John, Introduction to Calculus and Analysis,
vol. I, Interscience Publishers, 1965.
[4] E. Lages Lima, Curso de Analise, vol. 1 (11
a
edicao), Projecto
Euclides, IMPA, 2004.
[5] J. Stewart, Calculo, vol. I e vol. II, Thomson Learning, 2001.
52