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.