Next: Special Distribution Functions
Up: Quantum Phase Space Distribution
Previous: Quantum Phase Space Distribution
Contents
One possible motivation for introducing quantum distribution functions is
their utility for the comparison of classical and quantum mechanics, as
mentioned above. In addition to this there is another, equally important
motivation for studying these functions:
they can be used to compute expectation values in a comparatively simple
way, where the computational simplification is
mainly due to the fact that the corresponding formulae depend on
scalars only, as opposed to conventional expressions of quantum
expectation values which typically
involve
operators.
Consider a classical observable that depends on the position and
momentum variables and . The expectation value of can be
computed as
|
(A.1) |
where the classical phase space probability density describes
the state of the
system
at time , and can be obtained, for example,
by solving the LIOUVILLE equation.
(All integrals in this appendix
are
from to , and the
index
explicitly
indicates the time dependence of the expectation value.)
The
objective
of the following considerations is to find a
quantum mechanical expression which is analogous to equation
(A.1).
Rather than discussing
a general
quantum
observable
, with the
position and the momentum operators and , I begin by
considering a particular operator instead, namely
,
with constants
.
Exponentials of this type are used below in the FOURIER expansion
(A.7) to construct any other operator.
In order to obtain an expression analogous to equation (A.1)
the operator
somehow has to be substituted by a
corresponding scalar expression. For example one could set
as well, with
another
distribution function .
But due to the fact that and do not commute one has
|
(A.1) |
as is easily confirmed using the BAKER-CAMPBELL-HAUSDORFF
formula.A.2Therefore,
in general
the distribution functions and
are not
identical,
the reason being that in the integrands of equations
(A.2a) and (A.2b)
the same scalar function
has been associated with
the
two different operators
and
,
respectively.
In order to avoid this ambiguity one first chooses a complex-valued
kernel function ; then the scalar
is defined to be associated with the operator
exclusively,
|
(A.3) |
thereby establishing a one-to-one correspondence between scalars and
operators.
In this way the above-mentioned ambiguity is shifted towards the
definition of the kernel .
Depending on the rule of association specified by this function, one can
define different distribution functions via
|
(A.4) |
The
quantization rule
(A.5) not only defines how to
associate exponential operators with scalars, but is much more general,
as it can be applied to each term of the FOURIER expansion of any
operator ,
|
(A.5) |
Therefore the scalar function associated with
obviously is
|
(A.6) |
which is defined unambiguously.A.3Using the representation (A.8) of the classical observable
associated with the operator , it is then straightforward to compute
its quantum mechanical expectation value:
where equation (A.9b) is the desired expression
analogous to equation (A.1).
An explicit expression for the distribution function
can be obtained from the implicit definition (A.6) by
FOURIER transformation. For a system in the state
at
time , the expectation values are given by
, and one gets
which by insertion of the identity operator
can also be written as
The exponential
acts as a translation operator in
position space (cf. equation (5.23));
|
(A.7) |
such that
|
(A.8) |
Inserting this into equation (A.10) and substituting
,
I finally obtain a convenient explicit
formula for the distribution function :
|
(A.9) |
Footnotes
- ...
formula.A.2
-
A simplified BAKER-CAMPBELL-HAUSDORFF (BCH) formula
|
(A.2) |
holds in the special case
when
the operators and both commute
with their commutator
(which is true in the present case,
because
is a
c-number).
See [Per93] for a proof, and [Wil67,Ote91] for
more on BCH formulae.
- ... unambiguously.A.3
-
The question needs to be addressed if the theory,
and in particular the evaluation of integrals like that in equation
(A.8),
could be spoiled by
kernel functions that have zeroes or are singular for some values
of . I do not discuss this issue here, but refer the reader
to [SPM99] where it is shown that the formalism can be
applied smoothly even in such notorious cases.
Note that
the kernel function
can
also
be chosen,
more generally,
as a functional
of the quantum state
of the system
itself:
.
COHEN
gives an example for such a kernel function
that, despite being quite
complicated, leads to the very simple
COHEN distribution function
that nicely combines the position and momentum representations of
in an intuitive way
[Coh66].
However,
since choosing a -dependent
has a number of unfavourable consequences -- for
example, equation (A.8) indicates that
in this case
the function
associated with the operator becomes -dependent, too -- I
do not further discuss kernels that
are functionals of
.
Next: Special Distribution Functions
Up: Quantum Phase Space Distribution
Previous: Quantum Phase Space Distribution
Contents
Martin Engel 2004-01-01