Use o botão abaixo para reportar erros ou dar sugestões.
Análise de Fourier - Um Livro Colaborativo
3.2 Séries de Fourier
Definição 3.2.1.Seja ,definimos polinômio trigonométrico de grauumafunção do tipo:
(3.9)
onde .
Definição 3.2.2.Seja ,definimos série trigonométrica toda função do tipo:
(3.10)
onde .
Exemplo 3.2.1.Mostre que
é um período para séries e polinômios trigonométricos acima definidos.
Teorema 3.2.1 (Relações de ortogonalidade).As funções trigonométricasadmitem as seguintes relações de ortogonalidade:
aqui e são inteiros não negativos.
Demonstração. Para obter (3.11a), usamos a seguinte identidade
trigonométrica:
(3.12)
com
e ,
isto é:
(3.13)
Se ,
temos:
(3.14)
Se ,
temos:
(3.15)
Para obter (3.11b), usamos a seguinte identidade trigonométrica:
(3.16)
com
e ,
isto é:
(3.17)
Se ,
temos:
(3.18)
Se ,
temos: Caso ,
então ,
isto é:
(3.19)
Para obter (3.11c), usamos a seguinte identidade trigonométrica:
(3.20)
com
e ,
isto é:
(3.21)
E integrando conforme feito para os casos anteriores, temos o resultado.
Teorema 3.2.2.Seja uma função definida por uma série trigonométrica da forma
(3.22)
Então sob determinadas hipóteses de convergência, os coeficientesesãodados pelas seguintes expressões:
onde .
Demonstração.Multiplicamos a equação (3.22) por
e
obtemos
(3.24)
Seguimos integrando em
e temos:
Pelo teorema 3.2.1, se ,
as parcelas do lado direito são nulas. A única parcela não nula é aquela onde
. Supondo
,
temos:
(3.25)
onde obtemos a expressão (3.23b). Supondo
,
obtemos a expressão (3.23a). Um argumento análoga para calcular
.
Observação 3.2.1.Observe que como ,
a fórmula de
com
recai na fórmula para .
Definição 3.2.3.Seja uma função -periódicaintegrável em .Definimos como a série de Fourier associada àfunção ,a série trigonométrica cujos coeficientes são dados por (3.23).
Observe que a série de Fourier de uma função
não é necessariamente
igual a função .
De fato, não se pode se quer garantir que a série de Fourier associada a uma
função integrável seja convergente. Estas questões teóricas fogem do escopo
do nosso curso e são normalmente tratadas em cursos de análise matemática
(veja, por exemplo, [?], [?] e [?]).
Teorema 3.2.3.Seja umafunção periódica de período ,suave por partes e descontínua no máximo em um número finito de saltosdentro de cada intervalo, então a série de Fourier converge em cada pontopara
(3.26)
onde e sãoos limites laterais àdireita e àesquerda, respectivamente. Observe que nos pontosondeécontínua, entãoe a série de Fourierconverge para .
Exemplo 3.2.2. Seja
uma função dada por
Essa função é suave por partes e contínua em todos os pontos. Portanto se
aplica o teorema 3.2.3.
Observamos que essa é uma função par, ou seja,
. A
fim de explorar essa simetria, utilizaremos as fórmulas (3.23) envolvendo
integrais simétricas, isto é,
onde
e .
Logo,
onde se usou que ,
são funções
pares em e
é ímpar
em .
Assim, temos
(3.27)
Observe que, quando ,
obtemos como subproduto da série de Fourier da
a
soma da seguinte série numérica:
(3.28)
A figura 3.1 apresenta os gráficos da série que representa a função
com
um termo, dois termos e três termos.
Figura 3.1: Gráficos de
(azul),
(verde) e
(vermelho).
Exemplo 3.2.3. Seja
uma função dada por
Essa função é suave por partes e contínua em todos os pontos exceto por
saltos nos inteiros, onde a função vale a média aritmética dos limites laterais.
Portanto se aplica o teorema 3.2.3.
Observamos que essa é uma função ímpar, ou seja,
.
Novamente, utilizaremos as fórmulas (3.23) envolvendo integrais simétricas:
Logo,
(3.29)
A figura 3.2 apresenta os gráficos da série que representa a função
com
um termo, dois termos, três termos e quatro termos.
Figura 3.2: Gráficos de
(azul),
(verde),
(vermelho) e
(preto).
Exemplo 3.2.4.Seja
uma função dada por
Essa função é suave por partes e contínua exceto por salto nos inteiros onde
assume o valor médio dos limites laterais. Portanto se aplica o teorema 3.2.3.
Utilizaremos as fórmulas (3.23) envolvendo integrais no intervalo
, isto
é,
Logo,
(3.30)
Observação 3.2.2. Os coeficiente
da série de Fourier de uma função par são nulos bem como os coeficiente
da série de Fourier de uma função ímpar também o são.