pdf: ver caderno
Começo por considerar sistemas de funções ortogonais para desenvolver a questão da representação de uma função em série do tipo
em que são precisamente funções ortogonais em .
Chamam-se funções ortogonais às funções [complexas de variável real] que satisfazem as seguintes condições:
Revestem-se de grande interesse nas aplicações as funções do tipo e .
Chama-se norma de um sistema de funções ortogonais a
.
Um sistema ortogonal diz-se ortonormado se a sua norma for igual à unidade: .
Exemplo 1: definida em .
.
Consideremos uma função de variável real
e as seguintes hipóteses:
-
a série converge;
-
converge para
Multiplicando a série por vem
e
porque pode trocar-se a ordem de e , se admitirmos a convergência uniforme da série no intervalo . Assim,
,
ou seja,
Aos coeficientes chamam-se os coeficientes de Fourier. À série chama-se série de Fourier relativa ao conjunto de funções ortogonais .
NOTA: esta dedução não é rigorosa!
Consideremos uma função de quadrado integrável no intervalo . Vamos aproximar por uma expressão da forma
Seja o erro quadrático médio. Vamos impor que seja mínimo.
o que é o mesmo que
.
DEDUÇÃO:
Dados dois complexos e , verifica-se
.
Assim, tem-se
,
e
donde vai resultar
,
ou seja, a fórmula acima que se repete:
.
Os termos
são independentes de . Para minimizar deve ter-se
que é equivalente a
ou a
Vimos então que os coeficientes da série de Fourier minimizam o erro quadrado médio.
Fazendo tender para infinito, no limite tem-se a desigualdade de Bessel
.
Se o sistema for ortonormado, , e
Para as funções de quadrado integrável, a série
converge. A seguinte igualdade verifica-se, se e só se, o erro quadrático médio for nulo; então, será
e o sistema de funções é completo. Então
.
Nestas condiçoes, diz-se que a série de Fourier converge em média para , mas a convergência não é necessariamente uniforme. Por definição uma série converge uniformemente para uma função quando simbolicamente se verificar
Para cada , existe um inteiro tal que, implica , para todo o no intervalo . O facto essencial é que é independente de Normalmente dependeria de
PS. Fiz ligeiras correcções nas fórmulas e no texto, a última em 10-6-2008.
Actualização de 18-11-2008: mais algumas correcções nas fórmulas e no texto e inclusão da versão em pdf.
Continua em Séries de Fourier 2 – Relação de Parseval.