You are on page 1of 0

THSES FRANAISES DE LENTRE-DEUX-GUERRES

REN LAGRANGE
Sur le calcul diffrentiel absolu
Thses franaises de lentre-deux-guerres, 1923, 69 p.
<http://www.numdam.org/item?id=THESE_1923__41__1_0>
Laccs aux archives de la srie Thses franaises de lentre-deux-guerres implique laccord
avec les conditions gnrales dutilisation (http://www.numdam.org/legal.php). Toute utilisation
commerciale ou impression systmatique est constitutive dune infraction pnale. Toute copie
ou impression de ce chier doit contenir la prsente mention de copyright.
Thse numrise dans le cadre du programme
Numrisation de documents anciens mathmatiques
http://www.numdam.org/
PRESENTEES
A LA F A C U LTE D ES SC I ENC ES D E PA RI S
POU R OBTENI R
LE GR4D E D E D OC TEU R ES SC I ENC ES MA THEMA TI QU ES.
F A R 3L Rene LA GRA IVGE
A GREG^ PREPA R1TEU R A L'EGOLE MORM^LE St PERI EU RE
I
r e
THESE. SlJR LE CALCUL D IF F ERENTIEL ABSOLU.
2* THESE. PROPOSI TI ONS D OKNEES PA R LA F A C U LTE.
Soutenues le //juin 1923, devant la Commission d'examen.
MM. EMI LE BOREL, President.
C A RT4N, ) / ^ ^ ^<v^\
VESSIOT Bxaftfygurs. \CA
TOU LOU SE
IMPRIMERIE ET LI BI U I RI E ED OU A RD PR1VAT
Iiibrairie de 1'Universite.
l 4 , BU E D ES A RTS, 14 (SQU A RE D U MC SEE, TOU LOU SE)
1923
N D 'ORD RE ; 1763
THESES
A MC mSI EU R E. C A RTA >
F ROF ESSEU R DE MEC A NIQLE RA ITONNELLE A LA SORBONNE
Hommage de tedpectueude gtatitnde,
RENE LA GRA NGE.
A MA MERE
A LA MEM01RE D E MON PERE
PREMI RE THSE
S R L E C A L C U L D I F F R E N T I E L A R S O L U
PA R M. REN LA GR/VGE,
A grg prparateur l'cole Normale Suprieure.
INTROD U C TION
Le calcul diffrentiel absolu, introduit par C hristoffelQ et Riemann, et dont
Ricci et Levi-Givit (
s
) ont fait un instrument remarquable, fut destin tout d'abord
dterminer les proprits, indpendantes du choix des variables, d'un espace dont
le d$ * est une forme quadratique donne des diffrentielles des coordonnes.
Soit ds
2
=2 jg
lk
dx
l
dx
k
une telle forme quadratique, n dimensions. U n chan-
t
gement de variables transforme les g
lk
et leurs drives; il change galement les
drives, des diffrents ordres, d'une fonction f(x
t
, <c
9
, . . ., x
n
) considre comme
invariante. C 'est la recherche, entre les g
lk%
leurs drives, et les drives de fonc-
tions analogues , des relations, indpendantes des variables, et mme de toute
dformation de l'espace qui conserve le d$ * , qui est l'origine du calcul diffrentiel
absolu.
Si, dans une pareille dformation, une fonction est invariante, il en est de
mme de sa diffrentielle, de sorte que ses drives premires subissent une trans-
formation linaire et homogne. I l n'en est plus de mme, en gnral, des drives
secondes; mais on peut retrouver une transformation linaire, en modifiant la dfi-
(') "Voir Christoffel, Journal de Crelle, tome 70.
(*) Voir Math. Annalen, tome 54.
2 R. LA GRA NGE.
nition de ces dernires. Pour cela, on ajoute la drive seconde ordinaire une
forme linaire des drives premires, dont les coefficients sont forms partir des
g
lk
et de leurs drives; le choix de cette forme linaire est tel que la drive, ainsi
dfinie, est encore indpendante de l'ordre des drivations. Par cette opration, on
doit modifier galement les drives des ordres successifs, et, ds les drives troi-
simes, on rencontre l'influence de Tordre des drivations, de sorte que la difficult
initiale du changement de variahles est transforme, mais non supprime. C ette
incompatibilit de l'espace gnral avec l'espace euclidien d$
t
dx* + . . , 4- dx* se
traduit par les symboles de Riemann.
Le prsent travail a pour but de montrer que Ton peut se placer un point de
vue un peu diffrent, et d'tablir, de cette faon, une mthode de calcul tout fait
analogue au calcul de Ricci* et Levi-C ivita. 11 est partag en cinq chapitres dont
voici le rsum succinct :
D ans le premier chapitre, j'introduis le calcul diffrentiel absolu en prenant,
comme variables indpendantes dans l'espace considr, d'ordre n, n intgrales cur-
vilignes, et non plus, comme dans le calcul ordinaire, n fonctions de point. D ans
ce dernier calcul, les proprits analytiques rsultent de l'invariance, dans tout
changement de variables, de la diffrentielle d'un invariant, et de l'uniformit des
variables indpendantes x
t
\ ici, cette dernire proprit ne subsiste plus, de sorte
que les drives, d'ordres suprieurs au premier, dpendent de Tordre des driva-
tions, et c'est ce qui introduit des symboles tout fait analogues ceux da C hris-
toffel. On est amen changer la dfinition de la diffrentiation, de manire con-
server certaines proprits formelles du calcul ordinaire; dans la diffrentiation
absolue , une fonction ne joue plus un rle isol, mais fait partie d'un systme de
fonctions qui interviennent dans cette opration; la non-eommutativit de cette dif-
frentiation fait apparatre les analogues des symboles de Riemann.
J'tablis les rgles de diffrentiation des sommes, produits et compositions
des systmes, et recherche enfin ce que deviennent les rsultats gnraux, lorsque
les formes di
%
ne sont plus uniformes.
D ans le chapitre I I , je rattache la covariance, telle qu'on la dfinit ordinairement,
au groupe des transformations orthogonales; les proprits de la covariance, et sa
conservation par la diffrentiation absolue, s'en dduisent immdiatement. La dter-
mination des invariants revient alors rsoudre les transformations infinitsimales
du groupe orthogonal.
Ces considrations gnrales sont utilises dans le chapitre I I I , pour exposer le
problme analytique de l'application, et le problme de la reprsentation conforme
sur Tespace euclidien, mme lorsque le rapport des deux d$ est Texponentielle
d'une intgrale curviligne.
Le chapitre IV a pour but d'exposer succinctement quelques rsultats connus de
la thorie du vecteur, qui seront utiliss dans la suite.
SUR LE CALCUL DIFFERENTIEL ABSOLU. 3
Enfin, dans le dernier chapitre, je me propose d'tablir les proprits mtriques
d'une Y
pi
plonge dans un espace E
B
, qui apparatraient un observateur incapable
de s'orienter sur la varit eX dans l'espace normal; ce problme permet de gnra-
liser un peu certaines dfinitions du calcul diffrentiel absolu, et met en vidence
trois sries de rotation, auxquelles correspondent trois sries de courbures. La
recherche des invariante ncessite la dtermination des relations entre les courbures
de ]a Y
p
et celles de l'espace E
n
; j'tudie plus particulirement les courbures les
plus simples, ce qui conduit quelques proprits des V
n
_
l7
et la dfinition de
quelques varits particulires.
C HA PI TRE PREMI ER
Principes du Calcul diffrentiel absolu.
[1] Le calcul diffrentiel absolu est une gnralisation du calcul diffrentiel
ordinaire, qui paratra plus naturelle l'aide des quelques remarques suivantes.
tant donnes variables indpendantes x
it
x^ . . . , x
n1
et une fonction f(x
t)
. . . , x
n
),
les drives partielles premires de/sont les coefficients des diffrentielles dx
t
, ...
t
dx
n
>
n
dans l'expression de sa diffrentielle : df= /
}
dx
t
.
Les drives partielles secondes sont les coefficients des mmes diffrentielles dx
t
dans les expressions des diffrentielles des drives premires; et ainsi de suite pour
les drives d'ordres successifs. La proprit fondamentale de ces drives est d'tre
indpendantes de l'ordre des drivations. C ette proprit, qui nous parat intuitive,
dcoule du fait que les x
%
sont des fonctions de point; elle ne subsiste plus si le rle
des dx
t
est rempli par n formes de Pfaff, linairement indpendantes, mais non for-
cment diffrentielles totales exactes.
C onservons l'criture du calcul diffrentiel ordinaire, et dsignons ces formes de
Pfaff par
(i) do>
t
= a
ti
dx
t
-H . . . 4- a
m
dx
n
.
Ceci revient prendre comme variables indpendantes les intgrales curvilignes
o>= / dw , prises le long du chemin dcrit par l'observateur; mais le seul
Jxf x
n

rle utile est celui des do>


t
, et il n'est pas ncessaire de considrer ces intgrales
dans l'expos du calcul.
Les a
lk
seront considres, en gnral, comme des fonctions de point; mais
nous verrons que certains rsultats subsistent si les a
tk
contiennent eux-mmes des
intgrales curvilignes, Leur dterminant (a) est, par hypothse, diffrent de o; les
quations peuvent donc tre rsolues par rapport aux dx
k>
SUR LE CALCUL DIFFERENTIEL ABSOLU.
les 0L
lk
satisfont videmment aux relations suivantes :
e

=
>

^ = '
si
et leur dterminant (a) est gal .
[2] tant donne une forme de Pfaff d>
t
, on appelle covariant bilinaire de cette
forme de Pfaff l'opration S^w
t
dS<*>
t
, que j' crirai encore (B, d)>
t
. C 'est une
forme bilinaire des dx
ki
ox
h
:
(2) (0, d)w = y i.y. )dx
k
ox
l
.
* - " l dx, 2 x
b
J
On sait que, pour que w, soit une fonction de point, il faut et il sufft que son
covariant bilinaire soit nul. Les d(o
>
(/'= 1,2, . . ., ri) devant remplacer les dx
k
dans le calcul diffrentiel absolu, il est naturel d'exprimer (0, d)o>
8
l'aide de nos
formes de Pfaff, bases de ce calcul. En posant
(3)
nous avons
(4)
I I rsulte de (3) que tr
}
,
w
-f ff
m
= o, et, en tendant la somme (4) aux seules
combinaisons des indices, ce que j'exprimerai en entourant ceux-ci d'une paren-
thse, il vient
(40 (s, d)o>, =
[3] tant donne une fonction f(x
if
. . , , x
n
) des variables a^, . . , , a?
tt
, nous
appellerons drive partielle premire de par rapport <*>
t
le facteur de dw
t
dans
l'expression de df.
En exprimant les dx
k
en fonction des ?a>
t
, nous avons
6 H. LA GBA NGE.
(Test l'oprateur linaire entre parenthses qui est la drive en question, et nous*
poserons
I nversement, on a
(5')
Plus gnralement, si d est une forme linaire des dta
o
non forcment diff-
rentielle totale exacte, nous appellerons drive partielle premire de O par rapport
(o
{
le coefficient de do>
t
dans dQ, On peut encore rcrire -^-.
Lt
La dfinition des drives premires peut se rpter, et conduit aux drives des
diffrents ordres, , les drivations tant effectues dans l'ordre
r i
,
I l est vident que les drives d'une somme ou d'un produit de fonctions s'ob-
tiennent par les mmes rgles qu'en calcul diffrentiel ordinaire; de mme les dri-
ves d'une fonction compose. Mais la proprit des drives d'tre indpendantes
de l'ordre des drivations n'apparat pas avec les drives secondes. Remarquons^
par exemple, que les -^- forment un systme complet d'oprateurs linaires, arbi-
d),
y-f y f
traires au mme titre que les do> ; - n'est autre chose que la paren-
thse de deux de ces oprateurs, qui n'est pas nulle en gnral. O obtient, par un
^calcul connu,
C ette formule s'obtient aussi en crivant que df est une diffrentielle exacte.
Plus gnralement, pour une forme de Pfaff quelconque dQ = > \dm
lf
on a
(3, d)Q =
et l'on retrouve bien la formule (6) lorsque (o, <l)Ll = o.
Remarquons que l'on peut encore crire
SU R LE C A LC U L D I F F ERENTI EL A BSOLU . "J
[4] II rsulte du paragraphe prcdent que nous devrons modifier la dfinition
de la drive seconde si nous voulons qu'elle soit indpendante de l'ordre des dri-
vations. Nous verrons plus tard que, conscutivement cette dfinition, les formes
de Pfaff prises pour base de notre calcul joueront le rle de diffrentielles exactes.
Pour cela, considrons de nouveaux symboles T
ikh)
que nous dfinirons au fur et
mesure des besoins. tant donnes n fonctions /
4
, . . .,f
a
, considres simulta-
nment, appelons drive partielle absolue de f
i
par rapport w
r
, l'opration
le trait qui surligne le premier membre indiquant que cette opration est distincte
de la drivation ordinaire qui s'effectue dans le second membre. C ette dfinition,
qui s'applique n fonctions quelconques, s'clairera par la suite, l'aide de quel-
ques exemples.
.[5] C onsidrons alors une fonction , et l'ensemble de ses n drives premires
J
i
= -^-. Les drives partielles absolues de ces drives premires seront, par dfi-
nition, les drives secondes absolues de (*). Nous pouvons donc crire
(9) fik
=
^ ^
=
^ " ^
=
^ x ^j
T
ifc 'T
a.
dans ces conditions,
de sorte que ces drives secondes absolues seront indpendantes de Tordre des
inddices, si les i
ihh
sont assujettis vrifier les relations
(IO) T
ikh
T
hkl
<s
hik
;
il est clair que ceci ne dfinit pas compltement les symboles T
ikh
.
Ce que nous venons de dire s'applique aussi bien une forme de Pfaff
dQ =
(*) C 'est la dfinition du calcul tensoriel de Ricci et Levi-C ivit.
R. LA GRA NGE.
" 5 1"
en posant - =\
h
, la formule (9) est encore valable, et (7) s'crit
(7' ) O
on retrouve la forme du covariant bilinaire en calcul ordinaire ; il en rsulte que,
pour que dQ soit une diffrentielle exacte, il faut et il sufft que ses drives secondes
absolues soient indpendantes de Tordre des drivations; on obtient ainsi une ex-
pression simple du thorme de F robenius. On peut dire, autrement, que les condi-
tions d'intgrabilit d'un systme d'quations aux drives partielles du premier
ordre, une fonction inconnue/,
- _ x. ( = i, 2, . . .
t
n),
sont
cl tu
k
[6] Par analogie avec le calcul diffrentiel ordinaire, la drivation absolue nous
conduit considrer la diffrentiation absolue . tant donn un systme de n
expressions diffrentiables X
4
, X
a
, . .. ,X
n
, (fonctions, formes de Pfaff, et c. ), nous
appellerons diffrentielles absolue de X^l'opration
h kh
Ds que Ton passe aux drives troisimes d'une fonction, on est amen consi-
drer, d'une manire plus gnrale, des systmes de quantits diffrentiables
H
r
r
2
...r
m
, affectes de m indices, r
i
r
i
.. . r
m
tant les arrangements complets de
i, 2, . . ., il, m h m. D finissons simultanment la diffrentiation et la drivation
absolues, dans un tel systme; ce sont les oprations
( 2) dXr, . . . r
m
= tl\
r
. . . r
m
^
et
iz f
= Xr
-
r
-"
k =
~i^~ ~
SUR LE CALCUL DIFFRENTIEL ABSOLU. 9
le trait qui spare r
m
de h indiquant que les indices qui le prcdent n'expriment
pas forcment des drivations absolues. On a d'ailleurs
[7] A vant d'aborder les proprits de ces oprations, dfinissons quelques opra-
tions algbriques sur les systmes d'ordre m (ou mindices), ce qui va nous con-
duire dfinir compltement les symboles i
lkh
.
tant donns plusieurs systmes d'ordre m, Xr
4
...r
m
, Y
Pl
...
Pm
. . . Z
Pl
...
Pm
, leur
somme est, par dfinition, le systme de mme ordre
U r
4
..,r
m
= X
ri
...r
m
+ Y
Pl
...r
m
"h + Z
Pl
...r
m
.
A ppelons produit de deux systmes, d'ordres met p, X
Pl
...
Pm
et Y
s
...
Sp
, le*sys-
tme, d'ordre m+ p
7
A vec deux pareils systmes on peut effectuer une autre opration que nous appel-
lerons composition ('). Le systme compos de X
r i
. . .
WA
. ,.
Sp
et Ys
L
...
Sp
> d'ordres
m+ p et p
t
est le systme, d'ordre m,
C ette opration s'tend tout naturellement plus de deux systmes, ou des
systmes X
Pl
...r
m
*
4
...
Jp
et Yt
1
..j
q
s
L
...
Sp
-
I I est facile de voir que la differentiation et la drivation absolue d'une somme
obissent aux lois du calcul ordinaire, indpendamment del nature des T
lkh
. Quant
la composition, sa drivation, par exemple, donne
s
x
... s
p
/i Y
5 a
. . .
Sp
)>
Pour retrouver la simplicit formelle du calcul diffrentiel ordinaire, on est
(*) C 'est le terme employ par Ricci et Levi-C ivit (cf. ouvrage cit).
O R. LA GRA NGE.
conduit annuler la dernire somme ; le coefficient de la parenthse tant X
SO
J 4-
ce rsultat sera obtenu si l'on assujettit x
ikh
la nouvelle relation
Les proprits obtenues peuvent tre rsumes dans le tableau suivant :
{d
la formule (18) se gnralise d'ailleurs immdiatement pour la composition de plus
de deux fonctions. On a des relations analogues pour les drives absolues.
[8] En rsum, ce qui prcde nous a conduits dfinir les symboles x
lkhi
intro-
duits dans le calcul diffrentiel absolu, par les deux relations
En particulier r
lik
= o, i
lki
= T ^ = a
lftl
; enfin, l'expression gnrale
de i
ikh
, en fonction des symboles <J
ikh
, est
C ette expression rappelle celle des premiers symboles de C hristoffel, mais il est
bon de remarquer que, en fait, les T
tkh
jouent le rle des seconds symboles de
C hristoffel.
Remarquons galement que la diffrentiation absolue, applique aux formes de
Pfaff de base dco^, donne
8 do), rfBwj = ^(ff/yM Tj ^ + T^Jd^Sft = o;
SUR LE CALCUL DIFFERENTIEL ALSOLU. I I
de sorte que, dans le calcul absolu, les cfa. auront les proprits formelles des diff-
rentielles exactes dx
%
du calcul ordinaire.
Les proprits des coefficients i
tkh
trouvent encore une application immdiate
dans l'opration corrlative du covariant bilinaire; savoir, la parenthse de deux
oprateurs linaires
les A ^ B
i
tant des fonctions de x
iy
o^, . . ., x
n
. La parenthse
(A, B)/^A ( ( B)/)- B( ( A )/)
s'exprime comme en calcul ordinaire, si Ton considre les oprateurs linaires air
sens absolu; autrement dit, tant donn un systme de n fonctions f
t
, f
%i
. . ,, f
nT
crivons
On obtient, par un calcul trs simple, compte tenu de (10) et (i5),
(A, B)/ =
i ih
la deuxime somme disparaissant si est une fonction de point.
[9] Nous allons voir, maintenant, un nouvel exemple de l'analogie formelle de
ces deux calculs diffrentiels. A uparavant, tablissons une formule et rappelons
quelques symboles d'criture.
En nous reportant aux formules (19) et (3'), nous avons
d'o Ton dduit
(ao)
tant donnes, d'autre part, (n r) fonctions ,, ,, . . . , ,_,, de (n 1}
R. LA GRA NGE.
variables indpendantes y
it
y
a
, . . . , y
n
_
it
rappelons l'criture symbolique employe
dans la thorie des intgrales multiples
df, df,... df
n
_
t
=
D
^'
f
" -'/~> dy
t
... dy
v
_.
Si fi* > > A _
4
s o n
t fonctions composes de n fonctions
lf
x
%
, . . . , x
n
des y
J
. . ., y
tt
_
4
, nous pouvons crire
- ^^- ax

... da;
a
_
(
,
ou encore, d*une manire symbolique,
fe ,
le tableau reprsentant, par hypothse, la somme des n dterminants obtenus, en
supprimant successivement chaque colonne, et en donnant aux produits des diff-
rentielles dx
%
leur signification symbolique.
Ceci s'applique sans changement n formes de Pfaff ; en particulier,
dio
t
dco^ . . . do>
n
= (a) dx
x
dx
t
. . . dx
n t
et, pour (n i) fonctions , , , , . . ., f
n
_
L
,
Ces dfinitions tablies, considrons une V
n
_
4
entourant compltement une r-
gion de l'espace n dimensions; la formule de Green s'crit, en calcul diffrentiel
ordinaire,
dx
t
... dx
n
,
P,, P
t
, . . . , P
K
tant des fonctions bornes et drivables du point (x
t
, x
t
, . .., j .
SUR LE CALCUL MIFFERENTIEL ALSOLU. l3
Taide des drives absolues prises dans l'ensemble P
4
, P
s
, ..., P
n
, elle s'crit
= . . . SC-O'-P.rf, *>-.*.+. *
II sufft de le vrifier par l'intermdiaire de la formule de Green ordinaire en se
rappelant l'identit (20).
V
En particulier, si les P
e
sont les drives f
t
= d'une fonction , nous avons
(22)
Nous verrons, dans le chapitre I I , que cette identit permet de rattacher entre
*eux les deux premiers paramtres de BeltramL
Si les P
t
sont les expressions composes
r * - p * Y r * - r ' ( a ^ d e v i e n t
4 TO
+ J J
= - 2(-0
M
C ette formule permet de donner l'identit de Green les mmes formes particu-
lires que dans le calcul ordinaire.
[40] La diffrentiation absolue dpend en gnral de Tordre dans lequel s'effec-
tuent les diffrentiations. L'tude de l'influence de cet ordre confirme la similitude
du mode d'exposition adopt ici et du calcul de Ricci et Levi C ivit.
tant donn un systme d'ordre m, nous nous proposons de donner l'expression
de MXr
t
...r
m
d8X
ri
...r
TO
, que nous crirons aussi (B75)X
Pl
...r
A
. Remarquons que
R. LA GRA NGE.
ceci rsoudra, simultanment, Je mme problme pour les drives, par suite de
l'identit
d' o rsulte, d' aprs odoj
t
dBw
t
= o,
(2 3) (8, d) Xr
4
. . . r
m
= 2 J (Xr
d
.. . r
m
/st
Un calcul simple, compte tenu des formules (16) et (18), nous conduit l'expres-
sion cherche
(24) (M)Xr....r
m
= (8, d)Xr

..,-
m
~ ^ f X
r i
. . .
r
,_,*
w
. .
khl
o l'on a pos
la virgule exprimant que la drivation co variante n'est pas effectue par rapport
aux indices qui la prcdent.
L'expression corrlative pour les drives absolues est alors
le premier terme du second membre ayant la signification d'une drive seconde.
Si X
ri
...r
m
sont des quantits uniformes (fonctions de point, formes de Pfaff, et c. ),
(S75)Xr
4
...r
m
et Xr
1
...r
m
/w Xr
4
...r
m
/tt sont des formes linaires des quantits X
Pl
...r
m
elles-mmes.
L'analogie des symboles xjj et des symboles de Riemann est totale, comme
nous le verrons encore plus loin, et c'est pourquoi nous leur donnerons le mme
nom.
[11] La diffrentiation absolue peut se rpter indfiniment sur un systme m
indices ('), toutes les diffrentielles qui rsultent d'une mme succession de diff-
rentiations formant un systme d'ordre m. Il est clair que toute permutation dans
(
d
) Les conclusions de ce paragraphe supposent que les ^^..r^r sont uniformes.
SUR LE CALCUL DIFFRENTIEL ABSOLU. l5
les diffrentiations est le rsultat de permutations effectues sur deux diffrentiations
successives ; cette dernire opration peut toujours se ramener la permutation
de deux diffrentiations terminales, suivie d'un certain nombre de diffrentiations.
On voit, en rsum, que toute permutation d'indices, dans une diffrentielle absolue
d'un certain ordre p, se dduit de la formule (24), et s'exprime l'aide des diff-
rentielles dont Tordre est moindre que p1. Le nombre des diffrentielles ind-
pendantes, d'un ordre donn, est gal au nombre des expressions initiales indpen-
dantes.
Les mmes remarques s'appliquent aux drives absolues; les drives p
imes
doivent tre drives comme un systme p + m inices, et l'on voit que la diff-
rence de deux drives absolues, d'ordre >, qui ne se distinguent que par l'arrange-
ment des drivations, est une forme linaire des drives d'ordre infrieur ou gal
h(p-a).
I l est clair que si les drives (ou diffrentielles) d'ordre p d'un systme X
ri
...r
m
sont indpendantes de l'arrangement des drivations, les drives d'ordres sup-
rieurs sont indpendantes de l'arrangement des p premires drivations. On voit
aussi que, pour que les drives et diffrentielles de tout systme soient indpendantes
de l'ordre des oprations, il faut et il sufft que tous les symboles de Riemann soient
nuls. S'ils le sont identiquement, le systme de Pfaff de base sera dit euclidien ;
les symboles %
lkh
ne sont pas forcment nuls; s'ils le sont, nous retrouvons le calcul
ordinaire; les d<
t
sont des diffrentielles exactes, et constituent ce que nous appel-
lerons un systme cartsien .
[12] Une application immdiate des derniers paragraphes est l'expression, en
calcul absolu, des conditions d'intgrabilit d'quations diffrentielles. Voici un
premier problme, trs important pour la suite :
Problme. Soient deux systmes de Pfaff, do>
i
et cfa
t
', le premier en x

...x
n1
dx
t
...dx
n
, le deuxime en x\...x
T
nt
dx\...dx'
n
. tant donn, d'autre part, un sys-
tme de fonctions \(x
l
...
B
), exprimer les conditions d'intgrabilit du systme
d'quations
(A) du
1
'-3>
Vf c)
= o.
La mthode du calcul diffrentiel ordinaire consiste annuler les covariants
bilinaires des n quations de Pfaff, et joindre (A) les quations obtenues. Ces
oprations, invariantes pour tout changement de variables, conviennent ici sans
modification. On a, en effet ('),
hh
C ) *fc/ft sont des drives absolues prises par rapport aux formes de Pfaff du>
t
.
l 6 R. LA GBA NGE.
d'o Ton dduit
Le systme (B) est fini par rapport aux x
t
et x/, et doit tre compatible avec (A );
au besoin, on diffrent!era (B) nouveau, en tenant compte de (4), jusqu' ce qu'on
arrive une incompatibilit ou un systme mixte compltement intgrable.
U n autre problme trs utile est la recherche des conditions d'intgrabilit d'un
systme d'quations aux drives partielles, rsolubles par rapport toutes les
drives absolues d'ordre maximum des fonctions inconnues. I l est clair qu'il suffit
de suivre la mthode du calcul ordinaire, en remplaant, par l'identit (ai'), l'iden-
tification des drives qui ne diffrent que par l'arrangement des drivations.
[13] Les symboles deRiemann ne sont pas tous distincts. I l rsulte, toutd'abord^
de leur expression, qu'ils changent seulement de signe quand les deux indices sup-
rieurs, ou infrieurs, sont permuts entre eux.
I l existe une troisime sorte de relations, rsultant de l'identit, zro du cova-
riant trilinaire
(TB) dw
t
+ (Td) AU), + (^T) OW,
\ [rfA A / J + (/A l A J = o .
Exprimons chacun des trois [termes du premier membre l'aide des symboles
de Riemann; il vient
khi
En rsum, nous avons les trois espces de idations que Ton tencontie dans le
calcul tensoriel habituel :
Enfin, de Ja relation (28), on tire encore, par un calcul simple,
(29) ^ = -!'/
SUR LE CALCUL D I F F ERENTI EL A BSOLU . 17
II est bon de remarquer que les relations (26) et (27) tiennent la structure
mme des T$, alors que (28) rsulte de leur signification analytique; ceci nous
apparatra encore plus clairement un peu plus loin. I l y aurait intrt dmontrer
directement que les relations obtenues sont uniques, mais cette dmonstration
parat difficile. Ceci rsulte d'ailleurs de la suite du calcul ; on en conclue, comme
en calcul tensoriel habituel, que le nombre des symboles de Riemann linairement
, , , n\n
2
i)
distincts est, d'une maniere generale, .
12
Leurs drives absolues vont nous fournir des symboles 5 indices, T^/
p
, le trait
indiquant que la drivation absolue est effectue dans le systme du 4
e
ordre. D es
relations connues entre les T^, rsultent des relations immdiates entre les nou-
veaux symboles; il en existe une autre, identique celle aperue pour la premire
fois par Ricci. Nous la dduirons de l'identit employe au dbut de ce paragraphe,
applique des fonctions uniformes
A(B, d)X, (S, d)\, + o(d, A )\ (d, A )oX, + d(A , o)X, - (A , )dX
t
= o,
on a, en effet,
hklp
khi
et
Xado^ou), + X^dwftSui, + X
k
du
h
ou
l
khi
d'o rsulte la relation simple
[14] Les relations, qui existent entre les symboles de Riemann, se dduisent
encore des conditions pour que des fonctions c
lk
soient les coefficients du covariant
bilinaire
(S, d)Q =
d'une forme de Pfaff dQ.
Soit dQ = X
t
dw
i
une forme de Pfaff dont nous supposons l'existence. Nous
L
avons
l 8 K. LA GRA NGE.
d'o Ton dduit, par un calcul simple,
(3
2
) ) , *'
Ces formules, quivalentes aux formules similaires du calcul ordinaire, fournis-
sent les conditions ncessaires et suffisantes pour qu'il existe une forme de PfafF
admettant un covariant bilinaire donn.
Ces relations, appliques aux formes d&
r
elles-mmes, en posant c
tkr
= c
r
lk
,
s'crivent justement
( ~kh "+~
T
/it +
T
* = o .
[15] Remarque. D ans tout ce qui prcde, les du>
l
taient uniformes, puisque
les a
tk
taient des fonctions de point; il est clair que la proprit essentielle des a
h
tait d'tre drivables, de sorte que, au point de vue formel, ces coefficients peu-
vent tre, par exemple, des fonctions rationnelles d'un certain nombre d'intgrales
curvilignes prises le long du chemin parcouru sur la varit, sans que nos calculs
cessent d'avoir un sens. Nous n'avons tenu compte de l'uniformit des dtt>
t
que
lorsque nous avons tabli les proprits des symboles de Riemann et de leurs dri-
ves absolues.
Le mme calcul que plus haut, repris sans cette restriction, conduit l'identit
( 5 3 )
le second membre ayant la signification d'une drbe partielle.
De mme, pour les symboles 5 indices, si les X
t
sont uniformes, les dX
t
ne le
sont plus, de sorte que nous avons
kr kp
et par suite,
(5, d)
C HA PI TRE I I
C ovariants et invariants.
[1] U ne remarque fondamentale est faire sur les dveloppements du chapitre
prcdent. Le point de dpart est un systme de n formes de Pfaff, et nous ne nous
sommes servis que d'oprations indpendantes des variables x
o
x
%
, ..., x
n
; de sorte
que tout changement effectu sur ces variables laisse invariants les symboles em-
ploys et les rsultats obtenus. C 'est ce point de vue que ce calcul est absolu .
On conoit qu'il n'en soit pas de mme pour les changements de variables tels
qu'on les effectue dans le calcul diffrentiel ordinaire, puisqu'on remplace les dx
t
$ x ix
par les dx\ et non par fdx\ - +- . . . + rr~j-dx\. Si, en calcul diffrentiel absolu,
i vX
on change les do>
t
, les rsultats sont galement modifis, et l'on est conduit tu-
dier le groupe des transformations linaires effectues sur les formes do)
t
, ainsi que
son prolongement.
C ette tude est trs complique, car on est oblig de considrer simultanment
les coefficients de la transformation et ceux de la transformation inverse; elle devient
cependant extrmement simple si on se borne au groupe des transformations ortho-
gonales
car les coefficients des transformations inverses sont les 6*
A
eux-mmes
D 'autre part, la considration de ce groupe sufft dans un grand nombre de
questions, et c'est lui que nous allons nous borner.
C e groupe laisse invariante la forme diffrentielle quadratique
ds* = du* + d&* + . . . + rf,
B
a
;
cette forme peut tre considre comme le carr de Tare infinitsimal d'une vaiit
Y
H
n dimensions, de variables paramtriques x
t
, . . . , x
n
. I nversement, tout ds*
3O a . LA GRA TVGE.
d'une V
n
peut tre mis sous cette forme d'une infinit de faons (*), les dto
t
tant
tous rels si ce ds* est dfini positif.
I l sufft de choisir Tune de ces dcompositions, et de prendre les d<a
t
correspon-
dants comme formes de Pfaff de base, pour obtenir, sur cette Y
n
, des rsultats in-
dpendants des paramtres choisis. Ce calcul diffrentiel absolu est, pour cette V
B
,
ce qu'est le calcul ordinaire pour un espace euclidien.
Mais ces rsultats ne sont pas absolus pour le ds* de la V
n
, puisque celui-ci est
dcomposable d'une infinit de faons; les proprits absolues sont celles qui sont
invariantes pour le groupe orthogonal. On obtient ainsi toutes les proprits com-
munes toutes les V
w
qui ont le mme ds* ~, ce que Ton exprime en les appelant
applicables .
[2] A vant d'aborder cette tude, prcisons quelques termes que nous emploie-
rons dans la suite.
U n invariant sera toute expression dont la valeur numrique n'est pas chan-
ge par une transformation quelconque du groupe ( i ); il sera dit absolu s'il ne
contient que les coefficients du ds* et leurs drives. Nous appellerons invariant
fonctionnel un invariant qui contient des fonctions, considres comme inva-
riantes, et leurs drives; et invariant diffrentiel un invariant qui contient des
diffrentielles.
On est amen, d'autre part, considrer des expressions non invariantes, qui
subissent cependant des transformations dgroupes simples. Soit X
r
...r
m
un sys-
tme d'expressions m indices; les 8\ tant les coefficients d'une transformation
orthogonale, nous appellerons transformation orthogonale m
u
P
le
la transfor-
mation
( 2) X'
Sl
.
Sm
=
I I est facile de voir que, au groupe orthogonal, est associ aiusi un groupe,
le groupe orthogonal m
u
P
le
, dont le produit de deux transformations est dfini
par
Lorsqu'on effectue, sur les d<i>
t
, la transformation (1), si des quantits X
ri
(*) II est bon de remarquer que M. Emile C otton utilisa le premier des formes de Pfaff
dans l'tude de l'application des V, (Cf. thse), bien qu' un point de vue autre que celui
utilis ici.
SU R LE C A LC U L D I F F ERENTI EL A BSOLU . 2 1
dfinies par une certaine suite d'oprations, subissent la transformation /n
u
P
le
cor-
respondante, nous dirons que ces quantits sont des covariants m
u
P
les
. Les do^
sont, en particulier, des covariants simples (*).
I l est facile de voir que la somme de covariants m
u
P
les
est un covariant m
n
v
1&
; le
produit de plusieurs systmes m
u
P
le
, p
u
P
le
, <?
u
P
le
, ... est un systme (m+p+q+ ...)
u
P
le
.
Enfin, la composition de deux systmes (m4-jo)
u
P
le
et (m + ^)
u
P
le
fournit un systme
(P + )
uple
c'est
c e
q
|i e
l
n
appelle le principe de la saturation des indices ,
lequel s'applique galement la composition de plus de deux systmes. Les dmons-
trations de ces proprits rsultent des relations eotre les coefficients du groupe
orthogonal; on peut d'ailleurs noncer ces proprits comme appartenant aux
groupes orthogonaux.
Le thorme sur la composition admet une rciproque immdiate : si le systme
Zs1...spt...tg
est covariant (p + q)
n
P
le
, quel que soit le systme de covariants (m-j- )
upl es
Y/v .r
m
t
x
...t
q
,
les Xr^...r
mS
...s
p
sont covariants (m-f-JD )
U
P
16S
.
Par exemple, si X
ri
...r
p
...r
m
est covariant m
u
P
l e
, ^ Xp
1
...
Pp
...r
m
c?

u>r
1
rf,o)r
2
...d
p
>
rp
r i. . . r p
est covariant (mp)
u
P
le
, et rciproquement; en particulier,
est un i nvari ant diffrentiel.
[3] C eci pos, effectuons sur les c/co
l
supposs uniformes une transformation
orthogonale (i), les Q\ tant des fonctions drivables du point (x
t
, ar
a
, . . . x
n
)\
pour tudier le prolongement diffrentiel du groupe orthogonal, il faut, avant tout,
dterminer la transformation des symboles de Ghristoffel x
ihh
. L'identification des
deux expressions du covariant bilinaire
(s, d)oj\ = 2
rs kh
(
4
) Suivant le langage habituel, j'appellerai vecteur un systme covariant simple ;
j'emploierai aussi, parfois, la dnomination de tenseur pour dsigner un systme
covariant d'ordre quelconque.
2 2 K. LA GRA NGE,
donne
et, par suite, d'aprs S(f/
t
/
A
O'
t
+ 8% <T
4
,J = o,
/C/l
U ne consquence immdiate de ces identits est la proprit fondamentale de la*
diffrentiation absolue, de conserver la covariance. Nous avons les deux thormes
suivants, corrlatifs l'un de l'autre :
tant donn un systme de covariants m
u
P
les
,
i Ses diffrentielles absolues d'un mme ordre sont des covariants m
u
P
les
(l'arrangement des differentiations tant galement le mme);
2 Ses drives absolues d'un mme ordre p sont des covariants (m+ jo)
u
P
les
.
La deuxime partie est corrlative de la premire, d'aprs l'identit
et d'aprs ce que nous avons dit de la composition des covariants (proprit rci-
proque). Quant la premire partie, en dsignant par d! la diffrentiation absolue
dans le systme des dts>\, elle se dduit immdiatement de
ikh
en effet, la diffrentiation de (a) nous donne
il sufft de porler cette expression dans l'quation prcdente, en tenant eompte
de (i) et de (/|) pour avoir l'identit cherche
SUR LE CALCUL D I F F ERENTI EL A BSOLU . 2 3
Tout ceci s'tend de soi-mme, par rcurrence, aux diffrentielles et aux drives
-d'ordres suprieurs au premier (*).
Applications. i* tant donne une fonction , considre comme invariante,
toutes ses drives absolues d'un mme ordre msont des covariants m
u
P
les
. D onc
les invariants fonctionnels forms avec ces drives sont les invariants du groupe
orthogonal m
u
P
le
; mais il ne faut pas oublier que les f
r
r
m
, lis aux arrangements
complets des indices, ne sont pas indpendants entre eux; c'est l que rside la
grosse difficult de la question.
2 Si X
7
est un systme de covariants simples uniformes, il en est de mme de
(S, d)\
l
=^ T^X^c
ft
3^,
hkl
donc : Les symboles de Riemann sont des covariants quadruples.
I l existe donc une infinit de systmes de covariants absolus, quadruples, quin-
tuples, . . . ; savoir, les symboles de Riemann et leurs drives absolues.
Ces invariants sont encore dtermins par les groupes orthogonaux m
u
P
les
, mais
ils se distinguent des invariants fonctionnels par le fait que l'influence de la permu-
tation des indices est compltement diffrente.
On peut encore dire qu'il existe une suite d'invariants diffrentiels absolus, qui
sont des formes de degrs 4, 5, . . . des diffrentielles,
G
- = JLU 'hl
Mil
ikhl m
(*) II n'est pas inutile de remarquer que ce qui intervient dans la proprit fondamen-
tale de la diffrentiation absolue, relativement la covariance, rsulte seulement des iden-
tits (16) et (18) du chapitre I , et de l'identit (4) du prsent chapitre. Il en rsulte que
la relation (io, ch. I) n'est pas indispensable. On Aoit en effet immdiatement que rien
n'est chang, ce point de vue, si Ton remplace les -
lhft
par les symboles plus gnraux
^ikh =
= x
ikh +
U
Lhh '
es u
ikh tant des covariants triples quelconques, symtriques gauches
par rapport leurs deux premiers indices. Mais il est clair que l'identit importante
M(a
l
dw
1
= o n'est plus conserve, de sorte que l'expression des nouveaux symboles T^
dfinis par la formule (24, ch. T) est beaucoup plus complique, et que les relations (28, ch. I)
disparaissent. D 'ailleurs nous verrons qu'il n'existe pas de covariants triples absolus, ne
contenant pas de drives, au moins troisimes, des a
ik
; il suffirait donc d'astreindre
les T
lkh
n'tre forms que des a
lk
et de leurs drives premires et secondes pour tre
oblig de choisir les ~z
lKh
auxquels nous sommes arrivs dans le chapitre .
K. LA GRA NGE.
[4] Nous venons de voir que les invariants, aussi bien fonctionnels qu'absolus,
sont les invariants de l'ensemble des groupes orthogonaux m
u
P
les
. On peut en for-
mer l'aide de calculs lmentaires.
On sait, par exemple, que les drives absolues du premier ordre , , , , . . ,
d'une fonction , sont des covariants simples, et que le groupe orthogonal simple
admet un seul invariant; il existe donc un seul invariant fonctionnel du premier
ordre,
\/=/:+/: +...+..
C 'est le premier paramtre diffrentiel de Beltrami, obtenu sous la forme du
paramtre de Lam. Deux fonctions et cp donnent l'invariant mixte
) = . ? * + - +?
Si nous passons aux drives secondes absolues f
tkt
il leur correspond l'inva-
t diffrentiel S/
ft
dcD 8a>
k
; en le combinant avec l'autre invariant diffrentiel
ik
iy
nous voyons que le discriminant de la forme quadratique
ik
= o;
gal zro, est une quation en p, invariante,
/ - h o /
1

A n /* /un + P
son premier terme tant p", ses n coefficients sont des invariants; ils sont dis-
tincts, car si les f
tk
(i 4= k)
s o a
t nuls, les racines de cette quation en p sont
()' (* ^
r
J
2

n
)* ^
a
particulier, le coefficient de p
re-1
est le deuxime para-
mtre diffrentiel de Beltrami
t
f=zj
it
+J
tt
+ .. . -f- /
BB
.
On peut galement obtenir n invariants fonctionnels du deuxime ordre, dis-
tincts, par saturation des indices. La mthode consiste former des combinaisons
y^ /li/^a/vp
t e
^
es c
l
ue c na c
l
u e
indice soit rpt deux fois; ces combinai-
(
a
* P) sons doivent tre, d'autre part, irrductibles, c'est--dire non dcompo-
sables en un produit de plusieurs combinaisons, si on veut ne former que des
invariants distincts.
SUR LE CALCUL DIFFERENTIEL ABSOLU.
I l est clair que Ton en a un de chaque degr
a5
S < / * ) '
ik
/ JtkfihJki
ikh
A*f * -
(de degr
ikh.* .jlm
et que ces n invariants sont tous distincts entre eux, puisqu'ils se rduisent aux
sommes de puissances des racines de l'quation en p si les f
u
, seuls, ne sont pas
nuls.
Remarquons qu'aucune des deux mthodes prcdentes ne dmontre qu'il n'y a
que n invariants fonctionnels du deuxime ordre; il faut un raisonnement suppl-
mentaire pour le voir; la forme gomtrique de ce raisonnement est connue; nous
y reviendrons un peu plus loin en tudiant les groupes orthogonaux.
La proprit de saturation des indices permet de former des invariants fonction-
nels mixtes du deuxime ordre
'
et c
*"
;
ik ikh
malheureusement elle se complique trs vite, surtout pour les invariants d'ordres
suprieurs; il devient trs difficile de les distinguer entre eux, et on ne les obtient
pas tous de cette faon.
Par la mme mthode, on peut passer des covariants m
u
P
Ies
des covariants
moindres, dont les invariants sont plus simples former. A insi, au systme quadru-
ple de Riemann, on peut rattacher le systme double r
lfc
=
> auquel corres-
pondent n invariants absolus; ceux-ci ont la mme forme que les invariants fonc-
tionnels du deuxime ordre, puisque les r
lfc
constituent, comme les f
lfc
, un tenseur
symtrique double; on peut galement considrer le tenseur symtrique
(P)T
26 R. LA GBA NGK.
On ne voit pas si tous les invariants forms par uae telle mthode sont distincts;
cependant nous pouirons l'appliquer dans quelques cas particuliers
[5] Ce qui prcde nous montre que nous devons apprendre dterminer le
nombre d'invariants distincts, d'une natu te donne Pour cela, nous formerons des
quations aux drives partielles qui admettent tous ces invaiiants comme intgra-
les, ce sont les transformations infinitsimales du groupe correspondant de trans-
formations orthogonales.
C onsidrons le groupe oithogonal m
u
P
le
Nous obtenons ses transformations infinitsimales en supposant
infiniment petit, et en ne prenant que sa partie piincipale; il faut que les
l
A
soient
des infiniment petits si t^k, ainsi que les (b\i ); d'autre part l'oithogonalit
des 6% exige que l'on ait 9\ = 9/*, (i=^k), et que ces paramtres essen-
tiels infiniment petits soient considrs comme tant du mme ordre, les (9*
(
i)
tant d'ordre suprieur.
La tiaasformation infinitsimale de (2) s'crit donc
(6)
SX
r
4
r
m
=
Les invaiiants doivent annuler l'opra tem linaire
et les quations cheiches sont les coefficients, dans cet oprateui, des
2
paramtres aibitraires 0^. On obtient ainsi le systme fondamental
i )
L =
y (\,
( s
, , 3L _ J
SUR LE CALCUL DIFFRENTIEL ABSOLU. 27
videmment complet, puisque ce sont les transformations infinilsimales d'un
groupe. D 'ailleurs on peut vrifier facilement que les parenthses (F*\ F ^)U sont
nulles si les quatre nombres s, t, u, v sont ingaux; et que ( F ^ \ F ^)U = F ^U ,
de sorte que les quations (F
(w)
) peuvent tre rduites n 1 quations analytique-
ment distinctes.
Ce systme ne peut tre employ tel quel, dans chaque cas particulier. Le plus
souvent, les X
r<
r
m
ne sont pas distincts; il convient, tout d'abord, de ne conserver
que les drives prises par rapport aux covariants choisis comme variables indpen-
dantes, et d'exprimer tous les coefficients l'aide de ces covariants; dsignons
par <>
(
^U les expressions F ^U amsi rduites. D 'autre part, les <>^U = one sont
pas toujours linairement distinctes; c'est le systme des seules quations linaire-
ment distinctes qui nous donnera tous les invariants; le nombre de ceux-ci est donc
gal l'excs du nombre des variables essentielles X
ri
r
m
sur le nombre d'qua-
tions du systme dfinitif.
Naturellement, les quations qui donnent les invariants que Ton peut former
avec plusieurs systmes covariants, considrs simultanment, s'obtiendront en
ajoutant membre membre les quations
*
fJ
u = *2u + r'u + *3
}
u + ... = o.
avant toute rduction spare des diffrents systmes <>
<m
*, <>
(p
, <>
(9)
, . . . ; cette
rduction ne doit se faire que dans le systme rsultant <I>. I l est vident, par cons-
truction, que ce systme donne les invariants de chacun des systmes composants,
et les invariants mixtes cherchs.
[6] Reprenons, avec ces considrations, l'tude des invariants fonctionnels. Le
systme du vecteur se rduit n 1 quations
A
ce qui donne bien l'invariant unique A ,/.
Le systme du tenseur symtrique j
l k
= f
kl
est
C es quations sont linairement indpendantes, puisqu'elles le sont si les f
ri
28 R. LAGRATNGE.
seuls ne sont pas nuls, et le nombre des invariants est gal n. Les deux mthodes
employes plus haut nous les donnaient bien tous.
On peut se proposer galement la recherche des invariants relatifs plusieurs
vecteurs. I l est trs facile de voir, par rcurrence, sur le systme des quations
$
4
M
U = o, qu'il n'y a pas d'autres formes d'invariants que les deux premiers para-
mtres de Beltrami, A
t
f, A ( /, <p); par contre, le nombre des invariants distincts ne
se voit pas facilement, tout au moins pour plus de deux vecteurs; d'ailleurs la solu-
tion de ce problme est bien connue; contentons-nous de rappeler que pour p vec-
teurs, le nombre des invariants distincts est
si p<^n, et - - si
Remarquons que si p systmes X
ri
.
r

t t
Y
ri
...r
ro
, * %r

...r
m
sont covariants m
u
P
les
,
le systme X,X
ri
. r
m
+ V^ . . r
m
-\- ... -4-*
p
Zr
t
...r
m
l'est aussi, quels que soient les para-
mtres \ , \ , . . ., \
p
, et rciproquement. L'existence des invariants d'un systme
covariant m
u
P
le
tant quivalente * cette covariance, les invariants de ces p systmes
sont les coefficients des \ dans les invariants du systme \X
r
^..r
m
+ . 4- X
p
Z
ri
.. r
m>
et on les a bien tous ainsi ; mais on ne les a pas ncessairement sans rptition.
C ette remarque donne, pour p fonctions, l'invariant fonctionnel du premier
ordre S(X/
i
+ (*?,+ . . . + v|
t
)
s
>
c e
i
ul
confirme qu'il n'y a que deux espces d'inva-
riants, pour les vecteurs.
Les drives secondes des p fonctions , p, . . . donnent, galement, les mmes
invariants que le tenseur Xf
lk
-\- \* -y
lh
+ . . . -f- vty
lh
; on est conduit crire l'quation
en p.
C 'est une forme de degr n en p, A, JX, . . . v; elle a G
p
u+p
i coefficients inva-
riants, parmi lesquels les invariants distincts cherchs. D 'autre part, les quations
<l>
r
,
w
U = o relatives p fonctions sont, comme pour une seule, linairement dis-
tinctes; le nombre des invariants est donc p . Pour deux fonc-
2 2 *
tions, ces invariants sont les coefficients en p, X, JJU
A ppliquons ceci au cas particulier des drives des deux premiers ordres d'une
fonct i on/; les transformations infinitsimales sont encore au nombre de
SUR LE CALCUL DIFFERENTIEL ABSOLU.
linairement indpendantes; il y a donc en tout an invariants, dont n 1 mixtes.
Remarquons alors que S/
t
G?a)
t
= invariant, et (Z/jCfo^)
1
= invariant sont quiva-
1 i
lents; on peut donc remplacer le vecteur des f
%
par le tenseur double symtri-
que f
x
f
k
. Les invariants cherchs sont donns par l'quation
V
v + H-A/, v + -// +P v + rt/j;
V.
= o.
I ci, la forme obtenue en X, f/., p est particulire; elle ne contient aucun terme
en [x*, fi
3
, . . . [/.
7
\ puisque deux colonnes en f/. sont proportionnelles ; elle s'crit
P" + e ,?-
1
+ ... + e ,_
tP
+ 0, +
n
(
?
) = o,
tant un polynme en p de degr n1 au plus, dont tous les coefficients con-
tiennent des drives premires; les ne contiennent que des drives secondes,
et donnent'les n invariants de ces drives. Le coefficient de p""
1
dans /(p) n'est
autre que A
t
/; il reste donc n 1 coefficients de ^(p), forms avec les drives des
deux ordres; ce sont les invariants mixtes cherchs.
On peut aussi former tous ces invariants par saturation d'indices; on a, en parti-
ulier, les n 1 invariants mixtes
/ j JikJiJk
ik
/ 1 JikJifJkJh
ikh
7 1 J i k J i g ' ' J j l J t n n f l f m *
ik Mm
-on voit qu'ils sont distincts en annulant tous les f
lk
(
[7] PROBLME. Proposons-nous de dterminer les I nvariants des drives des
trois premiers ordres d'une fonction, sur une V
2
(*).
(*) La recherche des paramtres diffrentiels, sur une V
2
, peut s'effectuer galement en
mettant le ds
a
de cette varit sous la forme d'un produit de 2 formes de Pfaff: ds

= cfco
1
dto, ;
la transformation linaire arbitraire dw'
4
= pcta
4
, dtn\ = cta
2
remplace alors la transfor-
mation orthogonale. En particulier, le premier paramtre prend la forme -^- x -^-.
3o R. LA GRA 1SGE.
On prvoit que, partir des drives troisimes, les symboles de Riemann vont
apparatre. I ci, il n'y en a qu' un, T** = T; il est invariant et joue le rle d'une cons-
tante. I l y a quatre drives troisimes distinctes f
tii
, /
2 S5
, /
i # i
, /
t j a
, et Ton a
J IIS J l 1 V S
',= f/;;
rquation correspondant ces quatre drives est
' U = - ^ - (3/
ltl
-
^ (3/,,. - T/,) - (a/,,, - , - V.)
au
les invariants cherchs, supposs pouvoir contenir la constante x, sont les huit int-
grales de rquation
0>,
t
U = *J
J
U 4- <>J
S)
U + <>J
3)
U = o.
Grce au changement de variables
/
w
,
if = v
ii ' /*S J
notre quation s*crit
^
TT
/ DU ^U \ / ^U ?U \ / ?U ^U
<> U = a u
0
T) +
3
(

^
l
'o ^r^ + \
w
T
w
o x
- 3 + TU ) - (u>
0
^
= o
Nous connaissons dj les invariants A
s
/, uu
0
,
0
, U
S
V
0
; des intgrales videntes-
son t ww
0
, uu;
0
; un calcul simple donne enfin les deux derniers invariants (wht-\-TU)u*
et (w
o
4^
0
+ xu
o
)a
o
3
, qui disparaissent d'ailleurs si Ton recherche les seuls invariants
qui ne contiennent pas x.
[8] Occupons-nous maintenant des invariants absolus relatifs aux symboles de
Riemann; on les appelle invariants principaux . Les transformations infinitsi-
SUR LE CALCUL DIFFRENTIEL ABSOLU. $1
-maies gnrales, rduites la forme $
r
/
A )
U =? o, sont relativement compliques
crire, mais il nous suffira de les avoir sous la forme
V
sk
- U
rk
)
i(kh) (ifc)
+ ZJ {\H -
T
,J K +
u
)
+ 2
2J
T
(
U
. -
u
* )
(t/c) i
+ ) , T U T U ) = O,
1
J \ rt se si ri J
l
o les i, k, h sont diffients de r et de 5, et o Ujjj reprsente . I l resterait
tenir compte de la relation (28. C h. I) qui lie trois symboles entre eux pour crire
les quations 3>,,
W
U = o .
On voit facilement, par la mthode des coefficients indtermins, qu'il y a un seul
invariant, linaire par rapport aux symboles de Riemann. Prenons en effet pour U
la fonction linaire, coefficients constants, U ^j ^L
T
L '
su
PP
os
>e ne conte-
(0)(W))
nir que des symboles distincts.
Si r, s, i, k
t
h sont diffrents, on a
*
W
U = A &T&+. . = 0 ,
les termes non crits tant indpendants de T^; donc les A j^, d'indices distincts,
sont nuls; de mme les A "- ^
r e s t e
enfin
donc tous les coefficients A|* sont gaux, ce qui donne l'invariant unique S T J . C 'est
(tk)
ce que l'on appelle la courbure totale de Y
n
.
Sans pousser plus loin les gnralits, voyons rapidement les cas particuliers les
pLus simples. Pour une V
t
, le symbole unique T** est invariant; pour une surface de
l'espace ordinaire, c'est la courbure de Ganss elle-mme. Les covariants absolus d'or-
dres 5, 6, ... sont les drives de TJJ donc tous les invariants sont les invariants
fonctionnels de la courbure totale, qui apparat comme l'invariant absolu caractris-
tique de la V
t
.
Pour une V
3
, nous avons six symboles de Riemann; or les r
lk
= 23T^ sont en
a
nombre gal, et distincts; les invariants principaux sont les invariants du tenseur
symtrique T^; il en a trois, la courbure totale 2T
U
, ^{T^)
1
, S
x
ik
T
in'
z
hn'
1 1 h i{hh)
3 R. LA GRA NGE.
La question se complique dj pour une V
4
; une telle varit admet vingt sym-
boles T}^, en gnrai; on peut vrifier que les six quations <
rs
(4)
V = o sont linai-
rement indpendantes, ce qui donne quatorze invariants principaux. F ormons-les
directement, en remplaant notre systme de covariants quadruples par les deux
tenseurs symtriques x
lk
et y
lk
= S T*
P
T"|; chaque tenseur a bien dix lments, et
(p)r
Ton peut montrer, par un calcul d'ailleurs assez pnible, que ces vingt lments sont
distincts. I l en rsulte que les quatorze invariants principaux sont les invariants de
ces deux tenseurs, que nous savons former, Ce seront, par exemple, les quatorze
coefficients de l'quation en X, [i, p
= o;
nous les avons tous, ainsi, par une mthode pratique. On peut d'ailleurs les obtenir
galement par saturation des indices.
On se rend compte de la complexit croissante du problme pour n >4 ; on
pourrait, peut-tre, conserver le principe que nous venons d'appliquer; il s'agirait
de dterminer p tenseurs symtriques, tels que de leurs lments soient
12
des fonctions distinctes des T}JJ, ce qui exige videmment que p soit ^ -.
Quoiqu'il en soit, pour toute V
n
, nous saurons former n invariants principaux
grce au tenseur symtrique x
ljk
.
Remarquons, d'ailleurs, que tout ce que nous avons affirm du nombre d'inva-
riants supposait que la V
n
tait la plus gnrale possible; pour des V
tt
particulires,
ce nombre peut tre suprieur.
[9] Les covariants quadruples T^J fournissent un invariant diffrentiel impor-
tant, la C ourbure Riemannienne d'une varit. De leur covariance quadruple
rsulte en effet l'invariance de l'expression
G
4
(d, S; D , A) =
T
on connat une autre forme diffrentielle invariante, du quatrime ordre,
(d
t
8; D , A) =
SUR LE CALCUL DIFFRENTIEL ABSOLU. 33
Leur rapport est un invariant diffrentiel, d'ordre zro,
G
4
(</,o;D ,A )
R( d
f
S;D ,A ) = .
(d,8
f
D , A) '
c'est la courbure de Riemann, au point considr, relative aux deux lments plans
(d, S), (D , A ); on voit, en effet, facilement, qu'elle ne change pas si les deux direc-
tions d, S sont remplaces par deux autres directions de leur i-plan.
n . . , . . , . d<\ y ^ D l) A tO
En i nt rodui sant les vecteurs -7-= = ^ ,
T
= YJ
4
, ~=~
=

=
Z> *
es mva
~
C$ 05 US LA 5
riants de ces vecteurs sont leurs longueurs 2q
t
*, S^*, ST/, S//, toutes gales
1 t 1 1 **
l'unit, par dfinition, et les expressions de la forme E^TJ, ; posons cos (^, TJ) = S^,>1, ;
nous pouvons alors crire
Rr T, r ,^ =
^
n
' "'
/ J
cos (, ) cos (
f X
) - cos (, /J cos (TJ, 0 '
Pour deux directions c/, 0, avec D&
l
= dt
1
, A)
l
= ?<o
l
, nous avons la courbure
Riemannienne relative un lment plan,
R(, r, ; , , ) = ^ j i ^ G
4
, ^ ; , T,) ;
cette expression se rduit au numrateur G
4
(, TJ ; , 7j) si ces deux directions vrifient
la relation S^^ = o; ce que Ton exprime en disant qu'elles sont orthogonales .
Schur a dmontr le thorme suivant :
Si, en chaque point d'une V
tt
, la courbure Riemannienne est la mme pour tous
les lments plans, cette courbure est constante le long de la varit ; la V
n
est alors-
dite w courbure constante .
Nous suivrons la mthode applique par Bianchi (*), mais les notations que nous
avons introduites simplifient beaucoup les calculs. On voit immdiatement que,
seuls, les symboles TJ ( ={= k) sont diffrents de zro, et sont, de plus, gaux une
mme fonction K(a*
4
, cc
a
, . . . x
n
). F ormons maintenant les symboles cinq indices :
\rr
l'identit bien connue TiA. + T'A /, -f T
l
?J
k
= o s'crit-= o, donc K est une
constante.
^ h
(
4
) Cf. Ace. dei Lincei, tome I I (1902).
34 R. LA GRA TNGE.
[10] Remarque. Nous avons suppos, dans ce chapitre, que les coefficients Q\
du groupe orthogonal taient des fonctions de point. L'uniformit des do>
t
et d&\ est
intervenue au paragraphe (3) lorsque nous avons conclu la covariance quadruple
des symboles de Riemann, I I n'en est plus de mme si les ft\ sont, par exemple,
des fonctions d'intgrales curvilignes, prises toutes suivant le chemin parcouru sur
la varit; en effet, X
t
tant un systme de covariants simples uniformes, il n'en est
plus de mme des X\ = ^\X
k
.
C ependant, on peut se demander quelles restrictions on doit imposer aux deux
systmes applicables (du
t
) et (du>\) pour que leur application soit ralisable par une
transformation orthogonale uniforme. I l est facile de voir qu'il ne suffit pas d'assu-
jettir leurs coefficients a
tk
et a\
k
tre des fonctions rationnelles, ou mme, des
formes linaires d'intgrales curvilignes. Par contre, les Q
l
A
sont videmment uni-
formes, si la non-uniformit des a
tk
ne provient que d'un facteur non uniforme
commun tous ces coefficients, et s'il en est de mme des a\
k
. Ce cas se ramne
d'ailleurs immdiatement celui des c&
s
uniformes, car le facteur non uniforme est
le mme pour les deux ds* .
Les seules varits auxquelles nous aurons affaire dans la suite seront unifor-
mes, tout au moins un facteur prs, de sorte que les transformations orthogonales
auxquelles nous pourrons les soumettre seront ncessairement uniformes si nous
voulons conserver la nature de ces varits.
C HA PI TRE I I I
A pplication et Reprsentation conforme.
[1] Les gnialits dveloppes dans les deux premiers chapitres vont nous
permettre d'tudier deux problmes trs importants : l'application et la repr-
sentation conforme .
Rappelons que deux varits n dimensions sont dites applicables si on
peut tablir entre elles une correspondance ponctuelle qui conserve les longueurs.
Soient Y
n
(dt
l9
dw
s
do>J et Y'
u
(d^
t
lJ
du>'
a
, . . . , du>'
n
) deux varits, que l'on
suppose uniformes, en vertu de la remarque faite la fin du chapitre prcdent*
Pour qu'elles soient applicables, il faut et il suffit que Ton puisse trouver des fonc-
tions 6\ du point (x
t
, x
%t
. . . , x
n
) de V
B
, telles que le systme
(A ) tfco,'
(A
o
) 2
e
'

*? =
e
"' L(*>.P = i>2 . . . )> (eB==o si
soit integratie.
Le calcul des conditions d'intgrabilit dues la diffrentiation de (A ) a t
effectu au chapitre I I (paragr. 3); on obtient ainsi le systme
(B) ev
P
=
kh
D 'autre part, les conditions d'intgrabilit de (A
o
) sont des identits; de sorte
qu'il suffit de prendre, pour valeurs des G*
A
, en un point donn, les lments d'un
dterminant orthogonal pour que (A
o
) soit vrifi le long de Y
a
,
La marche gnrale consiste maintenant driver le systme (B), et crire les
relations
36 R. LAGRANGE.
I l sufft de remarquer que (B) s'crit encore
T' = Ve
fc
tt
6*
8
e*
a
qui a la forme du groupe orthogonal double pour les indices kh, aS ; on en dduit
immdiatement, par drivation absolue,
et, par suite,
(G
4
) T '
W
- T w = T' = ^ e
1
. e* e*
Le calcul prcdent revient donc dmontrer la covariance quadruple des T)J ;
il faut recommencer sur le systme fini (GJ, en tenant compte de (A ), (A
o
), (B), (G
4
),
ce qui revient encore montrer que les drives absolues sont des covariants quin-
tuples, et ainsi de suite.
En rsum, le systme initial (A ), (A
o
), se complte successivement du systme
d'quations aux drives partielles (B), et des systmes finis (G
4
), (G
3
), (G
6
), . . . ;
et la condition ncessaire et suffisante pour que V
M
et V'
M
soient applicables est que
le systme mixte complet obtenu soit intgrable,
C e sont les conditions trouves par C hristoffel, et on voit qu'il faut que les deux
varits aient les mmes invariants absolus, ce que nous savions dj. Remarquons
qu' il est ncessaire que, partir d\m certain rang, les systmes (G) soient des
consquences algbriques des prcdentes. U ne simplification vidente se produit
si un invariant diffrentiel G
m
est identiquement nul; le systme de C hristoffel est
alors limit
En particulier, si G
4
= o, le systme s'crit (A ), (A
o
), (B), G'
4
^ o ; cette der-
nire condition exprime que le systme est intgrable, donc,
Pour qu'une V
M
soit applicable sur l'espace cartsien, il faut et il sufft qu'elle
soit euclidienne .
C hristoffel a montr, dans le cas gnral, comment on peut se limiter dans ce
systme de conditions (*); c'est ainsi que : si les quations (A
o
), (G
4
), . . . , (G
p
) per-
mettent de dterminer des fonctions ^\(x
it
x
%i
. . . , x
n
) et x
l
r
(x
li
. . . , x
n
) (ces der-
nires compltement), telles que (B) et (G
p+1
) soient satisfaites, les deux varits
sont applicables.
(
J
) Cf. ouvrage dj cit.
SUR LE CALCUL DIFFRENTIEL ABSOLU. 3j
I I sufft, pour cela, que les relations (A.) soient vrifies; formons le systme
de Pfaff d\ = Hb\d<a
9
, et montrons que les da
t
= dm\ dQ\ sont identique-
a
ment nulles.
INous supposerons p = l\
y
ce qui ne change en rien le raisonnement. I l rsulte
de (B), (G
4
) et (G
B
), que les dQ'
t
et les do/, out mmes symboles 3, 4 et 5 indices.
Si T sont ceux des rfQ' les expressions p et sont alors respectivement gales,
d) x t)12 X
donc
Par hypothse, les premiers membres T'JJJ des quations (G
4
) ont un dterminant
fonctionnel d'ordre n, par rapport aux x'
4
, x'
t
, ..., x'
7i
, non nul; il en est forcment
de mme par rapport aux o)'
t
, w'
s
, . . . , <t>
f
n
, ce qui exige que les dui soient tous nuls.
Remarquons enfin que, d'aprs le systme de C hristoffel, les seuls invariants
communs toutes les varits applicables sur les d&
%
sont les invariants absolus
dduits des invariants diffrentiels (GJ, (G
3
), . . . .
Remarque. L'tude de l'application comporte un autre problme, savoir la
recherche des varits gomtriques applicables sur une varit donne. Les lments
analytiques que nous avons introduits jusqu'ici ne nous permettraient pas de rsou-
dre ce problme, qui n'a un sens que si on se fixe l'espace dans lequel on veut
placer ces varits; les lments ncessaires une telle tude seront tablis dans le
dernier chapitre, propos d'une question diffrente. Je rappellerai seulement que
le problme nonc ici a t tudi dans les espaces euclidiens trois et quatre
dimensions.
On sait que dans l'espace ordinaire, une surface donne admet toujours une
infinit de surfaces applicables, contenant deux fonctions arbitraires d'un argu-
ment, dont la recherche dpend d'une quation aux drives partielles du deuxime
ordre Q.
D ans un espace plus de trois dimensions, le problme est en gnral impos-
sible, et les seules hypersurfaces applicables sur une hypersurface donne lui sont
gnralement gales ou symtriques; il en est srement ainsi si Thyperplan tangent
la varit dpend de plus de deux paramtres (
2
). M. C ar tan a dtermin les cat-
gories d'hypersurfaces dformables de l'espace euclidien quatre dimensions (
s
),
et a tabli, pour chacune des cinq catgories trouves, le degr de gnralit de Ja
solution.
(*) Voir D arboux, Thorie des surjaces (Tome I I I , ch. v).
(
2
) Voir Bail, de la Socit math France (Tome 44).
38 R. LAGRANGE.
[2] L'application conserve les longueurs, et aussi les angles, en appelant angle
de deux directions Ma>,), (SwJ, Tare cos .
ds os
La rciproque n'est pas exacte; pour la conservation des angles, il faut et il sufft
que la correspondance laisse invariante Tquation ds = o. U ne telle correspondance
est la reprsentation conforme de Tune des varits sur l'autre.
La reprsentation conforme se conserve par application, de sorte qu'on peut se
ramener au cas o les formes de Pfaff de mme rang, des deux varits, sont pro-
portionnelles.
Nous sommes ainsi conduits tudier le problme suivant :
Soit un systme de Pfaff doi
t
, et la transformation
(2) d
t
= ~d^
t
.
Prolonger cette transformation en calcul diffrentiel absolu.
Log o sera une fonction drivable du point (x
it
. . . x
n
), ou mme, d'une faon
plus gnrale, une intgrale curviligne (').
D signons par des lettres entre crochets les symboles de [V
a
](dQ
t
, d
it
..., rfj.
L'identification des covariants bilinaires des deux membres de (2) donne de suite
l^khii ? kht
[<7
lkt
] p<j
tkt
^-^ (, k, h distincts)
et, par suite,
(3)
On peut calculer directement les [xjfj ; nous appliquerons une mthode qui les-
donne tous simultanment; considrons un systme de n fonctions de point X, ;
nous avons
(*) >'ous nous bornons donc, dans ce problme, une classe particulire des varits
non uniformes auxquelles nous avait conduits la remarque (10, ch. 11). Gependant les for-
mules (5) obtenues plus bas seront encore valables, au point de vue formel, si p est une
expression drivable plus gnerale.
SUR LE CALCUL DIFFERENTIEL ABSOLU.
ou encore
(4)
cette quation, en 0, applique [5XJ, donne
= 8 {p [dXJ | - Sp . [ofX.j - 80,, 2 P t
r f X
] + P.
d'aprs (4), on peut calculer sparment chacune des quatre expressions du deuxime
membre; d'o
p[(8,d)XJ = p(B,
ZJ
/i
et il sufft d'identifier les deux membres pour obtenir les symboles de Riemann
transforms
[4] = p-tf
4 1 = ?* < + p(p** + p
u
) - \ ? (, fc, h, l distincts).
On vrifie bien, dans ce cas particulier, que si p n'est pas uniforme, p
kh
peut tre
diffrent de p^, et, de mme, [TJJJ] de [T|J].
[3] A ppliquons ces rsultats la recherche des conditions ncessaires et suffi-
santes pour qu'une varit donne V
n
soit reprsentable conformment sur l'espace
euclidien . Nous introduirons dans les calculs le tenseur x
tk1
ou mieux
(6)
a
que nous appellerons (( tenseur principal de la V
a
.
AO R. LAGRANGE.
Soit V la varit donne, ds' = Scta/ son lment linaire, uniforme ou non..
i
Pour qu'elle soit reprsentable conformment sur l'espace euclidien, il faut et il suffit.
qu'il existe une intgrale curviligne Log p, telle que la varit [V], de [ds* ] = ds* ,.
P
soit euclidienne, c'est--dire telle que tous les [TJJJ] soient identiquement nuls (')-
Les conditions cherches sont donc les conditions d'intgrabilit du systme
p.* = p*:* (# .*)
P+P = P'J + Y '
p sera une fonction de point ou non suivant que T ' ^ = z* f, ou non. Si n est sup-
rieur 3, les deux premires lignes de (7) donnent une premire srie de conditions-
finies
( T"JL, indpendant de a, =
ifc
.
D 'autre part, si t, /c, ft sont distincts,
la quantit entre accolade ne doit dpendre que de i, et il est facile de vrifier que-
sa valeur est 2^.
Ces conditions finies tant supposes vrifies, il faut encore crire que le sys
tme
?ik = i
(9)
A p
,-^X est intgrable.
Ce systme d'quations aux drives partielles du deuxime ordre se complte
par la mthode gnrale; et il est remarquable que les conditions obtenues ne con-
tiennent plus l'inconnue.
Supposons d'abord i, k, h ingaux ; nous avons
?ihh PiA* =
ikk= p ifc/A
(5
(*) Les dQ^ tant uniformes, -i- = So^ i = Sp^dQi montre que les- drives p
t
seront
p i p i
des fonctions de point, d'aprs l'hypothse faite sur p.
SUR LE CALCUL D I F F RENTI EL A BSOLU . kl
d'o
Z
t
k h = Zth k .
D 'autre part, si i=j=k,
pj/d
:::
-
:L:
p~tk, i pi^ik
\ ? , v
put = pC & pfe-it
r
-k -\ / , Cvpoki
'
l
"
l
2p
-
p ^ ^
a
d'o
Pu* ~~ P** = 2 J
T
t
/c P" ~ "" P^"/
fc
" ' ^
lfr
' O + 9Si* "" P*? ~~ 2 J
?a?7 fc
'
I I sufft de remarquer que T|. = c^ -h |
ftJfe
pour obtenir
a/ft = */f.
Nous avons donc le thorme suivant :
THORME I . Pour qu'une V
n
soit reprsentable conformment sur l'espace eucli-
dien, l'expression multiplicatrice tant l'exponentielle cl' une intgrale curviligne, il faut
et il suffit que :
i les T$ soient nuls; les T^ ne dpendent que de i et Ar, 50 TJ^ =
lfc
; Ze5 x^
soient de la forme J~
ti
-f- 5A& (
J
^> ^> ' diffrents);
2
0
/es drives absolues du tenseur ^
lh
soient indpendantes de l'ordre des deux der-
niers indices.
Four que p soit une f onction de Doint, il faut de plus, et il suffit, que le tenseur ^
k
soit symtrique.
Remarquons que si n =2, le systme (7) se rduit l'quation unique, toujours
intgrable,
P + p^^^rtl
on voit bien, en particulier, que toute surface de l'espace ordinaire est reprsentable
conformment sur le plan, et la rsolution du problme est donne par l'intgration
d'une quation linaire aux drives partielles du deuxime ordre.
Pour n = 3, nous retrouvons les rsultats dj exposs par M. Emile Gotton(
1
)
J
et la premire srie de conditions est vrifie d'elle-mme.
(*) Cf. thse.
4 2 R. LA GRA NGE.
[4] On se rend bien compte a priori que les conditions trouves dans le thorme
prcdent ne peuvent pas tre essentielles, car les TJ^, et par suite le
ilc
, d'aprs
leur nature mme, vrifient des relations diffrentielles du premier ordre.
Supposons que p soit une fonction, et montrons que, en gural, la premire srie
de conditions est suffisante. Supposons-la, en effet, ralise seule
(I O) T
W
=

et crivons la relation (3o, ch. 1) entre les symboles covariants quintuples. Bien
que q
i/(
soit symtrique dans ce paragraphe, nous ne tiendrons pas compte de cette
symtrie dans les calculs.
Si I, k
t
h sont distincts, il sufft que n soit suprieur ou gal 3, pour pouvoir
crire
Un calcul simple donne
Jkl , ~
T
tkj h W/i ' -hk/li
T
ik
i 5 / x
khj i ^th
f
i
et, par suite,
Ceci montre dj que, pour a = 3, les huit conditions que doivent vrifier le
tenseur symtrique %
lh
se rduisent cinq.
On peut introduire le co va riant triple
les conditions ( n) s'crivent alors
et sont quivalentes, pour /z > 3,
D 'autre part, si n>3, on peut crire
SU R LE C A LC U L D I F F ERENTI EL A BSOLU . 43
qui, par un calcul analogue, donne de suite
De sorte que le thorme (I) se simplifie, et peut s'noncer :
THORME I L Pour qu'une V
tt
(/i>3) de ds* uniforme^ soit reprsentable con-
formment sur Y espace euclidien, il faut et il suffit que ses symboles de Riemann vri-
fient les conditions (10).
[5] Application. U ne varit courbure constante, d'aprs T^J TJJJ = o,
\h = G
te
= R, est reprsentable conformment sur l'espace euclidien. C herchons la
fonction multiplicatrice p.
I l rsulte de la dfinition mme de la courbure Riemannienne que les symboles
TA/ d'une telle varit sont invariants; nous pouvons prendre, comme formes de Pfaff
de cette varit, les formes dQ
t
=
l
. D ans les formules (5), V
n
est ici cartsienne,
ce qui dfinit p par le systme d'quations
(ia)
les drives de p sont des drives ordinaires, et il vient
20
On a donc p^ = Qxi + a
it
et
P =
T
les a
t
et b tant des constantes; la courbure constante de la V
w
transforme est alors
i
Si C n'est pas nul, une translation permet d'annuler tous les a^ et de prendre
Q
p =Sx/ + 6; alors K = 2G6 . Les points l'infini de la varit courbure cons-
2 i
tante [V] sont les transforms de la sphre p = o; ils sont donc rels ou non suivant
que R est ngatif ou positif. K est nul si cette sphre est de rayon nul.
Si G est nul, p = ^a
l
x
l
-j- 6, R = Sa/; ce cas se ramne de suite au prc-
i i
44 R. LAGRANGE.
dent grce une inversion, qui, nous le savons, est une reprsentation conforme qui
laisse euclidienne une varit euclidienne et transforme le plan poen une sphre (').
En rsum, a une inversion, uae homothtie, el une translation prs, on peut
toujours prendre p = - 2sc
t
* -f- b> de sorte que K = 2 b.
K est nul si c = -Zx* ; or on sait que l'inversion X, =
%
donne [ds] = >
2 1 2 JXV p
a
donc la transformation reprsente par cette valeur de p est une inversion suivie
d'une application quelconque.
[6] U n calcul direct permet de voir que p = - 2ac
t
* correspond bien au groupe
des dplacements, homothties et inversions de l'espace euclidien. En effet, le sys-
tme euclidien dQ
t
se prsente sous la forme cartsienne, aprs une transformation
orthogonale dont les coefficients 0\ sont dfinis par le systme d'quations
ces drives absolues tant prises dans le systme c/Q
?
, dont les symboles de Ghris-
toffei sont [T
ljfe
J = o, [T
A
J = c
ft
= x
h
\ (i3) s'crit donc
Posons 2 6^ ^ = 11^ il vient
qui donne, par un calcul facile,
o les m\ sont des constantes. On a alors
et l'orthogonalit des 6^ exige la mme proprit des m
l
h
,
(
1
; On peut toujours, grce une translation, supposer =|=o. En particulier, si les
a
v
sont nuls, p = b correspond une homothtie, qui apparat bien ainsi comme le pro-
duit de deux inversions.
SUR LE CALCUL D I F F RENTI EL A BSOLU . 45
Soient X
t
les coordonnes cartsiennes de l'espace transform;
-et, par suite.
X x
t
= V,
p
*
avec une rotation de l'espace dx
l9
et une translation de l'espace transform, on peut
prendre X
x
= - -, qui est bien une inversion.
[7] Reprenons maintenant le thorme gnerai pour une V
B
dont les dm
%
ne sont
pas uniformes. Pour reconnatre pratiquement si une V
M
non uniforme est reprsen-
table conformment sur l'espace euclidien, il est clair qu'il sufft de diviser le ds
%
de cette varit par son facteur multiforme, pour retrouver le problme trait au
paragraphe 4- C ependant, nous allons tudier directement le cas o log p est une
intgrale curviligne multiforme, cause de la simplicit des conditions auxquelles
on est conduit.
C onsidrons en effet une telle varit V
tt
: ses symboles de Riemann vrifient les
relations (7) ; nous allons voir que les covariants quintuples vrifient encore les
identits de Ricci, relatives un espace uniforme (*) (3o; ch. I ).
En effet, [
T
w/p 4- tf
p
j
h
4- tfhfi] sont des covariants quintuples, et il suffit de
vrifier que ces quantits sont identiquement nulles pour un choix particulier
des cf), ; choisissons celles-ci de faon que les [x
lft
j soient nuls,
(*) On verrait, plus gnralement, que ces identits de Ricci sont, tout au moins pour
n >> 3, caractristiques des V
n
, reprsentables conformment sur un espace uniforme,
pour lesquelles log p est une intgrale curviligne. Elles sont galement vrifies sur les V
s
<le cette nature.
46 R. LA GRA NGE.
On peut alors vrifier ces identits, soit par un calcul direct des covariants quin-
tuples TJ2/
P
, soit en appliquant les formules (34; ch. I ); on a, par exemple,
lk
I _i_
lk
I J _
ht II hf h ut i i p
= -7 (S*. - 5 .0 + h(P - PJ = o,
P P
_ S _ fi. /S _ i (
8
'
rk f
^
/*: i \ ^fe / ^ ^ \ _, rk / \ fit / \
La proposition rciproque est immdiate; en effet, si les covariants quintuples-
yritient ces relations, le calcul du paragraphe 4 est encore valable, puisque la
symtrie du tenseur q
lk
ne joue aucun rle.
On peut en dduire immdiatement un autre nonc du thorme I . valable pour
une varit uniforme ou non.
THORME I I I . Pour qu'une V
B
, uni/orme ou non, plus de trois dimensions,
soit reprsentable conformment sur l'espace euclidien, il faut et il suffit que les sym-
boles de Riemann vrifient les relations (10), et que les covariants quintuples absolus
vrifient les relations (3o; ch. I ).
[8] Le problme de la reprsentation conforme de deux Y
n
Tune sur l'autre est
encore plus compliqu que celui de l'application, puisque cette dernire intervient
ncessairement. On peut cependant obtenir des conditions ncessaires, en dtermi-
nant des invariants absolus de la varit, qui sont galement invariants dans la
transformation conforme.
Pour que V
7i
et [VJ soient reprsentables conformment Tune sur l'autre, il faut
pouvoir trouver une fonction p telle que Ton ait dl
%
= *, aprs une transforma-

tion orthogonale convenable sur les dov, autrement dit, le systme (3) et (5) doit
tre intgrable. Nous supposerons V
K
et [VJ de ds* uniformes.
Le nombre des invariants principaux est ^ -
y
suprieur au
nombre des indtermines de (5) si n>3, de sorte que, clans ce cas, on a dj des.
conditions ncessaires avec les symboles de Riemann.
SUR LE CALCUL D I F F ERENTI EL A BSOLU . 47
Pour n quelconque, le systme (5) peut tre remplac par le systme ncessaire
mais non quivalent,
_ _L p ] _
0

<i3)
P
Ecrivonslesconditionsd
>
intgrabilitde(i3)
)
compte tenu de (3) et (5); nousavons
?ikh ?ihk =
Les ^i/c/A sont des covariants triples; il en est de mme des \
kh
de sorte que des conditions ncessaires d'intgrabilit sont
p p '
Si ft>3, ces quations contiennent encore p et ses drives premires; au con-
traire, si n =3,
aft
=
T
Ifc(
a:
4
::
^))
T
jc = n H~ ^&ft)
e
t les deuximes membres de (i4)
s'vanouissent; ces quations se rduisent donc \
kh
= [X
fc
J, ou encore
P
ikh ikh
ceci met en vidence l'invariant diffrentiel triple particulier aux V
a
, introduit par
M. Emile Gotton dans sa thse; sans parler des transformations que Ton peut faire
subir cet invariant^), nous voyons, par ce calcul effectu dans le cas de n quel-
conque, qu'il ne peut tre question de chercher l'analogue de cet invariant, dans le
cas de n>3(
2
).
(0 Thse de M. Emile C otton.
(
a
) Ge rsultat confirme la distinction essentielle des V
3
et des varits d'ordre suprieur
relativement la reprsentation conforme.
4 O R. LA GRA NGE.
[9] Les gnralits de la reprsentation conforme vont nous permettre d'tudier
le problme suivant :
C onsidrons deux Y
n
uniformes, reprsentables conformment Tune sur l'autre,
et une fonction , considre comme invariante dans cette transformation. Nous
avons les formules de transformation
et par suite
(.5)
donc l'quation A
s
/ = o n'est invariante que si n = 2, ou si p = C
te
.
Si rz est quelconque, on peut chercher s'il existe une fonction X, indpendante
de , telle que <p = > soit harmonique sur [VJ en mme temps que y l'est sur V
n
..
On a alors.
et A
a
/= o entrane [A
s
cp] o si l'on a l'identit
pX (n a)Xp
a
= o ;
cette identit, ncessaire et suffisante, est quivalente
pA
>
A . = (Tl 2 ) 2 J pi Af
Ces a premires quations diffrentielles donnent, un facteur constant prs
r
.
(7)
p tant lui-mme dtermin par l'quation du deuxime ordre
08)
SUR LE CALCUL DIFFERENTIEL ABSOLU. 4$
I I n'y a que les reprsentations conformes, dfinies par cette quation, qui per-
mettent de rsoudre le problme propos.
Si n = 2, 1 est ncessairement constant, et o est quelconque; si n est quelcon-
que, mais si V
M
est euclidienne, une solution particulire de (18) est l'inversion
na
p = x
4
s
-|- . . . + x
n
s
, avec X = (x* 4- x* + . . . + &n)
2
, et Ton retrouve le rsultat
connu de Sir W. Thomson.
na
Remarquons que la fonction i tant harmonique sur [VJ, = o
3
est hai'~
A
monique sur V
n
; c'est ce qu'exprime d'ailleurs l'quation (18). I l en rsulte qu'
chaque solution de A
4
o = o, correspond une intgrale p = /
n
~
2
de (18).
C HA PI TRE I V
'ur le dplacement d'un vecteur.
[1] Nous savons que l'on appelle vecteur (c) un systme covariant simple de n
fonctions (,, . . . ,
n
) de x
it
. . . , x
n
, ses composantes ; si le point M(x
it
..., x
n
)
dcrit une certaine varit de l'espace E
n
, on dit que le vecteur (q) se dplace dans
cet espace.
En chaque point M de E
n
, les dw
t
, que nous appellerons le systme de coor-
donnes, reprsentent n directions orthogonales; et on peut se reprsenter un espace
euclidien, entourant M, rapport ces n directions; () peut tre considr comme
un lment gomtrique de cet espace, et sa longueur est l'invariant % = \/s ^

.
i
Quand () subit un dplacement infinitsimal dansune direction (dis>
lt
dw
2
, ..., dio
n
),
la variation premire (dzl) dpend des coordonnes choisies, alors que d
t
est cova-
riant simple; c'est donc la diffrentielle absolue qui reprsentera, pour un observa-
teur, la variation du vecteur (|).
Par dfinition, on dit que (~) est rest quipollent si dzj = o ; sa longueur
est alors conserve; dans ces conditions, tout vecteur r^ Xl;
7
- a mme direction
que sa diffrentielle absolue; on dira qu'il est rest parallle . Ce paralllisme
est celui de Levi-C ivit (
4
), et conserve videmment l'angle de deux vecteurs.
tant donns deux segments ds, 85, de composantes dts>i, So>^, la variation de (q)
le long du paralllogramme infinitsimal form par ces deux segments est
(S, d)* i =
3r
si Ton ne considre que des lments uniformes; et, le long d'un contour ferm
Quelconque, cette variation est reprsente par l'intgrale
J J
prise le long d'une V
s
limite ce contour.
(
4
) Voir Rendicontl del 'circolo di Mathem. di Palermo (Tome
SU R LE C A LC U L D I F F RENTI EL A BSOLU . 5r
L'tude du dplacement d'un vecteur le long d' une courbe revient comparer
deux vecteurs d'origines diffrentes, ce qui s'effectue en dplaant l'un d'eux vers
l'autre, par quipollence; on est amen ainsi rsoudre le problme suivant :
Trouver le vecteur obtenu en dplaant, par quipollence, du point M' ( 0 att
point M(i), le vecteur
t
() (t tant le paramtre qui fixe le point M sur la courbe) :
Ce vecteur est donn par la srie de Taylor gnralise
suppose convergente; il n'y a, en effet, qu' vrifier que
'*- ' = o, et que i\
%
(t', t') =
[2] t es quelques rsultats nous montrent que, dans l'tude du dplacement
d'un tt-dre orthogonal, et des courbures d'une courbe, les calculs conserveront Ja
forme adopte dans l'espace euclidien.
Les rotations p
a
b d'un n-dre orthogonal (;*,,
u
t
, ..., *J, ( a = i, a, . . . , ri),
qui se dplace le long d'une courbe de paramtre t, sont dfinies par les quations-
ce sont bien des invariants, qui vrifient les relations p
ab
= p
ba
; rciproque-
ment, tout systme p
ab
, symtrique gauche par rapport ses indices, dfinit le
mouvement d'un /i-dre orthogonal.
En prenant / = i ou o suivant que k = i ou k =}= i, les t
tkh
apparaissent
comme les rotations absolues du bystme d&
%
. D e mme, les formules du change-
ment orthogonal des formes de Pfaf s'crivent
elles sont identiques aux quations (a), si on les considre comme exprimant le
dplacement du vecteur (6\, . . . , 6*
B
) le long du vecteur (
A
4
, . . ., 6*
B
). Pour cette
raison, nous appellerons les T
lkh
les rotations du systme d<a
x
.
5 2 R. LA GRA 1NGE.
[3] Ges considrations permettent l'tude d'une courbe F , dfinie par n fonc-
doij
tions Xi=^cCi(s); sa tangente a pour composantes -7, et la longueur de ce vecteur
est l'unit si s est l'arc de courbe. D ans ces conditions, la vitesse absolue de
<;/ = est ~~
f
orthogonale la courbe ; soit S^
2
le vecteur unit qui porte cette
cis cis
vitesse; on dfinit ainsi le i-plan osculateur; la vitesse absolue ~~~ dfinit, avec
ds
%i et ^* le 2-plan osculateur, et on choisit, dans ce 2-plan, le vecteur unit
t
3
orthogonal au i-plan osculateur ; et ainsi de suite comme dans l'espace ordinaire.
A yant ainsi attach la courbe un a dre orthogonal bien dfini, les rotations
de ce n dre sont des proprits intrinsques de la courbe; ces rotations, au
nombre de (ni), s'appellent les courbures de la courbe considre, et on a
les quations
ds
(3)
La premire courbure p, mesure le rapport de l'angle absolu de deux tangentes
infiniment voisines l'arc de courbe correspondant; sur une surface de l'espace
ordinaire, on retrouve la courbure geodesique, ce qui tait prvoir d'aprs son
invariance pour toute dformation qui conserve les longueurs.
U ne courbe, dont la premire courbure est nulle, a toutes ses courbures nulles;
c'est une geodesique , dfinie par la proprit que sa tangente reste parallle
elle-mme le long de cette courbe ; il en rsulte aussi que tout vecteur dplac
paralllement lui-mme le long d'une geodesique fait* un angle constant avec cette
courbe. On sait que la variation premire de la longueur d'un arc qui joint deux
points fixes est nulle pour la geodesique qui joint ces deux points; voici comment
ceci s'obtient avec nos notations : la longueur d'un arc, qui joint deux points fixes
A , B est
I = f ds = f v/srfcV;
donc
i 0 do>i
5
j fi
KB ds JAB ^ ds
SUR LE CALCUL DIFFRENTIEL ABSOLU. 53
A et B tant fixes, la premire intgrale du deiTiier membre est nulle, de sorte que
la variation SI n'est nulle, pour toute dformation de l'arc B, que si, le long de
cet arc, d- = o.
ds
[4] Ce que nous avons dit d'un vecteur, le long d'une courbe, s'applique une
famille, un paramtre, de vecteurs units, d'origine fixe; une telle famille s'ap-
pellera un cne ; quand le vecteur ^ dcrit un cne,
se confond avec d
lt
puisque les d(i>$ sont tous nuls. Gela revient considrer ce
cne dans l'espace euclidien qui entoure M, et Ton obtient ainsi (n2) courbures
pour le caractriser.
On peut, d'autre part, supposer que le cae considr est fonction du point M;
quand son sommet dcrit une courbe F , ce cne se dforme, et le calcul diffrentiel
absolu intervient de nouveau. D ans un dplacement dans lequel chaque vecteur issu
de M reste quipollent, au sens absolu, les angles sont conservs, et il est vident
-que les courbures d'un cne le sont aussi.
[5] Soit (a) un vecteur unit, fonction de son origine M, et (A ) le (n1) plan
orthogonal. La variation (da
z
) le long d'une direction (qj de () est situe dans ce
(n1) plan; nous appellerons directions conjugues de ( Q, par rapport (a), les
directions (7^) de (A ) qui sont orthogonales (da^.
En gnral, il n'y a pas rciprocit; en dsignant par a
lk
les drives absolues
de a
ly
on a, en effet, les relations
<4)
(5)
(6)
pour qu'il y ait rciprocit, il faut et il suffit que, \
%
tant donn dans (A ), (5) et (6)
entranent l'identit
2
a
**)*= -
54 R. LA GHA ^GE.
I l doit donc exister deux quantits JJL et A vrifiant
comme consquence de (4). On en dduit
Si donc on suppose que cette dernire somme n'est pas identiquement nulle, sans-
quoi toutes les directions de () seraient leurs propres conjugues, on a p. = i ;
comme, d'autre part, X = SA
fc

&
, o les X
A
sont indpendants des c
(
, on doit avoir
k
?ft
= o ;
cette relation doit tre une consquence de (4), ce qui exige que l'on puisse trouver
des quantits \L
t
telles que l'on ait identiquement
I l faut videmment que ^ = ;, de sorte que la forme de Pfaff dQ = ^l
vrifie la relation
(S, d)Q = V (a
lk
- a
kl
) do
H
l<*
k
= m ^ Mo,,. - d
donc dQ = o doit tre compltement intgrable. C eci exprime que le vecteur (a)
est normal une V
n
_
lJ
f(x
i7
. . ., x
n
) = o, et Ton sait que S^fo^ est alors une diff-
i
rentielle exacte.
[6] D ans le cas gnral, on appellera direction principale toute direction ($
t
-),
orthogonale (a), laquelle sont conjugus tous les r
i{
de (A ) qui lui sont ortho-
gonaux.
Pour une telle direction, (5) et
SUR LE CALCUL DIFFERENTIEL ABSOLU. OD
-doivent entraner l'identit (6); il doit donc exister des quantits X, p., telles que
l'on ait
tant ncessairement nul, les directions principales sont donnes par
(9)
fc=I
(4) est une consquence de (9) si X n'est pas nul; remarquons aussi que, d'aprs
{9), la vitesse absolue de (a) le long d'une direction principale est porte par cette
direction. X est racine de l'quation
a
l t
- h A a
i%
. . . a
AV
= o,
dont les coefficients sont des invariants du tenseur a
lk
; on peut la remplacer par
l'quation
(10) X X
* <*
a_
l fl
a-,,, . . <*_.,_! 4- X a
n
_
un
= 0,
et l'on voit que X = o ne permet de vrifier (4) que si elle est racine double de (10) ;
dans ce cas, (a) reste parallle lui-mme le long de (), et toutes les directions
de (A) sont conjugues de ().
En rsum, les X qui dterminent les directions principales sont les (n1)
zros, en gnral distincts, du dterminant de l'quation (10), de sorte qu'il y a, en
gnral, (n1) directions principales. U ne racine X, rapport l'lment d'arc prin-
cipal correspondant, de l'cart angulaire de (a) le long de cet arc, s'appellera une
courbure principale du vecteur (a) .
5 6
LA GBA :N
T
GE.
[7] Plaons-nous maintenant dans le cas particulier o (a) est normal aune V
B
_
I t
et vrifie, par suite, des identits
On peut choisir les coordonnes de faon que a
n
= i , a

= a
2
= . . . = a
n
__
4
= o;
alors a
iA
= a^(i, /c = i, 2, . . ., n 1) et a
rtA
= o(h = 1, 2, . . ., n); les directions
principales sont dtermines par le systme
(12)
( = 1 , 2 ,
dans lequel X est une des racines de l'quation
= O,
_,,, a
n
_^ ... a_
l i l M
+X
et les a
tk
sont maintenant symtriques. Les directions cherches sont les axes d'une
forme quadratique (ni) variables, et foi ment, par suite, un (ni) dre ortho-
gonal.
Si Ton prend ces directions comme axes de coordonnes dans (A ), le systme (i$)
devient
C (a + X)c
t
= o ( 1=1, 2, . . . f t i )
(l 3
'
}
S = o
et tous les rsultats bien connus de l'espace ordinaire se retrouvent ici sans change-
ment. Les \ = a
%%
s'appellent encore, ici, les courbures principales de la Y
u
_
t
.
[8] Nous avons rencontr les relations
(' 7)
y, 0 ^=
les directions qu'elles dfinissent sont les directions asymptotiques de (a); elles
bont leurs propres conjugues. Si (a) est le vecteur normal d'une Y
n
_
t
, elles dfinis-
sent les lignes asymptotiques de cette varit; leur i-plan osculateur est tan-
gent la varit, sauf si une ligne asymptotique est galement une godsique de-
Tespace E
w
.
C HA PI TRE V
A pplication l'tude des Varits plonges dans un espace.
[1] Nous allons dterminer dans ce chapitre les relations entre une varit et U
espace dans lequel elle est plonge.
Soit E
n
un espace dfini par les n formes de Pfaft d^ ; son ds
s
est Hdo^
3
. Sur
t
une varit V, p dimensions, de cet espace, les x
t
sont fonctions de p variables
indpendantes, et les d^ sont des formes linaires de p formes de Pfaff de ces
variables
(i) d<
t
= lidu, 4- Vdu
%
+ . . + %* du
p
.
On peut prendre pour les du
a
(a = i, 2, . . . , p ), un systme de coordonnes
orthogonales, c'est--dire tel que ds* = Eriw
a
s
(
sur V. D ans ces conditions les zj'
a
dfinissent p vecteurs units, tangents V, et orthogonaux deux deux. Pour tu-
dier V, nous complterons le n-dre avec q = n p vecteurs units normaux,
a>', <% . . . , a?.
Nous aurons affaire dans la suite deux sortes d'indices : les uns (1, 2, ..., p)
y
que nous appellerons tangents , seront dsigns par les lettres romaines a,b,c, ... ;
les autres (1, 2, ... q), dits indices normaux , seront dsigns par les lettres grec-
ques a, p, y, . . . .
C eci pos, les rotations du ra-dre orthogonal, le long de V, sont donnes par
les quations
avec, suivant les proprits des rotations, T
acb
+ T
CO6
= o, R ^ -f R/
a
= o.
I l est clair que si E
re
est donn, ces trois espces de rotations ne sont pas quel-
conques, d'aprs l'identit (1); nous dsignerons par T les symboles de E
M
, et nous
5 8 R. LA GRA NGE.
allons voir que les %
ach
sont les rotations du ds* de V. En effet, (5, c/)to, = o donne,
le long de V,
(S, d) o
h
V q/'(3
3
rf)
ft
+ y ^ ~ (tf
6
O
c
^ c ^ J = O
6c
= V
(dll5 Ue
-
= o; V
bc
et, par suite,
T
acb
T
abc
G
cba '
P
a v>a
c
V
cb'
La premire identit est une consquence des relations (I O) et (i5) du chapitre I ,
et la deuxime exprime la symtrie des P*
ab
par rapport leurs indices infrieurs.
Remarquons que ces quations sont invariantes pour tout changement de varia-
bles dans E
n
, et dans Y, ainsi que pour toute transformation orthogonale des du>
%
.
I l en sera de mme des quations que nous en dduirons par la suite.
[2] Les formules prcdentes se rattachent aux changements de coordonnes
tudis dans le chapitre I I . C onsidrons la famille des Y
p
fX
x
o as,, . . .,
B
) = C , f
a
-
p
(oc
t
, x
9
, . . , x
n
) = C ^ ;
en chaque point M de E
B
, passe une varit de cette famille, avec un (p i) plan
tangent (S/, ,
3
, . . . ,
%
v
) et un {g i) plan normal (a,
1
, <v, ..., a
t
q
). On peut faire le
changement de coordonnes
n
dt
%
y^^doy't (i= , 2, . . . , n),
o les 6/ sont des fonctions, de (x
t
, x
9y
..., %
n
), gales ^ si k^p, et a
v
h
~
v
si h ^ p + .
D ans ces conditions, le long d'une V
p)
OQ a 0?*%^ = o, . . . , du>
f
n
= o ; donc ces
quations, quivalentes df
t
= o, . . . , df
n
_
p
= o, forment un systme complte-
ment intgrable. En dsignant par T
r
tfcfl
les rotations des G?CU'
A
, l'identification des
quations (2) avec les relations (3, ch. I V) nous donne
SUR LE CALCUL D I F F RENTI EL A BSOLU . 09
la dernire relation met bien en vidence la symtrie gauche des Rf ; d'aprs la pr-
cdente, la symtrie des P*
ft
s'crit T'
a
,pH-,& t'b.p+^a =c'&,a,p+ = o, qui est Lien
vrifie d'aprs ce que nous savons du systme dt
f
p
+
a
= o (a = 1,2, . . ., g).
Nous appellerons rotations internes de V, les i
abc
; rotations externes de V
dans E
n
les P*

, et rotations de torsion les R


?
.
[3] A vant de pousser plus loin cette tude, nous allons gnraliser un peu quel-
ques dfinitions du calcul diffrentiel absolu. A yant affaire des systmes de quan-
tits r indices tangents, et s indices normaux, dfinies sur V, nous appellerons
diffrentielle absolue le long de V , et nous la reprsenterons par 5
V
, l'opration
(3) 5vX"
t a a
- "
#
= dX"
1
"**V T ^ X " '"' . du,
y J
a1f l a . . . a, . ax. .,. * *- a.j . . .ak1buk 4 L. . .,.
c
a1fla...a,. x ,
kbc
h'ic
La dfinition de la drivation absolue - ^ est toujours d
v
\ = V, v^- du
c
\ on
pourra encore crire ^
A
'"'
&T
=^-ll\\\l
s
j
c
quand il n'y aura pas d'ambigut avec
la drivation dans E
B
, et introduire une virgule pour sparer les indices qui sont
laisss de ct dans la drivation.
Les oprations sur les systmes d'expressions, dfinies au chapitre I , se gnra-
lisent tout naturellement, car les mthodes de calcul tablies pour ces oprations,
taient dues uniquement la symtrie gauche des T
a6e
, et nous savons que les R^
ont la mme proprit.
[4] La diffrentiation absolue le long de Y n'est pas commutative; pour tudier
l'influence de la permutation de deux diffrentiations successives, il suffit de remar-
quer que les indices tangents et normaux ont des rles indpendants et analogues,
de sorte que le calcul du chapitre I , qui correspond aux indices tangents, n'a qu'
tre reproduit pour les indices normaux condition de remplacer les rotations in-
ternes par les rotations de torsion.
La relation cherche s'crit donc
(4) (M)vX"
J
= (U )X'
1
"''
(
-y
j
Ttx
ai
""
1
h
da
c
Zu
d
v
^ \ ax...ar
v
> ax...ar sLJ cd a 4 . . .a^.ba^ x.. .ar c d
kbcd
V R
f x
cd ax. . .ar
B. LA GRA NGE.
o les
s'expriment avec
expression,
comme les T"^ avec les x
ac
. On a videmment, d'aprs leur
R
R3
cet
Enfin les drives premires absolues des R^ sont relies entre elles comme cel-
les des symboles de Riemann; on peut le voir en reprenant, par exemple, le calcul
du chapitre I (paragr. i3), avec un systme de fonctions uniformes X*. On a donc
(6)
Remarquons enfin que, les conditions d'intgrabilit d'un systme d'quations
diffrentielles tant une consquence de la thorie du covariant bilinaire, rien ne
sera chang, en principe, sur ce sujet, aux mthodes du premier chapitre.
[5] Ceci pos, la recherche des proprits de V, qui ne dpendent pas du choix
des axes du p-plan tangent et du g-plan normal, sera la gnralisation immdiate du
chapitre I I ; en particulier, nous devrons retrouver les invariants intrinsques de V.
I l faut dterminer les invariants pour deux sortes de transformations orthogo-
nales, relatives aux du
a
et aux a
t
a
; nous savons en effet que nos quations sont ind-
pendantes de toute transformation orthogonale relative l'indice i.
Soient
(i)
\
(7)
(8)
'. = S
6
*" fa
;ra VI A a * b
es deux groupes orthogonaux; nous aurons, le long de V, deux sortes de covariance,
la covariance tangente , et la covariance normale , relatives aux deux sortes
SUR LE C A LC 0L D I F F RENTI EL A BSOLU . 6l
d'indices. Un systme d'expressions X**;;;**, (r + s) indices sera dit covariant
(r, s) si les quantits transformes sont
et le principe de la saturation des indices est, naturellement, conserv.
[6] Si nous suivons l'ordre du chapitre I I , nous devons prolonger les deux
groupes (1).
En affectant d'un prime les symboles transforms, on a
et l'identification des deux derniers membres de chacune de ces deux relations donne
les transformations cherches
:
abc = Zj *
U
*
J
*'e
de
(f ) p
; a
. = V o
a
e/p
3
a
p
p
On dduit de l, par les mmes calculs que plus haut, que la diffrentiation
absolue conserve la covariance (r, 5), et que les drives absolues d'ordre l d'un
systme covariant (r, s) sont des covariants (r -\~ l, s).
I l suffit d'appliquer l'identit (4) des covariants pour constater que les T*| sont
des covariants (4, o), et, les R^|, des covarianls (2, 2).
En rsum, ds les drives secondes des fonctions qui dfinissent Y, nous avons
des covariants (2, 1), les P*
a6
; avec les drives troisimes, des covariants (4, o),
(3, i), (2, 2), savoir les T^J, P
a
fl6
/
C
> RJ&*' les drivations successives fournissent
alors trois sries de covariants
P ( 2 + * , I ), G(4 + /, O), R( 2 - M, 2 j , ( 7=0 , 1 , 2 , . . . ) ,
partir des P% <| , R
a
a
|-
62 R, LA GRA NGE.
Ges rsultats permettent de former des invariants absolus, l'aide des transfor-
mations infinitsimales des deux groupes orthogonaux, et par les mthodes utilises
au chapitre I I .
[7] Ces invariants absolus reprsentent toutes les proprits de la varit pour
un observateur qui ne saurait assujettir le n-dre d'tude qu' tre tangent la
varit, et ils suffisent la caractriser par rapport l'espace E
n
.
En effet, tant donnes deux V
p
de l'espace E
rt
, si Ton peut trouver deux obser-
vateurs qui elles paraissent identiques, ceci se traduira par l'identit de leurs
quations (i), relatives ces deux observateurs particuliers ( une transformation
orthogonale des d^ prs ('). On peut dire qu'elles sont gales par rapport E
fl
.
Pour cela, il faut et il sufft qu'il existe deux transformations orthogonales 9%, p%
qui rendent compatibles les quations (I ). Les conditions d'intgrabilit de ces
quations s'obtiennent par diffrentiation, en tenant compte de (I) lui-mme, ce qui
donne les systmes (I I ), (3?
S)t
).
(
n
) est fini par rapport aux 6%, p%, de sorte que les condilions de son int-
grabilit expriment la covariance (3, i) des P
a
fl
/
e
.
D 'autre part, le raisonnement employ, au chapitre I I I , pour la premire ligne
de ce systme (I I ), s'applique la deuxime, ce qui donne comme conditions d'in-
tgrabilit de ce systme les covariances (4, o) et (2, 2) des T"^ et R*^. Les systmes
(%,i)> tfLo)> (^s,s) obtenus sont finis par rapport aux %, p*
3
, de sorte que leur
prolongement consistera exprimer les eovarianCtes des systmes P
(M}
, G
(B a)
, R
(3a)
et ainsi de suite.
En rsum, les conditions trouves sont analogues celles du problme de
l'application; il faut et il sufft que le systme
( (Si*..) GR,.,),
soit compatible.
I l est clair que si notre observateur peut reprer le rt-dre par rapport V et
E
n
, toutes nos rotations et les symboles qui s'en dduisent reprsentent des pro-
prits indpendantes des variables et des coordonnes cfa
t
, donc, des proprits
de V ou de certains lments de V.
(
4
) Toute dformation de E
n
, suppose possible dans un espace d'ordre suprieur, n'in-
tervient en rien dans nos quations. Mais il est clair que notre relation ne signifierait pas
l'galit relativement ce dernier espace.
SU R LE C A LC U L D I F F ERENTI EL A BSOLU . 63
[8] Lorsqu'on veut dduire, de systmes covariants, tous les invariants, il est
indispensable de connatre les relations qu. vrifient ces covariants. En un point M
donn, de E
M
, les diffrents symboles d'une V
p
sont ncessairement lis aux sym-
bol es f ^ de E
7i
, de sorte que les covariants absolus P(a + /, i), G (4-h l
t
o), R(2 -|- L 2)
ne sont pas indpendants. On aura toutes les identits qui lient ces covariants entre
eux en crivant les conditions d'intgrabilit de (1); on a dj, ainsi, obtenu (2),
et il faut recommencer sur (2). Nous nous bornerons une nouvelle diffrentiation.
Remarquons auparavant que les /, a*
t
ont trois espces d'indices, ce qui per-
met de considrer la diffrentiation absolue d pour ces indices i, a, a, en prenant
pour symboles correspondants les T
lkht
i
a
bc et R
e
a?
; dans ces conditions le systme
d'quations (2) peut s'crire
dtf = dZ
t
" -
bc
= 2)
p
" .*
a
'*
do

ab
&" du
b
ab
C ette diffrentiation suivant videmment les rgles connues relatives aux som-
mes, produits et compositions des systmes, les conditions d'intgrabilit s'crivent :
(10) (S, d)5*" = -
khi
V
2cd
bcd
T
ik

a
Z
c
Z
d
Z b
khi
cd khl
-d'autre part, la diffrentiation de (2') donne
crf
Nous poserons
64 R. LAGRANGE.
et il ne reste plus qu' identifier (10} et (12) d'une part, (11) et (i3) d'autre part,
pous obtenir les relations cherches
ab pa6 V^ rr^ik % a ^ % e ~ d
ikhl
(I I I )
ikhl
Les Ql\ sont des covariants (2, 2), symtriques gauches par rapport leurs indi-
ces; les PJ$ sont covariants (4, o) et vrifient les mmes relations que les T^; enfin
les PV/d P*ad/c sont des covariants (3, 1). Les relations (I I I ) expriment l'analogie
des TJ$ et PJ$, des, Rj etQ^, et, dans un espace euclidien, ces symboles s'identifient
deux deux.
Les conditions d'intgrabilit de ce systme s'obtiennent par de nouvelles diff-
rentiations, et donnent, sans difficult, les relations entre les symboles cinq indices
de V et E.
[9] Les identits (I I I ) nous apprennent que les rotations externes
sont indpendantes entre elles, quant leurs valeurs numriques en un point donn;
les invariants absolus correspondants seront les plus simples de tous, et nous nous
bornerons eux dans ce qui suit. Nous les appellerons les ce courbures externes ,
et nous allons dterminer leur nombre.
A uparavant, remarquons qu'on peut les obtenir en suivant les mthodes du
chapitre (I I ); en particulier, on peut en former par saturation des indices, partir
des covariants P^
et
Q"J; les premiers donnent un invariant particulirement im-
portant, la courbure totale externe , S P^ ; une autre courbure simple est F inva-
ab
riant i / V( S P\J
a
, que nous appellerons la courbure moyenne externe (
x
).
(*) C 'est la longueur du vecteur normal, de composantes 2 P
a
/m, que M. Bompiani
a
appelle la normale de courbure moyenne . Cf. Atti del Reale instituio veneto di Scienze
(tome 80).
SUR LE C A LC U L D I F F ERENTI EL A BSOLU . 65
Ceci pos, tous les invariants sont les intgrales de deux systmes, complets,
de transformations infinitsimales,
(a, b)
et les parenthses (F
a
b
{
~K F
oe
{l}
)U sont identiquement nulles.
Le premier systme, relatif aux tenseurs symtriques, contient en tout
2
quations linairement indpendantes. Soit N' le nombre des quations linaire-
ment distinctes dans le deuxime. Remarquons, d'autre part, que, si on annule les
coefficients de ces quations, autres que les P
a
aa
, les deux systmes sont linaire-
ment distincts, de sorte que le nombre total N des courbures externes est gal
2 2
Or - N' est le nombre des invariants d'un systme de ^=-
2 2
vecteurs q dimensions; donc,
et si
Ce dernier nombre est le maximum de courbures externes que peut possder
une V
p
.
Exemples : Si JD = i, N = i ; les quations (2) ne donnent pas d'autre inva-
riant que la premire courbure de la courbe, qui apparat ainsi comme la courbure
moyenne externe, alors que la courbure totale externe s'vanouit. On sait d'ailleurs
que, pour faire apparatre les autres courbures de la courbe, il faut savoir choisir
un (n i)-dre normal particulier.
Si p =2, N 2,^4, ou 5 suivant que n =3, 4, ou^. 5.
66 K. LA GRA NGE.
[10] Occupons-nous, plus particulirement, d'une V^, . D ans ce cas, N = /zr,
et les quations (2) de\iennenl
(i9)
Nous avons vu au chapitre (I V) que l'on peut dterminer, sur cette V
H
_
t
, n 1
directions principales orthogonales entre elles ; ce qui permet de prendre les
t
a
survaut ces directions principales; dans cette hypothse, on a, par dfinition,
tous les P
1
a
&(a=j=6) sont nuls, et seuls, restent les P'aa, que nous a^ons appels
les courbures principales, et qui sont les (n1) courbures externes de la varit.
Les seuls Pj, non nuls, sont P^ = P*
flfl
P
l
t>b, donc la courbure totale externe est la
somme des produits des courbures principales combines deux deux; d'autre part,
la courbure moyenne apparat comme la somme des courbures principales.
D 'aprs les identits (i4), il existe une relation trs intressante entre la cour-
bure totale interne et la courbure totale externe d'une V
n
_
1
; on a en effet
V^ nb V^ r>ab VI tyik /s ^ * * : wi ;* : *s \
(a,fe) {a,b) (a b)(ih hl)
Pour une V
M
_
4
, V? ' " ? /
=
IA ~~
a
^
a
/^
e t i l vi e n t
(a b) (,&) C ' f^) ( t , ^)
Tik tant le tenseur symtrique de E
m
.
Le deuxime membre n'est pas nul en gnral, de sorte que les deux courbures
totales de la \arit sont distinctes; elles sont identiques &i E
u
est euclidien, ce qui
donne la gnralisation du thoime de Gauss sur les surfaces de l'espace ordinaire.
Plus gnralement, ceci aura lieu pour toute V
M
_
4
de E
n
, si le second membre est
nui pour tout vecteur unit (a,
1
), ce qui donne immdiatement le :
THORME. Les espaces E
}1
, dans lesquels les deux courbures totales dune V
n
_
4
quelconque sont identiques, sont les espaces dont le tenseur principal (~
(
A ) est identi-
quement nul; un tel espace, d'ordre 3, est euclidien.
SUR LE CALCUL D I F F RENTI EL A BSOLU . 67
Si on se pose la mme question pour les Y
t
, on voit facilement que ce les seuls
espaces, dans lesquels toute V
2
a ses deux courbures totales gales, sont les espaces
euclidiens .
[11] Nous terminerons en appliquant les gnralits de ce chapitre deux cas
particuliers importants.
C onsidrons tout d'abord une V
p
godsique en un point M , c'est--dire
forme des godsiques de E
tt
, issues, de M, dans les directions du jo-plan tangent
(;/, &% - - ,
t
p
) ; le point M est videmment suppos rgulier pour V, et il rsulte,
de la dfinition, que (F^u
a
= o entrane, en M, d
2
to
t
= o. Or, on a
V - = *'vu
8
= V 4 ^ ^.^6 =
V*
b
atdii
a
dii
b
;
donc une pareille varit a toutes ses courbures externes nulles, et rciproquement.
I l est clair que cette proprit n'est pas en gnral drivable le long de la varit,
Nous appellerons varit plane une varit godsique en tous ses points ; le
long d' une telle varit V, on a
3L
de sorte qu'elle apparat comme n'occupant que p dimensions de E
B
; par exemple,
toute courbe de V a les mmes (p1) courbures, qu'elle soit considre dans E
n
ou dans V; et, par suite, toute '\
p
< (p'<ip) de V a les mmes courbures externes
par rapport V et par rapport E
/t
. Ce dernier point peut d'ailleurs tre vrifi par
un calcul direct trs simple que je ne reproduis pas pour plus de brivet.
[12] On peut rechercher les espaces E
lt
pour lesquels toute varit, godsique
en un point M, est plane. La relation (i5) exige que les rotations de E
n
, en M
?
vrifient l'identit
(
2i
) 2j
T
w
a
' ^ ^ ^ = '
ikht
a pouvant tre gal b ou c, et, par suite, que E
n
soit courbure constante K.
C ela sufft videmment, et, dans ces conditions, les formules (i4) nous appren-
nent qu'une varit plane de cet espace est aussi de courbure constante K. Enfin,
68 R. LA GRA 1NGE.
d'aprs (i6), les R" sont nuls, de sorte qu'on peut annuler toutes les rotations de
torsion par un choix convenable des vecteurs normaux; le long d'une telle varit,
l'espace normal reste parallle lui-mme, au sens absolu.
[13] U n autre cas intressant est celui o, en un point d'une Y , tous les cova-
riants PJ$ sont nuls; une telle varit sera dite dveloppable en ce point . Voici
un exemple particulier, analogue au cylindre de l'espace ordinaire.
Soit une V
2f
_
i
, godsique en un point M; soit, d'autre part, un lment de
courbe, normal cette varit en M, et que nous dplaons, au voisinage de M,
en conservant le paralllisme le long de toute godsique de V
p
_
4)
issue de ce point;
nous dfinissons ainsi une Y
pt
le long de laquelle on pose
avec les identits
S
a
z
p
-= o , == o ( a , 6 = i , a, . . . , / > i ) ;
donc tous les P
a
a
et P
a
aj3
sont nuls, et cette varit est dveloppable en M.
Pour les varits dveloppables, comme pour les varits godsiques, on a
\
2 2
) 'cd
ikhl
En particulier, on peut dire que la courbure riemannlenne dun lment plan
(5i\ ^i
2
) de E
n
est la courbure totale de toute V
2
dveloppable, tangente cet l-
ment,
On voit galement que dans un espace courbure constante K, toute Y
p
dve-
loppable est courbure constante gale, et, rciproquement, toute \
p
de courbure
constante K est dveloppable .
Voici enfin une autre proprit de ces espaces courbure constante. C onsidrons
une courbe Y et les godsiques de E
n
normales F ; une famille de ces godsi-
ques P', choisies le long de F , dfinit une V

; si du
t
= o sont ces godsiques,
= o, donc T
O
et les P\, sont nuls sur la varit ; sa courbure externe
-
P^ E(P*
i(
,)
9
' de sorte que, si nous raisonnons sur un ds* dfini positif et des
lments rels, cette V
2
ne sera dveloppable que si tous les P*
1S
sont nuls. Pour le
SU R LE CALCUL D I F F RENTI EL A BSOLU . 6g
raliser, il faut d'abord choisir les F ' de faon que les P
a
ls
soient nuls le long de F ;
il est clair que, si E
B
est quelconque, la V, obtenue n'est pas compltement dve-
loppable; pour qu'elle le soit, il faut et il sufft, d'aprs
, - P\./, = - ^f + n
m
F",
ikill
que les derniers membres de ces quations soient nuls le long de la varit. On
obtient ainsi le :
THORME. Pour qu'une godsique d'un espace E
B
, normale une courbe arbi-
traire, puisse engendrer une Y
t
compltement dveloppable, et cela quelle que soit la
position initiale de cette godsique, il faut et il suffit que E
B
soit courbure constante.
Remarquons que l'on a =o , donc les courbes du^ =o s'obtiennent par
dplacement parallle de F le long des godsiques normales F ' . D ans ce dplace-
ment, la godsique de E
B
issue de cj dcrit une V
s
, tangente la varit donne,
le long de la courbe F ' correspondante, et cette varit tangente est plane, car E
}1
est courbure constante; on trouve donc ici la proprit caractristique des surfaces
*dveloppables de l'espace ordinaire.

You might also like