Escolar Documentos
Profissional Documentos
Cultura Documentos
Fabiano J. Santos
Julho de 2004
Sumrio
Lista de Figuras
iii
1.4
1.5
1.6
Funes Peridicas . . . . . . . . . . . . . . . . . .
1.1.1 Problemas Propostos . . . . . . . . . . . . .
Relaes de Ortogonalidade . . . . . . . . . . . . .
1.2.1 Problemas Propostos . . . . . . . . . . . . .
Sries de Fourier . . . . . . . . . . . . . . . . . . .
1.3.1 Determinao dos Coecientes de Fourier .
1.3.2 Exemplos de Sries de Fourier . . . . . . . .
1.3.3 Problemas Propostos . . . . . . . . . . . . .
O Teorema de Fourier* . . . . . . . . . . . . . . . .
Simetria ondulatria . . . . . . . . . . . . . . . . .
1.5.1 Propriedades das funes pares e mpares .
1.5.2 Sries de Fourier de funes pares e mpares
1.5.3 Problemas Propostos . . . . . . . . . . . . .
Expanses peridicas . . . . . . . . . . . . . . . . .
1.6.1 Expanses em meio perodo . . . . . . . . .
1.6.2 Problemas Propostos . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.2
2.3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
5
6
7
7
8
10
14
16
18
19
22
25
26
28
30
33
33
36
36
39
41
44
45
46
2.3.2
Problemas Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
Formulrio
53
Referncias Bibliogrcas
54
ii
Lista de Figuras
1.1
1.2
1.3
1.4
1.5
1.6
1.7
1.8
1.9
1.10
1.11
1.12
1.13
1.14
1.15
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8
2.9
.
.
.
.
.
.
.
.
.
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
[0, a] .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
2
3
11
13
17
18
19
21
23
25
27
28
31
32
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
41
43
44
47
47
49
50
51
52
Captulo 1
x
P
positivo temos
f (x) = f (x + nP ),
ou seja, qualquer mltiplo inteiro positivo nP de P tambm um periodo de f . O menor
valor de P que satisfaz a equao (1.1) chamado perodo fundamental de f e ser denotado por T . Qualquer outro perodo de f ser um mltiplo inteiro do perodo fundamental.
A Figura 1.2 ilustra tal conceito.
6
f (x)
Perodo fundamental
T
P = 2T
P = 3T
1
P
2
.
P
Exemplo 1.1 A funo f (x) = sen(x) peridica com perodo fundamental T = 2 e freqncia
fundamental 0 =
2
2
= 1 (Figura 1.3)
Exemplo 1.2 A funo f (x) = cos(x) peridica com perodo fundamental T = 2 e freqncia
fundamental 0 =
2
2
= 1 (Figura 1.3)
Exemplo 1.3 A funo constante f (x) = c tem como perodo qualquer nmero real P 6= 0 e
no possui perodo fundamental.
6
cos(x)
- x
sen(x)
Exemplo 1.4 Como as funes sen(x) e cos(x) possuem ambas perodo 2 , pela Proposio 1.1
observamos que:
(i) sen(2x) e cos(2x) possuem perodo 2
2 = ;
x
x
(ii) sen 2 e cos 2 possuem perodo 2 2 = 4 .
(iii) sen(2x) e cos(2x) possuem perodo 2
2 = 1;
2x
2x
(iv) sen T e cos T possuem perodo 2
2 T = T .
Alm disto, n Z, as funes
2nx
2nx
e cos
sen
T
T
possuem perodo
T
2
T = .
2n
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
2nx
2nx
h(x) = 1 sen
+ 2 cos
T
T
tal que h(x) = h(x + T ). Esta ltima armao de fundamental importncia, uma vez que
trabalharemos com sries innitas trigonomtricas da forma
X
2nx
2nx
+ bn sen
.
(1.2)
an cos
T
T
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 .
(f) y = cos(nx)
(b) y = tg(x)
(g) y = sen(nx)
(h) y = sen x
T
(c) y = x2
(d) y = sen(5x)
(e) y = cos(3x)
(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.
0 , 2n 1 x < 2n
, n = 0, 1, 2, . . .
(a) y =
1 , 2n x < 2n + 1
(1)n , 2n 1 x < 2n
(b) y =
, n = 0, 1, 2, . . .
1
, 2n x < 2n + 1
(3) Sejam f, g : R R funes peridicas de mesmo perodo T . Mostre que
(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) (f g)(x) = f (x)g(x) peridica de perodo T (isto , o produto de duas funes
peridicas de mesmo perodo tambm peridica);
(4) Seja f : R R uma funo peridica de perodo T e integrvel em toda a reta. Mostre
que
Z a+T
Z b+T
f (x)dx =
f (x)dx
a
(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.3a)
cosseno da soma:
(1.3b)
seno da diferena:
(1.3c)
cosseno da diferena:
(1.3d)
A partir destas frmulas obtemos trs identidades que utilizaremos adiante no clculo de
algumas integrais:
por (1.3b) + (1.3d) obtemos:
(1.4a)
(1.4b)
(1.4c)
Os resultados do Teorema 1.4 dado a seguir tambm ser importante para nosso trabalho
futuro.
2mx
2nx
0 , se m 6= n
cos
cos
dx =
;
T
, se m = n
T
T
2
2mx
2nx
0 , se m =
6 n
sen
sen
dx =
;
T
,
se
m
=
n
T
T
2
Z T
2nx
2mx
sen
dx = 0, m, n;
cos
T
T
0
(1.5a)
(1.5b)
(1.5c)
Prova de (1.5a)
Caso m 6= n. Utilizando a identidade (1.4a) podemos escrever:
Z
0
Z
2mx
2nx
1 T
2mx
2nx
2mx
2nx
cos
cos
cos
dx =
+
+ cos
T
T
2 0
T
T
T
T
Z
2(m + n)x
2(m n)x
1 T
cos
+ cos
=
2 0
T
T
1
T
2(m + n)x T
1
T
2(m n)x T
=
sen
+
sen
2 2(m + n)
T
2 2(m n)
T
0
0
T
sen 2(m + n) sen 0
=
4(m + n)
T
+
sen 2(m n) sen 0
= 0;
4(m n)
Z T
2nx
2nx 2
2x
cos
cos
cos
dx =
dx
T
T
T
0
Z T
1
4nx
dx
=
1 + cos
2 0
T
T
1
T
4nx
=
x+
sen
2
4n
T
0
T
T
1
T+
sen(4n) 0
sen(0)
=
2
4n
4n
1
T
=
T = ;
2
2
a0 X
2nx
2nx
+
an cos
+ bn sen
,
2
T
T
n=1
(1.6)
a0 X
2nx
2nx
+
an cos
+ bn sen
,
f (x)
2
T
T
(1.7)
n=1
onde os coecientes a0 , an e bn (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
a0 X
f (x)
+
an cos n0 x + bn sen n0 x ,
2
(1.8)
n=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.
Ta
f (x)dx =
an cos n0 x + bn sen n0 x dx
n=1
Z T
Z T
X
a0
=
dx +
an cos n0 x dx +
bn sen n0 x dx
2
0
0
0
n=1
X
T
T
a0 T
an
bn
=
x
sen n0 x
cos n0 x
+
2
n0
n0
0
0
0
n=1
X
bn
an
a0
sen n0 T sen 0
cos n0 T cos 0
T +
=
2
n0
n0
n=1
X
a0
an
bn
a0
=
T +
sen 2n 0
cos 2n 1 =
T,
2
n
n
2
0
0
n=1
T
Determinao de an : multiplicamos ambos os membros de (1.8) por cos m0 x e integramos sobre o intervalo [0, T ]:
Z
0
f (x)cos m0 x dx =
Ta
=
0
X
cos m0 x +
an cos n0 x cos m0 x + bn sen n0 x cos m0 x dx
n=1
Z T
X
a0
cos m0 x dx +
an
cos n0 x cos m0 x dx+
2
0
n=1
Z T
+ bn
sen n0 x cos m0 x dx.
0
Pela equao (1.5c) a segunda integral do somatrio nula. Pela equao (1.5a) a segunda
integral do somatrio nula para m 6= n e vale T2 para m = n. Assim temos
Z
0
T
a0
T
sen n0 x
+ an
2n0
2
0
a0
T
=
sen n0 T sen 0 + an
2n0
2
T
a0
T
=
sen 2n sen 0 + an = an ,
2n0
2
2
f (x)cos n0 x dx =
2 T
an =
f (x)cos n0 x dx.
T 0
(1.9b)
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].
Determinao de bn : multiplicamos ambos os membros de (1.8) por sen m0 x e integramos sobre o intervalo [0, T ]. Fica a cargo do leitor, Problema 7 da pgina 16, vericar
que
Z
2 T
bn =
f (x)sen n0 x dx.
(1.9c)
T 0
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,
onde 0 = 2
T , so todas peridicas de mesmo perodo T , os resultados dos Problemas 3 (pgina
5) e 4 (pgina 6) nos mostram que tal integrao poderia se dar sobre qualquer intervalo de
comprimento T . Assim, para o clculo dos coecientes a0 , an e bn podemos integrar sobre
qualquer intervalo de comprimento T ; evidentemente escolhemos o intervalo mais conveniente.
a0 X
f (x)
+
an cos(n0 x) + bn sen(n0 x)
2
(1.10)
n=1
Figura 1.4.
3
A simbologia
R
T
10
f (x)
6
1
- x
1 , x < 0
f (x) =
, f (x + 2) = f (x).
1 , 0x<
2
T
= 1. Sua
2
2
f (x)dx =
Z 0
0
Z
1
1
1
1
1
dx +
dx =
x
x =
0+ +
0 = 1 + 1 = 0.
+
cos(nx)dx +
cos(nx)dx
0
0
1
1
=
sen(nx)
+
sen(nx)
n
n
0
1
1
=
sen(0) sen(n) +
sen(n) sen(0)
n
n
1
1
=
0 + sen(n) +
sen(n) 0 = 0,
n
n
an =
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.
11
Z
2
f (x)sen(nx)dx
2
Z 0
Z
1
sen(nx)dx +
sen(nx)dx
0
0
1
1
cos(nx)
cos(nx)
n
n
0
1
1
cos(0) cos(n)
cos(n) cos(0)
n
n
1
2
1
1 cos(n)
cos(n) 1) =
1 cos(n) .
n
n
n
bn sen(nx),
n=1
isto , a Srie s possui termos em senos5 . Substituindo o valor encontrado para bn podemos
escrever
X
2
f (x)
1 cos(n) sen(nx),
(1.12a)
n
n=1
que uma forma bastante desajeitada. Utilizando a equao (1) (Formulrio - pgina 53),
podemos reescrever bn como
0 , se n par
bn =
,
(1.12b)
4
se n mpar
n ,
isto , temos apenas termos para valores mpares de n. Assim, utilizando os valores de bn dados
pela equao (1.12b) a expanso da Srie (1.12a) ca
f (x)
4
4
4
4
sen(x) +
sen(3x) +
sen(5x) +
sen(7x) + . . .
3
5
7
ou, reescrevendo-a na forma de somatrio (observe que temos apenas termos mpares)
4X 1
sen (2k + 1)x .
f (x)
2k + 1
k=0
12
(1.12c)
f (x)
6
@
@
@
1
@
@
2
@
0
@
@
2
- x
x , 1 x < 0
f (x) =
, f (x + 2) = f (x).
x , 0x<1
Passemos ento aos clculos dos coecientes de Fourier.
Clculo de a0 : usando a equao (1.11a) temos
a0 =
2
2
1
1
f (x)dx =
2 0
2 1
x
1
1
1
x
1
xdx =
+
0 = + = 1.
+
= 0
2 1
2 0
2
2
2
2
xdx +
1
2
2
Z
f (x)cos(nx)dx
1
x cos(nx)dx +
1
x cos(nx)dx
0
13
2
2
Z
f (x)sen(nx)dx
1
x sen(nx)dx
x sen(nx)dx +
0
a0 X
f (x)
+
an cos(nx),
2
n=1
isto , a Srie possui o termo constante a20 e termos em cossenos6 . Substituindo o valores
encontrados para a0 e an podemos escrever
1 X 2
f (x) +
cos(n) 1 cos(nx).
(1.13a)
2
n2 2
n=1
Utilizando a equao (1) (Formulrio - pgina 53), podemos reescrever an como
0
, se n par
an =
,
n242 , se n mpar
(1.13b)
isto , temos apenas termos para valores mpares de n. Assim, utilizando os valores de an dados
pela equao (1.13b) a expanso da Srie (1.13a) ca
4
4
4
4
1
2 cos(x) 2 cos(3x)
cos(5x)
cos(7x) + . . .
2
2
9
25
49 2
ou, reescrevendo-a na forma de somatrio
f (x)
1
4 X
1
f (x) 2
sen (2k 1)x .
2
2
(2k 1)
k=0
14
(1.13c)
(a) [0, 2]
(b) [2, 0]
(c) [2, 4]
(2) Refaa os clculos do Exemplo 1.6 (pgina 13) integrando sobre o intervalo
(a) [0, 2]
(b) [2, 0]
(c) [2, 4]
(5) Para cada funo peridica a seguir esboce seu grco em um intervalo de trs perodos e
encontre sua representao em Srie de Fourier.
0 , 1 x < 0
(a) f (x) =
, f (x) = f (x + 2).
1 , 0x<1
0 , x < 0
(b) f (x) =
, f (x + 2) = f (x).
x , 0x<
3 x , 3 x < 0
(c) f (x) =
, f (x) = f (x + 6).
3x , 0x<3
0
, x < 0
, f (x) = f (x + 2).
(d) (reticador de meia onda) f (x) =
sen(x) , 0 x <
(e) (reticador de onda completa) f (x) = sen(x), 0 x < , f (x) = f (x + ).
15
(6) Use a representao em Srie de Fourier da onda triangular da Figura 1.5, dada pela
equao (1.13c), para mostrar que
2
1 1
1
1
1
=1 +
+
+ ...
8
4 9 16 25 49
(7) Verique a validade da equao (1.9c).
xa
xa+
de modo que f seja contnua em cada subintervalo aberto ti1 < x < ti , i = 1, . . . , n (Figura
1.6(a)).
Em outras palavras, f seccionalmente contnua no intervalo [a, b] se ela contnua em todo o
intervalo, exceto em um nmero nito de pontos t0 < t1 < . . . < tn deste intervalo. importante
observar que, pela continuidade em cada subintervalo, os limites laterais
xa+
i
xa
i
6f (x) =
f (x)
6
1
x
b
x
tnua.
a0 X
1
+
an cos(n0 x) + bn sen(n0 x) = f (x 0) + f (x + 0) .
2
2
(1.14)
n=1
A demonstrao do Teorema de Fourier est alm do escopo deste texto introdutrio. Vamos
simplesmente comentar sobre dois aspectos importantes do Teorema.
Para ser representvel por uma Srie de Fourier uma funo f deve ser peridica e seccionalmente 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 funes7 .
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.
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].
17
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.
f (a)
f (b)
f (b)
Geometricamente, se f mpar seu grco simtrico em relao origem (Figura 1.8). Observe
que f (a) = f (a), f (b) = f (b) etc.
f (x)
6
f (b)
f (a)
f (a)
f (b)
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 obrigatoriamente teremos
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 FsicaMatemtica e Engenharia.
Prova de P4
Sejam I1 , I2 : R R duas funes mpares, isto I1 (x) = I1 (x) e I2 (x) = I2 (x).
I1 (x)
I2 (x) ;
logo temos:
I1 (x)
I1 (x)
I1 (x)
=
=
= Q(x),
I2 (x)
I2 (x)
I2 (x)
Q(x) =
I1 (x)
I2 (x)
f (x)dx = 2
L
f (x)dx
0
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.9(a). Formalmente temos:
Z L
Z 0
Z L
f (x)dx =
f (x)dx +
f (x)dx;
L
20
f (x)dx.
f (x)
6
x
L
(a) Funo par: reas nos intervalos [L, 0] e [0, L] iguais com mesmo sinal.
6f (x)
(b) Funo mpar: reas nos intervalos [L, 0] e [0, L] iguais com sinais contrrios.
f (x)dx = 0
L
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(b). Formalmente temos:
Z L
Z 0
Z L
f (x)dx =
f (x)dx +
f (x)dx;
L
21
2
T ,
f (x)
a0 X
+
an cos(n0 x).
2
(1.15a)
n=1
Para a vericao desta proposio suponhamos que f par e peridica de perodo T = 2L,
onde L o meio perodo.
(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].
4 L
2 T
f (x)cos n0 x dx =
f (x)cos n0 x dx,
(1.15c)
an =
T 0
T 0
uma vez que pela a propriedade P1 o integrando f (x)cos n0 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 bn , equao (1.11c), obtemos:
Z
Z
2 T
2 L
bn =
f (x)sen n0 x dx =
f (x)sen n0 x dx = 0,
T 0
T L
uma vez que pela a propriedade P3 o integrando f (x)sen n0 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.6 na pgina 13).
6f (x)
3 1
2
x
= .
x dx = 2
3 0 3
2
4
2
x2 cos(nx)dx.
1
2x
4 x2
2
sen(nx) + 2 2 cos(nx) 3 3 sen(nx)
an =
2 n
n
n
0
4 1
2
2
2
=
sen(n) + 2 2 cos(n) 3 3 sen(n) 0 0 3 3 sen(0)
2 n
n
n
n
4
= 2 2 cos(n)
n
Assim, pela equao (1.15a) com 0 = , a representao em Srie de Fourier da funo ca
f (x)
4 X cos(n)
1
+ 2
cos(nx),
3
n2
n=1
4 X (1)n
1
cos(nx).
f (x) + 2
3
n2
n=1
23
(1.16)
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 =
f (x)
2
T ,
bn sen(n0 x).
n=1
Para a vericao desta proposio suponhamos que f mpar e peridica de perodo T = 2L,
onde L o meio perodo.
2
T
f (x)dx =
0
2
T
f (x)dx = 0,
L
uma vez que o integrando mpar e pela Proposio 1.11 a integral se anula.
2
f (x)cos n0 x dx =
T
f (x)cos n0 x dx = 0,
uma vez que pela a propriedade P3 o integrando f (x)cos n0 x mpar e pela Proposio
1.11 a integral se anula.
Calculando bn , equao (1.11c), obtemos:
bn =
2
T
Z
0
4
f (x)sen n0 x dx =
T
Z
0
f (x)sen n0 x dx,
(1.17b)
uma vez que pela a propriedade P2 o integrando f (x)sen n0 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.5 na pgina
10.)
Exemplo 1.9 Determine a representao em Srie de Fourier da onda dente de serra mostrada
na Figura 1.11.
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).
24
f (x)
6
3 2
- x
Neste caso, como a onda apresenta simetria mpar temos a0 = an = 0 e devemos determinar
apenas bn . Substituindo T = 2 , L = e 0 = 1 na equao (1.17b) obtemos
Z
Z
2
4
xsen(nx)dx =
xsen(nx)dx,
bn =
2 0
0
e pela equao (3) (Formulrio - pgina 53)
2
x
1
2
bn =
cos(nx) + 2 sen(nx) = cos(n).
n
n
n
0
Usando a equao (1) (Formulrio - pgina 53) bn pode ser reescrito como
bn = 2
(1)n
.
n
Assim, pela equao (1.17a) com 0 = 1, a representao em Srie de Fourier da onda dente
de serra ca
X
(1)n
f (x) 2
sen(nx),
(1.18)
n
n=1
ou na forma expandida
2
2
2
2
2
f (x) sen(x) sen(2x) + sen(3x) sen(4x) + sen(5x) . . .
1
2
3
4
5
(a) y = x3
(c) y = x3 2x + 1
(e) y = sec(x)
(b) y = x3 2x
(d) y = tg(2x)
(f) y = |x|3
(2) Usando as propriedades das funes pares e mpares calcule as integrais dadas.
(a)
(b)
(c)
R1
1 xdx
(d)
4
1 x dx
(e)
R1
(f)
xsen(nx)dx
2
sen 2nx
cos 2nx
T
T
T2
R 4
x sen(nx)dx
R
xcos(nx)dx
dx
(3) Nos problemas a seguir determine a representao em Srie de Fourier pedida para a funo
dada. Esquematize o grco desta representao utilizando 3 perodos.
1 , 0x<
, srie de cossenos, T = 4.
(a) f (x) =
0 , x < 2
1 , 0x<
(b) f (x) =
, srie de senos, T = 4.
0 , x < 2
x , 0x<1
(c) f (x) =
, srie de cossenos, T = 4.
1 , 1x<2
x , 0x<1
(d) f (x) =
, srie de senos, T = 4.
1 , 1x<2
(e) f (x) = x, 0 x < , srie de cossenos, T = 2. (Compare com o Exemplo 1.6 na
pgina 13.)
(f) f (x) = x, 0 x < , srie de senos, T = 2. (Compare com o Exemplo 1.9 na
pgina 24.)
(4) Prove as propriedades S1, S2, S3, P1 e P3 da soma (diferena) e produto (quociente) de
funes pares e mpares da pgina 19 do texto. (Sugesto: veja a prova de P2 na pgina
20).
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.
26
f (x)
6
f (x)
6
3a
2a
2a
3a
xdx =
0
2
2 x2
0 = .
=
2 0
2
xcos(2nx)dx =
0
1
2 x
sen(2nx) +
cos(2nx)
=0
2n
4n2
0
xsen(2nx)dx =
0
1
2
1
1
x
= cos(2n) =
cos(2nx) +
sen(2nx)
2n
4n2
n
n
0
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 .
27
X1
f (x)
sen(2nx),
2
n
n=1
ou na forma expandida
f (x)
1
1
1
1
1
sen(2x) sen(4x) sen(6x) sen(8x) sen(10x) . . .
2 1
2
3
4
5
f (x)
6
f (x)
6
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 representao em Srie de Fourier de uma funo f denida apenas no 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).
28
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 determinamos 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.
Z
4
2 x2
a0 =
xdx =
=
0 = .
2 0
2 0
2
Clculo de an : usando a equao (1.15c), com 0 = 1, temos
an =
4
2
xcos(nx)dx =
0
2 x
1
2
sen(nx) + 2 cos(nx) = 2 cos(n) 1
n
n
n
0
0
, se n par
an =
,
n42 , se n mpar
Assim, pela equao (1.15a) com 0 = 1, a representao em Srie de Fourier da expanso
par de f ca
1
f (x) 4
cos
(2k
1)x
,
2
(2k 1)2
k=1
ou na forma expandida
f (x)
4
4
4
4
4
cos(x)
cos(3x)
cos(5x)
cos(7x)
sen(9x) . . .
2
9
25
49
81
29
x , 0x<
,
, x < 2
1
, 0x<1
(2) Dada a funo f (x) =
,
2x , 1x<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.
30
6f (x)
6f (x)
3a
2a
2a
3a
6f (x)
-
3a
2a
2a
3a
Figura 1.14: Expanses par e mpar de uma funo denida sobre o intervalo [0, a]
31
6f (x)
@
@
2
@
@
32
Captulo 2
a0 X
f (x)
+
an cos(n0 x) + bn sen(n0 x)
(2.1)
2
n=1
0 =
2
.
T
(2.2a)
(2.2b)
(2.2c)
Nosso objetivo obter uma representao em Srie de Fourier em termos de funes exponenciais complexas da forma
2
ein0 x , 0 =
, n Z,
T
33
ao invs dos termos trigonomtricos da equao (2.1). Pela denio da funo exponencial
complexa
ex+iy = ex [cos(y) + isen(x)],
temos que
(2.3a)
in0 x
(2.3b)
uma vez que o cosseno par, cos() = cos(), e o seno mpar, sen() = sen(). Assim,
por (2.3a)+ (2.3b), obtemos
1 in0 x
in0 x
cos(n0 x) =
e
+e
;
(2.4a)
2
e por (2.3a) (2.3b), lembrando que
1
i
= i, obtemos
1
in0 x
in0 x
e
.
sen(n0 x) = i e
2
(2.4b)
X
X
1
1
in0 x
in0 x
in0 x
in0 x
an e
+e
i bn e
e
an cos(n0 x) + bn sen(n0 x) =
2
2
n=0
n=0
n=0
1
1
an ibn ein0 x + an + ibn ein0 x .
2
2
(2.5)
cn =
1
an ibn ,
2
(2.6)
e observamos que
1
an + ibn ,
2
de modo que a equao (2.5) pode ser reescrita como
cn =
an cos(n0 x) + bn sen(n0 x) =
n=0
cn ein0 x + cn ein0 x .
n=0
(2.7)
Assim
1
an + ibn = an ibn = cn ,
2
2
e o somatrio em (2.7) pode ser reescrito como
cn =
an cos(n0 x) + bn sen(n0 x) =
n=0
cn ein0 x + cn ein0 x ,
n=0
an cos(n0 x) + bn sen(n0 x) =
n=0
X
n
cn ein0 x .
Pelas equaes (2.2b) e (2.2c) o coeciente cn , denido pela equao (2.6), ca
1
cn =
an ibn
2 Z
Z
1 2
2
=
f (x)cos(n0 x)dx i
f (x)sen(n0 x)dx
2 T T
T T
Z
1
=
f (x) cos(n0 x) isen(n0 x) dx
T T
Z
1
f (x)ein0 x , n Z
=
T T
Denimos tambm c0 =
a0
2 ,
isto ,
12
a0
=
c0 =
2
2T
Z
T
1
f (x)dx =
T
(2.8)
(2.9)
Z
f (x)dx.
T
(2.10)
2
in0 x
e
, 0 =
, nZ
T
forma uma base ortonormal, de dimenso innita, para o espao das funes seccionalmente
diferencivies e peridicas de perodo T . A equao (2.11) exatamente a representao de uma
funo deste espao nesta base. Os coecientes cn de cada funo base so dados pelos produtos
internos da equao (2.12). 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].
ein0 x , 0 = 2/T, n Z.
Neste contexto denominamos as funes ein0 x de harmnicos, ou seja, os constituintes fundamentais de uma onda qualquer. Dizemos que ei0 x o primeiro harmnico (ou harmnico
fundamental, pois possui a mesma freqncia de f ); ei20 x o segundo harmnico (sua freqncia o dobro da freqncia de f ); ei30 x o terceiro harmnico (sua freqncia o triplo da
freqncia de f ); e assim por diante. A equao (2.11), 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 cn , dado pela equao (2.12), chamada equao equao de anlise.
Conforme veremos adiante, o coeciente cn nos informa a amplitude e o ngulo de fase de cada
um dos harmnicos constituintes de f .
1 , x < 0
f (x) =
, f (x + 2) = f (x).
1 , 0x<
36
Z 0
Z
1
einx dx +
einx dx
=
2
0
0
1 1 inx
1 inx
=
e
in e
2 in
1 1
1
=
1 ein
ein 1
2 in
in
1 2
1
1 2
2
in
in
=
e +e
=
cos(n)
2 in in
2 in in
i
1
=
1 cos(n) =
cos(n) 1 .
in
n
(2.13a)
Observe que c0 no pode ser calculado pela equao (2.13a), pois resultaria em diviso por zero.
Logo devemos calcul-lo separadamente:
Z 0
Z
Z
1
1
1
c0 =
dx +
dx =
+ = 0
(2.13b)
f (x)dx =
2
2
2
0
Utilizando a equao (1) (Formulrio - pgina 53), podemos reescrever a equao (2.13a) como
0 , se n par
cn =
.
(2.13c)
2i
n
, se n mpar
Assim, substituindo 0 = 1 na equo (2.11), a representao em Srie de Fourier Complexa da
onda quadrada da Figura 1.4 dada por
f (x)
2i X 1
ei(2k+1)x .
2k + 1
k
2i 5ix
2i 3ix 2i ix 2i ix
2i 3ix 2i 5ix
e
e
e
e
e e ...
5
3
Exemplo 2.2 A partir dos coecientes complexos cn do Exemplo 2.1 determine os coecientes
trigonomtricos a0 , an e bn .
37
Como c0 = a20 , equao (2.10), pelo resultado da equao (2.13b) temos a0 = 0. Para
determinarmos an e bn observamos, pela equao (2.6), que
cn =
cn =
1
an ibn ,
2
1
an + ibn ;
2
(2.14a)
(2.14b)
donde
fazendo (2.14a)+(2.14b) :
fazendo (2.14b)(2.14a) :
cn + cn ,
(2.14c)
ibn = cn cn .
(2.14d)
an =
i
(i)
an =
cos(n) 1 +
cos(n) 1 = 0.
n
n
Usando a equao (2.14d) e o resultado da equao (2.13a), obtemos
i
(i)
2i
ibn =
cos(n) 1
cos(n) 1 =
cos(n) 1 ,
n
n
n
logo
bn =
2
cos(n) 1 ,
n
0 , se n par
bn =
.
4
se n mpar
n ,
Observe que os resultados a0 = an = 0 j eram esperados, uma vez que a onda quadrada em
questo possui simetria mpar. Compare este resultado com o Exemplo 1.5 na pgina 10.
x , 1 x < 0
f (x) =
, f (x + 2) = f (x).
x , 0x<1
38
Z 1
1
inx
inx
=
xe
dx +
xe
dx .
2 1
0
(2.15a)
Pela equao (5) (Formulrio - pgina 53) com 0 = , a equao (2.15a) torna-se
ix
ix
1
1
1
inx 0
inx 1
e
+
e
cn =
+
+
1
0
2
n n2 2
n n2 2
1
1
i
1
i
1
1
in
in
=
2 2+
+
e +
+
e
2 2 ,
2
n
n n2 2
n n2 2
n
e como, para n Z, ein = cos(n) = cos(n) = ein , obtemos
1
2
2
1
cn =
2 2 + 2 2 cos(n) = 2 2 cos(n) 1 .
2
n
n
n
(2.15b)
Observe que c0 no pode ser calculado pela equao (2.15b), pois resultaria em diviso por zero.
Logo devemos calcul-lo separadamente:
Z 0
Z 1
Z
1
x 0
1
1 1
1
x2 1
1 1 1
xdx +
xdx =
+
=
c0 =
f (x)dx =
+
=
1
0
2 1
2 1
2
2
2
2 2 2
2
0
Usando a equao (1), a equao (2.15b) torna-se
0
, se n par
cn =
.
n222 , se n mpar
Assim, substituindo 0 = na equo (2.11), a representao em Srie de Fourier Complexa da
onda triangular da Figura 1.5 dada por
f (x)
1
2 X
1
2
ei(2k+1)x .
2
(2k + 1)2
k
(2.15c)
2
2
2
1
2
2
2
e5ix 2 e3ix 2 eix + 2 eix 2 e3ix 2 e5ix . . .
25 2
9
2
9
(a) [0, 2]
(b) [2, 0]
(c) [2, 4]
(2) Refaa os clculos do Exemplo 2.3 (pgina 38) integrando sobre o intervalo
(a) [0, 2]
(b) [2, 0]
(c) [2, 4]
(3) A partir dos coecientes complexos cn do Exemplo 2.3 determine os coecientes trigonomtricos a0 , an e bn . Compare o resultado com o Exemplo 1.6 na pgina 13.
(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.
0 , 1 x < 0
, f (x) = f (x + 2).
(a) f (x) =
1 , 0x<1
0 , x < 0
(b) f (x) =
, f (x + 2) = f (x).
x , 0x<
3 x , 3 x < 0
(c) f (x) =
, f (x) = f (x + 6).
3x , 0x<3
0
, x < 0
(d) (reticador de meia onda) f (x) =
, f (x) = f (x + 2).
sen(x) , 0 x <
(e) (reticador de onda completa) f (x) = sen(x), 0 x < , f (x) = f (x + ).
(5) Obtenha a representao em Srie de Fourier Complexa da funo peridica do Problema
3 da pgina 15 a partir de sua representao em Srie de Fourier Trigonomtrica.
(6) Obtenha a representao em Srie de Fourier Complexa da funo peridica do Problema
4 da pgina 15 a partir de sua representao em Srie de Fourier Trigonomtrica.
(7) Obtenha a representao em Srie de Fourier Complexa da funo peridica do Exemplo
1.8 da pgina 22 a partir de sua representao em Srie de Fourier Trigonomtrica.
(8) Analise as equaes (2.6) e (2.10) para se convencer que:
(a) Se f possui simetria par ento os coecientes cn de sua expanso em Srie de Fourier
Complexa so nmeros reais puros;
(b) Se f possui simetria mpar ento os coecientes cn de sua expanso em Srie de Fourier
Complexa so nmeros imaginrios puros;
40
b z = x + iy = (x, y)
|z|
eixo real
z = x + iy = (x, y),
1
Jean
2
Robert Argand (1768-1822), Matemtico francs. Seu artigo sobre o plano complexo apareceu em 1806.
A cada nmero complexo est associado um nico ponto do plano, e a cada ponto do plano est associado
um nico nmero complexo.
41
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.
arctg xy
, se x 6= 0 e y 6= 0
, se x = 0 e y > 0
2
, se x = 0 e y < 0 .
(2.18)
=
0
,
se
y
=
0
e
x
>
0
, se y = 0 e x < 0
42
eixo imaginrio
6
b z1 = i, =
zb 4 = 7, =
zb 3 = 4, = 0
- eixo real
b z2 = 2i, =
2
z = x + iy = |z|cos() + i |z|sen(),
ou seja
z = |z|[cos() + isen()],
(2.19)
cos() + isen() = ei ,
de modo que a forma polar dada pela equao (2.19) pode ser reescrita como
z = |z|ei ,
(2.20)
z = |z|, ,
(2.21)
43
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.
eixo imaginrio
6
b (2, 2) 22,
4
b (0, 1) 1,
2
(3, 0) (3, )
(3, 0) (3, 0)
- eixo real
b (0, 1) 1,
2
b
(2, 2) 2 2, 3
4
(e) z = 2 + 3i
(i) z = 3
(a) z = 2 + 2i
(b) z = 3 3i
(f) z = 1 3i
(j) z = 5
(c) z = 1 i
(g) z = 1 3i
(k) z = 2i
(d) z = 2 + 3i
(h) z = 2 + 2i
(l) z = 4i
44
f (n) = |f (n)|, n
e a seguir traamos os grcos |f (n)| n e n n separadamente.
Usando o segundo raciocnio podemos representar cn atravs de dois diagramas [4]: um para
as amplitudes (conhecido como espectro de amplitudes) e outro para as fases (conhecido como
espectro de fases):
Observamos que nos espectros de amplitudes e de fases utilizamos n0 (isto , mltiplos inteiros da freqncia
fundamental) como varivel independente, e no simplesmente n. O motivo simples: n0 so exatamente as
freqncias dos (innitos) harmnicos que ocorrem na expanso em Srie de Fourier.
45
Exemplo 2.4 Determine os espectros de amplitudes e de fases da onda dente de serra do Exemplo 1.9 (pgina 24) mostrada na Figura 1.11 (pgina 25).
Conforme vimos no Exemplo 1.9 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).
A partir dos coecientes trigonomtricos usamos as equaes (2.6) e (2.10) para determinarmos cn . Pela equao (2.6) temos
1
1
2
cos(n)
cn = an ibn =
0 + i cos(n) = i
,
(2.22)
2
2
n
n
e pela equao (2.10) temos c0 =
reescrever a equao (2.22) como
0 ,
i
,
cn =
ni
n ,
se n = 0;
se n > 0 e n par ou se n < 0 e n mpar,
se n > 0 e n mpar ou se n < 0 e n par,
ou na forma fasorial
0) ,
(0,
1
,
,
cn = |cn |, n =
1n 2
,
,
n
2
se n = 0;
se n > 0 e n par ou se n < 0 e n mpar,
se n > 0 e n mpar ou se n < 0 e n par,
Para obtermos o espectro de amplitudes grafamos |cn | (a primeira componente de cada par
ordenado da forma fasorial) em funo de n0 , 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 n0 , neste caso, em funo de n . A Figura 2.5 ilustra o
espectro obtido.
6|cn |
1 b
1
2
1
5
1
4
1
3
b1
b1
2
b1
b1
b
0
b1
5
5 n0
4
5
2
3
2 b
n
6
b
0
2 b
3
2
b
2
b
2
5 n0
b
2
47
cn = |cn |ei n .
Assim, cada termo na Srie Complexa dada pela equao (2.11) pode ser reescrito como
n
n
= |cn | cos n0 (x +
) + i sen n0 (x +
) .
n0
n0
(2.23)
Exemplo 2.5 Obtenha a representao em Srie de Fourier do sinal cujos espectros so dados
nas Figuras 2.6 e 2.7
48
|cn |
6
b1
4
2
2
2
9 2
b
b
b
b
7 6 5 4 3 2
1
25 2
b
3
b
5
1
49 2
n0
(2.25a)
n =
se n par
.
se n mpar
0 ,
,
1
,
4
0
,
cn =
n222 ,
(2.25b)
(2.25c)
Assim, de acordo com a equao (2.11), observando nos espectros que 0 = ), a representao em Srie de Fourier complexa deste sinal dada por4
f (x)
1
2 X
1
2
ei(2k+1)x .
4
(2k + 1)2
k
49
n
6
b
7 6 5 4 3 2
b
3
b
5
n0
2
2
2
2
1
2
2
e5ix 2 e3ix 2 eix + 2 eix 2 e3ix
e5ix . . .
25 2
9
4
9
25 2
0
, se n par
an = cn + cn =
,
n242 , se n mpar
e pela equao (2.14d)
ibn = cn cn = 0, donde bn = 0.
Finalmente, pela equao (2.10), temos a0 = 12 . Assim, de acordo com a equao (2.1), a
representao em Srie de Fourier trigonomtrica deste sinal dada por5
f (x)
1
4 X
1
2
cos [(2k 1)x] .
4
(2k 1)2
k=1
1
4
4
4
2 cos(x) 2 cos(3x)
cos(5x) + . . .
2
9
25 2
50
|cn | 2
6
a
n
6
a 2
a 21
2
a 3
2
a 5
a
3
a
5
2
a 7
7
a -
8 n0
a
3
a
5
a 7
8 n0
51
|cn |
6
a1
n
6
a4
a 12
4
3
n0
a 13
a 41
a
1
a 15
5
a 4
n0
52
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 , se n par
n
(1) cos(n) = (1) =
, n Z.
1 , se n mpar
(2) sen(n) = 0, n Z.
R
x
(3) xsen(n0 x)dx = n
cos(n0 x) +
0
(4)
(5)
(6)
(7)
R
R
R
R
xcos(n0 x)dx =
xein0 x dx =
x
n0
ix
n0
sen(n0 x) +
1
n2 02
1
n2 02
1
n2 02
x2
n0
cos(n0 x).
ein0 x .
x
x2 sen(n0 x)dx = n
cos(n0 x) +
0
x2 cos(n0 x)dx =
sen(n0 x).
sen(n0 x) +
2x
n2 02
2x
n2 02
sen(n0 x) +
cos(n0 x)
53
2
n3 03
2
n3 03
cos(n0 x).
sen(n0 x).
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
Problemas 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.
54