Transformada de Fourier En matemtica, la transformada de Fourier es una aplicacin que hace corresponder a una funcin f con valores complejos

y definida en la recta, otra funcin g definida de la manera siguiente:

Para que esta definicin tenga sentido, algunas condiciones tcnicas tienen que ser satisfechas por la funcin f, a saber, f tiene que ser una funcin integrable en el sentido de la integral de Lebesgue. El factor que acompaa la integral en definicin facilita el enunciado de algunos de los teoremas referentes a la transformada de Fourier. Aunque esta forma de normalizar la transformada de Fourier es la ms comnmente adoptada, no es universal. La transformada de Fourier as definida goza de una serie de propiedades de continuidad que garantizan que puede extenderse a espacios de funciones mayores y an a espacios de funciones generalizadas. La transformada de Fourier tiene una multitud de aplicaciones en muchas reas de la ciencia e ingeniera: la fsica, la teora de los nmeros, la combinatoria, el procesamiento de seales, la teora de la probabilidad, la estadstica, la ptica, la propagacin de ondas y otras reas. En procesamiento de seales la transformada de Fourier suele considerarse como la descomposicin de una seal en componentes de frecuencias diferentes. La rama de la matemtica que estudia la transformada de Fourier y sus generalizaciones es denominada anlisis armnico. Son varias las notaciones que se utilizan para la transformada de Fourier de f. H aqu algunas de ellas: .

Definicin formal Sea f una funcin compleja definida en la recta e integrable con respecto a la medida de Lebesgue, en smbolos,

La transformada de Fourier de f es la funcin

Esta integral tiene sentido, pues el integrando es una funcin integrable. Una estimativa simple demuestra que la transformada de Fourier F(f) es una funcin acotada. Adems por medio del teorema de convergencia dominada puede demostrarse que F(f) es continua. La transformada de Fourier inversa de una funcin integrable f est definida por:

Propiedades bsicas La transformada de Fourier es una aplicacin lineal:

Valen las siguientes propiedades para una funcin absolutamente integrable f: Cambio de escala:

Traslacin:

Traslacin en la variable transformada:

Transformada de la derivada: Si f y su derivada son integrables,

Derivada de la transformada: Si f y t f(t) son integrables, la trnasfoejrmada de Fourier F(f) es diferenciable

. En lo que sigue, definimos la convolucin de dos funciones f, g en la recta se define da la manera siguiente:

Nuevamente la presencia del factor delante de la integral simplifica el enunciado de los resultados come el que sigue: Si f y g son funciones absolutamente integrables, la convolucin tambin es integrable y vale la igualdad:

Tambin puede enunciarse un teorema anlogo para la convolucin en la variable transformada,

pero este exige cierto cuidado con el dominio de definicin de la transformada de Fourier. Teorema de inversin La idea del teorema de inversin es que dado una funcin f, la transformada de Fourier inversa aplicada a la transformada de Fourier de f resulta en la funcin original, en smbolos:

Sin embargo, el resultado formulado de esta forma no es vlido, porque el dominio de la transformada de Fourier como lo hemos definido en el primer prrafo de este artculo no es invariante, o sea que la transformada de Fourier de una funcin integrable no es necesariamente integrable. Para formular el teorema de inversin necesitamos encontrar espacios de funciones que sean invariantes bajo la transformada de Fourier. De hecho, hay numerosas posibilidades, la ms natural del punto de vista tcnico siendo el espacio de Schwartz de funciones rpidamente decrecientes. Sin embargo aqu tomamos un camino ms directo para formular un enunciado: Teorema. El espacio de funciones complejas f definidas en la recta tales que f y la transformada de Fourier de f sean integrables, es invariante tanto por la transformada de Fourier que por la transformada de Fourier inversa. Adems para una funcin f en este espacio, vale el teorema de inversin (1). Otra posibilidad para formular un teorema de inversin se fundamenta en el hecho de que la transformada de Fourier tiene muchas extensiones naturales. La transformada de Fourier en el espacio de Schwartz El espacio de Schwartz consiste de las funciones tomando valores complejos, definidas en R e infinitamente diferenciables tales que para todo m, n enteros no negativos

donde (n) es la n-sima derivada de . Denotamos al espacio de Schwartz por el smbolo . Teorema Tanto la transformada de Fourier como la transformada de Fourier inversa son aplicaciones lineales

Adems vale la frmula de inversin:

El espacio de Schwartz es invariante con respecto a los operadores diferenciales co coeficientes polinomiales, es decir de la forma

donde Pk son polinomios. Debido a las propiedades

la transformada de Fourier es una herramienta muy importante para el estudio de las ecuaciones diferenciales tanto para la teora que para su resolucin prctica.