# Convolution Is Commutative

The convolution of two functions f and g is written as \(f\ast g\). \[\begin{align*} \left(f\ast g\right)(t)&:=\int_{-\infty}^{\infty}f(\tau)g(t-\tau)\, d\tau\\&=\int_{-\infty}^{\infty}f(t-\tau)g(\tau)\, d\tau\\&=\left(g\ast f\right)(t) \end{align*}\]

Convolution appears quite often when one deals with differential equations and Fourier transforms. Interestingly, the convolution is commutative. That is, \(f\ast g=g\ast f \). This fact bothers me quite a bit as, at the first glance, the definition does not suggest so. Here is my attempt to show that it is indeed commutative to convince myself.

Let \(u:=t-\tau\). So, \(du=-d\tau\). \[\begin{align*} \left(f\ast g\right)(t)&:=\int_{-\infty}^{\infty}f(\tau)g(t-\tau)\, d\tau\\&=\int_{u(\tau=-\infty)}^{u(\tau=\infty)}f(t-u)g(u)(-du)\\&=-\int_{\infty}^{-\infty}g(u)f(t-u)\, du\\&=\int_{-\infty}^{\infty}g(u)f(t-u)\, du\\&=\left(g\ast f\right)(t) \end{align*}\]