Teorema de la inversión de Fourier

En matemáticas, el teorema de la inversión de Fourier dice que para muchos tipos de funciones es
posible recuperar una función a partir de su transformada de Fourier. Intuitivamente, puede verse como
la afirmación de que si se conoce toda la información relativa a la frecuencia y la fase de una onda,
entonces se puede reconstruir con precisión la onda original.[1]

El teorema dice que si se tiene una función {\displaystyle f:\mathbb {R} \rightarrow \mathbb {C} }
{\displaystyle f:\mathbb {R} \rightarrow \mathbb {C} } que satisface ciertas condiciones, y se usa la
convención de la transformada de Fourier según la que

{\displaystyle ({\mathcal {F}}f)(\xi ):=\int _{\mathbb {R} }e^{-2\pi iy\cdot \xi }\,f(y)\,dy,} {\displaystyle
({\mathcal {F}}f)(\xi ):=\int _{\mathbb {R} }e^{-2\pi iy\cdot \xi }\,f(y)\,dy,}

entonces

{\displaystyle f(x)=\int _{\mathbb {R} }e^{2\pi ix\cdot \xi }\,({\mathcal {F}}f)(\xi )\,d\xi .} {\displaystyle
f(x)=\int _{\mathbb {R} }e^{2\pi ix\cdot \xi }\,({\mathcal {F}}f)(\xi )\,d\xi .}

En otras palabras, el teorema dice que

{\displaystyle f(x)=\int _{\mathbb {R} }\int _{\mathbb {R} }e^{2\pi i(x-y)\cdot \xi }\,f(y)\,dy\,d\xi .}
{\displaystyle f(x)=\int _{\mathbb {R} }\int _{\mathbb {R} }e^{2\pi i(x-y)\cdot \xi }\,f(y)\,dy\,d\xi .}

Esta última ecuación se denomina teorema integral de Fourier.

Otra forma de establecer el teorema es observar que si {\displaystyle R} R es el operador de volcado, es

decir, {\displaystyle (Rf)(x):=f(-x)} {\displaystyle (Rf)(x):=f(-x)}, entonces

{\displaystyle {\mathcal {F}}^{-1}={\mathcal {F}}R=R{\mathcal {F}}.} {\displaystyle {\mathcal {F}}^{-

1}={\mathcal {F}}R=R{\mathcal {F}}.}

El teorema se cumple si tanto {\displaystyle f} f como su transformada de Fourier son absolutamente

integrables (en el sentido de la integral de Lebesgue) y {\displaystyle f} f es continua en el punto
{\displaystyle x} x. Sin embargo, incluso en condiciones más generales, se dispone de versiones del
teorema de la inversión de Fourier. En estos casos, las integrales anteriores pueden no tener sentido, o el
teorema puede ser válido para casi todos los {\displaystyle x} x en lugar de para todo {\displaystyle x} x.
[2]

Condiciones

Editar

En esta sección se supone que {\displaystyle f} f es una función continua integrable. Se usa la convención
para la transformada de Fourier por la que

{\displaystyle ({\mathcal {F}}f)(\xi ):=\int _{\mathbb {R} ^{n}}e^{-2\pi iy\cdot \xi }\,f(y)\,dy.} {\displaystyle
({\mathcal {F}}f)(\xi ):=\int _{\mathbb {R} ^{n}}e^{-2\pi iy\cdot \xi }\,f(y)\,dy.}

Además, se supone que la transformada de Fourier también es integrable.

Transformada de Fourier inversa como integral

Editar

La afirmación más común del teorema de inversión de Fourier es establecer la transformación inversa
como una integral. Para cualquier función integrable {\displaystyle g} g y todo el conjunto de
{\displaystyle x\in \mathbb {R} ^{n}} {\displaystyle x\in \mathbb {R} ^{n}}

{\displaystyle {\mathcal {F}}^{-1}g(x):=\int _{\mathbb {R} ^{n}}e^{2\pi ix\cdot \xi }\,g(\xi )\,d\xi .}
{\displaystyle {\mathcal {F}}^{-1}g(x):=\int _{\mathbb {R} ^{n}}e^{2\pi ix\cdot \xi }\,g(\xi )\,d\xi .}

Entonces, para todos los x∈ℝn se tiene que

{\displaystyle {\mathcal {F}}^{-1}({\mathcal {F}}g)(x)=g(x).} {\displaystyle {\mathcal {F}}^{-1}({\mathcal

{F}}g)(x)=g(x).}

Teorema integral de Fourier

Editar

El teorema se puede replantear como

{\displaystyle f(x)=\int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}e^{2\pi i(x-y)\cdot
\xi }\,f(y)\,dy\,d\xi .} {\displaystyle f(x)=\int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}e^{2\pi i(x-
y)\cdot \xi }\,f(y)\,dy\,d\xi .}

Si f tiene un valor real, al tomar la parte real de cada lado de la expresión anterior, se obtiene

{\displaystyle f(x)=\int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}\cos(2\pi (x-y)\cdot

\xi )\,f(y)\,dy\,d\xi .} {\displaystyle f(x)=\int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}\cos(2\pi (x-
y)\cdot \xi )\,f(y)\,dy\,d\xi .}

Transformada inversa en términos del operador de volcado

Editar

Para cualquier función {\displaystyle g} g se define el operador de volcado[nota 1] {\displaystyle R} R por

{\displaystyle Rg(x):=g(-x).} {\displaystyle Rg(x):=g(-x).}

Entonces, en su lugar, se puede definir

{\displaystyle {\mathcal {F}}^{-1}f:=R{\mathcal {F}}f={\mathcal {F}}Rf.} {\displaystyle {\mathcal {F}}^{-

1}f:=R{\mathcal {F}}f={\mathcal {F}}Rf.}

Es inmediato a partir de la definición de la transformada de Fourier y del operador de volcado que tanto
{\displaystyle R{\mathcal {F}}f} {\displaystyle R{\mathcal {F}}f} como {\displaystyle {\mathcal {F}}Rf}
{\displaystyle {\mathcal {F}}Rf} coinciden con la definición integral de {\displaystyle {\mathcal {F}}^{-1}f}
{\displaystyle {\mathcal {F}}^{-1}f}, y en particular son iguales entre sí y satisfacen {\displaystyle
{\mathcal {F}}^{-1}({\mathcal {F}}f)(x)=f(x)} {\displaystyle {\mathcal {F}}^{-1}({\mathcal {F}}f)(x)=f(x)}.

Teéngase en cuenta también que a partir de {\displaystyle Rf=R{\mathcal {F}}^{-1}{\mathcal

{F}}f=RR{\mathcal {FF}}f} {\displaystyle Rf=R{\mathcal {F}}^{-1}{\mathcal {F}}f=RR{\mathcal {FF}}f} se
tiene que {\displaystyle R={\mathcal {F}}^{2}} {\displaystyle R={\mathcal {F}}^{2}} y

{\displaystyle {\mathcal {F}}^{-1}={\mathcal {F}}^{3}.} {\displaystyle {\mathcal {F}}^{-1}={\mathcal

{F}}^{3}.}
Inverso de dos lados

Editar

La forma del teorema de inversión de Fourier indicado anteriormente, como es común, adopta la forma

{\displaystyle {\mathcal {F}}^{-1}({\mathcal {F}}f)(x)=f(x).} {\displaystyle {\mathcal {F}}^{-1}({\mathcal

{F}}f)(x)=f(x).}

En otras palabras, {\displaystyle {\mathcal {F}}^{-1}} {\displaystyle {\mathcal {F}}^{-1}} es un inverso hacia
la izquierda para la transformada de Fourier. Sin embargo, también es un inverso hacia la derecha para la
transformada de Fourier, es decir

{\displaystyle {\mathcal {F}}({\mathcal {F}}^{-1}f)(\xi )=f(\xi ).} {\displaystyle {\mathcal {F}}({\mathcal

{F}}^{-1}f)(\xi )=f(\xi ).}

Como {\displaystyle {\mathcal {F}}^{-1}} {\displaystyle {\mathcal {F}}^{-1}} es muy similar a {\displaystyle
{\mathcal {F}}} \mathcal{F}, esto se deduce muy fácilmente del teorema de la inversión de Fourier
(variables intercambiables {\displaystyle \zeta :=-\zeta } {\displaystyle \zeta :=-\zeta }):

{\displaystyle {\begin{aligned}f&={\mathcal {F}}^{-1}({\mathcal {F}}f)(x)\\&=\int _{\mathbb {R} ^{n}}\int

_{\mathbb {R} ^{n}}e^{2\pi ix\cdot \xi }\,e^{-2\pi iy\cdot \xi }\,f(y)\,dy\,d\xi \\&=\int _{\mathbb {R}
^{n}}\int _{\mathbb {R} ^{n}}e^{-2\pi ix\cdot \zeta }\,e^{2\pi iy\cdot \zeta }\,f(y)\,dy\,d\zeta
\\&={\mathcal {F}}({\mathcal {F}}^{-1}f)(x).\end{aligned}}} {\displaystyle {\begin{aligned}f&={\mathcal
{F}}^{-1}({\mathcal {F}}f)(x)\\&=\int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}e^{2\pi ix\cdot \xi }\,e^{-
2\pi iy\cdot \xi }\,f(y)\,dy\,d\xi \\&=\int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}e^{-2\pi ix\cdot \zeta
}\,e^{2\pi iy\cdot \zeta }\,f(y)\,dy\,d\zeta \\&={\mathcal {F}}({\mathcal {F}}^{-1}f)(x).\end{aligned}}}

Alternativamente, esto puede verse a partir de la relación entre {\displaystyle {\mathcal {F}}^{-1}f}
{\displaystyle {\mathcal {F}}^{-1}f} y el operador de volteo y la propiedad asociativa de la función
compuesta, ya que

{\displaystyle f={\mathcal {F}}^{-1}({\mathcal {F}}f)={\mathcal {F}}R{\mathcal {F}}f={\mathcal {F}}

({\mathcal {F}}^{-1}f).} {\displaystyle f={\mathcal {F}}^{-1}({\mathcal {F}}f)={\mathcal {F}}R{\mathcal
{F}}f={\mathcal {F}}({\mathcal {F}}^{-1}f).}

Condiciones sobre la función

Editar
Cuando se usa en física e ingeniería, el teorema de inversión de Fourier a menudo se usa bajo el
supuesto de que todo "se comporta bien". En matemáticas, tales argumentos heurísticos no están
permitidos, y el teorema de la inversión de Fourier incluye una especificación explícita de qué clase de
funciones se permiten. Sin embargo, no hay una "mejor" clase de funciones para considerar, por lo que
existen varias variantes del teorema de la inversión de Fourier, aunque con conclusiones compatibles.

Funciones de Schwartz

Editar

El teorema de inversión de Fourier se aplica a todos los espacios de Schwartz (en términos generales,
funciones suaves que decaen rápidamente y cuyas derivadas decaen rápidamente). Esta condición tiene
el beneficio de que es una afirmación directa elemental sobre la función (en oposición a imponer una
condición en su transformada de Fourier), y la integral que define la transformada de Fourier y su inversa
son absolutamente integrables. Esta versión del teorema se usa en la demostración del teorema de la
inversión de Fourier para distribuciones temperadas (véase más abajo).

Funciones integrables con transformada de Fourier transformable

Editar

El teorema de la inversión de Fourier se cumple para todas las funciones continuas que son
absolutamente integrables (es decir, {\displaystyle L^{1}(\mathbb {R} ^{n})} {\displaystyle L^{1}(\mathbb
{R} ^{n})}) con transformada de Fourier absolutamente integrable. Esto incluye todas las funciones de
Schwartz, por lo que es una forma estrictamente más fuerte del teorema que la anterior. Esta condición
es la utilizada en la sección correspondiente.

Una ligera variante es abandonar la condición de que la función {\displaystyle f} f sea continua, pero aún
así se requiere que la propia función y su transformada de Fourier sean absolutamente integrables.
Luego {\displaystyle f=g} {\displaystyle f=g} casi en todas partes donde g es una función continua y
{\displaystyle {\mathcal {F}}^{-1}({\mathcal {F}}f)(x)=g(x)} {\displaystyle {\mathcal {F}}^{-1}({\mathcal
{F}}f)(x)=g(x)} para cada {\displaystyle x\in \mathbb {R} ^{n}} {\displaystyle x\in \mathbb {R} ^{n}}.

Funciones integrables en una dimensión

Editar

Uniforme por partes; una dimensión

Si la función es absolutamente integrable en una dimensión (es decir, {\displaystyle f\in L^{1}(\mathbb
{R} )} {\displaystyle f\in L^{1}(\mathbb {R} )}) y es continua por partes, se cumple una versión del
teorema de la inversión de Fourier. En este caso se define

{\displaystyle {\mathcal {F}}^{-1}g(x):=\lim _{R\to \infty }\int _{-R}^{R}e^{2\pi ix\xi }\,g(\xi )\,d\xi .}
{\displaystyle {\mathcal {F}}^{-1}g(x):=\lim _{R\to \infty }\int _{-R}^{R}e^{2\pi ix\xi }\,g(\xi )\,d\xi .}

Entonces para todos los {\displaystyle x\in \mathbb {R} } {\displaystyle x\in \mathbb {R} }

{\displaystyle {\mathcal {F}}^{-1}({\mathcal {F}}f)(x)={\frac {1}{2}}(f(x_{-})+f(x_{+})),} {\displaystyle

{\mathcal {F}}^{-1}({\mathcal {F}}f)(x)={\frac {1}{2}}(f(x_{-})+f(x_{+})),}

es decir, {\displaystyle {\mathcal {F}}^{-1}({\mathcal {F}}f)(x)} {\displaystyle {\mathcal {F}}^{-1}({\mathcal

{F}}f)(x)} es igual al promedio de los límites izquierdo y derecho de {\displaystyle f} {\displaystyle f} en
{\displaystyle x} x. Téngase en cuenta que en los puntos donde {\displaystyle f} {\displaystyle f} es
continua, esto simplemente equivale a {\displaystyle f(x)} {\displaystyle f(x)}.

Un análogo en dimensiones más altas de esta forma del teorema también se cumple, pero según Folland
(1992) es "bastante delicado y no especialmente útil".

Continua por partes; una dimensión

Si la función es absolutamente integrable en una dimensión (es decir, {\displaystyle f\in L^{1}(\mathbb
{R} )} {\displaystyle f\in L^{1}(\mathbb {R} )}) pero simplemente es continua por partes, todavía se
mantiene una versión del teorema de la inversión de Fourier. En este caso, la integral en la transformada
de Fourier inversa se define con la ayuda de una función de corte suave en lugar de una aguda.
Específicamente, se define

{\displaystyle {\mathcal {F}}^{-1}g(x):=\lim _{R\to \infty }\int _{\mathbb {R} }\varphi (\xi /R)\,e^{2\pi ix\xi
}\,g(\xi )\,d\xi ,\qquad \varphi (\xi ):=e^{-\xi ^{2}}.} {\displaystyle {\mathcal {F}}^{-1}g(x):=\lim _{R\to
\infty }\int _{\mathbb {R} }\varphi (\xi /R)\,e^{2\pi ix\xi }\,g(\xi )\,d\xi ,\qquad \varphi (\xi ):=e^{-\xi
^{2}}.}

La conclusión del teorema es entonces la misma que para el caso uniforme por partes discutido
anteriormente.
Continuo; cualquier número de dimensiones

Si {\displaystyle f} {\displaystyle f} es continua y absolutamente integrable en {\displaystyle \mathbb {R}

^{n}} \mathbb {R} ^{n}, entonces el teorema de inversión de Fourier aún se mantiene siempre que se
defina nuevamente la transformación inversa con una función de corte suave, es decir,

{\displaystyle {\mathcal {F}}^{-1}g(x):=\lim _{R\to \infty }\int _{\mathbb {R} ^{n}}\varphi (\xi /R)\,e^{2\pi
ix\cdot \xi }\,g(\xi )\,d\xi ,\qquad \varphi (\xi ):=e^{-\vert \xi \vert ^{2}}.} {\displaystyle {\mathcal {F}}^{-
1}g(x):=\lim _{R\to \infty }\int _{\mathbb {R} ^{n}}\varphi (\xi /R)\,e^{2\pi ix\cdot \xi }\,g(\xi )\,d\xi
,\qquad \varphi (\xi ):=e^{-\vert \xi \vert ^{2}}.}

La conclusión ahora es simplemente que para todos los {\displaystyle x\in \mathbb {R} ^{n}}
{\displaystyle x\in \mathbb {R} ^{n}}

{\displaystyle {\mathcal {F}}^{-1}({\mathcal {F}}f)(x)=f(x).} {\displaystyle {\mathcal {F}}^{-1}({\mathcal

{F}}f)(x)=f(x).}

Sin condiciones de regularidad; cualquier número de dimensiones

Si se eliminan todas las suposiciones sobre la continuidad (por partes) de {\displaystyle f} f y se supone
simplemente que es absolutamente integrable, entonces una versión del teorema aún se cumple. La
transformación inversa se define de nuevo con el corte suave, pero con la conclusión de que

{\displaystyle {\mathcal {F}}^{-1}({\mathcal {F}}f)(x)=f(x)} {\displaystyle {\mathcal {F}}^{-1}({\mathcal

{F}}f)(x)=f(x)}

para casi en todas partes de {\displaystyle x\in \mathbb {R} ^{n}} {\displaystyle x\in \mathbb {R} ^{n}} [3]

Funciones integrables cuadráticas

Editar

En este caso, la transformada de Fourier no puede definirse directamente como una integral, ya que
puede no ser absolutamente convergente, por lo que se define en cambio por un argumento de
densidad (véase transformada de Fourier). Por ejemplo, disponiendo
{\displaystyle g_{k}(\xi ):=\int _{\{y\in \mathbb {R} ^{n}:\left\vert y\right\vert \leq k\}}e^{-2\pi iy\cdot \xi
}\,f(y)\,dy,\qquad k\in \mathbb {N} ,} {\displaystyle g_{k}(\xi ):=\int _{\{y\in \mathbb {R} ^{n}:\left\vert
y\right\vert \leq k\}}e^{-2\pi iy\cdot \xi }\,f(y)\,dy,\qquad k\in \mathbb {N} ,}

se puede establecer {\displaystyle \textstyle {\mathcal {F}}f:=\lim _{k\to \infty }g_{k}} {\displaystyle
\textstyle {\mathcal {F}}f:=\lim _{k\to \infty }g_{k}} donde el límite se toma en la norma {\displaystyle
L^{2}} {\displaystyle L^{2}}. La transformación inversa puede definirse por densidad de la misma manera
o definiéndola en términos de la transformada de Fourier y del operador de volteo. Entonces se tiene

{\displaystyle f(x)={\mathcal {F}}({\mathcal {F}}^{-1}f)(x)={\mathcal {F}}^{-1}({\mathcal {F}}f)(x)}

{\displaystyle f(x)={\mathcal {F}}({\mathcal {F}}^{-1}f)(x)={\mathcal {F}}^{-1}({\mathcal {F}}f)(x)}

para casi en todas partes de x∈ℝ.

Distribuciones temperadas

Editar

La transformada de Fourier se puede definir en el espacio de distribuciones temperadas {\displaystyle

{\mathcal {S}}'(\mathbb {R} ^{n})} {\displaystyle {\mathcal {S}}'(\mathbb {R} ^{n})} por la dualidad de la
transformada de Fourier en el espacio de las funciones de Schwartz. Específicamente, para {\displaystyle
f\in {\mathcal {S}}'(\mathbb {R} ^{n})} {\displaystyle f\in {\mathcal {S}}'(\mathbb {R} ^{n})} y para todas
las funciones de prueba {\displaystyle \varphi \in {\mathcal {S}}(\mathbb {R} ^{n})} {\displaystyle
\varphi \in {\mathcal {S}}(\mathbb {R} ^{n})} se establece

{\displaystyle \langle {\mathcal {F}}f,\varphi \rangle :=\langle f,{\mathcal {F}}\varphi \rangle ,}

{\displaystyle \langle {\mathcal {F}}f,\varphi \rangle :=\langle f,{\mathcal {F}}\varphi \rangle ,}

donde {\displaystyle {\mathcal {F}}\varphi } {\displaystyle {\mathcal {F}}\varphi } se define usando la

fórmula integral. Si {\displaystyle f\in L^{1}(\mathbb {R} ^{n})\cap L^{2}(\mathbb {R} ^{n})} {\displaystyle
f\in L^{1}(\mathbb {R} ^{n})\cap L^{2}(\mathbb {R} ^{n})}, esto está de acuerdo con la definición
habitual. Se puede definir la transformación inversa {\displaystyle {\mathcal {F}}^{-1}\colon {\mathcal
{S}}'(\mathbb {R} ^{n})\to {\mathcal {S}}'(\mathbb {R} ^{n})} {\displaystyle {\mathcal {F}}^{-1}\colon
{\mathcal {S}}'(\mathbb {R} ^{n})\to {\mathcal {S}}'(\mathbb {R} ^{n})}, ya sea por la dualidad de la
transformación inversa en las funciones de Schwartz de la misma manera, o definiéndola en términos del
operador de volteo (donde el operador de volteo está definido por la dualidad). Entonces se tiene que
{\displaystyle {\mathcal {F}}{\mathcal {F}}^{-1}={\mathcal {F}}^{-1}{\mathcal {F}}=\operatorname {Id}
_{{\mathcal {S}}'(\mathbb {R} ^{n})}.} {\displaystyle {\mathcal {F}}{\mathcal {F}}^{-1}={\mathcal {F}}^{-1}
{\mathcal {F}}=\operatorname {Id} _{{\mathcal {S}}'(\mathbb {R} ^{n})}.}