Derive expression for Klein-Gordon annihilation operator

[orentago]

[/tex]1. Homework Statement [/b]

Given: \phi(x)=\phi^+(x)+\phi^-(x)
Where:
\phi^+(x)=\sum_{\mathbf{k}} \sqrt{\frac{\hbar c^2}{2 V \omega_{\mathbf{k}}}} a(\mathbf{k}) \mathrm{e}^{-\mathrm{i}kx}
and
\phi^-(x)=\sum_{\mathbf{k}} \sqrt{\frac{\hbar c^2}{2 V \omega_{\mathbf{k}}}} a^\dagger (\mathbf{k}) \mathrm{e}^{\mathrm{i}kx}

Show that:

a(\mathbf{k})=\frac{1}{\sqrt{2 \hbar c^2 V \omega_{\mathbf{k}}}} \int\mathrm{d}^3 \mathbf{x} \mathrm{e}^{\mathrm{i}kx} (\mathrm{i}\dot{\phi}(x)+\omega_{\mathbf{k}} \phi(x))

Homework Equations

See above

The Attempt at a Solution

First differentiate \phi(x) w.r.t. time:

\dot{\phi}(x) = -\mathrm{i} \omega_{\mathbf{k}} \phi^+(x) + \mathrm{i} \omega_{\mathbf{k}} \phi^-(x) = -\mathrm{i} \omega_{\mathbf{k}} (\phi^+(x)-\phi^-(x))

Then add \mathrm{i}\dot{\phi}(x) to \omega_\mathbf{k}\phi(x) to give:

\omega_{\mathbf{k}} \phi(x)+\mathrm{i} \dot{\phi}(x) = 2 \omega_{\mathbf{k}} \sum_{\mathbf{k}} \sqrt{ \frac{\hbar c^2}{2 V \omega_{\mathbf{k}}}} a(\mathbf{k}) \mathrm{e}^{-\mathrm{i}kx} = \sum_{\mathbf{k}} \sqrt{\frac{2 \omega_{\mathbf{k}} \hbar c^2}{V}} a(\mathbf{k}) \mathrm{e}^{-\mathrm{i}kx}

So:
\omega_{\mathbf{k}} \phi(x)+\mathrm{i} \dot{\phi}(x) = \sum_{\mathbf{k}} \sqrt{\frac{2 \omega_{\mathbf{k}} \hbar c^2}{V}} a(\mathbf{k}) \mathrm{e}^{-\mathrm{i}kx}

And then I get stuck, because I have no idea how to get rid of the summation sign. I'm not certain of what happens to the V either, though I suspect it has something to do with the integral in some way.

Does anyone have any hints?

 

[fzero]

First differentiate \phi(x) w.r.t. time:

\dot{\phi}(x) = -\mathrm{i} \omega_{\mathbf{k}} \phi^+(x) + \mathrm{i} \omega_{\mathbf{k}} \phi^-(x) = -\mathrm{i} \omega_{\mathbf{k}} (\phi^+(x)-\phi^-(x))

You've pulled the factors of \omega_{\mathbf{k}} out of the summation here, which is incorrect. You can only write that

\dot{\phi}(x) =\sum_{\mathbf{k}} \sqrt{\frac{\hbar c^2}{2 V \omega_{\mathbf{k}}}} \left( -\mathrm{i} \omega_{\mathbf{k}} a(\mathbf{k}) \mathrm{e}^{-\mathrm{i}kx}<br /> + \mathrm{i} \omega_{\mathbf{k}} a^\dagger (\mathbf{k}) \mathrm{e}^{\mathrm{i}kx}\right) .

And then I get stuck, because I have no idea how to get rid of the summation sign. I'm not certain of what happens to the V either, though I suspect it has something to do with the integral in some way.

The integration is normalized by the volume.

 

[orentago]

I'm a little unsure about the term \omega_{\mathbf{k}} \phi(x). Can the omega here be treated as a constant and be brought into the summation? Say by denoting it with k' instead of k?

I'm just a little unsure of how to proceed. I'm tempted to try and construct the RHS of the solution, expand the fields in summation form, then evaluate it to give the LHS, but I'm a bit unsure of how to manipulate the summations, especially when it comes to applying that integral.

 

[fzero]

I'm a little unsure about the term \omega_{\mathbf{k}} \phi(x). Can the omega here be treated as a constant and be brought into the summation? Say by denoting it with k' instead of k?

I'm just a little unsure of how to proceed. I'm tempted to try and construct the RHS of the solution, expand the fields in summation form, then evaluate it to give the LHS, but I'm a bit unsure of how to manipulate the summations, especially when it comes to applying that integral.

You're not going to have to do anything fishy. Just remember that

\frac{1}{V} \int d^3x e^{ikx} e^{i k&#039; x} f(k) \sim \delta^3(\mathbf{k}+\mathbf{k}&#039;) f(k)

up to some factor that you will probably want to check in your notes for. Examine the expressions that you have for \phi and \dot{\phi} and determine an appropriate integral to use to compute linear combinations of a(\mathbf{k}) and a^\dagger(\mathbf{k}).

 

[orentago]

I'm self-teaching from Mandl and Shaw, and haven't seen anything like that yet :-S. I'm basically attempting exercise 3.1, from chapter 3 on the Klein Gordon field.

 

[fzero]

I'm self-teaching from Mandl and Shaw, and haven't seen anything like that yet :-S. I'm basically attempting exercise 3.1, from chapter 3 on the Klein Gordon field.

In their notation

<br /> \int d^3x e^{ikx} e^{-i k&#039; x} = \delta_{\mathbf{k}\mathbf{k}&#039;}.<br />

I can't see every page on Google Books, so I don't know if they explicitly introduce this around pages 10-11, but they did use it to derive equation 3.14 from 3.12. This type of integral is standard for Fourier transforms and you would have seen the 1d version in any quantum mechanics course.

 

[orentago]

Except mine apparently. I did Fourier transforms but the course skipped over delta functions. Thanks for the help. I'll read around a bit more, have another stab at it and let you know if I run into any more problems.

 

[orentago]

Right, I've had another go at this. Here's my working so far.

First I'll just outline the Fourier transform I'll be using (in one dimension).

\int^\infty_{-\infty} \mathrm{e}^{\mathrm{i}a x} \mathrm{e}^{-\mathrm{i}w x}\mathrm{d}x=2\pi \delta(w-a)
And the inverse:
\int^\infty_{-\infty} \mathrm{e}^{\mathrm{i}a w} \mathrm{e}^{\mathrm{i}w x}\mathrm{d}w=2\pi \delta(x+a)

From before:

<br /> \dot{\phi}(x) =-\mathrm{i} \sum_{\mathbf{k}} \sqrt{\frac{\hbar c^2 \omega_{\mathbf{k}}}{2 V}} \left( a(\mathbf{k}) \mathrm{e}^{-\mathrm{i}kx}<br /> - a^\dagger (\mathbf{k}) \mathrm{e}^{\mathrm{i}kx}\right)<br />

and

<br /> \dot{\phi}(x) =\sum_{\mathbf{k}} \sqrt{\frac{\hbar c^2}{2 V \omega_{\mathbf{k}}}} \left( a(\mathbf{k}) \mathrm{e}^{-\mathrm{i}kx}<br /> + a^\dagger (\mathbf{k}) \mathrm{e}^{\mathrm{i}kx}\right)<br />

I first integrate \mathrm{i} \dot{\phi}(x) \mathrm{e}^{\mathrm{i} k&#039; x}:

\sum_{\mathbf{k}} \int \mathrm{d}^3 \mathbf{x} \sqrt{\frac{\hbar c^2 \omega_{\mathbf{k}}}{2 V}} \left( a(\mathbf{k}) \mathrm{e}^{-\mathrm{i}kx} \mathrm{e}^{\mathrm{i} k&#039; x} - a^\dagger (\mathbf{k}) \mathrm{e}^{\mathrm{i}kx} \mathrm{e}^{\mathrm{i} k&#039; x}\right) = \pi \sum_{\mathbf{k}} \sqrt{\frac{2 \hbar c^2 \omega_{\mathbf{k}}}{V}} \left( a(\mathbf{k}) \delta(k-k&#039;) - a^\dagger (\mathbf{k}) \delta(k+k&#039;)\right)

Then \omega_{\mathbf{k}} \phi (x):

\omega_{\mathbf{k}} \sum_{\mathbf{k}} \int \mathrm{d}^3 \mathbf{x} \sqrt{\frac{\hbar c^2}{2 V \omega_{\mathbf{k}}}} \left( a(\mathbf{k}) \mathrm{e}^{-\mathrm{i}kx} \mathrm{e}^{\mathrm{i} k&#039; x} + a^\dagger (\mathbf{k}) \mathrm{e}^{\mathrm{i}kx} \mathrm{e}^{\mathrm{i} k&#039; x}\right) = \pi \omega_{\mathbf{k}} \sum_{\mathbf{k}} \sqrt{\frac{2 \hbar c^2 }{V \omega_{\mathbf{k}}}} \left( a(\mathbf{k}) \delta(k-k&#039;) + a^\dagger (\mathbf{k}) \delta(k+k&#039;)\right)

I'm a little confused about what to do now. Those delta functions could be troublesome, but on the other hand, they could be used to remove the creation operator terms in some way. There's also that omega in front of the latter of the two integrals, which is still confusing me, and I'm not sure how to get around that. I'm tempted to treat the summation as a Riemann sum in some way, with a limiting case, but still I'm not sure how I'd do this, as I'm not multiplying by a \Delta k anywhere, but then again an integral would deal with the delta functions quite nicely.

 

[fzero]

They've chosen to treat the sum over momenta as a discrete sum, so you should use Kronecker deltas instead of Dirac deltas. I probably confused you, but I followed up with the correct formula later. The deltas therefore pick out one term in the sum.

However, you are summing over k in the expressions for \phi, so you should really be considering \omega_{\mathbf{k}&#039;} \phi since you're going to get a very confusing result when you evaluate the sums otherwise.

Also the factors of 2\pi don't seem to match the conventions of the book. It doesn't change the physical interpretation, but will give you problems matching numerical factors.

 

[orentago]

Awesome. That's really helpful! I feel I have enough information to progress now. Thanks a lot!

Actually one last thing. How would you represent the second of the Dirac deltas (with the plus in) in Kronecker delta format? Or would it be eliminated in the integral by default?

EDIT: actually how about \delta_{k(-k&#039;)}?

 

[fzero]

Awesome. That's really helpful! I feel I have enough information to progress now. Thanks a lot!

Actually one last thing. How would you represent the second of the Dirac deltas (with the plus in) in Kronecker delta format? Or would it be eliminated in the integral by default?

EDIT: actually how about \delta_{k(-k&#039;)}?

That's fine. Sometimes you'll see the notation \delta_{k+k&#039;,0}.

 

[orentago]

Okay, I've pretty much arrived at the answer, except I still need to remove a factor of V somehow. After I integrate I get this:

\omega_{\mathbf{k&#039;}} \sum_{\mathbf{k}} \sqrt{\frac{2 \hbar c^2 }{V \omega_{\mathbf{k}}}} \left( a(\mathbf{k}) \delta_{kk&#039;} + a^\dagger (\mathbf{k}) \delta_{k(-k&#039;)}\right)=\sqrt{\frac{2 \hbar c^2 \omega_{\mathbf{k&#039;}}}{V}} a(\mathbf{k&#039;})

But I don't know what to do about that V, which according to the answer needs to be on top.

 

[fzero]

I thought I checked those factors, but I might have made a mistake. Their convention might be that

<br /> <br /> \frac{1}{V} \int d^3x e^{ikx} e^{-i k&#039; x} = \delta_{\mathbf{k}\mathbf{k}&#039;},<br /> <br />

which would be in better agreement with the formulas you were using that had 2\pi.

 

[orentago]

Ah therein would lie part of my confusion: this isn't stated formally in the book. All sorted now.

Thanks for humouring me on this one.