Академический Документы
Профессиональный Документы
Культура Документы
Fabiano J. Santos
Julho de 2004
Sumrio
Lista de Figuras 1 Funes Peridicas e Sries de Fourier
1.1 1.2 1.3 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
iii
1 5 6 7 7 8 10 14 16 18 19 22 25 26 28 30
1.4 1.5
1.6
2.2 2.3
Srie de Fourier Complexa . . . . . . . . . . . . . . . . . . . . . . 2.1.1 Interpretao Matemtica da Srie de Fourier . . . . . . . 2.1.2 Interpretao Conceitual da Srie de Fourier . . . . . . . . 2.1.3 Problemas Propostos . . . . . . . . . . . . . . . . . . . . . Nmeros Complexos - Formas de Representao . . . . . . . . . . 2.2.1 Problemas Propostos . . . . . . . . . . . . . . . . . . . . . Os espectros de Amplitude e de Fase . . . . . . . . . . . . . . . . 2.3.1 Comentrios sobre os Espectros de Amplitudes e de Fases i
33
33 36 36 39 41 44 45 46
2.3.2
Problemas Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
53 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
Uma funo peridica. . . . . . . . . . . . . . . . . . . . . . Periodo e perodo fundamental. . . . . . . . . . . . . . . . . Senides: sen(x) e cos(x). . . . . . . . . . . . . . . . . . . . Onda Quadrada - Perodo 2 . . . . . . . . . . . . . . . . . . Onda Triangular - Perodo 2. . . . . . . . . . . . . . . . . . . O conceito de funo seccionalmente contnua. . . . . . . . . . Uma funo par. . . . . . . . . . . . . . . . . . . . . . . . . Uma funo mpar. . . . . . . . . . . . . . . . . . . . . . . . Funo par e funo mpar no intervalo [L, L]. . . . . . . . . Funo peridica f (x) = x2 , 1 x < 1, Perodo 2. . . . . . Onda Dente de Serra - Perodo 2 . . . . . . . . . . . . . . . . Funo sobre o intervalo [0, a] e sua expanso peridica . . . . A funo f (x) = x no intervalo [0, ] e sua expanso peridica. Expanses par e mpar de uma funo denida sobre o intervalo Expanso par da funo f (x) = x denida no intervalo [0, ]. .
. . . . . . . . . . . . . [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
Representao do nmero complexo z = x + iy no plano complexo. Alguns nmeros complexos e suas respectivas fases (argumentos). . Alguns nmeros complexos - forma cartesiana e forma fasorial. . . Espectro de amplitudes da onda dente de serra da Figura 1.11. . . Espectro de fases da onda dente de serra da Figura 1.11. . . . . . Espectro de amplitudes do Exemplo 2.5. . . . . . . . . . . . . . . Espectro de fases do Exemplo 2.5. . . . . . . . . . . . . . . . . . Espectros do Problema 5. . . . . . . . . . . . . . . . . . . . . . Espectros do Problema 6. . . . . . . . . . . . . . . . . . . . . .
iii
Captulo 1
E x P P P
O perodo P o comprimento do intervalo em x necessrio para a imagem da funo se repetir. Segue da equao (1.1) que se f peridica de perodo P ento para qualquer n inteiro
1
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.
T f (x)
Perodo fundamental
T P = 2T P = 3T
E x
e nos d o nmero de repeties (ciclos) em cada intervalo unitrio em x. Se x 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 . P
Se T o periodo fundamental de f , ento sua freqncia (angular) fundamental, denotada por 0 , dada por 2 0 = T
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 = 0 e no possui perodo fundamental.
T
cos(x)
E x
sen(x)
Figura 1.3: Senides: sen(x) e cos(x). As duas proposies a seguir nos do duas propriedades importantes das funes peridicas.
P a;
x b
, b = 0, peridica de perodo bP .
tambm peridica de perodo P (isto , a combinao linear de funes peridicas de mesmo perodo tambm peridica, com mesmo perodo das funes que foram combinadas).
3
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 (ii) sen
x 2 2 2
= ;
e cos
x 2
possuem perodo 2 2 = 4 .
2 2 2 2
= 1; T = T.
e cos
2x T
possuem perodo
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 h(x) = 1 sen 2nx T + 2 cos 2nx T
dada pela combinao linear de f1 , f2 , . . . , fn 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 f1 , f2 , . . . , fn , . . . funes peridicas de mesmo perodo T , a srie innita dada por
tal que h(x) = h(x + T ). Esta ltima armao de fundamental importncia, uma vez que trabalharemos com sries innitas trigonomtricas da forma
an cos
2nx T
+ bn 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 .
+cos
+sen
+cos
(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 = (b) y =
(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
a+T b+T
f (x)dx =
a 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?)
sen( + ) = sen()cos() + cos()sen(), cos( + ) = cos()cos() sen()sen(), sen( ) = sen()cos() cos()sen(), cos( ) = cos()cos() + sen()sen().
A partir destas frmulas obtemos trs identidades que utilizaremos adiante no clculo de algumas integrais: por (1.3b) + (1.3d) obtemos: por (1.3d) (1.3b) obtemos: por (1.3a) (1.3c) obtemos:
Os resultados do Teorema 1.4 dado a seguir tambm ser importante para nosso trabalho futuro.
cos
0 T
0
T 2
, , , ,
se m = n ; se m = n se m = n ; se m = n
sen
0
0
T 2
cos
0
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 (pgina 7) e 2 (pgina 7) respectivamente. 6
Prova de (1.5a)
Caso m = n. Utilizando a identidade (1.4a) podemos escrever:
Z
0 T
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 + 2
an cos
n=1
2nx T
7
+ bn sen
2nx , T
(1.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 Fourier1 para f e escrevemos
f (x)
a0 + 2
an cos
n=1
2nx T
+ bn sen
2nx , T
(1.7)
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 . Assim T reescrevemos a srie (1.7) na forma mais conveniente
a0 f (x) + 2
an cos n0 x + bn sen n0 x ,
n=1
(1.8)
Raciocinando no sentido inverso, seja f uma funo peridica de perodo fundamental T e freqncia fundamental 0 = 2 . Surgem duas questes: T (i) como determinar os coecientes de Fourier a0 , an e bn 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.
f (x)dx =
0
Ta
2
T
an cos n0 x + bn sen n0 x
dx
Z T Z T a0 dx + an cos n0 x dx + bn sen n0 x dx 2 0 0 n=1 0 T T X an a0 T 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 n0 n0 2 n=1
n=1 X
a0 =
2 T
f (x)dx.
0
(1.9a)
Determinao de an : multiplicamos ambos os membros de (1.8) por cos m0 x e integramos sobre o intervalo [0, T ]:
Z
0 T
f (x)cos m0 x dx = =
Ta
2
T
cos m0 x +
dx
Z
0
a0 cos m0 x dx + an 2 n=1
n=1 X
+ bn
0
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 para m = n. Assim temos 2
Z
0 T
f (x)cos n0 x dx =
an =
2 T
T 0
f (x)cos n0 x dx.
(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 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 , so todas peridicas de mesmo perodo T , os resultados dos Problemas 3 (pgina T 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 f (x) + 2
an cos(n0 x) + bn sen(n0 x)
n=1
(1.10)
2 T .
onde 0 a freqncia fundamental de f (e tambm da Srie de Fourier), dada por 0 = coecientes a0 , an e bn so dados pelas Frmulas de Euler-Fourier3
Os
a0 = an = bn =
2 T 2 T 2 T
f (x)dx,
T
(1.11a)
n = 1, 2, . . . n = 1, 2, . . .
(1.11b) (1.11c)
Figura 1.4.
3
10
f T (x) 1 E x
0 1
O perodo desta onda quadrada T = 2 e sua freqncia fundamental 0 = forma analtica pode ser dada por4
f (x) = 1 , x < 0 1 , 0x< , f (x + 2) = f (x).
2 T
= 1. Sua
f (x)dx =
Z 0 0 Z 1 1 1 1 1 dx + dx = x x = 0+ + 0 = 1 + 1 = 0. + 0 0
11
pois sendo o cosseno par, cos(n) = cos(n). Substituindo a0 = 0, an = 0 e 0 = 1 na equao (1.10), a representao em Srie de Fourier desta onda quadrada tem a forma
f (x)
n=1
bn sen(nx),
isto , a Srie s possui termos em senos5 . Substituindo o valor encontrado para bn podemos escrever 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
bn = 0
4 n
, ,
se n par , se n mpar
(1.12b)
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)
4 f (x)
k=0
(1.12c)
12
f (x) T d d 1 d d
d d
d 2
d 0
d d 2
E x
Exemplo 1.6 Determine a representao em Srie de Fourier da onda triangular mostrada na Figura 1.5. O perodo desta onda triangular T = 2 e sua freqncia fundamental 0 = 2 = . Sua T forma analtica pode ser dada por
f (x) = x , 1 x < 0 x , 0x<1 , f (x + 2) = f (x).
1 0
f (x)dx =
1 1
xdx +
2 0 2 1 x 1 1 1 x 1 xdx = + 0 = + = 1. + = 0 2 1 2 0 2 2 2 2
2 2 Z
Z
0
f (x)cos(nx)dx
1
Z
0
x cos(nx)dx +
x cos(nx)dx
13
2 2 Z
Z
0
f (x)sen(nx)dx
1
Z
0
x sen(nx)dx +
x sen(nx)dx
Substituindo bn = 0 e 0 = na equao (1.10), a representao em Srie de Fourier desta onda triangular tem a forma a0 f (x) + an cos(nx), 2 n=1 isto , a Srie possui o termo constante a0 e termos em cossenos6 . Substituindo o valores 2 encontrados para a0 e an podemos escrever
f (x) 1 + 2
n=1
2 n2 2
cos(n) 1 cos(nx).
(1.13a)
se n par , 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 f (x) 2 2
k=0
(1.13c)
14
(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]
3 2
1 0
E
3 x
E
3 x
(5) 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) = (b) f (x) = (c) f (x) =
0 , 1 x < 0 , f (x) = f (x + 2). 1 , 0x<1 0 , x < 0 , f (x + 2) = f (x). x , 0x< 3 x , 3 x < 0 , f (x) = f (x + 6). 3x , 0x<3 0 , x < 0 , f (x) = f (x + 2). sen(x) , 0 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).
Tambm de fundamental importncia o conceito de funo seccionalmente contnua (ou funo contnua por partes).
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
existem (so nitos). Obviamente toda funo contnua seccionalmente contnua. Um exemplo simples de funo 1 que no seccionalmente contnua a funo f (x) = x , uma vez que os limites laterais em x = 0 so innitos (Figura 1.6(b)). 16
Tf (x) =
f T(x)
1 x
b b
b E
x
tnua.
civel 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 f (x 0) + f (x + 0) ; isto 2
a0 + 2
an cos(n0 x) + bn sen(n0 x) =
n=1
1 f (x 0) + f (x + 0) . 2
(1.14)
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.
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].
7
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.
Exemplo 1.7 Considere a representao em Srie de Fourier da onda quadrada, mostrada na Figura 1.4 (pgina 11), obtida no Exemplo 1.5 (pgina 10). Pelo Teorema de Fourier temos que:
(a) em x = a funo contnua e tem imagem f = 1, logo sua representao em 2 2 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 1 . Observe na Figura 1.4 que o mesmo comportamento de convergncia 2 ocorre em x = 0, , 2, . . ..
f (b)
f (b)
Figura 1.7: Uma funo par. Alguns exemplos de funes pares so f (x) = c (funo constante), f (x) = |x| (funo modular), f (x) = x2 , f (x) = x4 , f (x) = xn para n par. Um outro exemplo importante de funo par f (x) = cos(x) (Figura 1.3).
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) T
f (a) f (b)
a b
f (a)
E x
f (b)
Figura 1.8: Uma funo mpar. Alguns exemplos de funes mpares so f (x) = x, f (x) = x3 , f (x) = xn 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 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.
(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 4 (pgina 26).
Prova de P4
Sejam I1 , I2 : R R duas funes mpares, isto I1 (x) = I1 (x) e I2 (x) = I2 (x).
Dena o produto P (x) = I1 (x)I2 (x); logo temos: P (x) = I1 (x)I2 (x) = I1 (x) I2 (x) = I1 (x)I2 (x) = P (x),
isto , com a hiptese que I1 e I2 so mpares, mostramos que o produto P (x) = I1 (x)I2 (x) satisfaz P (x) = P (x), logo este produto par.
I1 (x) I2 (x) ;
logo temos:
Q(x) =
isto , com a hiptese que I1 e I2 so mpares, mostramos que o quociente Q(x) = satisfaz Q(x) = Q(x), logo este quociente par.
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.9(a). Formalmente temos:
L 0 L
f (x)dx =
L L
f (x)dx +
0
f (x)dx;
f (x)dx =
L L
f (t)dt +
0
f (x)dx =
0
f (t)dt +
0
f (x)dx = 2
0
f (x)dx.
20
f T(x)
E
x L 0 L
(a) Funo par: reas nos intervalos [L, 0] e [0, L] iguais com mesmo sinal.
T(x) f
L L
E
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:
L 0 L
f (x)dx =
L L
f (x)dx +
0
f (x)dx;
f (x)dx =
L L
f (t)dt +
0
f (x)dx =
0
f (t)dt +
0
f (x)dx = 0.
21
an cos(n0 x).
n=1
Para a vericao desta proposio suponhamos que f par e peridica de perodo T = 2L, onde L o meio perodo.
f (x)dx =
0
4 T
f (x)dx,
0
(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].
f (x)cos n0 x dx =
4 T
L 0
f (x)cos n0 x dx,
(1.15c)
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].
f (x)sen n0 x dx =
2 T
L L
f (x)sen n0 x dx = 0,
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).
mostrada na Figura 1.10. O perodo da onda T = 2 e sua freqncia fundamental 0 = 2 = . Neste caso, como a T onda apresenta simetria par temos bn = 0 e devemos determinar apenas a0 e an .
22
T(x) f
E
4 3 2 1 0 1 2 3 4 x
x3 x dx = 2 3
2
1 0
2 = . 3
x2 cos(nx)dx.
Assim, pela equao (1.15a) com 0 = , a representao em Srie de Fourier da funo ca
f (x) 4 1 + 2 3
n=1
cos(n) cos(nx), n2
(1.16)
(1)n cos(nx). n2
23
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 ,
f (x)
n=1
bn sen(n0 x).
Para a vericao desta proposio suponhamos que f mpar e peridica de perodo T = 2L, onde L o meio perodo.
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.
f (x)cos n0 x dx =
2 T
L L
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.
f (x)sen n0 x dx =
4 T
L 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 = 1. Sua forma analtica T pode ser dada por f (x) = x, se x < e f (x) = f (x + 2).
24
3 2
f (x) T
E 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
bn = 4 2
xsen(nx)dx =
0
xsen(nx)dx,
0
2 = cos(n). n
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 (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 (b) y = x3 2x
(2) Usando as propriedades das funes pares e mpares calcule as integrais dadas. (a) (b) (c)
1 1 xdx 1 4 1 x dx
xsen(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. (a) f (x) = (b) f (x) = (c) f (x) = (d) f (x) =
1 , 0x< , srie de cossenos, T = 4. 0 , x < 2 1 , 0x< , srie de senos, T = 4. 0 , x < 2 x , 0x<1 , srie de cossenos, T = 4. 1 , 1x<2 x , 0x<1 , 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
Para contornar tal situao expandimos f periodicamente x R, Figura 1.12(b), e a seguir determinamos 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 .
f T(x)
f T(x)
E
x
3a
2a
2a
3a
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.
Clculo de a0 : usando a equao (1.11a) temos
a0 = 2
Z
0
xdx =
2 2 x2 0 = . = 2 0 2
xcos(2nx)dx =
xsen(2nx)dx =
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
Assim, pela equao (1.10) com 0 = 2, a representao em Srie de Fourier da expanso peridica de f ca 1 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 T(x)
f T(x)
E
x
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.
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.
Clculo de a0 : usando a equao (1.15b) temos a0 = 4 2
xdx =
0
2 x2 2
=
0
2 0 = . 2
xcos(nx)dx =
0
2 x 1 sen(nx) + 2 cos(nx) n n
=
0
2 cos(n) 1 n2
se n par , 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
mostrada na Figura 1.13(a). A expanso mpar de f exatamente a onda dente de serra mostrada na Figura 1.11 da pgina 25. Logo sua Srie de Fourier dada pela equao (1.18) da pgina 25.
x , 0x< , , 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. (2) Dada a funo f (x) =
1 , 0x<1 , 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
T(x) f
E
0 a x
f T(x)
E
3a 2a a 0 a 2a 3a x
3a
2a
2a
3a
Figura 1.14: Expanses par e mpar de uma funo denida sobre o intervalo [0, a]
31
T(x) f d d d d d d d d d d
2
d
2
d
0
E
3 x
32
Captulo 2
0 =
2 . T
a0 = an = bn =
2 T 2 T 2 T
f (x)dx,
T
(2.2a)
n = 1, 2, . . . n = 1, 2, . . .
(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) (2.3b)
uma vez que o cosseno par, cos() = cos(), e o seno mpar, sen() = sen(). Assim, por (2.3a)+ (2.3b), obtemos
cos(n0 x) =
e por (2.3a) (2.3b), lembrando que
1 i
1 in0 x e + ein0 x ; 2
(2.4a)
= i, obtemos
(2.4b)
an cos(n0 x) + bn sen(n0 x) =
n=0 n=0
1 an ein0 x + ein0 x 2
1 i bn ein0 x ein0 x 2
(2.5)
=
n=0
cn =
e observamos que
1 an ibn , 2
(2.6)
an cos(n0 x) + bn sen(n0 x) =
n=0 n=0
cn ein0 x + cn ein0 x .
(2.7)
an = bn = 2 T
2 T
T
f (x)cos(n0 x)dx = 2 T
2 T
T
f (x)cos(n0 x)dx = an ,
f (x)sen(n0 x)dx =
f (x)sen(n0 x)dx = bn .
34
Assim
an cos(n0 x) + bn sen(n0 x) =
n=0 n=0
cn ein0 x + cn ein0 x ,
an cos(n0 x) + bn sen(n0 x) =
n=0 n
cn ein0 x .
(2.8)
Pelas equaes (2.2b) e (2.2c) o coeciente cn , denido pela equao (2.6), ca
cn = = = =
Denimos tambm c0 =
(2.9)
isto ,
c0 =
12 a0 = 2 2T
f (x)dx =
T
1 T
f (x)dx.
T
(2.10)
Usando as equaes (2.8) e (2.10) a expanso de f em Srie de Fourier Trigonomtrica, dada pela equao (2.1), pode ser reescrita como
f (x) c0 +
n
cn ein0 x
f (x)
n
cn ein0 x ,
(2.11)
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.10) um caso particular de (2.9) para n = 0, os coecientes da Srie (2.11) so dados pela equao (2.9), isto
cn =
1 T
f (x)ein0 x ,
T
nZ
(2.12)
35
ein0 x , 0 =
2 , 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 .
Exemplo 1.5 (pgina 10) mostrada na Figura 1.4 (pgina 11). Conforme vimos no Exemplo 1.5 esta onda quadrada tem perodo T = 2 , freqncia fundamental 0 = 1 e forma analtica
f (x) = 1 , x < 0 1 , 0x< , f (x + 2) = f (x).
36
f (x)einx dx einx dx +
0
einx dx
0
1 1 inx e 2 in 1 2 1 2 1 in
1 einx in
(2.13a)
Observe que c0 no pode ser calculado pela equao (2.13a), pois resultaria em diviso por zero. Logo devemos calcul-lo separadamente:
c0 = 1 2
f (x)dx =
1 2
dx +
0
dx =
1 + = 0 2
(2.13b)
Utilizando a equao (1) (Formulrio - pgina 53), podemos reescrever a equao (2.13a) como
cn = 0 , 2i n ,
se n par . se n mpar
(2.13c)
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
1 ei(2k+1)x . 2k + 1
Exemplo 2.2 A partir dos coecientes complexos cn do Exemplo 2.1 determine os coecientes trigonomtricos a0 , an e bn .
37
Como c0 = a0 , equao (2.10), pelo resultado da equao (2.13b) temos a0 = 0. Para 2 determinarmos an e bn observamos, pela equao (2.6), que
cn = cn = 1 an ibn , 2 1 an + ibn ; 2
(2.14a) (2.14b)
ibn = cn cn .
logo
bn =
0 , ,
se n par . se n mpar
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.
Exemplo 2.3 Determine a representao em Srie de Fourier Complexa da onda triangular do Exemplo 1.6 (pgina 13) mostrada na Figura 1.5 (pgina 13). Conforme vimos no Exemplo 1.6 esta onda triangular tem perodo T = 2, freqncia fundamental 0 = e forma analtica
f (x) = x , 1 x < 0 x , 0x<1 , f (x + 2) = f (x).
38
f (x)einx dx xeinx dx +
0 1
xeinx dx .
(2.15a)
Pela equao (5) (Formulrio - pgina 53) com 0 = , a equao (2.15a) torna-se
cn = = ix ix 1 1 1 0 1 + 2 2 einx 1 + + 2 2 einx 0 2 n n n n 1 1 i 1 i 1 1 2 2+ + 2 2 ein + + 2 2 ein 2 2 , 2 n n n n n n
Observe que c0 no pode ser calculado pela equao (2.15b), pois resultaria em diviso por zero. Logo devemos calcul-lo separadamente:
c0 = 1 2
1
f (x)dx =
1
1 2
xdx +
1 0
xdx =
1 x2 2 2
0 1
x2 2
1 0
1 1 1 + 2 2 2
1 2
se n par . 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 2 2
(2.15c)
(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. (a) f (x) = (b) f (x) = (c) f (x) =
0 , 1 x < 0 , f (x) = f (x + 2). 1 , 0x<1 0 , x < 0 , f (x + 2) = f (x). x , 0x< 3 x , 3 x < 0 , f (x) = f (x + 6). 3x , 0x<3 0 , x < 0 , 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
y |z|
b z = x + iy = (x, y)
eixo real
Figura 2.1: Representao do nmero complexo z = x + iy no plano complexo. Assim, cada nmero complexo z = x + iy est associado biunivocamente2 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),
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.
1 Jean 2
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
y , x = 0, y = 0. x
(2.17)
Se a parte real x ou a parte imaginria y de um nmero complexo z = x + iy for nula, a determinao de sua fase torna-se um pouco mais sutil. Vejamos as possibilidades (a) Se x = 0 nosso nmero complexo da forma z = 0 + iy = iy , ou seja um nmero imaginrio puro e o ponto que o representa est sobre o eixo imaginrio. O valor de sua fase depende do sinal da parte imaginria y : (i) se y > 0, ento arg(z) = = (veja o nmero z1 na Figura 2.2); 2 (ii) se y < 0, ento arg(z) = = (veja o nmero z2 na Figura 2.2). 2 (b) Se y = 0 nosso nmero complexo da forma z = x + i0 = x, ou seja um nmero real puro e o ponto que o representa est sobre o eixo real. O valor de sua fase depende do sinal da parte real x: (i) se x > 0, ento arg(z) = = 0 (veja o nmero z3 na Figura 2.2); (ii) se x < 0, ento arg(z) = = (veja o nmero z4 na Figura 2.2). Agrupando estes resultados com a equao (2.17), a fase de um nmero complexo z = x + iy dada por: y arctg x , se x = 0 e y = 0 , se x = 0 e y > 0 2 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 T
b z1 = i, = z4 = 7, = b
z 3 = 4, = 0 b
E eixo real
b z2 = 2i, = 2
z = x + iy = |z|cos() + i |z|sen(),
ou seja
z = |z|[cos() + isen()],
chamada forma polar ou trigonomtrica de z .
(2.19)
cos() + isen() = ei ,
de modo que a forma polar dada pela equao (2.19) pode ser reescrita como
z = |z|ei ,
chamada forma exponencial de z .
(2.20)
z = |z|, ,
43
(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.
eixo imaginrio T
b (2, 2) 22, 4
b (0, 1) 1, 2
(3, 0) (3, )
(3, 0) (3, 0)
E eixo real
b (0, 1) 1, 2
(2, 2) 2 2, 3 4
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):
Espectro de amplitudes: um diagrama onde grafamos os valores das amplitudes |cn | dos coecientes de Fourier versus n0 , isto , um grco da forma3 |cn | n0 . Espectro de fase: um diagrama onde grafamos os valores das fases n dos coecientes de Fourier versus n0 , isto , um grco da forma n n0 .
O prximo Exemplo ilustra a construo destes espectros.
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.
3
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
cn = 1 1 2 cos(n) an ibn = 0 + i cos(n) = i , 2 2 n n
(2.22)
e pela equao (2.10) temos c0 = reescrever a equao (2.22) como 0 , i , cn = n i n , ou na forma fasorial
cn = |cn |, n =
(0, 0) 1 n, 2 1 n, 2
, , ,
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.
|c T n| 1 b b1
1 2 1 5
b1
2
1 4
1 3
b b 0
b1
3
b1
4
b1
5
E 5 n0
b
2
b
2
4 5 3
b 0
3 4
5 E n0
b 2
b 2
b
2
b
2
b
2
(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) e o espectro de fases possui simetria mpar (veja Figura 2.4). A vericao destes resultados ca a cargo do leitor (Problema 4). Devido a tais simetrias, algumas vezes os espectros so traados apenas para n 0. (iv) Para interpretarmos o signicado dos espectros inicialmente observamos que cada har-
47
cn = |cn |ei n .
Assim, cada termo na Srie Complexa dada pela equao (2.11) pode ser reescrito como
cn ein0 x = |cn |ei n ein0 x = |cn |ei(n0 x+n ) = |cn | cos(n0 x + n ) + i sen(n0 x + n ) n n = |cn | cos n0 (x + ) + i sen n0 (x + ) . n0 n0
(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 signica que o harmnico de freqncia 3 1 3 , isto , o harmnico ei3x , possui amplitude 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 n dada por n0 . Assim, como o espectro de fases nos d a fase dos coecientes cn , para obtermos a translao horizontal de cada harmnico devemos dividir n (a fase do coeciente) por n0 (a freqncia do harmnico). Por exemplo, na Figura 2.5 o ponto 3, signica que o harmnico de freqncia 3 , isto , o harmnico ei3x , 2 deve ter sua fase atrasada (deslocada para a direita) de /2 = 1 radianos na sntese 3 6 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 cn na forma exponencial dada pela equao (2.20). Assim cn = |cn |ei n , (2.24) onde |cn | 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
48
|cn | T b1
4
2 2
b b b b b
2 9 2
b b
2 3
1 25 2
b
4 5
b
6
1 49 2
7 6 5 4 3 2
E n0
Pelo espectro de amplitudes (Figura 2.6) observamos que 1 , se n = 0 4 0 , se n par |cn | = ; 2 , se n mpar n2 2 e pelo espectro de fases (Figura 2.7)
n = 0 , ,
(2.25a)
se n par . se n mpar
(2.25b)
Usando a equao (2.24), as equaes (2.25a) (lembrando-se que ei = cos() + isen() = 1) 1 , 4 0 , cn = n222 ,
(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)
4
1 2 2 4
49
n T b b b b b b b b
b
2 3
b
4 5
b
6 7
7 6 5 4 3 2
E n0
Para obtermos os coecientes trigonomtricos inicialmente observamos, pela equao (2.25c), que cn = cn . Assim, pela equao (2.14c) temos
an = cn + cn = 0 n242 , ,
se n par , se n mpar
ibn = cn cn = 0, donde bn = 0.
Finalmente, pela equao (2.10), temos a0 = 1 . Assim, de acordo com a equao (2.1), a 2 representao em Srie de Fourier trigonomtrica deste sinal dada por5
f (x) 1 4 2 4
k=1
50
|c T n| a 2
1 a2
Tn
a 2 a a a
2 a 3 2 a 5
a
2 3
a
4 5
a
6
2 a 7 7
a E
8 n0
a
2 3
a
4 5
a
6 7
a E
8 n0
(5) Obtenha a representao em Srie de Fourier (Complexa e Trigonomtrica) do sinal cujos espectros so dados na Figura 2.8. (6) Obtenha a representao em Srie de Fourier (Complexa e Trigonomtrica) do sinal cujos espectros so dados na Figura 2.9. (7) 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 n0 , isto , gera um atraso de n0 para a componenete de freqncia n0 .
51
|c T n| a 1
Tn a 4
a1 2 a1 3
1 a4
2 1 3
4 5
E
n0
a
1 2 3 4
a1 5
5
E
n0
a 4
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) cos(n) = (1)n = (2) sen(n) = 0, n Z. (3) (4) (5) (6) (7)
x xsen(n0 x)dx = n0 cos(n0 x) + 1 2 n2 0
1 , 1 ,
se n par , n Z. se n mpar
sen(n0 x).
x n0
sen(n0 x) +
1 2 n2 0
2
1 2 n2 0
cos(n0 x).
ix n0
ein0 x .
2x 2 n2 0
sen(n0 x) +
2 3 n3 0
cos(n0 x).
x2 cos(n0 x)dx =
x2 n0
sen(n0 x) +
2x 2 n2 0
cos(n0 x)
2 3 n3 0
sen(n0 x).
53
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