WiSe 2012 29.11.

2012

Prof. Dr. A.-S. Smith

Dipl.-Phys. Ellen Fischermeier
Dipl.-Phys. Matthias Saba
am Lehrstuhl fr Theoretische Physik I
Department fr Physik
Friedrich-Alexander-Universitt
Erlangen-Nrnberg

Theoretische Physik 2: Elektrodynamik

(Prof. A.-S. Smith)

Home assignment 7

Problem 7.1 Relativistic addition of velocities

Consider three inertial systems Ki (i = 1, 2, 3). Let vij be the velocity of the system Ki relative to an
observer at rest in Kj . All velocities vji are parallel.
a) Show the relation
12 + 23 + 31 = 12 23 31
where ij = vij /c.
b) What does the above relation reduce to in the nonrelativistic limiting case?

Problem 7.2 Lngenkontraktion

Ein 30 m langer Triebwagen fhrt durch einen 20 m langen Tunnel.
1. Wie schnell mu der Triebwagen sein, damit er fr mindestens einen Augenblick ganz im Tunnel
verschwindet? Was geschieht, wenn genau zu diesem Zeitpunkt die Tunnelausgnge blockiert
werden? Wie sieht dieses Ereignis im Bezugssystem des Triebwagens aus? Was folgt daraus fr
die Existenz starrer Krper?

2. Ein weit entfernter Beobachter photographiert den Triebwagen genau zu dem Zeitpunkt, als er
die Triebwagenspitze wieder aus dem Tunnel herauskommen sieht (die Tunnelenden seien nicht
blockiert). Was zeigt das Photo?

Hinweis: Betrachten Sie den Triebwagen nherungsweise als Quader. Die Entfernung des Beobachters
sei gro gegen die Abmessungen des Tunnels. Der Beobachter steht so, da die Strecke von ihm zum
Tunnel senkrecht zur Gleisrichtung verluft.
Problem 7.3 Synchronisation
Simon fliegt mit einer Rakete mit einer Geschwindigkeit v = 0.6c zu Andreas. Als dieser 2 Licht-
sekunden von ihm entfernt ist - gemessen in Andreas Ruhesystem - zndet er einen Lichtblitz. Wie
beschreiben Andreas und Simon die Zeitpunkte folgender Ereignisse? Diskutieren Sie nicht nur die
rechnerische, sondern auch eine graphische Lsung.
E1: Znden des Lichtblitzes
E2: Eintreffen des Lichtblitzes bei Andreas
E3: Eintreffen von Simon bei Andreas

Problem 7.4 Multipole expansion

The lth term in the multipole expansion of the potential
l
1 X X 4 Ylm (, )
(~x) = qlm
40 2l + 1 rl+1
l=0 m=l

is specified by the (2l+1) multipole moments qlm . On the other hand, the Cartesian multipole moments,
Z
(l)
Q = (~x)x y z dV

with , , nonnegative integers subject to the constraint + + = l, are (l + 1)(l + 2)/2 in number.
Thus, for l > 1 there are more Cartesian multipole moments than seem necessary to describe the term
in the potential whose radial dependence is rl1 .
Show that while the qlm transform under rotations as irreducible spherical tensors of rank l, the
Cartesian multipole moments correspond to reducible spherical tensors of ranks l, l 2, l 4, ..., lmin ,
where lmin = 0 or 1 for l even or odd, respectively. Check that the number of different tensorial
components adds up to the total number of Cartesian tensors. Why are only the qlm needed in the
multipole expansion?

Due date: Tuesday, 03.12.12

WiSe 2012 29.11.2012

Prof. Dr. A.-S. Smith

Dipl.-Phys. Ellen Fischermeier
Dipl.-Phys. Matthias Saba
am Lehrstuhl fr Theoretische Physik I
Department fr Physik
Friedrich-Alexander-Universitt
Erlangen-Nrnberg

Theoretische Physik 2: Elektrodynamik

(Prof. A.-S. Smith)

Solutions to Home assignment 7

Solution of Problem 7.1 Relativistic addition of velocities

a) Without loss of generality we set the velocities vij parallel to the x-axis. In Ki the coordi-
nates of an event are (ti , xi , yi , zi ). These sets are connected with each other by the Lorentz
transformation. For example:
t2 vc12
2 x2 x2 v12 t2
t1 = q , x1 = q , y1 = y2 , z1 = z2
v2 v2
1 c122 1 c12
2

Now we consider the events of K3 moving in K1 and K2 . Then we have

dx1 dx2
= v31 and = v32 .
dt1 dt2
Since the Lorentz transformations are linear we can calculate these differentials:
dt2 vc12
2 dx2 dx2 v12 dt2
dt1 = q , dx1 = q
v2 v2
1 c122 1 c12
2

We have
dx
dx1 dx2 v12 dt2 2
v12 v32 v12
v31 = = v12 = dt2 v12 dx2 =
dt1 dt2 c2 dx2 1 c2 dt2 1 v12c2v32
v12 v32 v31
v31 = v32 v12 (1)
c2
With v32 = v23 we have:
v12 v23 v31 v12 v23 v31
+ + =
c c c c3
12 + 23 + 31 = 12 23 31

b) To get the nonrelativistic case we use vij  c (i.e. vij /c 0) in equation (1) and get
v12 + v23 + v31 = 0
Solution of Problem 7.2 Lngenkontraktion
Wir wissen da:

ct0 = (ct x)
ct = (ct0 + x0 )

bzw.:

x0 = (x ct)
x = (x0 + ct0 )

1. Zur Notation:
I= Zugsystem: x mit der Zuglnge 30[m] = x0
I= Tunnelsystem: x mit der Tunnellnge 20[m] = x
Fhrt man eine Messung gleichzeitig in I, so ist ct = 0 x0 = x

x0
=
x
3
=
2
s  
4
= 1
9
1
= 5
3
Vom Zug aus erscheint der Tunnel verkrzt (gleicher Faktor: 23 ), es ergibt sich jedoch kein
Widerspruch, da die Blockierung der Tunnelausgnge vom Zug aus gesehen nicht gleichzeitig
erfolgt. Siehe Abbildung 1:

Fig. 1:
2
 Starrer Krper knnen nicht existieren, da mit ihnen ein instantaner Informations"transport
mglich wre: Tunnelausgang blockiert Zug ende.

2. Unterschied Beobachter-Messer:
Beobachtet werden gleichzeitig ankommende Photonen, die bei unterschiedlicher Laufzeit von
nicht-gleichzeitigen Ereignissen stammen knnen.
Wenn der Beobachter weit enfernt ist, d.h.: l  d, dann sind die Lichtstrahlen parallel und es
gibt keine Gangunterschiede des Lichtes fr B und C. Siehe Abbildung 2:

Fig. 2:

b
Der Laufzeitunterschied betrgt: c
Das Photon aus A muum t = cb frher ausgesandt werden, wenn es gleichtzeitig mit dem
am B ankommen soll. In dieser Zeit hat sich der Zug um vt vorwrts bewegt.
Der Beobachter sieht:
a) Ohne Lorentzkontraktion: Siehe Abbildung 3.
b) Mit Lorentzkontraktion: Siehe Abbildung 3.

Fig. 3:

3
 Mit Bercksichtigung der Lorentzkontration hat man den Eindruck einen gedehnter Zug zu sehen,
denn:

cos = 1
l cos = l 1
b sin = b (2)

Solution of Problem 7.3 Synchronisation

Im Bezugssystem des (ruhenden) Andreas gilt:
Der Lichtblitz trifft tA12 = 2s nach Auslsen bei Andreas ein; Simon erreicht Andreas nach t13 =
A
A
2LS/(0.6s) = 10/3s, also t23 = 4/3s nach dem Lichtblitz in bereinstimmung mit dem Raum-Zeit-
Diagramm.
Im Bezugssystem des (bewegten) Simon gilt: Aufgrund der Lngenkontraktion
ist fr Simon Andreas
0 2
in dem Moment, in dem er den Lichtblitz zndet, nur s = 2Ls 1 0.6 = 1.6Ls entfernt dort
schneidet auch Andreas Weltlinie die x0 -Achse von Simon. Fr ihn kommt Andreas mit v = 0.6c auf
ihn zu. Er trifft ihn also t013 = 1.6Ls/(0.6c) = 8/3s nachdem er den Lichtblitz ausgesandt hat - dies
0
stimmt sowohl mit dem RZD berein (Andreas Weltlinie schneidet Simons Weltlinie
0 0
(= t -Achse) bei
t = 8/3s) als auch mit der mit Hilfe der Zeitdilatation berechneten Zeit t13 = t13 1 0.62 .
Dem Raum-Zeit-Diagramm (RZD) entnimmt man, dass fr Simon der Lichtblitz genau t012 = 1s nach
Aussenden bei Andreas ankommt.
Dies scheint aber folgenden berlegungen zu widersprechen:
(i) Da fr Simon Andreas 1.6Ls entfernt ist, sollte das Licht t012 = 1.6s bis zu ihm bentigen.

(ii) Aufgrund der Zeitdilatation sollte Simon gegenber Andreas eine um den Faktor 1 0.62 = 0.8
verkrzte Zeitspanne zwischen Aussenden und Eintreffen des Lichts bei Andreas messen, also ebenfalls
t012 = t12 0.8 = 1.6s und nicht t012 = 1s.
Wo liegt der Fehler?

(Beschreibung des RZD: Ereignis E1 = (0, 0) ist der Ursprung, E2 = (2, 2) der Schnittpunkt von
Andreas senkrechter Weltlinie mit der Diagonale (Lichtkegel), E3 = (2, 10/3) der Schnittpunkt der
Weltlinien von Andreas und Simon, und E4 = (2, 0) der fr Andreas zu E1 zeitgleiche Ort auf seiner
Weltlinie. Der fr Simon zu E1 gleichzeitige Ort auf Andreas Weltlinie ist E5 , wo Simons x-Achse die
Weltlinie von Andreas schneidet.)

Die richtige Antwort lautet wohl t012 = 1s, wie man es korrekt dem RZD entnehmen kann. Die
widersprechenden berlegungen kann man leicht folgendermassen widerlegen:
1) Da fr Simon Andreas 1.6Ls entfernt ist, sollte das Licht nicht (!) 1.6s sondern 1s unterwegs sein, da
beide sich ja annhren. Man kann die Formel t012 = x012 /(c + v) verwenden, die bereits Albert Einsteins
in seiner ersten Originalarbeit Zur Elektrodynamik bewegter Krper, Annalen der Physik und Chemie,
IV. Folge, Band 17 (1905) S. 891-921 (www.wiley-vch.de/berlin/journals/adp/historic.html) auf Seite
896/897 verwendet hat. Einstein hat genau die gleiche Frage gestellt wie in dieser Aufgabe. Man mu
bei der Berechnung von t012 die Bewegung von Andreas mitbercksichtigen, d.h. da sich Andreas (aus
Simons Sicht) auf Simon mit v = 0.6s zu bewegt, legt dieser in 1s die Strecke 0.6Ls, das Licht die
Strecke 1Ls zurck, also insgesamt 1.6Ls.
2) Die zweite widersprechende berlegung ist falsch, da Simon und Andreas unterschiedliche Ergeinisse
als gleichzeitig interpretieren. Die Zeitdilatation fr Simon betrgt t12 /0.8 (nicht t12 0.8 !!). Dies ist
aber nicht die von Simon gemessene Zeitspanne zwischen E1 (Aussenden bei Simon) und E2 (Empfangen
bei Andreas). Eigenzeiten werden immer am Ort des Beobachters gemessen und der ist fr Simon und
Andreas verschieden. Die von Andreas gemessene Zeitspanne t12 entspricht der Differenz der Ereignisse

4
E2 und E4 , wobei E4 das Ereignis ist, dass am Ort von Andreas von Andreas als gleichzeitig zu E1
verstanden wird. D.h. E4 ist das Ereignis, wo die Weltlinie von Andreas die Ortsachse x schneidet. Die
Einfhrung von E4 ist wichtig, da Zeiten immer am gleichen (!) Ort gemessen werden (Eigenzeiten).
Nun ist E4 aber fr Simon nicht der zu E1 gleichzeitige Ort auf Andreas Weltlinie sondern E5 , wo
Simons x-Achse die Weltlinie von Andreas schneidet. Daher ist fr Simon E4 um t014 = 1.2s/0.8 frher
als E1 , da Simon 2s 0.6c = 1.2Ls in zwei Sekunden zurck legt. Daher ergibt sich fr Simon die
Differenz zwischen Aussenden (E1 ) und Empfangen (E2 ) zu t012 = t12 /0.8 t014 = (2 1.2)s/0.8 = 1s
genau wie man es aus dem RZD ablesen kann.
Natrlich darf man in dieser Form mit der Lngenkontraktion bzw. mit der Zeitdilatation argumen-
tieren. Und beides gilt immer symmetrisch fr beide Personen. Allerdings muss man beachten, dass
man immer Ortsdifferenzen bzw. Zeitdifferenzen transformiert, d.h. Intervalle mit einem Anfang und
Ende. Und diese Anfangs und Endpunkte knnen fr verschiedene Beobachter durchaus verschieden
sein. In diesem Fall mit Andreas die Zeitdifferenz t12 an seinem Ort, d.h. zwischen E1 und E4 (das
fr ihn gleichzeitig zu E1 ist), whrend Simon die Zeitdifferenz t012 an seinem Ort misst, d.h. den
Anfangspunkt nicht E4 sondern E1 whlt.

Solution of Problem 7.4 Multipole expansion

0 0 0
Rotation of the coordinate system changes the direction = (, ) to the direction = ( , ). We
use the operator D(R) to describe such a rotation:
0
D(R) =

The spherical harmonics Ylm for fixed l and m = l, ..., 0, ..., l make spherical tensors of rank l because
they satisfy the relation:
l
0 (l)
X
Ylm ( ) = Dm0 m (R)Ylm0 ()
0
m =l

The definition of a spherical tensor of rank l is

l
(l)0 (l) (l)
X
Tm = Dm0 m (R)Tm0
m0 =l

It is easy to see that qlm is a spherical tensor of rank l

Z l
0 0 0 0 0 0 (l)
X

qlm = Yl,m ( )r l (~x )dV = Dm0 m (R)qlm0
m0 =l

because
0 0 0 0
r l = rl , (~x ) = (~x), dV = dV
The following statements will be used later in the exercise:
1. If we calculate the trace of a tensor of rank l using any two indices we will get a tensor of rank
(l 2).
2. A tensor is reducible if you can express it as a sum of some tensors of lower rank. If a tensor is
symmetric in any two indices, and the trace of the tensor using any two indices is zero, then the tensor
is irreducible.
3. To an irreducible tensor we can always join a spherical tensor whose components are linear combi-
nations of the components of the irreducible tensor.
(l)
A Cartesian tensor of the multipole moment Q can be expressed in tensor notation in the following
way
(l)
Q = Qi1 i2 ...il

5
where the indices i1 , i2 , ..., il can take the values {1, 2, 3} which represent the coordinates {x, y, z}. So
a Cartesian tensor of a multipole moment of rank four will be, for example,
Z Z
(
Q1123 4) = (~x)u1 u1 u2 u3 dV = (~x)xxyz dV

So the tensors are symmetric on permutation of any two indices.

l=2
We can write a tensor of rank two in the following way

Qij = Rij + ij

Rij is a symmetric tensor with vanishing trace, and is a scalar. To evaluate Rij and , we take the
trace of the left and right sides of the equation.
X X X X
Qij ij = Rij ij + ij ij = 3 (Note that Rij ij = 0.)
ij ij ij ij

So we see that:
1X
= ij Qij
3
ij
Rij = Qij ij

Since the tensor Rij is irreducible, we can join the spherical tensor of rank two to it. The tensor ij
has rank zero, and if we rewrite it we can see why it represents a spherical tensor

 Z   Z 
1 X 1 2 2 2 1 2
ij = ij Qij ij = (~x)(x + y + z )dV ij = (~x)r dV ij
3 3 3
ij

Rij has 5 independent components while ij has 1, so that gives 6 components for the tensor Qij .
According to statement number 3, the multipole moments q2m are linear combinations of Rij .

l=3
A tensor of rank three Qijk can be written as

Qijk = Pijk + ri jk + rj ik + rk ij

where Pijk is a symmetric tensor with vanishing trace, and ri is a tensor of rank one. Again, lets take
the trace of the left and right sides of the above equation:
X X X X X
Qijk ij = Pijk ij + ri jk ij + rj ik ij + rk ij ij
ij ij ij ij ij
X X X
= ri ik + ri ik + rk ii
i i i
= 5rk

So, for the tensor rk , we get

1X
rk = ij Qijk
5
ij

6
Similarly,
1X
ri = jk Qijk
5
jk
1X
rj = ik Qijk
5
ik

The tensor Pijk is

Pijk = Qijk ri jk rj ik rk ij
The trace of this tensor with respect to any two indices is zero. We can check this:
" ! #
X X X
ij Pijk = 5 (Qiik ri ik ri ik rk ii ) = 5 Qiik rk rk 3rk = 0
ij i i

Pijk is an irreducible tensor of rank 3 with 7 components, while the irreducible tensor ri has 3 inde-
pendent components and rank 1. Therefore, the total number of independent components of Qijk is
1.
The case l = 4 can be handled similarly.

In the expansion of the potential, we always get irreducible tensors of the highest rank. To prove this
statment, we will expand in Taylor series the potential of the distribution (~x) which lies completely
inside a sphere of radius a. We get
Z
(~x)
(u1 , u2 , u3 ) = p dV
V (u1 x)2 + (u2 y)2 + (u3 z)2
Z Z       
1 1 1 1
= (~x)dV x +y +z (~x) dV
R V V u1 R u2 R u3 R
Z  2 2 2 2
       
1 2 1 2 1 2 1 1
+ x 2 +y 2 +z 2 + 2xy
2 V u1 R u2 R u R u1 u2 R
2
  2
  3
1 1
+ 2xz + 2yz (~x) dV + ...
u1 u3 R u2 u3 R

where
~ = u1 e~x + u2 e~y + u3 e~z
R
q
R = u21 + u22 + u23 > a
p
x2 + y 2 + z 2 < a

We also use the fact that the derivative of the function

1/2
(u1 x)2 + (u2 y)2 + (u3 z)2


1
at ~x = 0 is equal to the derivative of the function. For example,
R

1  1
=

p p
x (u1 x)2 + (u2 y)2 + (u3 z)2  u1 u21 + u22 + u23

~x=0

7
If we introduce the Cartesian multipole moments, the potential can be written as
(0) X (1)  1  1 X (2) 2
 
~ = Q 1
(R) Qi + Qi1 i2
R ui1 R 2 ui1 ui2 R
i1 i1 i2
3
 
1 X (3) 1
Qi1 i2 i3 + ...
6 ui1 ui2 ui3 R
i 1 i2 i3

(1)l X (l) l
 
1
= Qi1 i2 ..il
l! ui1 ui2 ...uil R
i1 i2 ..il

~ like the function 1 ~ > a, so

The potential (R), , satisfies the Laplace equation for |R|
R
2
 
X 1
ij =0
ui uj R
ij

If we rewrite Qij using Rij , then the third term in the summation is:

1 X (2) 2 2
   
1 1X 1
Qij = (Rij + ij )
2 ui1 ui2 R 2 ui1 ui2 R
ij ij
2
 
1X 1
= Rij
2 ui1 ui2 R
ij

Similarly, for a tensor of rank 3 we have

3 3
   
1 X (3) 1 1X 1
Qijk = ... = Pijk
6 ui uj uk R 6 ui uj uk R
ijk ijk

We see that for a Cartesian tensor of rank l, the corresponding irreducible tensors of rank l, (l 2), (l
4)... are always linear combinations of the symbols, and because of relations of the form

2
 
X 1
ij =0
ui uj R
ij

they dont show up in the potential expansion. This is the reason why, in the potential expansion, we
have only the multipole moments qlm .
Remember: The components of qlm are linear combinations of the components of the irreducible tensor
of rank l.