Equações Diferenciais B

Aula 03: Introdução às Séries de Fourier

Ronaldo B. Assunção
B.H. 05 de setembro de 2022

UFMG/ICEx/DMAT
Sumário

1. Introdução às séries de Fourier

2. Representação de funções por séries de Fourier

3. Teorema sobre a convergência das séries de Fourier

4. Teorema sobre a integração e derivação das séries de Fourier

5. Exemplos e exercícios

1
Sumário

Introdução às séries de Fourier

Representação de funções por séries de Fourier

Teorema sobre a convergência das séries de Fourier

Teorema sobre a integração e derivação das séries de Fourier

Exemplos e exercícios

2
Solução formal do problema da difusão do calor em uma barra i

Anteriormente propusemos o problema da difusão do calor em uma barra

termicamente isolada ao longo de seu comprimento, com temperaturas
fixadas iguais a zero nas duas extremidades e com temperatura inicial
determinada.

3
Solução formal do problema da difusão do calor em uma barra ii
Difusão do calor em uma barra; condições de Dirichlet
Resolver o problema de valor inicial e de fronteira (PVIF) em que a
função incógnita u(x , t) representa a temperatura do ponto da barra de
abscissa x e no instante t,

∂u(x , t) ∂2 u(x , t)
EDP − α2 = 0, 0 < x < L, 0 < t; (1)
∂t ∂x 2
CF u(0, t) = 0, 0 É t; (2)
CF u(L, t) = 0, 0 É t; (3)
CI u(x , 0) = f (x), 0 É x É L. (4)

4
Solução formal do problema da difusão do calor em uma barra iii

Trabalhando apenas formalmente, isto é, sem maiores considerações a

respeito das questões de convergência de séries, a solução desse problema
é a “função”
à !
+∞
X ³ nπ ´ n2 π2 α2
u(x , t) = bn sen x exp − t . (5)
n=1 L L2

Essa “função” resolve a EDP da difusão e as condições de fronteira. Para

que resolva também a condição inicial devemos ter a igualdade
+∞
X ³ nπ ´
f (x) = u(x , 0) = bn sen x .
n=1 L

Dessa forma, a escolha dos coeficientes bn ∈ R para n ∈ N depende da

função f (x) que denota a condição inicial.

5
Introdução às séries de Fourier i

Começamos esta aula com as questões que já foram formuladas na aula

anterior.

1. Podemos representar uma função arbitrária f : [0, L] → R na forma

+∞
X ³ nπ ´
f (x) = bn sen x ?
n=1 L

2. Em caso afirmativo, como determinar os coeficientes bn ∈ R para

n ∈ N?
3. A soma infinita, denominada série, pode de fato representar uma
função? Essa soma infinita converge?

6
Introdução às séries de Fourier ii

4. Se representamos a solução do problema do calor na forma

à !
+∞
X n2 π2 α2
³ nπ ´
u(x , t) = bn sen x exp − t ,
n=1 L L2

em que os coeficientes bn ∈ R para n ∈ N são determinados na

resolução da segunda pergunta, então podemos encontrar a derivada
de u(x , t) em relação à variável temporal t através da derivação
termo a termo da série de u(x , t),
à ! à !
∂u(x , t) +∞
X n2 π2 α2 ³ nπ ´ n2 π2 α2
= bn − sen x exp − t ?
∂t n=1 L2 L L2

7
Introdução às séries de Fourier iii

Além disso, podemos encontrar as derivadas primeira e segunda de

u(x , t) em relação à variável espacial x através da derivação
sucessiva termo a termo da série de u(x , t),
à !
∂u(x , t) +∞
X ³ nπ ´ ³ nπ ´ n2 π2 α2
= bn cos x exp − t ?
∂x n=1 L L L2
seguido de
à ! à !
∂2 u(x , t) +∞
X n 2 π2 ³ nπ ´ n2 π2 α2
= bn − 2 sen x exp − t ?
∂x 2 n=1 L L L2

Se a soma infinita converge para uma função, essa função é solução

da equação do calor e verifica a condição inicial e as condições de
fronteira?

8
Sumário

Introdução às séries de Fourier

Representação de funções por séries de Fourier

Teorema sobre a convergência das séries de Fourier

Teorema sobre a integração e derivação das séries de Fourier

Exemplos e exercícios

9
Representação de funções por séries de Fourier i

Inicialmente procuramos resolver as duas primeiras questões. Estudamos

particularmente a questão de saber se uma função arbitrária f : [0, L] → R
pode ser representada na forma
+∞
X ³ nπ ´
f (x) = bn sen x . (6)
n=1 L
Em primeiro lugar observamos que, para que qualquer função f possa ser
representada na forma acima, trabalhando formalmente e sem qualquer
preocupação a respeito da convergência da série, devemos ter
Z 2L Z 2L Ã +∞
X ³ nπ ´
!
f (x) dx = bn sen x dx
0 0 n=1 L
µZ 2L Passagem difícil de justificar!
+∞
X ³ nπ ´ ¶
= bn sen x dx
n=1 0 L
+∞
X Z 2L ³ nπ ´
= bn sen x dx
n=1 0 L
10
Representação de funções por séries de Fourier ii

Prosseguindo,

Z 2L +∞ ¶ ¯¯2L
³ nπ ´
L
µ
X
f (x) dx = −bn cos x
¯
nπ
¯
0 n=1 L ¯
0
+∞
X
µ
L ³ nπ ´ L ³ nπ ´
¶
= −bn cos 2L + bn cos 0
n=1 nπ L nπ L
= 0.

A passagem difícil de justificar envolve a comutação dos símbolos de

integração com o de somatório; para isso, foram desenvolvidas diversos
conceitos matemáticos tais como convergência pontual, convergência em
média quadrática, convergência uniforme, etc.

11
Representação de funções por séries de Fourier iii

Além disso,
+∞
X ³ nπ ´
f (2kL) = bn sen 2kL
n=1 L
+∞
bn sen(2knπ)
X
=
n=1
= 0,
e também
+∞
X ³ nπ ´
f (x + 2L) = bn sen (x + 2L)
n=1 L
+∞ ³ nπ ´
x + 2nπ
X
= bn sen
n=1 L
+∞
X ³ nπ ´
= bn sen x
n=1 L
= f (x).

12
Representação de funções por séries de Fourier iv

Em resumo, qualquer função f que se representa na forma da série (6)

deve verificar as seguintes propriedades:

1. A função f tem média zero no intervalo [0, 2L], isto é,

Z 2L
f (x) dx = 0;
0
2. A função f se anula nos múltiplos inteiros de 2L, isto é, f (2kL) = 0;
3. A função f é 2L-periódica, isto é,f (x + 2L) = f (x).

A terceira propriedade acima significa que f deve ser uma função

periódica de período 2L; equivalentemente, podemos representar apenas
as funções definidas sobre um intervalo de comprimento 2L. E como
pretendemos resolver outros tipos de problemas, e não apenas o problema
da condução do calor em uma barra, devemos reparar as restrições
identificadas nos ítens (1) e (2) acima.

13
Representação de funções por séries de Fourier v

1. A existência da restrição f (2kL) = 0 é consequência da propriedade

da função seno, sen((nπ/L)2kL) = 0 e é fácil de eliminar essa
condição se introduzimos os cossenos de diversas frequências
cos((2nπ/L)x) na série.
2. A restrição 02L f (x) dx = 0 continua presente com a introdução dos
R

cossenos de diversas frequências cos((2nπ/L)x) na série; logo,

introduzimos adicionalmente as funções constantes a0 /2 na série.
3. A restrição quanto à periodicidade não pode ser eliminada na teoria
de séries de Fourier. Porém, se ampliamos a teoria de séries de
Fourier para a teoria de integrais de Fourier a restrição pode ser
eliminada. Por ora, não nos preocupamos em eliminar essa restrição
da periodicidade.

14
Representação de funções por séries de Fourier vi

Com os comentários acima enumerados, procuramos a representação da

função definida em f : [0, 2L] → R ou em f : [−L, +L] → R e estendida na
reta como função 2L-periódica na forma de uma série completa de
Fourier.
Série completa de Fourier

a0 +∞
X ³ nπ ´ +∞X ³ nπ ´
f (x) = + an cos x + bn sen x . (7)
2 n=1 L n=1 L

A seguir, mostramos como é possível determinar as duas famílias de

coeficientes an para n ∈ N ∪ {0} e bn para n ∈ N.

15
As fórmula para os coeficientes das séries de Fourier i

Começamos com a fórmula de a0 . Como mencionamos, a introdução do

termo constante a0 /2 na série de Fourier permite a representação de
funções com média diferente de zero no intervalo [0, 2L]. Portanto, se
integramos a função f (x) no intervalo [0, 2L] obtemos
Z 2L
f (x) dx
0
Z 2L Ã +∞ ³ nπ ´ +∞ ³ nπ ´
!
a 0 X X
= + an cos x + bn sen x dx
0 2 n=1 L n=1 L
Z 2L Z 2L +∞ ³ nπ ´ Z 2L +∞ ³ nπ ´
a0 X X
= dx + an cos x dx + bn sen x dx
0 2 0 n=1 L 0
n=1 L
Z 2L X Z 2L
+∞ ³ nπ ´ X Z 2L
+∞ ³ nπ ´
a0
= dx + an cos x dx + bn sen x dx
0 2 n=1 0 L n=1 0 L
Z 2L X Z 2L
+∞ ³ π´ +∞ X Z 2L ³ π´
a0 n n 

= dx + an cos
 x dx + bn sen
 x dx
0 2 n=10
 L m=10
 L
16
As fórmula para os coeficientes das séries de Fourier ii
Z 2L
a 0
= dx
0 2
¯ 2L
a0 ¯¯
= x¯
2 ¯
0
= a0 L;

dessa forma, obtemos a fórmula de Euler-Fourier para o coeficiente a0 .

Fórmula de Euler-Fourier para o coeficiente a0 da série de Fourier

1 2L
Z
a0 = f (x) dx . (8)
L 0

17
As fórmula para os coeficientes das séries de Fourier iii

Antes de obtermos as fórmulas para os coeficientes an e bn para n ∈ N

observamos as seguintes propriedades das funções senos e cossenos
enunciadas na forma de um exercício.
Exercício

Z 2L ³ mπ ´ ³ nπ ´ L, se m = n;
cos x cos x dx = (9)
0 L L 0, se m ̸= n;
Z 2L ³ mπ ´ ³ nπ ´
cos x sen x dx = 0 (10)
0 L L

Z 2L ³ mπ ´ ³ nπ ´ L, se m = n;
sen x sen x dx = (11)
0 L L 0, se m ̸= n;

18
As fórmula para os coeficientes das séries de Fourier iv

Essas diversas propriedades das funções senos e cossenos são obtidas por
técnicas simples de integração.
Nos casos em que m ̸= n usamos as identidades trigonométricas
³ mπ ´ ³ nπ ´
1 ³ (m + n)π ´ 1 ³ (m − n)π ´
cos x cos x = cos x + cos x
L L 2 L 2 L
³ mπ ´ ³ nπ ´ 1 ³ (m + n)π ´ 1 ³ (m − n)π ´
cos x sen x = sen x + sen x
L L 2 L 2 L
³ mπ ´ ³ nπ ´ 1 ³ (m − n)π ´ 1 ³ (m + n)π ´
sen x sen x = cos x − cos x
L L 2 L 2 L
Nos casos em que m = n usamos as identidades trigonométricas
denominadas fórmulas de duplicação,
³ mπ ´1 1 ³ 2mπ ´
cos2 x =+ cos x
L 2 2 L
³ mπ ´ 1 1 ³ 2mπ ´
sen2 x = − cos x
L 2 2 L
19
As fórmula para os coeficientes das séries de Fourier v

Com base nas propriedades acima podemos deduzir as fórmulas dos

coeficientes an . Multiplicamos f (x) por cos((nπ/L)x) e integramos em
[0, 2L],
Z 2L ³ nπ ´
f (x)cos x dx
0 L
Z 2L Ã +∞ ³ mπ ´ +∞ ³ mπ ´
!
³ nπ ´
a 0 X X
= + am cos x + bm sen x cos x dx
0 2 m=1 L m=1 L L
Z 2L ³ nπ ´ Z 2L +∞ ³ mπ ´ ³ nπ ´
a 0 X
= cos x dx + am cos x cos x dx
0 2 L 0 m=1 L L
Z 2L +∞
X ³ mπ ´ ³ nπ ´
+ bm sen x cos x dx
0 m=1 L L
Z 2L ³ nπ ´ +∞ Z 2L ³ mπ ´ ³ nπ ´
a 0 X
= cos x dx + am cos x cos x dx
0 2 L m=1 0 L L
+∞
X Z 2L ³ mπ ´ ³ nπ ´
+ bm sen x cos x dx
m=1 0 L L
20
As fórmula para os coeficientes das séries de Fourier vi
Z 2L ³ nπ´ Z 2L ³ nπ ´ ³ nπ ´
a 0
cos x x a cos x cos x dx

=   d + n
02 L 0 L L
X Z 2L
+∞ ³ mπ ´ (( π(
³ n( ´((
+ b(m( (((x(cos
sen x dx
m=1(0( L L
= an L;

dessa forma, obtemos a fórmula de Euler-Fourier para o coeficiente an .

Fórmula de Euler-Fourier para os coeficientes an da série de
Fourier

1 2L ³ nπ ´
Z
an = f (x)cos x dx (n ∈ N). (12)
L 0 L

21
As fórmula para os coeficientes das séries de Fourier vii

Com base nas propriedades acima, podemos deduzir as fórmulas dos

coeficientes bn . Multiplicamos f (x) por sen((nπ/L)x) e integramos em
[0, 2L],
Z 2L ³ nπ ´
f (x)sen x dx
0 L
Z 2L Ã +∞ ³ mπ ´ +∞ ³ mπ ´
!
³ nπ ´
a 0 X X
= + am cos x + bm sen x sen x dx
0 2 m=1 L m=1 L L
Z 2L ³ nπ ´ Z 2L +∞ ³ mπ ´ ³ nπ ´
a 0 X
= sen x dx + am cos x sen x dx
0 2 L 0 m=1 L L
Z 2L +∞
X ³ mπ ´ ³ nπ ´
+ bm sen x sen x dx
0 m=1 L L
Z 2L ³ nπ ´ +∞ Z 2L ³ mπ ´ ³ nπ ´
a 0 X
= sen x dx + am cos x sen x dx
0 2 L m=1 0 L L
+∞
X Z 2L ³ mπ ´ ³ nπ ´
+ bm sen x sen x dx
m=1 0 L L
22
As fórmula para os coeficientes das séries de Fourier viii
Z 2L ³ nπ ´  +∞X Z 2L ³ m π ´ ((³ π( (
´(
a 0 (sen n(
sen x x a cos x x x

=   d + m ( ( ( d
0 2 L L L
 (
m=1(0 ((
Z 2L ³ nπ ´ ³ nπ ´
+ bn sen x sen x dx
0 L L
= bn L;

dessa forma, obtemos a fórmula de Euler-Fourier para os coeficientes bn .

Fórmula de Euler-Fourier para os coeficientes bn da série de
Fourier

1 2L ³ nπ ´
Z
bn = f (x)sen x dx (n ∈ N). (13)
L 0 L

A motivação para o termos constante a0 /2 na série de Fourier pode

agora ser justificada: a mesma fórmula é válida para todo an ∈ N ∪ {0}.

23
As fórmula para os coeficientes das séries de Fourier ix

Agora agrupamos os diversos resultados acima.

A série completa de Fourier da função f : [0, 2L] → R estendida à retal real

como função 2L-periódica é

a0 +∞
X ³ nπ ´ +∞X ³ nπ ´
f (x) = + an cos x + bn sen x (14)
2 n=1 L n=1 L

em que os coeficientes de Euler-Fourier são determinados pelas fórmulas

1 2L ³ nπ ´
Z
an = f (x)cos x dx (n ∈ N ∪ {0}); (15)
L 0 L
1 2L ³ nπ ´
Z
bn = f (x)sen x dx (n ∈ N). (16)
L 0 L

24
As fórmula para os coeficientes das séries de Fourier x

Observamos também que nas fórmulas acima deduzidas podemos

substituir o intervalo de integração [0, 2L] por qualquer outro intervalo de
mesmo comprimento. Uma opção particularmente interessante é o
intervalo [−L, +L]. Nesse caso, a série completa de Fourier da função
f : [−L, +L] → R estendida à reta real como função 2L-periódica é

a0 +∞
X ³ nπ ´ +∞X ³ nπ ´
f (x) = + an cos x + bn sen x (17)
2 n=1 L n=1 L

em que os coeficientes de Euler-Fourier são determinados pelas fórmulas

1 +L
Z ³ nπ ´
an = f (x)cos x dx (n ∈ N ∪ {0}); (18)
L −L L
1
Z +L ³ nπ ´
bn = f (x)sen x dx (n ∈ N). (19)
L −L L

25
Sumário

Introdução às séries de Fourier

Representação de funções por séries de Fourier

Teorema sobre a convergência das séries de Fourier

Teorema sobre a integração e derivação das séries de Fourier

Exemplos e exercícios

26
Teorema sobre a convergência das séries de Fourier i

Teorema sobre a convergência das séries de Fourier

Seja f : [−L, +L] → R uma função 2L periódica, contínua por partes e
limitada. Seja a série completa de Fourier dessa função,

a0 +∞
X ³ nπ ´ +∞X ³ nπ ´
f (x) = + an cos x + bn sen x (20)
2 n=1 L n=1 L

em que os coeficientes de Euler-Fourier são determinados pelas fórmulas

1
Z +L ³ nπ ´ 1
Z +L ³ nπ ´
an = f (x)cos x dx bn = f (x)sen x dx . (21)
L −L L L −L L

Então a série de Fourier de f converge em todos os pontos: a soma

S[f ](x) da série de Fourier é igual à própria função f (x) nos pontos x
de continuidade. E a soma S[f ](x) da série de Fourier é igual à média
aritmética [f (x − ) + f (x + )]/2 nos pontos x de descontinuidade.

27
Sumário

Introdução às séries de Fourier

Representação de funções por séries de Fourier

Teorema sobre a convergência das séries de Fourier

Teorema sobre a integração e derivação das séries de Fourier

Exemplos e exercícios

28
Teorema sobre a integração das séries de Fourier i

Teorema sobre a integração das séries de Fourier

Seja f : [−L, +L] → R uma função 2L periódica, contínua por partes e
limitada, com série de Fourier

a0 +∞
X ³ nπ ´ +∞X ³ nπ ´
f (x) = + an cos x + bn sen x . (22)
2 n=1 L n=1 L

Então a série de Fourier da primitiva de f (x), denotada por

F (x) = 0x f (s) ds é dada por integração termo a termo da série de
R

Fourier de f (x),
Z x
F (x) = f (s) ds
0
a0 +∞
X an L ³ nπ ´ +∞X bn L ³ ³ nπ ´ ´
= x+ sen x − cos x −1 . (23)
2 n=1 nπ L n=1 nπ L

29
Teorema sobre a derivação das séries de Fourier i

Teorema sobre a derivação das séries de Fourier

Seja f : [−L, +L] → R uma função 2L periódica, contínua por partes,
limitada e com apenas uma quantidade finita de máximos e mínimos
em [−L, +l], com série de Fourier

a0 +∞
X ³ nπ ´ +∞X ³ nπ ´
f (x) = + an cos x + bn sen x . (24)
2 n=1 L n=1 L

Então a série de Fourier da derivada de f (x), F ′ (x), é dada por

derivação termo a termo da série de Fourier de f (x),
+∞ nπan ³ nπ ´ +∞X nπbn ³ nπ ´
f ′ (x) = −
X
sen x + cos x . (25)
n=1 L L n=1 L L

30
Sumário

Introdução às séries de Fourier

Representação de funções por séries de Fourier

Teorema sobre a convergência das séries de Fourier

Teorema sobre a integração e derivação das séries de Fourier

Exemplos e exercícios

31
Exemplo

Exemplo

Determinar a série de Fourier da extensão 2π-periódica da função

f : [−π, +π] → R definida por

f (x) = x .

32
Solução i

Como a função f é definida no intervalo [−π, +π], usamos as

fórmulas (18) e (19) para os coeficientes de Fourier com o valor L = π.
Calculamos separadamente o coeficiente a0 através da fórmula (18) com
n = 0,
1 +π 0π
Z µ ¶
a0 = f (x)cos x dx
π −π π
1
Z +π
= f (x) dx
π −π
à ! ¯+π
1 +π 1 x2
Z ¯
= x dx =
¯
π π 2
¯
−π ¯
−π
à !
1 π2 π2
= −
π 2 2
= 0.

33
Solução ii

Também calculamos os coeficientes an pela fórmula (18) para n ∈ N,

1
Z +π ³ nπ ´
an = f (x)cos x dx
π −π π
1
Z +π
= x cos(nx) dx
π −π
½ ¾
u = x; dv = cos(nx)
R dx R
du = dx ; v = dv = cos(nx) dx = sen(nx)/n
à ¯+π !
1sen(nx) ¯¯
Z +π sen(nx)
= x − dx
π
¯
n ¯ −π n
−π
à ¯+π ¯+π !
1sen(nx) ¯¯ cos(nx) ¯¯
= x +
π n2 ¯
¯ ¯
n ¯
−π −π
1 sen(n · (+π)) sen(n(−π)) cos(n · (+π)) cos(n(−π))
µµ ¶ µ ¶
= +π − (−π) + −
π n n n2 n2
(−1) n (−1) n
1
µ µ ¶¶
= (0 + 0) + −
π n2 n2
34
Solução iii

=0 (n ∈ N).

35
Solução iv

Também calculamos os coeficientes bn através da fórmula (19) para

n ∈ N,
1
Z +π ³ nπ ´
bn = f (x)sen x dx
π −π π
1
Z +π
= x sen(nx) dx
π −π
½ ¾
u = x; dv = sen(nx)
R dx R
du = dx ; v = dv = sen(nx) dx = − cos(nx)/n
à ¯+π !
1 cos(nx) ¯¯
Z +π cos(nx)
= −x − − dx
π
¯
n ¯ −π n
−π
à ¯+π ¯+π !
1 cos(nx) ¯¯ sen(nx) ¯¯
= −x +
π n2 ¯
¯ ¯
n ¯
−π −π
1 cos(n · (+π)) cos(n(−π)) sen(n · (+π)) sen(n(−π
µµ ¶ µ
= −(+π) + (−π) + −
π n n2 n n2

36
Solução v
1 (−1)n (−1)n
µµ ¶ ¶
= −π −π + (0 − 0)
π n n
2π(−1)n+1
=
πn
2(−1)n+1
= (n ∈ N).
n

37
Solução vi

Finalmente, a representação em série de Fourier da função f é

a0 +∞
X +∞
X
f (x) = + an cos(nx) + bn sen(nx)
2 n=1 n=1
a +∞ +∞
0 X X
= + a
n cos(nx) + bn sen(nx)
2 n=1

n=1
+∞
X 2(−1)n+1
= sen(nx)
n=1 n
+∞
X (−1)n+1 sen(nx)
=2
n=1 n
à !
sen(x) sen(2x) sen(3x) sen(4x) (−1)n+1 sen(nx)
=2 − + − +···+ +···
1 2 3 4 n

38
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por

f (x) = x e sua aproximação com 4 harmônicos.

39
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por

f (x) = x e sua aproximação com 8 harmônicos.

40
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por

f (x) = x e sua aproximação com 16 harmônicos.

41
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por

f (x) = x e sua aproximação com 32 harmônicos.

42
Exemplo

Exemplo

Determinar a série de Fourier da extensão 2π-periódica da função

f : [−π, +π] → R definida por

x , se −π < x < 0;
f (x) =
h, se 0 < x < +π;

em que h é uma constante arbitrária.

43
Solução i

Como a função f é definida no intervalo [−π, +π], usamos as

fórmulas (18) e (19) para os coeficientes de Fourier com o valor L = π.
Calculamos
1 +π 0π
Z µ ¶
a0 = f (x)cos x dx
π −π π
1
Z +π
= f (x) dx
π −π
µZ 0 +π
1
Z ¶
= x dx + h dx
π −π 0
¯0 ¯+π 
1 ¯ x2 ¯ ¯
= ¯ + hx ¯ 
¯
π 2 ¯ ¯
−π 0
à !
1 π 2
= − + hπ
π 2
π
= − + h.
2
44
Solução ii

Também calculamos
1
Z +π ³ nπ ´
an = f (x)cos x dx
π −π π
µZ 0 +π
1
Z ¶
= x cos(nx) dx + h cos(nx) dx
π −π 0
½ ¾
u = x; dv = cos(nx)
R dx R
du = dx ; v = dv = cos(nx) dx = sen(nx)/n
 ¯0 Z 0

1 sen(nx) ¯¯ sen(nx)
Z +π
= x − dx + h cos(nx) dx 
π
¯
n ¯ −π n 0
−π
 ¯0 ¯0 ¯+π 
1 sen(nx) ¯¯ cos(nx) ¯¯ sen(nx) ¯¯
= x + +h 
π n2 ¯
¯ ¯ ¯
n ¯ n ¯
−π −π 0
1 sen(n · 0) sen(n(−π)) cos(n · 0) cos(n(−π))
µµ ¶ µ ¶
= 0 − (−π) + −
π n n n2 n2

45
Solução iii
sen(nπ) sen(n · 0)
µ ¶¶
+ h −h
n n
1 1 (−1)n
µ µ ¶ ¶
= (0 + 0) + 2 − 2 + (0 − 0)
π n n
1
= (1 − (−1)n ) (n ∈ N).
πn 2

46
Solução iv

Também calculamos
1
Z +π ³ nπ ´
bn = f (x)sen x dx
π −π π
µZ 0 +π
1
Z ¶
= x sen(nx) dx + h sen(nx) dx
π −π 0
½ ¾
u = x; dv = sen(nx)
R dx R
du = dx ; v = dv = sen(nx) dx = − cos(nx)/n
 ¯0 Z 0

1cos(nx) ¯¯ cos(nx) +π Z
= −x − − dx + h sen(nx) dx 
π
¯
n ¯ −π n 0
−π
 ¯0 ¯0 ¯+π 
1cos(nx) ¯¯ sen(nx) ¯¯ cos(nx) ¯¯
= −x + −h 
π n2 ¯
¯ ¯ ¯
n ¯ n ¯
−π −π 0
1 cos(n · 0) cos(n(−π)) sen(n · 0) sen(n(−π))
µµ ¶ µ ¶
= −0 + (−π) + −
π n n 2 2 n n

47
Solução v
cos(nπ) cos(n · 0)
µ ¶¶
+ −h +h
n n
ÃÃ ! Ã !!
1 (−1)n+1 π (−1)n+1 h h
= 0+ + (0 − 0) + +
π n n n
1 ³ ´
= h + (−1)n+1 (h + π) (n ∈ N).
πn

Finalmente, a representação em série de Fourier da função f é

a0 +∞
X +∞
X
f (x) = + an cos(nx) + bn sen(nx)
2 n=1 n=1
h π X (1 + (−1)n+1 )
+∞
µ ¶
= − + cos(nx)
2 4 n=1 πn 2
+∞
X (h + (−1)n+1 (h + π))
+ sen(nx) .
n=1 πn

48
Exercício

Exercício
Desenvolver em série de Fourier, no intervalo [−π, +π], a função abaixo
indicada. Em seguida, determinar a soma da série nos pontos de
descontinuidade e nos extremos do intervalo [−π, +π]. Construir o
gráfico da própria função dada e de sua série de Fourier, dentro e fora
do intervalo (−π, +π):

−x , se −π É x É 0;
f (x) =
+x , se 0 < x É +π.

49
Resposta

A série de Fourier é
π 4 +∞
X 1
f (x) = − cos((2n + 1)x)
π n=0 (2n + 1)2
2
π 4 cos(x) cos(3x) cos(5x) cos((2n + 1)x)
µ ¶
= − + + + +···+ +··· .
2 π 12 32 52 (2n + 1)2

A série converge em todos os pontos e a soma da série é igual à função

dada.

50
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por

f (x) = |x | e sua aproximação com 1 harmônico.

51
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por

f (x) = |x | e sua aproximação com 2 harmônicos.

52
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por

f (x) = |x | e sua aproximação com 3 harmônicos.

53
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por

f (x) = |x | e sua aproximação com 4 harmônicos.

54
Exercício

Exercício
Desenvolver em série de Fourier, no intervalo [−π, +π], a função abaixo
indicada. Em seguida, determinar a soma da série nos pontos de
descontinuidade e nos extremos do intervalo [−π, +π]. Construir o
gráfico da própria função dada e de sua série de Fourier, dentro e fora
do intervalo (−π, +π):

−1, se −π É x É 0;
f (x) =
+1, se 0 < x É +π.

55
Resposta

A série de Fourier é
4 +∞
X 1
f (x) = + sen((2n + 1)x)
π n=0 (2n + 1)
4 sen(x) sen(3x) sen(5x) sen((2n + 1)x)
µ ¶
=+ + + + +···+ +··· .
π 1 3 5 (2n + 1)

A série converge em todos os pontos e a soma da série é igual à função

dada, exceto nos pontos de descontinuidade.

56
57
58
59
60
61
Exercício

Exercício
Desenvolver em série de Fourier, no intervalo [−π, +π], a função abaixo
indicada. Em seguida, determinar a soma da série nos pontos de
descontinuidade e nos extremos do intervalo [−π, +π]. Construir o
gráfico da própria função dada e de sua série de Fourier, dentro e fora
do intervalo (−π, +π):

c ,
1 se −π < x É 0;
f (x) =
c ,
2 se 0 < x < +π.

62
Resposta

A série de Fourier é
c1 + c2 2(c1 − c2 ) +∞
X 1
f (x) = − sen((2n + 1)x);
2 π n=0 2n + 1

A soma da série nos pontos de descontinuidade é

c1 + c2
S[f ](0) = ;
2
c1 + c2
S[f ](−π) = ;
2
c1 + c2
S[f ](+π) = .
2

63
Exercício

Exercício
Desenvolver em série de Fourier, no intervalo [−π, +π], a função abaixo
indicada. Em seguida, determinar a soma da série nos pontos de
descontinuidade e nos extremos do intervalo [−π, +π]. Construir o
gráfico da própria função dada e de sua série de Fourier, dentro e fora
do intervalo (−π, +π):

f (x) = x 2 .

64
Resposta i

Os coeficientes de Euler-Fourier são

2π 2
a0 = ;
3
4

4(−1)n + 2 ,

 para n par
an = = n
n2 4
para n ímpar.

− ,

n2
bn = 0.

A série de Fourier é
π2 +∞ 4(−1)n
f (x) = x 2 =
X
+ cos(nx)
3 n=0 n2
π2 cos(1x) cos(2x) cos(3x) (−1)n cos(nx)
µ ¶
= +4 − 2
+ 2
− 2
+ · · · + 2
+ · · ·
3 1 2 3 n

65
Resposta ii

A série converge em todos os pontos e a soma da série é igual à função

dada.
Em particular, se substituímos x = π na equação obtemos

π2 +∞
1
X
=
6 n=1 n2
1 1 1 1 1
= 2 + 2 + 2 + 2 +···+ 2 +···
1 2 3 4 n

66
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por

f (x) = x 2 e sua aproximação com 1 harmônico.

67
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por

f (x) = x 2 e sua aproximação com 4 harmônicos.

68
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por

f (x) = x 2 e sua aproximação com 8 harmônicos.

69
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por

f (x) = x 2 e sua aproximação com 32 harmônicos.

70
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por

f (x) = x 2 e sua aproximação com 64 harmônicos.

71
Exercício

Exercício
Desenvolver em série de Fourier, no intervalo [−π, +π], a função abaixo
indicada. Em seguida, determinar a soma da série nos pontos de
descontinuidade e nos extremos do intervalo [−π, +π]. Construir o
gráfico da própria função dada e de sua série de Fourier, dentro e fora
do intervalo (−π, +π):

0, para −π < x É 0
f (x) =
x , para 0 < x É +π.

72
Resposta i

Os coeficientes de Euler-Fourier são

π
a0 = ;
2
 2 ¯+π
1 cos(nx) ¯¯ − , para n ímpar
an = = πn 2
nπ
¯
n ¯ 
0, para n par.
0
1

+ , para n ímpar

π

bn = − cos(nπ) = n .
nπ  1
− , para n par.

n
A série de Fourier é
π 2
cos(1x) cos(3x) cos(5x) cos((2n + 1)x)
µ ¶
f (x) = − + + + + · · · + + · · ·
4 π 12 32 52 (2n + 1)2
sen(1x) sen(2x) sen(3x) sen(nx)
µ ¶
+ + − + − · · · + (−1)n+1 +··· .
1 2 3 n
73
Resposta ii

A série converge para f (x) nos pontos de continuidade de f ; e converge

para a média dos limites laterais nos pontos de descontinuidade (que
nesse caso é o número π/2).
Em particular, se substituímos x = 0 na equação obtemos

π2 +∞
X 1
=
8 n=1 (2n − 1)2
1 1 1 1 1
= 2 + 2 + 2 + 2 +···+ +···
1 3 5 7 (2n − 1)2

74
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por f (x) = 0

para −π < x É 0 e f (x) = x para 0 < x É +π e sua aproximação com 1
harmônico.

75
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por f (x) = 0

para −π < x É 0 e f (x) = x para 0 < x É +π e sua aproximação com 2
harmônicos.

76
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por f (x) = 0

para −π < x É 0 e f (x) = x para 0 < x É +π e sua aproximação com 4
harmônicos.

77
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por f (x) = 0

para −π < x É 0 e f (x) = x para 0 < x É +π e sua aproximação com 8
harmônicos.

78
Gráficos de f (x) e de algumas de suas aproximações

Gráfico da extensão 2π-periódica de f : [−π, +π] → R definida por f (x) = 0

para −π < x É 0 e f (x) = x para 0 < x É +π e sua aproximação com 32
harmônicos.

79
Perguntas? Dúvidas?

79