[Physics] Dirac delta function and correlation functions

correlation-functionsdirac-delta-distributionsnoise

I was reading this article, which introduces the Delta function as a general sequence of integrable functions, i.e. if $$\displaystyle\int_{-\infty}^{+\infty} g(x)~\mathrm dx = G,$$ where $g(x)$ could be any function that gives a finite value for $G$, then $$\displaystyle \lim_{\gamma \to \infty} \gamma g(\gamma x)=G\delta(x).$$ Using this definition, the authors claim that the value of delta function is not necessarily infinite at $x=0$, because we can choose $g(x)$ in a way that $g(0) =0$.

Now for a white (or Gaussian) noise, let's call it $\zeta(t)$, the correlation function is defined as:
$$\langle \zeta(t) \zeta(t^\prime )\rangle= K \delta(t-t^\prime),$$
which can be understood in an intuitive way as stating that the noise is uncorrelated for different times, and has a strength of $K$.

What happens to this correlation function if we choose the "Delta-generating sequence" of functions so that $\delta(0)=0$? Should we just give a meaning to this type of correlation functions (involving a Delta) only when they are inside an integral? (and if it's the case, then assume we want to integrate this correlation from $t'=0$ to $t'=t$, then upon using different sequences of functions (to produce Delta), the final result of the integration may be different)

Best Answer

Saying that $\delta(0) = 0$ is completely non-sensical since the Dirac delta function is not a function to begin with. When we physicists write $$ \int \delta(x)f(x) \mathrm{d}x = f(0) \tag{1}$$ when that's all the "definition" of the delta "function" you actually need. Formally, the $\delta$ function is a tempered distribution, something that assigns numbers to test functions. The "integral notation" eq. (1) is just a mnemonic because in many respects this assignment "behaves like an integral", e.g. it obeys a variant of integration by parts. The formal definition of the delta "function" is just $f\mapsto \delta[f] = f(0)$ where you are already notationally prohibited from trying to feed a position like $x=0$ as $\delta(0)$ to it.

While it is true that one can represent the $\delta$ function as the limit of certain other functions (these are called nascent delta functions), this limit is not taken in the space of functions, but in the space of distributions, so the result is not a function. I do not have access to the specific article you are reading, but in general, manipulating the value of the delta function at specific points does not make any rigorous sense. As so often in physics, this does not necessarily mean the result obtained is wrong, but it should be proven by other means in order to trust it.

Related Question