Spinless Electron-Muon Scattering (Halzen-Martin)

[maverick280857]

Hi everyone.

I was going through section 4.2 of Halzen and Martin, when I came across the following step

\Box^2 A^{\mu} = j^{\mu}_{(2)}

where

j^{\mu}_{2} = -eN_{B}N_{D}(p_{D}+p_{B})^{\mu}e^{i(p_D-p_B)\cdot x}

Now, according to the authors,

Since \Box^2 e^{iq\cdot x} = -q^2 e^{iq\cdot x}[/tex], the solution of the above equation is<br /> <br /> A^{\mu} = -\frac{1}{q^2}j^{\mu}_{2}<br /> <br /> where q = p_D-p_B.

<br /> <br /> Question 1: <b>Shouldn&#039;t this be the solution in Fourier space?</b><br /> <br /> My doubt stems from the fact that the expression for the transition amplitude T_{fi} is<br /> <br /> T_{fi} = -i\int d^{4}x j_{\mu}^{fi}A^{\mu}<br /> <br /> with A^{\mu} being the vector potential of the muon, as obtained above, and j_{\mu}^{fi} being the 4-current of the electron, given by<br /> <br /> j_{\mu}^{fi} = -eN_{A}N_{C}(p_A+p_C)_{\mu}e^{i(p_C-p_A)\cdot x}<br /> <br /> Let j_{\mu}^{fi} be denoted by j_{\mu}^{(1)}.<br /> <br /> Then, according to me, the expression of the transition amplitude should be<br /> <br /> T_{fi} = -i\int d^{4}x\,j_{\mu}^{(1)}\left(\frac{1}{(2\pi)^{4}}\int d^{4}q e^{-iq\cdot x}\frac{-j^{\mu}_{(2)}(q)}{q^2}\right)<br /> <br /> whereas the expression given by Halzen and Martin is<br /> <br /> T_{fi} = -i\int d^{4}x\,j_{\mu}^{(1)}\left(\frac{-j^{\mu}_{(2)}(x)}{q^2}\right)<br /> <br /> Note that the j^{\mu}_{(2)} which appears in their expression is not the Fourier Transformed version. While the final expression might just seem to turn out right, what I do not understand is how they could write the solution to A^{\mu} quite so simply in <i>position space</i>.<br /> <br /> Isn&#039;t there a misprint somewhere?

 

[ansgar]

plug in their suggested solution into <br /> \Box^2 A^{\mu} = j^{\mu}_{(2)}<br />

<br /> j^{\mu}_{2} = -eN_{B}N_{D}(p_{D}+p_{B})^{\mu}e^{i(p_D-p_B)\cdot x}<br /> should be
<br /> j^{\mu}_{2} = -eN_{B}N_{D}(p_{D}-p_{B})^{\mu}e^{i(p_D-p_B)\cdot x}<br />

??

 

[maverick280857]

I don't understand what you're trying to say.

EDIT: Perhaps you are trying to point out that their solution is correct. I got that part, but only after going to Fourier space and taking an inverse Fourier transform, in which the delta function essentially collapsed the integral to that 1/q^2 term.

 

[ansgar]

you wrote

<br /> j^{\mu}_{2} = -eN_{B}N_{D}(p_{D}+p_{B})^{\mu}e^{i(p_D-p_B)\cdot x}<br />

but it should be

<br /> j^{\mu}_{2} = -eN_{B}N_{D}(p_{D}-p_{B})^{\mu}e^{i(p_D-p_B)\cdot x}<br />

? or ??

then let
<br /> j^{\mu}_{2} = -q^{\mu}e^{iq\cdot x}<br />

we get if

<br /> A^{\mu} = -\frac{1}{q^2}j^{\mu}_{2} \: \Rightarrow <br />

<br /> \Box^2 A^{\mu} = j^{\mu}_{(2)}<br />

where lies your problem?

 

[maverick280857]

you wrote

<br /> j^{\mu}_{2} = -eN_{B}N_{D}(p_{D}+p_{B})^{\mu}e^{i(p_D-p_B)\cdot x}<br />

but it should be

<br /> j^{\mu}_{2} = -eN_{B}N_{D}(p_{D}-p_{B})^{\mu}e^{i(p_D-p_B)\cdot x}<br />

No, what I wrote is correct. Refer to Eqn 4.11 for a clarification.

Also, by definition \phi_{i,f} = N_{i,f}e^{-ip_{i,f}\cdot x} and

j_{\mu}^{fi}(x) = -ie(\phi_{f}^{*}(\partial_\mu\phi_i)-(\partial_\mu\phi_f^{*})\phi_i)

which gives a + sign, as correctly stated in my post.

The problem was that if you take the Fourier transform of \Box A^\mu(x) = j^\mu(x) you get

A^\mu(q) = -\frac{1}{q^2}j^\mu(q)

where the argument q denotes the Fourier Transformed version. In the book, it appears that 4.15 has been written in position space directly, which was confusing initially, until I realized that the delta function term plays a role and one gets a similar expression in position space as well.

 

[ansgar]

No, what I wrote is correct. Refer to Eqn 4.11 for a clarification.

Also, by definition \phi_{i,f} = N_{i,f}e^{-ip_{i,f}\cdot x} and

j_{\mu}^{fi}(x) = -ie(\phi_{f}^{*}(\partial_\mu\phi_i)-(\partial_\mu\phi_f^{*})\phi_i)

which gives a + sign, as correctly stated in my post.

The problem was that if you take the Fourier transform of \Box A^\mu(x) = j^\mu(x) you get

A^\mu(q) = -\frac{1}{q^2}j^\mu(q)

where the argument q denotes the Fourier Transformed version. In the book, it appears that 4.15 has been written in position space directly, which was confusing initially, until I realized that the delta function term plays a role and one gets a similar expression in position space as well.

i don't have that book

then you have (a+b) but you have (a-b) in the numerator?

 

[maverick280857]

i don't have that book

then you have (a+b) but you have (a-b) in the numerator?

Yes, you have (a-b) in the argument of the exponential, and (a+b) in the coefficient of the exponential term. You get that if you use the standard expression for the 4-current, and a asymptotic plane wave for the initial and final states of the (spinless) electron and muon.

 

[ansgar]

so how is

<br /> \Box^2 e^{iq\cdot x} = -q^2 e^{iq\cdot x}<br />

with <br /> q = p_D-p_B<br /> justified?

if we forget what q is, then

<br /> A^{\mu} = -\frac{1}{q^2}j^{\mu}_{2}<br />

is a solution for (in position space)
<br /> \Box^2 A^{\mu} = j^{\mu}_{(2)}<br />
where

<br /> j^{\mu}_{2} = -q^{\mu}e^{iq\cdot x}<br />

 

[maverick280857]

so how is

<br /> \Box^2 e^{iq\cdot x} = -q^2 e^{iq\cdot x}<br />

with <br /> q = p_D-p_B<br /> justified?

Just use the definition of the d'Alembertian: \Box = \partial_\mu\partial^\mu = \frac{\partial^2}{\partial t^2}-\nabla^2.

As for the second part, it is not justified directly, but rather, one computes the Fourier transform of the 4-current, multiplies it by -1/q^2, takes the inverse Fourier transform, and ends up getting the expression mentioned in the book. The conclusion is that the final expression given in the book (solution of the differential equation) is correct.

Another way of looking at it (and thanks for making me think) is that the right hand side of the differential equation contains an exponential, and the left hand side is a linear differential operator acting on an undetermined function. So we can expand the solution as a series in the exponential function on the right hand side (the usual way a particular integral of an ODE is found..except that here we are dealing with uncoupled partial derivatives, so the method goes through). Comparing coefficients and rearranging gives the same result.

Finally, the property that the position space solution ends up 'looking' like the Fourier domain solution holds due to the presence of a single complex exponential on the RHS. If the 4-current were more complicated, life wouldn't be quite so simple (e.g. the general retarded potential solution for the 4-potential, which is up to quadrature).

 

[ansgar]

box vs. box^2 ?

I was referring to the fact that applying <br /> <br /> \Box^2 e^{iq\cdot x} = -q^2 e^{iq\cdot x}<br /> <br />
with
<br /> <br /> q = p_D-p_B<br /> <br />
to an equation with is on the form
<br /> <br /> j^{\mu}_{2} = -eN_{B}N_{D}(p_{D}+p_{B})^{\mu}e^{i(p_D-p_B)\cdot x}<br /> <br />

 

[maverick280857]

box vs. box^2 ?

I was referring to the fact that applying <br /> <br /> \Box^2 e^{iq\cdot x} = -q^2 e^{iq\cdot x}<br /> <br />
with
<br /> <br /> q = p_D-p_B<br /> <br />
to an equation with is on the form
<br /> <br /> j^{\mu}_{2} = -eN_{B}N_{D}(p_{D}+p_{B})^{\mu}e^{i(p_D-p_B)\cdot x}<br /> <br />

I believe the authors are trying to justify the solution that way.

 

[councilmage]

box vs. box^2 ?

Both \Box^2 = \Box are often used to refer to the d'Alembertian which is a second derivative.


Hence, what you wrote here:

<br /> <br /> j^{\mu}_{2} = -q^{\mu}e^{iq\cdot x}<br /> <br />

does not really make sense.

 

[ansgar]

Hence, what you wrote here: does not really make sense.

explain

 

[councilmage]

<br /> \Box^2e^{iq\cdot x} = \partial_\mu\partial^\mu (e^{iq^\mu x_\mu}) = \partial_\mu ( -iq^\mu e^{iq_\mu x^\mu})= (-iq^\mu)(-iq_\mu) e^{iq\cdot x} = -q^2e^{iq\cdot x}<br />

So I'm not sure how you obtained j^{\mu}_{2} = -q^{\mu}e^{iq\cdot x}. I should probably have asked that first.

you wrote

<br /> j^{\mu}_{2} = -eN_{B}N_{D}(p_{D}+p_{B})^{\mu}e^{i(p_D-p_B)\cdot x}<br />

but it should be

<br /> j^{\mu}_{2} = -eN_{B}N_{D}(p_{D}-p_{B})^{\mu}e^{i(p_D-p_B)\cdot x}<br />

? or ??

then let
<br /> j^{\mu}_{2} = -q^{\mu}e^{iq\cdot x}<br />

we get if

<br /> A^{\mu} = -\frac{1}{q^2}j^{\mu}_{2} \: \Rightarrow <br />

<br /> \Box^2 A^{\mu} = j^{\mu}_{(2)}<br />

where lies your problem?

I see here that you assumed j^{\mu}_{2} = -q^{\mu}e^{iq\cdot x}.

Try calling

j^{\mu}_{2} = -C^{\mu}e^{iq\cdot x}

which still works. What this means is that the form of C^\mu is not fixed by these equations.

Hence we'll have to go back to the definition of the Klein-Gordon current to get C^\mu:

<br /> j_{\mu}^{fi}(x) = -ie(\phi_{f}^{*}(\partial_\mu\phi_i)-(\partial_\mu\phi_f^{*})\phi_i)<br />