Questions for PHZ 6607, Special and General Relativity I

advertisement
Questions for PHZ 6607, Special and General Relativity I
1) Consider an arbitrary point (t, x, y, z) and a nearby point (t + ∆t, x + ∆x, y, z).
a) Write down an expression for the invariant separation between the two points (to second
order): indicate how to tell when the separation is spacelike and when it is timelike;
We find:
∆l2 = −c2 ∆t2 + ∆x2
(
>0
=0
<0
spacelike,
lightlike,
timelike.
Now consider a description of the two points with respect to a frame moving in the xdirection with speed v.
b) Find expressions for ∆t′ and ∆x′ , the coordinate difference between the two points in
the moving frame, and repeat part a) in terms of these primed quantities; and
We have:
∆t′ = γ(∆t − v∆x/c2 )
∆x′
Thus:
= γ(∆x − v∆t),
where
γ = 1/
q
1 − v 2 /c2 .
∆l′2 = −c2 ∆t′2 + ∆x′2
2v∆x∆t v 2 ∆x2
2
2 2
2
2 2
2
= −c γ ∆t −
∆x
−
2v∆x∆t
+
v
∆t
+
γ
+
c2
c4
v2 2 2
= γ2 1 − 2
−c ∆t + ∆x2
c
= −c2 ∆t2 + ∆x2 = ∆l2 .
c) On the basis of your answers above, comment on an implied property of the Lorentz
transformation.
Lorentz transformations preserve ∆l2 , whether it is spacelike, lightlike or timelike.
2a) Write out in full the non-relativistic equations for the motion of a free particle in
spherical polar coordinates.
We have:
Hence:
1 L = m ṙ 2 + r 2 θ̇ 2 + r 2 sin2 θ φ̇2 .
2
r̈ − r θ̇ 2 − r sin2 θ φ̇2 = 0,
r 2 θ̈ + 2r ṙ θ̇ − r sin θ cos θ φ̇2 = 0,
r 2 sin2 θ φ̈ + 2r sin2 θ ṙ φ̇ + 2r 2 sin θ cos θ θ̇ φ̇
and
= 0.
b) Read off the connection coefficients which underlie the identification of these equations
of motion as the equations for a geodesic parameterized by Newtonian time, and explain exactly
how you do this.
From these we can identify and read off:
1
1
φ
φ
Γrθθ = −r, Γrφφ = −r sin2 θ, Γθrθ = , Γrφ = , Γθφφ = − sin θ cos θ, and Γθφ = cot θ,
r
r
all other being zero, where we have used: ẍi + Γijk ẋj ẋk = 0, and the symmetry: Γijk = Γi(jk) .
c) Find as many independent constants of the motion as you can (and compare with the
situation in quantum mechanics).
It is obvious that Lz = mr 2 sin2 θ φ̇ is conserved. Not so obvious is the fact that Lx and Ly are
also conserved. Even less obvious is the fact that px , py and pz are all conserved too.
3a) Show for a differentiable function ϕ defined over a manifold that the set {∂ϕ/∂xa}
transforms as do the components of a tensor of rank one; what type of tensor has this construction
defined?
We find:
∂xa ∂ϕ
∂ϕ
,
=
∂xa′
∂xa′ ∂xa
which is the transformation law for a covector.
b) Write out the components of this tensor in polar coordinates explicitly in terms of its
components in cartesian coordinates.
We calculate, ∇ϕ = ϕ,r , ϕ,θ , ϕ,φ , where:
ϕ,r = x,r ϕ,x + y,r ϕ,y + z,r ϕ,z
= sin θ cos φ ϕ,x + sin θ sin φ ϕ,y + cos θ ϕ,z
ϕ,θ = x,θ ϕ,x + y,θ ϕ,y + z,θ ϕ,z
= r cos θ cos φ ϕ,x + r cos θ sin φ ϕ,y − r sin θ ϕ,z
ϕ,φ = x,φ ϕ,x + y,φ ϕ,y + z,φ ϕ,z
= −r sin θ sin φ ϕ,x + sin θ cos φ ϕ,y
c) Compare this with the expression you have previously used for the gradient of a function
in spherical polar coordinates, and comment on any differences you see.
The usual result quoted in Electromagnetic contexts (e.g., in Griffiths, Jackson, etc.) would be:
1
1
,
∇ϕ = ϕ,r , ϕ,θ ,
ϕ
r
r sin θ ,φ
for which the magnitude squared would be calculated using an orthonormal metric, not the metric
in spherical polar coordinates.
4) Maxwell’s equations for electromagnetism may be written in a geometrically covariant
form as:
∇i B i = 0, ∇i E i = 4πρ, εijk ∇j Ek = −Ḃ i , εijk ∇j Bk = Ė i + 4πJ i ,
2
where ∇i is a derivative operator (generally not ∂/∂xi ), and E i is not to be confused with Ei .
j
In accord with these equations, the electromagnetic stress tensor Ti may be defined according to
the formula:
1 j
j
4πTi = −Ei E j − Bi B j + δi (Ek E k + Bk B k ).
2
a) Try to show that, in a vacuum, it follows as a consequence of Maxwell’s equations that
j
Ṗi + ∇j Ti = 0,
where Pi is the electromagnetic energy flux vector defined by
4πPi = εijk E jB k .
Indicate as precisely as you can what extra information you would need to complete the proof.
Substituting, we have:
j
j
j
j
= − ∇ j E i E − E i ∇ j E − ∇ j B i B − B i ∇j B +
i
1h
k
k
k
k
,
(∇i Ek ) E + Ek ∇i E + (∇i Bk ) B + Bk ∇i B
2
4π Ṗi = εijk Ė jB k + εijk E jḂ k
= εijk εjlm ∇l Bm B k − εijk E j εklm ∇l Em
k
l
m
l
m
l
m
l
m
= δk δi − δi δk (∇l Bm ) B − δi δj − δj δi E j (∇l Em )
= (∇k Bi ) B k − (∇i Bk ) B k − E j ∇i Ej + E j ∇j Ei .
j
4π∇j Ti
and
Adding, we find:
4π
j
Ṗi + ∇j Ti
i
1h
k
k
k
k
= − (∇i Ek ) E − Ek ∇i E + (∇i Bk ) B − Bk ∇i B
.
2
To complete the proof, the first two terms and the last two terms would have to separately cancel.
b) Suppose there exists a symmetric second rank tensor gij which allows you to relate the
covector Ei to the contravariant vector E i via Ei = gij E j . If this is to be enough extra information
to prove the above conservation equations, what can you deduce about ∇k gij ?
Substituting, we compute ∇i Ek = ∇i gkj E j +gkj ∇i E j , and ∇i Bk = ∇i gkj B j +gkj ∇i B j ,
and hence:
j k
1
j
j
k
4π Ṗi + ∇j Ti = − ∇i gkj E E + B B ,
2
where we have used the symmetry of gkj to replace gkj E k byEj , etc. before canceling.
3
Questions for PHZ 6607, Special and General Relativity I
5a) Using the Lagrangian
1
£ = mgµν x˙µ x˙ν ,
2
in cartesian (spatial) coordinates, find expressions for the conserved linear and angular canonical
momenta px , py , pz , Lx , Ly and Lz , in terms of the ‘velocities’.
We have £ = 12 m(ẋ2 + ẏ 2 + ż 2 ), and find:
∂£
= m ẋ,
∂ ẋ
∂£
= m ẏ,
=
∂ ẏ
∂£
=
= m ż, and, by definition,
∂ ż
= ypz − zpy = m(y ż − z ẏ),
px =
py
pz
Lx
Ly = zpx − xpz = m(z ẋ − xż),
Lz = xpy − ypx = m(xẏ − y ẋ).
b) Similarly, starting with the Lagrangian written in spherical polar coordinates, find expressions for the canonical momenta pr , pθ and pφ in terms of the ‘velocities’ which arise for these
coordinates.
We have £ = 21 m(ṙ 2 + r 2 θ̇ 2 + r 2 sin2 θ φ̇2 ), and find:
∂£
= m ṙ,
∂ ṙ
∂£
pθ =
= mr 2 θ̇, and
∂ θ̇
∂£
pφ =
= mr 2 sin2 θ φ̇.
∂ φ̇
pr =
c) Use the coordinate relations:
x = r sin θ cos φ,
y = r sin θ sin φ, and
z = r cos θ,
write down the relations giving the cartesian velocities in terms of the polar velocities.
We calculate:
ẋ = sin θ cos φ ṙ + r cos θ cos φ θ̇ − r sin θ sin φ φ̇,
ẏ = sin θ sin φ ṙ + r cos θ sin φ θ̇ + r sin θ cos φ φ̇,
ż = cos θ ṙ − r sin θ θ̇.
d) Hence, obtain expressions for all the conserved momenta listed in part a) in terms of the
canonical momenta for polar coordinates.
4
For the linear momenta, we find simply:
px = m(sin θ cos φ ṙ + r cos θ cos φ θ̇ − r sin θ sin φ φ̇),
py = m(sin θ sin φ ṙ + r cos θ sin φ θ̇ + r sin θ cos φ φ̇),
pz = m(cos θ ṙ − r sin θ θ̇).
For the angular momenta, we find:
Lx = mr sin θ sin φ(cos θ ṙ − r sin θ θ̇) − mr cos θ(sin θ sin φ ṙ + r cos θ sin φ θ̇ + r sin θ cos φ φ̇)
= −mr 2 (sin φ θ̇ + sin θ cos θ cos φ φ̇),
Ly = mr cos θ(sin θ cos φ ṙ + r cos θ cos φ θ̇ − r sin θ sin φ φ̇) − mr sin θ cos φ(cos θ ṙ − r sin θ θ̇),
= mr 2 (cos φ θ̇ − sin θ cos θ sin φ φ̇),
Lz = mr sin θ cos φ(sin θ sin φ ṙ + r cos θ sin φ θ̇ + r sin θ cos φ φ̇)
− mr sin θ sin φ(sin θ cos φ ṙ + r cos θ cos φ θ̇ − r sin θ sin φ φ̇)
= mr 2 sin2 θ φ̇,
The last of which is exactly equal to pφ as computed in b) above.
e) What type of tensor are the velocities and what type the momenta? (This difference
explains why it is dangerous to go directly from the velocities in one set of coordinates to the
momenta in another. It also explains why p·x is always a scalar.)
The velocities are tensors of rank (1, 0) and the momenta are tensors of rank (0, 1).
6) Consider the four-dimensional spacetime metric which in {t, r, θ, φ} coordinates has diagonal components {−(1 − rs /r), 1/(1 − rs/r), r 2, r 2 sin2 θ}, all other components being zero. Notice
that in the usual sense, the parameter rs has the dimensions of length.
a) Write out expressions for the canonical momenta of a particle whose Lagrangian is given
by:
1
£ = mgµν x˙µ x˙ν , in which ˙ = d/dλ,
2
in which the spacetime geometry is given by this metric.
Calculating (and restoring c2 ), we find:
rs pt = −mc2 1 −
ṫ,
r
m ṙ
,
pr =
1 − rrs
pθ = mr 2 θ̇,
pφ = mr 2 sin2 θ φ̇.
b) Write out Hamilton’s equations of motion for this particle, and indicate which canonical
momenta are conserved.
5
Solving for the velocities and substituting, we obtain:
1 µν
g pµ pν
2m
p2t
1
1
rs 2
1
1 +
p2θ +
=−
p2 .
1−
pr +
r
2
2
s
2
2m
r
2mc 1 − r
2mr
2mr sin2 θ φ
H = pµ ẋµ = L =
Hamilton’s equations give:
∂H
,
∂xµ
∂H
ẋµ = +
.
∂pµ
ṗµ = −
Since the metric is independent of both t and φ, both pt = −E and pφ = Lz are conserved. Thus,
the non-trivial equations become:
p2t
1 2
1
rs
rs 2
pr +
pθ +
ṗr = −
p2φ ,
2 −
2
2
2
3
2
3
r
s
2mr c 1 −
2mr
mr
mr sin θ
r
cos θ
ṗθ =
p2φ .
3
2
mr sin θ
c) By explicit calculation, show that all components of the angular momentum which were
defined in Question 5) are in fact conserved for the particle moving in this non-flat geometry.
Hence, or otherwise, argue whether or not this spacetime is spherically symmetric.
From above we find:
Lx = − sin φpθ − cot θ cos φpφ ,
Ly = − cos φpθ + cot θ sin φpφ ,
Lz = pφ .
Note: L2 = p2θ + p2φ / sin2 θ. Computing, we find:
p2φ
cos φ pθ pφ
L̇x = − cos φ 2 2 − sin φ 2 3 +
+ cot θ sin φ 2 2 = 0,
mr sin θ
mr sin θ sin2 θ mr 2
mr sin θ
2
p2φ
cos θpφ
pφ pθ
sin φ pθ pφ
L̇y = + sin φ 2 2 − cos φ 2 3 −
+ cot θ cos φ 2 2 = 0.
mr sin θ
mr sin θ sin2 θ mr 2
mr sin θ
pφ pθ
cos θp2φ
Spherical symmetry follows from the form of the metric; it also follows from the conservation of
all three angular momenta.
d) Find an expression for dr/dφ, assuming the motion takes place in the equatorial plane.
Obtain the corresponding equation for a particle of mass m moving under Newtonian gravity
around a central body of mass M.
In the equatotial plane, sin θ = 1 and L = Lz . To find an expression for dr/dφ it is simplest to
start from the ”conservation of momentum” pµ pν g µν = −m2 c2 , which gives:
m2 ṙ 2
L2
E2
= −m2 c2 .
+
+
− 2
rs
rs
2
r
c 1− r
1− r
6
We can rearrange this to find ṙ, via:
ṙ 2
E2
L2
rs 2
= 2 2 − 1−
c + 2 2 .
r
m c
m r
Using φ̇ = L/mr 2 (recall sin θ = 1 and Lz = L), expanding and dividing, we finally obtain:
2
rs c2
rs L 2
m2 r 4 E 2
L2
dr
2
−c +
=
− 2 2+ 2 3 .
dφ
r
L2
m2 c2
m r
m r
In the Newtonian case we would have correspondingly:
1
GM m
L2
2
ETOT =
−
mṙ +
,
2
2
r
mr
and
φ̇ =
L
,
mr 2
where ˙ now means d/dt rather than d/dτ . Solving for ṙ and dividing, we obtain:
L2
dr 2 m2 r 4 2ETOT 2GM
=
+
− 2 2 .
dφ
m
r
L2
m r
e) Using your knowledge of the difference between Newtonian physics and relativistic physics,
and by assuming that the motion takes place in a region where both |v|/c the ratio rs /r are small,
indicate how the resulting motion in this spacetime can be compared with motion in a Newtonian
gravitational potential, and find the implied correspondence between the parameter rs and the
mass causing the potential: if you have used c = 1, restore it in the final relation you obtain.
In the relativistic case, let us replace E by mc2 + ∆E and assume ∆E/mc2 ≪ 1. Then, we have:
∆E 2
L2
dr 2 m2 r 4 2∆E
rs c2
rs L 2
+ 2 2+
− 2 2+ 2 3 .
=
dφ
m
r
L2
m c
m r
m r
Now, the first term here corresponds almost directly to the first term in the Newtonian case, and
the second term here represents a small relativistic correction to it. The third term here can be
compared with the second term in the Newtonian case since they both have a 1/r dependance.
These terms are exactly equal if rs = GM/c2 . The fourth term here corresponds exactly to the
third term in the Newtonian case, and the fifth term here is a small relativistic correction to the
fourth term, since now rs /r ∼ 2(|v|/c)2, and both ratios are assumed small.
7
Download