Where Did I Go Wrong? Troubleshooting a Commutator Relation

[Spinny]

Hi, I've got a commutator relation I'm trying to figure out here. I don't know what I'm doing wrong, but I don't seem to be able to get it right, so hopefully someone can help me through it.

Anyway, here's the problem. We're given the Dirac Hamiltonian H_D = \alpha_j p_j + \beta m, where p_j = -i\nabla_j and the angular momentum components L_k = i\epsilon_{kln}x_lp_n. We are then going to show the commutator relation

[H_D,L_k] = -i\epsilon_{kln}\alpha_lp_n

Here's what I've got so far:

[H_D,L,k]\psi = (H_DL_k-L_kH_D)\psi

=(\alpha_j p_j+\beta m)i\epsilon_{kln}x_lp_n\psi -i\epsilon_{kln}x_lp_n(\alpha_jp_j+\beta m)\psi

=\alpha_j p_j i\epsilon_{kln}x_lp_n\psi +\beta mi\epsilon_{kln}x_lp_n\psi -i\epsilon_{kln}x_lp_n\alpha_jp_j\psi-i\epsilon_{kln}x_lp_n\beta m\psi

So far, (hopefully) so good. Now, as far as I can see, the second and the last part cancel, so we're left with

[H_D,L_k]\psi = \alpha_j p_j i\epsilon_{kln}x_lp_n\psi - i\epsilon_{kln}x_lp_n\alpha_jp_j\psi

Rewriting the first part we get

i\epsilon_{kln}p_n\alpha_j p_j(x_l\psi)

and knowing that p_j is a differential operator, we use the product rule, and get

i\epsilon_{kln}p_n(\psi \alpha_j p_j x_l + x_l\alpha_jp_j \psi)

We then have that p_j x_l = -i for j = l, and 0 for j != l. Thus

i\epsilon_{kln}p_n(-i\alpha_l\psi + x_l\alpha_jp_j\psi)= \epsilon_{kln}p_n\alpha_l \psi+i\epsilon_{kln}p_nx_l\alpha_jp_j\psi

Putting this back in we get

[H_D,L_k]\psi = \epsilon_{kln}p_n\alpha_l \psi+i\epsilon_{kln}p_nx_l\alpha_jp_j\psi- i\epsilon_{kln}x_lp_n\alpha_jp_j\psi

But now the last two parts cancel, and we're left with

[H_D,L_k]\psi = \epsilon_{kln}p_n\alpha_l \psi

This is almost what I was supposed to get, only the factor -i is missing. It seems so close, so hopefully I'm not way off, but, where did I go wrong?!?

 

[matt grime]

One observation (not a solutoin to your problem, but i'll grt some paper for that in a second), is that you unnecessarily include the beta m in you calcs.

if H=a_jp_j+bm, then commutating anything with H is the same as commutating it with just a_jp_j since bm is a constant and commutes with everything (it is a central element).

you also don't need to include the phi either.

just in case you want to write this out in latex again you can save yourself some bother.

 

[matt grime]

I think you have you angular momentum operator slightly wrong (i'm not an expert here) but it ought to be

L_k =-i\epsilon_{lkn}x_k\partial_n

this changes everything in your post by a factor if -i as required I think, though I've not gotten down to checking the signs with any great enthusiasm. (i'm a pure mathematician, and so if it's true up to minus signs [we call this mod 2] then it's true full stop.)

 

[Spinny]

I think you have you angular momentum operator slightly wrong (i'm not an expert here) but it ought to be

L_k =-i\epsilon_{lkn}x_k\partial_n

this changes everything in your post by a factor if -i as required I think, though I've not gotten down to checking the signs with any great enthusiasm. (i'm a pure mathematician, and so if it's true up to minus signs [we call this mod 2] then it's true full stop.)

Thanks for your insight. I'm not able to see, however, how it is the ang. mom. that's incorrect. The -i still comes from the mom. in the hamiltonian and cancel the i in the ang. mom.

Anyway, I'm still having trouble finding out where that ang. mom. actually came from, I haven't been able to find a similar anywhere yet (at least not one I recognize as the one given in this problem). If I ever get in the mood again, I'll review the problem with your insight in mind.

 

[Gokul43201]

Thanks for your insight. I'm not able to see, however, how it is the ang. mom. that's incorrect. The -i still comes from the mom. in the hamiltonian and cancel the i in the ang. mom.

Anyway, I'm still having trouble finding out where that ang. mom. actually came from, I haven't been able to find a similar anywhere yet (at least not one I recognize as the one given in this problem). If I ever get in the mood again, I'll review the problem with your insight in mind.

The angular momentm components are incorrectly written. They should either be written without the "i" (when writing in terms of momentum components) or as Matt says (on plugging in for the mom. components).

Also note that the non-rel KE term is written using Einstein notation, so it really is the sum of all three products (ie : \sum_{j=k,l,n} \alpha _j p_j ).

 

[matt grime]

Thanks for your insight. I'm not able to see, however, how it is the ang. mom. that's incorrect. The -i still comes from the mom. in the hamiltonian and cancel the i in the ang. mom.

Anyway, I'm still having trouble finding out where that ang. mom. actually came from, I haven't been able to find a similar anywhere yet (at least not one I recognize as the one given in this problem). If I ever get in the mood again, I'll review the problem with your insight in mind.

The problem is that you're mixing notations. Angular momentum can be with or without the i, but that changes it from a nabla to a p or back again. So, you're using one convention in your working out but the solution is written with the other convention, that is why they don't agree. At least, that is my analysis: i checked this relation and that seems to be the problem.