Clculo IV - 2008/2

Sries de Fourier
Baseado nas Notas de Peter Stone, Vancouver Island University
http://www.peterstone.name Prof. Fernando Deeke Sasse UDESC - Joinville

1 Sries de Fourier para funes com perodo 2

Sries Trigonomtricas
Vamos considerar aqui como expressar certas funes em termos de sries trigonomtricas f x = c C a1 cos x C b1 sin x C a2 cos$2 x C b2 sin$2 x C a3 cos$3 x C b3 sin$3 x C . . . ,
N

=cC

k= 1

>

ak cos k x C bk sin k x

Series desta forma so denominadas sries de Fourier. Foi Jean Baptiste Fourier (1766-1830), quem as inventou no seu estudo de fluxo de calor. Note que f x peridica com perodo 2 , pois o menor perodo de qualquer um dos termos 2 . Exemplo1. Consideremos a funo f x definida por sin$2 x sin$3 x sin$4 x f x = sin x C C C C ... 2 3 4 =
k= 1

> sinkk x .

Faamos uma aproximao utilizando 500 termos na soma e vejamos o grfico: O restart: O f := (x,n) -> Sum(sin(k*x)/k,k=1..n);

f := x, n /

k= 1

> sin kk x

(1.1.1)

O plot(f(x,500),x=-2*Pi..4*Pi,color=blue,thickness=2, labelfont=[HELVETICA,10],font=[SYMBOL,10],ytickmarks=3, xtickmarks=[evalf(-4*Pi)=`-4p`,evalf(-2*Pi)=`-2p`, evalf(-Pi)=`-p`,0=`0`,evalf(Pi)=`p`,evalf(2*Pi)=`2p`, evalf(3*Pi)=`3p`,evalf(4*Pi)=`4p`]);

0 K 1

Aparentemente a srie esta convergindo, para todos os valores de x para O F:=x->PIECEWISE([0, x = 0],[(Pi-x)/2, 0 < x and x < 2*Pi]); 0 x=0 F := x/ 1 (1.1.2) 1 K x 0 ! x and x ! 2 2 2 sendo F x = F x C 2 . Por exemplo, em x = temos 2 O f(Pi/2,700);

k= 1

>

700

sin

1 k 2 k

(1.1.3)

O evalf(%); 0.7846838791 O evalf(F(Pi/2)); 0.7853981635 O f(Pi/2,infinity);

N
k= 1

(1.1.4) (1.1.5)

>
N

sin

1 k 2 k 1 k 2 k

(1.1.6)

O evalf(%);

k= 1

>

sin

(1.1.7)

Exemplo2 Consideremos a funo definida por

g x = cos x C

cos$2 x cos$3 x cos$4 x C C C ... 2 3 4 =

k= 1

> cos kk x > cos kk x

n

Faamos um grfico correspondente a uma soma finita de 500 termos: O g := (x,n) -> Sum(cos(k*x)/k,k=1..n);

g := x, n /

(1.1.8)

k= 1

O plot(g(x,500),x=-2*Pi..4*Pi,color=coral,thickness=2, labelfont=[HELVETICA,9],ytickmarks=3, font=[SYMBOL,9],xtickmarks=[evalf(-2*Pi)=`-2p`, evalf(-Pi)=`-p`,0=`0`,evalf(Pi)=`p`,evalf(2*Pi)=`2p`, evalf(3*Pi)=`3p`,evalf(4*Pi)=`4p`]);

2,5

Quando x =

temos 3 O g(Pi/4,infinity);
N
k= 1

>

cos

1 k 4 k

(1.1.9)

Neste caso, o Maple no avalia a soma infinita: O evalf(%); 1 N cos k 4 k k= 1

>

(1.1.10)

De fato, a srie converge muito lentamente: O evalf(g(Pi/4,500)); 0.2664068265 O evalf(g(Pi/4,501));

(1.1.11) (1.1.12)

0.2649954358 O evalf(g(Pi/4,1003)); 0.2678996999 O evalf(g(Pi/4,1000)); 0.2678982913 Em x = , por outro lado, temos O g(Pi,infinity);
k= 1

(1.1.12) (1.1.13) (1.1.14)

> cos kk

(1.1.15)

Neste caso possvel obter o valor da soma infinita: O value(%); K ln 2 O evalf(%); K 0.6931471806 Veja aqui o que aconteceu: g = cos C cos$2 cos$3 cos$4 C C C ... 2 3 4 1 1 1 1 =K 1C K C K C . . . 2 3 4 5 =K ln$2 ~ K 0.6931471806.

(1.1.16) (1.1.17)

Por outro lado, em x = 0 a srie diverge, pois 1 1 1 1 g 0 = 1 C C C C C . . . = N. 2 3 4 5 ou seja, O g(0,infinity);

k= 1

>1 k
N

(1.1.18)

O value(%);

(1.1.19)

Produto Interno de Funes e Funes Ortogonais

Definimos o produto interno das funes definida por f(x) and g(x), no intervalo a, b como sendo o valor da integral
b

f. g =
a

f x g x dx ------- (1).

Se consideramos a funo f como sendo um vetor infinitamente dimensional, cujas componentes

so dadas pelo conjunto dos infinitos valores f x em pontos x do intervalo, ento a definio (1) uma extenso natural do conceito usual de produto interno entre vetores, pois a integral uma soma infinita do produto dos valores, ou componentes, das duas funes. O comprimento ou norma de uma funo x com relao ao produto interno (1) : =
b

`.`
2

=
a

dx .

O valor quadrtico mdio da funo no intervalo a, b 1 b Ka = 1 b Ka

b

x
a

dx

Por exemplo a norma da funo sin no intervalo K , sin

2

=
K

sin2 x dx

=
K

1 K cos$2 x dx 2 K

x sin$2 x K 2 4 = ,

de modo que sin = De fato, O sqrt(Int(sin(x)^2,x=-Pi..Pi)); value(%);

sin x
K

dx (1.2.1)

Podemos encontrar a projeo de um vetor v na direo de um vetor u tomando o produto interno de v com um vetor unitrio na direo de u. sin x Um vetor (funo) unitrio na "direo" de sin x dado pela funo s x = . Por

exemplo, a projeo de g x = e na direo de sin x, considerando funes no intervalo K , , :

g `.` s = = 1 sucessivamente obtemos:

K

e s x dx e sin x dx.
K x

Utilizando a frmula de integrao por partes u

dv dx
x

dx = u v K v=K cos x dv = sin x dx

du dx

dx duas vezes

u =e e sin x dx ...
x

du = ex dx

ex cos x K =K =K e cos x C e cos x dx ...

x x

K cos x ex dx u =e
x

v = sin x dv = cos x dx

du = ex dx

=K ex cos x C ex sin x K Portanto 2 e e sin x dx = Temos ento

x

ex sin x dx .

ex sin x dx = K ex cos x C ex sin x C c ex sin x K cos x C c'. 2

g `.` s =
K

ex s x dx = ex sin x K cos x 2 K
K

ex sin x dx
K

= = e

sin K cos 2 = e Ke

sin K K cos K 2

~ 6.515678448. 2 Este clculo pode ser feito automaticamente no Maple: O Int(exp(x)*sin(x),x=-Pi..Pi)/sqrt(Pi);

e sin x dx
K

(1.2.2)

O expand(value(%)); K 2e O simplify(%,power); K O evalf(%); 6.515678450 (1.2.5)

K 1 e Ke 2

1 2

(1.2.3)

(1.2.4)

Duas funes f x e g x definidas num intervalo a, b so ditas ortogonais neste intervalo se

b

f x g x dx = 0.
a

Por exemplo, cada par de funes f x and g x definidas em K a, a , onde f x par e g x mpar, so ortogonais em K a, a . Portanto sin k x orotgonal a cos m x no intervalo K , para todos k e m positivos, pois sin k x mpar e cos m x par. Notemos ainda que sin k x ortogonal a sin m x no intervalo K , para todos inteiros positivos k e m com k s m. Provemos tal afirmao:

sin k x sin m x dx
K

1 2 =

cos k K m x K cos k C m x
K

dx dx

cos k K m x K cos k C m x
0

( pois o integrando uma funo par) = Se k = m,

K

sin

k Km x sin k C m x K k Km k Cm = 0. sin2 k x dx

, if k s m,

=
K

1 K cos$2 k x dx 2 K

x sin$2 k x K 2 4 = .

Similarmente, sin k x ortogonal a sin m x no intervalo K , para todos inteiros k and m com k s m. Isto verificado a seguir:

cos k x cos m x dx
K

1 2 =

cos k C m x C cos k K m x
K

dx dx

cos k C m x C cos k K m x
0

( pois o integrando uma funo par) = Se k = m,

K

sin k C m sin k K m C k Cm k Km = 0. cos2 k x dx

, if k s m,

=
K

1 C cos$2 k x dx 2 K

x sin$2 k x C 2 4

= . A funo constante com valor 1 ortogonal a todas as funes sin k x e cos k x, onde k um inteiro positivo. De fato,

sin k x dx = 0,
K

pois sin k x i uma funo mpar e

cos k x dx
K

sin k x k

 K = 0. Resumindo, as funes do conjunto 1, sin x, sin$2 x, sin$3 x, . . . , cos x, cos$2 x, cos$3 x, . . . so mutuamente ortogonais no intervalo K , .

Determinao dos Coeficientes de Fourier

Vamos agora mostrar como determinar os coeficiente na srie de Fourier f x = c C a1 cos x C b1 sin x C a2 cos$2 x C b2 sin$2 x C a3 cos$3 x C b3 sin$3 x C . . . , ou,
N

f x = cC

k= 1

>

ak cos k x C bk sin k x -------- (1),

de uma funo f x definida no the intervalo K , , assumindo que tal expanso exista. Isso ser feito do mesmo modo como extraimos as componentes de um vetor comum: projetando-o nas diferentes direes, ou seja, fazendo o produto interno dele com os vetores unitrios que apontam nas diferentes direes. Inicialmente vamos determinar o coeficiente c, tomando o produto interno dos dois lado da eq. (1) por 1. Utilizando os resultados da seo anterior obtemos

f x dx =
K K

c dx

=cx

=2 c ou seja, 1 c= 2

f x dx.
K

______________
Este , na verdade, o valor mdio da funo f x no intervalo K , . Para encontrar o coeficiente ak de cos k x na srie de Fourier, devemos fazer o produto interno de ambos os lados de (1) com cos k x . No lado esquerdo temos

f x cos k x dx.
K

Como cos k x ortogonal a todos os termos, exceto ak cos k x, temos no lado direito,

ak
K

cos2 k x dx

= ak
K

1 cos$2 k x C 2 2 K

dx

= ak

x sin$2 k x C 2 4k

= ak Note que isso ak vezes o quadrado da norma de cos k x. Temos ento

f x cos k x dx = ak ,
K

de modo que 1 ak =

f x cos k x dx.
K

______________
Tomando o produto interno de ambos os lados de (1) por sin k x obtemos de modo similar, 1 bk =

f x sin k x dx.
K

______________
Resumindo, dada uma funo f x definida no intervalo K , ou, equivalentemente, uma funo com perodo 2 , os coeficientes de Fourier de f x so 1 c= 2 ak = e 1 f x sin k x dx, k = 1, 2, . . . , K onde a srie de Fourier de f x : c C a1 cos x C b1 sin x C a2 cos$2 x C b2 sin$2 x C a3 cos$3 x C b3 sin$3 x C . . . , bk =
N

f x dx,
K

f x cos k x dx,
K

k = 1, 2, . . . ,

=cC

k= 1

>

ak cos k x C bk sin k x .

A funo h1 x = c C a1 cos x C b1 sin x umas onda senoidal com perodo 2 , sendo chamada onda fundamental da srie de Fourier. Cada par de termos hk x = ak cos k x C bk sin k x, onde k maior do que 1, uma onda senoidal com perodo de Fourier. 2 chamada a k-sima harmnica da srie k

Exemplo1
Seja f x = 0 1 K % x and x ! 0 0 % x and x ! .

f x pode ser estendida a uma funo peridica com perodo 2 , de modo que 0 1 K % x and x ! 0 0 % x and x !

f x =

e f x = f(x C 2 ) Podemos fazer o grfico desta funo inicialmente definindo sua restrio ao intervalo K %x ! , e depois estendendo-o a uma funo peridica, designada por fp, usando a funo do Maple floor, que d o maior inteiro menor ou igual ao nmero O restart: O trunc(x)^2; trunc x O with(plots): O f := x -> piecewise(x<0,0,1); f := x/piecewise x ! 0, 0, 1 O 'f(x)'=f(x); 0 1 x!0 otherwise
2

(1.4.1)

(1.4.2)

f x =

(1.4.3)

O fp := x -> f(x-2*Pi*floor((x+Pi)/(2*Pi))); fp := x/f x K 2 floor 1 x C 2 (1.4.4)

O fp2:=x->f(x mod 2*Pi); fp2 := x/f x mod 2 O plot(f,-10..10);

(1.4.5)

1 0,8 0,6 0,4 0,2 K 10 K 5 0 5 10

O 'fp(x)'=fp(x); fp x = 0 1 O pp :=evalf( Pi): O p1 := plot(fp(x),x=-2*Pi-1.2..4*Pi+1.2,discont=true, thickness=2,color=COLOR(RGB,.4,0,1)): O p2 := plot([[-2*pp,0],[-pp,1],[0,0],[pp,1],[2*pp,0],[3*pp, 1],[4*pp,0]], style=point,symbol=circle,color=black): O p3 := plot([[[-2*pp,1],[-pp,0],[0,1],[pp,0],[2*pp,1],[3*pp, 0],[4*pp,1]]$3], style=point,symbol=[circle,diamond,cross],color= black): O display([p1,p2,p3],ytickmarks=2,labelfont=[HELVETICA,9], font=[SYMBOL,9],xtickmarks=[-3*pp=`-3p`,-2*pp=`-2p`, -pp=`-p`,0=`0`,pp=`p`,2*pp=`2p`,3*pp=`3p`,4*pp=`4p`]); x K 2 floor 1 x C 2 !0 (1.4.6)

otherwise

Outro modo de se desenhar este grfico com as linhas verticais presentes, mesmo que elas a rigor no faam parte da funo: O f := x -> piecewise(x<0,1); f := x/piecewise x ! 0, 1 O 'f(x)'=f(x); 1 0 x!0 otherwise

(1.4.7)

f x =

(1.4.8)

O fp := x -> f(x-2*Pi*floor((x+Pi)/(2*Pi))); 1 x C fp := x/f x K 2 floor 2 O fp(x); 1 0 O plot(fp(x),x=-2*Pi..4*Pi,thickness=2, color=COLOR(RGB,.4,0,1),ytickmarks=2); x K 2 floor 1 x C 2 !0

(1.4.9)

(1.4.10)

otherwise

K 6
O ;

K 4

K 2

6 x

10

12

Os coeficientes c e ak da srie de Fourier so determinados a seguir 1 c= f x dx 2 K 1 1 = = . 2 2 1 ak = = = 1

f x cos k x dx
K

cos k x dx
0

1 sin k x k 0 = 0, k = 1, 2, 3, . . . . Os clculos acima podem ser refeitos no Maple: O f := x -> piecewise(x<0,0,1); f := x/piecewise x ! 0, 0, 1 O assume(k_,integer); O 1/Pi*Int('f(x)'*cos(k*x),x=-Pi..Pi);

(1.4.11)

f x cos k x dx
K

O value(subs(k=k_,%));

(1.4.12)

(1.4.13)

0 O coeficiente bk calculado da seguinte forma: 1 bk = = = = 1 1 k = 0 = 2 k 1 K

(1.4.13)

f x sin k x dx
K

sin k x dx
0

cos k x k

K cos k C 1 1K K 1 k
k

se k par se k mpar

No Maple esses clculos so realizados da seguinte forma (usando um artifcio de subsitituio para evitar o smbolo ~). O f := x -> piecewise(x<0,0,1); f := x/piecewise x ! 0, 0, 1 O f(x); 0 1 x !0 otherwise (1.4.15)

(1.4.14)

O assume(k_,integer); O 1/Pi*Int('f(x)'*sin(k*x),x=-Pi..Pi);

f x sin k x dx
K

O subs(k_=k,value(subs(k=k_,%))); K O b := unapply(%,k); K 1C K 1 k
k

(1.4.16)

(1.4.17)

(1.4.18)

b := k/K Os primeiros termos da srie com sin so

K 1C K 1 k

(1.4.18)

O seq(b(k)*sin(k*x),k=1..12); 2 sin x 2 sin 3 x 2 sin 5 x 2 sin 7 x 2 sin 9 x , 0, , 0, , 0, , 0, , 0, 3 5 7 9 2 sin 11 x ,0 11 Portanto, a srie de Fourier para f x dada por 2 sin x 2 sin$3 x 2 sin$5 x 2 sin$7 x 1 C C C C C ... 2 3 5 7 1K K 1 k sin k 1 = + . 2 k= 1 k
N

(1.4.19)

>

No Maple a srie de Fourier trunacada na ordem n pode ser construda da seguinte forma: O FS := (x,n) -> 1/2+Sum(b(k)*sin(k*x),k=1..n); 1 FS := x, n / C b k sin k x 2 k= 1

>

(1.4.20)

Os 8 primeiros termos so O value(FS(x,7)); 1 2 sin x 2 sin 3 x 2 sin 5 x 2 sin 7 x C C C C 2 3 5 7

(1.4.21)

A seguir comparamos o grfico da funo f x com os das sries de Fourier truncadas at 10 termos: O f := x -> piecewise(x<0,0,1); f := x/piecewise x ! 0, 0, 1 (1.4.22) O f_ := x -> f(x-2*Pi*floor((x+Pi)/(2*Pi))); f_ := x/f x K 2 floor 1 x C 2 (1.4.23)

O FS := (x,n) -> 1/2+Sum(b(k)*sin(k*x),k=1..n); 1 FS := x, n / C b k sin k x 2 k= 1

n

>

(1.4.24)

O plot([f_(x),FS(x,1),FS(x,3),FS(x,5),FS(x,7),FS(x,9)],x=-4. .10, color=[black,red,blue,green,magenta,coral],linestyle=[3, 1$5]);

1 0,8 0,6 0,4 0,2 K 4 K 2 0 2 4 x

O ; Tomando mais termos na srie de Fourier em geral d sucessivamente melhores aproximaes para f f , exceto pelo fato de que a concordncia no muito boa nas "arestas"do grfico de f x . Tomemos, por exemplo, 50 termos na srie: O f := x -> piecewise(x<0,0,1); f := x/piecewise x ! 0, 0, 1 O fp := x -> f(x-2*Pi*floor((x+Pi)/(2*Pi))); 1 x C fp := x/f x K 2 floor 2

10

(1.4.25)

(1.4.26)

O FS := (x,n) -> 1/2+Sum((1-(-1)^k)/(k*Pi)*sin(k*x),k=1..n); 1 1K K 1 k sin k x FS := x, n / C 2 k k= 1

n

>
1

(1.4.27)

O plot([fp(x),FS(x,50)],x=-4..4,numpoints=80, color=[black,COLOR(RGB,0.3,0.2,1)],linestyle=[3,1]);

0,8 0,6 0,4 0,2 K 4 K 3 K 2 K 1 0 1 2 x 3 4

O value(FS(Pi/2,infinity)); 1 (1.4.28)

Quando x =

, a srie torna-se: 2 1 2 1 1 1 1 C 1K C K C K 2 3 5 7 9 1 2 1 2 = C arctan$1 = C . 2 2

1 C ... 11 = 1. 4

De fato, O FS(Pi/2,infinity); 1 C 2 k= 1
N

>

1K K 1

sin

1 k 2

k 1 2

(1.4.29)

O value(FS(Pi,infinity)); (1.4.30)

O evalf(%); 0.5000000000 (1.4.31) interessante notar que quando x = 0, ou mais geralmente, quando x = k , onde k um inteiro, a srie de Fourier converge para o valor 1/2. Portanto, esta no uma genuna expanso de f x . De fato, a srie de Fourier converge para F x , onde 1 x=K 2 F x = 0 1 2 1 K ! x and x ! 0 x=0 0 ! x and x ! ,

e F x peridica com perodo 2 . Ou seja, O F:=x-> PIECEWISE([1/2, x = -Pi],[0, -Pi < x and x < 0], [1/2, x = 0],[1, 0 < x and x < Pi]);

(1.4.32)

1 2 F := x/ 0 1 2 1

x=K K ! x and x ! 0 x=0 0 ! x and x ! (1.4.32)

O FP := x -> F(x-2*Pi*floor((x+Pi)/(2*Pi))): O plot([FP(x)],x=-4..4, color=[COLOR(RGB,0.1,0.5,1)],linestyle=solid);

1 0,8 0,6 0,4 0,2 K 4 K 3 K 2 K 1 0 1 2 x 3 4

Vamos agora construir uma animao mostrando aproximaes sucessivas de funes usando sries de Fourier. Note: The function FS has been changed to avoid duplication of frames caused by the zero sine coefficients O restart: O f := x -> piecewise(x<0,0,1); f := x/piecewise x ! 0, 0, 1 O fp := x -> f(x-2*Pi*floor((x+Pi)/(2*Pi))); 1 x C fp := x/f x K 2 floor 2
n

(1.4.33)

(1.4.34)

O FS := (x,n) -> 1/2+Sum((1-(-1)^k)/(k*Pi)*sin(k*x),k=1..n); 1 1K K 1 k sin k x FS := x, n / C 2 k k= 1

>

(1.4.35)

A forma expandida ser tipicamente, O value(FS(x,16)); 1 2 sin x 2 sin 3 x 2 sin 5 x 2 sin 7 x 2 sin 9 x C C C C C 2 3 5 7 9 C 2 sin 11 x 2 sin 13 x 2 sin 15 x C C 11 13 15

(1.4.36)

Faamos os grficos O with(plots): O frames := [seq(plot([fp(x),FS(x,n)],x=-4..4,numpoints=80, color=[red,COLOR(RGB,.3,0.4,1)]),n=1..30)]: O plots[display](frames,insequence=true);

1 0,8 0,6 0,4 0,2 K 4 K 3 K 2 K 1 0 1 2 x 3 4

O ;

Exemplo2
Consideremos a seguinte funo f x = x, K % x ! , e f x peridica com perodo 2 . % x ! e ento Para construir o grfico de f x definimos inicialmente a funo no intervalo K fazemos a extenso peridica utilizando o comando floor. A funo peridica ser designada por fp. O restart: O f := x -> x: 'f(x)'=f(x); fp := x -> f(x-2*Pi*floor((x+Pi)/(2*Pi))); plot(fp(x),x=-2*Pi..4*Pi,color=COLOR(RGB,.4,0,1),thickness= 2); f x =x fp := x/f x K 2 floor 1 x C 2

3 2 1 K 6 K 4 K 2 0 K 1 K 2 K 3
Os coeficientes de Fourier de f x podem ser determinados da seguinte forma: 1 c= 2 =

6 x

10

12

f x dx
K

1 x dx 2 K = 0.

1 x cos k x dx ak = K = 0, k = 1, 2, 3, . . . . pois x cos k x uma funo mpar. No Maple temos O assume(k_,integer): O 1/Pi*Int(x*cos(k*x),x=-Pi..Pi);

x cos k x dx
K

O value(subs(k=k_,%)); 0 O outro coeficiente dado por 1 bk = = 1

(1.5.1)

(1.5.2)

f x sin k x dx
K

x sin k x dx
K

2 =

x sin k x dx,
0

pois x sin k x uma funo par. Vamos utilizar intergrao por partes: dv cos k x x sin k x dx = u dx, onde u = x and v = K . dx k dv du Usando a frmula u dx = u v K v dx dx dx temos 2 bk = x cos k x K k 0 2 K

K
0

cos k x k

dx

=K

2 x cos k x 2 sin k x C k k2 =K 2 cos k C0 k 2 cos k =K C0 k = K = K 1 2 k 2 k

kC1

K 1 2 k

K =

k par . k mpar

2 k

No Maple temos O assume(k_,integer): O 1/Pi*Int(x*sin(k*x),x=-Pi..Pi);

x sin k x dx
K

O subs(k_=k,value(subs(k=k_,%))); 2 K 1 1 Ck k O b := unapply(%,k);

(1.5.3)

(1.5.4)

b := k/

2 K 1 k

kC1

(1.5.5)

Os primeiros termos da srie so, portanto O seq(b(k)*sin(k*x),k=1..6); 2 2 1 1 2 sin x , K sin 2 x , sin 3 x , K sin 4 x , sin 5 x , K sin 6 x 3 5 2 3 A srie de Fourier para f(x) portanto: 2 sin x K sin$2 x C 2 sin$3 x sin$4 x 2 sin$5 x sin$6 x K C K C ... 3 2 5 3
N

(1.5.6)

k= 1

> K1

kC1

2 sin k x k

Para construir sries finitas truncadas definimos a funo O FS := (x,n) -> Sum(b(k)*sin(k*x),k=1..n); FS := x, n / Assim, por exemplo, O FS(x,9);
k= 1 k= 1

>b k

sin k x

(1.5.7)

>2

K 1

1 Ck

sin k x

(1.5.8)

O value(%); 2 sin x K sin 2 x C C 2 1 2 1 sin 3 x K sin 4 x C sin 5 x K sin 6 x 3 2 5 3 (1.5.9)

2 1 2 sin 7 x K sin 8 x C sin 9 x 7 4 9

Vamos agora comparar o grfico da srie truncada em k = 2,5, e 20 com o da funo fp x : O plot([fp(x),FS(x,2),FS(x,5),FS(x,20)],x=-4..10, color=[black,red,blue,green],linestyle=[6,1$5]);

3 2 1 K 4 K 2 0 K 1 K 2 K 3
O ; Notemos que quando x = 0, ou de de forma mais geral, x = k , a srie de Fourier converge para o valor 0. Por outro lado, por exemplo, O fp(3*Pi); K (1.5.10) Portanto, esta no uma genuna expanso da funo f, e sim a expanso de uma funo obtida modificando a definio de f x , de modo nesses pontos a funo tenha valor 0. Ou seja, 0 F x = x x=K K ! x and x ! f x C2 = f x possvel mostrar que a expanso em srie de Fourier para esta funo coincide com aquela da funo original. Podemos tambm construir uma animao para mostrar sucessivas aproximaes da funo atravs da srie de Fourier, em sequncia. O frames := [seq(plot([fp(x),FS(x,i)],x=-4..4,numpoints=80, color=[black,COLOR(RGB,.6,0,3)],linestyle=[3,1]),i=1. .20)]: O plots[display](frames,insequence=true);

4 x

10

3 2 1 K 4 K 3 K 2 K 1 1 2 x 3 4

K 1 K 2 K 3

O ;

Exerccios Q1
Em cada um dos casos mostre que as dadas funes so ortogonais no intervalo indicado. 2 (a) f x = x, g x = x ; K 2, 2 (b) f x = x3, g x = x2 C 1; K 1, 1 x K x K x (c) f x = e , g x = x e K e ; 0, 2 2 (d) f x = cos x, g x = sin x; 0, (e) f x = x, g x = cos$2 x; K , 2 2 5 (f) f x = ex, g x = sin x; , 4 4 __________________________________ O ;

Q2
Encontre a srie de Fourier para a funo f x definida abaixo e compare com os grficos de algumas sries de Fourier truncadas com o grfico de f x f x = K 1 1 K % x and x ! 0 0 % x and x ! ,

e f x = f x C2 __________________________________ O f := x -> piecewise(x<0,-1,1): 'f(x)'=f(x); f_ := x -> f(x-2*Pi*floor((x+Pi)/(2*Pi)));

plot(f_(x),x=-2*Pi..5*Pi,thickness=2, color=COLOR(RGB,.4,0,1),ytickmarks=3); K 1 x!0 f x = 1 otherwise f_ := x/f x K 2 floor 1 x C 2

K 5

5 x

10

15

K 1
__________________________________ O ;

Q3
Encontre a srie de Fourier para a funo f x definida abaixo e compare com os grficos de algumas sries de Fourier truncadas com o grfico de f x f x = x, K % x ! , e f x = f x C2 . __________________________________ O f := x -> abs(x); f_ := x -> f(x-2*Pi*floor((x+Pi)/(2*Pi))); plot(f_(x),x=-2*Pi..6*Pi, color=COLOR(RGB,.4,0,1),thickness=2); f := x/ x f_ := x/f x K 2 floor 1 x C 2

3 2 1

K 5

10 x

15

__________________________________ O ;

Q4
O ; Encontre a srie de Fourier para a funo f x definida abaixo e compare com os grficos de algumas sries de Fourier truncadas com o grfico de f x . f x = 0 x K % x and x ! 0 0 % x and x ! ,

e f x = f x C2 __________________________________ O f := x -> piecewise(x<0,0,x): 'f(x)'=f(x); f_ := x -> f(x-2*Pi*floor((x+Pi)/(2*Pi))); plot(f_(x),x=-2*Pi..6*Pi, color=COLOR(RGB,.4,0,1),thickness=2); 0 x !0 f x = x otherwise f_ := x/f x K 2 floor 1 x C 2

K 5

10 x

15

O ;

Q5
Encontre a srie de Fourier para a funo f x definida abaixo e compare com os grficos de algumas sries de Fourier truncadas com o grfico de f x . f x = x2, K % x ! , e f x = f x C2 __________________________________ O f := x -> x^2; f_ := x -> f(x-2*Pi*floor((x+Pi)/(2*Pi))); plot(f_(x),x=-2*Pi..6*Pi,color=COLOR(RGB,.4,0,1), thickness=2); 2 f := x/x f_ := x/f x K 2 floor 1 x C 2

9 7 5 3 1 K 5 0 5 10 x 15

O ;

Q6
Encontre a srie de Fourier para a funo f x definida abaixo e compare com os grficos de algumas sries de Fourier truncadas com o grfico de f x . 3 f x =x , K % x ! , e f x = f x C2

O f := x -> x^3; f_ := x -> f(x-2*Pi*floor((x+Pi)/(2*Pi))); plot(f_(x),x=-2*Pi..6*Pi, color=COLOR(RGB,.4,0,1),thickness=2); f := x/x3 f_ := x/f x K 2 floor 1 x C 2

30 20 10 K 5 0 K 10 K 20 K 30
O ;

10 x

15

2 Sries de Fourier para funes peridicas gerais

Teoria Geral
Dada uma funo f x definida para % x ! , podemos estender f x para uma funo peridica fp x , com perodo T = K definida para todos os nmeros reais da seguinte forma. Para um nmero x maior que , subtraia T de x at que o nmero resultanteu = x K k T, onde k um inteiro positivo, esteja no intervalo % x ! . Similarmente, para um nmero x menor do

que , adicione um conveniente mltiplo inteiro kT de T de modo que u = x C k T esteja no intervalo % x ! . Em cada um dos casos defina a funo estendida f x como sendo f u . Em outras palavras, dado qualquer nmero real x, h um nico inteiro (positivo ou negativo) k tal que u = x C k T est no intervalo % x ! , e definimos f x como sendo igual a f u . Uma situao tpica ilustrada abaixo.

u=x-2T

Vamos supor agora que temos uma funo peridica com perodo T . A funo f x pode ser descrita completamente especificando como os seus valores so obtidos em qualquer intervalo % x ! , onde K = T . Em particular, f x determinada por seus valores no intervalo 0 % x ! T. Tx Definimos uma funo peridica g x = f . Esta funo tem perodo 2 , e o grfico de 2 2 g x obtidos dilantando (ou encolhendo) o grfico de f x por um fator . Note que g x T pode ser descrita completamente pela especificao de x no intervalo 0 % x ! 2 . A sua srie de Fourier c C a1 cos x C b1 sin x C a2 cos$2 x C b2 sin$2 x C a3 cos$3 x C b3 sin$3 x C . . . ------- (i), pode ser especificada no intervalo 0 % x ! 2 por 1 c= 2
2 0 2 0 2

1 g x dx, ak =

1 g x cos k x dx and bk = k = 1, 2, 3, . . . .

g x sin k x dx,
0

Podemos, no entanto, computar os coeficientes relativamente funo original f x . Por exemplo, para k = 1, 2, 3, . . . , 1 ak =
2

g x cos k x dx
0

u= 1 =
2

f
0

Tx 2

cos k x dx ...

du = 2 T

T 2 T 2

x dx

x=

2 T

x =$0 implica u =$0 x =$2 implica u = T

du = dx

2 = T = 2 T

f u cos
0 T

2ku T 2kx T

du

f x cos
0 T

dx,

pois a varivel de integrao muda. 1 Similarmente, c = T Como f x = g 2 f x dx and bk = T 0

T

f x sin
0

2kx T

dx for k = 1, 2, 3, . . . .

2x , razovel definir a srie de Fourier de f x por: T N 2kx 2kx cC ak cos C bk sin T T k= 1 = 2x 2x 4x 4x 6x c C a1 cos C b1 sin C a2 cos C b2 sin C a3 cos T T T T T 6x C b3 sin C ... T ------- (ii).

>

Sumrio
Seja f x uma funp definida no intervalo , e seja T = K . Podemos estender f x a uma funo peridica com perodo T impondo f x C k T = f x para cada inteiro k. A srie de Fourier da funo f x is:
N

F x = cC 2x T

k= 1

>

ak cos

2kx T

C bk sin

2kx T

------- (i) 6x T

c C a1 cos

C b1 sin

2x T

= 4x C a2 cos T

C b2 sin

4x T

C a3 cos

C b3 sin

6x T

C ... , onde c = ak = 2 T

1 T

f x dx,

f x cos

2kx T 2kx T

dx

2 e bk = T

f x sin

dx.

Notas: Supomos que as integrais envolvidas na definio dos coeficientes de Fourier c, ak and bk existem e resultam em valores reais. Sob condies adequadas a srie de Fourier converge a f x , caso em que a srie de Fourier (i) chamada expanso de Fourier de f x . Se f x e a derivada f '(x) so contnuas por partes, ou seja, se f x and f '(x) so contnuas exceto em um nmero finito de pontos em qualquer perodo, e no temos descontinuidades infinitas nesses pontos, ento a srie de Fourier converge a f x em em cada ponto onde f x contnua. Em qualquer ponto de descontinuidade x = d a srie de Fourier converge para a mdia dos valores dos limites direita e esquerda:
x/dK

lim f x

C limC f x
x/d

f d K Cf d C . 2

y = f(x)

f(d-) + f(d+) _________ 2

x=d

Examplo 1
Seja a funo f definida por f x = 1 K x , 0 % x ! 2, 2

com f x C 2 = f x , e considere a correspondente funo (dilatada) g x definida por g x = f Ento g x = Kx , 0 % x ! 2 , 2 x .

com f x C 2 = f x Faamos os grficos de f x e g x : O restart O f := x -> Pi*(1-x)/2: O 'f(x)'=f(x); f x = 1 1 Kx 2 (2.3.1)

O f_ := x -> f(x-2*floor(x/2)): O g := x -> (Pi-x)/2: O 'g(x)'=g(x); 1 1 g x = K x 2 2 O g_ := x -> g(x-2*Pi*floor(x/(2*Pi))): O pi := evalf(Pi):

(2.3.2)

O plot([f_(x),g_(x)],x=-2..10,y,color=[COLOR(RGB,.4,0,.8), red],thickness=[1,2], xtickmarks=[0=`0`,2=`2`,pi=`p`,4=`4`,6=`6`,2*pi=`2p`,8= `8`,3*pi=`3p`,10=`10`], ytickmarks=3,font=[SYMBOL,10],labelfont=[HELVETICA,10]) ;

62

3 10

x
K 1

O A srie de Fourier de g x : $2 x sin$3 x sin$4 x sin$5 x sin$6 x sin$7 x C C C C C > sinkk x = sin x C sin2 3 4 5 6 7 C sin$8 x C ... 8
N

k= 1

Podemos verificar este resultado: O O Tg := 2*Pi;

Tg := 2 O bg:=k-> 2/Tg*int(g(x)*sin(k*x), x = 0 .. Tg);

Tg

(2.3.3)

2 bg := k/
0

g x sin k x dx Tg (2.3.4)

O sum(bg(k)*sin(k*x), k = 1 .. 8); 1 1 1 1 1 sin x C sin 2 x C sin 3 x C sin 4 x C sin 5 x C sin 6 x 2 3 4 5 6 C 1 1 sin 7 x C sin 8 x 7 8

(2.3.5)

Portanto, a srie de Fourier de f x kx sin$2 x sin$3 x sin$4 x sin$5 x sin$6 x = sin x C C C C C > sin k 2 3 4 5 6 C sin$7 x sin$8 x C C ... 7 8
N

k= 1

. Podemos verificar este resultado:

O T := 2; T := 2 O assume(k, integer); O b:=k-> 2/T*int(f(x)*sin(2*k*Pi*x/T), x = 0 .. T);

T

(2.3.6)

2 b := k/
0

f x sin T

2kx T

dx (2.3.7)

O sum(b(k)*sin(2*k*Pi*x/T), k = 1 .. 8); 1 1 1 1 sin x C sin 2 x C sin 3 x C sin 4 x C sin 5 x 2 3 4 5 C 1 1 1 sin 6 x C sin 7 x C sin 8 x 6 7 8

(2.3.8)

Faamos os grficos de f x junto com a srie de Fourier truncada: sin$2 x sin$3 x sin$4 x ftr = sin x C C C . 2 3 4 O f := x -> Pi*(1-x)/2; f := x/ 1 1 Kx 2 1 x 2 (2.3.9)

O f_ := x -> f(x-2*floor(x/2)); f_ := x/f x K 2 floor (2.3.10)

O ftr := sum(b(k)*sin(2*k*Pi*x/T), k = 1 .. 4); 1 1 1 ftr := sin x C sin 2 x C sin 3 x C sin 4 x 2 3 4 O plot([f_(x),ftr],x=-2..5,`f(x)`, color=[COLOR(RGB,.4,0,.8),red]);

(2.3.11)

1,5 1 f(x) 0,5 K 2 K 1 0 K 0,5 K 1 K 1,5 1 2 x 3 4 5

O ;

Exemplo 2
Seja f definida por: f x = 0 2 0 % x and x ! 1 1 % x and x ! 3 ,

sendo f x C 3 = f x Faamos o grfico de f x : O restart; O f := x -> piecewise(x<1,0,2): O 'f(x)'=f(x); f x = 0 2 x!1 otherwise (2.4.1)

O f_ := x -> f(x-3*floor(x/3)): O 'f_(x)'='f(x-3*floor(x/3))'; f_ x = f x K 3 floor O ``=value(rhs(%)); = 0 2 x K 3 floor 1 x !1 3 (2.4.3) 1 x 3 (2.4.2)

otherwise

O plot(f_(x),x=-1..8,y,color=COLOR(RGB,.4,0,1),thickness=2);

2 1,5 y 1 0,5 K 1
O ; O coeficiente constante da srie de Fourier de f x c= 1 3

4 x

f x dx
0

1 = 3

2 dx
1

4 = . 3 O f := x -> piecewise(x<1,0,2): O T := 3; T := 3 O c:=1/T*Int('f(x)',x=0..3); c := O c:=value(%); c := 4 3 (2.4.6) 1 3

3

(2.4.4)

f x dx
0

(2.4.5)

O ; os coeficientes da funo cosseno so dados por 2 ak = 3 2 = 3 4 = 3

3

f x cos
1 3

2kx 3 dx

dx

2 cos
1 3

2kx 3 2kx 3 2kx 3

cos
1

dx 3 1 3 1

4 3 = . sin 3 2k

2 sin k

2kx 3

=K 2k 3

2 sin k

2k . 3

Para k = 1, 2, 3, 4, . . . , sin

tem valores

3 3 ,K , 0, 2 2 a1 = K

3 3 ,K , 0, 2 2

3 , . . . , se modo que os coeficientes ak so: 2

3 3 3 3 3 , a2 = , a3 = 0, a4 = K , a5 = , a6 = 0, a7 = K , .... 2 4 5 7

De fato, O a:=k->2/T*int('f(x)'*cos(2*k*Pi*x/T),x=0..3);
3

2 a := k/ O a(n);
0

'f x ' cos T

2kx T

dx (2.4.7)

2 2 sin n cos n K sin n

2 n 3

(2.4.8)

O interface(showassumed = 0); n := 'n'; assume(n, integer); 1 n := n O a(n); 2 sin K 2 n 3 n (2.4.10) (2.4.9)

O ; Os coeficientes da funo seno so dados por 2 bk = 3 2 = 3 4 = 3

3

f x sin
1 3

2kx 3 dx

dx

2 sin
1 3

2kx 3 2kx 3

sin
1

dx 3 1

2kx 4 3 =K . cos 3 2k 3

=K

2kx 2 cos 3 k

3 1 =K 2 k 1 K cos 2k 3 2k 3 K1 .

2 k

cos

2k K 1 tem valores 3 3 3 3 3 3 3 3 K , K , 0, K , K , 0, K , K , 0, K , . . . , de modo que os coeficientes bk so: 2 2 2 2 2 2 2 Para k = 1, 2, 3, 4, . . . , cos 3 3 3 3 3 , b3 = 0, b4 = K , b5 = K , b6 = 0, b7 = K , .... b1 = K , b2 = K 2 4 5 7 O b:=k->value(2/T*Int('f(x)'*sin(2*k*Pi*x/T),x=0..3));
3

2 b := k/value O b(k); 2 K 2 cos k

0

'f x ' sin T

2

2kx T

dx (2.4.11)

C 1 C cos k

2 k 3

(2.4.12)

O value(b(n)); 2 K 1 C cos n O ; O FS:=h->c+sum(a(n)*cos(2/T*n*Pi*x)+b(n)*sin(2/T*n*Pi*x),n=1. .h);

h

2 n 3

(2.4.13)

FS := h/c C O FS(6);

n= 1

>

a n cos

2nx T

C b n sin

2nx T

(2.4.14)

(2.4.15)

4 K 3

3 cos 3 2 sin

2 x 3 4 x 3

3 sin K

2 x 3 3 cos

1 2

3 cos K 3 4 sin

4 x 3 8 x 3

(2.4.15)

1 4

8 x 3 10 x 3

1 C 5

3 cos

10 x 3

3 K 5

sin

O ; O plot([f_(x),seq(FS(i),i=1..7)],x=-1..5,y, color=[black,red,blue,green,magenta,coral,brown,navy], linestyle=[3,1$5]);

2 1,5 y 1 0,5

K 1
O f_(x);

2 x

0 2

x K 3 floor

1 x !1 3

(2.4.16)

otherwise

O ; Faamos uma animao do processo de convergncia. Note que nos extremos da onda quadrada a convergncia muito lenta. O frames := [seq(plot([f_(x),FS(i)],x=-1..5,y, color=[black,red],numpoints=50+i,linestyle=[3,1]),i=1. .50)]: plots[display](frames,insequence=true);

1,5 y 1

0,5

K 1
O ;

2 x

Exemplo 3
Seja f definida por K 1 f x = 0 1 K 2 % x and x ! 0 0 % x and x ! 1 , 1 % x and x ! 2

com f x C 4 = f x . Para fazer o grfico de f x inicialmente definimos a funo no intervalo K 2 % x ! 2, e depois estendemos a definio de f x para todos os nmeros reais usando a periodicidade. Tal funo estendida denotada por f_ x . O restart; O f := x -> piecewise(x<0,-1,x<1,0,1): O 'f(x)'=f(x); K 1 x !0 f x = 0 1 x !1 otherwise (2.5.1)

O f_ := x -> f(x-4*floor((x+2)/4)): O 'f_(x)'='f(x-4*floor((x+2)/4))'; (2.5.2)

f_ x = f x K 4 floor

1 1 xC 4 2

(2.5.2)

O plot(f_(x),x=-4..8,color=COLOR(RGB,.4,0,1),thickness=2);

1 0,5

K 4

K 2

0 K 0,5 K 1

4 x

O ; Calculemos os coeficientes da srie de Fourier. O termo constante dado por 1 c= 4 = 1 4

2

f x dx
K 2

K 1

1 =K . 4 O T := 4; T := 4 O f := x -> piecewise(x<0,-1,x<1,0,1): O c:=1/4*int(f(x),x=-T/2..T/2); 1 c := K 4 O ; Os coeficientes dos cossenos so dados por 1 ak = 2 1 = 2

0

(2.5.3)

(2.5.4)

f x cos
K 2

kx 2
2

dx kx 2

K 2

kx K 1 `.` cos 2 0 sin kx 2 K 2

1 dx C

1 `.` cos
1

dx

1 = 2

2 K k

1 C 2

2 k

2 sin kx 2 1

=0C

1 k

0 K sin

k 2

=K Para k = 1, 2, 3, 4, . . . , sin coeficientes ak so: k 2

1 sin k

k . 2

tem valores 1, 0, K 1, 0, 1, 0, K 1, . . . , de modo que os

1 1 1 1 a1 = K , a2 = 0, a3 = , a4 = 0, a5 = K , a6 = 0, a7 = , ... 3 5 7 De fato, O a:=k->2/T*int('f(x)'*cos(2*k*Pi*x/T),x=-T/2..T/2);

1 T 2

2
K

'f x ' cos

1 T 2

2kx T

dx (2.5.5)

a := k/ O a(n);

T 1 n 2 n

sin K

(2.5.6)

O b:=k->2/T*int('f(x)'*sin(2*k*Pi*x/T),x=-T/2..T/2);
1 T 2

2
K

'f x ' sin

1 T 2

2kx T

dx (2.5.7)

b := k/ O b(n);

T 1 n 2

K 2 cos n C 1 C cos n

(2.5.8)

O FS:=h->c+sum(a(n)*cos(2/T*n*Pi*x)+b(n)*sin(2/T*n*Pi*x),n=1. .h); FS := h/c C O FS(6); K 1 K 4 cos 1 x 2 3 sin C 1 x 2 K sin x C 1 3 cos 3 x 2 (2.5.10)

n=1

>

a n cos

2nx T

C b n sin

2nx T

(2.5.9)

sin C

3 x 2

1 5

cos

5 x 2

3 5

sin

5 x 2

1 sin 3 x 3

O ; O plot([f_(x),seq(FS(i),i=1..7)],x=-3..3,y, color=[black,red,blue,green,magenta,coral,brown,navy], linestyle=[3,1$5]);

1 y 0,5

K 3

K 2

K 1

0 K 0,5 K 1

1 x

O f_(x); K 1 0 1 x K 4 floor x K 4 floor 1 1 xC 4 2 1 1 xC 2 4 !0 !1 (2.5.11)

otherwise

Faamos uma animao do processo de convergncia. Note que nos extremos da onda quadrada a convergncia muito lenta. O frames := [seq(plot([f_(x),FS(i)],x=-5..5,y, color=[black,red],numpoints=50+i,linestyle=[3,1]),i=1. .50)]: O plots[display](frames,insequence=true);

1 y

0,5

K 4

K 2

0 K 0,5

2 x

K 1
O ;

Exerccios
Para cada funo f definida a seguir, (a) Determine as frmulas para os coefiecientes de Fourier da funco f e mostre os primeiros termos da srie. (b) Compare os grficos de algumas sries de Fourier truncadas com o grfico de f .

f x =

0 % x and x ! 2

3 2 % x and x ! 4 f x C4 = f x 1 2

f x =

K 1 % x and x ! 0

K x 0 % x and x ! 1 f x C2 = f x . 3 f x = sin x, 0 % x ! , f x C = f x

f x = sin x, K

%x ! , 2 2 f x C = f x

O ;

3 Forma complexa da srie de Fourier

Base exponencial complexa e coeficientes da expanso
Seja a srie de Fourier de uma funo peridica f x dada por kx C bk sin L k= 1 onde f x C 2 L = f x . Usando as frmulas de Euler ei = cos C i sin e i K i e Ce cos = 2 i i e K eK sin = 2i F x =c+
N

>

ak cos

kx L

, (i)

podemos reescrever (i) como

N

F x =c+ ou

k= 1

>

ak
N

ki x L

Ce 2

ki x L

C bk
ki x L

ki x L

Ke 2i
K

ki x L

.
ki x L

F x =c+

k= 1

>

ak K i bk 2

ak C i bk 2

Definindo c0 = c, ck =

ak K i bk 2

and cK k=

ak C i bk 2 ck e

temos
K

F x = c0 + ou

k= 1

>

ki x L

C cK ke
K N

ki x L

F x = c0 +

k= 1

>c e
k

ki x L

k= K 1 ki x L

>c e
k

ki x L

F x =

k= K N

>ce
k

Esta a chamada srie de Fourier complexa de f x . Os coeficientes da sries so dados por ck = ak K i bk 2

1 = 2L 1 = 2L

K L

kix f x cos L
L

dx K i
K L

f x sin

kix L

dx

f x cos
K L

kix L
L

K i f x sin
K ki x L

kix L

dx

1 = 2L Similarmente,

f x e
K L

dx.

cK k= 1 = 2L 1 = 2L
L

ak C i bk 2
L

K L

kix f x cos L
L

dx C i
K L

f x sin

kix L

dx

f x cos
K L

kix L
L

C i f x sin
ki x L

kix L

dx

1 = 2L 1 alm disso, c0 = 2L Portanto 1 ck = 2L para todos valores inteiros de k. Notas: Como f x C 2 L = f x

L

f x e
K L

dx.

f x dx.
K L

f x e
K L

ki x L

dx,

ck pode tambm ser escrito como 1 ck = 2L

2L K

f x e
0

ki x L

dx.

Se f x uma funo real, ento cK k = ck, onde z denota o complexo conjugado de z e

2 ck = a2 k C bk para k s 0. Neste caso os coeficientes na forma trigonomtrica da srie de Fourier podem ser recuperados a partir dos coeficientes complexos ck atravs das formulas:

ak = ck C cK k = ck C ck = 2 Re ck ,

bk = i ck K cK 2 Im ck . k = i ck K ck =K _________________________________________________ Ortogonalidade As funes k x = e Fourier complexa

N
ki x L

, para k = . . . , K 3, K 2, K 1, 0, 1, 2, 3, . . . , que aparecem na srie de

F x = formam um conjunto
K ki x L 2 i x L

k= K N K K i x L

>ce
k L

ki x L

,
2 i x L ki x L

...,e , ...,e ,e , 1, e ,e que mutuamente ortogonal relativamente ao produto escalar f x ,g x =

K L

i x L

, ...,e

, ... ,

f x g x dx .
L ki x L m i x L

De fato,
K

k x , m x =
K L

dx

0 2L

msk m=k

(ii)

Verifiquemos a relao (ii). Suponhamos que m s k. Ento

L

k x , m x =
L

K L

k x m x dx
m i x L

=
K L

e
L

ki x L

dx

=
K L

kKm i x L

dx L K L

L e k Km i L k Km i L k Km i e

kKm i x L

kKm i

K eK k K m

= Por outro lado,

K 1

kKm

K K 1

m Kk

= 0.
L

k x , k x =

K L

k x k x dx

=
K L

ki x L

ki x L

dx

=
K L

1 dx = 2 L.

No Maple este resultado pode ser calculado da seguinte forma: O f := k -> exp(I*k*Pi*x/L) ; f := k/e O fc := k -> exp(-I*k*Pi*x/L) ;
K Ikx L

(3.1.1)

fc := k/e

Ikx L

(3.1.2)

O assume(k, integer); assume(m, integer); O int(f(k)*fc(m), x = -L .. L); 0 O int(f(k)*fc(k), x = -L .. L); 2L Podemos definir a magnitude de f x pela relao
L L

(3.1.3) (3.1.4)

f x

f x ,f x =
K L

f x f x dx =
K L

f x

dx.

Podemos mostrar que as regras acima satisafazem aquelas que definem formalmente um produto interno, ou seja, (a) f x , g x = g x , f x ----- o produto interno simetricamente conjugado. (b) ISe r e s so escalares complexos, ento r f x Cs g x , h x = r f x , h x Cs f x , h x e h x , r f x C s g x = r h x , f x C s h x , f x ----- o produto interno bilinear. (c) f x , g x is real e no negativo e f x , f x = 0 quando f x = 0 ----- o produto interno positivo definido. Do ponto de vista de espaos vetoriais uma funo considerada como um vetor que pode ser expressa como uma combinao linear dos vetores de base {k x , K x k
N

f x = ou

k= K N

>ce
k

ki x L

f x =
ki x L

k= K N

>c
k

x ,

onde k x = e . As componentes de f x com relao a esta base so as componente de Fourier ck . Estas componentes podem ser determinadas projetando-se f x sobre cada funo de base, ou seja,
N

f x , m x =
N

k= K N k

>c
k

, m x

k= K N

>c

k x , m x

= cm m x , m x = cm 2 L . Hence cm = 1 = 2L O ; 1 f x , m x 2L
L K

f x e
K L

m i x L

dx .

Examplo 1
Seja f definida por f x = x, 0 % x ! 2 , f x C2 = f x . Determinemos a expanso de Fourier desta funo na forma complexa. O grfico desta funo mostrado abaixo: O restart; O f := x -> x-2*Pi*floor(x/(2*Pi)); plot(f(x),x=-2*Pi..20,color=COLOR(RGB,.4,0,.9)); 1 x f := x/x K 2 floor 2

6 5 4 3 2 1 K 5
O ; O coeficiente constante 1 c0 = 2 1 = 2 x 2
2 2

10 x

15

20

x dx
0

2 0

= . Os outros coeficientes so dados por 1 ck = 2 Notemos que

i kx eK xe dx = u dx, onde u = x e v = . K ik dv du dx = u v K v Usando a frmula de integrao por partes u dx dx K i kx 2 0

xe

K i kx

dx.

dv dx

dx , temos

1 ck = 2 =

i kx x eK K ik K 2 ki

2 0 K

1 K 2

i kx eK dx K ik

2e

K 2ki

De fato, O assume(k, integer); O L := Pi;

i kx 1 eK 2 K k2 1 = C0 K ki i = . k

2 0

(3.2.1)

L := O c:=k->int(x*exp(-I*k*Pi*x/L), x = 0 .. 2*Pi)/(2*L);
2 K Ikx L

(3.2.1)

xe c := k/ O c(k); I k O c(0); 1 2
0

dx (3.2.2)

(3.2.3)

(3.2.4)

A srie at uma ordem h dada por O FS :=h-> c(0)+sum(c(n)*exp(I*n*Pi*x/L), n = 1 .. h)+sum(c (n)*exp(I*n*Pi*x/L), n = -h .. -1);
h

FS := h/c 0 C

n=1

>c n

In x L

K 1

n=K h

>cn

In x L

(3.2.5)

O FS(7); 1 1 1 1 1 1 Ix 2 Ix 3 Ix 4 Ix 5 Ix 6 Ix 7 Ix CI e C Ie C Ie C Ie C Ie C Ie C Ie 2 3 4 5 6 7 K 1 1 1 1 1 1 7 Ix 6 Ix 5 Ix 4 Ix 3 Ix 2 Ix Ix I eK K I eK K I eK K I eK K I eK K I eK K I eK 7 6 5 4 3 2

(3.2.6)

Os coeficientes ak e bk na correspondente srie trigonomtrica para f x so dados por O a:=k->2*Re(c(k)); b:=k->-2*Im(c(k)); a := k/2 R c k b := k/K 2I c k O a(k);b(k); 0 K 2 k (3.2.8) (3.2.7)

O FStrig := h-> c(0)+sum(a(n)*cos(n*Pi*x/L)+b(n)*sin(n*Pi* x/L), n = 1 .. h);

h

FStrig := h/c 0 C O FStrig(7); K 2 sin x K sin 2 x K K 2 sin 7 x 7

n=1

>

a n cos

nx L

C b n sin

nx L

(3.2.9)

2 1 2 1 sin 3 x K sin 4 x K sin 5 x K sin 6 x 3 2 5 3

(3.2.10)

O plot([f(x), seq(FStrig(i), i = 1 .. 7)], x = -3 .. 3, y, color = [black, red, blue, green, magenta, coral, brown, navy], linestyle = [3, `$`(1, 5)]);

6 5 4 y 3 2 1

K 3

K 2

K 1

1 x

O plot([f(x),FStrig(30)], x=-9 .. 9, y, color = [black, red], linestyle = [3,1]);

6 5 4 y 3 2 1 K 8 K 6 K 4 K 2 0 2 4 x
O