## Angles in Quantum Mechanics

We know from intro quantum mechanics the positions and of a particle should be interpreted as operators. What happens when we transform to polar coordinates, , ? Since classically becomes a dynamical variable, we expect it to become an operator quantum mechanically. What happens when we do this? The result is a very basic consequence of operators on a Hilbert space, but comes as a bit of a surprise, since these types of issues are not normally discussed in quantum mechanics classes or texts.

We can define the angular momentum operator, . And we can find the commuter . We also know has integer eigenvalues. Hitting each side of the commuter with eigenstates, we have

.

Simple, right? No! This equation is false. When , it reads .

What has gone wrong?

To answer this, let’s look at another question. From the commutation relation above, we can, by using the generalized uncertainty principal, deduce,

.

However, eigenstates of have . Another contradiction! How to we resolve this?

Let’s recall our definition of . It is an operator in a Hilbert space which acts on functions. But which functions does it act on? It only acts on functions which are periodic in .^{1} So we have to be careful when acting on a function like , which is either multi-valued, or nonanalytic.

Because multivalued and nonanalytic operators are not allowed as observables, should not be thought of an observable over its whole range.

The obvious resolution to this is to only consider the analytic functions made from . So we can find the commutation relations

We can then find the uncertainty relations,

which is not a contradiction, because eigenstates of have .

^{1} How do we phrase this in terms of compactness? Functions that acts on take their values from a compact set, however the domain isn’t the set of functions whose domain is compact. So something else about the topology of the domain of functions that acts on is needed, but I don’t know enough functional analysis to have an obvious more elegant way to write this. We can phrase this in terms of when is self-adjoint, but I don’t know that this leads to a nicer description offhand.

leave a comment