QFT Commutator (momentum and Hamiltonian) Issue

In summary, the conversation is about the derivation of the Heisenberg equations of motion for the Klein Gordon field. The focus is on deriving the commutator of the Hamiltonian and canonical momentum, with specific attention to the second sub-commutator involving the gradient of the field. The conversation includes hints and suggestions on how to approach the problem, such as using the commutation relation and performing integration by parts. The expert summarizer notes the importance of being careful with variable names and using the rule for calculating commutators involving derivatives and field operators.
  • #1
orentago
27
0
Hi,

I haven't posted this in the homework section, as I don't really see it as homework as such.

I'm trying to derive the Heisenberg equations of motion for the Klein Gordon field (exercise 2.2 of Mandl and Shaw).

I'm trying to derive the commutator of the Hamiltonian and canonical momentum, i.e. [tex][H,\pi(x)][/tex]

For Klein Gordon, we have:[tex]H={1 \over 2}\int\mathrm{d}^3\mathbf{x}\left[c^2\pi^2(x) + (\mathbf{\nabla}\phi)^2+\mu^2\phi^2\right][/tex]

Inserting this into the commutator give several sub-commutators:
[tex][c^2\pi^2(x),\pi(x)][/tex]
[tex][(\mathbf{\nabla}\phi)^2,\pi(x)][/tex]
[tex][\mu^2\phi^2,\pi(x)][/tex]

I have evaluated the first and last of these commutators, but I'm really struggling with the second. The first is of course zero, and the last can be evaluated practically directly using the canonical commutation relations to give:
[tex][\mu^2\phi^2,\pi(x)]=2\mathrm{i}\hbar\mu^2\delta(x-x')\phi(x)[/tex]

My attempt at evaluating the second gives: [tex][(\mathbf{\nabla}\phi)^2,\pi(x)]=2\mathrm{i}\hbar\delta(x-x')\nabla^2\phi[/tex]

However, the result given indicates that [tex][(\mathbf{\nabla}\phi)^2,\pi(x)]=-2\mathrm{i}\hbar\delta(x-x')\nabla^2\phi[/tex]. I'm not sure where I've gone wrong. I've used the commutation relation:
[tex][AB,C]=A[B,C]+[A,C]B[/tex]
to expand the commutator as much as possible, but I'm not sure this is the best method.

Does anyone know how to derive this commutator?

Any help is most appreciated.

EDIT: I'm using the commutation relation: [tex][\phi(x),\pi(x)]=\mathrm{i}\hbar\delta(x-x')[/tex]
 
Last edited:
Physics news on Phys.org
  • #2
Neither of the commutators you give is correct; one of the gradients must act on the delta function. Then, because you want to integrate over x', you can integrate by parts to move the gradient off the delta function.
 
  • #3
orentago said:
I'm trying to derive the commutator of the Hamiltonian and canonical momentum, i.e. [tex][H,\pi(x)][/tex]

For Klein Gordon, we have:[tex]H={1 \over 2}\int\mathrm{d}^3\mathbf{x}\left[c^2\pi^2(x) + (\mathbf{\nabla}\phi)^2+\mu^2\phi^2\right]
[/tex]

[...]

I'm using the commutation relation: [tex][\phi(x),\pi(x)]=\mathrm{i}\hbar\delta(x-x')[/tex]

Hint #1: be more careful with your variable names. Either use [tex][H,\pi(y)][/tex] or
change the dummy integration variable in H to something else. And your CR above is
missing a prime somewhere. (That's one reason I prefer x,y rather than x,x' -- it's less
easy to forget a prime.

[...] several sub-commutators:
[tex][c^2\pi^2(x),\pi(x)][/tex]
[tex][(\mathbf{\nabla}\phi)^2,\pi(x)][/tex]
[tex][\mu^2\phi^2,\pi(x)][/tex]
My attempt at evaluating the second gives: [tex][(\mathbf{\nabla}\phi)^2,\pi(x)]=2\mathrm{i}\hbar\delta(x-x')\nabla^2\phi[/tex]

However, the result given indicates that [tex][(\mathbf{\nabla}\phi)^2,\pi(x)]=-2\mathrm{i}\hbar\delta(x-x')\nabla^2\phi[/tex]. I'm not sure where I've gone wrong. I've used the commutation relation:
[tex][AB,C]=A[B,C]+[A,C]B[/tex]
to expand the commutator as much as possible, but I'm not sure this is the best method.

Yes, using Leibniz is fine. Then, if you clarify your variable names, and (Hint #2) perform
an integration by parts, you'll get the right answer in a couple of lines (at least, I did).

The trick about "integration by parts" when you have a delta distribution, but no explicit
integral, is to remember that the delta only makes sense under an integral -- hence you can
kinda imagine there's an integral, perform integral-like manipulations and then forget
the imagined integral.

HTH.
 
  • #4
... and of course you can write formally

[tex][\partial_x A(x), B(y)] = \partial_x[A(x), B(y)] = -[A(x), B(y)]\partial_x[/tex]

the last step is valid in case of a partial integration w.r.t. x
 
  • #5
Thanks for all the help. I still have one question. When I expand the commutators I end up with a term [tex][\mathbf{\nabla},\pi(x)][/tex]. Have I expanded correctly? If so, how do I evaluate this commutator?
 
  • #6
I've had a go, using your suggestions. I'm still running into a few problems, probably due to ignorance on my part.

Here's my derivation:

[tex]\int\mathrm{d}^3\mathbf{x}[(\mathbf{\nabla}\phi)^2,\pi]=\int\mathrm{d}^3\mathbf{x}\left\{\mathbf{\nabla}\phi\cdot[\mathbf{\nabla}\phi,\pi]+[\mathbf{\nabla}\phi,\pi]\cdot\mathbf{\nabla}\phi\right\}[/tex]
[tex]=\int\mathrm{d}^3\mathbf{x}\left\{\mathbf{\nabla}\phi\cdot\mathbf{\nabla}[\phi,\pi]+\mathbf{\nabla}\phi\cdot[\mathrm{\nabla},\pi]\phi+\mathbf{\nabla}[\phi,\pi]\cdot\mathbf{\nabla}\phi+[\mathbf{\nabla},\pi]\phi\cdot\mathbf{\nabla}\phi\right\}[/tex]

Now, I've assumed that any two terms either side of a dot product commute, so:

[tex]\int\mathrm{d}^3\mathbf{x}[(\mathbf{\nabla}\phi)^2,\pi]=\int\mathrm{d}^3\mathbf{x}\left\{2 \mathbf{\nabla}\phi\cdot\mathbf{\nabla}[\phi,\pi]+2 \mathbf{\nabla}\phi\cdot[\mathrm{\nabla},\pi]\phi\right\}[/tex]

I'm not sure how the nabla commutes with the momentum, hence my previous post, so for now I'll concentrate on the first term in the integral:

[tex]2\int\mathrm{d}^3\mathbf{x} \mathbf{\nabla}\phi\cdot\mathbf{\nabla}[\phi,\pi]=2\mathrm{i}\hbar\int\mathrm{d}^3\mathbf{x} \mathbf{\nabla}\phi\cdot\mathbf{\nabla}\delta(x-x')=2\mathrm{i}\hbar\left[\delta(x-x')\mathbf{\nabla}\phi-\int\mathrm{d}^3\mathbf{x}\delta(x-x')\nabla^2\phi\right][/tex]
[tex]=2\mathrm{i}\hbar\left[\delta(x-x')\mathbf{\nabla}\phi-\nabla^2\phi\right][/tex]

And then I get stuck, both because I don't know how that nabla commutes with the canonical momentum, and I don't know how to get rid of that Dirac function in the result immediately above. Perhaps the problems are linked, but I'm not sure.

Any hints?
 
  • #7
Please apply the rule

tom.stoer said:
[tex][\partial_x A(x), B(y)] = \partial_x[A(x), B(y)][/tex]

I have written down before.

For every commutator, every field operator and every derivative you have to write down the coordinate - either x or y! You haven't done that.
Let all derivatives act on the whole commutator; A and B must not contain derivatives!
If you do that you will never ever have to calculate a commutator of a derivative with a field operator.

Remark: a coordinate x in quantum field theory is nothing else but a "continuous index". Think about ordinary quantum mechanics. Think about the harmonic oscillator. You have operators, e.g. [tex]a_i[/tex] and [tex]a_k^\dagger[/tex] and - working in three dimensions - you have an index [tex]i, k = 1 \ldots 3[/tex]. You would never ask how to calculate the commutator [tex][i, a_k][/tex].
 
  • #8
Ok I'll give that a go. To be thorough, do you know where I could find a proof of the identity you provided?
 
  • #9
Honestly? No! I always used it and it worked.

It should follow from some basic rules regarding operator valued distributions (there may be problems with regularization in case of operator products evaluated at the same spacetime point).
 
  • #10
The "proof" of the above "rule" can be found in any calculus book. The derivative wrt x is a partial one so it does not act on B(y). In other words, B(y) is treated as a constant when it comes to partial differentiation wrt x. Expand the commutator and see the magic unveil...

All the hints you've received should be enough for you to do it, but you have to be careful with the notation. Write the explicit integration variables and the variables of your fields - this is a source of major confusion in your calculation. If you keep struggling, I will write you the solution, but it's better if you work it out yourself.
 
  • #11
DrFaustus said:
The "proof" of the above "rule" can be found in any calculus book.
In principle you have to verify that the rules remain valid when applied to (products of) operator-valued distributions.
 
  • #12
tom.stoer -> QFT is full of mathematical problems, but this one most definitely is not one of them. Field operators depend on a continuous parameter, the spacetime coordinates, and taking derivatives with respect to one really is just what one would expect it to be. At least if we are talking about the "taking the derivative out of the commutator" rule. For the partial integration things are a bit more subtle, but they do hold, rigorously, "in the sense of distributions".
 
  • #13
I agree. I used these rules for years and they always worked w/o problems :-) so I didn't care about a proof. Btw.: I am pretty sure that I am not able to proof (in a mathematical sense) that 1+1=2.
 
  • #14
Thanks guys, I've had an crack, but I'm still getting snagged on that rogue Dirac delta, i.e.:

[tex]\int\mathrm{d}^3\mathbf{x}[(\mathbf{\nabla}_x\phi(x))^2,\pi(y)]=2\int\mathrm{d}^3\mathbf{x}\mathbf{\nabla}_x\phi(x)\cdot[\mathbf{\nabla}_x\phi(x),\pi(y)]=2\int\mathrm{d}^3\mathbf{x}\mathbf{\nabla}_x\phi(x)\cdot\mathbf{\nabla}_x[\phi(x),\pi(y)][/tex]
[tex]=2\mathrm{i}\hbar\int\mathrm{d}^3\mathbf{x}\mathbf{\nabla}_x\phi(x)\cdot\mathbf{\nabla}_x\delta(x-y)=2\mathrm{i}\hbar\left[\delta(x-y)\mathbf{\nabla}_x\phi(x)\right-\int\mathrm{d}^3\mathbf{x}\delta(x-y)\nabla^2_x\phi(x)][/tex]
[tex]=2\mathrm{i}\hbar\left[\delta(x-y)\mathbf{\nabla}_x\phi(x)\right-\nabla^2_x\phi(x)][/tex]

I must be overlooking something huge, I just don't know what it is.
 
Last edited:
  • #15
orentago -> Your first line seems completely wrong (typos?), but the last equality in the first line would seem what you need. Move the [tex]\nabla_x[/tex] acting on the commutator to the field by partial integration, you pick a minus and a [tex]\nabla_x^2 \phi(x)[/tex]. Then evaluate the commutator, you get a delta. Then integrate against the delta and you should get what you are looking for.
 
  • #16
But integrating that expression by parts gives a delta function that is outside of an integral :-(. I'm rather confused. Do I just ignore that and only use the second part of integral?

PS I've corrected my previous post.
 
  • #17
orentago -> Now I get it where your confusion is! When integrating by parts you always assume (because it's convenient) that the relevant quantities decay to zero at infinity. Or in this case, that the "surface term" vanishes. Remember that when integrating by parts the term "outside the integral" has to be evaluated between two values. Refresh your memory on integration by parts and check out the higher dimensional analogue.

So yes, you do ignore that delta "outside the integral", and no you do not "ignore" that term but it vanishes.

PS Your previous post still looks confusing...
 
  • #18
So essentially:

[tex]\left[\delta(x-y)\mathbf{\nabla}_x\phi(x)\right]^\infty_{-\infty}=0[/tex]

And this is because:

[tex]\lim_{x\rightarrow \infty}\phi(x)=0[/tex]
 
  • #19
This expression is zero, but it's because we assume [itex]y[/itex] is finite, and [itex]\delta(x-y)[/itex] vanishes unless [itex]x=y[/itex].
 

1. What is a commutator in quantum field theory?

A commutator in quantum field theory is a mathematical operation used to calculate the difference between two operators, such as the momentum and Hamiltonian operators. It is represented by square brackets and helps to determine the commutation relations between these operators.

2. What is the significance of the momentum and Hamiltonian commutator in QFT?

The momentum and Hamiltonian commutator is significant in QFT because it helps us understand the fundamental principles of quantum mechanics, such as the Heisenberg uncertainty principle. It also plays a crucial role in determining the dynamics of a quantum system and the evolution of its state.

3. How is the commutator between momentum and Hamiltonian operators calculated?

The commutator between momentum and Hamiltonian operators is calculated by multiplying the momentum operator by the Hamiltonian operator and subtracting the product of the Hamiltonian operator and the momentum operator. This operation is then represented by square brackets.

4. What does it mean when the commutator between momentum and Hamiltonian operators is zero?

If the commutator between momentum and Hamiltonian operators is zero, it means that these two operators commute with each other, and their order of operation does not matter. This is known as a commutative property and is a fundamental concept in quantum mechanics.

5. What are the implications of a non-zero commutator between momentum and Hamiltonian operators?

A non-zero commutator between momentum and Hamiltonian operators means that these two operators do not commute with each other, and their order of operation matters. This can lead to the violation of the Heisenberg uncertainty principle and can have significant implications on the dynamics and behavior of a quantum system.

Similar threads

  • Quantum Physics
Replies
4
Views
857
Replies
3
Views
282
Replies
5
Views
983
  • Quantum Physics
Replies
1
Views
517
Replies
41
Views
4K
  • Quantum Physics
Replies
4
Views
1K
Replies
24
Views
1K
Replies
6
Views
1K
Replies
2
Views
1K
  • Quantum Physics
Replies
4
Views
749
Back
Top