Definicin de serie de Fourier

Sea f(x) es una funcin compleja (i es la unidad imaginaria) peridica con perodo 2, valuada en dominio de los nmeros reales, y es cuadrado-integrable sobre el intervalo - a :

Entonces la representacin en serie de Fourier de f(x) viene dada por:

Por la identidad de Euler (ei n x= cos(nx)+i sin(nx)) Esto es equivalente a representar f(x) como una combinacin lineal infinita de funciones de la forma cos(nx) y sin(nx); es decir:

donde an y bn se denominan coeficientes de Fourier:

Estos coeficientes tienen la propiedad de tender a 0 cuando la cantidad de armnicas aumenta:

[editar]

Convergencia de series de Fourier

Mientras que esos coeficientes an y bn pueden ser definidos formalmente para cualquier funcin para la cual las integrales tengan sentido, el que las series que quedan as definidas converjan realmente a f(x) depende de las propiedades de f. Una respuesta parcial es que si f es cuadrado-integrable entonces

(o sea, convergencia en norma en el espacio L2).

Esto se demostr en el siglo XIX, as como el hecho de que si f es continua a trozos entonces la serie converge en cada punto de continuidad. Quizs sorprendentemente, no se demostr hasta los aos 1960 que si f es cuadrticamente integrable entonces la serie converge para cada valor de x excepto aquellos en algn conjunto de medida cero. [editar]

Algunas consecuencias positivas de las propiedades de homomorfismo de exp

Debido a que las "funciones base" eikx son homomorfismos de la lnea real (ms concretamente, del "grupo del crculo") tenemos ciertas identidades tiles: 1. Si g(x) = f(x y) entonces 2. La transformada de Fourier es un morfismo: es, la transformada de Fourier de una convolucin es el producto de las transformadas de Fourier. -- esto