next up previous
Next: Linearity Up: Notes on Quantum Averages Previous: Commutators

Quantum Operators

 

In section (2), we found inner product expressions for the average position <x> and momentum <p> in terms of the quantum amplitudes or ``wave functions'' in either the position or momentum representation. In all cases we found an expression of the form

 

where is the physical observable begin averaged, are the quantum amplitudes in the representation and is a function operator designed to give the correct average when used in the corresponding representation. Here the double over-bar ``'' refers to a generic representation which could either be position (for which we usually give no over-symbol) or momentum (for which we usually give a tilde `` ''). With equation (14) and knowledge of the correct operator, we may compute the average of position or momentum in either the position or the momentum representation. The table below summarizes the operators we have found so far:

TABLE III: OPERATORS DERIVED IN THIS NOTE

As we shall see below, in each and every representation , we may find a (unique) operator associate with each and every observable of a system so that the form (14) is valid. We call this the physical operator associated with the observable, and represent the operator as the symbol for the observable (e.g., x for position, p for momentum, for the z component of angular momentum, H for the energy, or for a generic operator, et cetera) with an over-symbol telling the appropriate representation (e.g., no symbol for the position representation, an over-tilde ``'' for the momentum representation, an over-bar ``'' for the representation associated with pure states of the observable itself and a double over-bar ``'' for a generic, unspecified representation) with a final caret or ``hat'' (``'') on top to remind us that we are dealing with a function operator.

Definition: The operator associated with an observable in a given representation is constructed so that averages of the observable are always given by , We refer to all operators defined with respect to physical observables in this way as physical or observable operators.

All operators in quantum mechanics are either associated directly with physical observables or are constructed from such physical operators using the algebraic rules laid out in section (3). It is thus important to understand the special properties of physical operators. This is the purpose of this section.

To see how the average of any observable in any representation takes the generic form

we begin by considering the form for the average in the representation of pure states of the associated observable. In this representation, the average clearly has the above form. We will then argue that the above form stays invariant as we move from representation to representation so that the form above is completely general.

To determine the form of operators in their pure state representation, we begin with the principle of superposition and represent the state as a combination of pure states of the observable ,

Here are the quantum amplitudes (wave function) for the state in the representation so that the probability of measuring the value of the observable in an experiment is . Thus, in the pure representation of any observable,

 

We see that in the pure representation we always have that the operator associated with the observable looks like argument multiplication,

(We have already seen two examples of this, and .)

To transform our expression (15) for general averages to other representations, we write and apply Parseval's theorem as we did in section (2),

where the operation of on proceeds in three well-defined mathematical steps whose application in sequence defines the operator : 1) transform to the pure state representation to generate , 2) multiply by to make , and 3) transform back to the initial representation to get . Although the procedure defining is complicated and involved, it may be applied to any function as input and will yield a single as output. This procedure thus qualifies as a valid definition of an operator. As we have seen with position and momentum, although the defining procedure is involved, it often results in a simple final operation on to yield . In the following sections we shall see further that this definition results in some simple buy very important and general properties for the operators we will encounter in quantum mechanics.





next up previous
Next: Linearity Up: Notes on Quantum Averages Previous: Commutators



Prof. Tomas Alberto Arias
Wed Oct 11 21:37:35 EDT 1995