Bivector form of quantum angular momentum operator (On the bivector and quadvector components of the squared angular momentum operator.)
Posted by peeterjoot on August 29, 2009
We found that we could by something similar to “factoring” the gradient into radial and non-radial terms express the Laplacian as
The requirement for a scalar selection on all the terms is a bit ugly, but omitting it would be incorrect for two reasons. One reason is that this is a bivector operator and not a bivector (where the squaring operates on itself). The other is that we derived a result for arbitrary dimension, and the product of two bivectors in a general space has grade 2 and grade 4 terms in addition to the scalar terms. Without taking only the scalar parts, lets expand this product a bit more carefully, starting with
Just expanding the multivector factor for now, we have
Our split into grades for this operator is then, the scalar
the pseudoscalar (or grade 4 term in higher than 4D spaces).
If we work in dimensions less than or equal to three, we’ll have no grade four term since this wedge product is zero (irrespective of the operator action), so in 3D we have only a bivector term in excess of the scalar part of this operator.
The bivector term deserves some reduction. As expanded so far it is
Lets expand this bivector term more completely.
The first and fourth terms cancel, and a change of dummy indexes on the remainder, eliminating , gives us
The self wedges for both and are zero, and we are left with
Swapping with and raising and lowering we have exact cancellation of the first two terms
So are left, almost mystically simplified, with just
We can now write for the squared operator
and then eliminate the scalar selection from the (3)
In 3D this is
Wow, that was an ugly mess of algebra, and presented lots of potential possibilities for error. There is likely a more clever coordinate free way to do the same expansion, and some verification of correctness of this result seems justified. I suspect that the factor of will allow for verification by considering of the Quantum eigenvalue problem, and simultaneous eigenvalues of , and .