Angular momentum polar form, factoring out the raising and lowering operators, and simultaneous eigenvalues.
Posted by peeterjoot on August 30, 2009
Continuation of ‘Bivector form of quantum angular momentum operator’ notes.
After a bit more manipulation we find that the angular momentum operator polar form representation, again using , is
Observe how similar the exponential free terms within the braces are to the raising operator as given in Bohm’s equation (14.40)
In fact since , the match can be made even closer
This is a surprising factorization, but noting that we have
It appears that the factoring out from the left of a unit bivector (in this case ) from the bivector angular momentum operator, leaves as one of the remainders the raising operator.
Similarily, noting that anticommutes with , we have the right factorization
Now in the remainder, we see the polar form representation of the lowering operator .
I wasn’t expecting the raising and lowering operators “to fall out” as they did by simply expressing the complete bivector operator in polar form. This is actually fortunitous since it shows why this peculiar combination is of interest.
If we find a zero solution to the raising or lowering operator, that is also a solution of the eigenproblem , then this is neccessarily also an eigensolution of . A secondary implication is that this is then also an eigensolution of . This was the starting point in Bohm’s quest for the spherical harmonics, but why he started there wasn’t clear to me.
Saying this without the words, let’s look for eigenfunctions for the non-raising portion of (58). That is
Since we want solutions of
A demand that this is a zero eigenfunction for the raising operator, means we are looking for solutions of
It is sufficient to find zero eigenfunctions of
Evaluation of the partials and rearrangement leaves us with an equation in only
This has solutions , where because of the partial derivatives in (65) we are free to make the integration constant a function of . Since this is the functional dependence that is a zero of the raising operator, including this at the dependence of (62) means that we have a simultaneous zero of the raising operator, and an eigenfunction of eigenvalue for the remainder of the angular momentum operator.
This is very similar seeming to the process of adding homogeneous solutions to specific ones, since we augment the specific eigenvalued solutions for one part of the operator by ones that produce zeros for the rest.
As a check lets apply the angular momentum operator to this as a test and see if the results match our expectations.
From (38) we have
and from (37) we have
Putting these together shows that is an eigenfunction of ,
This negation suprised me at first, but I don’t see any errors here in the arithmetic. Observe that if this is correct, then it provides a demonstration that the previous suspected calculation leading to (7) is in fact wrong as guessed. That suspected incorrect result, a product of very messy calculation, was
the one half factor seemed unasthetic, with the following somehow preferable
If (67) is the correct version then calculating the operator effect of for the eigenvalue we have
So the eigenvalue is . This we do know to be the case in fact, so a second look at the messy algebra leading to (68) is justified (or an attempt at a coordinate free expansion).