A A A

20Operators

20–1Operations and operators

All the things we have done so far in quantum mechanics could be handled with ordinary algebra, although we did from time to time show you some special ways of writing quantum-mechanical quantities and equations. We would like now to talk some more about some interesting and useful mathematical ways of describing quantum-mechanical things. There are many ways of approaching the subject of quantum mechanics, and most books use a different approach from the one we have taken. As you go on to read other books you might not see right away the connections of what you will find in them to what we have been doing. Although we will also be able to get a few useful results, the main purpose of this chapter is to tell you about some of the different ways of writing the same physics. Knowing them you should be able to understand better what other people are saying. When people were first working out classical mechanics they always wrote all the equations in terms of x-, y-, and z-components. Then someone came along and pointed out that all of the writing could be made much simpler by inventing the vector notation. It’s true that when you come down to figuring something out you often have to convert the vectors back to their components. But it’s generally much easier to see what’s going on when you work with vectors and also easier to do many of the calculations. In quantum mechanics we were able to write many things in a simpler way by using the idea of the “state vector.” The state vector |ψ has, of course, nothing to do with geometric vectors in three dimensions but is an abstract symbol that stands for a physical state, identified by the “label,” or “name,” ψ. The idea is useful because the laws of quantum mechanics can be written as algebraic equations in terms of these symbols. For instance, our fundamental law that any state can be made up from a linear combination of base states is written as

(20.1)|ψ=iCi|i,
where the Ci are a set of ordinary (complex) numbers—the amplitudes Ci=i|ψ—while |1, |2, |3, and so on, stand for the base states in some base, or representation.

If you take some physical state and do something to it—like rotating it, or like waiting for the time Δt—you get a different state. We say, “performing an operation on a state produces a new state.” We can express the same idea by an equation:

(20.2)|ϕ=A^|ψ.
An operation on a state produces another state. The operator A^ stands for some particular operation. When this operation is performed on any state, say |ψ, it produces some other state |ϕ.

What does Eq. (20.2) mean? We define it this way. If you multiply the equation by i| and expand |ψ according to Eq. (20.1), you get

(20.3)i|ϕ=ji|A^|jj|ψ.
(The states |j are from the same set as |i.) This is now just an algebraic equation. The numbers i|ϕ give the amount of each base state you will find in |ϕ, and it is given in terms of a linear superposition of the amplitudes j|ψ that you find |ψ in each base state. The numbers i|A^|j are just the coefficients which tell how much of j|ψ goes into each sum. The operator A^ is described numerically by the set of numbers, or “matrix,”
(20.4)Aiji|A^|j.

So Eq. (20.2) is a high-class way of writing Eq. (20.3). Actually it is a little more than that; something more is implied. In Eq. (20.2) we do not make any reference to a set of base states. Equation (20.3) is an image of Eq. (20.2) in terms of some set of base states. But, as you know, you may use any set you wish. And this idea is implied in Eq. (20.2). The operator way of writing avoids making any particular choice. Of course, when you want to get definite you have to choose some set. When you make your choice, you use Eq. (20.3). So the operator equation (20.2) is a more abstract way of writing the algebraic equation (20.3). It’s similar to the difference between writing

c=a×b
instead of
cx=aybzazby,cy=azbxaxbz,cz=axbyaybx.
The first way is much handier. When you want results, however, you will eventually have to give the components with respect to some set of axes. Similarly, if you want to be able to say what you really mean by A^, you will have to be ready to give the matrix Aij in terms of some set of base states. So long as you have in mind some set |i, Eq. (20.2) means just the same as Eq. (20.3). (You should remember also that once you know a matrix for one particular set of base states you can always calculate the corresponding matrix that goes with any other base. You can transform the matrix from one “representation” to another.)

The operator equation in (20.2) also allows a new way of thinking. If we imagine some operator A^, we can use it with any state |ψ to create a new state A^|ψ. Sometimes a “state” we get this way may be very peculiar—it may not represent any physical situation we are likely to encounter in nature. (For instance, we may get a state that is not normalized to represent one electron.) In other words, we may at times get “states” that are mathematically artificial. Such artificial “states” may still be useful, perhaps as the mid-point of some calculation.

We have already shown you many examples of quantum-mechanical operators. We have had the rotation operator R^y(θ) which takes a state |ψ and produces a new state, which is the old state as seen in a rotated coordinate system. We have had the parity (or inversion) operator P^, which makes a new state by reversing all coordinates. We have had the operators σ^x, σ^y, and σ^z for spin one-half particles.

The operator J^z was defined in Chapter 17 in terms of the rotation operator for a small angle ϵ.

(20.5)R^z(ϵ)=1+iϵJ^z.
This just means, of course, that
(20.6)R^z(ϵ)|ψ=|ψ+iϵJ^z|ψ.
In this example, J^z|ψ is /iϵ times the state you get if you rotate |ψ by the small angle ϵ and then subtract the original state. It represents a “state” which is the difference of two states.

One more example. We had an operator p^x—called the momentum operator (x-component) defined in an equation like (20.6). If D^x(L) is the operator which displaces a state along x by the distance L, then p^x is defined by

(20.7)D^x(δ)=1+iδp^x,
where δ is a small displacement. Displacing the state |ψ along x by a small distance δ gives a new state |ψ. We are saying that this new state is the old state plus a small new piece
iδp^x|ψ.

The operators we are talking about work on a state vector like |ψ, which is an abstract description of a physical situation. They are quite different from algebraic operators which work on mathematical functions. For instance, d/dx is an “operator” that works on f(x) by changing it to a new function f(x)=df/dx. Another example is the algebraic operator 2. You can see why the same word is used in both cases, but you should keep in mind that the two kinds of operators are different. A quantum-mechanical operator A^ does not work on an algebraic function, but on a state vector like |ψ. Both kinds of operators are used in quantum mechanics and often in similar kinds of equations, as you will see a little later. When you are first learning the subject it is well to keep the distinction always in mind. Later on, when you are more familiar with the subject, you will find that it is less important to keep any sharp distinction between the two kinds of operators. You will, indeed, find that most books generally use the same notation for both!

We’ll go on now and look at some useful things you can do with operators. But first, one special remark. Suppose we have an operator A^ whose matrix in some base is Aiji|A^|j. The amplitude that the state A^|ψ is also in some other state |ϕ is ϕ|A^|ψ. Is there some meaning to the complex conjugate of this amplitude? You should be able to show that

(20.8)ϕ|A^|ψ=ψ|A^|ϕ,
where A^ (read “A dagger”) is an operator whose matrix elements are
(20.9)Aij=(Aji).
To get the i,j element of A you go to the j,i element of A (the indexes are reversed) and take its complex conjugate. The amplitude that the state A^|ϕ is in |ψ is the complex conjugate of the amplitude that A^|ψ is in |ϕ. The operator A^ is called the “Hermitian adjoint” of A^. Many important operators of quantum mechanics have the special property that when you take the Hermitian adjoint, you get the same operator back. If B^ is such an operator, then
B^=B^,
and it is called a “self-adjoint” or “Hermitian,” operator.

20–2Average energies

So far we have reminded you mainly of what you already know. Now we would like to discuss a new question. How would you find the average energy of a system—say, an atom? If an atom is in a particular state of definite energy and you measure the energy, you will find a certain energy E. If you keep repeating the measurement on each one of a whole series of atoms which are all selected to be in the same state, all the measurements will give E, and the “average” of your measurements will, of course, be just E.

Now, however, what happens if you make the measurement on some state |ψ which is not a stationary state? Since the system does not have a definite energy, one measurement would give one energy, the same measurement on another atom in the same state would give a different energy, and so on. What would you get for the average of a whole series of energy measurements?

We can answer the question by projecting the state |ψ onto the set of states of definite energy. To remind you that this is a special base set, we’ll call the states |ηi. Each of the states |ηi has a definite energy Ei. In this representation,

(20.10)|ψ=iCi|ηi.
When you make an energy measurement and get some number Ei, you have found that the system was in the state ηi. But you may get a different number for each measurement. Sometimes you will get E1, sometimes E2, sometimes E3, and so on. The probability that you observe the energy E1 is just the probability of finding the system in the state |η1, which is, of course, just the absolute square of the amplitude C1=η1|ψ. The probability of finding each of the possible energies Ei is
(20.11)Pi=|Ci|2.

How are these probabilities related to the mean value of a whole sequence of energy measurements? Let’s imagine that we get a series of measurements like this: E1, E7, E11, E9, E1, E10, E7, E2, E3, E9, E6, E4, and so on. We continue for, say, a thousand measurements. When we are finished we add all the energies and divide by one thousand. That’s what we mean by the average. There’s also a short-cut to adding all the numbers. You can count up how many times you get E1, say that is N1, and then count up the number of times you get E2, call that N2, and so on. The sum of all the energies is certainly just

N1E1+N2E2+N3E3+=iNiEi.
The average energy is this sum divided by the total number of measurements which is just the sum of all the Ni's, which we can call N;
(20.12)Eav=iNiEiN.

We are almost there. What we mean by the probability of something happening is just the number of times we expect it to happen divided by the total number of tries. The ratio Ni/N should—for large N—be very near to Pi, the probability of finding the state |ηi, although it will not be exactly Pi because of the statistical fluctuations. Let’s write the predicted (or “expected”) average energy as Eav; then we can say that

(20.13)Eav=iPiEi.
The same arguments apply for any measurement. The average value of a measured quantity A should be equal to
Aav=iPiAi,
where Ai are the various possible values of the observed quantity, and Pi is the probability of getting that value.

Let’s go back to our quantum-mechanical state |ψ. Its average energy is

(20.14)Eav=i|Ci|2Ei=iCiCiEi.
Now watch this trickery! First, we write the sum as
(20.15)iψ|ηiEiηi|ψ.
Next we treat the left-hand ψ| as a common “factor.” We can take this factor out of the sum, and write it as
ψ|{i|ηiEiηi|ψ}.
This expression has the form
ψ|ϕ,
where |ϕ is some “cooked-up” state defined by
(20.16)|ϕ=i|ηiEiηi|ψ.
It is, in other words, the state you get if you take each base state |ηi in the amount Eiηi|ψ.

Now remember what we mean by the states |ηi. They are supposed to be the stationary states—by which we mean that for each one,

H^|ηi=Ei|ηi.
Since Ei is just a number, the right-hand side is the same as |ηiEi, and the sum in Eq. (20.16) is the same as
iH^|ηiηi|ψ.
Now i appears only in the famous combination that contracts to unity, so
iH^|ηiηi|ψ=H^i|ηiηi|ψ=H^|ψ.
Magic! Equation (20.16) is the same as
(20.17)|ϕ=H^|ψ.
The average energy of the state |ψ can be written very prettily as
(20.18)Eav=ψ|H^|ψ.
To get the average energy you operate on |ψ with H^, and then multiply by ψ|. A simple result.

Our new formula for the average energy is not only pretty. It is also useful, because now we don’t need to say anything about any particular set of base states. We don’t even have to know all of the possible energy levels. When we go to calculate, we’ll need to describe our state in terms of some set of base states, but if we know the Hamiltonian matrix Hij for that set we can get the average energy. Equation (20.18) says that for any set of base states |i, the average energy can be calculated from

(20.19)Eav=ijψ|ii|H^|jj|ψ,
where the amplitudes i|H^|j are just the elements of the matrix Hij.

Let’s check this result for the special case that the states |i are the definite energy states. For them, H^|j=Ej|j, so i|H^|j=Ejδij and

Eav=ijψ|iEjδijj|ψ=iEiψ|ii|ψ,
which is right.

Equation (20.19) can, incidentally, be extended to other physical measurements which you can express as an operator. For instance, L^z is the operator of the z-component of the angular momentum L. The average of the z-component for the state |ψ is

Lzav=ψ|L^z|ψ.
One way to prove it is to think of some situation in which the energy is proportional to the angular momentum. Then all the arguments go through in the same way.

In summary, if a physical observable A is related to a suitable quantum-mechanical operator A^, the average value of A for the state |ψ is given by

(20.20)Aav=ψ|A^|ψ.
By this we mean that
(20.21)Aav=ψ|ϕ,
with
(20.22)|ϕ=A^|ψ.

20–3The average energy of an atom

Suppose we want the average energy of an atom in a state described by a wave function ψ(r); How do we find it? Let’s first think of a one-dimensional situation with a state |ψ defined by the amplitude x|ψ=ψ(x). We are asking for the special case of Eq. (20.19) applied to the coordinate representation. Following our usual procedure, we replace the states |i and |j by |x and |x, and change the sums to integrals. We get

(20.23)Eav=ψ|xx|H^|xx|ψdxdx.
This integral can, if we wish, be written in the following way:
(20.24)ψ|xx|ϕdx,
with
(20.25)x|ϕ=x|H^|xx|ψdx.
The integral over x in (20.25) is the same one we had in Chapter 16—see Eq. (16.50) and Eq. (16.52)—and is equal to
22md2dx2ψ(x)+V(x)ψ(x).
We can therefore write
(20.26)x|ϕ={22md2dx2+V(x)}ψ(x).

Remember that ψ|x= x|ψ= ψ(x); using this equality, the average energy in Eq. (20.23) can be written as

(20.27)Eav=ψ(x){22md2dx2+V(x)}ψ(x)dx.
Given a wave function ψ(x), you can get the average energy by doing this integral. You can begin to see how we can go back and forth from the state-vector ideas to the wave-function ideas.

The quantity in the braces of Eq. (20.27) is an algebraic operator.1 We will write it as H^

H^=22md2dx2+V(x).
With this notation Eq. (20.23) becomes
(20.28)Eav=ψ(x)H^ψ(x)dx.

The algebraic operator H^ defined here is, of course, not identical to the quantum-mechanical operator H^. The new operator works on a function of position ψ(x)=x|ψ to give a new function of x, ϕ(x)=x|ϕ; while H^ operates on a state vector |ψ to give another state vector |ϕ, without implying the coordinate representation or any particular representation at all. Nor is H^ strictly the same as H^ even in the coordinate representation. If we choose to work in the coordinate representation, we would interpret H^ in terms of a matrix x|H^|x which depends somehow on the two “indices” x and x; that is, we expect—according to Eq. (20.25)—that x|ϕ is related to all the amplitudes x|ψ by an integration. On the other hand, we find that H^ is a differential operator. We have already worked out in Section 16–5 the connection between x|H^|x and the algebraic operator H^.

We should make one qualification on our results. We have been assuming that the amplitude ψ(x)=x|ψ is normalized. By this we mean that the scale has been chosen so that

|ψ(x)|2dx=1;
so the probability of finding the electron somewhere is unity. If you should choose to work with a ψ(x) which is not normalized you should write
(20.29)Eav=ψ(x)H^ψ(x)dxψ(x)ψ(x)dx.
It’s the same thing.

Notice the similarity in form between Eq. (20.28) and Eq. (20.18). These two ways of writing the same result appear often when you work with the x-representation. You can go from the first form to the second with any A^ which is a local operator, where a local operator is one which in the integral

x|A^|xx|ψdx
can be written as A^ψ(x), where A^ is a differential algebraic operator. There are, however, operators for which this is not true. For them you must work with the basic equations in (20.21) and (20.22).

You can easily extend the derivation to three dimensions. The result is that2

(20.30)Eav=ψ(r)H^ψ(r)dV,
with
(20.31)H^=22m2+V(r),
and with the understanding that
(20.32)|ψ|2dV=1.
The same equations can be extended to systems with several electrons in a fairly obvious way, but we won’t bother to write down the results.

With Eq. (20.30) we can calculate the average energy of an atomic state even without knowing its energy levels. All we need is the wave function. It’s an important law. We’ll tell you about one interesting application. Suppose you want to know the ground-state energy of some system—say the helium atom, but it’s too hard to solve Schrödinger’s equation for the wave function, because there are too many variables. Suppose, however, that you take a guess at the wave function—pick any function you like—and calculate the average energy. That is, you use Eq. (20.29)—generalized to three dimensions-to find what the average energy would be if the atom were really in the state described by this wave function. This energy will certainly be higher than the ground-state energy which is the lowest possible energy the atom can have.3 Now pick another function and calculate its average energy. If it is lower than your first choice you are getting closer to the true ground-state energy. If you keep on trying all sorts of artificial states you will be able to get lower and lower energies, which come closer and closer to the ground-state energy. If you are clever, you will try some functions which have a few adjustable parameters. When you calculate the energy it will be expressed in terms of these parameters. By varying the parameters to give the lowest possible energy, you are trying out a whole class of functions at once. Eventually you will find that it is harder and harder to get lower energies and you will begin to be convinced that you are fairly close to the lowest possible energy. The helium atom has been solved in just this way—not by solving a differential equation, but by making up a special function with a lot of adjustable parameters which are eventually chosen to give the lowest possible value for the average energy.

20–4The position operator

What is the average value of the position of an electron in an atom? For any particular state |ψ what is the average value of the coordinate x? We’ll work in one dimension and let you extend the ideas to three dimensions or to systems with more than one particle: We have a state described by ψ(x), and we keep measuring x over and over again. What is the average? It is

xP(x)dx,
where P(x)dx is the probability of finding the electron in a little element dx at x. Suppose the probability density P(x) varies with x as shown in Fig. 20–1. The electron is most likely to be found near the peak of the curve. The average value of x is also somewhere near the peak. It is, in fact, just the center of gravity of the area under the curve.

Fig. 20–1.A curve of probability density representing a localized particle.

We have seen earlier that P(x) is just |ψ(x)|2=ψ(x)ψ(x), so we can write the average of x as

(20.33)xav=ψ(x)xψ(x)dx.

Our equation for xav has the same form as Eq. (20.28). For the average energy, the energy operator H^ appears between the two ψ’s, for the average position there is just x. (If you wish you can consider x to be the algebraic operator “multiply by x.”) We can carry the parallelism still further, expressing the average position in a form which corresponds to Eq. (20.18). Suppose we just write

(20.34)xav=ψ|α
with
(20.35)|α=x^|ψ,
and then see if we can find the operator x^ which generates the state |α, which will make Eq. (20.34) agree with Eq. (20.33). That is, we must find a |α, so that
(20.36)ψ|α=xav=ψ|xxx|ψdx.
First, let’s expand ψ|α in the x-representation. It is
(20.37)ψ|α=ψ|xx|αdx.
Now compare the integrals in the last two equations. You see that in the x-representation
(20.38)x|α=xx|ψ.
Operating on |ψ with x^ to get |α is equivalent to multiplying ψ(x)=x|ψ by x to get α(x)=x|α. We have a definition of x^ in the coordinate representation.4

[We have not bothered to try to get the x-representation of the matrix of the operator x^. If you are ambitious you can try to show that

(20.39)x|x^|x=xδ(xx).
You can then work out the amusing result that
(20.40)x^|x=x|x.
The operator x^ has the interesting property that when it works on the base states |x it is equivalent to multiplying by x.]

Do you want to know the average value of x2? It is

(20.41)x2av=ψ(x)x2ψ(x)dx.
Or, if you prefer you can write
x2av=ψ|α
with
(20.42)|α=x^2|ψ.
By x^2 we mean x^x^—the two operators are used one after the other. With the second form you can calculate x2av, using any representation (base-states) you wish. If you want the average of xn, or of any polynomial in x, you can see how to get it.

20–5The momentum operator

Now we would like to calculate the mean momentum of an electron—again, we’ll stick to one dimension. Let P(p)dp be the probability that a measurement will give a momentum between p and p+dp. Then

(20.43)pav=pP(p)dp.
Now we let p|ψ be the amplitude that the state |ψ is in a definite momentum state |p. This is the same amplitude we called momp|ψ in Section 16–3 and is a function of p just as x|ψ is a function of x. There we chose to normalize the amplitude so that
(20.44)P(p)=12π|p|ψ|2.
We have, then,
(20.45)pav=ψ|ppp|ψdp2π.
The form is quite similar to what we had for xav.

If we want, we can play exactly the same game we did with xav. First, we can write the integral above as

(20.46)ψ|pp|βdp2π.
You should now recognize this equation as just the expanded form of the amplitude ψ|β—expanded in terms of the base states of definite momentum. From Eq. (20.45) the state |β is defined in the momentum representation by
(20.47)p|β=pp|ψ
That is, we can now write
(20.48)pav=ψ|β
with
(20.49)|β=p^|ψ,
where the operator p^ is defined in terms of the p-representation by Eq. (20.47).

[Again, you can if you wish show that the matrix form of p^ is

(20.50)p|p^|p=pδ(pp),
and that
(20.51)p^|p=p|p.
It works out the same as for x.]

Now comes an interesting question. We can write pav, as we have done in Eqs. (20.45) and (20.48), and we know the meaning of the operator p^ in the momentum representation. But how should we interpret p^ in the coordinate representation? That is what we will need to know if we have some wave function ψ(x), and we want to compute its average momentum. Let’s make clear what we mean. If we start by saying that pav is given by Eq. (20.48), we can expand that equation in terms of the p-representation to get back to Eq. (20.46). If we are given the p-description of the state—namely the amplitude p|ψ, which is an algebraic function of the momentum p—we can get p|β from Eq. (20.47) and proceed to evaluate the integral. The question now is: What do we do if we are given a description of the state in the x-representation, namely the wave function ψ(x)=x|ψ?

Well, let’s start by expanding Eq. (20.48) in the x-representation. It is

(20.52)pav=ψ|xx|βdx.
Now, however, we need to know what the state |β is in the x-representation. If we can find it, we can carry out the integral. So our problem is to find the function β(x)=x|β.

We can find it in the following way. In Section 16–3 we saw how p|β was related to x|β. According to Eq. (16.24),

(20.53)p|β=eipx/x|βdx.
If we know p|β we can solve this equation for x|β. What we want, of course, is to express the result somehow in terms of ψ(x)=x|ψ, which we are assuming to be known. Suppose we start with Eq. (20.47) and again use Eq. (16.24) to write
(20.54)p|β=pp|ψ=peipx/ψ(x)dx.
Since the integral is over x we can put the p inside the integral and write
(20.55)p|β=eipx/pψ(x)dx.
Compare this with (20.53). You would say that x|β is equal to pψ(x). No, No! The wave function x|β=β(x) can depend only on x—not on p. That’s the whole problem.

However, some ingenious fellow discovered that the integral in (20.55) could be integrated by parts. The derivative of eipx/ with respect to x is (i/)peipx/, so the integral in (20.55) is equivalent to

iddx(eipx/)ψ(x)dx.
If we integrate by parts, it becomes
i[eipx/ψ(x)]++ieipx/dψdxdx.
So long as we are considering bound states, so that ψ(x) goes to zero at x=±, the bracket is zero and we have
(20.56)p|β=ieipx/dψdxdx.
Now compare this result with Eq. (20.53). You see that
(20.57)x|β=iddxψ(x).
We have the necessary piece to be able to complete Eq. (20.52). The answer is
(20.58)pav=ψ(x)iddxψ(x)dx.
We have found how Eq. (20.48) looks in the coordinate representation.

Now you should begin to see an interesting pattern developing. When we asked for the average energy of the state |ψ we said it was

Eav=ψ|ϕ, with |ϕ=H^|ψ.
The same thing is written in the coordinate world as
Eav=ψ(x)ϕ(x)dx, with ϕ(x)=H^ψ(x).
Here H^ is an algebraic operator which works on a function of x. When we asked about the average value of x, we found that it could also be written
xav=ψ|α, with |α=x^|ψ.
In the coordinate world the corresponding equations are
xav=ψ(x)α(x)dx, with α(x)=xψ(x).
When we asked about the average value of p, we wrote
pav=ψ|β, with |β=p^|ψ.
In the coordinate world the equivalent equations were
pav=ψ(x)β(x)dx, with β(x)=iddxψ(x).
In each of our three examples we start with the state |ψ and produce another (hypothetical) state by a quantum-mechanical operator. In the coordinate representation we generate the corresponding wave function by operating on the wave function ψ(x) with an algebraic operator. There are the following one-to-one correspondences (for one-dimensional problems):
(20.59)H^H^=22md2dx2+V(x),x^x,p^xP^x=ix.
In this list, we have introduced the symbol P^x for the algebraic operator (/i)/x:
(20.60)P^x=ix,
and we have inserted the x subscript on P^ to remind you that we have been working only with the x-component of momentum.

You can easily extend the results to three dimensions. For the other components of the momentum,

p^yP^y=iy,p^zP^z=iz.
If you want, you can even think of an operator of the vector momentum and write
p^P^=i(exx+eyy+ezz),
where ex, ey, and ez are the unit vectors in the three directions. It looks even more elegant if we write
(20.61)p^P^=i.

Our general result is that for at least some quantum-mechanical operators, there are corresponding algebraic operators in the coordinate representation. We summarize our results so far—extended to three dimensions—in Table 20–1. For each operator we have the two equivalent forms:5

(20.62)|ϕ=A^|ψ
or
(20.63)ϕ(r)=A^ψ(r).

Table 20–1
Physical Quantity Operator Coordinate Form
Energytum H^ H^=22m2+V(r)
Positionum x^ $H^= x
y^ $H^= y
z^ $H^= z
Momentum p^x P^x=ix
p^y P^y=iy
p^z P^z=iz

We will now give a few illustrations of the use of these ideas. The first one is just to point out the relation between P^ and H^. If we use P^x twice, we get

P^xP^x=22x2.
This means that we can write the equality
H^=12m{P^xP^x+P^yP^y+P^zP^z}+V(r).
Or, using the vector notation,
(20.64)H^=12mP^P^+V(r).
(In an algebraic operator, any term without the operator symbol (^) means just a straight multiplication.) This equation is nice because it’s easy to remember if you haven’t forgotten your classical physics. Everyone knows that the energy is (nonrelativistically) just the kinetic energy p2/2m plus the potential energy, and H^ is the operator of the total energy.

This result has impressed people so much that they try to teach students all about classical physics before quantum mechanics. (We think differently!) But such parallels are often misleading. For one thing, when you have operators, the order of various factors is important; but that is not true for the factors in a classical equation.

In Chapter 17 we defined an operator p^x in terms of the displacement operator D^x by [see Eq. (17.27)]

(20.65)|ψ=D^x(δ)|ψ=(1+ip^xδ)|ψ,
where δ is a small displacement. We should show you that this is equivalent to our new definition. According to what we have just worked out, this equation should mean the same as
ψ(x)=ψ(x)+ψxδ.
But the right-hand side is just the Taylor expansion of ψ(x+δ), which is certainly what you get if you displace the state to the left by δ (or shift the coordinates to the right by the same amount). Our two definitions of p^ agree!

Let’s use this fact to show something else. Suppose we have a bunch of particles which we label 12, 3, …, in some complicated system. (To keep things simple we’ll stick to one dimension.) The wave function describing the state is a function of all the coordinates x1x2, x3, … We can write it as ψ(x1,x2,x3,). Now displace the system (to the left) by δ. The new wave function

ψ(x1,x2,x3,)=ψ(x1+δ,x2+δ,x3+δ,)
can be written as
ψ(x1,x2,x3,)=ψ(x1,x2,x3,)(20.66)+{δψx1+δψx2+δψx3+}.
According to Eq. (20.65) the operator of the momentum of the state |ψ (let’s call it the total momentum) is equal to
P^total=i{x1+x2+x3+}.
But this is just the same as
(20.67)P^total=P^x1+P^x2+P^x3+.
The operators of momentum obey the rule that the total momentum is the sum of the momenta of all the parts. Everything holds together nicely, and many of the things we have been saying are consistent with each other.

20–6Angular momentum

Let’s for fun look at another operation—the operation of orbital angular momentum. In Chapter 17 we defined an operator J^z in terms of R^z(ϕ), the operator of a rotation by the angle ϕ about the z-axis. We consider here a system described simply by a single wave function ψ(r), which is a function of coordinates only, and does not take into account the fact that the electron may have its spin either up or down. That is, we want for the moment to disregard intrinsic angular momentum and think about only the orbital part. To keep the distinction clear, we’ll call the orbital operator L^z, and define it in terms of the operator of a rotation by an infinitesimal angle ϵ by

R^z(ϵ)|ψ=(1+iϵL^z)|ψ.
(Remember, this definition applies only to a state |ψ which has no internal spin variables, but depends only on the coordinates r=x,y,z.) If we look at the state |ψ in a new coordinate system, rotated about the z-axis by the small angle ϵ, we see a new state
|ψ=R^z(ϵ)|ψ.

Fig. 20–2.Rotation of the axes around the z-axis by the small angle ϵ.

If we choose to describe the state |ψ in the coordinate representation—that is, by its wave function ψ(r), we would expect to be able to write

(20.68)ψ(r)=(1+iϵL^z)ψ(r).
What is L^z? Well, a point P at x and y in the new coordinate system (really x and y, but we will drop the primes) was formerly at xϵy and y+ϵx, as you can see from Fig. 20–2. Since the amplitude for the electron to be at P isn’t changed by the rotation of the coordinates we can write
ψ(x,y,z)=ψ(xϵy,y+ϵx,z)=ψ(x,y,z)ϵyψx+ϵxψy
(remembering that ϵ is a small angle). This means that
(20.69)L^z=i(xyyx).
That’s our answer. But notice. It is equivalent to
(20.70)L^z=xP^yyP^x.
Returning to our quantum-mechanical operators, we can write
(20.71)L^z=xp^yyp^x.
This formula is easy to remember because it looks like the familiar formula of classical mechanics; it is the z-component of
(20.72)L=r×p.

One of the fun parts of this operator business is that many classical equations get carried over into a quantum-mechanical form. Which ones don’t? There had better be some that don’t come out right, because if everything did, then there would be nothing different about quantum mechanics. There would be no new physics. Here is one equation which is different. In classical physics

xpxpxx=0.
What is it in quantum mechanics?
x^p^xp^xx^=?
Let’s work it out in the x-representation. So that we’ll know what we are doing we put in some wave function ψ(x). We have
xP^xψ(x)P^xxψ(x),
or
xixψ(x)ixxψ(x).
Remember now that the derivatives operate on everything to the right. We get
(20.73)xiψxiψ(x)ixψx=iψ(x).
The answer is not zero. The whole operation is equivalent simply to multiplication by /i:
(20.74)x^p^xp^xx^=i.
If Planck’s constant were zero, the classical and quantum results would be the same, and there would be no quantum mechanics to learn!

Incidentally, if any two operators A^ and B^, when taken together like this:

A^B^B^A^,
do not give zero, we say that “the operators do not commute.” And an equation such as (20.74) is called a “commutation rule.” You can see that the commutation rule for px and y is
p^xy^y^p^x=0.

There is another very important commutation rule that has to do with angular momenta. It is

(20.75)L^xL^yL^yL^x=iL^z.
You can get some practice with x^ and p^ operators by proving it for yourself.

It is interesting to notice that operators which do not commute can also occur in classical physics. We have already seen this when we have talked about rotation in space. If you rotate something, such as a book, by 90 around x and then 90 around y, you get something different from rotating first by 90 around y and then by 90 around x. It is, in fact, just this property of space that is responsible for Eq. (20.75).

20–7The change of averages with time

Now we want to show you something else. How do averages change with time? Suppose for the moment that we have an operator A^, which does not itself have time in it in any obvious way. We mean an operator like x^ or p^. (We exclude things like, say, the operator of some external potential that was being varied with time, such as V(x,t).) Now suppose we calculate Aav, in some state |ψ, which is

(20.76)Aav=ψ|A^|ψ.
How will Aav, depend on time? Why should it? One reason might be that the operator itself depended explicitly on time—for instance, if it had to do with a time-varying potential like V(x,t). But even if the operator does not depend on t, say, for example, the operator A^=x^, the corresponding average may depend on time. Certainly the average position of a particle could be moving. How does such a motion come out of Eq. (20.76) if A^ has no time dependence? Well, the state |ψ might be changing with time. For nonstationary states we have often shown a time dependence explicitly by writing a state as |ψ(t). We want to show that the rate of change of Aav, is given by a new operator we will call A˙^. Remember that A^ is an operator, so that putting a dot over the A does not here mean taking the time derivative, but is just a way of writing a new operator A˙^ which is defined by
(20.77)ddtAav=ψ|A˙^|ψ.
Our problem is to find the operator A˙^.

First, we know that the rate of change of a state is given by the Hamiltonian. Specifically,

(20.78)iddt|ψ(t)=H^|ψ(t).
This is just the abstract way of writing our original definition of the Hamiltonian:
(20.79)idCidt=jHijCj.
If we take the complex conjugate of Eq. (20.78), it is equivalent to
(20.80)iddtψ(t)|=ψ(t)|H^.
Next, see what happens if we take the derivatives with respect to t of Eq. (20.76). Since each ψ depends on t, we have
(20.81)ddtAav=(ddtψ|)A^|ψ+ψ|A^(ddt|ψ).
Finally, using the two equations in (20.78) and (20.80) to replace the derivatives, we get
ddtAav=i{ψ|H^A^|ψψ|A^H^|ψ}.
This equation is the same as
ddtAav=iψ|H^A^A^H^|ψ.
Comparing this equation with Eq. (20.77), you see that
(20.82)A˙^=i(H^A^A^H^).
That is our interesting proposition, and it is true for any operator A^.

Incidentally, if the operator A^ should itself be time dependent, we would have had

(20.83)A˙^=i(H^A^A^H^)+A^t.

Let us try out Eq. (20.82) on some example to see whether it really makes sense. For instance, what operator corresponds to x˙^? We say it should be

(20.84)x˙^=i(H^x^x^H^).
What is this? One way to find out is to work it through in the coordinate representation using the algebraic operator for H^. In this representation the commutator is
H^xxH^={22md2dx2+V(x)}xx{22md2dx2+V(x)}.
If you operate with this on any wave function ψ(x) and work out all of the derivatives where you can, you end up after a little work with
2mdψdx.
But this is just the same as
imP^xψ,
so we find that
(20.85)H^x^x^H^=imp^x
or that
(20.86)x˙^=p^xm.
A pretty result. It means that if the mean value of x is changing with time the drift of the center of gravity is the same as the mean momentum divided by m. Exactly like classical mechanics.

Another example. What is the rate of change of the average momentum of a state? Same game. Its operator is

(20.87)p˙^=i(H^p^p^H^).
Again you can work it out in the x representation. Remember that p^ becomes d/dx, and this means that you will be taking the derivative of the potential energy V (in the H^)—but only in the second term. It turns out that it is the only term which does not cancel, and you find that
H^P^P^H^=idVdx
or that
(20.88)p˙^=dVdx.
Again the classical result. The right-hand side is the force, so we have derived Newton’s law! But remember—these are the laws for the operators which give the average quantities. They do not describe what goes on in detail inside an atom.

Quantum mechanics has the essential difference that p^x^ is not equal to x^p^. They differ by a little bit—by the small number i. But the whole wondrous complications of interference, waves, and all, result from the little fact that x^p^p^x^ is not quite zero.

The history of this idea is also interesting. Within a period of a few months in 1926, Heisenberg and Schrödinger independently found correct laws to describe atomic mechanics. Schrödinger invented his wave function ψ(x) and found his equation. Heisenberg, on the other hand, found that nature could be described by classical equations, except that xppx should be equal to i, which he could make happen by defining them in terms of special kinds of matrices. In our language he was using the energy-representation, with its matrices. Both Heisenberg’s matrix algebra and Schrödinger’s differential equation explained the hydrogen atom. A few months later Schrödinger was able to show that the two theories were equivalent—as we have seen here. But the two different mathematical forms of quantum mechanics were discovered independently.

  1. The “operator” V(x) means “multiply by V(x).”
  2. We write dV for the element of volume. It is, of course, just dxdydz, and the integral goes from to + in all three coordinates.
  3. You can also look at it this way. Any function (that is, state) you choose can be written as a linear combination of the base states which are definite energy states. Since in this combination there is a mixture of higher energy states in with the lowest energy state, the average energy will be higher than the ground-state energy.
  4. Equation (20.38) does not mean that |α=x|ψ. You cannot “factor out” the x|, because the multiplier x in front of x|ψ is a number which is different for each state x|. It is the value of the coordinate of the electron in the state |x. See Eq. (20.40).
  5. In many books the same symbol is used for A^ and A^, because they both stand for the same physics, and because it is convenient not to have to write different kinds of letters. You can usually tell which one is intended by the context.