Bivector form of quantum angular momentum operator (continued again)
Posted by peeterjoot on August 26, 2009
Explicit expansion of the angular momentum operator.
There’s a couple of things to explore before going forward. One is an explicit verification that has no radial dependence (something not obvious). Another is that we should be able to compare the (as done for the terms) the explicit expression for the Laplacian to verify consistency and correctness.
For the spherical polar rotation we use the rotor
Our position vector in spherical polar coordinates is then
and our unit vectors translate from the standard basis as
This last mapping can be used to express the gradient unit vectors in terms of the standard basis, as we did for the position vector . That is
Okay, we’ve now got all the pieces collected, ready to evaluate
Observe that the contribution is only a scalar, so bivector selection of that is zero. In the remainder we have cancellation of factors, leaving just
Using (14) this is
As hoped, there is no explicit radial dependence here, taking care of the first of the desired verifications.
Next we want to square this operator. It should be noted that in the original derivation where we “factored” the Laplacian operator with respect to the reference vector we really used . That’s worth noting since a regular bivector would square to a negative constant, whereas the operator factors of the vectors in this expression do not intrinsically commute.
An additional complication for evaluating the square of using the result of (17) is that and are functions of and , so we’d have to operate on those too. Without that operator subtlety we get the wrong answer
Equality above would only be if the unit vectors were fixed. By comparison we also see that this is missing a term. That must come from the variation of the unit vectors with position in the second application of .