Professional Documents
Culture Documents
10.1007/978 3 642 11099 3
10.1007/978 3 642 11099 3
Springer.com
CENTRO INTERNAZIONALE MATEMATICO ESTlVO
(C. I. M. E )
PROBLEMS MATHEMATIQUES
EN
HYDRODYNAMIQUE RELATIVISTE
1. Le cadre geometrique.
La mecanique relativiste des fluides a pour cadre geometrique l'espace-
temps qui est une variete differentiable V de dimension 4, de classe C"',
sur larquelle est donnee une structure pseudo-riemannienne g de signature
+~--. La geometrie de l'espace-temps (V, g) est celle de la connexion rie-
mannienne canoniquement associee a g.
La metrique definie par g est dite de type hyperbolique normal. Elle in-
duit sur l'espace vectoriel tangent Tx (V) en chaque point x de V une
structure d'espace-temps plat de Minkowski. En coordon~es locales (xd.)
on a
(1.2)
(1.3)
(1. 4)
Pharn
2. Le tenseur d'impulsion-energie.
Dans toute theorie relativiste des fluides, Ie premier pas consiste a
choisir l'expression du tenseur d'impulsion-energie T.~ . Chaque expres-
sion de T.,~ definit un schema de fluide. Til, doit @tre symetrique si lIon
veut satisfaire aux equations d'Einstein. Mais pour que T.c, puisse decri-
re un fluide physique, il faut qu'il existe un champ de vecteurs unitaires u·
orhmtes dans Ie temps
(2.1)
pour lequelle scalaire T., if'u' soit positif. u· est dit vecteur vitesse un.!.
taire du fluide et ses trajectoires definissent les lignes de courant.
En fait les fluides reels sont doues de proprietes diverses. Les forces
de liaisons internes qui jouent un rOle fondamental dans I 'etude dynamique
se traduisent par Ie tenseur des pressions propres. Les phenomenes calo-
rifiques introduisent un scalaire 9 dit champ de temperature propre. Les
proprietes electromagnetiques sont susceptihles d'@tre representees par
deux champs de tenseurs antisymetriques H., ,G., comme on Ie verra.
n convient d'autre part d'etudier l'evolution thermodynamique du fluide.
Ces diverses proprietes peuvent @tre envisagees dans une decomposition
geometrique du tenseur d'impulsion-energie.
On est aussi conduit it mettre T.c, sous la forme
(2.2)
- 6-
Pham
(2. 3)
(2.4)
Pham
3. Repere propre.
On appelle repere propre en un point x de I 'espace-temps (V 4' g) un r~
pere orthonorme (V~ ) dont Ie premier vecteur V.' coincide avec Ie vecteur
vitesse unitaire u et dont les trois autres vecteurs Vi! definissent I 'espa-
ce associe a la direction de temps u.
On peut rapporter I 'espace-temps dans Ie voisinage de tout point a un
champ de reperes propres qu 'on supposera differentiable (mais non neces-
sairement integrable). La metrique d 'univers prend alors la forme canonique
r !'
(3.1) _(I) sea)
~I
Oll les u>sont les I-formes duales des champs de vecteurs VJ: i. e. tel-
~',: ~
les que W , V"., >= $ /,-', \,.', etant Ie symbole de Kronecker egal a
<
'It'
.t
I ,
si r
=p.' et 0 si 4 p.'. Les lA.I constituent donc quatre formes de
Pfaff lineairement independantes.
La consideration du repere propre est fort utile. En effet l'espace vecto-
riel tangent T (V) a une structure d'espace-temps de Minkowski Ie repere
x
propre V~ doit Hre identifie a un repere galileenlocal ou Ie fluide a une vi-
tesse nulle. Si on connait les composantes d 'un tenseur t relativement au
repere propre, ses composantes dans un repere quelconque (eod se dedui-
sent des premieres par des formules de transformation connues.
En effet si (A~.) est la matrice de passage du repere (e,) au repere
- 8 -
Pham
CI II 01
(3. 2) A" " u A·,~ = V(~r
0' - (.')
(3.2') "
Ad. = utI A~
" - - Vel
les
(3. 3)
rise par sa densite propre de matiere-energie " son tenseur des pressions
partielles ff.'j' . Son tenseur d'impulsion-energie a pour composantes dans
le repere propre
T,',' =, T·",
,J 11'""
~J
Pham
0.5)
(3. 6)
(3.7)
S
(3.8) TU' = s, W(o)tJ, W(o..,- f.i s~ W(~ ,.W(~)~
- 10 -
Pham
ge est different du repere principal, sauf dans Ie cas d 'un fluide pur OU
(3.1)
II est clair que u' est vecteur propre oriente· dans Ie temps et f la
valeur propre correspondante de (T,,_). Tout repere propre de ce fluide
coincide avec un repere principal qui est indetermine a cause de la va-
leur propre triple ~p.
(4.2) t= r(1+f)
- 11 -
Pham
(4. 3) f 1 +£ + E.r
Dans ces formules et dans la suite, les unites physiques ont ete choi-
sies de maniE~re que la vitesse limite c soit egale a 1. Autrement,
-2 -2
il faudra remplacer E , p par Ec , pc
Le tenseur d'impulsion-energie d 'un fluide parfait non conducteur
de la chaleur prend alors la forme
(4.4)
Pham
I' = ~p r9
" 1f
r r (f, S)
(4.8)
(4. 7))
Pham
(4.8')
On en deduit
TMoreme - Si Ie mouvement du fluide est isentropique (S const. )
Ie systeme differentiel aux lignes de courant se reduit a
(4. 9)
5. Le fluide visqueux.
Pour caracteriser la deformation locale du fluide, nous introduisons
Ia derivee de Lie du tenseur metrique g suivant Ie vecteur vitesse u
nitaire
et nous posons
(5. 1)
~ 14 -
Pham
(5.2)
011
(5.3)
(5.3')
(5.4)
Pham
avec
(9,1)
Les equations qui regissent I'evolution du fluide sont donnees par les
conditions de conservation du tenseur d'impulsion-energie, la conserva
tion du courant de matiere, l'equation de definition de qC(:
'if« (ruG) 0
(9,2)
Pham
(9. 3)
(9.4)
(9. 5)
(9. 6)
(9.7)
- 17 -
Pham
VIII pOi 0
2 • • l+G
(9. 8) q. = -ore (g" - u,.u )I,( -9- )
(9. 11)
- 18 -
Pham
1'ham
(10. 1)
(10.2)
ou i
u
est Ie produit interieur par Ie vecteur vitesse unitaire u. En
composantes, on a
(10.4) e
Pham
Dans les deux dernieres relations Ie signe + provient du fait que sur
une vari~t~ riemannienne I 'op~rateur * satisfait a larelation .. 2
= Eg (-l)P (n-p) oil n = dim V ,p = degre de la forme et £g Ie
signe du det. g. On en cteduit les relations suivantes qui donnent lascorn
composantes
lineairement des cilamps. Dans Ie cas isotrope oil Ie fluide a une per-
mitivit~ dielectrique 1 et une permeabilite magn~tique ", on a
(1 0.7) d =1 e b =}'-h
1 ~,,-1
(10.8) G
,,-
H + - - uAi H
'" u
- 21 -
Pham
soit en composantes
(10.8')
(10.9)
ou
(10.10) dH a
(10. 11) ~G J
(10.12) ~J a
- 22 ~
Pham
(10.13)
Pham
(11. 1)
ou
(11. 3)
(11. 4) 't'cl~
Pham
(11. 5)
de J
(11. 5')
(11. 6)
011
- 25 -
Pham
I
12. Cas ou 'rill, defini par (11.1) est symetrique.
Le tenseur -r., n'est pas symetrique en general. Son antisymetri-
se est (1", -1) (UGI p~ + u, POI ). Comme Uti et Pel sont orthogo -
naux, I 'ant)'symetrise est nul i. e. que 'r_, est symetrique si:
2. - p. = 0,
, I
ce qui est verifi' soit que e. = 0 soit que hot = O.
(12.1)
et
(12.2)
Pham
Le cas h. = 0 conduit a
(13.1)
ou
Pham
conservation
(13. 2)
I 'equation thermodynamique
(13. 3) r 9d S rdf - dp
(13.4) o
(13. 5)
(13. 6)
(13.7)
(13.8)
- 28 -
Pham
(13.9)
diOli par difference ultOct log 1.r = O. Le rapport .lr est dOIlC cons
tant Ie long des lignes de courant, on pose
(13.10) K = 1.
r
(13.11)
- 29 -
Chapitre 2
LE PROBLEME DE CAUCHY
Pham
Pham
I
t LTHEOREME D'EXISTENCE ET D'UNICITE
POUR LES SYSTEMES STRICTEMENT HYPERBOLIQUES
Pham
A(x, D)
r +(A)
x
= n
1
r+(a.)
x 1
r-(A)
X
n 1
r-(a.)
X 1
+
(1. 3) Cx (A) C (A)
x
U Cx- (A)
Pham
2. Systemes de Leray.
Considerons un systeme d'equations aux derivees partielles de N
equations a N inconnues (u i ) et n variables (xIII) qqe l'on ecrit
symboliquement
Pham
les entiers s(i) , t(j) ne sont definis qu 'a une constante additive
pres.
Definition. - On dit que Ie systeme diagonal (2.1) est quasi-li-
neaire au sens de Leray si pour tout i, l'operateur differentiel
a. (x, u, D) est lineaire par rapport aux derivees d 'ordre m{i}, si
1
les relations (2.2) sont verifiees et si les a., b. sont des fonctions
. 1 1 .
suffisamment regulieres de x·, de uJ et des derivees des uJ
d'ordre Ss(i) - t(j) , si s(i} - t(j) < 0 a. et b. sont independa~
1 1
ts de uj .
Ceci etant, Ie probleme de Cauchy pour Ie systeme (2.1) se p~
Pham
Pham
quaiion de Laplace
(3. 1)
(3.2)
(3.3)
(3.4)
ou
Pham
soit
D'autre part
soit
On en deduit
- 37 -
Pham
puis Ie lemme.
Corollaire. - En coordonnees locales quelconques, on a
(3. 6)
ou
(3. 8)
(4.1)
(4.2)
(4. 3)
- 38 -
Pham
(4.4)
(4.5)
"-
K' - 0 sur I
En explicitant l'expression de K~ , on a
Pham
(4.6)
(4. 7) V~K~,lt' = 0
Or
Pham
(4.8)
(5.1)
(5.2)
(5.3)
(5. 5) gH f °
et que sur Z on a
(5. 6)
(5.7)
- 42 -
Pham
(5. 8)
pui celle de
(5. 9)
Pham
g
(JD
-
(1 _ fr ,.; ) u 'u·.,tr 0
si
steme
(5.10)
(5.11)
(5.12)
(5.13)
Pham
(5.14) (d. c. )
(5.16)
(5.17)
oil. les seconds membres sont connus en fonction des donnees de Cau-
chy. (5.14) donne ~ gil' si gel;. 0; (5.15) donne 00 8 si
uO f 0, (5.16) et (5.17) pour ~= 0 determinentalorsO,u',?,f
si Ie determinant du systeme g" - (1 - 1...Q)
r
u' u' f 0; enfin (5. 17)
pour ~ = i donnent 1. u' si u' f o.
- 45 -
Pham
uOf 0
tions suivantes
- 46 -
Pham
v = ~ ;fr
t r~
Sous I 'exigence relativiste on doit avoir.L:.f ~ 1 pour que v 4- 1
r
ce qui entraine que les varietes caracteristiques definissant les on -
des hydrodynamiques doivent Hre orientees dans Ie temps.
(6. 1)
(6.2)
(6.3)
(6.4)
- 47 -
Pham
en f, 1 en uol
(6. 5)
1 en S, 1 en f, 1 en ull )
- 48 -
Pham
2 en S, 2 en f, 2 en ud }
(6.6)
(6.7)
t r! }uclu.] u1 ~OlPr f
[ g'" - (1 - r;t = F (3 en gCII~' 2 en S,
2 en f, 2 en u GI )
Pham
= q (3 en gOl~' 2 en S, 2 en f, 2 en uCl)
Nous avons ainsi trans forme Ie systeme (6.1), (6. 2~, (6.3), (6.4) en
Ie systeme diagonal suivant.
- 50 -
Pham
(6.11)
2 en f, 2 en u at )
(6.11)
2 en f, 2 en u«
m(~~) 2 0,1,2,3
m(11) = 1
m(12) 3
Pham
~ 0 0 0 l 0 0 0
0 0 4 0 0 0
~ t 1 $ ! t
,
l )
~ l t 3 ~ t t
Nous voyons que l'ordre maximum des derivations ainsi que l'ordre des
operateurs differentiels a(i) est compatible avec Ie choix des indices.
Nous avons ainsi montre que Ie systeme (6.9), (6.10), (6.11), (6.12)
est un systeme quasi-lineaire au sens de Leray.
Montrons que c 'est un systeme strictement hyperbolique.
Les donnees de Cauchy sur 1: sont par example les series formelles
calculees au • 5 (il suffit de prendre la somme des n premiers ter-
mes, pour n convenablel. Leurs derivees d'ordre 's(i)+J sont mani
festement de carres localement integrables. Nous supposons de plus que
les donnees d~ Cauchy (gtA~, 0, g •• ' S) sur 1. satisfont aux conditions:
1) la forme quadratique gel~ x· X. est hyperbolique nor-male
- 52 -
Pham
dMini par
(6.12)
r
Sous I 'hypothese11"1 , nous voyons que l'intersections de ces
x
r
trois demi-cOnes r + (cl~), r+ (11), + (12) =
x x x
r
+ (N) n'est autre
Ph am
S ,1,s, ?.,S
f, 'a,f, ?'of
ot ~.I\
U ,110 U, '00 Ud
Ph am
Chapitre 3 Pham
(1. 1) ulA
Pham
(2.1)
On posera
(2.2)
(2.3)
- 57 -
Pham
dt
(2.4) Sx > dt
(2.5)
d ~F ?F
(2.6)
ill ~ xii - 'fX"
les Pc( ne sont autres que les premiers membres des equations d'Eu
ler du calcul des variations. ix est un vecteur.
Si C n'est pas dans un ouvert de coordonnees locales, on la re -
couvre par un nombre fini de cartes locales et on peut etudier la varia
tion de l'integrale qui est la m~me.
- 58 -
Pham
(3. 1)
(3.2)
~F fg", x. ~
~F ~fg~r x·~·r 1
x + Zf 0.ilg~r x~ x"'
, --
to ~U ~g ').,. x~~,.,. 'hOi Vg,.~ x~ x'"
111." II.
(3.3) Pat = f [ u 'd. u~ - (g, - u u~
(I
'atl/ ]
(3.4)
- 59 -
Pham
(3. 6)
(3 7\
re
(3.8)
~ 60 -
Pham
Vis a vis de cette metrique, l'arc de courbe est defini par ds = fds,
de sorte que les lignes de courant sont definies comme extl'e nales de
(3.9)
(3.10)
-II -
(3.11) C VA C~ = 0
Pham
(4.2)
(4.3)
L'integrale de la forme
n dW
dx
dS
Gl
- u·
et fU definit un invariant integral relatif. La 2-forme .n joue un rOle
fondamental dans la description du mouvement. Elle admet l'expression
- 62 -
Pham
locale
(4.4)
(4. 5) ~cll = 0
C"n.,
En introduisant la connexion riemannienne associee a la metrique con-
forme g, on obtient
-111- -
Comme C(I. est unitaire, C V~ CC( = 0 et d' autre part est un
champ geodesiique d'apres (3. 11) , on a bien i/l. = o.
La 2-forme 12 est une forme invariante par Ie systeme differentiel
aux lignes de courant. Nous allons rechercher tous les systemes diffe
- r3 -
Pham
Pham
miere, on voit que CCII = fUg( differe de uCl( par des termes en e-2
o
.0•• = 0« C~ -,,~ Cal differe de .a«~ = ~OI u. -U, UO( par des termes
-2
en C
TMoreme. - Le tenseur tombillon satisfait aux equations de Helm-
holtz
(5. 1)
E;n effet un caIcul simple montre que ces equations sont une conse-
quence de I 'equation 1/2 = 0 qui exprime que n. est une forme
invariante. On fait Ie caIcul en metrique initiale (V, g).
Definition. - On dit qu 'un mouvement du fluide est rotationnel si
.n f 0 et irrJtationnel si !l = o.
Theoreme. - Pour qu 'un mouvement du fluide parfait isentropique
soit irrotation:aH, il faut et il suffit que les lignes de courant soient
orthogonales a une m~me hypersurface (locale).
En effet soit Z une hypersurface orientee dans I 'espace telle que
ntC~ = 0 sur I . On peut choisir des coordonnees locales telles que
!. soit representee par x O= 0 et que Ies lignes de courant par
x~ = const.. (coordonnees de Gauss). Les equations de Helmholtz mon
trent alors que 10.0 11 , = O. 11 en resulte que l1 Gl , = 0 au voisinage
de 1. .
6. Vecteur tourbillon.
On suppose que Ie mouvement est irrotationnel. Au point x 6 'Ill e-
tudions Ie 2-plan ltlt ferme des vecteurs x oC
caracteristiques i. e.
tels que
(6. 1)
-65-
Pham
(6. 2) o
(6. 3)
dx Cl =
dt
e'
admet la 2-forme.n. comme forme invariante. On en deduit imme-
diatement les proprietes suivantes:
Theoreme. - Etant donne un cycle r a une dimension non tangent
aux lignes de tourbillon, la circulation du vecteur tourbillon Ie long
de r reste invariante quand on deforme r sur Ie tube de tourbillons
-66-
Pham
defini par r, ,
Soit " un tube de lignes de courant, r et r deux cycles hom~
topes sur " ' Chacun de ces cycles definit un tube de tourbillons,
soit e et 6)', Soit r4 un cycle sur e homoiope a r , Alors,
Ie tube de courant passant par ~ coupe Ie tube de tourbillons ®
suivant un cycle rj' homol 'Ope a r' , Comme OJ est un invariant
integral relatif pour les lignes de courant et aussi pour les lignes de
tourbillons, on 3.
Pham
• ~ • MOUVEMENTS PERMANENTS
7, :Espaee-temps stationnaire,
On dit qu 'un espace-temps (V 4' g) est stationnaire s'il existe un
groupe connexe d'isometri~s globales a un parametre ne laissant in-
variant aucun point de V4' a trajectoires orientees dans Ie temps
et tel que
1} chaque trajectoire ~ est homeJmorphe a R
2} il existe une variete differentiable V3 a trois dimensions et
un diffeomorphisme V4 .... V3 It R appliquant les trajectoires % sur
la droite facteur R
V4 apparait comme une variete fibree triviale de base V3 de fi
bre type R' Les fibres sont des trajectoires d'isometries, On les
appelle les lignes de temps, On appelle espace la variete de base V3'
Celle-ci est diffeomorphe a la variete quotient de V4 par la relation
d 'equivalence definie par Ie groupe d'isometries,
Si t est Ie vecteur generateur infinitesimal du groupe d'isome -
tries il satisfal.t aux equations de Killing
(7. 1)
Pham
.
(7. 2) ~o ,~ " 0
spit
(7.3) g
oli
(7.4)
- 69 -
Pham
definit une metrique definie negative sur les sections d'espace. EI-
Ie est invariante par tout changement de systeme de coordonnees a -
daptee de la forme
A
On munira V3 de cette metrique g
8. Mouvement permanent.
On dit que Ie mouvement du fluide parfait isentropique est perma -
nent si I' espace -temps stationnaire et si Ie groupe d'isometries laisse
invariants l'indice f et Ie vecteur vitesse unitaire i. e.
(8. 1) o
(8. 2) a, f 0 ~D Ull( 0
Pham
(8. 3)
Pham
Or il est manifeste que J,'" = 0 ce qui veut dir que Ie systeme di.!
ferentiel aux lignes de courant admet la transformee infinitesimale J'
on en cteduit egalement Jt II) = 0 . II vient
(8.4)
2
- v
- 72 -
Pham
d'ou
2 2
(9. 1) (uo) g,o(1+v)
2 2
(9.2) f U (1 + v ) = const .
.1
On en deduit aux termes en C pres
+ v2 + fP dp
r
const.
Po
- 13 -
Pham
(10,1) w
(10,2) ,.[
o h
- 74 -
Pham
(10.3)
(10.5)
et lion a
On a demontre Ie theoreme.
TMoreme. - Les projections sur Vn des extremales (E h ) pour
une valeur h donne sont les extl'emales de la function L. Elles
- 75 -
Pham
(11. 1)
(11. 2) L l - h~'
L 'elimination donne
g . x~
(11. 3) L + h ....!L-
gIl
o, on a
(11. 4) + g ..
~J
On supposera go~
.r0 .
x~ Le procede de descente conduit a eli-
- 76 -
Pham
L = £- h x G
L 'elimination donne
(11. 5) L
en d"nvan
.t.· t par rappor t d>. x' • , on a h ...r go. x ." , ce qui montre
- 77 -
Pham
(12.1) lim
h+c»
(12.2)
A
II =H - -
I 1"· ~ .j
g ij x x
goo
(12. 3)
(12.4) L
(12.5) x'= -
Pham
(13.1)
1 o
2
(13.2) gllO - (1 - w ) u, u,
2 1
ou w est Ie carre de la vitesse de propagation de la lumiere
-;;;:
dans Ie fluide.
Si nous introduisons la grandeur d'espace du vecteur vitesse unitaire
ulll relativement a la direction de temps ~, .,1 = - g~j u~ u j , on a
vu que
2 2
(u.) t: g •• (1 + v )
- 79 -
Pham
2 2 2 2
(13. 3) goo = goo (v w + W - v )
-
goo peut changer de signe.
En appliquant les formules du paragraphe precedent, on obtient Ie
theoreme suivant qui donne la loi de propagation de la lumiere dans
I 'espace.
Theoreme. - Si Ie mouvement du fluide est permanent et tel que
g., to, les rayons lumineux dans I' espace sont les extremales de
l'integrale
go~ x·
f'[E£1
}o
jXI
(13.4)
" du
x,
goo
glj x~ ~j - -..---
g,. ] du
Xo
dx~
ou x~ pour des variations a extremites fixes dans V 3 . Le
du '
temps mis par un rayon pour aller du point Xo au point x 4 est don
ne par
(13.5)
II est extremum .
Dans Ie cas g.o = 0 , on a
(13. 6) JXIA
Xo
du = f4Xo
gO
2g.~
x x
. ~ •j
*' du
-.
f' f' xj
~
(13.7) dt
=
- gil x
2g,:, xl du
x. Xo
- 80 -
Pham
et la metrique associee
dr
Pham
(14. 1)
1 - V2 2
+ --2 (~;dx~)
1 - ~
(14.2)
que l'on peut mettre sous la forme canonique par une decomposition en
carres . Si V2 f ~2 , on obtient
1-~ 2 [ V-~
2 2 D
- 22 --2- dx +
2
(1-V)~
2 dx
I J' -
2 2
(1-~)V
V -f 1-' 1_~ V 2 _ ~2
- 82 -
Pham
2
et I 'on voit que pour V ~, rR2 on a la signature + - - - et pour
2 2
V < ~ la signature - + - - . Pour V2= rII. 2., on obtient
dt
Vi - H
I O_V2) ( ,d)
d v2.. ~a
S1· V2 _,,2./.
r T 0 ,cette re IatlOn
' d onne
/1. 2 W 2 2 ~ 2
1-"12 -(1-r) (1- V ) (1- W fi A) 0
Si on interprete
..
V comme vitesse absolue et
~
W comme vitesse reJafuB
de propagation de la lumiere , on a manifestement
(14. 3)
-2 ....P + 2W·. .;. ...P + (W.... . -~ )- - W11'1]
W +
2. ....
P
On verifie par un calcul direct que cette relation reste valable dans Ie
cas V 2= ~ 2 . C 'est la formule relativiste de la composition des vites
ses. Il est aise de verifier qu 'on peut la mettre sous la forme
- 83 -
Pham
Pham
Pham
(C. 1. M. E. )
A. LICHNEROWICZ
Introduction.
On sait 1'importance mathematique et physique prise recemment par la
magnetohydrodynamique relativiste. Dans ce cadre, on s'est propose d'e-
tudier en ctetailles ondes infinitesimales et les ondes de choc. L 'extension
relativiste des conditions de compressibilite de Hermann Weil joue dans la
theorie developpee un rOle important.
On a introduit systematiquement un instrument mathematique commode
(les tenseurs-distributions) par 1'analyse des differentes ondes. Cet instru-
ment est d'abord applique en hydrodynamique, a l'etude des ondes soniques
et des rayons correspondants.
En passant au cadre de la magnetohydrodynamique, on etudie ensuite
successivement Ie systeme differentiel fondamental, la structure des ondes
magnetosoniques et des ondes d 'Alfven, les rayons correspondants, enfin les
ondes de choc qui font 1'objet d 'une analyse detaillee. On etablit en particulier
grs.ce a 1'introduction d 'une fonction d 'Hugoniilt convenable, un important
theoreme d 'existence et d 'unicite par les solutions non triviales des equa-
tions de choc.
En traitant les ondes magnetosoniques par Ie formalisme des ondes de
choc, on met en evidence Ia non-invariance de la direction des rayons par
I 'operateur de disci.ntinuite infinitesimale.
Ces le90ns qui se suffisent a elles-m~mes represent une synthese de
certains de mes travaux durant la periode 1966-69
- Tenseurs-distributions
II - Hydrodynamique relativiste
III - Les equations de la magnetohydrodynamique relativiste
- 90 -
Lichnerowicz
Lichnerowicz
1. TENSEURS-DISTRIBUTIONS ET DISCONTINUITES
2 r::I. ()
ds =g dx dx P (01, (3 =0, 1"", n-l),
Cl(j
0/1. , , CXfi'
(T, U) = T (x)U (x)
x ()( I' , 'O(p
h
SoH D(p, V ) l'espace des p-tenseurs
n
a support compact de classe C sur
V, Si T est un p-tenseur localement sommable arbitraire, nous pouvons
n
pos~r pour U E D(p, V ):
n
(1. 1)
(1. 2) 1J,='VAr.
jgl
0
dx ;\ .. , ;\ dx
n-1
,
Lichnerowicz
0( l' , ,0<
U=U P eo(1 ®, , .8> eo<p
On a:
oll' , ,0(
=T U P
o(l'''~
et T admet bien l'expression (1. 3), Ainsi, dans Ie domaine d'un systeme
de coordonnees locales, tout p-tenseur-distribution peut ~tre, comme un p-
tenseur ordinaire, rapporte aces coordonnees, les composantes etant des
scalmrres-distributions, Nous supposons maintenant h, k ~2,
c) Soit T un p-tenseur ordinaire, \7 T sa derivee covariante dans la
connexion riemannienne, Si U e D (p+l, V )
n
<'VT,U)
Le premier terme due sec-ond membre est nul. On introduit ainsi I 'operateur
~ de coderivation sur les (p+1)-tenseurs, definispar:
- 94 -
Lichnerowicz
(2. 1)
(2.2)
- 95 -
Liehnerowiez
Si (J et Wi- sont deux formes de eel te, classe, il existe une (n- 2)-forme
).I. telle que W'= c..J +dfAf. Soit 'dno et d.o lIes bords orientes sur L
de .n 0 et 11 1 (d U o =- d .n1). D'apres la remarque preeedente, l'in-
tegrale:
d<p est la mesure de Dirac relative a q> ; son support est porte par L.
c) Proposons-nous d 'evaluer les tenseurs-distributions derives des sea-
laires-distributions yO et yl. A eet effet, introduisons dans Il un sy-
0
steme de eoordonnees
0(
(y ) tel que y = f; dans ee systeme 1 a pour eom-
posantes 1'=1,1.=0 (i,j =1,2, ... ,n-l). Del'expression de ty) on cteduit
O I L
que la (n-l)-forme
n-l
w {,;j dy~ ... 1\ dy
soit
- 96 -
Lichnerowicz
<r7Vy1, U > = - fo
~nl
uo,W
'V Igi dy 1A ... I\.dy n-l =..i anI 10< Uc;I.W =(10,
"(
U )-
o
En raisonnant sur Y , on obtient ainsi:
(2.4)
(2. 5)
Lichnerowicz
[TJ =T - T
1 0
avec:
o - 0
V(Y T)=- Ih®T +y V T
o
(3.2)
Lichnerowicz
OU V.1 ~ =L
• 1
JI =0. D 'apres les_ hypotheses de convergence uniforme
V.1 [T] =['V.TJ
1
. Ainsi l'on a b ["Y.TJ
1
= \7.(
1
~ [TJ). Il en resulte qIT'il
existe un p-tenseur distribution ~ T, a support sur 1.. , tel que l'on
ait la formule:
(3. 3)
(3.4)
J : TE~ --+ ~T
b(aT+bU) = a bT+b ~U
Lichnerowicz
soit:
(4. 1)
Lichnerowicz
soit:
Lichnerowicz
(5. 1)
2 E.
f=cr(1+2)
c
2 £ p
o+p = c r (1+-+--)
) 2 2
c c r
Nous posons
i
f = 1 +-
c2
(f) 2
(5.2) To{ ~ = c rfud. ul?> - pg()( ~
- 102 -
Lichnerowicz
(5.3)
(5.4)
(5. 5)
(5. 6)
- 10:3 -
Lichnerowicz
(5.7)
soit:
(5.8)
(5.9)
Le systeme (5.4), (5.5) est equivalent au systeme forme par (5.4), (5.8)
et Ie systeme differentiel (5.9) aux lignes de courant.
Lichnerowicz
(v E )2 l.
(6.1) - 2 - =y avec
c
I..
On voit que, quel que soit l~ y est positif et que l'on a:
Lichnerowicz
De (5. 3) on deduit:
(6.3)
2
de telle sorte que l' =c fr~. La relation (6.2) peut s'ecrire:
(6.2')
ce qui s'ecrit:
(6.4)
(6.5)
(6.6)
- 106 -
Lichnerowicz
Pour uc( 10(=0, 68 peut ~tre non-nulle. On obtient ainsi les hypersurfaces
engendrees par des lignes de courant, dites ondes d'eutropie (ou de ma-
tiere). Leur vitesse par rapport au fluide est nulle.
8upposons uo(lOl./o; on a b 8=0 de (6.6) il r~sulte que si ~p=O, on
a bu~ =0. Nous sommes ainsi conduits d'apres (6.4) a multiplier' (6.6)
(6.7)
qui est l'equation aux ondes soniques du fluide; (6.7) exprime que des
Lichnerowicz
Nous postulons dans la suite que v<:c (ou 1>1), ce qui revient a postuler
que les ondes soniques sont orientees dans Ie temps. Pour que v soit
<c, il faut et il suffit d'apres (6.3) que 'r;/ soit..( 0
c) Pour l' > 1, Ie tenseur hol (3 defini~e forme quadratique de type
hyperbolique normal; ho(r.> designe Ie tenseur covariant inverse de hol~.
La generatrice de contact de L., onde sonique, avec Ie cOne est definie
par Ie vecteur:
(6.8)
(6. 9)
(7. 1)
- 108 -
Lichnerowicz
(7 3)
0 ~[\7o(~sJ =lo(l~S
(70 4) ~[~O/ ~ u] = \10( II!- ~ u" +lol 'V~ ~ul). +1~ ~c( bu~ +10( l~ ul).
Lichne rowic z
(7. 6)
(7.7)
Lichnerowicz
soit:
(7.9)
~ gO/~ = 0
On peut mettre les equ ations fondamentales relatives aux ondes soniques
sous une forme commode.
En ecrivant (5.4) de part et d'autre de f- et retranchant, il vient im-
mediatement
- 111 -
Lichnerowicz
Ainsi Ie scalaire:
et Ie vecteur,:
(7.11)
(7.12) W
~ =
2 ~ 2 ueXIo(
c afv +(c af - - - p) 1
~
10\ 10(,
~ (fv ~)=o
Lichnerowicz
8. Hypotheses de compressibilite.
a) J'ai ete conduit a adopter par les iluides parfaits relativistes
les hypotheses de compressibilite suivantes portant sur la fonction
"t (p, S), Dans Ie domaine envisage des variables p et S, on suppose
que l'on a:
'(;'p (0
et la condition de convexite:
~ ~2 >0
L'inegalite rr'p <0 exprime que vest <c ou que les ondes soni-
ques sont orientees dans Ie temps. Les hypotheses (HI) et (H 2) se re-
duisent a l'approximation classique aux hypotheses usuelles dites de
Hermann-Weil et nous montrerons qu 'elles jouent Ie m~me rMe qu 'elles,
pour la thermodynamique des ondes de chac en hydrodynamique et ma-
gnetohydrodynamique (relativistes). On verifie facilement que 7:: I <.0
p
implique les deux autres conditions par 1es gaz polytropiques relativi-
stes. Dans des travaux encore partiellement inedits Israel et Lucquiaud
en ont donne des justifications du point de vue de la mecanique stati-
stique
b) En inversant la fonction 1:' = (;' (p, S), on obtient line fonction
p=p ("t', S) exprimant la pression en fonction des variables -"t; et S. On
a identiquement en 't et S
Lichenerowicz
Nous nous proposons d 'evaluer les derivees partielles de p(~ S), Par
derivation de (8. 1) par rapport a p, a S constant, il vient:
/
(8. 2) p' 'U =1
1; P
On en deduit:
(8.3) p' =
'C 't~
II en resulte:
'C"S
(8.4) p' = - - -
S t;'p
lites Pz,<o, Ps ~o .
c) En derivant (8.2) par rapport a p, a S constant, il vient:
On en deduit:
(8.5) "
P'\;'2
Lichnerowicz
01..
e~ =l!l Ho{~
J~ = -VUP-:> + ()e~
(9. 1)
ou l'on a pose:
(9.2)
Lichnerowicz
(9.3) """~
Vo( (u n -no{(O
u )=0
(10. 1)
(10. 2)
(10. 3)
- 117 -
Lichnerowicz
c 'est-a.-dire:
\7 2 eX. 0(
Yo<. (c rfu )-u 00( p =0
(10.6)
Lichnerowicz
En developpant, il vient:
2 JL Ihi 201.~\7
(c rf+
C<" 1 0<\71121120(
)u h Vo( u~ -h CJo( P - '2 Jih Yo{ h + p.- h \/0( h +
2 2 0( ~r1 C(
(c rf+ )-l~hl )u u ~ h[:J Hi ()().p- fA' Ih.12 \7vol... h0(- =0
Lichnerowicz
2\7 O<DI.
(10.8) c rf Vr;I. h +h ~p =0
~ [~SJ =k ~ S
rV h~J
- rJ..
=1
0(
~ h~
Etudions a quelle continion l'une au moins des distributions ~ p, Js,
~ u ~, J h~ est non nulle.
Le systeme differentiel (9.2), .(9.3), (9.4) est equivalent au systeme
differentiel forme par (9.2), (9.3), (10.6), (10.7), Les relations (9.2)
et (10. 6) donnent d 'abord, exactement comme dans Ie cas de l'hydrody-
namique:
(11.1)
et
(11. 2) (uc( 1 )
0,
JS =0
Lichnerowicz
identique a celui du § 6:
(11.3)
+ ]A- fttc{ 10( )u~ ~ Ih 12 + Ji Ihl 2 u~ Ie{ ~ uo(_ f" h~ 10( ~hO< -f(ho( lo()J Jl =0
Pour ucJ.lo\ =0, JS peut t!tre nulle et on obtient de nouveau les ondes
de matiere. Nous supposons dans la suite uo/ lCl{FO et par suite dS=O.
b) Des relations (10.2) et (10.3), consequences des equations de
Maxwell, on deduit les relations suivantes consequences de (11. 3):
2 (0/ 0( (
(11.6) crflolu h +olo(c)p=O
- 121 -
Lichnerowicz
Notons que comme bs=o, il resulte de (5.3) ()p=c 2r ~f. Par suite
(11.6) peut s'ecrire:
c'est-'a-dire:
Lichnerowicz
c 'est-a.-dire:
~
{c 2rf(uO< 10/ + Jl'lh121 f 1 } (u"\.( )1~ bu~ -(uollo()2(1 ~ 1~ -f) 1,e )2) ~ p-
et (11. 6) soit:
ot { 2 (~
(h 10{) c> p+c rn~ U h =0
H: 2
c rf O(u~ 10{) 0
hOi 1 2
0 C/ c rf
Lichnerowicz
Lichnerowicz
de courant dlequation
et lIon voit que les ondes dlAlfven sont engendrees par les trajectoires
des champt de vecteurs:
- 125 -
Lichnerowicz
i- = ~ ual +hol
ce qui d~finit deux types d'ondes dites ondes A ou ondes B. On note que:
r
y ~o
(12.1) (l-y
1.. 0( 2 r.o(
)(u 10() = -y (1 10()
Lichnerowicz
c'est-a-dire
On obtient
ce qui etablit Ie 10. Pour que I 'egalite ait lieu il faut et il suffit que
si nou~ decomposons I selon un vecteur colineaire a u et un vectaur
k orthogonal a u, k soit colineaire a h, ce qui ctemontre Ie 20.
b) En introduisant h 2, Ie polynome P(l) peut s'ecrire:
n
Lichnerowicz
(12. 2)
(12. 3)
suivantes
D'autre part:
2
-rr v
1\ (-:d
c
.. .
f\lO~l 1\ Y a d eux zeros
1\ () • en t re O
et lque " "eSlgnons par y :VlL et
dnous
y "vIR. II eXlste
. d one pour.1es rmdes magnetosomques
.. . et par rapport au
Lichnerowicz
f1 Ul'd e d
eux '
vltesses v IVlL et v MR , d'f"
e lmes par (v:VfL)2/,c 2 c y NfL et
(V 1\11''1)2/Ie 2=y MR ,satlsialsant
.. . 1
es' 'mega
< 1"ltes:
ML :YIn
(12.4) v ~ v~ v <" c
lViL . i\iIn
v e s t (hte vitesse des ~lDdes magnetosoniques 1entes et v
vitesse des ondes magnetoeoniques rapides.
?
c) En introduisant h~ dans D(l), on a:
n
2
(12. 5) )-I.hn _)
2 2
c rf+yl h]
Ainsi les ondes d 'Alfven admettent par rapport au fluide une vitesse
A
v donne par:
(V A)2 -'
(12.6) --2-
c
Evaluons:
(12. 7)
i\IL ~ A/ .Im
v ~ v ~ v
c~
r go{ ~ 10( l~ =0
Lichnerowicz
e ~ u
o
1 =t 1 = "K 1 = y 1 = z
o 1 2 " 3
Avec ces notations, nous obtenons pour les differents cbnes les equations
explicites:
222 2
t -x -y -z = 0
t = 0
2 42 222222
c rf(1' -l)t +(c rf+ flh\ (t -x -y -z )- i')t
r 222 2
t -x -y ··z = 0
P, 2 1 4 -2 2 2 2 2 2 2 2 2 2 2
(l~ -l)('¥-d t +(~ +'i'-l)t (t -x -y -z )-z (t -x -y -z )=0
-22 2
~ t -z = 0
Lichnerowicz
2 2 2
1-x -y -z =0
-2
~ l' -( P
-2
+ r -l){x +y +z }-z {l-x -y -z }=o
2 2 2 2 2 2 2
z =t.~
2 2
Y +z =1
z = ±~
et par SH a la quartique:
CH : ~
-?
Wi -( -2 2 2 2
~ +~ -l){y +z }-z {l-y -z )=0
2 2
2
Y = -
(z
2
-1 2 -?
){z - \? ~}
2 ?
Pour z = l' et on a y'"=0 et elI admet les asymptotes
1:'
.) -'J
z-= f.> ~+ -1.
- 132 -
Lichnerowicz
- 2
Nous appelons cas general Ie cas ou l'
f ~ . Par exemple pour
-2
l' t... ~ , on a pour CH Ia forme de Ia fig. 1; H est decomposee r
topologiquement en deux parties
et rH r
Hila partie exterieure
1 . . 2'... l~
~H correspond aux ondes Ientes et 1a partle lllt.::rleUre H aux
2
ondes rapides.
Nous appelons cas singulier Ie cas ou 'Y = ~-2 , c'est-a-dire ou:
2
v
(13.1)
2 2 2
c c rf+ J-"Ihl
------.~--"-=- -- - -
/
/
/
-, "-
\
/
\
0 I
\ I J
'- ...... /
fig. 1 fig. 2
- 133 -
Lichnerowicz
r 2 2
Le cCne ~H admet deux generatdcessingulieres x=O, y=O, z =1' t
contenues dans Ie 2-plan 11 defini par ru et h,
Dans tous les cas, rA est l'ensemble des deux hyperplans z=± ~t;
leur intersection est Ie 2-plan n I defini par z=O, k=O, c'est-a-dire
l'orthocomplement du 2-plan n, Dans Ie cas general les hyperplans
r A sont tangents a r H le long des generatrices contenues dans 1T
et dMinieS par z2= ~2 t 2 , Dans Ie cas singulier, ils passent par ces
generatrices qui sont les generatrices singulieres,
L'intersection de l'hyperplan r (t =0) soit avec r H, soit avec
chacun des hyperplans de, rAn lest autre que Ie 2-plan TT
I'H n rA,
I,
- 2 2 J 2 - 2 2 2)
- ~ t L t (1- ~ )-x -y = J °
soit apres simplifications:
Lichnerowicz
c'est-a-dire
(14.1)
I() P(l)
2
'C)1~
soit:
Lichnerowicz
~ Vc ~ ~ 'A -~
(14.7) ~['Vo( V~h 'A] = 'Yo( l~ ~ h +lc;( /?> ¢h +1~ ~ h +1",-1(0 h
- 137 -
Lichnerowicz
(14.9)
et
(14.11)
Lichnerowicz
+}J-uo/ u~~[Y'c{ V~ Ihl 2J+t l h\2l ~[V~~o(uo/J -2Jh~ ~ [V~ Vo( ho(] ~ 0
~- [ 1 - ~
2
c rf u b ~Vo( u
01.1
_(go(l~P. j?l
_ur:i.. u )
-
b [Vo( ~pJ - 2"JL 6 LV~'i~Ihl 2 J+
+t{2 h\2 I u~ ~[~ ~ u1 +uol.u~b[V~~ Ih\2] -2h~ ~ [~~h1]~0
ou la seconde ligne disparait en vertu de (14.10). En utilisant (14.8) il
vient:
(14.13)
Introduisons l'expression:
On a:
Lichnerowicz
u u -h h
soit en ordonnant:
soit:
Lichnerowicz
(14.16) 2 { c 2rf ("t _l)(uol. 10( )3u~ +c 2rf(u« 10( )2l +~I hl 21 l~ If (uo\ le()} -
- trvc2rfl91~(uolltJ()V~~-cS lhl2~ 0
{2C 2r f(r _l)(uO< 10()3 vf.> +(c 2rf+}-Lj h/21 )1 f l~ (ue( lo()v 13_
-}A-l~l~(hQ(lol)t~l'7~~p~ 0
Lichnerowicz
N~ 'V, J h'A = 0
~
Nous SuppoBons que pour les ondes envisagees p(l)fo. Par suite:
~p =0 I ~ uol. = 0
01..
(15.2)
Lichnerowicz
et:
soit en explicitant:
Nous obtenons:
- 14:3 -
Lichnerowicz
D 'apres l'etude du a, on a:
II en resulte:
Lichnerowicz
Lichnerowicz
(16.1)
Po sons
a(Y)=ruc( 10(
et:
IhI 2 ~ f3 is
w,., (Y)=(c 21:
jl
+ f -2-) a(Y)ru -ql - j4(H 1~)h
0(
Vi' (Y )=V~ (Y )
1 0
est de vitesse nulle par rapport au fluide dans les deux etats et
- 146 -
Lichnerowicz
orientee dans Ie temps. De 1'invariance de V (? et w (3 il resuIte:
(16.2)
(16.3)
et par suite [q] =0. De (16.3) resulte ainsi [if] =0, [PJ =0, la di-
scontinuite de r
0( _
restant indeterminee si he< lex' =
-0- -
° il resulte de (16. 2)
hI 10< -0 et les equations de choc donnent seulement ici:
01 2 2
(16.4) H(Y) = ..!. V~ V(.l, = (h 10/) Ih I
2 \~ 2 2
a a r
Lichnerowicz
W
{3 2 Ihl 2 i3 f3
=(c"C +}'--2 ) aru . -ql - ~
(hO< 10d 2 {3 rhO/leX Vi3
ru + f - -
r a: a
soit:
2 2
0( = c t -fH = D(l)/a
ou
(16.5)
2 2
c a
(16.6) e = q- - - 't
10( 1
01.
est invariant.
- 148 -
Liehnerowiez
(16.7)
K
2 2
e a
(16.8)
OU l'on a pose:
(16.9)
(16.10)
- 149 -
Lichnerowicz
En effet de:
on deduit
Il vient aussi:
2 a2 0(2}LeX 2 0/ )2
(16.11) K =(r _ - - ) - +2 - - r2(ht:X 1 )2+u? r (11 ld II
22 0( r 2?
l ()( 1 ()( _.. - -
?
c (' a c a
En substituant a sa valeur, on a:
soit.:
Or d I apres 1a definition de H:
- 150 -
Lichnerowicz
n vient aussi:
22 2 II 2
K = c f +)1! hI (2't- ##-)- -a - (c
II
rc:
2 2 2 2
-2c 't:,l.lH+}J- H )
c2 c 2l I c\ /
rX
Lichnerowicz
2 2 2 2(ho( 1 ) 2 2 2
HK = H(r - _a_)~ + r c{ (c'i:' +c< Hc 1:" -01)
I e( 1 0( c 2 2 2
c a
soit:
? (2 2 2 0< )2
HK= H(r~ _a_) ~ + r (h Lx (c 41: 2_ OIh
1.'Y. 1eX c 2 22
c a
2
HK ={iI(r2 __
a_)_
10( 10(
soit:
?
2 b~ 2
(16.2) HK = c - )CO<
2 2
a c
Ainsi L= X0( 2 est un invariant qui q, H, K etant fixes peut ~tre sub-
stitue a b en convenant que Ie signe de (hOI 10() demeure inchange au
cours du choc.
e) En ce qui concerne 'X. ' nous allons etablir Ie lemme suivant
qui nous sera utile a differentes reprises.
Lemme 2. 1) On a (1 Id,) X{,
c(
a.
2) Si lo{levest ta, pour que :x =a, il faut et il suffit que I appar-
Henne au 2-plan IT Mfini par (u, h)
3) Si 10( lex est ';y a, ion a ll~a et par suite 0< > a.
En effet d 'apres les definitions de 'X et de H
- 152 -
Lichnerowicz
. en mtro
SOlt . Ulsant h 2 :
d'
n
\ hj2
10( 10(
2
a
~ 2
Pour 1 lct)O, on a donc H~O et 0( =c't: -fH)O.
Lichnerowicz
2 2 2 2
c a c a
(17. 3) q - - - f'( =q - - - 'L = e
1 {l( 10( 1 0 10( 10( 0
2 2 2 2 2
2 2 c a 2 ).tH 2 2 c a 2
(17.4) c f - - ' 1 : ' +2 ~'l:' X - -'X =c f - - ' 1 : +21LX T-
1 10\ Ie( 1 I 1 1 c2 1 0 leX 10( 0 roo
2
-~ tV = K
2 IVO
C
2 2
(17.5) 1)1 0{ ='V 0< =L
Iv 1 1 .IIi 0 0
(17. 6)
(17.7)
- 154 -
Lichnerowicz
vf,tf s'ecrit:
['1:J=O
Lichnerowicz
D'apres (17.3), on a [qJ=O et par suite
[pJ =0
Dans K donne par (16. 10), les trois derniers termes sont invariants
au cours du choc. On a done
[rJ =0 [r J =0
[ c 2f 2+flh\ 2:]
'tj =0 ~
r: 2rf+}Llhl 2
LC =0
(17.9)
tf 2
=c rf-2p
- 156 -
Lichnerowlcz
De m~me en derivant en S:
2
Cl)'=c fr' +r9 =r(c f - + @)
2 rS
ISS r
Or:
2 ,f";\ 2.
c 1:' = 101 V+c fV'
S S
et par suite:
2
c r't:' = ®
2
-c f -
rS
S r
II en resulte:
d(CP '1:) 2 2 2
--,--'--'-'~=c r '1:" 't' -r(2®-c r-c')"C'
dip, S) p SSp
c'est-a-dire
- 157 -
Lichnerowicz
d( <p , 't' )
=2-2r8 X'
d (p, S) P
ainsi que:
De (17.8) on deduit:
- 158 -
Lichnerowicz
c 'est-a.-dire:
DE CHOC.
.)
.)
Lichnerowicz
[X.'t1J = (X 1 ) 'r1+ X
- X' 0 (t' - 't )
010
ou
[ X. rr], = "V
~1
('t' -
1
-r0 )+(X 1-X0 )t' 0
(18.2)
soit:
Lichnerowicz
Xo o(~ Xo <Xo
[x«] = X1 ot 1-X 0 c<0 =--
0(1
-X 0 0( 0 =- -0(-
1
(~-OJ. )
1 0
(18.4)
2 2 2 1 0(0
c (f -f H't;'+7,;')(p -p )+(1:' -7:) -u.(X +X -2--)=0
Xo
1 0 0 1 1 0 1 0 2I 0 1 ot1
L
X= - - -
2 2 2 2
(c 1:: - fH) (c't' -jUI)
1 1 a2
q = p +-2fX =q+-)A--- H
2 loll
d.
Lichnerowicz
2 2
_ _ c a (_ )
(18.6) q -q = - - .... - 't:
1 0 10( 101. 1 0
1 L
(18.7) q= 2' (c2t:- P.H)2 + P ( 't;, S)
<f,p 2 2 2 1 'XotXo
(18.8) d'~(Z ,z)=c (f -f }-('t'+'t' )(p-p )+('t'-'t')- u..(x.,+X - 2 - - )
o 0 0 0 0 2/ 0 0(
Lichnerowicz
Or:
2
c fdf = f e dS+ 'Cdp 2
doc. =c d'Z:'
On en deduit:
M' 1 Xoo(o
d-dl'O =2f (9dS+('t"-'t }dp-(p-p }dt:+-~(X+X -2--}d't'+
o 0 21 0 ct
1 2 'XoCX 0
+('1:- 't" ) - u. (dX +2c - - d't')
2I d,2
2
~J Xo~o
cd-J'!\o=2f@)dS+('t-"C }dq-(iHi }d'C+ IJ,.(%- 2 }dt'
o 0 I 0(
(19. 1)
Lichnerowicz
En differentiant il vient
(19,3)
2 2
c a
m
- 164 -
Lichnerowicz
a) De:
on deduit:
/'f -1
1:' dS= ~ dp+d 'C
S 2 2
c r
et en differentiant X 0( 2=const.:
On aen deduit:
(20. 1)
Lichnerowicz
II en resulte:
P~)
a
- if (c2a2~+r-lh,2
r
10/ loi)+~r 10(
Lichnerowicz
(21.1) d% =2f e dS
et
(21.1-) ..,s
n-I N
1,1\
dS =~
2 4
dq-
c a
Lichnerowicz
r !
apres mle choc, on a v
'0
< c, v, <: c.
1
2
D'apres Ie lemme 2 du § 16, % est;? a et nous posons X =k ;
nous pouvons, pour un choid convenable des signes substituer a la
seconde condition (18.5) la relation k=04=k eX • On a alors:
o 0
2 2 2
k +k -2kk =(k-k )
000
A,P 2 2 2 1 2
(21. 3) 'J1I,:J(Z ,Z)=c (f -f }-('t'+"t )(p-p )+('t"- 't:) -u(k-k)
o 0 0 0 0 21 0
et la relation d 'Hugoniot:
2 2 2 1 2
(21. 4) c (f -f H't" +'t')(p -p )+(1:' -"C )-LI,..(k -k) =0.
1 0 1 0 1 0 1 0 21 1 0
uti 1 = w j=rw,
ol c
Lichnerowicz
(22.1) Dl = [rw] =0
L'invariance de b=fhcx loe donne l'~quation:
-4
On en d~duit qu'a des termes en c pres:
(22.2)
(22.3)
De (17. 3) il r~sulte:
2 1 2
(22/4) rw +p+ 2ft Ihl =0
Lichnerowicz
2 jh \2
_c_ (hO( I }2 _0_
.2 0 ~ 2
J r
o
n en resulte:
t 2i
(ho(I0(}2
_0_ _
.2
J
+ Ihrl: ] .Q
(22.5)
soit
(22.6)
c( 2
Ii (HIed 2
-2 u. ( . _ - -~)
c 0( = - (1+-)-
r 2 J .2 2 2
c J c r
- 170 -
Lichnerowicz
1 (ho( 1N)2
est equivalent a -r - ru. .2
a l'approximation classique. D'autre
J
part:
(22.7)
Nous avons retrouve en (22.1), (22.3) (22.4), (22.6), (22.7) les equa-
tions de choc de la magnetohydrodynamique classique, ecrites dans
un repere lie au choc.
2 2
(23. 1) c f' = V:>O c f' = €J > 0
p 8
(23.2)
Lichnerowicz
J P1
Po
~(p, S )dp
0
2 2 2
c (f 1 -f ) «P1- P )("C(p ,S )+ 't'(P1' S ))
o 0 0 0 0
soit
2 2 2
c (f -f}-('1; +'l:;)(p -p ),0
1 0 1 0 1 0
On deduit Ide la relation d'Hugoniot que "t" 1 > '00 ce qui implique
contradiction, On a donc PI =p 0 et Ie choc envisage ne peut Hre que
nul ou d'Alfven,
Theoreme 2, Pour un choc qui n 'est ni nul, ni d 'Alfven, on a sous
- 172 -
Lichnerowicz
p >i'=p
1 0
:Y 1 <V o '
Supposons en effet ~ P0 au point x de
PI -..;: L. De (23.2), on de-
duit:
soit:
2 2 2
c (f -f)-( 't' + 't )(p -p ) > 0
1 0 1 0 1 0
La relation d 'Hugoniot donne alors 't'1 < ~ o' D' apres (HI) cela est
contradictoire avec Pl~Po' Sl>So' On a donc PI"? Po et, d'apres
(23.1), f 1>fo '
Pour etablir '<='1 <'to' on part de:
- 173 -
Lichnerowicz
ou a fortiori":
2 2 2
c (f 1 -f }-2~1(P -p )
o 1 0
>0
('t' - '?:
1 0
}{p 1-p 0 + 1..2/M.(k 1-k 0 }2l<0
j
soit 't' 1 < 't'o' ce qui demontre Ie tMoreme. On a par suite 0(1 < 0(0'
Lichnerowicz
(24. 1)
(24.2)
Lichnerowicz
3 3
u =0 u =0
o 1
(24.4)
(24.5)
Lichnerowicz
telle que:
(24. 6)
3· 3
(24.7) ~ ~u - Jh =0
;-0 oB oB
01. a ()/.
(24.8) !\ 1 =A
- +l:\ I P, ~
FfXo 1eX. = Fo -hoallo(
ocXTor 001 r
o o
On en deduit:
2
01. 2 a
-(h 10() =- 0(
o fA. 0
Lichnerowicz
D(
1
=0 0<
0
>0
2
a 0( 2
-(h 10\.) =0
2 1
r1
Pour que ces relations (24.4), (24.5) admettent une solution quels
que soient ~u o3, bh 03, il faut et il suffit que lIon ait identiquement
par rapport a ces variables:
soit:
(25. 1)
- 178 -
Lichnerowicz
(25.2)
2 -a 0(
ftl rl hI IQ{
I.
a
~! -
r
0
hoe I
o CI.
~o< =0
o
0( =0
o
2
ainsi f-H=c 1: 0 est> O. On a:
(25.3)
;>0
Lichnerowicz
(25.4)
d'autre part une onde d'Alfven de type B pour l'etat Y1 portant une
perturbation ( 6u~B' dh~B) verifiant
(25. 5)
(25.6)
f31 a
ro
+ holol..J
""
f 0
Lichnerowicz
avec:
r 3 3
oh = -13 C\U
oA fo oA
ou l'on a pose:
TI
B ~ +h~ I
r1 ro 0 '"
1T+~= 0 0
o Po ~ + hoi I
n ro O d
( A ~ +hoi I )=0
ror 0 0<
o
- 181 -
Lichnerowicz
Ainsi (25.7) n 'admet pas de solution pour toutes valeurs des seconds
membres et L n'est pas compatible avec les ondes d'Alfven.
II nous res t e a' mont rer que rf'.. 1 r_a +licx.0 l ctJ40 . S'1 non, on aural't
o
220
!h 12
r 0 (e 1:0+f -2- )
r
o
ou
II en resulte:
1 0( ( _1_
ttl 1 1;2
o
't;2
1
Lichnerowicz
(heX I )2
1 d. 'C' =0
2 1
a
Lichne rowic z
~ +ho( 1 =0
ro
(l..
roO(
o
- 184 -
Lichnerowicz
3 ,3
t;
ro
Ou oB - oh oB
=0
3
cS u
oB
=&- u 03 + ~ u oA
3
ou:
- 185 -
Lichnerowiczz
- 3 3 3
~u o +~u 0 A'" =~u oB
'IT -~ u o3 - ro 3
t2. ~ uo
u A= ""o 0u 0B
J-
3
ou Ie determinant
0<0( <0(
1 0
Lichnerowicz
2 ~
LLk 0(
1 roo
(26,2) p('t',S)+'2 -----
2 2
(c't: -}'lH)
Lichnerowicz
2 2 2
c LLk 0(
roo
0<.3
2_
(26.3) (~) = 1 M
d~j' -~
P
ou l'on a pose:
(26.4)
1:'
(26. 5) ~ s= -
S
1:'p
- 188 -
Lichnerowicz
q-q
o
= m(t - or0 )
I
-( e,2 , M)p
p 1:S ~
d 2S
A'lssi (-2 ~ est -< 0, sous les hypotheses (HI )~H2l.-
Par1:fns de la relation fonctionnelle:
q= 9' (t, S)
dS
CD' + CD' ( - ) =m
11; IS d'C~
d2S
dS dS2,
'f~2 +2q>~'t: ( d"ClA + <P~2 (d"C + <fs h _
( d'C.1 ~ -0
En un point Z de /1 ou (dS/d't:1.., s'annule, on a:
~ -., 2
(<P~2~ +(CP's)1 (~~ =0
Lichnerowicz
dS d-
(26. 6) 2f ® {d,,.)',1
.. '11'0
+("t - ~0 )(~)
d'C''lIC.
-(q-q0 )=0
2
(26.7) 2f 9) (d ] +2{ d{f 9 )) (dS) +('t' -"t" )( d2q) =0
d't 1f(. d t: 11' dt; 'II' 0 d t:; 2 'll'
(26.8)
Lichnerowicz
( 11 M)
(26. 9)
2f@ ~
1; p
z0
( d-r;) = ( d't') (0
dP1b dp'-j'='tpZ
o
et il vient en ce point:
On obtient ainsi en Z :
o
(26. 10)
(26. 11)
Lichnerowicz
dS
d't: '> 0 pour 't .:::.. "r:-t
et aussi:
(dS) < 0
d't: 0
2 r. 2 p.)
a oI..=(v) (vr
(27.2)
2 2 ~ 2 ot 2 2
(c rf+JPhl )((u 1«) -1 Ie*;) c c
- 192 -
Lichnerowicz
L. A L A
v
o
>v0 v
1
> v
1
l:
v
o
Nous obtenons:
Theoreme. Sous les hypotheses de compressibilite (Hl)~), les
vitesses v 0 et
I. r.
----- - - -v1 -'-_
par _
rapport
.!....L_ _au_fluide
___ d_
'une
__onde
__ de_choc,
_
ML A MR!. ML A L MR
v n < V0 < v0 < vVo VI <.v 1 <;: v 1 < vI
- 193 -
Lichnerowicz
ML
v o <v 0
!.
-< v A <v MR
0 0
a) En inversant la. fonction 't' ="2:' (p, S), on obtient une fonctioR
S=S( p, 'Z;) exprimant l'entropie en fonction des variables p et 't: .
En raisonnant comme au § 8, on obtient:
~ 1
't;' 't;' =
p - S' S S!c
't:
S~>O, S~~o.
Par une nouvelle d~rivation, on obtient:
Lichnerowicz
( d~ ) 0.( dS )
(28. 1) d't: !::. =2f ~ d't' t.
Soit m
o
la pente de l'isentropique -&
0
en Z . De l'hypothese globale
faite, il resulte que Ie long de la branche envisagee de ~ , q peut
prendre des valeurs arbitrairement grandes. Or la courbe --! est
convexe. On en deduit que si m <m ; la droite
---0
A rencontre la bran-
- 195 -
Lichnerowicz
Mais Ie long de A
, S(Z ):S(ZA)=S et S(~) est necessairement
o 0
stationnaire entre Z 0 et Z A en un point Z~ necessairement unique
d'apres Ie lemme et qui est un maximum strict pour S sur /l
Nous avons donc (dS/d't)b. < 0 en Zo et d'apres (28.1), (dlie/d~)A
< 0 en Z . Quand Z decrit
0 0 0
t::. de Z vers zA,1tG (Z ,Z) commence
par ~tre positif et il existe donc au moins un point Z
1
sur A entre
Z et Z pour lequel ~ (Z ,Z1)=0.
o A 0
Nous savons que sur Il, S croit de Z 0 a Z-&~ passe par un
maximum en Z~ et decroit constamment ensuite. D'apres (28.1),1-'
a Ie m~me comportement et Ie pojnt Z 1 est necessairement unique.
a tout nombre m <m , correspond un point unique Z 1 -de
Aussi
"--"--------'-0
la courbe d'Hugoniot de Zo avec 't'1< 'to ~o( 1 ~o ';> 0) tel que
m=q1'~)rt' 1-~'
Nous voyons que m fournit une parametrisation simple de la bran-
che consideree de la courbe d 'Hugoniot. Nous notons qu'il reesuHe de-
(19.3) que Ie long de .-x:
Lichnerowicz
(28.2)
Or
2
c't' -- ~2
p
r
Or d'apres Ie ~ 26 a):
- 197 -
Lichnerowicz
1 1 c 2}Lk 2
---
'7:;' ~- 0(
p P
On obtient aussi:
1
(28.3)
Au point Z il vient:
o
2 2
c a
= m -
o
2 2 0(
On voit aussi que c a /1 10( < m 0 est )equivalent a ()( 0P(l) 0> 0,. N ous
enon9 0ns
Theoreme. Si la fonction S( p, 't') satisfait les hypotheses (H 1).JB 2) pour
'to" '- ~ et pour des valeurs arbitrairement grandes de p , a tout etat
y
--0
verifiant P(l)
·0-0
0( >0
correspond une solution unique non triviale
des equations de choc telle que Oi. 1 ~ > O.
Les inegalites figurant dans cet enonce s'interpretent immediatement,
comme au 927, en termes de vitesses de l'onde de choc et des vitesses
magnetosoniques et d' Alfven.
- 198 -
Lichnerowicz
0(
a=ru 10( fO V~
P(l)=O
Lichnerowicz
(3 2 a2 \3> 2 Ih 12 ~ $
N =2c't (0'-1) 2" arv +(c 't+fl 2 r)(1 l~)ar v-
r r
Compte-tenu de:
il vient:
2 2 d 2
(h l~) l~l --0
2 a ( 1) (2_
c 't 2 D - + c ...
r
+r Ihl
-2- ~
r)
)It?l
p - fA
a
2
f
et l'on a:
Lichnerowicz
;? 2 2 ~ ~
Nj"-" = - _c_a_'C'_l_l-ll..."_ _ ad.r v~+u ~a (he{ la>l )l\' lIZ) VI'"
2 2
c a 't +r- Ih \2 1~ If I ,
On deduit de (16/5):
ou lIon a pose:
(29.3)
Lichnerowicz
(30.1) 'C2~Q=-c2a2~~+tI~Iff-lh\2_1~1't-'-lh\2 ~
c 'est-a.-dire:
soit, comme:
2 I
c"C p =-
.1....:..!..
2
r
on a:
(30.2)
- 202 -
Lichnerowicz
c 'est-a.-dire: que:
(39.3)
I \2 2
(30.4) ~h =rv.
- 203 -
Lichnerowicz
BIBLIOGRAPHIE
A. H. TAUB
1. Introduction
= Jf ;:g d 4 x
V
where V is a fixed but arbitrary four volume in the space-time,
- 208 - Taub
(1.1)
= I * (x*) ;:gw d 4 x*
J
V*
that is,
J =
for arbitrary
dg
(~) = g'~v(O)
de e=O
or
(d¢A) = ¢' A( 0)
de e=O
or both.
(2.1 )
- 210 -
Taub
Then since
and
1
foOl a n d/ l dxlln dX *1, .1. dX* m
= ~ 1 -----
1 1m dx*Ol ox i : On dx\)l dX \)m
A
'V ~ (xje)
= + ~ll (x)
then
metric
= gll \) (x *; 0 ) ,
- 211 -
Taub
and
(2.3)
used below.
When the volume over which I(e) is defined is independent
of e, that is the limits of integration in the right hand
side of the first of equations (1.1) are independent of e,
4
He) = J f ;g d x
V
depends on e only because the integrand depends on e.
Whereas the equivalent formula
1= f(R-k£)r-gd 4 X. (3.1)
V
- 213 -
Taub
In this integral, the g~v are no longer assumed to be the
metric of a flat space-time and hence one can compute a
combination of it, its first, and second derivatives which is
a scalar curvature of a space-time with metric tensor g~v'
1'(0) = O.
We shall denote
ag I = I' (0)
when
$,A(O) = 0
and
when
g~v(O) = O.
I' (0) = ag I + 0$ I
- 214 - Taub
The general relativistic formulation of the field equations
6¢ I = o (3.2)
be taken to be
= o (3.3)
= -KTIJ\! (3.4)
4. Notation
In order to avoid an excessive use of indices, we employ
¢A (4.1 )
T
n
- 215 -
Taub
The symbol '\, is to be read as "stands for. n
= ¢ol ... a
,m,lJ Oi_lpoi+l .•• On
Ttl + ~¢ol rOo
l '1'''' m P].Jl
_ r¢ol ... a
n,
1 ... 'j-1P'j+l ... P
' mr T.].J (4.2)
]
1
P
r a, = g PA 2' (gaA ,, + gAT ,a - go, , A)' (4.3)
'1
,m
IjJA '\, IjJ
01 a
n
(4.4)
'1
,m lJ
1jJ].J IjJ
A '\, 01 a
n
and
'1
,m al ... a
n
IjIA¢A '\, IjI
al a
n
¢
'1
,m
(4.5)
(4.6)
(4.6) is a vector.
We consider £ as a function of three sets of variables:
and define
- 216 -
Taub
1 )1V
e~V = ~+ "2 g J:. (4.7)
ag)1V
aJ:.
qA =
a¢A (4.8)
We also define
(4.10)
(4.11)
A
[(~) ] = ("A
;)1
),
de e=o;)1 'I'
~
0 " .0, IPO'+l"'O
¢ 1 1- 1 n r' a,1
1 11, .. 1 m P)1
- 217 -
Taub
where the variations are produced by varying the ¢A and the
gjJ\)'
Hence
PjJ (,!,A )1 =
A 'I';jJ
(4.12)
=
where
(4.13)
dR
( jJ\) rIa rIa
"""'"de e=o = =
RI
jJ\) jJo;\) jJ\);O
and that
jJ \) po jJ P \)0 1
= [ (g g
]
- g g )gjJ\);P;O (4.16)
- 218 -
Taub
~-field.
pX in equation (4.9).
It follows from equation (4.12) that equation (5.1) may
be written as
= = (5.3)
G~v KT~v
+ = 0 (5.4)
and
~
FA - qA - PA;~ = 0 (5.5)
6 Conservation Laws
Q'
t P = (6.1)
in equation (6.7).
- 221 -
Taub
The computations carried out in the sequel make use of
the fact that when g'~v and ~,A are given by equations
(2.2) and 2.3») 1'(0) must be given by equation (2.4) with
f = R - Kt. That is, we must have
1'(0) = -f«R o
Kt)~ )'o~-g
,
r-
d
4
x
V
when equations (2.2) and (2.3) are substituted into equation (5.2).
2G~v~ _ ( po ~v _ p~ ov)(~ + ~) =
s~;v g g g g ~;v sV;~ ;po
to obtain
1'(0) = -f[(R
V
+ K ( 6 • 2)
= o
(~ Nl1vO') = 0
11 ; va
That is,
or
tion (6.1) as
= o
(6.3)
and
-2fT\1\) = o
;\)
V
(6.4)
~)J;\) + ~\);)J = o
and
= o (6.7)
= (6.8)
= o
7. Generalizations
= 2g~V'
- 226 -
Taub
It should be pointed out that if we define the scalar
x = =
0 ax
PA;o = - acpA (7.1)
and
A ax
,
cp '0 = 0
(7.2)
apA
x = t P
P
+ 3£ (7.3)
References
8. Co-Moving Coordinates
The general discussion of variational principles given
above may be applied to the derivation of the equation of motion
of a self-gravitating perfect fluid and the Einstein field
equations for the case when such a fluid is the source of the
gravitational field. In order to make such an application
appropriate field variables ¢A must be chosen and a Lagrangian
dx *~
as = U*~ (x *;e) (8.1)
(8.2)
(i=1,2,3) ( 8• 3)
where
(8.4)
- 229 - Taub
with
xi = ~i,
(8.5)
x 4 i
4
= x (~ ,s;e)
* ,~
= u ~(x (x;e);e) ( 8• 6)
= u
*0 * dX~
(x)---wo
dX
(8.7)
( 8• 8)
Ul~ = (8.9)
(8.ll)
tion. Since
6~
p
a ax v ax v a~*11
ae (--rp)
ax
= - --r,;- -,-;;-
ax 11 ax P
(8.12)
that
,\ v
a (~)
ae = _a_~*v (8.13)
ax P ax P
*v * dxll
= V (x (x;e);e)~.
dX v
V' =
= (8.14)
where
= (8.15)
*v with
and is of course the Lie derivative of the vector V
1')J
respect to ~ . It may be shown by similar arguments that
for any tensor the operation of taking the prime derivative
of the tensor compenents differs from the transform of
taking the dot derivative by the appropriate Lie derivative
of the tensor.
- 232 - Taub
f'(x;e) = (8.16)
where
I
g aT = (8.17)
Hence
= o (8.19)
the proper time along the world line of a particle (cf. equa-
tion (8.5». The vector field defined in terms of the
former equations describes the variations in this congruence
of curves. That is, if x*p(x;o) is the description in the
(8.19) holds.
We now turn to a discussion of the variations which we
shall allow in the rest density p and the rest temperature ®.
- 234 -
Taub
MI = 0
o
(9.3)
1
'2 U
*0 *1 •
U
*
(gOl +
* *
~O;l + ~t;o) = o.
(9.4)
- 235 -
Taub
(9•7)
1 <la
® = ----4
Ig 44 ax
and
®' = (9.8)
- 236 -
Taub
SS) 00 .1)
as 1'(0) =a where
I = I g - 2Kl r 00 .2)
with
Ig = IRA d\ 00.3)
V
If = Ip(C 2 + E - «I)S)A d x
4
00 .4)
is equivalent to
where
T\.IV pCc 2 + E + £)U\.lUV _ pg\.lV 00.6)
r = p
and use has been made of equations (9.3), (9.6) and (9.8). We
may integrate by parts the last term in equation (10.5) and
obtain
21' = I[T\.IV Q , + 2CpSU\.I) a'J;:;g d 4x
r r .:l\.lV ;\.1
(10.7)
- 237 -
Taub
We now turn to the calculation of I'g • We have
]..Iv
r-gR = r-g g R]..IV
and
R]..IV = rO
]..IO,V rO P O
]..IV,O + r ]..10 r pv
P rO
r ]..IV po (10.8)
where
P 1 pI..
r ]..IV = 2"g (gA]..I,V + g AV,]..I - g]..IV,A ). (10.9)
Hence
,P 1 PAC ,
r ]..IV = 2"g g A]..I;V + g'A]..I;V - g']..IV,A ) (10.10)
g ']..IV = -gOT
'g0]..l gTV , (1o.n)
= 6]..1 o·
It is a consequence of the above that
rIO )
= ]..I P va), ]
]..IV;O g g g ]..IV;P ;0
(10.12)
Therefore
I'
(10.13)
where
= o (10.14)
and
= o (10.15 )
(10.16)
Bianchi identity
G].1V = 0
;V
imply that
T 2
].1V
F;v = [p(c + e: + £)U].1U
p
V pg].1v] . = 0 (10.17)
'v
Hence
= = o
Cc 2 + e: + £)(pU v) + pU v 8S = 0
p ;v ;v
or as
(c 2 + e: - ®S + ~) (PUV);V + ®( PUvS) = 0
;v
Hence equation (10.15) implies equation (10.16) and conversely.
- 239 -
Taub
pS U~
= 0 (10.18)
,~
and
2 _
= P ,v (gV~
')UvU~ U~Uv) (10.19)
p(c + ~ ;v
where
i = E + E (10.20)
p
- 240 - Taub
LECTURE III
SINGULAR HYPERSURFACES
I = f (R - 2K£)r-g d 4x + §
VI + V2
02.1)
where
4
IA = f (R - 2K£) r-g d x, (A= 1, 2) 02.2)
VA
S =
I'd r , 02.3)
metric equations
=
- 244 -
Taub
where ae-
dx ll
is evaluated for fixed a, 6, y and e by use of
equations (12.4) and the inverse of equations (8.4).
(12.5)
=
where
(12.6)
I'
I' (0) = 0
~v
in the case f = 1 = O. That is the case for which
4
I = II + 12 = (R - 2K£)!=g d x.
f
V +V
l 2
, =
g~v
~v ~v •
I' = -f {(G + KTF )g~v
Vl +V 2
+ I[r-g(g~VgPO - g P~ g)g
vo •
~V;P
Ao]do - I[I=gT o~·
F ~
~
Ao]do
+ f[1=g{R(=o +
~ (13.1)
T~v
F;v = o (13.2)
(13.3)
this equation as
- 247 -
Taub
<13.4)
(l3.5)
< o Cl4.1)
equation
1
x1 = x0
Cl4. 2)
i
x = xi(oj) a, i, j = 1, 2 , 3
1
where x is a constant.
o
The induced metric on the hypersurface r is then
i
=
lJ V
g llV x I1.Y IJ.da da
i j
= y .. da da j Cl4. 3)
1J
Cl4.4)
= Cl4. 5)
- 249 -
Tauh
where
N2g11 = -1 (14.6)
and
11
n Il x l'1 = 0 (14.7)
ij
Y Yjk = 6ki (14.8)
we then have
where
v
gIlV x Il I,n
1
= 0
and
g nlln v = -1
IlV
1 1
n = if = - Ng ll
1yij
ni = -N g1j = Ng l i
2 ij 2
N2 = g 11 (-1 + y g4i g4j)
(14.11)
- 250 - Taub
1
we have on the hypersurface where x
_1
n =
-].
n =
in VI so that
nl _ 1 = = o
That is, so that
= 1.
= o.
and hence
= o (14.12)
- 251 -
Taub
Therefore
\!
= n n)J;\! = o (14.13)
S"l, ,
lJ
= = S"l ..
Jl
04.14)
-n f~, 1
S"l ..
lJ
=
p lJ =. -f"
lJ
= 04.15)
)J p ij)J p
= n \! (n ; pn) + S"l x "x
1
"g
] P\!
•
ij v
}I,' x''J g
p
= 04.16 )
S"l l PV
where
Hence
J = I ;:g(g)JagPa P va'
g)Jg)g
)J\!;pa
d 4x
Vl
- 252 - Taub
J =
;:
ij' ij • ij
= Y goo 1 + Y P . . + gun - goon
1J, 11J 1J
where
P.
1
=
P. . = P.. Pk {koo}
11 J 1,-J 1J
and the {k.. } are the Christoffel symbols formed from the Y.. o
1J 1J
Hence we have
J = J (y ij·g .. 1
1J,
~
- 253 -
Taub
= f[1Y(y ij·g1J,
.. 1
~
(14.17)
The vanishing of I I given by equation (13.1) for
.
g)lV such
that
-g g g)lV ) +
( ~)lV = = o (14.18)
(14.19)
and that
[ If( yijn - n ij )] = 0 (14.20]
Equations (14.19) imply that the induced metric on the
hypersurface ~ takes on the same values when computed from
the metric in Vl as when computed from the metric in V2 •
Since we may use Gaussian coordinates based on the hyper surface
~ in each of these regions we have that in these coordinates
the metric tensor is continuous. Equations (14.20) then
imply that the second fundamental form of the hypersurface ~
I' =
GlJ V = 0 (15.1)
Then on setting
g +, +,
lJV '>lJ; v '>v.; lJ
we find that
l: l:
(15.2)
r~.
1J
= -no1J. =
r..
k
1J
= ..
{ k },
1J
Hence we have
~l;l = ~l ,1 ~l;i = ~l , i ~ nk .
k 1
k . k
~i;l = ~ v, l-~kn.1 ~i;j = ~.
1,J
~k {. . l- [1 n ..
- 1J
1J
+ 1
ij (~·I· - ~ln ..
» d~
1 1 1J
= (15.4
Equations (15.3) and (15.4) are the equations given by Israel [9]
and Papaetrou and Hamoui [lOJ for the theory of thin shells.
- 257 -
Taub
References
1. A. H.
pp. 454-
p = p(w) (16.1)
w = p(c 2 + d (16;2)
internal energy.
We have previously made use of the fact that function
e = dp,p),
®is = de + (16.3)
p = pew,S). 06.4)
S = S
o
= 06.5)
SI = 0,
(16.7)
TjJ\)
F;\I = 0, (17.1)
=
1 .rjJ
-- u4 (17.2)
Ig 44
and
= =
(17.3)
and
(w + p)UjJ;\)U\) = (o\)
jJ U\)U ) (17.5)
,
:f: \) jJ
(17.7)
o = p
becomes
= o
(17.8)
do + d(w + p)
~ =
w + P
o w + P
become
= (17.9)
F .. k + F' k . + Fk · .
lJ, ] ,l l, ]
= 0
_0_, c.(x j ) +
= w+p 0 ¢
l W"+P' ,i
(17.10)
i
where the c· are arbitrary functions of x and may
.l
i 4
be a function of x and x • The solutions of equations
(17.9) then become
= (17.n)
It is no restriction to take
¢ = constant
k = 1
where
we have
U. = = (17.12)
l
- 263 - Taut.
= =
w+ P ° (17.13)
1 ElJ\lOTU U
= (1S .1)
0,[
;:g \I
k (_o_)2 1 kij
v = c ..
w+ k E
1, 1
v"-g
OS.2)
1+ 2 1 kiJ' ckc . .
v = (_0_)
W+P;:g
E
1,]
c.. c.. = 0,
I,] J,l
The world lines of the fluid particles are then orthogonal to the
o 1
w+ P =
where
i = E: + .e.p
1
=
p' =
be written as
(19.1)
Taub
for the variation of this function.
(19.2)
where
T~v
F
= (w + p)U~Uv _ g~Vp. (19.4)
=
is that
Taub
LECTURE V
20. Introduction
It is the purpose of this lecture to discuss a variational
principle from which the equations governing the motion of a
gravitating charged electromagnetic fluid with dielectric
permitivity, magnetic permeability and conductivity are
that is, one who is at rest w1th respect to the fluid, are
given by
(1IJ
(20.2)
ibf) = u '!lUf3
EUf3~5 :: -rgEUf3~5
(20.4)
EUf3'Vr 5 ::
-1. af3'V5
.{gE r
Hence
HIlV = ulle V - uVe ll - ibf3UAEf3AIlV (20.5)
Similarly we have
( 2o.• 8)
where
AIlVa'T _- -.l ( all 'TV ov 'Til) + 2
21l g g -g g
1 (A - 1) (u ~Lu ag 'TV -u Vu ag'!jl
~
H,LV H !-tV ,I v
!-tv = 2(e Ve v-b Vbv ) H H!-tv = 4ie bv
v
a~LVa
!-tv = 2(d vd v_hvh v ) a!-tvG
!-tv = 4id Vh v oo.n)
G!-tv H = 2i(b Vd +h Ve )
J
a 11VH
!-tv = 2(e vdv-h Vbv ) !-tv v v
- 270 -
Taub
(21.7)
and satisfies
(2L9)
where
Vv = le Ph O"u 1"EpcJ'rV (21.11)
ullv
Il
= ullvi Il = 0 (2L 13)
and
<21.14)
+ u A gP~(w -v)
j P A A
If we define
W= - 1(e 0d +bPh ) (n.16)
2 P P
and
JlV = + (g~V_ul!uV)W + e~dv _ h~v (21.17)
then equation (2.10) becomes
't"~v = Wu~u V _ u~v v _ wlll- ollV (21 .18)
and
{21.19)
where
~, = ( d~~)
~ de e=O
(22.2)
and
or
t~ = - 1"~ + (GIlO'cpp);1l - G~~CPp (22.4)
where 1" is the rUnkowski tensor. In case Jil = 0, and the space-
tlme is flat the divergences of the tensors t and T are equal
and equal to zero as a consequence of the field equations.
- 275 -
Taub
23. The General Variational Principle
We now turn to the discussion of a variational principle
I = (23.1)
Ig = f r-g Rd 4 x (23.2)
= (23.3)
discussions.
- 276 -
Taub
We have seen (cf. Lecture II!) that
(23.4)
and
(23.5)
eJ..lV
;V = o (23.6)
integration by parts
II = J[_G].lV,.1
E ;v'i'].l
where AJ..lV01
1
is to be computed from equation (20.9), with
I I =
E
- 277 - Taub
where
=
(23.7)
(23.8)
Hence on evaluating
I' =
we find that
where
(pSu~) = 0 03.ll)
;~
T~V = 0 (23.14 )
jV
into E~v
We conclude with the remark that the methods given above
will apply to mare general situations then those treated. Thus
we need not assume that the electric properties of the matter
are isotropic or that that matter is a fluid. All that is
required is that a Lagrangean exists that is a function of
the field quantities describing the various properties of
the medium. Thus if in general
and i f
:-. ~v _, ~vaT
00 ,aT~v
~=" =" ,
aT
Taub
References
LECTURE VI
Then
(25.1)
for arbitrary
A
= (d¢ )
de e=o
We have
rICe) =
(25.2)
rICe) =
since
=
r' (e) =
(25.3)
- 284 -
Taub
where
= C25.4)
= = o (25.5)
= o
FA(O) = [
a2.c
. ¢,B + a2.c ¢,B
a 2¢Aa¢B 3¢Aa¢B ,lJ
,lJ
= 0
or
I"(e) = fF A¢"Ad 4x + f (~¢"A) d 4x
a¢A ,11
,11
(25.8)
:0 2£
2 a 2£
+j[ ¢,A¢,B + 2a £ ¢,A¢,B + H,A¢,B d 4
,11 ,v' x.
a¢Aa¢B a¢Aa¢B a¢A a¢B
,11 ,11 ,v
1"(0)
32£ ¢,A¢,B + 23 2£ ¢,A¢,B + 32£ ¢ ,A¢ ,B] d 4x
= f[ ,11 ,v
a¢Aa¢B a¢Aa¢B ,11 a¢A a¢B
,11 ,11 ,\I
(25.9)
when the ¢A(O) are such that FA(O) = 0, that is the
¢A(O) are unperturbed solutions of the Euler equations
associated with I, and the ¢"A(O) = 0, on the boundary of
the region of integration. If we now consider the ¢,A (not
the ¢a) functions of x and a parameter f we may define
J(f) = 1"(0)
= o
- 286 - Taub
~ 2J ( a 2£ ~ ,Ao~B) d 4x
d~A a~B , ]1 ,v
,]1 ,v
line element as
where
d6 2 + Sln
. 26 dX 2 (26.2)
- 287 -
Taub
components of G~ are
v
2~ W ) + e-2~
r r
(R 2
2
~)
2 = - (R 33 _ ~)2 (26.3)
= e- 2¢[W tt +
~tt
+ ]It2 + w2 - W ¢ + ~t~1jJt - ¢t)J
t t t
R4 -2¢
1 = 2e [~rt - ]It¢r ~rWt + ~ t ]l r J
Rl
4 = - 2-2W[ ]l rt - ~t¢r - ]lrWt + ]lt~rJ
-F =(R 4 !R) + kw
2 = 0
¢ 4
-F =(R l !R)
2
kp = 0 (26.4)
W 1
-F ]l =(R 22 !R) - kp
2 = 0
and
Rl = 0 (26.5)
4
- 288 -
Taub
The four equations (26.4) and (26.5), are not all independent
in view of the Bianchi identities. It may be shown that the
solution of these equations is determined by the solution
of equation (26.5) and Fw= 0 for a range of values of t
and of F = 0
¢
for t = O.
The unperturbed solution we shall consider will be
~ = log r.
(26.6)
(26.7)
= (26.S)
~r't - ~'~
t r - !~,
r t + !~,
r t = 0
(26.9)
involving r alone.
The function ~' may be evaluated by using the integral
of the field equations given by Eq.(17.8) which holds for all
values of e. That equation may be written as
fo = fCr,O;e)
or
F' = 0
~
The quantities ~' and ~' enter into this equation but may
be eliminated by means of Eqs. (26.10) and (26.14). We shall
discuss this equation in the next section.
When the field equations, Eq. (26.4) and (26.5) are
r =
except ,!,
'l'r must be continuous across L. These conditions
= = o (26.15)
R = e~ = r = o
at the origin.
Eqs. (26.15) and (26.16) provide boundary conditions for
If we define
1
= o (26.17)
;:g
where now g).1V = g).1v(x;O) is the unperturbed metric, and
r ).1PV is determined from this metric and this metric satisfies
the field equations.
We now evaluate Eqs. (26.17) for the case considered
above, when the unperturbed metric is spherically symmetric
and static and the perturbed metric depends on time but is
still spherically symmetric. In that case Eqs. (26.17)
reduce to two equations corresponding to v =4 and v = 1.
These are
(26.18)
and
2rF'
).1
= 0 (26.19)
respectively.
- 293 -
Taub
Hence when R'41 = (R,l)
4 t
=0 as is the case when
Eq. (26.10) holds, Eq. (26.18) becomes
= F~(r,O) (26.20)
(26.21)
2 -2'" + k
-F~ = r2 (re 'f lji 0, ) r a2
(w + p) ~ ,
0
= o (26.22)
when Eqs. (26.10) and (26.14) are used to express lji' and
2
- e - iJ!-2 ¢[ e 3¢+ iJ!Cw + })a Ce-¢r2~) r Jr C27.2)
r
where
~ = rll' C27.3)
the equation of state was such that the fluid was isentropic.
w = NCl + uCp,N))
TdS =
used by Chandrasekhar.
- 295 _
Taub
Thus we have
1 ~+,/,
ff{e'l' + e'l'~-'/'+2"
~(11
2 + 211 ¢ ) - e -~+'/'+2"~(11
2 + 211 ljJ )
811 I(e) : 'I' 'I'
r rr
'I' 'I'
t tt
(28.1)
Hence
where F¢,FljJ' and FI1 are defined by Eqs. (26.4) and (26.3) and
See) = (28.3)
with
A =
(28.4)
a ~ r < 00 (28.6)
- 296 - Taub
r = (28.7)
L811 I , (0) = 0
for arbitrary ~', ~I, and~' which vanish together with their
derivatives on the boundary of the region given by the in-
equalities (28.6) and such that ~" ~', I.l' .and ~'
r and ~
rI
may
1 1"(0) =
8TI
where ~, ~ and ~ are evaluated for e = 0 and these functions
satisfy the unperturbed equations. In view of Eqs. (26.10),
(26.7), and (27.3) we have
= e~+~r2~'F' +(e~+~r2~F')
o ~ ~ r
1
81i 1"(0) = (28.8)
where
J =
(28.9)
tl'"
JI = -f fr 2e¢+1jJ[F¢¢' + F1j!1jJ~] dr dt
o 0
(28.10)
tlrb
r r)
+kf J [r2e¢+1j!~1j!~(~ + bP· _ r2~(e¢+1j!¢,) ] dr dt
o r
o 0
and
=
(28.11)
Taub
1 or"(o)
81T = oJ = 0 (28.13)
is the equation
we have
1 tl 2
871
r"(o) = J = ! sin Cat + a)} dt (29.2)
0
where
rb
j = ! - a 2e 3lj!-¢ r 2 (w + p) ~
2
dr + 11 (29.3)
0
where
rb
/1
4Pr
= J [r 2e ¢+lj! ~ 2 (ke 2lj! (w+p)p + r ~Pr
1 2)
0
(29.4)
2
+ e +3¢+lj! (w+p) a (re'¢~);J dr
2"
r
- 299 - Taub
(29.5)
Taub
References
(C.I ME)
OF GASES(1)
J. EHLERS
Introduction
Ehlers
Ehlers
c = 8 Tt G =1i = 1,
Ehlers
d
= vd R abc'
(1)
An example of a pair (X, g b) which is not time-orientable is given in
appendix I of Ehlers (1969).a
- 307 -
Ehlers
tic theory; it is made here only for convenience. Without this assumption
several quantities appearing in kinetic theory would have to be defined with
respect to oriented domains of X, and it would have to be shown that a
change of orientation preserves all relevant equations. This can be done.
The assumption that spacetime is time-oriented is also not necessary
for those pArts of kinetic theory which are independent of the Boltzmann
equation. Without it, some quantities would have to be defined relative to
time oriented domains of X, and the relevant equations would have to
be shown to be insensitive to changes of the time orientation; that can
easily be done. The Boltzmann eqllation, however, can only be formula..!
ed in a time-oriented spacetime, and its form is not preserved under a
change of that orientation. The reason is that the occupation numbers of
initial and final states enter the collision integral in a non- symmetrical
manner, as will be seen later and as is known from ordinary kinetic
theory. The arrow of time built into the Boltzmann equation shows up
particularly clearly in the Htheorem, to be derived later.
- :W8 -
.Ehlers
r
differentiation operator d maps this algebra into itself.
An r-form can be contracted, like any covariant tensor, with avec
tor A; the result is a (r - l}-form cP= A·U/ with components I.D =
I I I a 1 · .. a r
= Aat \II . A coordinate-independent definition of this operation
I at a, ... a~
Ehlers
Moreover,
0.
then the most general (n -1) -form W at p such that t\){A l' ... , An _1) f °
whenever (L, A , ... , A ) is linearly independent, is given by to\) = a vCt
1 n-1
where a f 0.
Corollary. If fA) has the property stated in Lemma 2, then L . "" = 0,
- 310 -
Ehlers
and w (AI' .... , An_I) o whenever (L, AI' .... ,An_I) is linearly depe~
dent.
Lemma 2 and its corollary should be visualized by considering n
and w as volume-functions for n- dimensional and (n-l)- dimensional
parallelotope s, respectively.
Another useful fact needed later the proof of which is left as an ex-
ercise is
Lemma 3. If n is an n-form field on N, L a vector field and f a
function, then
(2)
Ehlers
(3)
d(Ao,)
where
- 312 -
Ehlers
Er,
a
(7)
D
the familiar metric-dependent version of Gauss's theorem in Rieman-
nian space.
We shall heneeforth use the term hypersurface for "oriented hyper-
surface".
Since each tangent space T of X is itself a (flat, oriented)
q
pseudoriemannian space, it has its own volume element
Ehlers
cab 2
gab(x )p p = - m . (9)
1 bcd
La:= 6'(abciP . (10)
(11)
(12)
(2 2
It = 2 H(p) d(p + m ) 1t. (13)
m
- 314 -
Ehlers
~3
(14)
E
4
where E P is the energy. Taking polar coordinates in p-space we
obtain
Vm 2 +p 2'
1(m (15)
or also
2'
1'( m (16)
m
Ehlers
\ 17)
(i )
4. Basic assumptions about a relativistic gas. Geometry of phase space.
The history of a system of many (classical) particles of negligible size
is represented in relativity theory as a complex of timelike or lightlike
wordlines. The particles may be thought of as being macroscopic ( stars,
galaxies) or microscopic (molecules, atoms, ions, nuclei, photons, ... ),
and they may be interacting through long- range and/or short range forces.
Without attempting to give a detailed description of the dynamics of
such a general system, we lay down a special, simple model for some
systems which we call gases. In these systems, the particles are assumed
to move like test particles in a mean gravitational field gab and elec-
,Ehlers
tromagnetic field F ab' except during encounters due to short range in-
teractions which are idealised as pOint collisions. (I. e. ,the range of
these interactions must be much smaller than the mean free path. )
The mean fields may be external fields - we then speak of a test gas
- or may be collectively generated by the gas p8rticles themselves, in
which case we have a selfgr2vitating gas (or a Vlasov plasma).
We proceed to formalize this qualitative picture of a gas.
A particle of mass m (~O) and charge e has a worldline
xa(v) which obeys the Lorentz-Einstein equations of motion
a Dpa a b
(18)
dv = e F bP ,
p,
Dpa d
p aa
r c b
cis = cis +bc P P . (19)
Ehlers
a~ aarabcd
L =P d X" + (e F bP -, bc P P ) d pI. (21)
- 318 -
Ehlers
called the Liouville vector (or operator). The oriented integral curves
(xa(v), pa(v)) form a congruence in M, the phase flow generated by
L. Physically, the phase flow represents the set of all test particle mo-
tions which are possible in the combined gravitational and electromagne-
tic fields occuring in L.
The rest mass m as given by equation (9) is a scalar function on
M. It is constant on each phase orbit,
L(m) o. (22)
M
m
= Up m
xeX
(x). (23)
M , with its Liouville vector L and its phase flow, is the phase
m m
space for particles of fixed mass m; it is seven-dimensional and
- t
corresponds to the Newtonian (1; t,p) -space. ( ) It is also a fiber
Ehlers
bandle with base X, the fiber over x now being P (x), the mass-
m
shell at x.
M , being the boundary of t~ oriented submanifold of M given
by Pf1~ _ m 2, is also orientable. We orient it by choosing a coordina-
a a 4
te system (x ,p) on M such that p 4P 0 whenever <
pEP (x),
m
and then take (x a , p'l1 ) as an oriented coordinate-system on M . We
m
then have
0, n m
I o. (27)
- 320 -
Ehlers
nand n m
are related as follows (exercise):
!l = m dm ",{lm . (28)
"" : = L' n = p
a
era" Tt 1
+ 6" ~ abcd( eF dP -
a d ra d e bcd
de P p )dp "1- (29)
Ehlers
dl.l) 0; (30)
L' ~ 0, o. (31)
SII '
=.:m=.:an=i.::.;fo:..::l..:;d_o"--f,--,, p_h.=cas=..e, -,o-,-r.. .:.b-=..it:..=. ;s. Indeed, if we int roduce on M comoving local
coordinates ~A with respect to L, i. e., such that L = then
(31) means that I.U =
} r-t ~,.
f';if""WA('l> , ... ~ )d;>
. "."
'eA ,whIch IS a form
on MIL. If ~ is a tube of phase orbits and !: a cross section of
'l, JE W measures, loosely speaking, the "number" of orbits contaiR
ed in 1 it is independent of the cross section.
The preceding consliderations can be carried over straightforwardly
from M, L, to M ,L (exercise); one obtains
m m
1 IY) ). b rl b c ,.."
W
m
:=L'n. =pa
m m
6"" A1t +
a m 21 p,1 P"f"''' (F bP -, bcP P )dp 1\'9 (32)
- 322 -
Ehlers
(.n. ) =d
m
W
m
= ~L (W m ) L'CV
m m
=0 (33)
m
Ehlers
clear that this form would have to assign a nonzero volume to any hype.!:
su rface - element not tangent to L , since there could be a flux through
m
- 324 -
Ehlers
a
p t5"'a A ~ . (34)
m
(35)
which is, except for the (conventional) sign, the ordinary. phase volume
element of an observer at x with 4 velocity ::x~ . Therefore, Wm
- 325 -
Ehlers
Jr' fE W
m
(36)
D
for seme constant A dppending on U.
Dl asserts that on any fixed hypersurface ~ the measure defined by
the expectation value of the number of occupied states contained in parts
~I of l: has a continuous derivative, or density function fE
with respect to the geometrical measure c.J.
m
Equation (35) shows that fE (x, p) equals, for any observer who -
se worldline intersects the projection of !; into X orthogonally at x,
the ordinary density of states in his infinitesimal, ordinary (1.-P) phase
space.
D2 asserts that the expectation value of the number of collisions in
- 326 -
Ehlers
N
m J
E
fm (A)m; (38)
Ehlers
D1 and with the mean value theorem for integrals this can be re-
written as N
m
I wm - f~~1
[dD] = fop~1 ($)11:;.":1 (~)
t
J
t.n)m
W , where ~.
~
€ L:'. ""g,
'I.
But we know from Liouville's theorem that the two integrals on the
right-hand side are equal. Hence, using also D 2, I fE1 (~1) - f1;1. (~2.) \
~ A Jnm (1:",'.}IIlJm )
J)
-1. If one now lets
~
~ shrink towards the or-
bit !Jassing through S , the right-hand side tends to zero since the
numerator is "one order smaller" than the denominator. Also, ~i.--' g,
Consequently, f~ (~) = f~ (s). We call the common value f (S),
~f ~~ m
in order to emphasize that f
is defmed on 1\1 •
m m
It is easy to verify that our orientation and sign conventions im-
ply
f
m
) o. (39)
also
D3 ) fm is continuously differentiable on Mm.
Having obtained a phase space density which measures the f
m
average density of occupied states, we obtain straightforwardly a
collision density in M . The average number of collisions in the
m
region D eM, i. e., the difference between creations and annihi-
m
lations of particles of the specified kind in D, is given by N [dD]
= "\
C1D
f fm W '
mOm m
J
d(f w ) =
D
Jdfm A LV =
m
DI dfm ,,7Lm ,Wm )
- 328 -
Ehlers
=I D L
m m
(f
m
) n. .
We have used equations (38), (2), (33), (32), and (1). Hence
a j} f ). b r). b c d f"", (40)
Lm (fm) = p ;} x":. + (e F bP - , bcP P ) e)P>"
is the collision density in M with respect to.n (in the sense
m m
defined above).
a a
Note that if (x (v),p (v)) is the phase orbit passing through
(x, p) for v = 0, then the expression (40), evaluated at (x, p, ),
d
equals (Tv fm (x(v), p(v)))v=O' a fact that is often useful.
The preceding considerations prove the following theorem. The
distribution function f
of a component of a (possibly heterogeneous)
m
gas satisfies Liouville's equation
L (f) 0 (41)
m m
Ehlers
( i )
Corollary 1.. If the particles of a particular species do not pa!:,
ticipate in any collisions in D, then the corresponding distribution
function satisfies, in D, equation (41).
Corollary 2. If the assumptions of the theorem hold, then f is, in
m
D, an integral of the motion defined by (18).
As an application of the invariance (observer-independence) of
the distribution function, let us consider a radiation field as a pho-
ton gas with distribution function f r . Relative to an observer with
4-velocity u a , it is customary to define a specific intensity I~ of
the radiation field, as the limit of the radio "(energy of photons with
frequency in d oJ and direction in solid angle dn passing in time dt
normally through an area dA/ (doJ dndtdA)." It is related (exercise)
to fr by
(42)
( 1) For geodesic motion (e = 0), this assertion has first been stated
by Walker (1936).
- 330 -
Ehlers
Iv
s (43)
(I+Z )~
in the early universe, one obtains from (43) the predicted intensity
distribution in each direction in an arbitrary model universe, provided
( t )
one can compute z from the null geodesics.
This idea was used by R. K. Sachs and A. M. Wolfe (1967) to estimate the
influence of material "lumps" on the radiation, and similar applications
have been made more recently. The same method has been employed by
W. L. Ames and K. S. Thorne (1968) to determine the optical appearance
( 1)
It is also assumed that no scattering occurred between emission and
absorption.
- 331 -
Ehlers
Nm [L] J f rJTt
G
f). {
Kx
m }
(44)
N
m
a (x): = J f pa
m
rc m (45)
Ehlers
Similarly,
a a
J : e N (46)
m
T ab(x)
m
f a bf
PPm T(m (47)
Ehlers
T
ma
bVa v b> O. (48)
(i )
This lemma and a theorem due to J. L. Synge imply
(t)
Lemma 6. Any kinetic stress energy momentum tensor is normal ,
i. e., admits a decomposition
ab a b ab
T
m jU u +P (49)
with
a
u u - 1, O. (50)
a
a
u can and will be chosen future-directed, and then (49) is unique.
The physical meaning of
N a, T ab for a local observer in
m m
terms of 13-dimensional" quantities is obtained by evaluating (45) and
Ehlers
T 44 = N 4
m m
<E >1Tf\,)
X
is the energy density, (51)
).4 ~
<p I.
-
4 (m)
Tm T 30: =N
X
is the momentum density,
T
m
m OIX
). ~ ';\
T rr! ~
4
aI
m
';)
~xl4 = N m
4
p ® v
<-. .. 'X
{m\
is the kinetic
pressure tensor.
Here V. E (= p \ and p are the 3- velocity, energy, and
3-momentum, and ( ),"") denotes the conditional expectation value
X
at x, evaluated by means of the probability distribution defined by
f with respect to the chosen inertial system.
m
We also define mean kinetic pressure p by (tr : = trace)
p : = 31 tr -Tm ~3 4
Nm <"Po"v '\
/ x(m) (52)
Ehlers
lities
hold.
Most of these inequalities are obvious from (51), (52), and E =
m
(1 _ Vi ) Vl ' P = E ~; the only nontrivial inequality is the
third one, due to A. H. Taub (1948). It follows by considering
2 t 2 !
(1 - v fi and (1 - v ). as elements of the Hilbert space
"p'I.(P , f dpl2\ and applying Schwartz's inequality to them.
(J.. m m
Equations (51) and (52) imply the well-known relations:
p« p , then fA' ~ f+ ~
r
If p (nonrel. monatomic gas),
If p» f ' then ~ 3p (ultrarel. gas), (54)
If m = 0, then r= 3 P (photon or neutrino gas).
In order to obtain balance equations for various macroscopic
fluid variables we observe that these latter quantities are moments
of the distribution function in 4-momentum space, given by
J at a\
p p ... p
a.
fm 11m' The Oth moment is, at least for m > 0,
essentially the trace of the matter tensor. Indeed. (47), (51), and
(52) give
r- 3p. (55)
- 330 -
Ehlers
J L
m
(g) 1lm . (56)
dD dD
(Use (34) and (7))
"'D" D
Since D is arbitrary, (56) follows.
- 337 -
Ehlers
(1 )
Lemma 9. If f is an arbitrary distribution function on
m
M , then (for r ~ 2)
m
L (f)'TC +
m m m
J
to
,
+ ~ e Fa). b p a ...
1 ·· b
p ... p a" fm TC m · (57)
}.: t
Ehlers
L C.. ) ~()_
d ... - v ~(a'1.
d P ... p a,.)
f
m v a1... a.. v m
N a·a =
m'
J L (f ) 11
m m m
(59)
and
(60)
Ehlers
N
m ;a
a
S L(f)'t(
m m m
0
a
which, of course, implies also charge conservation, J ;a o.
Assuming also 4-momentum conservation during collisions, (60) re -
sults in
T ab o. (62)
m ;b
- 340 -
Ehlers
N a a a a
n uk ' uk u ka = -1, uk future-directed, (63)
m
or one can use the normality of the matter tensor T ab and use
m
the ua of Lemma 6, i. e., require
a a
0, uDu Da = -1, u D future-directed (64)
a (1 )
uk is called tre kinematic mean velocity. An observer travell-
ing with uk a is characterized by the property that in his local iner-
tial frames there is no particle flux density (see (51) 2); n from
(63) is the proper particle number density.
a (( )
u D is called the dynamic mean 4-velocity. An observer travellr
Ehlers
T
m
ab
r- (a b)
u au b + 2 u q + P h ab + 'T(..ab, (65)
where
ha
$a.b + uaub (66)
b
a
projects T (X) onto the 3 - space orthogonal to u , and where
x
- 342 -
Ehlers
u
a
o. (67)
T ab = Fa Jb (68)
k;b b'
- 343 -
Ehlers
where
T ab
k
LT~b (69)
A
(71)
(72)
;a
o (73)
- :344 -
Ehlers
and
(74)
(75)
and
(76)
(77)
(78)
- 345 -
Ehlers
ab
G + /\. gab TK ab + T ab
M '
(79)
F 0,
[ab, c]
Ehlers
where
T ab (80)
M
(81)
Ehlers
solved for the highest derivatives off the initial hypersurface, provid-
ed that is not characteristic. A careful elaboration for the present
system (79), (81) does not seem to have been performed, however. (1)
Examples of sulutions to the equations (79)1 (with T Mab = 0 ),
(81) are known, see E. D. Fackerell (1966), 1968), J. Ehlers, P. Geren
Ehlers
J
U
V (x; PA' PB" ..-PC' ... ;) S(Ap) ,?AnAA 1'CB· .. A 'fCC' .. (83)
i
where V is a nonnegative (ordinary, measurable) function. ( ) (In order
to avoid ambiguities in the definition of V, U must be such that 4-momen
tum ranges KA (x), KB(x), ... of indistinguishable incoming or outgOing parti-
cles
Ehlers
(84)
Ehlers
Ir~ I
-1
n A ( n A ! n B ! ... nC !) ,where nA' n B, . .. are the
=
f
with A
hand side of
B
(85), then
and
r~ = -2 ( 2! 1! 2! )-1=
factor is necessary in order that the various collisions involving
+ .)
PAis the state occuring on the 1eft-
This
(1 )
See, e. g., Liboff (1969).
- 351 -
Ehlers
C2 ) V(x;p A' PB' .. ~ PC' ... ) " fA (x, pA) fB(x, PB)" . R(p A' PB' .-:t' PC' .. )
(85)
.
In wh'IC h th e fac t ors fA' . .. re fer t 0 th e II·
In II st t on
a es l y.
(C 2) is suggested by the assumptions that
(a) particles which are about to collide have uncorrelated momenta,
(b) the ranges of the coll.isional interactions are small in compari-
son with the scale on which the fA'S change appreciably with x,
(c) collisions take place in spacetime regions so small that the mean
differential gravitational field Ra bcd (geodesic deviation etc. !) and
the mean electromagnetic field F ab do not affect their frequency
- 352 -
Ehlers
appreciably.
(d) the presence of particles not participating directly in a col-
lision does not affect the probability of occurence of that colli-
sioll.
These assumptions, which essentially express that the gas
is dilute ((d) and, for a gravitating gas, (c)), not too inhom~
Ehlers
those collisions for which the momenta are contained in small ranges
KA CPA (x) etc.
According to (83) and (86), the number of those collisions
per unit spacetime volume is
(87)
I
(u.p A) PB - (u'PB) PAl
(88)
(u'p A) (u'PB)
- 354 -
Ehlers
(89)
where
(90)
( t)
See, e. g., Brenig and Haag (1959)
- 355 -
Ehlers
(1 )
In this case R is simply related to the S operator .)
( In the relativistic case, a classical derivation is not availa-
ble, since there is no well developed theory of interacting particles. )
In a certain sense, we have now justified (85), since under the
assumtions stated above the A- and B-particles in the gas should
behave as if they were members of beams in a collision experiment.
One correction, or generalization, of (85) shall now be made. If
the particles are atomic or sUb-atomic, then assumption (d) is defi-
nitely wrong. In the case of Fermions, the presence of particles in
the final states decreases, because of the Pauli principle, the collision
probability, whereas for Bosons it enhances that probability (stimu-
lated emission and scattering). This is incorporated by writing, in-
stead of (86),
(91)
( 1 )
See,e. g., Brenig and Haag (1959)
- 356 -
Ehlers
Here and in the sequel the upper sign refers to Bosons, the lower
one to Fermions.
Ehlers
dQ (92)
(94)
- :l5H -
E:hlers
former r~.)
The equation (93) has first been formulated in special relati-
vity for a classical (i. e., Boltzmannian) gas with elastic binary in-
teractions by Lichnerowicz and Marrot (1940); for other treatments
and generalisations see Tauber-Weinberg (19CiO, Israel (1963),
Bichteler: (965) and the papers mentioned in the introduction.
Henceforth we shall require the Boltzmann equation (93) to
hold for the distribution functions of any gas. (Other "reasonable"
alternati ves for V which lead to different kinetic equations are po~.
(" )
See Brenig and Haag (1959).
- 359 -
Ehlers
R C .. . RAB .. . (95)
AB .. . C .. .
(96)
~ (~p) - factor. Other conservation laws like (74) can and have
to be incorporated by similar restrictions on the R-functions; this
will be assumed in the sequel.
It is now clear that we can generalize the selfconsistent field
~(x)pa.
( t )
on the mass-shell, i. e., IfA (x, p) I~b(x) e J& ,with band Ja
depending continuously on x.
- 360 -
Ehlers
bounded. (This last aSBumption, though perhaps valid for strong in-
teractions. ( , ), does not seem to hold, e. g., in the case of weak
interactions. ( t) Bichteler obtained his results by applying Banach's
fixed point theorem to an operator given naturally by means of (93).
defined on a suitably chosen complete metric space of exponentially
bounded distribution functions. As Bichteler pointed out, his results
lend some credibility to the (formal) Chapman-Enskog approxima-
tion which will briefly be discussed later.
Ehlers
(97)
i\
inserting LA (fA) from the Boltzmann equation (93) and assuming the
- 362 -
Ehlers
where we have again used the notation (94). Each such integral
is nonnegative, since its integrahd has the form
a
( log b) (a - b). Hence,
~o. (101)
;a
Ehlers
S[~] : (102)
Ehlers
(103)
(104)
(106)
Ehlers
0, (107)
and a( L), using the adiabatic condition along the wall'dj- , and
taking account of (101) we obtain in '}
Sa O. (108)
;a
Ehlers
only if at x
AB
f f ... fC... (109)
o. (110)
The second part of this theorem follows from the first part by
means of equations (93) and (99).
The restriction R:: >0 is not unsatisfactory from the physical
point of view, since the R - functions are usually analytic functions of
the momentum variables on the "collision fiber" Ap = 0, and hence
they vanish only on sets of measure zero.
The problem of finding the general continuous solutions ( fA' ... )
of (109) has been solved for binary elastic collisions between Boltz-
mann particles, where (l09) reduces to
Ehlers
(112)
and a similar formula for fB and with Ja the same for both spe-
cies. (Chernikov (1964), MarIe (1969) and, in the case where the
1
fA'S are assumed C, Bichteler (1965), Boyer (1965). The nicest
proof is that of MarIe, the shortest that of Bichteler.)
If we consider elastic binary collisions between Bosons or Fermions
( or a mixture ) and assume that all factors in
(113)
a
_()( (x) - B (x)p
e A Ja -+ (114)
Ehlers
(116)
(115)
- 369 -
Ehlers
(116)
T ab = a b ab
A (fA + p A) u u + p A g , ( 117)
( 118)
( 119)
( 120)
r
s ---
- 2 rc'l.
m
These functions and further thermostatic relations obtained from
them have been studied extensively; see, e;g., Landsberg and Du!:.
ning-Davies (1965) and the references given there.
The thermostatic meaning of the two parameters oc..! is reco-
gnized thus: observe that
s = - Otn + !r+2~1 f
00
m
- 370 -
Ehlers
Transform the last term by partial integration and get, with (120),
s =- (122)
dp = } dO( (123)
dr = ! -1 ds + c:J., -1 dn ( 124)
Now,
where
r
T
(s, n) is a thermostatic pot~tial, and
is the temperature
df = T ds + fdn,
and fA'iS the chemical potential
(per particle). Hence we conclude
-1
T , ( 125)
Ehlers
T dot = e E. (126)
T
U o
e (127)
T
- 372 -
Ehlers
Ehlers
Ehlers
local equilibrium, i. e., is such that for € 0 the f 's have the
,a'
=
A
form (114), with unspecified spacetime fields OiA' and we
s ha 11 deno t e by l th e varla
fA ' t'lOns --~
dfA I~ =0. Notl'ce that the "10
Ehlers
0, (128)
~: = ( 129)
Again we can write the decomposition (65) for the total, perturbed
ab . a a I ab
tensor T , wIth f = rIO) +
I
£f I
,p = p(O) + Eo p, q = € (q ) • 1C =
= E ( rc ab ) I, because of (117) for £ = o.
Similarly,
( 130)
and
a a a ( 131)
S =~u +'6.
- :376 -
Ehlers
where the kinematical quantities {7, O"ab' Ua' Wab are defined
by
u =W +<S" 1
+- -& h -uu.
a;b ab ab 3 ab a b'
(133)
a
cr}=w
ab (ab)
=3"[ab] 6"
a
= 0
a
)' : ) ; u . ( 134)
;a
Ehlers
Na = ~v I' (137)
A;a L p pA
P
which express the general solution of (136) in terms of the con-
stants r pA and the reaction rates vp' giving the spacetime den-
sities of reactions of type p.
From (130). (137) we obtain the particle balance equations
Ehlers
(138)
hog(.l. ± 1)-1
sf
and
( 142)
- 379 -
Ehlers
( 143)
henceforth.
Also, we rewrite (141) for the perturbed variables:
( 144)
A
- :380 -
Ehlers
( 146)
+LiA
a
( rA,a + fAUa) +~Ivp2:fArAp} ~ O.
A P A
This expression has the usual form known from ordinary irre-
versible thermodynamics (see, e. g., de Groot and Mazur (1962) );
in relativity, it has also been worked Qut on the basis of pheno-
menological assumptions by several authors (see, e. g. Stiickel-
berg and Wanders (1953), Kluitenberg, de Groot and Mazur (1953),
Kluitenbelfg and de Groot (1954), (1955).
- 381 -
Ehlers
Ehlers
Ehlers
Ehlers
a
w
and ~a = (~(l44) ):
T
S[ 2:t] - S [L:J ~ J a
T- 1 w <3"a ( 143)
A
where./\. is that part of the boundary of the world tube which lies
between ~ , and
~1
L: t ,and where'" is assumed to be later
~2
than
L . This inequality is a precise version of the somewhat vague
ass;rtion ~S ~ J~ which has first been postulated in general
relativistic thermodynamics by Tolman (1934). In a similar fashion
one can derive other "global" thermodynamical laws for moving, fi-
nite systems enclosed in containers (timelike cylinders in X) from
the basic differential relations discussed here; again, there is no
ambiguity. (For another example of such a derivation, see Starusz
kiewicz (1966).)
Last - but not least - I would like to mention that the long-discu~
Ehlers
REFERENCES
Ehlers
Ehlers
689 (1953)
" , Physica ~,
" " "
1079 (1953)
G. A. KLUITENBERG and S. R. de GROOT, Physica 20, 199 (1954)
"" " " 21, 148 (1955)
" " " " ~1, 169 (1955)
P. T. LANDSBERG and J. DUNNING-DAVIES, in: Statistical Mecha-
nics of Equilibrium and Non-Equilibrium,
J. MEIXNER (Ed.), North-Holland 1965, p. 36
R. L. LIBOFF, Introduction to the theory of Kinetic Equations,
Wiley 1969
A. LICHNEROWICZ and R. MARROT, C. R. Acd. Sc. Paris 210,
759 (1940)
R. W. LINDQUIST, Ann. of Physics ~,487 (1966)
J. LOWRY, Ph. D. Thesis, Univ. of Texas at Austin, 1970
- 38t! -
Ehlers
(C. 1. M. E. )
ABSTRACT
K. B MARATHE
K. B. Marathe
University of Rochester
Marathe
K. B. Marathe
University of Rochester
1. Introduction
Marathe
lVIarathe
2. Geometrical Preliminaries
l\1arathe
m
Y = gl' X
i m where
m
mx = (Y I , Y2, Y3, Y4 ), and g = (gi ), the summation conven-
tion being used.
Marathe
n(l)=x
x
k k
In L then (x , x.) can be taken as local coordinates.
1
Marathe
3. Proof of Theorem 1
The proof is divided into two lemmas.
lVIarathe
ght forward.
Marathe
J gjk
') xh ) - (4)
ij
where are the components of the dual tensor g'" to g.
r
g
is the unique torsion-free metric connection for the pseudo-
Riemannian structure on M defined by the tensor g. The si-
gnature -.-.-.+ of g follows from its definition and (1).
The theorem of Hano and Ozeki (Ref. 4) states that the struc
ture group G of L can be reduced to a subgroup H if and
only if there exists a connection in L whose holonomy group
is H.
This last result and lemma 1 and lemma 2 constitute the
proof of theorem 1.
4. Conclusion
Marathe
Marathe
and g(e.,e.)=0
1 J
.i\larathe
ACKNOWLEDGEMENT
Marathe
REFERENCES
G. BOILLAT
G. Boillat
1.- Preliminaires.
Supposons qu'un champ ~(x~) veri fie un systeme d'equations aux derivees
partielles quasi lineaire du premier ordre (ou ramene a cet ordre),
(6) f .. 1 + i,
(9)
ou q~ est Ie vecteur (transverse) courant de chaleur (4),
- 409 -
Boillat
Cependant on voit immediatement (Eq. 17) que dans Ie repere pro pre les
equations (19) ne contiennent auuune derivee par rapport au temps. On
se trouve donc dans Ie cas (a) du §1. Eerivons alors avec Eckart (5),
(20) qo(, = _ K'loif'(UrQ _ QU"\,u(J = - Ktf>\(Q'I~).
Nous evitons ainsi l'inconvenient pree~dent et nous avons,
p ') O.
r
Ie produit des racines de cette equation bicarree est negatif; il exis-
tera des racines imaginaires (§l,b).
avec
(25) Q~ = qu~ + q~ •
- Pour que Ie
Nous avons introduit une nouvelle variable de champ q.
champ soit hyperbolique il est necessaire que sa derivee par rapport
au temps figure dans les equations du champ, c'est-a-dire dans T~ puis-
qu'elle n'est pas ail1eurs. On volt tout de suite que l'on n'obtient
rien d'interessant en prenant T'" proportionnel a g<t d q ou
U1Vy(qU~). On est ainsi conduit a faire apparaitre la deCivee temporelle
de Q.~ c'est-a-dire a prendre,
(28) F(Q,r,q,h) = O.
5.- Perturbations.
De (26) on deduit,
(29) - UOqoC. .. Ui'(qbh +~q) + Uqo(Dh +v'toll'f,Jg + U(q +r»)ucl.,
que lion porte dans (14) pour obtenir,
et (si Q. ~ 0),
d ut' " 0, r, ~qGC. = u b'q.( = 0, F- dq + Fh ~ h " O.
iGC. g( q
II en resulte qu'il correspond trois vecteurs propres a cette vitesse;
Oq.( a deux degres de liberte et Oq (ou Oh si Fh etait nul) peut @tre
choisi arbitrairement.
1.- Determinant ce.racteristigue.
Nous supposons U I O. Contractons (30) avec ~r et utilisons (31),
(36) U(A - Q.)~r/r + C(dp -I>~O) - UQ. ~h " O.
on obtient,
q2 = _ q qO<
0(
FO rF F-q Fh
r
(47) a(F) = 0,
II est commode de prendre F sous 1a forme suivante reso1ue par rap-
port a. h,
(50) ~)p = V •
10.- Llouue excentionnelle A .. 0.
A= ° clest ~ U- Q = ° soit,dans Ie repere propre (cf. 18),
(51) ~ = - qn/l1
En ecrivant que ~ 2 ~ 1, ou ce qui revient au m~me ici que 1a vitesse
radiale ~ u~ - q~ est du genre temps (ou isotrope) on a 1 l inegalite,
(52) q2 ~ 'rI2 •
Cherchons maintenant sli! est possible que llonde soit exceptionne11e
(12)(13) crest-A-dire ne produise pas de chocs sur Ie front dlonde.
Pour qu 101
1 en soit ainsi on deVl~. avoir (14),
soit,
U~" + 11 q.(6u O< _ ~.( ~qo(. • O.
De (32),(42) on tire,
r~f-rOh= ~p,
si bien que,
- r)r/r = 0,
~p + Sf'"
ou, puisque r
= I- e -h et compte tenu de ( 43,
)
(53) ~p=O
- qui derive de (48) et
~-
~)p " - h,
(55) V = K(~),
une certaine fonction de p, alors (54) donne,
r = -K(p)O + funct(p).
(56) P. = - K(p)O,
J.
(61) =+(Y_l)2,
avec,
J> - Pg = - p)g/~r •
X = - U2/C, y. QU/C,
Non seulement la surface dlonde doit @tre du genre espace mais la vi-
tesse radiale doit encore @tre du genre temps. Ced implique,
- 419 -
Boillat
soi t,
(67) 4(X - l)(XPX + YPy)P X + (q2X - y 2jX)Pi ~ 0,
pour toute solution de (65).
a'est-a.-dire, en posant,
(69) e- =«',p
~ ~)r + r~)Q~)~
L'equation d'etat ne doit pas dependre, bien entendu, de q ni de -q qui
figure dans ~ • II faut done,
(71)
(72) ~ = ~(S).
En utilisant l'identite thermodynamique,
(75) o = ~ p/ + G' ( s) , f .. 1 + i .. Pe F + G,
Alors,
(78) e+p = f/v • p/p' ~ ~ = e(p); f .. 70 .
Si nous suposons G' • 0 (G .. ete) nous avons, pour les chaleurs spe-
cifiques a pression et volume constants,
- 421 -
Boillat
1 1. ~Q)
Cp Q 'OS p P (!)
= K
K
I + !
K'
(80)
1. _ 1. .. (¥_ I)! .
Cv Cp K
KTSY
iC.§l
= cte.. C
1
p
p
o
= 0, G .. 1,
on aura,
i=CQ,
p
cp .. rR/(l-l), pV=RQ.
rf '" e+ p .. f/V.
Dans llhypothese la moins restrictive (b,§12),
t -p P G -F
= pI - 2p + pIe .. lY()
1 S ,
ce qui entraine,
- 422 -
Boillat
(86) P = a(p +p
o
)t, G = 0.
(90) ~2 ~'(-l+!!.
1 /1
IV
= ~ j (r - 1 + r;).
On voit que
soit,
q ~2 +}q ~ _ C rO
n p
= 0, CprO = 2(p + P0 ).
Remerciements
Nous exprimons notre gratitude a MM. C. Cattaneo et A. Lichnerowicz.
Nos remerciements vont aussi a Mme Y. Choquet-Bruhat et M. J. Ehlers.
References