¿Cuál es la ventaja de las propiedades de convolución de la transformada de Fourier?

Probablemente la aplicación más simple de explicar de la propiedad de convolución es la deconvolución. Como un ejemplo concreto de convolución y deconvolución:

  • Suponga que instala un micrófono omnidireccional en el estacionamiento de un gran complejo de oficinas, de modo que algunos edificios altos miren el micrófono a varias distancias.
  • Supongamos que activamos un petardo y que grabamos el sonido del petardo. Luego, en la repetición de la grabación [matemáticas] X [/ matemáticas], escucharemos el petardo y varios ecos.
  • Supongamos que también activamos unas pocas docenas de petardos cerca del mismo micrófono, con varios retrasos entre sus explosiones. Llamemos a esta grabación [matemáticas] Y [/ matemáticas]. Debido a los edificios, cuando reproducimos [matemática] Y [/ matemática], escucharemos una confusión de ruidos de explosión y sus ecos, algunos más fuertes, otros más silenciosos.
  • Si pudiéramos encender exactamente la misma cadena de petardos sin edificios cercanos, grabaríamos una banda sonora mucho más simple [math] y [/ math], en la que cada petardo se escucha solo una vez, sin ecos.
  • Matemáticamente, la banda sonora confusa [matemática] Y [/ matemática] es solo la convolución de la respuesta al impulso [matemática] X [/ matemática] con la banda sonora más simple [matemática] y [/ matemática]: [matemática] Y = X * y [/ matemáticas].
  • Ahora supongamos que nos gustaría conocer la banda sonora más simple [math] y [/ math]. Configurar exactamente la misma serie de explosiones dos veces, con los mismos intervalos de tiempo en ambas ocasiones, sería bastante difícil. Pero, sabiendo que [matemáticas] Y = X * y [/ matemáticas], podemos reconstruir [matemáticas] y [/ matemáticas], deconvolucionando la grabación confusa [matemáticas] Y [/ matemáticas]:
  • Si observamos la transformación de Fourier [matemática] F (X) [/ matemática] de la grabación de un solo petardo, entonces [matemática] F (X) [/ matemática] describe la “respuesta de impulso” del complejo de oficinas de una manera más útil manera que [matemática] X [/ matemática] hace.
  • Para desconvolucionar [matemáticas] Y [/ matemáticas], comenzamos con las transformadas de Fourier [matemáticas] F (Y) [/ matemáticas] y [matemáticas] F (X) [/ matemáticas], y con la propiedad de convolución de Fourier, que indica nosotros que [matemáticas] F (X) F (y) = F (X * y) [/ matemáticas].
  • Entonces, en principio, podemos recuperar [matemática] F [y) [/ matemática] por división simple de las dos funciones de transformación: [matemática] F (y) = F (X * y) / F (X) = F (Y ) / F (X) [/ matemáticas]. En la práctica, debemos tener cuidado de no dividir por cero en ninguna parte, pero resulta que la función de respuesta al impulso [matemática] F (X) [/ matemática] en realidad nunca desaparece, porque la banda sonora del petardo individual [matemática] X [/ matemática] se compone de algunas explosiones muy breves, sin tonos puros.
  • Habiendo calculado [matemática] F (y) = F (Y) / F (X) [/ matemática], podemos invertir la transformada de Fourier para recuperar [matemática] y [/ matemática]: [matemática] y = F ^ {- 1} (F (Y) / F (X)) [/ matemáticas].

Entonces, para recapitular, comenzamos con dos grabaciones de petardos en el parque de oficinas:

  • [matemáticas] X [/ matemáticas], una grabación de un solo petardo y sus ecos;
  • [matemáticas] Y [/ matemáticas], una grabación de muchos petardos con sus ecos.

Luego, utilizamos la deconvolución para eliminar los ecos de [matemáticas] Y [/ matemáticas], a fin de escuchar una banda sonora derivada [matemáticas] y [/ matemáticas], que revela cómo sonarían los múltiples petardos en una llanura abierta sin edificios cercanos.

Resulta que la transformación de Fourier también puede funcionar en imágenes 2-D, y la transformación 2-D tiene la misma propiedad de convolución. Entonces, si tiene una foto imperfecta de un campo de estrellas, y si sabe con precisión cómo su telescopio difumina la imagen de una sola estrella, entonces es posible eliminar algo de desenfoque de su foto imperfecta, utilizando este mismo truco de desconvolución.

En general, muchos fenómenos físicos se comportan matemáticamente como efectos de convolución, y dado que la convolución puede ser difícil de trabajar, la transformación de Fourier (y la transformación de Laplace) son muy útiles para analizar y modelar tales sistemas. Al mover nuestro modelo matemático al dominio de la frecuencia, de modo que las operaciones de convolución se conviertan en multiplicaciones de transformaciones, a menudo podemos simplificar nuestras manipulaciones matemáticas.

La ventaja habitual de usar transformadas de Fourier para convolución es que podemos realizar convoluciones que serían intratables de manera directa. Me centraré en la convolución discreta, la implementación digital habitual.

La convolución discreta es esencialmente una multiplicación polinómica. Hecho directamente, es tedioso, como todos sabemos. Tenemos que multiplicar cada término en el primero por cada término en el segundo, luego recolectar términos similares. Es muy parecido a multiplicar dos números largos de base 10, solo que no hay acarreos.

Hay otra forma de multiplicar polinomios. Comenzamos instintivamente representando un polinomio por sus coeficientes. En cambio, podemos elegir cualquier N números diferentes como entradas, y representar un polinomio como N valores, su valor en cada una de esas N entradas. Luego, para multiplicar dos polinomios, solo tenemos que multiplicar por pares los valores correspondientes. Es mucho menos tedioso que multiplicar cada término por cada otro término. Para una representación inequívoca, requerimos que N sea más grande que el grado del producto.

Por supuesto, todo este esquema requiere la conversión de la representación del coeficiente a la representación del valor. Eso es exactamente lo que hace la Transformada discreta de Fourier. La Transformada discreta inversa de Fourier, que convierte los valores nuevamente a los coeficientes, es esencialmente el cálculo idéntico.

Inicialmente, esto no fue tan útil, porque evaluar directamente el DFT, es decir, evaluar directamente el polinomio en cada una de las N entradas, resulta ser tan computacionalmente intenso como multiplicar polinomios directamente.

El FFT viene al rescate. Es un algoritmo para calcular todos los N puntos del DFT a la vez, rápido. Ahora podemos multiplicar eficientemente grandes polinomios (es decir, hacer grandes convoluciones) al contenido de nuestros corazones.

¿Ventajas sobre qué para qué?

Mientras tanto, aquí hay una discusión de esas propiedades: https://engineering.purdue.edu/~

Esto también puede ser de interés: Teorema de convolución – Wikipedia

La Transformada de Fourier diagonaliza los operadores de convolución [1]. Entonces puede obtener los valores propios de cosas como las funciones de Green. [2]

Notas al pie

[1] La transformación de Fourier – Diagonalización del operador de convolución

[2] La función de Green – Wikipedia