Professional Documents
Culture Documents
Reminder of Basics of Quantum Mechanics and Canonical Quantization in Hilbert Space
Reminder of Basics of Quantum Mechanics and Canonical Quantization in Hilbert Space
8 October 1996
After hearing some statements on the nature of quantum theory during last week I decided
to start my lecture by presenting a suitable and reasonably natural framework into which
QM satisfactorily ts. The framework itself is an abstraction of thoughts and essays of many
people. I mention P. Dirac, H. Weyl, J. v. Neumann, I. Segal and G. Mackey. I shall be
very cryptic.
A description of physical reality is made in terms of two sets of objects: observables and
states. A set of observables A, B; : : : will be denoted by A and states !, ; : : : by
. Each
state ! assigns to each observable A its probability distribution !A () on a real line. The
pairing (mean value) Z
h!jAi = d!A ()
denes a duality between A and
. It is natural to assume the separability (completeness)
of states: two observables with equal pairings in all states are equal. This immediately
introduces a real linear structure on A, whereas
is a convex set. The next structure is a
notion of functional dependence of observables. The observable B is a function f (A) of the
observable A if in any state Z
h!jB i = f ()d!A ():
This denition of a function is rather unwieldy, so a technical assymption is added that A
lies in an algebra with product AB such that the notion of function is compatible with this
product.
Now comes dynamics: each observable generates a motion of A, that is a one-parameter
group of automorphisms of A via the dierential equation
dA=db = fB; Ag;
where f ; g is a bracket, which is necessarily of Lie type and is a derivation of the product
fA; BC g = fA; B gC + B fA; C g:
This essentially nishes the description of the framework.
1
Both classical and quantum mechanics t perfectly in it and give concrete and nonequiv-
alent realizations.
All features of CM are reconstructed as soon as one assumes that A is commutative. It
follows that A can be realized as an algebra of functions on a symplectic manifold (phase
space) M : states are normalized measures on the phase space and f ; g is a Poisson bracket,
dened by the symplectic structure on it. In particular
Z
!A () = ( fA (p; q)) d! ;
where (t) is a step function, fA (p; q) is a function corresponding to observable A and !
is a measure corresponding to the state !. Pure (extremal) states are dened by atomistic
measures concentrated in one point of M . All observables have exact values (zero dispersions)
in all pure states.
In the case of QM , the set A consists of real elements of a complex associative algebra
with involution, which is usually realized as an algebra of linear operators in some complex
Hilbert space H . The states are the positive trace class operators with unit trace. The
distribution !A () is given by
!A () = tr (MPA ()) ;
where M (density matrix) denes the state and PA () is a special projector function of
operator A. The dynamical bracket is dened in terms of product
fA; B g = (i=})(AB BA);
where i = ( 1) = and the normalizing factor 1=} here employs the famous Planck constant
1 2
Z1
H = L ( R) = f ( q ) 2 C :
2
q= 1
j (q)j dq < 1g:
2
2
Quantum mechanically we replace the basic observables (canonical coordinates) p and q by
operators P and Q acting on H: these are dened by
d (q );
(P )(q) = ~i dq (1)
(Q )(q) = q (q); (2)
this is the so called coordinate realization. An observable A is characterized as an integral
operator dened by its kernel
Z1
(A )(q00) = A (q00; q0) (q0)dq0: (3)
1
Alternatively we may dene the observable A by means of its symbol, which is a function
on the phase space M : the symbol f corresponds to the integral kernel Af by means of the
Weyl quantization
Z1
Af (q00; q0) = 21 ~ 1 f (p; q +2 q )eip q00 q0 =~dp:
00 0
( )
(4)
There is no unique way to substitute operators for functions because the function pq is equal
to the function qp while the operator PQ does not equal the operator QP : one must choose
a prescription for the ordering of the operators. The Weyl quantization corresponds to one
choice of ordering, which is to completely symmetrize over the operators P and Q. The
Weyl quantization is not a homomorphism from the algebra of functions to the algebra of
operators: if one associates the operators Af and Ag to the functions f and g respectively,
one may dene the kernel of the product Af Ag by
Z1
Af Ag(q00; q0) = 1
Af (q00; q)Ag(q; q0)dq: (5)
This corresponds to a product f ?~ g on the algebra of functions which equals
f ?~ g = fg + i2~ ff; gg + O(~ ); 2
(6)
so that
(i=})(f g g f ) = ff; gg + O(}):
We see that both CM and QM can be realized in terms of the same objects (functions) but
the structure constants of the main operations (product, Lie bracket) of QM are dened as
a series in positive powers of }, the zero order term being the structure constants of CM .
So we can say that QM is a deformation of CM in the framework described above. The
Planck constant is a corresponding deformation parameter. This is for me the most concise
formulation of the correspondence principle and explains what is meant by quantization.
Now comes the notion of equivalent deformation and that of stability. Beautiful results,
which I learned from A. Lichnerowicz, M. Flato and D. Sternheimer, allow one to say that
CM is unstable and that QM is essentially a unique deformation of it into a nonequivalent
stable structure. The degeneracy of CM (exactness of pure states) is intimately connected
3
with its instability. So it is only natural that the passage from CM to QM was prompted
by the experimental activity of physicists. The stability of QM , on the contrary, shows that
an analogous modication of it is less feasible. In this case one has rst to modify also all
the general framework, as emphasized above.
Now I turn to discussion of dynamics. The goal is to make control of the evolution
operator
U (t) = e iHt=};
which denes the solution of the dynamical equation
dA(t) = fH; A(t)g ; A(t)j = A (7)t=0
dt ~
in the form
A(t) = U (t)AU (t): 1
(8)
From now on we take the normalization ~ = 1.
It is convenient to consider arbitrary initial and nal times, so we want to construct the
kernel of the evolution operator
U = e iH t00 t0 ( )
(9)
in terms of the symbol corresponding to the Hamiltonian h(p; q). Because Weyl quantization
is not a homomorphism taking the product of functions to the product of operators, one
cannot substitute the kernel for the Hamiltonian into the Taylor series for the exponential.
Nonetheless if 4 is a small interval, one may make the approximation
U4 = e iH 4
= 1 iH 4 (10)
and then if t00 t0 = N 4 one may approximate
e iH (t00 t0 ) = (U4)N : (11)
We write the integral kernel for U4 as
Z1
U4(q ; q ) = 2 1 dpeip q00 q0 1 ih(p; q +2 q )4
1 00 0
00 0 ( )
(12)
Z1
= 21
00 0
dpe ip q00 q0 ih p; q 2+q 4 + O(4 ):
( ) ( ) 2
1
To obtain the integral kernel for e iH t00 t0 we compose N copies of U4 and integrate
( )
2 2 2
4
In the limit as N tends to innity while qN qN is proportional to 1=N , we formally obtain
1
an integral over trajectories (p(t); q(t)) in phase space:
Z (Z 00 )
U (q ; q ; t t ) = exp i t0 (p(t)q_(t) h(p(t); q(t)))dt dp(t2)dq(t) :
00 0 00 0 t Y
(14)
t
: (p; q) 7! q (16)
of the phase space, while at the other extremal value t = t00 the path lies in a dierent bre
L00 = (q00) 1
of the polarization.
Remark: In our example, a phase space arising from a physical system with one degree of
freedom is R . Other interesting examples arise where the phase space is S . No real polar-
2 2
ization exists in those cases. Complex polarization leads to nite dimensional represetnation
of the group O(3), so that this phase space corresponds to a spin degree of freedom.
If the Hamiltonian is given by
h(p; q) = 12 p + v(q);
2
(17)
the change of variables
p(t) 7! p0(t) = p(t) + q_(t); q(t) 7! q(t) (18)
transforms the integrand in (15) to a form in which no terms appear which involve both p(t)
and q(t) (in other words these variables separate):
p0q_0 h(p0; q0) = 21 (p0 ) + 12 (q_) v(q)
2 2
(19)
We may then integrate over p(t) (to obtain a constant which is independent of q(t)) and
recover the more usual form of the action which depends only on q(t):
Z Z t00
U (q00; q0; t00 t0) = const expfi t0 ( 21 q_ v(q))dtg dq(t)
Y
2
(20)
t
5
Here what appears is the usual Lagrangian, which depends on q and q_ but not on p. This
change of variables thus transforms the formula (14) for the kernel of the time evolution
operator U into a path integral over trajectories in conguration space (the space of possible
values of the position) rather than over trajectories in phase space (the space of possible
values of position and momentum, whose dimension is twice that of the conguration space).
We remark that this method of reducing from paths in phase space to paths in conguration
space works only when the action is quadratic in the momentum p. However, more general
actions quadratic in p can also be treated by this method: for instance, one may use a general
Riemannian metric on the conguration space rather than the
at metric p , which simply
2
In the approach to quantization which we have described, one nds that the eigenvectors of
the Hamiltonian are dened in terms of certain orthogonal polynomials in q, the Hermite
polynomials.
The use of special functions can be avoided if one alternatively considers the holomorphic
quantization of the harmonic oscillator: this will complement the treatment given in K.
Gawedski's lectures. We introduce complex coordinates a and a on the phase space, dened
by
a = p1 (!q + ip) (23)
2!
a = p1 (!q ip) (24)
2!
so that
q = p1 (a + a): (25)
2!
After quantization, a and a become operators a^ and a^, which satisfy the commutation
relation
[^a; a^] = 1: (26)
The Hilbert space H now consists of entire functions in a: it is the closure of the space
of polynomials in a in the norm
Z
a da da
(f; g) = 2 f (a)g(a )e a
2i : (27)
R
One nds for instance that the elements
(a)n
n= p (28)
n!
6
in H are orthonormal with respect to the norm (; ). The operators a^ and a^ are represented
on H by
a^f (a) = dfda(a ) ;
(29)
a^f (a) = a f (a): (30)
The Hamiltonian may be written as
H = !a^a^; (31)
and it has the n as eigenvectors: we have
H n = n! n: (32)
In particular, we have = 1, for which H = 0; one thus sees that
0 0
= (pa^)n : (33)
n
n! 0
The operators on H may be represented by integral kernels A((a)00; a0), which are analytic
functions of two independent variables (a)00 and a0. The composition of two operators
corresponds to the following operation on their kernels A and B :
Z
(AB )((a)00; a0) = A((a)00; )B (; a0)e d2id :
(34)
Occasionally we shall drop the primes on a and a in cases when this does not lead to
confusion.
Another possibility is to use normal symbols: if we write the operator A as
X
A = Kmn (a^)n ^am; (35)
n;m
then the corresponding normal symbol is
X
K (a; a) = Kmn (a)nam: (36)
n;m
It is an exercise to see that
K (a; a) = e a a A(a; a): (37)
If we now turn to dynamics, the kernel of the evolution operator for a small time interval 4
may be written in terms of the normal symbol of the Hamiltonian h(a; a) as
U4 = e aa ih(a ;a)4 : (38)
To write the time evolution operator for the time interval t00 t0, we compose N copies of
U4 as before:
Z Z
U (a; a) = : : : eaN aN 1 aN 1 aN 1+aN 1 aN 2 ::: a1 a1 +a1 a0 (39)
7
ifh(aN ;aN 1 )+:::+h(a1 ;a0 )g4 Y dak dak :
N 1
e
k=1 2i
In this context the analogue of the condition that qN and q0 are xed is that aN and a are
0
xed:
aN = a; a = a: 0 (40)
In the limit as N ! 1 we obtain
Z ( Z t00 )
U = exp a ajt=t00 + t0 f
aa_ ih(a; a)gdt
Y da(t)da(t) : (41)
t0 tt00 2i
For values of t that are not equal to the extremal values t0 and t00, we assume that a(t) = a(t),
but we do not assume this on the boundary: thus we impose the condition that a(t00) =
a 2 C (this is the value that was denoted by a in (40)) and similarly a(t) = a 2 C (this
is the value that was denoted by a in (40)). The variables a; a are the arguments of the
integral kernel in (39): they are arbitrary complex numbers, in particular we do not assume
that a = a.
If one now substitutes h = !aa, the integral is Gaussian; using the equations of motion
a_ + i!a = 0; a_ i!a = 0 (42)
with the boundary conditions aN = a, a = a (where a and a are arbitrary complex
0
numbers which are not required to be complex conjugate) we then see that
a(t) = ae i! t t0 ;
( )
(43)
a(t) = aei! t t0 :
( )
(44)
Note that a(t) and a(t) are not complex conjugates of each other. Substituting in (41) we
obtain n o
U (a; a; t00 t0) = exp iaae i! t00 t0 :
0
( )
(45)
Applying this to an element of H, we nd
Z
i!(t00 t0 ) ( )e dd
(U
0 )(a) = exp ae 2i (46)
= (e i!ta):
This shows that the evolution operator is obtained by simply substituting the same argument
rotated backward in time.