Scaling Property of the Dirac Delta Function

[thegreenlaser]

Homework Statement

Prove that
\displaystyle \int_{-\infty}^{\infty} \delta (at - t_0) \ dt = \frac{1}{ | a |} \int_{-\infty}^{\infty} \delta (t - \frac{t_0}{a}) \ dt
For some constant a.

The Attempt at a Solution

Edit: Looking at this again, I really don't understand where this is coming from. Everywhere I've read has just said to do a change of variable with u = at, but performing this change of variable, I get
\displaystyle \frac{1}{a} \int_{-\infty}^{\infty} \delta (u - t_0) \ du
I don't really understand where the absolute value or the t_0 / a come from.

 

[Dick]

The order of the limits -infinity to +infinity depend on the sign of a. Think about that. That's where the absolute value comes from.

 

[thegreenlaser]

Oh, right, I forgot to change my integration limits when I did the change of variable. Thanks. What about the \frac{t_0}{a} term?

 

[nrqed]

Oh, right, I forgot to change my integration limits when I did the change of variable. Thanks. What about the \frac{t_0}{a} term?

SInce you defined u = a t, you have to define as well a u_o = a t_o so that your integral over u will contain a delta \delta(u- u_o/a). Then you rename u \rightarrow t and you get their final expression.

 

[thegreenlaser]

^Well, I guess that makes sense because the delta function should be non-zero when at-t_0 = 0 i.e. when t = t_0 / a However, I don't quite understand from a general mathematical standpoint why the t_0 constant needs to be replaced when t is replaced. It doesn't seem to me that this is required generally. Like, for example if I have
f(x) = x^2
and I want to evaluate
\int f(2x - x_0) \ dx
I could do a change of variables, like
u = 2x
but it makes no difference in the evaluation of the integral whether or not I make the substitution
u_0 = 2x_0

(I did the integration on my whiteboard, but I'm not going to bother posting it, cause I'm just hoping this will help someone see where my thinking is wrong)
I understand that this is no-where near a 'dis-proof' of the fact that the substitution is required generally. I do believe you, I'm just curious why this is required.

 

[L-x]

I *think* it's because you're redefining u->t. Normally when using a substitution you just either substitute back in at the end or change the limits over which you are integrating. If you redefine u so it is a times smaller than it was before, you also need to make sure all the constants are scaled by the same amount (you don't notice this scaling for the limits of the integral as infinity/a is still infinity.

 

[Dick]

^Well, I guess that makes sense because the delta function should be non-zero when at-t_0 = 0 i.e. when t = t_0 / a However, I don't quite understand from a general mathematical standpoint why the t_0 constant needs to be replaced when t is replaced. It doesn't seem to me that this is required generally. Like, for example if I have
f(x) = x^2
and I want to evaluate
\int f(2x - x_0) \ dx
I could do a change of variables, like
u = 2x
but it makes no difference in the evaluation of the integral whether or not I make the substitution
u_0 = 2x_0

(I did the integration on my whiteboard, but I'm not going to bother posting it, cause I'm just hoping this will help someone see where my thinking is wrong)
I understand that this is no-where near a 'dis-proof' of the fact that the substitution is required generally. I do believe you, I'm just curious why this is required.

It makes no difference in the evaluation of the integral of delta(t-t0/a). That integral is 1 regardless of what the additive constant is. The constant makes a difference when you want to integrate g(t)*delta(t-t0/a) for some function g(t). Then you get g(t0/a), because as you've said the delta function is concentrated at t=t0/a.

 

[thegreenlaser]

Oh, I see. So, just to make sure I understand this, is this another way to look at it?

Given
\int_{-\infty}^{\infty} g(t) \delta(at - t_0) \ dt
let
u = at
Subbing this in gives
\frac{1}{|a|}\int_{-\infty}^{\infty} g\left(\frac{u}{a}\right) \delta(u - t_0) \ du
which is then equal to the function g(u/a) evaluated at u=t₀, where the argument of the delta function is zero. So then,
\frac{1}{|a|}\int_{-\infty}^{\infty} g\left(\frac{u}{a}\right) \delta(u - t_0) \ du<br /> = \left. \frac{1}{|a|} g\left(\frac{u}{a}\right) \right|_{u=t_0}<br /> = \frac{1}{|a|} g\left(\frac{t_0}{a}\right)
which is the desired result. Whereas with the other way, you would leave g(t) be and then change the t₀ variable, so that the result is (1/|a|)*g(t) evaluated at t=t₀/a, which gives the same thing.

Sorry to keep going with this, I just really want to make sure I understand this. I'm having trouble conceptually with the delta function.

 

[Dick]

I think you've got it.