Transformada de Fourier discreta

Para otros usos de este trmino, vase Transformacin (desambiguacin).

En matemticas, la transformada discreta de Fourier o DFT (del ingls, discrete Fourier
transform) es un tipo de transformada discreta utilizada en el anlisis de Fourier. Transforma
una funcin matemtica en otra, obteniendo una representacin en el dominio de la
frecuencia, siendo la funcin original una funcin en el dominio del tiempo. Pero la DFT
requiere que la funcin de entrada sea una secuencia discreta y de duracin finita. Dichas
secuencias se suelen generar a partir del muestreo de una funcin continua, como puede ser
la voz humana. Al contrario que la transformada de Fourier en tiempo discreto (DTFT), esta
transformacin nicamente evala suficientes componentes frecuenciales para reconstruir el
segmento finito que se analiza. Utilizar la DFT implica que el segmento que se analiza es un
nico perodo de una seal peridica que se extiende de forma infinita; si esto no se cumple,
se debe utilizar una ventana para reducir los espurios del espectro. Por la misma razn, la
DFT inversa (IDFT) no puede reproducir el dominio del tiempo completo, a no ser que la
entrada sea peridica indefinidamente. Por estas razones, se dice que la DFT es una
transformada de Fourier para anlisis de seales de tiempo discreto y dominio finito. Las
funciones sinusoidales base que surgen de la descomposicin tienen las mismas propiedades.
La entrada de la DFT es una secuencia finita de nmeros reales o complejos, de modo que es
ideal para procesar informacin almacenada en soportes digitales. En particular, la DFT se
utiliza comnmente en procesado digital de seales y otros campos relacionados dedicados a
analizar las frecuencias que contiene una seal muestreada, tambin para
resolver ecuaciones diferenciales parciales, y para llevar a cabo operaciones
como convoluciones o multiplicaciones de enteros largos. Un factor muy importante para este
tipo de aplicaciones es que la DFT puede ser calculada de forma eficiente en la prctica
utilizando el algoritmo de la transformada rpida de Fourier o FFT (Fast Fourier Transform).
Los algoritmos FFT se utilizan tan habitualmente para calcular DFTs que el trmino "FFT"
muchas veces se utiliza en lugar de "DFT" en lenguaje coloquial. Formalmente, hay una
diferencia clara: "DFT" hace alusin a una transformacin o funcin matemtica,
independientemente de cmo se calcule, mientras que "FFT" se refiere a una familia
especfica de algoritmos para calcular DFTs.
ndice
[ocultar]

1 Definicin

2 Propiedades
o

2.1 Completitud

2.2 Ortogonalidad

2.3 Los teoremas de Plancherel y Parseval

2.4 Periodicidad

2.5 Teorema del desplazamiento

2.6 Teorema de la convolucin circular y teorema de la correlacin cruzada

2.7 Dualidad del teorema de la convolucin

2.8 Polinomio de interpolacin trigonomtrica

2.9 La DFT unitaria

3 Vase tambin

4 Referencias

Definicin[editar]
La secuencia de N nmeros complejos x0, ..., xN1 se transforma en la secuencia de N nmeros
complejos X0, ..., XN1 mediante la DFT con la frmula:

donde i es la unidad imaginaria y

es la N-sima raz de la unidad. (Esta expresin se
puede escribir tambin en trminos de una matriz DFT; cuando se escala de forma
apropiada se convierte en una matriz unitaria y Xk puede entonces ser interpretado como
los coeficientes de x en una base ortonormal.)
La transformada se denota a veces por el smbolo
o

, igual que en

La transformada inversa de Fourier discreta (IDFT) viene dada por

Una descripcin simple de estas ecuaciones es que los nmeros complejos

representan la amplitud y fase de diferentes componentes sinusoidales de la seal de
entrada
. La DFT calcula
a partir de
, mientras que la IDFT muestra cmo
calcular

como la suma de componentes sinusoidales

con

una frecuencia de
ciclos por muestra. Escribiendo las ecuaciones de este
modo, estamos haciendo un uso extensivo de la frmula de Euler para expresar
sinusoides en trminos de exponentes complejas, lo cual es mucho ms sencillo de
manipular. Del mismo modo, escribiendo
en forma polar, obtenemos una
sinudoide de amplitud
de
, respectivamente:

y fase

a partir del mdulo y argumento complejos

donde atan2 es la forma bi-argumental de la funcin arcotangente. Ntese

que el factor de normalizacin que multiplica a la DFT y la IDFT (que son 1 y
1/N) y los signos de los exponentes se colocan meramente por convenio, y
varan dependiendo de la aplicacin. El nico requisito para este convenio es
que la DFT y la IDFT tengan exponentes de signo opuesto y que el producto
de sus factores de normalizacin sea 1/N. Una normalizacin de
para ambas DFT y IDFT hace las transformadas unitarias, lo cual tiene ciertas
ventajas tericas, pero suele ser ms prctico a la hora de efectuar
operaciones numricas con el ordenador efectuar el escalado de una sola vez
(y un escalado unitario suele ser conveniente en otras ocasiones).
(El convenio del signo negativo en el exponente suele ser adecuado porque
significa que
es la amplitud de una "frecuencia positiva"
. De
forma equivalente, la DFT se suele considerar como un filtro adaptado:
cuando se busca una frecuencia de +1, se correla la seal de entrada con
una frecuencia de 1.)
En adelante, los trminos "secuencia" y "vector" sern considerados
equivalentes.

Propiedades[editar]
Completitud[editar]
La transformada discreta de Fourier es una transformacin lineal e invertible.

donde C denota el cuerpo de los nmeros complejos. En otras palabras,

para cada N > 0, cualquier vector complejo N-dimensional tiene una DFT
y una IDFT que consisten tambin en vectores complejos Ndimensionales.

Ortogonalidad[editar]
Los vectores
forman una base ortogonal sobre el cuerpo de los
vectores complejos N-dimensionales:

donde
es la delta de Kronecker. Esta condicin de ortogonalidad
puede ser utilizada para obtener la frmula de la IDFT a partir de la
definicin de la DFT, y es equivalente a la propiedad de unicidad.

Los teoremas de Plancherel y Parseval[editar]

Si Xk y Yk son las DFTs de xn y yn respectivamente, entonces
el teorema de Plancherel establece que:

donde el asterisco denota conjugacin compleja. El teorema de

Parseval es un caso especial del teorema de Plancherel, y dice
que:

Estos teoremas son tambin equivalentes a la condicin de

unicidad.

Periodicidad[editar]
Si la expresin que define la DFT se evala para todos los
enteros k en lugar de nicamente para
, la secuencia infinita resultante es una extensin peridica
de la DFT, de perodo N.
Esta periodicidad puede demostrarse directamente a partir de
la definicin:

De forma similar, se puede demostrar que la frmula de

la IDFT lleva a una extensin peridica.

Teorema del desplazamiento[editar]

Multiplicando
por una fase lineal
para
cualquier entero m equivale a un desplazamiento
circular de la salida
:
se reemplaza por
,
donde el subndice se repite peridicamente (perodo N).
De forma similar, un desplazamiento circular de la
entrada
equivale a multiplicar la salida
por una
fase lineal. Matemticamente, si
vector x entonces:

representa el

si
entonces
y

Teorema de la convolucin circular

y teorema de la correlacin
cruzada[editar]
El teorema de la convolucin para las
transformada de Fourier continua y discreta
indica que una convolucin de dos

secuencias infinitas se puede obtener como

la transformada inversa del producto de las
transformadas de cada una de ellas. Con
secuencias y transformadas de longitud N,
la convolucin circular se define:

El nmero entre parntesis es 0 para

todos los valores de m excepto aquellos
de la forma
, donde p es
un entero cualquiera. En estas
posiciones vale 1. Puede ser por tanto
reemplazado por una suma infinita
de deltas de Kronecker. Ntese que se
pueden extender los lmites de m hasta
infinito, siendo las
secuencias x e y definidas nulas fuera de
[0,N-1]:

que es la convolucin de la
secuencia con la secuencia que
est extendida peridicamente y
definida:

Tambin se puede demostrar

que:

que es la correlacin
cruzada de
y
Una evaluacin directa de la
convolucin
requiere
operacion
es para una secuencia de
entrada de longitud N. El
mtodo indirecto, usando
transformadas, puede sacar
provecho de la transformada
rpida de Fourier (FFT), que
necesita tan
slo
operaci
ones, de modo que se
consigue una eficiencia
mucho mayor. Adems, las
convoluciones pueden ser
utilizadas para calcular de
forma eficiente DFTs
mediante el algoritmo FFT
de Rader y el algoritmo FFT
de Bluestein.
Se han creado otros
mtodos que usan la
convolucin circular como
parte de un proceso
eficiente que obtiene
convoluciones normales (no
circulares) con una
secuencia o potencialm
ente mucho ms larga que
N. Ambos mtodos se
conocen como overlapsave y overlap-add.1

Dualidad del teorema

de la
convolucin[editar]
Es posible demostrar que:

que es la convolucin circular de

Polinomio de
interpolacin
trigonomtrica[edit
ar]
El polinomio
interpolador
trigonomtrico

para N par,

para N impar,
donde los
coeficientes Xk v
ienen dados por
la DFT
de xn anterior,
satisface la
propiedad de
interpolacin
para
.
Para N par,
vase que
la Frecuencia
de
Nyquist

se maneja de
forma especial.
Esta
interpolacin no
es nica: el
aliasing implica
que se podra
sumar N a
cualquier
frecuencia
compleja

sinusoidal (por
ejemplo,
cambiando
por
)
sin que se altere
la propiedad de
interpolacin,
pero dando
valores diferent
es entre
pun
tos. De todos
modos, esto
tiene dos
propiedades
interesantes. En
primer lugar,
consiste en
sinusoides
cuyas
frecuencias
tienen las
magnitudes ms
pequeas
posibles: la
interpolacin es
limitada en
banda. Y en
segundo lugar,
si
son
nmeros reales,
entonces
e
s tambin real.
En contraste, el
polinomio de
interpolacin
trigonomtrica
ms obvio es el
que cuyo rango
de frecuencias
va de 0 a N-1
(en lugar
de

o
como
se ha visto
previamente),
similar a la
frmula de la
DFT inversa.
Esta
interpolacin no
minimiza la

pendiente, y en
general no toma
valores reales
para un
real;
su uso es un
error comn.

La DFT
unitaria[edita
r]
Otra forma de
interpretar la
DFT es
dndose cuenta
que en puede
expresarse
como
una matriz de
Vandermonde:

donde

es una
raz de
la
unidad.
La
transfor
mada
inversa
viene
entonce
s dada
por la
inversa
de la
matriz
anterior:

Con
con
sta

nte
s
de
nor
mali
zaci
n
unit
aria
s
, la
DF
T
se
con
vier
te
en
una
tran
sfor
ma
cin
unit
aria
,
defi
nid
a
por
una
mat
riz
unit
aria
:

donde d
et() es
el
determi
nante.
Dicho
determi
nante es
el
product

o de
los valor
es
propios,
que
siempre
son
o
.
En un
espacio
vectorial
real,
una
transfor
macin
unitaria
puede
verse
simplem
ente
como
una
rotacin
rgida
del
sistema
de
coorden
adas, y
todas
las
propied
ades de
esta
rotacin
rgida
pueden
hallarse
en la
DFT
unitaria.
Laortog
onalidad
de la
DFT se
conviert
e ahora
en orton
ormalida
d.

Si
se
define como
la DFT
unitaria del
vector ent
onces

y el Teorema de
Plancherel se
expresa como:

Si vemos la DFT
simplemente como
una transformacin
de coordenadas qu
simplemente
expresa los
componentes de u
vector en un nuevo
sistema de
coordenadas,
entonces lo anterio
es la demostracin
de que el producto
escalar de dos
vectores se
conserva en una
transformacin
unitaria de la DFT.
Para el caso
especial
,
esto implica que la
longitud del vector
tambin se mantien
esto es
el Teorema de
Parseval: