a la b�squeda

Para otros usos de este t�rmino, v�ase Transformaci�n (desambiguaci�n).

La transformada de Fourier, denominada as� por Joseph Fourier, es una
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 a la funci�n que produce.
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 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 que hace corresponder a una funci�n
f {\displaystyle f}
con otra funci�n
g {\displaystyle g}
definida de la manera siguiente:
g ( ? ) = 1 2 p ? - 8 + 8 f ( x ) e - i ? x d x {\displaystyle g(\xi )={\frac {1}
{\sqrt {2\pi }}}\int _{-\infty }^{+\infty }f(x)e^{-i\xi \,x}dx}

Donde
f {\displaystyle f}
es
L 1 {\displaystyle \displaystyle {L^{1}}}
, es decir,
f {\displaystyle f}
tiene que ser una funci�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
x {\displaystyle x}
y
? {\displaystyle \xi }
suelen estar asociadas a dimensiones como el tiempo �segundos� y frecuencia
�hercios� respectivamente, si se utiliza la f�rmula alternativa:
g ( ? ) = � 2 p ? - 8 + 8 f ( x ) e - i � ? x d x {\displaystyle g(\xi )={\sqrt
{\frac {\beta }{2\pi }}}\int _{-\infty }^{+\infty }f(x)e^{-i\beta \xi \,x}dx}

la constante
� {\displaystyle \beta }
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 funciones generalizadas.
Sus aplicaciones son muchas, en �reas de la 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 frecuencias
diferentes, es decir,
g {\displaystyle g}
corresponde al espectro de frecuencias de la se�al
f {\displaystyle f}
.
La rama de la matem�tica que estudia la transformada de Fourier y sus
generalizaciones es denominada an�lisis arm�nico.
Son varias las notaciones que se utilizan para la transformada de Fourier de
f {\displaystyle f}
. He aqu� algunas de ellas:
F [ f ] , f ^ , F ( f ) , F { f } {\displaystyle {\mathcal {F}}[f],{\hat {f}},F(f),
{\mathcal {F}}\{f\}}
.

�ndice
1
Definici�n
1.1
Definici�n formal
2
Propiedades b�sicas
3
Pares transformados de uso frecuente
4
Teorema de inversi�n
5
La transformada de Fourier en el espacio de Schwartz
6
Propiedades de homomorfismo
7
Uso en ingenier�a
8
Interpretaci�n geom�trica
9
V�ase tambi�n
10
Enlaces externos
Definici�n[editar]

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 s�lo espectro de frecuencias
para toda la funci�n.
Definici�n formal[editar]
Sea
f {\displaystyle f}
una funci�n integrable Lebesgue:
f ? L 1 ( R ) {\displaystyle f\in L^{1}(\mathbb {R} )}
o
f ? L 1 ( C ) {\displaystyle f\in L^{1}(\mathbb {C} )}

Se define la transformada de Fourier de

f {\displaystyle f}
como la funci�n
F { f } : ? ? f ^ ( ? ) := ? - 8 8 f ( x ) e - 2 p i ? x d x , {\displaystyle
{\mathcal {F}}\{f\}\ \ :\xi \mapsto {\hat {f}}(\xi ):=\int _{-\infty }^{\infty }
f(x)\ e^{-2\pi i\xi x}\,dx,}

Observemos que esta integral tiene sentido, pues el integrando es una funci�n
integrable. Una estimativa simple demuestra que la transformada de Fourier
F ( f ) {\displaystyle F(f)}
es una funci�n acotada. Adem�s por medio del teorema de la convergencia dominada
puede demostrarse f�cilmente que
F ( f ) {\displaystyle F(f)}
es continua.
La transformada de Fourier inversa de una funci�n integrable
f {\displaystyle f}
est� definida por:
F - 1 { f ^ } = f ( x ) = ? - 8 8 f ^ ( ? ) e 2 p i ? x d ? , {\displaystyle
{\mathcal {F}}^{-1}\{{\hat {f}}\}=f(x)=\int _{-\infty }^{\infty }{\hat {f}}(\xi )\
e^{2\pi i\xi x}\,d\xi ,}

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.
Propiedades b�sicas[editar]
La transformada de Fourier es una aplicaci�n lineal:
F { a � f + b � g } = a F { f } + b F { g } . {\displaystyle {\mathcal {F}}\{a\cdot
f+b\cdot g\}=a\,{\mathcal {F}}\{f\}+b\,{\mathcal {F}}\{g\}.}

Valen las siguientes propiedades para una funci�n absolutamente integrable

f {\displaystyle f}
:
Cambio de escala:
F { f ( a t ) } ( ? ) = 1 | a | � F { f } ( ? a ) {\displaystyle {\mathcal {F}}\
{f(at)\}(\xi )={\frac {1}{|a|}}\cdot {\mathcal {F}}\{f\}{\bigg (}{\frac {\xi }{a}}
{\bigg )}}

Traslaci�n:
F { f ( t - a ) } ( ? ) = e - p i ? a � F { f } ( ? ) {\displaystyle {\mathcal
{F}}\{f(t-a)\}(\xi )=e^{-\pi i\xi a}\cdot {\mathcal {F}}\{f\}(\xi )}

Traslaci�n en la variable transformada:

F { f } ( ? - a ) = F { e p i a t f ( t ) } ( ? ) {\displaystyle {\mathcal {F}}\
{f\}(\xi -a)={\mathcal {F}}\{e^{\pi iat}f(t)\}(\xi )}

Transformada de la derivada: Si
f {\displaystyle f}
y su derivada son integrables,
F { f ' } ( ? ) = 2 p i ? � F { f } ( ? ) {\displaystyle {\mathcal {F}}\{f'\}(\xi )
=2\pi i\xi \cdot {\mathcal {F}}\{f\}(\xi )}

Derivada de la transformada: Si
f {\displaystyle f}
y
t {\displaystyle t}
?
f ( t ) {\displaystyle f(t)}
son integrables, la transformada de Fourier
F ( f ) {\displaystyle F(f)}
es diferenciable
F { f } ' ( ? ) = F { ( - i t ) � f ( t ) } ( ? ) {\displaystyle {\mathcal {F}}\
{f\}'(\xi )={\mathcal {F}}\{(-it)\cdot f(t)\}(\xi )}

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
f {\displaystyle f}
 y
g {\displaystyle g}
en la recta de la manera siguiente:
( f * g ) ( x ) = 1 2 p ? - 8 + 8 f ( y ) � g ( x - y ) d y . {\displaystyle (f*g)
(x)={\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{+\infty }f(y)\cdot g(x-y)\,dy.}

Nuevamente la presencia del factor delante de la integral simplifica el enunciado

de los resultados como el que sigue: Si
f {\displaystyle f}
y
g {\displaystyle g}
son funciones absolutamente integrables, la convoluci�n tambi�n es integrable, y
vale la igualdad:
F { f * g } = F { f } � F { g } {\displaystyle {\mathcal {F}}\{f*g\}={\mathcal
{F}}\{f\}\cdot {\mathcal {F}}\{g\}}

Tambi�n puede enunciarse un teorema an�logo para la convoluci�n en la variable

transformada,
F { f � g } = F { f } * F { g } . {\displaystyle {\mathcal {F}}\{f\cdot
g\}={\mathcal {F}}\{f\}*{\mathcal {F}}\{g\}.}

pero este exige cierto cuidado con el dominio de definici�n de la transformada de

Fourier.
Pares transformados de uso frecuente[editar]
En algunas ocasiones se define la transformada con un factor multiplicativo
diferente de
1 2 p {\displaystyle \textstyle {\frac {1}{\sqrt {2\pi }}}}
, siendo frecuente en ingenier�a el uso de un factor unidad en la transformada
directa y un factor de
1 2 p {\displaystyle \textstyle {\frac {1}{2\pi }}}
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.
Funci�n
Transformada
d ( t ) {\displaystyle \delta (t)\!}

1 {\displaystyle 1\!}

u ( t ) {\displaystyle u(t)\!}
(Funci�n unitaria de Heaviside)
1 / 2 ( d ( f ) + 1 / ( i p f ) ) {\displaystyle 1/2(\delta (f)+1/(i\pi f))\!}

sin ? ( w 0 t ) {\displaystyle \sin(w_{0}t)\!}

p i [ d ( w - w 0 ) - d ( w + w 0 ) ] {\displaystyle {\frac {\pi }{i}}[\delta (w-

w_{0})-\delta (w+w_{0})]\!}

cos ? ( w 0 t ) {\displaystyle \cos(w_{0}t)\!}

p [ d ( w - w 0 ) + d ( w + w 0 ) ] {\displaystyle \pi [\delta (w-w_{0})+\delta

(w+w_{0})]\!}

1 {\displaystyle 1\!}

d ( f ) = 2 p d ( w ) {\displaystyle \delta (f)=2\pi \delta (w)\!}

e - a t u ( t ) , R e ( a ) > 0 {\displaystyle e^{-at}u(t),\quad \mathrm {Re}

(a)>0\!}

1 a + i w {\displaystyle {\frac {1}{a+iw}}\!}

e - a | t | {\displaystyle e^{-a|t|}}

2 a a 2 + w 2 {\displaystyle {\frac {2a}{a^{2}+w^{2}}}\!}

t e - a t u ( t ) , R e ( a ) > 0 {\displaystyle te^{-at}u(t),\quad \mathrm {Re}

(a)>0\!}

1 ( a + i w ) 2 {\displaystyle {\frac {1}{(a+iw)^{2}}}\!}

{ cos ? w 0 x | x | = A 0 | x | > A {\displaystyle {\begin{cases}\cos w_{0}x&|

x|\leq A\\0&|x|>A\end{cases}}}

sin ? A ( w - w 0 ) 2 p ( w - w 0 ) + sin ? A ( w + w 0 ) 2 p ( w + w 0 )
{\displaystyle {\frac {\sin A(w-w_{0})}{2\pi (w-w_{0})}}+{\frac {\sin A(w+w_{0})}
{2\pi (w+w_{0})}}}

x ( t ) = r e c t ( t 2 T 1 ) = { 1 , si | t | < T 1 0 , si | t | > T 1
{\displaystyle 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}}\!}

2 T 1 s i n c ( w T 1 p ) = 2 sin ? ( w T 1 ) w {\displaystyle 2T_{1}\mathrm {sinc}

\left({\frac {wT_{1}}{\pi }}\right)=2{\frac {\sin(wT_{1})}{w}}}

x ( t ) = t r i ( t 2 T 1 ) = { 1 - | t | T 1 , si | t | < T 1 0 , si | t | > T 1
{\displaystyle 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}}\!}

2 T 1 s i n c 2 ( w T 1 p ) {\displaystyle 2T_{1}\mathrm {sinc} ^{2}\left({\frac

{wT_{1}}{\pi }}\right)}

x ( t ) = e - t 2 / a 2 , I m ( a ) = 0 {\displaystyle x(t)=e^{-
t^{2}/a^{2}},\quad \mathrm {Im} (a)=0\!}

a 2 e - a 2 w 2 / 4 {\displaystyle {\frac {a}{\sqrt {2}}}e^{-a^{2}w^{2}/4}}

e - a t 2 {\displaystyle e^{-at^{2}}}

v p a e - w 2 / 4 a {\displaystyle \surd {\frac {\pi }{a}}e^{-w^{2}/4a}}

Teorema de inversi�n[editar]
La idea b�sica del teorema de inversi�n es que dada una funci�n
f {\displaystyle f}
, la transformada de Fourier inversa aplicada a la transformada de Fourier de
f {\displaystyle f}
resulta en la misma funci�n original, en s�mbolos:
( 1 ) f ^ ? = f {\displaystyle (1)\quad {\check {\hat {f}}}=f\quad }

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 f r�pidamente decrecientes. Sin embargo aqu� tomamos un
camino m�s directo para formular un enunciado:
Teorema. El espacio de funciones complejas
f {\displaystyle f}
definidas en la recta tales que
f {\displaystyle f}
y la transformada de Fourier de
f {\displaystyle f}
sean integrables, es invariante tanto por la transformada de Fourier que por la
transformada de Fourier inversa. Adem�s para una funci�n
f {\displaystyle f}
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[editar]
El espacio de Schwartz consiste de las funciones f tomando valores complejos,
definidas en R e infinitamente diferenciables tales que para todo
m {\displaystyle m}
y
n {\displaystyle n}
enteros no negativos
sup x ? R | x m f ( n ) ( x ) | < 8 , {\displaystyle \sup _{x\in \mathbb {R} }|
x^{m}\varphi ^{(n)}(x)|<\infty ,}

donde f(n) es la n-�sima derivada de f. Denotamos al espacio de Schwartz por el

s�mbolo
S {\displaystyle {\mathcal {S}}}
.
Teorema
Tanto la transformada de Fourier como la transformada de Fourier inversa son
aplicaciones lineales
S ? S . {\displaystyle {\mathcal {S}}\rightarrow {\mathcal {S}}.}

Adem�s vale la f�rmula de inversi�n:

f ^ ? = f , f ? S . {\displaystyle {\check {\hat {f}}}=f,\quad f\in {\mathcal
{S}}.}

El espacio de Schwartz es invariante con respecto a los operadores diferenciales

con coeficientes polinomiales, es decir de la forma
[ T f ] ( x ) = ? k = 0 m P k ( x ) ( d d x ) n f ( x ) . {\displaystyle
[T\varphi ](x)=\sum _{k=0}^{m}P_{k}(x){\bigg (}{\frac {d}{dx}}{\bigg )}^{n}\varphi
(x).}

donde Pk son polinomios.

Debido a las propiedades
F { d f d x } ( ? ) = i ? � F { f } ( ? ) {\displaystyle {\mathcal {F}}\left\
{{\frac {d\varphi }{dx}}\right\}(\xi )=i\xi \cdot {\mathcal {F}}\{\varphi \}
(\xi )\quad }

y
F { - i x � f ( x ) } ( ? ) = d d ? ( F { f } ( ? ) ) , {\displaystyle {\mathcal
{F}}\{-ix\cdot \varphi (x)\}(\xi )={\frac {d}{d\xi }}{\bigg (}{\mathcal {F}}\
{\varphi \}(\xi ){\bigg )},}

la transformada de Fourier es una herramienta muy importante para el estudio de las

ecuaciones diferenciales tanto para la teor�a como para su resoluci�n pr�ctica.
Propiedades de homomorfismo[editar]
Debido a que las "funciones base" eikx son homomorfismos de la l�nea real (m�s
concretamente, del "grupo del c�rculo") tenemos ciertas identidades �tiles:
Si
g ( x ) = f ( x - y ) {\displaystyle g(x)=f(x-y)}
entonces
g ^ ( k ) = e - i k y f ^ ( k ) {\displaystyle {\hat {g}}(k)=e^{-iky}{\hat {f}}(k)}

La transformada de Fourier es un morfismo:

( f * g ) ^ ( k ) = f ^ ( k ) � g ^ ( k ) {\displaystyle {\widehat {(f*g)}}
(k)={\hat {f}}(k)\cdot {\hat {g}}(k)}

Es decir, la transformada de Fourier de una convoluci�n es el producto de las

transformadas de Fourier.
Uso en ingenier�a[editar]
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
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).
Interpretaci�n geom�trica[editar]
Definido el producto escalar entre funciones de la siguiente manera:
? f , g ? = ? - 8 + 8 f ( x ) g ( x ) d x {\displaystyle \langle f,g\rangle =\int
_{-\infty }^{+\infty }f(x)g(x)\ dx\quad }

la transformada de Fourier se puede entender como el producto escalar entre la

funci�n
x ( t ) {\displaystyle x(t)}
y la exponencial compleja
e i 2 p f t {\displaystyle e^{i2\pi \,ft}}
evaluado sobre todo el rango de frecuencias
f {\displaystyle f}
. Por la interpretaci�n usual del producto escalar, en aquellas frecuencias en las
que la transformada tiene un valor mayor, m�s parecido tiene
x ( t ) {\displaystyle x(t)}
con una exponencial compleja.