.

Introduo s Sries de Fourier

Fabiano J. Santos
Julho de 2004
Sumrio
Lista de Figuras ii
1 Funes Peridicas e Sries de Fourier 1
1.1 Funes Peridicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Problemas Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Relaes de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Problemas Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Sries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.1 Problemas Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4 O Teorema de Fourier* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5 Simetria ondulatria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5.1 Problemas Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.6 Expanses peridicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.6.1 Problemas Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2 Sries de Fourier Complexa e Espectros Discretos 28
2.1 Srie de Fourier Complexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.1.1 Problemas Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2 Nmeros Complexos - Formas de Representao . . . . . . . . . . . . . . . . . . . . . . . . 34
2.2.1 Problemas Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.3 Os espectros de Amplitude e de Fase . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.3.1 Problemas Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Formulrio 45
Referncias Bibliogrcas 46
i
Lista de Figuras
1.1 Uma funo peridica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Periodo e perodo fundamental. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Senides: sen(x) e cos(x). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.4 Onda Quadrada - Perodo 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5 Onda Triangular - Perodo 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.6 O conceito de funo seccionalmente contnua. . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.7 Simetrias par e mpar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.8 Funo par: reas nos intervalos [L, 0] e [0, L] iguais com mesmo sinal. . . . . . . . . . . . . . 18
1.9 Funo mpar: reas nos intervalos [L, 0] e [0, L] iguais com sinais contrrios. . . . . . . . . . . 18
1.10 Funo peridica f(x) = x
2
, 1 x < 1, Perodo 2. . . . . . . . . . . . . . . . . . . . . . . . 20
1.11 Onda Dente de Serra - Perodo 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.12 Funo sobre o intervalo [0, a] e sua expanso peridica . . . . . . . . . . . . . . . . . . . . . . 23
1.13 A funo f(x) = x no intervalo [0, ] e sua expanso peridica. . . . . . . . . . . . . . . . . . . 24
1.14 Expanses par e mpar de uma funo denida sobre o intervalo [0, a] . . . . . . . . . . . . . . 25
1.15 Expanso par da funo f(x) = x denida no intervalo [0, ]. . . . . . . . . . . . . . . . . . . . 26
2.1 Representao do nmero complexo z = x + iy no plano complexo. . . . . . . . . . . . . . . . . 35
2.2 Alguns nmeros complexos e suas respectivas fases (argumentos). . . . . . . . . . . . . . . . . . 36
2.3 Alguns nmeros complexos - forma cartesiana e forma fasorial. . . . . . . . . . . . . . . . . . . 37
2.4 Espectro de amplitudes da onda dente de serra da Figura 1.11. . . . . . . . . . . . . . . . . . . 40
2.5 Espectro de fases da onda dente de serra da Figura 1.11. . . . . . . . . . . . . . . . . . . . . . 40
2.6 Espectro de amplitudes do Exemplo 2.5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.7 Espectro de fases do Exemplo 2.5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.8 Espectros do Problema 2.13. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.9 Espectros do Problema 2.14. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
ii
Captulo 1
Funes Peridicas e Sries de Fourier
1.1 Funes Peridicas
Uma funo f dita peridica se existe um nmero real positivo T, denominado perodo de f, tal que
f(x) = f(x + T), (1.1)
para todo x no domnio de f. Conforme mostrado na Figura 1.1, o grco de uma funo peridica
obtido pela repetio de qualquer intervalo de comprimento T.
E
T
T T T
x
f(x)
Figura 1.1: Uma funo peridica.
Segue da equao (1.1) que se f peridica de perodo T ento para qualquer n inteiro positivo temos
f(x) = f(x + nT),
ou seja, qualquer mltiplo inteiro positivo nT do perodo T tambm um periodo de f. O menor valor
de T que satisfaz a equao (1.1) chamado perodo fundamental de f. Qualquer perodo de f um
mltiplo inteiro do perodo fundamental. A Figura 1.2 ilustra tal conceito.
A freqncia de uma funo peridica denida como o inverso de seu perodo
1
T
1
E
T
T
Perodo fundamental
2T
3T
x
f(x)
Figura 1.2: Periodo e perodo fundamental.
e nos d o nmero de repeties (ciclos) em cada intervalo unitrio em x. Se x o tempo medido em
segundos ento a freqncia f o nmero de ciclos por segundo (Hertz). Um outro tipo de freqncia,
a qual utilizaremos no estudo das Sries de Fourier, a freqncia angular, denotada por , e denida
como
= 2f =
2
T
.
Se T o periodo fundamental da funo f, ento sua freqncia (angular) fundamental, denotada por

0
, dada por

0
=
2
T
Exemplo 1.1 As funes sen(x) e cos(x), ilustradas na Figura 1.3, so ambas peridicas de perodo
fundamental T = 2 e freqncia fundamental
0
=
2
2
= 1.
Exemplo 1.2 A funo constante f(x) = c tem como perodo qualquer nmero real T > 0 e no possui
perodo fundamental.
E
T
0 2 3 4 2 3 4
x
sen(x)
cos(x)
Figura 1.3: Senides: sen(x) e cos(x).
As duas proposies a seguir nos do duas propriedades importantes das funes peridicas.
2
Proposio 1.1 : Seja f uma funo peridica de perodo T, ento:
(i) f(ax), a = 0, peridica de perodo
T
a
;
(ii) f
_
x
a
_
, a = 0, peridica de perodo aT.
Provas:
(i) Seja T

o perodo de f(ax), de modo que f(ax) = f[a(x + T

)] = f(ax + aT

). Fazendo u = ax,
obtemos f(u) = f(u+aT

). Logo pela hiptese de que f peridica de perodo T, conclumos que

T = aT

, donde T

=
T
a
.
(ii) Seja T

o perodo de f
_
x
a
_
, de modo que f
_
x
a
_
= f
_
1
a
(x+T

= f
_
x
a
+
T

. Fazendo u =
x
a
, obtemos
f(u) = f
_
u +
T

a
_
. Logo pela hiptese de que f peridica de perodo P, conclumos que T =
T

a
,
donde T

= aT.
Proposio 1.2 : Sejam f
1
e f
2
duas funes peridicas de mesmo perodo T,
1
e
2
duas constantes
reais quaisquer. A funo h denida por
h(x) =
1
f
1
(x) +
2
f
2
(x),
tambm peridica de perodo T. Em outras palavras, uma combinao linear de funes peridicas de
mesmo perodo tambm peridica, com mesmo perodo das funes combinadas.
Aqui a prova muito simples e pode ser obtida diretamente:
h(x + T) =
1
f
1
(x + T) +
2
f
2
(x + T) =
1
f
1
(x) +
2
f
2
(x) = h(x).
Exemplo 1.3 Como as funes sen(x) e cos(x) possuem ambas perodo 2, pela Proposio 1.1 obser-
vamos que:
(i) sen(2x) e cos(2x) possuem perodo
2
2
= ;
(ii) sen
_
x
2
_
e cos
_
x
2
_
possuem perodo 2 2 = 4.
(iii) sen(2x) e cos(2x) possuem perodo
2
2
= 1;
(iv) sen
_
2x
T
_
e cos
_
2x
T
_
possuem perodo
2
2
T = T.
Alm disto, n Z, as funes
sen
_
2nx
T
_
e cos
_
2nx
T
_
possuem perodo
2
2n
T =
T
n
.
Mas como qualquer mltiplo inteiro do perodo tambm perodo, conclumos que ambas tambm possuem
perodo T. Finalmente, pela proposio 1.2, observamos que a funo
h(x) =
1
sen
_
2nx
T
_
+
2
cos
_
2nx
T
_
tambm peridica de perodo T.
3
Proposio 1.3 : Sejam f
1
, f
2
, . . . , f
n
funes peridicas de perodo T. Ento a funo
h(x) =
1
f
1
(x) +
2
f
2
(x) + . . . +
n
f
n
(x),
dada pela combinao linear de f
1
, f
2
, . . . , f
n
tambm peridica de perodo T. A prova anloga da
proposio 1.2 e pode ser obtida pelo princpio da induo.
Extrapolando a proposio 1.3, sejam f
1
, f
2
, . . . , f
n
, . . . funes peridicas de mesmo perodo T, a
srie innita dada por

1
f
1
(x) +
2
f
2
(x) + . . . +
n
f
n
(x) + . . . ,
dene, para os valores de x nos quais converge, uma funo peridica de perodo T. Assim podemos
denir a funo
h(x) =
1
f
1
(x) +
2
f
2
(x) + . . . +
n
f
n
(x) + . . . ,
tal que h(x) = h(x+T). Esta ltima armao de fundamental importncia, uma vez que trabalharemos
com sries innitas trigonomtricas da forma

n=0
_
a
n
cos
_
2nx
T
_
+ b
n
sen
_
2nx
T
__
. (1.2)
Observe que cada termo desta srie possui perodo T. Desta forma, para os valores de x nos quais a srie
converge ela dene uma funo peridica de perodo T.
1.1.1 Problemas Propostos
Problema 1.1 Determine se cada uma das funes a seguir ou no peridica. Caso seja determine
seu perodo fundamental e sua freqncia fundamental.
(a) y = cos(x)
(b) y = tg(x)
(c) y = x
2
(d) y = sen(5x)
(e) y = cos(3x)
(f ) y = cos(nx)
(g) y = sen(nx)
(h) y = sen
_
x
T
_
(i) y = cos(3x) + sen(4x) + cos(5x)
(j) y = sen
_
x
3
_
+ cos
_
x
5
_
+ sen
_
x
7
_
+ cos
_
x
9
_
Problema 1.2 Para cada funo a seguir esboce seu grco para alguns valores de n. Observando este
grco determine se a funo ou no perdica. Caso seja determine seu perodo fundamental e sua
freqncia fundamental.
(a) y =
_
0 , 2n 1 x < 2n
1 , 2n x < 2n + 1
, n = 0, 1, 2, . . .
(b) y =
_
(1)
n
, 2n 1 x < 2n
1 , 2n x < 2n + 1
, n = 0, 1, 2, . . .
Problema 1.3 Sejam f, g : R R funes peridicas de mesmo perodo T. Mostre que
4
(a) (f + g)(x) = f(x) + g(x) peridica de perodo T (isto , a soma de duas funes peridicas de
mesmo perodo tambm peridica);
(b) (f g)(x) = f(x) g(x) peridica de perodo T (isto , a diferena de duas funes peridicas
de mesmo perodo tambm peridica);
(c) (fg)(x) = f(x)g(x) peridica de perodo T (isto , o produto de duas funes peridicas de
mesmo perodo tambm peridica);
Problema 1.4 Seja f : R R uma funo peridica de perodo T e integrvel em toda a reta. Mostre
que
_
a+T
a
f(x)dx =
_
b+T
b
f(x)dx
(ou seja, independente do intervalo de integrao o valor da integral ser sempre o mesmo desde que o
tamanho deste intervalo seja o prprio perodo da funo. Geometricamente isto bvio. Por qu?)
1.2 Relaes de Ortogonalidade
Antes de examinarmos com mais detalhes sries trigonomtricas da forma (1.2) investigaremos algu-
mas propriedades importantes das funes que a denem. Comecemos relembrando, da trigonometria
elementar, as frmulas para o seno e cosseno da soma e da diferena:
seno da soma: sen( + ) = sen()cos() + cos()sen(), (1.3a)
cosseno da soma: cos( + ) = cos()cos() sen()sen(), (1.3b)
seno da diferena: sen( ) = sen()cos() cos()sen(), (1.3c)
cosseno da diferena: cos( ) = cos()cos() + sen()sen(). (1.3d)
A partir destas frmulas obtemos trs identidades que utilizaremos adiante no clculo de algumas inte-
grais:
por (1.3b) + (1.3d) obtemos: 2cos()cos() = cos( + ) + cos( ), (1.4a)
por (1.3d) (1.3b) obtemos: 2sen()sen() = cos( ) cos( + ), (1.4b)
por (1.3a) (1.3c) obtemos: 2cos()sen() = sen( + ) sen( ). (1.4c)
Os resultados do Teorema 1.4 dado a seguir tambm ser importante para nosso trabalho futuro.
Teorema 1.4 (Relaes de Ortogonalidade) : se m, n Z

+
(inteiros positivos), ento:
_
T
0
cos
_
2mx
T
_
cos
_
2nx
T
_
dx =
_
0 , se m = n
T
2
, se m = n
; (1.5a)
_
T
0
sen
_
2mx
T
_
sen
_
2nx
T
_
dx =
_
0 , se m = n
T
2
, se m = n
; (1.5b)
_
T
0
cos
_
2mx
T
_
sen
_
2nx
T
_
dx = 0, m, n; (1.5c)
5
As relaes (1.5a), (1.5b) e (1.5c) so chamadas relaes de ortogonalidade. Provaremos a equao
(1.5a) e deixamos as provas das relaes (1.5b) e (1.5c) como exerccio para o leitor nos Problemas 1.5 e
1.6 respectivamente.
Prova de (1.5a)
Caso m = n. Utilizando a identidade (1.4a) podemos escrever:
_
T
0
cos
_
2mx
T
_
cos
_
2nx
T
_
dx =
1
2
_
T
0
_
cos
_
2mx
T
+
2nx
T
_
+ cos
_
2mx
T

2nx
T
__
dx
=
1
2
_
T
0
_
cos
_
2(m + n)x
T
_
+ cos
_
2(mn)x
T
__
dx
=
1
2
_
T
2(m + n)
sen
_
2(m + n)x
T
__
T
0
+
1
2
_
T
2(mn)
sen
_
2(mn)x
T
__
T
0
=
T
4(m + n)
_
sen
_
2(m + n)
_
sen
_
0
__
+
T
4(mn)
_
sen
_
2(mn)
_
sen
_
0
__
= 0;
uma vez que m, n Z

+
, m = n, e o seno de mltiplos inteiros de zero.
Caso m = n. Neste caso temos:
_
T
0
cos
_
2nx
T
_
cos
_
2nx
T
_
dx =
_
T
0
_
cos
_
2nx
T
__
2
dx
=
1
2
_
T
0
_
1 + cos
_
4nx
T
__
dx
=
1
2
_
x +
T
4n
sen
_
4nx
T
__
T
0
=
1
2
_
T +
T
4n
sen(4n) 0
T
4n
sen(0)
_
=
1
2
_
T
_
=
T
2
;
uma vez que n Z

+
e o seno de mltiplos inteiros de zero.
1.2.1 Problemas Propostos
Problema 1.5 Seguindo o mesmo raciocnio do texto utilize a identidade (1.4b) para provar a relao
de ortogonalidade (1.5b).
Problema 1.6 Seguindo o mesmo raciocnio do texto, utilize a identidade (1.4c) para provar a relao
de ortogonalidade (1.5c).
1.3 Sries de Fourier
Voltemos agora s sries trigonomtricas da forma
a
0
2
+

n=1
a
n
cos
_
2nx
T
_
+ b
n
sen
_
2nx
T
_
, (1.6)
6
na qual observamos que todas as innitas parcelas so peridicas de perodo T. No conjunto de valores
de x para os quais a srie (1.6) converge ela dene uma funo peridica f de perodo T. Dizemos ento
que a srie (1.6) a Srie de Fourier
1
para f e escrevemos
f(x)
a
0
2
+

n=1
a
n
cos
_
2nx
T
_
+ b
n
sen
_
2nx
T
_
, (1.7)
onde os coecientes a
0
, a
n
e b
n
(n Z
+

) so chamados Coecientes de Fourier. Como a funo f denida

por (1.7) possui perodo fundamental T, sua freqncia fundamental
0
=
2
T
. Assim reescrevemos a
srie (1.7) na forma mais conveniente
f(x)
a
0
2
+

n=1
a
n
cos
_
n
0
x
_
+ b
n
sen
_
n
0
x
_
, (1.8)
Raciocinando no sentido inverso, seja f uma funo peridica de perodo fundamental T e freqncia
fundamental
0
=
2
T
. Surgem duas questes:
(i) como determinar os coecientes de Fourier a
0
, a
n
e b
n
para que possamos representar f por uma
srie da forma (1.8)?
(ii) quais as condies que devemos impor sobre f para que tal representao seja possvel?
Abordaremos agora a primeira questo para a determinao dos coecientes de Fourier. A segunda,
por se tratar de um assunto mais sutil, ser comentada mais adiante (seo 1.4) quando j estivermos
familiarizados com as Sries de Fourier.
Determinao dos Coecientes de Fourier
Dada uma funo f peridica de perodo T nosso objetivo determinar os Coecientes de Fourier para
esta funo em particular. Em outras palavras, determinar os coecientes de Fourier da representao
em Srie de Fourier para a dada funo. Para tal m lanaremos mo das relaes de ortogonalidade
anteriormente discutidas.
Determinao de a
0
: integramos
2
ambos os membros de (1.8) sobre o intervalo [0, T]:
_
T
0
f(x)dx =
_
T
0
_
a
0
2
+

n=1
a
n
cos
_
n
0
x
_
+ b
n
sen
_
n
0
x
_
_
dx
=
_
T
0
a
0
2
dx +

n=1
_
T
0
a
n
cos
_
n
0
x
_
dx +
_
T
0
b
n
sen
_
n
0
x
_
dx
=
_
a
0
2
x
_
T
0
+

n=1
_
a
n
n
0
sen
_
n
0
x
_
_
T
0

_
b
n
n
0
cos
_
n
0
x
_
_
T
0
=
_
a
0
2
T
_
+

n=1
a
n
n
0
_
sen
_
n
0
T
_
sen
_
0
_
_

b
n
n
0
_
cos
_
n
0
T
_
cos
_
0
_
_
=
_
a
0
2
T
_
+

n=1
a
n
n
0
_
sen
_
2n
_
0
_

b
n
n
0
_
cos
_
2n
_
1
_
=
a
0
2
T,
1
Jean Baptiste Joseph Fourier, Fsico-Matemtico francs (1768 1830). Fourier utilizou sries da forma (1.6) em seu
famoso trabalho Thorie Analytique de la Chaleur, onde estudou os fenmenos de conduo de calor.
2
Uma srie de funes pode ser derivada e integrada termo a termo somente se ela for uniformemente convergente. Este
o caso das Sries de Fourier. Veja os Captulos 1 e 2 da referncia [3].
7
uma vez que sen
_
2n
_
= 0 e cos
_
2n
_
= 1 n Z. Assim o coeciente a
0
dado por
a
0
=
2
T
_
T
0
f(x)dx. (1.9a)
Determinao de a
n
: multiplicamos ambos os membros de (1.8) por cos
_
m
0
x
_
e integramos
sobre o intervalo [0, T]:
_
T
0
f(x)cos
_
m
0
x
_
dx =
_
T
0
_
a
0
2
cos
_
m
0
x
_
+

n=1
a
n
cos
_
n
0
x
_
cos
_
m
0
x
_
+ b
n
sen
_
n
0
x
_
cos
_
m
0
x
_
_
dx
=
_
T
0
a
0
2
cos
_
m
0
x
_
dx +

n=1
_
a
n
_
T
0
cos
_
n
0
x
_
cos
_
m
0
x
_
dx+
+ b
n
_
T
0
sen
_
n
0
x
_
cos
_
m
0
x
_
dx.
_
Pela equao (1.5c) a segunda integral do somatrio nula. Pela equao (1.5a) a segunda integral
do somatrio nula para m = n e vale
T
2
para m = n. Assim temos
_
T
0
f(x)cos
_
n
0
x
_
dx =
a
0
2n
0
_
sen
_
n
0
x
_
_
T
0
+ a
n
T
2
=
a
0
2n
0
_
sen
_
n
0
T
_
sen
_
0
_
_
+ a
n
T
2
=
a
0
2n
0
_
sen
_
2n
_
sen
_
0
_
_
+ a
n
T
2
= a
n
T
2
,
uma vez que sen
_
2n
_
= 0 n Z. Assim o coeciente a
n
dado por
a
n
=
2
T
_
T
0
f(x)cos
_
n
0
x
_
dx. (1.9b)
Determinao de b
n
: multiplicamos ambos os membros de (1.8) por sen
_
m
0
x
_
e integramos
sobre o intervalo [0, T]. Fica a cargo do leitor, Problema 1.13 da pgina 14, vericar que
b
n
=
2
T
_
T
0
f(x)sen
_
n
0
x
_
dx. (1.9c)
As equaes (1.9a), (1.9b) e (1.9c) so chamadas Frmulas de Euler-Fourier e se destinam ao
clculo dos Coecientes de Fourier da srie (1.8) para uma dada funo f peridica de perodo T. Na
deduo destas Frmulas integramos sobre o intervalo [0, T], mas como
f, cos(n
0
x) e sen(n
0
x),
onde
0
=
2
T
, so todas peridicas de mesmo perodo T, os resultados dos Problemas 1.3 (pgina 4) e
1.4 (pgina 5) nos mostram que tal integrao poderia se dar sobre qualquer intervalo de comprimento
T. Assim, para o clculo dos coecientes a
0
, a
n
e b
n
podemos integrar sobre qualquer intervalo de
comprimento T; evidentemente escolhemos o intervalo mais conveniente.
8
Exemplos de Sries de Fourier
Resumindo nossos resultados at o momento: se f : R R uma funo peridica de perodo T, ento
f pode ser representada por uma Srie de Fourier da forma
f(x)
a
0
2
+

n=1
a
n
cos(n
0
x) + b
n
sen(n
0
x) (1.10)
onde
0
a freqncia fundamental de f (e tambm da Srie de Fourier), dada por
0
=
2
T
. Os
coecientes a
0
, a
n
e b
n
so dados pelas Frmulas de Euler-Fourier
3
a
0
=
2
T
_
T
f(x)dx, (1.11a)
a
n
=
2
T
_
T
f(x)cos(n
0
x)dx, n = 1, 2, . . . (1.11b)
b
n
=
2
T
_
T
f(x)sen(n
0
x)dx, n = 1, 2, . . . (1.11c)
Exemplo 1.4 Determine a representao em Srie de Fourier da onda quadrada mostrada na Figura
1.4.
E
T
0 2 3 2 3
1
1
x
f(x)
Figura 1.4: Onda Quadrada - Perodo 2.
O perodo desta onda quadrada T = 2 e sua freqncia fundamental
0
=
2
T
= 1. Sua forma
analtica pode ser dada por
4
f(x) =
_
1 , x < 0
1 , 0 x <
, f(x + 2) = f(x).
Passemos ento aos clculos dos coecientes de Fourier.
3
A simbologia

T
. . . dx signica integrao sobre um perodo de f.
4
Uma vez que a funo peridica, devemos express-la analiticamente em um intervalo do tamanho de seu perodo e a
seguir indicar sua periodicidade. A escolha deste intervalo arbitrria e em muitos casos a mais conveniente o intervalo
centrado na origem.
9
Clculo de a
0
: usando a equao (1.11a) temos
a
0
=
2
2
_

f(x)dx =
1

_
0

dx +
_

0
dx
_
=
1

_
x
_
0

+
1

_
x
_

0
=
1

_
0 +
_
+
1

_
0
_
= 1 + 1 = 0.
Clculo de a
n
: usando a equao (1.11b), com
0
= 1, temos
a
n
=
2
2
_

f(x)cos(nx)dx
=
1

_
0

cos(nx)dx +
_

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

+
1
n
_
sen(nx)
_

0
=
1
n
_
sen(0) sen(n)
_
+
1
n
_
sen(n) sen(0)
_
=
1
n
_
0 + sen(n)
_
+
1
n
_
sen(n) 0
_
= 0,
pois o seno de mltiplos inteiros de zero.
Clculo de b
n
: usando a equao (1.11c), com
0
= 1, temos
b
n
=
2
2
_

f(x)sen(nx)dx
=
1

_
0

sen(nx)dx +
_

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

1
n
_
cos(nx)
_

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

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

1
n
_
cos(n) 1)
_
=
2
n
_
1 cos(n)
_
.
pois sendo o cosseno par, cos(n) = cos(n).
Substituindo a
0
= 0, a
n
= 0 e
0
= 1 na equao (1.10), a representao em Srie de Fourier desta
onda quadrada tem a forma
f(x)

n=1
b
n
sen(nx),
isto , a Srie s possui termos em senos
5
. Substituindo o valor encontrado para b
n
podemos escrever
f(x)

n=1
2
n
_
1 cos(n)
_
sen(nx), (1.12a)
que uma forma bastante desajeitada. Utilizando a equao (1) (Formulrio - pgina 45), podemos
reescrever b
n
como
b
n
=
_
0 , se n par
4
n
, se n mpar
, (1.12b)
5
Adiante, seo 1.5, veremos que isto no uma mera coincidncia.
10
isto , temos apenas termos para valores mpares de n. Assim, utilizando os valores de b
n
dados pela
equao (1.12b) a expanso da Srie (1.12a) ca
f(x)
4

sen(x) +
4
3
sen(3x) +
4
5
sen(5x) +
4
7
sen(7x) + . . .
ou, reescrevendo-a na forma de somatrio (observe que temos apenas termos mpares)
f(x)
4

k=0
1
2k + 1
sen
_
(2k + 1)x

. (1.12c)
Exemplo 1.5 Determine a representao em Srie de Fourier da onda triangular mostrada na Figura
1.5.
E
T

d
d
d
d

d
d
d
d
d
d
d

d
d
d
d

0 1 2 3 1 2 3
1
x
f(x)
Figura 1.5: Onda Triangular - Perodo 2.
O perodo desta onda triangular T = 2 e sua freqncia fundamental
0
=
2
T
= . Sua forma
analtica pode ser dada por
f(x) =
_
x , 1 x < 0
x , 0 x < 1
, f(x + 2) = f(x).
Passemos ento aos clculos dos coecientes de Fourier.
Clculo de a
0
: usando a equao (1.11a) temos
a
0
=
2
2
_
1
1
f(x)dx =
_
0
1
xdx +
_
1
0
xdx =
_
x
2
2
_
0
1
+
_
x
2
2
_
1
0
=
_
0
1
2
_
+
_
1
2
0
_
=
1
2
+
1
2
= 1.
Clculo de a
n
: usando a equao (1.11b), com
0
= , temos
a
n
=
2
2
_
1
1
f(x)cos(nx)dx
=
_
0
1
x cos(nx)dx +
_
1
0
x cos(nx)dx
11
Pela equao (4) (Formulrio - pgina 45), com
0
= , obtemos
a
n
=
_
x
n
sen(nx) +
1
n
2

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

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

2
cos(0) +
1
n
sen(n)
1
n
2

2
cos(n)
_
+
_
1
n
sen(n) +
1
n
2

2
cos(n)
1
n
2

2
cos(0)
_
=
_
1
n
2

2

1
n
2

2
cos(n)
_
+
_
1
n
2

2
cos(n)
1
n
2

2
_
=
2
n
2

2
_
cos(n) 1
_
Clculo de b
n
: usando a equao (1.11c), com
0
= , temos
b
n
=
2
2
_
1
1
f(x)sen(nx)dx
=
_
0
1
x sen(nx)dx +
_
1
0
x sen(nx)dx
Pela equao (3) (Formulrio - pgina 45), com
0
= , obtemos
b
n
=
_

x
n
cos(nx) +
1
n
2

2
sen(nx)
_
0
1
+
_

x
n
cos(nx) +
1
n
2

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

2
sen(0)
1
n
cos(n)
1
n
2

2
sen(n)
_
+
_

1
n
cos(n) +
1
n
2

2
sen(n)
1
n
2

2
sen(0)
_
=
1
n
cos(n)
1
n
cos(n) = 0
Substituindo b
n
= 0 e
0
= na equao (1.10), a representao em Srie de Fourier desta onda
triangular tem a forma
f(x)
a
0
2
+

n=1
a
n
cos(nx),
isto , a Srie possui o termo constante
a
0
2
e termos em cossenos
6
. Substituindo o valores encontrados
para a
0
e a
n
podemos escrever
f(x)
1
2
+

n=1
2
n
2

2
_
cos(n) 1
_
cos(nx). (1.13a)
Utilizando a equao (1) (Formulrio - pgina 45), podemos reescrever a
n
como
a
n
=
_
0 , se n par

4
n
2

2
, se n mpar
, (1.13b)
isto , temos apenas termos para valores mpares de n. Assim, utilizando os valores de a
n
dados pela
equao (1.13b) a expanso da Srie (1.13a) ca
f(x)
1
2

4

2
cos(x)
4
9
2
cos(3x)
4
25
2
cos(5x)
4
49
2
cos(7x) + . . .
ou, reescrevendo-a na forma de somatrio
f(x)
1
2

4

k=1
1
(2k 1)
2
cos
_
(2k 1)x

. (1.13c)
6
Adiante, seo 1.5, veremos que isto no uma mera coincidncia.
12
1.3.1 Problemas Propostos
Problema 1.7 Refaa os clculos do Exemplo 1.4 (pgina 9) integrando sobre o intervalo
(a) [0, 2] (b) [2, 0] (c) [2, 4]
Problema 1.8 Refaa os clculos do Exemplo 1.5 (pgina 11) integrando sobre o intervalo
(a) [0, 2] (b) [2, 0] (c) [2, 4]
Problema 1.9 Determine a forma analtica e a representao em Srie de Fourier da funo peridica.
E
T
0 1 2 3 1 2 3

1
x
f(x)
Problema 1.10 Determine a forma analtica e a representao em Srie de Fourier da funo peridica.
E
T
0 2 3 2 3

x
f(x)
Problema 1.11 Para cada funo peridica a seguir esboce seu grco em um intervalo de trs perodos
e encontre sua representao em Srie de Fourier.
(a) f(x) =
_
0 , 1 x < 0
1 , 0 x < 1
, f(x) = f(x + 2).
(b) f(x) =
_
0 , x < 0
x , 0 x <
, f(x + 2) = f(x).
(c) f(x) =
_
3 x , 3 x < 0
3 x , 0 x < 3
, f(x) = f(x + 6).
(d) (reticador de meia onda) f(x) =
_
0 , x < 0
sen(x) , 0 x <
, f(x) = f(x + 2).
(e) (reticador de onda completa) f(x) = sen(x), 0 x < , f(x) = f(x + ).
13
Problema 1.12 Use a representao em Srie de Fourier da onda triangular da Figura 1.5, dada pela
equao (1.13c), para mostrar que

2
8
= 1
1
4
+
1
9

1
16
+
1
25

1
49
+ . . .
Problema 1.13 Verique a validade da equao (1.9c).
1.4 O Teorema de Fourier*
Nesta seo discutiremos brevemente as funes representveis por Sries de Fourier. Iniciamos denindo
a seguinte notao para os limites laterais de uma funo:
limite lateral esquerda:
lim
xa

f(x) = f(a 0);

limite lateral direita:
lim
xa
+
f(x) = f(a + 0).
Tambm de fundamental importncia o conceito de funo seccionalmente contnua (ou funo
contnua por partes).
Denio 1.5 (Funo seccionalmente contnua) Uma funo f seccionalmente contnua em um
intervalo [a, b] se pudermos subdividir o intervalo em um nmero nito de pontos
a t
0
< t
1
< . . . < t
n
b
de modo que f seja contnua em cada subintervalo aberto t
i1
< x < t
i
, i = 1, . . . , n (Figura 1.6(a)).
E
T
b
b
b
a b x
f(x)
(a) Uma funo seccionalmente contnua.
E
T
x
f(x) =
1
x
(b) Uma funo no seccionalmente contnua.
Figura 1.6: O conceito de funo seccionalmente contnua.
Em outras palavras, f seccionalmente contnua no intervalo [a, b] se ela contnua em todo o
intervalo, exceto em um nmero nito de pontos t
0
< t
1
< . . . < t
n
deste intervalo. importante
observar que, pela continuidade em cada subintervalo, os limites laterais
lim
xa
+
i
f(x) = f(a
i
+ 0) e lim
xa

i
f(x) = f(a
i
0),
14
existem (so nitos).
Obviamente toda funo contnua seccionalmente contnua. Um exemplo simples de funo que no
seccionalmente contnua a funo f(x) =
1
x
, uma vez que os limites laterais em x = 0 so innitos
(Figura 1.6(b)).
Denio 1.6 (Funo seccionalmente diferencivel) Uma funo f dita seccionalmente difer-
encivel em um intervalo [a, b] se f e sua derivada f

so seccionalmente contnuas em [a, b].

Teorema 1.7 (Teorema de Fourier) Seja f : R R uma funo seccionalmente diferencivel e
peridica de perodo T. Ento a representao em Srie de Fourier de f, dada pela equao (1.10),
converge em cada x para
1
2
_
f(x 0) + f(x + 0)

; isto
a
0
2
+

n=1
a
n
cos(n
0
x) + b
n
sen(n
0
x) =
1
2
_
f(x 0) + f(x + 0)

. (1.14)
A demonstrao do Teorema de Fourier est alm do escopo deste texto introdutrio. Vamos simples-
mente comentar sobre dois aspectos importantes do Teorema.
Para ser representvel por uma Srie de Fourier uma funo f deve ser peridica e seccional-
mente diferencivel. A condio de ser seccionalmente diferencivel uma condio suciente,
mas no necessria, para que f possa ser expandida em Srie de Fourier. Em outras palavras,
toda funo peridica e seccionalmente contnua representvel por Srie de Fourier, mas existem
funes representveis por Srie de Fourier que no so seccionalmente contnuas. Isto implica
que poderamos enfraquecer as hipteses do Teorema de modo a cobrir um nmero mais amplo de
funes
7
.
Em termos de convergncia o Teorema arma que a representao em Srie de Fourier de uma
funo f converge para o ponto mdio dos limites laterais de f para todo x. Obviamente isto
implica que, nos pontos onde f contnua a Srie de Fourier converge para a prpria imagem de f;
onde f descontnua, por exemplo onde f apresenta um salto, a Srie de Fourier converge para a
mdia das imagens nos extremos do salto.
Exemplo 1.6 Considere a representao em Srie de Fourier da onda quadrada, mostrada na Figura
1.4 (pgina 9), obtida no Exemplo 1.4 (pgina 9). Pelo Teorema de Fourier temos que:
(a) em x =

2
a funo contnua e tem imagem f
_

2
_
= 1, logo sua representao em Srie de
Fourier, dada pela equao (1.12c), converge para 1;
(b) em x = a funo descontnua (apresenta um salto), logo sua representao em Srie de
Fourier, dada pela equao (1.12c), converge para a mdia dos limites laterais em x = , logo
converge para 0. Observe na Figura 1.4 que o mesmo comportamento de convergncia ocorre em
x = 0, , 2, . . ..
7
Uma discusso bastante detalhada sobre as Sries de Fourier, incluindo a demonstrao do Teorema de Fourier, pode
ser encontrada nos Captulos 1, 2 e 3 da referncia [3].
15
1.5 Simetria ondulatria
Denio 1.8 (Funo par) Uma funo f : R R dita par se
f(x) = f(x), x no domnio de f.
Geometricamente, se f par seu grco simtrico em relao ao eixo y - Figura 1.7(a). Observe
que f(a) = f(a), f(b) = f(b) etc. Alguns exemplos de funes pares so f(x) = c (funo constante),
f(x) = |x| (funo modular), f(x) = x
2
, f(x) = x
4
, f(x) = x
n
para n par. Um outro exemplo importante
de funo par f(x) = cos(x) - Figura 1.3.
E
x
Tf(x)
a a
b b
(a) Simetria par
E
x
Tf(x)
a
a
b
b
(b) Simetria mpar
Figura 1.7: Simetrias par e mpar
Denio 1.9 (Funo mpar) : uma funo f : R R dita mpar se
f(x) = f(x), x no domnio de f.
Geometricamente, se f mpar seu grco simtrico em relao origem - Figura 1.7(b). Observe
que f(a) = f(a), f(b) = f(b) etc. Alguns exemplos de funes mpares so f(x) = x, f(x) = x
3
,
f(x) = x
n
para n mpar. Um outro exemplo importante de funo par f(x) = sen(x) - Figura 1.3.
Observaes
(i) A nica funo que simultaneamente par e mpar a funo identicamente nula f(x) = 0, ou seja,
a funo cuja imagem zero para todo o domnio;
(ii) se f uma funo mpar que contenha 0 (zero) no domnio, ento f(0) = 0;
(iii) a grande maioria das funes que ocorrem no so nem pares nem mpares. Estamos particularmente
interessados nas funes pares e mpares pois suas representaes em sries de Fourier aparecem na
resoluo de equaes diferenciais parcias importantes da Fsica-Matemtica e Engenharia.
16
Propriedades das funes pares e mpares
A soma (diferena) e o produto (quociente) de funes pares e mpares possuem propriedades importantes,
as quais listaremos a seguir. Tais propriedades simplicaro bastante nosso trabalho na representao
em Sries de Fourier de funes pares e mpares.
(S1) A soma (diferena) de duas funes pares par;
(S2) a soma (diferena) de duas funes mpares mpar;
(S3) a soma (diferena) de uma funo par e uma funo mpar no nem par nem mpar.
(P1) O produto (quociente) de duas funes pares par.
(P2) O produto (quociente) de duas funes mpares par.
(P3) O produto (quociente) de uma funo par e uma funo mpar mpar
As provas so bastante simples. Provaremos P2 e deixaremos as demais como exerccio para o leitor
no Problema 1.17 (pgina 23).
Prova de P2
Sejam I
1
, I
2
: R R duas funes mpares, isto I
1
(x) = I
1
(x) e I
2
(x) = I
2
(x).
Dena o produto P(x) = I
1
(x)I
2
(x); logo temos:
P(x) = I
1
(x)I
2
(x) =
_
I
1
(x)
_
I
2
(x)

= I
1
(x)I
2
(x) = P(x),
isto , com a hiptese que I
1
e I
2
so mpares, mostramos que o produto P(x) = I
1
(x)I
2
(x) satisfaz
P(x) = P(x), logo este produto par.
Dena o quociente Q(x) =
I
1
(x)
I
2
(x)
; logo temos:
Q(x) =
I
1
(x)
I
2
(x)
=
I
1
(x)
I
2
(x)
=
I
1
(x)
I
2
(x)
= Q(x),
isto , com a hiptese que I
1
e I
2
so mpares, mostramos que o quociente Q(x) =
I
1
(x)
I
2
(x)
satisfaz
Q(x) = Q(x), logo este quociente par.
Proposio 1.10 : Se f uma funo par integrvel no intervalo [L, L] ento
_
L
L
f(x)dx = 2
_
L
0
f(x)dx
Geometricamente a proposio bvia, uma vez que sendo f par a rea sob a curva no intervalo
[L, 0] igual rea sob a curva no intervalo [0, L], Figura 1.8. Formalmente temos:
_
L
L
f(x)dx =
_
0
L
f(x)dx +
_
L
0
f(x)dx;
17
E
T
0
x
f(x)
L L
Figura 1.8: Funo par: reas nos intervalos [L, 0] e [0, L] iguais com mesmo sinal.
fazendo x = t na primeira integral do membro direito, temos dx = dt; logo
_
L
L
f(x)dx =
_
0
L
f(t)dt +
_
L
0
f(x)dx =
_
L
0
f(t)dt +
_
L
0
f(x)dx = 2
_
L
0
f(x)dx.
Proposio 1.11 : Se f uma funo mpar integrvel no intervalo [L, L] ento
_
L
L
f(x)dx = 0
E
T
x
f(x)
L
L
Figura 1.9: Funo mpar: reas nos intervalos [L, 0] e [0, L] iguais com sinais contrrios.
Geometricamente a proposio bvia, uma vez que sendo f mpar a rea sob a curva no intervalo
[L, 0] igual rea sob a curva no intervalo [0, L], porm como tais reas tm sinais contrrios a soma
se cancela, Figura 1.9. Formalmente temos:
_
L
L
f(x)dx =
_
0
L
f(x)dx +
_
L
0
f(x)dx;
fazendo x = t na primeira integral do membro direito, temos dx = dt; logo
_
L
L
f(x)dx =
_
0
L
f(t)dt +
_
L
0
f(x)dx =
_
L
0
f(t)dt +
_
L
0
f(x)dx = 0.
18
Sries de Fourier de funes pares e mpares
Proposio 1.12 (Srie de Fourier de uma funo par) a Srie de Fourier de uma funo f, par,
peridica de perodo T e freqncia fundamental
0
=
2
T
, uma srie de cossenos, isto
f(x)
a
0
2
+

n=1
a
n
cos(n
0
x). (1.15a)
Para a vericao desta proposio suponhamos que f par e peridica de perodo T = 2L, onde L
o meio perodo.
Calculando a
0
, equao (1.11a), obtemos:
a
0
=
2
T
_
T
0
f(x)dx =
4
T
_
L
0
f(x)dx, (1.15b)
uma vez que o integrando par e pela Proposio 1.10 podemos substituir a integral no intervalo
[L, L] por duas vezes a integral no intervalo [0, L].
Calculando a
n
, equao (1.11b), obtemos:
a
n
=
2
T
_
T
0
f(x)cos
_
n
0
x
_
dx =
4
T
_
L
0
f(x)cos
_
n
0
x
_
dx, (1.15c)
uma vez que pela a propriedade P1 o integrando f(x)cos
_
n
0
x
_
par e pela Proposio 1.10
podemos substituir a integral no intervalo [L, L] por duas vezes a integral no intervalo [0, L].
Calculando b
n
, equao (1.11c), obtemos:
b
n
=
2
T
_
T
0
f(x)sen
_
n
0
x
_
dx =
2
T
_
L
L
f(x)sen
_
n
0
x
_
dx = 0,
uma vez que pela a propriedade P3 o integrando f(x)sen
_
n
0
x
_
mpar e pela Proposio 1.11 a
integral se anula.
Logo, se f par e peridica de perodo T, sua expanso em Srie de Fourier da forma (1.15a) (veja a
representao em Srie de Fourier da onda triangular do Exemplo 1.5 na pgina 11).
Exemplo 1.7 Determine a expanso em Srie de Fourier da funo peridica
f(x) = x
2
, 1 x < 1, f(x) = f(x + 2),
mostrada na Figura 1.10.
O perodo da onda T = 2 e sua freqncia fundamental
0
=
2
T
= . Neste caso, como a onda
apresenta simetria par temos b
n
= 0 e devemos determinar apenas a
0
e a
n
.
Clculo de a
0
: substituindo T = 2, L = 1 e
0
= na equao (1.15b) obtemos
a
0
=
4
2
_
1
0
x
2
dx = 2
_
x
3
3
_
1
0
=
2
3
.
19
E
T
0 1 2 3 4 1 2 3 4 x
f(x)
Figura 1.10: Funo peridica f(x) = x
2
, 1 x < 1, Perodo 2.
Clculo de a
n
: substituindo T = 2, L = 1 e
0
= na equao (1.15c) obtemos
a
n
=
4
2
_
1
0
x
2
cos(nx)dx.
Usando a equao (7) (Formulrio - pgina 45), com
0
= , obtemos
a
n
=
4
2
_
x
2
n
sen(nx) +
2x
n
2

2
cos(nx)
2
n
3

3
sen(nx)
_
1
0
=
4
2
_
1
n
sen(n) +
2
n
2

2
cos(n)
2
n
3

3
sen(n) 0 0
2
n
3

3
sen(0)
_
=
4
n
2

2
cos(n)
Assim, pela equao (1.15a) com
0
= , a representao em Srie de Fourier da funo ca
f(x)
1
3
+
4

n=1
cos(n)
n
2
cos(nx), (1.16)
ou, usando a equao (1) (Formulrio - pgina 45),
f(x)
1
3
+
4

n=1
(1)
n
n
2
cos(nx).
Proposio 1.13 (Srie de Fourier de uma funo mpar) a Srie de Fourier de uma funo f,
mpar, peridica de perodo T e freqncia fundamental
0
=
2
T
, uma srie de senos, isto
f(x)

n=1
b
n
sen(n
0
x). (1.17a)
Para a vericao desta proposio suponhamos que f mpar e peridica de perodo T = 2L, onde
L o meio perodo.
20
Calculando a
0
, equao (1.11a), obtemos:
a
0
=
2
T
_
T
0
f(x)dx =
2
T
_
L
L
f(x)dx = 0,
uma vez que o integrando mpar e pela Proposio 1.11 a integral se anula.
Calculando a
n
, equao (1.11b), obtemos:
a
n
=
2
T
_
T
0
f(x)cos
_
n
0
x
_
dx =
2
T
_
L
L
f(x)cos
_
n
0
x
_
dx = 0,
uma vez que pela a propriedade P3 o integrando f(x)cos
_
n
0
x
_
mpar e pela Proposio 1.11 a
integral se anula.
Calculando b
n
, equao (1.11c), obtemos:
b
n
=
2
T
_
T
0
f(x)sen
_
n
0
x
_
dx =
4
T
_
L
0
f(x)sen
_
n
0
x
_
dx, (1.17b)
uma vez que pela a propriedade P2 o integrando f(x)sen
_
n
0
x
_
par e pela Proposio 1.10
podemos substituir a integral no intervalo [L, L] por duas vezes a integral no intervalo [0, L].
Logo, se f mpar e peridica de perodo T, sua expanso em Srie de Fourier da forma (1.17a)
(veja o a representao em Srie de Fourier da onda quadrada do Exemplo 1.4 na pgina 9.)
Exemplo 1.8 Determine a representao em Srie de Fourier da onda dente de serra mostrada na
Figura 1.11.
E
T
0 2 3 2 3

x
f(x)
Figura 1.11: Onda Dente de Serra - Perodo 2.
O perodo da onda T = 2 e sua freqncia fundamental
0
=
2
T
= 1. Sua forma analtica pode
ser dada por
f(x) = x, se x < e f(x) = f(x + 2).
21
Neste caso, como a onda apresenta simetria mpar temos a
0
= a
n
= 0 e devemos determinar apenas
b
n
. Substituindo T = 2, L = e
0
= 1 na equao (1.17b) obtemos
b
n
=
4
2
_

0
xsen(nx)dx =
2

_

0
xsen(nx)dx,
e pela equao (3) (Formulrio - pgina 45)
b
n
=
2

x
n
cos(nx) +
1
n
2
sen(nx)
_

0
=
2
n
cos(n).
Usando a equao (1) (Formulrio - pgina 45) b
n
pode ser reescrito como
b
n
= 2
(1)
n
n
.
Assim, pela equao (1.17a) com
0
= 1, a representao em Srie de Fourier da onda dente de serra
ca
f(x) 2

n=1
(1)
n
n
sen(nx), (1.18)
ou na forma expandida
f(x)
2
1
sen(x)
2
2
sen(2x) +
2
3
sen(3x)
2
4
sen(4x) +
2
5
sen(5x) . . .
1.5.1 Problemas Propostos
Problema 1.14 Determine se as seguintes funes so pares, mpares ou nenhum dos dois (explique).
(a) y = x
3
(b) y = x
3
2x
(c) y = x
3
2x + 1
(d) y = tg(2x)
(e) y = sec(x)
(f ) y = |x|
3
Problema 1.15 Usando as propriedades das funes pares e mpares calcule as integrais dadas.
(a)
_
1
1
xdx
(b)
_
1
1
x
4
dx
(c)
_

xsen(nx)dx
(d)
_ T
2

T
2
cos
_
2nx
T
_
sen
_
2nx
T
_
dx
(e)
_

x
4
sen(nx)dx
(f )
_

xcos(nx)dx
Problema 1.16 Nos problemas a seguir determine a representao em Srie de Fourier pedida para a
funo dada. Esquematize o grco desta representao utilizando 3 perodos.
(a) f(x) =
_
1 , 0 x <
0 , x < 2
, srie de cossenos, T = 4.
(b) f(x) =
_
1 , 0 x <
0 , x < 2
, srie de senos, T = 4.
22
(c) f(x) =
_
x , 0 x < 1
1 , 1 x < 2
, srie de cossenos, T = 4.
(d) f(x) =
_
x , 0 x < 1
1 , 1 x < 2
, srie de senos, T = 4.
(e) f(x) = x, 0 x < , srie de cossenos, T = 2. (Compare com o Exemplo 1.5 na pgina 11.)
(f ) f(x) = x, 0 x < , srie de senos, T = 2. (Compare com o Exemplo 1.8 na pgina 21.)
Problema 1.17 Prove as propriedades S1, S2, S3, P1 e P3 da soma (diferena) e produto (quociente)
de funes pares e mpares da pgina 17 do texto. (Sugesto: veja a prova de P2 na pgina 17).
1.6 Expanses peridicas
Muitas vezes surge a necessidade de representarmos por uma Srie de Fourier uma funo
f : [0, a] R,
isto , uma funo denida apenas no intervalo [0, a], Figura 1.12(a). Obviamente tal representao no
possvel, uma vez que f no peridica.
Para contornar tal situao expandimos f periodicamente x R, Figura 1.12(b), e a seguir deter-
minamos a Srie de Fourier desta expanso (observe que a expanso tem perodo a). A Srie de Fourier
assim obtida, restrita ao intervalo [0, a], a representao procurada para f
8
.
E
T
0 a x
f(x)
(a) f denida no intervalo [0, a].
E
T
0 a 2a 3a a 2a 3a x
f(x)
(b) Expanso peridica de f.
Figura 1.12: Funo sobre o intervalo [0, a] e sua expanso peridica
Exemplo 1.9 Determine a representao em Srie de Fourier da funo
f(x) = x, 0 x < ,
mostrada na Figura 1.13(a).
Neste caso vamos determinar a Srie de Fourier da expanso peridica de f, mostrada na Figura
1.13(b), para a qual T = e
0
= 2.
8
evidente que a Srie de Fourier da expanso peridica dene uma outra funo que no f, acontece que no intervalo
de interesse [0, a] essa funo idntica a f.
23
Clculo de a
0
: usando a equao (1.11a) temos
a
0
=
2

_

0
xdx =
2

_
x
2
2
_

0
=
2

_

2
2
0
_
= .
Clculo de a
n
: usando a equao (1.11b), com
0
= 2, temos
a
n
=
2

_

0
xcos(2nx)dx =
2

_
x
2n
sen(2nx) +
1
4n
2
cos(2nx)
_

0
= 0
Clculo de b
n
: usando a equao (1.11c), com
0
= 2, temos
b
n
=
2

_

0
xsen(2nx)dx =
2

x
2n
cos(2nx) +
1
4n
2
sen(2nx)
_

0
=
1
n
cos(2n) =
1
n
Assim, pela equao (1.10) com
0
= 2, a representao em Srie de Fourier da expanso peridica
de f ca
f(x)

2

n=1
1
n
sen(2nx),
ou na forma expandida
f(x)

2

1
1
sen(2x)
1
2
sen(4x)
1
3
sen(6x)
1
4
sen(8x)
1
5
sen(10x) . . .
E
T
0

x
f(x)
(a) f(x) = x no intervalo [0, ].
E
T
0 2 3 2 3

x
f(x)
(b) Expanso peridica de f(x) = x.
Figura 1.13: A funo f(x) = x no intervalo [0, ] e sua expanso peridica.
Expanses em meio perodo
Nas sees 1.5 e 1.5 estudamos as funes peridicas com simetrias par e mpar e suas representaes em
Sries de Fourier. Vimos que:
se f par e peridica, ento pode ser expandida em uma Srie de Fourier de cossenos;
se f mpar e peridica, ento pode ser expandida em uma Srie de Fourier de senos;
Vimos tambm que nestes casos as Frmulas de Euler-Fourier que calculam os coecientes da Srie de
Fourier, equaes (1.15b) e (1.15c) na srie de cossenos, equao (1.17b) na srie de senos, empregam a
integrao em apenas meio perodo.
Estes fatos nos sugere outras abordagens, conhecidas como expanses em meio perodo, para a repre-
sentao em Srie de Fourier de uma funo f denida apenas no intervalo [0, a]:
24
E
T
0 a x
f(x)
(a) Funo f denida apenas no intervalo [0, a].
E
T
0 a 2a 3a a 2a 3a x
f(x)
(b) Expanso par de f.
E
T
0 a 2a 3a a 2a 3a
x
f(x)
(c) Expanso mpar de f.
Figura 1.14: Expanses par e mpar de uma funo denida sobre o intervalo [0, a]
expanso par: a partir de f denimos uma nova funo com simetria par sobre o intervalo [a, a].
Estendemos esta nova funo periodicamente x R, Figura 1.14(b), e a seguir determinamos a
Srie de Fourier desta expanso peridica (observe que a expanso tem perodo 2a). Uma vez que
tal expanso peridica tem simetria par sua Srie de Fourier ser uma srie de cossenos da forma
(1.15a).
expanso mpar: a partir de f denimos uma nova funo com simetria mpar sobre o intervalo
[a, a]. Estendemos esta nova funo periodicamente x R, Figura 1.14(c), e a seguir determi-
namos a Srie de Fourier desta expanso peridica (observe que a expanso tem perodo 2a). Uma
vez que tal expanso peridica tem simetria mpar sua Srie de Fourier ser uma srie de senos da
forma (1.17a).
Nas expanses em meio perodo (par ou mpar) s necessitamos conhecer a denio da funo em meio
perodo, ou seja, no intervalo [0, a], uma vez que o clculos dos coecientes de uma srie de cossenos ou
de uma srie de senos empregam integrao em apenas meio perodo, conforme observamos nas equaes
(1.15b) e (1.15c) para a srie de cossenos e (1.17b) para a srie de senos.
25
Exemplo 1.10 Determine a expanso par em meio perodo da funo
f(x) = x, 0 x < ,
mostrada na Figura 1.13(a).
A expanso par de f mostrada na Figura 1.15. Observamos que para esta expanso temos T = 2
e
0
= 1.
E
T
0 2 3 2 3

d
d
d
d
d
d
d
d
d
d
d
d
x
f(x)
Figura 1.15: Expanso par da funo f(x) = x denida no intervalo [0, ].
Clculo de a
0
: usando a equao (1.15b) temos
a
0
=
4
2
_

0
xdx =
2

_
x
2
2
_

0
=
2

2
2
0
_
= .
Clculo de a
n
: usando a equao (1.15c), com
0
= 1, temos
a
n
=
4
2

0
xcos(nx)dx =
2

x
n
sen(nx) +
1
n
2
cos(nx)

0
=
2
n
2

cos(n) 1

Utilizando a equao (1) (Formulrio - pgina 45), podemos reescrever a

n
como
a
n
=
_
0 , se n par

4
n
2

, se n mpar
,
Assim, pela equao (1.15a) com
0
= 1, a representao em Srie de Fourier da expanso par de f
ca
f(x)

2
4

k=1
1
(2k 1)
2
cos
_
(2k 1)x

,
ou na forma expandida
f(x)

2

4

cos(x)
4
9
cos(3x)
4
25
cos(5x)
4
49
cos(7x)
4
81
sen(9x) . . .
Exemplo 1.11 Determine a expanso mpar em meio perodo da funo
f(x) = x, 0 x < ,
mostrada na Figura 1.13(a).
A expanso mpar de f exatamente a onda dente de serra mostrada na Figura 1.11 da pgina 21.
Logo sua Srie de Fourier dada pela equao (1.18) da pgina 22.
26
1.6.1 Problemas Propostos
Problema 1.18 Dada a funo f(x) =
_
x , 0 x <
, x < 2
,
(a) esboce o grco de sua expanso peridica (perodo T = 2) no intervalo [6, 6] e encontre
sua representao em Srie de Fourier;
(b) esboce o grco de sua expanso peridica par (perodo T = 4) no intervalo [6, 6] e encontre
sua representao em Srie de Fourier;
(c) esboce o grco de sua expanso peridica mpar (perodo T = 4) no intervalo [6, 6] e
encontre sua representao em Srie de Fourier.
Problema 1.19 Dada a funo f(x) =
_
1 , 0 x < 1
2 x , 1 x < 2
,
(a) esboce o grco de sua expanso peridica (perodo T = 2) no intervalo [6, 6] e encontre sua
representao em Srie de Fourier;
(b) esboce o grco de sua expanso peridica par (perodo T = 4) no intervalo [6, 6] e encontre
sua representao em Srie de Fourier;
(c) esboce o grco de sua expanso peridica mpar (perodo T = 4) no intervalo [6, 6] e encontre
sua representao em Srie de Fourier.
27
Captulo 2
Sries de Fourier Complexa e Espectros
Discretos
2.1 Srie de Fourier Complexa
Conforme vimos no Teorema de Fourier (pgina 15), se f : R R uma funo seccionalmente
diferencivel e peridica de perodo T, ento f pode ser representada por uma Srie de Fourier da forma
f(x)
a
0
2
+

n=1
a
n
cos(n
0
x) + b
n
sen(n
0
x) (2.1)
onde
0
a freqncia fundamental de f (e tambm da Srie de Fourier), dada por

0
=
2
T
.
Os coecientes a
0
, a
n
e b
n
so dados pelas Frmulas de Euler-Fourier
a
0
=
2
T
_
T
f(x)dx, (2.2a)
a
n
=
2
T
_
T
f(x)cos(n
0
x)dx, n = 1, 2, . . . (2.2b)
b
n
=
2
T
_
T
f(x)sen(n
0
x)dx, n = 1, 2, . . . (2.2c)
Nosso objetivo obter uma representao em Srie de Fourier em termos de funes exponenciais
complexas da forma
e
in
0
x
,
0
=
2
T
, n Z,
ao invs dos termos trigonomtricos da equao (2.1). Pela denio da funo exponencial complexa
e
x+iy
= e
x
[cos(y) + isen(y)],
28
temos que
e
in
0
x
= cos(n
0
x) + isen(n
0
x), (2.3a)
e
in
0
x
= cos(n
0
x) isen(n
0
x), (2.3b)
uma vez que o cosseno par, cos() = cos(), e o seno mpar, sen() = sen(). Assim, por (2.3a)+
(2.3b), obtemos
cos(n
0
x) =
1
2
_
e
in
0
x
+ e
in
0
x
_
; (2.4a)
e por (2.3a) (2.3b), lembrando que
1
i
= i, obtemos
sen(n
0
x) =
1
2
i
_
e
in
0
x
e
in
0
x
_
. (2.4b)
Substituindo as equaes (2.4a) e (2.4b) no somatrio da equao (2.1) obtemos

n=1
a
n
cos(n
0
x) + b
n
sen(n
0
x) =

n=1
1
2
a
n
_
e
in
0
x
+ e
in
0
x
_

1
2
i b
n
_
e
in
0
x
e
in
0
x
_
=

n=1
1
2
_
a
n
ib
n
_
e
in
0
x
+
1
2
_
a
n
+ ib
n
_
e
in
0
x
. (2.5)
Agora denimos o coeciente c
n
como
c
n
=
1
2
_
a
n
ib
n
_
, (2.6)
e observamos que
c
n
=
1
2
_
a
n
+ ib
n
_
, (2.7)
de modo que a equao (2.5) pode ser reescrita como

n=1
a
n
cos(n
0
x) + b
n
sen(n
0
x) =

n=1
c
n
e
in
0
x
+ c
n
e
in
0
x
. (2.8)
Pelas equaes (2.2b) e (2.2c) observamos que
a
n
=
2
T
_
T
f(x)cos(n
0
x)dx =
2
T
_
T
f(x)cos(n
0
x)dx = a
n
,
b
n
=
2
T
_
T
f(x)sen(n
0
x)dx =
2
T
_
T
f(x)sen(n
0
x)dx = b
n
.
Assim
c
n
=
1
2
_
a
n
+ ib
n
_
=
1
2
_
a
n
ib
n
_
= c
n
,
e o somatrio em (2.8) pode ser reescrito como

n=0
a
n
cos(n
0
x) + b
n
sen(n
0
x) =

n=0
c
n
e
in
0
x
+ c
n
e
in
0
x
,
29
ou simplesmente (fazendo n variar em todos os inteiros, exceto zero)

n=0
a
n
cos(n
0
x) + b
n
sen(n
0
x) =

nZ

c
n
e
in
0
x
. (2.9)
Pelas equaes (2.2b) e (2.2c) o coeciente c
n
, denido pela equao (2.6), ca
c
n
=
1
2
_
a
n
ib
n
_
=
1
2
_
2
T
_
T
f(x)cos(n
0
x)dx i
2
T
_
T
f(x)sen(n
0
x)dx
_
=
1
T
_
T
f(x)
_
cos(n
0
x) isen(n
0
x)

dx
=
1
T
_
T
f(x)e
in
0
x
dx, n Z

(2.10)
Denimos tambm c
0
=
a
0
2
, isto ,
c
0
=
a
0
2
=
1
2
2
T
_
T
f(x)dx =
1
T
_
T
f(x)dx. (2.11)
Usando as equaes (2.9) e (2.11) a expanso de f em Srie de Fourier Trigonomtrica, dada pela
equao (2.1), pode ser reescrita como
f(x) c
0
+

nZ

c
n
e
in
0
x
ou simplesmente (fazendo n variar em todos os inteiros, inclusive zero, e lembrando que e
0
= 1)
f(x)

nZ
c
n
e
in
0
x
, (2.12)
chamada de expanso em Srie de Fourier Complexa (ou Exponencial) de f. Fazendo n variar em todos os
inteiros, inclusive zero, e observando que (2.11) um caso particular de (2.10) para n = 0, os coecientes
da Srie (2.12) so dados pela equao (2.10), isto
c
n
=
1
T
_
T
f(x)e
in
0
x
dx, n Z (2.13)
Interpretao Matemtica da Srie de Fourier
Do ponto de vista matemtico, as Sries de Fourier nos mostram que o conjunto
_
e
in
0
x
,
0
=
2
T
, n Z
_
forma uma base ortonormal, de dimenso innita, para o espao das funes seccionalmente diferencivies
e peridicas de perodo T. A equao (2.12) exatamente a representao de uma funo deste espao
nesta base. Os coecientes c
n
de cada funo base so dados pelos produtos internos da equao (2.13).
Demonstraes detalhadas destes breves comentrios podem ser encontradas em diversas referncias na
literatura; os leitores interessados encontraro um excelente material nos Captulos 1 e 2 da referncia
[3].
30
Interpretao Conceitual da Srie de Fourier
Qualquer funo seccionalmente diferencivel e peridica de perodo T pode ser representada por uma
soma (innita) de funes da forma
e
in
0
x
,
0
= 2/T, n Z.
Neste contexto denominamos as funes e
in
0
x
de harmnicos, ou seja, os constituintes fundamentais de
uma onda qualquer. Dizemos que e
i
0
x
o primeiro harmnico (ou harmnico fundamental, pois possui
a mesma freqncia de f); e
i2
0
x
o segundo harmnico (sua freqncia o dobro da freqncia de f);
e
i3
0
x
o terceiro harmnico (sua freqncia o triplo da freqncia de f); e assim por diante. A equao
(2.12), chamada equao de sntese, nos diz que f pode ser sintetizada pela soma de innitos harmnicos
cujas freqncias so mltiplos inteiros de sua freqncia fundamental. Nesta soma, a contribuio de
harmnico ponderada pelo respectivo coeciente c
n
, dado pela equao (2.13), chamada equao equao
de anlise. Conforme veremos adiante, o coeciente c
n
nos informa a amplitude e o ngulo de fase de
cada um dos harmnicos constituintes de f.
Exemplo 2.1 Determine a representao em Srie de Fourier Complexa da onda quadrada mostrada na
Figura 1.4 (pgina 9).
Conforme vimos no Exemplo 1.4 (pgina 9), esta onda quadrada tem perodo T = 2, freqncia
fundamental
0
= 1 e forma analtica
f(x) =
_
1 , x < 0
1 , 0 x <
, f(x + 2) = f(x).
Para a determinao de c
n
, substitumos
0
= 1 na equao (2.13). Assim
c
n
=
1
2
_

f(x)e
inx
dx
=
1
2
__
0

e
inx
dx +
_

0
e
inx
dx
_
=
1
2
_
1
in
e
inx

1
in
e
inx

0
_
=
1
2in
_
1 e
in
e
in
+ 1
_
=
1
2in
_
2 e
in
e
in
_
=
1
2in
_
2 2cos(n)
_
=
1
in
_
1 cos(n)
_
=
i
n
_
cos(n) 1
_
. (2.14a)
Observe que c
0
no pode ser calculado pela equao (2.14a), pois resultaria em diviso por zero. Logo
devemos calcul-lo separadamente:
c
0
=
1
2
_

f(x)dx =
1
2
__
0

dx +
_

0
dx
_
=
1
2
_
+
_
= 0 (2.14b)
31
Utilizando a equao (1) (Formulrio - pgina 45), podemos reescrever a equao (2.14a) como
c
n
=
_
0 , se n par

2i
n
, se n mpar
. (2.14c)
Assim, substituindo
0
= 1 na equao (2.12), a representao em Srie de Fourier Complexa da onda
quadrada da Figura 1.4 dada por
f(x) . . . +
2i
5
e
5ix
+
2i
3
e
3ix
+
2i

e
ix

2i

e
ix

2i
3
e
3ix

2i

e
5ix
. . .
ou, na forma de somatrio,
f(x)
2i

kZ
1
2k + 1
e
i(2k+1)x
.
Exemplo 2.2 A partir dos coecientes complexos c
n
do Exemplo 2.1 determine os coecientes trigono-
mtricos a
0
, a
n
e b
n
.
Como c
0
=
a
0
2
, equao (2.11), pelo resultado da equao (2.14b) temos a
0
= 0. Para determinarmos
a
n
e b
n
recorremos s equaes (2.6) e (2.7). Assim,
fazendo (2.6)+(2.7) : a
n
= c
n
+ c
n
, (2.15a)
fazendo (2.7)(2.6) : ib
n
= c
n
c
n
. (2.15b)
Usando a equao (2.15a) e o resultado da equao (2.14c), obtemos
a
n
= c
n
+ c
n
=
_
0 + 0 = 0 , se n par

2i
n
+
2i
n
= 0 , se n mpar
a
n
= 0.
Usando a equao (2.15b) e o resultado da equao (2.14c), obtemos
ib
n
= c
n
c
n
=
_
0 + 0 = 0 , se n par
2i
n

2i
n
=
4i
n
, se n mpar
b
n
=
_
0 , se n par
4
n
, se n mpar
.
Observe que os resultados a
0
= a
n
= 0 j eram esperados, uma vez que a onda quadrada em questo
possui simetria mpar. Compare este resultado com o Exemplo 1.4 na pgina 9.
Exemplo 2.3 Determine a representao em Srie de Fourier Complexa da onda triangular mostrada
na Figura 1.5 (pgina 11).
Conforme vimos no Exemplo 1.5 esta onda triangular tem perodo T = 2, freqncia fundamental

0
= e forma analtica
f(x) =
_
x , 1 x < 0
x , 0 x < 1
, f(x + 2) = f(x).
Para a determinao de c
n
, substitumos
0
= na equao (2.13). Assim
c
n
=
1
2
_
1
1
f(x)e
inx
dx
=
1
2
__
0
1
xe
inx
dx +
_
1
0
xe
inx
dx
_
. (2.16a)
32
Pela equao (5) (Formulrio - pgina 45) com
0
= , a equao (2.16a) torna-se
c
n
=
1
2
_

_
ix
n
+
1
n
2

2
_
e
inx

0
1
+
_
ix
n
+
1
n
2

2
_
e
inx

1
0
_
=
1
2
_

1
n
2

2
+
_

i
n
+
1
n
2

2
_
e
in
+
_
i
n
+
1
n
2

2
_
e
in

1
n
2

2
_
,
e como, para n Z, e
in
= cos(n) = cos(n) = e
in
, obtemos
c
n
=
1
2
_

2
n
2

2
+
2
n
2

2
cos(n)
_
=
1
n
2

2
_
cos(n) 1
_
. (2.16b)
Observe que c
0
no pode ser calculado pela equao (2.16b), pois resultaria em diviso por zero. Logo
devemos calcul-lo separadamente:
c
0
=
1
2
_
1
1
f(x)dx =
1
2
__
0
1
xdx +
_
1
0
xdx
_
=
1
2
_

x
2
2

0
1
+
x
2
2

1
0
_
=
1
2
_
1
2
+
1
2
_
=
1
2
Usando a equao (1) (Formulrio - pgina 45), a equao (2.16b) torna-se
c
n
=
_
0 , se n par

2
n
2

2
, se n mpar
.
Assim, substituindo
0
= na equo (2.12), a representao em Srie de Fourier Complexa da onda
triangular da Figura 1.5 dada por
f(x) . . .
2
25
2
e
5ix

2
9
2
e
3ix

2
e
ix
+
1
2

2

2
e
ix

2
9
2
e
3ix

2
25
2
e
5ix
. . .
ou, na forma de somatrio,
f(x)
1
2

2

kZ
1
(2k + 1)
2
e
i(2k+1)x
.
2.1.1 Problemas Propostos
Problema 2.1 Refaa os clculos do Exemplo 2.1 (pgina 31) integrando sobre o intervalo
(a) [0, 2] (b) [2, 0] (c) [2, 4]
Problema 2.2 Refaa os clculos do Exemplo 2.3 (pgina 32) integrando sobre o intervalo
(a) [0, 2] (b) [2, 0] (c) [2, 4]
Problema 2.3 A partir dos coecientes complexos c
n
do Exemplo 2.3 determine os coecientes trigono-
mtricos a
0
, a
n
e b
n
. Compare o resultado com o Exemplo 1.5 na pgina 11.
Problema 2.4 Para cada funo peridica a seguir esboce seu grco em um intervalo de trs perodos
e encontre sua representao em Srie de Fourier Complexa.
33
(a) f(x) =
_
0 , 1 x < 0
1 , 0 x < 1
, f(x) = f(x + 2).
(b) f(x) =
_
0 , x < 0
x , 0 x <
, f(x + 2) = f(x).
(c) f(x) =
_
3 x , 3 x < 0
3 x , 0 x < 3
, f(x) = f(x + 6).
(d) (reticador de meia onda) f(x) =
_
0 , x < 0
sen(x) , 0 x <
, f(x) = f(x + 2).
(e) (reticador de onda completa) f(x) = sen(x), 0 x < , f(x) = f(x + ).
Problema 2.5 Obtenha a representao em Srie de Fourier Complexa da funo peridica do Problema
1.9 da pgina 13 a partir de sua representao em Srie de Fourier Trigonomtrica.
Problema 2.6 Obtenha a representao em Srie de Fourier Complexa da funo peridica do Problema
1.10 da pgina 13 a partir de sua representao em Srie de Fourier Trigonomtrica.
Problema 2.7 Obtenha a representao em Srie de Fourier Complexa da funo peridica do Exemplo
1.7 da pgina 19 a partir de sua representao em Srie de Fourier Trigonomtrica.
Problema 2.8 Analise as equaes (2.6), (2.7) e (2.11) para se convencer que:
(a) Se f possui simetria par ento os coecientes c
n
de sua expanso em Srie de Fourier Complexa
so nmeros reais puros;
(b) Se f possui simetria mpar ento os coecientes c
n
de sua expanso em Srie de Fourier Com-
plexa so nmeros imaginrios puros;
2.2 Nmeros Complexos - Formas de Representao
Antes de abordarmos os espectros discretos relembramos rapidamente alguns resultados fundamentais
sobre os nmeros complexos. O leitor que se sente confortvel com a lgebra elementar e as diversas
formas de representao dos nmeros complexos pode passar diretamente para a Seo 2.3.
Nmeros Complexos - Forma Cartesiana
Um nmero complexo um nmero da forma z = x + iy, onde
x a parte real de z, e escrevemos x = Re[z],
y a parte imaginria de z, e escrevemos y = Im[z].
34
E
T

y
x
z = x + iy = (x, y)
|z|

eixo real
eixo imaginrio
b
Figura 2.1: Representao do nmero complexo z = x + iy no plano complexo.
Os nmeros complexos podem ser representados por pontos em um plano cartesiano. Este plano deno-
minado plano complexo, ou diagrama de Argand
1
. Dado um nmero complexo, grafamos sua parte real
no eixo horizontal (chamado eixo real) e sua parte imaginria no eixo vertical (chamado eixo imaginrio).
A Figura 2.1 ilustra tal representao.
Assim, cada nmero complexo z = x + iy est associado biunivocamente
2
ao ponto (x, y) do plano
complexo. Por esta razo, uma outra maneira de se denotar um nmero complexo z = x + iy atravs
do par ordenado (x, y), isto ,
z = x + iy = (x, y),
chamada forma cartesiana do nmero complexo. Na forma cartesiana ca implcito que a primeira
componente do par ordenado a parte real do nmero complexo e a segunda componente sua parte
imaginria.
A amplitude (mdulo) e a fase (argumento) de um nmero complexo
Dado um nmero complexo z = x + iy, sua amplitude (ou mdulo, ou valor absoluto, ou magnitude),
denotada |z|, dada por
|z| =
_
x
2
+ y
2
, (2.17)
isto , a amplitude de um nmero complexo a raiz quadrada da soma do quadrado da parte real com o
quadrado da parte imaginria. Geometricamente a amplitude de um nmero complexo nos d a distncia
do ponto que o representa origem do plano complexo. Para ver isto basta aplicar o Teorema de Pitgoras
na Figura 2.1.
A fase (ou argumento) de z = x + iy, a qual denotaremos por arg(z) ou pela letra , o ngulo
formado entre o semi-eixo real positivo e o segmento que representa |z| (Figura 2.1). A determinao do
argumento de um nmero complexo bastante sutil e devemos considerar as diversas possibilidades:
1
Jean Robert Argand (1768-1822), Matemtico francs. Seu artigo sobre o plano complexo apareceu em 1806.
2
A cada nmero complexo est associado um nico ponto do plano, e a cada ponto do plano est associado um nico
nmero complexo.
35
(a) Se x = 0 o nmero complexo da forma z = 0 + iy = iy, ou seja um nmero imaginrio puro e
est associado a um ponto localizado sobre o eixo imaginrio. O valor de seu argumento depende
do sinal da parte imaginria y:
(i) se y > 0, ento arg(z) =

2
(veja o nmero z
1
na Figura 2.2);
(ii) se y < 0, ento arg(z) =

2
(veja o nmero z
2
na Figura 2.2).
(b) Se y = 0 o nmero complexo da forma z = x + i0 = x, ou seja um nmero real puro e est
associado a um ponto localizado sobre o eixo real. O valor de seu argumento depende do sinal da
parte real x:
(i) se x 0, ento arg(z) = 0 (veja o nmero z
3
na Figura 2.2);
(ii) se x < 0, ento arg(z) = (veja o nmero z
4
na Figura 2.2).
(c) Se x > 0 e y = 0 o ponto associado ao nmero complexo z = x + iy est localizado no primeiro ou
no quarto quadrante do plano complexo. O argumento dado por
arg(z) = arctg
_
y
x
_
(d) Se x < 0 e y = 0 o ponto associado ao nmero complexo z = x + iy est localizado no segundo ou
terceiro quadrante do plano complexo. O argumento dado por
3
arg(z) = arctg
_
y
x
_
+
E
T
eixo real
eixo imaginrio
b
z
1
, arg(z
1
) =

2
b
z
2
, arg(z
2
) =

2
b
z
3
, arg(z
3
) = 0
b
z
4
, arg(z
4
) =
Figura 2.2: Alguns nmeros complexos e suas respectivas fases (argumentos).
Agrupando estes resultados, o argumento de um nmero complexo z = x + iy dado por:
=
_

_
arctg
_
y
x
_
, se x > 0 e y = 0
arctg
_
y
x
_
, se x < 0 e y = 0

2
, se x = 0 e y > 0

2
, se x = 0 e y < 0
0 , se y = 0 e x 0
, se y = 0 e x < 0
. (2.18)
3
Neste caso necessrio adicionar ao argumento uma vez que a funo arctg tem imagem sobre o intervalo

2
. . .

2
.
36
Nmeros Complexos - Forma Polar (ou Trigonomtrica)
Na Figura 2.1 observamos que x = |z|cos() e y = |z|sen(), de modo que o nmero complexo z = x+iy
pode ser reescrito na forma
z = x + iy = |z|cos() + i |z|sen(),
ou seja
z = |z|[cos() + isen()], (2.19)
chamada forma polar ou trigonomtrica de z.
Nmeros Complexos - Forma Exponencial
Pela denio da exponencial complexa e
x+iy
= e
x
[cos(y) + isen(x)], observamos que
cos() + isen() = e
i
,
de modo que a forma polar dada pela equao (2.19) pode ser reescrita como
z = |z|e
i
, (2.20)
chamada forma exponencial de z.
Nmeros Complexos - Forma Fasorial
E
T
eixo real
eixo imaginrio
b
(2, 2)
_
2

2,

4
_
b
(2, 2)
_
2

2,
3
4
_
b
(0, 1)
_
1,

2
_
b
(0, 1)
_
1,

2
_
b
(3, 0) (3, 0)
b
(3, 0) (3, )
Figura 2.3: Alguns nmeros complexos - forma cartesiana e forma fasorial.
37
Uma outra maneira de se representar um nmero complexo atravs de sua forma fasorial
z =
_
|z|,
_
, (2.21)
isto , atravs de um par ordenado onde a primeira componente nos d a amplitude do nmero complexo
e a segunda componente nos d sua fase. A Figura 2.3 ilustra alguns exemplos onde o primeiro par
ordenado representa o nmero complexo na forma cartesiana e o segundo representa o nmero complexo
na forma fasorial.
2.2.1 Problemas Propostos
Problema 2.9 Represente cada nmero complexo a seguir em um mesmo plano complexo. A seguir
determine sua amplitude e sua fase e reescreva-o nas formas cartesiana, polar, exponencial e fasorial.
(a) z = 2 + 2i
(b) z = 3 3i
(c) z = 1 i
(d) z = 2 +

3i
(e) z = 2 +

3i
(f ) z = 1

3i
(g) z = 1

3i
(h) z = 2 + 2i
(i) z = 3
(j) z = 5
(k) z = 2i
(l) z = 4i
2.3 Os espectros de Amplitude e de Fase
Os coecientes c
n
da expanso de uma funo em Srie de Fourier Complexa so nmeros complexos. Na
verdade devemos entender c
n
como uma funo complexa de domnio discreto Z, isto , uma funo da
forma
c
n
: Z C,
que associa a cada inteiro n Z um nmero complexo c
n
C.
Por se tratar de uma funo, gostaramos de representar c
n
na forma grca c
n
n. Acontece que tal
representao no possvel, uma vez que as imagens c
n
so complexas. Para representarmos gracamente
uma funo complexa discreta f : Z C temos duas possibilidades.
(a) Decompomos as imagens f(n) em suas partes real e imaginria, isto ,
f(n) = Re[f(n)] + i Im[f(n)]
e a seguir os traamos os grcos Re[f(n)] n e Im[f(n)] n separadamente. Tal representao,
apesar de perfeitamente plausvel, possui pouca utilidade, pois geralmente no estamos interessados
nos comportamentos de Re[f(n)] e Im[f(n)] de forma isolada.
(b) Uma segunda possibilidade reescrevermos f(n) na forma fasorial
f(n) =
_
|f(n)|,
n
_
e a seguir traamos os grcos |f(n)| n e
n
n separadamente.
38
Usando o segundo raciocnio podemos representar c
n
atravs de dois diagramas [4]: um para as
amplitudes (conhecido como espectro de amplitudes) e outro para as fases (conhecido como espectro de
fases):
Espectro de amplitudes: um diagrama onde grafamos os valores das amplitudes |c
n
| dos
coecientes de Fourier versus n
0
, isto , um grco da forma
4
|c
n
| n
0
.
Espectro de fase: um diagrama onde grafamos os valores das fases
n
dos coecientes de Fourier
versus n
0
, isto , um grco da forma

n
n
0
.
O prximo Exemplo ilustra a construo destes espectros.
Exemplo 2.4 Determine os espectros de amplitudes e de fases da onda dente de serra do Exemplo 1.8
(pgina 21) mostrada na Figura 1.11 (pgina 21).
Conforme vimos no Exemplo 1.8 esta onda quadrada tem perodo T = 2, freqncia fundamental

0
= 1 e forma analtica
f(x) = x, se x < e f(x) = f(x + 2).
Vimos tambm que os coecientes trigonomtricos so a
0
= a
n
= 0 e
b
n
=
2
n
cos(n).
A partir dos coecientes trigonomtricos usamos as equaes (2.6) e (2.11) para determinarmos c
n
.
Pela equao (2.6) temos
c
n
=
1
2
_
a
n
ib
n
_
=
1
2
_
0 + i
2
n
cos(n)
_
= i
cos(n)
n
, (2.22)
e pela equao (2.11) temos c
0
= 0. Usando a equao (1) (Formulrio - pgina 45) podemos reescrever
a equao (2.22) como
c
n
=
_
_
_
0 , se n = 0;
i
n
, se n > 0 e n par ou se n < 0 e n mpar,

i
n
, se n > 0 e n mpar ou se n < 0 e n par,
ou na forma fasorial
c
n
=
_
|c
n
|,
n
_
=
_
_
_
(0, 0) , se n = 0;
_
1
n
,

2
_
, se n > 0 e n par ou se n < 0 e n mpar,
_
1
n
,

2
_
, se n > 0 e n mpar ou se n < 0 e n par,
Para obtermos o espectro de amplitudes grafamos |c
n
| (a primeira componente de cada par ordenado
da forma fasorial) em funo de n
0
, neste caso, em funo de n. A Figura 2.4 ilustra o espectro
obtido.
Para obtermos o espectro de fases grafamos
n
(a segunda componente de cada par ordenado da forma
fasorial) em funo de n
0
, neste caso, em funo de n. A Figura 2.5 ilustra o espectro obtido.
4
Observamos que nos espectros de amplitudes e de fases utilizamos n
0
(isto , mltiplos inteiros da freqncia funda-
mental) como varivel independente, e no simplesmente n. O motivo simples: n
0
so exatamente as freqncias dos
(innitos) harmnicos que ocorrem na expanso em Srie de Fourier.
39
E
T
0
b

b
1
2
b
1
2
3
b
1
3
4
b
1
4
5
b
1
5

b
1
2
b
1
2
3
b
1
3
4
b
1
4
5
b
1
5
n
0
|c
n
|
Figura 2.4: Espectro de amplitudes da onda dente de serra da Figura 1.11.
E
T
0
b

b

2
2
b
2
3
b

2
4
b
2
5
b

b
2
2
b

2
3
b
2
4
b

2
5
b
2
n
0

n
Figura 2.5: Espectro de fases da onda dente de serra da Figura 1.11.
Comentrios sobre os Espectros de Amplitudes e de Fases
(i) Geralmente um sinal dado no domnio do tempo. Os espectros representam exatamente o sinal
no domnio da freqncia.
(ii) Sendo o sinal peridico no domnio do tempo os espectros de amplitudes e de fases so espectros
discretos, uma vez que apenas os harmnicos cujas freqncias so mltiplos inteiros da freqncia
do sinal (ou seja, mltiplos inteiros da freqncia fundamental) so necessrios para sua sntese.
(iii) O espectro de amplitudes possui simetria par (veja a Figura 2.4). Devido a tal simetria, algumas
vezes o espectro de amplitudes traado apenas para n 0.
(iv) Para interpretarmos o signicado dos espectros inicialmente observamos que cada harmnico expo-
nencial consitudo de uma soma de harmnicos senoidais:
e
in
0
x
= cos(n
0
x) + i sen(n
0
x).
40
Usando a equao (2.20) podemos reescrever os coecientes c
n
na forma
c
n
= |c
n
|e
i
n
.
Assim, cada termo na Srie Complexa dada pela equao (2.12) pode ser reescrito como
c
n
e
in
0
x
= |c
n
|e
i
n
e
in
0
x
= |c
n
|e
i(n
0
x+
n
)
= |c
n
|
_
cos(n
0
x +
n
) + i sen(n
0
x +
n
)

= |c
n
|
_
cos
_
n
0
(x +

n
n
0
)

+ i sen
_
n
0
(x +

n
n
0
)

_
. (2.23)
Pela equao (2.23), a interpretao do espectro de amplitudes imediata: nos mostra a
amplitude de cada harmnico em cada uma das freqncias que constituem o sinal. Por
exemplo, na Figura 2.4 o ponto
_
3,
1
3
_
signica que o harmnico de freqncia 3, isto , o
harmnico e
i3x
, possui amplitude
1
3
.
A interpretao do espectro de fases mais sutil: pela equao (2.23) observamos que a
translao horizontal (avano ou atraso) de cada harmnico que constitue o sinal dada por

n
n
0
. Assim, como o espectro de fases nos d a fase dos coecientes c
n
, para obtermos a
translao horizontal de cada harmnico devemos dividir
n
(a fase do coeciente) por n
0
(a freqncia do harmnico). Por exemplo, na Figura 2.5 o ponto
_
3,

2
_
signica que o
harmnico de freqncia 3, isto , o harmnico e
i3x
, deve ter sua fase atrasada (deslocada
para a direita) de
/2
3
=
1
6
radianos na sntese do sinal.
De posse dos espectros de amplitudes e de fases do sinal possvel obtermos sua representao em
Srie de Fourier, bastando reescrever os coecientes c
n
na forma exponencial dada pela equao (2.20).
Assim
c
n
= |c
n
|e
i
n
, (2.24)
onde |c
n
| obtido a partir dos espectros de amplitudes e
n
obtido a partir do espectro de fases. O
prximo Exemplo ilustra este procedimento.
Exemplo 2.5 Obtenha a representao em Srie de Fourier do sinal cujos espectros so dados nas
Figuras 2.6 e 2.7
Pelo espectro de amplitudes (Figura 2.6) observamos que
|c
n
| =
_
_
_
1
4
, se n = 0
0 , se n par
2
n
2

2
, se n mpar
; (2.25a)
e pelo espectro de fases (Figura 2.7)

n
=
_
0 , se n par
, se n mpar
. (2.25b)
Usando a equao (2.24), as equaes (2.25a) e (2.25b) podem ser combinadas para obtermos (lembrando-
se que e
i
= cos() + isen() = 1)
c
n
=
_
_
_
1
4
, se n = 0
0 , se n par

2
n
2

2
, se n mpar
. (2.25c)
41
E
T
1
4
b

b
2

2
2
b
3
b 2
9
2
4
b
5
b 1
25
2
6
b
7
b 1
49
2

b
2
b
3
b
4
b
5
b
6
b
7
b
n
0
|c
n
|
Figura 2.6: Espectro de amplitudes do Exemplo 2.5.
Assim, de acordo com a equao (2.12), observando nos espectros que
0
= ), a representao em
Srie de Fourier complexa deste sinal dada por
5
f(x)
1
4

2

kZ
1
(2k + 1)
2
e
i(2k+1)x
.
ou, na forma expandida
f(x) . . .
2
25
2
e
5ix

2
9
2
e
3ix

2
e
ix
+
1
4

2

2
e
ix

2
9
2
e
3ix

2
25
2
e
5ix
. . .
Para obtermos os coecientes trigonomtricos inicialmente observamos, pela equao (2.25c), que
c
n
= c
n
. Assim, pela equao (2.15a) temos
a
n
= c
n
+ c
n
=
_
0 , se n par

4
n
2

2
, se n mpar
,
e pela equao (2.15b)
ib
n
= c
n
c
n
= 0, donde b
n
= 0.
Finalmente, pela equao (2.11), temos a
0
=
1
2
. Assim, de acordo com a equao (2.1), a representao
em Srie de Fourier trigonomtrica deste sinal dada por
6
f(x)
1
4

4

k=1
1
(2k 1)
2
cos [(2k 1)x] .
ou, na forma expandida
f(x)
1
2

4

2
cos(x)
4
9
2
cos(3x)
4
25
2
cos(5x) + . . .
5
Compare com a equao (??).
6
Compare com a equao (1.13c).
42
E
T
7 6 5 4 3 2 2 3 4 5 6 7
b b b b b b b b
b b b b b b b

n
0

n
Figura 2.7: Espectro de fases do Exemplo 2.5.
2.3.1 Problemas Propostos
Problema 2.10 A partir dos coecientes complexos obtidos no Exemplo 2.1 (pgina 31), trace os espec-
tros de amplitudes e de fases da onda quadrada da Figura 1.4 (pgina 9).
Problema 2.11 A partir dos coecientes complexos obtidos no Exemplo 2.3 (pgina 32), trace os espec-
tros de amplitudes e de fases da onda triangular da Figura 1.5 (pgina 11).
Problema 2.12 A partir dos coecientes complexos obtidos no Problema 2.7 (pgina 34), trace os es-
pectros de amplitudes e de fases da onda da Figura 1.10 (pgina 20).
E
T
n
0
|c
n
|
a
1
2
a
2

a
2
a
2
3
3
a
4
a
2
5
5
a
6
a
2
7
7
a
8
(a) Espectros de amplitudes do Problema 2.13.
E
T
n
0

n
a

2

a
2
a
3
a
4
a
5
a
6
a
7
a
8
(b) Espectros de fases do Problema 2.13.
Figura 2.8: Espectros do Problema 2.13.
43
Problema 2.13 Obtenha a representao em Srie de Fourier (Complexa e Trigonomtrica) do sinal
cujos espectros so dados na Figura 2.8.
Problema 2.14 Obtenha a representao em Srie de Fourier (Complexa e Trigonomtrica) do sinal
cujos espectros so dados na Figura 2.9.
E
T
n
0
|c
n
|
a
a 1
1
a
1
2
2
a
1
3
3
a
1
4
4
a
1
5
5
(a) Espectros de amplitudes do Problema 2.14.
E
T
n
0

n
a

4
1
a

4
2
a
3
a
4
a
5
(b) Espectros de fases do Problema 2.14.
Figura 2.9: Espectros do Problema 2.14.
Problema 2.15 Mostre que para uma funo peridica um atraso no tempo no tem nenhum efeito
sobre o espectros de amplitudes mas altera o espectro de fases por n
0
, isto , gera um atraso de n
0

para a componenete de freqncia n

0
.
44
Formulrio
Resumimos aqui alguns resultados e algumas primitivas correntemente utilizadas quando trabalhamos
com Sries de Fourier. Sugerimos ao leitor vericar a veracidade de cada um destes resultados quando
utiliz-los pela primeira vez.
(1) cos(n) = (1)
n
=
_
1 , se n par
1 , se n mpar
, n Z.
(2) sen(n) = 0, n Z.
(3)
_
xsen(n
0
x)dx =
x
n
0
cos(n
0
x) +
1
n
2

2
0
sen(n
0
x).
(4)
_
xcos(n
0
x)dx =
x
n
0
sen(n
0
x) +
1
n
2

2
0
cos(n
0
x).
(5)
_
xe
in
0
x
dx =
_
ix
n
0
+
1
n
2

2
0
_
e
in
0
x
.
(6)
_
x
2
sen(n
0
x)dx =
x
2
n
0
cos(n
0
x) +
2x
n
2

2
0
sen(n
0
x) +
2
n
3

3
0
cos(n
0
x).
(7)
_
x
2
cos(n
0
x)dx =
x
2
n
0
sen(n
0
x) +
2x
n
2

2
0
cos(n
0
x)
2
n
3

3
0
sen(n
0
x).
45
Referncias Bibliogrcas
[1] [Boyce1990] Boyce, Willian E.; Diprima, Richard C. Equaes Diferenciais Elementares e
Problemas de Valores de Contorno. Terceira Edio. Editora Guanabara Koogan S.A. Rio
de Janeiro, RJ, 1990.
[2] [Edwards1995] Edwards Jr, C.H.; Penney, D. E. Equaes Diferenciais Elementares e Proble-
mas de Valores de Contorno. Terceira Edio. Editora Prentice-Hall do Brasil. Rio de Janeiro,
RJ, 1995.
[3] [Djairo1977] Figueiredo, Djairo Guedes. Anlise de Fourier e Equaes Diferenciais Parciais.
Rio de Janeiro, Instituto de Matemtica Pura e Aplicada, CNPq, 1977 (Projeto Euclides).
[4] [Hsu1970] Hsu, Hwei P. Anlise de Fourier. Livros Tcnicos e Cientcos Ltda. Rio de Janeiro,
Guanabara, 1970.
46