Peculiar feature of a commutator, can anyone explain?

[haitao23]

http://img209.imageshack.us/img209/4922/14662031eo8.jpg

 

[quantumdude]

You've happened upon a very tricky issue indeed! I've got a couple of papers to point you to.

It has been pointed out by D. Judge¹ that L_3 is not Hermetian on a space of functions that have finite norm on a finite interval. Since \phi\in(0,2\pi ), that is exactly what we are dealing with here. Since you tacitly used the Hermiticity of L_3 to evaluate those matrix elements, there is a flaw in your argument.

I didn't think of this myself, it is mentioned as a footnote in Problem 9.15 in Liboff's Introductory Quantum Mechanics. In that problem he brings up another inconsistency issue with this commutator (maybe I'll post it if you're sufficiently interested and and I'm feeling sufficiently ambitious). He mentions that W. Louisell¹ has pointed out that "more consistent angle variables are \sin(\phi) and \cos(\phi)."

¹D. Judge, Nuovo Cimento 31, 332 (1964)
²W. Louisell, Phys. Lett. 7, 60 (1993)

Hope that helps,

Tom

 

[turin]

You are taking traces of products of infinite dimensional matrices. When you do this, you must be careful about conditional convergence. If you are not using the coordinate represntation, then what do you mean by \phi? You must first express \phi in the l,m basis, and then you will see that your "coordinate independent" conclusion is not so obvious.