## PHY456H1F: Quantum Mechanics II. Lecture 19 (Taught by Prof J.E. Sipe). Rotations of operators.

Posted by peeterjoot on November 16, 2011

# Disclaimer.

Peeter’s lecture notes from class. May not be entirely coherent.

# Rotations of operators.

READING: section 28 [1].

Rotating with as in figure (\ref{fig:qmTwoL19:qmTwoL19fig1})

\begin{figure}[htp]

\centering

\includegraphics[totalheight=0.2\textheight]{qmTwoL19fig1}

\caption{Rotating a state centered at }

\end{figure}

So

Any three operators that transform according to

form the components of a *vector operator*.

## Infinitesimal rotations

Consider infinitesimal rotations, where we can show that

Note that for we recover the familiar commutator rules for angular momentum, but this also holds for operators , , , …

Note that

so

so

In the same way, suppose we have nine operators

that transform according to

then we will call these the components of (Cartesian) a second rank tensor operator. Suppose that we have an operator that transforms

Then we will call a scalar operator.

## A problem.

This all looks good, but it is really not satisfactory. There is a problem.

Suppose that we have a Cartesian tensor operator like this, lets look at the quantity

We see buried inside these Cartesian tensors of higher rank there is some simplicity embedded (in this case trace invariance). Who knows what other relationships are also there? We want to work with and extract the buried simplicities, and we will find that the Cartesian way of expressing these tensors is horribly inefficient. What is a representation that doesn’t have any excess information, and is in some sense minimal?

## How do we extract these buried simplicities?

Recall

gives a linear combination of the .

We’ve talked about before how these form a representation of the rotation group. These are in fact (not proved here) an irreducible representation.

Look at each element of . These are matrices and will be different according to which rotation is chosen. There is some for which this element is nonzero. There’s no element in this matrix element that is zero for all possible . There are more formal ways to think about this in a group theory context, but this is a physical way to think about this.

Think of these as the basis vectors for some eigenket of .

where

So

where

Recall that

Define operators , as the elements of a spherical tensor of rank if

Here we are looking for a better way to organize things, and it will turn out (not to be proved) that this will be an irreducible way to represent things.

## Examples.

We want to work though some examples of spherical tensors, and how they relate to Cartesian tensors. To do this, a motivating story needs to be told.

Let’s suppose that is a ket for a single particle. Perhaps we are talking about an electron without spin, and write

for and after dropping . So

We are writing this in this particular way to make a point. Now also assume that

so we find

so

Now consider the spherical harmonic as an operator

So this is a way to generate spherical tensor operators of rank .

# References

[1] BR Desai. *Quantum mechanics with basic field theory*. Cambridge University Press, 2009.

## Leave a Reply