Convolution

Definition (Convolution)

For measurable f,g:R[0,)f,g:\mathbb{R}\to[0,\infty), their convolution is (fg)(x)=Rf(t)g(xt)dt(f*g)(x)=\int\limits _{\mathbb{R}}f(t)g(x-t) \, dt

Remark

  • f,gL1    fgL1f,g\in L^{1}\implies f*g\in L^{1}
  • f,g0    fgL1f,g\ge 0\implies f*g\in L^{1}
  • This allows us to apply Fubini-Tonelli

Linked from