Help w/ Zwiebach Pg 178 Eq 10.73 & Why "In Momentum Space" is True

[ehrenfest]

Homework Statement

Can someone help me figure out where equation 10.73 comes from and why the sentence

"In momentum space, the gauge transformation relates $$\delta A_{\mu}(p)$$ to the Fourier transform epsilon(p) of the gauge parameter"

is true?

Homework Equations

The Attempt at a Solution

 

[Jimmy Snyder]

Can someone help me figure out where equation 10.73 comes from

Take the Fourier transform of both sides of equation (10.68)

and why the sentence

"In momentum space, the gauge transformation relates $$\delta A_{\mu}(p)$$ to the Fourier transform epsilon(p) of the gauge parameter"

is true?

This is just a description, in words, of equation (10.73)

 

[ehrenfest]

Take the Fourier transform of both sides of equation (10.68)

Like this

$$\int \frac{1}{2 \pi} \delta A_{\mu} e^{-i p \cdot x} dx = \int \frac{1}{2 \pi} \partial_{\mu}\epsilon e^{-i p \cdot x} dx$$

?
How does that simplify?

 

[Jimmy Snyder]

Like this

$$\int \frac{1}{2 \pi} \delta A_{\mu} e^{-i p \cdot x} dx = \int \frac{1}{2 \pi} \partial_{\mu}\epsilon e^{-i p \cdot x} dx$$

?
How does that simplify?

My bad. I'm not doing so good, my answers to your other question were wrong too. Please review that thread.

What I should have said is display (10.68) as the Fourier transform of the momentum equation. Like this.
$$\int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu} = \partial_{\mu} \int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \epsilon (p)$$

 

[nrqed]

Like this

$$\int \frac{1}{2 \pi} \delta A_{\mu} e^{-i p \cdot x} dx = \int \frac{1}{2 \pi} \partial_{\mu}\epsilon e^{-i p \cdot x} dx$$

?
How does that simplify?

Like this:

$$\int \frac{1}{2 \pi}~( \delta A_{\mu}(p))~ e^{-i p \cdot x} dp = \int \frac{1}{2 \pi} \partial_{\mu} (\epsilon(p) e^{-i p \cdot x}) dp$$

(The integrals are over the momentum). Now, in the secondterm, you may apply the derivative to the exponential which leads to the desired result.

 

[ehrenfest]

$$\int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu} = \partial_{\mu} \int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \epsilon (p)$$

Are you missing a partial in front of the epsilon?

 

[nrqed]

Are you missing a partial in front of the epsilon?

You mean a partial derivative? Jimmy moved it in front of the integral! (which he can do since the integral is over th emomentum)

 

[ehrenfest]

You mean a partial derivative? Jimmy moved it in front of the integral! (which he can do since the integral is over th emomentum)

Interesting. I didn't realize it but we have been assuming that the four-momentum has no explicit x^mu dependence. Is that safe?

 

[nrqed]

Interesting. I didn't realize it but we have been assuming that the four-momentum has no explicit x^mu dependence. Is that safe?

Yes. Here, the momentum is to be seen as a totally independent variable. what we are doing here is simply a Fourier transform. So think of p as being independent. It's in the same spirit as doing Hamiltonian mechanics with the generalized coordinates and momenta being independent.

 

[ehrenfest]

But wait. Even though the integral is over momentum, jimmy moved the partial derivative in front of a term that does have x^mu dependence i.e. the exponential term? That's like saying

$$e^{i p \cdot x} \partial_{\mu} \epsilon (p) = \partial_{\mu} e^{i p \cdot x} \epsilon (p)$$

?

 

[nrqed]

But wait. Even though the integral is over momentum, jimmy moved the partial derivative in front of a term that does have x^mu dependence i.e. the exponential term? That's like saying

$$e^{i p \cdot x} \partial_{\mu} \epsilon (p) = \partial_{\mu} e^{i p \cdot x} \epsilon (p)$$

?

No. One possible source of confusion here is that there are two different functions with the same name! There is the $\epsilon(x)$ and then there is the $\epsilon(p)$ Those are different functions!

The initial expression was $\partial_\mu \epsilon(x)$

Then this epsilon(x) is written as the whole integral over momentum of epsilon(p) times the exponential. The derivative is applied on the whole thing and then can be moved inside and be applied to the exponential (it goes right through the epsilon(ep) )

 

[ehrenfest]

I see. So it should really be
$$\int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu}(p) = \partial_{\mu} \int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \epsilon (p)$$

where I added a (p) to the delta A.

Also, was I correct to dot p and x in the exponential because I noticed that Zwiebach does not do that and it seems like he should because the vector potential A has four indices which would imply that x and p would also have four indices?

 

[Jimmy Snyder]

I see. So it should really be
$$\int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu}(p) = \partial_{\mu} \int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \epsilon (p)$$

where I added a (p) to the delta A.

Also, was I correct to dot p and x in the exponential because I noticed that Zwiebach does not do that and it seems like he should because the vector potential A has four indices which would imply that x and p would also have four indices?

Yes, I left off the (p) in error. You are correct that the dot is missing from the exponent in equation (10.71), but present in (10.21) on page 170. It should always be there, but there is no fear of confusion if it is missing.

 

[ehrenfest]

So $$\int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu}(p) = \partial_{\mu} \int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \epsilon (p)$$

$$\int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu}(p) = {\mu} \int \frac{d^Dp}{(2 \pi)^D} ip_{\mu} e^{i p \cdot x} \epsilon (p)$$

So, it seems like you get equation 10.73 by setting the integrands equal to each other? Is that allowed?

Does $$\int_0^{\pi} \sin (x) dx = \int_0^{\pi} 2/\pi dx$$ imply that sin(x) = 2/pi ?

EDIT: the mu in front of the last equation is a mistake

 

[Jimmy Snyder]

So, it seems like you get equation 10.73 by setting the integrands equal to each other? Is that allowed?

In general no, but for Fourier transforms, yes. The operator F that takes a function to its Fourier transform is invertable. Therefor
$F(g) = F(h)$ implies $g = F^{-1}F(g) = F^{-1}F(h) = h$
In the present case, g is $\delta A_{\mu}(p)$ and h is $ip_{\mu}\epsilon (p)$

 

[ehrenfest]

Could you also just say that

$$\int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu}(p) =\int \frac{d^Dp}{(2 \pi)^D} ip_{\mu} e^{i p \cdot x} \epsilon (p)$$

implies

$$\int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu}(p) = ip_{\mu} \int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \epsilon (p)$$

implies

$$\delta A_{\mu}(p) = ip_{\mu} \epsilon (p)$$

implies $$\delta A_{\mu}(x) = ip_{\mu} \epsilon (x)$$

?

 

[nrqed]

Could you also just say that

$$\int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu}(p) =\int \frac{d^Dp}{(2 \pi)^D} ip_{\mu} e^{i p \cdot x} \epsilon (p)$$

implies

$$\int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu}(p) = ip_{\mu} \int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \epsilon (p)$$

implies

$$\delta A_{\mu}(p) = ip_{\mu} \epsilon (p)$$

implies


$$\delta A_{\mu}(x) = ip_{\mu} \epsilon (x)$$

?

You can't move the p_mu out of the integral since it is what is being integrated over

 

[ehrenfest]

OK. So like jimmy said we need to take an inverse Fourier transform:

$$\int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu}(p) =\int \frac{d^Dp}{(2 \pi)^D} ip_{\mu} e^{i p \cdot x} \epsilon (p)$$

implies

$$\int \frac{d^Dx}{(2 \pi)^D} e^{-i p \cdot x} \int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu}(p) =\int \frac{d^Dx}{(2 \pi)^D} e^{-i p \cdot x} \int \frac{d^Dp}{(2 \pi)^D} ip_{\mu} e^{i p \cdot x} \epsilon (p)$$

implies

$$\int \int \frac{d^Dx}{(2 \pi)^D} \frac{d^Dp}{(2 \pi)^D}\delta A_{\mu}(p) = \int \int \frac{d^Dx}{(2 \pi)^D} \frac{d^Dp}{(2 \pi)^D} ip_{\mu}<br /> \epsilon (p)$$

and that is supposed to imply that the integrands are equal somehow?

 

[nrqed]

OK. So like jimmy said we need to take an inverse Fourier transform:

$$\int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu}(p) =\int \frac{d^Dp}{(2 \pi)^D} ip_{\mu} e^{i p \cdot x} \epsilon (p)$$

implies

$$\int \frac{d^Dx}{(2 \pi)^D} e^{-i p \cdot x} \int \frac{d^Dp}{(2 \pi)^D} e^{i p \cdot x} \delta A_{\mu}(p) =\int \frac{d^Dx}{(2 \pi)^D} e^{-i p \cdot x} \int \frac{d^Dp}{(2 \pi)^D} ip_{\mu} e^{i p \cdot x} \epsilon (p)$$

implies

$$\int \int \frac{d^Dx}{(2 \pi)^D} \frac{d^Dp}{(2 \pi)^D}\delta A_{\mu}(p) = \int \int \frac{d^Dx}{(2 \pi)^D} \frac{d^Dp}{(2 \pi)^D} ip_{\mu}<br /> \epsilon (p)$$

and that is supposed to imply that the integrands are equal somehow?

In your first step, when you do the inverse Fourier transform, you must do it with respect to a different momentum, say p'. Then you must use that the integral over x of the product of the two exponentials will give a Dirac delta function $\delta(p - p')$ (you have to watch out for factors of 2 pi and so on). Then you will be left at the end with $\deltaA_\mu(p;) = i p'_\mu \epsilon(p')$

 

[Jimmy Snyder]

Ehrenfest, if you look on page 316, there is another discussion of equation (10.68). Here it is labeled (15.41). In this discussion, he adds a new twist, the condition that epsilon vanishes sufficiently rapidly at infinity. With this extra condition, you can get equation (10.73) directly from (10.68) by Fourier transforming both sides. I don't have time to show you how right now, but I think you can do it on your own anyway.

 

[ehrenfest]

I see. So it is:

$$\int \int \frac{d^Dx}{(2 \pi)^D} \frac{d^Dp}{(2 \pi)^D}\delta A_{\mu}(p)\delta)(p'-p) = \int \int \frac{d^Dx}{(2 \pi)^D} \frac{d^Dp}{(2 \pi)^D} ip_{\mu} \epsilon (p) \delta(p'-p)$$

implies

$$\int \frac{d^Dx}{(2 \pi)^D} \frac{1}{(2 \pi)^D}\delta A_{\mu}(p')= \int \frac{d^Dx}{(2 \pi)^D} \frac{1}{(2 \pi)^D} ip_{\mu} \epsilon (p')$$

and that gives the result we want.

Was I correct to leave that 1/(2 pi)^D in there when I applied dirac delta to the momentum integral?

 

[nrqed]

I see. So it is:

$$\int \int \frac{d^Dx}{(2 \pi)^D} \frac{d^Dp}{(2 \pi)^D}\delta A_{\mu}(p)\delta)(p'-p) = \int \int \frac{d^Dx}{(2 \pi)^D} \frac{d^Dp}{(2 \pi)^D} ip_{\mu} \epsilon (p) \delta(p'-p)$$

implies

$$\int \frac{d^Dx}{(2 \pi)^D} \frac{1}{(2 \pi)^D}\delta A_{\mu}(p')= \int \frac{d^Dx}{(2 \pi)^D} \frac{1}{(2 \pi)^D} ip_{\mu} \epsilon (p')$$

and that gives the result we want.

Was I correct to leave that 1/(2 pi)^D in there when I applied dirac delta to the momentum integral?

Not quite.

It's only after you have done the x integration that you have a Dirac delta function . Do you see what I mean? It's the integral $\int dx^D e^{i(p-p')x}$ which is proportional to $\delta(p-p')$ (I don't have the time to check the normalization used by Zwiebach right now).

So once you have the dirac delta, the integral over x is gone completely. Then you use the delta function to do the integral over p. So at the end you have no integrals left at all.

 

[ehrenfest]

You're right. So it should be:

$$\int \frac{d^Dp}{(2 \pi)^D}\delta A_{\mu}(p) \int \frac{d^Dx}{(2 \pi)^D} e^{i (p-p') \cdot x} = \int \frac{d^Dp}{(2 \pi)^D} ip_{\mu} \epsilon (p) \int \frac{d^Dx}{(2 \pi)^D} e^{i (p-p') \cdot x}$$

So, I guess we will assume Zwiebach normalized his Fourier transforms correctly:

$$\int \frac{d^Dp}{(2 \pi)^D}\delta A_{\mu}(p) \delta(p-p') = \int \frac{d^Dp}{(2 \pi)^D} ip_{\mu} \epsilon (p) \delta(p-p')$$

implies

$$\frac{1}{(2 \pi)^D}\delta A_{\mu}(p') = \frac{1}{(2 \pi)^D} ip_{\mu} \epsilon (p) \delta(p-p')$$

Was I correct to keep the 1/(2 pi)^D in the last step given that we are assuming that Zwiebach normalized his Fourier transforms correctly?

 

[Jimmy Snyder]

$$\frac{1}{(2 \pi)^D}\delta A_{\mu}(p') = \frac{1}{(2\pi)^D}ip_{\mu}\epsilon(p) \delta(p-p')$$

Was I correct to keep the 1/(2 pi)^D in the last step given that we are assuming that Zwiebach normalized his Fourier transforms correctly?

That should read:

$$\frac{1}{(2 \pi)^D}\delta A_{\mu}(p') = \frac{1}{(2 \pi)^D}ip_{\mu}\epsilon (p')$$
I think that the factor of 1/2pi is wrong, it was supposed to fall out in one of the integrations. But in this case it is irrelevant since you can cancel it out anyway. You can find a proof that the Fourier transform is invertible in a book on Fourier analysis, or perhaps in a book on mathematical physics. As I recall, the proof is more complicated than the one given here, but I don't remember what the issue is.

 

[ehrenfest]

I see. Thanks.