PHYSICAL REVIE%'A VOLUME SO,NUMBER 2 AUGUST 1994
ARTICLES
Derivation
of
the energy-time
uncertainty
relation
Donald
H.
Kobe andV.
C.
Aguilera-Navarro'Department ofPhysics, University
of
North Texas, Denton, Texas 7620353-68 (Received 28 June 1993)Aderivation from first principles isgiven ofthe energy-time uncertainty relation inquantum
mechan-ics. Acanonical transformation is made in classical mechanics to anew canonical momentum, which is energy
E,
and anew canonical coordinate T,which iscalled tempus, conjugate tothe energy. Tempus T, the canonical coordinate conjugate tothe energy, is conceptually difFerent from the time t in which the system evolves. The Poisson bracket isacanonical invariant, sothat energy and tempus satisfy the same Poisson bracket as dopand q. When the system is quantized, we find the energy-time uncertainty rela-tionbEbT)
A/2. For aconservative system the average ofthe tempus operator1
isthe time tplus a constant. For afree particle and a particle acted on by aconstant force, the tempus operators are con-structed explicitly, and the energy-time uncertainty relation is explicitly verified.PACSnumber(s): 03.65.Bz,03.20.
+
iI.
INiaODUCTIONEver since the discovery
of
quantum mechanics, the energy-time uncertainty relationbEbt
)
A'/2 has had a difFerent basis than the position-momentum uncertainty relation bq bp)
fi/2.
In nonrelativistic quantum mechanics time tis a parameter, not an operator as is the coordinate q. Therefore the usual quantum-mechanical average and uncertainty in the time cannot be calculated as in the caseof
the coordinate.For
this reason, it has been suggested that the energy-time uncertainty relationsimply be eliminated from quantum mechanics
[1].
This radical suggestion overlooks the many different ap-proachesto
the physically useful energy-time uncertainty relation.We brie6y mention some
of
the derivationsof
the energy-time uncertainty relation, even though some are only heuristic [2,3].
(i)The energy-time uncertainty rela-tion can be obtained by showing that a wave packetof
width b,
t
in time requires a spread in angular frequencies bto such that b,cobt—
1.
Together with the Planck rela-tion E=A'to, we obtain b,Eb,
t-fi
[4].
(ii) The energy-time uncertainty relation is derived by reducing itto
the position-momentum uncertainty relation[3,
5].
If
bE=(M/Bp)bp=ubp
andbt=bq/u,
where u is thegroup velocity, then
EEL,
t=bpb,
q)
A/2. (iii}Mandel-stam and Tamm [6]showed that the energy-time uncer-tainty relation can be derived from the Heisenberg equa-tion
of
motion for an arbitrary operator A and the gen-eralized uncertainty relation for A and the Hamiltonian[3,
7].
If
we define bt to be the smallestb,
t„=—
b, A/(d
(
A)
/dt) for all operators A, andPermanent address: Instituto de Ffsica Teorica, UNESP, 01405-000SKoPaulo, SitoPaulo, Brazil.
b
E
=
b,H, we also recover the energy-time uncertainty re-lation[8,
9].
(iv) Wigner[10]
has considered the expecta-tion valueof
t"
in the statef=
P(q,t)
to beq,
t
(t")=
(1)f
dtiP(q,
t)i'
Therefore he defines the square
of
the uncertainty(bt)2=(t
)
—
(t
)
at constant q and defines(bE)2
simi-larly. He shows that
bEbt)R/2
holds at constant q. Cook[11]
uses this formof
the uncertainty relation to an-alyze the thought experiment that Einstein[12]
proposed toBohr atthe 1930Solvay Conference. (v)Many authors[13—
29] have tried to finda
time operator t, which satisfies the canonical commutation relation[t,
P]=i%
Then the energy-time uncertainty relation can be derived by the same procedure as forthe position-momentum un-certainty relation[7].
These attempts have to contend with Pauli's argument[30]
thata
time operator cannot exist in general because the spectrumof
the time operator is continuous and unbounded, while the spectrumof
the Hamiltonian may be discrete and is bounded from below. The role between the time t as a parameter and the time operator t is often not clear in these attempts. A clear distinction is however made by Razavy[17,18].
(vi) In scattering theory it isthe timeof
arrival which is impor-tant and attempts have been madeto
find an operator which describes this quantity [31—36].
(vii) In the con-textof
the density matrixp,
Eberly and Singh[37]
have shown that Bp/Bt plays the roleof
an "inverse time operator" from which the energy-time uncertainty rela-tion can bederived[38].
(viii}The roleof
the uncertainty relations in relativistic quantum theory has been dis-cussed by a numberof
authors [39—
43].
(ix) The inter-pretationof
the energy-time uncertainty relation isa
partof
quantum measurement theory [44—51]
and is distinctfrom its derivation. The energy-time uncertainty relation fordecaying states has been improved by Gislason, Sabel-li, and Wood
[52].
In this paper we give a derivation
of
the energy-time uncertainty relation, which is based on first principles and does not resortto
any heuristic or ad hoc arguments. Our derivation is firmly based on nonrelativistic classical mechanics and its quantization, and puts the energy-time uncertainty relation on the same footing as the position-momentum uncertainty relation. In classical mechanicswe make a canonical transformation [53]from the old canonical variables (q,
p)
to new canonical variables(q',
p'),
where the new canonical momentump'
isthe en-ergyE
of
the particle and the new canonical coordinate q' isa quantityT
conjugate to the energy, which we calltempus [54—
56].
This tempusT
has dimensionof
time, but isconceptually different from the time tin which the system evolves. SinceT
andE
are canonically conjugate variables and the Poisson bracket is a canonical invariant[53],
their Poisson bracket is unity. Upon quantization, the tempus operatorf'
and the energy operatorP
satisfy the canonical commutation relation. Therefore, theener-gy and the tempus operators satisfy the usual energy-time
uncertainty relation
KENT
~
A'/2 as long as theexpecta-tion values
of f'
andf'
exist.For
a conservative system the expectation valueof
the tempus operator is equal to the timet
plus an irrelevant constant. The distinction be-tween the tempus operatorf'
conjugate to the energy operator and the time tof
evolution isthus made clear.This approach is applied to two examples: (i) a free particle and (ii) a particle acted on by a constant force.
In both cases the tempus operator
1
isconstructed explic-itly by quantizing the corresponding classical tempusT
conjugate to the energy. In the subspace
of
the Hilbert space in which it exists, the average value(
f')
=t
plus a constant. The energy-time uncertainty relation is explic-itly shownto
be satisfied.In
Sec.
II,
acanonical transformation is made in classi-cal mechanics to energy and its canonical conjugatetempus. Using Poisson brackets, we quantize the system
in
Sec.
III
and derive the energy-time uncertainty rela-tion. InSec.
IV,examplesof
a free particle and aparticle acted on by a constant force are considered and it is shown that the energy-time uncertainty relation is explic-itly satisfied. Finally, the conclusion isgiven inSec. V.
aH'
q'=,
,p'=
Bp
a—
H'
(3)
as(q,
E,
t)p=
aq
and the new canonical coordinate tempus is
aS(q,
E,
t)(4)
(5)
Byintegrating
Eq.
(4),we obtainS(q,
E,
t)=
f
p(q, E, t)dq+S(qo, E,
t),
(6)qo
where qo is an arbitrary initial displacement. The arbi-trary function
S(qo,
E,
t)of
E
and tinEq.
(6) can often be chosen to be zero without lossof
generality.To
obtain the generating function inEq.
(6), it is necessary to findthe canonical momentum
p
as functionof
q,E,
andt.
The new generalized coordinate tempus
T
can be ob-tained as a functionof
q,E,
and t fromEq.
(5). When this equation is solved for q as a functionof
T,E,
and t,we have the solution to the problem
if
we knowT
andE
as functionsof
timet.
The new Hamiltonian
H'
inEq.
(3)forthe new canoni-calvariables(q',
p')
=(
T,E)
isH
=H+(as/at)„.
(7)The energy
E
may not be equalto
the Harniltonian8,
so their difference isdefined asWhen Eqs. (7) and (8) are used in Hamilton's equations (3)for the new canonical variables (T,
E),
we obtain [55] where the new Hamiltonian isH'=H+aS/at
If
the new canonical momentump'
is chosento
be the energyE,
the new canonical coordinate q' conjugate toit is called tempus and denoted asT.
This tempus canonical coordinate conjugate to the energy is conceptually different from the time tin which the system evolves and is a functionof
q,E,
and t [55] with the dimensionof
time.
The generating function
of
the second typeS(q, E,
t),
which implements this canonical transformation, satisfies [5,
56],
II.
ENERGYAND TEMPUS ASCANONICAL VARIABLEST= 1+
(9)In the Hamiltonian formulation
of
classical mechanics, the canonical coordinate q and the canonical momentum pconjugate to itsatisfy Hamilton's equationsand
aa
p=
.-aH
Bp Bq (2)
E,r
(10) where
H=H(q,
p, t) is the Hamiltonian for a systemof
one degree
of
freedom and the overdot denotes the total time derivative. Using a generating functionS,
we can make acanonical transformationto
anew setof
canoni-cal variables(q',
p'),
which also satisfy Hamilton's equa-tions [54]Bqs. (9) and (10) it is necessary
to
express50 DERIVATION OF THE ENERGY-TIME UNCERTAINTY RELATION 935
III.
QUANTIZATIONIn order
to
quantize asystem, it is necessaryto
replace the Poisson bracketof
two functionsof
the canonical variables by(i')
' times the commutatorof
the corre-sponding operators. The Poisson bracket betweenA
=
A(q,p, t)andB
=B
(q,p, t)isdefined asaA
aB
aB
aABq Bp Bq Bp
The Poisson bracket isacanonical invariant
[53],
so[A,
B] =[A,B]
~(12)
(13) where the new canonical variables
(q',
p')
are related to the old canonical variables (q,p)
by a canonical transfor-mation.If
A=q
andB =p,
we have1=
[q~],
,
,
=
Iq'p'],
,,
=
Iq'p'],
,,
=
[T'E],
,,
(14)from Eqs. (12)and
(13).
When the system is quantized, the operators gand
P
(f'
and X') corresponding to q andp
(T
andE)
satisfy the commutation relationsand
[q,
P]
=i%
[f',
P]=i
(15)
(16) from
Eq.
(14).In eneral, the uncertainty relation forthe operators A
and in the state
f
is [57—
61]:
»~B
~-,
'1&C&l,
(17)where iC
=
[A,
S
] and &C'&—:
&g~Cf
&. The squareof
the uncertainty in A is defined as
(&
A)'=
&gl(A—
&A &)'g
&.
(18)For
the energy and tempus operators inEq.
(16)we have the uncertainty relationFor
a conservative system, there is no explicit time dependence inS,
sodS/dt
=0.
In this case, the Hamil-tonianH
can be chosen to be the energyE,
so4=H
E—
=O.
Therefore, Eqs. (9) and (10}reduce toT=
1,
E=O .
The solution
to
Eq.(11}
isT=
t toa—
ndE
=ED,
where roand
Eo
are constants. In this case, tempus is equal to the time t minus a constant. The solution to the original problem istherefore q=
q(E,
T)=
q(Eo,
t to—
}p(q,r)
=
U(r)g(q,O),
(21)where
f(q,
O) isthe wave function at time zero. The time evolution operator isU(t)
=exp[
i8t/A—],
(22)where
8
isthe time-independent Hamiltonian operator. From the commutation relation inEq.
(16)andk
=8
we can show that the expectation value
of
the tempusoperator
0'is
&
y(r)lfy(r)
&=r+
&1((0)lf'y(0) &,
(23}where &
P(0)
~f'g(0)
& is a constant depending on theini-tial wave function. Therefore, Eq. (23) shows that the ex-pectation value
of
the tempus operator is directly relatedto
the time tof
evolutionof
the system. IV. EXAMPLESIn this section, we explicitly construct the tempus
operators for (i)a free particle and (ii)a particle acted on by a constant force and show that the energy-time uncer-tainty relation is satisfied.
A. Freeparticle
The tempus operator
f'for
afree particle isconstructed from the corresponding classical expression and the energy-time uncertainty relation is obtained.For
afree particleof
mass m, the energyE
in termsof
the canonical momentump
isE=p
/2m.
(24)Equation (24) canbe solved for the canonical momentum
p
=(2mE)'
sgn(po), where the signof
the initial momen-tum po issgn(po). The generating function inEq.
(6)isS(q, E,
t)=(2mE)'~
(q—
qo)sgn(po),
(25} where we take the arbitrary functionS(qo,
E,
t}=0
The.
new canonical coordinate tempus is obtained from
Eq.
(5) and ismeaning for states
f
that are in the domainof
1'andf'
For
a conservative system the averageof
the tempusoperator
f'is
the time tplus an irrelevant constant. The Schrodinger equation isP(q,
P
)P(q, t)=i
Ad/(q,t)/dt,
(20) for a system with a time-independent Hamiltonian8=H(q,
P).
The time-dependent wave functionf(q,
t)can be written as
EEET~fi/2,
(19)T=(m/2E)'
(q—
qo)sgn(po).
where the state
P
must be in the domainof
2,
P,
f',and The choiceof
the new canonical momentump'=E
and the new canonical coordinateq'=
T
puts the energy-time uncertainty relation inEq.
(19) on the same solid basis as the momentum-position uncertainty relation hphq&'A/2[57].
In contrastto
t, the new canonicaltempus operator
f'
is conjugate to the energy operatork
The uncertainty in the tempus operator has awell definedIn this way we have derived the canonical coordinate
tempus conjugate
to
the energy, which is conceptually distinct from the time tin which the system evolves.The solution
to
the classical problem is obtained by solvingEq.
(26)for q and using the solutionsof
Eq. (11).
We therefore obtain
where the initial velocity vo
=pa/m
=
(2EO/m)'~~sgn(po )and
T=t
—
to.In order to construct a self-adjoint tempus operator, Eq.(26) can be expressed in terms
of p
by substituting the energy inEq.
(24} intoit.
Then we obtain the canonicaltempus coordinate forqo
=0
to
beT=mq/p
.(bE)'=
&Pl(E
—«&
)'P&=(E')
—
&E)'
=(n
+
1/2)(4mao)
From Eqs.(34) and (35) the product
of
b,E
and b,T
isbEAT
=[1+2/(n
—
3/2)]'
A'/2~ 8/2
for n2,
(35)Equation (28) may be quantized to obtain the tempus
operator
f'
by replacing q and p by their corresponding operators q andP
and writing the operator in asym-metric way [14—16,19,
25]:
,
'm("qp-'+P
'q).
(29)The domain
of
f'
is not the whole Hilbert space be-causeof
the presenceof
the operatorP
'.
Nevertheless, for the states in its domain, the operatorf'
has usefulproperties. The argument
of
Pauli [30]applies only to Hermitian operators defined on the whole Hilbert space. From the commutation relation inEq.
(15) for and P,we can derive for
f'in
Eq.
(29) and the operator corre-sponding toEq.
(24) the commutation relation in Eq. (16).The uncertainty relation in
Eq.
(19) for energy and time can be obtainedif
we choose a wave function whichis in the domain
of
f
2,
f', andf'
Since.
the tempusoperator in
Eq.
(29)involvesP ',
it is more convenient to work in momentum space where the realizationof
the commutation relation inEq.
(15)isP
=p
and g=
iA'8/Bp.We choose a wave function in momentum space at time
t=0
tobe
(T
—(T
&)y=y(E
—
(&)
)y,
where y isa constant, and
(ii)
(37)
([(&
—
&T
&)(&—
&&&)+(&
—
(&
&)(&—
&~)
)]
&=2Re((~ —
(f'))y~(X'
—
(P))y)
=0,
(38)which are the two conditions for the equality to hold in the uncertainty relation
[57].
B.
Particle acted onby a constant forceFor
a particle acted on by a constant forceI'0,
the HamiltonianH
is(36)
so the uncertainty relation isestablished.
.
A.s
n~~,
Eq.
(36) shows thatbEb,
T=fi/2,
i.
e.,equality holds in the uncertainty relation Eq. (36). The reason equality holds is that in the limit as n
~
~,
there is no distinction betweenn+4,
n+3,
. . .,n—
2. Thenwe have the following:
(i)as n~
~
P(p,
0)
=Np "exp(—
aop),
(30)where ao is a real positive constant, n is an arbitrary in-teger
~
2,and Nisthe normalization constant. Since the Schrodinger equation inmomentum space isH=p
/2mFoq=E,
—
(39)which is also the energy
E.
Equation (39) can be solved for the canonical momentum p,8(
q, p,t)P(p, t)=i
Ad/(p, t)/Bt,
(31) p=(2m)'
(E+Foq)'
(40)the solution at time
t%0
with the Hamiltonian8
equaltothe energy
E
inEq.
(24)isWhen
Eq.
(40)is substituted intoEq.
(6) for thegenerat-ing function
S,
and the integral is performed, we obtainP(p,t)=Np "exp(
—
ap),
(32)S(q,
E, t)=(2/3Fo)(2m)'
[(E+Foq)
~(E+Foqo)
~—
] where
a=ao+it/2m'
is a complex functionof
time.With the wave function in Eq. (32), the average
of
thetempus operator
f'in
Eq.
(29)is(33) the time t in which the system evolves, as expected from
Eq.
(23).The square
of
the uncertainty in the tempus operatorf'
at time t is+S(qo, E,
t) . (41)T(q,
E,
t)=F
'(2m)'
[(E+F
q)'—
(E+Foqo
)'i2],
(42)where T(qo,
E,
t)=0.
Since the HamiltonianH
inEq.
(39)is conservative, Hamilton's equations (11)have the solution
T
=
t—
to andE
=ED,
where to andEo
are con-stants.If
Eq.
(42}issolved for q, we obtainThe canonical coordinate tempus
T
conjugate to the energy isobtained fromEq.
(5), which gives=
&&')
—
&&)'
q(t) =qo+vo(t
—
to)+(1/2)a(t
to)—
(43)=(2aomA') /(n
—
—,')
.
The square
of
the uncertainty in the energy operatorE
at time tis50 DERIVATION OF THE ENERGY-TIME UNCERTAINTY RELATION 937
f'=P /Fo,
(44)where p is the canonical momentum operator. Because the potential energy in
Eq.
(39) is not bounded from below, Pauli's argument[30]
for the nonexistenceof
a Hermitian time operator does not apply tothis example.By a direct calculation we can show that the tempus
operator
f'
inEq.
(44) and the energy operator X'corre-sponding to
Eq.
(39)satisfy the canonical commutation relation inEq. (16).
Therefore, from Eq. (17)the energy-time uncertainty relation inEq.
(19)isalso satisfied.V. CONCLUSION
Inthis paper aderivation
of
the energy-time uncertain-ty relation is given based on first principles.It
is not necessary tomake useof
any ad hoc or heuristic assump-tions. A classical canonical transformation ismade from the old canonical variables (q,p)
to new canonical vari-ables(q',
p'),
where the new canonical momentump'
ischosen
to
be the energyF
and the new canonical coordi-In order to obtain a Hermitian tempus operatorI',
itis necessaryto
express tempus inEq.
(42) in termsof
q andp.
WhenEq.
(39) for the energy is substituted intoEq.
(42) for the canonical coordinate tempus we obtain
T=p/Fo
forpo=O.
When this expression is quantized,we obtain [23]
nate q' conjugate
to
the energy is called tempusT.
Thistempus canonical coordinate has the dimension
of
time, but is conceptually different from the time tin which the system evolves. In general, tempusT
is afunctionof
q,E,
andt.
TheenergyE
and tempusT
have the same Pois-son bracket as do pand q, since the Poisson bracket is a canonical invariant. When the system is quantized, the operators2
andf'
satisfy the same comtnutation rela-tions as do the operatorsP
and q. Therefore,P
andf'
satisfy the same uncertainty relation as doP
andg.
The energy-time uncertainty relation is therefore put on the same basis as the momentum-position uncertainty rela-tion. The approach used here to derive the energy-time uncertainty relation has a firm basis in classical mechan-ics, which makes a clear distinction between the timeof
evolution tand the canonical coordinate tempus
T
conju-gateto
the energy.For
a conservative classical system,tempus
T
is equal to the time t plus a constant.For
a conservative quantum system, the averageof
the tempusoperator
f'is
equal tothe time tplus aconstant. ACKNOWLEDGMENTSWe would like tothank
Dr.
HenryA.
Warchall,Jr.
for discussions concerning some mathematical aspectsof
the paper.V.
C.
A.
-N. acknowledges financial support fromFAPESP,
Brazil.[1]M.Bunge, Can.
J.
Phys. 48,1410(1970).[2] V.V.Dodonov and V.
I.
Man'ko, in Invariants and the Evolutionof
Nonstationary Quantum Systems, edited byM.A.Markov (Nova Science, Commack, NY, 1989),pp.
3-101.
[3] H. C. Ohanian, Principles
of
Quantum Mechanics (Prentice-Hall, Englewood Cliffs, NJ, 1990),pp.133-138.
[4]D.
B.
Beard and G.B.
Beard, Quantum Mechanics withApplications (Allyn and Bacon,Boston, 1970),pp. 19—21. [5]C. Cohen-Tannoudji,
B.
Diu, andF.
Laloe, QuantumMechanics (Wiley, New York, 1977), Vol. 1,p. 252. [6]L.Mandelstam and Ig.Tamm,
J.
Phys. {Moscow) 9, 249(1945).
[7]A. Messiah, Quantum Mechanics (North-Holland, Am-sterdam, 1961),Vol.I,pp. 129-139and pp.319and 320. [8] M.Grabowski, Lett. Math. Phys. 8,455(1984). [9]
K.
Bhattacharyya,J.
Phys. A 16,2993(1983).[10]
E. P.
Wigner, inAspects ofQuantum Theory, edited by A. Salam andE.
P.Wigner (Cambridge, London, 1972), pp.237-247.
[11]L.
F.
Cook, Am.J.
Phys. 48, 142(1980).[12] N. Bohr, in Albert Einstein: Philosopher Scientist, edi-ted
by P. A. Schilpp (Open Court, LaSalle, IL, 1970),pp.
201-241.
[13]
F.
Engelmann andE
Fick,Nuov.o Cimento Suppl. 12,63(1959).
[14] H.Paul, Ann. Phys. (Leipzig) 9,252(1962). [15]
E.
FickandF.
Engelmann, Z.Phys. 175,271(1963). [16]F.
Engelmann andE.
Fick, Z.Phys. 178,551(1964}. [17]M.Razavy, Am.J.
Phys. 35, 955 (1967).[18]M.Razavy, Nuovo Cimento B63,271(1969). [19]
D.
M.Rosenbaum,J.
Math. Phys. 10, 1127 (1969).[20] M. Bauer and P. A. Mello, Ann. Phys. (N.
Y.
) 111,38(1978).
[21] M. Bauer, Ann. Phys. (N.
Y.
)150,1(1983).[22]
I.
Fujiwara, Prog. Theor.Phys. 44, 1701(1970). [23]I.
Fujiwara, Prog. Theor.Phys. 64, 18(1980).[24]
I.
Fujiwara,K.
Wakita, and H. Yoro, Prog. Theor. Phys. 64,363(1980).[25]
T.
Goto,K.
Yamaguchi, and N.Sudo, Frog. Theor. Phys.66,1525(1981).
[26]
T.
Goto, S.Naka, andK.
Yamaguchi, Prog. Theor. Phys.66, 1915 (1981).
[27]
E.
Recami, in The Uncertainty Principle and FoundationsofQuantum Mechanics, edited by W. C. Price and S. S.
Chissick (Wiley, New York, 1977),pp.
21-28.
[28]V.S.Olkhovsky,
E.
Recami, and A.J.
Gerasimchuk, Nuo-voCimento A 22, 263(1974).[29]
E.
Papp, Int.J.
Theor. Phys. 10,385(1974).[30] W.Pauli, Diea/lgemeinen Prinzipien der Wellenmechanik, edited by S.Fliigge, Encyclopedia ofPhysics (Springer-Verlag, Berlin, 1958),Vol. V, pt. 1, pp.
1-168.
See espe-cially footnote 1onp. 60.[31]
F.
T.Smith, Phys. Rev.118,349(1960). [32]B.
A.Lippmann, Phys. Rev.151,1023(1966). [33]G.R.
Allcock, Ann. Phys. (N.Y.)53,253(1969). [34]G.
R.
Allcock, Ann. Phys. {N.Y.
)53,286(1969). [35]G. R.Allcock, Ann. Phys. (N.Y.}53, 311 (1969). [36] M.Razavy, Can.J.
Phys. 49,3075(1971).[37]
J.
H. Eberly and L.P. S. Singh, Phys. Rev. D 7, 359 (1973).[38]C.H.Blanchard, Am.
J.
Phys. 50,642{1982). [39]E.
Prugovecki, Found. Phys. 12,555(1982).(1985).
[41]Y. S.Kim and M.
E.
Noz, Found. Phys. 9,375(1979).[42]D.Han, M.
E.
Noz,Y.
S.Kim, and D.Son, Phys. Rev. D 27, 3032 (1983).[43)P.
E.
Hussar, Y. S.Kim, and M.E.Noz, Am.J.
Phys. 53,142(1985).
[44]V.Fockand N.Krylov,
J.
Phys. (Moscow) 11,112 (1947). [45]Y.Aharonov and D.Bohm, Phys. Rev. 122,1649(1961).[46)V. A. Pock, Zh. Eksp. Teor. Fiz. 42, 1135(1962) [Sov. Phys. JETP15,784(1962)].
[47]Y.Aharonov and D.Bohm, Phys. Rev.
B
134, 1417 (1964).[48]
Y.
Aharonov andJ.
L.Sajko, Ann. Phys. (N.Y.)91,279 (1975).[49)Yu.
I.
Vorontsov, Usp. Fiz. Nauk. 133,351 (1981)[Sov. Phys. Usp. 24, 150(1981)].[50]M.Moshinsky, Am.
J.
Phys. 44, 1037(1976).[51]
J.
Rayski andJ.
M.Rayski,Jr.
, in The Uncertainty Rela tion and Foundationsof
Quantum Mechanics, edited byW. C. Price and S. S.Chissick (Wiley, New York, 1977},pp.13-20.
[52]E.A.Gislason, N. H.Sabelli, and
J.
W.Wood, Phys. Rev.A312078(1985)
[53]H. goldstein, Classical Mechanics, 2nd ed. (Addison-%esley, Reading, MA, 1980), pp. 378-401.
[54]D.H. Kobe,Am.
J.
Phys. 56, 252(1988).[55]D.H. Kobe,Am.
J.
Phys. 61,1031(1993)[56]D.H. Kobe, Eur.
J.
Phys. 14, 262(1993).[57]E.Merzbacher, Quantum Mechanics, 2nd ed (W. iley, New
York, 1970), pp. 158—
16].
[58) A S Davydov, Quantum Mechanics, 2nd ed. (Pergamon, New York, 1976), pp. 36and 37.
[59] H.P.Robertson, Phys. Rev. 34,163(1929);35,667(1930)
[60) See, e.g.,
J.
von Neumann, Mathematical Foundationsof
Quantum Mechanics (Princeton University Press, Prince-ton, NJ, 1955), pp. 230—247. He gives arigorous deriva-tion of the position-momentum uncertainty relation in Hilbert space. Footnote 131 gives some historical re-marks.[61]P.-O. Lowdin, in Advances in Quantum Chemistry, edited by P.-O.Lowdin (Academic, New York, 1987), Vol.3,pp.