Convolución

En matemáticas (en particular, na análise funcional), a convolución é unha operación matemática sobre dúas funcións ( e ) que produce unha terceira función (). O termo convolución refírese tanto á función resultante como ao proceso de calculala. 

A convolución defínese como a integral do produto das dúas funcións despois de que unha delas se reflicte sobre o eixo  e se despraza. A integral evalúase para todos os valores de desprazamento, producindo a función de convolución. Gráficamente, exprésase como a 'forma' dunha función é modificada pola outra.

A convolución discreta de dúas funcións para un índice  enteiro defínese como os produtos das valores das funcións nos índices que suman   (ver abaixo explicación detallada).  

Algúns aspectos da convolución son similares á correlación cruzada: para funcións de valor real, dunha variábel continua ou discreta, a convolución () difire da correlación cruzada () só en que  ou  se reflicte sobre o eixp  na convolución; así, é unha correlación cruzada de  e , ou de  e . Para funcións de valor complexo, o operador de correlación cruzada é o adxunto do operador de convolución.

A convolución ten aplicacións que inclúen a probabilidade, estatística, acústica, espectroscopia, procesamento de sinais e procesamento de imaxes, xeofísica, enxeñaría, física e ecuacións diferenciais.

O cálculo da inversa da operación de convolución coñécese como deconvolución.

 Definición 

A convolución de  e  escríbese , denotando o operador co símbolo . Defínese como a integral do produto das dúas funcións despois de que unha delas se reflicte sobre o eixo  e se despraza. Como tal, é un tipo particular de transformada integral:

Aínda que se usa o símbolo  anteriormente, non ten que representar o dominio do tempo. En cada , a fórmula de convolución pode describirse como a área baixo a función  ponderada pola función  desprazada pola cantidade . A medida que  muda, a función de ponderación  destaca diferentes partes da función de entrada . 

Se  é un valor positivo, entón  é igual a  que se desliza ou se despraza ao longo do eixo  cara á dereita (cara a ) pola cantidade de , mentres que se  é un valor negativo, entón  é igual a  que se desliza ou se despraza cara á esquerda (cara a ) pola cantidade de .

Para funcións ,  soportadas só en  (é dicir, cero para argumentos negativos), os límites de integración poden truncarse, resultando en:

Para a formulación multidimensional da convolución, véxase dominio de definición (a continuación).

 Notación 

Unha convención notacional común en enxeñaría é:

que debe interpretarse con coidado para evitar confusións. Por exemplo,  é equivalente a , mais  é de feito equivalente a .

 Convolución circular 

Cando unha función  é periódica, con período , entón para funcións, , tal que  existe, a convolución é tamén periódica e idéntica a:

onde  é unha escolla arbitraria. A suma chámase suma periódica da función .

Cando  é unha suma periódica doutra función, , entón  coñécese como unha convolución circular ou cíclica de  e .

E se a suma periódica anterior se substitúe por , a operación chámase unha convolución periódica de  e .

 Convolución discreta 
miniatura|dereita|class=skin-invert-image|Animación de convolución discreta 2D

Para funcións de valor complexo  e  definidas no conxunto  dos enteiros, a convolución discreta de  e  vén dada por:

A convolución de dúas secuencias finitas defínese estendendo as secuencias a funcións de soporte finito no conxunto dos enteiros. Cando as secuencias son os coeficientes de dous polinomios, entón os coeficientes do produto ordinario dos dous polinomios son a convolución das dúas secuencias orixinais. Isto coñécese como o produto de Cauchy dos coeficientes das secuencias.

Así, cando  ten soporte finito no conxunto  (representando, por exemplo, unha resposta finita ao impulso), pode usarse unha suma finita:

Como exemplo de convolución discreta para o caso dun produto de Cauchy de dúas series infinitas podemos organizar cada sumando do produto en forma de matriz cos coeficientes da combinación de elementos todos por todos: 
 ,
desde o punto de vista desta matriz o produto de Cauchy é unha convolución discreta  formada pola suma das antidiagonais:



 Convolución circular discreta 
Cando unha función  é periódica, con período  entón para funcións,  tales que  existe, a convolución é tamén periódica e idéntica a:

A suma sobre  chámase suma periódica da función 

Se  é unha suma periódica doutra función,  entón  coñécese como unha convolución circular de  e 

Cando as duracións non nulas de ambas as dúas  e  están limitadas ao intervalo    redúcese a estas formas comúns:

A notación  para a convolución cíclica denota convolución sobre o grupo cíclico de enteiros módulo .

A convolución circular xorde a miúdo no contexto da convolución rápida cun algoritmo de transformada rápida de Fourier (FFT).

 Algoritmos rápidos de convolución 

En moitas situacións, as convolucións discretas poden converterse en convolucións circulares para que as transformadas rápidas cunha propiedade de convolución poidan usarse para implementar o cálculo. Por exemplo, a convolución de secuencias de díxitos é a operación central na multiplicación de números de varios díxitos, que pode implementarse eficientemente con técnicas de transformación (; ).

A convolución circular de dúas secuencias de lonxitude finita obtense ao calcular unha FFT de cada secuencia, multiplicar punto a punto e logo realizar unha FFT inversa. As convolucións do tipo definido anteriormente impleméntanse eficientemente empregando esa técnica en conxunto coa extensión por ceros e/ou descartando partes da saída.

Outros algoritmos rápidos de convolución, como o algoritmo de Schönhage-Strassen ou a transformación de Mersenne, empregan transformacións rápidas de Fourier noutros anéis. O método de Winograd emprégase como alternativa á FFT. Acelera significativamente as convolucións en 1D, 2D, e 3D.

Se unha secuencia é moito máis longa que a outra, a extensión por ceros da secuencia máis curta e a convolución circular rápida non é o método computacionalmente máis eficiente dispoñíbel. En vez diso, descompoñer a secuencia máis longa en bloques e convolver cada bloque permite empregar algoritmos máis rápidos como o método superposición-salvar e o método superposición-sumar. Un método híbrido de convolución que combina algoritmos por bloques e FIR permite unha latencia de entrada-saída nula, útil para computacións de convolución en tempo real.

 Dominio de definición 

A convolución de dúas funcións de valor complexo en  é unha función de valor complexo en , definida por:

e está ben definida só se  e  decaen suficientemente rápido no infinito para que a integral exista. As condicións para a existencia da convolución poden ser complicadas, xa que un aumento en  no infinito pode ser facilmente compensado por un decaemento suficientemente rápido en . Así, a cuestión da existencia pode implicar diferentes condicións sobre  e :

 Funcións de soporte compacto 
Se  e  son funcións continuas de soporte compacto, entón a súa convolución existe e tamén é de soporte compacto e continua . Máis xeralmente, se unha das funcións (por exemplo, ) é de soporte compacto e a outra é localmente integrábel, entón a convolución  está ben definida e é continua.

A convolución de  e  tamén está ben definida cando ambas as funcións son localmente cadrado integrábeis en  e están soportadas nun intervalo da forma  (ou en ).

 Funcións integrábeis 
A convolución de  e  existe se  e  son ambas as dúas funcións integrábeis de Lebesgue en (), e neste caso  tamén é integrábel . Isto é unha consecuencia do teorema de Tonelli. Isto tamén é certo para funcións en , baixo a convolución discreta, ou máis xeralmente para a convolución en calquera grupo.

Do mesmo xeito, se ()  e  ()  onde ,  entón  (),  e

No caso particular , isto mostra que  é unha álxebra de Banach baixo a convolución (e a igualdade dos dous lados cúmprese se  e  son non negativas case en tódalas partes).

Máis xeralmente, a desigualdade de Young implica que a convolución é unha aplicación bilinear continua entre os espazos  adecuados. Especificamente, se  cumpren:

entón

de xeito que a convolución é unha aplicación bilinear continua de  a .
A desigualdade de Young para a convolución tamén é certa noutros contextos (grupo circular, convolución en ). A desigualdade anterior non é estrita na recta real: cando , existe unha constante  tal que:

O valor óptimo de  descubriuse en 1975 e independentemente en 1976, véxase desigualdade de Brascamp-Lieb.

Unha estimación máis forte é certa sempre que :

onde  é a norma débil . A convolución tamén define unha aplicación bilinear continua  para , debido á desigualdade de Young débil:

 Funcións de decaemento rápido 
Alén das funcións de soporte compacto e das funcións integrábeis, as funcións que teñen un decaemento suficientemente rápido no infinito tamén poden ser convolucionadas. Unha característica importante da convolución é que se f e g decaen rapidamente, entón f∗g tamén decae rapidamente. En particular, se f e g son funcións de decaemento rápido, entón a convolución f∗g tamén o é. Combinado co feito de que a convolución conmuta coa diferenciación (véxase #Propiedades), dedúcese que a clase de funcións de Schwartz é pechada baixo a convolución .

 Distribucións 

Se f é unha función suave de soporte compacto e g é unha distribución, entón f∗g é unha función suave definida por

Máis xeralmente, é posible estender a definición da convolución dun xeito único con  igual que coa f anteriormente, de xeito que a lei asociativa

siga a ser válida no caso en que f sexa unha distribución e g unha distribución de soporte compacto .

 Medidas 

A convolución de dúas medidas de Borel μ e ν de variación limitada é a medida  definida por 

En particular,


onde  é un conxunto medíbel e  é a función indicadora de .

Isto coincide coa convolución definida anteriormente cando μ e ν se consideran distribucións, así como coa convolución de funcións L1 cando μ e ν son absolutamente continuas en relación á medida de Lebesgue.

A convolución de medidas tamén cumpre a seguinte versión da desigualdade de Young:

onde a norma é a variación total dunha medida. Como o espazo das medidas de variación limitada é un espazo de Banach, a convolución de medidas pode tratarse con métodos estándar da análise funcional que poden non aplicarse á convolución de distribucións.

 Propiedades 

 Propiedades alxébricas 
A convolución define un produto no espazo linear das funcións integrábeis. Este produto satisfai as seguintes propiedades alxébricas, que formalmente significan que o espazo das funcións integrábeis co produto dado pola convolución é unha álxebra asociativa conmutativa sen identidade . Outros espazos lineares de funcións, como o espazo das funcións continuas de soporte compacto, son pechados baixo a convolución, e tamén forman álxebras asociativas conmutativas.

 Conmutatividade 

Demostración: Por definición: 

Mudando a variábel de integración a  dedúcese o resultado.

 Asociatividade 

Demostración: Isto dedúcese de usar o teorema de Fubini (é dicir, as integrais dobres poden ser avaliadas como integrais iteradas en calquera orde).

 Distributividade 

Demostración: Isto dedúcese da linearidade da integral.

 Asociatividade coa multiplicación escalar 

para calquera número real (ou complexo) .

 Identidade multiplicativa 
Ningunha álxebra de funcións posúe unha identidade para a convolución. A falta de identidade normalmente non é un gran inconveniente, xa que a maioría das coleccións de funcións nas que se realiza a convolución poden ser convolucionadas cunha distribución delta (un impulso unitario, centrado en cero) ou, polo menos (como é o caso de L1), admiten aproximacións á identidade. No entanto, o espazo linear das distribucións de soporte compacto admite unha identidade baixo a convolución. Especificamente, 

onde δ é a distribución delta.

 Elemento inverso Algunhas distribucións S teñen un elemento inverso S−1 para a convolución que entón debe satisfacer 

a partir do cal se pode obter unha fórmula explícita para S−1.
O conxunto das distribucións invertíbeis forma un grupo abeliano baixo a convolución.

 Conxugación complexa 


 Inversión temporal Se    entón  

Demostración (usando o teorema da convolución):
 Relación coa diferenciación 

Demostración:

 Relación coa integración Se  e  entón 

 Notas 


 Véxase tamén 

 Bibliografía 
 .

 Outros artigos 
 Procesamento anlóxico de sinal
 Matriz circulante
 Potencia dunha convolución
 Cociente de convolución
 Convolución de Dirichlet
 Lista de convolucións de distribucións de probabilidade
 Convolución discreta multidimensional
 Teorema de convolución de Titchmarsh
 Matriz de Toeplitz (as convolucións pódense considerar unha operación da matriz de Toeplitz onde cada fila é unha copia desprazada do núcleo de convolución)
 Transformación de onda

 Ligazóns externas 
 Usos máis antigos: a entrada sobre Convolution ten algunha información histórica.
 Convolution, on The Data Analysis BriefBook
 https://jhu.edu/~signals/convolve/index.html Visual convolution Java Applet
 https://jhu.edu/~signals/discreteconv2/index.html convolución visual Java Applet for discrete-time functions
 https://get-the-solution.net/projects/discret-convolution convolución discreta calculadora online 
 Lectures on Image Processing: Unha colección de 18 conferencias en formato pdf da Universidade de Vanderbilt. A clase 7 trata sobre a convolución 2D, por Alan Peters

 Tutorial interactivo de operación de máscara de núcleo de convolución
 Convolution en MathWorld
 Freeverb3 Impulse Response Processor: Procesador de resposta de impulso de latencia cero de código aberto con complementos VST
 Stanford University CS 178 interactive Flash demo mostrando como funciona a convolución espacial.

 Exemplo de convolución FFT para o recoñecemento de padróns (procesamento de imaxes)
Intuitive Guide to Convolution Unha publicación de blog sobre unha interpretación intuitiva da convolución.

Categoría:Funcións
Categoría:Análise matemática