S eries de Fourier

Prof. Ulysses Sodr e

30/08/2001; fourier.tex

Indice Geral
1 A import ancia das s eries de Fourier 1
1.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Problema de aproximac ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.3 Problema do limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.4 Problema da integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.5 Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2 Func oes Peri odicas 2
3 N ucleo de Dirichlet 2
4 Polin omios e s eries trigonom etricas 3
4.1 Polin omio trigonom etrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
4.2 S erie trigonom etrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
5 Algumas f ormulas e integrais especiais 4
6 Func oes absolutamente integr aveis 4
6.1 Func ao integr avel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
6.2 Func ao absolutamente integr avel . . . . . . . . . . . . . . . . . . . . . . . . 5
7 S eries de Fourier e Coecientes de Fourier 5
7.1 Aplicac ao de s erie de Fourier: Soma de s erie . . . . . . . . . . . . . . . . . 8
8 Func oes Pares e

Impares 8
8.1 Func oes com simetrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
8.2 Propriedades de func oes com simetrias . . . . . . . . . . . . . . . . . . . . . 8
9 Integrais de func oes com simetrias 9
9.1 Propriedades gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
9.2 Propriedades para os coecientes de Fourier . . . . . . . . . . . . . . . . . . 10

INDICE GERAL ii
10 Descontinuidade de func oes reais 10
10.1 Salto de func ao descontnua . . . . . . . . . . . . . . . . . . . . . . . . . . 10
10.2 Descontinuidade de primeira esp ecie . . . . . . . . . . . . . . . . . . . . . . 11
10.3 Descontinuidade de segunda esp ecie . . . . . . . . . . . . . . . . . . . . . . 11
10.4 Valor m edio de uma func ao num ponto . . . . . . . . . . . . . . . . . . . . . 11
11 Func oes Seccionalmente diferenci aveis 12
11.1 Func ao seccionalmente contnua . . . . . . . . . . . . . . . . . . . . . . . . 12
11.2 Lema fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
11.3 Func ao seccionalmente diferenci avel . . . . . . . . . . . . . . . . . . . . . . 12
12 Teorema de Fourier 13
13 Aproximac ao de func ao pela s erie de Fourier 13
14 O fen omeno de Gibbs e a s erie de Fourier 16
15 S eries de Fourier de Senos e Cossenos 17
15.1 O papel das extens oes de func oes . . . . . . . . . . . . . . . . . . . . . . . . 17
15.2 Extens oes de func oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
16 Extens oes de func oes 2-peri odicas 17
17 Extens oes de func oes 2L-peri odicas 19
18 Forma simplicada da S erie de Fourier 20
19 Forma complexa da S erie de Fourier 20
20 Coecientes de Fourier reais e complexos 21
21 A s erie de Fourier e a sua derivada 23
22 Resoluc ao de EDOL com s eries de Fourier 23
22.1 Fourier e as EDOL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
22.2 EDOL de primeira ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
22.3 EDOL de segunda ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Sec ao 1 A import ancia das s eries de Fourier 1
1 A import ancia das s eries de Fourier
1.1 Introduc ao
Estudar s eries de Fourier e muito diferente de estudar s eries de pot encias
(Taylor) pois uma s erie de Fourier funciona como um processo global en-
quanto que uma s erie de pot encias e local. Apresentaremos alguns problemas
mostrando que nem sempre e vi avel trabalhar com s eries de pot encias.
1.2 Problema de aproximac ao
Com a s erie de Taylor de uma func ao f, obtemos o polin omio de Taylor que
d a uma boa aproximac ao para a func ao f nas vizinhancas de um ponto, mas
uma h a uma exig encia: que esta func ao f seja sucientemente suave, ou seja,
que f possua derivadas contnuas at e uma certa ordem dada, tanto no ponto
como nas vizinhancas deste ponto. Para obter um processo de aproximac ao
global, este m etodo falha pois a aproximac ao de Taylor e local e n ao global.
1.3 Problema do limite
Para obter o limite de f num ponto x
0
, a aproximac ao polinomial de Taylor
funciona bem mas em pontos distantes de x
0
, o processo e ruim. Isto acontece
tamb em para func oes descontnuas e ocorrem falhas pois este processo de
aproximac ao e local.
1.4 Problema da integral
Para obter valores aproximados para uma integral sobre umintervalo, a aproximac ao
de Taylor n ao funciona. Este problema pode ser resolvido com o uso de S eries
de Fourier uma vez que trabalhamos com func oes peri odicas.
1.5 Fourier
Jean B. Fourier (1768-1830) foi pioneiro na investigac ao destes problemas.
No livro Th eorie Analytique de la Chaleur, escrito em 1822, ele introduziu
o conceito conhecido atualmente como S erie de Fourier, que e muito utilizado
nas ci encias em geral, principalmente nas areas envolvidas com: Matem atica,
Engenharia, Computac ao, M usica, Ondulat oria, Sinais Digitais, Processamen-
to de Imagens, etc.
Sec ao 2 Func oes Peri odicas 2
2 Func oes Peri odicas
Uma func ao f : R R e peri odica, se existe um n umero p R tal que para
todo x R:
f(x + p) = f(x)
O n umero p e um dos perodos de f.
`
As vezes existem v arios n umeros com
esta propriedade, mas o menor n umero real positivo com esta caracterstica e
chamado perodo fundamental de f, que e simplesmente denominado perodo.
Quando uma func ao f tem perodo p, diz-se que f e p-peri odica e denotamos
este fato por f(x) = f(x + p).
Exerccio: Sejam f e g func oes reais.
(1) Obter o perodo (fundamental) de:
f(x) = 3 sin(2x) + 4 cos(3x)
(2) Se a R e f = f(x) e p-peri odica, mostrar que
_
a+
p
2
a
p
2
f(x)dx =
_ p
2

p
2
f(x)dx
(3) Se g(x) =
_
x
0
f(u)du, f = f(x) e p-peri odica e al em disso
_
p/2
p/2
f(u)du = 0
mostrar que g e p-peri odica.
(4) Se g(x) =
_
x
0
f(u)du e g e p-peri odica, mostrar que
_
p/2
p/2
f(u)du = 0
Exemplos: As func oes reais f(x) = sin(nx), g(x) = cos(mx) e h(x) =
Acos(mx) + B sin(nx) s ao func oes 2-peri odicas.
3 N ucleo de Dirichlet
O N ucleo de Dirichlet, denido para todo x R, por:
D
n
(x) =
1
2
+ cos(x) + cos(2x) + ... + cos(nx)
Sec ao 4 Polin omios e s eries trigonom etricas 3

E possvel mostrar que se sin(

x
2
) = 0, ent ao:
D
n
(x) =
sin[(n + 1)
x
2
]
2 sin(
x
2
)
Como 2 cos(p) sin(q) = sin(p + q) sin(p q), tomando p = kx e q = x/2
teremos para todo k = 1, ..., n:
2 cos(kx) sin(
x
2
) = sin((k +
1
2
)x) sin((k
1
2
)x)
Assim:
2 cos(1x) sin(
x
2
) = sin(
3x
2
) sin(
1x
2
)
2 cos(2x) sin(
x
2
) = sin(
5x
2
) sin(
3x
2
)
2 cos(3x) sin(
x
2
) = sin(
7x
2
) sin(
5x
2
)

2 cos(nx) sin(
x
2
) = sin[(n +
1
2
)x] sin[(n
1
2
)x]
Somando membro a membro as igualdades acima e dividindo a soma por
2 sin(
x
2
), teremos o resultado.
Para x = 0, denimos D
n
(x) = N +
1
2
. Este valor e garantido pelo limite
fundamental
lim
x0
sin(x)
x
= 1
Exerccio: Escrever a func ao f(x) = B cos(nx) + C sin(nx) na forma:
f(x) = Acos(nx )
4 Polin omios e s eries trigonom etricas
4.1 Polin omio trigonom etrico
Um polin omio trigonom etrico de ordem n e uma func ao S
n
= S
n
(x) 2-
peri odica da forma:
S
n
(x) = C +
n

k=1
[a
k
cos(kx) + b
k
sin(kx)]
4.2 S erie trigonom etrica 4
4.2 S erie trigonom etrica
Uma s erie trigonom etrica e uma representac ao S = S(x) em s erie de func oes
trigonom etricas da forma:
S(x) = C +

k=1
[a
k
cos(kx) + b
k
sin(kx)]
5 Algumas f ormulas e integrais especiais
Sejam m N e n N, onde N = {1, 2, 3, ...}. Ent ao:
(1) cos(m + n)x = cos(mx) cos(nx) sin(mx) sin(nx)
(2) sin(m + n)x = sin(mx) cos(nx) + sin(nx) cos(mx)
(3) 2 sin(mx) cos(nx) = sin[(m + n)x] + sin[(mn)x]
(4) 2 cos(mx) cos(nx) = cos[(m + n)x] + cos[(mn)x]
(5) 2 sin(mx) sin(nx) = cos[(mn)x] cos[(m + n)x]
(I1)
_

cos(nx)dx =
_

sin(nx)dx = 0
(I2)
_

sin(mx) cos(nx)dx = 0
(I3)
_

cos(mx) cos(nx)dx =
_
se m = n
0 se m = n
(I4)
_

sin(mx) sin(nx)dx =
_
se m = n
0 se m = n
6 Func oes absolutamente integr aveis
6.1 Func ao integr avel
Uma func ao real f : R R e integr avel sobre um intervalo real [a, b] se:
_
b
a
f(u) du <
Exemplo: As func oes f : R R denidas atrav es de f(x) = cos(mx) e
f(x) = sin(nx) s ao integr aveis.
6.2 Func ao absolutamente integr avel 5
6.2 Func ao absolutamente integr avel
Uma func ao real f : R R e absolutamente integr avel sobre um intervalo
[a, b] se:
_
b
a
|f(u)| du <
Exemplo: A func ao f : R R denida por:
f(x) =
_
_
_
sin(x)
x
se x = 0
1 se x = 0
e integr avel mas n ao e absolutamente integr avel.
7 S eries de Fourier e Coecientes de Fourier
Seja f(x) = f(x +2) e f e integr avel sobre [, ]. A s erie de Fourier de f
e a s erie trigonom etrica:
f(x)
a
0
2
+

n=1
[a
n
cos(nx) + b
n
sin(nx)]
onde a
0
, a
n
e b
n
s ao os coecientes de Fourier de f denidos por:
a
0
=
1

f(x) dx
a
n
=
1

f(x) cos(nx) dx (n 1)
b
n
=
1

f(x) sin(nx) dx (n 1)
O smbolo foi usado pois nem sempre esta s erie de func oes converge para f.
Se f for 2-peri odica e seccionalmente diferenci avel, teremos a converg encia
da s erie trigonom etrica e poderemos substituir o sinal pelo sinal =.
Exerccio: Mostrar que a s erie de Fourier da func ao 2-peri odica, denida
por:
f(x) =
_
1, < x < 0
+1, 0 < x <
e representada por
f(x)
4

k=1
sin[(2k 1)x]
2k 1
Sec ao 7 S eries de Fourier e Coecientes de Fourier 6
Exerccio: Mostrar que a s erie de Fourier da func ao 2-peri odica, denida
por:
f(x) = |x|, ( x )
e representada por
f(x)

2

4

k=1
cos[(2k 1)x]
(2k 1)
2
Exemplo: Obteremos a s erie de Fourier da func ao
f(x) =
_
0, x < 0
, 0 x
Temos que:
a
0
=
1

{
_
0

0 dx +
_

0
dx} =
e para n 1:
a
n
=
1

_

0
cos(nx)dx = 0
Como
b
n
=
1

_

0
sin(nx)dx =
1 cos(n)
n
Para n par, obtemos b
n
= 0 e para n mpar:
b
2k1
=
2
2k 1
(k N)
assim a s erie de Fourier ser a dada por
f(x)

2
+ 2

k=1
sin[(2k 1)x]
2k 1
ou seja
f(x)

2
+ 2
_
sin(x) +
sin(3x)
3
+
sin(5x)
5
+ . . .
_
Exemplo: Para obter a s erie de Fourier da func ao
g(x) =
_
/2 x < 0
/2 0 x
basta usar o fato que
g(x) = f(x)

2
Sec ao 7 S eries de Fourier e Coecientes de Fourier 7
e utilizar a s erie de Fourier do exemplo anterior menos a constante /2, para
obter:
g(x) 2
_
sin(x) +
sin(3x)
3
+
sin(5x)
5
+ . . .
_
Observac ao: A partir da s erie de Fourier para func oes 2-peri odicas podemos
obter a s erie de Fourier para func oes peri odicas com perodo 2L. Realmente,
se f e 2L-peri odica e integr avel no intervalo [L, L], denimos uma outra
func ao
(x) = f
_
Lx

_
que e 2-peri odica e integr avel em [, ] e a s erie de Fourier de e dada
por:
(x) = f
_
Lx

a
0
2
+

n=1
[a
n
cos(nx) + b
n
sin(nx)]
Tomando x = v/L, obtemos uma denic ao mais geral para os coecientes
de Fourier.
Denic ao: Se f e uma func ao 2L-peri odica e integr avel no intervalo [L, L],
a sua s erie de Fourier e dada por:
f(v)
a
0
2
+

n=1
[a
n
cos(
nv
L
) + b
n
sin(
nv
L
)]
onde os coecientes podem ser dados pelas express oes:
a
n
=
1

f(
Lx

) cos(nx)dx =
1
L
_
L
L
f(x) cos(
nx
L
)dx
b
n
=
1

f(
Lx

) sin(nx)dx =
1
L
_
L
L
f(x) sin(
nx
L
)dx
para n 1, sendo que a
0
pode ser obtido como a
n
com n = 0.
Exemplo: A s erie de Fourier da func ao 4-peri odica
f(x) =
_
0, 2 x < 0
x, 0 x 2
pode ser obtida com L = 2 (metade do perodo=4). Assim:
a
0
=
1
2
_
2
0
xdx = 1
7.1 Aplicac ao de s erie de Fourier: Soma de s erie 8
a
n
=
1
2
_
2
0
x cos(
nx
2
)dx =
2
n
2

2
((1)
n
1)
b
n
=
1
2
_
2
0
x sin(n
x
2
)dx =
2(1)
n
n
Logo
f(x)
1
2
+

n=1
[
(1)
n
1
n
2

2
cos(
nx
2
)
2(1)
n
n
sin(
nx
2
)]
7.1 Aplicac ao de s erie de Fourier: Soma de s erie
Exerccio: Obter a s erie de Fourier da func ao 2-peri odica denida por f(x) =
x
2
, tomar x = para mostrar que:

n=1
1
n
2
=

2
6
8 Func oes Pares e

Impares
8.1 Func oes com simetrias
Uma func ao f : R R e par se, para todo x R:
f(x) = f(x)
e e uma func ao f : R R mpar se para todo x R:
f(x) = f(x)
As func oes pares s ao sim etricas em relac ao ao eixo (x=0) e as func oes mpares
s ao sim etricas em relac ao ao ponto (0, 0).
8.2 Propriedades de func oes com simetrias
S ao v alidas as seguintes propriedades:
(1) A soma de func oes pares e uma func ao par.
(2) A soma de func oes mpares e uma func ao mpar.
(3) O produto de duas func oes pares e uma func ao par.
(4) O produto de duas func oes mpares e uma func ao par.
Sec ao 9 Integrais de func oes com simetrias 9
Figura 1: Sinais: par e mpar
(5) O produto de uma func ao par por uma mpar e uma mpar.
(6) Toda func ao real f pode ser decomposta na soma de uma func ao par f
p
e
uma func ao mpar f
i
, denidas por:
f
p
(x) =
f(x) + f(x)
2
f
i
(x) =
f(x) f(x)
2
Exemplo: S ao pares as func oes reais:
f(x) = cos(nx), f(x) = x
2
, f(x) = x
76
S ao mpares as func oes reais:
f(x) = sin(nx), f(x) = x, f(x) = x
77
A func ao nula denida no intervalo [, ] e par e mpar.
9 Integrais de func oes com simetrias
9.1 Propriedades gerais
Seja f : R R uma func ao integr avel no intervalo [L, L].
(1) Se f e uma func ao par, ent ao:
_
L
L
f(x)dx = 2
_
L
0
f(x)dx
(2) Se f e uma func ao mpar, ent ao:
_
L
L
f(x)dx = 0
9.2 Propriedades para os coecientes de Fourier 10
9.2 Propriedades para os coecientes de Fourier
Seja f : R R uma func ao 2-peri odica, integr avel e absolutamente inte-
gr avel no intervalo [, ].
(1) Se f e uma func ao par, ent ao b
n
= 0 e
a
n
=
2

_

0
f(x) cos(nx)dx (n 0)
(2) Se f e uma func ao mpar, ent ao a
n
= 0 e
b
n
=
2

_

0
f(x) sin(nx)dx (n 1)
Exemplo: Usando o benefcio da paridade, obteremos a s erie de Fourier da
func ao 2-peri odica, denida em [, ] por:
f(x) = x, x
Como f e mpar, ent ao a
n
= 0, para n 0, basta obter os coecientes b
n
.
Para qualquer n 1, temos:
b
n
=
2

_

0
x sin(nx)dx = 2
(1)
n+1
n
logo
f(x) 2

n=1
(1)
n+1
n
sin(nx)
ou seja
f(x) 2
_
sin(x)
sin(2x)
2
+
sin(3x)
3
....
_
10 Descontinuidade de func oes reais
10.1 Salto de func ao descontnua
Se uma func ao real f possui uma descontinuidade em um ponto p, denimos
o salto de f em p como
salto(f)(p) = f(p
+
) f(p

)
10.2 Descontinuidade de primeira esp ecie 11
10.2 Descontinuidade de primeira esp ecie
Uma func ao real f tem uma descontinuidade de 1a. esp ecie (ou descontinui-
dade de salto nito) em p, se satisfaz ` as seguintes condic oes:
(1) Sobre cada intervalo nito I, f e contnua, exceto no ponto p I;
(2) f e contnua ` a direita de x = p e ` a esquerda de x = p;
(3) Os limites laterais de f ` a esquerda e ` a direita em x = p, denotados por
f(p

) e f(p
+
) s ao nitos e al em disso:
salto(f)(p) = f(p
+
) f(p

) <
10.3 Descontinuidade de segunda esp ecie
Quando salto(f)(p) = f(p
+
) f(p

) = , dizemos que a func ao tem uma

descontinuidade de 2a. esp ecie em p, tamb em denominada descontinuidade
com salto innito.
10.4 Valor m edio de uma func ao num ponto
Se f e uma func ao contnua em x ou que tem uma descontinuidade de salto
nito em x, denimos o Valor m edio de f em x como:
f(x) =
f(x
+
) + f(x

)
2
Se f e contnua em x, f(x
+
) = f(x

) = f(x) e assim:
f(x) = f(x)
Exemplo: A func ao sinal f : [10, 20] R denida por
f(x) = sinal(x) =
_
_
_
+1 se x > 0
0 se x = 0
1 se x < 0
temdescontinuidade de salto nito emx = 0, pois f e contnua sobre [10, 20]
exceto em x = 0, f e contnua ` a direita de x = 0, f e continua ` a esquerda de
x = 0 e al em disso:
f(0
+
) = lim
x0
+
f(x) = 1
f(0

) = lim
x0

f(x) = 1
salto(f)(0) = 2
f(0) = 0
Sec ao 11 Func oes Seccionalmente diferenci aveis 12
11 Func oes Seccionalmente diferenci aveis
11.1 Func ao seccionalmente contnua
Uma func ao seccionalmente contnua sobre R e aquela que, sobre cada inter-
valo nito I R possui no m aximo um n umero nito de descontinuidades
de salto nito. Os limites laterais de f ` a esquerda e ` a direita nos pontos de
descontinuidade de salto nito p
j
(j=1,2,...,n) s ao indicados respectivamente
por:
f(p
j

) = lim
xp
j

f(x) f(p
j
+
) = lim
x p
j
+
f(x)
O salto de f em cada p
j
e indicado por:
salto(f)(p
j
) = f(p
j
+
) f(p
j

)
Exemplo: S ao seccionalmente contnuas sobre R, as func oes:
1. f(x) = [x] = max{z Z : z x}, (m aximo inteiro)
2. g(x) = x [x], g(x) = g(x + 2), (dente de serra)
3. h(x) = |x|, h(x) = h(x + 2), (modular)
Exemplo: A func ao j : R

R, denida por j(x) =

1
x
n ao e seccionalmente
contnua sobre R, pois possui uma descontinuidade de segunda esp ecie (salto
innito) em x = 0.
Exerccio: Construir os gr acos das func oes dos exemplos, observando que
tais func oes s ao contnuas sobre cada intervalo de medida nita.
11.2 Lema fundamental
Se f : [a, b] R e uma func ao seccionalmente contnua, ent ao f e limitada e
integr avel sobre [a, b].
O resultado oferecido por este Lema e muito importante do ponto de vista das
aplicac oes, pois grande parte das func oes utilizadas na pr atica s ao seccional-
mente contnuas.
11.3 Func ao seccionalmente diferenci avel
Func ao seccionalmente diferenci avel e uma func ao real f que possui as duas
propriedades seguintes:
Sec ao 12 Teorema de Fourier 13
(1) f e seccionalmente contnua;
(2) A derivada de f e seccionalmente contnua.
Exemplos: S ao seccionalmente diferenci aveis as func oes
1. f(x) = [x] = max{z Z : z x}, (m aximo inteiro)
2. g(x) = x [x], g(x) = g(x + 2), (dente de serra)
3. h(x) = |x|, h(x) = h(x + 2), (modular)
mas a func ao m(x) = m(x + 2) denida por m(x) =

2
x
2
n ao e
seccionalmente diferenci avel mas somente e seccionalmente contnua.
12 Teorema de Fourier
Teorema: Se f e uma func ao seccionalmente diferenci avel e 2-peri odica, a
s erie de Fourier de f converge uniformemente para o valor m edio de f em
cada ponto, isto e:
f(x) =
a
0
2
+

n=1
[a
n
cos(nx) + b
n
sin(nx)]
Se f for contnua em x, ent ao escreveremos f(x) = f(x).
13 Aproximac ao de func ao pela s erie de Fourier
Teorema de Weierstrass: Se f e uma func ao contnua sobre Re 2-peri odica,
ent ao f pode ser aproximada uniformemente por umpolin omio trigonom etrico
da forma:
S
n
(f)(x) =
a
0
2
+
n

k=1
[a
k
cos(kx) + b
k
sin(kx)]
Este e um teorema extremamente importante na Teoria de Aproximac ao de
func oes e e muito utilizado em estudos de An alise Num erica.
Mostraremos a relac ao gr aca entre uma func ao f e as primeiras somas par-
ciais de sua s erie de Fourier. Tal procedimento pode ser estendidos ` as func oes
2-peri odicas seccionalmente diferenci aveis.
Sec ao 13 Aproximac ao de func ao pela s erie de Fourier 14
Exemplo: Se f(x) = |x|, 2-peri odica, denida sobre [, ], o desenvolvimento
de Fourier de f e dado por:
f(x) =

2

4

_
cos(x) +
1
9
cos(3x) +
1
25
cos(5x) + . . .
_
Esta func ao satisfaz aos Teoremas de Weierstrass e de Fourier, assim podemos
garantir a igualdade de f com a sua s erie e ocorre a converg encia uniforme.
Temos ent ao a garantia que:
lim
n
S
n
(f)(x) = f(x)
As somas parciais desta s erie de Fourier, ser ao denotadas por S
1
(f), S
2
(f),
S
3
(f), S
4
(f), ... e mostraremos com gr acos o processo de aproximac ao de
f por estas somas parciais (reduzidas de ordem n). Algumas somas parciais
(polin omios trigonom etricos) s ao:
1. S
1
(f) =

2
2. S
2
(f) =

2

4

cos(x)
3. S
3
(f) =

2

4

[cos(x) +
cos(3x)
9
]
4. S
4
(f) =

2

4

[cos(x) +
cos(3x)
9
+
cos(5x)
25
]
5. S
5
(f) =

2

4

[cos(x) +
cos(3x)
9
+
cos(5x)
25
+
cos(7x)
49
]
Quando n aumenta, S
n
(f) se aproxima de f. Observamos que S
4
(f) ser a uma
boa aproximac ao para f sobre [, ].
Sec ao 13 Aproximac ao de func ao pela s erie de Fourier 15
0
0.5
1
1.5
2
2.5
3
3.5
-3 -2 -1 0 1 2 3
0
0.5
1
1.5
2
2.5
3
3.5
-3 -2 -1 0 1 2 3
0
0.5
1
1.5
2
2.5
3
3.5
-3 -2 -1 0 1 2 3
Figura 2: Gr acos do sinal f, S
1
(f) e S
2
(f)
Sec ao 14 O fen omeno de Gibbs e a s erie de Fourier 16
14 O fen omeno de Gibbs e a s erie de Fourier
Se f e uma func ao seccionalmente diferenci avel e absolutamente
integr avel, o Teorema de Fourier garante que a s erie de Fourier de f converge
uniformemente para f em todo o intervalo fechado que n ao contem pontos
de descontinuidade de f. Mas, se existir um ponto de descontinuidade neste
intervalo I, a converg encia n ao poder a ser uniforme em I. Gibbs estudou a
converg encia da s erie de Fourier pr oximo a um ponto x
0
de descontinuidade e
descobriu uma curiosidade.
Denindo a oscilac ao da soma parcial de ordem n nas proximidades de x =
x
0
, como:

n
(S
n
, x
0
) = max S
n
(f) min S
n
(f)
observou que a oscilac ao n ao se aproxima do salto de f no ponto x = x
0
,
independente do grau de proximidade de x com x
0
.
-1.5
-1
-0.5
0
0.5
1
1.5
-3 -2 -1 0 1 2 3
S1(x)
sgn(x)
Figura 3: Gr acos do sinal f e S
1
(f)
Na verdade, a soma parcial da s erie de Fourier ultrapassa o valor limite da
func ao (sinal no nosso exemplo gr aco) ` a direita e tem valor menor do que a
func ao (sinal do nosso exemplo gr aco). Esta e uma forma natural de com-
pensar o salto que esta soma parcial deve realizar.
Sec ao 15 S eries de Fourier de Senos e Cossenos 17
15 S eries de Fourier de Senos e Cossenos
15.1 O papel das extens oes de func oes
A simetria de uma func ao 2-peri odica f e usada para obter a s erie de Fourier
de f denida somente sobre o chamado meio intervalo [0, ]. A id eia e es-
tender o domnio de f a todo o intervalo [, ], de modo que a extens ao f
seja uma func ao par ou mpar e ent ao construir a s erie de Fourier da extens ao
da func ao original.
15.2 Extens oes de func oes
Se f e uma func ao denida e integr avel somente sobre o meio-intervalo [0, ]
e denimos as extens oes:
f
1
(x) =
_
f(x), x < 0
f(x), 0 x
f
2
(x) =
_
f(x), x < 0
f(x), 0 x
Pelas denic oes, f
1
e uma extens ao mpar e f
2
e uma extens ao par. Estas
extens oes s ao denidas e integr aveis sobre o intervalo [, ], coincidindo
com f sobre a metade do intervalo [0, ].
16 Extens oes de func oes 2-peri odicas
A partir do exposto acima, a func ao f
1
e a extens ao mpar de f e f
2
e chamada
a extens ao par de f.
(1) A s erie de Fourier da extens ao mpar f
1
, chamada a s erie de Fourier de
senos da func ao f, e dada por:
f(x)

n=1
b
n
sin(nx)
onde, para cada n 1:
b
n
=
2

_

0
f(x) sin(nx) dx
(2) A s erie de Fourier da extens ao par f
2
, chamada a s erie de Fourier de
cossenos da func ao f, e dada por:
f(x)
a
0
2
+

n=1
a
n
cos(nx)
Sec ao 16 Extens oes de func oes 2-peri odicas 18
onde, para cada n 0:
a
n
=
2

_

0
f(x) cos(nx) dx
Exemplo: Para obter a extens ao par da func ao f(x) = x denida sobre o
meio-intervalo [0, ], devemos construir f
2
, que no intervalo [, ] e dada
por:
f
2
(x) = |x|
Como f
2
e par, temos que b
n
= 0 para todo n N e os a
n
s ao dados por:
a
0
=
2

_

0
x dx =
e
a
n
=
2

_

0
x cos(nx) dx =
2
n
2

(cos(n) 1)
logo
f(x)

2

4

_
cos(x) +
1
9
cos(3x) +
1
25
cos(5x) + . . .
_
Exemplo: Para a s erie de Fourier de senos da func ao f(x) = 1 sobre x
[0, ], devemos tomar a extens ao mpar f
1
de f que no intervalo [, ] ser a
dada por:
f
1
(x) = sinal(x) =
_
1, < x 0
+1, 0 < x
Como f
1
e mpar, a
n
= 0 e os b
n
s ao obtidos por:
b
n
=
2

_

0
sin(nx)dx =
2
n
(1 cos(n)) =
2(1 (1)
n
)
n
Assim, b
n
= 0 para n = 2k, mas se n = 2k 1, (k N) temos que:
b
2k1
=
4
(2k 1)
logo
f(x)
4

_
sin(x) +
1
3
sin(3x) +
1
5
sin(5x)...
_
Exemplo: Seja a func ao de f(x) = cos(x) sobre x [0, ]. Para obter a
s erie de Fourier de Senos, devemos estender esta func ao f ` a func ao mpar f
1
denida por:
f
1
(x) =
_
cos(x) < x 0
cos(x) 0 < x
Sec ao 17 Extens oes de func oes 2L-peri odicas 19
Como f
1
e mpar, temos que a
n
= 0 e os b
n
s ao dados por:
b
n
=
2

_

0
cos(x) sin(nx)dx
que fornece b
1
= 0 e para n > 1, obtemos:
b
n
=
2n

_
1 + (1)
n
n
2
1
_
Como b
n
= 0 para todo n mpar, assim basta tomar n = 2k e os coecientes
pares:
b
2k
=
8

k
4k
2
1
A extens ao mpar de f(x) = cos(x), inicialmente denida sobre o meio-
intervalo [0, ], a todo o intervalo [, ] fornece a s erie de Fourier:
cos(x)
8

k=1
k
4k
2
1
sin(2kx)
17 Extens oes de func oes 2L-peri odicas
Como zemos antes, podemos denir as s eries de Fourier de senos e cossenos
a func oes 2L-peri odicas denidas sobre um intervalo [L, L]. Se a func ao
f = f(x) e 2L-peri odica, a sua s erie de Fourier sobre [L, L] e denida por:
f(t)
a
0
2
+

n=1
_
a
n
cos(
nt
L
) + b
n
sin(
nt
L
)

onde os coecientes de Fourier s ao dados por:

a
n
=
1

f(
Lx

) cos(nx)dx =
1
L
_
L
L
f(x) cos(
nx
L
)dx
b
n
=
1

f
_
Lx

_
sin(nx)dx =
1
L
_
L
L
f(x) sin(
nx
L
)dx
Proposic ao: Seja f uma func ao 2L-peri odica e denida sobre meio-intervalo
[0, L].
(1) Se f e par ent ao b
n
= 0 (n 1) e para n 0:
a
n
=
2
L
_
L
0
f(x) cos
_
nx
L
_
dx
Sec ao 18 Forma simplicada da S erie de Fourier 20
A s erie de Fourier tem a forma:
f(x)
a
0
2
+

n=1
a
n
cos
_
nx
L
_
(2) Se f e mpar ent ao a
n
= 0 (n 0) e para n 1:
b
n
=
2
L
_
L
0
f(x) sin
_
nx
L
_
dx.
Neste caso, a s erie de Fourier ter a a forma:
f(x)

n=1
b
n
sin
_
nx
L
_
.
18 Forma simplicada da S erie de Fourier
Como e sempre possvel escrever g(x) = B cos(nx) + C sin(nx) na forma
g(x) = Acos(nx ), ent ao podemos escrever a s erie de Fourier em uma
forma simplicada contendo somente func oes cosseno na soma. Para uma
func ao 2-peri odica f = f(x), escreveremos:
f(x)
a
0
2
+

n=1
A
n
cos(nx )
19 Forma complexa da S erie de Fourier
A forma complexa da s erie de Fourier de uma func ao peri odica real f pode
ser obtida como uma combinac ao linear de func oes exponenciais complexas.
Seja f = f(x) uma func ao real 2-peri odica. A forma complexa da s erie de
Fourier de f = f(x) e dada por:
f(x)

n=
c
n
e
inx
onde o coeciente de Fourier complexo e dado por:
c
n
=
1
2
_

f(x)e
inx
dx
para cada n umero n Z = {..., 3, 2, 1, 0, 1, 2, 3, 4, ...}.
Sec ao 20 Coecientes de Fourier reais e complexos 21
Observac ao: Se a func ao f e 2L-peri odica, o coeciente de Fourier complexo
para f e denido para cada n Z, como:
c
n
=
1
2L
_
L
L
f(x) e
inx/L
dx
sendo a s erie de Fouirier dada por
f(x)

n=
c
n
e
inx/L
Exemplo: Seja f(x) = x, for x (1, 1) e f(x +2) = f(x). Os coecientes
complexos {c
n
} da s erie de Fourier de f s ao dados por c
0
= 0 e
c
n
=
1
2
_
1
1
x e
inx
dx
Com alguns c alculos obtemos:
c
n
=
1
2
_
e
in
in
+
e
in
in

e
in
(in)
2
+
e
in
(in)
2
_
Como e
i
= e
i
= 1, simplicamos c
n
para:
c
n
=
(1)
n
(in)
logo, a forma complexa da s erie de Fourier de f = f(x) ser a:
f(x)

n=1
(1)
n + 1
in
_
e
inx
e
inx
_
que pode ser simplicada para:
f(x) 2

n=1
(1)
n+1
n
sin(nx)
20 Coecientes de Fourier reais e complexos
H a ntima relac ao entre os coecientes de Fourier reais e complexos de uma
func ao peri odica f.
Teorema: Se f e uma func ao 2-peri odica, {a
n
} e {b
n
} os coecientes de
Fourier reais, {c
n
} os coecientes complexos de Fourier de f, ent ao existem
tr es relac oes que fazem a conex ao entre estes coecientes da s erie de Fourier:
Sec ao 20 Coecientes de Fourier reais e complexos 22
(1) c
0
=
1
2
a
0
(2) c
n
=
1
2
(a
n
ib
n
) (n 1)
(3) c
n
=
1
2
(a
n
+ ib
n
) (n 1)
Demonstrac ao: Seja a forma real da s erie de Fourier para f dada por:
f(x)
a
0
2
+

n=1
(a
n
cos(nx) + b
n
sin(nx))
onde a
0
, a
n
e b
n
s ao n umeros reais.
Como para todo n umero complexo zC vale a relac ao de Euler:
e
z
= cos(z) + i sin(z)
Em particular:
e
inx
= cos(nx) + i sin(nx)
e
inx
= cos(nx) i sin(nx)
e a partir da podemos escrever que:
cos(nx) =
1
2
(e
inx
+ e
inx
)
sin(nx) =
1
2
(e
inx
e
inx
)
Substituindo estas ultimas express oes na s erie de Fourier com coecientes re-
ais, teremos:
f(x)
a
0
2
+

n=1
[
a
n
2
(e
inx
+ e
inx
) +
b
n
2i
(e
inx
e
inx
)]
que pode ser escrita na forma:
f(x)
a
0
2
+

n=1
(
a
n
ib
n
2
) e
inx
+

n=1
(
a
n
+ ib
n
2
) e
inx
Tomando
c
0
=
1
2
a
0
c
n
=
1
2
(a
n
ib
n
) (n 1)
c
n
=
1
2
(a
n
+ ib
n
) (n 1)
Sec ao 21 A s erie de Fourier e a sua derivada 23
teremos a s erie:
f(x) c
0
+

n=1
c
n
e
inx
+

n=1
c
n
e
inx
isto e
f(x)
1

n=
c
n
e
inx
+ c
0
e
i0x
+

n=1
c
n
e
inx
que pode ser escrita na forma:
f(x)

n=
c
n
e
inx
Este teorema garante que a forma complexa da s erie de Fourier coincide com a
forma real da s erie de Fourier. Cada uma das formas pode ser usada para tirar
vantagem das propriedades matem aticas envolvidas com o contexto fsico. No
estudo de Sinais Digitais, Comunicac ao de Dados ou Computac ao Gr aca, e
util trabalhar com a s erie complexa.
21 A s erie de Fourier e a sua derivada
H a uma conex ao entre os coecientes complexos da s erie de Fourier de uma
func ao f e os correspondentes coecientes da s erie de Fourier da derivada de
f.
Teorema: Se f e uma func ao diferenci avel 2L-peri odica e
f(x)

c
n
e
inx/L
ent ao
f

(x)

in
L
c
n
e
inx/L
22 Resoluc ao de EDOL com s eries de Fourier
22.1 Fourier e as EDOL
Umdos interesses iniciais de Fourier foi obter processos para resolver Equac oes
Diferenciais Ordin arias Lineares (EDOL). Realizaremos a an alise de algumas
22.2 EDOL de primeira ordem 24
EDOL com coecientes constantes de ordem 1 e 2, ao inv es de estudar o caso
geral:
L(y) = y
(n)
+ a
n1
y
(n1)
+ + a
1
y

+ a
0
y = f(x)
onde f = f(x) e uma func ao 2-peri odica.
22.2 EDOL de primeira ordem
Seja f uma func ao 2-peri odica. Obteremos as soluc oes peri odicas da EDOL:
y

+ 2y = f(x)
Tomemos
f(x)

f
n
e
inx
onde f
n
s ao os coecientes complexos de Fourier de f = f(x).
Seja y = y(x) uma soluc ao 2-peri odica da equac ao diferencial dada e vamos
assumir que
y(x)

y
n
e
inx
onde y
n
s ao os coecientes complexos de Fourier de y = y(x).
Substituindo estas duas representac oes na EDOL dada, obteremos, para cada
n Z:
iny
n
+ 2y
n
= f
n
logo:
y
n
= (
1
2 + in
) f
n
para todo n Z, portanto se conhecermos os coecientes f
n
, n os teremos a
soluc ao da equac ao diferencial dada por:
y(x) =

(
f
n
2 + in
) e
inx
22.3 EDOL de segunda ordem
Estudaremos as soluc oes peri odicas da EDOL de segunda ordem:
y

+ 2y

+ y = sin(x)
REFER

ENCIAS BIBLIOGR

AFICAS UTILIZADAS 25
Como
sin(x) =
e
ix
e
ix
2i
obtemos
sin(x)

f
n
e
inx
sendo f
n
= 0 para todo n Z exceto nos casos:
f
1
=
1
2i
, f
1
=
1
2i
Se y = y(x) e uma soluc ao peri odica da EDOL, escreveremos:
y(x)

n=
y
n
e
inx
logo
_
(in)
2
+ 2(in) + 1
_
y
n
= f
n
e teremos as relac oes:
y
1
=
1
4
= y
1
, y
n
= 0 (n = 1)
assim a EDOL ter a somente uma soluc ao peri odica dada por:
y =
1
4
e
ix

1
4
e
ix
=
1
2
cos(x)
O que zemos pode ser estendido a EDOL com coecientes constantes de
ordem n maior do que 2.
Refer encias bibliogr acas utilizadas
[1] Figueiredo, Djairo Guedes An alise de Fourier e Equac oes Diferenciais Parciais, Colec ao
Euclides, IMPA/CNPq, Rio de Janeiro, 1986.
[2] Kaplan, Wilfred, C alculo Avancado, Edgard Bl ucher Editora e EDUSP, (1972), S ao Paulo,
Brasil.
[3] Kolmogorov, A.N. e Fomin, S.V., Elementos de la Teoria de Funciones y del Analisis
Funcional, Editorial MIR, (1972), Moscou.
[4] Quevedo, Carlos P., Circuitos El etricos, LTC Editora, (1988), Rio de Janeiro, Brasil.
[5] Spiegel, Murray, An alise de Fourier, Colec ao Schaum, McGraw-Hill do Brasil, (1976),
S ao Paulo, Brasil.
REFER

ENCIAS BIBLIOGR

AFICAS UTILIZADAS 26
-1.5
-1
-0.5
0
0.5
1
1.5
-3 -2 -1 0 1 2 3
S2(x)
sgn(x)
-1.5
-1
-0.5
0
0.5
1
1.5
-3 -2 -1 0 1 2 3
S3(x)
sgn(x)
-1.5
-1
-0.5
0
0.5
1
1.5
-3 -2 -1 0 1 2 3
S4(x)
sgn(x)
Figura 4: Gr acos do sinal f, S
2
(f), S
3
(f) e S
4
(f)