Hope to add bits of mathematics or mathematical news I find interesting.

Saturday, October 27, 2012

On convolutions

Somebody on MathOverlow asked for some intuition behind the operation of convolution of two functions. Here is my take on this. $\newcommand{\bZ}{\mathbb{Z}}$ $\newcommand{\bR}{\mathbb{R}}$

Suppose we are given a function $f:\bR\to \bR$. Discretize the real axis and think of it as the collection of point $\Lambda_\hbar:=\hbar \bZ$, where $\hbar>0$ is a small number. We can then approximate $f$ with its restriction $f^\hbar:=f|_{\Lambda_\hbar}$. This is determined by its generating function, i.e., the formal power series $\newcommand{\ii}{\boldsymbol{i}}$

and the expression in the right hand sum is a "Riemann sum" approximating

$$\int_{\bR} f(x)^{-\ii\xi x} dx. $$

Above we recognize the Fourier transform of $f$. If we let $\hbar\to 0$ in (\ref{2}) and we use (\ref{1}) we obtain the wellknown fact that the Fourier transform maps the convolution to the usual pointwise product of functions. (The fact that this rather careless passing to the limit can be rigorous is what the Poisson formula is all about.)

The above argument shows that we can regard $\hbar G_f^\hbar(1)$ as an approximation for $\int_{\bR} f(x) dx$.

Denote by $\delta(x)$ the Delta function concentrated at $0$. The Delta function concentrated at $x_0$ is then $\delta(x-x_0)$. What could be the generating function of $\delta(x)$, $G_\delta^\hbar$? First, we know that $\delta(x)=0$, $\forall x\neq 0$ so that

$$G_\delta^\hbar(t) =ct^0=c. $$

The constant $c$ can be determined from the equality

$$ 1= \int_{\bR} \delta(x) dx=\hbar G_\delta^\hbar(1)=\hbar c$$

Hence $\hbar G_\delta^\hbar(1)=1$. Similarly

$$ G^\hbar_{\delta(\cdot-n\hbar)} =\frac{1}{\hbar} t^n. $$

In particular, the discretization $\delta^\hbar(x-n\hbar)$ of $\delta(x-n\hbar)$ is the function $\Lambda_\hbar\to \bR$ with value $\frac{1}{\hbar}$ at $x=n\hbar$ and $0$ elsewhere.

Putting together all of the above we obtain an equivalemn description for the generating functon af a function $f:\Lambda_\hbar\to\bR$. More precisely

The last equality suggests an interpretation for the generating function as an algebraic encoding of the fact that $f:\Lambda_\hbar\to\bR$ is a superposition of $\delta$ functions concentrated along the points of the lattice $\Lambda_\hbar$. The factor $\hbar$ in (\ref{3}) is a discretization of the infinitesimal $dx$, which indicates that $\hbar\delta^\hbar_\lambda$ should be viewed as a measure. Observe that