Sries de Fourier e Equaes Diferenciais Parciais

Ralph Teixeira, Helosa Medeiros, Maria Lcia Menezes

Universidade Federal Fluminense
E-mail address: ralph@mat.uff.br (25 Aug 2017)
 Sumrio

Prefcio v
Captulo 1. Motivao: a Equao do Calor 1
1. A Lei de Fick e a Equao do Calor Unidimensional 3
2. Exerccios 4

Captulo 2. Ortogonalidade de Funes 5

1. Projees Ortogonais 5
2. Funes so vetores! 6
3. Exerccios 9
Captulo 3. Funes Peridicas 11
1. Exerccios 12
Captulo 4. Sries de Fourier 13
1. Exerccios 16
Captulo 5. Sries em Senos e em Cossenos 19
1. Exerccios 22
Captulo 6. A Identidade de Parseval 23
1. Exerccios 25
Captulo 7. Derivao e Integrao de Sries de Fourier 27
1. Exerccios 31

Captulo 8. Convergncia Pontual e Uniforme 33

1. Exerccios 37
Captulo 9. Forma Complexa da Srie de Fourier 39
1. Exerccios 43

Captulo 10. O Fenmeno de Gibbs 45

1. Exerccios 46

iii
 Prefcio

Estas so as notas de aula da disciplina Mtodos Matemticos I. Considere este resumo como material de
apoio, em fase de construo. Por favor, no hesite em discutir erros e exerccios no site da disciplina.

v
 CAPTULO 1

Motivao: a Equao do Calor

Considere uma barra homognea, de comprimento L, longa e na, isolada termicamente do meio ambiente, exceto
nas suas pontas, que so mantidas a temperatura constante (digamos que elas esto mergulhadas em gua com gelo;
assim, a temperatura ali sempre 0). Sabendo uma distribuio inicial de temperatura na barra, gostaramos de
calcular como a temperatura da barra varia com o tempo.

0 x L

Faamos um modelo matemtico desta situao: seja u (x; t) a temperatura da barra no ponto x 2 [0; L] no
tempo t 2 [0; 1). A distribuio inicial de temperatura seria uma funo f (x) = u (x; 0). O fato das pontas estarem
mergulhadas em gelo se traduz pela expresso u (0; t) = u (L; t) = 0 para qualquer tempo t. Falta apenas saber qual
o processo de difuso de calor no interior da barra. Um modelo para este processo dado pela Equao Diferencial
Parcial (EDP)
ut = Kuxx
(onde K uma constante chamada difusividade trmica que depende do material da barra). A deduo desta EDP
a partir da Lei de Fick est no nal deste captulo mas possvel entender este modelo a partir da seguinte
interpretao da segunda derivada:
Exerccio 1. Suponha que g (x) uma funo de classe C 2 (isto , g 00 (x) existe e contnua no domnio de
g), e seja a um ponto no interior do domnio de g (x) Mostre que
g(a+h)+g(a h)
g (a)
lim 2
h2
= g 00 (a) .
h!0
2

Ou seja, a segunda derivada "mede"quanto um ponto do grco est abaixo (da mdia) de seus vizinhos.
Com esta ideia em mos, vejamos um exemplo mais concreto: xe um tempo t = 0 e considere a temperatura
da barra g (x) = u (x; 0) neste instante. Suponha que neste momento esta distribuio seja dada pelo grco abaixo

Temp

(ou seja, a barra inicialmente est em geral mais quente esquerda, mais fria direita, mas a temperatura oscila
bastante de um ponto a outro). De acordo com a EDP ut = Kuxx , quanto maior for g 00 (a) = uxx (a; 0) (isto , se
o ponto a muito menos quente do que a mdia dos vizinhos), maior ser a taxa ut (a; 0) (isto , a temperatura do
ponto a subir rapidamente). Em suma, pontos frios cercados de pontos mais quentes esquentam, e vice-versa, como
esperamos. As setas acima indicam este efeito de suavizao da temperatura original, e os grcos abaixo indicam
a evoluo da temperatura para vrios valores de t. Eles condizem com sua intuio sobre a difuso do calor?
1
2 1. M O TIVAO: A EQUAO DO CALOR

Evoluo nos tempos t = 0, t = 2, t = 4 e t = 25.

Grco de u (x; t)
Um dos objetivos desta disciplina resolver problemas como o discutido acima, que se escreve:
8
< ut = Kuxx para (x; t) 2 (0; ) (0; 1)
u (0; t) = u ( ; t) = 0 para t 2 (0; 1)
:
u (x; 0) = f (x) para x 2 (0; )
(a primeira linha a Equao Diferencial Parcial (EDP), a segunda d Condies de Contorno, e a terceira d uma
Condio Inicial ).
Obviamente, a soluo u (x; t) vai depender da condio inicial f (x), e a princpio a relao entre f e u parece
complicada. Mas, para algumas condies f (x) simples, possvel escrever explicitamente uma frmula para u (x; t)!
Exerccio 2. Tente adivinhar informalmente uma soluo da equao do calor ut = uxx com condies de
contorno u (0; t) = u (2 ; t) = 0 para as condies iniciais abaixo.
a) u (x; 0) = sin x;
b) u (x; 0) = sin 2x;
c) u (x; 0) = 3 sin x + 4 sin 5x;
d) u (x; 0) = 4 sin x + 3:1 sin 2x + 1:8 sin 7x.
Soluo: a) Note que quando u (x; 0) = sin x, tem-se uxx (x; 0) = sin x. Ou seja, inicialmente, temos ut = u.
Voc conhece alguma funo que, quando derivada com relao a t, troca de sinal? Bom, teramos e t . Um pouco
de criatividade nos leva ento a tentar
u (x; t) = e t sin x
 1. A LEI DE FICK E A EQUAO DO CALOR UNIDIM ENSIONAL 3

Verque que, de fato, isto uma soluo do problema do calor com as condies dadas!
b) Derivar sin 2x com relao a x duas vezes faz a funo ser multiplicada por 4. Para que este termo tambm
aparea na derivada com relao a t, basta fazer
4t
u (x; t) = e sin 2x
Verique tambm esta soluo!
c) Use um pouco de criatividade e note que a resposta
t 25t
u (x; t) = 3e sin x + 4e sin 5x
d) A esta altura do campeonato, esperamos que voc tenha notado que qualquer combinao linear de funes
do tipo
2
um (x; t) = e m t sin (mx)
satisfaz ut = uxx e tambm u (0; t) = u (2 ; t) = 0 para todo t. Basta agora "ajeitar"a combinao linear para que
u (x; 0) seja a funo dada. Neste caso, por exemplo, uma soluo
t 4t 49t
u (x; t) = 4e sin x + 3:1e sin 2x + 1:8e sin 7x
Para o leitor curioso, esta foi a frmula que gerou os grcos acima.
Em outras palavras, sempre que a condio inicial u (x; 0) puder ser escrita como combinao linear de senos,
fcil encontrar uma soluo da EDP do calor multiplicando cada seno (em x) pela exponencial correta em t, isto ,
2
trocando cada termo da forma sin mx pelo termo e m t sin mx.
A discusso acima, bastante informal, levanta vrias questes importantes:
i) O que h de to especial a respeito de senos para resolver a equao do calor?
Resposta parcial: os senos so "autofunes"da Equao do Calor com condies de contorno como as do exemplo
acima. O conceito de autofunes pode ser estendido para outros problemas, como veremos mais tarde.
ii) E se a condio inicial no estiver escrita como uma combinao linear de senos? Ser possvel escrever (ou
pelo menos aproximar) qualquer funo f (x) = u (x; 0) como uma combinao linear de funes trigonomtricas?
Como encontrar os coecientes corretos?
Resposta parcial: se f (x) for peridica e contnua em seu domnio, ento ela pode ser bem aproximada por uma
combinao linear de funes trigonomtricas. Este tpico o que perseguiremos nas prximas aulas.
Ento vamos destacar desde j a questo fundamental desta parte do curso: dada uma funo f (x), possvel
escrev-la ou aproxim-la como uma soma (talvez innita, como as das sries de Taylor) de senos (e cossenos)? Ou
seja, ser que possvel escrever1
X1
a0
f (x) = + (am cos (mx) + bm sin (mx)) ?
2 m=1

e, em caso positivo, como encontrar os am e bm a partir de f (x)?

1. A Lei de Fick e a Equao do Calor Unidimensional

Apesar da nomenclatura ser consagrada, a equao do calor descreve no s a maneira como calor se difunde em
um meio homogneo, mas serve para a difuso de qualquer substncia que obedea Lei de Difuso de Fick:
Proposio 3 (Lei de Difuso de Fick). A difuso de uma substncia A em uma substncia B se propaga da
regio de maior densidade para as regies de menor densidade; a taxa de difuso proporcional ao gradiente da
concentrao de A em B.
Em outras palavras, se v a velocidade de propagao da substncia A e a densidade de massa de A em B,
ento a Lei de Fick diz que
v= Kr
para alguma constante positiva K. No caso unidimensional, isto se resume a
d
v (x) = K
dx
Queremos obter uma equao diferencial que, a partir desta lei, nos diga a variao da densidade com o tempo.
Para tanto, seja M (x; t) a quantidade de massa no intervalo I = [x0 ; x] (para algum x0 xo) no tempo t. Uma
simples lei de conservao de massa relaciona v com esta quantidade
@M
= v (x) + v (x0 )
@t
1 A constante a aparece "dividida por 2"apenas para facilitar alguns clculos que aparecero mais tarde.
0
4 1. M O TIVAO: A EQUAO DO CALOR

@M
Mas a densidade denida como (x; t) = @x (x; t), portanto
2
@ @ M @ ( v (x) + v (x0 )) @v
= = =
@t @x @t @x @x
Esta equao simplesmente a lei de conservao de massa. Se agora utilizarmos a Lei de Fick, obtemos a
seguinte equao para
@ @2
(x; t) = K 2 (x; t)
@t @x
De fato, a equao diferencial acima foi estabelecida para a conduo de calor em meios homogneos por J.
Fourier antes da sua interpretao como um processo de difuso explicitada acima (a analogia entre os processos de
transporte de calor e transporte de matria que foi estabelecida por A. Fick, em 1855).

2. Exerccios
1) Adivinhe uma soluo da equao do calor
ut = c:uxx para x 2 (0; L) e t > 0
u (0; t)= u (L; t) = 0 para todo t > 0
x
u (x; 0) = 5 sin para x 2 [0; L]
L
2
c t=L2 x
Resposta: u (x; t) = 5e sin L .

2) Adivinhe uma soluo da equao do calor

ut = uxx para x 2 (0; ) e t > 0
u (0; t) = u ( ; t) = 0 para todo t > 0
u (x; 0) = 4 sin3 x para x 2 [0; ]
Dica: relembre as identidades sin2 x = 1 cos2
2x
, e sin A cos B = 1
2 (sin (A + B) + sin (A B)).
t 9t
Resposta: u (x; t) = 3e sin x e sin 3x

3) Adivinhe uma soluo para

ut = Cuxx para x 2 (0; L) e t > 0
u (0; t) = u (L; t) = 0 para todo t > 0
N
X m x
u (x; 0) = cm sin para x 2 (0; L)
m=1
L
PN Cm2 2
t m x
Resposta: u (x; t) = m=1 cm exp L2 sin L

4) Adivinhe uma soluo da equao da onda

utt = 9uxx para x 2 (0; ) e t > 0
u (0; t) = u ( ; t) = 0 para todo t > 0
u (x; 0) = 7 sin x para x 2 [0; ]
Resposta: u (x; t) = 7 cos 3t sin x.
 CAPTULO 2

Ortogonalidade de Funes

Lembremos novamente que o problema principal desta parte do curso , dada uma funo f (x), encontrar
coecientes am e bm tais que1
XN
a0 m x m x
(1) f (x) = + am cos + bm sin
2 m=1
L L

(mais tarde, tomaremos N ! 1, e veremos se a soma converge para f (x)). Na lgebra Linear, um problema
bem conhecido era o de aproximar um vetor conhecido ~v como combinao linear de vetores de um conjunto
fw
~ 1; w
~ 2 ; :::; w
~ N g:
N
X
~v = aj w
~j
j=1
(provavelmente voc trabalhava com N = 3).
Note a semelhana entre os dois problemas se pudermos ngir que os vetores wj so as funes do tipo sin mL x
e cos mL x (bom, e talvez colocar w~ 0 = 12 para tomar conta da primeira constante a0 ), e identicando ~v com f (x),
o problema o mesmo encontrar os coecientes de uma combinao linear! Assim, precisamos rever brevemente
alguns conceitos da lgebra Linear.

1. Projees Ortogonais
Dados dois vetores ~v e w ~ 6= ~0) num espao com produto interno (pense Rn por enquanto),
~ quaisquer (com w
qual o vetor paralelo a w
~ que melhor aproxima ~v ? A resposta dada pela projeo ortogonal:
~ 2 Rn um vetor no-nulo, e ~v 2 Rn A projeo ortogonal de ~v sobre (na direo) de w
Definio 4. Seja w ~
o vetor
~v w
~
p~ = w
~
w ~ w
~
Proposio 5. A projeo ortogonal tem as seguintes propriedades essenciais (com a notao acima)
a) O vetor ~v p~ ortogonal a w ~ (justicando o nome);
b) De todos os vetores da forma w ~ (onde 2 R), a projeo ortogonal o que melhor aproxima ~v .
c) Em particular, p~ = ~v se, e somente se, ~v e w
~ so linearmente dependentes.
Demonstrao. a) uma conta imediata
~v w
~
(~v p~) w
~ = ~v w
~ p~ w
~ = ~v w
~
(w
~ w)
~ =0
w~ w~
b) Considere a distncia (ao quadrado) entre ~v e um vetor genrico da forma w~
2 2
F ( ) = k~v wk
~ = (~v w)
~ (~v w)
~ = (w
~ w)
~ 2 (~v w)
~ + ~v ~v
que uma funo quadrtica de , a saber
2
F( )=a + b + c onde a = w
~ w;
~ b= 2~v w;
~ c = ~v ~v
Como a = w
~ w
~ > 0, esta funo tem mnimo em
b ~v w
~
= =
2a w ~ w
~
c) Como p~ mltiplo de w,
~ a ida bvia; para a volta, tomando ~v = k w,
~ vem
kw~ w~
p~ = w
~ = kw
~ = ~v
w~ w~

1 No exemplo principal do captulo anterior, tnhamos L = ; mas nos exerccios voc viu alguns exemplos que usam L 6= . Por isso
colocamos aqueles denominadores dentro dos senos e cossenos!

5
6 2. ORTOGO NALIDADE DE FUNES

muito comum usar projees ortogonais em Rn para aproximar um vetor por outro... Est duvidando? Veja
o exemplo a seguir:
Exemplo 6. Um aluno faz n avaliaes, tirando as notas x1 ; x2 ; :::; xn . Assim, o desempenho deste aluno
representado por um vetor ~v = (x1 ; x2 ; :::; xn ) 2 Rn Infelizmente, muita gente prefere resumir o desempenho deste
aluno por um nico nmero no nal da disciplina (que horror!). Como escolher tal nmero?
Em outras palavras, queremos aproximar o vetor de notas ~v = (x1 ; x2 ; :::; xn ) por um vetor ~v2 = ( ; ; :::; ), como
se o aluno tivesse tirado uma nica nota em todas as avaliaes e esse que vai resumir o desempenho do
aluno. Ento temos um problema de aproximao: de todos os vetores mltiplos de w ~ = (1; 1; :::; 1), qual o que
melhor aproxima ~v ? Resposta: a projeo ortogonal de ~v sobre w....
~ Agora termine a conta e descubra o valor de
. Era exatamente o que voc esperava, no? Toda vez que voc faz uma mdia aritmtica, voc est fazendo uma
projeo ortogonal.
E se quisermos projetar um vetor ~v num plano gerado por dois vetores w
~1 e w
~ 2 (ou num subespao S gerado por
N vetores)? Temos:
Definio 7. Sejam w ~ 1; w ~ N vetores no-nulos ortogonais, e seja S o subespao por eles gerado. A
~ 2 ; :::; w
projeo ortogonal de ~v sobre S a soma das projees de ~v sobre cada vetor w ~ i , isto
N
X ~v w
~i
p~ = w
~ i.
i=1
w
~i w~i
~
vw ~i
Comentrio 8. Preste ateno especial aos coecientes w ~i ,
~i w que so as coordenadas de p~ na base dos vetores
w
~ i.
Proposio 9. A projeo ortogonal p~ do vetor ~v sobre o subespao S tem as seguintes propriedades essenciais
a) A projeo ortogonal um vetor de S
b) O vetor ~v p~ ortogonal a todos os vetores de S;
c) De todos os vetores de S, a projeo ortogonal o que melhor aproxima ~v .
d) Em particular, p~ = ~v se, e somente se, p~ 2 S.
Demonstrao. A primeira propriedade clara, pois p~ uma combinao linear dos vetores w
~ i (que geram
S). As outras so deixadas como exerccios para o leitor (vide nal do captulo).
Mas talvez voc esteja pensando... Isto tudo lindo, funciona maravilhosamente para vetores de Rn . Mas funes
no so vetores.... so?

2. Funes so vetores!
Basicamente, quaisquer objetos que possam ser somados entre si (assim como vetores so somados entre si) e
multiplicados por constantes (assim como voc pode multiplicar um vetor por uma constante) podem ser considerados
como vetores (desde que esta soma e multiplicao tenham as propriedades "usuais"). Formalmente, temos:
Definio 10. Um espao vetorial real um conjunto E (cujos elementos so chamados vetores) dotado
de duas operaes:
~ sua soma (denotada por ~v + w);
i) Uma que associa um par de vetores ~v , w ~
ii) Outra que associa um vetor ~v e um nmero real a seu produto (denotado por ~v );
que tm as seguintes propriedades
Soma:
para quaisquer ~u; ~v e w
~ 2 E: ~u + ~v = ~v + ~u; (~u + ~v ) + w
~ = ~u + ~v + w
~
existe um vetor (chamado nulo, denotado ~0) tal que para todo ~u 2 E tem-se ~u + ~0 = ~u
cada vetor ~u tem um simtrico (denotado ~u) tal que ~u + ( ~u) = ~0
Multiplicao por escalar:
para quaisquer 1; 2 2 R e qualquer ~u 2 E, tem-se 1 ( 2~
u) =( 1 2) ~
u
para todo ~u 2 E tem-se 1~u = ~u
Distributividade:
para quaisquer 1; 2 2 R e qualquer ~u 2 E, tem-se ( 1 + 2) ~
u = 1~
u + 2~
u
para qualquer 2 R e quaisquer ~u; ~v 2 E tem-se (~u + ~v ) = ~u + ~v
 2. FUNES SO VETORES! 7

No difcil ver que o conjunto de todas as funes reais de uma varivel real ento um espao vetorial
a soma de funes (f + g) (x) = f (x) + g (x) e a multiplicao por escalar ( f ) (x) = :f (x) satisfazem todas as
propriedades acima. Por exemplo, o vetor nulo a funo identicamente nula ~0 (x) 0. Em suma, comece a
pensar em funes como vetores!2
Mas para fazer projees ortogonais, no basta ter vetores precisamos de produtos internos entre eles. O
que seria um produto interno entre funes? Note que, nas contas acima, tudo que usamos foram propriedades
distributivas de produtos internos, ento qualquer operao que tenha tais propriedades serve! Formalmente:
Definio 11. Um produto interno em um espao vetorial real E uma funo
h; i : E E ! R
u ; v 7 ! hu; vi
que satisfaz as seguintes propriedades:
Positividade:: 8v 2 E; hv; vi 0.
Simetria:: 8u; v 2 E; hu; vi = hv; ui;
Linearidade:: 8 1 ; 2 2 R; 8u; v; w 2 E h 1 u + 2 v; wi = 1 hu; wi + 2 hv; wi.
~
(Alguns livros tambm exigem que hv; vi = 0 ) v = 0 mas em nosso contexto, esta condio no ser necessria.)
Exemplo 12. Em Rn , o produto interno usual (chamado cannico) fazer, dados ~v = (v1 ; v2 ; :::; vn ) e w
~ =
(w1 ; w2 ; :::; wn ),
n
X
h~v ; wi
~ = vi w i
i=1
Em outras palavras, o produto interno cannico "multiplica as coordenadas correspondentes dos dois vetores e depois
soma tudo".
Exemplo 13. Dadas duas funes f; g : [a; b] ! R, denimos seu produto interno cannico em [a; b] como3
Z b
(2) hf; gi = f (x) g (x) dx
a
Note como este produto interno mantm a idia de "multiplicar coordenadas correspondentes e depois somar
tudo". Deixamos como exerccio para o leitor vericar que este produto interno satisfaz, de fato, as propriedades dos
produtos internos4 . Vale a pena notar que estes no so os nicos produtos internos nestes espaos, mas so os mais
usuais (veja exerccios)5 .
~ em E so ditos ortogonais quando h~v ; wi
Definio 14. Dois vetores ~v e w ~ = 0. Em particular, duas funes
so ortogonais em [a; b] quando
Z b
f (x) g (x) dx = 0
a
Exemplo 15. As funes sin mx e sin nx (com m; n naturais positivos distintos) so ortogonais em [ ; ]. De
fato
Z Z
cos ((m n) x) cos ((m + n) x)
hsin mx; sin nxi = sin mx sin nxdx = dx =
2
x=
sin ((m n) x) sin ((m + n) x)
= =0
2 (m n) 2 (m + n) x=

2 Ento a funo f (x) = x agora um vetor. A funo g (x) = arctan (ex + cos (x)) um outro vetor. V em frente e desenhe uma
setinha para cada um no seu papel! A diagonal do paralelogramo com lados f (x) e g (x) o vetor (f + g) (x) = x+arctan (ex + cos (x)). A
funo 8g (x) uma seta 8 vezes maior que g (x), na mesma direo. Apenas lembre-se que as setinhas que voc desenhou so arbitrrias,
apenas para ajudar voc a pensar nas funes como vetores (em particular, a setinha no tem nada a ver com o grco da funo).
3 Tecnicamente, para denir este produto interno, precisamos ter certeza que hf; f i um nmero real por este motivo, trataremos
apenas das funes tais que
Z b
f 2 (x) dx
a
um nmero real. Tais funes so ditas funes de quadrado integrvel, que so vetores de um espao denominado L2 ([a; b]).
4 Note que possvel ter uma funo f (x) que no identicamente nula mas tal que hf (x) ; f (x)i = 0 por exemplo, tome
0, se x 6= 1
[a; b] = [0; 2] e considere f : [0; 2] ! R denida por f (x) = . Se adicionssemos a condio hf; f i = 0 ) f = 0 aos axiomas
1, se x = 1
de produto interno, este problema poderia ser contornado, mas a maneira sutil! Se voc realmente quiser saber: um vetor de L2 ([a; b])
no uma funo, mas o conjunto de todas as funes tais que hf g; f gi = 0. Em particular, o vetor nulo de L2 ([a; b]) qualquer
R
funo f (x) tal que ab f 2 (x) dx = 0. Em particular, duas funes so o mesmo vetor se diferem em apenas um nmero nito de pontos!
Surpreendentemente todos os axiomas de espao vetorial e do produto interno so satisfeitos neste novo conceito de "vetor".
R
5
Muitos usam b 1 a ab f (x) g (x) dx como produto interno cannico, o que praticamente no altera a teoria a seguir.
8 2. ORTOGO NALIDADE DE FUNES

Proposio 16. As funes w ~ m = sin mL x (m = 1; 2; 3; :::) e ~vn = cos nLx (n = 0; 1; 2; :::) so ortogonais
duas a duas em [ L; L], isto
D m x n x E
sin ; sin = 0 (para m 6= n)
D L L
m x n x E
sin ; cos = 0 (para quaisquer m e n)
D L L E
m x n x
cos ; cos = 0 (para m 6= n)
L L
Alm disso
m x 2 D m x m x E
(3) sin = sin ; sin = L para m = 1; 2; 3; :::
L L L
n x 2 D n x n x E
cos = cos ; cos = L para n = 1; 2; 3; :::
L L L
2
k1k = h1; 1i = 2L
Demonstrao. So clculos que deixamos como exerccio para o leitor.
Podemos agora repetir a denio de projeo ortogonal com nosso novo produto interno!
Definio 17. Sejam w ~ 1; w ~ N vetores no-nulos ortogonais, e seja S o subespao por eles gerado. A
~ 2 ; :::; w
projeo ortogonal de ~v sobre S a soma das projees de ~v sobre cada vetor w ~ i , isto
XN
h~v ; w
~ ii
p~ = w
~ i.
i=1
hw~ i; w~ ii

importante notar que esta projeo ortogonal tem exatamente as mesmas propriedades que j havamos citado
e a demonstrao destas propriedades exatamente a mesma (pois na demonstrao tudo que usamos so as
propriedades bsicas do produto interno, que continuam valendo).
Ento voltemos ao problema original: suponha que voc quer aproximar uma funo f : [ L; L] ! R como uma
soma de senos e cossenos, assim:
XN
a0 m x m x
f (x) = 1+ am cos + bm sin
2 m=1
L L
n x m x
ou, pensando vetorialmente via ~cn = cos L e ~sm = sin L :
XN
a0
(4) f~ = ~c0 + am~cm + bm~sm
2 m=1

Que coecientes do lado direito produzem a melhor aproximao de f (x)? Ora, os vetores ortogonais ~cm e
~sn (m; n N ) geram o subespao S de todas as funes que podem ser escritas como a que est do lado direito
da igualdade! Ento a "melhor"aproximao seria a projeo ortogonal de f sobre E, cujos coecientes sabemos
calcular (lembra do comentrio 8?)! Usando nosso novo produto interno, temos:
D E
~; ~c0
f Z L Z
a0 1 1 L
= = f (x) dx ) a0 = f (x) dx
2 h~c0 ; ~c0 i 2L L L L
D E
f~; ~cm Z
1 L m x
am = = f (x) cos dx
h~cm ; ~cm i L L L
D E
f~; ~sm Z
1 L m x
bm = = f (x) sin dx
h~sm ; ~sm i L L L
Em suma, se f (x) puder ser escrita na forma 4, espera-se que os coecientes am e bm sejam dados
pelas frmulas acima (e se f (x) no puder ser escrita na forma 4, ainda assim esta a melhor aproximao de
f (x) que podemos conseguir usando tais senos e cossenos).
Nos captulos seguintes, usaremos tais coecientes, e tomaremos N ! 1, criando uma srie chamada de Srie
de Fourier de f (x). Ser que a funo f (x) igual sua Srie de Fourier? Ou seja, ser que vale:
X1
?? a0 m x m x
f (x) = SF (x) = + am cos + bm sin ?
2 m=1
L L
 3. EXERCCIOS 9

3. Exerccios
1) Em R3 verique que ~v1 = (3; 1; 1) e ~v2 = ( 1; 1; 2) so ortogonais. Seja ~u = (0; 3; 2)
hu;v i
a) Calcule os coecientes aj = hvj ;vjj i , j = 1; 2 da projeo ortogonal de ~u sobre o plano gerado por ~v1 e ~v2 .
b) Faa um esboo que contenha ~v1 , ~v2 , ~u, a1~v1 , a2~v2 e p~ = a1~v1 + a2~v2 .
c) Calcule o vetor ~r = ~u p~ e marque-o em seu esboo. Conra explicitamente que h~r; p~i = 0. O que isto signica
no esboo?
1
Resposta parcial: a1 = 11 e a2 = 16 .

2) Repita o problema trocando ~u respectivamente por:

I) ~u2 = (1; 3; 5)
II) ~u3 = (a; b; c).
Resposta parcial: este problema e o anterior ilustram o que j sabamos:
Se ~u puder ser escrito como combinao linear de ~v1 e ~v2 , o item (1a) calcula coecientes a1 e a2 tais que
~u = a1~v1 + a2~v2 , como em (I);
Se ~u no puder ser escrito como combinao linear de ~v1 e ~v2 , ainda assim o processo til o vetor p~ = a1~v1 +a2~v2
no ser ~u, mas ser a projeo ortogonal de ~u no plano gerado por ~v1 e ~v2 (e, portanto, a diferena entre ~u e p~
ser a menor possvel dentre os vetores p~ daquele plano).

3) Em R3 verique que ~v1 = (3; 1; 1), ~v2 = ( 1; 1; 2) e ~v3 = ( 1; 7; 4) so ortogonais dois a dois. Qual a
maneira mais rpida de decompor um vetor ~u = (x; y; z) na base f~v1 ; ~v2 ; ~v3 g? [Obs: usar matrizes de passagem no
a maneira mais rpida!]
Resposta: ~u = 3x+y
11
z
~v1 + x+y
6
2z
~v2 + x+7y+4z
66 ~v3 .

4) Mostre que os seguintes pares de funes so ortogonais em [ 1; 1]:

a) 1 e x;
b) x e x4 ;
c) sin x e cos x;
d) f (x) e g (x) onde f uma funo par e g uma funo mpar;
e) sin x e sin 3 x;

5) Quando vetores ortogonais tm norma 1, dizemos que so ortonormais. Mostre que o seguinte conjunto de
vetores ortonormal em [ L; L]:
1 n x 1 n x
:= p sin ; p cos (n = 1; 2; 3; :::)
L L L L

6) Encontre a projeo ortogonal da funo f (x) = x no subespao gerado pelas funes ~s1 (x) = sin x, ~c0 (x) = 1
e ~c1 (x) = cos x (use o intervalo [ ; ]).
Resposta: p~ = 2 sin x. Note: enquanto comum usar a aproximao sin x x para x pequeno (Taylor), aqui
obtivemos a aproximao x 2 sin x para x 2 [ ; ], no apenas perto de x = 0. Esta a melhor aproximao
possvel usando ~s1 , ~c0 e ~c1 , no sentido do nosso produto interno!

7) Seja p~ a projeo ortogonal de ~v sobre w.

~
a) Mostre que ~e = ~v p~ ortogonal a w.~ Em outras palavras pode-se decompor
~v = p~ + ~e
onde p~ paralelo a w,
~ e ~e ortogonal a w,
~ justicando a nomenclatura "projeo ortogonal".
b) Encontre a projeo ortogonal da funo f (x) = x sobre cada uma das funes gn (x) = cos nx (n = 0; 1; 2; ::: use
o intervalo [ ; ]).
c) Encontre a projeo ortogonal da funo f (x) = x sobre cada uma das funes hn (x) = sin nx (n = 1; 2; :::; use
[ ; ]).
n+1 2
Resposta: b) Cada uma delas d 0; c) pn (x) = ( 1) n sin (nx).

8) No texto, dissemos "de todos os vetores de E, a projeo ortogonal o que melhor aproxima ~v ". Neste
exerccio, voc vai demonstrar este fato, pelo menos no caso em que E gerado por 2 vetores (sejam eles vetores do
Rn , ou funes!). Assim, so dados trs vetores ~v , w
~1 e w
~ 2 num espao vetorial real, onde w
~1 e w
~ 2 so ortogonais e
no-nulos. Desejamos aproximar ~v por uma combinao linear w ~1 + w~ 2 de maneira a minimizar o erro quadrtico
2
erro ( ; ) = k~v ( w
~1 + w
~ 2 )k = h~v ( w
~1 + w
~ 2 ) ; ~v ( w
~1 + w
~ 2 )i
Encontre (em funo de ~v , w
~1 e w
~ 2 e seus produtos internos) os valores de e que minimizam este erro.
10 2. ORTOG ONALIDADE DE FUN ES

Dica: abra tudo para car com uma funo quadrtica de e . Qual o mtodo padro que voc conhece para
minimizar uma funo de 2 variveis?]

9) Mostre que a equao 2 no texto satisfaz, de fato, os axiomas de produto interno.

10) A frmula da projeo ortogonal de ~v sobre o subespao S de base fw

~ i gi=1;2;:::;N
XN
h~v ; w~ ii
p~ = w
~i
i=1
hw~ i w
; ~ ii
exige que os vetores w~ i sejam ortogonais. Se a base no for ortogonal, ela tem que ser ortogonalizada primeiro, o
que pode ser feito pelo processo de ortogonalizao de Gram-Schmidt: a partir da base fw
~ i gi=1;2;:::;N de S, aplicamos
o seguinte algoritmo
~
1 = w ~1
D E
~ 2; ~ 1
w
~ ~2 D E~1
2 = w
~ ;~
1 1
D E D E
~ 3; ~ 1
w w~ 3; ~ 2
~ ~3 D E~1 D E~2
3 = w
~ ;~ ~ ;~
1 1 2 2
:::
Mostre que o conjunto f i gi=1;2;:::;N uma base ortogonal do mesmo subespao S. Assim, a projeo ortogonal de
~v sobre o subespao S seria D E
XN ~v ; ~ i
p~ = D E ~ i.
i=1
~ ; ~
i i
 CAPTULO 3

Funes Peridicas

Queremos investigar se uma funo f (x) qualquer pode ser escrita na forma
1
X
a0 m x m x
(5) f (x) = + am cos + bm sin
2 m=1
L L
Antes de responder esta pergunta, queremos examinar algumas propriedades simples das funes trigonomtricas
usadas do lado direito.
Definio 18. Uma funo f (x) : R ! R dita peridica de perodo T 6= 0 se f (x + T ) = f (x) para todo
x 2 R:
Gracamente, uma funo f (x) peridica se seu grco "se repete de T em T unidades"na direo x.

x
T
Exemplo 19. As funes sin x e cos x so peridicas de perodo 2 . A funo tan x peridica de perodo . A
funo f (x) = x bxc (onde bxc a parte inteira de x) tem perodo 1.
Note que, se T perodo de uma funo, ento 2T , 3T , ..., kT ,... tambm o so (com k 2 Z ). Por exemplo, 4
tambm um perodo das funes sin x e cos x. No entanto, 2 o menor perodo positivo de sin x (e de cos x), e
portanto chamado de seu perodo fundamental.
Definio 20. O perodo fundamental de uma funo peridica f (x) o seu menor perodo positivo.
Curiosamente, a funo f (x) = K (constante) peridica com qualquer perodo T 6= 0. Portanto, ela no tem
um menor perodo positivo, e, assim, no tem perodo fundamental. Exceto por este exemplo patolgico, pode-se
mostrar que toda funo peridica contnua tem um perodo fundamental.
Proposio 21. a) Se T um perodo de f (x), ento Tk um perodo de h (x) = f (kx).
b) Se T um perodo comum s funes f (x) e g (x), ento T ser tambm um perodo das funes c1 f + c2 g e f:g
(para quaisquer c1 ; c2 2 R). P1
c) Se T um perodo comum s funes f1 , f2 , ..., fm , ..., ento T ser tambm um perodo de m=1 cm fm (x) (se
esta srie convergir).
Demonstrao. Vamos demonstrar apenas uma das armaes acima deixamos as outras como exerccio.
Seja p (x) = (c1 f + c2 g) (x). Ento:
p (x + T ) = (c1 f + c2 g) (x + T ) = c1 f (x + T ) + c2 g (x + T ) = c1 f (x) + c2 g (x) = p (x)
e, portanto, p (x) peridica.
Da propriedade acima, rapidamente vemos que
Como 2 o perodo fundamental de sin x, temos que 2L
m ser o perodo fundamental de sin
m x
L . Em
m x m x
particular, 2L ser um perodo de sin L (e de cos L );1
1 Talvez seja mais familiar usar w = m
(que representa a frequncia das funes trigonomtricas sin (wx) e cos (wx)). Ento o
L
perodo fundamental T = 2w .
11
12 3. FUN ES PERIDICAS

Mas ento 2L um perodo comum a todas as funes do lado direito de 5 (incluindo a constante fora do
somatrio).
Concluso: se h alguma esperana de que f (x) possa ser escrita como uma soma do tipo 5, ela
ter de ser peridica de perodo 2L!

1. Exerccios
1) Mostre que 2 , de fato, o perodo fundamental de sin x.
Dica: suponha que T um perodo positivo de sin x; ento sin (x + T ) = sin x para todo x; substitua x = 0 para
mostrar que T mltiplo de ; agora, mostre que T = no perodo.]

2) Encontre um perodo da funo f (x) = 4 sin x7 2 cos x5 .

Resposta: basta tomar um mltiplo comum a 14 e 10 por exemplo, 70 serve.

3) Mostre que, se f (x) peridica de perodo T , ento

Z C+T
f (x) dx
C
no depende de C: Isto , a integral de f (x) num intervalo de comprimento T no depende do ponto inicial deste
intervalo.
Dica: pense na expresso como uma funo F (C). Qual a maneira mais rpida de mostrar que ela no depende de
C?

4) a) Mostre que, se f (x) peridica de perodo T e diferencivel, ento f 0 (x) tambm peridica de perodo
T. Rx
b) Se f (x) peridica, pode-se dizer que F (x) = 0 f (t) dt peridica?
Rx
c) Mostre que, se f (x) peridica de perodo T e seu valor mdio em [0; T ] M , ento F (x) = 0 f (t) dt Mx
peridica.
Resposta: b) No (experimente f (x) = 1 + sin x, ou mesmo f (x) = 1).

5) a) Mostre que, se ab racional (isto , ab = m

n com m e n inteiros), ento f (x) = sin ax + cos bx peridica.
2 2
Dica: observe que T = a m = b n ser um perodo comum a ambas as funes trigonomtricas.]
b) Mostre que, se f (x) = sin ax + cos bx peridica, ento ab racional (ou b = 0). [Dica: se f (x) peridica
de perodo T , devemos ter f ( T ) = f (0) = f (T ).]
 CAPTULO 4

Sries de Fourier

Inspirados pelas sees anteriores, somos levados seguinte denio.

Definio 22. Seja f (x) uma funo peridica de perodo 2L (integrvel, absolutamente integrvel). A Srie
de Fourier de f (x)

X1
a0 m x m x
f (x) SF (x) = + am cos + bm sin
2 m=1
L L

onde
Z L
1 m x
am = f (x) cos dx (m = 0; 1; 2; 3; :::)
L L L
Z L
1 m x
bm = f (x) sin dx (m = 1; 2; 3; :::)
L L L

so os coecientes de Fourier de f (x).

Note que usamos o smbolo " "ao invs de "=", pois ainda no sabemos se a srie do lado direito converge para
f (x) em algum sentido.

Exemplo 23 (Onda Triangular). Seja f (x) uma funo peridica de perodo 2 tal que f (x) = jxj para x 2
[ ; ]. Temos
Z Z
1 2
a0 = jxj dx = xdx =
0

u=x dv = cos mxdx

Z Z du = dx v = sinmmx
1 2
am = jxj cos (mx) dx = x cos mx dx =
0
x= Z x=
2 sin mx 2 sin mx 2 cos mx 2 m
= dx = 0 + = (( 1) 1)
m x=0 0 m m m x=0 m2
Z
1
bm = jxj sin (mx) dx = 0 (pois jxj sin mx uma funo mpar)

Em suma

a0 =
4
am = m2 ,se m mpar
0, se m par 6= 0
bm = 0 para m = 1; 2; 3; :::

ou seja, a srie de Fourier de f (x)

1
X
4 cos mx 4 cos 3x cos 5x cos 7x
f (x) = cos x + + + + :::
2 m=1
m2 2 9 25 49
m m par

13
14 4. SRIES DE FOURIER

No grco abaixo, exibimos a funo f (x) do exemplo acima e as somas parciais

S0 (x) =
2
4
S1 (x) = cos x
2
4 cos 3x
S3 (x) = cos x +
2 9
4 cos 3x cos 5x cos 7x
S7 (x) = cos x + + +
2 9 25 49

S3(x)
y
S1(x)

S0(x)

Note como as somas parciais parecem convergir para f (x). Para ilustrar melhor esta convergncia, abaixo esto os
grcos das funes en (x) = Sn (x) f (x) para n = 0; 1; 3; 7. Numericamente, pode-se calcular que je7 (x)j 0:008
para todo x, ou seja, S7 (x) aproxima f (x) = jxj corretamente j com 2 casas decimais de preciso, independente-
mente de x.

y
1

-4 -3 -2 -1 1 2 3 4
x
e1(x)

-1

e0(x)

Exemplo 24 (Onda Retangular). Tomemos agora uma funo g (x) peridica de perodo 2 tal que g (x) = 0 para
1 < x < 0 e g (x) = 1 para 0 < x < 1. Calculemos os coecientes de Fourier de g (x):
Z 1 Z 1
1
a0 = g (x) dx = g (x) dx = 1
1 1 0
Z 1 Z 1 x=1
1 sin (m x)
am = g (x) cos (m x) dx = cos (m x) dx = =0
1 1 0 m x=0
Z 1 Z 1 x=1 m+1
1 cos (m x) ( 1) +1
bm = g (x) sin (m x) dx = sin (m x) dx = =
1 1 0 m x=0 m
 4. SRIES DE FOURIER 15

2
ou seja, bm = 0 se m par e bm = m se m mpar. Portanto, a srie de Fourier de g (x)
1
1 2 X sin ((2k 1) x) 1 2 sin (3 x) sin (5 x)
g (x) + = + sin ( x) + + + :::
2 2k 1 2 3 5
k=1

Abaixo esto os grcos das somas parciais da srie de Fourier de g (x)

1.2 S3(x)
y S5(x)
1.0

0.8

0.6
S0(x)
0.4

0.2 S1(x)

-2.0 -1.8 -1.6 -1.4 -1.2 -1.0 -0.8 -0.6 -0.4 -0.2 0.2 0.4 0.6 0.8 1.0 1.2 1.4 1.6 1.8 2.0
x
e das diferenas entre g (x) e tais somas

y
0.4

0.2

-2.0 -1.8 -1.6 -1.4 -1.2 -1.0 -0.8 -0.6 -0.4 -0.2 0.2 0.4 0.6 0.8 1.0 1.2 1.4 1.6 1.8 2.0
x
-0.2

-0.4

Note que, neste caso, a convergncia j no parece to boa. Em primeiro lugar, h uma grande oscilao residual no
erro; apesar de termos en (x) ! 0 para cada x onde g (x) contnua (vide Teorema a seguir), veremos mais tarde
que maxx2(0;1) (jen (x)j) no vai para 0.

Os exemplos acima parecem indicar que a srie de Fourier de f (x) converge para f (x) (pelo menos nos pontos
onde f (x) contnua). Mais tarde discutiremos as vrias maneiras pelas quais a srie de Fourier representa a funo
f (x), mas vamos desde j citar sem demonstrao um resultado importante sobre esta convergncia.

Definio 25. Uma funo f (x) seccionalmente contnua (ou contnua por partes) num intervalo
nito (a; b) quando for contnua em (a; b) exceto possivelmente em um nmero nito de pontos xn onde existem e
so nitos os seus limites laterais (denotados f (x0 +) e f (x0 )). Uma funo f (x) seccionalmente contnua
quando seccionalmente contnua em cada intervalo nito da reta real.

Exemplo 26. A funo f (x) do primeiro exemplo deste captulo contnua, ento seccionalmente contnua.
A funo g (x) do exemplo acima seccionalmente contnua (pois tem um nmero nito de descontinuidades em
cada intervalo limitado, e nestas descontinuidades os limites laterais existem). A funo tan x no seccional-
mente contnua (apesar de ter um nmero nito de descontinuidades em cada intervalo limitado, o limite lateral
limx! 2 tan x = +1 no existe.
16 4. SRIES DE FOURIER

Definio 27. Uma funo f (x) seccionalmente suave (ou suave por partes) quando ambas f (x) e sua
derivada f 0 (x) forem seccionalmente contnuas (com o entendimento de que a derivada pode no estar denida num
nmero nito de pontos, mas os seus limites laterais f 0 (x0 +) e f 0 (x0 ) devem existir nesses pontos).
Teorema 28. Se f (x) seccionalmente suave, ento para cada x0 xo a srie de Fourier de f (x) converge para
f (x0 +) + f (x0 )
2
Em particular, se f contnua em x = x0 , ento a srie de Fourier converge para f (x0 ) neste ponto.
Em termos das somas parciais
XN
a0 m x m x
SN (x) = + am cos + bm sin
2 m=1
L L
o que estamos dizendo que, se f (x) for seccionalmente suave, ento para cada x0 real xo
f (x0 +) + f (x0 )
lim SN (x0 ) = .
N !1 2
Exemplo 29. Vimos que a srie de Fourier da funo f (x) peridica de perodo 2 com f (x) = jxj em [ ; ]

4 cos 3x cos 5x cos 7x

f (x) cos x + + + + :::
2 9 25 49
Como f (x) seccionalmente suave, o Teorema acima se aplica. Agora, como f (x) contnua, nem precisamos dos
limites laterais. Podemos escrever diretamente
4 cos 3x cos 5x cos 7x
jxj = cos x + + + + ::: para x
2 9 25 49
Em particular, tomando x = 0, obtemos uma bela identidade
X1 2
4 1 1 1 1 1
0= 1+ + + ::: ) 2 = 1 + + + ::: =
2 9 25 (2k 1) 9 25 8
k=1

Exemplo 30. Por outro lado, a srie de Fourier da onda retangular acima
1 2 sin (3 x) sin (5 x)
g (x) + sin ( x) + + + :::
2 3 5
Como g (x) seccionalmente suave, podemos ento dizer que
1 2 sin (3 x) sin (5 x)
1 = + sin ( x) + + + ::: para 0 < x < 1
2 3 5
1 2 sin (3 x) sin (5 x)
0 = + sin ( x) + + + ::: para 1<x<0
2 3 5
pois g (x) contnua em ( 1; 0) e em (0; 1). Porm no ponto 0, a srie no se aproxima de g (0), mas sim de
g (0+) + g (0 ) 1
=
2 2
1
o que pode ser facilmente conrmado substituindo x = 0 na srie de Fourier. Por outro lado, tomando x = 2,
obtemos outra bela identidade
1
X k+1
1 2 1 1 1 ( 1) 1 1 1
1= + 1 + + ::: ) =1 + + ::: =
2 3 5 7 2k 1 3 5 7 4
k=1

1. Exerccios
1) Obtenha a srie de Fourier de f (x) = 2 sin 3x + 4 cos 5x.
Resposta: trivial. Se voc no percebeu isso e fez milhares de contas, gastou tempo, mas aprendeu algo interes-
sante!

2) Calcule as sries de Fourier de f (x) = sin2 (x) e g(x) = cos5 (x).

Dica: d para fazer sem integrar lembra da questo 2 do captulo 1?
Resposta: f (x) = 12 12 cos 2x e g (x) = 58 cos x + 165 1
cos 3x + 16 cos 5x.

3) (Sinal dente-de-serra) Calcule a srie de Fourier da funo f (x) peridica de perodo 2 tal que f (x) = x
para <x .
 1. EXERCCIOS 17

P1 m+1 sin mx sin 2x sin 3x sin 4x

Resposta: x 2 m=1 ( 1) m = 2 sin x 2 + 3 4 + :::

4) Calcule as srie de Fourier das seguintes funes:

sin(x) se sin(x) 0
a) f1 (x) =
0 se sin(x) < 0
ex se x<
b) f2 (x) =
peridica de perodo 2
c) f3 (x) = j sin(wx)j
Resposta:
1
X
1 1 2
f1 + sin x + 2
cos (mx)
2 m=2:2
(m 1)
1
!
1 X ( 1)
m m+1
2 sinh ( 1) m
f2 + 2
cos mx + 2
sin mx
2 m=1 m + 1 m +1
1
!
4 1 X 1
f3 cos 2kwx
2 4k 2 1
k=1

5) a) Escreva a srie de Fourier da funo f (x) peridica de perodo 2 tal que f (x) = 2x para <x .
b) Escreva a srie de Fourier da funo g (x) peridica de perodo 2 tal que g(x) = 2x para 0 < x 2 .
Resposta:
X1
m+1 sin mx
f 4 ( 1)
m=1
m
X1
4
g 2 sin mx
m=1
m

6) a) Qual a relao entre os coecientes de Fourier das funes f (x) e g(x) e os coecientes da srie de Fourier
de f + g (com e constantes)?
b) Como se relacionam os coecientes de Fourier de f (x) e de g (x) = f (x) + , com constante?
c) Como se relacionam os coecientes de Fourier de f (x), funo peridica de perodo 2L, e de g(x) = f (x + ),
com constante?
d) Como se relacionam os coecientes de Fourier de f (x), funo peridica de perodo 2L, e de g(x) = f (kx),
com k constante?

7) Seja f (x) uma funo peridica de perodo 2 tal que f (x) = x2 + 1 para 0 < x 2. Se SF (x) a srie de
Fourier de f , calcule SF (0) e SF (3).
 CAPTULO 5

Sries em Senos e em Cossenos

Definio 31. Uma funo f (x) par se seu domnio simtrico com relao origem e f ( x) = f (x) para
todo x 2 Domf .

Definio 32. Uma funo g (x) mpar se seu domnio simtrico com relao origem e g ( x) = g (x)
para todo x 2 Domf .

Exemplo 33. As funes do tipo cos mL x so todas pares, enquanto as funes do tipo sin m x
L so todas
mpares. A nica funo que par e mpar ao mesmo tempo a funo constante nula.

Cuidado! H funes que no so pares nem mpares! Por exemplo, f (x) = x2 + x no par nem mpar
(f ( 1) = 0 6= 2 = f (1)).

Proposio 34. Se f (x) par e g (x) mpar, ento

Z L Z L
f (x) dx = 2 f (x) dx
L 0
Z L
g (x) dx = 0
L

Proposio 35. Se f1 (x) e f2 (x) so pares e g1 (x) e g2 (x) so mpares (e c1 , c2 so nmeros reais quaisquer)

c1 f1 + c2 f2 par (isto , PAR+PAR =PAR)

c1 g1 + c2 g2 mpar (isto , MPAR+MPAR =MPAR)
f1 (x) f2 (x) par (isto , PAR.PAR =PAR)
f1 (x) g1 (x) MPAR (isto , PAR.MPAR =MPAR)
g1 (x) g2 (x) PAR (isto , MPAR.MPAR =PAR)

Em geral, uma funo par mais uma mpar d uma que no par nem mpar (a menos que uma delas seja
constante). De fato, qualquer funo h (x) com domnio simtrico pode ser escrita como a soma de uma par com uma
mpar: basta tomar f (x) + g (x) onde f (x) = h(x)+h(
2
x)
e g (x) = h(x) 2h( x) (verique que f par e g mpar!).

Proposio 36. Se f (x) par ento bm = 0 (m = 1; 2; 3; ::: ) em sua srie de Fourier, e sua srie de Fourier de
f (x) tem apenas cossenos. Se g (x) mpar ento am = 0 (m = 0; 1; 2; 3; :::) em sua srie de Fourier. Em outras
palavras, a srie de Fourier de g (x) tem apenas senos.
m x
Demonstrao. De fato, se f (x) funo par ento f (x) sin L funo mpar e, portanto
Z L
m x
bm = f (x) sin =0
L L

anulando todos os termos em senos da srie de Fourier de f (x). A demonstrao para g (x) anloga.

Exerccio 37. Seja f : [0; ] ! R dada por f (x) = x. Como escrever f (x) como uma soma (innita) que
tenha apenas cossenos?

Soluo: se f (x) for uma funo par, podemos escrev-la como uma soma de cossenos. Como a funo desejada
est denida apenas no intervalo [0; ], basta estend-la ao intervalo [ ; 0] de maneira que ela seja par, ou seja,
basta tomar f (x) = x em [ ; 0]. Agora estenda-a ao resto da reta de maneira que ela seja peridica, digamos, de
perodo 2 (veja os grcos abaixo):
19
20 5. SRIES EM SENOS E EM COSSENO S

4 4
y y
3 3

2 2

1 1

-3 -2 -1 0 1 2 3 -3 -2 -1 0 1 2 3
x x
Funo f (x) original f1 (x) sua extenso par...

y3
2

-8 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 8
x

... e f2 (x) par e peridica!

Como esta ltima funo par e peridica de perodo 2 , sua srie de Fourier ter apenas cossenos. J zemos
este clculo anteriormente; a srie de Fourier desta ltima funo
4 cos 3x cos 5x cos 7x
f2 (x) = cos x + + + + :::
2 9 25 49
Como f2 (x) contnua, a igualdade acima est garantida. Por outro lado, como f2 (x) = f (x) no intervalo [0; ],
podemos tambm escrever
4 cos 3x cos 5x cos 7x
f (x) = x = cos x + + + + :::
2 9 25 49
pelo menos para x 2 [0; ].
Alis, a opo acima no a nica forma de escrever f (x) como soma de cossenos. Por exemplo, poderamos
primeiro estender f (x) = para x 2 e depois fazer a extenso par e peridica de perodo 4 ; como na gura
abaixo1

y3
2

-12 -10 -8 -6 -4 -2 0 2 4 6 8 10 12
x

Outra possvel extenso par de f (x)

Calculando a srie de Fourier desta funo de perodo 2L = 4 , obtm-se uma outra srie que converge para f (x) = x
para 0 x voc consegue calcular esta nova srie?
Em geral, dada uma funo f (x) : [0; L] ! R, sempre temos a opo de estend-la ao intervalo [ L; 0] de forma
que ela seja par (ou mpar), e da estend-la ainda mais para que ela seja peridica de perodo 2L: Com isto obtm-se
sries que representam f (x) mas que tm apenas cossenos (ou senos). No difcil encontrar frmulas que relacionam
diretamente a funo f (x) aos coecientes destas sries:
Definio 38. Dada f (x) : [0; L] ! R dene-se sua srie em senos como
X1 Z
mx 2 L m x
bm sin onde bm = f (x) sin dx
m=1
L L 0 L

1 Alis, para ser preciso, voc pode estender f (x) inventando os valores que voc quiser em [ ; A], depois estend-la de forma par e
enm peridica de perodo 2A; a srie de Fourier da extenso convergir para f (x) onde quer que a extenso seja contnua!
 5. SRIES EM SENOS E EM COSSENOS 21

Analogamente, sua srie em cossenos

X1 Z L
mx 2 m x
am cos onde am = f (x) cos dx
m=1
L L 0 L
Usando estas frmulas, voc nem precisa realmente trabalhar com as tais extenses pares ou mpares as frmulas
acima nos do diretamente a srie em senos ou cossenos usando apenas integrais no intervalo [0; L]. Mesmo assim,
bom lembrar que:
A srie em senos de f (x) : [0; L] ! R a srie de Fourier da extenso mpar de f (x) que tem perodo 2L.
A srie em cossenos de f (x) : [0; L] ! R a srie de Fourier da extenso par de f (x) que tem perodo 2L.
Usando outras extenses e outros perodos, possvel obter outras sries s com senos ou cossenos que
representam f (x).
Enm, o resto desta aula trata de como obter sries de senos ou cossenos onde apenas os coecientes de ordem
par (ou mpar) aparecem. Em outras palavras, observe o exemplo acima o que a funo f2 (x) tem de especial para
que a sua srie de Fourier tenha apenas os cossenos de ordem mpar2 ?
Proposio 39. Seja f (x) uma funo peridica de perodo 2L. Suponha tambm que f (x + L) = f (x) para
todo x. Se usarmos o perodo 2L para calcular a srie de Fourier de f (x), todos os termos de ordem mpar se
anulam.
Demonstrao. De fato
Z L Z 0 Z L
m x m x m x
am = f (x) cos dx = f (x) cos dx + f (x) cos dx
L L L L 0 L
Trocando u por x na primeira integral (apenas por convenincia) mas fazendo u = x L na segunda
Z 0 Z 0
m u m u
am = f (u) cos du + f (u + L) cos + m du
L L L L
Agora que os limites so os mesmos, podemos juntar tudo numa integral s e usar que f (u + L) = f (u) para todo
u: Z 0
m u m u
am = f (u) cos + cos +m du
L L L
Porm, se m mpar, os dois cossenos se anulam, ento am = 0. A demonstrao de que bm = 0 para m mpar
totalmente anloga, trocando cos por sin.
Proposio 40. Seja f (x) uma funo peridica de perodo 2L. Suponha tambm que f (x + L) = f (x) para
todo x. Ento na srie de Fourier de f (x) todos os termos de ordem par se anulam.
Demonstrao. A demonstrao anloga anterior e ca como um exerccio para o leitor.
Gracamente, a condio f (x + L) = f (x) signica que f tinha um perodo menor que 2L, a saber, L, mas este
no foi usado ao calcularmos a srie de Fourier. J a segunda condio f (x + L) = f (x) pode ser ilustrada pelo
grco abaixo:

L x

Em suma, para obter uma srie de Fourier, voc precisa pensar numa extenso peridica; no entanto:
Se voc quer uma srie de Fourier s com senos, estenda a sua funo de forma que ela seja mpar;
Se voc quer uma srie de Fourier s com cossenos, estenda a sua funo de forma que ela seja par;
2 Para ser exato, a srie de f (x) tem um cosseno de ordem par, que a constante inicial . A pergunta correta ento seria: o que
2 2
a funo f2 (x) 2
tem de especial?
22 5. SRIES EM SENOS E EM COSSENO S

Se voc quer apenas os termos de ordem par, estenda a sua funo de forma que f (x + L) = f (x) (e use o
perodo 2L);
Se voc quer apenas os temos de ordem mpar, estenda a sua funo de forma que f (x + L) = f (x) :
Enm, nada impede que voc misture as idias acima para obter uma srie apenas com senos de ordem par, etc.

1. Exerccios
1) Para cada uma das funes f (x) a seguir encontre (se possvel) uma extenso peridica tal que as sries
de Fourier das extenses tm cada uma das seguintes formas em (a-e), voc pode escolher o valor de L! [So
6 5 = 30 respostas no total!]
a) S F~1 (x) = 20 + 1
n=1 n cos
n x
L + n sin nLx d) S F~4 (x) = 1
2 + n=1 n cos
0 2n x
L
(2n+1) x
b) S F~2 (x) = 1 n sin n x
n=1 L e) S F~5 (x) = 1
n=0 n sin L
c) S F~3 (x) = 1
n=1 n cos
n x
L f ) S F~6 (x) = 1
2 + n=1 n cos
0 n x
5
i)f (x) = jxj; x 2 [ 1; 1] ii)f (x) = x2 + 1; 0 < x < 2 iii)f (x) = sin(x); x 2 [0; ]
2 se x 2 (0; 1] tan(x) se x 2 (0; 1]
iv)f (x) = v)f (x) =
0 se x 2 [ 1; 0] sec(x) se x 2 [ 1; 0]

2) A seguir esto descritas 5 funes e 4 sries de Fourier. Cada uma das sries s pode corresponder a uma
nica funo e, evidentemente, uma das funes no tem sua srie representada. Faa as associaes.
x3 se x 2 ( 2; 2] x3 se x 2 (0; 4]
a) f1 (x) = b) f2 (x) =
f (x + 4) = f (x) 8 f (x + 4) = f (x)
< sin(x) se x 2 (0; ]
exp (x) se x 2 ( ; ]
c) f3 (x) = d) f4 (x) = sin(x) se x 2 [ ; 0]]
f (x + 2 ) = f (x) :
f (x + 2 ) = f (x)
x2 + 3x4 se x 2 ( 1; 1]
e) f5 (x) =
f (x + 2) = f (x)
a0 n x
Sa = 2 + 1
n=1 an cos( 2 ) + bn sin( n2 x ) Sb = 1 n x
n=1 n sin( 2 )

1 1
Sc = 2
0
+ n=1 n cos(nx) Sd = 2
0
+ n=1 n cos(nx) + n sin(nx)

3) Considere a funo f (x) : [0; ] ! R dada por f (x) = 2x 1. Seja SF1 (x) sua srie em senos, e SF2 (x) sua
srie em cossenos. Esboce nos mesmos eixos os grcos de SF1 (x) e SF2 (x), para x 2 [ 2 ; 2 ].
Dica: voc no precisa calcular as sries!