Articulo de referencia

Circunvolución

Comparación visual de convolución, correlación cruzada y autocorrelación . Para las operaciones que involucran la función F {\displaystyle f} y suponiendo la altura de F {\displ...

Comparación visual de convolución, correlación cruzada y autocorrelación . Para las operaciones que involucran la funciónF{\displaystyle f}y suponiendo la altura deF{\displaystyle f}es 1.0, el valor del resultado en 5 puntos diferentes está indicado por el área sombreada debajo de cada punto. La simetría deF{\displaystyle f}esa es la razónFgramo{\displaystyle f\star g}ygramoF{\displaystyle g*f}son idénticos en este ejemplo.

En matemáticas (en particular, en análisis funcional ), la convolución es una operación matemática sobre dos funciones.F{\displaystyle f}ygramo{\displaystyle g}que produce una tercera funciónFgramo{\displaystyle f*g}La integral se define como el producto de dos funciones después de reflejar una de ellas respecto al eje y y desplazarla. El término convolución se refiere tanto a la función resultante como al proceso de cálculo. La integral se evalúa para todos los valores de desplazamiento, obteniendo así la función de convolución. La elección de la función que se refleja y desplaza antes de la integral no altera el resultado (véase conmutatividad ). Gráficamente, expresa cómo la forma de una función se modifica por la otra.

Algunas características de la convolución son similares a la correlación cruzada : para funciones de valor real, de una variable continua o discreta, la convoluciónFgramo{\displaystyle f*g}difiere de la correlación cruzadaFgramo{\displaystyle f\star g}solo en queF(incógnita){\displaystyle f(x)}ogramo(incógnita){\displaystyle g(x)}se refleja en el eje y en la convolución; por lo tanto, es una correlación cruzada degramo(incógnita){\displaystyle g(-x)}yF(incógnita){\displaystyle f(x)}, oF(incógnita){\displaystyle f(-x)}ygramo(incógnita){\displaystyle g(x)}. [ A ]  Para funciones de valor complejo, el operador de correlación cruzada es el adjunto del operador de convolución.

La convolución tiene aplicaciones que incluyen probabilidad , estadística , acústica , espectroscopia , procesamiento de señales y procesamiento de imágenes , visión por computadora y visión humana , geofísica , ingeniería , física y ecuaciones diferenciales . [ 1 ]

La convolución se puede definir para funciones en el espacio euclidiano y otros grupos (como estructuras algebraicas ). Por ejemplo, las funciones periódicas , como la transformada de Fourier de tiempo discreto , se pueden definir en un círculo y convolucionar mediante una convolución periódica . (Véase la fila 18 en DTFT § Propiedades ). Se puede definir una convolución discreta para funciones en el conjunto de los enteros . 

Las generalizaciones de la convolución tienen aplicaciones en el campo del análisis numérico y el álgebra lineal numérica , así como en el diseño e implementación de filtros de respuesta de impulso finito en el procesamiento de señales.

El cálculo de la inversa de la operación de convolución se conoce como deconvolución .

Definición

La convolución deF{\displaystyle f}ygramo{\displaystyle g}está escritoFgramo{\displaystyle f*g}, que denota el operador con el símbolo{\displaystyle *}. [ B ] Se define como la integral del producto de las dos funciones después de que una de ellas se refleja respecto al eje y y se desplaza. Como tal, es un tipo particular de transformación integral :

(Fgramo)(t):=F(τ)gramo(tτ)dτ.{\displaystyle (f*g)(t):=\int _{-\infty }^{\infty }f(\tau )g(t-\tau )\,d\tau .}

Una definición equivalente es (véase conmutatividad ):

(Fgramo)(t):=F(tτ)gramo(τ)dτ.{\displaystyle (f*g)(t):=\int _{-\infty }^{\infty }f(t-\tau )g(\tau )\,d\tau .}

Mientras que el símbolot{\displaystyle t}Se utiliza arriba, no es necesario que represente el dominio del tiempo. En cadat{\displaystyle t}La fórmula de convolución se puede describir como el área bajo la función.F(τ){\displaystyle f(\tau )}ponderado por la funcióngramo(τ){\displaystyle g(-\tau )}desplazado por la cantidadt{\displaystyle t}. Comot{\displaystyle t}cambios, la función de ponderacióngramo(tτ){\displaystyle g(t-\tau )}enfatiza diferentes partes de la función de entradaF(τ){\displaystyle f(\tau )}; Sit{\displaystyle t}es un valor positivo, entoncesgramo(tτ){\displaystyle g(t-\tau )}es igual agramo(τ){\displaystyle g(-\tau )}que se desliza o se desplaza a lo largo delτ{\displaystyle \tau }-eje hacia la derecha (hacia+{\displaystyle +\infty }) por la cantidad det{\displaystyle t}, mientras que sit{\displaystyle t}es un valor negativo, entoncesgramo(tτ){\displaystyle g(t-\tau )}es igual agramo(τ){\displaystyle g(-\tau )}que se desliza o se desplaza hacia la izquierda (hacia{\displaystyle -\infty }) por la cantidad de|t|{\displaystyle |t|}.

Para funcionesF{\displaystyle f},gramo{\displaystyle g}compatible únicamente con[0,){\displaystyle [0,\infty )}(es decir, cero para argumentos negativos), los límites de integración se pueden truncar, lo que da como resultado:

(Fgramo)(t)=0tF(τ)gramo(tτ)dτ para F,gramo:[0,)R.{\displaystyle (f*g)(t)=\int _{0}^{t}f(\tau )g(t-\tau )\,d\tau \quad \ {\text{para }}f,g:[0,\infty )\to \mathbb {R} .}

Para la formulación multidimensional de la convolución, consulte el dominio de definición (a continuación).

Notación

Una convención común de notación en ingeniería es: [ 2 ]

F(t)gramo(t):=F(τ)gramo(tτ)dτ(Fgramo)(t),{\displaystyle f(t)*g(t)\mathrel {:=} \underbrace {\int _{-\infty }^{\infty }f(\tau )g(t-\tau )\,d\tau } _{(f*g)(t)},}

que debe interpretarse cuidadosamente para evitar confusiones. Por ejemplo,F(t)gramo(tt0){\displaystyle f(t)*g(t-t_{0})}es equivalente a(Fgramo)(tt0){\displaystyle (f*g)(t-t_{0})}, peroF(tt0)gramo(tt0){\displaystyle f(t-t_{0})*g(t-t_{0})}es de hecho equivalente a(Fgramo)(t2t0){\displaystyle (f*g)(t-2t_{0})}. [ 3 ]

Relaciones con otros transformaciones

Dadas dos funcionesF(t){\displaystyle f(t)}ygramo(t){\displaystyle g(t)}con transformadas de Laplace bilaterales (transformada de Laplace de dos lados)

F(s)=mis F() d{\displaystyle F(s)=\int _{-\infty }^{\infty }e^{-su}\ f(u)\ {\text{d}}u}

y

GRAMO(s)=misv gramo(v) dv{\displaystyle G(s)=\int _{-\infty }^{\infty }e^{-sv}\ g(v)\ {\text{d}}v}

respectivamente, la operación de convolución(Fgramo)(t){\displaystyle (f*g)(t)}se puede definir como la transformada inversa de Laplace del producto deF(s){\displaystyle F(s)}yGRAMO(s){\displaystyle G(s)}. [ 4 ] [ 5 ] Más precisamente,

F(s)GRAMO(s)=mis F() dmisv gramo(v) dv=mis(+v) F() gramo(v) d dv{\displaystyle {\begin{aligned}F(s)\cdot G(s)&=\int _{-\infty }^{\infty }e^{-su}\ f(u)\ {\text{d}}u\cdot \int _{-\infty }^{\infty }e^{-sv}\ g(v)\ {\text{d}}v\\&=\int _{-\infty }^{\infty }\int _{-\infty }^{\infty }e^{-s(u+v)}\ f(u)\ g(v)\ {\text{d}}u\ {\text{d}}v\end{aligned}}}

Dejart=+v{\displaystyle t=u+v}, entonces

F(s)GRAMO(s)=mist F() gramo(t) d dt=mistF() gramo(t) d(Fgramo)(t) dt=mist(Fgramo)(t) dt.{\displaystyle {\begin{aligned}F(s)\cdot G(s)&=\int _{-\infty }^{\infty }\int _{-\infty }^{\infty }e^{-st}\ f(u)\ g(t-u)\ {\text{d}}u\ {\text{d}}t\\&=\int _{-\infty }^{\infty }e^{-st}\underbrace {\int _{-\infty }^{\infty }f(u)\ g(t-u)\ {\text{d}}u} _{(f*g)(t)}\ {\text{d}}t\\&=\int _{-\infty }^{\infty }e^{-st}(f*g)(t)\ {\text{d}}t.\end{aligned}}}

Tenga en cuenta queF(s)GRAMO(s){\displaystyle F(s)\cdot G(s)}es la transformada de Laplace bilateral de(Fgramo)(t){\displaystyle (f*g)(t)}. Se puede realizar una derivación similar utilizando la transformada de Laplace unilateral (transformada de Laplace de un solo lado).

La operación de convolución también describe la salida (en términos de la entrada) de una clase importante de operaciones conocidas como lineales invariantes en el tiempo (LTI). Consulte la teoría de sistemas LTI para una derivación de la convolución como resultado de las restricciones LTI. En términos de las transformadas de Fourier de la entrada y la salida de una operación LTI, no se crean nuevos componentes de frecuencia. Los existentes solo se modifican (amplitud y/o fase). En otras palabras, la transformada de salida es el producto punto a punto de la transformada de entrada con una tercera transformada (conocida como función de transferencia ). Consulte el teorema de convolución para una derivación de esta propiedad de la convolución. A la inversa, la convolución puede derivarse como la transformada inversa de Fourier del producto punto a punto de dos transformadas de Fourier.

Explicación visual

Acontecimientos históricos

Uno de los primeros usos de la integral de convolución apareció en la derivación del teorema de Taylor realizada por D'Alembert en Recherches sur différents points importants du système du monde, publicada en 1754. [ 6 ]

Además, una expresión del tipo:

F()gramo(incógnita)d{\displaystyle \int f(u)\cdot g(x-u)\,du}

Sylvestre François Lacroix lo utiliza en la página 505 de su libro titulado Tratado de diferencias y series , que es el último de los 3 volúmenes de la serie enciclopédica: Traité du calcul différentiel et du calcul intégral , Chez Courcier, París, 1797–1800. [ 7 ] Poco después, las operaciones de convolución aparecen en las obras de Pierre Simon Laplace , Jean-Baptiste Joseph Fourier , Siméon Denis Poisson y otros. El término en sí no se popularizó hasta las décadas de 1950 o 1960. Antes de eso, a veces se le conocía como Faltung (que significa plegamiento en alemán ), producto de composición , integral de superposición e integral de Carson . [ 8 ] Sin embargo, aparece ya en 1903, aunque la definición es bastante desconocida en usos más antiguos. [ 9 ] [ 10 ]

La operación:

0tφ(s)ψ(ts)ds,0t<,{\displaystyle \int _{0}^{t}\varphi (s)\psi (t-s)\,ds,\quad 0\leq t<\infty ,}

es un caso particular de productos de composición considerados por el matemático italiano Vito Volterra en 1913. [ 11 ]

convolución circular

Cuando una funcióngramoT{\displaystyle g_{T}}es periódico, con períodoT{\displaystyle T}, luego para funciones,F{\displaystyle f}, de tal manera queFgramoT{\displaystyle f*g_{T}}Existe, la convolución también es periódica e idéntica a:

(FgramoT)(t)t0t0+T[k=F(τ+kT)]gramoT(tτ)dτ,{\displaystyle (f*g_{T})(t)\equiv \int _{t_{0}}^{t_{0}+T}\left[\sum _{k=-\infty }^{\infty }f(\tau +kT)\right]g_{T}(t-\tau )\,d\tau ,}

dóndet0{\displaystyle t_{0}}es una elección arbitraria. La suma se llama suma periódica de la funciónF{\displaystyle f}.

CuandogramoT{\displaystyle g_{T}}es una suma periódica de otra función,gramo{\displaystyle g}, entoncesFgramoT{\displaystyle f*g_{T}}se conoce como una convolución circular o cíclica deF{\displaystyle f}ygramo{\displaystyle g}.

Y si la suma periódica anterior se reemplaza porFT{\displaystyle f_{T}}, la operación se denomina convolución periódica deFT{\displaystyle f_{T}}ygramoT{\displaystyle g_{T}}.

Convolución discreta

Animación de convolución 2D discreta

Para funciones de valor complejoF{\displaystyle f}ygramo{\displaystyle g}definido en el conjuntoZ{\displaystyle \mathbb {Z} }de enteros, la convolución discreta deF{\displaystyle f}ygramo{\displaystyle g}está dado por: [ 12 ]

(Fgramo)[norte]=metro=F[metro]gramo[nortemetro],{\displaystyle (f*g)[n]=\sum _{m=-\infty }^{\infty }f[m]g[n-m],}

o equivalentemente (véase conmutatividad ) mediante:

(Fgramo)[norte]=metro=F[nortemetro]gramo[metro].{\displaystyle (f*g)[n]=\sum _{m=-\infty }^{\infty }f[n-m]g[m].}

La convolución de dos secuencias finitas se define extendiendo dichas secuencias a funciones con soporte finito en el conjunto de los enteros. Cuando las secuencias son los coeficientes de dos polinomios , los coeficientes del producto ordinario de estos polinomios son la convolución de las secuencias originales. Esto se conoce como el producto de Cauchy de los coeficientes de las secuencias.

Así, cuando g es distinto de cero en un intervalo finito [ m , + m ] (que representa, por ejemplo, una respuesta impulsional finita ), se puede utilizar una suma finita: [ 13 ]

(Fgramo)[norte]=metro=METROMETROF[nortemetro]gramo[metro].{\displaystyle (f*g)[n]=\sum _{m=-M}^{M}f[n-m]g[m].}

Convolución discreta circular

Cuando una funcióngramonorte{\displaystyle g_{_{N}}}es periódico, con períodonorte,{\displaystyle N,}luego para funciones,F,{\displaystyle f,}de tal manera queFgramonorte{\displaystyle f*g_{_{N}}}existe, la convolución también es periódica e idéntica a :

(Fgramonorte)[norte]metro=0norte1(k=F[metro+knorte])gramonorte[nortemetro].{\displaystyle (f*g_{_{N}})[n]\equiv \sum _{m=0}^{N-1}\left(\sum _{k=-\infty }^{\infty }{f}[m+kN]\right)g_{_{N}}[n-m].}

El resumen sobrek{\displaystyle k}se denomina suma periódica de la funciónF.{\displaystyle f.}

Sigramonorte{\displaystyle g_{_{N}}}es una suma periódica de otra función,gramo,{\displaystyle g,}entoncesFgramonorte{\displaystyle f*g_{_{N}}}se conoce como una convolución circular deF{\displaystyle f}ygramo.{\displaystyle g.}

Cuando las duraciones distintas de cero de ambosF{\displaystyle f}ygramo{\displaystyle g}están limitados al intervalo[0,norte1],{\displaystyle [0,N-1],} Fgramonorte{\displaystyle f*g_{_{N}}}se reduce a estas formas comunes :

La notaciónFnortegramo{\displaystyle f*_{N}g}para la convolución cíclica denota la convolución sobre el grupo cíclico de enteros módulo N.

La convolución circular surge con mayor frecuencia en el contexto de la convolución rápida con un algoritmo de transformada rápida de Fourier (FFT).

Algoritmos de convolución rápidos

En muchas situaciones, las convoluciones discretas se pueden convertir en convoluciones circulares para que se puedan utilizar transformadas rápidas con una propiedad de convolución para implementar el cálculo. Por ejemplo, la convolución de secuencias de dígitos es la operación de núcleo en la multiplicación de números de varios dígitos, que por lo tanto se puede implementar de manera eficiente con técnicas de transformación ( Knuth 1997 , §4.3.3.C ; von zur Gathen y Gerhard 2003 , §8.2 ).

La ecuación 1 requiere N operaciones aritméticas por valor de salida y operaciones para N salidas. Esto se puede reducir significativamente con varios algoritmos rápidos. El procesamiento digital de señales y otras aplicaciones suelen utilizar algoritmos de convolución rápidos para reducir el coste de la convolución a una complejidad de O( N log N ).

Los algoritmos de convolución rápida más comunes utilizan algoritmos de transformada rápida de Fourier (FFT) mediante el teorema de convolución circular . Específicamente, la convolución circular de dos secuencias de longitud finita se encuentra tomando una FFT de cada secuencia, multiplicando punto por punto y luego realizando una FFT inversa. Las convoluciones del tipo definido anteriormente se implementan de manera eficiente utilizando esa técnica junto con la extensión de ceros y/o el descarte de porciones de la salida. Otros algoritmos de convolución rápida, como el algoritmo de Schönhage-Strassen o la transformada de Mersenne, [ 14 ] utilizan transformadas rápidas de Fourier en otros anillos . El método de Winograd se utiliza como alternativa a la FFT. [ 15 ] Acelera significativamente la convolución 1D, [ 16 ] 2D, [ 17 ] y 3D [ 18 ] .

Si una secuencia es mucho más larga que la otra, la extensión a cero de la secuencia más corta y la convolución circular rápida no son el método computacionalmente más eficiente disponible. [ 19 ] En cambio, descomponer la secuencia más larga en bloques y convolucionar cada bloque permite algoritmos más rápidos como el método de superposición-guardado y el método de superposición-suma . [ 20 ] Un método de convolución híbrido que combina algoritmos de bloques y FIR permite una latencia de entrada-salida cero que es útil para cálculos de convolución en tiempo real. [ 21 ]

Dominio de definición

La convolución de dos funciones de valor complejo en R d es en sí misma una función de valor complejo en R d , definida por:

(Fgramo)(incógnita)=RdF(y)gramo(incógnitay)dy=RdF(incógnitay)gramo(y)dy,{\displaystyle (f*g)(x)=\int _{\mathbf {R} ^{d}}f(y)g(x-y)\,dy=\int _{\mathbf {R} ^{d}}f(x-y)g(y)\,dy,}

y está bien definida solo si f y g decaen suficientemente rápido en el infinito para que exista la integral. Las condiciones para la existencia de la convolución pueden ser complicadas, ya que una explosión en g en el infinito puede compensarse fácilmente con un decaimiento suficientemente rápido en f . Por lo tanto, la cuestión de la existencia puede implicar diferentes condiciones sobre f y g :

Funciones compatibles de forma compacta

Si f y g son funciones continuas con soporte compacto , entonces su convolución existe y también tiene soporte compacto y es continua ( Hörmander 1983 , Capítulo 1) . De forma más general, si cualquiera de las funciones (digamos f ) tiene soporte compacto y la otra es localmente integrable , entonces la convolución fg está bien definida y es continua.

La convolución de f y g también está bien definida cuando ambas funciones son localmente integrables al cuadrado en R y tienen soporte en un intervalo de la forma [ a , +∞) (o ambas tienen soporte en [−∞, a ] ).

Funciones integrables

La convolución de f y g existe si f y g son funciones integrables de Lebesgue en L 1 ( R d ) , y en este caso fg también es integrable ( Stein & Weiss 1971 , Teorema 1.3) . Esto es una consecuencia del teorema de Tonelli . Esto también es cierto para funciones en L 1 , bajo la convolución discreta, o más generalmente para la convolución en cualquier grupo .

Asimismo, si fL 1 ( R d )  y gL p ( R d ) donde 1 ≤ p ≤ ∞ , entonces f * gL p ( R d ), y   

FgramopagF1gramopag.{\displaystyle \|{f}*g\|_{p}\leq \|f\|_{1}\|g\|_{p}.}

En el caso particular p = 1 , esto muestra que L 1 es un álgebra de Banach bajo la convolución (y la igualdad de los dos lados se cumple si f y g son no negativos casi en todas partes).

De forma más general, la desigualdad de Young implica que la convolución es una aplicación bilineal continua entre espacios L p adecuados . Específicamente, si 1 ≤ p , q , r ≤ ∞ satisfacen:

1pag+1q=1r+1,{\displaystyle {\frac {1}{p}}+{\frac {1}{q}}={\frac {1}{r}}+1,}

entonces

FgramorFpaggramoq,FLpag, gramoLq,{\displaystyle \left\Vert f*g\right\Vert _{r}\leq \left\Vert f\right\Vert _{p}\left\Vert g\right\Vert _{q},\quad f\in L^{p},\ g\in L^{q},}

de modo que la convolución es una aplicación bilineal continua de L p × L q a L r . La desigualdad de Young para la convolución también es cierta en otros contextos (grupo circular, convolución en Z ). La desigualdad anterior no es exacta en la recta real: cuando 1 < p , q , r < ∞ , existe una constante B p , q < 1 tal que:

FgramorBpag,qFpaggramoq,FLpag, gramoLq.{\displaystyle \left\Vert f*g\right\Vert _{r}\leq B_{p,q}\left\Vert f\right\Vert _{p}\left\Vert g\right\Vert _{q},\quad f\in L^{p},\ g\in L^{q}.}

El valor óptimo de B p , q fue descubierto en 1975 [ 22 ] e independientemente en 1976, [ 23 ] ver desigualdad de Brascamp–Lieb .

Una estimación más fuerte es cierta siempre que 1 < p , q , r < ∞ :

Fgramordopag,qFpaggramoq,w{\displaystyle \|f*g\|_{r}\leq C_{p,q}\|f\|_{p}\|g\|_{q,w}}

dóndegramoq,w{\displaystyle \|g\|_{q,w}}es la norma L q débil . La convolución también define un mapa continuo bilineal.Lpag,w×Lq,wLr,w{\displaystyle L^{p,w}\times L^{q,w}\to L^{r,w}}para1<pag,q,r<{\displaystyle 1<p,q,r<\infty }, debido a la débil desigualdad de Young: [ 24 ]

Fgramor,wdopag,qFpag,wgramor,w.{\displaystyle \|f*g\|_{r,w}\leq C_{p,q}\|f\|_{p,w}\|g\|_{r,w}.}

Funciones de la desintegración rápida

Además de las funciones con soporte compacto y las funciones integrables, también se pueden convolucionar funciones que tienen un decaimiento suficientemente rápido en el infinito. Una característica importante de la convolución es que si f y g decaen rápidamente, entonces fg también decae rápidamente. En particular, si f y g son funciones que decrecen rápidamente , entonces también lo hace la convolución fg . Combinado con el hecho de que la convolución conmuta con la diferenciación (véase #Propiedades ), se deduce que la clase de funciones de Schwartz es cerrada bajo la convolución ( Stein y Weiss 1971 , Teorema 3.3) .

Distribuciones

Si f es una función suave con soporte compacto y g es una distribución, entonces fg es una función suave definida por

RdF(y)gramo(incógnitay)dy=(Fgramo)(incógnita)do(Rd).{\displaystyle \int _{\mathbb {R} ^{d}}{f}(y)g(x-y)\,dy=(f*g)(x)\in C^{\infty }(\mathbb {R} ^{d}).}

De manera más general, es posible extender la definición de la convolución de una forma única conφ{\displaystyle \varphi }lo mismo que f arriba, de modo que la ley asociativa

F(gramoφ)=(Fgramo)φ{\displaystyle f*(g*\varphi )=(f*g)*\varphi }

sigue siendo válido en el caso en que f es una distribución y g una distribución con soporte compacto ( Hörmander 1983 , §4.2) .

Medidas

La convolución de cualesquiera dos medidas de Borel μ y ν de variación acotada es la medidaμν{\displaystyle \mu *\nu }definido por ( Rudin 1962 )

RdF(incógnita)d(μν)(incógnita)=RdRdF(incógnita+y)dμ(incógnita)dν(y).{\displaystyle \int _{\mathbf {R} ^{d}}f(x)\,d(\mu *\nu )(x)=\int _{\mathbf {R} ^{d}}\int _{\mathbf {R} ^{d}}f(x+y)\,d\mu (x)\,d\nu (y).}

En particular,

(μν)(A)=Rd×Rd1A(incógnita+y)d(μ×ν)(incógnita,y),{\displaystyle (\mu *\nu )(A)=\int _{\mathbf {R} ^{d}\times \mathbf {R} ^{d}}1_{A}(x+y)\,d(\mu \times \nu )(x,y),}

dóndeARd{\displaystyle A\subset \mathbf {R} ^{d}}es un conjunto medible y1A{\displaystyle 1_{A}}es la función indicadora deA{\displaystyle A}.

Esto coincide con la convolución definida anteriormente cuando μ y ν se consideran distribuciones, así como con la convolución de funciones L 1 cuando μ y ν son absolutamente continuas con respecto a la medida de Lebesgue.

La convolución de medidas también satisface la siguiente versión de la desigualdad de Young.

μνμν{\displaystyle \|\mu *\nu \|\leq \|\mu \|\|\nu \|}

donde la norma es la variación total de una medida. Dado que el espacio de medidas de variación acotada es un espacio de Banach , la convolución de medidas puede tratarse con métodos estándar de análisis funcional que podrían no ser aplicables a la convolución de distribuciones.

Propiedades

Propiedades algebraicas

La convolución define un producto en el espacio lineal de funciones integrables. Este producto satisface las siguientes propiedades algebraicas, que formalmente significan que el espacio de funciones integrables con el producto dado por la convolución es un álgebra asociativa conmutativa sin identidad ( Strichartz 1994 , §3.3) . Otros espacios lineales de funciones, como el espacio de funciones continuas de soporte compacto, son cerrados bajo la convolución y, por lo tanto, también forman álgebras asociativas conmutativas.

Conmutatividad
Fgramo=gramoF{\displaystyle f*g=g*f}Prueba: Por definición:(Fgramo)(t)=F(τ)gramo(tτ)dτ{\displaystyle (f*g)(t)=\int _{-\infty }^{\infty }f(\tau )g(t-\tau )\,d\tau }Cambiando la variable de integración a=tτ{\displaystyle u=t-\tau }El resultado es el siguiente.
Asociatividad
F(gramoh)=(Fgramo)h{\displaystyle f*(g*h)=(f*g)*h}Demostración: Esto se deduce del uso del teorema de Fubini (es decir, las integrales dobles se pueden evaluar como integrales iteradas en cualquier orden).
Distributividad
F(gramo+h)=(Fgramo)+(Fh){\displaystyle f*(g+h)=(f*g)+(f*h)}Demostración: Esto se deduce de la linealidad de la integral.
Asociatividad con multiplicación escalar
a(Fgramo)=(aF)gramo{\displaystyle a(f*g)=(af)*g}para cualquier número real (o complejo)a{\displaystyle a}.
Identidad multiplicativa
Ningún álgebra de funciones posee una identidad para la convolución. La falta de identidad no suele ser un inconveniente importante, ya que la mayoría de las colecciones de funciones sobre las que se realiza la convolución pueden convolucionarse con una distribución delta (un impulso unitario, centrado en cero) o, como mínimo (como es el caso de L 1 ) admiten aproximaciones a la identidad . Sin embargo, el espacio lineal de distribuciones con soporte compacto sí admite una identidad bajo la convolución. Específicamente,Fδ=F{\displaystyle f*\delta =f}donde δ es la distribución delta.
Elemento inverso
Algunas distribuciones S tienen un elemento inverso S −1 para la convolución que luego debe satisfacerS1S=δ{\displaystyle S^{-1}*S=\delta }a partir de la cual se puede obtener una fórmula explícita para S −1 .
El conjunto de distribuciones invertibles forma un grupo abeliano bajo la convolución.
conjugación compleja
Fgramo¯=F¯gramo¯{\displaystyle {\overline {f*g}}={\overline {f}}*{\overline {g}}}
inversión del tiempo
Si q(t)=r(t)s(t),{\displaystyle q(t)=r(t)*s(t),} entonces q(t)=r(t)s(t).{\displaystyle q(-t)=r(-t)*s(-t).}

Demostración (utilizando el teorema de convolución ):

q(t) F  Q(F)=R(F)S(F){\displaystyle q(t)\ {\stackrel {\mathcal {F}}{\Longleftrightarrow }}\ \ Q(f)=R(f)S(f)}

q(t) F  Q(F)=R(F)S(F){\displaystyle q(-t)\ {\stackrel {\mathcal {F}}{\Longleftrightarrow }}\ \ Q(-f)=R(-f)S(-f)}

q(t)=F1{R(F)S(F)}=F1{R(F)}F1{S(F)}=r(t)s(t){\displaystyle {\begin{aligned}q(-t)&={\mathcal {F}}^{-1}{\bigg \{}R(-f)S(-f){\bigg \}}\\&={\mathcal {F}}^{-1}{\bigg \{}R(-f){\bigg \}}*{\mathcal {F}}^{-1}{\bigg \{}S(-f){\bigg \}}\\&=r(-t)*s(-t)\end{aligned}}}

Relación con la diferenciación
(Fgramo)=Fgramo=Fgramo{\displaystyle (f*g)'=f'*g=f*g'}Prueba:
(Fgramo)=ddtF(τ)gramo(tτ)dτ=F(τ)tgramo(tτ)dτ=F(τ)gramo(tτ)dτ=Fgramo.{\displaystyle {\begin{aligned}(f*g)'&={\frac {d}{dt}}\int _{-\infty }^{\infty }f(\tau )g(t-\tau )\,d\tau \\&=\int _{-\infty }^{\infty }f(\tau ){\frac {\partial }{\partial t}}g(t-\tau )\,d\tau \\&=\int _{-\infty }^{\infty }f(\tau )g'(t-\tau )\,d\tau =f*g'.\end{aligned}}}
Relación con la integración
SiF(t)=tF(τ)dτ,{\textstyle F(t)=\int _{-\infty }^{t}f(\tau )d\tau ,}yGRAMO(t)=tgramo(τ)dτ,{\textstyle G(t)=\int _{-\infty }^{t}g(\tau )\,d\tau ,}entonces(Fgramo)(t)=(FGRAMO)(t)=t(Fgramo)(τ)dτ.{\displaystyle (F*g)(t)=(f*G)(t)=\int _{-\infty }^{t}(f*g)(\tau )\,d\tau .}

Integración

Si f y g son funciones integrables, entonces la integral de su convolución en todo el espacio se obtiene simplemente como el producto de sus integrales: [ 25 ]

Rd(Fgramo)(incógnita)dincógnita=(RdF(incógnita)dincógnita)(Rdgramo(incógnita)dincógnita).{\displaystyle \int _{\mathbf {R} ^{d}}(f*g)(x)\,dx=\left(\int _{\mathbf {R} ^{d}}f(x)\,dx\right)\left(\int _{\mathbf {R} ^{d}}g(x)\,dx\right).}

Esto se deduce del teorema de Fubini . El mismo resultado se cumple si f y g solo se consideran funciones medibles no negativas, según el teorema de Tonelli .

Diferenciación

En el caso de una variable,

ddincógnita(Fgramo)=dFdincógnitagramo=Fdgramodincógnita{\displaystyle {\frac {d}{dx}}(f*g)={\frac {df}{dx}}*g=f*{\frac {dg}{dx}}}

dóndeddincógnita{\displaystyle {\frac {d}{dx}}}es la derivada . De forma más general, en el caso de funciones de varias variables, se cumple una fórmula análoga con la derivada parcial :

incógnitai(Fgramo)=Fincógnitaigramo=Fgramoincógnitai.{\displaystyle {\frac {\partial }{\partial x_{i}}}(f*g)={\frac {\partial f}{\partial x_{i}}}*g=f*{\frac {\partial g}{\partial x_{i}}}.}

Una consecuencia particular de esto es que la convolución puede verse como una operación de "suavizado": la convolución de f y g es diferenciable tantas veces como f y g lo sean en total.

Estas identidades se cumplen, por ejemplo, bajo la condición de que f y g sean absolutamente integrables y al menos una de ellas tenga una derivada débil absolutamente integrable (L 1 ), como consecuencia de la desigualdad de convolución de Young . Por ejemplo, cuando f es continuamente diferenciable con soporte compacto y g es una función localmente integrable arbitraria,

ddincógnita(Fgramo)=dFdincógnitagramo.{\displaystyle {\frac {d}{dx}}(f*g)={\frac {df}{dx}}*g.}

Estas identidades también se cumplen de forma mucho más amplia en el sentido de distribuciones temperadas si una de f o g es una distribución temperada de rápida disminución , una distribución temperada con soporte compacto o una función de Schwartz, y la otra es una distribución temperada. Por otro lado, dos funciones positivas integrables e infinitamente diferenciables pueden tener una convolución no continua en ningún punto.

En el caso discreto, el operador de diferencias D f ( n ) = f ( n + 1) − f ( n ) satisface una relación análoga:

D(Fgramo)=(DF)gramo=F(Dgramo).{\displaystyle D(f*g)=(Df)*g=f*(Dg).}

Teorema de convolución

El teorema de convolución establece que [ 26 ]

F{Fgramo}=F{F}F{gramo}{\displaystyle {\mathcal {F}}\{f*g\}={\mathcal {F}}\{f\}\cdot {\mathcal {F}}\{g\}}

dóndeF{F}{\displaystyle {\mathcal {F}}\{f\}}denota la transformada de Fourier deF{\displaystyle f}.

Convolución en otros tipos de transformaciones

Este teorema también se aplica a versiones de la transformada de Laplace , la transformada de Laplace bilateral , la transformada Z y la transformada de Mellin .

Convolución en matrices

SiW{\displaystyle {\mathcal {W}}}es la matriz de transformada de Fourier , entonces

W(do(1)incógnitado(2)y)=(Wdo(1)Wdo(2))(incógnitay)=Wdo(1)incógnitaWdo(2)y{\displaystyle {\mathcal {W}}\left(C^{(1)}x\ast C^{(2)}y\right)=\left({\mathcal {W}}C^{(1)}\bullet {\mathcal {W}}C^{(2)}\right)(x\otimes y)={\mathcal {W}}C^{(1)}x\circ {\mathcal {W}}C^{(2)}y},

dónde{\displaystyle \bullet }es un producto de división de caras , [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 31 ]{\displaystyle \otimes }denota el producto de Kronecker ,{\displaystyle \circ }denota el producto de Hadamard (este resultado es una evolución de las propiedades del boceto de conteo [ 32 ] ).

Esto puede generalizarse para matrices apropiadas.A,B{\displaystyle \mathbf {A} ,\mathbf {B} }:

W((Aincógnita)(By))=((WA)(WB))(incógnitay)=(WAincógnita)(WBy){\displaystyle {\mathcal {W}}\left((\mathbf {A} x)\ast (\mathbf {B} y)\right)=\left(({\mathcal {W}}\mathbf {A} )\bullet ({\mathcal {W}}\mathbf {B} )\right)(x\otimes y)=({\mathcal {W}}\mathbf {A} x)\circ ({\mathcal {W}}\mathbf {B} y)}

a partir de las propiedades del producto de división facial .

Equivariancia traslacional

La convolución conmuta con las traslaciones, lo que significa que

τincógnita(Fgramo)=(τincógnitaF)gramo=F(τincógnitagramo){\displaystyle \tau _{x}(f*g)=(\tau _{x}f)*g=f*(\tau _{x}g)}

donde τ x f es la traslación de la función f por x definida por

(τincógnitaF)(y)=F(yincógnita).{\displaystyle (\tau _{x}f)(y)=f(y-x).}

Si f es una función de Schwartz , entonces τ x f es la convolución con una función delta de Dirac trasladada τ x f = fτ x δ . Por lo tanto, la invariancia traslacional de la convolución de funciones de Schwartz es una consecuencia de la asociatividad de la convolución.

Además, bajo ciertas condiciones, la convolución es la operación invariante a la traslación más general. En términos informales, se cumple lo siguiente:

Supongamos que S es un operador lineal acotado que actúa sobre funciones y que conmuta con las traslaciones: S ( τ x f ) = τ x ( Sf ) para todo x . Entonces S se da como convolución con una función (o distribución) g S ; es decir, Sf = g Sf .

Así , algunas operaciones invariantes a la traslación pueden representarse como convoluciones. Las convoluciones desempeñan un papel importante en el estudio de los sistemas invariantes al tiempo , y especialmente en la teoría de sistemas LTI . La función representativa g S es la respuesta impulsional de la transformación S.

Una versión más precisa del teorema citado anteriormente requiere especificar la clase de funciones sobre las que se define la convolución, y también requiere asumir además que S debe ser un operador lineal continuo con respecto a la topología apropiada . Se sabe, por ejemplo, que todo operador lineal continuo invariante por traslación en L 1 es la convolución con una medida de Borel finita . De manera más general, todo operador lineal continuo invariante por traslación en L p para 1 ≤ p < ∞ es la convolución con una distribución temperada cuya transformada de Fourier está acotada. Es decir, todos están dados por multiplicadores de Fourier acotados .

Convoluciones en grupos

Si G es un grupo adecuado dotado de una medida λ, y si f y g son funciones integrables de valor real o complejo en G , entonces podemos definir su convolución mediante

(Fgramo)(incógnita)=GRAMOF(y)gramo(y1incógnita)dλ(y).{\displaystyle (f*g)(x)=\int _{G}f(y)g\left(y^{-1}x\right)\,d\lambda (y).}

No es conmutativo en general. En los casos típicos de interés, G es un grupo topológico de Hausdorff localmente compacto y λ es una medida de Haar (izquierda) . En ese caso, a menos que G sea unimodular , la convolución definida de esta manera no es la misma queF(incógnitay1)gramo(y)dλ(y){\textstyle \int f\left(xy^{-1}\right)g(y)\,d\lambda (y)}La preferencia de una sobre la otra se realiza de manera que la convolución con una función fija g conmute con la traslación izquierda en el grupo:

Lh(Fgramo)=(LhF)gramo.{\displaystyle L_{h}(f*g)=(L_{h}f)*g.}

Además, esta convención también es necesaria para mantener la coherencia con la definición de convolución de medidas que se presenta a continuación. Sin embargo, al utilizar una medida de Haar derecha en lugar de una izquierda, se prefiere esta última integral a la primera.

En grupos abelianos localmente compactos , se cumple una versión del teorema de convolución : la transformada de Fourier de una convolución es el producto puntual de las transformadas de Fourier. El grupo circular T con la medida de Lebesgue es un ejemplo inmediato. Para un g fijo en L 1 ( T ), tenemos el siguiente operador conocido que actúa sobre el espacio de Hilbert L 2 ( T ):

TF(incógnita)=12πTF(y)gramo(incógnitay)dy.{\displaystyle T{f}(x)={\frac {1}{2\pi }}\int _{\mathbf {T} }{f}(y)g(x-y)\,dy.}

El operador T es compacto . Un cálculo directo muestra que su adjunto T* es una convolución con

gramo¯(y).{\displaystyle {\bar {g}}(-y).}

Por la propiedad de conmutatividad citada anteriormente, T es normal : T * T = TT * . Además, T conmuta con los operadores de traslación. Consideremos la familia S de operadores que consta de todas estas convoluciones y los operadores de traslación. Entonces S es una familia conmutativa de operadores normales. Según la teoría espectral , existe una base ortonormal { h k } que diagonaliza simultáneamente S. Esto caracteriza las convoluciones en el círculo. Específicamente, tenemos

hk(incógnita)=miikincógnita,kZ,{\displaystyle h_{k}(x)=e^{ikx},\quad k\in \mathbb {Z} ,\;}

que son precisamente los caracteres de T. Cada convolución es un operador de multiplicación compacto en esta base. Esto puede considerarse una versión del teorema de convolución mencionado anteriormente.

Un ejemplo discreto es un grupo cíclico finito de orden n . Los operadores de convolución se representan aquí mediante matrices circulantes y pueden diagonalizarse mediante la transformada discreta de Fourier .

Un resultado similar se aplica a grupos compactos (no necesariamente abelianos): los coeficientes matriciales de las representaciones unitarias de dimensión finita forman una base ortonormal en L 2 según el teorema de Peter-Weyl , y un análogo del teorema de convolución sigue siendo válido, junto con muchos otros aspectos del análisis armónico que dependen de la transformada de Fourier.

Convolución de medidas

Sea G un grupo topológico (escrito multiplicativamente). Si μ y ν son medidas de Radon en G , entonces su convolución μν se define como la medida de avance de la acción del grupo y se puede escribir como [ 33 ].

(μν)(mi)=1mi(incógnitay)dμ(incógnita)dν(y){\displaystyle (\mu *\nu )(E)=\iint 1_{E}(xy)\,d\mu (x)\,d\nu (y)}

para cada subconjunto medible E de G. La convolución es también una medida de Radon, cuya variación total satisface

μνμν.{\displaystyle \|\mu *\nu \|\leq \left\|\mu \right\|\left\|\nu \right\|.}

En el caso de que G sea localmente compacto con medida de Haar (izquierda) λ, y μ y ν sean absolutamente continuas con respecto a λ, de modo que cada una tenga una función de densidad , entonces la convolución μ∗ν también es absolutamente continua, y su función de densidad es simplemente la convolución de las dos funciones de densidad separadas. De hecho, si cualquiera de las medidas es absolutamente continua con respecto a la medida de Haar, entonces también lo es su convolución. [ 34 ]

Si μ y ν son medidas de probabilidad en el grupo topológico ( R ,+), entonces la convolución μν es la distribución de probabilidad de la suma X + Y de dos variables aleatorias independientes X e Y cuyas distribuciones respectivas son μ y ν.

convolución ínfima

En el análisis convexo , la convolución ínfima de propia (no idénticamente)+{\displaystyle +\infty }) funciones convexasF1,,Fmetro{\displaystyle f_{1},\dots ,f_{m}}enRnorte{\displaystyle \mathbb {R} ^{n}}se define por: [ 35 ](F1Fmetro)(incógnita)=infincógnita{F1(incógnita1)++Fmetro(incógnitametro)|incógnita1++incógnitametro=incógnita}.{\displaystyle (f_{1}*\cdots *f_{m})(x)=\inf _{x}\{f_{1}(x_{1})+\cdots +f_{m}(x_{m})|x_{1}+\cdots +x_{m}=x\}.} Se puede demostrar que la convolución ínfima de funciones convexas es convexa. Además, satisface una identidad análoga a la de la transformada de Fourier de una convolución tradicional, donde el papel de la transformada de Fourier lo desempeña la transformada de Legendre : φ(incógnita)=sorbery(incógnitayφ(y)).{\displaystyle \varphi ^{*}(x)=\sup _{y}(x\cdot y-\varphi (y)).} Tenemos: (F1Fmetro)(incógnita)=F1(incógnita)++Fmetro(incógnita).{\displaystyle (f_{1}*\cdots *f_{m})^{*}(x)=f_{1}^{*}(x)+\cdots +f_{m}^{*}(x).}

Biálgebras

Sea ( X , Δ, ∇, ε , η ) una bialgebra con comultiplicación Δ, multiplicación ∇, unidad η y counidad ε . La convolución es un producto definido en el álgebra de endomorfismos End( X ) de la siguiente manera. Sean φ , ψ ∈ End( X ), es decir, φ , ψ : XX son funciones que respetan toda la estructura algebraica de X , entonces la convolución φψ se define como la composición

incógnitaΔincógnitaincógnitaϕψincógnitaincógnitaincógnita.{\displaystyle X\mathrel {\xrightarrow {\Delta } } X\otimes X\mathrel {\xrightarrow {\phi \otimes \psi } } X\otimes X\mathrel {\xrightarrow {\nabla } } X.}

La convolución aparece notablemente en la definición de álgebras de Hopf ( Kassel 1995 , §III.3) . Una bialgebra es un álgebra de Hopf si y solo si tiene un antípoda: un endomorfismo S tal que

Sidentificaciónincógnita=identificaciónincógnitaS=ηε.{\displaystyle S*\operatorname {id} _{X}=\operatorname {id} _{X}*S=\eta \circ \varepsilon .}

Aplicaciones

El desenfoque gaussiano se puede utilizar para obtener una imagen digital en escala de grises suave de una impresión de semitonos .

La convolución y las operaciones relacionadas se encuentran en numerosas aplicaciones en ciencia, ingeniería y matemáticas.

Véase también

Notas

  1. Entre los motivos de la reflexión se incluyen:
    • Es necesario implementar el equivalente del producto puntual de las transformadas de Fourier deF{\displaystyle f}ygramo{\displaystyle g}.
    • Cuando la convolución se considera como una media ponderada móvil , la función de ponderación,gramo(incógnita){\displaystyle g(-x)}, a menudo se especifica en términos de otra función,gramo(incógnita){\displaystyle g(x)}, denominada respuesta impulsional de un sistema lineal invariante en el tiempo .
  2. El símbolo U+2217 OPERADOR ASTERISCO es diferente de U+002A * ASTERISCO , que se usa a menudo para denotar la conjugación compleja. Véase Asterisco § Tipografía matemática . 

Referencias

  1. Bahri, Mawardi; Ashino, Ryuichi; Vaillancourt, Rémi (2013). "Teoremas de convolución para la transformada de Fourier de cuaterniones: propiedades y aplicaciones" (PDF) . Abstract and Applied Analysis . 2013 : 1–10 . doi : 10.1155/2013/162769 . Archivado (PDF) del original el 21-10-2020 . Recuperado el 11-11-2022 .
  2. Smith, Stephen W (1997). "13. Convolución" . Guía del científico e ingeniero para el procesamiento digital de señales (1.ª ed.). California Technical Publishing. ISBN  0-9660176-3-3Consultado el 22 de abril de 2016 .
  3. Irwin, J. David (1997). "4.3". Manual de electrónica industrial (1.ª ed.). Boca Raton, FL: CRC Press. pág. 75. ISBN   0-8493-8343-9.
  4. Ecuaciones diferenciales (Primavera de 2010), MIT 18.03. "Lección 21: Fórmula de convolución" . MIT Open Courseware . MIT . Consultado el 22 de diciembre de 2021 .{{cite web}}: CS1 maint: nombres numéricos: lista de autores ( enlace )
  5. "18.03SC Ecuaciones diferenciales Otoño 2011" (PDF) . Fórmula de Green, Transformada de Laplace de la convolución . Archivado (PDF) del original el 6 de septiembre de 2015.
  6. Domínguez-Torres, pág. 2
  7. Domínguez-Torres, pág. 4
  8. RN Bracewell (2005), «Primeros trabajos sobre la teoría de la formación de imágenes en radioastronomía» , en WT Sullivan (ed.), Los primeros años de la radioastronomía: reflexiones cincuenta años después del descubrimiento de Jansky , Cambridge University Press, pág. 172, ISBN  978-0-521-61602-7
  9. John Hilton Grace y Alfred Young (1903), El álgebra de los invariantes , Cambridge University Press, pág. 40 
  10. Leonard Eugene Dickson (1914), Invariantes algebraicos , J. Wiley, pág. 85, ISBN  978-1-4297-0042-9{{citation}}: Incompatibilidad de ISBN/Fecha ( ayuda )
  11. Según [Lothar von Wolfersdorf (2000), "Einige Klassen quadratischer Integralgleichungen", Sitzungsberichte der Sächsischen Akademie der Wissenschaften zu Leipzig , Mathematisch-naturwissenschaftliche Klasse , volumen 128 , número 2, 6–7], la fuente es Volterra, Vito (1913), "Leçons sur les fonctions de linges". Gauthier-Villars, París 1913.
  12. ^ Damelin y Miller 2011 , pág. 219 
  13. Press, William H.; Flannery, Brian P.; Teukolsky, Saul A.; Vetterling, William T. (1989). Numerical Recipes in Pascal . Cambridge University Press. pág. 450. ISBN  0-521-37516-9.
  14. Rader, CM (diciembre de 1972). "Convoluciones discretas mediante transformadas de Mersenne". IEEE Transactions on Computers . 21 (12): 1269– 1273. doi : 10.1109/TC.1972.223497 . S2CID 1939809 . 
  15. Winograd, Shmuel (enero de 1980). Complejidad aritmética de los cálculos . Sociedad de Matemáticas Industriales y Aplicadas. doi : 10.1137/1.9781611970364 . ISBN 978-0-89871-163-9.
  16. Lyakhov, PA; Nagornov, NN; Semyonova, NF; Abdulsalyamova, AS (junio de 2023). "Reducción de la complejidad computacional del procesamiento de imágenes mediante la transformada wavelet basada en el método de Winograd" . Pattern Recognition and Image Analysis . 33 (2): 184– 191. doi : 10.1134/S1054661823020074 . ISSN 1054-6618 . S2CID 259310351 .  
  17. Wu, Di; Fan, Xitian; Cao, Wei; Wang, Lingli (mayo de 2021). "SWM: un acelerador CNN de multiplicación de matrices de Winograd dispersas de alto rendimiento". IEEE Transactions on Very Large Scale Integration (VLSI) Systems . 29 (5): 936– 949. Bibcode : 2021ITVL...29..936W . doi : 10.1109/TVLSI.2021.3060041 . ISSN 1063-8210 . S2CID 233433757 .  
  18. Mittal, Sparsh; Vibhu (mayo de 2021). "Un estudio de arquitecturas aceleradoras para redes neuronales convolucionales 3D" . Journal of Systems Architecture . 115 102041. doi : 10.1016/j.sysarc.2021.102041 . S2CID 233917781 . 
  19. Selesnick, Ivan W.; Burrus, C. Sidney (1999). "Convolución y filtrado rápidos". En Madisetti, Vijay K. (ed.). Manual de procesamiento de señales digitales . CRC Press. pág. Sección 8. ISBN  978-1-4200-4563-5.
  20. Juang, BH "Conferencia 21: Convolución por bloques" (PDF) . EECS en el Instituto Tecnológico de Georgia. Archivado (PDF) del original el 29 de julio de 2004. Recuperado el 17 de mayo de 2013 .
  21. Gardner, William G. (noviembre de 1994). "Convolución eficiente sin retardo de entrada/salida" (PDF) . Convención de la Audio Engineering Society 97. Documento 3897. Archivado (PDF) del original el 8 de abril de 2015. Consultado el 17 de mayo de 2013 .
  22. Beckner, William (1975). "Desigualdades en el análisis de Fourier". Annals of Mathematics . Segunda serie. 102 (1): 159– 182. doi : 10.2307/1970980 . JSTOR 1970980 . 
  23. Brascamp, Herm Jan; Lieb, Elliott H. (1976). "Mejores constantes en la desigualdad de Young, su recíproca y su generalización a más de tres funciones" . Advances in Mathematics . 20 (2): 151– 173. doi : 10.1016/0001-8708(76)90184-5 .
  24. Reed y Simon 1975 , IX.4
  25. Weisstein, Eric W. "Convolución" . mathworld.wolfram.com . Consultado el 22 de septiembre de 2021 .
  26. Weisstein, Eric W. "De MathWorld: un recurso web de Wolfram" .
  27. Slyusar, VI (27 de diciembre de 1996). "Productos finales en matrices en aplicaciones de radar" (PDF) . Radioelectronics and Communications Systems . 41 (3): 50– 53. Archivado (PDF) del original el 11 de agosto de 2013.
  28. Slyusar, VI (1997-05-20). "Modelo analítico de la matriz de antenas digitales basado en productos de matrices de división de caras" (PDF) . Actas de ICATT-97, Kiev : 108–109 . Archivado (PDF) del original el 11 de agosto de 2013.
  29. Slyusar, VI (15 de septiembre de 1997). "Nuevas operaciones de producto de matrices para aplicaciones de radares" (PDF) . Actas de Problemas Directos e Inversos de la Teoría de Ondas Electromagnéticas y Acústicas (DIPED-97), Lviv : 73–74 . Archivado (PDF) del original el 11 de agosto de 2013.
  30. Slyusar, VI (13 de marzo de 1998). "Una familia de productos de caras de matrices y sus propiedades" (PDF) . Cibernética y análisis de sistemas C/C de Kibernetika I Sistemnyi Analiz.- 1999. 35 ( 3): 379– 384. doi : 10.1007/BF02733426 . S2CID 119661450. Archivado (PDF) del original el 11 de agosto de 2013 . 
  31. Slyusar, VI (2003). "Productos faciales generalizados de matrices en modelos de conjuntos de antenas digitales con canales no idénticos" (PDF) . Radioelectronics and Communications Systems . 46 (10): 9–17 . Archivado (PDF) del original el 11 de agosto de 2013.
  32. Ninh, Pham; Pagh, Rasmus (2013). Núcleos polinomiales rápidos y escalables mediante mapas de características explícitos . Conferencia internacional SIGKDD sobre descubrimiento de conocimiento y minería de datos. Association for Computing Machinery. doi : 10.1145/2487575.2487591 .
  33. Hewitt y Ross (1979) Análisis armónico abstracto, volumen 1 , segunda edición, Springer-Verlag, pág. 266.
  34. Hewitt y Ross (1979), Teorema 19.18, pág. 272.
  35. R. Tyrrell Rockafellar (1970), Análisis convexo , Princeton University Press
  36. Zhang, Yingjie; Soon, Hong Geok; Ye, Dongsen; Fuh, Jerry Ying Hsi; Zhu, Kunpeng (septiembre de 2020). "Monitoreo del proceso de fusión de lecho de polvo mediante visión artificial con redes neuronales convolucionales híbridas". IEEE Transactions on Industrial Informatics . 16 (9): 5769– 5779. Bibcode : 2020ITII...16.5769Z . doi : 10.1109/TII.2019.2956078 . ISSN 1941-0050 . S2CID 213010088 .  
  37. Chervyakov, NI; Lyakhov, PA; Deryabin, MA; Nagornov, NN; Valueva, MV; Valuev, GV (septiembre de 2020). "Solución basada en el sistema de numeración de residuos para reducir el costo de hardware de una red neuronal convolucional" . Neurocomputing . 407 : 439–453 . doi : 10.1016/j.neucom.2020.04.018 . S2CID 219470398. Las redes neuronales convolucionales representan arquitecturas de aprendizaje profundo que se utilizan actualmente en una amplia gama de aplicaciones, incluyendo visión artificial, reconocimiento de voz, análisis de series temporales en finanzas y muchas otras. 
  38. Atlas, Homma y Marks. "Una red neuronal artificial para patrones bipolares espaciotemporales: aplicación a la clasificación de fonemas" ( PDF) . Sistemas de procesamiento de información neuronal (NIPS 1987) . 1. Archivado (PDF) del original el 14 de abril de 2021.{{cite journal}}: CS1 maint: varios nombres: lista de autores ( enlace )
  39. Zölzer, Udo, ed. (2002). DAFX: Efectos de audio digital , págs. 48-49. ISBN 0471490784.
  40. Diggle 1985 .
  41. Ghasemi y Nowak 2017 .
  42. Monaghan, JJ (1992). "Hidrodinámica de partículas suavizadas" . Annual Review of Astronomy and Astrophysics . 30 : 543–547 . Bibcode : 1992ARA & A..30..543M . doi : 10.1146/annurev.aa.30.090192.002551 . Consultado el 16 de febrero de 2021 .

Lecturas adicionales

  • Bracewell, R. (1986), La transformada de Fourier y sus aplicaciones (2.ª  ed.), McGraw-Hill, Bibcode : 1986ftia.book.....B , ISBN 0-07-116043-4.
  • Damelin, S.; Miller, W. (2011), The Mathematics of Signal Processing , Cambridge University Press, ISBN 978-1107601048
  • Diggle, PJ (1985), "Un método de núcleo para suavizar datos de procesos puntuales", Journal of the Royal Statistical Society, Serie C , 34 (2): 138–147 , doi : 10.2307/2347366 , JSTOR 2347366 , S2CID 116746157  
  • Dominguez-Torres, Alejandro (2 de noviembre de 2010). «Origen e historia de la convolución». 41 págs. https://slideshare.net/Alexdfar/origin-adn-history-of-convolution . Cranfield, Bedford MK43 OAL, Reino Unido. Consultado el 13 de marzo de 2013.
  • Ghasemi, S. Hooman; Nowak, Andrzej S. (2017), "Índice de fiabilidad para distribuciones no normales de funciones de estado límite", Ingeniería estructural y mecánica , 62 (3): 365– 372, doi : 10.12989/sem.2017.62.3.365
  • Grinshpan, AZ (2017), "Una desigualdad para convoluciones múltiples con respecto a la medida de probabilidad de Dirichlet", Advances in Applied Mathematics , 82 (1): 102–119 , doi : 10.1016/j.aam.2016.08.001
  • Hewitt, Edwin; Ross, Kenneth A. (1979), Análisis armónico abstracto. vol. I , Grundlehren der Mathematischen Wissenschaften [Principios fundamentales de las ciencias matemáticas], vol.  115 (2ª  ed.), Berlín, Nueva York: Springer-Verlag , ISBN 978-3-540-09434-0, MR 0551496 .
  • Hewitt, Edwin; Ross, Kenneth A. (1970), Análisis armónico abstracto. vol. II: Estructura y análisis de grupos compactos. Análisis de grupos abelianos localmente compactos , Die Grundlehren der mathematischen Wissenschaften, Band 152, Berlín, Nueva York: Springer-Verlag , MR 0262773 .
  • Hörmander, L. (1983), El análisis de operadores diferenciales parciales lineales I , Grundl. Matemáticas. Wissenschaft., vol.  256, Springer, doi : 10.1007/978-3-642-96750-4 , ISBN 3-540-12104-8, MR 0717035 .
  • Kassel, Christian (1995), Grupos cuánticos , Textos de posgrado en matemáticas, vol.  155, Berlín, Nueva York: Springer-Verlag , doi : 10.1007/978-1-4612-0783-2 , ISBN 978-0-387-94370-1, MR 1321145 .
  • Knuth, Donald (1997), Algoritmos seminuméricos (3.ª  ed.), Reading, Massachusetts: Addison–Wesley, ISBN 0-201-89684-2.
  • Narici, Lawrence; Beckenstein, Edward (2011). Espacios vectoriales topológicos . Matemáticas puras y aplicadas (Segunda  edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666OCLC 144216834 
  • Reed, Michael; Simon, Barry (1975), Métodos de física matemática moderna. II. Análisis de Fourier, autoadjuntividad , Nueva York-Londres: Academic Press Harcourt Brace Jovanovich, Publishers, pp.  xv+361, ISBN 0-12-585002-6, MR 0493420 
  • Rudin, Walter (1962), Análisis de Fourier en grupos , Interscience Tracts in Pure and Applied Mathematics, vol.  12, Nueva York-Londres: Interscience Publishers, ISBN 0-471-52364-X, MR 0152834 {{citation}}: Incompatibilidad de ISBN/Fecha ( ayuda ) .
  • Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . Vol.  8 (Segunda  edición). Nueva York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0OCLC 840278135 
  • Stein, Elias ; Weiss, Guido (1971), Introducción al análisis de Fourier en espacios euclidianos , Princeton University Press, ISBN 0-691-08078-X.
  • Sobolev, VI (2001) [1994], "Convolución de funciones" , Enciclopedia de Matemáticas , EMS Press.
  • Strichartz, R. (1994), Guía de la teoría de la distribución y las transformadas de Fourier , CRC Press, ISBN 0-8493-8273-4.
  • Titchmarsh, E (1948), Introducción a la teoría de las integrales de Fourier (2.ª  ed.), Nueva York, NY: Chelsea Pub. Co. (publicado en 1986), ISBN 978-0-8284-0324-5{{citation}}: Incompatibilidad de ISBN/Fecha ( ayuda ) .
  • Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-45352-1OCLC 853623322 .​ 
  • Uludag, AM (1998), "Sobre el posible deterioro de la suavidad bajo la operación de convolución", J. Math. Anal. Appl. , 227 (2): 335– 358, doi : 10.1006/jmaa.1998.6091 , hdl : 11693/25385
  • von zur Gathen, J.; Gerhard, J. (2003), Álgebra informática moderna , Cambridge University Press, ISBN 0-521-82646-2.
  • Applet de Java para convolución visual : https://jhu.edu/~signals/convolve/index.html
  • https://jhu.edu/~signals/discreteconv2/index.html Applet Java de convolución visual para funciones de tiempo discreto
  • https://get-the-solution.net/projects/discret-convolution Calculadora en línea de convolución discreta
  • https://lpsa.swarthmore.edu/Convolution/CI.html Demostración y visualización de convolución en JavaScript
  • https://phiresky.github.io/convolution-demo/ Otra demostración de convolución en JavaScript
  • Conferencias sobre procesamiento de imágenes: Una colección de 18 conferencias en formato PDF de la Universidad de Vanderbilt. La conferencia 7 trata sobre convolución 2D. Por Alan Peters.
  • Tutorial interactivo sobre la operación de máscara de kernel de convolución
  • Convolución en MathWorld
  • Procesador de respuesta de impulsos Freeverb3 : procesador de respuesta de impulsos de latencia cero de código abierto con complementos VST.
  • Demostración interactiva en Flash del curso CS 178 de la Universidad de Stanford que muestra cómo funciona la convolución espacial.
  • Una videoclase sobre el tema de la convolución impartida por Salman Khan.
  • Ejemplo de convolución FFT para reconocimiento de patrones (procesamiento de imágenes)
  • Guía intuitiva de la convolución. Una entrada de blog sobre una interpretación intuitiva de la convolución.