below

LENTE GRAVITAZIONALE
di Leonardo Rubino
Maggio 2024

Indice:

-Indice. Pag.1
1-Valutazione del fenomeno della lente gravitazionale. Pag.1
2-Tempo e gravità: la gravità rallenta il tempo! Pag.3
3-Deflessione della luce da parte del Sole. Pag.5

Appendice – Altro metodo di calcolo (ufficiale) della deflessione della luce dal Sole. Pag.7
La metrica. Pag.7
La soluzione di Schwarschild. Pag.8
L’Equazione della geodetica. Pag.9
Il limite Newtoniano. Pag.9
Le equazioni generali del moto. Pag.10
La deflessione della luce da parte del Sole. Pag.11

1-Valutazione del fenomeno della lente gravitazionale.

Rappresentiamo la situazione tramite una figura:

posizione
apparente
(θ-φ)
S - sorgente φ
Δ

rL

θ
L - lente α
O - osservatore

L - lente

dL
dS
Fig. 1.1
 r Ricordiamo preliminarmente che si ha, per β piccoli:
b b  a tan   a  r
β
a
Possiamo dunque scrivere che: rL  d L  d L  rL  0  d L  rL  d S  d S  0 
 d S  rL   (d S  d L )  0  d S rL  rL2  rL (d S  d L )  0 
 d S rL  rL2  rL ( d S  d L )  rL ( d S  d L )  rL (d S  d L )  0 
 d S rL  rL2  rL (d S  d L )(   )  rL (d S  d L )  0 
 d S rL  rL [rL  (d S  d L )(   )]  rL (d S  d L )  0 (1.1)
Ora, osserviamo che: d S  rL    rL  (d S  d L )(   ) (ed rL  d L ), da cui, per la (1.1):
d S (rL )  (rL )[rL  (d S  d L )(   )]  rL (d S  d L )  d S (d L )  (d L )[d S ]  rL (d S  d L )  0 
(d S  d L )
  2 d S d L  d S d L  rL (d S  d L )  0   2    rL 0 .
dS dL
4GM L
Ricordando ora la (2.3) (vedere oltre) per il generico φ (   ), si ottiene:
rL c 2
4GM L (d S  d L )
 2    0 (1.2)
c2 dS dL
4GM L
(Il grosso dei calcoli sta proprio nella valutazione della (2.3), ossia la   , che è la
rL c 2
deflessione della luce che rasenta la superficie della “lente”. Questa equazione sarà
ricavata appunto al punto 2 ed anche in appendice.)
 1 16GM L (d S  d L )
Le soluzioni sono: 1, 2   2  e si ha: 1   2   e:
2 2 c2 dS dL
4GM L (d S  d L )
1 2   , da cui:
c2 dS dL
1 2c 2
dS dL
ML   (1.3)
4G (d S  d L )
Se, infine, l’oggetto sorgente nascosto è esattamente dietro alla lente e sorgente, lente ed
osservatore giacciono dunque tutti e tre sulla stessa linea, allora sarà α=0, da cui due
soluzioni θ1 e θ2 coincidenti (θE):
4GM L (d S  d L )
E  (1.4)
c2 dS dL
La sorgente apparirà ad anello, o comunque in più punti, tutta intorno alla lente.

Esempi di lenti gravitazionali:

-Quasar QSO 0957+561 A/B , doppio quasar, con θ1=5,35’’=2,59x10-5 rad e θ2=-0,8’’=
-3,87x10-6 rad. La sorgente è un quasar con redshift zS=1,413 , mentre la lente (galassia
ellittica YGKOW G1) ha uno zL=0,355 . Si ha poi: dS=9,1x1025 m=9,6 mld a.l. ; poi:
dL=3,6x1025 m=3,82 mld a.l. , sicché, per la (1.3) otteniamo:
  c2 dS d L
ML   1 2  20,14 10 41 kg  10,17 1011 M Sole (plausibile!)
4G (d S  d L )
-Anello di Einstein MG1131+0456 a lunghezze d’onda radio (galassia lente con zL=0,844 e
sorgente quasar (che appare doppio) con z S=1,849(?) ).
-Anello di Einstein B1938+666 con zL=0,881 e zS=2,059.

-Croce di Einstein Q2237+031 (galassia centrale (a spirale ZW 2237 +030 , distante 400
mln di a.l.) come lente (zL=0,04) e quattro immagini (a croce) di quasars ( G2237 +0305 -
zS=1,69 , distanza 8 mld di a.l.) intorno). (C’è chi fa notare che tra una delle 4 immagini e la
galassia centrale ci sia un ponte di materia)

-Croce di Einstein J2211+3050 (galassia lente ellittica con zL=0,556 (ML=4,5x1010 MSole) e
sorgente galassia remota, con zS=3,03).

Per ultimo, facciamo un esempio di utilizzo della (1.4) su un anello di Einstein con lente
(zL=0,5) a metà strada tra osservatore e sorgente (dS=2dL) ed ML=1011 MSole~2x1041 kg :
(essendo zL relativamente piccolo: dL~vL/H= czL/H=6,4x1025 m=6,8 mld a.l.)
18 m
( H  72km /( s  Mpc)  2,338  10 [( ) m] )
s
4GM L (d S  d L ) 2GM L
E  2
 2
 2,15 10 6 rad  0,45' '
c dS dL c dL

2-Tempo e gravità: la gravità rallenta il tempo!

Anche la gravità rallenta il tempo! In montagna il tempo scorre più velocemente che a
valle. Ovviamente, sulla Terra, la differenza è impercettibile, ma su una stella di neutroni,
o in un buco nero, l’effetto è intensissimo.

E  m0 gH (delta energia del salto di quota)

E  h (delta energia del calo di freq. di un fotone)
Fotone in discesa Dalle due:   m0 gH h .
con freq. aumentata
dalla gravità Per un fotone, E  h , ma in relatività: E  m0c 2 , da
H cui, per un fotone: m0  h c 2 e dunque, per  :
Fotone in salita   gH c 2
ed essendo il tempo l’inverso della
con freq. diminuita
dalla gravità frequenza, si ha:    t t e dunque:
gH
t  t . Dunque, su un tempo t, si ha un
c2
rallentamento Δt dato dalla gravità!
Fig. 2.1: Montagna, gravità e tempo.
2GM
Sappiamo che la velocità di fuga di un corpo celeste di massa M e raggio R vale: V . Se su quel corpo un
R
oggetto viene lanciato verticalmente alla velocità di fuga, esso uscirà dal campo gravitazionale del corpo celeste ed andrà
verso l’infinito, senza più ricadere.
Un buco nero è un corpo così compresso (M grande ed R piccolo) che la velocità di fuga sulla sua superficie raggiunge il
valore della velocità della luce e dunque neanche la luce vi sfugge, da cui il nome di buco nero; inoltre, per quanto detto
sopra, si può affermare che in un buco nero il tempo è pressoché fermo!
gH gdr
Tornando al rallentamento: t 2
t , che può essere interpretata come: dt  2 t e
c c
GM GM
considerando che g  2 , segue che: dt  t 2 2 dr , ossia:
r cr
dt GM dr dt GM dr GM
 2 2    2  2  ln t   2  k 
t c r t c r cr
  GM
GM GM
t  k e c 2r
 (e  x  1  x)  t  k (1  )  (t  t0  r  )  t  t0 (1  2 ) 
c 2r cr
1 2GM
( (1  x)  1  x )  t  t0 (1  2 ) . (2.1)
2 cr
D’altra parte, sappiamo chela formula per la contrazione di Lorentz ha la stessa forma
della formula per la dilatazione del tempo, ma con la radice al denominatore, dunque:
2GM
r  r0 / (1  2 ) . (2.2)
cr
Per ultimo, trasferiamo un attimo il dispositivo sorgente/ricevitore dalla montagna ad
un’ascensore:

RICEVITORE RICEVITORE

detector in
avvicinamento

ascensore ascensore
fermo in caduta

fotone fotone
redshifted redshifted

SORGENTE SORGENTE
A B

Fig. 2.2 A e B: Fotone in ascensore su percorso verticale.

-Fig. 2.2 A: il fotone fatica a risalire a causa del redshift gravitazionale della Terra.
-Fig. 2.2 B: quando il cavo viene tagliato, l’osservatore sull’ascensore non rileva più la
gravità, a causa della caduta libera, dunque il fotone non subisce nessuno shift e lo stesso
fenomeno fisico, per principio, dovrebbe constatare l’osservatore sulla Terra; infatti, per
quest’ultimo la gravità esiste ancora (redshift), ma contemporaneamente vi è un blueshift
di avvicinamento del detector al fotone risalente, con compensazione reciproca.
-------------------------

-Fig. 2.3 A: l’osservatore in ascensore, che è fermo, vede il fotone curvare verso il basso
a causa della gravità terrestre. Lo stesso osserva l’osservatore dal suolo terrestre.
-Fig. 2.3 B: il cavo viene tagliato e la caduta libera annulla la gravità agli occhi
dell’osservatore in caduta: il fotone va dritto. L’osservatore sul suolo terrestre è in un
contesto gravitazionale e vede il fotone che parte da una quota più alta ed approda ad
una quota più bassa, dunque esso curva! La gravità deflette la luce! Tuttavia, mentre il
fotone curva verso il basso, il detector scende, tanto che anche per l’osservatore a terra il
fotone, nel contesto d’insieme ascensore/fotone, in ultima analisi è come se è andato
dritto.
 S R S R
O I O I
R C R C
G E G E
E V E V
N I N I
T T T T
E . E . ascensore
ascensore
fermo in caduta

A B

Osservatore sulla Terra

Fig. 2.3 A e B: Fotone in ascensore su percorso orizzontale.

3-Deflessione della luce da parte del Sole.

Dobbiamo adesso ricordare che un raggio di luce (ad esempio di una stella) che rasenta il
Sole viene deflesso di un angolo pari a: ( r0  RS  6,96 108 m e M S  1,98 1030 kg )
4GM
   1,75' '  0,849 105 rad . (3.1)
r0c 2

0  ()
RS r 

0  (r )

b
r0

Δφ
Fig. 3.1: La deflessione della luce da parte del Sole.

Iniziamo col dimostrare la (3.1) con un primo metodo, ma ne seguirà un altro, più
ufficiale, in appendice. Questo metodo fa leva sull’effetto di variazione di velocità che la
luce subirebbe quando si approssima ad una massa.
Ricordiamo il tensore metrico: d 2  c 2 dt 2  dr 2  c 2 dt 2  (dx 2  dy 2  dz 2 ) e ricordiamo anche
le più semplici coordinate sferiche: d 2  c 2 dt 2  (dr 2  r 2 d 2  r 2 sin 2 d 2 ) . (3.2)
Ricordiamo ora un attimo le (2.1) ed (2.2):
2GM 2GM
dt  dt0 (1  2 )  dt 2  dt02 (1  2 )  dt02 B(r ) e:
cr cr
 2GM 2GM
dr 2  dr02 /(1  2
)  dr02 (1  2 )  dr02 A(r ) , poiché, per Taylor: 1 /(1  x)  (1  x) . Inoltre,
cr cr
non si ha contrazione di Lorentz sulle direzioni trasversali (ad esempio, y e z), da cui, per
la (3.2): d 2  B(r )c 2 dt 2  A(r )dr 2  r 2 d 2  r 2 sin 2 d 2 (3.3)
che è la Soluzione di Schwarzschild.
Parlando poi di stelle lontane che emettono la loro luce che, da lontano, si avvicina al Sole
praticamente in modo radiale, possiamo annullare le componenti in φ e θ, da cui:
d 2  B(r )c 2 dt 2  A(r )dr 2 . Essendo poi, per un fotone, che: d 2  0 , segue che:
0  B(r )c 2 dt 2  A(r )dr 2 . (3.4)
La velocità della luce è c  dr dt lontano dalla massa del Sole, mentre in prossimità dello
stesso, vale la (3.4), dalla quale si ricava che:
V  dr dt  c( B(r ) A(r ))1 / 2  c , ossia, banalmente:
2GM 2GM 1 / 2 GM GM GM GM GM 2GM
V c  ([1  2
] [1  2
])  [1  2 ] /[1  2 ]  [1  2 ][1  2 ]  [1  2 ]2  [1  ]
rc rc rc rc rc rc rc rc 2
2GM
ossia: V  c[1  ].
rc 2

V c V c

Angolo di deflessione

Fronte d’onda
V c
V c
Sole

Fig. 3.2: Le velocità dei fronti d’onda.

Con riferimento alla Figura 3.2, la parte di fronte d’onda che è più lontana dalla massa M
ha velocità c, mentre quella più vicina ha velocità V  c .
y
dx’=V’dt
x dy
dx=Vdt
Onde piane
y r
di luce
y=0
x
Sole (M)
R

Fig. 3.3: Schema per i calcoli.

Ora, con riferimento invece alla Figura 3.3, si ha:

r 2  ( y  R) 2  x 2 (eq. di un cerchio); (3.5)
applichiamo ora l’operatore  y alla (3.5), ottenendo:
2r (r y )  2( y  R ) da cui: r y  ( y  R ) / r e sulla superficie della massa M:
r y y 0  R r
 V r V r  2GM 2GM r
Ora:   (c[1  ])  2 , da cui:
y y r y r rc 2
r c y
V 2GM r 2GM R 2GMR
   .
y y 0
r 2c y y 0
r 2c r r 3c
Calcoliamo ora la differenza tra i cammini dx e dx’ dei fronti d’onda a distanza verticale y
ed y+dy, alle quali la luce ha velocità rispettivamente pari a V e V’:
dx’=V’dt e dx=Vdt, da cui:
dx’- dx =V’dt-Vdt=dt(V’-V) ; (3.6)
inoltre, si ha, per Taylor: V '  V  (V y )dy , ossia: V 'V  (V y )dy e la (3.6) diventa:
dx' dx  (V y )dydt (3.7)
Poi, sempre dalla Figura 3.3 e dalla (3.7), si ha:
d  (dx' dx) dy  (V y )dt  (V y ) dx V .
La deflessione totale  subita tra   e   è, considerando che, in tale range, V è
quasi sempre uguale a c (tranne che appena in prossimità di M):
  1 1 
   d   (V y ) dx   (V y )dx e, in prossimità della superficie di M (y=0):
  V c 

1   2GMR 2GMR   dx 2GMR x 2GMR 2
   dx      2 , cioè:
c   3
rc c 2   (R  x )
2 2 3/ 2
c 2
R ( R  x 2 )1 / 2
2 2

c2 R
4GM
   1,75' '  0,849 10 5 rad , proprio come preannunciato!!!
rc 2

Appendice – Altro metodo di calcolo (ufficiale) della deflessione della luce dal Sole.

La metrica.
Si suggerisce innanzitutto di leggere preventivamente il mio scritto “Geometria
Differenziale” , per una migliore comprensione di quanto segue. Si abbia poi
provvisoriamente c=1, come convenzione semplificatrice. Definiamo un tensore metrico
generale, per cui un campo gravitazionale sia statico e isotropico; statico significa che il
tensore metrico non dipende dal tempo, riguardo la sua forma e le sue caratteristiche, con
chiaro riferimento ai coefficienti. Isotropico significa che vi è dipendenza dagli invarianti
irrotazionali; sappiamo infatti che la norma di un vettore ed il prodotto scalare tra due
vettori sono invarianti per rotazione:
 2   
x 2  x , ( dx ) 2 , x  d x
Tutto ciò per coordinate ortogonali quasi minkowskiane (quasi  )
d 2   g  dx  dx , d 2  F (r )dt 2  2 E (r )dtx  dx  D (r )( x  dx) 2  C (r )dx 2 (A.1)
 
r  ( x  x )1 / 2 e, in coordinate sferiche: X3
z P(r, θ, φ) r sin d

{
θ
x1  r sin  cos  
r
dr
x2  r sin  sin  X2 rdθ
x3  r cos
x1 φ
x
d 2  F (r )dt 2  2rE (r )dtdr  r 2 D (r )(dr ) 2  C (r )(dr 2  r 2 d 2  r 2 sin 2 d 2 )
Definiamo ora l’applicazione lineare t '  t   ( r ) ed eliminiamo gli elementi non diagonali
(misti) ponendo:
 d rE (r )
 ; esiste una rototraslazione/applicazione lineare che mi riduce a forma
dr F (r )
canonica la forma quadratica qui sopra:
d 2  F (r )dt '2 G (r )dr 2  C (r )(dr 2  r 2 d 2  r 2 sin 2 d 2 ) , con:
E 2 (r )
G ( r )  r 2 ( D (r )  ) . Definiamo r '2  C (r )r 2 ; otteniamo allora la forma standard:
F (r )
d  B(r ' )dt '  A(r ' )dr '2  r '2 (d 2  sin 2 d 2 )
2 2
(A.2)
C (r ) r dC (r )  2
con B ( r ' )  F ( r ) A( r ' )  (1  )(1  )
G (r ) 2C ( r ) dr
A noi interessa dunque la forma standard (A.2):
d 2  B(r )dt 2  A(r )dr 2  r 2 (d 2  sin 2 d 2 ) e dal confronto con l’espressione generale della
metrica (A.1), si evince che: g rr  A(r ) , g  r 2 , g  r 2 sin 2  , g tt   B(r ) e siccome
g  è ortogonale, si ha che: g rr  A1 (r ) , g   r 2 , g   r 2 sin 2  , g tt   B 1 (r ) .
 1  g  g  g 
Sapendo poi che:   g (      ), (A.3)
2 x x x
emerge che le sole quantità non nulle sono:
1 dA(r ) r r sin 2  1 dB ( r ) 1
rrr  , r   ,  r
 , ttr  , r  r  ,
2 A(r ) dr A(r ) A(r ) 2 A(r ) dr r
 1   1 dB(r )
   sin  cos , r  r  ,     cot  , trt  rtt  .
r 2 B(r ) dr
Calcoliamo ora il tensore di Ricci (    in

        k 
R k  (   k)  (  )
k    
 k   
k    
  k  k  ):
x k
x
 
 k     
Rk     
 k   
k  e ricordiamo che è simmetrico su  e k , anche
x k x  x k
per eventuale verifica diretta; dunque, in totale, troviamo che:
B ' ' ( r ) 1 B ' ( r ) A' ( r ) B ' ( r ) 1 A' ( r )
Rrr   ( )(  )
2 B ( r ) 4 B ( r ) A( r ) B (r ) r A( r )
r A' (r ) B ' (r ) 1
R  1  (  )
2 A(r ) A(r ) B(r ) A(r )
B ' ' ( r ) 1 B ' ( r ) A' (r ) B ' (r ) 1 B ' ( r )
R  sin 2   R , Rtt    ( )(  ) , R  0 per    .
2 A( r ) 4 A( r ) A( r ) B ( r ) r A( r )

La soluzione di Schwarschild.
Sappiamo già che: d 2  B(r )dt 2  A(r )dr 2  r 2 d 2  r 2 sin 2 d 2
Inoltre, nel vuoto R  0 , quindi
Rrr  R  Rtt  0 ; (A.4)
notiamo inoltre che:
Rrr Rtt 1 A' B' A' B'
   (  ) e, per la (A.4), si ha:   , cioè:
A B rA A B A B
A( r ) B ( r )  const . (A.5)
Poi, per r   , il tensore metrico g  deve approssimarsi al tensore di Minkowski   in
coordinate sferiche, ossia: lim r   A(r )  lim r   B(r )  1 , da cui, per la (A.5):
1
A(r )  e usando quest’ultima nelle espressioni per R ed Rrr , si ha:
B (r )
B ' ' ( r ) B ' ( r ) R ' ( r )
R  1  B' (r )r  B(r ) e Rrr    ; ponendo R  0 si ha:
2 B ( r ) rB( r ) 2rB( r )
d
rB (r )  rB ' (r )  B (r )  1 , da cui: rB(r )  r  const .
dr
Inoltre, per r   (limite newtoniano, vedi punto successivo – (A.8)):
GM
g tt  g 00   B  1  2  (    )
r
2GM 2GM 1
B ( r )  [1  ] e A( r )  [1  ] e cioè, infine, ripristinando anche c:
r r
2GM 2GM
d 2  [1  2 ]c 2 dt 2  [1  2 ]1 dr 2  r 2 d 2  r 2 sin 2 d 2 (A.6)
cr cr
(Soluzione di Schwarschild)

L’Equazione della geodetica.

Un paracadutista in caduta libera non ha un pavimento su cui il suo corpo può gravare,
dunque lui, tra sé e sé, non avverte accelerazione di gravità, e si sente come sospeso nel
vuoto e si accorge che sta cadendo solo se guarda gli altri oggetti attorno che si muovono.
Per una particella in caduta libera, dunque, vi è ovviamente un sistema di riferimento in

cui a  0 , ossia:
 2 
0 (caduta libera in coordinate euclidee)
 2
 2 
con d  ik d d . Possiamo però vedere la
2 i k
 0 nel seguente modo:
 2
 2  d   dx    d 2 x   2  dx  dx
 0  ( )  
 2 d x  d x  d 2 x  x d d
x 
Moltiplichiamo ora entrambi i membri per e teniamo conto del fatto che:
 
  x 
   si avrà:
x   
d 2 x 
 dx dx

   0 (caduta libera in coordinate curvilinee)
d 2 d d
(equazione della geodetica, dove geodetica, qui sulla Terra, è la rotta minima tra una
località e l’altra)
  2  x 
con     .
x x  

Il limite Newtoniano.
 
Sappiamo che nel limite newtoniano (V<<c): d 2  c 2 dt 2  dx 2  c 2 dt 2  V 2 dt 2  c 2 dt 2
Ciò equivale a dire che V ì  dx i / dt  dx i / d  dx 0 / d  dx 0 / dt  d (ct ) / dt  c , ossia
appunto: dx i / d  dx 0 / d .
 d 2 x 
 dx dx

d 2 x dt
Con ciò, la equazione della geodetica    0 diviene:  00 ( ) 2  0
d 2
d d d 2
d
(con la convenzione c=1); inoltre, essendo, in tale limite, il campo stazionario, g  tende a
  (cost) e allora le derivate temporali di g  sono nulle e allora, per la (A.3):
1 g 1 h
00   g  00 e g    h , con h  1 e quindi: 00     00 e:
2 x 2 x

d 2 x 1 dt 2
 ( ) h00  0 da cui:
d 2 2 d

d 2x 1
 h00  0 e (A.7)
dt 2 2
d 2t dt  mM
 0 da cui:  C . Ora, sappiamo dalla gravitazione di Newton che: ma  G 2 rˆ ,
d 2
d r
2
 GM GM GM GM  d x
da cui: a   2 rˆ , ma: 2 rˆ  ( )   (con    ) e quindi: a  2   e
r r r r dt
da quest’ultima con la (A.7), emerge che: h00  2  const ; visto che all’infinito h00    0
allora const=0 e:
g 00  00  h00  1  2  (1  2 ) (A.8)

Le equazioni generali del moto.

Sappiamo dunque che d 2  B(r )dt 2  A(r )dr 2  r 2 d 2  r 2 sin 2 d 2 e teniamo inoltre conto
d 2x 
 dx dx

della equazione della geodetica:   0 (in p generico, per ora): si ha
dp 2 dp dp
allora, facendo variare  :
d 2 r A' (r ) dr 2 r d 2 r sin 2  d 2 B ' (r ) dt 2
0  ( )  ( )  ( )  ( ) (A.9)
dp 2 2 A(r ) dp A(r ) dp A(r ) dp 2 A(r ) dp
d 2 2 d dr d
0 2
  sin  cos ( ) 2 (A.10)
dp r dp dp dp
d 2 2 d dr d d
0 2
  2 cot  (A.11)
dp r dp dp dp dp
d 2t B' (r ) dt dr
0  (A.12)
dp 2 B(r ) dp dp
Ora, siccome il campo è isotropico, poniamo    2 e dunque le ultime due, (A.11) e
(A.12), diventano:
d d d dt
[ln  ln r 2 ]  0 e [ln  ln B]  0 , da cui:
dp dp dp dp
d
r2  J (costante) (A.13)
dp
dt
B  const (=1, per scelta) (A.14)
dp
dt 1
da cui:  . Inserendo ora le (A.13), (A.14) e la condizione (    2 ) usata prima,
dp B
nella (A.9), si ha:
 d 2 r A' (r ) dr 2 J2 B' (r ) dr
0 2
 ( )  3
 2
e moltiplicando ora per 2 A( r ) :
dp 2 A(r ) dp r A(r ) 2 A(r ) B (r ) dp
d dr J2 1 dr J2 1
[ A(r )( )2  2  ]  0 cioè: A(r )( ) 2  2    E (costante) (A.15)
dp dp r B(r ) dp r B(r )
Facendo poi sistema tra la condizione (    2 ) usata prima, la (A.13), (A.14) e (A.15), si
ottiene: d 2  Edp 2 (A.16)
Sappiamo che E=0 per i fotoni e E>0 per particelle materiali.
Siccome A(r) è sempre positivo, si ha che la particella può raggiungere r solo se (vedi la
J2 1
(A.15)): 2  E   . Usando poi la (A.14) nelle (A.13), (A.15) e (A.16), si ottiene:
r B(r )
d A(r ) dr 2 J 2 1
r2  JB(r ) (A.17) 2
( )  2    E (A.18) e d 2  EB 2 (r )dt 2 (A.19)
dt B (r ) dt r B (r )
d
Sappiamo ora che, per campi deboli: B  1  2  r 2 J e
dt
1 dr 2 J 2 1 E
( )  2   (A.20)
2 dt 2r 2
1 1
in quanto:    ( perTaylor )  (1  2 )
B(r ) 1  2
La (A.20) ha una analoga nella meccanica classica di Newton.
Per orbite generali, r=r(φ); sappiamo poi che:

{
d
r2 J
dp
dr 2 J 2 1
A(r )( )  2   E
dp r B(r )
A( r ) dr 2 1 1 E
eliminando dp, si ha: ( )  2 2  2 , (A.21)
r 4
d r J B (r ) J
con soluzione:
A1 / 2 ( r ) dr
   (A.22)
1 E 1
r2( 2  2  2 )1 / 2
J B(r ) J r
La deflessione della luce da parte del Sole.

0  ()
RS r 

0  (r )

b
r0

Δφ
Fig. A.1: La deflessione della luce da parte del Sole.
RS  RdelSole ; b è il parametro d’urto. All’infinito, b  r sin(   )  r (   ) e:
 d dr
V  r cos(    )  ; V è la velocità di moto (costante). Essendo all’infinito A=B=1,
dt dt
inserendo queste due relazioni nelle (A.17) e (A.18), si ha:
J  bV (A.23) ed E  1V 2 (A.24)
La (A.24) è banale; per ottenere invece la (A.23), osserviamo che:
d dr
b  r (   ) , da cui: 0  dr (   )  rd , da cui: r 2   (   )r  bV  J
dt dt
1
Per r  r0 si ha che dr / d  0 e la (A.21) allora diviene: J  r0 (  1  V 2 )1 / 2 e la (A.22)
B (r0 )
diviene, con facili passaggi:
 A1 / 2 (r )dr
 ( r )   ( )   (A.25)
r 2 1 1 1 2 1 1 1/ 2
r [ 2(  1  V )(
2
1 V )  2 ]
r0 B (r ) B(r0 ) r
La variazione totale di φ è: 2  (r0 )   , mentre se il raggio di luce procedesse
indisturbato, si avrebbe una variazione pari a  , quindi, con riferimento alla Fig. A.1, si
ha:   2  (r0 )     ; per un fotone, V 2  1 e la (A.25) fornisce:
1

 r B(r ) 2 dr
 (r )   ()   A (r )[( ) 2 ( 0 )  1]
1/ 2
(A.26)
r r0 B(r ) r
Usando ora gli sviluppi (di Taylor) dovuti a Robertson:
GM GM
A(r )  1  2  .... , B(r )  1  2  .... , si ha:
r r
GM
1 2  ....
r 2 B (r0 ) r 2 r0 r 1 1
( ) ( ) 1  ( ) [ ]  1  ( ) 2 [1  2GM (  )  ...]  1 
r0 B (r ) r0 1  2 GM r0 r r0
 ....
r
r r (r  r ) r 2GMr
 [( ) 2  ( ) 2 2GM 0  1]  [( ) 2  1][1   ...]
r0 r0 rr0 r0 r0 (r  r0 )
L’ultima eguaglianza è verificabile direttamente. La (A.26) diviene, per Taylor:
r
(per la risoluzione dei primi due integrali, si ponga 0  cos x , mentre per il terzo si porrà
r
r0 1 t 1° 2° 3°
 t e l’integrale sarà )
r 1 t Int. Int. Int.
1

 1 r 2 2 GM GMr
 ( r )   ( )   [( )  1] [1    ....]dr
r r r0 r r0 (r  r0 )
(i tre termini nel riquadro giallo scaturiscono dal prodotto tra
GM e
A1 / 2 (r )  1   ....
r
2GMr GMr
[1   ...]1 / 2  [1   ...] , ed è stato trascurato il quarto, in quanto molto minore degli altri,
r0 (r  r0 ) r0 (r  r0 )
poiché va ricordato che siamo in convenzione c=1 ed ai denominatori ci sarebbero dei c 2 ed il quarto termine
trascurato avrebbe avuto al suo denominatore addirittura un c4)
r GM r r  r0
ossia:  (r )   ()  sin 1 ( 0 )  [1  1  1  ( 0 ) 2  ]  ... e dunque:
r r0 r r  r0
 4GM 4GM
  e ricordando la nostra normalizzazione (c=1), si ha infine:   ; con
r0 r0c 2
r0  RS  6,96 108 m e M S  1,98 1030 kg , si ha:   1,75' ' , in ottimo accordo con i dati
sperimentali. In realtà, quando nel 1919 fu effettuata una spedizione in Brasile per la
misura di tale deflessione della luce delle stelle da parte del Sole, in occasione di una
eclissi, la precisione della misura era dello stesso ordine di grandezza del risultato.
 GRAVITATIONAL LENSING
by Leonardo Rubino
May 2024

Contents:

-Contents. Page 14
1-The gravitational lensing. Page 14
2-Time and gravity: gravity slows down the time! Page 16
3-Deflection of light by the Sun. Page 18

Appendix–Another method for the (official) calculation of the deflection of light by the Sun. Page 20
The metric. Page 20
The Schwarschild’s Solution. Page 21
The geodesic Equation. Page 22
The Newtonian limit. Page 22
The general equations of motion. Page 23
The deflection of light by the Sun. Page 25

1-The gravitational lensing.

Let’s explain that through an image:

apparent
position
(θ-φ)
S - source φ
Δ

rL

θ
L - lens α
O - observer

L - lens

dL
dS
Fig. 1.1
 r We preliminarily remind you that we have, for small β:
b b  a tan   a  r
β
a

So we can write that: rL  d L  d L  rL  0  d L  rL  d S  d S  0 

 d S  rL   ( d S  d L )  0  d S rL  rL2  rL (d S  d L )  0 
 d S rL  rL2  rL (d S  d L )  rL (d S  d L )  rL (d S  d L )  0 
 d S rL  rL2  rL (d S  d L )(   )  rL (d S  d L )  0 
 d S rL  rL [rL  (d S  d L )(   )]  rL (d S  d L )  0 (1.1)
Now, we notice that: d S  rL    rL  (d S  d L )(   ) (and rL  d L ), so, for the (1.1):
d S (rL )  (rL )[rL  (d S  d L )(   )]  rL (d S  d L )  d S (d L )  (d L )[d S ]  rL (d S  d L )  0 
(d  d L )
  2 d S d L  d S d L  rL (d S  d L )  0   2    rL S 0 .
dS dL
4GM L
Now, after considering the (2.3) (see below) for a generic φ (   ), we get:
rL c 2
4GM L (d S  d L )
 2    0 (1.2)
c2 dS dL
4GM L
(The big calculation is really in the proof for the (2.3), that is the   , which is the
rL c 2
deflection of light grazing the surface of the “lens”. Such an equation will be obtained at
point 2, indeed, but also in the appendix.)
 1 16GM L (d S  d L )
Solutions are: 1, 2   2  and we have: 1   2   and:
2 2 c2 dS dL
4GM L (d S  d L )
1 2   , so:
c2 dS dL
1 2c 2
dS dL
ML   (1.3)
4G (d S  d L )
At last, if the hidden source object is exactly behind the lens and so source + lens +
observer lie on the same line, then it will be α=0, so we will have two identical solutions
θ1 and θ2 (θE):
4GM L (d S  d L )
E  (1.4)
c2 dS dL
The source will appear as a ring, or it will appear in many points anyway, all around the
lens.

Examples of gravitational lenses:

-Quasar QSO 0957+561 A/B , double quasar, with θ1=5,35’’=2,59x10-5 rad and θ2=-0,8’’=
-3,87x10-6 rad. The source is a quasar with redshift zS=1,413 , while the lens (elliptic
galaxy YGKOW G1) has a zL=0,355 . Then, we have: dS=9,1x1025 m=9,6 billions l.y. ;
then: dL=3,6x1025 m=3,82 billions l.y. , so, thanks to the (1.3), we get:
  c2 dS dL
ML   1 2  20,14 10 41 kg  10,17 1011 M Sun (plausible!)
4G (d S  d L )
-Einstein Ring MG1131+0456 at radio wavelength (lens galaxy with zL=0,844 and source
quasar (which looks double) with zS=1,849(?) ).
-Einstein Ring B1938+666 with zL=0,881 and zS=2,059.

-Einstein Cross Q2237+031 (central galaxy (spiral ZW 2237 +030 , 400 mln l.y. distant)
as a lens (zL=0,04) and four images (in a cross) of quasars ( G2237 +0305 - zS=1,69 ,
distance 8 billions l.y.) all around). (Someone points out that there is a bridge of material between
one of the 4 images and the central galaxy)

-Einstein Cross J2211+3050 (lens elliptic galaxy with zL=0,556 (ML=4,5x1010 MSun) and
source remote galaxy, with zS=3,03).

At last, let’s give an example of use of the (1.4) on an Einstein Ring with lens (zL=0,5) at
halfway between observer and source (dS=2dL) and ML=1011 MSun~2x1041 kg :
(being zL relatively small: dL~vL/H= czL/H=6,4x1025 m=6,8 billions l.y.)
18 m
( H  72km /( s  Mpc)  2,338  10 [( ) m] )
s
4GM L (d S  d L ) 2GM L
E  2
 2
 2,15 10 6 rad  0,45' '
c dS dL c dL

2-Time and gravity: gravity slows down the time!

Also gravity slows down the time! On a mountain time elapses faster than down in the
valley. Of course, on the Earth, the difference is imperceptible, but on a neutron star or in
a black hole, that effect is very strong.
E  m0 gH (delta energy from the level difference)
E  h (delta energy due to the freq. decrease of
Photon going down, the photon). From them:   m0 gH h .
with freq. increased
by gravity For a photon, E  h , but in relativity: E  m0c 2 ,
H from which, for a photon: m0  h c 2 and so,
Photon going up, for  :   gH c 2 and as time is the reciprocal of
with freq. decreased
by gravity the frequency, we have:    t t and so:
gH
t  2 t . Therefore, over a time t, we have a slow
c
Fig. 2.1: Mountain, gravity and time. down Δt due to gravity!
We know that the escape velocity of a celestial body whose mass is M and radius R is: V  2GM R . If on that
body an object is cast vertically with the escape velocity, it will quit the gravitational field of that celestial body and will
go towards the infinite, without falling down anymore.
A black hole is a body so compressed (big M and small R) that the escape velocity on its surface reaches the speed of
light and so not even the light can escape, from which the name of black hole; moreover, for what above said, we can
say that in a black hole time is approximately stopped!
gH gdr
Now, jumping back to the time slowing: t  2
t , which can be seen as: dt  2 t and
c c
GM GM
considering that g  2 , it follows that: dt  t 2 2 dr , that is:
r cr
dt GM dr dt GM dr GM
 2 2    2  2  ln t   2  k 
t c r t c r cr
  GM
GM GM
t  k e c 2r
 (e  x  1  x)  t  k (1  )  (t  t0  r  )  t  t0 (1  2 ) 
c 2r cr
1 2GM
( (1  x)  1  x )  t  t0 (1  2 ) . (2.1)
2 cr
On the other hand, we know that the formula for the Lorentz’s contraction has the same
look of that for the time dilation, but with the root at the denominator, so:
2GM
r  r0 / (1  2 ) . (2.2)
cr
Finally, let’s move the source/detector device from the mountains to an elevator:

DETECTOR DETECTOR

approaching
detector

still freefalling
elevator elevator

redshifted redshifted
photon photon

SOURCE SOURCE
A B

Fig. 2.2 A and B: Photon in an elevator, on a vertical path.

-Fig. 2.2 A: the photon finds hard the climbing because of the gravitational redshift of the
Earth.
-Fig. 2.2 B: when the cable is cut, the falling observer doesn’t feel anymore the
gravitational pull, because of the free fall, so the photon doesn’t experience any shift and
the same situation, by principle, should be seen by the observer on the ground; in fact, he
still detects the existence of the gravitational pull (redshift), but simultaneously there is an
approaching-like blueshift of the detector towards the climbing photon, with a mutual
compensation.
-------------------------
-Fig. 2.3 A: the observer in the still elevator sees the photon bending downwards
because of the gravitational pull. The same is seen by the observer on the ground on the
Earth surface.
-Fig. 2.3 B: the cable is then cut and the free falling cancels the gravitational pull for the
falling observer: the photon goes straight ahead. The observer on the ground is in a
gravitational context and sees the photon starting from a higher altitude and arriving at a
lower one, so it bends! Gravity bends the light! On the other hand, while the photon
bends downwards, the detector goes down, so that also the observer on the ground, if in
an elevator/photon context, in the end thinks it’s like if the photon went straight ahead.
 D D
S E S E
O T O T
U E U E
R C R C
C T C T
E O E O
R R freefalling
still
elevator elevator

A B

Observer on Earth
Fig. 2.3 A and B: Photon in an elevator, on a horizontal path.

3-Deflection of light by the Sun.

Now we have to consider that a ray of light (from a star, as an example) which grazes the
Sun is deflected by an angle: ( r0  RS  6,96 108 m and M S  1,98 1030 kg )
4GM
  2
 1,75' '  0,849 105 rad . (3.1)
r0c

0  ()
RS r 

0  (r )

b
r0

Δφ
Fig. 3.1: Deflection of light by the Sun.

We start giving proof of the (3.1) by a first method, but another one will follow, a more
official one, in the appendix. This method is based on the -change of velocity effect- the
light undergoes when it approaches a mass.
We remind of the metric tensor: d 2  c 2 dt 2  dr 2  c 2 dt 2  (dx 2  dy 2  dz 2 ) and also of the
more simple spherical coordinates: d 2  c 2 dt 2  (dr 2  r 2 d 2  r 2 sin 2 d 2 ) . (3.2)
Now, let’s consider again the (2.1) and (2.2):
2GM 2GM
dt  dt0 (1  2 )  dt 2  dt02 (1  2 )  dt02 B(r ) and:
cr cr
 2GM 2GM
dr 2  dr02 /(1  2
)  dr02 (1  2 )  dr02 A(r ) , as, according to Taylor: 1 /(1  x)  (1  x) .
cr cr
Moreover, we have no Lorentz contraction on transversal directions (y and z, as an
example), so, for the (3.2):
d 2  B(r )c 2 dt 2  A(r )dr 2  r 2 d 2  r 2 sin 2 d 2 (3.3)
which is the Schwarzschild Solution.
Moreover, if we consider light radially travelling towards the Sun from far stars, we can
get rid of the components in d and d :
d 2  B(r )c 2 dt 2  A(r )dr 2
Then, being for a photon: d 2  0 , it follows that:
0  B(r )dt 2  A(r )dr 2 ; (3.4)
The speed of light is c  dr dt far from the mass of the Sun, while, close to it, the (3.4)
holds, from which we get: V  dr dt  c( B(r ) A(r ))1 / 2  c , that is, easily:
2GM 2GM 1 / 2 GM GM GM GM GM 2GM
V c  ([1  2
] [1  2
])  [1  2 ] /[1  2 ]  [1  2 ][1  2 ]  [1  2 ]2  [1  ]
rc rc rc rc rc rc rc rc 2
2GM
that is: V  c[1  ].
rc 2

V c V c

Deflection angle

Wavefront
V c
V c
Sun

Fig. 3.2: The velocities of the wavefronts.

With reference to Figure 3.2, the part of wavefront wich is farther from the mass M has
speed c, while the closer one has speed V  c .
y
dx’=V’dt
x dy
dx=Vdt
Plane waves
y r
of light
y=0
x
Sun (M)
R

Fig. 3.3: Drawing for calculations.

Now, with reference to Figure 3.3, we have:

r 2  ( y  R) 2  x 2 (eq. of a circle); (3.5)
now, we apply the operator  y to (3.5), so having:
2r (r y )  2( y  R) , from which: r y  ( y  R) / r and on the surface of the mass M:
r y y 0  R r
V r V r  2GM 2GM r
Now:   (c[1  ])  2 , from which:
y y r y r rc 2
r c y
V 2GM r 2GM R 2GMR
   .
y y 0
r 2c y y 0
r 2c r r 3c
Now, we calculate the difference between the paths dx and dx’ of wavefronts at a vertical
distance y and y+dy, at which light has got velocities V and V’ respectively:

dx’=V’dt and dx=Vdt, from which:

dx’- dx =V’dt-Vdt=dt(V’-V) ; (3.6)
moreover, we have, for Taylor: V '  V  (V y )dy , that is: V 'V  (V y )dy and (3.6)
becomes: dx' dx  (V y )dydt (3.7)
Then, still from Figure 3.3 and from (3.7), we have:
d  (dx' dx) dy  (V y )dt  (V y ) dx V .
The total deflection  from   and   is, by considering that, in such a range, V is
almost always equal to c (except for when it’s right close to M):
  1 1 
   d   (V y ) dx   (V y )dx and, close to the surface of M (y=0):
  V c 

1   2GMR 2GMR   dx 2GMR x 2GMR 2
  
c  r c3
dx 
c 2   ( R 2  x 2 )3 / 2

c 2 R 2 ( R 2  x 2 )1 / 2

c2
 2 , that is:
R


4GM
  2
 1,75' '  0,849 10 5 rad , just like we said at the beginning!!!
rc

Appendix – Another method for the (official) calculation of the deflection of light by
the Sun.

The metric.
First of all, it’s advisable to read my pages: “Differential Geometry” in advance, in order to
have a better understanding of what follows. We still have c=1, as a simplifying
convention. Now, we define a general metric tensor through which a gravitational field is
static and isotropic; static means that the metric tensor does not depend on time, about
its form and its characteristics, with a clear reference to its coefficients. Isotropic means
that there is a dependance from the irrotational invariants; in fact, we know that the norm
of a vector and the scalar product between two vectors are invariant for rotations:
 2   
x 2  x , ( dx ) 2 , x  d x
All this for orthogonal coordinates almost Minkowskian (almost  )
d 2   g  dx  dx , d 2  F (r )dt 2  2 E (r )dtx  dx  D (r )( x  dx) 2  C (r )dx 2 (A.1)
 
r  ( x  x )1 / 2 and in spherical coordinates:
X3

{
z P(r, θ, φ) r sin d
x1  r sin  cos θ

r
x2  r sin  sin  dr

x3  r cos X2 rdθ

x1 φ
x
d 2  F (r )dt 2  2rE (r )dtdr  r 2 D (r )(dr ) 2  C (r )(dr 2  r 2 d 2  r 2 sin 2 d 2 )
Now, we define the linear application t '  t   (r ) and get rid of the non diagonal elements
(combined) by putting:
d rE (r )
 ; there exists a linear rototranslation/application which reduces to a canonical
dr F (r )
form the above quadratic form:
d 2  F (r )dt '2 G (r )dr 2  C (r )(dr 2  r 2 d 2  r 2 sin 2 d 2 ) , with:
E 2 (r )
G ( r )  r 2 ( D (r )  ) . Let’s define r '2  C (r )r 2 ; then, we get the standard form:
F (r )
d 2  B(r ' )dt '2  A(r ' )dr '2  r '2 (d 2  sin 2 d 2 ) (A.2)
C (r ) r dC (r )  2
with B ( r ' )  F ( r ) A( r ' )  (1  )(1  ) .
G (r ) 2C ( r ) dr
We are now interested in the standard form (A.2):
d 2  B(r )dt 2  A(r )dr 2  r 2 (d 2  sin 2 d 2 ) and through a comparison with the general
expression of the metric (A.1), we get: g rr  A(r ) , g  r 2 , g  r 2 sin 2  ,
g tt   B(r ) and as g  is orthogonal, we have that: g rr  A1 (r ) , g   r 2 ,
g   r 2 sin 2  , g tt   B 1 (r ) .
1 g g g
Then, as we know that:  
 g  (  
    ) , (A.3)
2 x x x
it comes out that the only non zero quantities are:
1 dA(r ) r r sin 2  1 dB ( r ) 1
rr 
r
,   
r
,  r
   , ttr  , r  r  ,
2 A(r ) dr A(r ) A(r ) 2 A(r ) dr r
 1   1 dB(r )
   sin  cos , r  r  ,     cot  , trt  rtt  .
r 2 B(r ) dr
Now, we calculate the Ricci tensor (    in

        k 
R  (  )
 k  (  )
k    
 k   
k      k  k  ):
x
k
x k

    
Rk  k  k   
k  k  
and we remind that is symmetric over  and k ,
x x x k
also by a direct verification; therefore, we totally have:
B' ' (r ) 1 B' (r ) A' (r ) B' (r ) 1 A' (r )
Rrr   ( )(  )
2 B(r ) 4 B(r ) A(r ) B (r ) r A(r )
r A' ( r ) B ' (r ) 1
R  1  (  )
2 A( r ) A( r ) B ( r ) A( r )
B' ' (r ) 1 B' (r ) A' (r ) B ' (r ) 1 B' (r )
R  sin 2   R , Rtt    ( )(  ) , R  0 for    .
2 A(r ) 4 A(r ) A(r ) B(r ) r A(r )

The Schwarschild’s Solution.

We already know that: d 2  B(r )dt 2  A(r )dr 2  r 2 d 2  r 2 sin 2 d 2
Moreover, in the vacuum R  0 , so:
Rrr  R  Rtt  0 ; (A.4)
moreover, we notice that:
Rrr Rtt 1 A' B' A' B'
   (  ) and for the (A.4), we have:   , that is:
A B rA A B A B
A( r ) B ( r )  const . (A.5)
Then, for r   , the metric tensor g  must get close to the Minkowski’s tensor   in
spherical coordinates, that is: lim r   A(r )  lim r   B(r )  1 , from which, for the (A.5):
1
A(r )  and by using this one in the expressions for R and Rrr , we have:
B (r )
B ' ' ( r ) B ' ( r ) R ' ( r )
R  1  B' (r )r  B(r ) and Rrr    ; by putting R  0 , we have:
2 B ( r ) rB( r ) 2rB( r )
d
rB (r )  rB ' (r )  B (r )  1 , from which: rB(r )  r  const .
dr
Moreover, for r   (Newtonian limit, see next point (A.8)): g tt  g 00   B  1  2 
GM 2GM 2GM 1
(   )  B ( r )  [1  ] and A( r )  [1  ] and so, finally:
r r r
2GM 2 2GM 1 2
d 2  [1  ]dt  [1  ] dr  r 2 d 2  r 2 sin 2 d 2 (A.6)
r r
(Schwarschild’s solution)

The geodesic Equation.

A free falling parachutist does not have any floor over which his body can rest; therefore,
he does not detect any gravitational acceleration and he feels as if floating in the vacuum.
He realizes he is falling only if he looks at the moving objects around. Therefore, for a free

falling particle, there is a reference system in which a  0 , that is:
 2 
0 (free falling in Euclidean coordinates)
 2
 2 
with d 2  ik d i d k . But we can see the  0 in the following way:
 2
 2  d   dx    d 2 x   2  dx  dx
0 (  )    
 2
d x d x d 2
x x d d

x
If we multiply both sides by and consider that:
 
  x 
 
   , we’ll have:
x 
d 2 x 
 dx dx

   0 (free falling in curvilinear coordinates)
d 2 d d
(equation of the geodesic, where geodesic, on the Earth, is the shortest path between two
places)
  2  x 
with     .
x x  

The Newtonian limit.

 
We know that in the Newtonian limit (V<<c): d 2  c 2 dt 2  dx 2  c 2 dt 2  V 2 dt 2  c 2 dt 2
This is to say that V ì  dx i / dt  dx i / d  dx 0 / d  dx 0 / dt  d (ct ) / dt  c , that is,
indeed: dx / d  dx / d .
i 0
 d 2 x 
 dx dx

d 2 x dt
The geodesic equation    0 becomes:  00 ( ) 2  0 (with the
d 2
d d d 2
d
convention c=1); moreover, as, in this limit, the field is stationary, g  tends to   (const)
and so the temporal derivatives of g  are zero, and so, according to (A.3):
1 g 1 h
00   g  00 e g    h , with h  1 and so: 00 
    00 and:
2 x 2 x
2
d x 1 dt 2
 ( ) h00  0 from which:
d 2 2 d

d 2x 1
 h00  0 and (A.7)
dt 2 2
d 2t dt
 0 from which:  C . Now, we know from Newton’s gravitation
d 2
d
 mM  GM GM GM
that: ma  G 2 rˆ , from which: a   2 rˆ , but: 2
rˆ  ( )   (con
r r r r

GM  d 2x
  ) and so: a  2   and from both this one and (A.7), we have:
r dt
h00  2  const ; as at infinite: h00    0 , then const=0 and:

g 00  00  h00  1  2  (1  2 ) (A.8)

The general equations of motion.

We know that d 2  B (r )dt 2  A(r )dr 2  r 2 d 2  r 2 sin 2 d 2 and we also consider the
d 2 x 
 dx dx

geodesic equation:   0 (in p generic, for the moment): we have, by
dp 2 dp dp
making  change:
d 2 r A' (r ) dr 2 r d 2 r sin 2  d 2 B ' (r ) dt 2
0  ( )  ( )  ( )  ( ) (A.9)
dp 2 2 A(r ) dp A(r ) dp A(r ) dp 2 A(r ) dp
d 2 2 d dr d
0 2
  sin  cos ( ) 2 (A.10)
dp r dp dp dp
d 2 2 d dr d d
0 2
  2 cot  (A.11)
dp r dp dp dp dp
d 2t B' (r ) dt dr
0  (A.12)
dp 2 B(r ) dp dp
Now, as the field is isotropic, we put    2 and so the last two equations, (A.11) and
(A.12), becomes:
d d d dt
[ln  ln r 2 ]  0 and [ln  ln B ]  0 , from which:
dp dp dp dp
d
r2  J (constant) (A.13)
dp
dt
B  const (=1, by choice) (A.14)
dp
 dt 1
from which:  . Now, by putting (A.13), (A.14) and the condition (    2 ) used
dp B
before, in the (A.9), we’ll have:
d 2 r A' (r ) dr 2 J2 B' (r ) dr
0 2  ( )  3  and by multiplying, now, by 2 A(r ) :
dp 2 A(r ) dp r A(r ) 2 A(r ) B 2 (r ) dp
d dr J2 1
[ A(r )( )2  2  ]  0 that is:
dp dp r B(r )
dr 2 J 2 1
A(r )( )  2    E (constant) (A.15)
dp r B(r )
If now we make a system with the equations (    2 ) just used, then the (A.13), (A.14)
and (A.15), we get: d 2  Edp 2 (A.16)
We know that E=0 for photons and E>0 for material particles.
As A(r) is always positive, we have that the particle can reach r only if (see (A.15)):
J2 1
2
E . Then, by using (A.14) in (A.13), (A.15) and (A.16), we get:
r B(r )
d
r2  JB(r ) (A.17)
dt
A(r ) dr 2 J 2 1
2
( )  2   E (A.18)
B (r ) dt r B (r )
and d 2  EB 2 (r )dt 2 (A.19)
d
Now we know that, for weak fields: B  1  2  r 2  J and
dt
1 dr 2 J 2 1 E
( )  2   (A.20)
2 dt 2r 2
1 1
as:    ( forTaylor )  (1  2 )
B (r ) 1  2
(A.20) has got a similar correspondance in Newton’s classic mechanics.
For general orbits, r=r(φ); then, we know that:

{
d
r2 J
dp
dr 2 J 2 1
A(r )( )  2   E
dp r B(r )
A(r ) dr 2 1 1 E
if we get rid of dp, we have: ( )  2 2  2 , (A.21)
r 4
d r J B (r ) J
whose solution is:
A1 / 2 ( r ) dr
   (A.22)
1 E 1
r2( 2  2  2 )1 / 2
J B(r ) J r
The deflection of light by the Sun.

0  ()
RS r 

0  (r )

b
r0

Fig. A.1: The deflection of light by the Sun.

Δφ

RS  RSun ; b is the collision parameter. At the infinite, b  r sin(   )  r (   ) and:

d dr
 V  r cos(    )  ; V is the motion speed (constant). As at the infinite A=B=1, if
dt dt
we put these two equations in (A.17) and (A.18), we have: J  bV and (A.23)
E  1V 2 (A.24)
(A.24) is trivial; in order to get the (A.23), we see that:
d dr
b  r (   ) , from which: 0  dr (   )  rd , and so: r 2   (   ) r  bV  J
dt dt
1
For r  r0 we have that dr / d  0 and (A.21) then becomes: J  r0 (  1  V 2 )1 / 2 and
B (r0 )
(A.22) becomes, after an easy calculation:
 A1 / 2 (r )dr
 ( r )   ( )   (A.25)
r 2 1 1 1 2 1 1 1/ 2
r [ 2(  1  V )(
2
1 V )  2 ]
r0 B (r ) B (r0 ) r
The total variation of φ is: 2  (r0 )   , while, if the ray of light walked unperturbed, we
would have a variation of  , so, with reference to Fig. A.1, we have:   2  (r0 )     ;
for a photon, V 2  1 and (A.25) yields:
1

 r B (r ) 2 dr
 (r )   ()   A (r )[( )2 ( 0 )  1]
1/ 2
(A.26)
r r0 B(r ) r
Now, by using the (Taylor’s) developments due to Robertson:
GM GM
A(r )  1  2  .... , B(r )  1  2  .... , we have:
r r
GM
1 2  ....
r 2 B(r0 ) r 2 r0 r 1 1
( ) ( ) 1  ( ) [ ]  1  ( )2 [1  2GM (  )  ...]  1 
r0 B (r ) r0 1  2 GM  .... r0 r r0
r
r 2 r 2 (r0  r ) r 2GMr
 [( )  ( ) 2GM  1]  [( )2  1][1   ...]
r0 r0 rr0 r0 r0 (r  r0 )
The last equality can be directly verified. The (A.26) becomes, for Taylor:
 r0 r
(in order to solve the first two integrals, put  cos x , while for the third, put 0  t and
r r
1 t 1st 2nd 3rd
the integral will be )
1 t Int. Int. Int.
1

 1 r 2 2 GM GMr
 (r )   ()   [( )  1] [1    ....]dr
r r r0 r r0 (r  r0 )
(the three terms in the yellow frame come from the product between
GM
A1 / 2 (r )  1   .... and
r
2GMr GMr
[1   ...]1 / 2  [1   ...] , and the fourth has been neglected, as it was much lower than the
r0 (r  r0 ) r0 (r  r0 )
others, as we have to consider that we are under the convention c=1 and in the denominators there would
be some c2 and the fourth neglected term would have been even a c4 at its denominator)
r GM r r  r0
that is:  (r )   ()  sin 1 ( 0 )  [1  1  1  ( 0 ) 2  ]  ... and so:
r r0 r r  r0
4GM 4GM
  , and if we remind our normalization (c=1), we finally have:   ; with
r0 r0c 2
r0  RS  6,95  108 m and M S  1,97  1030 kg , we have:
  1,75' ' , in perfect agreement with experimental results. In reality, when in 1919 the
deflection of star light by the Sun was measured in Brazil, during an eclipse, the accuracy
of the measurement was as big as the measure itself.