Procesamiento Digital de Seales

Transformada de Fourier 1
TRANSFORMADA DE FOURIER DISCRETA
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 DFT 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 DFT.
DEFINICIN
La secuencia de N nmeros complejos x
0
,..., x
N1
se transforma en la secuencia de N nmeros complejos X
0
,..., X
N1

mediante la DFT con la frmula:


Dnde:
i es la unidad imaginaria
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 X
k
puede entonces ser interpretado
como los coeficientes de x en una base ortonormal.)
LA TRANSFORMADA INVERSA DE FOURIER DISCRETA (IDFT)

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
Procesamiento Digital de Seales
Transformada de Fourier 2
expresar sinusoides en trminos de exponentes complejas, lo cual es mucho ms sencillo de manipular. Del mismo modo,
escribiendo en forma polar, obtenemos una sinusoide de amplitud y fase a partir del mdulo y
argumento complejos de , respectivamente:


Dnde:
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 correlaciona la seal de entrada con una frecuencia de 1.)En adelante, los trminos
"secuencia" y "vector" sern considerados equivalentes.
PROPIEDADES
Completitud
La transformada discreta de Fourier es una transformacin lineal e invertible.


Dnde:
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 N-dimensionales.

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

Dnde:
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.
Procesamiento Digital de Seales
Transformada de Fourier 3
Los teoremas de Plancherel y Parseval
Si X
k
y Y
k
son las DFT de x
n
y y
n
respectivamente, entonces el teorema de Plancherel establece que:

Dnde:
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
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
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
representa el vector x entonces:
Si
Entonces
y
Teorema de la convolucin circular y teorema de la correlacin cruzada
El teorema de la convolucin para la 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:
Procesamiento Digital de Seales
Transformada de Fourier 4

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 operaciones 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 operaciones, de modo que se consigue una eficiencia mucho mayor. Adems, las convoluciones
pueden ser utilizadas para calcular de forma eficiente DFT mediante el algoritmo FFT de Rader y el algoritmo FFT de
Bluestein.
Procesamiento Digital de Seales
Transformada de Fourier 5
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 potencialmente mucho ms larga que N. Ambos mtodos
se conocen como overlap-save y overlap-add.
1

Dualidad del teorema de la convolucin
Es posible demostrar que:

Que es la convolucin circular de y .
Polinomio de interpolacin trigonomtrica
El polinomio interpolador trigonomtrico
Para N par,

Para N impar,
Dnde:
Los coeficientes X
k
vienen dados por la DFT de x
n
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 diferentes
entre puntos. 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 es 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 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
Otra forma de interpretar la DFT es dndose cuenta que en puede expresarse como una matriz de Vandermonde:
Procesamiento Digital de Seales
Transformada de Fourier 6

Dnde:

Es una raz de la unidad. La transformada inversa viene entonces dada por la inversa de la matriz anterior:

Con constantes de normalizacin unitarias , la DFT se convierte en una transformacin unitaria, definida por una
matriz unitaria:



Dnde:
det () es el determinante. Dicho determinante es el producto de los valores propios, que siempre son o . En
un espacio vectorial real, una transformacin unitaria puede verse simplemente como una rotacin rgida del
sistema de coordenadas, y todas las propiedades de esta rotacin rgida pueden hallarse en la DFT unitaria. La
ortogonalidad de la DFT se convierte ahora en ortonormalidad.

Si se define como la DFT unitaria del vector entonces

Y el Teorema de Plancherel se expresa como:

Si vemos la DFT simplemente como una transformacin de coordenadas que simplemente expresa los componentes de un
vector en un nuevo sistema de coordenadas, entonces lo anterior 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 mantieneesto es el Teorema de Parseval:
Procesamiento Digital de Seales
Transformada de Fourier 7