Convolución: la operación de deslizar, solapar y sumar

La convolución tiene fama de esotérica y no lo es: es deslizar, solapar y sumar. Su definición, (fg)(t)=f(τ)g(tτ)dτ,(f * g)(t) = \int_{-\infty}^{\infty} f(\tau)\,g(t-\tau)\,d\tau, esconde una idea muy visual. Fíjate en g(tτ)g(t-\tau): como función de τ\tau, es gg reflejada (el signo menos) y desplazada una cantidad tt. Para cada tt multiplicas las dos curvas y mides el área del solape. Esa área, punto a punto, ES la función convolución.

Por eso la gráfica que hemos montado es la pieza central: a la izquierda ves f(τ)f(\tau) quieta y g(tτ)g(t-\tau) deslizándose, con el solape sombreado; a la derecha, (fg)(t)(f*g)(t) y un punto que sube y baja marcando exactamente esa área. Arrastra y compruébalo. Y como la convolución conmuta, hay un botón para reflejar la otra: el solape cambia de forma, pero su área —el resultado— no.

La gracia técnica está en los límites. La integral va de -\infty a \infty, pero solo cuenta donde ambas son no nulas. Si las dos señales son causales (llevan el escalón u(t)u(t), es decir valen 0 antes de 0), entonces f(τ)=0f(\tau)=0 para τ<0\tau<0 y g(tτ)=0g(t-\tau)=0 para τ>t\tau>t: el solape vive solo en 0τt0 \le \tau \le t. La impropia se convierte en la definida 0t\int_0^t — y esa sí la sabemos desarrollar con toda la maquinaria de integrales (por partes, sustitución, Barrow). Aquí está el aporte: SymPy, si le pides la convolución tal cual, te devuelve la integral sin evaluar; deduciendo el solape, la cerramos y además la explicamos paso a paso.

Pruébalo con exp(-t)*u(t) ; u(t) (te sale 1et1-e^{-t}: la respuesta de un RC al escalón), con u(t) ; u(t) (la rampa tt: convolucionar dos escalones integra), o con t*u(t) ; exp(-t)*u(t). Y recuerda por qué importa: la salida de todo sistema lineal invariante es la convolución de la entrada con su respuesta al impulso. Filtros, ecos, desenfoques y las capas de una red neuronal convolucional son, todos, esta misma integral.