MAT452 2016
Introduction `a la g´eom´etrie diff´erentielle
Corrig´e du devoir `a la maison
Exercice 1
Il y a un facteur 2 (ou 1
2, comme on veut) qui manque quelque part dans l’´enonc´e, comme
on le voit en consid´erant la formule de Taylor en dimension 1 : f(t) = f(0) + tf0(0) +
1
2f00(0) + ... =t2(f00 (0)
2+t . . .). On peut r´etablir la situation de diff´erentes mani`eres... J’ai
choisi ici de prendre le d2f0de la fin du 1. repr´esent´ee dans la base canonique par 2Ip,q
au lieu de Ip,q.
1. On fixe un param´etrage local y:U → Sen p. On peut toujours supposer quitte `a
translater la variable que 0 ∈ U et y(0) = p. On pose g=f◦y−f(p). On a alors g(0) = 0
et 0 est un point critique de gcar dg0=dfp◦dy0= 0. On a, quels que soient v, w ∈TpS,
d2fp(v, w) = d2(f◦y)0((dy0)−1(v),(dy0)−1(w)) = d2g0((dy0)−1(v),(dy0)−1(w)),
et comme dy0est un isomorphisme de Rmsur TpS, ceci montre que d2g0est non d´eg´en´er´ee
et de signature (p, q) sur Rm. Soit Bsa matrice dans la base canonique. Soit hl’isomor-
phisme lin´eaire de Rmrepr´esent´e dans la base canonique par la matrice Ptelle que
tP BP = 2Ip,q. On pose ˜
y=y◦h−1et ˜g=f◦˜
y. Alors d2˜g0est repr´esent´ee dans la base
canonique de Rmpar la matrice 2Ip,q.
Clairement, il suffit de d´emontrer le r´esultat voulu pour ˜g.
2. Notons q= (u1, . . . , um) la variable dans Uouvert de Rm. Comme f(0) = 0, on a
f(u1,0,...,0) −f(0,...,0) = Z1
0
d
dt1
[t17→ f(t1u1,0,...,0)] dt1=u1Z1
0
∂f
∂u1
(t1u1,0,...,0) dt1
f(u1, u2,0,...,0) −f(u1,...,0) = u2Z1
0
∂f
∂u2
(u1, t2u2,...,0) dt2
. . .
f(u1, u2,0, . . . , um)−f(u1, . . . , um−1,0) = umZ1
0
∂f
∂um
(u1, t2u2, . . . , tmum)dtm
et donc
f(u1, u2,0, . . . , um) =
m
X
i=1
uiZ1
0
∂f
∂ui
(u1, . . . , ui−1, tiui,0,...,0) dti.
On pose ai(u1, u2, . . . , um) = Z1
0
∂f
∂ui
(u1, . . . , ui−1, tiui,0,...,0) dti
On a f=
m
X
i=1
uiaiet ai(0,...,0) = 0 car ∂f
∂ui
(0,...,0) = 0.
1