Vous êtes sur la page 1sur 30

Sur l' cart g od sique.

Von
T. Levi-Civita in Rom.

Une formule classique remoutant ~ 5aeobi d~finit d'une mani~re tr~s


simple l'ensemble des g~od~siques g d'une surface, infiniment voisines b,
une g~od6sique donn~e B, qu'on appelle g~od6sique base. C'est l'~quation
lin~aire
day
(J) d~ ~ + K y ~- O,
off y d~signe la distance (normale) d'un point quelconque M de g ~ la
base, ~ l'are de eelle-c,i, eompt~ s pattir d'une origine arbitraire 0 ]usqu'~
la projection P de M sur B, et K(a) la eourbure gaussienne de la sur-
face en P.
(J) n'est que l'~quation aux variations, d'apr~s Poincar~, des g~o-
d~siques ~ partir de B: elte donne lieu, eomme on saitl), h des cons&
quences tr~s remarquables sur Failure des g~od~siques ~ dans le voisinage
imm~diat de la base, ]a nature de la surface intervenant seulement
travers sa courbure totale K, II s'agit ~videmment d'une question intrin-
s~tue, c'est-h-dire se rapportant exclusivement h la m~trique de la surface
(d6finie par son ds~), et non aux diff~rentes configurations qu'elle peut
presenter dans l'espace.
D~s lots on est tr~s naturellement conduit b, ts d'/~tendre l'~tude
de racart g~od~sique b. une va~i~t~ riemannienne V. b, un nombre quel.
eonque de dimensions. A la v~rit~ on poss&le depuis longtemps les &tua-
tions de La~ange d6fmissant les g'eod~siques d'une F~ sous une torme
dont la convenance soit th~orique, soil algorfl;hmique ne saurait 8tre d~-
pass~e. II suffit done d'en former les ~quations aux variations ~ partir

I) Voir par ex. ~ u x , Thgor/e des surfaces, Vol, HI (Pa~s, Gnuthler.Villn~


1894; nouveau tirage 1923), Chap. V; oli bien Blas~ke, V o r ~ e ~ ~ber ])/t~er~
t~dPe~meb-/~ B. L (2. &lition, Be~n, Julius Spriuger, 1924, pp. 8~--88"~.
19"
292 T. Levi-Civita.

d'une g6od6sique donn~e B. De cette mani6re, en introduisant, d'apr~s


M. Bianchi, la d~rivation d'un vecteur attaeh~ aux points d'une ligne
d'une Vn, on parviendra s attribuer aux 6quations aux variations dont il
s'agit une forme condens6e, (I) du N ~ 8, g6om6triquement expressive et,
bien entendu, invariante, c'est-s valable quel que soit le syst6me de
coordonn6es auxquelles on se rapporte.
La construction effective de ces 6quations (lin6aires du second ordre,
au nombre de n, avec autant d'inconnues) exige uniquement la connais-
sauce de la base B et de la m6trique de la vari6t~ (notamment des sym-
boles de Riemann) le long de la m~me courbe.
On constatera gout ~ fait g~n~ralement que le systgme susdit admet
une int4grale premigre lin~aire donnant lieu ~ son tour h une relation
en termes finis entre les inconnues: c'est comme dire que l'ordre diffe-
r~ntiel peut ~ r e abaiss4 ~ 2 ( n - 1 ); done en particulier, dans le eas
d'une surface, ~ 2, ce qui s'aceorde avec la formule classique de Jaeobi
rappel6e au d4but.
Naturellement on peut titcher de simplifier le systgme (I) en se rap-
portant ~ des variables convenables.
Comme pr@aration s ces r~ductions j'ai repris, duns la prgmigre
partie du present mgmoire, une g~n~ralisation due s M. Fermi, des coor-
donn~es localement cartgsiennes de Riemann. I1 est bien eonnu qae
Riemann, par la consideration de ]'ensemble des g~odgsiques issues d'un
mgme point O, a montr~ qu'on peut d~finir, k partir de coordonnges quel-
conques x, de nouvelles coordonnges Y telles que le ds" devienne locale-
ment cart~sien, dans ce sens que ses coefficients ont des d~rivges toutes
nulles au point O: le choix des y peut se Iaire d'une infinit~ de manigres
et n'exige que des opt.rations rationnelles.
M. Fermi a ~tabli que, une courbe quelconque B ~tant donn~e, il
est encore pessible d'introduire des coordonn~es y pour lesquelles le ds"
a caractgre localement cart~sien en tout point P de B. Pour se procurer
effectivement de telles y en fonction des variables primitives x, il faut
toutefois avoir recours au transport par parall61isme le Iong de B, ce qui
6quivaut ~ l'int6gration pr6alable d'un syst~me lingaire d'ordre n admet~
taut une int~grale quadratique"-).
Darts le N ~ 1 j'ai reproduit la remarque originaire de Riemann; j'ai
expos4 ensuite le rgsaltat de M. Fermi en suivant de plus prgs la voie de
Riemann et en dgveloppant eertains d~tails. J'ai 4t~ conduit de la sor~e
envisager en premier lieu le cas off la courbe B e s t ggod~sique (N ~ 2, 3),

~) Voir ~, co propos mort m~moire Nozione di parallzlismo in una varietiz quab


u~ru/ue et,e., Rend. del Cireolo Mat. di PMermo 42 (1917), pp. 173--215.
]~ea~ g~odSsique. 293

apr~s quoi on se rend compte plus nettement des petits compl~ments


exig~s par le cas g~n~ral (N ~ 4). Les N ~ 5 et 6 se rapportent s l'inter-
proration g~om~trique des coordomu~es y e t ~ une propri~t~ qui en ressort
pour l'arc des g~od~siques infiniment proches k une base g~od~sique donne:e
B. Les N ~ 7 et 8 sont d~di~s s Ia formation des ~quations aux variations
en coordonnbes g~n~rales.
Les coordonn~es y apparaissent ~videmment indiqu~es pour ranatyse
de ce qui se passe au voisinage imm~diat de B. En se rapportant aux y
les ~quations (I) se simplifient ~ double titre. Tout d'abord la r~duction
l'ordre 2 ( n - 1) s'accomplit automatiquement: puisque y~ s'identifie
avec la variable ind~pendente o, une des ~quations devient une id~ntit~
et il en restent n -- 1 du second ordre d~finissant yl, y ~ , . . . , y~_~ comme
fonctions de o. D'autre part dans ces ~quations il ne figure pas de d~-
riv~es premieres, pr~cis~ment comme il arrive dans l'~quation unique (J).
L'introduction des y s~appuie, ainsi qu'on l'a rappel~, sur Ie ~ransport
parallSle le long de la g~od~sique B. Au point de wae analytique ceci
revient s une operation auxiliaire d'ordre n ~ 2.3) Une telle integration
interm~dia~re disparait pour n ~ - 2 : circonstance ~ pr~voir puisqu' on
savait depuis longtemps clue l'obtention de (J) n'en exige pas.
I1 resterait s examiner de plus pros sous quelles conditions deviennent
possibles des r~ductions ult~rieures du syst~me (I). 5e n'ai pas mSme
dfleur5 cette ~tude, ni non plus l'application des (I) s la question si im-
portante de la stabili~ des mouvements.

1. C o o r d o n n ~ e s l o e a l e m e n t cart~siennes d'apr~s Riemaun.

Soit V~ une vari~t~ riemannienne s n dimensions rapport~e ~ des


coordonn~es quelconques xl, x.~, . . . , x~. Soit

(1) d s " ---- 2 , , a ~ , d z i d x ,


1

la forme quadratique qui caraet6rise la m6t~ique de la vari6t6: je sup-


poserai, pour fixer les id6es sur le cas traditionneI, que la forme soit d6-
finie positive*), fie" supposemi en ou~e que les coefficients ai~ soient des

~) II s'agit d'un syst~me lin~aire d'ordre ~ dont on connait une int~rale qua-
dratique et uno solution particuli~ro (correspondant ~ Ia direction de la g~d6sique
elle- m~me).
~) Les considerations qu'on va d~velopper 8ubsis~nt d'ailteurs sans m o d i f i ~
essentielles, m~me s'fl s'agissait d'une forme ind~mie~ pourvu qu'ollo soit irr~ktuctible
et que la base ~ ne soit pas de tongueur nu]le.
294 T. Levi-Civita.

fonetions des variables ind~pendantes x, analytiques et holomorphes dans


le domaine qu'on va envisager~).
Si l'on fixe un point O de coordonn6es x ~ (i = 1, 2 , . . . , n), il arrive
en g6n6ral clue les n n ( n -2- 1 ) d~riv~e_~ premieres des coefficients ai~ ne
s'annulent pas en O. On peut toutefois, et eela d'une infmit6 de ma-
nigres - - c ' e s t la remarque elassique de Riemann N remplaeer les x par
d'autres eoordonn6es y de sorte que routes les d6riv6es des (nouveaux)
coefficients du ds ~, ou, ce qui revient au m~me, tous /es symboles de
Christo]]el s'annulent au point 0. On appelle de telles combinaisons y
coordonndes localement cart~siennes (parfois aussi g6od6siques)par rapport
au p61e O.
Pour d4montrer l'existence et caract6riser le d~gr6 d'arbitrari6t6 des
fonctions y, on peut se placer au point de vue formel en se proposant la
question tout s fait 616mentaire de construire les transformations de co-
ordonn6es dou6es de la propri6t6 voulue. C'est ce qu'on fait de pr6f4rence
dans les expositions didactiques des principes de la g6om6trie rieman-
nienne6). Mais on peut aussi construire d'une mani~re synth6tique un tel
syst~me de coordonn6es ( e t e n d~duire ensuite tous les autres d'apr~s la
remarque finale de ce N~ C'est la voie originelle de Riemann que je
vais reproduire ici.
Soit d x i ( i ~ 1, 2 , . . . , n) un syst~me d'accroissements infiniment
petits donn6s aux variables x s partir du point O. /_Is d6finissent un d6-
placemen~ 616mentaire et, par leur rapports, une direction issue de 0.
A la plate de ces n - 1 rapports on introduit plus sym6triquement les
param~tres de direction, c'est-~-dire [ds 6tant d6fini par (1)] les n
quantit6s
(2) 2i = d x '
d8
li6es, d'apr~s (1), par l'identit6
n
(3) flv,'~/~aik2i2~ = 1.
1

Les 6quations diff6rentielles des g6od6siques de V~ (quelles que soient


les coordonn6es auxquelles on se rapporte) s'6crivent

Xi " ~ -- h X . ' ~7h' (i = 2, 9 ,


5.

5) J'introduis l'hypoth~e de l'analyticit~ pour abr6ger la d~duction des int&


grales des lignes g~od6siques et la discussion des cons6quences qui servent ~ notre
but. On pourrait toutefois raisonner sur des hypotheses beaucoup moins restr/ctive~
Voir not~_mment les remarques ~ ]a fin des Nos 1, 3, 4.
6) Par exemple dans rues Lezion~ di eal~o~o differenziale assoluto (raecolte dal
Dot'tore Enrico Persieo), Roma, Stock, 1925, pp. 187--190.
]~cart g6od6sique. ~95

• J

va sans dire, aux coordonn6es choisies), la variable ind6pendente est Fare


s de ]a g6od6sique envisag6e (compt6 s partir d'une origine arbitraire) et'
d6signe la derivation par rapport s s.
D'aprgs (4) les d6riv6es secondes des x se pr6sentent comme des fonc-
tions quadratiques des d6riv6es premieres x ' s coefficients d6pendant des x.
I1 s'en suit, par d6rivation, que les x"' sont des formes du troisi~me degr6
par rapport aux x', et~ plus g6n6ralement, que les d6riv6es x (~) d'un ordre
queleonque m sont des formes d'ordre m par rappor~ aux x', dont les co-
efficients d6pendent des x. On le d6montre bien ais6ment par induction
en supposant d'avoir eonstat6 pour une certaine valeur de m, que

X(m) ~ Pi'
les p 6rant des polynomes homog~nes de d6gr6 m par rapport aux x'.
Si l'on d6rive par rapport ~ s il vient 6videmment

i L-~z ~xz xz -4- x['.


1 1

Or @ ___!~est encore une forme de d6~6 m par rapport aux x', et par con-
~xz
s6quent la pr6mi~re somme est bien une forme de d4gr6 m + 1. I1 en
est de m~me de la seconde, puisque ~ est une forme de d6gr6 m -- t,
tandis que, d'apr~s (4), les x[' s'expriment par des formes quadratiques.
Pour m ~ 2 la propri6t6 ressort directement des 6quations (4): elle est
done vraie en g6n6ral. C. Q. F. D.
t~Ioyennant le d4veloppement de Taylor, on peat explioiter les so|utions
x~(s) des (4) qui repr6sentent les ~ - 1 g6od6siques issues de O. Les
conditions initiales d6fmissant ces solutions sont (en plagant pour simplifier
l'origine des arcs au point O)-
(5) xi =- pour = 0,

hs 2 i devant ~tre cens6es comme des consOantes, li6es uniquemen* par (3)
(off les ai~ se rapportont au point O)" Ies rapports des 2 ~ restent par con-
s6quent tout b, fair arbitraires. Duns le d6veloppement de Taylor (ab-
solument et uniform&neat convergent par rapport aux 2 et ~ s pour ls I
assez petit)

(6) x,- x ~ = 2 s +9 x - ~ (m) s ~ (i=I,2,... , n~,


2

on dolt natnrellement supposer le x~~ r d'apr~s (4) e~ (5). La~r


296 T. Levi-Civita.
1
marque de tout s t'heure nous permet de retenir que l e s ~ . x(~~) sont des
polynomes homog~nes de d~gr~ m, X ~ (i , , . . . , i~), par rapport aux a~-
guments 2, dont les coefficients sont des constantes bien d4termin4es, d6
pendant du point O.
Introduisons maintenant avec Riemann, s la place des x, les nouvelles
variables
(7) y~ =: 2~s (i -----1, 2 , . . . , n~
Comme, s cause de l'homog6n6ir

~ x~ (~ ~, 2, ..., ~') = z ~ (~1, ~,., . . . , ~),


les (6) donnent lieu aux formules de transformation

(s) xi- x ~ = y, + 27~ x ~ ~yl, y~, . . . , y~) (i = 1, 2 , . . . , ~),


2

les X~ dtant des polynomes de d4gr4 m par rapport aux y et les s4ries
4tant absoIument et uniform4ment convergentes taut que les , Y i restent
assez petits.
Le point 0 (xi-----2) correspond ~videmment s l'origine (yi----O) des
nouvelles coordonn~es, et les formules (8) d4finissent une v4ritable trans-
formation de coordonndes, r~guli~re et biunivoque au voisinage du point O,
puisque le d4terminant fonctionnel des seconds membres des ( 8 ) s e r4duit
l'unit4 au point 0 (pour y~-----0).
Iqous sommes mainC~nant s m~me d'4tablir, presque sans calculs,
clue, si l'on remplace duns (1) les variables x par y, les nouveaux sym-
boles de Christoffel, disons ~J:~}, s'annulent tous au point O.
1)our cela on s'appuie sur la remarque ClUe, si duns le formules (8)
on remettait )~is s la place de chaque y~, en regardant les )i comme des
constanCes (quelconques, mais bien d6termin6es), on serait recondait aax
6quations param6triques (6) d'tme g6od6sique issue de O. C'est
dire que les 6quations (7), sous la m~me hypoth~se pour les 2i, d6fmis-
sent justement la m~me g~od6sique lorsqu'on se rapporte aux variables y.
I1 s'en suit que les 6quations diff6rentietles des g~od6siques en coordonn6es y,

(4')
h i Y;Yl
(i= 1, 2 , . . . , ~),

doivent ~tre satisfaites par les expressions (7) des y , et cela pour tout
choix des constantes I satisfaisant uniquement ~ (3).
Ec~rt gb~4que. 297
Si 1'on porte darts ( 4 ' ) les valeurs (7) des y, les premiers membres
s'a~nnulent, et on a par cons6quent

hti)
1

qui doivent ~tre satisfaites pour toute valeur de s, et en particulier pour


s=0.
plus

des 2. En les d6signant par SJh]., on se trouve de la sorte conduit aux


conditions

~-~iht i )o ' " "'


1

valables quels clue soient tes rapports des 2. Ceci impIique ngcessairement

{J}o= 0 if, j, 1, 2 , . . . ,
c'est-s clue, par rapport aux variables y, tous les symboles de
Christoffel s'annulent au point O.
R e m a r q u e . La d6termination des combinaisons r y des x
d'apr~s les formules de transformation (8), implique (s cause des s6ries des
seconds membres) l'int6gration pr6alable des 6quations (4) des g6od6siques.
Mais il est essentiel d'observer que, s[ l'on remplaee les seconds membres
des (8) par d'autres ayant en commun les termes des deux premiers orclres
par rapport aux y, tout en diff6rant d'une mani~re queleonque au delS~ du
second ordre, on d6finit de nouvelIes coordonn6es 6galement cart6siennes
au point O. En particulier on pourrait prendre

(8') x, -- x ~ = Yi + X~, (Yl, Y~,---, Y.) = Yi -- -~


1 ~T6.
V ~ ( ~ ) Yj Y~

(i= 1, 2, . . . , n)
auquel cas les seconds membres se r6duisent ~ des polynomes du second
d6gr6 et les coefficients aux symboles de Ohris~ite! re!atifs aux variables
originaires x et au point O. C'est d'apr~s cola qu'on a bien te droit
d'affirmer qu'on peat introduire des coordonn6es localement cart6siennes
d'une infinit6 de mani~res n'6xigeant clue des transformations rationnelles.
298 T. Levi-Ci~ita~

2. Coordonn6es eart6siennes le long d'-ne courbe -- Aper~u geom~triqae


pr61iminaire.
Une belle g6n6ralisation du r6sultat de Riemann est due ~ M. Fermi:).
II a fait remarquer que, une eourbe quelconque B dr V~
(9) x~-----~ ( ~ ) ( i = 1, 2 , . . . , n )
6tant donn6e, on peat introduire de nouvelles coordonn6es y ayant carac-
t~re cart6sien en tout point P de B, c'est-s telles que ies symboles
de Christoffel s'annulent tout le long de B.
I1 n'est pas sans infarct de se rendre compte d'avance de la marche
suivre pour l'introduction des y. On y sera conduit tr~s naturellement en
se faisant guider par analogie g~om6trique avec le cas ~l~mentaire off l'on
aurait affaire s une courbe B de l'espace ordinaire rapport6e s des co.
ordonn6es curvilignes quelconques x. Pour faire ressortir cette analogie
on prendra soin de choisir, parmi les locutions et les constructions de la
g6om6trie 6!6mentaire, celles qui s'6tendent d'une mani~re 6vidente'~ une
vari6t6 riemann/enne Vs- Ceci pos6, comment s'y prendra-t-on pour intro-
duire, s paxtir des x , des coordonn6es cart6siennes y dans notre espace?
Envisageons d'abord l'hypoth~se particuli6re, qui est d'ailleurs la plus
importante pour notre but, que B est une g6od6sique (droite).
Une des coordonn6es y, disons par ex. Ya, est alors donn6e par l'arc
de B (abscisse) compt6 s partir d'un point origine quelconque O. En-
suite, si, pour tout point P de B, on imagine le lieu 2 (plan) des g6~
d6siques (droi~es)perpendiculaires s B, on a une famille de surfaces qu'on
appelera ys ~-const., la constante 6rant celle qui correspond au point P.
Un point M de l'espace peut ~tre caract6ris6 par la valeur de yz appurtenant ~
la surface-Y de la famille, qui le contient, et en outre par deux autres
coordonn6es y~, y~ de ce plan. Pour les d6finir, on m~nera par 0 deux
droites perpendiculaires entre elles dans le plan ~o correspondant au point 0,
et ensuite 1curs parall61es en tout point P de B. On engendre de la sort~
,un r6seau cartAsien tout le long de B, et il suffit d'associer s Ys justement
les deu~ autres coordonn6es, fournies, en tout 2 , par ce r6seau.
En traduisant analytiquement ce critgre on parvient ais6ment s la
construction effective des formules de Vransformation entre les coordorm6es
originaires x et les y susdites.
Je me propose de d6tailler ceci dans le N ~ suivant. En attendant je
voudrais esquisser aussi les compl6ments g6om6triques qui conviennent au
cas d'une courbe quelconque B (toujours de 1%space ordinaire).
7) Sopra i feno~teni ehe avvengono in ~arossimith di una linea ovaria, Rend. Ac~.
IAneei 21 (I er sem6stre 1922), pp. 21--23, 51~52. Comparez aussi ]es pages 190 h 19I
de rues Lezioni etc., cit4es tput ~ l'heure.
Eca~ g6odfsique. 299

On m6ne par un point initial O de B routes les g6od6siques or~ho-


gonales R B, et par *out autre point P de B Ies g6od6siques sor~ant dans
les directions parall~les (droites paralt61es), qui engendrent justement une
surface g6od6sique 27 (plan) de p61e P. On fera correspondre s une Z
d6termin6e la valour o de l'arc de B compt6 de O s P. Cette o est une
coordonn6e auxiliaire. Pour 6tablir le passage entre les eoordonn6es
assign6es x et des coordonn6es cart6siennes il y a lieu de fixer l'attention
sur un tri~dre trirectangle de r6f6rence T ayant l'origine en O, l'axe des Y3
tangent ~ B, et les deux autres dans le plan ~vo. Par rapport ~ c e s axes
la courbe B aura certaines 6quations param6triques
(11) y , = %(o),
les fonctions ~v~ 6rant inconnues a priori. Quoi qn'il en soit, moyennant
le transport parall~le de O ~ P, on pent introduire des diff6rences
Y~- ~vl(a), Yl--Y~ (~), ayant la signification de coordonn6es dans Z ,
localement cart6siennes par rapport au point P. On construit de cette
mani~re les formules de transformation entre les x~ et y~, y~, ~. C'est
ce qu'on va voir all N ~ 4, O5 nous aborderons directement le cas g6n6ral
d'une B appartenant ~ une V~ quelconque.
Le dernier pas, consis~ant ~ introduire la troisi~me, on en g6n6ral
l'n ~ ~ coordonn6e cart6sienne - - disons d6sormais y ~ - 5~ la place de o,
s'accomplit tr~s simplement, moyennant l'6quation y~ = ~ (o), en utilisant
les formules de transformation et exprimant d'apr~s celles-ci clue la direc-
tion u~ suivant laquelle varie y, seule se maintient orthogonale le
long de B aux n - 1 directions suivant lesquelles varie une seule des
au~res y. On en tire n relations, entre les param~tres de la direction ,t~
se rapportant aux anciennes et aux nouvelles variables, conduisant ~ d6ter-
miner les fonctions ~v,(o) (chacune s une eonstante pros). Ce point aussi
sera d6velopp6 au N ~ 4.

3. Cas d'une g~od6sique.


On continuera s supposer (voir la note du N~ 1) l'analyticJt6 de
l'expression ( 1 ) d u d8 ~. D~s lots tes seconds membres ~ ( a ) des 6qua-
tions (9) sont des fonctions r6guti~res de l ' a r ~ e n t ~ pour tea valeurs de
cet argument qui correspondent s la g6od6sique (on portion de g6od~sique)
B dont iI s'agit; quant au param~tre 6, on supposera que ce soit juste-
meat l'axc de B compf6 ~ parkir d'tm point O (quelconque, mais b i e n
d6termin6). Choisissons, en O, n - - 1 directions ,e ~ de param~tres ~0l~
( ~ = 1 , 2 , . . . , n - 1) normales ~ B et ortkogonales en*re elIes. Ima-
ginons de les transporter parall~lement en noas d6plag~nt sur •. Soient,
pour un point quelconque P de B , u ~ ces ~ - 1 directions t r a n s p o ~
300 T. Levi-Civita.

paralt~lement, u~(a)(i---~ 1, 2 , . . . , n) Ieurs param~tres de direction, u ~


les moments correspondants, c'est-&-dire s) les combinaisons lin~aires des
param~tres
Ua/i -~- .~j a s i Us "
1

D'apr~s les propri6t6s fondamentales du transport parall~le, Ies direc-


tions u s et la tangente s la g~od~sique B continueront s former en tout
point P u n ennuple orthogonal.
Une direction quelconque u ~ issue de O normalement s B, es~ natu-
rellement contenue dans la vari6t~ lin6aire des ~ os . D6signons par
N~ (a ~ - 1 , 2, . . . , n - 1)les eosinus des angles qu'elle forme avec ces u ~
Lorsqu'on la transporte parall~lement, en suivant B , de O en P, elle
reste normale ~ B e t continue a former, avec les u s~ transport~es, c'est,
&-dire avec les u s , les mSmes angles. C'est comme dire que les para-
m6tres u~(a) d6finis, le long de B, par les 6quations du pa~all61isme,

du ~ {jh} d ~ u ~ ,2,.. n)
1
i (r .,

et les conditions initiales


u~(O) =._~s N %oli (i ~ 1 , 2 , . . . , n)
1

on% quel que soit o, tes expressions

(12) (i= 1, 2,..


1
les N~ ~tant des constantes.
Ceci pos6, consid6rons au point quelconque P de B les cc n-~ g~o-
d6siques sortant de ce point dans une direction queleonque u normale "~B.
Elles forment une surface, ou, si l'on veut, hypersurface~Y & n - 1 dimen-
sions de p6le P. En faisant varlet P sur B on a une famille oo 1 de ces
hypersurfaces. Tout point M de V, (au voisinage de B) appartient ~ une
de ces hypersuffaces et s une seule. On pout le caract6riser en se don-
nant d'abord la 27 ?,. laquelle fi appartien~, et ensuite n - 1 eoordonn6es
ys ( a - ~ l , 2 , . . . , n - 1) aptes .~ d~terminer sa position sur 27, ayant
notamment earact~re cart6sien (sur eette ~Y) par rapport au point P.
Comme param~tre d6finissant 27 on peut prendre par exemple la vale~
de ~ correspondant au point P. Une de nos nouvelles coordonn~es sera
d'apr~s cela
(18) u.=o-
s) Chap. V, w167
2, 3 et 22 des Lezioni etc.
:car g ! qu.
' " e 301
Pou~ assoeier k y~ d'autr~ param~tres y~ jouissant de |a p ~ p n ~
annone~e il eonvient d'envisager I'ensemble des g6od6siques qui forment
nne des Z . I1 s'agit des g6od6siques sor~ant dans routes les direetions tt
orthogonales ~ B . 0omme darts Ie N~ 1, les 6quations param6triques
d'mae de ees g6od6siques peuvent ~tre eonsgruiges d'apr~s les 6quations
diff6rentieltes (4), sous forme de s6ries de puissances de Fare s eompt6
partir de P.
On a ainsi, ~ la place des (6), les &luations

(14) x,--~i(a)=u's 4r~ " s•


2
les x!~ 6rant maintenant des polynomes homog~nes de degr6 m par rapport
aux u~. A cause des (12), on peut 6galement re#arder les x(~~ eomme
des [ormes du d~rd m par rapport a ~ N~, dont les coefficients d6pendent
en g6n6ral de a. D~s Iors, si l'on introduit, par analogie aux d6finitions (7)
de Riemann, les n - 1 nouveaux arguments
(15) y --~-N~s (e-= 1, 2 , . . . , n - - 1),
et si l'on tient eompte des (11), de la structure des x~~*) et de (13), on
peut attribuer aux (14) Ia forme

x (i = 1 , 2 , . . . , n ) ,
Ies X~ ~tant des po]ynomes homog~nes de degr4 m par rappor~ aux
y, (e-~ 1 , 2 , . . . , n - 1) dont les eoefficients d6pendent de y~.
On peut envisager ees formules eomme dafinissmat une ~r~formation
entre les x et les y. En ettet elles fournissent direetement, les x comme
fonctions des y, ees fonctions 4~ant ho/omorphes an voisinage de la ligne
y, ~- 0 (e -~ 1 , 2 , . . . , z~ -- 1), qui es~ justement notre B, puisque, pour
y~= 0, on tire des (16) x i = qg~(y~). D'autre par~, lorsque les modules
des y~ sont assez petits (quelle que soit d'ailleurs la valeur de yn eorre-
spondant s un point P de B) on peut inversement ~irer des ( t 6 ) les y
en fonetion des x. C'est ee qui r~stflte du fair que le d~termLuant fonetion~el
des seeonds.membres des (16), pour y~ = 0 (~ = 1 , 2 , . . . , n -- 1), qui est

1 ~2
302 T. Levi-Civita.
, dq_____~~ d~r
ayant pos6 pour abreger l'6criture ~i = dyn d---J-' ne s'annule pas.
Pour s'en eonvaincre il suffit de remarquer que A est form6 moyennant
les param~tres d'un ennuple de directions mutuellement orthogonales sot.
tant d'un m6me point P de B. Ce d&terminant est certainement diff6rent
de z6ro en m~me temps que le dfterminant analogue ix form6 avec les
moments, puisque leur produit est &gal h 1" c'est ce qui r6sulte imm&
diatement des relations d'orthogonalit6, lorsque on ex6cute par lignes
horizontales, d'apr~s la r~gle de multiplication des d&terminants, le pro-
duit A V.
Apr6s avoir constat6 que les formules (16) 6tablissent effectivement
un changement de variables entre les x et les y, il convient d'en d6duire
quelques cons4quences se rapportant aux nouvelles coordorm6es y. Tout
d'abord ]a circonstance que les (16) proviennent des (14) moyennant les
substitutions (13) et (15), nous assure que"
a) les 6quations-
(15) y,~-Ns (r 1, 2 , . . . , n - - 1),
associ4es s y~ = const. ~ valeur de ~ au point P, d6finissent les g~o-
d6siques de V,, pourvu qu'on y regarde les N, et y,, comme des con.
stantes.
Ces n constantes (y, et Na) sont d'ai]leurs arbitraires sauf la liaison
'n.~ I 9
~aN2-----1, impos6e aux Na par leur qualit6 de oosinus directeurs et la
1
limitation des valeurs y . - - o aux points P de B.
On a d6]~ remarqu6 que, pour un point quelconque P de B, les
ya ( a = 1, 2, . . . , n - 1 ) sont toutes nulles. Consid6rons la ligne (g6o-
d6sique) (15) issue de P pour laquelle Wus les N, s'annulent saul
N~ = 1, fl 6rant un indite bien d&termin6 entre 1 et n - 1. D6signons
par v~ les param6tres de direction dy~ (se rapportant aux coordonn6es y)
d'une tclle g6od6sique au point P. On a 6videmment (d'apr~s (15),
y , - = const, et le choix des N)
(17) v~-O (i+fl), v#=-I (fl-----1,2,...,n--1).
Comme des (16), en diff&rentiant et en posant ensuite y , - - 0 , on tire
~--I |
(18) d x ~ = q ~ d y , + . ~ u ~ dy,,
1

on reconnalt imm&tiatement, en divisant par ds, que, pour les n - 1 di-


dz~
reetions susdites, les param~tres -~- se rappor~ant aux anciennes variables
sont justcment les u~; clone:
]~cart g~od~sique. 303

b) Les n - 1 directions des lignes eoordonn&s y~ (issues d u n point


de B), c'est-h-dire les n - 1 directions caracf&is&s, en variables y, par
les param~tres (17) coincident avec les direction8 (mutudlement perpen.
diculaires) teZ; chacune d'elles, en se d~plagant sur B, se transporte par
paralldlisme.
I1 convient de remarquer en passant clue a) et b) subsisteraient
6galement si B 6tait une courbe quelconque, auquel cas les n - 1 direc-
tions u~, d6plac6es le long de B, seraient encore mutuellement ortho-
gonales, mais ne se maintiendraient pas en g6n&al orthogonales g B, quoi-
qu'on les nit choisi ainsi initialement (au point O).
Dans l'hypoth~se que B soit g6od6sique, il y a lieu de tenir compte
ult6rieurement de cette circonstance, en coordonn6es y. On peut ]e faire
en exprimant l'autoparall61isme:
c) La direction de B, ayant en tout point P (par rapport aux co-
ordonn6es y) les param~tres
(19) y'=O ( a = l , 2, ..., n - - 1 ) , y~.=l
se maintient parall~le h elle-m~me le long de B .
Nous avons fmalement tout ce qu'il faut pour d4montrer que les
nouvelles coordonn4es y sent cart&iennes par rapport ~ tout point P de
B. On n'a qu'g faire intervenir suceessivement les &tuations diff~rentielles
(en coordonn6es y) se rattachant g a), b), c).
Tout d'abord, pour les g6od6siques issues de P normalement s B,
qui appartiennent par d6finition de Z s la surface y~-----const, passant
par P, on a, d'apr~s (15) et la constance de y~,
, dye,
(20) yo=-aT=No ..., n-- 1), y,=O,
d'ofi
(20') y~'= 0 (i = 1 , 2 , . . . , n).
Les 4quations (4') des g~od&iques en coordonn4es y, d~s qu'on y
remplace les y~ par leurs valeurs (15) et qu'on y regarde y, comme une
constante Ice qui entraine (20) et (20')] donnent
~--1 __

( i - - 1, e, ..., n).
1

Eavisageons en particulier le point P (s = 0), off les coefficients {J ~ } son~


iad4pendants des hr. IXaisque les rapport~ des hr sent arbitraires, il s'em
mit, en tout point P de B ,

(21) t i I--
304 T. Levi-Civita.

quelles que soient les valeurs des indices a, fl entre 1 et n ~ 1, et pour


i = 1, 2 , . . . , n.
Passons s b). En coordonn6es y le transport parall~le d'une direc-
tion de param~tres v ~ suivant une courbe, dont soient do l'arc 616men-
taire et dy,
do ~ Y~' les param~tres, est r6gi par les 6quations

d~- - - a Y: vh (i -~ 1, 2, . . . , n).
1

Pour B on a en particulier les param~tres (19), et ces 6quations se


r6duisent
dv ~ ] n h i vh (i--~ 1, 2, . . . , n).
(221 ao - I I
1

Elles doivent admettre les n ~ 1 solutions (17); ce qui 6quivant s

(23) /~nfl/
i 1~- 0 (fl=1,2 "" .' n--l; i ~ - I ' 2, " ' " n)

tout le long de B.
En rapprochant (21) et (23) on reconnait que les conditions a) et
b) prises ensemble entralnent que presque tous les symboles de Christoliel
s'annulent; il n'y a que les n de la forme / i / qui restent exclus.
I1 s'annulent eux aussi lorsque B est une g6od6sique. On n'a qu'~
exprimer d'apr~s c) que les param~tres (19) de B fournissent encore une
solution des (22). I1 s'en suit

2,...,n)

en tout point P de B. C.Q.F.D.


R e m a r q u e . Iei encore, comme s la fin du N ~ 1, il est important
de remarquer qu'on peut modifier s son gr6 les formules de transformation (16)
pourvu qu'on ne touche pas aux termes des deux premiers ordres par
rapport aux y, (r ~ 1, 2, . . . , n -- 1). En particulier fl est loisible d'em-
ployer la transformation (quadratique par rapport aux Yl, Y~, ---, Y~-I)

(16') xi-~cp,(Y,,)+.~V,~ui(Y,,)Y,~-}-X~(Yla , Y~,..., Y,-a,Y,,)


1

qui exige uniquement la connaissance des symboles de Christoffel le long


de B e t des solutions u i des 6quations du transport parall~le sur la m ~ m e
~2

g~od6sique.
~que. 805

4. t~h~ori~me de M. Fermi.
NI. Fermi a d~montr4 plus g4n~ralement 9) (par une m4thode un
peu diff~rent~ et sans d6tailler) l'existence de coordonn4es se compo~ant
r cart~siennes le long d'une court)e quelconque B, qu'on continuera
supposer d~finie par les 4quations param4triques (9), les ~ ~signanr
des fonctions r~guli~res de l'argument.
Pour rattacher eerie proposition aux considerations qui pr4c~lent, on
in~rodui~ (comme on l'a esquiss~ au N ~ 2) la famille des surfaces g4o-
d~siques ~ ayant leur p~le au point arbitrai~e P de B et d~finies comme
il suit: Pour "an certain point initial O (d'ailleurs arbitraire), ~" est le
lieu des g4od4siques qui sorten~ de O orthogonalement ~ B; pour un
autre poin~ quelconclue P, c'est le lieu des g~od~siques issues de P clans
les directions parall~les (suivant B) ~ ce]les qu'on a men~es de O. En fai-
sant correspondre ~ route surface ~ la valeur du param~tre o appartenant
au point P, on arrive ~ introduire la fami]le des surfaces o ~ const, et
par 1~ une coordonn~e auxiliaire o clans V~.
Comme au N~ pr4c~dent on envisagera n - - 1 directions u a0
( a ~ 1, 2 , . . . , n - 1) sortaut de O orChogonalement ~ B e t perpendicu-
laires entre elles. Soient ~ , les directions parall~les sor~ant d'un point
quelconClUe P de B. Ces ~ , seront encore mutuellement perpondiculaires
et appartiendront par d4finition ~ ~', sans rester en g4n~ral normales ~ B:
toutefois, comme il enest ainsi au point O, et clue par cons~uent (N~ prec.),
le d4terminant Ao des param~tres de l'ennuple forms par ces ~ - 1 direc-
tions u o et la tangente $o ~ B ne s'an~nule pas, on peut retenir, pa~ con-
~inuit6, clue le d4terminant analogue A, se rappo~tant aux u~ et & la tan-
gente ~ &B, dans un point P assez proche & O, ne s'annule pas non plus.
Oette in4gali~ 3 ~ 0 exprime, peut-on dire, clue 2 ne contient pas la
direction $, ou bien encore que le cosinus de ~angle compris entre $ e~
la direction u ~ normale h 2 au point P ne s'annule pas.
Il est loisible d'apr~s cela de bomex nos consid4rations & un arc de
B autour de O assez petit pour qu'on air, en tout point P,
(25)
ou, ce qui revient au m~me,
(25') cos

En gardant les nota~ons du N~ pr~c~lent on aura les expressions (12)


pour les param~tres de route clirection tangente ~ ~" au pSle P. Une g ~
d~sique quelconque sor~nt de P dana une ~elle direction se~ ~ i e~core
9epr~sent4e par les formutes (14).
~) L~c. cir. au N~2.
~athemati~e Aa~dr 97. 20
306 T. Le~i-Civita.

L'introduetion des nouvelles coordonn~es y s'appuie d6sormais sur les


remarques du N~ 2. On suppose d'tme mani~re g4n4rale clue la courbe B
soit d~finie, par rapport ~ ces y, par des 6quations param6triques
(I0) y~=vA(a ) ( i = 1, 2 , . . . , n - - I)~
les ~v~ 6Cant des fonctions (r6guli~res), inconnues a priori, de l'are o, dont
on se r6serve de disposer convenablement.
Aprgs eels on remplace les d6finitions (15) par
(26) y - - y , (o)-----N,s (a=l.2,...,n-1)
et on pout attribuer aux 6quations (14) des g6od6siques consti~uant Ies sur-
faces -Y la forme
.--1
(27) z, =- v , ( o ) + {yo -
1

A- Z ~ X ~ (Ya - - ~vl Ye - - ~v~, Y.-1 -- ~.-~, ~,


2

les X ~ 6~ant des polynomes homog~nes de degr~ i par rapport aux argu-
ments y ~ - ~v, qui d4pendent en outre de ~.
Montrons que ces formules (27) d6finissent une transformation effec-
tive entre Ies coordonn6es originaires x et les n arguments yl, y~, . . . , y~_~, o,
pour des valeurs assez pe~tes des IY=--~v~l et pour tout ~ correspondant
l'are envisag4 de B; c'est-b~-dire dans une r6gion assez petite de l'espace
Vn environnant cet arc.
~ormons ~ ee but le d6terminant fonctionnel des x~ par rapport aux
y, a, en posant, apr~s avoir d~riv6, y, = ~ . Un tel d4terminant se r6duit

I ~;I V
2tl ~ " "" --~t--1 0Pl --Ia Ula ~)a
1

9 "" .-1 ~2 -~'. usa ~a


1

=A;

~--I
a ~rTa
I

U~ ?~ . U~ t t
1

puisque ]a derni~re colonne peut 6tre remplac~e par q~l,' q~, .- -, T--~', ~*"
fl est different de z6ro d'apr~s (25). On peut pa~ suite regarder commo
nouveltes coordonn6es les y~ (a ~-- I, 2, . . . , n -- 1) associ~es ~ o. It esi;
]~cart g&ml4~sique. 307

l~rmis de substituer utt6rieurement ~ a une fonction quelconque de ce


m~me argnment, pourvu que ce soit une v6ri~able fonction, non pas une con-
stante. On choisira la dernigre des (10)
(28) v,, =

en supposant que
(29) ~,~ ( o ) + 0
en tout point P de l'arc B dont il s'agit. Comme on l'a dit, le~ fonctions
figurant clans la repr6sentation param6trique (10), sont a priori ind6ter-
min6es et on se propose de les fixer par la condition que les y aient
caractgre cart~sien le long de B. Nous verrons dans un instant que cela
r~ussit et que l'in6galit~ (29) se trouve respect~e.
Consid6rons done a comme une fonction de y~ provenant de la r6so-
lution de (28) [ce qui est 16gitime d'apr~s (29)], et, a~ec cetCe supposition,
envisageons les (27) comme formules de transformation entre les z et les
y. En diff6rentiant et posant ensuite y = y ~ , da~- 1, dye,, on a
s--I ~-I
( i = I, 2, . . . , n),
1 1

valables en tout point P de B.


Comme au N~ pr6c. d'apr~s les 6quations (18), on tire actuellement
des (30) clue les n -- 1 directions caract~ris6es (en coordonn6es y) par les
pamm~t~es (17) coincident avec les u~ (fi = 1, 2 , . . . , n - 1), issues les
unes et Ies autres d'un point quelconqtm P de B. C'est l'enonc6 b) du no pr6c.
Si les y doivent avoir caract~re cart~ien le long de B, il faut (entro
autre) que la direction de la ligne coordonn6e y~ (]e veux dire la direction
suivant laquetle varie seulement y~) soit en ~tout point P perpendiculaire
aux n - 1 directions u~. Les param~tres v ~ d Yi d'une telle tigne coor-
~--ds
donn6e sont 6videmment
(31) v;--0 (a=t, ~ v:=l.
dx~
D'apr~s (30) les param~tres u ~ = - ~ de Ia mSme direction rapport~
a~x coordonn6es x, sont donn6s par
S--1
1 r -

2o <}
1
( i = 1 , 2 , . . . , n).

0es formules pouvent ~tre ecrite~.


S
~, P J
( i = 1, 2 , . . . , r0 .
1
20*
308 T. Levi-Civita.

Avec les n - 1 directions ~t~ mutuellement orthogonales (qui pro-


viennent d'un transport par parall6tisme le long de B ) o n peut censer
connue la direction ~t~ qui complete l'ennuple orthogonal. D'apr~s cela ce
sont pr6cisement lea (32) qui fournissent lea fonctions ~v~ (a priori in.
connues).
Introduisons les moments uk/i des directions u~, et multiplions les
(32) par u ~ en faisant la somme par rapport ~ l'indice i (de 1 ~ n). On
obtient
(32') v2~c=.,~u~/ig" ( k = 1, 2, ..., n),
1

ce qui donne explicitement lea y/. Lea fonctions lp sent ainsi d6termin6es
chacune ~ une constanr pros: ceei correspond, peut-on.dire, ~ l'arbitrari6$6
de l'origine du syst~me cart~sien de r6f6renee dans le voisinage imm6diat
de Ia courbe B, off subsiste (au second ordre pros) la g6om6trie eucli-
dienne.
Des (32') on tire e~ particulier, pour k = n,
~b

Puisciue lea u~/~ sent (en coordonn6es x) les moments de la direction u~,
et los 9~ sent les param~tres de la tangente t g B, I'expreasion de VJ" peut
6tre 6cri~
= c o s ( u . , t),

ee qui assure, d'apr~s (25'), clue l'in6galit6


w §
eat bien v6rifi6e sur 1'arc de B auquel on a convenu d'avance de seborner.
Revenons maintenant aux formules de transformation (27). En les
diff6rentiant nous en avons d~duit la validit6 de l'~nonc6 b). L'6nonc6 a)
subsiste lui aussi, saul la circonstance que, dans le eas aetuel, lea 6quations
param6$riques des g6od6siques formant une hypersurface ~ sont fournies, en
coordonn6es y, par
(26) yo = w.(o) + Nos ( a = 1, 2 , . . . , n - - 1),
associ6es r

au lieu d'etre par (15), assoei6es ~ y~ = const. Puisque toutefois iei encore,
pour cea g6od~iques, y~ et les Na doivent etre regard6ea comme des eo~-
stantes, il s'en suit, en d6rivant par ~appart ~ s,
y~' --- zg, ( a = 1,~2 , . - . , n - - 1), y~-----0; Y" = 0 (i -- 1 , 2 , ... ,~)
~ r t g4od~sique. 309
identiques aux (20), (20') du No pr4cMent, hbsolument comme alors on
em tire clue a) entra~me les ~galit4s
(21) (aft}--- 0 (a, f l = l , 2 , . . . , n - - 1 ; )
i i=1,2,..., n "
D'autre parb, d'apr~s ce qui pr6e6de, chaetm des syst~mes de para-
m~tres (17) et (31) appartient ~ des directions paralI~les le long de B .
C'est comme dire que les 6quations du parall6Iisme en coordonn~es y,

(33) dr' ~ {J:}y~;v ~ (i=1,2 .. , n )


da h
doivent etre satisfaites par une quelconque des d4terminations (17) ou
(31) des vi. En tenant compte des (21) et du fair que ~/,~ ne s'annule
pus, la consid4ration des (17) donne

i ----0 ( f l - ~ l , 2 , . . . , n - - 1 ; i = l , 2 , . . . , n ) .
Enfin la circonstance que le syst~me (33) doit ~tre v4rifi6 aussi par
les valeurs (31), d~s qu'on y annule les symboles de Christoffel du type
(21) on (23), conduit
nn}~0 (i----1 2 , ,. . ,n).

Done tousles symboles de Christoffel se rapportant aux variables y


s'annulent le long de B. C . Q . F . D .
I1 est s peine n4cessaire de r4p4ter ici Ia remarque des N ~ 1 et 3
qu'il y s toujours une grande arbitraridt6 duns le choix de coordonn~es
localement cart~siennes. On peut notamment, dana les formules de trans-
formation (27) liant, eonjointement avee (28), les y aax variables ori-
ginaires, r6duire les s6ries b~ leurs premiers termes
o),
et les y continueront ~ se comporter eomme des eoordonn6es eartgsiennes
tout Ie long de B.

5. Interpr6tation des coordonn6es y dans le eas d'une g~od~ique .......


eas g6n6ral.
Pla~ons-nous d'abord clans le eas particulier off il s'agit d'tm espaee
euelidien V~.
La g4od~sique B e s t alors une droite~ Si M es~ un point quelconque de
F~ et p le pied de la perpendiculaire abaiss~e de M sttr B, y~ n'est aatxo
que l'abscisse (de M ou de P) t e m p l e sur cette droi~e g t ~ r de O ;
310 T. Levi-Civita.

les autres Ya (eoordonn6es cart~siehnes orthogonales darts le plan ,Y normal


B passant par M) peuvent etre regard6es comme les composantes (sui.
vant les n -- 1 directions mutuellement orthogonales u~) du segment PM.
Si l'on se reporte au cas g6n6ral d'une V, quelconque, tout se passe,
clans le voisinage du premier ordre de tout point P, comme s'il s'agissait
d'une vari6t6 euclidienne dou6e de la d6termination d u d s ~ correspondant
au point P .
D'apr~s cela l'interpr6tation des y est la m~me que tout a I'heure.
On peut donc retenir ce qui suit: Soit M un point quelconque apparte-
nant ~ l'entourage du premier ordre de I'arc g6od6sique B, ~v l'hypersurface
g6od6sique (d6finie au No 2) qui le contient, P la projection orthogonale
de M sur B , c'est-s le p61e de 27; y, est l'arc de la base B depuis
une origine arbitraire O jusqu'a P, les ya (a = 1, 2 , . . . , n - I) signifient
les composantes du vecteur 616mentaire P M (caract6risant en grandeur et
direction la distance de M s la base), ces composantes se rapportant
n - 1 directions, perpendiculaires s B et entre elles, choisies arbitraire-
merit au point O et transport6es ensuite par parall61isme le long de B.
Remarquons en terminant clue, s'il s'agit d'une courbe base quetcon-
que, les y~ gardent leur signification de composantes du vecteur P M par
rapport aux directions ~t,, ce vecteur n'est pas toutefois en g6n6ral normal
B , la famille des hypersurfaces 2: ayant la d6finition specifi6e au N ~ pr6c.
Quant s y~, ce n'est plus l'arc ~ de B; mais d'apr~s (28) d y~ petit 6tre
interpr6t6 comme projection de l'arc 616mentaire d o sur la normale u , ~ Z.

6. G6od6siques infiniment voisines d'une g6od6sique donn6e.


Consid6rons maintenant, s cot6 de B , une autre g6od6sique quelcon-
que g (plus pr6cis6ment un arc de g) appartenant au voisinage imm6diat
de B l~ Faisons correspondre s tout point M de g le point P de B
ayant m~me y, (et les autres y~ = 0). --
I1 est important pour ce qui va suivre de pr6ciser la relation entre
an arc 616mentaire ds de g et l'arc correspondant d o w d y , , de B.
Dans tout l'entourage de B on a pour les coefficients bi~ du ds ~ en
coordonn6es y les d6terminations euclidiennes
bi~ = 0 (i + k), b , = 1,
au second ordre pr~s.

~o) Au sens strict, c'est-~-dire dn exigeant que soient petits non senlement les
~carts des positions regard6es comme correspondantes sur B et sur 9, mais aussi ceaZ
d e s directions des tangentes qui s'y rapportent. ,
l~cart g&~l&~ctue. ~t
I1 en r6sulte pour une eourbe quelconque

.ds = d y 1+ ~ \dy,/ '


1

Ia quantit6 sous le radical diff6ran~ de sa valeur exaete uniquement par


dy,
des termes du second ordre. Pour g, les y~ et les ~ doivent &re
regard6s comme des infmiment petits. I1 s'en suit.
ds ds
= = 1

au second ordre pr~s. Ce n'est qu'une g~n~ralisation du fair 616mentaire


qu'un segment i~finiment voisin, quant s la direction, ~ une droite donn6e
e~ sa projection sur la droite ont une diffdrenee du second orclre.

7. Forme invariante des ~quations d~finissant l'6cart g~od~sique.


I1 s'agit finalement de former les ~quations d6finjssant en coordonn&s
g6n6rales x l'allure d'une ggod6sique quelconque g infiniment voisine ~ B,
e'est--~-dire les 6quations aux variations des (4) ~ partir de la solution (9).
Posons
(34) +
en traitant les ~ comme des infiniment petits avec leur d6riv6es pax
rapport ~ a.
Ces ~ repr&entent 6videmment les accroissemen~s ~ donner aux co-
ordonn6es x~ d'un point P de B pour passer au point correspondant M
de g: elles peuvent &re regard&s comme les composantes contrevariantes
du vecteur 616mentaire P M -=. ~. En se plagant ~ un point de rue g6n6ral,
on ne supposera plus ce vecteur normal ~ B, son orientation d6pendant
de la loi de correspondance entre Ies points P e t M de nos deax g6o-
d6siques. D~s lors on ne peut plus pr6tendre que Fare ~16mentaire d s
de 9 soit (comme au No pr6c.) 6gal ~ son correspondant do de B; mais
puisqu' il s'agit en tout cas d'un d6plaeemen$ infiniment petit, on peut
pr6voir quand meme que, si l'on pose
(35) 1
d~
!'attongement (ou le coefficient de dilatation) 2 r6sulte iniiniment pes avec
les ~i et leurs d&iv6es. C'est ee qu'on va constater dans un moment
d'u~ae mani~re pr6cise. En a~tendant d~rivons tes formules (34) par rap-
port 5~ o. On a
(84') a8

ayant ~ t , pour abr6ger, x~' au lieu de - ~ , ~ au ~!ieu de- .


312 T. Levi-Civita.

Une seconde ddrivation donne


'~~- , , _ `i~ s , d~ ~ i

D'apr~s (35),
(ds~ } ~ ~ ~x~ = q~i"+ do~"

d~'s d2
do ~ do '

tandis que (34') peut s'6erire


X/- !
da "
d2
En traitant ~ et ~-g c o m m e in]iniment petites, et n6gligeant toujours le
second ordre, ou est autoris6 b~remplacer d~% x i, =- ~d;. x~, par ~d Z ~i, et par
cons6quent s obf~nir les expressions des x(' sous la forme
(34") /ds~ ,, ,, d~# d~ ,
~ 2 - J x~ = ~ + ~ - do ~ "

Ceci pos6, imaginons de multiplier les 6quations (4), se rapportant


(as V-
une g quelconque, par \~-g/ et faisons y Ies substitutions: (34) dans les
{Jr} , (34') dans les ~,is- x j ,, (34") dans les /(,~)
d s , ~ x i,, .

Ayant 6gard g la circonstance clue

"h

puisque g est une g6od6sique, et se bornant, eela va sans dire, aux termes
du premier ordre, on obtient

`i~ x-, L ~ J~ , , 25-' ~'~h~ ,a#


do 2
1 1

Posons
(~0) v = ~,'(o) ( i = 1, 2,..., .),
clans le but de mettre en 6vidence dans la notation le earaet~re eontrevariant
(vis-k-vis d'un changement queleonque de variables) des param~tres de
la direction tangente s B. Les 6quations de tout s l'heure peuvent s ccrrre
en conformit6 (en y changeant en outre, dans un terme, les indices i e t }
en r e~ i )
. .

(87) ~' ~'b" 2 ~ h ~ b ~ ` i ~ h _~h ~ b'b~ ~


l t

Nous aUons les transformer encore pour en mettre en 6vidence la


structure invariante vis-a-vis d'une transformation quelconque de coor-
]~cart gdoddsique. 313
donn6es. A ce but il convient de rappeler d'un c5t6 l'expression formel!e
des symboles de Riemann de seeonde esp~ce

et de l'autre la notion introduite par M. Bianchi de vecteur dbriv$ ~) d'un


veeteur ~ donnd comme fonction des points d'une tigne.
Si B est Ia ligne, le vec~eur D ~, d6riv6 de ~, a ses eomposantes
contreva~iantes (paramgtres)(D~)" d6finies par "les combinaisons linb~ires
suivautes des ~ et leurs d~riv6es~S):
~t

(39) (D g)" -- da " { - ~ ( r ~ - 1, 2, . . . , n).

Pour des coordonn~es cartdsiennes (s'il en existe rigoureusement),


ou bien localement cart6siennes le long de B on a simplement

(D ----

ce qui justifie le nora de d6riv~ attribu~ en g~n6ral au vecteur d6fini


(39).
Moyennant le vecteur D ~ il est ais~ d'expliciter l'allongement 2, sans
aucune hypoth~se prdalable sur son ordre de grandeur. I1 faut remarquer
ce propos que les formules (34) et (34'), auxcluelles nous aurons recours
pour le calcul de 2, n'ont pas ~t~ modifi~es en ayant dgard ~ la petitesse de 2,
tandis clue cela est arrivd pour les formules (34").
Sur g on a identictuement
p p
Z * * a i ~ x i x~ ~ 1.
I

Si l'on multiplie les deux membres par ~s)~ en rempla~nt (clans

~) A la vdritd M. Bianchi Fappe]le associd,mais Is ddsignation ddrivd une paras


prdf~rable,puisqu'on l'emploie couramment dana l'espace ordinaire.
19) Lez/o~i ~C., Chap. IV, w 26. On peut d'aiUeurs constater le e~sct~re con-
trevariant des (D~) r aussi en rega~ant provisoirement le vecteur ~ comme fonction
dun point de V. (non seulement ds Ia tigne ~), et en faisant futervenir le systhme
~aixte ~ ddfini (Ioc. cir., Chap. VI, w 2) par lea expressions

Si l'on sa'~urel'indice de covarianoe ~ en multipliant par b ~ e~ faisant !a somme


par rapport ~ i, on retrouve justement le second membre de (39).
314 T. Levi-G'ivita.
d$ t
les a,~) les xi par leurs valeurs (34) et les ~ x i par (35'), on trouve
imm6diatement (au second ordre pr6s, par rapport aux ~)

1 1

On a d'ailleurs les identit6s bien connues


n

O~,
Oxh
__~h[ahi{kl}_~_aht,~tizhi]]
1

Si, dans la derni6re somme de l'expression de \~o/ ' on 6change les


indices r et k, et qu'on tient compte de l'idengit6 qu'on vient d'~crire, en
remplagant en outre, d'apr~s (36),

1 1 1

par b~, b~,, b~, il vien.% b, cause de (39),

Le vecteur D ~ est infiniment petit en m6me temps que les ~ et leurs


d6riv6es. On a done, en extrayant la racine, n6gligeant le second ordre
(par rapport aux dites quantit~s) et ayant 6gard s la d6finition (35) de
l'allongement,
n

(35') 2 =~,r(D~)'b,.
1

ce qui en prouve le caract6re infinit6simal.


Naturellement D ~ admet s son tour an vecteur d6riv6 D ~"~. Ses
composantes contrevariantes sont d6finies, d'apr~s (39), par

En introduisant dans le second membre les expressions (39) des k~,Bj.,


/ r~=~'
et ( D ~ ) z (apr~s un changement dans la d6signation des indices)on obtient

(4o) d~U d '~h b~s~h

1 I
#,od--esiq,ae. 8t5
Ies seconds membres constituant, comme tes premiers, un sys~bane contre-
variant~ En explicitant clans Ie second membre la d6rivaVion par rapl~r~
z et effeetuant quelque autre ehangement clans les indices on peut 6crire

(~o') (D~ -= d~" + ~ "-'~ ~ ~ ~+ z +


o~ l'on a posg pour abr6ger

+~/ ~'z~,~

Remarquons en passant clue, darts ces quantit~s auxiliaires ~<~), l'in-


dice r e s t purement ordinal: on l'a plae~ en haut mais entre parenthgses,
pour qu'on ne pense pas que les 2 ~> forment un syst~me contrevariant,
ee qui n'est pas vrai.
db z
Pour notre but il suf/it de remplaeer dmas 3 ~ Ies d~riv6es - ~ ~-~0z'
par leurs vateurs

tir6es des ~uations (4) des g6od6siques, ce qui permet d'6erir

1 t

Ceci pos6, si l'on ajoate ---~> aux deux membres des &tuations (37),
en ayant ~gard aux (40') et ~ la d6finition (38) des symboles de Riemann,
on lettr donne la ]orrr~e invar/ante

(42) (V~ , d~.


~ b~ = _ Z , ~ { i ~ , ~k}b'b~ ~ (r = 1 , 2 , . . . , ~ ) .
1

J'ai dit forme invariante puisque les deux membres des e~quations (42)
constituent l'un et l'autre un syst~me contrevariant simple: c'est ce qui
~sulte, pour le terme (D ~~)r, de la p r o p r i ~ fondamentale des vecteurs
~ v ~ ; pour les seconds membres, des propri~t~s dassiques des ~ymbo!es
de Riemann de seconde esp~18).
316 T. Levi-Oivita.

8. Specification du syst~me diffSrentiel - - int6grale premibre


relation linSaire en termes finis.
Le syst~me (42), associ~ ~ l'expression (35') de ~, comprend ~ la
v6rit6 n + 1 6quations avec autant d'inconnues: les $ au hombre de n e t 2.
II est toutefois s pr6voir, d'apr~s sa formation, qu'il ne pout s lui seuI
d6terminer compl~tement toutes les inconnues; il doit y rester une ind6.
termination provenant de l'arbitrari6t6 de la loi de correspondance entre
les points P de B e t M de g. On s'en rend compte nettement, m~me
au point de vue formel, en constatant que la d6finition (35') de 2, ou plus
pr6cis6ment l'6quation d6riv6e

(35") o
1

est une cons6quence des 6quations (42) elles-m~mes. Afin d'6tablir ce point,
remarquons d'abord que, pour an vecteur quelconque v dont v r soient
les composantes contrevariantes, on a

d dr" br q _ ~ , . vr d b r
do Z ~ - v r b r ~---Z , -d-~ d---J-"
1 1 1

db,.
Or les d~riv~es-g~-
~ des moments d'une g6od~sique v~rifient les re-
lations 14)

do - - h , bibh'
1

exprimant, si l'on veut, l'autoparall41isme de la g~od6sique B par l'inter-


m~diaire de ses moments b,.
D'apr~s cela, l'identit6 pr6c4dente, pourvu qu'on ~change dans la der-
nitre somme les deux indices r et h et qu'on tient compte des (39),
prend la forme

(43) do Z.:b.=Z.(Dv)*b,'"
1 1

Calculons d6sormais le premier membre de (35"), en tenant compt~


de l'identit6 (43) (off le vecteur v soit remplace6 par D~). On a

d2
1

ce qui s'annule bien en vertu des (42) et des propri~t6s ~l~mentaires des
symboles des Riemann.

x4) Ibidem, Chap. V, w 26, p. 158.


~ a r t g'eo&~ique. ,3t7
Done l'6quation (85') n'est qu'une itlt4grale partieuh'~re (ou relation
invariante) du syst4me (42); son ~61e se r4duit s fixer une des constantes
d'int6gration. Oomme le syst~me (42) contient n q - 1 inconnues, pour le
rendre d4termin$ iI faut lui associer quelque autre condition: voil~ con-
firm6 ce qu'on avait ais6ment pr6vu sous l'aspect g6om4trique, puisqu'il
restait g fixer la Ioi de correspondence ponetueUe entre g et la base.
En se plagant au point de vue formeI la mani~re la plus simple
de compl6ter le systgme (42) est d'en faire clisparaitre l'inconnue 2 en
posant
d~
da -- 0~
ce qui &une part donne au syst~me (42) la forme normale, c'est~,-dire
r4soluble par rapport aux d6riv4es seeondea des inconnues,

(I) (D ~ g ) ' = -- ~Y~{ ir, hk } b ~b h ~ (r = 1 , 2 , . . . , ~ )


1

et d'autre part, g cause de l'identit6 (85"), montre que /e systgme (I)


admet rinldgrale wemi&e

(II) ~Y, (D~)" b, ~- ,~ -= eonstante,


1

exprimant qu'iI y a une dilatation lin6aire constante lorsqu'on passe d'un


arc quelconque de B ~ Pare correspondant de g.
Puisque, d'apr~s l'identit~ (48), le premier membre de l'in~grale
(II) n'est que la d6riv& de ~ . ~ b ~ , il s'en suit que, pour route solution
1

du syst~me diff6rentiel (I), on a en outre

(III) .Z,. ~" b,, = ~.~ q-- O,


1

O 6rant une deuxigme constante.


Si l'on suppose en particulier 2 ~ 0 on reconnait qu'il eat toisibte
d'associer au syst~me diff4rentiel la relation

C'est la traduction analytique du fair g4om6triquement 6vident qu'on


peut 4tablir la correspondence entre les points M de g e t P de B en
imposant au vecteur (infiniment petit) P M la condition d'admettre nne
cer~aine projection orthogonale constante {7 su~ ta tangenbe t ~. la i~se
au point p: une telle loi de correspondence implique, d'apr~s (II), qu'il
n'y a aueune alt&ation de longueur (2 ~ 0) entre les arcs de B e t les arcs
318 T. Levi-Civita.
homologues de g. Plus partieuligrement encore, si C = 0, on revient ~ la loi
de eorrespondance orthogonale (PM perpendiculaire s B) envisagge au N ~ 6.
I1 est ~ peine n~cessaire d'ajouter clue, pour introduire d'autres lois
g6om6triques de eorrespondance, on n'aurait qu'b~ reprendre le systgme
(42) en lui assoeiant ( au lieu que d-~
d~. = 0) la traduetion analytique de
la loi choisie. Par exemple, si l'on voulait que PM ffit inelin6 sur B
d'un angle q~ (constant ou fonction de o donn6e h l'avanee) l'6quation
additionnelle serait
cos
1
o~

]
repr~sente la longueur du vecteur ~.
En tout cas une petite discussion suppl6mentarre serai~ ensuite n~-
cessaire au sujet du syst~me compl~t$, ne ffit-ce que pour le r6duire
la forme normale et ~ pr6ciser le hombre des constantes qui seront intro-
duites par l'int6gration, etc.

9. Formc r~duite du syst~me diff6rentiel (I) en coordonn6es y.


Reprenons les coordonn6es y e n nous fixant sur la loi de correspon-
dance orthogonale (entre la base B et une g6od~sique quelconque g de
son entourage). Comme on vient de voir, une telle correspondance es~
traduite analytiquement par le syst~me diff6rentiel (I), avec tes speci-
fications 2 : C : 0 des constantes d'int6gration se rapportant ~ (II)
et ( I I I ) .
D'apr~s les remarques du N ~ 6, la coordonn6e y~ de M est identique
5~ celle de P. Puisque les autres coordonn~es Ya (~ : - 1, 2 , . . . , n -- 1) de
P sont nulles, les variations ~ des coordonn6es y sont respoctivement
~a~y~ ( a = l , 2, . .., n - - 1 ) , ~/n--0,
ce qui justifie la d~nomination de composantes cart6siennes du d6placement
normal ou ~cart PM que nouso donnons aux y .
D'ailleurs les param~tres b ~ - d y ~ de la base B s'annulent pour~
i ~- "1, 2, . . . , n -- 1, tandis que b ~ ~ 1. Les symboles de Chr:~stoflet s'~"
nu!ent eux aussi, le long de B , avec leu_rs d6riv~es par rapport ~ ~ (o~
ce qui revient au m~me, ~ y~), et par consequent
]~,,-r gdoddsique. 319

Les 6quations (I) deviennent en confarmit6


d~ y~ ,~-i
( a : = I, 2, . . . , n - - 1),

off, dans les deux sommes, on a supprim~ le terme correspondant ~ la


vateur n de l'indice, puisque tout symbole de Riemann, ayant les der-
niers indices 6gaux, s'annule d'apr~s la ddfimtion (38).
Le premier groupe ( I ' ) ( c o m p r e n a n t n - 1 6quations lindaires du
second ordre) dd/init les n - - 1 composantes cart&iennes de ~dcart (nor-
mal) PM. La derni~re 6quation se r6duit ~ une identit6, et void pour-
quoi. Les symboles de Riemann de seconde esp~ce sont lids en tout cas
par les relations

aux symboles de premi6re esp6co, ceux-ci v&ifiant, entre autres, les


identit6s

Dans notre cas les coefficients %r du ds ~ se r6duisent, sur B, g 0 (pour


r # j) et 1 (pour r - ~ j). On a donc, sur la base, dgalit~ entre les sym-
boles des deux esp~ces affect~s de m~mes indices. 11 s'en suit en par-
ticulier
= 0.
C. Q. F. D.
Bien entendu, il n'y a plus g s'occuper des relations int6grales (II)
et (III), qui deviennent des identit~s, puisque, duns le cas actuel, s'an-
nulent les b ~ (i = 1, 2, . . . , n -- 1) et l'n ieme composante ~ --- ~p du d~-
placement PM.

1 0 . Cas d e n = 2 . - - Formule de #ar


Pout n-~ 2, c'est~-dire pour une surface ordinaite, si B est la gdo.
esque base, gs o son arc, y~-~ g la distance normale de 21/h B, ]e
dt -

syst~me (I') se r~luit ~ l'~quation vnique

dS--Y-= -- (21 21} y.


dO s

II est bien connul6) clue, en g4n~ral, c'est-~-dire qadles que soient

Is) L~,hmi etc.,Chap. VII, w 4.


16) Ibidem, w 9.
320 T. Levi.Civita. t~ar~ g~od~sique.

Ies coordonn~es, la courbure gaussienne K d'une V~ est exprim~e par Ie


rapport
(12,:t~) (21,21)
a a

a d6signant le discriminant de son d s ~.


Pour nos coordonn6es car-tAsiennes le long de B, a ~ 1 et les sym.
boles de Riemann de seconde esp~ce ne different pas de leurs homologues
de premiere.
L'~quation d6finissant y n'est done pas autre chose que l'&luation
de Jacobi
d~y
(•) + Ky=O,
qui a initialement sugg6r4 notre recherche.

(Eingega~ugen am 29. 1. 19"26.)