Is convolution area-preserving

areaconvolutionimproper-integralsintegration

Consider two functions f(x) and g(x) with indefinite integrals ("area under the curve") Af and Ag. Does the convolution f * g preserve the area, i.e. is

Af *g = Af * Ag

i.e.

∫ ( ∫f(x)g(t−x)dx ) dt = (∫f(x)dx) (∫g(x)dx) ?

I've learned that convolution in one space is multiplication in the dual space, or more precisely, that direct multiplication in one space corresponds to polynomial multiplication in the dual space. There is also a nice, short video where this intuition is explained, but I'm having difficulty transferring this to the question regarding areas and drawing the right conclusions.

To provide some practical context: Image formation in an optical system can be described as

Image = Source * PSF

with PSF being the point spread function describing the system's impulse response. The PSF is often approximated by a Gaussian and the convolution results in a Gaussian blur.

If the Gaussian is normalized to unit area (i.e. a normal distribution), does this equate to the fact that the integrated intensities of source and image are preserved? Meaning that the photons are merely "redistributed" (blurring process), but the total photon number is preserved (= energy conservation in an ideal, lossless system)?

Conversely, can I add e.g. a 10% loss of photons due to absorption by simply changing the normalization of the PSF from 1.0 to 0.9 (rescaling the Gaussian's normalization factor)?

Best Answer

If by convolution you mean the standard

$$(f * g)(t) = \int f(x)g(t-x)dx$$

and by area

$$A_f = \int f(x)dx$$

then the question is whether the following is true

$$\int\left[\int f(x)g(t-x) dx\right]dt = \left[\int f(x)dx\right]\cdot \left[\int g(x)dx\right]$$

This is indeed true. By a simple change of variables

$$u = x$$ $$v = t - x$$

with Jacobian

$$\det \pmatrix{1 & -1 \\ 0 & 1} = 1$$

we get

$$\int\int f(x)g(t-x) dxdt = \int\int f(u)g(v)dudv = \left[\int f(u)du\right]\cdot \left[\int g(v)dv\right]$$

provided that the conditions of the Fubini theorem are satisfied.

Related Question