Introduc ao `as Series de Fourier

Prof.Dr. Alexandre Alves

Universidade Federal de Sao Paulo
Departamento de Ciencias Exatas e da Terra
Setor de Fsica e Matem atica
7 de maio de 2012
1
1 Introducao
Assim como a trinca de vetores

i,

j,

k forma uma base ortonormal (onde os vetores sao

ortogonais entre si e tem comprimento unitario) para todos os vetores do R
3
, ou seja, assim
como um vetor v pode ser escrito como
v = a
1

i + a
2

j + a
3

k
onde a
1
= v

i, a
2
= v

j, e a
3
= v

k, e possvel denir bases ortonormais para func oes

reais e complexas. Essas bases podem ser compostas de funcoes, reais ou complexas, que
satisfazem relac oes de ortoganilidade em termos de um produto interno, que e o analogo
do familiar produto escalar entre vetores.
Ao contr ario de uma base do R
n
, que e de dimens ao nita, uma base de func oes or-
togonais pode ter dimens ao innita. Isso quer dizer que uma dada func ao f(x) deve ser
escrita como uma combina c ao linear envolvendo innitos termos
f(x) = a
0

0
(x) + a
1

1
(x) + a
2

2
(x) + =

n=0
c
n

n
(x) (1)
onde as
n
(x) formam a base ortonormal em relac ao a um determinado produto interno,
ou seja,

n
,
m
=
n,m
(2)
onde
n,m
denota o tensor de Kroenecker:

n,m
=
_
0 se n ,= m
1 se n = m
Uma tal serie de func oes da eq. (1) denomina-se uma serie de Fourier no sentido
amplo. Nestas notas vamos fazer uma breve introduc ao `as series de Fourier de func oes
periodicas. Neste caso, a nossa base ortogonal sera, naturalmente, composta de func oes
trigonometricas, senos e cossenos, para as quais existe uma relac ao de ortogonalidade como
veremos nas pr oximas sec oes.
Tambem discutiremos em que condi c oes a serie de Fourier converge para a func ao f(x)
e com que velocidade isso acontece.
A principal aplicac ao das series de Fourier ocorre na resolu c ao de uma grande quan-
tidade de Equac oes Diferenciais Parciais (EDPs) de interesse nas mais diversas areas do
conhecimento como Engenharias, Fsica, Qumica, Economia, Biologia, e, em geral, qual-
quer area que seja passvel de um estudo quantitativo e em que haja leis descritas por uma
EDP com condi c oes de contorno e inicial adequadas.
A seguir, vamos mostrar como as series de Fourier ocorrem na soluc ao de uma EDP.
2
2 Uma motivacao para o estudo das series de Fourier:
conducao de calor numa barra
Considere uma barra de comprimento L, sec ao transversal de area A, feita de uma material
uniformemente condutor de calor. A lateral da barra esta termicamente isolada, e suas
extremidades, nao isoladas, sao mantidas a 0
o
C. Porem, existe uma distribui c ao inicial de
calor na barra no instante t = 0 que depende da localiza c ao de cada ponto x sobre a barra.
A lei que governa a distribui c ao de temperaturas sobre a barra em termos da posic ao
e do tempo e chamada Equacao de Condu cao/Conveccao, ou simplesmente Equacao do
Calor, que neste caso, assume a forma de uma EDP do tipo
u
t
=

2
u
x
2
(3)
onde e a constante de difusividade termica e u = u(x, t) e temperatura da barra em um
ponto x , 0 < x < L da barra em um certo instante t > 0.
As informac oes fornecidas no problema nos levam a certas condi c oes sobre a soluc ao
desejada:
(I) Extremidades mantidas a 0
o
C: u(0, t) = u(L, t) = 0 em qualquer instante de tempo
t > 0.
(II) A distribui c ao inicial de calor: ou seja, no instante inicial t = 0, a barra tem uma
temperatura que depende da posic ao x: u(x, 0) = f(x). Esta f(x) e arbitr aria, mas,
como veremos, ela precisa satisfazer certas propriedades para que exista uma soluc ao.
O metodo de Fourier e poderoso porque, na realidade, as exigencias sobre a f(x) sao
bem fracas, e uma soluc ao pode ser encontrada onde outros metodos falham.
Uma caracterstica geral das EDPs e que a existencia, a unicidade, e o tipo de soluc ao
da equa c ao depende totalmente deste conjunto de condi coes que acabamos de citar. Em
outras palavras, obter a soluc ao geral de uma EDP, independentemente das condi c oes
de froentrira e iniciais, e muito difcil, ao contr ario das EDOs.

E mais facil estudar as
EDPs em conjunto com suas condi c oes de contorno e iniciais. Ao fazermos isso, estaremos
estudando nao uma EDP isoladamente, mas uma EDP + condi c oes de fronteira e iniciais
dadas: isto se chama um Problema de Valores Iniciais e de Fronteira, ou, um PVIF. No
caso do problema enunciado acima, o PVIF e escrito como:
PV IF :
_

_
u
t
=

2
u
x
2
u(0, t) = u(L, t) = 0 , t > 0
u(x, 0) = f(x) , 0 < x < L
(4)
Esta EDP pode ser resolvida pelo metodo da separacao de vari aveis, onde a soluc ao e
procurada na forma
u(x, t) = X(x)T(t) (5)
3
com a parte espacial totalmente separada da parte temporal (no sentido da multiplicac ao).

E facil ver que a EDP ca escrita assim, em termos de (5)

X(x)T

(t) = X

(x)T(t)
agora, dividimos ambos os lados por u = XT, obtendo
1

T

(t)
T(t)
. .
so t
=
X

(x)
X(x)
. .
so x
=
2
constante
O lado esquerdo depende so de t e o lado direito so de x. Mas estas variaveis sao inde-
pendentes, ent ao so ha uma possibilidade delas serem identicas se forem ambas iguais a
uma mesma constante. Esta e chamada a constante de separacao da equa c ao. Ela deve
ser estritamente negativa conforme veremos `a seguir.
Para que esta equa c ao seja satisfeita a soluc ao geral da parte temporal deve ser
1

T

(t)
T(t)
=
2
T(t) = Ae

2
t
(6)
onde e A uma constante arbitr aria. Por que escolhemos uma constante estritamente ne-
gativa
2
? Ora, se a constante fosse positiva, a temperatura poderia crescer ao innito,
um fenonemo que nao se observa na natureza. Por outro lado, como a barra esta mantida
a 0
o
C em suas extremidades e isolada nas lateriais, e claro que vai, conforme o tempo pas-
sar, entrar em equilbrio termico com as extremidades e sua temperatura, como um todo,
vai tender a 0. Isso so pode ocorrer se a exponencial de T(t) decrescer no tempo. Pode-
se tambem vericar facilmente que se a constate fosse zero ou positiva, a unica soluc ao
compatvel com as condi c oes de contorno dadas seria a soluc ao trivial X(x) = 0.
Exerccio (1) Verique que a EDO X

(x) = X(x) com c.c. X(0) = X(L) = 0 so
admite a soluc ao trivial se 0.
A soluc ao da EDO de segunda ordem homogenea, referente `a parte espacial, e dada por
X

(x) =
2
X(x) X(x) = Bcos(x) + Csen(x) (7)
Nos falta agora, aplicar as condi c oes de contorno e iniciais dadas e encontrar a soluc ao
da EDP. Em relac ao `as condi c oes de contorno
u(0, t) = X(0)T(t) = u(L, t) = X(L)T(t) = 0 X(0) = X(L) = 0
Isso nos leva, ent ao, ao seguinte Problema de Valor de Fronteira, PVF,
PV C :
_
X

(x) =
2
X(x)
X(0) = X(L) = 0
(8)
4
cuja soluc ao geral e dada pela eq. (7). Aplicando X(0) = 0, temos
X(0) = B = 0
e, depois, exigindo que X(L) = 0, temos
X(L) = Csen(L) = 0 L = n , n = 0, 1, 2,
Veja que a primeira C.C., X(0) = 0, xa B = 0, e a soluc ao geral passa a ser X(x) =
Csen(x), que, para satisfazer X(L) = 0 nao precisa ter C = 0 (se precisasse, teramos a
soluc ao trivial X(x) = 0), ao inves disso, o zero pode ser obtido se o argumento da func ao
seno for um m ultiplo de . Descartando a soluc ao trivial e, notando que o sinal negativo
de sen(nx) pode ser absorvido na constante arbitr aria C, podemos escrever a soluc ao
do PVC como
X(x) = Csen
_
nx
L
_
onde substitumos por n/L simplesmente.
Note, portanto, que existem innitas soluc oes para este PVF! Cada valor de n dife-
rente leva a uma soluc ao diferente. Vamos chamar cada uma dessas soluc oes, a menos da
constante C, de
n
(x) deixando explcito o ndice n para denotar esta multiplicidade de
soluc oes

n
(x) sen
_
nx
L
_
(9)
Como

n
(x) +
2

n
(x) = 0, podemos multiplicar cada uma das
n
(x) por uma constante
arbitr aria c
n
que ainda teremos uma soluc ao do PVF. Se
1
e
2
sao soluc oes do PVF,
ent ao, c
1

1
+ c
2

2
tambem e soluc ao, veja
(I) c
1

1
+
2
(c
1

1
) = 0
(II) c
2

2
+
2
(c
2

2
) = 0
(I)+(II) (c
1

1
+c
2

2
)

+
2
(c
1

1
+ c
2

2
) = 0
Este e o Princpio da Superposicao e vale para qualquer equa c ao diferencial ordinaria
linear e homogenea. De forma geral, se existem n soluc oes para a EDO, ent ao, a soluc ao
geral da parte espacial e dada por
X(x) =

n
c
n

n
(x) (10)
De forma analoga, vamos chamar a soluc ao da parte temporal de
n
(t)
T(t) =
n
(x) Ae

Kn
2

2
t
L
2
(11)
Em princpio, n pode ir de 0, ou algum natural, ate . Vamos, ent ao, escrever a
soluc ao da EDP como
u(x, t) = X(x)T(t) =

n=1
u
n
(x, t) (12)
5
onde
u
n
(x, t) =
n
(x)
n
(t) = Ae

Kn
2

2
L
2
t
c
n
sen
_
nx
L
_
a
n
e

Kn
2

2
L
2
t
sen
_
nx
L
_
(13)
onde absorvemos a constante A nos c
n
obtendo Ac
n
a
n
e, como vimos, para que as C.C.
sejam satisfeitas, = n/L, n N.
Da eq. (12) obtemos a soluc ao parcial da Equac ao do Calor com as C.C. dadas
u(x, t) =

n=1
a
n
exp
_

n
2

2
t
L
2
_
sen
_
nx
L
_
(14)
Mas quem sao os coecientes a
n
? A resolu c ao da EDP nos trouxe ao ponto onde
a soluc ao e escrita como uma serie de func oes seno e exponenciais decrescentes em t.
Porem, sem conhecer os coecientes a
n
da eq. (14), ainda nao temos a soluc ao do problema
realmente.
Contudo, ainda nao usamos todas as informac oes do problema, nos falta aplicar a
condi c ao inicial:
u(x, 0) = f(x) f(x) =

n=1
u
n
(x, 0) =

n=1
a
n
sen
_
nx
L
_
Surge a questao que nos motiva o estudo das series de Fou-
rier: e possvel encontrar coecientes a
n
tais que a serie trigonometrica
seja precisamente f(x)?
Esta pergunta e bem difcil de ser respondida sem especicar que tipo de func ao f(x)
estamos considerando. A pr opria igualdade
f(x) =

n=1
a
n
sen
_
nx
L
_
(15)
pode nao ser vericada para todo o domnio da func ao f como veremos em breve. A
convergencia da serie para a func ao f(x) pode nao ser pontual para todos os valores de x
do domnio de f(x). Em certos casos, dependendo da forma da func ao, o que, na verdade,
implica na forma da condi c ao inicial exigida, a convergencia so pode ser garantida em um
sentido medio.
Uma propriedade de f(x) ja parece surgir de imediato: ela deve ser periodica de perodo
p = 2L, uma vez que a serie que lhe pretende representar e formada de func oes deste tipo:
sen (nx/L).
A seguir vamos ver em que condi c oes a serie da eq. (27) converge para a func ao f(x) e
como calcular os coecientes a
n
necess arios para escrever a soluc ao completa da EDP.
6
p
3 2 1 1 2 3
0.2
0.2
0.4
0.6
0.8
1.0
1.2
Figura 1: Func ao serra f(x) = x [x]. O perodo da func ao e p = 1.
3 Series de Fourier
Na sec ao anterior, vimos que a soluc ao da Equac ao do Calor, com determinadas condi c oes
de contorno e iniciais, e uma serie de func oes seno cujos coecientes devem ser escolhidos de
tal forma que em t = 0 a soluc ao coincida com uma certa func ao f(x) dada, que expressa
a distribui c ao de calor ao longo da barra. Veremos que tal serie e uma serie de Fourier
e determinaremos em que condi c oes tal serie converge para a func ao f(x) e como calcular
os coecientes da serie. Uma proprieade ja sabemos que a f deve ter: periodicidade.
3.1 Funcoes Periodicas
Uma func ao f : D
f
R e periodica de perodo p se f(x + p) = f(x) para todo x D
f
.
Exemplo (1) A func ao sen(x) e periodica de perodo p = 2. A func ao cos(x) tambem tem
perodo 2, assim como as func oes trigonometricas derivadas destas duas, como a tan(x),
sec(x), etc.
Exemplo (2) A func ao f(x) = x [x], x R, onde [x] = o maior inteiro menor ou igual a
x. Essa func ao tem um aspecto de serra, e perodo p = 1, veja a gura (1).
Exemplo (3) A func ao sen(nx/L) e uma func ao periodica cujo perodo fundamental e
p = 2L/n. Para demonstrar isso, vamos usar a propriedade de periodicidade
sen
_
n(x + p)
L
_
= sen
_
nx
L
_
e a identidade trigonometrica sen(a + b) = sen(a)cos(b) + sen(b)cos(a), de modo que
sen
_
n(x + p)
L
_
= sen
_
nx
L
_
cos
_
np
L
_
+ sen
_
np
L
_
cos
_
nx
L
_
= sen
_
nx
L
_
7
Mas isso so vale para qualquer x se
np
L
= m , m Z
pois, nesse caso,
sen
_
nx
L
_
cos (m) + sen (m) cos
_
nx
L
_
= sen
_
nx
L
_
cos (m)
e que e igual a sen
_
nx
L
_
se cos (m) = 1, ou seja, se m = 0, 2, 4, . Logo,
p =
mL
n
O menor valor de m positivo e o chamado perodo fundamental da func ao e, na verdade,
so precisamos dele para caracterizar a periodicidade da func ao. Neste caso, o perodo
fundamental e
p =
2L
n
Como vimos no exemplo (2), e possvel criar funcoes peri odicas nao trigo-
nometricas! Isso e importante, pois se, de alguma forma, for possvel estudar func oes
originalmente nao-periodicas, podemos aplicar as series de Fourier no estudo de EDPs cu-
jas condi c oes iniciais sao descritas por func oes mais gerais que as func oes trigonometricas.
Na verdade, e facil criar func oes periodicas `a partir de uma func ao f(x) denida em
um intervalo aberto U =]a, b[. Para isso, basta criar c opias da f e denir uma

f(x) que
seja a pr opria f em U e que seja igual `as c opias de f fora deste intervalo. A

f(x) assim
criada denomina-se a extensao peri odica de f(x). Veremos adiante que quando a serie
de Fourier converge para uma func ao f(x) em um intervalo U, ela converge para

f(x) fora
deste intervalo.
Exemplo (4) Extensao periodica de f(x) = x
2
+ x, x ]0, 1[. O gr aco da extens ao
periodica da func ao quadratica x
2
+ x e o gr aco da pr opria f em ]0, 1[. Fora deste
intervalo veja que o gr aco de

f(x) na gura (2) sao c opias de f. A func ao

f(x) e periodica
de perodo p = 1 como podemos vericar facilmente pelo gr aco.
Agora que sabemos estender o conceito de periodicidade para uma func ao originalmente
nao-periodica, vamos estudar as condi c oes em que tal func ao pode ser expandida em uma
serie de Fourier. Antes de mais nada, precisamos denir alguns conceitos importantes de
convergencia de series de func oes.
8
3 2 1 0 1 2 3
x
0.05
0.10
0.15
0.20
0.25
0.30
gx
Figura 2: A extens ao periodica da func ao f(x) = x
2
+x no intervalo U =]0, 1[. O gr aco
em azul e a func ao quadratica original, enquanto as curvas pontilhadas representam as
c opias de f(x) fora do intervalo de deni c ao da f. O perodo da func ao

f(x) e p = 1.
4 Convergencia Pontual e Convergencia Uniforme
Um serie de func oes

n
u
n
(x) , u
n
(x): U R
func oes reais denidas em U R, converge pontualmente em U se, para cada x
0
U,
x
0
xo, a serie numerica

n
u
n
(x
0
) convergir. Em termos mais formais, dados > 0 e
x
0
U, existe um N N, que depende de (, x
0
), tal que,

i=n
u
n
(x
0
)

< para todos os m > n N.

Uma serie de func oes converge uniformemente se, dado > 0, existe um N N, que
depende so de , tal que,

i=n
u
n
(x
0
)

< para todos os m > n N

Na pr atica, uma serie uniformemente convergente e uma serie que pode ser usada para
aproximar uma func ao, de tal forma que o erro que se comete no truncamento decresce de
maneira monotonica conforme mais termos sao retidos na soma parcial em todo o intervalo
U.
A deni c ao dada acima nao e muito facil de ser aplicada na demonstra c ao de con-
vergencia uniforme de uma dada func ao. Um criterio mais simples de ser usado e o chamado
criterio M de Weierstrass:
9
6 4 2 2 4 6
x
0.2
0.1
0.1
0.2
u
n
x
Figura 3: Uma serie de func oes uniformemente convergente no intervalo [2, 2] (de fato,
em todo R).
Criterio M de Weierstrass para Convergencia Uniforme
Seja

n
u
n
(x) numa serie de func oes denidas em um conjunto u R. Se existir uma
serie numerica convergente,

n
M
n
, tal que, [u
n
(x)[ M
n
para todo x U, ent ao a serie
de func oes e uniformemente convergente em U (e tambem absolutamente).
Exemplo (1) A serie

n=1
sen(nx)
n
2
converge uniformemente em U = R pois,

sen(nx)
n
2

1
n
2
M
n
e, como

n=1
1
n
2
e convergente, pelo teste M de Weierstrass, a serie de func oes converge
uniformemente em R. Ocorre que cada uma das func oes u
n
(x) e limitada superiormente
por uma constante para todos os x do domnio das func oes, veja a gura (3).
Exemplo (2) A serie de Taylor de e
x
=

n=0
x
n
n!
e uniformemente convergente no intervalo
U = [0, r], r xo e nito, pois

x
n
n!

r
n
n!
e a serie numerica

n=0
r
n
n!
converge para e
r
, r U.
10
A convergencia uniforme de uma serie nao e meramente um aspecto formal sem utili-
dade. Uma serie que converge uniformemente em um intervalo U R pode ser derivada
e integrada termo-a-termo, e isso signica que, se a serie de func oes converge uniforme-
mente a uma certa func ao f(x), a derivada da serie converge para f

(x) e a integral da
serie converge para
_
f(x)dx em U. Surpreendentemente, isso nao e garantido se a con-
vergencia da serie nao e uniforme. Vamos enunciar tres propriedades importantes de series
uniformemente convergentes.
4.1 Propriedades de Series Uniformemente Convergentes
(I) Se uma serie de func oes

n
u
n
(x) converge uniformemente em U R, e se cada
u
n
(x) e contnua em U, ent ao a func ao F(x) =

n
u
n
(x) tambem e contnua em U.
(II) Se F(x) =

n
u
n
(x) converge uniformemente em U R, se cada u
n
(x) e de classe
C
1
em U, e se a serie

n
u

n
(x) convergir uniformemente em U, ent ao vale a derivac ao
termo-a-termo da serie e F

(x) =

n
u

n
(x). Isso signica que a derivada da serie
converge para a derivada da func ao F(x).
(III) Se F(x) =

n
u
n
(x) converge uniformemente em U = [a, b] R, se cada u
n
(x)
e contnua em U, ent ao vale a integrac ao termo-a-termo da serie e
_
b
a
F(x)dx =

n
_
n
a
u

n
(x)dx. Isso signica que a integral da serie converge para a integral da
func ao F(x) no intervalo U.
5 Coecientes de Fourier
Uma vez estabelecido o conceito de convergencia uniforme de uma serie de func oes, e hora
de procurar a resposta `a pergunta que nos motivou a estudar as series de Fourier: como
se calculam os coecientes de uma serie trigonometrica de modo que a serie convirja para
uma func ao f(x) dada? Em um primeiro momento, portanto, procuramos os a
n
e b
n
tais
que
f(x) =

n=0
_
a
n
cos
_
nx
L
_
+b
n
sen
_
nx
L
__
(16)
Esta serie e mais geral que a serie da eq. (14) que e a soluc ao parcial da equa c ao do
calor estudada na sec ao 1, uma vez que ela contem termos envolvendo cossenos tambem.
Essa e uma situa c ao comum que ocorre se f(x) nao tem paridade denida. Para relembrar:
Fun cao Par e uma func ao tal que P(x) = P(x), x D
f
Fun cao mpar e uma func ao tal que I(x) = I(x), x D
f
Ora, se f e par, sua serie de Fourier so pode envolver func oes pares, os cossenos. Por
outro lado, se f e mpar, apenas os senos fazem parte da serie, uma vez que tambem sao
11
func oes mpares. Contudo, se f nao for nem par, nem mpar, ent ao sua serie tera senos e
cossenos, uma vez que a soma de uma func ao par e uma mpar nao tem paridade denida.
Vale lembrar algumas propriedades de func oes pares e mpares:
1. A soma de duas ou mais func oes pares e uma func ao par: P +P P.
2. A soma de duas ou mais func oes mpares e uma func ao mpar: I + I I.
3. A soma de func oes pares e mpares e uma func ao sem paridade denida, ou seja, a
func ao resultante nao e nem par, nem mpar: P + I NADA.
4. A multiplicac ao (ou divisao) de duas func oes pares ou mpares e uma func ao par:
P P P e I I P.
5. A multiplicac ao (ou divisao) de uma func ao par por uma func ao mpar e uma func ao
mpar: P I I.
6. A derivada de uma func ao par e uma func ao mpar, e vice-versa:
dP(x)
dx
= I(x) ,
dI(x)
dx
= P(x)
7. Integrac ao:
_
a
a
I(x)dx = 0 ,
_
a
a
P(x)dx = 2
_
a
0
P(x)dx
Vamos, agora, procurar os coecientes da serie de Fourier de f(x). Para isso, vamos
reescrever a eq. (16) de forma um pouco mais conveniente
f(x) =
a
0
2
+

n=1
_
a
n
cos
_
nx
L
_
+ b
n
sen
_
nx
L
__
(17)
So explicitamos o termo constante da serie. O fator 1/2 e inserido por pura economia de
formulas, como veremos a seguir.
Suponha que a serie da eq. (17) acima seja uniformemente convergente no intervalo
U[L, L] e que ela, de fato, convirja para a func ao f(x) neste intervalo.

E de se esperar
que os coecientes da serie estejam, de alguma maneira, intimamente ligados `a pr opria
forma de f(x). Como, a serie e suposta uniformemente convergente em U, ela pode ser
integrada termo-a-termo
_
L
L
f(x)dx =
_
L
L
a
0
2
dx +

n=1
_
a
n
_
L
L
cos
_
nx
L
_
dx + b
n
_
L
L
sen
_
nx
L
_
dx
_
mas, como
_
L
L
cos
_
nx
L
_
dx = 0 ,
_
L
L
sen
_
nx
L
_
dx = 0
12
ent ao,
a
0
=
1
L
_
L
L
f(x)dx
Como esper avamos, o valor de a
0
depende explicitamente de f(x). Como calcular os
outros coecientes? Vamos usar uma abordagem um pouco mais sosticada, mas bem
simples de entender.
Para tanto, emprestemos um conceito de algebra linear. O produto interno e uma
func ao denida em um espaco vetorial V que associa um n umero a cada par de vetores
deste espaco. Denotemos tal func ao por u, v.
Teorema (1). Para quaisquer vetores u, v, w V e qualquer escalar k R, um produto
interno possui as seguintes propriedades:
1. u + v, w = u, w +v, w.
2. ku, v = ku, v.
3. u, v = v, u.
4. u, u 0, e u, u = 0 se, e somente se, u = 0.
Se para quaisquer dois vetores nao nulos u, v V , u, v = 0, estes vetores sao ortogo-
nais no sentido que sao dois vetores L.I., nao porque sao perpendiculares geometricamente.
Nao existe tal noc ao quando se trata de func oes, a ortogonaliade de u e v nao signica,
por exemplo, que os gr acos destas func oes sao perpendiculares.
Considere agora um subconjunto B =
1
,
2
, ,
k
V de vetores L.I. de V em
termos dos quais, qualquer vetor de V possa ser escrito como uma combina c ao linear de
vetores de B. Este subconjunto e uma base para V , portanto, e um vetor v V pode ser
escrito como
v =
k

n=1
c
n

n
onde c
n
= v,
n
.
Se a dimens ao de B for innita, ou seja, se existir um n umero innito de vetores de
base L.I., o vetor v e, na verdade, uma serie de vetores
n
v =

n=1
c
n

n
(18)
A validade de tal formalismo precisa ser cuidadosamente estudada para cada tipo de espaco
vetorial V , uma vez que a convergencia desta serie nao esta automaticamente garantida. O
que importa notar e que se considerarmos o espaco vetorial V como o espaco das func oes
f(x) reais, ou algum subespaco dele, a eq. (17) nos sugere que as func oes seno e cosseno
formam uma base neste espaco de func oes!
13
De fato, se denirmos o produto interno de duas func oes f, g V como
f, g =
1
L
_
L
L
f(x)g(x)dx (19)
podemos mostrar que as func oes sen(nx/L) e cos(nx/L), n = 1, 2, 3, , formam uma
base ortonormal completa em relac ao ao produto interno da equa c ao acima, ou seja,
_
cos
_
nx
L
_
, cos
_
mx
L
__
=
n,m
(20)
_
sen
_
nx
L
_
, sen
_
mx
L
__
=
n,m
(21)
_
cos
_
nx
L
_
, sen
_
mx
L
__
= 0 (22)
Exerccio 2: Demonstre as propriedades do Teorema (1) em relac ao ao produto interno
denido na eq. (19) e as relac oes de ortogonalidade das func oes seno e cosseno enunciadas
logo acima.
Na verdade, uma func ao constante e ortogonal a todos os senos e cossenos da forma
sen(nx/L) e cos(nx/L), n = 1, 2, 3, . Isso quer dizer que a famlia de func oes seno
e cosseno nao e completa. A completeza vem quando adicionamos a esta fam

lia a func ao
constante.
Exerccio (3) Mostre que uma constante qualquer c e ortogonal `as func oes sen(nx/L)
e cos(nx/L), n = 1, 2, 3, , em relac ao ao produto interno da eq. (19). Quanto deve
valer a constante para que sua norma seja 1?
A famlia de func oes
1
L

2
, cos(nx/L), sen(nx/L), n = 1, 2, 3, forma uma base
ortonormal completa. Isso tem uma implicac ao interessante. Se uma func ao e de
quadrado integravel num intervalo I = [a, b], ou seja, se
_
b
a
f
2
(x) dx < + (23)
ent ao a expansao de f(x) numa base ortonormal completa
n
e uma serie convergente a
f(x) na media, o que signica
lim
N
_
b
a

f(x)
N

k=0
f,
n

n
(x)

dx = 0
Acontece que esta classe de func oes, o chamado espaco vetorial L
2
(a, b), e muito grande.
Ela inclui as func oes contnuas e seccionalmente contnuas. Esta e a base das propriedades
de convergencia das series de Fourier. Uma serie que represente uma func ao que tenha
14
apenas a propriedade da eq. (23) ja tem garantida, ao menos, este tipo mais fraco de
convergencia desde que a base seja completa. Daqui em diante trabalharemos apenas com
func oes de L
2
.
Armados com este formalismo podemos, agora, calcular facilmente os coecientes da
serie de Fourier de f(x). Em primeiro lugar, tomemos o produto interno da eq. (17) com
C
m
cos(mx/L) em ambos os lados da expressao, denimos tambem S
m
sen(mx/L)
C
m
, f(x) =
_
C
m
,
a
0
2
_
+

n
(a
n
C
n
, C
M
+ b
n
S
n
, C
M
)
C
m
, f(x) = 0 +

n
(a
n

n,m
+ b
n
0) , se m > 0
C
m
, f(x) = a
m
, (n = m)
a
n
= C
n
, f(x)
a
n
=
1
L
_
L
L
f(x)cos
_
nx
L
_
dx , n = 1, 2,
Se m = 0 e facil ver que
_
1,
a
0
2
_
= a
0
=
1
L
_
L
L
f(x)dx
Da mesma forma, tomando o produto interno da eq. (17) com S
m
chegamos aos coe-
cientes b
n
b
n
=
1
L
_
L
L
f(x)sen
_
nx
L
_
dx , n = 1, 2,
Exerccio (4): Demonstre a formula dos coecientes b
n
.
Vamos resumir o que encontramos:
Deni cao: Seja f : U R R uma func ao periodica de perodo p = 2L e de quadrado
integravel no intervalo [L, L]. Os n umeros
a
n
=
1
L
_
L
L
f(x)cos
_
nx
L
_
dx , n = 0, 1, 2, (24)
b
n
=
1
L
_
L
L
f(x)sen
_
nx
L
_
dx , n = 1, 2, (25)
sao os coecientes de Fourier de f(x).
Note que aquele fator 1/2 que multiplicamos o termo a
0
na eq. (17) permite que escre-
vamos uma unica formula para todos os a
n
com n = 0, 1, 2, , ele foi introduzido para
que possamos economizar uma formula. Perceba, tambem, que se f(x) for par, apenas os
15
a
n
sao diferentes de zero, o que nos leva a uma serie de cossenos. Mas, se f(x) e mpar,
apenas os b
n
nao sao nulos, e temos uma serie puramente de senos.
Agora que sabemos como calcular os coecientes de Fourier de uma func ao f(x) , e
preciso entender o signicado da eq. (17). Muitos estudantes nao dao import ancia ao
signicado da expressao, e focalizam apenas o c alculo dos coecientes. Pois bem, desde ja
e bom avisar uma serie de Fourier de f(x) nem sempre e igual `a func ao f(x)! Ainda que
faca sentido calcular os coecientes de Fourier, a serie que montamos com estes n umeros
pode nao convergir para a func ao em determinados pontos no intervalo de deni c ao.

E importante frisar que convergencia na media nao implica convergencia pontual ou

uniforme. Convergencia na media e um tipo mais fraco de convergencia. Como o nome
sugere, e uma especie de convergencia para o comportamento medio da func ao f(x). As
func oes que convergem pontualmente ou uniformemente pertencem a um subconjunto me-
nor de L
2
. Se pudermos falar de uma hierarquia, ela seria assim:
Analticas Uniforme Pontual L
2
onde os conjuntos
Analticas e o conjunto das func oes analticas, que possuem expansao em serie
de Taylor em seus intervalos de convergencia sao func oes contnuas e innitamente
diferenci aveis
Uniforme e o conjunto das func oes que convergem uniformemente em um dado
intervalo de R
Pontual e o conjunto das func oes que convergem pontualmente em um dado inter-
valo de R
L
2
o espaco vetorial das func oes de quadrado integravel
Veremos em breve que a serie de Fourier de uma f(x) vai convergir dentro de um desses
conjuntos dependendo das caractersticas da pr opria f em um dado intervalo.
Alias, voce percebeu que exigimos que f(x) seja periodica de perodo 2L? Como voce
deve se lembrar das discussoes da sec ao anterior, mesmo que f(x) nao seja originalmente
periodica em [L, L], ainda assim podemos expressa-la em serie de Fourier neste intervalo
se calcularmos os coecientes de Fourier de sua extens ao periodica. Girando o argumento,
uma serie de Fourier sempre representa uma func ao periodica ja que a serie e formada de
func oes trigonometricas, logo, se f(x) e denida apenas em [L, L], a sua serie de Fourier
pode convergir para a pr opria f em U = [L, L] e para a extens ao periodica de f fora do
intervalo U.
Daqui em diante, sempre que falarmos de uma funcao f(x) estara subenten-
dido que consideramos f mais a sua extensao peri odica

f.
Mais ainda, como postulamos que a serie da eq. (17) e uniformemente convergente em
U = [L, L], e as func oes seno e cosseno sao contnuas, segue da propriedade (I) das
serie uniformemente convergentes, que a serie em si e uma func ao contnua neste intervalo.
16
Como veremos em breve, e possvel escrever series de Fourier para func oes descontnuas
em U. Ora, como uma serie que representa uma func ao contnua pode convergir para uma
f(x) descontnua? Isso ja nos mostra que a serie de Fourier de uma func ao descontnua nao
pode, de fato, convergir para a func ao em todos os pontos do seu intervalo de deni c ao. Na
verdade, veremos que a serie nao converge para a func ao apenas onde ela e descontnua.
As series de Fourier sao mais versateis que as series de Taylor no que diz respeito `a
convergencia. Func oes lisas por partes nao podem ser expandidas em serie de Taylor,
mas podem em serie de Fourier. Quer dizer, algum tipo de convergengia pode ocorrer se
expandirmos uma func ao descontnua em serie de Fourier, mas nenhuma convergencia se
espera para a serie de Taylor neste caso.
Seja como for, esta discussao nos mostra que precisamos sempre interpretar o resultado
que obtemos ao calcularmos a serie de Fourier de uma f(x). Esta interpreta c ao vai depender
exclusivamente do tipo de func ao para a qual se pretende escrever uma expansao em serie
de Fourier, e e disso que trataremos na pr oxima sec ao.
6 Serie de Fourier de uma Funcao f(x)
Como acabamos de ver, dada uma func ao f : R R periodica de perodo 2L e de quadrado
integravel em [L, L], podemos calcular os coecientes de Fourier e formar uma serie
trigonometrica chamada a serie de Fourier de f(x). Porem, dissemos que tal serie pode
nao convergir pontualmente para f(x) nos pontos onde esta func ao for descontnua, apesar
de que ainda possa convergir na media. Para denotar esta relac ao mais fraca entre a f e
sua serie de Fourier, vamos escrever
f(x)
a
0
2
+

n=1
_
a
n
cos
_
nx
L
_
+b
n
sen
_
nx
L
__
(26)
ao inves da igualdade, como zemos na eq. (17).
O smbolo denota uma equivalencia. So existe uma serie de Fourier que corresponde
a uma dada f(x), mas isso nao signica que elas retornam o mesmo n umero dado um certo
valor de x. Dito de forma mais util: para um dado valor de x, a serie pode convergir para
um n umero e a func ao para outro.
Mas, anal de contas, quando exatamente vale ou nao vale a igualdade? Que condi c oes
uma f(x) deve obedecer para que ela seja igual a sua serie de Fourier em um determinado
ponto x? E se elas nao coinciderem, a serie retorna que n umero, uma vez que e contnua?
Responder a estas perguntas levou Jean Baptiste Joseph Fourier a enunciar o principal
teorema destas notas:
Teorema de Fourier. Seja f : R R uma funcao de perodo 2L e seccional-
mente diferenciavel no intervalo U = [L, L]. Entao, a serie trigonometrica
a
0
2
+

n=1
_
a
n
cos
_
nx
L
_
+ b
n
sen
_
nx
L
__
17
com coecientes
a
n
=
1
L
_
L
L
f(x)cos
_
nx
L
_
dx , n = 0, 1, 2,
b
n
=
1
L
_
L
L
f(x)sen
_
nx
L
_
dx , n = 1, 2,
converge para f(x) em todos os pontos onde a funcao e contnua e converge
para
1
2
_
lim
xx

f(x) + lim
xx
+

f(x)
_
em todos os pontos x

onde a funcao e descontnua.

Nesta expressao lim
xx

f(x) e o limite `a esquerda de f(x) no ponto x

e lim
xx
+

f(x)
o limite `a direita.
Alem disso, a convergencia e uniforme em todos os intervalos fechados de f(x) que nao
contenham descontinuidades.

E essencial entender a natureza de uma func ao seccionalmente diferenci avel. Isso sig-
nica que f(x) nao precisa ser contnua em todo um intervalo U R. Ela pode conter um
n umero nito de descontinuidades de salto. Isso e o mesmo que dizer que a func ao deve
ter todos os limites lateriais nitos. Se nem todos eles coinciderem num n umero nito de
pontos isso nos leva as descontiuidades de 1
a
especie. Mas, se algum deles for innito isso
e uma descontinuidade de 2
a
especie e a func ao nao sera seccionalmente contnua. Uma
func ao sempre contnua e obviamente seccionalmente contnua. Mais uma vez, em nota c ao
de conjuntos
contnuas Lisas por Partes
Vejamos exemplos de func oes lisas por partes e tambem de func oes nao seccionalmente
contnuas.
Exemplo(1) A func ao sinal de x denida em U =] 1, 1[
sign(x) =
_
_
_
+1 , se x > 0
0 , se x = 0
1 , se x < 0
e formada por duas func oes constantes, cada uma delas e contnua e diferenci avel. Ha uma
descontinuidade de 1
a
especie em x = 0, o que signica que os limite `a esquerda e `a direita
nao coincidem, mas sao nitos. Veja que, neste caso, x

= 0 e o ponto de descontinuidade
em U, veja a gura (4).
18
1.0 0.5 0.5 1.0
x
1.0
0.5
0.5
1.0
Signx
Figura 4: A func ao sinal seccionalmente diferenci avel em U =] 1, 1[.
Exemplo(2) A func ao periodica f(x) = x [x], [x] = o maior inteiro menor ou igual a x, e
um exemplo de func ao seccionalmente diferenci avel. Neste caso, as descontinuiaddes estao
localizadas em x

= , 3, 2, 1, 0, 1, 2, 3, como se ve na gura (1).

Exemplo(3) A func ao f(x) denida por
f(x) =
_
x , se 0 x <
x
2
x , se < x < 0
e contnua em ] , [, e formada por partes diferenci aveis, logo, e lisa por partes. Note
que a derivada de f(x) nao e contnua em x = 0. O gr aco desta func ao e mostrado na
gura (5).
Exemplo(4) A func ao contnua
f(x) =
_
1 x
2
, se [x[ < 1
e periodica de perodo 2
nao e seccionalmente diferenci avel, apesar de ser contnua. Isso ocorre porque f

= em
todos os pontos onde a func ao encontra o eixo x. Estas sao descontinuidades de 2
a
especie.
A gura (6) mostra o gr aco da func ao.
19
3 2 1 1 2 3
x
3
2
1
1
2
3
fx
Figura 5: Func ao contnua e seccionalmente diferenci avel em U =] , [.
3 2 1 1 2 3
x
0.2
0.4
0.6
0.8
1.0
fx
Figura 6: Gr aco de uma func ao contnua mas nao seccionalmente diferenci avel.
Exemplo(5) A func ao f(x) =
1
x
em qualquer intervalo que contenha a origem nao e secci-
onalmente contnua pois
lim
x0
+
= + e lim
x0

=
veja a gura (7).
6.1 Exemplos de Series de Fourier
Nesta sec ao vamos estudar v arios exemplos de expansao em series de Fourier de func oes
seccionalmente deriv aveis usando o Teorema de Fourier.
Exemplo(1) Calcule a serie de Fourier da func ao degrau S(x) denida no intervalo [, ]
S(x) =
_
1, se 0 x <
0, se x < 0
e desenhe o gr aco da serie de f(x) um perodo `a esquerda e um perodo `a direita de S(x).
Discuta a convergencia da serie.
Resolu c ao
20
2 1 1 2
x
10
5
5
10
fx
Figura 7: Gr aco da func ao f(x) = 1/x e nao seccionalmente diferenci avel num intervalo
[a, +a] contendo a origem.
Em primeiro lugar, e preciso determinar o perodo da func ao per odica ou de sua ex-
tensao periodica. No caso, a extens ao periodica de S(x) vai se repetir a um intervalo de
cada p = 2 como podemos ver pela gura (4). Como p = 2L, ent ao, neste caso, L = , e
os coecientes de Fourier sao calculados com as expressoes da eq. (25)
a
0
=
1

S(x)dx =
1

_
0

0 dx +
1

_

0
1 dx
a
0
= 1
a
n
=
1

S(x)cos(nx)dx =
1

_

0
cos(nx) dx =
_
1

sen(nx)
n
_

0
a
n
= 0 , n 1
Vamos, agora, calcular os b
n
b
n
=
1

S(x)sen(nx)dx =
1

_

0
sen(nx) dx =
_

cos(nx)
n
_

0
=
1 cos(n)
n
b
n
=
2
n
, nmpar
21
5 5 10
x
0.2
0.4
0.6
0.8
1.0
Sx
Figura 8: Gr aco da func ao degrau S(x) e sua extens ao periodica alguns perodos `a es-
querda e alguns `a direita de S(x). Os pontos denotam a convergencia one ha descontinui-
dades.
A expressao de b
n
decorre do fato que cos(n) = (1)
n
, n = 1, 2, . Podemos criar
nmeros mpares com a expressao 2n 1 , n = 1, 2, 3, , de modo que a serie de Fourier
de S(x) pode ser escrita como
f(x)
1
2
+

n=1
2
(2n 1)
sen[(2n 1)x]
Como serie contem um termo constante, no caso, a
0
= 1, que e uma func ao par, e
termos envolvendo senos, que sao mpares, a serie representa uma func ao que nao tem
paridade denida. E, de fato, S(x) nao e nem par, nem mpar. Nos pr oximos exemplos
vamos estudar func oes de paridade denida e ver como a serie se comporta.
Por que nao escrevemos uma igualdade na func ao acima? Pelo Teorema de Fourier,
se a func ao f(x) tiver descontinuidades, a serie nao converge para a func ao nestes pon-
tos. Isso ocorre nesse caso. A func ao degrau tem uma descontinuidade em x

= 0, e
sua extens ao periodica tem descontinuidades em x

= , 2, , 0, +, +2, como
vemos na gura (4). Logo, a serie acima converge para S(x) em todos os pontos menos
nos x

. Nestes pontos de descontinuiade, pelo Teorema de Fourier, a serie converge

para
_
lim
xx

f(x) + lim
xx
+

f(x)

/2. Por exemplo, em x

= 0, lim
x0
S(x) = 0 e
lim
x0
S(x) = 1, logo a serie converge para
1 + 0
2
=
1
2
neste, e como se pode vericar, em qualquer outro ponto de descontinuidade da func ao.
As series de Fourier podem ser usadas para encontrar o valor de certas series numericas.
Usando o resultado recem encontrado em x = /2, onde S(x) e contnua e vale 1, vemos
que
S(/2) = 1 =
1
2
+

n=1
2
(2n 1)
sen
_
(2n 1)

2
_
22
multiplicando ambos os lados por /2 temos que

4
=

n=1
1
2n 1
sen
_
(2n 1)

2
_
= 1
1
3
+
1
5

1
7
+
1
9

n=1
(1)
n1
2n 1
=

4
Poderamos pensar tambem em usar tal expressao para aproximar o valor de , no
entanto, logo se percebe, que para obter uma aproxima c ao razo avel, digamos, menor do que
5% do valor correto, e preciso reter muitos termos da serie. Por exemplo, mantendo os 10
primeiros termos da serie ainda temos um erro relativo de 3%. A serie nao e indicada para
aproxima c oes porque converge lentamente. Note que os termos decrescem com velocidade
1/n apenas.
Na gura (9) sao mostradas as aproxima c oes da func ao S(x) pela sua serie de Fou-
rier truncada no primeiro(azul), terceiro(vinho), e decimo termo(bege), respectivamente.
Cabem algumas observac oes muito importantes sobre esta gura:
1. Note que quanto mais termos sao usados na aproxima c ao, mais a serie vai se pa-
recendo com o gr aco da func ao degrau S(x); as primeiras aproxima c oes, contudo,
podem nao ser muito boas. Isso vai depender da velocidade com a serie converge.
2. A func ao que resulta da serie e uma func ao contnua. Mas, a func ao S(x) nao e
contnua em x = 0. Ora, se a serie de Fourier de S e contnua em x = 0, ela assume
um valor em x = 0. Este valor e previsto no Teorema de Fourier e vale 1/2 neste
caso, como calculamos a pouco. Olhando o gr aco, vemos que todos todos gr acos
das series truncadas passam pelo ponto (0, 1/2).
3. Para que a serie seja uma func ao contnua e passe por (0, 1/2), em algum ponto muito
pr oximo de zero ela deve se afastar mais do gr aco de S(x) e crescer ate alcan car
a parte de cima do gr aco da S. Isso tambem se ve claramente na gura (9).
Pode-se mostrar [1] que mesmo no limite onde se mantem todos os innitos termos
da serie, a serie de Fourier nao converge para a func ao S(x) no ponto x = 0 e este
comportamento se mantem. Este e o fen omeno de Gibbs. Na verdade, a diferenca
entre o valor da serie quando x se aproxima de zero pela esquerda e pela direita e
cerca de 18% maior do que a dist ancia entre a parte de cima e parte de baixo de S(x)
em x = 0, veja a Ref. [1] para uma demonstra c ao.
Veremos, no pr oximo exemplo, um caso onde a serie converge mais rapidamente.
23
6 4 2 2 4 6
x
0.2
0.4
0.6
0.8
1.0
Sx
Figura 9: Gr aco da func ao degrau S(x) e sua extens ao periodica alguns perodos `a es-
querda e alguns `a direita de S(x). Agora mostramos a aproxima c ao da sua serie Fourier
truncada no primeiro(azul), terceiro(vinho) e decimo(bege) termos, respectivamente.
Exemplo(2) Calcule a serie de Fourier da func ao f(x) denida no intervalo [L, L],
f(x) =
_
L x, se 0 x < L
L + x, se L x < 0
discuta sua convergencia e use-a para aproximar o valor de .
Resolu c ao
Em primeiro lugar, note que a func ao e par em [L, L], ent ao, b
n
= 0 , n = 1, 2,
automaticamente. Lembre-se que os senos sao func oes mpares, ent ao, eles nao podem
representar uma func ao par. A serie de Fourier deve conter apenas cossenos e um termo
constante (uma func ao constante e par).
Em segundo lugar, determinamos o perodo da func ao e sua extens ao periodica: neste
caso, p = 2L, logo, pela eq. (25)
a
0
=
1
L
_
L
L
f(x)dx =
2
L
_
L
0
(L x) dx
=
2
L
_
Lx
x
2
2
_
L
0
a
0
= L
24
Para n 1:
a
n
=
1
L
_
L
L
f(x)cos
_
nx
L
_
dx =
2
L
_
L
0
(L x)cos
_
nx
L
_
dx
=
2
L
_
L
_
L
0
cos
_
nx
L
_
dx
_
L
0
x cos
_
nx
L
_
dx
_
=
2
L
_
0
_
Lx
n
Lsen
_
nx
L
_
_
L
0
+
_
L
0
1
L
n
sen
_
nx
L
_
dx
_
=
2
L
_
0 0 +
_
L
n
L
n
cos
_
nx
L
_
_
L
0
_
=
2
L
L
2
n
2

2
(cos(n) 1) =
2
L
L
2
n
2

2

_

_
n = 1, 2
n = 2, 0
n = 3, 2
n = 4, 0
.
.
.
=
2
L

2L
2
n
2

2
, nmpar
a
n
=
4L
n
2

2
, nmpar
Como f(x) e contnua em [L, L] e f(L) = f(L), nao existem pontos de descontinui-
dade em f nem em sua extens ao periodica. Pelo Teorema de Fourier, a serie vai convergir
para f em todos os pontos, ent ao, podemos escrever a igualdade
f(x) =
L
2
+

nmpar
4L
n
2

2
cos
_
nx
L
_
Ha coment arios importantes a serem feitos aqui tambem:
1. A convergencia de uma func ao periodica contnua e mais r apida. Note que os termos
da serie sao decrescem com 1/n
2
. Isso signica que os termos com n grande tem menor
inuencia na serie, ao contr ario da serie do exemplo (1), que decrescia com 1/n. Isso
se reete no fato de que com menos termos e possvel obter boas aproxima c oes para
a func ao. Veja a gura (10). Conforme retemos mais termos da serie, a aproxima c ao
vai cando mais parecida com o gr aco de f(x) mais rapidamente do que no exemplo
(1).
2. A convergencia da serie e uniforme em todo e qualquer intervalo de f(x) e de sua
extens ao periodica. Nao ha fenomeno de Gibbs neste caso.
25
6 4 2 0 2 4 6
x
0.5
1.0
1.5
2.0
2.5
3.0
fx
Figura 10: Gr aco da func ao triangular f(x), com L = , e sua extens ao periodica al-
guns perodos `a esquerda e alguns `a direita de f(x). Agora mostramos a aproxima c ao
da sua serie Fourier truncada no primeiro(azul), segundo(vinho) e terceiro(bege) termos,
respectivamente.
Series de Fourier, e outras series de func oes, como a serie de Taylor, podem ser usadas para
obter a valor de series numericas. Usando a serie recem calculada em x = 0, temos que
f(0) = L =
L
2
+

n=1,3,5,
4L
n
2

2
L
2
=
4L

n=1,3,5,
1
n
2

n=1,3,5,
1
n
2
=

2
8
Vejamos, agora, um exemplo onde a f(x) e contnua em ] L, L[, mas sua extens ao
periodica e descontnua.
Exemplo(3) Calcule a serie de Fourier da func ao f(x) = x de perodo 2L denida no
intervalo L x < L. Discuta tambem sua convergencia.
Resolu c ao
Vamos calcular os coecientes da serie. Primeiro, a funcao e mpar no intervalo consi-
derado, logo, sua serie so pode conter func oes mpares: os senos. Ent ao, a
n
= 0 para todo
26
n 0, e so nos resta calcular os b
n
:
b
n
=
1
L
_
L
L
x sen
_
nx
L
_
dx
=
2
L
_
L
0
x sen
_
nx
L
_
dx
=
2
L
_
_

xL
n
cos
_
nx
L
_
_
L
0

_
L
0

L
n
cos
_
nx
L
_
dx
_
=
2
L
_

L
2
n
cos(n) + 0
_
b
n
=
2L(1)
n+1
n
, n = 1, 2, 3,
A serie e dada, portanto, por
f(x)
2L

n=1
(1)
n+1
n
sen
_
nx
L
_
Novamente, nao nos arriscamos a ja usar a igualdade para identicar f(x) com sua
serie de Fourier no intervalo ] L, L[. Isso porque a f(x) e sua extens ao periodica contem
descontinuidades. Pela gura (11) vemos que nos pontos onde ha descontinuidades, a
func ao tem limite `a esquerda igual a +L e limite `a direita igual a L, ent ao, pelo Teorema
de Fourier, nos pontos de descontinuidade a serie ira convergir para
L + L
2
= 0
e nos pontos onde a f(x) e sua extens ao periodica sao contnuas, a serie converge (unifor-
memente, vale lembrar) para a pr opria f(x). Chamamos a aten c ao tambem para o fato de
que f(L) ,= f(L).
Olhando a gura (11) notamos mais uma vez o fen omeno de Gibbs ocorrendo nos
pontos de descontinuidade. Assim como no exemplo (1), sao necess arios muitos termos
para aproximar a func ao de maneira razo avel.
Exemplo(4) Calcule a serie de Fourier da func ao f(x) = x de perodo 2 denida no intervalo
1 x 1:
f(x) =
_
x
2
+ x, se 0 x < 1
x
2
+ x, se 1 x < 0
Discuta tambem sua convergencia.
Resolu c ao
27
3 2 1 1 2 3
x
1.0
0.5
0.5
1.0
fx
Figura 11: Gr aco da func ao f(x) = x, com L = 1, e sua extens ao periodica alguns
perodos `a esquerda e alguns `a direita de f(x). Tambem mostramos a aproxima c ao da sua
serie Fourier truncada no primeiro(azul), terceiro(vinho) e decimo(bege) termos, respecti-
vamente.
A func ao f(x) assim denida e uma func ao mpar, logo, a
n
= 0 para todo n N.
Exerccio (4) Mostre que a func ao f(x) e mpar.
O c alculo dos b
n
e um pouco mais complicado por conta do termo em x
2
que exige duas
integrac oes por parte
b
n
=
1
1
_
1
1
f(x) sen(nx) dx =
2
1
_
1
0
(x
2
+ x) sen(nx) dx
= 2
_
1
0
x
2
sen(nx) dx + 2
_
1
0
x sen(nx) dx
Vamos calcular cada parte em separado. Primeiro o termo em x
2
, suprimindo o fator 2
28
por hora:
_
1
0
x
2
sen(nx) dx =
_
x
2
n
cos(nx)
_
1
0

_
1
0
2x
n
cos(nx) dx
=
cos(n)
n

2
n
_
_
x
n
sen(nx)
_
1
0

_
1
0
1
n
sen(nx) dx
_
=
cos(n)
n

2
n
_
0
_
1
n
cos(n)
n
_
1
0
_
=
cos(n)
n

2
n
3

3
(cos(n) 1)
Agora o c alculo da parte em x:
_
1
0
x sen(nx) dx =
_
x
n
cos(nx)
_
1
0

_
1
0
1
n
cos(nx) dx
=
cos(n)
n
+
_
1
n
2

2
sen(nx)
_
1
0
=
cos(n)
n
+ 0 =
cos(n)
n
Somando estas duas expressoes e multiplicando o resultado por dois temos que
b
n
= 2
_
cos(n)
n

2
n
3

3
(cos(n) 1)
cos(n)
n
_
b
n
=
4
n
3

3
[1 cos(n)] =
4
n
3

3
_
1 + (1)
n+1

b
n
=
8
n
3

3
, n = 1, 3, 5,
Finalmente, podemos escrever a serie de f(x)
f(x) =

n=1,3,5,
8
n
3

3
sen(nx)
A igualdade decorre do fato que f(x) e sua extens ao periodica sao contnuas para todo
x R. O fato novo e que a serie converge muito rapidamente para f(x) pois seus termos
caem com 1/n
3
. Isso e consequencia direta do fato de que f(x) e sua derivada primeira
sao contnuas. A aproxima c ao dada pela serie de Fourier e muito boa e, ja para o primeiro
termo, e difcil ver a diferenca entre os gr aco de f e de sua aproxima c ao de primeira
ordem. Mantendo apenas os dois primeiros termos da serie as curvas sao praticamente
identicas, veja a gura (12).
Exerccio (5) Mostre que a func ao f

(x) e contnua, que f

(1) = f

(1), e que f

(x) e
uma func ao degrau em 1 < x < 1.
29
1.0 0.5 0.5 1.0
x
0.2
0.1
0.1
0.2
fx
1.0 0.5 0.5 1.0
x
0.2
0.1
0.1
0.2
fx
Figura 12: Gr aco da func ao f(x), perodo 2, e sua extens ao periodica alguns perodos `a
esquerda e alguns `a direita de f(x). No painel superior mostramos f(x), a linha pontilhada,
e a aproxima c ao com somente o primeiro termo da sua serie de Fourier, a linha solida azul.
No painel inferior, f e aproxima c ao com os dois primeiros termos da serie apenas, a linha
solida vermelha.
30
6.2 Relacao entre a funcao f(x) e a velocidade da convergencia
de sua serie de Fourier
Nos quatro exemplos anteriores pudemos investigar a convergncia das series de Fourier de
func oes pares, mpares, contnuas e descontnuas. Vamos sintetizar nossas conclusoes nesta
sec ao.
Em primeiro lugar, vamos falar sobre a continuidade de f(x) e de sua extens ao periodica.
No exemplo (1) estudamos a func ao degrau S(x) denida no intervalo ] L, L[, que e
uma func ao descontnua em x = 0. Alem disso, sua extens ao periodica tambem tem
descontinuidades, conforme se ve na gura (4). Por outro lado, a func ao do exemplo (3)
era contnua em todo o seu intervalo de deni c ao, mas como f(L) ,= f(L), sua extens ao
periodica possui descontinuidades, como vemos na gura (5). Em ambos os casos, vemos
que, seja a f original contnua ou descontnua, se f(L) ,= f(L), as descontinuidades se
propagam pela extens ao periodica. Isso, no nal das contas, inuencia a velocidade com
que a serie converge: em ambos os casos os termos caem apenas com 1/n.
No exemplo (2), a func ao triangular e contnua no seu intervalo de deni c ao ] , +[,
e sua derivada descontnua (uma func ao degrau). Alem disso, sendo ela uma func ao par,
f() = f(), a sua extens ao periodica e contnua para todo x R. Sua serie de Fourier,
como vimos, converge mais rapidamente neste caso, com 1/n
2
.
Ja no exemplo (4), estudamos uma func ao contnua e de derivada primeira tambem
contnua. Alem disso, f(1) = f(1), o que garantiu a continuidade de sua extens ao
periodica em todo o eixo x. Nessa caso, a convergencia se mostrou ainda mais r apida! Os
termos decrescem com 1/n
3
. A gura (12) mostra a otima aproxima c ao que se consegue
mantendo apenas um ou dois termos da serie somente.
De fato, existe uma estreita relac ao entre a continuidade de uma func ao f(x) e de suas
derivadas, e a velocidade e a qualidade com que sua serie de Fourier converge.
Aprendemos que nao adianta a f(x) original ser contnua em seu intervalo de deni c o,
digamos U =] L, +L[ se f(L) ,= f(L), pois neste caso, surgem descontinuidades nos
extremos do intervalo quando contrumos a extens ao periodica da f. Mesmo que a func o
seja bem lisa, como no caso do exemplo (2), onde f(x) = x e contnua e sua derivada
f

(x) = 1 tambem e. Se a extens ao periodica contiver descontinuidades a convergncia e
lenta, os coecientes da serie de Fourier sao proporcionais a 1/n. Mais ainda, pelo Teorema
de Fourier, sabemos que a convergencia e garantidamente uniforme apenas em intervalos
sem descontinuidades. Nos intervalos onde ha uma descontinuidade, nao ha garantia que
isso ocorra.
E se f(L) = f(L), a func ao pode convergir rapidamente? So se ela for contnua. Isso
nos vimos no exemplo (1). Relembrando a deni c ao da func ao
S(x) =
_
1, se 0 x <
0, se x < 0
veja que S() = 0 e estendendo S periodicamente, S(+) = 0 tambem. Apesar disso, a
func ao e descontnua, e sua convergencia e 1/n, como sabemos.
31
Concluimos, ent ao, que para a serie de Fourier convergir mais rapidamente que 1/n, a
func ao f(x) e sua extens ao periodica devem ser contnuas. Isso equivale a dizer que f e
contnua em seu intervalo de deni c ao, digamos U =] L, +L[, e que f(L) = f(L).
Mas, seria possvel a serie de uma dada f convergir mais rapidamente que 1/n
2
? Sim!
Constatamos isso no exemplo (4). Como era essa f? Vimos que ela era contnua, que
f(L) = f(L), e mais, que sua derivada primeira tambem era contnua e tal que f

(L) =
f

(L). Isso garantiu uma convergencia r apida, com coecientes proporcionais a 1/n
3
.
E se f

(L) ,= f

(L)? A teramos a convergencia de 1/n
2
novamente! Nesse caso, a
extens ao periodica da derivada nao seria contnua, ao contr ario do que ocorre com a func ao
do exemplo (4).
Exemplo(5)
Um exemplo de func ao com quase as mesmas caractersticas da func ao do exemplo (4)
e a f(x) = x
2
+ 1 , 1 x 1. Esta, contudo, e par, mas, ela e obviamente contnua
e sua derivada tambem. Ao passo que a f satisfaz f(1) = f(1), sua derivada e tal que
f

(1) ,= f

(1). Isso signica que a extens ao periodica de f

(x) contem descontinuidades.
Este fato limita a convergengia da serie a 1/n
2
. Podemos mostrar que
f(x) =
2
3
+

n=1
4(1)
n+1
n
2

2
cos (nx) (27)
Exerccio (6) Mostre que a func ao f(x) = x
2
+ 1, 1 x 1 e contnua, que f(1) =
f(1), e que f

(x) e uma func ao contnua tambem, mas que f

(1) ,= f

(1).
Exerccio (7) Mostre que a serie de Fourier da func ao f(x) = x
2
+ 1 , 1 x 1 e
realmente a escrita na eq. (27).

E interessante notar que quanto mais suave e a f mais rapidamente sua serie con-
verge. A func ao do exemplo (4) e t ao suave que sua extensao periodica tem derivada
primeira contnua em todo o eixo x, ou seja, a extens ao tambem e suave. A func ao deste
exemplo e contnua, mas sua extens ao periodica possui bicos, veja a gura (13).
Na verdade, nao basta que as derivadas sejam contnuas, e necess ario tambem que a
extens ao periodica seja contnua. Isso exige que a func ao e suas derivadas assumam valores
identicos em x = L e x = L.
Em vista destas observac oes, enunciamos o seguinte teorema, cuja demonstra c ao pode ser
encontrada no apendice A, a respeito da convergencia das series de Fourier:
Teorema (3). Seja f(x) uma func ao contnua e com derivadas contnuas ate ordem
m , m 1 no intervalo U =] L, +L[, e tais que f(L) = f(L), f
(n)
(L) = f
(n)
(L) , 1
n m e f
(m+1)
(L) ,= f
(m+1)
(L), f
(m+1)
seccionalmante contnua. Nestas condi c oes, a
convergencia da serie de Fourier e de O(1/n
m+2
).
32
3 2 1 0 1 2 3
x
0.2
0.4
0.6
0.8
1.0
1.2
fx
Figura 13: Gr aco da func ao f(x) = x
2
+ 1, perodo 2, e sua extens ao periodica alguns
perodos `a esquerda e alguns `a direita de f(x), as linhas pontilhadas. A aproxima c ao do
truncamento da serie de Fourier no primeiro(azul), segundo(vinho) e quarto termos(bege),
e mostrada tambem.
Exemplo(6)
Como seria uma func ao que satisfaz o Teorema (3)? A func ao do exemplo (4) e um caso,
como se pode vericar facilmente. A quest ao e, e se quisermos construir uma func ao que
convirja com 1/n
4
? Como seria uma realiza c ao explcita de tal func ao?

E claro, existem
muitos tipos de func oes que, eventualmente, podem satisfazer as condi c oes do teorema,
vamos reduzir o n umero de possibilidades nos concentrando em polinomios.
Bem, se queremos convergencia com a quarta potencia, entao, m = 2. Ou seja, a
F(x), F

(x) e F

(x) devem ser contnuas em U =] L, L[ e tais que F(L) = F(L),
F

(L) = F

(L) e F

(L) = F

(L). Para tanto, devemos ter um polinomio de grau 4,
no mnimo (verique!). Mas, com quais coecientes? Temos de descobrir quais sao seus
valores impondo as condi c oes do teorema, ent ao
F(x) = a
4
x
4
+ a
3
x
3
+ a
2
x
2
+ a
1
x + a
0
A continuidade em U ja ca garantida, agora vamos impor as outras condi c oes. So para
simplicar, vamos adotar L = 1,
F(1) = F(1) a
4
+ a
3
+ a
2
+ a
1
+a
0
= a
4
a
3
+ a
2
a
1
+ a
0
2a
3
= 2a
1
(I) a
3
= a
1
F

(1) = F

(1) 4a
4
+ 3a
3
+ 2a
2
+ a
1
= 4a
4
+ 3a
3
2a
2
+a
1
8a
4
= 4a
1
(II) a
4
=
a
2
2
F

(1) = F

(1) 12a
4
+ 6a
3
+ 2a
2
= 12a
4
6a
3
+ 2a
2
a
3
= 0 (III) a
1
= 0
33
O polinomio e, portanto, da forma
F(x) =
a
2
2
x
4
+ a
2
x
2
+ a
0
onde a
2
e a
0
sao constantes arbitr arias. Uma escolha particular seria: a
0
= 0 e a
2
= 2 de
modo que
F(x) = x
4
2x
2
e um polinomio que satisfaz as condi c oes do Teorema (3). O c alculo da sua serie de Fourier
em U =] 1, 1[ nos da
x
4
2x
2
=
7
15
+

n=1
48(1)
n+1
n
4

4
cos (nx)
A convergencia desta serie e, pelo menos, de ordem 1/n
4
, em ecordo com o Teorema (3).
Exerccio (8) Verique o resultado acima.
Exerccio (9) Mostre que e possvel encontrar uma func ao F(x) dada por
F(x) =
_
a
3
x
3
+ a
2
x
2
+a
1
x + a
0
, 0 < x < L
b
3
x
3
+ b
2
x
2
+ b
1
x + b
0
, L < x < 0
de convergencia O(1/n
4
). Em especial, mostre que a serie de Fourier de
F(x) =
_
x
3
+ 3x
2
, 0 < x < 2
+x
3
+ 3x
2
, 2 < x < 0
e dada por
F(x) =

n=1,3,5,
384
n
4

4
cos
_
nx
2
_

E interessante notar que truncando a serie no primeiro, obtemos uma otima apro-
xima c ao para a func ao x
4
2x
2
x
4
2x
2

7
15
+
48

4
cos(x)
e, invertendo a igualdade, podemos escrever, pelo menos formalmente, uma aproxima c ao
para cos(x)
cos(x)

4
48
_
x
4
2x
2
+
7
15
_
=

4
48
x
4

4
24
x
2
+
7
4
720
Comparemos este resultado com a aproxima c ao do polinomio de Taylor de ordem 4 em
torno de x = 0
cos(x)

4
24
x
4

2
2
x
2
+ 1
34
1.5 1.0 0.5 0.5 1.0 1.5
x
1
1
2
3
Fx
Figura 14: A linha pontilhada vermelha reptresenta o gr aco da func ao f(x) = cos(x),
enquanto a linha preta a aproxima c ao do truncamento do primeiro termo da serie de
Fourier, e a linha azul a aproxima c ao do truncamento dos primeiros 3 termos da serie de
Taylor da func ao em torno de x = 0.
A gura (14) mostra o gr aco de cos(x) (linha vermelha pontilhada) e das duas apro-
xima c oes acima no intervalo ] /2, +/2[. Veja que a aproxima c ao da serie de Taylor
truncada (linha azul) e um pouco melhor que a da serie de Fourier truncada (linha preta)
em uma regiao bem pr oxima de x = 0, mas para [x[ > 0.5, a aproxima c ao de Tay-
lor deteriora-se r apido, enquanto a de Fourier ainda e muito boa ate aproximadamente
x = 1.2. Por exemplo, se quisermos usar uma aproxima c ao para calcular a integral de
cos(x) desde 1.2 ate 1.2, obteramos 0.382 com a aproxima c ao de Fourier e +0.755
com Taylor, sendo o resultado exato 0.374!
Existe, na realidade, uma conexao mais profunda entre as series de Taylor e as de
Fourier. Escrevendo a serie de Taylor de uma func ao f(x) como
f(x) =

n
a
n
x
n
e estendendo a variavel x para o domnio dos complexos: x z = e
i
, ent ao
f(x) =

n
a
n

n
e
in
35
que e uma serie de Fourier complexa! Aproveitando a ocasi ao, vamos denir a serie de
Fourier complexa de uma func ao f(x):
f(x)

n=0
c
n
e
inx
L
(28)
c
n
=
1
L
_
L
L
f(x)e
inx
L
dx (29)
Que isso e uma serie de Fourier decorre do que fato que, pela identidade de Euler,
e
ix
= cos(x) + isen(x)
onde i
2
= 1 e a unidade imagin aria.
Vamos estudar, agora, as series de Fourier de func oes pares e mpares e discutir como
construir e usar as series de Fourier de tais func oes.
7 Series de Senos e Cossenos
Como ja discutimos anteriormente, se f(x) for par, ent ao sua serie de Fourier so pode
conter func oes pares os cossenos, alem de uma constante. Se, por outro lado, f(x) for
mpar, apenas os senos far ao parte de sua serie de Fourier. Pois bem facamos um resumo
desta situa c ao
Teorema (4). Seja f(x) uma func ao seccionalmente contnua em U =] L, +L[. Se
f(x) for:
1. Par em U, ent ao
f(x)
a
0
2
+

n=1
a
n
cos
_
nx
L
_
(30)
a
0
=
2
L
_
L
0
f(x) dx (31)
a
n
=
2
L
_
L
0
f(x)cos
_
nx
L
_
dx (32)
b
n
= 0 , n = 0, 1, 2, (33)
36
2.

Impar em U, ent ao
f(x)

n=1
b
n
sen
_
nx
L
_
(34)
a
0
= 0 (35)
a
n
= 0 , n = 0, 1, 2, (36)
b
n
=
2
L
_
L
0
f(x)sen
_
nx
L
_
dx (37)
(38)
Exerccio (10) Use as propriedades de func oes pares e mpares do incio da sec ao 5 para
demonstrar o teorema acima.
Como toda serie de Fourier, a convergencia pontual e uniforme nao esta automatica-
mente garantida para toda func ao f. Note tambem que os coecientes de Fourier sao
escritos de forma um pouco diferente aqui.

E que estamos integrando um produto de duas
func oes que resulta numa func ao par em intervalos simetricos, logo, podemos integrar na
metade no intervalo e multiplicar o resultado por dois. Por este motivo estas formulas sao
tambem conhecidas como series de Fourier para a metade do intervalo.
Como seria a extens ao periodica de uma f(x) denida no intervalo 0 < x < L, por
exemplo? Se a f for expandida em serie de cossenos, a

f sera um func ao par. Isso seria
exatamente o que ocorreria se a func ao f fosse denida no intervalo completo ] L, +L[
de modo a ser par. Em outras palavras, a func ao
P(x) =
_
f(x) , 0 < x < +L
f(x) , L < x < 0
e a func ao f(x) original tem o mesmo desenvolvimento em serie de Fourier.
Se, contudo, a f for expandida em serie de senos, a sua

f vai convergir para uma func ao
mpar. No intervalo completo ] L, +L[ a serie convergiria para
I(x) =
_
f(x) , 0 < x < +L
f(x) , L < x < 0
Vamos estudar alguns casos interessantes de maneira detalhada.
Exemplo(1) Expanda a serie de Fourier de F(x) = x em 0 < x < 1 em uma serie de senos
e de cossenos. Esboce o gr aco da serie no intervalo [3, +3].
Resolu c ao
A serie de cossenos e facilmente calculada
x =
1
2
+

n=1,3,
4
n
2

2
cos (nx)
37
O gr aco de f(x) = x em 0 < x < 1 juntamente com os dez primeiros termos da serie
acima sao mostradas no primeiro painel (de cima para baixo) da gura (15). No segundo
painel vemos o gr aco da func ao g(x) = [x[ cuja deni c ao no intervalo em considera c ao e
justamente
[x[ =
_
f(x) = x , 0 < x < +1
f(x) = x , 1 < x < 0
A extens ao periodica de f e g sao identicas! A serie de Fourier de g(x) = [x[ em ] 1, 1[
tambem e identica.
Exerccio (11) Mostre que a expansao em serie de Fourier da func ao m odulo g(x) = [x[
no intervalo ] 1, +1[ e identica a da func ao f(x) = x em serie de cossenos no intervalo
]0, +1[.
A extens ao periodica de f e contnua, logo, a serie converge pontualmente e uniformente
para

f(x), por isso, nos antecipamos e escrevemos a igualdade na relac ao entre a f e sua
serie.
A serie de senos tambem e facilmente calculada
x

n=1
2(1)
n+1
n
sen (nx)
O gr aco de f(x) = x em 0 < x < 1 juntamente com os vinte primeiros termos da serie
acima sao mostradas no terceiro painel da gura (15). No quarto painel vemos o gr aco
da func ao g(x) = x, 1 < x < 1, cuja deni c ao no intervalo em considera c ao e justamente
x =
_
f(x) = x , 0 < x < +1
f(x) = x , 1 < x < 0
Novamente, a extens ao periodica de f e g sao identicas, assim como as suas serie de Fourier.
Neste caso, contudo, a

f(x) nao e contnua e a convergencia e mais lenta, de O(1/n). Nos
pontos de descontinuidade a serie converge para 0, em acordo com o Teorema de Fourier.
Exerccio (12) Mostre que a expansao em serie de Fourier da func ao m odulo g(x) = x no
intervalo ] 1, +1[ e identica a da func ao f(x) = x em serie de senos no intervalo ]0, +1[.
Mostre tambem que a serie converge para 0 nos pontos onde a

f(x) e descontnua.
Ha uma lic ao importante a ser tirada daqui: se estamos interessados na expansao em
serie de uma f na metade de um intervalo ]0, L[, por exemplo, podemos denir um apendice
qualquer `a f para completar a deni c ao no intervalo completo. Desde que a f mais este
apendice formem uma func ao seccionalmente contnua, a serie de Fourier de f mais o
apendice convergem para a pr opria f no intervalo ]0, +L[. Podemos tirar vantagem disso!
E acabamos de ver como isso poderia ser. Ora, se o apendice formar com a f uma g cuja
38
3 2 1 1 2 3
x
0.2
0.2
0.4
0.6
0.8
1.0
1.2
fx
3 2 1 1 2 3
x
0.2
0.2
0.4
0.6
0.8
1.0
1.2
gx
3 2 1 1 2 3
x
1.0
0.5
0.5
1.0
fx
3 2 1 1 2 3
x
1.0
0.5
0.5
1.0
gx
Figura 15: Primeiro painel (de cima para baixo): f(x) = x no intervalo ]0, 1[ (linha preta)
e sua serie de cossenos (linha vermelha). Segundo painel: f(x) = [x[ no intervalo ] 1, 1[
(linha preta) e sua serie de Fourier (linha vermelha). Terceiro painel: f(x) = x no intervalo
]0, 1[ (linha preta) e sua serie de senos (linha vermelha). Quarto painel (de cima para baixo):
f(x) = x no intervalo ] 1, 1[ (linha preta) e sua serie de Fourier (linha vermelha). A serie
de cossenos e truncada apos o decimo termo, e a de senos apos o vigesimo termo.
39
extens ao periodica e contnua, a serie vai convergir mais rapidamente. Isso ocorre, em
relac ao ao exemplo dado, denindo g(x) = [x[ que e par em ] 1, +1[. Porem, se denimos
um apendice que forma uma func ao cuja extens ao periodica tem descontinuidades, como
no caso da g(x) = x em ] 1, +1[ do exemplo, a convergencia sera mais lenta.
Vejamos outro exemplo.
Exemplo(2) Expanda a serie de Fourier de F(x) = x + 1 em 0 < x < 1 em uma serie de
senos e de cossenos. Esboce o gr aco da serie no intervalo [3, +3].
Resolu c ao
A serie de cossenos da func ao e dada por
x + 1 =
1
2
+

n=1
4
(2n 1)
2

2
cos [(2n 1)x]
e a serie de senos por
x + 1

n=1
2
n
sen (nx)
O gr aco da serie de senos e cossenos e mostrado na gura (16). Tambem mostramos a
serie de Fourier da func ao no intervalo completo ] 1, 1[. Como f(x) contem um termo par
e ummpar, ela nao tem paridade denida, e sua serie de Fourier para o intervalo completo
contem termos em seno e uma constante
x + 1 1 +

2(1)
n
n
sen (nx)
Mais uma vez, vemos que a extens ao periodica que e contnua tem uma serie mais
rapidamente convergente. Note que, mesmo no caso onde denimos o apendice de f(x),
no intervalo completo, de modo que a func ao e sua derivadas sejam contnuas, a extens ao
periodica e descontnua, pois neste caso, f(1) ,= f(1), veja o gr aco do terceiro painel da
gura (16). Em todos os casos casos, truncamos a serie de Fourier apos o decimo termo.
Exerccio (13) Deduza as expressoes em serie de Fourier da func ao f(x) = x + 1 deste
exemplo.
Exemplo(3) Expanda a serie de Fourier de F(x) = x
2
+x em 0 < x < 1 em uma serie de
senos e de cossenos. Esboce o gr aco da serie no intervalo [2, +2].
Resolu c ao
40
3 2 1 1 2 3
x
0.2
0.2
0.4
0.6
0.8
1.0
1.2
fx
3 2 1 1 2 3
x
1.0
0.5
0.5
1.0
fx
3 2 1 1 2 3
x
0.5
1.0
1.5
2.0
fx
Figura 16: Primeiro painel (de cima para baixo): f(x) = x + 1 no intervalo ]0, 1[ (linha
preta) e sua serie de cossenos (linha vermelha). Segundo painel: f(x) = x+1 no intervalo
]0, 1[ (linha preta) e sua serie de senos (linha vermelha). Terceiro painel: f(x) = x+1 no
intervalo ] 1, 1[ (linha preta) e sua serie de Fourier (linha vermelha). Em todos os casos
a serie de Fourier foi truncada apos o decimo termo.
41
Nem sempre a serie de cossenos e a que apresenta a convergencia mais r apida. Tudo
depende do qu ao suave sera a extens ao periodica da func ao, e isso pode ocorrer quando a
func ao no intervalo completo e mpar.
No caso desta func ao, a serie de senos e
x
2
+x =

n=1,3,5,
8
n
3

3
sen (nx)
Este resultado coincide com o do exemplo (4) da sec ao 6.1, compare.
A serie de cossenos tem convergencia de O(1/n
2
)
x
2
+ x =
1
6
+

n=2,4,6,
2
n
2

2
cos (nx)
Isso ocorre porque a serie de senos converge para a func ao mpar
g(x) =
_
x
2
+ x , 0 < x < +1
+x
2
+x , 1 < x < 0
que e contnua e tal que g(1) = g(1). Alem disso, a derivada desta func ao tambem e
contnua e tal que g

(1) = g

(1)
g

(x) =
_
2x + 1 , 0 < x < +1
2x + 1 , 1 < x < 0
Veja o gr aco das extens oes periodicas de g(x) e de sua derivada na gura (17).
Por outro lado, a serie de cossenos deve convergir para uma func ao par. Isso signica que
o gr aco da func ao em [1, 0] sera uma c opia el de f em [0, 1], e isso destroi a continuidade
da derivada em x = 0, em outras palavras, ha um bico na func ao no intervalo [1, 1],
logo sua derivada e descontnua em x = 0, veja o painel inferior da gura (17).
Exerccio (14) Deduza as expressoes em series de senos e de cossenos da func ao F(x) =
x
2
+ x deste exemplo.
Gostaramos de fechar esta sec ao refor cando a ideia de que temos liberdade de denir
um apendice qualquer para completar uma func ao em um intervalo completo [L, +L] se
pretendemos calcular sua serie de Fourier apenas na metade do intervalo [0, +L]. Esta
liberdade nos permite, por exemplo, denir um apendice que simplica os c alculos, ou um
apendice que torne a extens ao periodica contnua, o que melhora a convergencia da serie.
Propomos o seguinte exerccio a voce.
42
2 1 1 2
x
0.2
0.1
0.1
0.2
gx
2 1 1 2
x
2
1
1
2
g
x
x
2 1 0 1 2
x
0.05
0.10
0.15
0.20
0.25
gxPAR
Figura 17: Painel superior: g(x) mpar no intervalo [1, 1] (linha preta) e sua extens ao
periodica (linha vermelha). Painel central: g

(x) no intervalo [1, 1] (linha preta) e sua
extens ao periodica (linha vermelha). Veja que ambas sao contnuas em [1, 1] e ainda, que
g(1) = g(1) e g

(1) = g

(1). Painel inferior: g(x) par no intervalo [1, 1]. A func ao e
contnua, mas possui bicos em x = 0, 1, 2, .
43
Exerccio (15) Obtenha a serie de Fourier para a func ao f(x) = x
2
no intervalo [0, ] que
converge mais rapidamente possvel. Calcule, depois, a serie de Fourier de
g(x) =
_
x
2
, 0 < x < +
0 , < x < 0
em [, +] e mostre que
g(x)

2
6
+

n=1
_
2(1)
n
n
2
cos(nx) +
2 + (2 n
2

2
)(1)
n
n
3

sen(nx)
_
A convergencia e mais lenta agora? Por que? Esboce a extens ao periodica desta g(x) no
intervalo [3, +3].
Exerccio (16) Um outro apendice para a func ao f(x) = x
2
e a func ao x denida em
[, 0], de modo que
g(x) =
_
x
2
, 0 < x < +
x , < x < 0
A serie de Fourier desta g(x) converge com que velocidade? Para que valor a serie converge
em x = ? Esta serie tem apenas senos ou cossenos?
Considere, agora, a func ao
h(x) =
_
x
2
, 0 < x < +
x , < x < 0
Esta func ao e contnua? Se for, isso implica em uma mudanca na velocidade de convergencia
em relac ao a g(x)? Por que?
8 Derivadas e Integrais de Series de Fourier
9 Aplicacao das Series na Resolu cao da Equacao do
Calor
Appendices
A Demonstra cao do Teorema (3)
Demonstra cao
A demonstra c ao deste teorema pode ser feita por indu c ao. Vamos mostrar que ela
vale para m = 0, m = 1 e m = 2, depois vamos supor uma formula para m qualquer e
demonstrar para m + 1 completando os passos da demonstra c ao.
44
Como estamos interessados no comportamento da serie com relac ao `a rapidez de con-
vergencia, o c alculo de a
0
irrelevante.
Pois bem, se m = 0, isso signica que f(x) e contnua no intervalo ] L, L[ e que
f(L) = f(L), e, pelas condi c oes do Teorema, f

(x) e seccionalmente contnu, mas
f

(L) ,= f

(L). Calculando os b
n
temos
b
n
=
1
L
_
L
L
f(x)sen
_
nx
L
_
dx
=
1
L
_
_

Lf(x)
n
cos
_
nx
L
_
_
L
L

_
L
L

Lf

(x)
n
cos
_
nx
L
_
dx
_
=
1
n
_
(1)
n
n
[f(L) + f(L)] +
L
n
_
L
L
f

(x)cos
_
nx
L
_
dx
_
=
1
n
_
0 +
_
Lf

(x)
n
sen
_
nx
L
_
_
L
L

_
L
L
Lf

(x)
n
sen
_
nx
L
_
dx
_
Referencias
[1] An alise de Fourier e Equacoes Diferenciais Parciais, Djairo Guedes de Figueiredo,
Projeto Euclides, IMPA, 2007.
45