From Classical Mechanics to Quantum Field Theory

(Romina) #1

176 From Classical Mechanics to Quantum Field Theory. A Tutorial


dense invariant domainS(R^3 )


Lk=

∑^3

i,j=1

(^) kijXiPj|S(R^3 )
where (^) ijkis completely antisymmetric inijkand 123 = 1. By direct inspection,
one sees that
[−iLk,−iLh]=


∑^3

r=1

(^) khr(−iLr)
so that the finite real span of the operatorsiLkis a representation of the Lie
algebra of the simply connected real Lie groupSU(2) (the universal covering of
SO(3)). Define the Nelson operatorL^2 :=−


∑ 3

k=1L^2 konS(R^3 ). Obviously this
is a symmetric operator. A well-known computation proves that


L^2 ψn(r)Yml=l(l+1)ψn(r)Yml.

We conclude thatL^2 admits a Hilbertian basis of eigenvectors. Corollary 2.2.38
implies thatL^2 is essentially selfadjoint. Therefore we can apply Theorem 2.3.75
concluding that there exists a strongly continuous unitary representationSU(2)
M→UMofSU(2) (actually it can be proven to be also ofSO(3)). The three
selfadjoint operatorsLk:=Lkare the generators of the one-parameter of rota-
tions around the corresponding three orthogonal Cartesian axesxk,k=1, 2 ,3.
The one-parameter subgroup of rotations around the generic unit vectorn, with


componentsnk, admits the selfadjoint generatorLn=


∑ 3

k=1nkLk.Theobserv-
ableLnhas the physical meaning of then-component of the angular momentum
of the particle described inL^2 (R^3 ,d^3 x). It turns out that, forψ∈L^2 (R^3 ,d^3 x),


(UMψ)(x)=ψ(π(M)−^1 x),M∈SU(2),x∈R^3 (2.112)

whereπ:SU(2)→SO(3) is the standard covering map. (2.112) is the action of the
rotation group on pure states in terms of quantum symmetries. This representation
is, in fact, a subrepresentation of the unitary representation ofIO(3) already found
in (1) of example 2.3.50.


(2)Given a quantum system, a quite general situation is the one where the quan-
tum symmetries of the systems are described by a strongly continuous representa-
tionV:Gg→Vgon the Hilbert spaceHof the system, and the time evolution
is the representation of a one-parameter Lie subgroup with generatorH∈g.So
that


Vexp(tH)=e−itH=:Ut.
Free download pdf