- #1

- 20

- 0

I would like to know what is the dirac delta function of x^2, I read somewhere it is equal to delta of x itself but why?

- Thread starter chessmath
- Start date

- #1

- 20

- 0

I would like to know what is the dirac delta function of x^2, I read somewhere it is equal to delta of x itself but why?

- #2

pwsnafu

Science Advisor

- 1,080

- 85

Now the functions ##f(x)=x^2## and ##g(x) = x## both pass through the origin, so when you do Dirac to either you get zero.

- #3

- 816

- 1

But [tex]\int_{-\infty}^{\infty} \delta(x)2x\,\mathrm{d}x = 2x\mid_{x=0} = 0[/tex] So the delta functions are not the same.

- #4

Mute

Homework Helper

- 1,388

- 10

I think one needs to be more careful with the limits when changing variables. The singularity in the integral occurs right at the point where one needs to split up the integral to do the change of variables, which prevents us from doing so.

But [tex]\int_{-\infty}^{\infty} \delta(x)2x\,\mathrm{d}x = 2x\mid_{x=0} = 0[/tex] So the delta functions are not the same.

Consider what happens if we do the calculation like this instead:

$$I = \int_{-\infty}^\infty dx~2x \delta(x^2 - \epsilon),$$

where ##\epsilon## is a small positive constant to be taken to zero at the end of the calculation. Using the rule

$$\delta(g(x)) = \sum_i \frac{\delta(x-x_i)}{|g'(x_i)|},$$

where the ##x_i## are zeros of g(x), we have

$$\begin{eqnarray*}

I & = & \int_{-\infty}^\infty dx~2x \left[ \frac{\delta(x-\sqrt{\epsilon})}{2\sqrt{\epsilon}} + \frac{\delta(x+\sqrt{\epsilon})}{|-2\sqrt{\epsilon}|}\right] \\

& = & \frac{1}{\sqrt{\epsilon}}\left[ \sqrt{\epsilon} + (-\sqrt{\epsilon})\right] \\

& = & 0.

\end{eqnarray*}$$

(Taking the limit at this point is, of course, trivial).

Last edited:

- #5

pwsnafu

Science Advisor

- 1,080

- 85

Invalid. Integration by substitution is only well defined when we are dealing with functions with real variables.I disagree. Consider the following variable transformation: [tex]u=x^2 \qquad \mathrm{d}u=2x\,\mathrm{d}x[/tex] [tex]\int_{-\infty}^{\infty} \delta(x^2)2x\,\mathrm{d}x = 2 \int_{0}^{\infty} \delta(u)\,\mathrm{d}u = 1[/tex]

PS: Dirac is a functional. So, the statement "Dirac delta of g" means "apply Dirac delta to g". If you want ##\delta \circ g## you need to write "Dirac composed with g".

Last edited:

- #6

- 816

- 1

- #7

Mute

Homework Helper

- 1,388

- 10

The change of variables does not work in your calculation because you have to split the integral up right at the point where the delta function should "ping". That needs to be treated more carefully. (Also, we are not arguing against the convention ##\int_0^\infty \delta(x)f(x) = f(0)/2##.)

In my calculation g'(x) where the delta function "pings" because I have shifted the discontinuity away from zero to a value where the derivative exists, and hence the calculation is valid. The only way it can be incorrect is to argue that

$$\lim_{\epsilon \rightarrow 0} \int_{-\infty}^\infty dx~2x \delta(x^2-\epsilon) \neq \int_{-\infty}^\infty dx~2x \delta(x^2).$$

So, let's try this as you suggest: let's take ##\int_{-\infty}^\infty dx~2x \delta(x^2)## to mean

$$\lim_{\epsilon\rightarrow 0}\int_{-\infty}^\infty dx~2x \delta_\epsilon(x^2),$$

where ##\delta_\epsilon(x^2)## is a nascent delta function. Let's choose

$$\delta_\epsilon(x^2) = \frac{1}{\sqrt{2\pi}\epsilon} \exp\left(-\frac{(x^2)^2}{2\epsilon^2}\right).$$

Then,

$$\int_{-\infty}^\infty dx~2x \frac{1}{\sqrt{2\pi}\epsilon} \exp\left(-\frac{(x^2)^2}{2\epsilon^2}\right) = 0$$

by symmetry.

Hm. Well, let's try a nascent delta function that's not symmetric, then. Let's consider

$$\delta_\epsilon(x) = \frac{\mbox{Ai}(x/\epsilon)}{\epsilon},$$

where Ai(x) is the Airy function. But then we have ##\delta_\epsilon(x^2) = Ai(x^2/\epsilon)/\epsilon##, and so it will turn out to be an even integrand again: Changing variables to ##y = x/\sqrt{\epsilon}## gives

$$\int_{-\infty}^\infty dx~2x \frac{\mbox{Ai}(x^2/\epsilon)}{\epsilon} = \int_{-\infty}^\infty dy~2y \mbox{Ai}(y^2) = 0.$$

So, for the moment I remain convinced that the answer is zero in this case.

Note, however, there are potential problems, at least computationally: if we consider a general function ##f(x)##, then

$$\int_{-\infty}^\infty dx~f(x) \frac{\mbox{Ai}(x^2/\epsilon)}{\epsilon} = \int_{-\infty}^\infty dy~\frac{f(\sqrt{\epsilon}y)}{\epsilon} \mbox{Ai}(y^2).$$

If the function f(x) is odd in y, then the integral is of course still zero by symmetry. However, if f is not odd then ##f(\sqrt{\epsilon}y)/\sqrt{\epsilon}## may diverge as ##\epsilon## tends to zero, in which case we cannot take the limit inside the integrand. This does not imply the limit does not exist, per se, but we would have to do the integral first and then take the limit to find out whether it does or not.

Last edited:

- #8

pwsnafu

Science Advisor

- 1,080

- 85

What? Did even read Wikipedia, that you cite?pwsnafu's definition of the delta function seems to differ from that of the rest of the world.

Are you citing this? Then you need the derivative of theSorry, people but wikipedia agrees with me. The variable transform rule is the only sensible way to define

PS: Wait are you citing this? Then it clearly states:

But ##g(x)=x^2## doesn't satisfy this. So I ask you again: how do you define ##\delta(x^2)##. If ##\phi_n \rightarrow \delta## then (if I understand your argument)provided that g is a continuously differentiable function with g′ nowhere zero.

##\lim_{n\rightarrow\infty}\int_{\mathbb{R}} \phi_n(x^2) \, f(x) \, dx = \lim_{n\rightarrow\infty}\int_0^\infty \phi_n(u) \, \frac{f(\sqrt u}{2\sqrt u} \, du##

but I'm not seeing how the RHS is well-defined as a generalised function for some arbitrary test function f.

I'm personally starting to get the feeling ##\delta(x^2)## is not a well-defined generalised function.

Last edited:

- #9

- 1

- 0

I think this can help: http://www.gauge-institute.org/delta/DeltaFunction.pdf

In short, δ(x^{n}) is an open question!

In short, δ(x

Last edited:

- Last Post

- Replies
- 8

- Views
- 4K

- Last Post

- Replies
- 1

- Views
- 3K

- Last Post

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 4K

- Last Post

- Replies
- 15

- Views
- 66K

- Last Post

- Replies
- 3

- Views
- 13K

- Last Post

- Replies
- 8

- Views
- 6K

- Last Post

- Replies
- 8

- Views
- 2K

- Last Post

- Replies
- 14

- Views
- 3K

- Replies
- 1

- Views
- 9K