$$\require{cancel}$$

# 4.8: Tensor Operators

### Introduction: Cartesian Vectors and Tensors

Physics is full of vectors: x,L,S<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and so on.  Classically, a (three-dimensional) vector is defined by its properties under rotation: the three components corresponding to the Cartesian x,y,z<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] axes transform as

ViRijVj<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex],

with the usual rotation matrix, for example

Rz(θ)=cosθsinθ0sinθcosθ0001<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

for rotation about the z-<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] axis.  (We’ll use (x,y,z) and (x1,x2,x3)<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] interchangeably.)

tensor is a generalization of a such a vector to an object with more than one suffix, such as, for example, Tij or Tijk<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] (having 9 and 27 components respectively in three dimensions) with the requirement that these components mix among themselves under rotation by each individual suffix following the vector rule, for example

TijkRilRjmRknTlmn<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

where R<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] is the same rotation matrix that transforms a vector.  Tensors written in this way are called Cartesian tensors (since the suffixes refer to Cartesian axes).  The number of suffixes is the rank of the Cartesian tensor, a rank n<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] tensor has of course 3n<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] components.

Tensors are common in physics: they are essential in describing stress, distortion and flow in solids and liquids.  The inertial tensor is the basis for analyzing angular motion in classical mechanics.  Tensor forces are important in the dynamics of  the deuteron, and in fact tensors arise for any charge distribution more complicated than a dipole.  Going to four dimensions, and generalizing from rotations to Lorentz transformations, Maxwell’s equations are most naturally expressed in tensor form, and tensors are central to General Relativity.

To get back to non-relativistic physics, since the defining property of a tensor is its behavior under rotations, spherical polar coordinates are sometimes a more natural basis than Cartesian coordinates.  In fact, in that basis tensors (called spherical tensors) have rotational properties closely related to those of angular momentum eigenstates, as will become clear in the following sections.

### The Rotation Operator in Angular Momentum Eigenket Space

As a preliminary to discussing general tensors in quantum mechanics, we briefly review the rotation operator and quantum vector operators.  (A full treatment is given in my 751 lecture.)

Recall that the rotation operator turning a ket through an angle θ<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] (the vector direction denotes the axis of rotation, its magnitude the angle turned through) is

U(R(θ))=eiθJ.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

Since J<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] commutes with the total angular momentum squared J2=j(j+1)2,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] we can restrict our attention to a given total angular momentum j,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] having as usual an orthonormal basis set |j,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex], or |m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] for short, with 2j+1<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] components, a general ket |α<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] in this space is then:

|α=m=jjαm|m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex].

Rotating this ket,

|α|α=eiθJ|α<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

Putting in a complete set of states, and using the standard notation for matrix elements of the rotation operator,

|α=eiθJ|α=m,mαm|mm|eiθJ|m=m,mD(j)mm(R(θ))αm|m.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

D(j)mm=m|eiθJ|m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] is standard notation (see the earlier lecture).

So the ket rotation transformation is

αm=mD(j)mmαm,or α=Dα.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

with the usual matrix-multiplication rules.

### Rotating a Basis Ket

Now suppose we apply the rotation operator to one of the basis kets |j,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex], what is the result?

eiθJ|j,m=m|j,mj,m|eiθJ|j,m=m|j,mD(j)mm(R).<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

Note the reversal of mm′ compared with the operation on the set of component coefficients of the general ket.

(You may be thinking: wait a minute, |j,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] is a ket in the space<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]it can be written αmj,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] with αm=δmm<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex], so we could use the previous rule αm=mD(j)mmαm<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] to get αm=D(j)mmαm=D(j)mmδmm=D(j)mm<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex].  Reassuringly, this leads to the same result we just found.)

### Rotating an Operator, Scalar Operators

Just as in the Schrödinger versus Heisenberg formulations, we can either apply the rotation operator to the kets and leave the operators alone, or we can leave the kets alone, and rotate the operators:

AeiθJAeiθJ=UAU<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

which will yield the same matrix elements, so the same physics.

scalar operator is an operator which is invariant under rotations, for example the Hamiltonian of a particle in a spherically symmetric potential. (There are many less trivial examples of scalar operators, such as the dot product of two vector operators, as in a spin-orbit coupling.)

The transformation of an operator under an infinitesimal rotation is given by:

SU(R)SU(R) with  U(R)=1iεJ<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

from which

SS+[iεJ,S].<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

It follows that a scalar operator S,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] which does not change at all, must commute with all the components of the angular momentum operator, and hence must have a common set of eigenkets with, say, J2<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and Jz.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

### Vector Operators:  Definition and Commutation Properties

quantum mechanical vector operator V<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] is defined by requiring that the expectation values of its three components in any state transform like the components of a classical vector under rotation.

It follows from this that the operator itself must transform vectorially,

Vi=U(R)ViU(R)=RijVj<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex].

To see what this implies, it is easiest to look at a simple case.  For an infinitesimal rotation about the z-<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] axis,

Rz(ε)=1ε0ε10001<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

the vector transforms

VxVyVz  1ε0ε10001VxVyVz  =VxεVyVy+εVxVz<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

The unitary Hilbert space operator U corresponding to this rotation U(Rz(ε))=1iεJz,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] so

UViU=(1+iεJz/)Vi(1iεJz/)=Vi+iε[Jz,Vi].<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

The requirement that the two transformations above, the infinitesimal classical rotation generated by Rz(ε)<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and the infinitesimal unitary transformation U(R)ViU(R)<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex], are in fact the same thing yields the commutation relations of a vector operator with angular momentum:

i[Jz,Vx]=Vyi[Jz,Vy]=+Vx.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

From this result and its cyclic equivalents, the components of any vector operator V<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] must satisfy:

[Vi,Jj]=iεijkVk<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex].

Exercise: verify that the components of x,L,S<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] do in fact satisfy these commutation relations.

(Note:  Confusingly, there is a slightly different situation in which we need to rotate an operator, and it gives an opposite result.  Suppose an operator T acts on a ket |α<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] to give the ket |α=T|α<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex].  For kets |α<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and |α<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] to go to U|α<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and U|α<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] respectively under a rotation U,T<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] itself must transform as TUTU<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] (recall U=U1<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] ).  The point is that this is a Schrödinger rather than a Heisenberg-type transformation: we’re rotating the kets, not the operators.)

Warning:  Does a vector operator transform like the components of a vector or like the basis kets of the space?  You’ll see it written both ways, so watch out!

We’ve already defined it as transforming like the components:

Vi=U(R)ViU(R)=RijVj<math display="block" xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

but if we now take the opposite rotation, the unitary matrix U(R)<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] is replaced by its inverse U(R)<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and vice versa. Remember also that the ordinary spatial rotation matrix R<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] is orthogonal, so its inverse is its transpose, and the above equation is equivalent to

Vi=U(R)ViU(R)=RjiVj<math display="block" xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

.

This definition of a vector operator is that its elements transform just as do the basis kets of the space<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]so it’s crucial to look carefully at the equation to figure out which is the rotation matrix, and which is its inverse!

This second form of the equation is the one in common use.

### Cartesian Tensor Operators

From the definition given earlier, under rotation the elements of a rank two Cartesian tensor transform as:

TijTij=RiiRjjTij.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

where Rij<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] is the rotation matrix for a vector.

It is illuminating to consider a particular example of a second-rank tensor, Tij=UiVj<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex], where U<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and V<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] are ordinary three-dimensional vectors.

The problem with this tensor is that it is reducible, using the word in the same sense as in our discussion of group representations is discussing addition of angular momenta.  That is to say, combinations of the elements can be arranged in sets such that rotations operate only within these sets.  This is made evident by writing:

UiVj=UV3δij+(UiVjUjVi)2+(UiVj+UjVi2UV3δij).<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

The first term, the dot product of the two vectors, is clearly a scalar under rotation, the second term, which is an antisymmetric tensor has three independent components which are the vectorcomponents of the vector product U×V<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex], and the third term is a symmetric traceless tensor, which has five independent components.  Altogether, then, there are 1+3+5=9<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] components, as required.

### Spherical Tensors

Notice the numbers of elements of these irreducible subgroups: 1,  3,5.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]  These are exactly the numbers of elements of angular momenta representations for = 0, 1, 2!

This is of course no coincidence: as we shall make more explicit below, a three-dimensional vector is mathematically isomorphic to a quantum spin one, the tensor we have written is therefore a direct product of two spins one, so, exactly as we argues in discussing addition of angular momenta, it will be a reducible representation of the rotation group, and will be a sum of representations corresponding to the possible total angular momenta from adding two spins one, that is, j=0,1,2.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

As discussed earlier, the matrix elements of the rotation operator

U(R(θ))=eiθJ<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

within a definite j<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] subspace are written

Djmm(R(θ))=j,m|eiθJ|j,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

so under rotation operator a basis state |j,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] transforms as:

eiθJ|j,m=m|j,mj,m|eiθJ|j,m=m|j,mD(j)mm(R).<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

The essential point is that these irreducible subgroups into which Cartesian tensors decompose under rotation (generalizing from our one example) form a more natural basis set of tensors for problems with rotational symmetries.

Definition: We define a spherical tensor of rank k<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] as a set of 2k+1<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] operators  Tqk,q=k,k1,,k<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] such that under rotation they transform among themselves with exactly the same matrix of coefficients as that for the 2j+1<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] angular momentum eigenkets |m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] for k=j,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] that is,

U(R)TqkU(R)=qD(k)qqTqk<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex].

To see the properties of these spherical tensors, it is useful to evaluate the above equation for infinitesimal rotations, for which D(k)qq(ε)=k,q|IiεJ/|k,q=δqqiεk,q|J/|k,q.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

(The matrix element k,q|J/|k,q<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] is just the familiar Clebsch Gordan coefficient in changed notation: the rank k<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] corresponds to the usual j,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and q<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] to the “magnetic” quantum number m.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] )

Specifically, consider an infinitesimal rotation εJ=εJ+.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] (Strictly speaking, this is not a real rotation, but the formalism doesn’t care, and the result we derive can be confirmed by rotation about the x<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and y<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] directions and adding appropriate terms.)

The equation is

(1iεJ+/)Tqk(1+iεJ+/)=q(δqqiεk,q|J+/|k,q)Tqk<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

and equating terms linear in ε,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

[J±,Tqk]=±(kq)(k±q+1)Tq±1k[Jz,Tqk]=qTqk.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

Sakurai observes that this set of commutation relations could be taken as the definition of the spherical tensors.

Notational note: we have followed Shankar here in having the rank k<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] as a subscript, the “magnetic” quantum number q<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] as a superscript, the same convention used for the spherical harmonics (but not for the D<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] matrices!)  Sakurai, Baym and others have the rank above, usually in parentheses, and the magnetic number below.  Fortunately, all use k<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] for rank and q<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] for magnetic quantum number.

### A Spherical Vector

The  j=1<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] angular momentum eigenkets are just the familiar spherical harmonics

Y01=34πzr,Y±11=34πx±iy2r.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

The rotation operator will transform (x,y,z)<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] as an ordinary vector in three-space, and this is evidently equivalent to

|j=1,mm|j=1,mD(j)mm(R)<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

It follows that the spherical representation of a three vector (Vx,Vy,Vz)<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] has the form:

T±11=Vx±iVy2=V±11,T01=Vz=V01.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

In line with spherical tensor notation, the components (T11,T01,T11)<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] are denoted Tq1.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

### Matrix Elements of Tensor Operators between Angular Momentum Eigenkets

By definition, an irreducible tensor operator Tqk<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] transforms under rotation like an angular momentum eigenket |k,q<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex].  Therefore, rotating the ket Tqk|j,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex],

UTqk|j,m=UTqkU1U|j,m=qD(k)qqTqkmD(j)mm|j,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex].

The product of the two D<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] matrices appearing is precisely the set of coefficients to rotate the direct product of eigenkets |k,q|j,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] where |k,q<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] is the angular momentum eigenket having  j=k,m=q.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

We have met this direct product of two angular momentum eigenkets before: this is just a system having two angular momenta, such as orbital plus spin angular momenta.   So we see that Tqk<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] acting on |j,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] generates a state having total angular momentum the sum of (k,q)<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and (j,m).<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

To link up (more or less) with Shankar’s notation: our direct product state |k,q|j,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] is the same as |k,q;j,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] in the notation |j1,m1;j2,m2<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] for a product state of two angular momenta (possibly including spins). Such a state can be written as a sum over states of the form |jtot,mtot;j1,j2<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] where this denotes a state of total angular momentum jtot,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]   z-<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] direction component mtot,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] made up of two spins having total angular momentum j1,j2<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] respectively.

This is the standard Clebsch-Gordan sum:

|j1,m1;j2,m2=jtot=|j1j2|j1+j2mtot=jtotjtot|jtot,mtot;j1,j2jtot,mtot;j1,j2|j1,m1;j2,m2.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

The summed terms give a unit operator within this (2j1+1)(2j2+1)<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] dimensional space, the term jtot,mtot;j1,j2|j1,m1;j2,m2<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] is a Clebsch-Gordan coefficient.  The only nonzero coefficients have mtot=m1+m2,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and jtot<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] restricted as noted, so for given m1,m2<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] we just set mtot=m1+m2,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] we don’t sum over mtot,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and the sum over jtot<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] begins at |mtot|.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

Translating into our |k,q|j,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] notation, and cleaning up,

|k,q;j,m=jtot=|q+m|k+j|jtot,q+m;k,jjtot,q+m;k,j|k,q;j,m.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

We are now able to evaluate the angular component of the matrix element of a spherical tensor operator between angular momentum eigenkets: we see that it will only be nonzero for  mtot=m1+m2,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and  jtot<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] at least |mtot|.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

### The Wigner-Eckart Theorem

At this point, we must bear in mind that these tensor operators are not necessarily just functions of angle.  For example, the position operator is a spherical vector multiplied by the radial variable r,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and kets specifying atomic eigenstates will include radial quantum numbers as well as angular momentum, so the matrix element of a tensor between two states will have the form

α2,j2,m2|Tqk|α1,j1,m1<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex],

where the j<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] ’s and m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] ’s denote the usual angular momentum eigenstates and the α<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] ’s are nonangular quantum numbers, such as those for radial states.

The basic point of the Wigner<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]Eckart theorem is that the angular dependence of these matrix elements can be factored out, and it is given by the Clebsch-Gordan coefficients

Having factored it out, the remaining dependence, which is only on the total angular momentum in each of the kets, not the relative orientation (and of course on the α<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] ’s), is traditionally written as a bracket with double lines, that is,

α2,j2,m2|Tqk|α1,j1,m1=α2,j2Tkα1,j12j+1j2,m2|k,q;j1,m1.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

The denominator is the conventional normalization of the double-bar matrix element. The proof is given in, for example, Sakurai (page 239) and is not that difficult.  The basic strategy is to put the defining identities

[J±,Tqk]=±(kq)(k±q+1)Tq±1k[Jz,Tqk]=qTqk<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

between |α,j,m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] bras and kets, then get rid of the J± and Jz<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] by having them operate on the bra or ket.  This generates a series of linear equations for α2,j2,m2|Tqk|α1,j1,m1<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] matrix elements with m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] variables differing by one, and in fact this set of linear equations is identical to the set that generates the Clebsch-Gordan coefficients, so we must conclude that these spherical tensor matrix elements, ranging over possible m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and j<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] values, are exactly proportional to the Clebsch-Gordan coefficients<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]and that is the theorem.

A Few Hints for Shankar’s problem 15.3.3: that first matrix element comes from adding a spin j<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] to a spin 1, writing the usual maximum m<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] state, applying the lowering operator to both sides to get the total angular momentum j+1,m=j<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] state, then finding the same m state orthogonal to that, which corresponds to total angular momentum j<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] (instead of ). j+1<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]

For the operator J,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] the Wigner-Eckart matrix element simplifies because J<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] cannot affect α,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] and also it commutes with J2,<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] so cannot change the total angular momentum.

So, in the Wigner-Eckart equation, replace Tqk<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] on the left-hand side by J01<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex], which is just Jz.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]   The result of (1) should follow.

(2) First note that a scalar operator cannot change m.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] Since c<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] is independent of A<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] we can take

A=J<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex] to find c.<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics/>[/itex]