[PDF] [PDF] Lemme de Morse - ENS Rennes

Lemme de Morse Leçons : 158, 170, 171, 214, 215, 218 [Rou], exercice 114 Théorème Soit U un ouvert de Rn avec 0 ∈ U et f : U → R de classe C3



Previous PDF Next PDF





[PDF] Le lemme de Zorn - Normale Sup

1 1 6 Lemme (Zorn) Tout ensemble inductif admet un élément maximal 1 2 Interprétation Voici une façon d'interpréter intuitivement le lemme de Zorn :



[PDF] Lemme de Morse - ENS Rennes

Lemme de Morse Leçons : 158, 170, 171, 214, 215, 218 [Rou], exercice 114 Théorème Soit U un ouvert de Rn avec 0 ∈ U et f : U → R de classe C3



[PDF] Le lemme dArtin

Lemme (Artin) Soient L est un corps et H un sous-groupe fini de Aut(L) Alors l' extension L/LH est un extension 



[PDF] LEMME FONDAMENTAL POUR LES ALGÈBRES DE LIE (DAPRÈS

La stabilisation a été faite par Langlands et Kottwitz pour la partie elliptique modulo une conjecture connue sous le nom "lemme fondamental de Langlands-  



[PDF] Lemme de Gronwall

Gourdon, Analyse, page 371 Lemme de Gronwall : Soient ϕ, ψ et y trois fonctions continues sur un segment [a, b], à valeurs positives et vérifiant l' inégalité



[PDF] Lemme des noyaux

Année 2011–2012 Lemme des noyaux Prologue : projecteurs Soit E un espace vectoriel sur un corps K Tout d'abord, si on se donne une décomposition de E



[PDF] LE LEMME FONDAMENTAL POUR LES ALGÈBRES DE LIE

7 avr 2010 · Dans ce chapitre, on rappelle l'énoncé du lemme fondamental pour les algèbres de Lie conjecturé par Langlands et Shelstad cf 1 11 1 ainsi 



[PDF] Démonstration du lemme de Zorn - IRIF

Démonstration du lemme de Zorn Paris 7, L3 – théorie des ensembles (Paul Rozière) 9 septembre 2016 Soit (E,≤) un ensemble ordonné On appelle chaîne 



[PDF] Lemme du col et application en chimie quantique - Ceremade

Le principe du lemme du col dans Rn est simple Un cas typique de fonction pour lequel il s'applique est lorsque deux minima locaux xa et xb sont situés dans 

[PDF] case based reasoning example

[PDF] samarium

[PDF] case based reasoning algorithm

[PDF] molecule de l'air

[PDF] molécule d'air formule

[PDF] l'air un mélange de molécules 4ème

[PDF] pourquoi les molécules principales de l'air sont-elles appelées diazote et dioxygène

[PDF] molécule d'air définition

[PDF] diazote et dioxygene dans l'air

[PDF] raisonnement philosophique

[PDF] exemple de raisonnement

[PDF] le raisonnement inductif

[PDF] raisonnement hypothético-déductif exemple

[PDF] raisonnement par contre exemple exercices

[PDF] exercice raisonnement direct

DÉVELOPPEMENTS POUR L"AGRÉGATION EXTERNE

Lemme de Morse

Leçons : 158, 170, 171, 214, 215, 218

[Rou], exercice 114 ThéorèmeSoitUun ouvert deRnavec 02Uetf:U!Rde classeC3. On suppose que Df(0) =0 et que D2f(0)est non-dégénérée, de signature(p,np). Alors il existe unC1-difféomorphismejentre deux voisinages de l"origine dansRn, tel quej(0) =0 etf(x)f(0) =u21+...+u2pu2p+1...u2n, oùu=j(x).Démonstration: On applique la formule de Taylor avec reste intégral à l"ordre 1 : f(x)f(0)Df(0).x=Z 1

0(1t)11!

D2f(tx).(x,x)dt

Ainsif(x)f(0) =txQ(x)x, oùQ:x7!Z

1

0(1t)D2f(tx)dtest une fonctionC1.1

On va avoir besoin du lemme suivant :

LemmeSoitA02GLn(R)\ Sn(R).

Alors il existeV, voisinage ouvert deA0dansSn(R)etr:V!GLn(R), de classeC1, telle que :

8A2V,A=tr(A)A0r(A)Démonstration:

Étape 1 :Considéronsc:M

n(R)! Sn(R) M7!tMA0M; c"est une application polynomiale, doncC1.

PourH2 Mn(R), utilisant queA0est symétrique,

c t(A0H)+A0H+o kHk2 Ainsi Dc(In).H=t(A0H)+A0HdoncH2Ker(Dc(In)),A0H2 An(R). Étape 2 :On aimerait appliquer le théorème d"inversion locale àc... mais on ne peut pas.

On poseF=fH2 Mn(R)jA0H2 Sn(R)g.

Soity=cF

:F! Sn(R). In2Fet Ker(Dy(In))=Ker(Dc(In))\F=f0g. Comme dimF=dimSn(R), Dy(In), restriction de Dc(In)àF, est bijective. Et commeyest de classeC1, par le théorème d"inversion locale, il existe un voisinage ouvert Ude IndansFtel queysoit unC1-difféomorphisme deUsurV=y(U). On peut supposerUGLn(R), quitte à prendreU\U0oùU0est un voisinage ouvert de In dans GL n(R); un telU0existant par continuité de det. Ainsi,Vest un voisinage ouvert deA0=y(In)dansSn(R), et :

8A2V,A=ty1(A)A0y1(A)

Et il suffit alors de poserr=y1.Ici,Q(x)est toujours symétrique etQ(0) =12

D2f(0)est inversible.

Par le lemme, il existeV, voisinage deQ(0)dansSn(R)etr:V!GLn(R)de classeC1, telle que :

8A2V,A=tr(A)Q(0)r(A)1. Si on vous demande pourquoi, dites qu"il y a une dérivation sous le signe intégrale.

Florian LEMONNIER1

Diffusion à titre gratuit uniquement.ENS Rennes - Université Rennes 1

DÉVELOPPEMENTS POUR L"AGRÉGATION EXTERNE

Et commeQest continue, il existeW, voisinage de 0 dansRn, tel que :

8x2W,Q(x)2VetQ(x) =tr(Q(x))Q(0)r(Q(x))

On pose alorsM(x) =r(Q(x))ety=M(x)x, on obtient :f(x)f(0) =tyQ(0)y. Par le théorème d"inertie de Sylvester,9A2GLn(R),tAQ(0)A=Ip0 0Inp , carQ(0)est de signa- ture(p,np).

Alors, en posanty=Au, on obtient :

f(x)f(0) =tyQ(0)y=tutAQ(0)Au=u21+...+u2pu2p+1...u2n Soit alorsj:x7!u=A1M(x)x; on a bienj(0) =0 etjestC1surW. Puis, pourh2W,j(h)j(0) =A1M(h)hA1M(0)0=A1(M(0) +o(1))h=A1M(0)h+o(khk), donc Dj(0) =A1M(0)qui est inversible.

On applique le théorème d"inversion locale àj, qui est donc unC1-difféomorphisme entre deux voisinages

de 0 dansRn.2Références

[Rou] F. ROUVIÈRE-Petit guide de calcul différentiel, 4eéd., Cassini, 2014.2. Il n"est cependant pas évident qu"il soit nécessaire d"avoirMde classeC1(iefde classeC3) pour quejsoit de classeC1.

Clarifions donc tout cela.

Soientx2Weth2Rntel quex+h2W:

j(x+h)j(x) =A1M(x+h)(x+h)A1M(x)x =A1(M(x) +DM(x).h+o(khk))(x+h)A1M(x)x =A1M(x)h+A1(DM(x).h)x+o(khk) Et c"est la continuité deMet de DMqui rend continue l"application :

Dj:x7!

h7!A1(M(x)h+ (DM(x).h)x)Florian LEMONNIER2 Diffusion à titre gratuit uniquement.ENS Rennes - Université Rennes 1quotesdbs_dbs35.pdfusesText_40