Operación binaria sobre funciones, medidas o distribuciones definida (en el caso clásico) por (f * g)(x) = ∫ f(y) g(x − y) dy (o una fórmula análoga en grupos) que produce una función combinada usada para suavizar, filtrar y representar operadores lineales invariantes por traslación.

Principio

La convolución promedia una función frente a las traslaciones de otra; es conmutativa y asociativa en grupos abelianos, corresponde a la multiplicación puntual bajo la transformada de Fourier y realiza operadores lineales invariantes por traslación como convoluciones con un núcleo.

Demostración

Convolucionar una función con un mollificador da una familia de aproximaciones suaves f * ρ_ε que convergen a f en normas adecuadas; en procesamiento de señales un filtro se implementa por convolución con la respuesta al impulso; en EDP la convolución con una función de Green proporciona soluciones particulares.

Aplicación incorrecta

Calcular formalmente f * g sin verificar integrabilidad, soporte o condiciones de apareamiento distribucional puede ser inválido; suponer que la convolución es conmutativa en grupos no abelianos o ignorar condiciones de frontera en dominios con bordes conduce a resultados incorrectos.

Consecuencia

Proporciona una herramienta flexible para regularización, construcción de identidades aproximadas, análisis de sistemas lineales invariantes en el tiempo y conversión de operadores diferenciales/integrales en formas multiplicativas en el dominio de la frecuencia, facilitando estimaciones e inversiones cuando es posible.

Inversión

La operación dual es la multiplicación puntual en el dominio de la frecuencia que corresponde a convolución en el dominio temporal; la deconvolución (invertir la convolución) suele estar mal planteada y amplifica el ruido, revirtiendo el suavizado en inestabilidad.

Límite

La definición y las propiedades algebraicas básicas dependen del dominio (espacio euclidiano, grupo localmente compacto), de los espacios de funciones implicados (L^1, L^2, distribuciones temperadas) y de la conmutatividad del grupo; en entornos no abelianos la convolución es en general no conmutativa y requiere la elección de una medida de Haar.

Tensión semántica

Tensión entre concebir la convolución como un producto algebraico frente a una transformación integral: en análisis se enfatizan propiedades de regularización y mapeo, mientras que en contextos algebraicos o de teoría de representaciones se ve como multiplicación en un álgebra de funciones o del grupo.

Síntesis

La convolución es el promediado integral de una función frente a traslaciones de otra que implementa suavizado y codifica operadores invariantes por traslación; mediante la transformada de Fourier se convierte en multiplicación puntual, unificando la operación en dominio espacio/tiempo con el álgebra en frecuencia.