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 filhos dos homens, para nela os exercitar. Atentei para todas as
obras que se fazem debaixo do sol, e eis que tudo era vaidade e aflio de
esprito. Aquilo que torto no se pode endireitar; aquilo que falta no
se pode calcular. Falei eu com o meu corao, dizendo: Eis que eu me en-
grandeci, e sobrepujei em sabedoria a todos os que houve antes de mim
em Jerusalm; 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
aflio 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 Coeficientes 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 coeficientes 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 simplificada da Srie de Fourier . . . . . . . . . . . . . . . . . 29
14.2 Forma complexa da Srie de Fourier . . . . . . . . . . . . . . . . . . . 29
14.3 Relao entre coeficientes 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
suficientemente 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 x0 , a aproximao polinomial de

Taylor funciona bem mas em pontos distantes de x0 , o processo ruim.
Isto acontece tambm para funes descontnuas e ocorrem falhas pois
este processo de aproximao local.

1.3 Problema da integral

Para obter valores aproximados para uma integral sobre um intervalo,

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 em 1822, 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)

O nmero p um dos perodos de f . s vezes existem vrios 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 definida
no intervalo real simtrico [L, L], com o objetivo de simplificar as
operaes.
Exemplos: As funes f (x) = sin(x), g(x) = cos(x), h(x) = sin(nx),
k(x) = cos(mx) e p(x) = A cos(mx) + B sin(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

Z a+L Z L
f (x)dx = f (x)dx
aL L
Rx
3. Se g(x) = 0 f (u)du, f = f (x) 2L-peridica e alm disso
Z L
f (u)du = 0
L
demonstrar que g 2L-peridica.
Rx
4. Se g(x) = 0 f (u)du e g 2L-peridica, mostrar que
Z L
f (u)du = 0
L

2.2 Ncleo de Dirichlet

O Ncleo de Dirichlet definido para todo x R, por:

1
Dn (x) = + cos(x) + cos(2x) + + cos(nx)
2
possvel mostrar que se sin( x2 ) 6= 0, ento:
sin[(n + 12 )x]
Dn (x) =
2 sin( x2 )
2.3 Polinmio trigonomtrico 4

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:
x 1 1
2 cos(kx) sin( ) = sin[(k + )x] sin[(k )x]
2 2 2

Assim:
x 3x 1x
2 cos(1x) sin( ) = sin( ) sin( )
2 2 2
x 5x 3x
2 cos(2x) sin( ) = sin( ) sin( )
2 2 2
x 7x 5x
2 cos(3x) sin( ) = sin( ) sin( )
2 2 2

x 1 1
2 cos(nx) sin( ) = sin[(n + )x] sin[(n )x]
2 2 2
Somando membro a membro as igualdades acima e dividindo a soma
por 2 sin( x2 ), teremos o resultado.
No ponto x = 0, definimos
sin[(n + 12 )x] 1
Dn (0) = lim Dn (x) = lim = n +
x0 x0 2 sin( x2 ) 2
Este valor garantido pelo limite fundamental
sin(x)
lim =1
x0 x

Exerccio: Escrever a funo f (x) = B cos(nx) + C sin(nx) na forma:

f (x) = A cos(nx )

2.3 Polinmio trigonomtrico

Um polinmio trigonomtrico pn = pn (x) de ordem n uma funo

2-peridica da forma:
n
a0 X
pn (x) = + [ak cos(kx) + bk sin(kx)]
2
k=1
2.4 Srie trigonomtrica 5

2.4 Srie trigonomtrica

Uma srie trigonomtrica uma representao f = f (x) em srie de

funes trigonomtricas da forma:

a0 X
f (x) = + [ak cos(kx) + bk sin(kx)]
2
k=1

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[(m n)x]
4. 2 cos(mx) cos(nx) = cos[(m + n)x] + cos[(m n)x]
5. 2 sin(mx) sin(nx) = cos[(m n)x] cos[(m + n)x]

3.2 Integrais trigonomtricas

Se m, n N = {1, 2, 3, }, ento
Z Z Z
1. cos(nx)dx = sin(nx)dx = sin(mx) cos(nx)dx = 0

Z Z 
se m = n
2. cos(mx) cos(nx)dx = sin(mx) sin(nx)dx =
0 se m 6= 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 Z b
f (u) du <
a

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

Z
f (u) du <

Exemplo: A funo (sinc) f : R R definida por:

sin(x)
se x 6= 0
f (x) = x
1 se x = 0

Figura 2: Funo sinc

Esta funo integrvel sobre a reta real, pois

Z
sin(x)
dx =
x
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:
Z b
|f (u)| du <
a

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

Z
|f (u)| du <

Exemplo: A funo (sinc) f : R R definida por:

sin(x)
se x 6= 0
f (x) = x
1 se x = 0

no absolutamente integrvel, pois

Z
sin(x)
| |dx = +
x

5 Sries de Fourier e Coeficientes 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:

a0 X
f (x) + [an cos(nx) + bn sin(nx)]
2 n=1
5 Sries de Fourier e Coeficientes de Fourier 8

onde a0 , an e bn so os coeficientes de Fourier de f definidos por:

1
Z
a0 = f (x) dx

1
Z
an = f (x) cos(nx) dx

1
Z
bn = 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, definida por:

1 se < x < 0
f (x) = 0 se x = 0
1 se 0 < x <

Figura 3: Funo sinal

Mostrar que a srie de Fourier da funo sinal representada por

4 X sin[(2k 1)x]
f (x)
2k 1
k=1

2. Seja a funo 2-peridica, definida por:

5 Sries de Fourier e Coeficientes de Fourier 9

f (x) = |x|, ( x )

Figura 4: Funo modular

Mostrar que a srie de Fourier desta funo representada por

4 X cos[(2k 1)x]
f (x)
2 (2k 1)2
k=1

Exemplos:

1. Para obter a srie de Fourier da funo


0 se x < 0
f (x) =
se 0 x <

Figura 5: Funo sinal transladada para cima

devemos calcular primeiramente os seus coeficientes de Fourier:

5 Sries de Fourier e Coeficientes de Fourier 10

Z 0 Z
1
a0 = { 0 dx + dx} =
0

e para n N, temos
Z
1
an = cos(nx)dx = 0
0

Como

1 cos(n)
Z
1
bn = sin(nx)dx =
0 n
Para n par, obtemos bn = 0 e para n mpar:

2
b2k1 = (k N )
2k 1
assim a srie de Fourier ser dada por

X sin[(2k 1)x]

f (x) + 2
2 2k 1
k=1

ou seja
 
sin(3x) sin(5x)
f (x) + 2 sin(x) + + + ...
2 3 5
2. Para obter a srie de Fourier da funo

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

1 se x < 0
g(x) = sinal(x) =
2 1 se 0 x <
e utilizar a srie de Fourier da funo sinal, para obter:
5 Sries de Fourier e Coeficientes de Fourier 11

Figura 6: Funo sinal multiplicada por /2

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

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

podemos obter a srie de Fourier para funes peridicas com perodo
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].
Definio: Se f = f (t) uma funo 2L-peridica e integrvel no
intervalo [L, L], a sua srie de Fourier dada por:

a0 X nt nt
f (t) + [an cos( ) + bn sin( )]
2 n=1
L L

onde os coeficientes podem ser dados pelas expresses:

Z L
1 nt
an = f (t) cos( )dt
L L L
Z L
1 nt
bn = f (t) sin( )dt
L L L

para n 1. a0 pode ser obtido se tomarmos n = 0 no coeficiente an .

Exemplo: A srie de Fourier da funo 4-peridica
5.1 Aplicao de srie de Fourier soma de uma srie numrica 12


t + |t| 0 se 2 t < 0
f (t) = =
2 t se 0 t 2

Figura 7: Mdia aritmtica entre t e |t|

pode ser obtida com L = 2 (metade do perodo=4). Assim:

Z 2
1
a0 = t dt = 1
2 0
Z 2
1 nt 2
an = t cos( )dt = 2 2 ((1)n 1)
2 0 2 n
2
2(1)n
Z
1 t
bn = t sin(n )dt =
2 0 2 n
Logo

1 X (1)n 1 nt 2(1)n nt
f (t) + [ cos( ) sin( )]
2 n=1 n2 2 2 n 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
definir a n-sima soma parcial.
Exerccio:

1. Obter a srie de Fourier da funo 2-peridica f (x) = x2 defi-

nida sobre [, ].
6 Tipos importantes de simetrias 13

Figura 8: Funo parablica

Tomar x = na srie de Fourier para obter:

X 1 2
S2 = =
n=1
n2 6

2. Obter as sries de Fourier das funes 2-peridicas f (x) = x3 e

g(x) = x4 definidas sobre [, ] e calcular as somas das sries
numricas:

X 1 X 1
S3 = e S4 =
n=1
n3 n=1
n4

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 + T2 ) = f (t).
Do ponto de vista geomtrico, o grfico da segunda metade da
funo f = f (t) no perodo T a reflexo do grfico 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 grfico.
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.
T
(b) Transladando f de para a direita (esquerda), a funo se
4
torna par, isto

T
f (t ) = f (t)
4

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) = fp (t) + fi (t)

onde fp = fp (t) uma funo par e fi = fi (t) uma funo mpar,
definidas respectivamente por

f (t) + f (t) f (t) f (t)

fp (t) = fi (t) =
2 2

Exemplo: So pares as funes reais:

f (x) = cos(nx), f (x) = x2 , f (x) = x76

So mpares as funes reais:

f (x) = sin(nx), f (x) = x, f (x) = x77

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 R uma funo integrvel no intervalo simtrico [L, L].

1. Se f = f (t) uma funo par, ento:

Z L Z L
f (t) dt = 2 f (t) dt
L 0
7.2 Propriedades das simetrias para os coeficientes de Fourier 16

2. Se f = f (t) uma funo mpar, ento:

Z L
f (t) dt = 0
L

7.2 Propriedades das simetrias para os coeficientes de Fourier

Seja f : R R uma funo 2-peridica, integrvel e absolutamente

integrvel no intervalo simtrico [, ].

1. Se f uma funo par, ento bn = 0 e n = 0, 1, 2, 3, :

Z
2
an = f (x) cos(nx)dx
0

2. Se f uma funo mpar, ento an = 0 e n = 1, 2, 3, :

Z
2
bn = f (x) sin(nx)dx
0

Exemplo: Usando o benefcio da paridade, obteremos a srie de Fourier

da funo 2-peridica, definida sobre [, ] por:

f (x) = x, ( x )

Como f mpar, ento an = 0 e para n 0, basta obter os coeficientes

bn . Para qualquer n 1, temos:

(1)n+1
Z
2
bn = x sin(nx)dx = 2
0 n

logo

(1)n+1
 
X sin(2x) sin(3x)
f (x) 2 sin(nx) = 2 sin(x) + +
n=1
n 2 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, definimos 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 f (x) e f (p+ ) = lim f (x)

xp, x<p xp, x>p

8.2 Valor mdio de uma funo em um ponto

Quando a funo no est definida no ponto x = p mas existem os

limites laterais esquerda e direita em x = p, podemos definir 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 finito) 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 ) finito.

Exemplo: A funo sinal f : [2, 4] R definida por

+1 se x > 0
f (x) = sinal(x) = 0 se x = 0
1 se x < 0

Figura 11: Funo sinal em um intervalo no simtrico

tem descontinuidade de salto finito 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 f (x) = 1, f (0 ) = lim f (x) = 1

x0+ x0

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 infinito) em p, se satisfaz s trs condies:

1. Sobre cada intervalo finito 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 ) infinito.

Exemplo: A funo f : R {0} R {0} definida 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 finito de descontinuidades de salto finito. Os limites late-
rais de f = f (x) esquerda e direita nos pontos de descontinuidade
de salto finito pj (j = 1, 2, , n) so indicados, respectivamente, por:

f (pj ) = lim f (x) f (pj + ) = lim f (x)

xpj x pj +

e o salto de f em cada pj indicado por:

salto(f )(pj ) = f (pj + ) f (pj )

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, definida por j(x) = 1/x no

seccionalmente contnua sobre R, pois possui uma descontinuidade
de segunda espcie (salto infinito) em x = 0.
9.2 Lema fundamental 20

Exerccio: Construir os grficos de todas as funes dos exemplos

acima, observando que tais funes so contnuas sobre cada inter-
valo de medida finita.

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) definida por m(x) = 2 x2 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 :

a0 X
f (x) = + [an cos(nx) + bn sin(nx)]
2 n=1

Quando f contnua em x, escreveremos simplesmente

a0 X
f (x) = + [an cos(nx) + bn sin(nx)]
2 n=1

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
n
a0 X
Sn (f )(x) = + [ak cos(kx) + bk sin(kx)]
2
k=1

Este teorema fundamental na Teoria de Aproximao de funes,

sendo muito usado em Anlise Numrica e com ele, podemos mostrar
a relao grfica 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, definida sobre [, ],
possui desenvolvimento de Fourier dado por:
 
4 1 1
f (x) = cos(x) + cos(3x) + cos(5x) + . . .
2 9 25
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 Sn (f )(x) = f (x)

n

Utilizando grficos, 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 S1 (f ), S2 (f ), S3 (f ), S4 (f ), e neste caso:
12 O fenmeno de Gibbs e a srie de Fourier 23

S1 (f ) =
2
4
S2 (f ) = cos(x)
2
4 cos(3x)
S3 (f ) = [cos(x) + ]
2 9
4 cos(3x) cos(5x)
S4 (f ) = [cos(x) + + ]
2 9 25

Quando n aumenta arbitrariamente (n ) ento Sn (f ) f e ob-

servamos pelos grficos que S4 (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 um ponto p de descontinuidade e desco-
briu uma curiosidade, que conhecida como fenmeno de Gibbs.
Se definimos a oscilao da soma parcial de ordem n no ponto x = p
por

n (Sn , p) = max Sn (f ) min Sn (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 grfico). 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 definida
apenas sobre o meio intervalo [0, L] ao intervalo completo [L, L] para
nos beneficiarmos 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 fe 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

X
f (x) = An cos(nx)
n=0

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 definida por


f (x) se x < 0
f2 (x) =
f (x) se 0 x

Observamos que a extenso f2 coincide com a funo f sobre o inter-

valo [0, ].
Suponhamos agora que o domnio de f = f (x) seja [0, ] e alm disso

X
f (x) = Bn sin(nx)
n=1

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 definida por


f (x) se x < 0
f1 (x) =
f (x) se 0 x

A extenso f1 coincide com a funo f sobre o intervalo [0, ].

Pelas definies acima, f1 = f1 (x) uma extenso mpar e f2 = f2 (x)
uma extenso par. Estas extenses so definidas e integrveis sobre
o intervalo [, ], coincidindo com f = f (x) sobre a metade do
intervalo [0, ].
A partir do exposto acima, a funo f1 a extenso mpar de f e f2
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 f1 , denominada a srie de

Fourier de senos da funo f , dada por:

X
f (x) bn sin(nx)
n=1

sendo que para cada n N, os coeficientes mpares de Fourier

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

a0 X
f (x) + an cos(nx)
2 n=1

sendo que para cada n N, os coeficientes pares de Fourier so

dados por:
2
Z
an = f (x) cos(nx) dx
0

Exemplo: Para obter a extenso par da funo f (x) = x definida sobre

o meio-intervalo [0, ], construiremos a extenso f2 , que no intervalo
[, ] dada por:
f2 (x) = |x|

Como f2 par, os coeficientes mpares so nulos, isto , bn = 0 para

todo n N e os coeficientes pares an so dados por:
2
Z
a0 = x dx =
0
e
2
Z
2
an = x cos(nx) dx = 2 (cos(n) 1)
0 n
logo
 
4 1 1
f (x) cos(x) + cos(3x) + cos(5x) + . . .
2 9 25
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 f1 de f que no intervalo
[, ] ser dada por:

1, < x 0
f1 (x) = sinal(x) =
+1, 0 < x

Como f1 mpar, os coeficientes pares so nulos, isto , an = 0 e os

coeficientes mpares bn so dados por:
2 2(1 (1)n )
Z
2
bn = sin(nx)dx = (1 cos(n)) =
0 n n

Assim, bn = 0 se n par, mas se n mpar da forma n = 2k 1 onde

k N , temos que:
4
b2k1 =
(2k 1)

logo
 
4 1 1
f (x) sin(x) + sin(3x) + sin(5x) +
3 5

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 f1 definida por:


cos(x) < x 0
f1 (x) =
cos(x) 0 < x

Como f1 mpar, temos que an = 0 e os bn so dados por:

Z
2
bn = cos(x) sin(nx)dx
0

que fornece b1 = 0 e para n > 1, obtemos:

1 + (1)n
 
2n
bn =
n2 1
13.3 Extenses de funes 2L-peridicas 28

Como bn = 0 para todo n mpar, assim basta tomar n = 2k e os coefici-

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

8X k
cos(x) 2
sin(2kx)
4k 1
k=1

13.3 Extenses de funes 2L-peridicas

Como fizemos antes, podemos definir as sries de Fourier de senos

e cossenos para funes 2L-peridicas definidas sobre um intervalo
[L, L]. Se a funo f = f (t) 2L-peridica, a sua srie de Fourier
sobre [L, L] definida por:
 
a0 X nt nt
f (t) + an cos( ) + bn sin( )
2 n=1
L L

onde os coeficientes de Fourier so dados por:

1 L
Z
nt
an = f (t) cos( )dt
L L L

1 L
Z
nt
bn = f (t) sin( )dt
L L L

Proposio: Seja f uma funo 2L-peridica e definida sobre meio-

intervalo [0, L].

(1) Se f par ento bn = 0 (n 1) e para n 0:

2 L
Z  
nt
an = f (t) cos dt
L 0 L
14 Outras formas de apresentar uma Srie de Fourier 29

A srie de Fourier tem a forma:

 
a0 X nt
f (t) + an cos
2 n=1
L

(2) Se f mpar ento an = 0 (n 0) e para n 1:

2 L
Z  
nt
bn = f (t) sin dt
L 0 L

Neste caso, a srie de Fourier ter a forma:

 
X nt
f (t) bn sin
n=1
L

14 Outras formas de apresentar uma Srie de Fourier

14.1 Forma simplificada da Srie de Fourier

Como sempre possvel escrever g(t) = B cos(nt) + C sin(nt) na forma

g(t) = A cos(nt ), ento podemos escrever a srie de Fourier em
uma forma simplificada contendo somente funes cosseno na soma.
Para uma funo 2-peridica f = f (t), escreveremos:

a0 X
f (t) + An cos(nt )
2 n=1

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

X
f (x) cn einx
n=

onde o coeficiente de Fourier complexo dado por:

Z
1
cn = f (x)einx dx
2

para cada nmero n Z = { , 3, 2, 1, 0, 1, 2, 3, 4, }.

Observao: Se a funo f = f (t) 2L-peridica, o coeficiente com-
plexo de Fourier para f = f (t) definido para cada n Z, como

Z L
1
cn = f (t) eint/L dt
2L L

sendo a srie de Fourier representada por

X
f (t) cn eint/L
n=

Exemplo: Seja f (t) = t, for t (1, 1) e f (t + 2) = f (t). Os coeficientes

complexos {cn } da srie de Fourier de f = f (t) so dados por c0 = 0 e

Z 1
1
cn = t eint dt
2 1

Com alguns clculos obtemos:

1 ein ein ein ein

 
cn = + +
2 in in (in)2 (in)2

Como ei = ei = 1, simplificamos cn para:

(1)n
cn =
(in)
14.3 Relao entre coeficientes reais e complexos 31

logo, a forma complexa da srie de Fourier de f = f (t) ser:

X (1)n+1
f (t) [eint eint ]
n=1
in

que pode ser escrita na forma

X (1)n+1
f (t) 2 sin(nt)
n=1
n

14.3 Relao entre coeficientes reais e complexos

Existe uma ntima relao entre os coeficientes de Fourier reais e com-

plexos para uma funo peridica f .
Teorema: Se f uma funo 2-peridica, {an } e {bn } os coeficientes
de Fourier reais, {cn } os coeficientes complexos de Fourier de f , ento
existem trs relaes que fazem a conexo entre estes coeficientes da
srie de Fourier:

(1) c0 = 12 a0
(2) cn = 12 (an ibn ) (n 1)
(3) cn = 21 (an + ibn ) (n 1)

Demonstrao: Seja a forma real da srie de Fourier para f dada por:

a0 X
f (x) + (an cos(nx) + bn sin(nx))
2 n=1

onde a0 , an e bn so nmeros reais. Como para todo nmero complexo

z C vale a relao de Euler:

ez = cos(z) + i sin(z)
14.3 Relao entre coeficientes reais e complexos 32

e em particular, obtemos

einx = cos(nx) + i sin(nx) e einx = cos(nx) i sin(nx)

A partir da, podemos escrever que:

1 1
cos(nx) = (einx + einx ) e sin(nx) = (einx einx )
2 2
Substituindo estas duas ltimas expresses na srie de Fourier com
coeficientes reais, teremos:

a0 X an inx bn inx
f (x) + [ (e + einx ) + (e einx )]
2 n=1
2 2i

que pode ser escrita na forma:

a0 X an ibn inx X an + ibn inx
f (x) + ( )e + ( )e
2 n=1
2 n=1
2

Tomando n 1 e

1 1 1
c 0 = a0 , cn = (an ibn ), cn = (an + ibn )
2 2 2
teremos a srie:

X
X
f (x) c0 + cn e inx
+ cn einx
n=1 n=1

isto

1
X
X
inx i0x
f (x) cn e + c0 e + cn einx
n= n=1
15 Conexo entre a srie de Fourier e a sua derivada 33

que finalmente pode ser escrita na forma:

X
f (x) cn einx
n=

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 Grfica, 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 coeficientes complexos da srie de Fourier

de uma funo f e os correspondentes coeficientes da srie de Fourier
da derivada de f .
Teorema: Se f uma funo diferencivel 2L-peridica e

X
f (x) cn einx/L
n=

ento

0
X in
f (x) cn einx/L
n=
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 coeficientes constantes de ordem 1 e 2, ao invs de

estudar o caso geral.

L(y) = y (n) + an1 y (n1) + + a1 y 0 + a0 y = f (x)

onde f = f (x) uma funo 2-peridica.

15.3 Soluo de uma EDOL de primeira ordem por Srie de Fourier

Seja f uma funo 2-peridica. Obteremos as solues peridicas da

EDOL:
y 0 + ay = f (x)

Vamos considerar que f = f (x) possua a srie de Fourier, sendo fn os

seus coeficientes complexos de Fourier, isto :

X
f (x) fn einx
n=

Seja y = y(x) uma soluo 2-peridica da equao diferencial dada e

vamos assumir que y = y(x) possui a srie de Fourier

X
y(x) yn einx
n=

onde yn so os coeficientes complexos de Fourier de y = y(x).

Substituindo estas duas representaes na EDOL dada, obteremos dois
somatrios cujos coeficientes complexos de Fourier coincidem para
todo n Z, isto
inyn + ayn = fn

donde segue que para todo n Z

fn
yn =
a + in
15.4 Soluo de uma EDOL de segunda ordem por Srie de Fourier 35

Assim, se conhecermos os coeficientes fn , ns teremos a soluo da

equao diferencial dada por:
 
X fn
y(x) = einx
n=
a + in

15.4 Soluo de uma EDOL de segunda ordem por Srie de Fourier

Seja f uma funo 2-peridica. Estudaremos agora as solues pe-

ridicas da EDOL de segunda ordem:
y 00 + ay 0 + by = f (x)

Consideraremos a srie de Fourier de f , dada por

X
f (x) fn einx
n=

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

X
y(x) yn einx
n=

onde yn so os coeficientes complexos de Fourier de y = y(x).

Ao substituir estas representaes na EDOL dada, obteremos dois so-
matrios cujos coeficientes de Fourier coincidem para todo n Z:
 
in 2 in
( ) +a + b yn = fn
L L

donde segue que para todo n Z

fn
yn =
( in
L )
2 + a in
L +b

Assim, se conhecermos os coeficientes fn , ns teremos a soluo da

equao diferencial dada por:

" #
X fn
y(x) = in 2 in
einx
n=
( L ) +a L +b
REFERNCIAS BIBLIOGRFICAS UTILIZADAS 36

O que fizemos pode ser estendido a EDOL com coeficientes constan-

tes de ordem n maior do que 2.

Referncias bibliogrficas 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.