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 sabedoria 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 engrandeci, 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

Problema de aproximao . . . . . . . . . . . . . . . . . . . . . . . . .

1.2

Problema do limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3

Problema da integral . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4

Jean B. Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Funes Peridicas

2.1

Conceitos gerais sobre funes peridicas . . . . . . . . . . . . . . . .

2.2

Ncleo de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3

Polinmio trigonomtrico . . . . . . . . . . . . . . . . . . . . . . . . .

2.4

Srie trigonomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Frmulas e integrais trigonomtricas

3.1

Algumas frmulas trigonomtricas . . . . . . . . . . . . . . . . . . . .

3.2

Integrais trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . .

Funes absolutamente integrveis

4.1

Funo integrvel sobre um intervalo . . . . . . . . . . . . . . . . . .

4.2

Funo integrvel sobre a reta real . . . . . . . . . . . . . . . . . . . .

4.3

Funo absolutamente integrvel sobre um intervalo . . . . . . . . .

4.4

Funo absolutamente integrvel sobre a reta real . . . . . . . . . . .

Sries de Fourier e Coeficientes de Fourier

5.1

Aplicao de srie de Fourier soma de uma srie numrica . . . . .

7
12

Tipos importantes de simetrias

13

6.1

14

Propriedades de funes com simetrias par e mpar . . . . . . . . . .

Integrais de funes com simetrias

15

7.1

15

Propriedades das integrais com simetrias . . . . . . . . . . . . . . . .

CONTEDO

7.2

Propriedades das simetrias para os coeficientes de Fourier . . . . . .

8 Descontinuidade de funes reais

iv

16
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

15.3 EDOL de primeira ordem . . . . . . . . . . . . . . . . . . . . . . . . .

34

15.4 EDOL de segunda ordem . . . . . . . . . . . . . . . . . . . . . . . . .

35

Lista de Figuras
1

Uma funo peridica . . . . . . . . . . . . . . . . . . . . . . . . . . .

Funo sinc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Funo sinal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Funo modular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Funo sinal transladada para cima . . . . . . . . . . . . . . . . . . . .

Funo sinal multiplicada por /2 . . . . . . . . . . . . . . . . . . . .

11

Mdia aritmtica entre t e |t| . . . . . . . . . . . . . . . . . . . . . . . .

12

Funo parablica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

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

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 trabalhar 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 vizinhanas 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 resolvido com o uso de Sries de Fourier uma vez que trabalhamos com
funes peridicas.

1.4

Jean B. Fourier

1.4 Jean B. Fourier

Jean B. Fourier (1768-1830) foi pioneiro na investigao destes problemas. No livro Thorie Analytique de la Chaleur, escrito em 1822, ele introduziu o conceito conhecido atualmente como Srie de Fourier, que
muito utilizado nas cincias em geral, principalmente nas reas envolvidas com: Matemtica, Engenharia, Computao, Msica, Ondulatria, Sinais Digitais, Processamento de Imagens, etc.

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 denotamos 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

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
L

aL

3. Se g(x) =

Rx
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

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
=
n
+
Dn (0) = lim Dn (x) = lim
x0
x0
2 sin( x2 )
2
Este valor garantido pelo limite fundamental
sin(x)
=1
x0
x
lim

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

2.4

Srie trigonomtrica

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

1.

cos(nx)dx =

Z
sin(nx)dx =

2.

sin(mx) cos(nx)dx = 0

cos(mx) cos(nx)dx =


sin(mx) sin(nx)dx =

se m = n
0 se m 6= n

4 Funes absolutamente integrveis

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

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 absolutamente 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

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

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

Z
1
a0 =
f (x) dx

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

Z
1
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 diferencivel, 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

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

f (x) =

0 se x < 0
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

1
a0 = {

10

Z
0 dx +

dx} =
0

e para n N, temos
1
an =

cos(nx)dx = 0
0

Como
1
bn =

sin(nx)dx =
0

1 cos(n)
n

Para n par, obtemos bn = 0 e para n mpar:

b2k1 =

2
2k 1

(k N )

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

g(x) =

/2 se x < 0
/2 se 0 x <

basta usar o fato que

g(x) = sinal(x) =
2

1 se x < 0
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 integrvel 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:

nt
nt
a0 X
+
[an cos(
) + bn sin(
)]
f (t)
2
L
L
n=1
onde os coeficientes podem ser dados pelas expresses:
L

1
an =
L

1
bn =
L

f (t) cos(
L
L

f (t) sin(
L

nt
)dt
L

nt
)dt
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

t + |t|
=
f (t) =
2

12

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:

1
a0 =
2
1
an =
2

t cos(
0

1
bn =
2

Z
0

t dt = 1
0

nt
2
)dt = 2 2 ((1)n 1)
2
n

t
2(1)n
t sin(n )dt =
2
n

Logo

nt
2(1)n
nt
1 X (1)n 1
[
cos(
)

sin(
)]
f (t) +
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 numricas 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 definida sobre [, ].

6 Tipos importantes de simetrias

13

Figura 8: Funo parablica

Tomar x = na srie de Fourier para obter:

X
1
2
S2 =
=
n2
6
n=1

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
S3 =
n3
n=1

X
1
S4 =
n4
n=1

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
f (t

6.1

T
) = f (t)
4

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

f (t) + f (t)
2

fi (t) =

f (t) f (t)
2

Exemplo: So pares as funes reais:

f (x) = cos(nx),

f (x) = x2 ,

f (x) = x76

f (x) = x,

f (x) = x77

So mpares as funes reais:

f (x) = sin(nx),

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

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, :
2
an =

f (x) cos(nx)dx
0

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

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:
2
bn =

Z
0

(1)n+1
x sin(nx)dx = 2
n

logo

f (x) 2

X
(1)n+1
n=1

sin(2x) sin(3x)
sin(nx) = 2 sin(x)
+
+
2
3

8 Descontinuidade de funes reais

17

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 esquerda e direita em x = p, isto :
f (p ) =

lim

xp, x<p

f (x)

f (p+ ) =

lim

xp, x>p

f (x)

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,
x0+

salto(f )(0) = 2
8.4

f (0 ) = lim f (x) = 1
x0

f (0) = 0

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 laterais 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)
xpj

f (pj + ) = lim f (x)

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 intervalo 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 seccionalmente 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
+
[an cos(nx) + bn sin(nx)]
f (x) =
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
f (x) =
2

1
1
cos(x) + cos(3x) +
cos(5x) + . . .
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)

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

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

Quando n aumenta arbitrariamente (n ) ento Sn (f ) f e observamos 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 absolutamente integrvel, o Teorema de Fourier garante que a srie de Fourier
de f = f (x) converge uniformemente para f em todo o intervalo fechado que no contm pontos de descontinuidade de f .
Se existir um ponto de descontinuidade neste intervalo I, a convergncia no poder ser uniforme em I. Gibbs estudou a convergncia
da srie de Fourier prximo a um ponto p de descontinuidade e descobriu 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 limite 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
13.1

Sries de Fourier de Senos e Cossenos (Extenses)

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

f (x) =

25

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

f2 (x) =

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

Observamos que a extenso f2 coincide com a funo f sobre o intervalo [0, ].

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

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

f1 (x) =

f (x) se x < 0
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:
f (x)

bn sin(nx)

n=1

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

so:
Z
2
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:
Z
2
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:
Z
2
a0 =
x dx =
0
e
Z
2
2
x cos(nx) dx = 2 (cos(n) 1)
an =
0
n
logo
4
f (x)
2

1
1
cos(x) + cos(3x) +
cos(5x) + . . .
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:
Z
2
2
2(1 (1)n )
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
f (x)

1
1
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:

f1 (x) =

cos(x) < x 0
cos(x) 0 < x

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

2
bn =

cos(x) sin(nx)dx
0

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

2n
bn =

1 + (1)n
n2 1

13.3 Extenses de funes 2L-peridicas

28

Como bn = 0 para todo n mpar, assim basta tomar n = 2k e os coeficientes 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)
sin(2kx)
2

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
L
L
n=1
onde os coeficientes de Fourier so dados por:
Z
1 L
nt
an =
f (t) cos(
)dt
L L
L
Z
nt
1 L
bn =
f (t) sin(
)dt
L L
L
Proposio: Seja f uma funo 2L-peridica e definida sobre meiointervalo [0, L].
(1) Se f par ento bn = 0 (n 1) e para n 0:


Z
nt
2 L
f (t) cos
dt
an =
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
L
n=1
(2) Se f mpar ento an = 0 (n 0) e para n 1:


Z
2 L
nt
bn =
f (t) sin
dt
L 0
L
Neste caso, a srie de Fourier ter a forma:



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

14
14.1

Outras formas de apresentar uma Srie de Fourier

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

f (x)

cn einx

n=

onde o coeficiente de Fourier complexo dado por:

1
cn =
2

f (x)einx dx

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

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

f (t) eint/L dt

sendo a srie de Fourier representada por

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
1
cn =
2

t eint dt

Com alguns clculos obtemos:



1 ein ein
ein
ein
cn =
+

+
2 in
in
(in)2 (in)2
Como ei = ei = 1, simplificamos cn para:
cn =

(1)n
(in)

14.3 Relao entre coeficientes reais e complexos

31

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

f (t)

X
(1)n+1

in

n=1

[eint eint ]

que pode ser escrita na forma

f (t) 2

X
(1)n+1
n=1

14.3

sin(nt)

Relao entre coeficientes reais e complexos

Existe uma ntima relao entre os coeficientes de Fourier reais e complexos 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 )
(3) cn = 21 (an + ibn )

(n 1)
(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)

einx = cos(nx) i sin(nx)

A partir da, podemos escrever que:

1
cos(nx) = (einx + einx )
2

1
sin(nx) = (einx einx )
2

Substituindo estas duas ltimas expresses na srie de Fourier com

coeficientes reais, teremos:

a0 X an inx
bn inx
+
[ (e + einx ) +
(e einx )]
f (x)
2
2
2i
n=1
que pode ser escrita na forma:

a0 X an ibn inx X an + ibn inx

f (x)
+
(
)e +
(
)e
2
2
2
n=1
n=1

Tomando n 1 e
1
c 0 = a0 ,
2

1
cn = (an ibn ),
2

1
cn = (an + ibn )
2

teremos a srie:

f (x) c0 +

inx

cn e

n=1

cn einx

n=1

isto

f (x)

1
X
n=

inx

cn e

i0x

+ c0 e

X
n=1

cn einx

15 Conexo entre a srie de Fourier e a sua derivada

33

que finalmente pode ser escrita na forma:

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

f (x)

cn einx/L

n=

ento

X
in
f (x)
cn einx/L
L
n=
0

15.2

Resoluo de EDOL com sries de Fourier

Inicialmente, Fourier estudava processos para resolver Equaes Diferenciais 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 :
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
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
yn =

fn
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
einx
y(x) =
a + in
n=
15.4

Soluo de uma EDOL de segunda ordem por Srie de Fourier

Seja f uma funo 2-peridica. Estudaremos agora as solues peridicas da EDOL de segunda ordem:
y 00 + ay 0 + by = f (x)
Consideraremos a srie de Fourier de f , dada por
f (x)

fn einx

n=

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

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 somatrios cujos coeficientes de Fourier coincidem para todo n Z:


in
in 2
) +a
+ b yn = fn
(
L
L
donde segue que para todo n Z
yn =

2
( in
L )

fn
+ a in
L +b

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

equao diferencial dada por:
"
#

X
fn
y(x) =
einx
in 2
in
( L ) +a L +b
n=

REFERNCIAS BIBLIOGRFICAS UTILIZADAS

36

O que fizemos pode ser estendido a EDOL com coeficientes constantes 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 Analisis Funcional, Editorial MIR, (1972), Moscou.
[4] Quevedo, Carlos P., Circuitos Eltricos, LTC Editora, (1988), Rio de Janeiro, Brasil.
[5] Spiegel, Murray, Anlise de Fourier, Coleo Schaum, McGraw-Hill do Brasil,
(1976), So Paulo, Brasil.