Sries de Fourier

Notas de aulas compiladas no dia 6 de Maio de 2003

Computao, Engenharia Eltrica e Engenharia Civil
Prof. Ulysses Sodr
ii
email: <ulysses@sercomtel.com.br>
email: <ulysses@matematica.uel.br>
Material compilado no dia 6 de Maio de 2003.
Este material pode ser usado por docentes e alunos desde que citada a fonte, mas no pode ser
vendido e nem mesmo utilizado por qualquer pessoa ou entidade para auferir lucros.
Para conhecer centenas de aplicaes da Matemtica, visite a Home Page:
http://pessoal.sercomtel.com.br/matematica/
E apliquei o meu corao a esquadrinhar, e a informar-me com sabedo-
ria de tudo quanto sucede debaixo do cu; esta enfadonha ocupao deu
Deus aos lhos dos homens, para nela os exercitar. Atentei para todas as
obras que se fazemdebaixo do sol, e eis que tudo era vaidade e aio de
esprito. Aquilo que torto no se pode endireitar; aquilo que falta no
se pode calcular. Falei eu como meu corao, dizendo: Eis que eu me en-
grandeci, e sobrepujei em sabedoria a todos os que houve antes de mim
emJerusalm; e o meu corao contemplou abundantemente a sabedoria
e o conhecimento. E apliquei o meu corao a conhecer a sabedoria e a
conhecer os desvarios e as loucuras, e vim a saber que tambm isto era
aio de esprito. Porque na muita sabedoria h muito enfado; e o que
aumenta em conhecimento, aumenta em dor.
(ECLESIASTES 1:13-18, Bblia Sagrada.)
CONTEDO iii
Contedo
1 A importncia das sries de Fourier 1
1.1 Problema de aproximao . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Problema do limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.3 Problema da integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.4 Jean B. Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2 Funes Peridicas 2
2.1 Conceitos gerais sobre funes peridicas . . . . . . . . . . . . . . . . 2
2.2 Ncleo de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.3 Polinmio trigonomtrico . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.4 Srie trigonomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3 Frmulas e integrais trigonomtricas 5
3.1 Algumas frmulas trigonomtricas . . . . . . . . . . . . . . . . . . . . 5
3.2 Integrais trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . 5
4 Funes absolutamente integrveis 6
4.1 Funo integrvel sobre um intervalo . . . . . . . . . . . . . . . . . . 6
4.2 Funo integrvel sobre a reta real . . . . . . . . . . . . . . . . . . . . 6
4.3 Funo absolutamente integrvel sobre um intervalo . . . . . . . . . 7
4.4 Funo absolutamente integrvel sobre a reta real . . . . . . . . . . . 7
5 Sries de Fourier e Coecientes de Fourier 7
5.1 Aplicao de srie de Fourier soma de uma srie numrica . . . . . 12
6 Tipos importantes de simetrias 13
6.1 Propriedades de funes com simetrias par e mpar . . . . . . . . . . 14
7 Integrais de funes com simetrias 15
7.1 Propriedades das integrais com simetrias . . . . . . . . . . . . . . . . 15
CONTEDO iv
7.2 Propriedades das simetrias para os coecientes de Fourier . . . . . . 16
8 Descontinuidade de funes reais 17
8.1 Salto de funo descontnua . . . . . . . . . . . . . . . . . . . . . . . . 17
8.2 Valor mdio de uma funo em um ponto . . . . . . . . . . . . . . . . 17
8.3 Descontinuidade de primeira espcie . . . . . . . . . . . . . . . . . . . 17
8.4 Descontinuidade de segunda espcie . . . . . . . . . . . . . . . . . . . 18
9 Funes Seccionalmente diferenciveis 19
9.1 Funo seccionalmente contnua . . . . . . . . . . . . . . . . . . . . . 19
9.2 Lema fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
9.3 Funo seccionalmente diferencivel . . . . . . . . . . . . . . . . . . . 20
10 Teorema de Fourier 21
11 Aproximao de funo pela srie de Fourier 21
12 O fenmeno de Gibbs e a srie de Fourier 23
13 Sries de Fourier de Senos e Cossenos (Extenses) 24
13.1 O papel das extenses de funes . . . . . . . . . . . . . . . . . . . . . 24
13.2 Extenses de funes 2-peridicas . . . . . . . . . . . . . . . . . . . . 26
13.3 Extenses de funes 2L-peridicas . . . . . . . . . . . . . . . . . . . 28
14 Outras formas de apresentar uma Srie de Fourier 29
14.1 Forma simplicada da Srie de Fourier . . . . . . . . . . . . . . . . . 29
14.2 Forma complexa da Srie de Fourier . . . . . . . . . . . . . . . . . . . 29
14.3 Relao entre coecientes reais e complexos . . . . . . . . . . . . . . . 31
15 Conexo entre a srie de Fourier e a sua derivada 33
15.1 A derivada da srie de Fourier . . . . . . . . . . . . . . . . . . . . . . 33
15.2 Resoluo de EDOL com sries de Fourier . . . . . . . . . . . . . . . . 33
LISTA DE FIGURAS v
15.3 EDOL de primeira ordem . . . . . . . . . . . . . . . . . . . . . . . . . 34
15.4 EDOL de segunda ordem . . . . . . . . . . . . . . . . . . . . . . . . . 35
Lista de Figuras
1 Uma funo peridica . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2 Funo sinc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3 Funo sinal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
4 Funo modular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
5 Funo sinal transladada para cima . . . . . . . . . . . . . . . . . . . . 9
6 Funo sinal multiplicada por /2 . . . . . . . . . . . . . . . . . . . . 11
7 Mdia aritmtica entre t e |t| . . . . . . . . . . . . . . . . . . . . . . . . 12
8 Funo parablica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
9 Funes com simetrias par e mpar . . . . . . . . . . . . . . . . . . . . 14
10 Funo com simetria de meia-onda . . . . . . . . . . . . . . . . . . . . 14
11 Funo sinal em um intervalo no simtrico . . . . . . . . . . . . . . . 18
12 Funo hiperblica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
13 Funo modular com a 1a. e 2a. aproximaes . . . . . . . . . . . . . 22
14 Funo modular com a 3a. e 4a. aproximaes . . . . . . . . . . . . . 22
15 Fenmeno de Gibbs com a 1a. e 2a. aproximaes . . . . . . . . . . . 24
16 Fenmeno de Gibbs com a 3a. e 4a. aproximaes . . . . . . . . . . . 24
1 A importncia das sries de Fourier
Existe uma enorme diferena entre estudar sries de Fourier e sries
de potncias, pois uma srie de Fourier funciona como um processo
global enquanto que uma srie de potncias local. Apresentaremos
alguns problemas mostrando que nem sempre vivel trabalhar com
sries de potncias, mas pelo contrrio, temos a necessidade de traba-
lhar com Sries de Fourier em sistema prticos.
1.1 Problema de aproximao
Com a srie de Taylor de uma funo f, obtemos o polinmio de
Taylor que d uma boa aproximao para a funo f nas vizinhan-
as de um ponto, mas uma h uma exigncia: que esta funo f seja
sucientemente suave, ou seja, que f possua derivadas contnuas at
uma certa ordem dada, tanto no ponto como nas vizinhanas deste
ponto. Para obter um processo de aproximao global, este mtodo
falha pois a aproximao de Taylor local e no global.
1.2 Problema do limite
Para obter o limite de f num ponto x
0
, a aproximao polinomial de
Taylor funciona bemmas empontos distantes de x
0
, o processo ruim.
Isto acontece tambmpara funes descontnuas e ocorremfalhas pois
este processo de aproximao local.
1.3 Problema da integral
Para obter valores aproximados para uma integral sobre umintervalo,
a aproximao de Taylor no funciona. Este problema pode ser resol-
vido com o uso de Sries de Fourier uma vez que trabalhamos com
funes peridicas.
1.4 Jean B. Fourier 2
1.4 Jean B. Fourier
Jean B. Fourier (1768-1830) foi pioneiro na investigao destes proble-
mas. No livro Thorie Analytique de la Chaleur, escrito em1822, ele in-
troduziu o conceito conhecido atualmente como Srie de Fourier, que
muito utilizado nas cincias em geral, principalmente nas reas en-
volvidas com: Matemtica, Engenharia, Computao, Msica, Ondu-
latria, Sinais Digitais, Processamento de Imagens, etc.
2 Funes Peridicas
2.1 Conceitos gerais sobre funes peridicas
Uma funo f : R R peridica, se existe um nmero p R tal que
para todo x R:
f(x + p) = f(x)
Onmero p umdos perodos de f. s vezes existemvrios nmeros
com esta propriedade, mas o menor nmero real positivo com esta
caracterstica chamado perodo fundamental de f, que simplesmente
denominado perodo.
Se uma funo f tem perodo p, diz-se que f p-peridica e denota-
mos este fato por f(x) = f(x + p).
Muitas vezes, vantajoso tomar o perodo p = 2L e a funo denida
no intervalo real simtrico [L, L], com o objetivo de simplicar as
operaes.
Exemplos: As funes f(x) = sin(x), g(x) = cos(x), h(x) = sin(nx),
k(x) = cos(mx) e p(x) = Acos(mx) + Bsin(nx) so peridicas.
Exerccio: Sejam f e g funes reais.
1. Obter o perodo (fundamental) de:
f(x) = 3 sin(2x) + 4 cos(3x)
2.2 Ncleo de Dirichlet 3
Figura 1: Uma funo peridica
2. Se a R e f = f(x) 2L-peridica, mostrar que

a+L
aL
f(x)dx =

L
L
f(x)dx
3. Se g(x) =

x
0
f(u)du, f = f(x) 2L-peridica e alm disso

L
L
f(u)du = 0
demonstrar que g 2L-peridica.
4. Se g(x) =

x
0
f(u)du e g 2L-peridica, mostrar que

L
L
f(u)du = 0
2.2 Ncleo de Dirichlet
O Ncleo de Dirichlet denido para todo x R, por:
D
n
(x) =
1
2
+ cos(x) + cos(2x) + + cos(nx)
possvel mostrar que se sin(
x
2
) = 0, ento:
D
n
(x) =
sin[(n +
1
2
)x]
2 sin(
x
2
)
2.3 Polinmio trigonomtrico 4
Como 2 cos(p) sin(q) = sin(p+q)sin(pq), 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.
No ponto x = 0, denimos
D
n
(0) = lim
x0
D
n
(x) = lim
x0
sin[(n +
1
2
)x]
2 sin(
x
2
)
= n +
1
2
Este valor garantido pelo limite fundamental
lim
x0
sin(x)
x
= 1
Exerccio: Escrever a funo f(x) = Bcos(nx) + C sin(nx) na forma:
f(x) = Acos(nx )
2.3 Polinmio trigonomtrico
Um polinmio trigonomtrico p
n
= p
n
(x) de ordem n uma funo
2-peridica da forma:
p
n
(x) =
a
0
2
+
n

k=1
[a
k
cos(kx) + b
k
sin(kx)]
2.4 Srie trigonomtrica 5
2.4 Srie trigonomtrica
Uma srie trigonomtrica uma representao f = f(x) em srie de
funes trigonomtricas da forma:
f(x) =
a
0
2
+

k=1
[a
k
cos(kx) + b
k
sin(kx)]
3 Frmulas e integrais trigonomtricas
3.1 Algumas frmulas trigonomtricas
Se m, n N = {1, 2, 3, }, ento
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]
3.2 Integrais trigonomtricas
Se m, n N = {1, 2, 3, }, ento
1.

cos(nx)dx =

sin(nx)dx =

sin(mx) cos(nx)dx = 0
2.

cos(mx) cos(nx)dx =

sin(mx) sin(nx)dx =

se m = n
0 se m = n
4 Funes absolutamente integrveis 6
4 Funes absolutamente integrveis
4.1 Funo integrvel sobre um intervalo
Uma funo real f : R R integrvel sobre um intervalo real [a, b]
se

b
a
f(u) du <
Exemplo: As funes f(x) = cos(mx) e g(x) = sin(nx) so integrveis.
4.2 Funo integrvel sobre a reta real
Uma funo real f : R R integrvel sobre a reta R se

f(u) du <
Exemplo: A funo (sinc) f : R R denida por:
f(x) =

sin(x)
x
se x = 0
1 se x = 0
Figura 2: Funo sinc
Esta funo integrvel sobre a reta real, pois

sin(x)
x
dx =
4.3 Funo absolutamente integrvel sobre um intervalo 7
4.3 Funo absolutamente integrvel sobre um intervalo
Uma funo real f : R R absolutamente integrvel sobre um
intervalo [a, b] se:

b
a
|f(u)| du <
Exemplo: As funes f(x) = cos(mx) e g(x) = sin(nx) so absoluta-
mente integrveis sobre intervalos da forma [a, b].
4.4 Funo absolutamente integrvel sobre a reta real
Uma funo real f : R R absolutamente integrvel a reta R se

|f(u)| du <
Exemplo: A funo (sinc) f : R R denida por:
f(x) =

sin(x)
x
se x = 0
1 se x = 0
no absolutamente integrvel, pois

|
sin(x)
x
|dx = +
5 Sries de Fourier e Coecientes de Fourier
Seja f(x) = f(x + 2) uma funo integrvel sobre sobre o intervalo
[, ] e n N. A srie de Fourier de f a srie trigonomtrica:
f(x)
a
0
2
+

n=1
[a
n
cos(nx) + b
n
sin(nx)]
5 Sries de Fourier e Coecientes de Fourier 8
onde a
0
, a
n
e b
n
so os coecientes de Fourier de f denidos por:
a
0
=
1

f(x) dx
a
n
=
1

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

f(x) sin(nx) dx
O smbolo foi usado aqui, pois nem sempre esta srie de funes
converge para f, mas se f for 2-peridica e seccionalmente dife-
rencivel, obteremos a convergncia da srie trigonomtrica, e dessa
forma poderemos substituir o sinal pelo sinal de igualdade.
Exerccios:
1. Seja a funo (sinal) 2-peridica, denida por:
f(x) =

1 se < x < 0
0 se x = 0
1 se 0 < x <
Figura 3: Funo sinal
Mostrar que a srie de Fourier da funo sinal representada por
f(x)
4

k=1
sin[(2k 1)x]
2k 1
2. Seja a funo 2-peridica, denida por:
5 Sries de Fourier e Coecientes de Fourier 9
f(x) = |x|, ( x )
Figura 4: Funo modular
Mostrar que a srie de Fourier desta funo representada por
f(x)

2

4

k=1
cos[(2k 1)x]
(2k 1)
2
Exemplos:
1. Para obter a srie de Fourier da funo
f(x) =

0 se x < 0
se 0 x <
Figura 5: Funo sinal transladada para cima
devemos calcular primeiramente os seus coecientes de Fourier:
5 Sries de Fourier e Coecientes de Fourier 10
a
0
=
1

0 dx +

0
dx} =
e para n N, temos
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 srie de Fourier ser 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
+ . . .

2. Para obter a srie de Fourier da funo

g(x) =

/2 se x < 0
/2 se 0 x <
basta usar o fato que
g(x) =

2
sinal(x) =

1 se x < 0
1 se 0 x <
e utilizar a srie de Fourier da funo sinal, para obter:
5 Sries de Fourier e Coecientes de Fourier 11
Figura 6: Funo sinal multiplicada por /2
g(x) 2

sin(x) +
sin(3x)
3
+
sin(5x)
5
+ . . .

Observao: A partir da srie de Fourier para funes 2-peridicas

podemos obter a srie de Fourier para funes peridicas comperodo
2L. Basta tomar a mudana de varivel x = t/L para obter a nova
funo, agora dependente da varivel t, que ser 2L-peridica e inte-
grvel no intervalo simtrico [L, L].
Denio: Se f = f(t) uma funo 2L-peridica e integrvel no
intervalo [L, L], a sua srie de Fourier dada por:
f(t)
a
0
2
+

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

L
L
f(t) cos(
nt
L
)dt
b
n
=
1
L

L
L
f(t) sin(
nt
L
)dt
para n 1. a
0
pode ser obtido se tomarmos n = 0 no coeciente a
n
.
Exemplo: A srie de Fourier da funo 4-peridica
5.1 Aplicao de srie de Fourier soma de uma srie numrica 12
f(t) =
t +|t|
2
=

0 se 2 t < 0
t se 0 t 2
Figura 7: Mdia aritmtica entre t e |t|
pode ser obtida com L = 2 (metade do perodo=4). Assim:
a
0
=
1
2

2
0
t dt = 1
a
n
=
1
2

2
0
t cos(
nt
2
)dt =
2
n
2

2
((1)
n
1)
b
n
=
1
2

2
0
t sin(n
t
2
)dt =
2(1)
n
n
Logo
f(t)
1
2
+

n=1
[
(1)
n
1
n
2

2
cos(
nt
2
)
2(1)
n
n
sin(
nt
2
)]
5.1 Aplicao de srie de Fourier soma de uma srie numrica
Atravs da sries de Fourier podemos obter somas de sries num-
ricas reais onde difcil (ou at impossvel) estabelecer a regra para
denir a n-sima soma parcial.
Exerccio:
1. Obter a srie de Fourier da funo 2-peridica f(x) = x
2
de-
nida sobre [, ].
6 Tipos importantes de simetrias 13
Figura 8: Funo parablica
Tomar x = na srie de Fourier para obter:
S
2
=

n=1
1
n
2
=

2
6
2. Obter as sries de Fourier das funes 2-peridicas f(x) = x
3
e
g(x) = x
4
denidas sobre [, ] e calcular as somas das sries
numricas:
S
3
=

n=1
1
n
3
e S
4
=

n=1
1
n
4
6 Tipos importantes de simetrias
Uma funo real T-peridica f = f(t), tem
1. simetria par, se para todo t R, f(t) = f(t). As funes pares
so simtricas em relao ao eixo vertical t = 0.
2. simetria mpar, se para todo t R, f(t) = f(t). As funes
mpares so simtricas em relao origem (0, 0).
3. simetria de meia-onda, se para todo t R, f(t +
T
2
) = f(t).
Do ponto de vista geomtrico, o grco da segunda metade da
funo f = f(t) no perodo T a reexo do grco da primeira
metade de f = f(t) em relao ao eixo horizontal, deslocada de
T
2
para a direita. Tal situao pode ser vista no grco.
6.1 Propriedades de funes com simetrias par e mpar 14
Figura 9: Funes com simetrias par e mpar
Figura 10: Funo com simetria de meia-onda
4. simetria de quarto de onda, se para todo t R a funo f tem
simetria de meia-onda e alm disso, vale uma das alternativas
abaixo:
(a) f mpar.
(b) Transladando f de
T
4
para a direita (esquerda), a funo se
torna par, isto
f(t
T
4
) = f(t)
6.1 Propriedades de funes com simetrias par e mpar
So vlidas as seguintes propriedades:
1. A soma de funes pares uma funo par.
2. A soma de funes mpares uma funo mpar.
7 Integrais de funes com simetrias 15
3. O produto de duas funes pares uma funo par.
4. O produto de duas funes mpares uma funo par.
5. O produto de uma funo par por uma funo mpar uma
funo mpar.
6. Toda funo real f = f(t) pode ser decomposta na soma
f(t) = f
p
(t) + f
i
(t)
onde f
p
= f
p
(t) uma funo par e f
i
= f
i
(t) uma funo mpar,
denidas respectivamente por
f
p
(t) =
f(t) + f(t)
2
f
i
(t) =
f(t) f(t)
2
Exemplo: So pares as funes reais:
f(x) = cos(nx), f(x) = x
2
, f(x) = x
76
So mpares as funes reais:
f(x) = sin(nx), f(x) = x, f(x) = x
77
A funo real identicamente nula , ao mesmo tempo, par e mpar.
7 Integrais de funes com simetrias
7.1 Propriedades das integrais com simetrias
Seja f : R Ruma funo integrvel no intervalo simtrico [L, L].
1. Se f = f(t) uma funo par, ento:

L
L
f(t) dt = 2

L
0
f(t) dt
7.2 Propriedades das simetrias para os coecientes de Fourier 16
2. Se f = f(t) uma funo mpar, ento:

L
L
f(t) dt = 0
7.2 Propriedades das simetrias para os coecientes de Fourier
Seja f : R R uma funo 2-peridica, integrvel e absolutamente
integrvel no intervalo simtrico [, ].
1. Se f uma funo par, ento b
n
= 0 e n = 0, 1, 2, 3, :
a
n
=
2

0
f(x) cos(nx)dx
2. Se f uma funo mpar, ento a
n
= 0 e n = 1, 2, 3, :
b
n
=
2

0
f(x) sin(nx)dx
Exemplo: Usando o benefcio da paridade, obteremos a srie de Fourier
da funo 2-peridica, denida sobre [, ] por:
f(x) = x, ( x )
Como f mpar, ento a
n
= 0 e 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) = 2

sin(x)
sin(2x)
2
+
sin(3x)
3
+

8 Descontinuidade de funes reais 17

8 Descontinuidade de funes reais
8.1 Salto de funo descontnua
Se uma funo real f = f(x) possui uma descontinuidade em um
ponto p, denimos o salto de f em p como
salto(f)(p) = f(p
+
) f(p

)
onde f(p

) e f(p
+
) so, respectivamente, os limites laterais de f es-
querda e direita em x = p, isto :
f(p

) = lim
xp, x<p
f(x) e f(p
+
) = lim
xp, x>p
f(x)
8.2 Valor mdio de uma funo em um ponto
Quando a funo no est denida no ponto x = p mas existem os
limites laterais esquerda e direita em x = p, podemos denir a
funo neste ponto como sendo o valor mdio (mdia aritmtica) dos
limites laterais esquerda e direita em x = p, isto :
f(p) =
f(p
+
) + f(p

)
2
Se f = f(x) uma funo contnua no ponto x, ento
f(x
+
) = f(x

) = f(x) = f(x)
8.3 Descontinuidade de primeira espcie
Uma funo real f = f(x) tem descontinuidade de primeira espcie
(ou de salto nito) em x = p, se satisfaz s trs condies:
1. Sobre cada intervalo limitado I da reta real, f contnua, exceto
no ponto p I;
8.4 Descontinuidade de segunda espcie 18
2. f contnua direita de x = p e contnua esquerda de x = p;
3. salto(f)(p) = f(p
+
) f(p

) nito.
Exemplo: A funo sinal f : [2, 4] R denida por
f(x) = sinal(x) =

+1 se x > 0
0 se x = 0
1 se x < 0
Figura 11: Funo sinal em um intervalo no simtrico
tem descontinuidade de salto nito em x = 0, pois f contnua sobre
[2, 4] exceto em x = 0, f contnua direita de x = 0, f continua
esquerda de x = 0 e alm disso:
f(0
+
) = lim
x0
+
f(x) = 1, f(0

) = lim
x0

f(x) = 1
salto(f)(0) = 2 f(0) = 0
8.4 Descontinuidade de segunda espcie
Uma funo real f = f(x) tem descontinuidade de segunda espcie
(ou de salto innito) em p, se satisfaz s trs condies:
1. Sobre cada intervalo nito I, f contnua, exceto no ponto p I;
2. f contnua direita de x = p e esquerda de x = p;
3. salto(f)(p) = f(p
+
) f(p

) innito.
Exemplo: A funo f : R {0} R {0} denida por f(x) = 1/x
possui uma descontinuidade de segunda espcie.
9 Funes Seccionalmente diferenciveis 19
Figura 12: Funo hiperblica
9 Funes Seccionalmente diferenciveis
9.1 Funo seccionalmente contnua
Uma funo real f = f(x) seccionalmente contnua sobre R uma
funo que restrita a cada intervalo limitado I R, possui no mximo
um nmero nito de descontinuidades de salto nito. Os limites late-
rais de f = f(x) esquerda e direita nos pontos de descontinuidade
de salto nito p
j
(j = 1, 2, , n) so indicados, respectivamente, por:
f(p
j

) = lim
xp
j

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

)
Exemplo: So seccionalmente contnuas sobre R, as funes:
1. f(x) = [x] = max{z Z : z x} (funo mximo inteiro)
2. g(x) = x [x], g(x) = g(x + 2) (funo dente de serra)
3. h(x) = |x|, h(x) = h(x + 2) (funo modular)
Exemplo: A funo j : R {0} R, denida por j(x) = 1/x no
seccionalmente contnua sobre R, pois possui uma descontinuidade
de segunda espcie (salto innito) em x = 0.
9.2 Lema fundamental 20
Exerccio: Construir os grcos de todas as funes dos exemplos
acima, observando que tais funes so contnuas sobre cada inter-
valo de medida nita.
9.2 Lema fundamental
Se f : [a, b] R uma funo seccionalmente contnua, ento f
limitada e integrvel sobre [a, b].
O resultado deste Lema muito importante do ponto de vista das
aplicaes, pois muitas funes reais utilizadas na prtica so seccio-
nalmente contnuas.
9.3 Funo seccionalmente diferencivel
Uma funo real f = f(x) seccionalmente diferencivel se satisfaz
s duas propriedades
1. f = f(x) seccionalmente contnua;
2. A derivada de f = f(x) seccionalmente contnua.
Exemplos: So seccionalmente diferenciveis as funes
1. f(x) = [x] = max{z Z : z x} (funo mximo inteiro)
2. g(x) = x [x], g(x) = g(x + 2) (funo dente de serra)
3. h(x) = |x|, h(x) = h(x + 2) (funo modular)
mas a funo m(x) = m(x + 2) denida por m(x) =

2
x
2
no
seccionalmente diferencivel mas somente seccionalmente contnua.
10 Teorema de Fourier 21
10 Teorema de Fourier
Se f uma funo seccionalmente diferencivel e 2-peridica, a srie
de Fourier de f converge uniformemente para o valor mdio de f em
cada ponto, isto :
f(x) =
a
0
2
+

n=1
[a
n
cos(nx) + b
n
sin(nx)]
Quando f contnua em x, escreveremos simplesmente
f(x) =
a
0
2
+

n=1
[a
n
cos(nx) + b
n
sin(nx)]
11 Aproximao de funo pela srie de Fourier
Teorema de Weierstrass: Se f uma funo contnua real peridica
de perodo 2, ento f pode ser aproximada uniformemente por uma
sequncia de polinmios trigonomtricos da forma
S
n
(f)(x) =
a
0
2
+
n

k=1
[a
k
cos(kx) + b
k
sin(kx)]
Este teorema fundamental na Teoria de Aproximao de funes,
sendo muito usado emAnlise Numrica e comele, podemos mostrar
a relao grca existente entre uma funo f e as n-simas somas
parciais (n-simas reduzidas) da srie de Fourier de f.
Este estudo pode ser estendido a funes 2-peridicas seccionalmente
diferenciveis.
Exemplo: A funo f(x) = |x|, 2-peridica, denida sobre [, ],
possui desenvolvimento de Fourier dado por:
f(x) =

2

4

cos(x) +
1
9
cos(3x) +
1
25
cos(5x) + . . .

11 Aproximao de funo pela srie de Fourier 22

Esta funo satisfaz s hipteses dos Teoremas de Weierstrass e de
Fourier, assim podemos garantir a igualdade de f com a sua srie e
garantir a convergncia uniforme da srie. Temos ento que:
lim
n
S
n
(f)(x) = f(x)
Utilizando grcos, mostraremos o processo de aproximao de f
com estas primeiras somas parciais.
Figura 13: Funo modular com a 1a. e 2a. aproximaes
Figura 14: Funo modular com a 3a. e 4a. aproximaes
As somas parciais (reduzidas) desta srie de Fourier, sero denotadas
por S
1
(f), S
2
(f), S
3
(f), S
4
(f), e neste caso:
12 O fenmeno de Gibbs e a srie de Fourier 23
S
1
(f) =

2
S
2
(f) =

2

4

cos(x)
S
3
(f) =

2

4

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

2

4

[cos(x) +
cos(3x)
9
+
cos(5x)
25
]
Quando n aumenta arbitrariamente (n ) ento S
n
(f) f e ob-
servamos pelos grcos que S
4
(f) j representa uma boa aproximao
para f sobre [, ].
12 O fenmeno de Gibbs e a srie de Fourier
Se f = f(x) uma funo seccionalmente diferencivel e absoluta-
mente integrvel, o Teorema de Fourier garante que a srie de Fourier
de f = f(x) converge uniformemente para f em todo o intervalo fe-
chado que no contm pontos de descontinuidade de f.
Se existir um ponto de descontinuidade neste intervalo I, a conver-
gncia no poder ser uniforme em I. Gibbs estudou a convergncia
da srie de Fourier prximo a umponto p de descontinuidade e desco-
briu uma curiosidade, que conhecida como fenmeno de Gibbs.
Se denimos a oscilao da soma parcial de ordem n no ponto x = p
por

n
(S
n
, p) = max S
n
(f) min S
n
(f)
Gibbs observou que o valor desta oscilao no se aproxima do salto
de f no ponto x = p, independente do grau de proximidade de x com
p.
Na verdade, a soma parcial da srie de Fourier ultrapassa o valor li-
mite da funo (sinal no nosso exemplo) direita e tem valor menor
13 Sries de Fourier de Senos e Cossenos (Extenses) 24
Figura 15: Fenmeno de Gibbs com a 1a. e 2a. aproximaes
Figura 16: Fenmeno de Gibbs com a 3a. e 4a. aproximaes
do que a funo (sinal do nosso exemplo grco). Esta uma forma
natural de compensar o salto que a soma parcial realizar.
13 Sries de Fourier de Senos e Cossenos (Extenses)
13.1 O papel das extenses de funes
Ao estudar Equaes Diferenciais Parciais, muitas vezes necessitamos
estender o domnio de uma funo 2L-peridica que est denida
apenas sobre o meio intervalo [0, L] ao intervalo completo [L, L] para
nos beneciarmos da simetria da funo no intervalo simtrico.
A idia estender o domnio da funo f = f(x) que [0, L] a todo o
intervalo [L, L], de modo que a extenso f
e
seja uma funo par ou
mpar e ento construir a srie de Fourier da extenso.
Vamos supor que o domnio de f = f(x) seja [0, ] e alm disso
13.1 O papel das extenses de funes 25
f(x) =

n=0
A
n
cos(nx)
Devemos estender esta funo f = f(x) a todo o intervalo simtrico
[, ] de modo que a extenso seja uma funo par, pois a funo
dada est desenvolvida em srie de cossenos.
A extenso par pode ser denida por
f
2
(x) =

f(x) se x < 0
f(x) se 0 x
Observamos que a extenso f
2
coincide com a funo f sobre o inter-
valo [0, ].
Suponhamos agora que o domnio de f = f(x) seja [0, ] e alm disso
f(x) =

n=1
B
n
sin(nx)
Devemos estender esta funo f = f(x) a todo o intervalo simtrico
[, ] de modo que a extenso seja uma funo mpar, pois a funo
dada est desenvolvida em srie de senos.
A extenso mpar pode ser denida por
f
1
(x) =

f(x) se x < 0
f(x) se 0 x
A extenso f
1
coincide com a funo f sobre o intervalo [0, ].
Pelas denies acima, f
1
= f
1
(x) uma extenso mpar e f
2
= f
2
(x)
uma extenso par. Estas extenses so denidas e integrveis sobre
o intervalo [, ], coincidindo com f = f(x) sobre a metade do
intervalo [0, ].
A partir do exposto acima, a funo f
1
a extenso mpar de f e f
2

chamada a extenso par de f.
13.2 Extenses de funes 2-peridicas 26
13.2 Extenses de funes 2-peridicas
1. A srie de Fourier da extenso mpar f
1
, denominada a srie de
Fourier de senos da funo f, dada por:
f(x)

n=1
b
n
sin(nx)
sendo que para cada n N, os coecientes mpares de Fourier
so:
b
n
=
2

0
f(x) sin(nx) dx
2. A srie de Fourier da extenso par f
2
, chamada a srie de Fourier
de cossenos da funo f, dada por:
f(x)
a
0
2
+

n=1
a
n
cos(nx)
sendo que para cada n N, os coecientes pares de Fourier so
dados por:
a
n
=
2

0
f(x) cos(nx) dx
Exemplo: Para obter a extenso par da funo f(x) = x denida sobre
o meio-intervalo [0, ], construiremos a extenso f
2
, que no intervalo
[, ] dada por:
f
2
(x) = |x|
Como f
2
par, os coecientes mpares so nulos, isto , b
n
= 0 para
todo n N e os coecientes pares a
n
so 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) + . . .

13.2 Extenses de funes 2-peridicas 27

Exemplo: Para a srie de Fourier de senos da funo f(x) = 1 sobre
x [0, ], devemos tomar a extenso mpar f
1
de f que no intervalo
[, ] ser dada por:
f
1
(x) = sinal(x) =

1, < x 0
+1, 0 < x
Como f
1
mpar, os coecientes pares so nulos, isto , a
n
= 0 e os
coecientes mpares b
n
so dados por:
b
n
=
2

0
sin(nx)dx =
2
n
(1 cos(n)) =
2(1 (1)
n
)
n
Assim, b
n
= 0 se n par, mas se n mpar da forma n = 2k 1 onde
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 funo de f(x) = cos(x) sobre x [0, ]. Para obter

a srie de Fourier de Senos, devemos estender esta funo f funo
mpar f
1
denida por:
f
1
(x) =

cos(x) < x 0
cos(x) 0 < x
Como f
1
mpar, temos que a
n
= 0 e os b
n
so 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

13.3 Extenses de funes 2L-peridicas 28

Como b
n
= 0 para todo n mpar, assim basta tomar n = 2k e os coeci-
entes pares:
b
2k
=
8

k
4k
2
1
A funo f(x) = cos(x) inicialmente denida sobre o meio-intervalo
[0, ], possui a extenso mpar de f
1
(x) = cos(x) denida sobre todo o
intervalo [, ], tendo a srie de Fourier:
cos(x)
8

k=1
k
4k
2
1
sin(2kx)
13.3 Extenses de funes 2L-peridicas
Como zemos antes, podemos denir as sries de Fourier de senos
e cossenos para funes 2L-peridicas denidas sobre um intervalo
[L, L]. Se a funo f = f(t) 2L-peridica, a sua srie de Fourier
sobre [L, L] denida por:
f(t)
a
0
2
+

n=1

a
n
cos(
nt
L
) + b
n
sin(
nt
L
)

onde os coecientes de Fourier so dados por:

a
n
=
1
L

L
L
f(t) cos(
nt
L
)dt
b
n
=
1
L

L
L
f(t) sin(
nt
L
)dt
Proposio: Seja f uma funo 2L-peridica e denida sobre meio-
intervalo [0, L].
(1) Se f par ento b
n
= 0 (n 1) e para n 0:
a
n
=
2
L

L
0
f(t) cos

nt
L

dt
14 Outras formas de apresentar uma Srie de Fourier 29
A srie de Fourier tem a forma:
f(t)
a
0
2
+

n=1
a
n
cos

nt
L

(2) Se f mpar ento a

n
= 0 (n 0) e para n 1:
b
n
=
2
L

L
0
f(t) sin

nt
L

dt
Neste caso, a srie de Fourier ter a forma:
f(t)

n=1
b
n
sin

nt
L

14 Outras formas de apresentar uma Srie de Fourier

14.1 Forma simplicada da Srie de Fourier
Como sempre possvel escrever g(t) = Bcos(nt)+C sin(nt) na forma
g(t) = Acos(nt ), ento podemos escrever a srie de Fourier em
uma forma simplicada contendo somente funes cosseno na soma.
Para uma funo 2-peridica f = f(t), escreveremos:
f(t)
a
0
2
+

n=1
A
n
cos(nt )
14.2 Forma complexa da Srie de Fourier
A forma complexa da srie de Fourier de uma funo peridica real f
pode ser obtida como uma combinao linear de funes exponenciais
complexas.
Seja f = f(x) uma funo real 2-peridica. A forma complexa da
srie de Fourier de f = f(x) dada por:
14.2 Forma complexa da Srie de Fourier 30
f(x)

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

f(x)e
inx
dx
para cada nmero n Z = { , 3, 2, 1, 0, 1, 2, 3, 4, }.
Observao: Se a funo f = f(t) 2L-peridica, o coeciente com-
plexo de Fourier para f = f(t) denido para cada n Z, como
c
n
=
1
2L

L
L
f(t) e
int/L
dt
sendo a srie de Fourier representada por
f(t)

n=
c
n
e
int/L
Exemplo: Seja f(t) = t, for t (1, 1) e f(t +2) = f(t). Os coecientes
complexos {c
n
} da srie de Fourier de f = f(t) so dados por c
0
= 0 e
c
n
=
1
2

1
1
t e
int
dt
Com alguns clculos 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)
14.3 Relao entre coecientes reais e complexos 31
logo, a forma complexa da srie de Fourier de f = f(t) ser:
f(t)

n=1
(1)
n+1
in
[e
int
e
int
]
que pode ser escrita na forma
f(t) 2

n=1
(1)
n+1
n
sin(nt)
14.3 Relao entre coecientes reais e complexos
Existe uma ntima relao entre os coecientes de Fourier reais e com-
plexos para uma funo peridica f.
Teorema: Se f uma funo 2-peridica, {a
n
} e {b
n
} os coecientes
de Fourier reais, {c
n
} os coecientes complexos de Fourier de f, ento
existem trs relaes que fazem a conexo entre estes coecientes da
srie de Fourier:
(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)
Demonstrao: Seja a forma real da srie 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
so nmeros reais. Como para todo nmero complexo
z C vale a relao de Euler:
e
z
= cos(z) + i sin(z)
14.3 Relao entre coecientes reais e complexos 32
e em particular, obtemos
e
inx
= cos(nx) + i sin(nx) e e
inx
= cos(nx) i sin(nx)
A partir da, podemos escrever que:
cos(nx) =
1
2
(e
inx
+ e
inx
) e sin(nx) =
1
2
(e
inx
e
inx
)
Substituindo estas duas ltimas expresses na srie de Fourier com
coecientes reais, 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 n 1 e
c
0
=
1
2
a
0
, c
n
=
1
2
(a
n
ib
n
), c
n
=
1
2
(a
n
+ ib
n
)
teremos a srie:
f(x) c
0
+

n=1
c
n
e
inx
+

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

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

n=1
c
n
e
inx
15 Conexo entre a srie de Fourier e a sua derivada 33
que nalmente pode ser escrita na forma:
f(x)

n=
c
n
e
inx
Este teorema garante que a forma complexa da srie de Fourier coincide
com a forma real da srie de Fourier. Cada uma das formas pode ser
usada para tirar vantagem das propriedades matemticas envolvidas
com o contexto fsico. No estudo de Sinais Digitais, Comunicao de
Dados ou Computao Grca, til trabalhar com a srie complexa.
15 Conexo entre a srie de Fourier e a sua derivada
15.1 A derivada da srie de Fourier
H uma conexo entre os coecientes complexos da srie de Fourier
de uma funo f e os correspondentes coecientes da srie de Fourier
da derivada de f.
Teorema: Se f uma funo diferencivel 2L-peridica e
f(x)

n=
c
n
e
inx/L
ento
f

(x)

n=
in
L
c
n
e
inx/L
15.2 Resoluo de EDOL com sries de Fourier
Inicialmente, Fourier estudava processos para resolver Equaes Di-
ferenciais Ordinrias Lineares (EDOL). Realizaremos a anlise de al-
15.3 Soluo de uma EDOL de primeira ordem por Srie de Fourier 34
gumas EDOL com coecientes constantes de ordem 1 e 2, ao invs 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) uma funo 2-peridica.
15.3 Soluo de uma EDOL de primeira ordempor Srie de Fourier
Seja f uma funo 2-peridica. Obteremos as solues peridicas da
EDOL:
y

+ ay = f(x)
Vamos considerar que f = f(x) possua a srie de Fourier, sendo f
n
os
seus coecientes complexos de Fourier, isto :
f(x)

n=
f
n
e
inx
Seja y = y(x) uma soluo 2-peridica da equao diferencial dada e
vamos assumir que y = y(x) possui a srie de Fourier
y(x)

n=
y
n
e
inx
onde y
n
so os coecientes complexos de Fourier de y = y(x).
Substituindo estas duas representaes na EDOL dada, obteremos dois
somatrios cujos coecientes complexos de Fourier coincidem para
todo n Z, isto
iny
n
+ ay
n
= f
n
donde segue que para todo n Z
y
n
=
f
n
a + in
15.4 Soluo de uma EDOL de segunda ordem por Srie de Fourier 35
Assim, se conhecermos os coecientes f
n
, ns teremos a soluo da
equao diferencial dada por:
y(x) =

n=

f
n
a + in

e
inx
15.4 Soluo de uma EDOL de segunda ordempor Srie de Fourier
Seja f uma funo 2-peridica. Estudaremos agora as solues pe-
ridicas da EDOL de segunda ordem:
y

+ ay

+ by = f(x)
Consideraremos a srie de Fourier de f, dada por
f(x)

n=
f
n
e
inx
e a srie de Fourier da funo incgnita y = y(x), dada por
y(x)

n=
y
n
e
inx
onde y
n
so os coecientes complexos de Fourier de y = y(x).
Ao substituir estas representaes na EDOL dada, obteremos dois so-
matrios cujos coecientes de Fourier coincidem para todo n Z:

(
in
L
)
2
+ a
in
L
+ b

y
n
= f
n
donde segue que para todo n Z
y
n
=
f
n
(
in
L
)
2
+ a
in
L
+ b
Assim, se conhecermos os coecientes f
n
, ns teremos a soluo da
equao diferencial dada por:
y(x) =

n=

f
n
(
in
L
)
2
+ a
in
L
+ b

e
inx
REFERNCIAS BIBLIOGRFICAS UTILIZADAS 36
O que zemos pode ser estendido a EDOL com coecientes constan-
tes de ordem n maior do que 2.
Referncias bibliogrcas utilizadas
[1] Figueiredo, Djairo Guedes Anlise de Fourier e Equaes Diferenciais Parciais,
Coleo Euclides, IMPA/CNPq, Rio de Janeiro, 1986.
[2] Kaplan, Wilfred, Clculo Avanado, Edgard Blcher Editora e EDUSP, (1972),
So Paulo, Brasil.
[3] Kolmogorov, A.N. e Fomin, S.V., Elementos de la Teoria de Funciones y del Ana-
lisis Funcional, Editorial MIR, (1972), Moscou.
[4] Quevedo, Carlos P., Circuitos Eltricos, LTC Editora, (1988), Rio de Janeiro, Bra-
sil.
[5] Spiegel, Murray, Anlise de Fourier, Coleo Schaum, McGraw-Hill do Brasil,
(1976), So Paulo, Brasil.