Algumas Aplicações das Séries de Fourier

Séries de Fourier Um número importante de problemas em física ou engenharia envolvem

equações diferenciais. Muitas vezes para resolver essas equações diferenciais precisa-se
expressar uma função dada como uma série infinita de senos e/ou cossenos. Essas séries
trigonométricas são chamadas séries de Fourier. Neste capítulo, apresenta-se em forma
introdutória as séries de Fourier. A aplicação dessas séries na solução de equações diferenciais
será apresentado nos capítulos seguintes. Considere-se a série trigonométrica a0 2 + X∞ n=1 h
an cos nπx L + bn sen nπx L i (2.1) Para determinar que funções podem ser representadas
pela série (2.1), bem como para obter os coeficientes da série da função quando isso ocorrer,
precisamos antes estudar algumas propriedades das funções cos(nπx/L) e sen(nπx/L), que
aparecem na série (2.1). 2.1 Propriedades das funções seno e cosseno 2.1.1 Periodicidade
Definição 2.1. Seja uma função f : R → R , dizemos que é periódica de período T > 0 se seu
domínio contém x + T e f(x + T) = f(x) (2.2) para todo x ∈ R. Segue imediatamente da definição
2.1 f(x) = f(x + T) = f(x + 2T) = · · · = f(x + nT). Logo, se f é periódica de período T , então f é periódica
de período nT para qualquer inteiro n > 0. Assim se existir o período para uma função, ele não é
único. Exemplo 2.1. As funções cos(x) e sen(x), tem períodos 2π, 4π, 6π, . . . O mais interessante
é determinar o menor período de uma função, como segue a definição. 9 Propriedades das
funções seno e cosseno 10 Definição 2.2. O menor valor de T que satisfaz a equação (2.2), é
chamado de período fundamental de f. Em geral, o período fundamental de uma função
periódica é citada simplesmente como sendo o período da função. Exemplo 2.2. (i) As funções
cos(x) e sen(x) tem como período fundamental T = 2π. (ii) Uma função constante pode ser
considerada periódica com qualquer período, mas não tem período fundamental No que segue,
discutimos a periodicidade das funções que constituem a série (2.1). Para isso precisamos das
seguintes proposições. Proposição 2.1. Se f é periódica de período T e a > 0, então f(ax) é
periódica de período T/a. Demonstração. Suponha que T˜ é o período de f(ax), da definição (2.1);
f(ax) = f(a(x + T˜)) = f(ax + aT˜) Logo , desde que f é periódica de período T, concluímos que: aT˜
= T ou T˜ = T a Proposição 2.2. Se f1 e f2 são duas funções periódicas com período comum T,
então qualquer combinação linear c1f1 + c2f2 também é periódica de período T. Demonstração.
Seja f(x) = c1f1(x) + c2f2(x), então para qualquer x. f(x + T) = c1f1(x + T) + c2f2(x + T) = c1f1(x) +
c2f2(x) = f(x) . Como consequência da proposição (2.1), as funções cos(nπx/L) e sen(nπx/L), n =
1, 2, 3, . . . , são periódicas com período fundamental T = 2L/n. Portanto, como todo múltiplo
inteiro de um período também é um período, cada uma das funções cos(nπx/L) e sen(nπx/L),
tem período comum 2L. Por outro lado, segue da proposição 2.2, que a função fn(x) = An cos
nπx L + Bn sen nπx L (2.3) também é periódica de período 2L para cada n = 0, 1, 2, 3, . . . A
seguinte proposição é uma generalização da proposição 2.2. Propriedades das funções seno e
cosseno 11 Proposição 2.3. Seja fn dada por (2.3), então c0f0 + c1f1 + ... + cnfn é periódica de
período 2L. Desta última proposição, temos que a função f(x) = X N n=0 cnfn(x) (2.4) é periódica
de período 2L. Reescrevendo (2.4), obtemos a expressão f(x) = c0f0(x) +X N n=1 cnfn(x) = c0a0 +
X N n=1 cn h An cos nπx L + Bn sen nπx L i = a0 2 + X N n=1 h an cos nπx L + bn sen nπx
L i onde c0a0 = a0/2, cnAn = an e cnBn = bn. A escolha de uma constante a0/2 em vez de a0
tornará as fórmulas mais fáceis de lembrar. Além disto, pode-se mostrar que se a série infinita
a0 2 + X∞ n=1 h an cos nπx L + bn sen nπx L i na qual consiste de funções periódicas de
período 2L, convergir para todo x, então a função a qual ela converge será periódica de periódica
2L. 2.1.2 Ortogonalidade As relações de ortogonalidade que serão apresentadas, são uma
segunda propriedade essencial das funções cos(nπx/L) e sen(nπx/L). Proposição 2.4. (Relações
de ortogonalidade) Sejam m,n inteiros positivos, então valem as seguintes relações Z L −L cos
mπx L cos nπx L dx = 0, m 6= n L, m = n (2.5) Z L −L cos mπx L sen nπx L dx = 0, ∀m,
n (2.6) Z L −L sen mπx L sen nπx L dx = 0, m 6= n L, m = n (2.7) Propriedades das funções
seno e cosseno 12 Demonstração. Estas relações podem ser obtidas através de integração direta
e uso de identidades trigonométricas. Por exemplo para demonstrar (2.5), para m 6= n,
utilizaremos a seguinte identidade trigonométrica cos mπx L cos nπx L = 1 2 cos (m −
n)πx L + cos (m + n)πx L Logo, integrando a identidade, obtemos Z L −L cos mπx L cos nπx
L dx = 1 2 Z L −L cos (m − n)πx L dx + 1 2 Z L −L cos (m + n)πx L dx Resolvendo cada
integral à direita, conseguimos 1 2 Z L −L cos (m − n)πx L dx = L 2π(m − n) sen (m − n)πx L
x=L x=−L = 0 1 2 Z L −L cos (m + n)πx L dx = L 2π(m + n) sen (m + n)πx L

x=L x=−L = 0 Assim temos que; Z L −L cos mπx L cos nπx L dx = 0 para m 6= n Mas para
m = n, Z L −L cos mπx L cos mπx L dx = L + " L 2mπ sen 2mπx L

x=L x=−L # = L Portanto Z L −L cos mπx L cos mπx L dx = L Para (2.6) utilizaremos a
seguinte relação trigonométrica cos mπx L sen nπx L = 1 2 sen (m + n)πx L − sen (m
− n)πx L Integrando, Z L −L cos mπx L sen nπx L dx = 1 2 Z L −L sen (m + n)πx L dx −
1 2 Z L −L sen (m − n)πx L dx É evidente que ao resolver as duas integrais do lado direito seu
valor é zero para qualquer m, n. Já para a relação de ortogonalidade (2.7) o processo pode ser
facilmente verificado por cálculos análogos a relação (2.5), utilizando a relação trigonométrica
referente a senos. Coeficientes de Fourier 13 2.2 Coeficientes de Fourier Supondo agora, que
uma série trigonométrica da forma (2.1), converge e vamos chamar essa soma de f(x). Isto é, f(x)
= a0 2 + X∞ m=1 h am cos mπx L + bm sen mπx L i (2.8) Sabe-se da proposição (2.3) que a
função f(x) é periódica com período 2L (apenas para a soma finita). O objetivo nesta seção é
encontrar a relação entre os coeficientes a0, am e bm, e a função f(x). Para isto, supondo que
cada termo de (2.8) possa ser integrado em um intervalo (−L, L), se prosseguirá da seguinte
maneira Z L −L f(x)dx = Z L −L a0 2 dx + X∞ m=1 h am Z L −L cos mπx L dx + bm Z L −L sen mπx
L dxi = a0L pois cada integral envolvendo uma função trigonométrica é zero. Assim sendo, a0
= 1 L Z L −L f(x)dx (2.9) Agora será calculado o coeficiente am, quando m ≥ 1, multiplicando (2.8)
por cos(nπx/L), onde n é um inteiro positivo fixo. Integrando temos, Z L −L f(x) cos nπx L dx =
a0 2 Z L −L cos nπx L dx + X∞ m=1 am Z L −L cos mπx L cos nπx L dx + X∞ m=1 bm Z L
−L sen mπx L cos nπx L dx Segue das relações de ortogonalidade (2.5),(2.6) e (2.7) Z L −L
f(x) cos nπx L dx = anL n = 1, 2, 3, . . . Por fim, temos uma fórmula para o coeficiente an, como
segue: an = 1 L Z L −L f(x) cos nπx L dx (2.10) De modo semelhante, multiplicando (2.8) por
sen(nπx/L) e integrando-o, encontramos Z L −L f(x) sen nπx L dx = bnL n = 1, 2, 3, ... De modo
que a equação para encontrar o valor de bn, fica, bn = 1 L Z L −L f(x) sen nπx L dx (2.11)
Portanto se a série (2.1) converge para f e se a série pode ser integrada termo a termo, então os
coeficientes a0, an e bn têm que ser dados pelas equações (2.9), (2.10) e (2.11) respectivamente.
Motivados pelos cálculos anteriores, agora temos a seguinte definição. Coeficientes de Fourier
14 Definição 2.3. Seja f : R → R uma função periódica de período 2L tal que as seguintes integrais
existam a0 = 1 L Z L −L f(x)dx (2.12) an = 1 L Z L −L f(x) cos nπx L dx (2.13) bn = 1 L Z L −L f(x)
sen nπx L dx (2.14) para n = 1, 2, 3, . . . Os números an, para n ≥ 0, e bn, para n ≥ 1, são
definidas como coeficientes de Fourier da função f. A série trigonométrica construída por meio
destes coeficientes f(x) ∼ a0 2 + X∞ n=1 h an cos nπx L + bn sen nπx L i (2.15) é definida
como a série de Fourier de f. O símbolo ∼ usado em (2.15) é para lembrar que esta série está
associada a f, mas pode não convergir para f. Exemplo 2.3. Considere-se o problema de
determinar a série de Fourier da seguinte função f(x) = 0, −π < x < 0 x, 0 < x < π f(x + 2π) =
f(x) Note que esta função é periódica com período 2π, então neste caso, L = π e a série de Fourier
da função f tem a forma f(x) ∼ a0 2 + X∞ n=1 h an cos(nx) + bn sen(nx) i (2.16) onde seus
coeficientes são obtidos pelas equações (2.12), (2.13) e (2.14), com L = π. Substituindo f em
(2.12), vem a0 = 1 π Z 0 −π (0)dx + 1 π Z π 0 xdx = 1 π x 2 2
 π 0 = 1 π π 2 2 − 0 = π 2 (2.17) Para n > 0, a equação (2.13), nos dá an = 1 π Z 0 −π (0)dx +
1 π Z π 0 x cos nπx π dx = 1 π Z π 0 x cos(nx)dx Resolvendo a integral por meio de integração
por partes, chegamos em an = 1 π cos(nπ) − 1 n2 = 1 πn2 [(−1)n − 1] (2.18) Coeficientes de
Fourier 15 Por fim da equação (2.14), decorre bn = 1 π Z 0 −π (0)dx + 1 π Z π 0 x sen(nx)dx = 1 π
− cos(nπ)nπ n2 = − cos(nπ) n = (−1)n+1 n (2.19) Uma vez calculados os coeficientes,
substituímos os resultados obtidos de (2.17),(2.18) e (2.19), na série (2.16), por fim temos a série
de Fourier de f f(x) ∼ π 4 + X∞ n=1 h 1 πn2 [(−1)n − 1] cos(nx) + (−1)n+1 n sen(nx) i ou
equivalentemente f(x) ∼ π 4 − 2 π cos(x) − 2 9π cos(3x) − 2 25π cos(5x) + . . . + sen(x) − 1 2 sen(2x)
+ 1 3 sen(3x) + . . . (2.20) Algumas somas parciais dessa série aparecem na figura1 abaixo Figura
2.1: Somas parciais da série de Fourier (2.20) Exemplo 2.4. Determinar a série de Fourier da
função f(x) = −1, −π < x < 0 1, 0 < x < π f(x + 2π) = f(x) 1O gráfico da figura foi feito no
software Maple2015, os procedimentos realizados pode ser visto no apêndice A.1 Coeficientes
de Fourier 16