One of the main differences between 1D problems discussed in Chapter 7 and their higher-dimensional counterparts is the presence of rotational degrees of freedom. For reasons elaborated in Chapter 5, the description of such rotational motion necessitates the introduction of the concept of angular momentum, which will be the main focus of this chapter.
General considerations
It was mentioned in §5.7.2 that the rotation algebra admits both difierential and matrix representations. In order to discuss some general properties of both kinds of representations, it is customary to denote the angular momentum generators by J. The letter L would then apply only for the difierential generators or orbital angular momenta, and the letter S will be used for spin if necessary.
To reiterate, the angular momentum algebra is the set of the following commutator relations:
In a compact notation, we can write all three relations as
where the indices take the ‘values’ x, y, z, and εαβγ is the completely antisymmetric Levi-Civita symbol defined earlier in 5.7.
In order to discuss the angular momentum states, we have to first set up a basis on the vector space. Earlier in Chapter 2, we said that the eigenstates of a Hermitian operator can be used as a basis. We can choose, for this purpose, the eigenvectors of one of the three components of the angular momentum. These states will not be eigenstates of the other two components, since the operators for difierent components of J do not commute, as seen in Eq. (8.2). Conventionally, one chooses the eigenstates of Jz. This is, of course, no special assumption: we can always consider the basis as the eigenvectors of angular momentum component in one direction and call this direction to be the z direction.
But there is a problem. There is a lot of degeneracy among the eigenstates of Jz. Whenever there is degeneracy, the eigenstates cannot be uniquely defined, because any combination of states in a degenerate subspace of eigenvectors also qualifies as an eigenvector. For a basis, we need well-defined vectors, with no ambiguity in the defintion.