Ver el código de «Transformada de Fourier»

{{otros usos|Transformación (desambiguación)}}(Este artículo utiliza una definición alternativa de la transformada de Fourier, además de ciertos errores que estan siendo corregidos)[[File:CQT-piano-chord.png|thumb|Un ejemplo de aplicación de la transformada de Fourier es determinar los tonos constituyentes en una forma de onda musical. Esta imagen es el resultado de aplicar una transformada de Q constante (una transformada relacionada con Fourier) a la forma de onda de un acorde de piano de do mayor. Los tres primeros picos de la izquierda corresponden a las frecuencias de la frecuencia fundamental del acorde (C, E, G). Los picos más pequeños restantes son [[armónico (física)|sobretonos]] de frecuencia más alta de los tonos fundamentales. Un algoritmo de detección de tono podría usar la intensidad relativa de estos picos para inferir qué teclas presionó el pianista.]]

{{multiple image
| total_width       = 300
| align             = right
| image1            = Sine voltage.svg
| image2            = Phase shift.svg
| footer            =
La [[onda sinusoidal|sinusoide]] roja puede describirse por amplitud de pico (1), pico a pico (2), [[media cuadrática|RMS]] (3) y [[longitud de onda]] (4). Las sinusoides roja y azul tienen una diferencia de fase de {{mvar|θ}}.
}}

La '''transformada de Fourier''' es una [[transformación (matemáticas)|transformación matemática]] empleada para transformar señales entre el [[dominio del tiempo]] (o espacial) y el [[dominio de la frecuencia]], que tiene muchas aplicaciones en la física y la ingeniería. Es reversible, siendo capaz de transformarse en cualquiera de los dominios al otro. El propio término se refiere tanto a la operación de transformación como&nbsp;a la [[función matemática|función]] que produce.

Se denomina así por el matemático y físico francés [[Joseph Fourier]] (1768-1830).

En el caso de una [[función periódica]] en el tiempo (por ejemplo, un sonido musical continuo pero no necesariamente [[sinusoidal]]), la transformada de Fourier se puede simplificar para el cálculo de un conjunto discreto de amplitudes [[número complejo|complejas]], llamado coeficientes de las [[series de Fourier]]. Ellos representan el espectro de frecuencia de la señal del dominio-tiempo original.

La transformada de Fourier es una [[aplicación matemática|aplicación]] que hace corresponder a una función <math>f </math> con otra función <math>g</math> definida de la manera siguiente:

:<math>g(\xi ) =  \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{+\infty} f(x)e^{-i\xi\,x} dx</math>

Donde <math>f</math> es <math>\displaystyle{ L^{1}} </math>, es decir, <math>f </math> tiene que ser una función [[integración|integrable]] en el sentido de la [[integral de Lebesgue]]. El factor, que acompaña la integral en definición 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 más comúnmente adoptada, no es universal. En la práctica, las variables <math>x</math> y <math>\xi</math> suelen estar asociadas a dimensiones como el tiempo (segundos) y frecuencia ([[hercio]]s) respectivamente, si se utiliza la fórmula alternativa:

:<math>g(\xi ) = \sqrt{\frac{\beta}{2\pi}} \int_{-\infty}^{+\infty} f(x)e^{-i\beta\xi\,x} dx</math>

la constante <math>\beta</math> cancela las dimensiones asociadas a las variables obteniendo un exponente [[adimensional]].

La transformada de Fourier así definida goza de una serie de propiedades de continuidad que garantizan que puede extenderse a espacios de funciones mayores e incluso a espacios de [[función generalizada|funciones generalizadas]].

Sus aplicaciones son muchas, en áreas de la matemática, ciencia e ingeniería como la [[física]], la [[teoría de los números]], la [[combinatoria]], el [[procesamiento de señales]] (electrónica), la [[teoría de la probabilidad]], la [[estadística]], la [[óptica]], la [[propagación de ondas]] y otras áreas. En procesamiento de señales la transformada de Fourier suele considerarse como la descomposición de una señal en componentes de [[frecuencia]]s diferentes, es decir, <math>g</math> corresponde al [[espectro de frecuencias]] de la señal <math>f</math>.

La rama de la matemática que estudia la transformada de Fourier y sus generalizaciones es denominada [[análisis armónico]].

La transformada de Fourier también se puede generalizar a las funciones de varias variables en el [[Espacio euclídeo|espacio euclidiano]], enviando una función de {{nowrap|3-dimensional}} a una función de momento {{nowrap|3-dimensional}} (o una función de espacio y tiempo a una función de [[cuadrimomento]]).  Esta idea hace que la transformada espacial de Fourier sea muy natural en el estudio de las ondas, así como en [[mecánica cuántica]], donde es importante poder representar soluciones de onda como funciones de posición o de momento y, a veces, de ambos. En general, las funciones a las que se aplican los métodos de Fourier son de valor complejo, y posiblemente [[función de valor vectorial|de valor vectorial]].<ref>En [[mecánica cuántica relativista]] se encuentran transformaciones de Fourier de valor vectorial de funciones de onda multicomponente. En [[teoría cuántica de campos]], las transformadas de Fourier valoradas por operadores de funciones valoradas por operadores del espaciotiempo son de uso frecuente, véase por ejemplo{{harvtxt|Greiner|Reinhardt|1996}}.</ref> Todavía es posible una mayor generalización a funciones sobre [[grupo (matemáticas)|grupos]], las cuales, además de la transformada de Fourier original sobre {{math|'''R'''}}. {{clarify|reason=por favor proporcione wikilink para R|date=February 2023}}o {{math|'''R'''<sup>''n''</sup>}} (vistos como grupos bajo adición), en particular incluye la [[transformada de Fourier en tiempo discreto]] (DTFT, grupo = {{math|[[enteros|'''Z''']]}}), la [[transformada discreta de Fourier]] (DFT, grupo = [[grupo cíclico|{{math|'''Z''' mod ''N''}}]]) y la [[serie de Fourier]] o transformada circular de Fourier (grupo = {{math|[[Grupo circular|''S''<sup>1</sup>]]}}, el círculo unitario ≈ intervalo finito cerrado con puntos extremos identificados). Esta última se emplea habitualmente para tratar [[función periódica| funciones periódicas]]. La [[transformada rápida de Fourier]] (FFT) es un algoritmo para calcular la DFT.

== Definición ==
[[Archivo:Fourier transform time and frequency domains (small).gif|derecha|La transformada de Fourier relaciona una función en el [[dominio del tiempo]], mostrada en rojo, con una función en el [[dominio de la frecuencia]], mostrado en azul. Las frecuencias componentes, extendidas para todo el espectro de frecuencia, son representadas como picos en el dominio de la frecuencia.]]
La transformada de Fourier es básicamente el espectro de frecuencias de una función. Un buen ejemplo de eso es lo que hace el oído humano, ya que recibe una onda auditiva y la transforma en una descomposición en distintas frecuencias (que es lo que finalmente se escucha). El oído humano va percibiendo distintas frecuencias a medida que pasa el tiempo, sin embargo, la transformada de Fourier contiene todas las frecuencias del tiempo durante el cual existió la señal; es decir, en la transformada de Fourier se obtiene un solo espectro de frecuencias para toda la función.

=== Definición formal ===
Sea <math>f</math> una función [[Integral de Lebesgue | Lebesgue integrable]] 

:<math> f \in L^1(\mathbb{R}) </math> o <math> f \in L^1(\mathbb{C}) </math>

Se define la transformada de Fourier de <math>f</math> como la función 

:<math>\hat{f}(\xi):=\int_{-\infty}^{\infty} f(x)\ e^{- 2\pi i \xi x}\,dx </math>

Observemos que esta integral tiene sentido, pues el integrando es una función integrable.  Una estimativa simple demuestra que la transformada de Fourier <math>\hat{f}</math> es una función acotada. Además, por medio del [[teorema de la convergencia dominada]] puede demostrarse fácilmente que <math>\hat{f}</math> es continua.

La transformada de Fourier inversa de una función integrable <math> \hat{f} </math> está definida por:

:<math>\mathcal{F}^{-1} \{ \hat{f} \} = f(x) = \int_{-\infty}^{\infty} \hat{f}(\xi)\ e^{2 \pi i \xi x}\,d\xi,</math>

Nótese que la única diferencia entre la transformada de Fourier y la transformada de Fourier inversa es el signo negativo en el exponente del integrando. El teorema de inversión de Fourier formulado abajo justifica el nombre de transformada de Fourier inversa dado a esta transformada. El signo negativo en el exponente del integrado indica la traspolación de complementos yuxtapuestos. Estos complementos pueden ser analizados a través de la aplicación de la [[varianza]] para cada función.

==Antecedentes==

===Historia===
: Artículos principales: [[análisis de Fourier#Historia|Historia del análisis de Fourier]] y [[serie de Fourier#Historia|Historia de la serie de Fourier]].

En 1821, Fourier afirmó que cualquier función, ya sea continua o discontinua, puede expandirse en una serie de senos.<ref>{{harvnb|Fourier|1822}}.</ref><ref>Véase el sección [https://en.wikipedia.org/wiki/Joseph_Fourier#The_Analytic_Theory_of_Heat «The analytic theory of heat»] (‘la teoría analítica del calor’) en el artículo de la Wikipedia en inglés sobre Joseph Fourier.</ref>
Ese importante trabajo fue corregido y ampliado por otros para sentar las bases de las diversas formas de la transformada de Fourier utilizadas desde entonces.

===Sinusoides complejos===
En general, los coeficientes <math>\hat f(\xi)</math> son números complejos, que tienen dos formas equivalentes (véase [[fórmula de Euler]]):

:<math> \hat f(\xi) = \underbrace{A e^{i \theta}}_{\text{forma de coordenadas polares}}
= \underbrace{A \cos(\theta) + i A \sen(\theta)}_{\text{forma de coordenadas rectangulares}}.</math>

El producto con <math>e^{i 2 \pi \xi x}</math> ({{EquationNote|Eq.2}}) tiene estas formas:

:<math>\hat f(\xi)\cdot e^{i 2 \pi \xi x} = A e^{i \theta} \cdot e^{i 2 \pi \xi x} = \underbrace{A e^{i (2 \pi \xi x+\theta)}}_{\text{forma de coordenadas polares}} 
= \underbrace{A\cos(2\pi \xi x +\theta) + i A\sen(2\pi \xi x +\theta)}_{\text{forma de coordenadas rectangulares}}.</math>

Llama la atención la facilidad con la que se simplificó el producto utilizando la forma polar, y la facilidad con la que se dedujo la forma rectangular mediante una aplicación de la fórmula de Euler.

== Notación ==
La transformada de Fourier de una función <math>f</math> puede denotarse de distintas maneras, algunas de ellas son: 
:<math>\mathcal{F}[f],\;\hat{f},\;\mathcal{F}(f(t)),\;\mathcal{F}\{f(t)\},\;F(f),\;F(\xi),\;\mathcal{F}(f)(\xi)</math>.

== Propiedades básicas ==
La transformada de Fourier es una [[aplicación lineal]]:

:<math>\mathcal{F}\{ a\cdot f+b \cdot g \} =a \, \mathcal{F}\{ f \} + b \, \mathcal{F}\{ g \}.</math>

Valen las siguientes propiedades para una [[integración|función absolutamente integrable]] <math>f</math>:
* Cambio de escala: 

:<math>\mathcal{F} \{ f(at) \}(\xi) = \frac{1}{|a|} \cdot \mathcal{F} \{ f \} \bigg(\frac{\xi}{a}\bigg)</math>

* Traslación: 

:<math>\mathcal{F} \{ f(t-a) \} (\xi)=e^{-2\pi i\xi a} \cdot \mathcal{F} \{ f \} (\xi)</math>

* Traslación en la variable transformada: 

:<math> \mathcal{F}\{ f \} (\xi-a)= \mathcal{F} \{ e^{2\pi iat} f(t) \} (\xi) </math>

* Transformada de la [[derivada]]: Si <math>f </math> y su derivada son integrables,

:<math>\mathcal F  \{ f' \} (\xi) = 2\pi i\xi \cdot \mathcal{F} \{ f \}(\xi)</math>

* Derivada de la transformada: Si <math>f</math> y <math>t</math> → <math>f(t)</math> son integrables, la transformada de 
Fourier <math>F(f)</math> es diferenciable

:<math>\mathcal{F}\{ f \}' (\xi) = \mathcal{F} \{ (-it) \cdot f(t) \}(\xi) </math>

Estas identidades se demuestran por un cambio de variables o [[integración por partes]].

En lo que sigue, definimos la [[convolución]] de dos funciones <math>f</math> y <math>g</math> en la recta de la manera siguiente:

:<math> (f * g)(t) = \int_{-\infty}^{+\infty} f(\eta) \cdot g(t - \eta) \, d\eta. </math>

Nuevamente la presencia del factor delante de la integral simplifica el enunciado de los resultados como el que sigue: Si <math>f</math> y <math>g</math> son funciones absolutamente integrables, la convolución también es integrable, y vale la igualdad:

:<math>\mathcal{F}\{ f*g \} = \sqrt{2 \pi} \cdot \mathcal{F} \{ f \} \cdot \mathcal{F} \{ g \}</math>

También puede enunciarse un teorema análogo para la convolución en la variable transformada,

:<math>\mathcal{F} \{ f \cdot g \} =\sqrt{2 \pi} \cdot \mathcal{F}\{ f \}*\mathcal{F}\{ g \}</math>

pero este exige cierto cuidado con el [[dominio de definición]] de la transformada de Fourier.

(Aclaración: dependiendo de la fuente puede variar la definición de la transformada de Fourier y también sus propiedades)

== Pares transformados de uso frecuente ==
En algunas ocasiones, se define la transformada con un factor multiplicativo diferente de <math>\textstyle \frac{1}{\sqrt{2 \pi}}</math>, siendo frecuente en ingeniería el uso de un factor unidad en la transformada directa y un factor de <math>\textstyle \frac{1}{2\pi}</math> en la transformada inversa. A continuación, se lista una tabla de funciones y sus transformadas de Fourier con un factor unidad cuya comprobación es trivial. Si se desea utilizar otro factor, basta con multiplicar la segunda columna por dicho factor.

{| class="wikitable" style="text-align:center"
|-
! Función !! Transformada 
|-
| <math>\delta(t) \!</math> || <math>1 \!</math>
|-
| <math>u(t) \!</math> ([[Función unitaria de Heaviside]]) || <math>1/2(\delta(f)+1/(i\pi f)) \!</math>
|-
| <math>\sen (w_0 t) \!</math> || <math>\frac{\pi}{i}[\delta(w-w_0)-\delta(w+w_0)] \!</math>
|-
| <math>\cos (w_0 t) \!</math> || <math>\pi[\delta(w-w_0)+\delta(w+w_0)] \!</math>
|-
| <math>1 \!</math> || <math> \delta(f) = 2\pi\delta(w) \!</math>
|-
|<math>e^{-at}u(t), \quad \mathrm{Re}(a) >0  \!</math> || <math> \frac{1}{a+iw} \!</math>
|-
|<math>e^{-a|t|}</math> || <math> \frac{2a}{a^2+w^2} \!</math>
|-
|<math>te^{-at}u(t), \quad \mathrm{Re}(a)>0  \!</math> || <math> \frac{1}{(a+iw)^{2}} \!</math> 
|-
|<math>\begin{cases} \cos w_0x & |x|\le A \\ 0 & |x| > A \end{cases}</math> || <math>\frac{\sen A(w-w_0)}{2\pi(w-w_0)} + \frac{\sen A(w+w_0)}{2\pi(w+w_0)}</math>
|-
|<math>x(t) = \mathrm{rect}\left(\frac{t}{2T_1}\right) = \begin{cases} 1, & \mbox{si }|t|<T_1 \\ 0, & \mbox{si }|t|>T_1 \end{cases} \!</math>||<math>2 T_1\mathrm{sinc}\left(\frac{wT_1}{\pi}\right) = 2 \frac{\sen(wT_1)}{w} </math>
|-
|<math>x(t) = \mathrm{tri}\left(\frac{t}{2T_1}\right) = \begin{cases} 1-\frac{|t|}{T_1}, & \mbox{si }|t|<T_1 \\ 0, & \mbox{si }|t|>T_1 \end{cases} \!</math>||<math>2 T_1\mathrm{sinc}^{2}\left(\frac{wT_1}{\pi}\right) </math>
|-
|<math>x(t) = e^{-t^2/a^2}, \quad \mathrm{Im}(a)= 0 \!</math>||<math> \frac{a}{\sqrt{2}} e^{-a^2 w^2/4}  </math>
|-
|<math>e^{-at^2}</math>
|

<math> \sqrt{\frac{\pi}{a}}e^{-w^2/4a}  </math>
|}

== Teorema de inversión ==
La idea básica del teorema de inversión es que dada una función <math>f </math>, la transformada de Fourier inversa aplicada a la transformada de Fourier de <math>f </math> resulta en la misma función original, en símbolos:
:<math> (1) \quad \check{\hat{f}} = f \quad </math>
Sin embargo, el resultado formulado de esta forma no es siempre válido, porque el dominio de la transformada de Fourier como lo hemos definido en el primer párrafo de este artículo no es invariante, o sea que la transformada de Fourier de una función integrable no es necesariamente integrable. 

Para formular el teorema de inversión necesitamos encontrar espacios de funciones que sean invariantes bajo la transformada de Fourier. De hecho, hay numerosas posibilidades, la más natural del punto de vista técnico siendo el [[espacio de Schwartz]] de funciones φ rápidamente decrecientes. Sin embargo aquí tomamos un camino más directo para formular un enunciado:  

'''Teorema'''. El espacio de funciones complejas <math>f </math> definidas en la recta tales que<math>f </math>  y la transformada de Fourier de <math>f </math> sean integrables, es invariante tanto por la transformada de Fourier que por la transformada de Fourier inversa.  Además para una función <math>f </math> en este espacio, vale el teorema de inversión (1).

Otra posibilidad para formular un teorema de inversión 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 [[teoría de distribuciones|espacio de Schwartz]] está constituido por las funciones <math>\varphi</math> de variable real, definidas en ℝ e infinitamente diferenciables tales que para todo <math>m</math> y <math>n</math> enteros no negativos
:<math> \sup_{x \in \mathbb{R}} |x^m \varphi^{(n)}(x)| < \infty,</math>
donde <math>\varphi^{(n)}</math> es la <math>n</math>-ésima derivada de <math>\varphi</math>. Denotamos al espacio de Schwartz por el símbolo <math> \mathcal{S} </math>.

=== Teorema ===
Tanto la transformada de Fourier como la transformada de Fourier inversa son aplicaciones lineales 

:<math> \mathcal{S} \rightarrow \mathcal{S}. </math>

Además vale la fórmula de inversión:

:<math> \check{\hat{f}} = f, \quad f \in \mathcal{S}. </math>

El espacio de Schwartz es invariante con respecto a los operadores diferenciales con coeficientes polinomiales, es decir de la forma
:<math> [T\varphi](x) = \sum_{k=0}^m P_k(x) \bigg(\frac{d}{dx}\bigg)^n \varphi(x). </math>
donde ''P''<sub>''k''</sub> son polinomios.

Debido a las propiedades
:<math>\mathcal{F} \left\{ \frac{d \varphi}{dx} \right\} (\xi) = i\xi \cdot \mathcal{F} \{ \varphi \} (\xi)
\quad </math>
y
:<math> \mathcal{F} \{-ix \cdot \varphi(x) \} (\xi) = \frac{d}{d\xi} \bigg ( \mathcal{F}\{ \varphi \} (\xi) \bigg ) ,</math>
la transformada de Fourier es una herramienta muy importante para el estudio de las [[Ecuación diferencial|ecuaciones diferenciales]] tanto para la teoría como para su resolución práctica.

== Propiedades de homomorfismo ==
Debido a que las "funciones base" ''e''<sup>''ikx''</sup> son [[homomorfismo]]s de la línea real (más concretamente, del "grupo del círculo") tenemos ciertas identidades útiles:
# Si <math>g(x)=f(x-y)</math> entonces <math>\hat g(k)=e^{-iky}\hat f(k)</math>
# La transformada de Fourier es un [[morfismo]]:
{{ecuación|<math>\widehat{(f*g)} (k)=\hat f(k) \cdot \hat g(k)</math>||left}}
Es decir, la transformada de Fourier de una [[convolución]] es el producto de las transformadas de Fourier.

== Uso en ingeniería ==
La transformada de Fourier se utiliza para pasar una señal al dominio de frecuencia para así obtener información que no es evidente en el dominio temporal. Por ejemplo, es más fácil saber sobre qué ancho de banda se concentra la energía de una señal analizándola en el dominio de la frecuencia.

La transformada también sirve para resolver ecuaciones diferenciales con mayor facilidad y, por consiguiente, se usa para el diseño de controladores clásicos de [[Realimentación|sistemas realimentados]], si conocemos la densidad espectral de un sistema y la entrada podemos conocer la densidad espectral de la salida. Esto es muy útil para el diseño de filtros de radiotransistores.

La transformada de Fourier también se utiliza en el ámbito del tratamiento digital de imágenes, como por ejemplo para mejorar o definir más ciertas zonas de una imagen fotográfica o tomada con una computadora, véase [[ondícula]] (''wavelet'').

Detección de compuestos al analizar las frecuencias electromagnéticas transmitidas en diversos compuestos, materiales y aleaciones<ref name=ftir>{{cita web|url=https://www.perkinelmer.com/libraries/APP_72859-Spectrum3?utm_source=Google&utm_medium=cpc&utm_campaign=APP-TECIR-2023-AMER-PaidSearch-SCH-EGM-ZZ&sfdc_id=7014V000002IwC4&LS=PPC&adgroup=148363075347&ad=646281837739&keyword=ftir%20spectroscopy&gclid=Cj0KCQjwnrmlBhDHARIsADJ5b_nuYz9vL7Q9perHdRAhefkUsFnTwEoP68uTpRqfAiYp1trNzUFhMRAaAgveEALw_wcB|autor=Perkin-Elmer|título=Infrarred-Spectroscopy}}</ref>

== Interpretación geométrica ==
Definido el [[producto escalar]] entre funciones de la siguiente manera:

:<math> \langle f,g \rangle = \int_{-\infty}^{+\infty} f(x)g(x)\ dx
\quad </math>

la transformada de Fourier se puede entender como el producto escalar entre la función <math>x(t)</math> y la exponencial compleja <math>e^{i2\pi\,ft}</math> evaluado sobre todo el rango de frecuencias <math>f </math>. Por la interpretación usual del producto escalar, en aquellas frecuencias en las que la transformada tiene un valor mayor, más parecido tiene <math>x(t)</math> con una exponencial compleja.

== Notas ==

{{listaref}}

== Véase también ==
* [[Óptica de Fourier]]
* [[Transformada de Fourier discreta]]
* [[Transformada de Laplace]]
* [[Ondícula]]

{{Wikiversidad|La Transformada de Fourier}}

== Enlaces externos ==
{{commonscat|Fourier transformation}}
* [http://www.westga.edu/~jhasbun/osp/Fourier.htm Fourier Java Applet] 
* [http://eqworld.ipmnet.ru/en/auxiliary/aux-inttrans.htm Tables of Integral Transforms] en inglés.
* [https://web.archive.org/web/20090312091304/http://math.fullerton.edu/mathews/c2003/FourierTransformMod.html Transformada de Fourier por John H. Mathews]
* [http://www.dspdimension.com/admin/dft-a-pied/ The DFT “à Pied”: Enseñando la transformada de Fourier en un día] en The DSP Dimension (Inglés).

{{Control de autoridades}}
[[Categoría:Transformaciones integrales]]
[[Categoría:Análisis de Fourier]]
[[Categoría:Procesamiento de señales]]
[[Categoría:Epónimos relacionados con las matemáticas|Fourier, transformada]]
[[Categoría:Ciencia y tecnología de Francia del siglo XIX]]
[[Categoría:Ciencia de 1822]]
[[Categoría:Francia en 1822]]
[[Categoría:Joseph Fourier]]