Transformada de Fourier discreta

En matemáticas, la transformada discreta de Fourier o DFT (del inglés, discrete Fourier transform) es un tipo de transformada discreta utilizada en el análisis de Fourier. Transforma una función matemática en otra, obteniendo una representación en el dominio de la frecuencia, siendo la función original una función en el dominio del tiempo. Pero la DFT requiere que la función de entrada sea una secuencia discreta y de duración finita. Dichas secuencias se suelen generar a partir del muestreo de una función continua, como puede ser la voz humana. Al contrario que la transformada de Fourier en tiempo discreto (DTFT), esta transformación únicamente evalúa suficientes componentes frecuenciales para reconstruir el segmento finito que se analiza. Utilizar la DFT implica que el segmento que se analiza es un único período de una señal periódica 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 razón, la DFT inversa (IDFT) no puede reproducir el dominio del tiempo completo, a no ser que la entrada sea periódica indefinidamente. Por estas razones, se dice que la DFT es una transformada de Fourier para análisis de señales de tiempo discreto y dominio finito. Las funciones sinusoidales base que surgen de la descomposición tienen las mismas propiedades.

La entrada de la DFT es una secuencia finita de números reales o complejos, de modo que es ideal para procesar información almacenada en soportes digitales. En particular, la DFT se utiliza comúnmente en procesado digital de señales y otros campos relacionados dedicados a analizar las frecuencias que contiene una señal muestreada, también para resolver ecuaciones diferenciales parciales, y para llevar a cabo operaciones como convoluciones o multiplicaciones de grandes números enteros. Un factor muy importante para este tipo de aplicaciones es que la DFT puede ser calculada de forma eficiente en la práctica utilizando el algoritmo de la transformada rápida de Fourier o FFT (Fast Fourier Transform).

Los algoritmos FFT se utilizan tan habitualmente para calcular DFTs que el término "FFT" muchas veces se utiliza en lugar de "DFT" en lenguaje coloquial. Formalmente, hay una diferencia clara: "DFT" hace alusión a una transformación o función matemática, independientemente de cómo se calcule, mientras que "FFT" se refiere a una familia específica de algoritmos para calcular DFTs.

Definición

La secuencia de N números complejos x₀, ..., x_N−1 se transforma en la secuencia de N números complejos X₀, ..., X_N−1 mediante la DFT con la fórmula:

${\displaystyle X_{k}=\sum _{n=0}^{N-1}x_{n}e^{-{\frac {2\pi i}{N}}kn}\quad \quad k=0,\dots ,N-1}$

donde i es la unidad imaginaria y ${\displaystyle e^{\frac {2\pi i}{N}}}$ es la N-ésima raíz de la unidad. (Esta expresión se puede escribir también en términos 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 se denota a veces por el símbolo ${\displaystyle {\mathcal {F}}}$, igual que en ${\displaystyle \mathbf {X} ={\mathcal {F}}\left\{\mathbf {x} \right\}}$ o ${\displaystyle {\mathcal {F}}\left(\mathbf {x} \right)}$ o ${\displaystyle {\mathcal {F}}\mathbf {x} }$.

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

${\displaystyle x_{n}={\frac {1}{N}}\sum _{k=0}^{N-1}X_{k}e^{{\frac {2\pi i}{N}}kn}\quad \quad n=0,\dots ,N-1.}$

Una descripción simple de estas ecuaciones es que los números complejos ${\displaystyle X_{k}}$ representan la amplitud y fase de diferentes componentes sinusoidales de la señal de entrada ${\displaystyle x_{n}}$. La DFT calcula ${\displaystyle X_{k}}$ a partir de ${\displaystyle x_{n}}$, mientras que la IDFT muestra cómo calcular ${\displaystyle x_{n}}$ como la suma de componentes sinusoidales ${\displaystyle (1/N)X_{k}e^{{\frac {2\pi i}{N}}kn}}$ con una frecuencia de ${\displaystyle k/N}$ ciclos por muestra. Escribiendo las ecuaciones de este modo, estamos haciendo un uso extensivo de la fórmula de Euler para expresar sinusoides en términos de exponentes complejas, lo cual es mucho más sencillo de manipular. Del mismo modo, escribiendo ${\displaystyle X_{k}}$ en forma polar, obtenemos una sinudoide de amplitud ${\displaystyle A_{k}/N}$ y fase ${\displaystyle \phi _{k}}$ a partir del módulo y argumento complejos de ${\displaystyle X_{k}}$, respectivamente:

${\displaystyle A_{k}=|X_{k}|={\sqrt {\operatorname {Re} (X_{k})^{2}+\operatorname {Im} (X_{k})^{2}}},}$

${\displaystyle \varphi _{k}=\arg(X_{k})=\operatorname {atan2} {\big (}\operatorname {Im} (X_{k}),\operatorname {Re} (X_{k}){\big )},}$

donde atan2 es la forma bi-argumental de la función arcotangente. Nótese que el factor de normalización 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 varían dependiendo de la aplicación. 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 normalización sea 1/N. Una normalización de ${\displaystyle 1/{\sqrt {N}}}$ para ambas DFT y IDFT hace las transformadas unitarias, lo cual tiene ciertas ventajas teóricas, pero suele ser más práctico a la hora de efectuar operaciones numéricas 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 ${\displaystyle X_{k}}$ es la amplitud de una "frecuencia positiva" ${\displaystyle 2\pi k/N}$. De forma equivalente, la DFT se suele considerar como un filtro adaptado: cuando se busca una frecuencia de +1, se correlaciona la señal de entrada con una frecuencia de −1.)

En adelante, los términos "secuencia" y "vector" serán considerados equivalentes.

Propiedades

Completitud

La transformada discreta de Fourier es una transformación lineal e invertible.

${\displaystyle {\mathcal {F}}\colon \mathbb {C} ^{N}\to \mathbb {C} ^{N}}$

donde C denota el cuerpo de los números complejos. En otras palabras, para cada N > 0, cualquier vector complejo N-dimensional tiene una DFT y una IDFT que consisten también en vectores complejos N-dimensionales.

Ortogonalidad

Los vectores ${\displaystyle e^{{\frac {2\pi i}{N}}kn}}$ forman una base ortogonal sobre el cuerpo de los vectores complejos N-dimensionales:

${\displaystyle \sum _{n=0}^{N-1}\left(e^{{\frac {2\pi i}{N}}kn}\right)\left(e^{-{\frac {2\pi i}{N}}k'n}\right)=N~\delta _{kk'}}$

donde ${\displaystyle ~\delta _{kk'}}$ es la delta de Kronecker. Esta condición de ortogonalidad puede ser utilizada para obtener la fórmula de la IDFT a partir de la definición de la DFT, y es equivalente a la propiedad de unicidad.

Los teoremas de Plancherel y Parseval

Si X_k y Y_k son las DFTs de x_n y y_n respectivamente, entonces el teorema de Plancherel establece que:

${\displaystyle \sum _{n=0}^{N-1}x_{n}y_{n}^{*}={\frac {1}{N}}\sum _{k=0}^{N-1}X_{k}Y_{k}^{*}}$

donde el asterisco denota conjugación compleja. El teorema de Parseval es un caso especial del teorema de Plancherel, y dice que:

${\displaystyle \sum _{n=0}^{N-1}|x_{n}|^{2}={\frac {1}{N}}\sum _{k=0}^{N-1}|X_{k}|^{2}.}$

Estos teoremas son también equivalentes a la condición de unicidad.

Periodicidad

Si la expresión que define la DFT se evalúa para todos los enteros k en lugar de únicamente para ${\displaystyle k=0,\dots ,N-1}$, la secuencia infinita resultante es una extensión periódica de la DFT, de período N.

Esta periodicidad puede demostrarse directamente a partir de la definición:

${\displaystyle X_{k+N}\ {\stackrel {\mathrm {def} }{=}}\ \sum _{n=0}^{N-1}x_{n}e^{-{\frac {2\pi i}{N}}(k+N)n}=\sum _{n=0}^{N-1}x_{n}e^{-{\frac {2\pi i}{N}}kn}\underbrace {e^{-2\pi in}} _{1}=\sum _{n=0}^{N-1}x_{n}e^{-{\frac {2\pi i}{N}}kn}=X_{k}.}$

De forma similar, se puede demostrar que la fórmula de la IDFT lleva a una extensión periódica.

Teorema del desplazamiento

Multiplicando ${\displaystyle x_{n}}$ por una fase lineal ${\displaystyle e^{{\frac {2\pi i}{N}}nm}}$ para cualquier entero m equivale a un desplazamiento circular de la salida ${\displaystyle X_{k}}$: ${\displaystyle X_{k}}$ se reemplaza por ${\displaystyle X_{k-m}}$, donde el subíndice se repite periódicamente (período N). De forma similar, un desplazamiento circular de la entrada ${\displaystyle x_{n}}$ equivale a multiplicar la salida ${\displaystyle X_{k}}$ por una fase lineal. Matemáticamente, si ${\displaystyle \{x_{n}\}}$ representa el vector x entonces:

si ${\displaystyle {\mathcal {F}}(\{x_{n}\})_{k}=X_{k}}$

entonces ${\displaystyle {\mathcal {F}}(\{x_{n}\cdot e^{{\frac {2\pi i}{N}}nm}\})_{k}=X_{k-m}}$

y ${\displaystyle {\mathcal {F}}(\{x_{n-m}\})_{k}=X_{k}\cdot e^{-{\frac {2\pi i}{N}}km}}$

Teorema de la convolución circular y teorema de la correlación cruzada

El teorema de la convolución para las transformada de Fourier continua y discreta indica que una convolución 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 convolución circular se define:

${\displaystyle {\begin{aligned}{\mathcal {F}}^{-1}\left\{\mathbf {X\cdot Y} \right\}_{n}\ &{\stackrel {\mathrm {def} }{=}}{\frac {1}{N}}\sum _{k=0}^{N-1}X_{k}\cdot Y_{k}\cdot e^{{\frac {2\pi i}{N}}kn}\\&={\frac {1}{N}}\sum _{k=0}^{N-1}\left(\sum _{l=0}^{N-1}x_{l}e^{-{\frac {2\pi i}{N}}kl}\right)\cdot \left(\sum _{m=0}^{N-1}y_{m}e^{-{\frac {2\pi i}{N}}km}\right)\cdot e^{{\frac {2\pi i}{N}}kn}\\&=\sum _{l=0}^{N-1}x_{l}\sum _{m=0}^{N-1}y_{m}\left({\frac {1}{N}}\sum _{k=0}^{N-1}e^{{\frac {2\pi i}{N}}k(n-l-m)}\right).\end{aligned}}}$

El número entre paréntesis es 0 para todos los valores de m excepto aquellos de la forma ${\displaystyle n-l-pN}$, donde p es un entero cualquiera. En estas posiciones vale 1. Puede ser por tanto reemplazado por una suma infinita de deltas de Kronecker. Nótese que se pueden extender los límites de m hasta infinito, siendo las secuencias x e y definidas nulas fuera de [0,N-1]:

${\displaystyle {\begin{aligned}{\mathcal {F}}^{-1}\left\{\mathbf {X\cdot Y} \right\}_{n}&=\sum _{l=0}^{N-1}x_{l}\sum _{m=-\infty }^{\infty }y_{m}\left(\sum _{p=-\infty }^{\infty }\delta _{m,(n-l-pN)}\right)\\&=\sum _{l=0}^{N-1}x_{l}\sum _{p=-\infty }^{\infty }\underbrace {\left(\sum _{m=-\infty }^{\infty }y_{m}\cdot \delta _{m,(n-l-pN)}\right)} _{y_{n-l-pN}}\\&=\sum _{l=0}^{N-1}x_{l}\left(\sum _{p=-\infty }^{\infty }y_{n-l-pN}\right)\ {\stackrel {\mathrm {def} }{=}}\ (\mathbf {x*y_{N}} )_{n}\ ,\end{aligned}}}$

que es la convolución de la secuencia ${\displaystyle \mathbf {x} }$ con la secuencia ${\displaystyle \mathbf {y} }$ que está extendida periódicamente y definida:

${\displaystyle (\mathbf {y_{N}} )_{n}\ {\stackrel {\mathrm {def} }{=}}\ \sum _{p=-\infty }^{\infty }y_{(n-pN)}=y_{n(modN)}.\,}$

También se puede demostrar que:

${\displaystyle {\mathcal {F}}^{-1}\left\{\mathbf {X^{*}\cdot Y} \right\}_{n}=\sum _{l=0}^{N-1}x_{l}^{*}\cdot (y_{N})_{n+l}\ \ {\stackrel {\mathrm {def} }{=}}\ \ (\mathbf {x\star y_{N}} )_{n}\ ,}$

que es la correlación cruzada de  ${\displaystyle \mathbf {x} }$  y  ${\displaystyle \mathbf {y_{N}} .}$

Una evaluación directa de la convolución requiere ${\displaystyle O(N^{2})}$ operaciones para una secuencia de entrada de longitud N. El método indirecto, usando transformadas, puede sacar provecho de la transformada rápida de Fourier (FFT), que necesita tan sólo ${\displaystyle O(N\log N)}$ operaciones, de modo que se consigue una eficiencia mucho mayor. Además, 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 métodos que usan la convolución circular como parte de un proceso eficiente que obtiene convoluciones normales (no circulares) con una secuencia ${\displaystyle \mathbf {x} }$ o ${\displaystyle \mathbf {y} }$ potencialmente mucho más larga que N. Ambos métodos se conocen como overlap-save y overlap-add.^[1]​

Dualidad del teorema de la convolución

Es posible demostrar que:

${\displaystyle {\mathcal {F}}\left\{\mathbf {x\cdot y} \right\}_{k}\ {\stackrel {\mathrm {def} }{=}}\sum _{n=0}^{N-1}x_{n}\cdot y_{n}\cdot e^{-{\frac {2\pi i}{N}}kn}}$

${\displaystyle ={\frac {1}{N}}(\mathbf {X*Y_{N}} )_{k},\,}$   que es la convolución circular de ${\displaystyle \mathbf {X} }$ y ${\displaystyle \mathbf {Y} }$.

Polinomio de interpolación trigonométrica

El polinomio interpolador trigonométrico

${\displaystyle p(t)={\frac {1}{N}}\left[X_{0}+X_{1}e^{it}+\cdots +X_{N/2-1}e^{(N/2-1)it}+X_{N/2}\cos(Nt/2)+X_{N/2+1}e^{(-N/2+1)it}+\cdots +X_{N-1}e^{-it}\right]}$ para N par,

${\displaystyle p(t)={\frac {1}{N}}\left[X_{0}+X_{1}e^{it}+\cdots +X_{\lfloor N/2\rfloor }e^{\lfloor N/2\rfloor it}+X_{\lfloor N/2\rfloor +1}e^{-\lfloor N/2\rfloor it}+\cdots +X_{N-1}e^{-it}\right]}$ para N impar,

donde los coeficientes X_k vienen dados por la DFT de x_n anterior, satisface la propiedad de interpolación ${\displaystyle p(2\pi n/N)=x_{n}}$ para ${\displaystyle n=0,\ldots ,N-1}$.

Para N par, véase que la Frecuencia de Nyquist ${\displaystyle {\frac {X_{N/2}}{N}}\cos(Nt/2)}$ se maneja de forma especial.

Esta interpolación no es única: el aliasing implica que se podría sumar N a cualquier frecuencia compleja sinusoidal (por ejemplo, cambiando ${\displaystyle e^{-it}}$ por ${\displaystyle e^{i(N-1)t}}$ ) sin que se altere la propiedad de interpolación, pero dando valores diferentes entre ${\displaystyle x_{n}}$ puntos. De todos modos, esto tiene dos propiedades interesantes. En primer lugar, consiste en sinusoides cuyas frecuencias tienen las magnitudes más pequeñas posibles: la interpolación es limitada en banda. Y en segundo lugar, si ${\displaystyle x_{n}}$ son números reales, entonces ${\displaystyle p(t)}$ es también real.

En contraste, el polinomio de interpolación trigonométrica más obvio es el que cuyo rango de frecuencias va de 0 a N-1 (en lugar de ${\displaystyle -N/2}$ to ${\displaystyle +N/2}$ como se ha visto previamente), similar a la fórmula de la DFT inversa. Esta interpolación no minimiza la pendiente, y en general no toma valores reales para un ${\displaystyle x_{n}}$ real; su uso es un error común.

La DFT unitaria

Otra forma de interpretar la DFT es dándose cuenta de que puede expresarse como una matriz de Vandermonde:

${\displaystyle \mathbf {F} ={\begin{bmatrix}\omega _{N}^{0\cdot 0}&\omega _{N}^{0\cdot 1}&\ldots &\omega _{N}^{0\cdot (N-1)}\\\omega _{N}^{1\cdot 0}&\omega _{N}^{1\cdot 1}&\ldots &\omega _{N}^{1\cdot (N-1)}\\\vdots &\vdots &\ddots &\vdots \\\omega _{N}^{(N-1)\cdot 0}&\omega _{N}^{(N-1)\cdot 1}&\ldots &\omega _{N}^{(N-1)\cdot (N-1)}\\\end{bmatrix}}}$

donde

${\displaystyle \omega _{N}=e^{-2\pi i/N}\,}$

es una raíz de la unidad. La transformada inversa viene entonces dada por la inversa de la matriz anterior:

${\displaystyle \mathbf {F} ^{-1}={\frac {1}{N}}\mathbf {F} ^{*}}$

Con constantes de normalización unitarias ${\displaystyle 1/{\sqrt {N}}}$, la DFT se convierte en una transformación unitaria, definida por una matriz unitaria:

${\displaystyle \mathbf {U} =\mathbf {F} /{\sqrt {N}}}$

${\displaystyle \mathbf {U} ^{-1}=\mathbf {U} ^{*}}$

${\displaystyle |\det(\mathbf {U} )|=1}$

donde det()  es el determinante. Dicho determinante es el producto de los valores propios, que siempre son ${\displaystyle \pm 1}$ o ${\displaystyle \pm i}$. En un espacio vectorial real, una transformación unitaria puede verse simplemente como una rotación rígida del sistema de coordenadas, y todas las propiedades de esta rotación rígida pueden hallarse en la DFT unitaria. La ortogonalidad de la DFT se convierte ahora en ortonormalidad.

${\displaystyle \sum _{m=0}^{N-1}U_{km}U_{mn}^{*}=\delta _{kn}}$

Si ${\displaystyle \mathbf {X} }$ se define como la DFT unitaria del vector ${\displaystyle \mathbf {x} }$ entonces

${\displaystyle X_{k}=\sum _{n=0}^{N-1}U_{kn}x_{n}}$

y el Teorema de Plancherel se expresa como:

${\displaystyle \sum _{n=0}^{N-1}x_{n}y_{n}^{*}=\sum _{k=0}^{N-1}X_{k}Y_{k}^{*}}$

Si vemos la DFT simplemente como una transformación de coordenadas que simplemente expresa los componentes de un vector en un nuevo sistema de coordenadas, entonces lo anterior es la demostración de que el producto escalar de dos vectores se conserva en una transformación unitaria de la DFT. Para el caso especial ${\displaystyle \mathbf {x} =\mathbf {y} }$, esto implica que la longitud del vector también se mantiene—esto es el Teorema de Parseval:

${\displaystyle \sum _{n=0}^{N-1}|x_{n}|^{2}=\sum _{k=0}^{N-1}|X_{k}|^{2}}$

Véase también

• Imagen digital

Referencias

Enlaces externos

• Weisstein, Eric W. «Discrete Fourier Transform». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.