Bivector form of quantum angular momentum operator (squaring the bivector angular momentum operator)
Posted by peeterjoot on August 28, 2009
[Click here for a PDF of this sequence of posts with nicer formatting]
It is expected that we have the equivalence of the squared bivector form of angular momentum with the classical scalar form in terms of spherical angles , and . Specifically, if no math errors have been made playing around with this GA representation, we should have the following identity for the scalar part of the squared angular momentum operator
To finally attempt to verify this we write the angular momentum operator in polar form, using as
Expressing the unit vectors in terms of and after some rearranging we have
Using this lets now compute the partials. First for the partials we have
Premultiplying by and taking scalar parts we have the first part of the application of (41) on itself,
For the partials it looks like the simplest option is using the computed bivector partials , . Doing so we have
So the remaining terms of the squared angular momentum operator follow by premultiplying by , and taking scalar parts. This is
The second and third terms in the scalar selection have only bivector parts, but since has component in the direction, we have
Adding results from (42), and (43) we have
A final verification of (40) now only requires a simple calculus expansion
Voila. This exercise demonstrating that what was known to have to be true, is in fact explicitly true, is now done. There’s no new or interesting results in this in and of itself, but we get some additional confidence in the new methods being experimented with.
Leave a comment