PHD Lecture26 27
PHD Lecture26 27
David Vegh
13 March 2019
1 Hamiltonian mechanics
Hamilton’s equations:
~r˙ =
∂H p
~
∂~
p = m
p~˙ = − ∂H = − ∂V
∂~
r ∂~
r
p2r p2φ
H= + + V (r)
2m 2mr2
1
and for φ:
pφ
∂H
φ̇ =
∂pφ = mr 2
ṗ = − ∂H = 0
⇒ pφ = mr2 φ̇ = const.
φ ∂φ
∂X ∂Y ∂X ∂Y
{X, Y } ≡ −
∂qi ∂pi ∂pi ∂qi
then
∂A
Ȧ = {A, H} +
∂t
2
1.4 Aside: Poisson brackets and quantum mechanics
There is a special {, }, namely:
∂x ∂p ∂x ∂p
{x, p} = − =1
∂x ∂p ∂p ∂x
The canonical commutation relation of quantum mechanics is
(In the basis where the operator x̂ means multiplying the wavefunction by x, while p̂ is nothing but the
∂
derivative: p̂ = −i~ ∂x .)
The similarity between the Poisson bracket and the commutator suggests that we can go from classical
mechanics to quantum mechanics by replacing
1
{X, Y } → [X̂, Ŷ ]
i~
where the hatted quantities are operators.
Using this “dictionary” (whenever it works), the time evolution of a quantum mechanical operator Â
should be
˙ 1 ∂ Â
 = [X̂, Ĥ] +
i~ ∂t
This is the so-called Heisenberg equation in quantum mechanics.
(ii)
{A, A} = 0
(iii)
{A, c} = 0
if c =const.
(iv)
{A + B, C} = {A, C} + {B, C}
(v)
{A, BC} = B{A, C} + {A, B}C
3
1.6 A consequence of the Jacobi identity
If I˙1 = I˙2 = 0, i.e. they are both conserved, then {I1 , I2 } is also conserved (Poisson’s theorem). This way
we can generate a new conserved quantity (unless it is just a combination of the old I1 and I2 ).
Proof:
d ∂
{I1 , I2 } = {{I1 , I2 }, H} + {I1 , I2 }
dt ∂t
using the Jacobi identity we get
∂I1 ∂I2
= −{{I2 , H}, I1 } − {{H, I1 }, I2 } + {
, I2 } + {I1 , }
∂t ∂t
∂I2 ∂I1
= −{I2 , H} − , I1 + −{H, I1 } + , I2 = 0
∂t ∂t
Q.E.D.
1 ˙2
L= m~r − V (~r, ~r˙ )
2
with
~ = −∂t A
E ~ − ∇φ
~
~ =∇
B ~ ×A
~
(This is our first encounter with a velocity-dependent potential. In this case, force is not given by − ∂V
∂q ; see
Goldstein §1.5)
We prove the above by showing that the Euler-Lagrange equation derived from the above Lagrangian is
the familiar
4
Proof:
1 ˙2
L= m~r − eφ + e~r˙ · A
~
2
∂L
pi = = mẋi + eAi
∂ ẋi
∂L
= −e∇i φ + eẋj ∇i Aj
∂xi
d
ṗi = mẍi + e Ai (~r, t) = mẍi + e(∂t Ai + ẋj ∇j Ai )
dt
∂L
So the Euler-Lagrange equations (ṗi = ∂xi ) give
But
(~r˙ × B)
~ i = (~r˙ × (∇
~ × A))
~ i = ijk ẋj (∇
~ × A)
~ k = ijk ẋj klm ∇l Am
Using the identity: kij klm = δil δjm − δim δjl we get
Therefore,
mẍi = eEi + e(~r˙ × B)
~ i
Q.E.D.
can be written as
Z Z
Sint = − d x(ρφ − J~ · A)
4 ~ = d4 x J µ Aµ
where
~
Aµ = (−φ, A)
~
J µ = (ρ, J)
These are four-vectors of relativity. ρ is the charge density and J~ is the current density.
5
In the above point-particle case:
It is a gauge transformation.
~ = Lint + e d Λ(~r(t), t)
Lint → L0int = Lint + e∂t Λ + e~r˙ · ∇Λ
dt
The second term is a total derivative and thus it will not affect the Euler-Lagrange equations. Hence, the
transformation is a symmetry of the theory1 and this is called gauge invariance.
• One can understand this also by noting that the physical fields E, ~ B~ do not change under gauge
transformations:
~ = −∂t A
E ~ − ∇φ
~ → ~ + ∇Λ)
−∂t (A ~ −∇~ (φ − ∂t Λ) = E
~
| {z } | {z }
~0
A φ0
and
~ =∇
B ~ ×A
~ → ~ × (A
∇ ~ + ∇Λ)
~ ~ ×A
=∇ ~+∇
~ × ∇Λ
~ =B
~
| {z }
0
1 It really is not a physical symmetry, but a redundancy in the description of the physical degrees of freedom.
6
~ that give the same E,
• There are infinitely many different ways to choose (φ, A) ~ B.
~ This arbitrariness
~
can be removed by “fixing the gauge”, i.e. by imposing some conditions to be satisfied by φ and A.
For instance the Coulomb (or radiation) gauge is:
~ ·A
∇ ~=0
~ ·A
0=∇ ~0 = ∇
~ · (A
~ + ∇Λ)
~ = ∇2 Λ = 0
If we require that Λ → 0 as |~r| → ∞, the only solution is Λ = 0. Thus, the Coulomb gauge choice completely
fixes the gauge.
1 ~ 2 + eφ
H= p − eA)
(~
2m
7
1.11 A peek at quantum mechanics
What is the Schroedinger equation for a particle of mass m and charge e in an electromagnetic field?
1 ~ 2 + eφ
Hclassical = p − eA)
(~
2m
~ So
In quantum mechanics, p~ → −i~∇.
~ 2 → (−i~∇
p − eA)
(~ ~ − eA)
~ 2 = −~2 ∇
~ 2 + e2 A
~ 2 + i~e(A
~ ·∇
~ +∇
~ · A)
~ = −~2 ∇
~ 2 + e2 A
~ 2 + 2i~eA
~ ·∇
~ + i~e(∇
~ · A)
~
~ ·A
If we go to Coulomb gauge, then ∇ ~ = 0. So in this gauge the Schroedinger equation is
~2 ~ 2 e2 ~ 2 i~ ~ ~
− ∇ + A + A · ∇ + eφ Ψ = EΨ
2m 2m m