Convolution

Definition (Convolution)

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

Remark

  • f,g∈L1  ⟹  f∗g∈L1f,g\in L^{1}\implies f*g\in L^{1}
  • f,g≥0  ⟹  f∗g∈L1f,g\ge 0\implies f*g\in L^{1}
  • This allows us to apply Fubini-Tonelli…

Linked from