34.2 Solutions of the Pauli equation and representations of E(3)

Concept links · terms present in this machine draft; source roles are unverified: eigenvalue · Lie algebra · Lie algebra representation · irreducible representation

Since

is an invertible operator with eigenvalues ±1, solutions to 34.4 will be given by solutions to

where . We will write solutions to this equation with the + sign as , those for the − sign as . Note that and are each two-component complex functions on the sphere (or, more generally distributions on the sphere). Our goal in the rest of this section will be to show

Theorem

The spaces ofsolutions to equations provide irreducible representations of , the double cover of , with eigenvalue 2mE for the first Casimir operator

and eigenvalues for the second Casimir operator · P.

We will not try to prove irreducibili but just show that these solution spaces give representations with the claimed eigenvalues of the Casimir operators (see sections 19.2 and 19.3 for more about the Casimir operators and general theory of representations of . We will write the representation operators as in position space and in momentum space, with a a translation, and

The translation part of the group acts as in the one-component case of chapter 19, by the multiplication operator

and

so the Lie algebra representation is given by the usual operator. This action of the translations is easily seen to commute with · P and thus act on the solutions to 34.6. It is the action of rotations that requires a more complicated discussion than in the single-component case.

In chapter 19 we saw that acts on single-component momentum space solutions of the Schr¨odinger equation by

This takes solutions to solutions since the operator commutes with the Casimir operator

This is true since

To get a representation on two-component wavefunctions that commutes with the operator we need to change the action of rotations to

With this action on solutions we have

where we have used equation to show

The part of the group acts by a product of two commuting diferent actions on the two factors of the tensor product 34.2. These are:

  1. The same action on the momentum coordinates as in the one-component case, just using , the rotation corresponding to the group element Ω. For example, for a rotation about the x-axis by angle we have

Recall that the operator that does this is where

and in general we have operators

that provide the Lie algebra version of the representation (recall that at the Lie algebra level, and are isomorphic).

  1. The action of the matrix on the two-component wavefunction by

For R a rotation by angle about the x-axis one choice of Ω is

and the operators that provide the Lie algebra version of the representation are the 1

The Lie algebra representation corresponding to the action of these transformations on the two factors of the tensor product is given as usual (see chapter 9) by a sum of operators that act on each factor

The standard terminology is to call the “orbital” angular momentum, the “spin” angular momentum, and J the “total” angular momentum.

The second Casimir operator for this case is

J · P

and as in the one-component case (see section 19.3) a straightforward calculation shows that the L · P part of this acts trivially on our solutions . The spin component acts non-trivially and we have

so we see that our solutions have helicity (eigenvalue of J · P divided by the square root of the eigenvalue of values , as opposed to the integral helicity values discussed in chapter 19, where appeared and not its double cover. These two representations on the spaces of solutions are thus the representations described in section 19.3, the ones labeled by the helicity representations of the stabilizer group SO(2).

Solutions for either sign of equation 34.6 are given by a one dimensional subspace of for each and it is sometimes convenient to represent them as follows. Note that for each p one can decompose

into ±-eigenspaces of the matrix . In our discussion of the Bloch sphere in section 7.5 we explicitly found that (see equation 7.6)

provides a normalized element of the + eigenspace of that satisfies

Similarly, we saw that

provides such an element for the − eigenspace.

Another way to construct such elements is to use projection operators. The operators

provide projection operators onto these two spaces, since one can easily check that

Solutions can now be written as

for arbitrary functions on the sphere , where the in this context are called “spin polarization vectors” . There is however a subtlety involved in representing solutions in this manner. Recall from section 7.5 that is discontinuous at (the same will be true for and any unit-length eigenvector of must have such a discontinuity somewhere. If has a zero at the product can be continuous. It remains a basic topological fact that the combination must have a zero, or it will have to be discontinuous. Our choice of works well if this zero is at , but if it is elsewhere one might want to make a diferent choice. In the end one needs to check that computed physical quantities are independent of such choices.

Keeping in mind the above subtlety, the can be used to write an arbitrary solution of the Pauli equation 34.3 of energy as

where

来源与版本

正文:英文 · OCR 机器稿 · 待校对

核对状态:OCR 机器稿 · 待校对

原书 PDF · 印刷页 358、359、360、361、362、363、364、365、366、367

来源版本:2025-10-20

来源 PDF SHA-256:5a1941b2443b54d5db3d055f1e5ba390429b7a728475258017aaac87ee85a837

OCR 来源 SHA-256:6320cf12ee17a648a36c579f9385d352f7d6137059da7a460c7023da96ee93e0

OCR 产物 SHA-256:6320cf12ee17a648a36c579f9385d352f7d6137059da7a460c7023da96ee93e0