Convolución

De Wikipedia, la enciclopedia libre

Convolución en un dispositivo óptico (microscopio de fluorescencia, corte longitudinal de una imagen 3D)

Convolución de dos Pulsos Cuadrados (La función resultante termina siendo un Pulso Triangular) - Hecho por Lautaro Carmona con el Mathematica v5.0

Convolución de un Pulso Cuadrado (como señal de entrada) con la respuesta al impulso de un capacitor para obtener la señal de salida (respuesta del capacitor a dicha señal) - Hecho por Lautaro Carmona con el Mathematica v5.0

En matemáticas y, en particular, análisis funcional, una convolución es un operador matemático que transforma dos funciones f y g en una tercera función que en cierto sentido representa la magnitud en la que se superponen, f y una versión trasladada e invertida de g. Una convolución es un tipo muy general de promedio móvil, como se puede observar si una de las funciones la tomamos como la función característica de un intervalo.

[editar] Definición

La convolución de $f\,$ y $g\,$ se denota $f * g \,$ . Se define como la integral del producto de ambas funciones después de que una sea invertida y desplazada una distancia $τ,$ .

$(f * g )(t) = \int f(\tau) g(t - \tau) d\tau$

El rango de integración dependerá del dominio sobre el que estén definidas las funciones. En el caso de un rango de integración finito, f y g se consideran a menudo como extendidas, periódicamente en ambas direcciones, tal que el término g(τ − t) no implique una violación en el rango. Cuando usamos estos dominios periódicos la convolución a veces se llama cíclica. Desde luego que también es posible extender con ceros los dominios. El nombre usado cuando ponemos en juego estos dominios "cero-extendidos" o bien los infinitos es el de convolución lineal, especialmente en el caso discreto que presentaremos abajo.

Si $X$ y $Y$ son dos variables aleatorias independientes con funciones de densidad de probabilidad f y g, respectivamente, entonces la densidad de probabilidad de la suma X + Y vendrá dada por la convolución f * g.

Para las funciones discretas se puede usar una forma discreta de la convolución. Esto es:

$(f * g)(m) = \sum_n {f(n) g(m - n)} \,$

Cuando multiplicamos dos polinomios, los coeficientes del producto están dados por la convolución de las sucesiones originales de coeficientes, en el sentido dado aquí (usando extensiones con ceros como hemos mencionado).

Generalizando los casos anteriores, la convolución puede ser definida para cualesquiera dos funciones cuadrado-integrables definidas sobre un grupo topológico localmente compacto. Una generalización diferente es la convolución de distribuciones.

[editar] Uso

La convolución y las operaciones relacionadas se encuentran en muchas aplicaciones de ingeniería y matemáticas.

En estadística, como ya dijimos, un promedio móvil ponderado es una convolución.
En teoría de la probabilidad, la distribución de probabilidad de la suma de dos variables aleatorias independientes es la convolución de cada una de sus distribuciones de probabilidad.
En óptica, muchos tipos de "manchas" se describen con convoluciones. Una sombra (e.g. la sombra en la mesa cuando tenemos la mano entre ésta y la fuente de luz) es la convolución de la forma de la fuente de luz que crea la sombra y del objeto cuya sombra se está proyectando. Una fotografía desenfocada es la convolución de la imagen correcta con el círculo borroso formado por el diafragma del iris.
En acústica, un eco es la convolución del sonido original con una función que represente los objetos variados que lo reflejan.
En ingeniería eléctrica y otras disciplinas, la salida de un sistema lineal (estacionario o bien tiempo-invariante o espacio-invariante) es la convolución de la entrada con la respuesta del sistema a un impulso (ver animaciones).
En física, allí donde haya un sistema lineal con un "principio de superposición", aparece una operación de convolución.

[editar] Propiedades

Las propiedades de los diferentes operadores de convolución son

[editar] Asociatividad con multiplicación escalar

$a (f * g) = (a f) * g = f * (a g) \,$

para todo número complejo o real $a$ .

[editar] Regla de derivación

$\mathcal{D}(f * g) = \mathcal{D}f * g = f * \mathcal{D}g \,$

donde Df denota la derivada de f o, en el caso discreto, el operador diferencia

$\mathcal{D}f(n) = f(n+1) - f(n)$ .

[editar] Teorema de convolución

$\mathcal{F}(f * g) ={(\mathcal{F} (f)) \cdot (\mathcal{F} (g))}$

donde $\mathcal{F}$ denota la Transformada de Fourier de f. Este teorema también se cumple con la Transformada de Laplace.

[editar] Convoluciones de grupos

Si G es. cierto grupo dotado de una medida m (por ejemplo, un grupo topológico localmente compacto Hausdorff con la Medida de Haar) y si f y g son funciones real- o complejo-valuadas y m-integrables de G, entonces podemos definir su convolución como

$(f * g)(x) = \int_G f(y)g(xy^{-1})\,dm(y) \,$

En este caso también es posible dar, por ejemplo, un teorema de convolución, que sin embargo es mucho más difícil de presentar y que requiere de la teoría de la representación para estos tipos de grupos así como el Teorema de Peter-Weyl del Análisis armónico. Es muy difícil hacer dichos cálculos sin más estructura, y los grupos de Lie son los marcos donde se deben hacer las cosas.