Professional Documents
Culture Documents
Hlne Hivert
2011
2012
Avertissement
Le document propos ici regroupe toutes les leons que jai prpares
pour lagrgation. Je ne prtends pas tre lorigine de toutes les ides
de plans qui y sont prsentes car je me suis largement inspire de ce
qui a t fait dans la prpa agrg de Rennes mon anne, les quelques
annes prcdentes, ainsi que -je tiens le prciser cause du nombre
considrable demprunts que je lui fais- des leons prpares lanne
davant moi par Victor. Il y a beaucoup derreurs de frappe et des parenthses non fermes tout au long du document, et probablement des
erreurs plus graves, des erreurs de maths que je nai pas vues ou pas pris
le temps de corriger une fois quon me les aura signales. Je pense cependant que ce document peut tre intressant pour des gens dcidant
de prparer les leons dagrgation : ils y trouveront des rfrences, des
ides de plans (qui sont tout fait discutables et auquels il convient
davoir rflchi) ainsi que des questions poses sur les leons en classe
et lors des oraux blancs. Certaines sont trs classiques et mritent de
tenter dy rpondre.
Vous pouvez bien videmment me communiquer vos remarques concernant ce document.
11
15
19
23
28
33
38
42
47
51
55
58
61
65
16 117-Polynmes n indtermines
69
72
76
19 123- Dterminant
80
83
89
92
95
100
104
108
112
28 133-Endomorphismes remarquables
117
29 135- Isomtries
121
125
129
133
33 146- Rsultant
137
140
146
149
153
158
162
165
41 204- Connexit
169
42 205-Espaces complets
173
177
44 207-Prolongement de fonctions
182
187
192
196
48 215-Applications direntiables
200
204
208
211
215
218
221
225
229
232
235
238
242
245
62 234- Espaces Lp
248
251
254
259
262
267
270
273
277
280
284
290
293
298
76 251- Indpendance
301
305
310
314
320
324
341
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
345
346
350
355
360
363
367
372
375
376
384
386
387
Chapitre 1
101- Groupes oprant sur un
ensemble. Exemples et applications.
Remarques et questions
Remarque (Remarques du jury dagrg). Des exemples de nature direntes doivent
tre prsents : actions sur un ensemble fini, sur un espace vectoriel, sur un ensemble de matrices, sur des polynmes. Les exemples issus de la gomtrie ne
manquent pas. Par ailleurs, il ne faut pas confondre exemples et remarques gnrales. Les actions naturelles de P GL(2, Fq ) sur les droites du plan donnent des
injections intressantes pour q = 2, 3.
Dveloppements
Dveloppements proposs :
A\ est simple pour n 5, dans Perrin
Dcomposition de Frobenius, Gourdon
Autres dveloppements possibles :
Thorme de Brauer, dans Objectif Agrgation
Thorme de Molien, Leichtmann, Exercices corrigs de mathmatiques Polytechnique et ENS et Laurent Dietrich
Action du groupe modulaire sur le demi plan de Poincar, Alessandri, thmes
de gomtrie
Isomorphie de P GL(2, Fq ) pour q = 2, 3, 4 et 5, Perrin ( ?)
Thormes de Sylow, Perrin
10
Produits semi directs dans Combes et Perrin la dfinition et la caractrisation. Donner les groupes didraux en exemple.
Action de groupes et espaces vectoriels.
GLn(K) agit sur M n(K) par conjugaison ou par congruence (Trouver une
rfrence pour a, pour linstant, a vient de la leon de Victor ! Il y a Alessandri qui en parle au dbut du livre mais pas tout fait compltement)
Application : rduction de Frobenius dans Gourdon (dveloppement), autres
rductions : rduction des formes quadratiques (Gauss), matrices quivalentes ssi elle ont mme rang. Toutes les rductions sont dans Gourdon.
Reprsentations linaires des groupes finis Dfinitions, proprits de base.
Par exemple dans Alessandri et le thorme de Molien (Leichtmann - savoir
o le trouver)
Action des groupes Sn sur les polynmes coecients complexes : polynmes
symtriques et sur Cn le thorme de Brauer (Cest apparemment dans Goblot. Mais en tout cas, les polynmes symtriques sont voqus dans Tauvel, Gourdon, algbreet Ramis-Deschamps-Odoux. Le thorme de Brauer est
dans Objectif Agrgation).
Actions de groupes et gomtrie
Angles orients et espaces anes voir Combes pour la dfinition dun espace
ane et Alessandri pour les angles orients
Rfrences
Franois Combes, Algbre et gomtrie
Perrin, Cours dalgbre
Josette Calais, lments de thorie des groupes
Alessandri, Thmes de gomtrie, groupes en situation gomtrique
Tauvel, Algbre
Gourdon, Algbre
Ramis-Deschamps-Odoux, Algbre 1
Leichtmann pour le thorme de Molien
Objectif Agrg
Peuvent aussi probablement tre utiles pour cette leon : Mneim Testard, Tauvel,
gomtrie
Chapitre 2
103- Exemples et applications des
notions de sous-groupes distingus
et de groupes quotients
11
Remarques et questions
Remarque (Remarque du jury dagrg). Les candidats parlent de groupe simple et
de sous-groupe driv ou de groupe quotient sans savoir utiliser ces notions. La
notion de produit semi-direct nest plus au programme, mais lorsquelle est utilise
il faut savoir la dfinir proprement et savoir reconnatre des situations simples o
de tels produits apparaissent (le groupe didral Dn par exemple).
Question. Quest-ce que cest que la preuve du thorme de Cauchy ?
Rponse. Il faut lexistence dun p-Sylow, centre non trivial puis on dmontre
Cauchy pour les groupes abliens. (Ceci dit, a serait mieux de savoir vraiment le
faire).
Question. Dterminer tous les morphismes
: Sn ! S n
pour n
5.
Pour compter les morphismes, il faut alors compter les lments dordre 2.
Question. Quest-ce quun groupe ablien simple ?
Rponse. Il sagit des Z/pZ avec p premier. (Utiliser le thorme de structure
des groupes abliens finis pour le prouver : Z/nZ avec n non premier nest pas
simple. Et ensuite, cette forme constitue un sous groupe distingu dans un produit
cartsien fini.)
Question. Que dire dun groupe dont tous les sous-groupes sont distingus ?
Rponse. Je nai pas la rponse, mais on peut dj donner A3 et H8 comme
exemples de tels groupes. Pour H8 , si un sous groupe est dordre 4, il est dindice 2 et donc distingu et il ny a quun seul sous-groupe dordre 2 : Z/2Z qui est
cyclique. Donc tous les sous-groupes de H8 sont distingus.
Question. Donner les sous-groupes distingus de S4 avec une interprtation gomtrique.
Rponse. Il sagit de S4 , A4 et V4 = (Z/2Z)2 . S4 correspond aux isomtries positives du cube. A4 aux isomtries positives du ttradre et V4 aux isomtries
positives du rectangle.
13
Question. Soit G un groupe et P une partition de G telle que 8A, B 2 P, 9C 2
P, AB C, o
AB = {ab, a 2 A, b 2 B},
Alors, P est lensemble des classes par un sous-groupe distingu.
2 B alors
EB E
BE B
et donc B = E. Ainsi, E est un sous-groupe de G. Montrons quil sagit dun
sous-groupe distingu.
Si y 2 E et x 2 B 2 P alors on peut considrer x 1 2 C et on a alors :
e x ) EB B
x x = e ) BC E
x e = x ) BE B
BEC BC E.
1
Dveloppements
Dveloppements proposs :
An est simple pour n 5, Perrin, Cours dalgbre
Classification des groupes dordre 8, Gros pav
Autres dveloppements possibles :
Classification des groupes dordre 12, Gros pav
Rfrences
Chapitre 3
104-Groupes finis. Exemples et
applications
15
16
Remarques et questions
Remarque (Remarques du jury dagrg). Les exemples doivent figurer en bonne
place dans cette leon. On peut par exemple tudier les groupes de symtries
A4 , S4 et A5 et reler sur ces exemples gomtrie et algbre. La structure des groupes
abliens finis doit tre connue.
Question. Dterminer isomorphisme prs tous les groupes de cardinal 10.
Rponse. On a 10 = 2 5. Si G est un groupe ablien, alors G
= Z/10Z. Supposons
maintenant que G nest pas un groupe ablien. On note n5 le nombre de sousgroupes dordre 5 de G (qui sont alors des 5-Sylows). On a :
n5 1[5] et n5 | 2,
Et donc n5 = 1. En notant H le seul sous-groupe dordre 5 de G, on a alors H C G.
Soit maintenant n2 le nombre de sous-groupes dordre 2 de G. On a :
n2 1[2] et n2 | 5,
Et ainsi : n2 = 1 ou n2 = 5.
Si n2 = 1 alors G
= Z/10Z et G est ablien.
Si n2 = 5 alors on note K1 , K2 , K3 , K4 et K5 les 2-sylows de G et on a : K1 \H = {e}
car K1 ne possde quun lment dordre 2 en plus de lidentit et a nest pas un
lment de Z/5Z. Daprs le thorme de caractrisation du produit semi-direct,
on a donc : G
= H o K1 .
Question. Soit G un groupe fini et p le plus petit facteur premier tel que p | |G|
et soit H un sous-groupe dincide p de G. Montrer que H C G.
Rponse. On note G/H lensemble des classes gauche modulo H. On a alors
|G/H| = p. G opre sur G/H par translation gauche :
: G G/H ! G/H
(g, aH) 7! (ga).H
Cette opration est transitive : 8a, b 2 G, (ba 1)aH = bH, il ny a donc quune
seule orbite. Et le stabilisateur de aH est {g 2 G|g.aH = aH} qui est aHa 1 . Et
ainsi, la formule des classes permet de conclure.
Dveloppements
Dveloppements proposs :
Thorme de Burnside, dans oraux X-ENS algbre 2.
17
Groupes dordre 8 dans Ramis-Warusfel ou dans Combes
Autres dveloppements possibles
An est simple pour n 5 dans Perrin
Thorme de Sylow, dans Perrin
Groupes dordre 12 dans Ramis-Warusfel
Groupes des isomtries qui conservent un solide donn (il y en a dans Alessandri)
Table de caractres de S4 .
18
Rfrences
Chapitre 4
105- Groupe des permutations dun
ensemble fini. Applications.
19
Remarques et questions
Remarque (Remarques du jury dagrg). Le groupe symtrique nest pas forcment
plus facile comprendre que les autres groupes. Il faut relier rigoureusement les
notions dorbites et daction de groupe et savoir dcomposer une permutation en
cycles disjoints. Des dessins ou des graphes illustrent de manire commode ce que
sont les permutations. Par ailleurs, un candidat qui se propose de montrer que
tout groupe simple dordre 60 est isomorphe A5 devrait aussi montrer que A5
est simple.
Lexistence du morphisme signature est un rsultat non trivial mais ne peut pas
constituer, elle seule, lobjet dun dveloppement.
Comme pour toute structure algbrique, il est souhaitable de sintresser aux automorphismes du groupe symtrique. Les applications du groupe symtrique ne
concernent pas seulement les polydres rguliers.
Question. On sait que Sn est fini. Donner dautres groupes finis ?
Rponse. Par exemple Z/nZ. Pour n = 1, 2, on a : Sn
= Z/n!Z mais pas pour
n > 3 car alors Sn nest pas commutatif.
Question. Est-ce que dans S4 il y a un lment dordre 5 ?
Rponse. S4 est dordre 2 3 4 = 24 et 5 ne divise pas 24. Donc non.
:G !G
x7 !gx
21
Dmonstration. En eet, 9a 2 2-sylow dordre 2 et dindice n impair. Ainsi le
correspondant est de signature ( 1). Ce qui donne un morphisme non trivial :
: G ! { 1, 1}
g 7 ! ( g ).
Dveloppements
Dveloppements proposs :
An est simple pour n 5 dans Perrin
Thorme de structure des polynmes symtriques, dans Ramis-DeschampsOdoux
Autres dveloppements possibles :
Thorme de Brauer dans Objectif Agrgation
Groupe des isomtries du ttradre et du cube dans Alessandri
Nombre de faons de colorier les faces dun cube avec k couleurs direntes.
Thorme de Frobenius Zolotarev dans Objectif Agrgation et Perrin
Thormes de Sylow, Perrin (Car on utilise le thorme de Cayley pour le
dmontrer)
Rfrences
Tauvel, algbre
Perrin, Cours dalgbre
Combes, algbre et gomtrie
Josette Calais, lments de thorie des groupes
Alessandri, Thmes de gomtrie. Groupes en situation gomtrique (pour
les groupes disomtrie des polydres).
Gourdon, algbre (pour les polynmes symtriques et les formes multi-linaires
alternes, mais yen a aussi dans Tauvel)
Objectif Agrgation (pour le thorme de Brauer)
Ramis-Deschamps-Odoux, Algbre 1
Chapitre 5
106- Groupe linaire dun espace
vectoriel de dimension finie. Sous
groupes de GL(E). Applications
23
24
Remarques et questions
Remarque (Remarques du jury dagrg). Il faut savoir raliser Sn dans GL et faire
le lien entre signature et dterminant.
Cette leon est souvent prsente comme un catalogue de rsultats pars et zoologiques sur GL(E). Il faudrait que les candidats sachent faire correspondre sousgroupes et noyaux ou stabilisateurs de certaines actions naturelles (sur des formes
quadratiques, sur des drapeaux, sur une dcomposition en somme directe, etc).
quoi peuvent servir des gnrateurs du groupe GL(E) ? Quapporte la topologie
dans cette leon ? Il est prfrable de se poser ces questions avant de les dcouvrir
le jour de loral.
Rponse. La topologie est utile dans cette leon car pas mal de proprits (notamment lexponentielle de matrices) sont montres facilement sur des sous-ensembles
denses de GL(E) et sont obtenues pour tout GL(E) par densit.
Les gnrateurs de GL(E) sont utiliss pour dmontrer certaines proprits sur les
gnrateurs qui sont ensuite tendues tout le groupe linaire.
Question. Un isomorphisme entre GLn+ et GLn ?
Rponse. Cest un pige ! Cest impossible car GLn nest pas un sous-groupe de
GLn. Par contre,
0 on peut trouver
1 une bijection en multipliant tout simplement
1
(0)
B
C
1
B
C
par la matrice B
C et a fait une bijection bicontinue.
..
@
. A
(0)
1
Question. Gln+ isomorphe R+ SLn (R). Comment a se dmontre ?
Et pour lisomorphisme Gln(C)
= C SLn (C) ?
Rponse. Il faut exhiber les deux sous groupes :
R
= { I n | 2 R }
+
Sln (R)
Pour le cas complexe, le groupe des matrices scalaires nest pas en produit direct
avec SLn (C) car !n In 2 SLn (C). Ce qui est vrai, cest que
GLn (C)/{ In | n = 1}
= C SLn (C).
Question. Est-ce que lenveloppe convexe dun ferm est ferme ?
Et est-ce que lenveloppe convexe dun ouvert est ouverte ?
Rponse. Non, lenveloppe convexe dun point et dune droite est un ouvert par
exemple. Par contre, lenveloppe convexe dun convexe est ouverte.
Remarque. Si on prend deux produits scalaires f1 et f2 , alors O(f1 ) et O(f2 ) sont
conjugus.
Laction de Gln sur les produits scalaires est transitive.
25
Dveloppements
Dveloppements proposs :
Le thorme de Burnside, dans oraux X-ENS, algbre 2
Gnrateurs de O(E) et SO(E), dans Audin et Perrin
Autres dveloppements possibles :
Les gnrateurs de SL(E) et de GL(E) dans Perrin
Des proprits de lexponentielle de matrice, dans Objectif Agrgation
Le thorme sur les sous-groupes compacts de GLn(R) en utilisant les rsultats sur lellipsode de John Loewner, dans Oraux X-ENS, algbre 3
Thorme de Frobenius-Zolotarev
26
le groupe orthogonal Dans Perrin, les dfinitions des groupes unitaires, orthogonaux et symplectique, la proposition qui dit que f est une isomtrie ssi
il conserve la forme quadratique, mais cest mieux de lnoncer dans le cas
dune forme quadratique et en crivant O(q). Dans Oraux X-ENS, algbre 2
on introduit la notation O(q) et on donne le thorme sur les sous-groupes
compacts de GLn et dans Audin et Perrin le thorme sur les gnrateurs
de O(E) et SO(E) (dveloppement). Puis dans Tauvel, on prend K = R
et E = Rn et on sintresse au groupe orthogonal euclidien. Dfinition du
groupe orthogonal euclidien, cest un groupe compact et rduction des endomorphismes (en produit de rflexions).
Des groupes finis de GL(E) Dans Objectif Agrgation la dfinition des matrices de permutation, les proprits de base : morphisme de groupes de Sn
dans GLn (K), le lien entre la signature et le dterminant, le thorme de
Brauer. On peut parler de la reprsentation rgulire qui dit alors que tout
groupe fini G est isomorphe un sous groupe de GL(E) o dim E = |G| mais
ce nest pas rfrenc. Et enfin, dans les oraux X-ENS, algbre 2 le thorme
de Burnside.
Actions de GL(E)
GL(E) agit sur E Dans Gourdon, algbre Gln(E) opre gauche sur E par
f x = c(x) (mais ce nest pas dit comme a) et action simplement transitive
sur les bases (pareil, pas dit comme a : cest juste lexistence dune unique
matrice de passage).
GL(E) agit sur L(E) Dans Gourdon, algbre GLn(E) opre gauche sur
L(E) par conjugaison et par congruence (mais, encore une fois, cest pas dit
comme a) en application : la dcomposition de Frobenius, on peut trouver
dautres dcompositions aussi, mais faut voir si ya la place.
Gl(E) agit sur K[X1 , , Xn ] Dans quoi ? On peut parler du thorme de
Molien
Aspects topologiques de GL(E)
Des rsultats et la dcomposition polaire Dans Mneim-Testard GLn(C) est
un ouvert dense de M n(C), application : AB = BA , les propositions sur la
connexit de GLn(C) et la dcomposition polaire.
Lexponentielle de matrices Dans Mneim-Testard Ya plein de proprits,
mais on peut dire que lexponentielle de M n(K) ! GLn(K) est une application de classe C 1 est sa direntielle en O et lapplication qui dit que
GLn(K) na pas de sous-groupes arbitrairement petits.
Rfrences
Perrin, Cours dalgbre
27
Tauvel, algbre
Objectif agrgation
Ramis Deschamps Odoux, Cours de mathmatiques. 1 algbre
Gourdon, Algbre
Mneim-Testard, Groupes de Lie classiques
Audin, Gomtrie
Chapitre 6
107- Reprsentation et caractre
dun groupe fini sur un C-espace
vectoriel
28
29
Remarques et questions
Remarque (Remarques du jury dagrg). Le jury souhaite maintenir ces leons un
niveau trs raisonnable. Toute thorie globale est exclue et serait contre-productive
au niveau de lagrgation (induction, produit tensoriel, etc) et nous encourageons
les candidats traiter des exemples en petite dimension pour illustrer les aspects
lmentaires de la thorie.
Question. Comment dmontrer le thorme de Maschke sans utiliser le produit
scalaire ?
Rponse. On peut mettre Maschke juste avant le lemme de Schur pour utiliser le
produit scalaire. Et sinon, on fait une moyenne des projections sur le sous-espace.
Question. Donner les classes de conjugaison de S3 .
Rponse. Les classes de conjugaison regroupent les lments ayant mme profil.
Pour S3 il sagit donc des transpositions, des trois cycles et de la classe de lidentit.
Question. Donner le caractre de la reprsentation associe au triangle quilatral.
Rponse. Cest la rotation dangle
2
.
3
Remarque. Le thorme de Lie-Kolchin est un peu hors sujet dans la leon (ne pas
le mettre en dveloppement donc).
Question. Dans le cas des groupes abliens, comment montre-t-on quun groupe
ablien et son dual sont isomorphes ?
Rponse. On commence par les groupes cycliques : si g est un lment de G dordre
divisant n, on pose :
Z/nZ ! G
n 7 ! gn,
et
Z/nZ ! C
k7 !e
2ik
n
Dnas le cas de Z/nZ le dual est le groupe des racines n-imes de lunit. Puis le
dual dun produit est le produit des duaux et on applique le thorme de structure
des groupes abliens finis (quil faut savoir noncer la perfection).
Lisomorphisme entre un groupe ablien et son bidual doit pouvoir tre expliqu.
Pour conclure, lisomorphisme dun groupe cyclique sur son dual revient choisir
une racine n-ime de lunit sur laquelle on envoie un gnrateur. Et a implique
aussi de faire le choix dun gnrateur de Z/nZ. Le choix dun isomorphisme revient
donc au problme du choix dune base.
31
Question (Autre exercice qui aurait pu tre pos). En considrant la reprsentation
de permutation, on a une sous-reprsentation de degr 1 et un supplmentaire
stable qui donne une reprsentation de degr n 1. Elle est irrductible.
Rponse (lments de rponse). On peut le montrer si laction de permutation
associe le reprsentation du groupe est doublement transitive.
G agit de facon diagonale sur X X par g (x, y) = (g x, g y) laction est
doublement transitive ce qui se traduit en termes de nombre dorbites et on peut
conclure lirrductibilit.
Dveloppements
Dveloppements proposs :
Table de caractre de S4 , dans Peyr et Ramis-Warusfel ou Alessandri pour
la gomtrie
Thorme de Frobenius et lemmes, dans Colmez
Autres dveloppements possibles :
Table de caractres de A5 , dans Ramis-Warusfel
Thorme de Molien, dans Leichtmann [Daprs Victor]
Rfrences
Colmez, lements danalyse et dalgbre
Peyr, Lalgbre discrte de la transforme de Fourier
Ramis-Warusfel, Cours de mathmatiques pures et appliques
Chapitre 7
108- Exemples de parties
gnratrices dun groupe.
Applications
33
34
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Peu de candidats voient lutilit des
parties gnratrices dans lanalyse des morphismes de groupes.
Question. En parlant de sous-groupes engendrs par une partie de G. Que se passet-il si la partie est vide ?
Rponse. Le sous-groupe engendr par la partie vide est {e}.
|G1 {e} =
et
: G1 G2 ! H
|{e}G2 = .
Question. On peut parler des gnrateurs de O(q) (dans le thorme de CartanDieudonn notamment), mais que dire des gnrateurs de SO(n) .
0
1
(0)
B ..
B
.
B
Rponse. On peut les mettre, dans une bonne base, sous la forme B
1
B
@
(0)
1
1
1
C
C
C
C
C
A
35
Question. Donner un exemple de groupe cyclique dans un corps quelconque cyclique.
Rponse. Dans un corps fini, le groupe multiplicatif est cyclique. Les sous-groupes
finis de ce groupe multiplicatif sont cycliques.
Question. Quelle est la structure sur Aut(Z/nZ) ?
Rponse. Il sagit dun groupe additif.
Question. Est-ce que D(G) est toujours cyclique ?
Rponse. Oui.
Question. Quel est le lien entre les homographies et le groupe linaire ?
Rponse.
Question. Est-ce que les lments dordre 5 dans A5 sont tous conjugus ?
Rponse. Non, car 24 ne divise pas 60.
Question. propos des gnrateurs de An . Faire le lien entre les 3-cycles et les
carrs. Donner dans An un lment qui nest pas un carr. Et dans A5 ?
Rponse. On a (a, b, c)2 = (a, bc, b). Donc tous les 3-cycles de An sont des carrs. En
particulier, tous les lments de A5 sont des carrs. Et si n est pair, (a1 , , an )2
nest pas un n-cycle si n est pair.
Question. Faire le lien entre homographie et P GL(C).
Rponse. Il faut parler du groupe des dplacements.
Remarque. Les gnrateurs peuvent servir fabriquer des morphismes dun groupe
dans un autre. En particulier pour des morphismes valeurs dans GLn (C) ce qui
nous donne la thorie des reprsentations de groupes.
Dveloppements
Dveloppements proposs :
An est simple, dans Perrin
36
37
P GLn et P SLn [Optionnel] dans Perrin la dfinition de P GLn et de P SLn .
Si on a la foi, parler disomorphismes exceptionnels et daction de P GL2 sur
le demi-plan de Poincar.
On dans Perrin la dfinition du groupe orthogonal et du groupe spcial
orthogonal. Dans Perrin et Audin le thorme sur les gnrateurs de O(E)
et SO(E) (dveloppement) et en exemple la forme des lments de O(q) dans
lespace euclidien dans Perrin.
Homographies et groupe circulaire
propos des homographies Dans Audin la dfinition dune homographie, le
fait que les homographies munies de la composition forment un groupe, les
gnrateurs des homographies (les similitudes directes et z 7 ! z1 ).
Le groupe circulaire Dans Audin la dfinition du groupe circulaire, le fait
quil est engendr par les inversions et les reflexions, que ses lments prservent les angles non orients, et que ses lments sont les transformations
qui prservent lensemble des cercles ou droites.
Rfrences
Chapitre 8
109- Anneaux Z/nZ. Applications
38
39
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Cette leon classique demande une
prparation minutieuse. Tout dabord n nest pas forcment un nombre premier.
Il serait bon de connatre les sous-groupes de Z/nZ et les morphismes de groupes
de Z/nZ dans Z/mZ.
Bien matriser le thorme chinois et sa rciproque. Distinguer clairement les proprits de groupes additifs et danneaux. Connatre les automorphismes, les nilpotents, les idempotents. Enfin, les candidats sont invits rendre hommage
Gauss en prsentant quelques application arithmtiques des anneaux Z/nZ telles
que ltude de quelques quations diophantiennes bien choisies.
Question. noncer le thorme des deux carrs.
Rponse. Soit
= n 2 N|9a, b 2 N2 , n = a2 + b2
Alors, si p est premier, on a :
p 2 , p 2 ou 1[4]
et si n = p1 1 pk k nest pas premier :
n2,
si i impair
si i pair
pi 2
p quelconque premier
Dveloppements
Dveloppements proposs :
Forme faible du thorme de progression arithmtique de Dirichlet, dans
Oraux X-ENS algbre 1
Thorme de Sophie Germain, dans Oraux X-ENS, algbre 1
Autres dveloppements possibles :
Irrductibilit des polynmes cyclotomiques dans Z[X], dans Gourdon
Dtermination des groupes dordre pq avec p < q premiers, dans Perrin
Structure de (Z/p Z) , p premier, dans Perrin et Demazure
Thorme des deux carrs, dans Gourdon
40
Rfrences
Perrin, Cours dalgbre
41
Gourdon, Algbre
Combes, Algbre et gomtrie
Demazure, Cours dalgbre, primalit, divisibilit, codes
Tauvel, Algbre
Francinou-Gianella-Nicolas, Oraux X-ENS, algbre 1
Chapitre 9
110- Nombres premiers. Applications
42
43
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Il faut savoir si 113 est un nombre
premier ! Attention au choix des dveloppements, ils doivent tre pertinents (lapparition dun nombre premier nest pas susant !). La rduction modulo p nest
pas hors-sujet et constitue un outil puissant pour rsoudre des problmes arithmtiques simples. La rpartition des nombres premiers est un rsultat historique
important, quil faudrait citer. Sa dmonstration nest, bien sr, pas exigible au
niveau de lagrgation.
Question. Comment montrer que tout groupe ablien dordre pq avec p et q premiers distints est cyclique ?
Rponse. Si x est dordre p et y dordre q alors xy est dordre pq. Si le groupe nest
pas ablien le rsultat est faux : les groupes didraux sont dordre 2n et ne sont
pas forcment cycliques.
Question (A propos des nombres de Mersen). Les nombres de Mersen sont les
nombres de la forme 2p 1 avec p premier. Si on considre les 2n 1 avec n 2 N,
est-ce quon trouve dautres nombres premiers ?
Rponse. Non. En eet si n nest pas premier, on peut crite n = pq o au moins
p est premier. Ensuite on a
an
1 = (ap )q
= (ap
1
1)
q 1
X
(ap )k
k=0
on a donc factoris a
1 de manire non triviale : il ne peut pas tre premier.
Question. Expliquer la notion de premier dans Z partir de la notion didal
premier. Est-ce que tout idal premier est engendr par un premier ?
Rponse. On a
Z/I intgre , I premier
n
et
Question. Quel temps a prend de montrer quun nombre est premier avec le crible
dErathostne ?
p
Rponse. Cest en n et cest polynmial en le nombre de chires de n. Il est
possible de montrer quun nombre est premier en ln n.
Question (En utilisant le test de Proth). Lobjet de la question est de proposer un
test de primalit pour les nombres de Fermat. Il faut montrer
n
Fn = 22 + 1 premier , 52
2n
1[Fn ]
44
52
) 52
2n
2n
1 2
) 52
2n
1[Fn ]
1[Fn ]
1[Fn ]
n
2n
1[q]
et donc
2n
n
22
q|52
q|5
+1
1
ce qui rpond la question (il manque probablement une ou deux tapes de calcul).
45
Dveloppements
Dveloppements proposs :
Version faible du thorme de progression arithmtique de Dirichlet, dans
Oraux X-ENS, algbre 1
Thorme de Sophie Germain, dans Oraux X-ENS, algbre 1
Autres dveloppements possibles :
Thorme des deux carrs, dans Gourdon
Probabilit que deux entiers soient premier entre eux, dans Oraux X-ENS,
algbre 1
Loi de rciprocit quadratique, dans Gourdon
46
Rfrences
Chapitre 10
111- Anneaux principaux.
Applications
47
48
Remarques et questions
Remarque (Remarques du jury dagrg 2010). On peut aussi donner des exemples
danneaux non principaux. Les plans sont trop thoriques. Il est possible de prsenter des exemples danneaux principaux classiques autres que Z et K[X], accompagns dune description de leurs irrductibles. Les applications en algbre linaire
ne manquent pas, il serait bon que les candidats les illustrent.
Question. Pourquoi est-ce que les inversibles de A sont de norme 1 ?
Rponse. Soit u 2 A . On a :
uu 1 = 1
N (u)N (u 1) = 1
Et on a bien N (ab) = N (a)N (b) car N (a) = a
a.
Question. Quels sont les inversibles dun anneau dentiers quadratiques ?
Rponse. Ce sont les lments de norme 1
Question. On sait que Z[X] est factoriel non principal. quelle condition A[X]
est-il principal ?
Rponse. A[X] est principal si A est un corps. On commence par montrer que
A[X] principal entranes A principal. Soit u 2 A et I 2 A. Alors lidal engendr
par I dans A[X] est principal : hIi = (P ) 2 A[X] et deg(P ) = 0 car I 2 A et donc
n
P
(P ) =
Qi xi ou Qi 2 A[X] et xi 2 I.
i=1
Dveloppements
Dveloppements proposs :
Rduction de Frobenius, dans Gourdon
C[X, Y ]/(Y
X 2 ) et C[X, Y ]/(XY
1) sont principaux, dans FrancinouGianella
Autres dveloppements possibles :
Thorme
h p i des bases adaptes, dans Goblot
Z 1+i2 19 est non euclidien et principal, dans Hauchecorne
Le thorme des deux carrs, dans Perrin ou Gourdon
49
50
Rfrences
Chapitre 11
112- Corps finis. Applications
51
52
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Un candidat qui tudie les carrs
dans un corps fini doit aussi savoir rsoudre les quations de degr 2. Les constructions de corps de petit cardinal doivent avoir t pratiques. Les injections des
divers Fq . Le thorme de Wedderburn ne doit pas constituer le seul dveloppement de cette leon. En revanche, les applications des corps finis ne doivent pas
tre ngliges. Le thorme de llment primitif, sil est cit, doit pouvoir tre
utilis.
Question. propos de lalgorithme de Berlekamp. Que se pase-t-il si on applique
lalgorithme un polynme irrductible ? En terme de complexit, est-ce un bon
algorithme ?
Rponse. On arrive au critre darrt. Et si on veut continuer, cest impossible car
a ne marche pas dans lalgorithme. En termes de complexit, on doit tester tous
les 2 Fq , a croit vite avec le degr du polynme. Mais cest linaire en le nombre
dlments du corps. Selon le corps sur lequel on se place, cest plus ou moins long.
Question. crire la table de multiplication de F4 .
Rponse. Soit P = X 2 + X + 1 2 F2 qui est irrductible. On a alors :
F4
= F2 [X]/(X 2 + X + 1).
0
1
On obtient alors le tableau suivant
1+
0
1
1+
0
0
0
0
0
1
1+
0
1+
1
0 1+
1
Dveloppements
Dveloppements proposs :
53
Thorme de Chevalley-Warning, dans Serre
Thorme dexistence et dunicit des corps finis, caractrisation des souscorps, dans Perrin et Gozard
Autres dveloppements possibles :
Algorithme de Berlekamp, dans Objectif Agrgation
Loi de rciprocit quadratique, dans Gourdon
Formule dinversion de Mbius, dans Ramis-Warusfel
Formes quadratiques sur un corps fini.
54
irrductibles et des exemples disomorphisme entre un corps fini et un quotient Fp /(P ). En application, si on veut la formule dinversion de Mbius et
le nombre de polynmes irrductibles unitaires de degr n sur Fp , mais cest
un dveloppement.
Algorithme de factorisation dans Objectif Agrgation, lalgorithme de Berlekamp.
Nombre de solutions dquation sur Fq dans Serre le lemme et le thorme
de Chevalley-Warning (dveloppement) et les corollaires qui suivent.
Algbre linaire
Groupes linaires sur Fq dans Perrin les thormes sur les cardinaux des
groupes linaires sur Fq et les isomorphismes des groupes de petit cardinal.
Formes quadratiques sur Fq dans Perrin le thorme qui donne les classes
dquivalence des formes quadratiques sur un Fq -espace vectoriel de dimension finie.
Rfrences
Chapitre 12
113- Groupe des nombres complexes
de module 1. Sous-groupe des
racines de lunit. Applications
55
56
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Les proprits des polynmes cyclotomiques doivent tre nonces. Leur irrductibilit sur Z doit tre matrise. Il est
tout fait possible de parler dexponentielle complexe, de thorme du relvement
ou de sries de Fourier tout en veillant rester dans le contexte de la leon.
Question. Lisomorphisme dun groupe ablien avec son dual est-il canonique ?
Rponse. Non, car il dpend du choix dun gnrateur du groupe. Par contre,
lisomorphisme avec le bidual est canonique.
Dveloppements
Dveloppements proposs :
Irrductibilit des polynmes cyclotomiques, dans Gozard
Lemme de Kronecker, dans Szpirglas
Autres dveloppements possibles :
Thorme de Dirichlet faible, dans Oraux-X-ENS algbre 1
57
Paramtrisation rationnelle de U dans Combes dans la partie sur les quations diophantiennes, la paramtrisation rationnelle du cercle unit.
Reprsentations de groupes dans Peyr la dfinition dune reprsentation et
dun caractre si il y a la place, et le cas particulier des groupes cycliques.
Rfrences
Chapitre 13
114- Anneau des sries formelles.
Applications
58
59
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Cest une leon qui doit tre illustre
par de nombreux exemples et applications ; combinatoire, calcul des sommes de
Newton, relations de rcurrence, etc. . .
Question. Quel est le corps des fractions de K[[X]] ?
Rponse. On a linjection des fractions rationnelles dans le corps des fractions de
K[[X]], mais a-t-on mieux ? On a
F rac (K[[X]]) =
( +1
X
n=n0
an X , an 2 K, n0 2 N .
n
n=n0
an X n =
+1
X
an+n0 X n
k=0
1
X
n0
Dveloppements
Dveloppements proposs :
Nombre de partitions de [[1, n]] (Nombres de Bell) dans Oraux X-ENS algbre
1
Partitions dun entier en parts fixes, dans Oraux X-ENS analyse 2.
Autres dveloppements possibles :
Nombres de Catalan, dans Saux-Picart
60
Rfrences
Chapitre 14
115- Corps des fractions rationnelles
une indtermine sur un corps
commutatif. Applications
61
62
Remarques et questions
Question. Soit P 2 K[X] et 1 , , n 2 K deux deux disjoints. Donner la
dcomposition en lments simples de
(X
P (x)
1 ) (X
n )
R(x)
1 ) (X
n )
ai = Q
a1
X
+ +
an
X
R(i )
.
(i j )
j6=i
y = ax + b a 2 Q
1 = 2a + b
Ces points vrifieront donc le systme :
y = ax + (1 2a)
x2 + 2y 2 = 6
soit, en reprenant seulement la dernire ligne :
x2 + 2 [ax + 1 2a]2 = 6
(1 + 2a2 )x2 + 4ax(1 2a) + (1 2a) = 6
63
On a dj une racine en x = 2, la seconde racine r vrifie (utiliser les relations
coecients racines) :
4a(1 2a)
r=
2
1 + 2a2
Ainsi, les points de lellipse coordonnes rationnelles sont :
2a)
x = 4a(1
2 a2Q
1+2a2
y = ax + (1 2a)
auxquels il faut rajouter le seul point qui nest pas atteint par ces droites : le
symtrique de (2, 1) par rapport laxe des abscisses (il faudrait une droite de
pense infinie) qui est donc (2, 1).
On aurait aussi pu utiliser la paramtrisation rationnelle des ellipses, mais a aurait
t dur dtre srs de tomber sur des points coordonnes rationnelles.
Dveloppements
Dveloppements proposs :
Partitions dun entier en parts fixes, dans Oraux X-ENS analyse 2
Les automorphismes de K(X), dans Oraux X-ENS algbre 1
64
Drivation dans Lelong-Ferrand-Arnaudis la dfinitition de la drive formelle dune fraction rationnelle, des proprits, le fait quen caractristique
nulle une fraction rationnelle de drive nulle est constante. Un contreexemple dans Tauvel quand on est dans le cas de la caractristique strictement positive et lapplication qui dit que le logarithme nest pas une fraction
rationnelle (via lintgration).
Dcomposition en lments simples
Thorme de dcomposition en lments simples dans Lelong-Ferrand-Arnaudis
le thorme de dcomposition en lments simples, lexplication des parties
polaires et des parties entires, le cas dun corps algbriquement clos et la
formule qui va avec, dans Tauvel la formule pour les fractions rationnelles de
R(X). En application le thorme de Lucas et des exemples de calcul dans
Lelong-Ferrand-Arnaudis.
Rsidus dans Tauvel la dfinition des rsidus, le cas dun corps algbriquement clos, la proposition pour le calcul des rsidus et le corollaire puis le
thorme des rsidus et en application, un calcul de rsidus dans AmarMatheron.
Applications
Intgration des fractions rationnelles dans Lelong-Ferrand-Arnaudis la dfinition dune primitive formelle dune fraction rationnelle. La condition sur
les rsidus pour quune fraction rationnelle admette une primitive rationnelle
et des exemples sur C.
Application aux sries formelles dans Lelong-Ferrand-Arnaudis la condition
pour linversibilit dune srie formelle et comme application le fait que toute
fraction rationnelle qui nadmet pas 0 pour ple peut tre dveloppe en srie
formelle. En exemple, le nombre de partitions dun entier en parts fixes
(dveloppement).
Gomtrie dans Combes la paramtrisation rationnelle des coniques et une
application (optionnel).
Rfrences
Lelong-Ferrand-Arnaudis, Algbre 1
Tauvel, Algbre
Francinou-Gianella-Nicolas, oraux X-ENS algbre 1
Amar-Matheron, Analyse complexe
Combes, Algbre et gomtrie
Chapitre 15
116- Polynmes irrductibles une
indtermine. Corps de rupture.
Exemples et applications
65
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Les applications ne concernent pas
que les corps finis. Il existe des corps algbriquement clos de caractristique nulle
autre que C. Un polynme rductible nadmet pas forcment de racines. Il est
instructif de chercher des polynmes irrductibles de degr 2, 3, 4 sur F2 .
Question. Est-ce que le polynme X 4 + 1 2 R[X] est irrductible ?
Rponse. On a
X 4 + 1 = (X 2
2X + 1)(X 2 +
2X + 1)
donc, non.
Question. propos de lalgorithme de Berlekamp, est-ce que lalgorithme est identique pour un polynme coecients dans Q ?
Rponse. Oui : on passe dans Z puis dans Q.
Question. Soit P 2 Z[X] de degr d 1. On suppose que 9x1 , , x2d+1 2 Z tels
que P (xi ) est premier. Montrer que P est irrductible.
Rponse. Si on a P = QR alors pour tout i on a P (xi ) = Q(xi )R(xi ). Donc
8i 2 [1, 2d + 1], Q(xi ) = 1 ou R(xi ) = 1,
or deg(Q) d 1 et deg(R) d
maximal de Q et R.
Dveloppements
Dveloppements proposs :
Thorme dexistence et dunicit des corps finis, caractrisation des souscorps, dans Perrin et Gozard
Irrductibilit des polynmes cyclotomiques, dans Gozard
Autres dveloppements possibles
Algorithme de Berlekamp, dans Objectif Agrgation
Comptage des polynmes irrductibles de Fq , dans Francinou-Gianella ou
Gozard
67
Rfrences
Perrin, Cours dalgbre
Gozard, Thorie de Galois
Objectif Agrgation
Chapitre 16
117- Algbre des polynmes n
indtermines (n 2). Aspects
thoriques et applications
69
70
Remarques et questions
Remarque (Remarques du jury dagrg 2010). La leon ne doit pas se concentrer
exclusivement sur les aspects formels ni sur les polynmes symtriques. Les aspects
arithmtiques ne doivent pas tre ngligs.
Le thorme fondamental sur la structure de lalgbre des polynmes symtriques
est vrai sur Z, lalgorithme peut tre prsent sur un exemple.
Les applications aux quadriques, aux relations coecients-racines ne doivent pas
tre ngliges. On peut faire agir le groupe GLn (R) sur les polynmes de degr
infrieur ou gal 2.
Question. Quest-ce que a veut dire Noethrien ?
Rponse. Ca implique que tout idal est de type fini. Toute suite didaux strictement croissante est stationnaire partir dun certain rang.
Question ( propos des polynmes symtriques). Symtriser le monme X12 X22 X3 .
Dveloppements
Dveloppements proposs :
Thorme de Chevalley-Warning, dans Serre
Thorme de structure des polynmes symtriques, dans Ramis-DeschampsOdoux, algbre 1
Autres dveloppements possibles :
Thorme de Molien, dans Leichtmann
Comptage de racines de formes quadratiques, dans Gantmacher
71
Polynmes homognes dans Ramis-Deschamps-Odoux la dfinition dun polynme homogne, la proprit pour le produit, tout polynme est combinaison linaire de polynmes homognes, lapplication au degr dun produit de
polynmes dans un anneau intgre.
Proprit universelle et fonction polynme dans Goblot la proprit universelle, la dfinition dune fonction polynme et lapplication au prolongement
des identits.
Proprits arithmtiques Dans Ramis-Deschamps-Odoux le paragraphe sur
les proprits arithmtiques de K[X1 , , Xn ].
Applications
Polynmes symtriques dans Ramis-Deschamps-Odoux la dfinition des polynmes symtriques, des polynmes symtriques lmentaires, le degr du
polynme obtenu en remplaant les indtermines par les polynmes symtriques lmentaires et lordre dun polynme symtrique. le thorme de
structure des polynmes symtriques (dveloppement).
Rsultant dans Szpirglas la dfinition du rsultant et sa valeur en fonction
des racines des polynmes.
Rfrences
Chapitre 17
119 -Exemples dactions de groupes
sur les espaces de matrices
72
73
Remarques et questions
Remarque (Remarque du jury dagrg 2010). Cette leon na pas souvent t prise,
elle demande un certain recul.
Question. Matrice de passage de B B 0 ou de B 0 B ? Comment retrouver si cest
P 1 AP ou P AP 1 ?
Rponse. Si P est la matrice de passage de B 0 B, cest la matrice de lidentit
de B dans la base B 0 :
P = M at(I, B, B 0 )
Si A = M atB 0 (f ) est la matrice de lendomorphisme f dans la base B 0 et A =
M atB (f ) alors
P
Question. Soit n 2 et A une matrice non nulle de taille n telle que T r(A) = 0.
Montrer que 9e tel que (Ae, e) soit une famille libre.
Rponse. Si tous les vecteurs taient lis leur image, A serait une homothtie.
La condition sur la trace impliquerait la nullit du rapport de lhomothtie, ce qui
est impossible.
Remarque. Doit-on mettre toutes les dcompositions ? Non pas forcment, cest un
sujet trs vaste et il faut faire des choix (Jordan. . .)
On peut parler de thorie des matrices sur des corps finis mais cest dangereux et
il y a beaucoup de choses mettre. Donc ce nest pas idiot de se cantonner au cas
R ou C. On peut quand mme parler de laction par multiplication sur un corps
quelconque. La dcomposition de Frobenius est valable sur nimporte quel corps
alors que la rduction de Jordan nest pas valable sur un corps non algbriquement
clos.
Dveloppements
Dveloppements proposs :
Dcomposition de Frobenius, dans Gourdon
Rduction des endomorphismes normaux, dans Gourdon
Autres dveloppements possibles :
Thorme de Brauer, dans Objectif Agrgation
Crochets de Lie, dans Oraux X-ENS, algbre
Dcomposition de Bruhat, dans Oraux X-ENS algbre 1
Sous-groupes compacts de GLn (R), dans Oraux X-ENS algbre
75
Rfrences
Objectif Agrgation
Voedts, Cours de mathmatiques
Perrin, Cours dalgbre
Denis Serre, Les matrices
Gourdon, Algbre
Grifone, Algbre linaire
Mneim-Testard, Groupes de Lie classiques
Chapitre 18
120- Dimension dun espace vectoriel
(on se limitera au cas de la
dimension finie). Rang. Exemples et
applications
76
77
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Cest une leon qui contrairement
aux apparences est devenue dicile pour les candidats. Il faut absolument la prparer avec mthode. Nombre dentre eux nont pas t capables de donner des
rponses satisfaisantes des questions lmentaires comme : un sous-espace vectoriel dun espace vectoriel de dimension finie est-il aussi de dimension finie ?
Remarque. Dans la dfinition despace vectoriel norm, il faut prendre un K espace
vectoriel avec K = R ou C.
Question. Comment montre-t-on que GLn (C) est connexe ?
Rponse. On a GLn C) = det 1 ({0}), ce qui rpond la question. On peut aussi
trouver un chemin pour prouver la continuit par arcs.
Question. Avec le rang, peut-on caractriser les classes de similitude ?
Rponse. Non. Deux matrices de mme rang sont quivalentes mais pas forcment
semblables. Les matrices suivantes sont de mme rang mais non semblables :
1 0
1 1
et
0 1
0 1
Question. Soient A et B dans Mn (C) telles que 8 2 C, rg((A
In )m ). Que peut-on dire de A et B ?
In )m ) = rg((B
Rponse. rg(A
In ) = rg(B
In ) donc A et B ont mmes valeurs propres.
On va montrer que A et B sont semblables. Si nest pas valeur propre, lgalit
donne n = n donc cest assez peu intressant. Si est valeur propre, on trouve
que les blocs de Jordan associs dans A et B ont mme taille. Donc A et B
ont mme dcomposition de Jordan. Donc elles sont semblables.
Question. Pourquoi est-ce quun sous-espace vectoriel dun espace vectoriel de
dimension finie est de dimension finie ?
Rponse. On considre F E et on prend une famille libre maximale de F . Elle
est de dimension n = dim(E) donc finie, donc cest une base.
Question. Quelle est la forme gnrale des matrices de rang 1 ?
Dveloppements
Dveloppements proposs :
Thorme des extrma lis, dans Gourdon, Analyse
78
79
les matrices extraites, dans Oraux X-ENS algbre 1 la dimension maximale
dun sous-espace de matrices de rang p, dans Gourdon la proprit sur la
trace dun projecteur.
Formes linaires dans Grifone la dfinition dune forme linaire (on est en
dimension finie donc elles sont toutes continues), leur noyau est un hyperplan, dfinition de lespace dual, isomorphisme entre E et son dual (on est en
dimension finie), dfinition de la base duale et des exemples simples. En application, le thorme des extrma lis dans Gourdon, analyse. Dans Grifone
lisomorphisme canonique entre E et son bidual.
Extensions de corps et dimension
Dans Gozard la dfinition dune extension de corps, du degr dune extension,
des exemples simples, le thorme de la base tlscopique, la multiplicativit
du degr, la dfinition dun lment algbrique, la dfinition dune extension
algbrique et enfin, le degr dune extension algbrique.
Rfrences
Gourdon, Analyse
Gourdon, Algbre
Grifone, Algbre linaire
Gozard, Thorie de Galois
Francinou-Gianella-Nicolas, Oraux X-ENS algbre 1
Objectif Agrgation
Chapitre 19
123- Dterminant. Exemples et
applications
80
81
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Il faut que le plan soit cohrent : si
le dterminant nest dfini que sur R ou C il est dlicat de dfinir det(A XIn )
avec A une matrice carre. Linterprtation du dterminant en terme de volume
est essentielle.
Le jury ne peut se contenter dun Vandermonde ou dun dterminant circulant ! Le
rsultant et les applications simples lintersection ensembliste de deux courbes
algbriques planes peuvent trouver leur place dans cette leon. Dune manire
gnrale on attend pendant le dveloppement lillustration dun calcul ou la manipulation de dterminants non triviaux.
Dveloppements
Dveloppements proposs :
Rsultant et application, dans Gourdon
Ellipsode de John-Loewner, dans Oraux X-ENS algbre 3
Autres dveloppements possibles :
Thorme de Mntz, dans Gourdon, analyse
Ingalit dHadamard, dans Gourdon
Dimension despaces de matrices de rang p, dans Oraux X-ENS
82
Rfrences
Gourdon, Algbre
Gourdon, Analyse
Objectif Agrgation
Francinou-Gianella-Nicolax, Oraux X-ENS algbre 3
Grifone, Algbre linaire
Mneim-Testard, Groupes de Lie classiques
Chapitre 20
124- Polynmes dendomorphismes
en dimension finie. Applications la
rduction dun endomorphisme en
dimension finie
83
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Le titre ociel prcise que la dimension est finie. Les polynmes dun endomorphisme ne sont pas tous nuls ! Il faut
consacrer une courte partie de la leon lalgbre K[u], connatre sa dimension
sans hsiter. Les proprits globales pourront tre tudies par les meilleurs. Le
jury souhaiterait voir certains liens entre rduction et structure de cette algbre
K[u]. Le candidat peut sinterroger sur les idempotents et le lien avec la dcomposition en somme de sous-espaces caractristiques.
Le jury ne souhaite pas voir un catalogue de rsultats autour de la rduction, mais
seulement ce qui a trait aux polynmes dendomorphismes. Il faut bien prciser
que dans la rduction de Dunford, les composantes sont des polynmes en lendomorphisme.
Laspect applications est trop souvent nglig.
Remarque. On peut parler dendomorphismes semi-simples (dont le polynme minimal est sans facteurs carrs : K[u] est alors un produit de corps.
Question. Quel est le lien entre lexpression des projecteurs dans la dcomposition
des noyaux en tant que polynme dendomorphisme et lexpression des idempotents ?
Rponse. On note (u) = P1 Pm alors
K[u] = K[X]/(P1 ) K[X]/(Pm )
et, par exemple, (1, 0, , 0) est un idempotent de K[u]. On se place dans le cas o
m = 2 et on veut remonter llment (1, 0). On peut crire une relation de Bezout
entre P1 et P2 :
U1 P1 + U2 P2 = 1
et on a alors que U2 P2 est le projecteur sur Ker(P1 (u)) paralllement Ker(P2 (u))
et pareil pour U1 P1 .
Remarque. On peut aussi parler de semi-simplicit, puisque les endomorphismes
semi-simples sont ceux qui admettent un polynme annulateur sans facteur carr.
Question. Dans un espace complet, la convergence normale implique la convergence
simple, ce qui permet de dfinir lexponentielle. Donner un exemple de corps dans
lequel lexponentielle nest pas dfinie.
Rponse. Une matrice sur Q aura une exponentielle qui nest pas dans Q. Sinon,
si on se place sur Fp , on ne peut pas diviser par p ce qui empche de diviser par
des factorielles.
Question. Pourquoi est-ce que exp(A) est un polynme en A ?
85
Rponse. Parce que la suite des sommes partielles qui dfinit lexponentielle est
une suite de K[A] qui est un espace de dimension finie (de dimension le degr
du polynme minimal de A) et que cette suite converge donc vers un polynme
puisque lespace est ferm.
Question. Soit M 2 Mn (C) tel que hM i soit un sous-groupe fini. Montrer que M
est diagonalisable.
Rponse. On a lexistence dun entier n tel que M n = In et donc X n 1 est annulateur pour M et il est scind racines simples dans C donc M est diagonalisable.
Question. On suppose que le polynme (X a)(X b) annule M . Exprimer exp(M )
comme polynme en M .
Rponse. Si M na quune valeur propre c, alors M
exp(M
cIn ) =
n
X
(M
k=0
cIn )k
= Rc (M )
k!
Dveloppements
Dveloppements proposs :
Dcomposition de Frobenius, dans Gourdon Algbre
Dcomposition de Dunford, dans Gourdon
Autres dveloppements possibles :
Codiagonalisation et consquences
Le thorme de Burnside, dans Oraux X-ENS algbre 2
Rduction des endomorphismes normaux, dans Gourdon Algbre
87
Rfrences
Objectif Agrgation
Gourdon, Algbre
Gourdon, Analyse
Mneim-Testard, Groupes de Lie classiques
Chapitre 21
125- Sous-espaces stables dun
endomorphisme ou dune famille
dendomorphismes en dimension
finie. Applications
89
90
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Les candidats doivent stre interrogs sur les proprits de lensemble des sous-espaces stables par un endomorphisme.
Des tudes de cas dtailles sont les bienvenues.
Question. Donner le schma de la preuve du thorme de diagonalisation simultane.
Question. Dcrire les invariants de similitude dun endomorphisme diagonalisable.
On suppose que le polynme caractristique de lendomorphisme est P (x) = (X
1)(X 2)2 (X 3)
Rponse. Les invariants de similitude sont P0 = 1, P1 = X 2 et P2 = (X 1)(X
2)(X 3). Le polynme minimal de lendomorphisme est alors P2 . Pour calculer les
invariants de similitude dune matrice quelconque de manire algorithmique, il faut
trigonaliser la matrice A XIn par lalgorithme du pivot de Gauss et a permet
de calculer le polynme minimal en mme temps que les invariants de similitude.
Remarque. On peut aussi parler de gomtrie dans cette leon en parlant des
isomtries anes qui stabilisent le plan euclidien en dimension 3.
Dveloppements
Dveloppements proposs :
Dcomposition de Frobenius, dans Gourdon
Dcomposition des endomorphismes normaux, dans Gourdon
Autres dveloppements possibles :
Dcomposition de Dunford, dans Gourdon et de manire eective sur internet
quation de Hill-Mathieu, dans Zuily-Quelec
Thorme de Burnside, dans Oraux X-ENS Algbre 2
91
polynmes dendomorphismes. Dans Gourdon la stabilit des sous-espaces
stables, le fait que si ils sont en somme directe dans lespace alors lendomorphisme est diagonalisable et le thorme de rduction simultane.
Dualit et sous-espaces stable dans Objectif Agrgation la stabilit de lorthogonal dun sous espace stable par ladjoint de lendomorphisme, en application les invariants de similitude dans Gourdon.
Endomorphismes remarquables
Semi-simplicit dans Objectif Agrgation la dfinition des endomorphismes
semi-simples, le thorme fondamental, le cas des corps algbriquement clos
les applications qui sont dans Objectif Agrgation et la dcomposition de
Dunford gnralise.
Endomorphismes normaux dans Gourdon la dfinition des endomorphismes
normaux et le thorme de rduction des endomorphismes normaux sur R
(dveloppement).
Sous-reprsentations dans Colmez des rapides rappels sur les reprsentations
de groupes puis la dfinition dune sous-reprsentation, la somme directe de
reprsentations, la notion de reprsentation irrductible et le thorme de
Maschke.
Rfrences
Objectif Agrgation
Gourdon, Algbre
Colmez, lments danalyse et dalgbre
Chapitre 22
126- Endomorphismes
diagonalisables en dimension finie
92
93
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Il faut pouvoir donner des exemples
naturels dendomorphismes diagonalisables et des critres. Le calcul de lexponentielle dun endomorphisme diagonalisable est immdiat une fois que lon connat
les valeurs propres et ceci sans diagonaliser la matrice.
Question. Donner des consquences de lcriture matricielle dune quation direntielle sur la stabilit des solutions ?
Rponse. Il faut tudier le signe de la partie relle des valeurs propres de la matrice.
Question. Quelles sont les seules rotations diagonalisables ?
Rponse. Ce sont seulement plus ou moins lindentit.
Question. Soit K un corps de caractristique 6= 2. Que dire des sous-groupes de
GLn (K) qui vrifient 8g 2 G, g 2 = id ?
iH est inversible.
Dveloppements
Dveloppements proposs :
Rduction des endomorphismes normaux, dans Gourdon
Dcomposition de Dunford, dans Gourdon
Autres dveloppements possibles :
Diagonalisation des autoadjoints
Codiagonalisation et consquences, dans Gourdon et Oraux X-ENS algbre
2
94
Rfrences
Gourdon, Analyse
Grifone, Algbre linaire
Objectif Agrgation
Chapitre 23
127- Exponentielle de matrices.
Applications
95
96
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Cest une leon dicile et ce nest
pas une leon danalyse. Il faut toutefois pouvoir justifier clairement la convergence
de la srie exponentielle. Les questions de surjectivit ou dinjectivit doivent tre
abordes. Par exemple, la matrice
1 1
A=
0
1
est-elle dans limage de exp(M2 (R)) ? Quen est-il de la matrice blocs
A 0
B=
?
0 A
La dcomposition de Dunford multiplicative (dcomposition de Jordan) de exp(A)
doit tre connue. Les groupes un paramtre peuvent leur place dans cette leon.
On peut sinterroger si ces sous-groupes constituent des sous-varits fermes de
GLn (R). Ltude du logarithme (quand il est dfini) trouve sa place dans cette
leon. Si on traite du cas des matrices nilpotentes, on pourra invoquer le calcul sur
les dveloppements limits.
Les applications aux quations direntielles doivent tre voques sans constituer
lessentiel de la leon. On pourra par exemple faire le lien entre rduction et comportement asymptotique.
Les notions dalgbre de Lie ne sont pas au programme de lagrgation, on conseille
de naborder ces sujets qu condition davoir une certaine solidit.
Question. Tout lment de GLn (C) est une exponentielle. Pour GLn (R) cest faux.
Quen est-il des sous-groupes remarquables de GLn (R) ? Est-ce que les matrices
orthogonales sont des exponentielles ?
Rponse. Pour On cest clairement non, celles qui ont un dterminant gal 1
par exemple. Pour SOn oui, on rduit sous la forme diagonale par blocs et on a le
rsultat.
Question. Soit la matrice
1 2
@
M= 0 1
0 0
1
1
0 A.
0
Rponse. Les valeurs propres de M sont (1, 1, 0). Si M tait nilpotente, le polynme
n
P
Mk
serait P =
.
k!
k=0
97
On remarque que si M navait quune seule valeur propre on pourrait crire
M = In + N avec N une matrice nilpotente et donc on aurait
exp(M
In ) = P (N ) = P (M
In )
In ) = exp(M )
= exp( In )P (M
In ).
1)2 X.
= (X
1]
car sur le sous-espace caractristique de 0, exp(M ) = 1 et sur le sous-espace caractristique de 1, exp(M ) = e1 [1 + (X 1)] daprs ce quon a fait prcdemment.
Le polynme P = (X 1)2 (X)(X 2)eX convient mais nest pas unique.
Question. Est-ce que la matrice
A=
1
0
1
1
A 0
.
0 A
98
0 A
0 A
A 0
=
.
I A
I A
0 A
Il ne nous reste plus qu montrer le rsultat suivant : A 2 Mn (R) est une exponentielle si et seulement si A est un carr. Le sens direct est facile : il sut
2
de remarquer que si A = exp(M ) alors A = exp M2
. Dans lautre sens, on
suppose que A = N 2 , avec A et N inversibles, alors
A = NN
= NN
= exp(P ) pour P 2 C. Ainsi A = exp(P )exp(P ) = exp(P +
o N = exp(P ) et N
P ) avec P + P 2 Mn (R). Si A nest pas inversible, N non plus.
Dveloppements
Dveloppements proposs :
exp(A) diagonalisable , A diagonalisable, dans Objectif Agrgation ou Gourdon et Oraux X-ENS algbre 2
Surjectivit de lexponentielle complexe Mn (C) 7! GLn (C), dans Tauvel
Autres dveloppements possibles :
Codiagonalisation et consquence, dans Gourdon et Oraux X-ENS algbre 2
Thorme de Liapunov, dans Rouvire
Thorme de Cartan Von Neumann, dans Mneim-Testard
99
Gourdon,la dcomposition de Jordan et on explique que le calcul de lexponentielle peut se faire par blocs.
Proprits de la fonction exponentielle
Direntiabilit et inversion locale dans Mneim-Testard le thorme qui dit
que lexponentielle est C 1 et mme analytique, la valeur de la direntielle
en 0, dans Rouvire la direntielle de lexponentielle en tout point, dans
Mneim-Testard lapplication qui dit que GLn (K) na pas de sous-groupes
arbitrairement petits (et la reformulation), la dfinition du logarithme, pourquoi cest bien dfini et les proprits qui suivent.
Injectivit, surjectivit dans Oraux X-ENS algbre 2 la proposition pour la
surjectivit de lexponentielle de Mn (C) ! GLn (C) (dveloppement) avec
son lemme et son corollaire. Dans Objectif Agrgation la proposition qui
dit que limage de Mn (R) par lexponentielle est lensemble des matrices
qui admettent une racine carre. On remarque que lexponentielle nest pas
injective, et on peut redonner le thorme qui constitue le premier dveloppement.
Application aux quations direntielles coecients constants
quations direntielles linaires coecients constants dans Demailly on
pose un systme direntiel linaire coecients constants, on donne la
forme des solutions et le thorme de Liapunov (avec dessins en annexe). On
peut voquer le cas du systme linaris, mais a sort du cadre de la leon.
Groupe un paramtre dans Mneim-Testard la dfinition des sous-groupes
un paramtre et le thorme qui dit quils sexpriment en fonction dune
exponentielle.
Rfrences
Gourdon, Algbre
Mneim-Testard, Groupes de Lie classiques
Tauvel, Algbre
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Objectif Agrgation
Demailly, Analyse numrique et quations direntielles
Francinou-Gianella-Nicolas, Oraux X-ENS algbre 2
Chapitre 24
128- Endomorphismes
trigonalisables. Endomorphismes
nilpotents
100
101
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Il est possible de mener une leon
de bon niveau, mme sans la dcomposition de Jordan avec les noyaux itrs.
Question. On dit quune matrice A est unipotente si A = In +N avec N nilpotente.
Comment caractriser cette proprit avec le spectre ?
Rponse. Si A est unipotente, A In est nilpotente. On va utiliser la caractrisation
des matrices nilpotentes.
Question. propos de Dunford, quand f varie, est-ce que d varie continment en
f?
Rponse. Les valeurs propres varient continment en fonction de f . Mais on peut
changer de base de diagonalisation. Donc d ne varie pas continment en fonction
de f . Un autre argument consiste dire que si n = 0 alors f est diagonalisable.
Or les matrices diagonalisables sont denses dans Mn (C) donc si d tait continue,
on aurait tout le temps n = 0.
Question. Est-ce que lexistence de racine carre est vraie pour toute matrice de
Mn (C) ? Et dans GLn (R) ?
Rponse. Si une matrice nilpotente avait une racine carre, elle serait nilpotente
aussi. Si on crit
0 1
N=
0 0
1 1
0
1
permet de rpondre la question.
Question. Soit la matrice
on a
A (X)
X(X
3
A=@ 1
3
1
3
2
1
3
1A
2
Rponse. On peut trouver une base mais ya plus malin. On cherche U et V tels
que XU + (X 2)2 V = 1 avec lalgorithme dEuclide et on trouve les projecteurs.
Dveloppements
Dveloppements proposs :
Thorme de Burnside, dans Oraux X-ENS algbre 2
Dcomposition de Dunford, dans Gourdon
Autres dveloppements possibles :
Surjectivit de lexponentielle matricielle (en application de Dunford) mais
cest peut-tre un peu hors sujet
103
Caractrisation de la nilpotence dans Objectif Agrgation les caractrisations
de la nilpotence, lapplication qui dit que lespace vectoriel engendr par les
nilpotents sont les lments de trace nulle puis dans Oraux X-ENS algbre 2
le thorme de Burnside (dveloppement).
Unipotents dans Objectif Agrgation on peut parler des unipotents, mais ce
nest pas obligatoire.
Rduction dendomorphismes
Dcomposition de Dunford dans Gourdon le thorme qui donne la dcomposition de Dunford et son lemme (dveloppement) on prcise bien que les deux
matrices obtenues dans la dcomposition sont des polynmes en la matrice
et une application au calcul pratique dune exponentielle de matrice.
Rduction de Jordan dans Objectif Agrgation le thorme de rduction de
Jordan pour les nilpotents et ensuite pour les trigonalisables. Il y a aussi des
remarques dans Grifone et des exemples.
Rfrences
Gourdon, Algbre
Grifone, Algbre linaire
Objectif Agrgation
Francinou-Gianella-Nicolas, Oraux X-ENS, algbre 2
Chapitre 25
130- Matrices symtriques relles,
matrices hermitiennes
104
105
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Cest une leon transversale. La
notion de signature doit figurer dans la leon. On doit faire le lien avec les formes
quadratiques et les formes hermitiennes. La partie relle et la partie imaginaire
dun produit hermitien dfinissent des structures sur lespace vectoriel rel sousjacent.
Question. Soit L un oprateur linaire tel que
L : f 7 ! Lf
f ! Lf (x) =
n
X
ai,j (x)
i,j=1
@ 2f
(x)
@xi @xj
o les ai,j forment une matrice A(x). Montrer quon peut se ramener une matrice
symtrique dfinie positive.
!
2
n
P
a
(x)+a
(x)
i,j
j,i
@
u
: u 7 ! Lu : x 7!
Rponse. On pose L
(x) . Alors Lu(x)
2
@xi @xj
i,j=1
(T r(A))2
.
T r(A2 )
i=1
Dveloppements
Dveloppements proposs :
Rduction des endomorphismes normaux, dans Gourdon
La mthode de relaxation pour les hermitiens, dans Ciarlet
Autres dveloppements possibles :
Ellipsode de John-Loewner, dans Oraux X-ENS, algbre 3
Lemme de Morse, dans Rouvire
Surjectivit de lexponentielle matricielle, dans Oraux X-ENS, algbre 2
Ingalit de Kantorovitch
107
Dcomposition polaire dans Oraux X-ENS algbre 3 le thorme de rduction
polaire et si il y a de la place dans Mneim-Testard des rsultats de topologie
despaces de matrices quon obtient grce cette rduction.
Applications
Matrice Hessienne dans Gourdon, analyse la dfinition de la matrice Hessienne et le caractre dextrmum local en fonction de sa signature.
Algbre linaire numrique dans Ciarlet la description de la mthode de
relaxation et le thorme de convergence de la mthode de relaxation dans
le cas des matrices hermitiennes dfinies positives (dveloppement).
Rfrences
Gourdon, Algbre
Gourdon, Analyse
Ciarlet, Introduction lanalyse matricielle et loptimisation
Grifone, Algbre linaire
Francinou-Gianella-Nicolas, Oraux X-ENS, algbre 3
Mneim-Testard, Groupes de Lie classiques
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Gantmacher, Thorie des matrices. ventuellement.
Chapitre 26
131- Formes quadratiques sur un
espace vectoriel de dimension finie.
Orthogonalit, isotropie.
Applications
108
109
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Le candidat ne doit pas se contenter
de travailler sur R et ne doit pas ngliger linterprtation gomtrique des notions
introduites (liens entre coniques, formes quadratiques, cnes isotropes) ou les aspects lmentaires (par exemple le discriminant de lquation ax2 + bx + c = 0 et
la signature de la forme quadratique ax2 + bxy + cy 2 ). On ne peut se limiter des
considrations lmentaires dalgbre linaire. Les formes quadratiques ne sont pas
toutes non-dgnres (la notion de quotient est utile pour sy ramener).
Lalgorithme de Gauss doit tre nonc et pouvoir tre pratiqu sur une forme
quadratique de R3 . Le lien avec la signature doit tre clairement nonc. Malheureusement la notion disotropie est mal matrise par les candidats, y compris les
meilleurs dentre eux. Le cne isotrope est un aspect important de cette leon,
quil faut rattacher la gomtrie direntielle. Il est important dillustrer cette
leon dexemples naturels.
Question. Donner une ide de la preuve du thorme de Sylvester.
Question. Dcomposer en somme de carrs :
q(x, y, z) = xy + yz + zx
Dveloppements
Dveloppements proposs :
Lemme de Morse, dans Rouvire
Ellipsode de John-Loewner, dans Oraux X-ENS algbre 3
Autres dveloppements possibles :
Thorme de comptage des racines dun polynme laide de formes quadratiques, dans Gantmacher
Mthode de Gauss, dans Grifone (mais cest plus intressant de faire un
exemple mme si ce nest pas assez long pour faire un dveloppement)
111
Rduction, version direntiable dans Rouvire le lemme ncessaire au lemme
de Morse puis le lemme de Morse (dveloppement).
Rfrences
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Francinou-Gianella-Nicolas, Oraux X-ENS, algbre 3
Gourdon, Algbre
Gourdon, Analyse
Grifone, Algbre linaire
Perrin, Cours dalgbre
Chapitre 27
132- Formes linaires et hyperplans
en dimension finie. Exemples et
applications
112
113
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Il est important de replacer la thmatique de la dualit dans cette leon. Les liens entre base duale et fonctions
coordonnes doivent tre parfaitement connus. Savoir calculer la dimension dune
intersection dhyperplans est au coeur de la leon. Lutilisation des oprations lmentaires sur les lignes et les colonnes permet facilement dobtenir les quations
dun sous-espace vectoriel ou dexhiber une base dune itersection dhyperplans.
Cette leon peut tre traite sous dirents aspects : gomtrie, algbre, topologie,
analyse, etc. Il faut que les dveloppements proposs soient en lien direct, comme
toujours, avec la leon ; proposer la trigonalisation simultane est un peu os ! Enfin, rappeler que la direntielle dune fonction relle est une forme linaire semble
incontournable.
Question. Et en dimension infinie, est-ce quun espace est toujours rflexif ?
Rponse. Non, penser par exemple L1 (0, 1).
Question. Trouver un contre exemple avec deux ferms convexes quon ne peut
pas sparer strictement.
Rponse. On prend A le convexe contenu au dessus du graphe de la fonction inverse
pour les positifs et pour B la droite relle :
A = (x, y) 2 R+ 2 |y 1/x
B = (x, y) 2 R2 |y = 0
Question. Soit E un espace vectoriel de dimension finie sur R ou C. Quels sont les
endomorphismes de E qui conservent les hyperplans vectoriels ?
Rponse. En utilisant la transpose, de tels endomorphismes doivent conserver
toute droite, ainsi la transpose doit tre diagonalisable et donc lendomorphisme
doit tre diagonalisable.
Question. Dans R3 on note H1 et H2 les hyperplans engendrs par
02 3 2 3 1
2
1
H1 = V ect @4 1 5 , 4 2 5A
1
1
02 3 2 3 1
1
1
H2 = V ect @415 , 405A .
0
1
Donner une base de H1 \ H2 .
114
Rponse. On note
et
1 0 1 0 1
2
1
1
h 1 = @ 1 A ^ @ 2 A = @1 A
1
1
3
0 1 0 1 0 1
1
1
1
h 2 = @1 A ^ @0 A = @ 1 A
0
1
1
et alors
(x, y, z) 2 H1 , x + y + 3z = 0
(x, y, z) 2 H2 , x y z = 0
ainsi
x + y + 3z = 0
(x, y, z) 2 H1 \ H2 ,
x y z=0
y = 2z
,
x=y+z
et donc
02
31
1
H1 \ H2 = V ect @4 25A .
1
Dveloppements
Dveloppements proposs :
Gnrateurs de O(E) et SO(E), dans Audin et Perrin
Thorme de Hahn-Banach gomtrique, dans Tauvel
Autres dveloppements possibles :
Gnrateurs de GL(E) et SL(E), dans Perrin
Un exemple disomorphisme entre Mn (K) et son dual des applications
Preuve du thorme des invariants de similitude, dans Gourdon
115
Formes linaires dans Gourdon la dfinition dune forme linaire, de lespace
dual, la notation des crochets de dualit. Dans Oraux X-ENS, 3 (ou dans
Objectif Agrgation) le thorme de reprsentation de Riesz (quon met dans
le cas dun espace vectoriel de dimension finie). En exemple dans Gourdon
les formes linaires de Mn (K) et le fait que les formes linaire non nulles sont
surjectives.
Hyperplan dans Gourdon la dfinition dun hyperplan, le fait que cest le
noyau dune forme linaire non nulle et le fait que lorthogonal dun hyperplan est une droite vectoriel du dual de E. On cite la cotrigonalisation en
application et on met le thorme. Dans Oraux X-ENS algbre 1 le fait que
tout hyperplan de Mn (K) coupe GLn (K) et la caractrisation des homothties comme tant les applications qui laissent stables tous les hyperplans.
Hahn-Banach dans Tauvel le thorme de Hahn-Banach gomtrique (dveloppement) et un contre-exemple dans le cas o on na pas un ouvert au
dpart.
Dualit
Bases duales et antduales dans Gourdon la dfinition des formes linaires
coordonnes et lexistence de la base duale. Un exemple de changement de
base en exercice dans Gourdon et des exemples de base duale dans Grifone.
Dans Gourdon lexistence de la base antduale.
Bidual dans Gourdon la dfinition du bidual, il est canoniquement isomorphe
E et dans Grifone on dit pourquoi.
Applications transpose et orthogonalit
Orthogonalit dans Gourdon les dfinitions des orthogonaux, les proprits
en dimension finie, le corollaire pour les quations de sous-espaces vectoriels
en dimension finie et la remarque qui dit quun sous-espace vectoriel est gal
lespace tout entier si et seulement si son orthogonal est nul.
Applications transposes dans Gourdon la dfinition de la transpose, les proprits sur le rang, les images et les noyaux, la transpose dune application
compose, la condition pour la stabilit dun sous-espace vectoriel.
Gnrateurs de groupes de matrices
Gnrateurs de GL(E) et SL(E) dans Perrin le thorme sur les gnrateurs
de GL(E) et SL(E) avec juste avant les dfinitions des transvections et des
dilatations.
Gnrateurs de O(E) et SO(E) dans Audin le thorme sur les gnrateurs
de O(E) et dans Perrin le thorme sur les gnrateurs de SO(E) (dveloppement).
116
Rfrences
Audin, Gomtrie
Perrin, Cours dalgbre
Tauvel, Gomtrie
Gourdon, Algbre
Grifone, Algbre linaire
Francinou-Gianella-Nicolas, Oraux X-ENS, algbre 1
Francinou-Gianella-Nicolas, Oraux X-ENS, algbre 3
Chapitre 28
133-Endomorphismes remarquables
dun espace vectoriel euclidien (de
dimension finie)
117
118
Remarques et questions
Question. Quand-est-ce quune matrice normale relle admet un logarithme ?
Rponse. Pour rpondre la question, on utilise la rduction des matrices normales.
Remarque. A propos de la dcomposition des endomorphismes normaux, il y a
unicit permutation des blocs prs (on peut le montrer en liant les blocs aux
valeurs propres complexes).
Dveloppements
Dveloppements proposs :
Gnrateurs de O(E) et SO(E), dans Audin et Perrin
Rduction des endomorphismes normaux, dans Gourdon
Autres dveloppements possibles :
Dtermination de lenveloppe convexe de O(E)
Rduction des endomorphismes symtriques, dans Gourdon
lexponentielle ralise un homomorphisme de Sn (R) dans Sn++ (R), dans
Mneim-Testard
SO3 est un groupe simple, dans Oraux X-ENS algbre 3
119
Premires proprits et rduction dans Gourdon le fait que Mn (K) est somme
directe des matrices symtriques et antisymtriques, la dfinition dune matrice positive et dfinie positive (pareil pour les endomorphismes). Dans
Gourdon le thorme de rduction des endomorphismes symtriques (et on
prcise bien que les valeurs propres sont toutes relles). En application, le
fait quun endomorphisme est positif si et seulement si ses valeurs propres
sont positives.
Applications de la rduction le thorme de pseudo-rduction simultane
et en application la log-convexit du dterminant et lellipsode de JohnLoewner, dans Oraux X-ENS algbre 3, dans Grifone lobtention de la signature dune forme bilinaire symtrique. Dans Oraux X-ENS, algbre 2 lexponentielle induit un homomorphisme de Sn (R) sur Sn++ (R). Dans Oraux
X-ENS algbre 3 le thorme du minmax de Courant-Fischer et le thorme
qui donne la racine carre dun automorphisme auto-adjoint positif. Si on
veut, on peut parler de la rduction des matrices antisymtriques, mais cest
pas oblig.
Dcomposition dans Oraux X-ENS algbre 3 la dcomposition polaire puis
dans Mneim-Testard des applications la topologie des groupes de matrices.
Endomorphismes orthogonaux
Premires proprits dans Gourdon la dfinition du groupe orthogonal, cest
un groupe, la caractrisation matricielle, le groupe spcial orthogonal, cest
un sous-groupe distingu du groupe orthogonal. dans Tauvel la dfinition des
rflexions et retournements et dans Audin et Perrin les gnrateurs de 0(E)
et SO(E) (dveloppement).
Proprits topologiques dans Mneim-Testard le fait que On (R) est compact,
le groupe SOn est connexe par arcs et On a deux composantes connexes homomorphes. La dcomposition polaire est un homomorphisme. Dans Oraux
X-ENS algbre 3 la simplicit de SO3 .
Rduction dans Gourdon le thorme de rduction des isomtries dun espace
euclidien. Lapplication aux cas du plan et de lespace.
Rfrences
Audin, Gomtrie
Perrin, Cours dalgbre
Gourdon, Algbre
Grifone, Algbre linaire
Francinou-Gianella-Nicolas, Oraux X-ENS, algbre 2
Francinou-Gianella-Nicolas, Oraux X-ENS, algbre 3
Mneim-Testard, Groupes de Lie classiques
120
Chapitre 29
135- Isomtries dun espace ane
euclidien de dimension finie. Forme
rduite. Applications en dimensions
2 et 3
121
122
Remarques et questions
Remarque (Remarques du jury dagrg 2010). La classification des isomtries en
dimension 2 ou 3 est exigible ainsi que le thorme de dcomposition commutative.
En dimension 3 : dplacements (translation, rotations, vissage) ; antidplacements
(symtries planes, symtries glisses, et isomtries ngatives point fixe unique).
Remarque. Si on parle de polygones rguliers, en donner une dfinition qui est
vraie.
Question. Les isomtries du plan ane euclidien scrivent
z 7 ! az + b
z 7 ! a
z+b
avec |a| = 1. Comment reconnat-on les symtries et les symtries glisses ?
z1 = az1 + b
z2 = az2 + b
donc z1 = a(
az1 + b) + b soit ab + b = 0. Si b = 0 alors lisomtrie devient une
Dveloppements
Dveloppements proposs :
SO3 est un groupe simple, dans Oraux X-ENS, algbre 3
Gnrateurs de O(E) et SO(E), dans Audin et Perrin
Autres dveloppements possibles :
Isomtries prservant le cube et le ttradre, dans Alessandri
Sous-groupes finis de SO3 dans Oraux X-ENS algbre
123
Dfinitions dans Mercier la dfinition dune application ane, la dfinition
dune isomtrie, les groupes des dplacements et antidplacements de lespace
ane. On rajoute des exemples qui sont dans Mercier et Audin. Dans Mercier le thorme qui dit que toute isomtrie scrit de faon unique comme
compose dune translation et dune isomtrie qui a un point fixe.
Exemples et proprits dans Mercier quelques exemples simples et on dfinit lensemble des points invariants de lapplication ane et on donne la
dcomposition commutative. Un peu plus loin dans Mercier le thorme qui
dit que les isomtries anes sont uniquement dtermines par la donne de
limage de n + 1 points anement indpendants, en application des rsultats
sur les triangles isomtriques.
tude de O(E)
Rduction et gnrateurs dans Audin le thorme de rduction des lments
de O(E) avec aussi la forme matricielle et ensuite les gnrateurs de O(E)
et SO(E) (la fin est dans Perrin).
Lien avec les isomtries anes dans Audin le thorme qui donne les gnrateurs des isomtries de lespace ane .
Classification des isomtries du plan et de lespace
Dans le plan dans Mercier la dfinition dune rotation, dans le plan elle na
quun seul point invariant qui est son centre,puis dans la dfinition dune symtrie glisse (composition dune reflexion et dune translation) et le fait que
les isomtries du plan ane sont les translations, les rotations, les reflexions
et les symtries glisses. On fait un tableau avec des schmas et lensemble
invariant (plan, droite, point, vide). Dans Combes les dessins et les formes
matricielles.
Dans lespace dans Mercier la dfinition dune rotation ane, dun vissage
dune reflexion glisse et dune symtrie rotation. Ensuite, on fait le tableau
qui donne la nature de lisomtrie en fonction de ses points invariants. Dans
Combes les dessins et les formes matricielles. Dans Oraux X-ENS algbre 3
le fait que SO3 est un groupe simple (dveloppement).
Isomtries conservant une partie
Le groupe didral dans Mercier la dfinition dun polygone et dun polygone
rgulier. Quelques thormes qui suivent pour caractriser la rotation qui
laisse invariant le polygone rgulier. Ensuite on donne Is+ (Pn ) et Is (Pn )
puis la dfinition du groupe didral et ses proprits.
Isomtries prservant les polydres rguliers dans Mercier le groupe disomtries du cube : la liste des choses conserves, la dfinition du cube, la
liste des rotations qui laissent le cube invariant, la liste des antidplacements
qui laissent le cube invariant et dans Alessandri le fait que cest isomorphe
S4 Z/2Z. Ensuite dans Mercier la dfinition du ttradre rgulier, son
124
Rfrences
Chapitre 30
137- Barycentres dans un espace
ane rel de dimension finie ;
convexit. Applications
125
126
Remarques et questions
Remarque (Remarques du jury dagrg 2010). On attend des candidats quils
parlent de coordonnes barycentriques et les utilisent par exemple dans le triangle
(coordonnes barycentriques de certains points remarquables).
Question. Comment voit-on sur le sous-espace ane engendr que les n + 1 points
sont anement libres ?
Rponse. Lespace ane engendr sera de dimension n.
Question. Soit un repre ane (A, B, C) on considre les coordonnes cartsiennes
~ AC).
~
(x, y) dans le repre (A, AB,
On a aussi des coordonnes barycentriques
(p, q, r) dans le repre ane. On impose p + q + r = 1. Quel est le rapport entre
(x, y) et (p, q, r) ?
Rponse. Soit un point M de coordonnes (p, q, r) dans le repre barycentrique et
(x, y) dans le repre ane. On a alors
pM~A + q M~B + rM~C = ~0
~ + y AC
~ = AM
~
xAB
donc
~ = xAM
~ + xM~B + y AM
~ + y M~C
AM
donc
(x + y
~
1)AM
xM~B
y M~C = ~0
127
et en rinjectant les valeurs de (p, q, r) dans lquation barycentrique de la droite,
on obtient :
u(x + y 1) + v( x) + w( y) = 0
(u v)x + (u w)y u = O
on peut alors identifier et on obtient
8
<a = u v
b=u w
:
c= u
Pour quune quation cartsienne dfinisse une droite, on doit avoir : (a, b) = (0, 0)
ici la condition w = v = u ne donne pas une droite.
Question. Dmontrer que les aires algbriques de M BC, M CA et M AB forment
un systme de coordonnes barycentriques de M .
Dveloppements
Dveloppements proposs :
Thorme de Carathodory, dans Tauvel, gomtrie
Thorme de Hahn-Banach gomtrique, dans Tauvel, gomtrie
Autres dveloppements possibles :
Ingalit de Kantorovitch
128
Systmes anement libres dans Mercier Dans Mercier les quivalences qui
dfinissent une famille anement libre puis la dfinition dune telle famille.
Reprage dans Mercier la dfinition dun repre ane, du systme de coordonnes barycentriques, le fait que deux systmes de coordonnes barycentriques dun mme point sont proportionnels. La remarque qui suit (qui est
dans le cas o on na pas un repre ane de E pour les points de dpart).
Interprtation en termes daires dans Truault on pose un triangle et un
point M qui nest sur aucune des droites qui constituent les cts. Ensuite
on dfinit laire algbrique dun triangle et on dit que les aires aglbriques
des triangles M BC, M CA et M AB forment un systme de coordonnes
barycentriques de M . Des applications dans le triangle.
Applications dans Mercier une application est ane si et seulement si elle
conserve le barycentre et dans Truault les thormes de Menelas et Cva.
Convexit
Convexit dans Tauvel la dfinition dune combinaison convexe, dune partie
toile, des exemples.
Enveloppe convexe dans Tauvel la dfinition de lenveloppe convexe dune
partie, en application le thorme de Lucas, la proposition pour la caractrisation de Conv(A), lenveloppe convexe dun ferm nest pas ncessairement
ferme et le thorme de Carathodory et son application (dveloppement).
Points extremaux dans Tauvel la dfinition des points extremaux, lexemple
des points extremaux de la boule unit dun espace ane qui est la sphre
unit de lespace ane. Les conditions quivalentes pour quun point soit un
point extremal et le thorme de Krein-Milman.
Rsultats de sparation dans Tauvel le thorme de Hahn-Banach gomtrique (dveloppement) et le contre-exemple dans le cas o le convexe nest
pas ouvert. La dfinition dun hyperplan qui spare deux parties et le thorme qui suit qui est une consquence du thorme de Hahn-Banach gomtrique.
Thorme de Helly dans Tauvel le lemme qui prcde le thorme de Helly
puis le thorme de Helly.
Rfrences
Gourdon, Analyse
Tauvel, Gomtrie
Mercier, Cours de gomtrie
Truault, Gomtrie lmentaire
Chapitre 31
140- Systmes linaires ; oprations,
aspects algorithmiques et
consquences thoriques
129
130
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Le jury nattend pas une version
lancienne articule autour du thorme de Rouch-Fonten qui nest pas dun
grand intrt dans sa version traditionnellement expose.
La leon doit imprativement prsenter la notion de systme chelonn, avec une
dfinition prcise et correcte et situer lensemble dans le contexte de lalgbre
linaire (sans oublier la dualit !).
Par exemple, les relations de dpendances linaires sur les colonnes dune matrice
chelonne sont claires et permettent de dcrire simplement les orbites de laction
gauche de GLn (K) sur Mn (K) donne par (P, A) 7! P A. Le candidat doit pouvoir
crire un systme dquations de lespace vectoriel engendr par les colonnes.
Un point de vue opratoire doit accompagner ltude thorique et lintrt pratique
(algorithmique) des mthodes prsentes doit tre expliqu.
Question. Quel est le lien entre la mthode de gradient et le systme
J : Rn ! R
1
y 7 ! hy, Ayi
2
hb, yi
Dveloppements
Dveloppements proposs :
Mthode de gradient pas optimal, dans Ramis-Warusfel
Mthode de relaxation pour les hermitiens, dans Ciarlet
Autres dveloppements possibles :
Dcomposition de Bruhat, dans Oraux X-ENS algbre 1
131
Dfinitions dans Grifone la dfinition dun systme linaire, lexpression matricielle et la notion de compatibilit, une condition sur lespace vectoriel engendr par les colonnes pour que le systme soit compatible. Dans Ciarlet la
dfinition du conditionnement, le fait quil mesure la sensibilit de la solution
du systme linaire vis--vis des variations sur les donnes A et b. Toujours
dans Ciarlet lexplication de ce que signifie la rsolution dun systme au
sens des moindres carrs.
Systme de Cramer dans Grifone la dfinition dun systme de Cramer, il
admet une et une seule solution. Leur forme et dans Ciarlet la complexit
de lalgorithme.
Le cas gnral dans Grifone un systme de p quations en n inconnues de
rang r et le thorme de Rouch-Fonten.
Systmes chelonns et rsolutions directes
Systmes chelonns dans Grifone la dfinition dun systme chelonn. On
peut toujours se ramener un systme chelonn.
Oprations lmentaires sur les lignes et les colonnes dans Grifone la liste
des oprations lmentaires qui laissent un systme invariant. Et dans Voedts
lexpression matricielle des oprations lmentaires.
Mthode de Gauss dans Ciarlet la mthode de Gauss, le thorme qui dit
quelle marche toujours, un exemple dans Grifone et dans Ciarlet, la complexit de lalgorithme. Dans Voedts on cite les consquences : calculs de
dterminants, calculs dinverses, le rang caractrise les matrices quivalence prs, gnrateurs de GLn (R).
Factorisation LU et factorisation de Choleski dans Ciarlet le thorme de
dcomposition LU, la manire dont on rsout aprs, sa complexir. Ensuite
le thorme de dcomposition de Choleski et sa complexit.
Factorisation QR et matrices de Householder dans Ciarlet la dfinition dune
matrice de Householder, le thorme qui suit et le thorme de factorisation
QR dune matrice.
Mthodes itratives de rsolution de systmes linaires
Principe des mthodes itratives dans Ciarlet lide gnrale des mthodes
itratives, la condition sur la matrice B pour avoir convergence.
Mthodes de Jacobi, de Gauss-Seidel et de relaxation dans Ciarlet on crit
A = M N et on crit les quivalences pour arriver B = M 1 N . Ensuite,
on dfinit les matrices D, E et F et on donne, dans le cas des mthodes de
Jacobi, de Gauss-Seidel et de relaxation, les formes de M et N dans un tableau. Ensuite le lemme et le thorme pour la convergence de la mthode de
relaxation dans le cas des matrices hermitiennes dfinies positives (dveloppement) et le thorme de convergence des autres mthodes : elles convergent
ou divergent simultanment.
132
Rfrences
Chapitre 32
145- Mthodes combinatoires,
problmes de dnombrement
133
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Il faut dans un premier temps dgager clairement les mthodes et les illustrer dexemples significatifs. Lutilisation
de sries gnratrices est un outil puissant pour le calcul de certains cardinaux. Le
jury sattend ce que les candidats sachent calculer des cardinaux classiques et
certaines probabilits !
Question. On sait que Sn agit sur C[X1 , , Xn ]d (monmes de degr d), quelle est
cette action ?
Rponse. il sagit de :
: Xi 7! X
(i)
Question. Est-ce que les isomorphismes des groupes linaires sont des consquences
du dnombrement ?
Rponse. En fait, a aide : on a des injections qui deviennent des bijections grace
lgalit des cardinaux.
Remarque. Ne pas confondre les nombres de Bell avec le nombre de partitions de
n, cest un problme dirent.
Question. Soient des n-uplets (x1 , , xn ), xi 2 N. On considre
(
)
n
X
A = Card (x1 , , xn ) 2 Nn |
xi = S
i=1
135
Rponse. On doit faire 2n pas au total : n vers la droite, n vers le haut. On doit
choisir lordre dans lequel on les fait. Ce qui revient 2n
possibilits.
n
Question. Et si on ne veut pas descendre en dessous de la diagonale ?
Rponse. Ca revient aux nombres de Catalan. Pourquoi ? Par symtrie (on considre le symtrique lorsquon arrive la diagonale) le nombre de chemins qui traversent la diagonale est gal au nombre de chemins qui arrivent au point (N +
2n
2n
2n
1
1, N 1) cest donc n+1
et alors 2n
= n+1
.
n
n+1
n
Question. Donner la preuve de la formule de Burnside.
Rponse. Il faut calculer de deux faons un cardinal.
Dveloppements
Dveloppements proposs :
Partitions dun entier en parts fixes, dans Oraux X-ENS, analyse 2
Nombres de Bell (nombre de partitions de [1, n]), dans Oraux X-ENS, algbre
1
Autres dveloppements possibles :
Nombres de Catalan
Nombres de polynmes irrductibes unitaires sur Fq dans Gantmacher
Coloriage du cube
Sous-groupes finis de SO3
Probabilit que deux nombres soient premiers entre eux
Rfrences
Chapitre 33
146- Rsultant. Applications
137
138
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Il faut soigner la prsentation et ne
pas perdre de vue lapplication linaire sous-jacente (U, V ) 7! AU + BV qui lie le
rsultant et le PGCD de A et B.
Question. Est-ce que lintgrit intervient, et o ?
Rponse. On peut se passer de lintgrit pour dfinir le rsultant mais pour les
applications qui sont toutes sur des corps, a parait plus raisonnable.
Remarque. Ne pas parler du dterminant dune application linaire mais du dterminant dune matrice.
Question. Si on part dun polynme unitaire, est-ce quon peut donner le rsultant
en fonction des coecients ?
Rponse. On a lexpression en fonction des racines. On utilise ensuite les relations
coecients-racines pour trouver lexpression du rsultant en fonction des coecients.
Question. Comment dfinit-on le rsultant de deux polynmes constants ?
Rponse. La seule manire de le faire est de le poser gal 1.
Dveloppements
Dveloppements proposs :
Rsultant de deux polynmes et applications, dans Gourdon
Lemme de Kronecker, dans Szpirglas
Autres dveloppements possibles :
Thorme de Bezout
139
comme le rsultant est polynmial en les coecients des deux polynmes, il
est continu en ces deux polynmes. Dans Saux-Picart les premires proprits du rsultant et dans Gourdon lexercice sur le rsultant et lapplication
qui suit (dveloppement). Le corollaire qui dit quun polynme na que des
racines simples si et seulement si Res(P, P 0 ) = 0.
Expression et calcul du rsultant
Expression en fonction des racines dans Lelong-Ferrand-Arnaudis la dfinition du rsultant de deux polynmes gnraux, la fait que cest un polynme
irrductible et ensuite lexpression en fonction des racines des polynmes
dans Szpirglas le corrolaire qui dit que le rsultant est multiplicatif droite
sous certaines conditions.
Calcul par mthode dabaissement du degr dans Saux-Picart la proposition
sur ce que donne le rsultant quand on considre la division euclidienne dun
polynme par lautre et lexemple qui suit.
Applications algbriques du rsultant
Discriminant dans Szpirglas la dfinition du discriminant dun polynme, le
fait que dans un corps algbriquement clos un polynme a une racine multiple
si et seulement si son discriminant est nul, le discriminant dun polynme de
degr 2 ou 3 et le thorme de Cayley-Hamilton.
Nombres algbriques dans Szpirglas la dfinition dun entier algbrique, la
somme et le produit de deux entiers algbriques est algbrique et des exemples.
Transformation des quations algbriques dans Szpirglas on pose le problme,
la proposition qui suit, un exemple puis le lemme de Kronecker (dveloppement).
Applications gomtriques du rsultant
Dans Szpirglas la dfinition dune courbe algbrique plane puis le thorme
de Bezout, lapplication aux coniques, des exemples.
Rfrences
Chapitre 34
148- Formes quadratiques relles.
Exemples et applications
140
141
Remarques et questions
Remarque (Remarques du jury dagrg 2010). La preuve de la loi dinertie de Sylvester doit tre connue et le candidat doit avoir compris la signification gomtrique
de ces deux entiers composant la signature dune forme quadratique relle. La diffrentielle seconde dune fonction de plusieurs variables est une forme quadratique
importante.
Question. Lensemble des matrices symtriques dfinies positives est toil en
lidentit. Mais est-ce quil sagit dun ensemble convexe ?
Rponse. Oui. En eet, si on considre deux matrices A et B dfinies positives et
un vecteur X non nul, pour tout t 2 [O, 1] on a
t
X ((1
t)A + tB) X = (1
Question. Si q est une forme quadratique dfinie positive, dtailler pourquoi N (q) =
sup q(x) est une norme.
kxk=1
Question. Si
= 0?
3xy + 2yz
3 2 9 2
y)
y + 2yz
2
4
3 2
3
2
4
y)
( y2
z) + z 2
2
2
3
9
142
x)2 )
z2
1
( (x) + (x))2
4
8
(1, 1)
si
>
>
<
(1, 0) si
(0, 1) si
>
>
:
(0, 0) si
(x))2
( (x)
{ , } libre
= k, k > 0
= k, k < 0
= 0 ou = 0
et donc
(y1 , , yn , x1 , , xn ) =
n
X
i=1
a2i xi yi
143
Si la famille (x1 , , xk ) est lie, on peut (quitte changer les variables) crire
xk =
1 x1
+ +
et alors
(xi , xk ) =
k
X
k 1 xk 1
(xi , xj )
j=1
q(x1 )
(x1 , x2 )
(x1 , x2 )
q(x2 )
Question. Que dire des composantes connexes de O(q) o q est une forme quadratique de signature (p, q) ?
Rponse. On suppose la forme quadratique non dgnre : p + q = dimension de
lespace. Si q = 0 lespace est euclidien et le groupe orthogonal a deux composantes
connexes. Si p = 0 cest pareil. Dans les autres cas, il y aura quatre composantes
connexes.
Dveloppements
Dveloppements proposs :
Lemme de Morse, dans Rouvire
Ellipsode de John-Loewner, dans Oraux X-ENS algbre 3
Autres dveloppements possibles :
144
145
signature de la forme quadratique. Toujours dans Grifone les conditions sur
la signature pour avoir une forme quadratique dfinie positive, ngative ou
non dgnre. Enfin, la remarque de Gourdon sur le fait que si on trouve
deux sous-espaces vectoriels orthogonaux tels que q soit dfinie ngative sur
lun et dfinie positive sur lautre, alors on connat la signature de q en
fonction des dimensions de ces sous-espaces vectoriels.
Rduction simultane dans Oraux X-ENS, algbre 3 le thorme de pseudorduction simultane, lapplication la log-convexit du dterminant puis
lellipsode de John-Loewner (dveloppement).
Applications
Classification des coniques dans Audin la classification des coniques en fonction de la signature de la forme quadratique.
Rduction, version direntiable dans Rouvire le lemme prliminaire et le
lemme de Morse (dveloppement).
Recherche dextrema dans Gourdon, analyse la dfinition de la matrice Hessienne et son application pour la recherche dextrema locaux.
Rfrences
Francinou-Gianella-Nicolas, Oraux X-ENS algbre 3
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Gourdon, Algbre
Gourdon, Analyse
Grifone, Algbre linaire
Perrin, Cours dalgbre
Audin, Gomtrie
Chapitre 35
149- Reprsentations de groupes finis
de petit cardinal
146
147
Remarques et questions
Remarque. Pas de remarques du jury dagrg.
Dveloppements
Dveloppements proposs :
Table de caractre de S4 avec applications gomtriques, dans Peyr
Thorme de Frobenius et lemmes prliminaires, dans Colmez
Autres dveloppements possibles :
Table de caractre de A5
Thorme de Molien
Rfrences
Colmez, lments danalyse et dalgbre
Ramis-Warusfel-Moulin, Cours de mathmatiques pures et appliques, volume 1
Peyr, Lalgbre discrte de la transforme de Fourier
Alessandri, Thmes de gomtrie, groupes en situation gomtrique
Chapitre 36
150- Racines de polynmes.
Fonctions symtriques lmentaires.
Localisation des racines dans les cas
rel et complexe
149
Remarques et questions
Question. propos des suites de Sturm, est-ce quil en existe et comment on en
fabrique pour des polynmes ?
Rponse. On utilise la drive du polynme. Si P 2 R[X], on veut que PK ne
sannule pas sur [a, b]. On commence par supposer que P na pas de racine multiple,
alors P ^ P 0 = 1. On pose P0 = P , P1 = P 0 et Pn+1 = le reste de le division
euclidienne de Pn 1 par Pn . On sarrte au dernier polynme non nul. On vrifie
que cest une suite de Sturm.
Dveloppements
Dveloppements proposs :
Thorme de structure des polynmes symtriques, dans Ramis-DeschampsOdoux, algbre 1
Thorme de Kronecker, dans Szpirglas
Autres dveloppements possibles :
Ellipse de Steiner, dans Tissier
Comptage de racines de polynmes et formes quadratiques, dans Gantmacher
151
Aspect topologique dans Francinou-Gianella le thorme de continuit des
racines de polynmes et dans Objectif Agrgation le fait que la racine simple
dpend localement du polynme de manire C 1 et lapplication au fait que
lensemble des polynmes de Rn [X] scinds racines simples soit un ouvert.
Rsultant et discriminant dans Szpirglasla valeur du rsultant en fonction
des racines des polynmes puis la dfinition du discriminant dun polynme,
les exemples dans les cas de polynmes de degr 2 et 3, lexpression du
discriminant en fonction du rsultant, la condition sur le discriminant pour
que le polynme ait une racine multiple.
Existence de racines dans Perrin les choses sur les corps de rupture et les
corps de dcomposition : la dfinition dun corps de rupture, lexistence et
lunicit isomorphisme prs, la dfinition dun corps de dcomposition,
lexistence et lunicit isomporphisme prs. Dans Gozard des exemples.
Les fonctions symtriques lmentaires
Dans Ramis-Deschamps-Odoux la dfinition des polynmes symtriques, des
polynmes symtriques lmentaires, la dfinition du poids et les thormes
qui suivent, le lemme et le thorme de structure des polynmes symtriques
(dveloppement). Dans Gourdon les sommes de Newton et les relations coecients racines.
Comptage des racines
Par lanalyse relle dans Mignotte la dfinition dune suite de Sturm, on
introduit le nombre de variations de signes de la fonction polynme et le
thorme de Sturm, la faon de fabriquer une suite de Sturm, le thorme
de Budan-Fourier et la rgle de Descartes.
Par lanalyse complexe dans Objectif Agrgation le thorme des rsidus, dans
Rudin le thorme de Rouch et une application dans Objectif Agrgation.
Localisation des racines
Le cas rel dans Mignotte la rgle de Newton, la rgle de Lagrange et le cas
particulier de la rgle de Descartes. (Dans Mignotte la localisation de racines
sappelle lestimation de racines.)
Le cas complexe dans Mignotte le thorme pour la localisation des racines
complexes dun polynme, dans Francinou-Gianella la localisation des racines dun polynme complexe et dans Szpirglas le thorme de Kronecker
(dveloppement).
Rfrences
Ramis-Deschamps-Odoux, algbre 1
Szpirglas, Mathmatiques, algbre L3
Gourdon, Algbre
Perrin, Algbre
Mignotte, Mathmatiques pour le calcul formel
Gozard, Thorie de Galois
Objectif Agrgation
Francinou-Gianella, Exercices de mathmatiques pour lagrgation, algbre 1
Rudin, Analyse relle et complexe
Chapitre 37
151- Extensions de corps. Exemples
et applications
153
154
Remarques et questions
Question. Donner un exemple dextension non normale.
Rponse. Lextension Q ,! C nest pas une extension algbrique. Ca ne peut donc
pas tre une extension normale. On peut paussi donner un exemple
dextension
p
3
3
algbrique
non normale en considrant Q 2 : les conjugues de 2 2 R sont
p
2i
3
2e 3 2 C. On a trois corps dirents, donc on na pas une extension normale.
Question. Quels sont les sous-corps de F64 = F26 ?
Rponse. Ce sont les F2d avec d|6.
Question. Soit K un corps. Peut-on avoir des extensions finies de K de nimporte
quel degr ?
Rponse. Dans le cas dun corps fini Fp les extensions sont de la forme Fpn et sont
alors de degr n. Dans les cas des corps finis, il y a donc des extensions de tous
degrs.
Si car(K) = 0 on note P un polynme irrductible de degr n et L un corps de
rupture de P (cest une extension de degr n). La question revient donc savoir
si il existe des polynmes irrductibles de tout degr sur un tel corps. En gnral,
ce sera faux puisque par exemple sur R les polynmes irrductibles sont de degr
au plus 2.
Si on condidre maintenant un corps de caractristique p (mais pas fini) on veut
savoir si il existe des extensions de tout degr. Par thorme si le corps est algbriquement clos, ce sera faux : considrer la clture algbrique de Fp par exemple.
Question. Pour Q, est-ce quil y a des extensions de degr arbitraire ?
Rponse. On sait que les corps cyclotomiques sont de degr (n). Sinon, on remarque que pour tout n le polynme X n 2 est irrductible sur Q (par le critre
dEisenstein).
Question. Donner une extension de corps dans laquelle le thorme de llment
primitif est faux.
Remarque. Le corps ne sera ni un corps fini, ni un corps de caractristique 0.
Rponse. On considre Fp (T ). Le polynme X p T est irrductible et T est racine
1
1
multiple, de mutiplicit p. On considre maintenant lextension Fp (T p , U p ) de
Fp (T, U ). On montre quelle est de degr p2 . On commence par admettre les deux
galits suivantes :
h
i
1
1
1
p
p
p
Fp (T , U ) : Fp (T , U ) = p
h
i
1
Fp (T p , U ) : Fp (T, U ) = p
155
on aura alors
1
p
1
p
Fp (T , U ) : Fp (T, U ) = p2
Q(T, U )
P (T, U )
Qp (T, U )
T = p
P (T, U )
Q(T p , U p )
=
P (T p , U p )
T P (T p , U p ) = Q(T p , U p )
1
Tp =
1
1
Soit maintenant x 2 Fp T p , U p . Montrons que degFp (T,U ) (x) p.
On note x le polynme minimal de x sur Fp (T, U ), on a alors xp 2 Fp (T, U ) et
le polynme X p xp annule x tout en tant dans Fp (T, U )[X] avec x |X p xp et
deg(x ) p.
1
1
1
1
Conclusion : si Fp (T p , U p ) tait monogne, alors il existerait x 2 Fp (T p , U p ) tel
1
1
que Fp (T p , U p ) = Fp (T, U )(x). Or degFp (T,U ) (x ) p ce qui est impossible.
Question. Soit K un corps de caractristique 0 et K ,! L une extension finie.
o K
Dveloppements
Dveloppements proposs :
Thorme de llment primitif dans le cas des corps finis et dans le cas des
corps de caractristique nulle, dans Francinou-Gianella et Perrin.
Existence et unicit dun corps fini et caractrisation des sous-corps, dans
Gozard et Perrin.
156
157
constructible en un pas, des points constructibles, la dfinition dun rel
constructible, lensemble des rels constructibles est un sous-corps de R stable
par racine carre, des exemples et le thorme de Wantzel et son corrolaire.
Corps finis dans Perrin la caractristique dun corps fini est un nombre
premier, son cardinal est une puissance dun nombre premier, la dfinition
de lhomomorphisme de Frobenius, lexistence et lunicit des corps finis et
dans Perrin le groupe multiplicatif dun corps fini est cyclique avec dans
Gozard la description des sous-corps dun corps fini (dveloppement) puis
le thorme de llment primitif pour un corps fini et pour un corps de
caractristique nulle (dveloppement). Enfin, dans Gozard le thorme qui
permet de construire explicitement les corps finis en tant que quotient dun
corps fini par un polynme irrductible.
Rfrences
Perrin, Cours dalgbre
Gozard, Thorie de Galois
Francinou-Gianella, Exercices de mathmatiques pour lagrgation, algbre 1
Chapitre 38
201-Espaces de fonctions. Exemples
et applications
158
159
Remarques et questions
Remarque. A propos du thorme dchantillonnage de Shannon : on peut rcrire
la dernire ingalit comme une convole discrte. Les lments de BL2 ont leur
reprsentant continu qui tend vers 0 linfini. Et les fonctions de BL2 sont analytiques (le montrer avec le thorme dholomorphie sous lintgrale).
Question. Comment on dmontre le thorme de Montel ?
Question. Quelle est la dfinition dun oprateur compact ?
Question. Comment on calcule la transforme de Fourier de la Gaussienne ?
Question. Faire le calcul pour le tout dernier exemple (le problme aux limites
quon propose).
Question. Savoir faire la preuve de linversion de Fourier avec les distributions
tempres.
Dveloppements
Dveloppements proposs :
Lp est un espace de Banach pour 1 p 1 dans Brezis
densit des fonctions continues nulle part drivable dans C 0 ([0, 1]), dans
Zuily-Queelec
Autres dveloppements possibles :
Thorme dchantillonnage de Shannon, dans M. Willem Analyse harmonique relle
Thorme de Weierstrass par les polynmes de Bernstein, dans Zuily-Queelec,
Analyse pour lagrgation
Polynmes orthogonaux, dans Objectif agrgation
Thorme de Montel, dans Rudin ou dans Zuily-Queelec
160
161
des applications : dans Objectif agrgation les polynmes orthogonaux (base
Hilbertienne), on peut aussi rajouter les valeurs propres de la transforme
de Fourier dans L2 et le thorme dchantillonnage de Shannon.
Lespace H 1 Dans Brzis la dfinition de lespace H 1 , cest un Hilbert pour
la norme H 1 , la dfinition de H01 et le thorme qui dit que si u 2 H 1 alors
u 2 H01 , u = 0 sur @I et lingalit de Poincar et lexemple de rsolution
de problme au limites qui suit.
Rfrences
Chapitre 39
202- Exemples de parties denses et
applications
162
163
Remarques et questions
Pas de remarques du jury dagrg en 2010.
Dveloppements
Dveloppements proposs :
Densit dans C 0 ([0, 1]) des fonctions continues nulle part drivables, dans
Zuily-Queelec
Densit des polynmes orthogonaux, dans Objectif Agrgation
Autres dveloppements possibles
Critre de Weyl pour les suites quirparties, dans Oraux X-ENS analyse
Thorme de Stone Weierstrass dans le cas rel, dans Hirsh-Lacombe
Thorme de Weierstrass par les polynmes de Bernstein, dans Zuily-Queelec
thorme de Mntz, dans oraux X-ENS
Banach-Steinhaus et application : existence dune fonction continue dont la
srue de Fourier diverge en 0, dans Gourdon, Analyse.
164
Rfrences
Objectif Agrgation
Gourdon, Analyse
Gourdon, Algbre
Rouvire, Petit guide de calcul direntiel
Rudin, Analyse relle et complexe
Zuily-Queelec, Analyse pour lagrgation
Brezis, Analyse fonctionnelle
Chapitre 40
203-Utilisation de la notion de
compacit
165
166
Remarques et questions
Question. Donner un exemple de compact en dimension infinie.
Rponse. On peut bien sr penser limage dun compact par une injection canonique continue. (la fonction nulle est un compact de nimporte quel espace fonctionnel).
Mais un truc non trivial ?
Penser chercher un ensemble qui vrifie les hypothses du thorme dAscoli (X
un compact, et A C(X, Y ) quicontinue et 8x 2 X, {f (x)|f 2 A} est borne.
Un ensemble de fonctions r-lipschitziennes est quicontinu.
Question. Soit H un Hilbert et T : H 7! H linaire. On dit que T est compacte
1)) est compacte). Soit T
si T (B(O, 1)) est relativement compacte (i.e. T (B(0,
compacte et S continue.
Montrer que S T et T S sont compacts.
Rponse. Soit xn une suite de B(0, 1), comme H est un Hilbert (quon suppose apparemment de dimension finie, sinon cest impossible), il existe une suite extraite
x n qui converge vers x (kxk 1) et comme S est continue Sx (n) ! Sx.
Comme T est compacte, T B(O, kSk) est relativement compacte. Or Sx 2 B(O, kSk)
car
kSxk kSkkxk kSk.
Donc T SB(0, 1) est relativement compacte.
Montrons maintenant que ST B(0, 1) est relativement compacte.
T B(0, 1) est relativement compacte.
Soit (xn ) B(0, 1) Montrons que ST xn admet une sous-suite qui converge.
T compact, donc T x (n) ! y et comme S est continue ST x (n) ! Sy.
Dveloppements
Prvus
Ellipsode de John Loewner, dans Oraux X-ENS Algbre 3
Thorme de Slection de Helly, dans Oraux X-ENS Analyse 2
Autres dveloppements possibles :
167
168
Rfrences
Chapitre 41
204- Connexit. Exemples et
applications
169
170
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Il est important de prsenter des rsultats naturels dont la dmonstration utilise la connexit. Bien distinguer connexit
et connexit par arcs.
Dveloppements
Dveloppements proposs :
Thorme de Brouwer en dimension 2, dans Rouvire
SO(3) est un groupe simple, dans Oraux X-ENS, algbre
Autres dveloppements possibles :
Le thorme sur la connexit des valeurs dadhrences de certaines suites,
dans Gourdon
Surjectivit de lexponentielle, non rfrenc
171
arcs entrane connexe puis exemple dun connexe non connexe par arcs dans
lexercice 5 page 44 de Gourdon ou dans Hauchecorne
Applications aux groupes matriciels dans Mneim-Testard, la proprit qui
dit que les connexes ouverts de Mn (K) sont connexes par arcs et en consquence la connexit de GLn (C), les projecteurs de rang p dans Mn (C) et
S0(n).
Applications lanalyse
Analyse relle
1. propos de R le thorme des valeurs intermdiaires, dans Hauchecorne la remarque comme quoi la rciproque dun intervalle nest pas
forcment un intervalle, et dans Gourdon le thorme de Darboux.
2. propos des homomorphismes dans Gourdon la dfinition dun homomorphisme et la proprit comme quoi les homomorphismes changent
les composantes connexes via lexercice 8 p 47. Dire que montrer que
deux parties nont pas les mmes proprits de connexit permet de
montrer quelles ne sont pas homomorphes. En exemple, R et R2 ne
sont pas homomorphes.
3. Dans Rn dans Gourdon le thorme qui dit que si U est connexe et df
est nulle sur U alors f est constante et dans Rouvire le thorme de
Brouwer en dimension 2 (dveloppement) et les lemmes prliminaires
ncessaires.
Analyse complexe dans Objectif Agrgation la formule de Cauchy, le thorme
de prolongement analytique et principe du maximum et la formule des rsidus
(on dfinit proprement lindice des points).
Thorie des groupes dans Mneim-Testard on parle de la dcomposition polaire, on donne le thorme qui dit que si un sous-groupe est connexe et G/H
est aussi connexe, alors G est connexe. Ensuite, on donne les thormes sur
les ensembles connexes de matrices : Gln+ (R) est connexe et Gln (R) a deux
composantes connexes homomorphes, SLn (R) est connexe et lensemple des
matrices de rang p est connexe. Enfin, dans Oraux X-ENS le groupe SO3 est
simple (dveloppement).
Rfrences
Gourdon, Analyse
Hauchecorne, Les contre-exemples en mathmatiques
Mneim-Testard, Introduction la thorie des groupes de Lie classiques
Gonnord-Tosel, Topologie et analyse fonctionnelle
172
Chapitre 42
205-Espaces complets. Exemples et
applications
173
174
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Le thorme de Baire trouvera videmment sa place, mais il fait lillustrer par des applications.
Question. C 1 ([a, b]) muni de la norme kf k = kf k1 + kf 0 k1 est-il complet ?
Rponse. Soit (fn ) une suite de Cauchy pour la norme k k. Alors :
9g 2 C([a, b]), fn ! g
9h 2 C([a, b]),
fn0
kk1
!h
kk1
d)
Question. Soit (E, k k) un espace vectoriel norm, est-ce que son complt (E,
est un espace vectoriel norm ?
Rponse. Oui.
Question. Soit 2]0, 1[ et C = {f : [0, 1] ! R borne et -Hlderienne} on pose
kf k = f k1 + sup
x6=y
|f (x) f (y)|
.
|x y|
Dveloppements
Dveloppements proposs :
Thorme de Fischer-Riesz - Lp est un espace de Banach, dans Brezis
Densit dans C 0 ([0, 1]) des fonctions continues partout drivables nulle part,
dans Zuily-Queelec
Autres dveloppements possibles :
Thorme de Cauchy-Lipschitz, dans Demailly
Thorme de Baire et une application, dans Gourdon
Thorme de Banach-Steinhaus et application : existence dune fonction
continue dont la srie de Fourier diverge en un point, dans Gourdon
Thorme dchantillonnage de Shannon, dans Willem, analyse harmonique
relle
175
176
Rfrences
Albert, Topologie
Gourdon, Analyse
Hirsh-Lacombe, lments danalyse fonctionnelle
Rudin, Analyse relle et complexe
Brezis, Analyse fonctionnelle
Objectif agrgation
Zuily-Queelec, Analyse pour lagrgation
Chapitre 43
206- Thormes de point fixe.
Exemples et applications
177
178
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Les applications aux quations diffrentielles sont importantes. Il faut prparer des contre-exemples pour illustrer la
necessit des hypothses.
Question. Si f est strictement convexe, est-ce que son minimum est unique ?
Rponse. Oui, en eet si f a deux points x et y qui ralisent son minimum, on a
pour t 2]0, 1[,
f (tx + (1 t)y) < tf (x) + (1 t)f (y)
et donc on a une contradiction avec le fait que x et y ralisent le minimum de f .
Remarque. Il serait bon de connatre une application du thorme de Brouwer.
Question. A-t-on des rsultats de continuit dun point fixe par rapport un
paramtre ?
Rponse. Soit
:ER !E
(u, t) 7 ! (u, t)
on suppose continue par rapport la seconde variable, contractante par rapport
la premire variable. On note, pour chaque paramtre t, x0 (t) le point fixe. Alors,
en crivant xn+1
= (xnt , t) on a
t
k (xnt1 , t1 )
(xnt2 , t2 )k |t1
t2 |
et il fait refaire la mme preuve que pour le thorme de point fixe de Picard.
Question. Pourquoi est-ce que la solution de lquation du pendule est dfinie sur
R?
Rponse. On a u00 = sin(u) on peut utiliser le thorme des majorations priori
(f est C 1 borne) ou bien une mthode dnergie.
Question. Soit E lespace des fonctions continues sur [0, 1] valeurs dans R muni
de k k1 . On considre
X = {f 2 E|8x 2 [0, 1], f (x) 2 [ 2, 0]}
et
T :X !E
1
x 7 ! Tf : x 7!
2
f (y) sin
0
x
2
dy
Montrer que X est ferm dans E puis que T admet un unique point fixe.
179
Dveloppements
Dveloppements proposs :
Thorme de Stampacchia, dans Brezis
Thorme de Brouwer en dimensions 2, dans Gonnord-Tosel
Autres dveloppements possibles :
Thorme de Cauchy-Lipschitz, dans Demailly
Thorme ergodique de von Neumann, dans Objectif Agrgation
Convergence de la mthode de relaxation pour les matrices hermitiennes
dfinies positives, dans Ciarlet
Sous-groupes compacts de GLn (R) dans Alessandri
180
mais il nest pas nonc dans le cadre dun espace mtrique compact mais
seulement dans le cas dun espace norm compact) un contre-exemple dans
le cas o lespace de dpart est seulement suppos complet. Dans Rombaldi
le thorme qui dit que sur une partie convexe compacte, une application 1lipschitzienne admet au moins un point fixe (faire une remarque comme quoi
on na pas unicit en fait, par exemple prendre lidentit qui a une infinit
de points fixes).
Applications continues dans Gonnord-Tosel le lemme prliminaire au thorme de Brouwer en dimension 2 puis le thorme (dveloppement). Ca serait
bien de trouver une application.
Rsolution approche de F (x) = 0
Introduction on explique comment on se ramne rsoudre f (x) = x en
posant f (x) = F (x) + x et en adaptant pour obtenir les proprits quon
veut sur f pour pouvoir appliquer les thormes.
Points fixes attractifs et rpulsifs dans Demailly la classification des points
fixes et en exemple du cas douteux, ltude de la suite xn+1 = 1
x2n dans
Oraux X-ENS 1.
Exemple de la mthode de Newton dans Demailly lexemple de la mthode
de Newton (dire quil sagit dun point fixe superattractif). Il y a plus de
dtails sur la vitesse de convergence dans Rouvire. Il faut faire un schma
en annexe. Dans lidal, il faut trouver des contre-exemples pour les cas o
on enlve des hypothses Newton.
Rsolution de systmes linaires par des mthodes itratives dans Ciarlet
on expose la rsolution dun systme linaire, et le thorme qui donne la
convergence de la mthode dans le cas o la norme de la matrice B est
strictement infrieure 1. On pose les matrices D, E et F . Ensuite on donne
les matrices M et N dans les cas des mthodes de Jacobi, Gauss-Seidel et
relaxation puis enfin le thorme de convergence de la mthode de relaxation
dans le cas des matrices hermitiennes dfinies positives.
Rfrences
Brezis, Analyse fonctionnelle
Gonnord-Tosel, Topologie et analyse fonctionnelle
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Demailly, Analyse numrique et quations direntielles
Ciarlet, Introduction lanalyse numrique matricielle
Gourdon, Analyse
Rombaldi, lments danalyse relle
181
Francinou-Gianella-Nicolas, Oraux X-ENS analyse 1
Chapitre 44
207-Prolongement de fonctions.
Exemples et applications
182
183
Remarques et questions
Remarque. Remarques du jury dagrg
Les questions lies au prolongement analytique font partie de la leon
Question. Dans le Hirsh-Lacombe, page 55
Soit (X, d) un espace mtrique, A X, A 6= et g : A ! R, C-Lipschitzienne. On
pose 8x 2 X, f (x) = inf {g(u) + Cd(u, x)}.
u2A
Rponse. On commence par montrer que f est bien dfinie. On fixe u0 2 A. Alors,
8u 2 A
|g(u)
g(u0 )| Cd(u, u0 )
g(u0 ) g(u) + Cd(u, x)Cd(x, u0 )
|g(a)
g(u)| Cd(u, a)
g(a) g(u) + Cd(u, a) et ce 8u 2 A
g(u) f (a)
g = f|A
Question. Calcul de ( 12 ).
1
Rponse. Le calcul seectue de la manire classique en mettant
p ( 2 ) au carr et
en faisant un changement de variables en polaires. On trouve .
184
Question. Calculer
1
dx.
2 2
R (1 + x )
Question prliminaire : Calculer la transforme de Fourier de
I=
g(x) = e
2|x|
2 L2 (R).
R+
1
1
+
2(1 i) 2(1 + i)
1
1
=
1 + 2
=
Et donc,
1
dx
2 2
R (1 + x )
= k
g k2L2 (R)
I=
= 2 k
g k2L2 (R)
= 2 kgk2L2 (R)
Z
2
=
e 4|x| dx
=
2
Dveloppements
Dveloppements prsents :
Prolongement de la fonction , dans Zuily-Quelec
Thorme dAbel angulaire et thorme Taubrien faible, dans Gourdon
Autres dveloppements possibles :
Lemme de Borel, dans Zuily-Quelec ou Rouvire
Thorme de Plancherel, dans Rudin
Thorme de Tiezte, dans Zuily-Quelec
185
186
Rfrences
Chapitre 45
208-Espaces vectoriels norms.
Applications linaires continues.
Exemples.
187
188
Remarques et questions
Remarque. Remarques du jury dagrg
La justification de la compacit de la boule unit en dimension finie doit tre
donne.
Question. On sait que C([a, b], R, kk 1 ) est complet. Un autre exemple de norme
qui rende cet espace complet ?
=1
n
X
kPn k1 =
|ai |
i=0
=n
189
Question (A propos des oprateurs compacts). Est-ce quon peut parler doprateurs compacts sur dautres espaces que les Hilbert ? Donner un exemple doprateur compact.
Rponse. Oui, mais le thorme spectral est faux. Donc cest moins intressant
dans le cadre de la leon.
Les oprateurs noyau sont des oprateurs compacts. Si K 2 L2 ([0, 1]2 , ) et
pour f 2 L2 ([0, 1]),
K : f 7!
Par le thorme de Fubini, on a K(x, ) 2 L2 ([0, 1]). Ce qui nous assure que K est
bien dfinie.
Si, de plus, on considre K 2 C([0, 1]2 ) on obtient un oprateur de C([0, 1]) dans
lui-mme. On va montrer que la boule unit est envoye dans un compact pour
montrer quil sagit alors dun oprateur compact. Pour caractriser les compacts
des fonctions continues, on utilise le thorme dAscoli. Do vient lquicontinuit
des Kf pour kf k 1 ?
|Kf (x)
Kf (y)|
1
0
|K(x, t)
Dveloppements
Dveloppements proposs :
Lp est un Banach, dans Brzis
Banach Steinhaus et existence dune fonction continue dont la srie de Fourier
diverge en un point, dans Gourdon, analyse
Autres dveloppements possibles :
Thorme dchantillonnage de Shannon (Willem) cest des probas
190
Espaces de Banach
Premires proprits dans Gourdon la dfinition dun espace de Banach, le
thorme qui dit que les applications linaires continues valeurs dans un
espace de Banach sont un Banach, en consquence le thorme qui dit que
si la convergence absolue dune srie entraine sa convergence lespace est
complet (un sens est crit dans Pommelet). Dans Gourdon la dfinition du
dual topologique dun evn et le fait que cest un Banach.
Thorme de Baire et applications dans Gourdon le thorme de Baire et les
applications dont le thorme de Banach-Steinhaus et lexistence dune fonction continue dont la srie de Fourier diverge en un point (dveloppement).
On peut aussi rajouter le fait quun EVN qui admet une base dnombrable
nest pas complet et la densit dans C 0 ([0, 1]) des fonctions continues partout
et drivables nulle part.
Espaces Lp Dans Brzis la dfinition des espaces Lp , lingalit de Hlder et,
thorme de Riesz-Fischer (dveloppement) et la proposition pour le dual de
Lp .
Espaces de Hilbert
Gnralits. Dans Objectif Agrgation la dfinition dun espace prhilbertien et dun espace de Hilbert. Lingalit de Cauchy-Schwartz, lidentit du
paralllogramme, lingalit de Minkowski (lingalit triangulaire pour la
norme associe au produit scalaire) et des exemples despaces de Hilbert.
Lorthogonalit.
191
Applications linaires sur un espace de Hilbert dans Objectif Agrgation, la
proprit de projection sur un sous-espace ferm. Le thorme de reprsentation de Riesz.
Bases Hilbertiennes Dans Objectif Agrgation la dfinition et la caractrisation, tout espace de Hilbert sparable admet une base Hilbertienne et un
exemple avec les sries de Fourier et les polynmes orthogonaux.
Rfrences
Gourdon, Analyse
Pommelet, Cours danalyse
Objectif Agrgation
Mneim-Testard, Groupes de Lie classiques
Brzis, Analyse fonctionnelle
Rudin, Analyse relle et complexe
Chapitre 46
213 - Espaces de Hilbert. Bases
Hilbertiennes. Exemples et
applications
192
193
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Il est important de faire la dirence entre base algbrique et base hilbertienne. Il faut connatre quelques critres
simples pour quune famille orthogonale forme une base hilbertienne. Le thorme de projection sur les convexes ferms (ou sur un sous-espace vectoriel ferm)
dun espace de Hilbert H est rgulirement mentionn. En revanche, la possibilit de construire le-dit projet dans le cas particulier dun sous-espace vectoriel
de dimension finie semble inconnue de1nombreux candidats. 1
Les candidats doivent
P
P
2
sintresser au sens des formules x =
(x|en )en et kxk =
(x|en )2 en prcisant
n=0
n=0
On crit :
kun k2 = hu un |ui + hun |ui
kun k2 hu un |ui + kukkun k
lim inf kun kkuk.
n
Question. Soit
muni de la norme
B 1 (R) = {
2 H 1 |x
2 2 },
194
On a
on a x
p!1
D
car
L2
p
! donc x
p!1
!
p
et donc x
! x . De mme, comme x
p!1
D
= . Et on a la convergence dans L2 ?
L2
p
Comme 2 L2 , cest une forme linaire continue sur L2 et par thorme de Riesz,
L2
9u 2 L2 (R) tel que = hu|i et u = x convient donc = x .
Dveloppements
Dveloppements proposs :
Thorme de Stampacchia, dans Brzis
Densit des polynmes orthogonaux, dans Objectif Agrgation
Autres dveloppements possibles :
Dcomposition spectrale des oprateurs autoadjoints compacts dans un Hilbert, dans Brzis (chaud)
Thorme dchantillonnage de Shannon, dans Willem
Thorme ergodique de Von Neumann, dans Objectif Agrgation
195
Applications du thorme dans Objectif agrgation, on peut parler du dual
des Lp (mais il faut savoir justifier en quoi a a sa place), citer le thorme de
Hahn-Banach analytique dans le cas Hilbert et les thormes de Stampacchia
(dveloppement) et Lax-Milgram dans Brzis.
Convergence faible dans un espace de Hilbert dans Hirsch-Lacombe la dfinition de la convergence faible et le thorme qui dit que de toute suite borne
de H on peut extraire une sous-suite faiblement convergente.
Applications
Oprateurs compacts dans Brzis la dfinition dun oprateur compact, lalternative de Fredholm et la dcomposition spectrale des oprateurs autoadjoints compacts sur les espaces de Hilbert.
Sries de Fourier Dans Objectif Agrgation on introduit les notations et on
enchaine sur le paragraphe sur laspect hilbertien des sries de Fourier, et le
thorme qui dit que la famille (en )n2Z est totale dans L2 .
Rfrences
Objectif agrgation
Hirsch-Lacombe, lments danalyse fonctionnelle
Brzis, Analyse fonctionnelle
Chapitre 47
214- Thorme dinversion locale,
thorme des fonctions implicites.
Exemples et applications
196
197
Remarques et questions
Remarque (Remarques du jury dagrg 2010). On attend des applications en gomtrie direntielle (notamment dans la formulation des multiplicateurs de Lagrange). Rappelons que les sous-varits sont au programme.
Question. Est-ce quil y a des fonctions R ! R, C 1 , bijectives sans que leur inverse
soit C 1 ?
f :R ! R
x + x2 sin
x7 !
0
si x 6= 0
si x = 0
x!0
f (x)
f (0)
x
= 1,
1 + 2x sin x cos x si x 6= 0
0
f (x) =
1
si x = 0,
on peut montrer en utilisant les suites xk = k1 et xk = k2 que f 0 nest pas continue
en 0. Ensuite, on montre que f nest pas localement injective en 0 pour montrer
que f nest pas inversible en 0.
198
Dveloppements
Dveloppements proposs :
Lemme de Morse, dans Rouvire
Thorme des extrmas lis, dans Gourdon
Autres dveloppements possibles :
Thorme de Hadamard Lvy, dans Rouvire
199
quations aux drives partielles dans Rouvire, lquation de Burgers et la
mthode de rsolution.
Sous-varits
Dfinitions Dans Rouvire la dfinition de lisse et de sous-varit, des premiers exemples (donns dans Rouvire) avec des dessins en annexe, et lexemple
du cne qui nest pas une sous-varit. dans Rouvire le thorme des sousvarits (en mettant 8a peut-tre), et quelques exemples. Prciser quels thormes viennent du thorme dinversion locale ou des fonctions implicites
(cest dit dans la preuve dans Rouvire)
Exemples Dans Rouvire lexercice sur les surfaces de R3 , et les exemples
sur les groupes de matrices, qui sont plus dvelopps dans Mneim-Testard.
Dans Mneim-Testard il y a un thorme plus gnral sur les sous-varits
dans les expaces de matrices, mais je ne sais pas si a vaut le coup.
Rfrences
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Gourdon, Analyse
Objectif Agrgation
Mneim-Testard, Introduction la thorie des groupes de Lie classiques
Chapitre 48
215- Applications direntiables
dfinies sur un ouvert de Rn.
Exemples et applications
200
201
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Il faudrait que les candidats lAgrgation sachent que les direntielles dordre suprieur dk f (a) dfinissent des applications k-linaires (sur quel espace ?). Il faut savoir calculer, sur des exemples
simples, la direntielle dune fonction ou eectuer un dveloppement limit
lordre 1 dune fonction.
Question. Dans le cas de la recherche dextremum sur un ouvert en dimension 2,
faire les schmas de ce quon peut obtenir.
Rponse. Il faut en fait considrer la matrice hessienne de la fonction, la diagonaliser et rpondre en fonction des valeurs propres quon trouve.
Question. En quoi linversion est-elle intressante ?
Rponse. Linversion est conforme.
Question. Sur la direntielle, comment montre-t-on quune application
les angles ?
Rponse. Si
conserve
Dveloppements
Dveloppements proposs :
Thorme des extrmas lis, dans Gourdon
Lemme de Morse, dans Rouvire
Autres dveloppements possibles :
Thorme des fonctions implicites, dans Gourdon
Thorme de Hadamard-Lvy, dans Zuily-Quelec
202
203
Rouvire linterprtation gomtrique des multiplicateurs de Lagrange.
Rfrences
Rouvire, Petit guide du calcul direntiel lusage de la licence et de lagrgation
Gourdon, Analyse
Objectif Agrgation
Cartan, Calcul direntiel
Chapitre 49
216-Etude mtrique des courbes.
Exemples
204
205
Remarques et questions
Remarque. Aucune remarque du Jury en 2011.
Daprs F. DalBo, il est important de ne pas oublier laspect gomtrique du
problme (ne pas se lancer tte baisse dans des calculs).
Il est impratif de prvoir une feuille dannexe avec des schmas.
Question. Soient C1 et C2 deux courbes avec mme courbure 1 = 2 et torsion
1 = 2 . Montrer quil existe un dplacement de R3 qui envoie C1 sur C2 .
Question. Dmontrer que lorsquon paramtre par labscisse curviligne, on est dans
un paramtrage normal.
Rponse. Soit f le paramtrage de la courbe et s labscisse curviligne.
(f s 1 )0 = (s 1 )0 f 0 (s 1 )
k(f s 1 )0 k = k(s 1 )0 k.kf 0 ((s 1 )0 )k
Question. Donner le vecteur vitesse dune courbe paramtre. Justifier.
Rponse. A priori, la rponse sera f 0 (t) sauf en les points singuliers. Il faut le
vrifier. Soit
f : I ! R2 C 1
t 7! (x(t), y(t))
et soit t0 tel que (x0 (t0 ), y 0 (t0 )) = (0, 0). Quelle est la tangente en t0 ? On fait un
dveloppement limit au voisinage de t0 :
f (t0 + h) = f (t0 ) + hf 0 (t0 ) +
h2 00
hn
f (t0 ) + + f (n) (t0 ) + o(hn )
2
n!
206
Question. Est-ce que lingalit isoprimtrique est vrifie avec une ellipse ? Aire
dune ellipse ? Primtre dune ellipse ?
Rponse. On prend comme paramtrage pour lellipse :
x(t) = a cos t
y(t) = b sin t
Il faut aussi justifier quil sagit dune ellipse et quune ellipse peut toujours tre
mise sous cette forme. A finir
Question. Donner une interprtation du cercle osculateur.
Dveloppements
Dveloppements proposs :
Lingalit isoprimtrique, dans Zuily-Queelec
Ltude de lAstrode, dans Monier, Gomtrie MP PSI PC PT
Autres dveloppements possibles :
Le thorme fondamental dans R3 , dans Berger-Gostiaux
Le thorme des quatre sommets, dans Berger-Gostiaux
207
Position de la courbe par rapport sa tangente avec des schmas dans Audin
Dveloppes, dveloppantes dans Monier les dfinitions et application lAstrode (dveloppement).
Courbes gauches (n = 3)
Courbure On garde la dfinition, mais un cercle et une hlice ont mme
courbure.
tridre de Frnet-Serr dans Berger-Gostiaux la dfinition du tridre de
Frnt-Serr et de la torsion. Les formules qui les lient. Dans Monier des
exemples (notamment les hlices).
Second thorme fondamental et application dans Berger-Gostiaux le second
thorme fondamental etlapplication : une courbe gauche qui a une torsion
et une courbure constante (non nulles) est une portion dhlice.
Rfrences
Monier, Gomtrie MP PSI PC PT
Berger-Gostiaux, Gomtrie direntielle
Audin, Geomtrie
Chapitre 50
217- Sous varits de Rn. Exemples
208
209
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Cette leon na pas eu beaucoup
de succs, cest bien dommage. Elle ne saurait tre rduite un cours de gomtrie direntielle abstraite ; ce serait un contresens. Le jury attend une leon
concrte, montrant une comprhension gomtrique locale. Aucune notion globale
nest exigible, ni de notion de varit abstraite. Le candidat doit pouvoir tre capable de donner plusieurs reprsentations locales (paramtriques, quations, etc) et
dillustrer la notion despace tangent sur des exemples classiques. Le jury invite les
candidats rflchir la pertinence de lintroduction de la notion de sous-varits.
En ce qui concerne les surfaces de R3 , les candidats sont invits rflchir aux notions de formes quadratiques fondamentales et leurs interprtations gomtrique.
Le thorme des extrema lis peut tre voqu dans cette leon. Les groupes classiques donnent des exemples utiles de sous-varits.
Question. Pourquoi est-ce que la valeur absolue nest pas une varit de classe 0 ?
Rponse. Parce quune varit de classe 0 nexiste pas. Il faut tre au moins de
classe C 1 .
Dveloppements
Dveloppements proposs :
Le thorme des extrema lis, dans Gourdon
2
Deux exemples de sous-varits de Rn , dans Rouvire
Autres dveloppements possibles :
Thorme de Cartan von Neuman, dans Gonnord-Tosel, Calcul direntiel
Ingalit dHadamard par les extrema lis, dans Gonnord-Tosel, Calcul diffrentiel
Thorme de dAlembert, dans Lafontaine, introduction aux varits direntielles
210
Rfrences
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Lafontaine, Introduction aux varits direntielles
Gourdon, Analyse
Mneim-Testard, Groupes de Lie classiques
Chapitre 51
218- Applications des formules de
Taylor
211
212
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Il faut connatre les formules de
Taylor des polynmes et certains dveloppements trs classiques. Il y a de trs
nombreuses applications en gomtrie et probabilits (le thorme central limite).
On peut aussi penser la mthode de Laplace, du col, de la phase stationnaire ou
aux ingalits kf k(k) 2k(n k)/2 kf k1 k/n kf (n) kk/n (lorsque f et sa drive n-ime
sont bornes). On soignera particulirement le choix des dveloppements.
Question. Comment on dmontre Taylor avec reste intgral ?
Rponse. Par rcurrence et en utilisant les formules dintgration par parties.
Question. Quelques questions sur les polynmes de Bernoulli.
Question. crire la formule de Taylor lordre 3 en 0 pour une fonction de trois
variables (et le tout bien explicitement en fonction des drives partielles).
Question. Soient a, b, c 2 Z tels que a e2 + b e + c = 0. Montrer que a = b = c = 0.
Dveloppements
Dvelopppements proposs :
Lemme de Morse, dans Rouvire
Mthode de Newton, dans Rouvire
Autres dveloppements possibles :
Thorme central limite, dans Zuily-Quelec
Ingalitsde Kolmogorov, dans Gourdon
Thorme de Bernstein, dans Gourdon
Lemme de Borel, dans Zuily-Quelec
Dcomposition eective de Dunford, dans Risler-Boyer, Algbre pour la licence 3
Formule dEuler Mac Laurin, dans Gourdon
213
Formule de Taylor pour les polynmes la dfinition dune fonction polynmiale, le thorme qui dit quune fonction est polynmiale si et seulement si
son reste de Taylor est nul partir dun certain rang.
Formule de Taylor avec reste intgral dans Cartan
Formule de Taylor Lagrange dans Cartan.
Formule de Taylor Young dans Cartan et application : existence de dveloppements limits.
Applications en gomtrie
Convexit, extrema dans Gourdon le thorme qui dit quune fonction est
convexe si et seulement si sa matrice Hessienne est dfinie positive sur lensemble de dfinition de la fonction. Dans Rouvire ltude ane dune surface : condition sur la Hessienne pour avoir un minimum local strict ou pas
strict (cest le thorme 7 1).
tude ane locale dune courbe plane dans Rouvire laspect local des arcs
au voisinage du paramtre t et les dessins des dirents cas qui peuvent se
produire.
Thormes dinversion dans Rouvire le thorme dinversion locale, et des
applications (par exemple la rsolution locale dquations) puis le thorme
dinversion globale et le thorme des fonctions implicites. On remarque que
le thorme est aussi vrai dans le cas des fonctions C k et en application on
peut parler du paramtrage des sous-varits (cest juste aprs dans Rouvire).
Lemme de Morse dans Rouvire le lemme prliminaire et le lemme de Morse
(dveloppement).
Applications en analyse et topologie
quivalents et vitesse de convergence Dans Oraux X-ENS, analyse 1 le thorme qui donne un quivalent des suites un+1 = f (un ) dans le cas o f (x) =
x ax + o(x ) au voisinage de O. Mais attention, le thorme nest pas
nonc et les calculs restent faire !
Thorme de Darboux dans Oraux X-ENS analyse 1, la dmonstration utilise
le thorme des accroissements finis.
Ingalit de Kolmogorov dans Oraux X-ENS, analyse 1 lingalit de Kolmogorov.
Lemme de Borel dans Zuily-Quelec on peut parler du lemme de Borel pour
montrer quon peut trouver une fonction pour tout dveloppement de Taylor.
Applications en analyse numrique
Mthode de Newton dans Rouvire la mthode de Newton, en application,
on peut mettre le calcul de racines carres ou la mthode eective pour la
dcomposition de Dunford.
Intgration numrique Dans Crouzeix-Mignot lexplication des mthodes de
214
Rfrences
Gourdon, Analyse
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Cartan, Calcul direntiel
Francinou-Gianella-Nicolas, Oraux X-ENS, analyse 1
Demailly, Analyse numrique et quations direntielles
Crouzeix-Mignot,
Zuily-Quelec, Analyse pour lagrgation
Ouvrard, Probabilits, 2
Chapitre 52
219- Problmes dextremums
215
216
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Bien faire la dirence entre proprits locales (caractrisations dun extrmum) et globales (existence).
Remarque. propos des extrma lis, donner un exemple pratique dutilisation
(en fait, cest compliqu et en vrai, en pratique a ne sutilise pas trop). Il y en
a une dans Gourdon o on explique que les lments de SOn sont les lments
de SLn qui minimisent la trace. Mais lexercice nest pas totalement vident, il
faut tre sr de savoir le faire pour en parler (ceci dit, a peut se rutiliser plein
dendroits).
Remarque. Dire en quel sens il y a unicit dans John-Loewner.
Remarque. Par le thorme dAscoli, on peut construire des compacts non triviaux
en dimension infinie. Les rsultats dexistence dextremum sur les compacts sont
donc aussi vrais en dimension infinie.
Dveloppements
Dveloppements proposs :
Ellipsode de John-Loewner, dans Oraux X-ENS algbre 3
Thorme des extrema lis, dans Gourdon
Autres dveloppements possibles :
Mthode du gradient pas optimal, dans Ramis-Warusfel
217
Conditions du premier ordre dans Objectif Agrgation la condition ncessaire
de minimalit locale, un contre-exemple puis dans Gourdon le thorme de
Rolle et le thorme de Darboux avec si possible des applications.
Conditions du second ordre dans Gourdon la caractrisation des minima et
maxima locaux laide de la matrice Hessienne (parler des points selle aussi,
et faire des dessins), des exemples dans Objectif Agrgation et dans Objectif
Agrgation ce qui se passe lordre suprieur.
Optimisation sous contrainte dans Gourdon le thorme des extrema lis
(dveloppement) et lapplication au fait que SOn est lensemble des matrices
de SLn qui minimisent la trace (lapplication est aussi dans Objectif Agrgation). Dans Rouvire, linterprtation gomtrique des multiplicateurs de
Lagrange.
Optimisation numrique
Mthodes de descente dans Ciarlet les gnralits sur les mthodes de descente.
Cas particulier : mthode du gradient pas optimal dans Ramis-Warusfel
le cas particulier de la mthode de gradient pas optimal pour rsoudre
Ax = b.
Mthodes itratives de rsolution de systmes linaires dans Ciarlet la description gnrale des mthodes itratives, on dit que a converge avec la
condition sur la matrice B, puis on donne les matrices D, E et F et dans
les cas des mthodes de Jacobi, Gauss-Seidel et de relaxation, les matrices
M et N et le thorme de convergence de la mthode de relaxation pour les
matrices hermitiennes dfinies positives, avec le lemme avant.
Mthode de Newton dans Rouvire la mthode de Newton avec un dessin,
lexplication et les rsultats de convergence.
Rfrences
Gourdon, Analyse
Francinou-Gianella-Nicolas, Oraux X-ENS algbre 3
Objectif Agrgation
Brezis, Analyse fonctionnelle
Ciarlet, Introduction lanalyse matricielle et loptimisation
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Demailly, Analyse numrique et quations direntielles
Chapitre 53
220- quations direntielles
X 0 = f (t, X). Exemples dtudes
qualitatives des solutions
218
219
Remarques et questions
Remarque (Remarques du jury dagrg). Le lemme de Gronwall semble trouver
toute sa place dans cette leon mais est rarement nonc. Lutilisation du thorme
de Cauchy-Lipschitz doit pouvoir tre mise en oeuvre sur des exemples concrets.
Les tudes qualitatives doivent tre prpares et soignes.
Dveloppements
Dveloppements proposs :
Liapunov, dans Rouvire
tude de lquation de Hill-Mathieu, dans Gourdon - Analyse
Autres dveloppements possibles
Lokta Volterra dans Madre, dveloppements danalyse
Thorme de Hadamard, dans Zuily-Queelec (la preuve utilise des quadis)
0 1
0
y =
1 0
Et on applique les direntes mthodes : euler explicite, implicite et point
milieu (cf Crouzeix-Mignot pour a).
Rfrences
Demailly, Analyse numrique des quations direntielles
Crouzeix Mignot, Analyse numrique des quations direntielles
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation. Pour Liapunov.
Madre, Dveloppements danalyse Pour Lotka-Volterra
Chapitre 54
221-Equations direntielles
linaires. Systmes direntiels
linaires. Exemples et applications
221
Remarques et questions
Remarque. Remarques du jury dagrg :
Le cas des systmes coecients constants fait appel la rduction des
matrices qui doit tre connue et pratique.
Lutilisation des exponentielles de matrices doit pouvoir sexpliquer.
Dans le cas gnral, on peut voquer les gnralisations de lexponentielle
(rsolvante) via les intgrales itres.
Question ( propos de la structure de lespace des solutions). Est-il vrai que lespace des solutions est un sous-espace vectoriel de C 0 ? Pourquoi a-t-on
t0
: S ! Kn
Y 7! Y (t0 )
223
Dveloppements
Dveloppements proposs :
tude de lquation direntielle y + q(t)y = 0. (Dans Gourdon Analyse)
Thorme de stabilit de Liapounov (dans Rouvire)
Autres dveloppements possibles :
Thorme de Cauchy-Lipschitz (et application au cas linaire) Demailly
Un exemple de rsolution dune quadi en utilisant le dveloppement en
srie entire.
Etude dun systme physique Demailly
Rfrences
Gourdon, Analyse
Demailly, Analyse numrique et quations direntielles
Pommelet, Cours danalyse
Chapitre 55
223-Convergence des suites
numriques. Exemples et
applications
225
226
Remarques et questions
Remarque. Pas de remarques du jury pour cette leon en 2010.
Question. Parler un peu du cas douteux des points fixes dune suite rcurrente.
Pour quelles valeurs de la suite un = cos(n) converge ?
Rponse. Voir ce qui est racont dans Demailly.
Si = 2k alors la suite est constante. Sinon ? On peut extraire des sous-suites
qui convergent. La suite pour = 2 ne converge pas.
Question. Que dire dune suite relle qui possde une seule valeur dadhrence ?
Rponse. Elle converge vers cette valeur dadhrence si elle est borne. Si la suite
nest pas borne, on ne peut rien dire :
u2n = 0
u2n+1 = n
na quune seule valeur dadhrence mais ne converge pas.
Question. Montrer que si une suite (un ) est borne et na quune seule valeur
dadhrence, elle converge.
Rponse. Si la suite converge, elle converge vers a la valeur dadhrence de la suite.
Supposons que (un ) ne converge pas vers a. Alors
8 > 0, 8N 2 N, 9n 2 N, n > N, |un
a| >
Et donc on cre une sous-suite extraite u (n) qui na pas a comme valeur dadhrence. Or cest encore une suite borne de R donc elle admet b 6= a une valeur
dadhrence qui est donc encore une valeur dadhrence de un . Ce qui est impossible. Donc un converge.
Question. Soit un+1 =
de cette suite.
un
,
1+u2n
227
On pose vn = uan on a alors :
vn
(1 + u2n )a
vn
=
2
1 + aun + o(u2n )
= uan (1 au2n + o(u2n ))
= uan au2+a
+ o(u2+a
n
n )
a
1+a
2+a
un = aun + o(un )
vn+1 = vn vn u2n + o(1)
vn+1 =
uan+1
On prend a =
2 alors
vn+1
on pose wn = vn+1
et ainsi
vn
n
vn alors
1
n
n
P
k=0
vn = 2 + o(1)
v0 ) ! 2
Dveloppements
Dveloppements proposs :
Critre de Weyl, dans Oraux X-ENS, analyse 2
Mthode de Newton, Rouvire
Autres dveloppements possibles :
Thorme taubrien fort
Critre de Weyl
Formule dEuler-Mac Laurin et application au dveloppement asymptotique
de la srie harmonique.
Thorme taubrien faible et abel angulaire, Gourdon, Analyse
228
Rfrences
Gourdon, Analyse
Pommelet, Cours danalyse
Zuily-Queelec, lments danalyse pour lagrgation
Ramis-Warusfel, Cours de mathmatiques pures et appliques
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Francinou-Gianella-Nicolas, Oraux X-ENS, Analyse 2
Chapitre 56
224- Comportement asymptotique
de suites numriques. Rapidit de
convergence. Exemples
229
230
Remarques et questions
Remarque. Pas de remarques du jury dagrg en 2010.
Question. Comment on dmontre la formule de Stirling ?
n
P
1
Question. Montrer que
ln n converge. Estimer la vitesse de convergence.
k
k=1
Dveloppements
Dveloppements proposs :
Mthode de Newton, dans Rouvire
Critre de Weyl, dans Oraux X-ENS, analyse 2
Autres dveloppements possibles :
Thorme de Raab-Duhamel
231
Rcurrence linaire coecients constants dans Gourdon le thorme sur
les suites rcurrentes linaires coecients constants.
Formule dEuler Mac Laurin et dveloppements asymptotiques Pour faire
des dveloppements asymptotiques de suites, il est parfois utile dutiliser la
formule dEuler Mac Laurin. Dans Demailly la dfinition des polynmes de
Bernoulli et la formule dEuler Mac Laurin.
Applications
Mthodes numriques Dans Rouvire la mthode de Newton (dveloppement) et dans Demailly la mthode de la scante. Si il y a encore de la
place, parler aussi de la mthode des trapzes pour lintgration numrique.
Suites quidistribues dans Oraux X-ENS, analyse 2, la dfinition dune suite
quidistribue et le critre de Weyl (dveloppement).
Probabilits dans Zuily-Quelec le thorme central limite et la loi forte des
grands nombres. Si on a la foi, on rajoute lestimation des grands carts qui
est dans Lesigne.
Rfrences
Gourdon, Analyse
Hauchecorne, Les contre-exemples en mathmatiques
Demailly, Analyse numrique et quations direntielles
Rombaldi, lments danalyse relle
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Francinou-Gianella-Nicolas, Oraux X-ENS, analyse 2
Francinou-Gianella-Nicolas, Oraux X-ENS, analyse 1
Zuily-Quelec, Analyse pour lagrgation
Lesigne, Pile ou face
Chapitre 57
226-Comportement dune suite relle
ou vectorielle dfinie par une
itration un+1 = f (un). Exemples
232
233
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Le jury attend dautres exemples
que la traditionnelle suite rcurrente un+1 = sin(un ). Ltude des suites homographiques pose des problmes si on se restreint R ou C. Il ne faut pas ngliger la
recherche pralable de sous-ensembles (intervalles) stables par f .
Dveloppements
Dveloppements proposs :
Mthode de Newton, dans Rouvire
tude de la suite xn+1 = 1
x2n , dans Oraux X-ENS, analyse 1
Autres dveloppements possibles :
Thorme de Sarkowski, dans Oraux X-ENS
Processus de Galton-Watson
Mthode du gradient pas optimal, dans Ramis-Warusfel
Rfrences
Gourdon, Analyse
Francinou-Gianella-Nicolas, Oraux X-ENS, analyse 1
Rombaldi, lments danalyse relle et complexe
Demailly, Analyse numrique et quations direntielles
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Chapitre 58
228-Continuit et drivabilit de
fonctions relles dune variable
relle. Exemples et contre-exemples
235
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Un plan dcoup en deux parties
(I- Continuit II- Drivabilit) nest pas le mieux adapt. Enfin, les applications
du thorme dAscoli (par exemple les oprateurs intgraux noyau continu), le
thorme de Peano, etc sont les bienvenus.
Dveloppements
Dveloppements proposs :
Densit dans C 0 ([0, 1]) des fonctions continues drivables nulle part, dans
Zuily-Quelec
Thorme de majoration des drives, dans Rombaldi
Autres dveloppements possibles :
Construction de la fonction de Lebesgue, dans Briane-Pags
Le thorme de Weierstrass, dans Zuily-Quelec
Un exemples de fonction continue nulle par drivable, dans Gourdon
Lensemble des points de continuit dune fonction est une intersection dnombrable douverts
237
Thorme des accroissements finis dans Gourdon le thorme des accroissements finis et le thorme des accroissements finis gnralis. En consquence,
la rgle de lHospital. En application dans Rombaldi lapplication au sens de
variation dune fonction.
Formules de Taylor dans Gourdon les formules de Taylor et en application,
lexistence de dveloppements limits, les dveloppements en srie entire,
la majoration des drives (dveloppement), lingalit de Kolmogorov dans
Rombaldi
Suites de fonctions
Rgularit dune limite de suite de fonctions dans Gourdon le thorme de
continuit de la fonction limite, le thorme de drivabilit de la fonction
limite. Des contre-exemples dans Hauchecorne.
Thorme de Weierstrass dans Gourdon le thorme de Weierstrass, insister
sur le fait que cest une consquence des thormes prcdents.
Exemples
Fonctions lipschitziennes et uniforme continuit dans Gourdon la dfinition
des fonctions lipschitziennes, elles sont uniformment continues. Et dans
Rombaldi un exemple.
Fonctions monotones dans Pommelet le thorme qui dit que les fonctions
monotones sont drivables presque partout (admis)
Fonctions convexes dans Gourdon les proprits des fonctions convexes, des
applications.
Espaces de fonctions continues sur un compact dans Zuily-Quelec le thorme dAscoli et en application le thorme de Peano. (On peut aussi dire
que ce thorme nous donne des parties compactes non triviales de dimension
infinie)
Intgrales dans Hauchecorne le thorme dexistence de primitives, le thorme de drivation dune intgrale, les thormes de continuit et de drivabilit sous lintgrale, des contre-exemples simples dans Hauchecorne et la
fonction de Lebesgue dans Briane-Pags.
Rfrences
Gourdon, Analyse
Pommelet, Cours danayse
Rombaldi, lments danalyse relle
Briane-Pags, Thorie de lintgration
Hauchecorne, Les contre-exemples en mathmatiques
Zuily-Quelec, Analyse pour lagrgation
Chapitre 59
229-Fonctions monotones. Fonctions
convexes. Exemples et applications
238
239
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Les candidats sont invits rflchir
linfluence de ces notions en thorie des probabilits. La drivabilit presque
partout des fonctions monotones est un rsultat important. Le jury souhaiterait
que les candidats illustrent leurs propos et raisonnements sur les fonctions convexes
par des dessins clairs. Il nest pas draisonnable de parler de fonctions variations
bornes.
Question. Prouver le thorme de diagonalisation simultane des formes quadratiques.
Rponse. On admet que si A est symtrique, elle est diagonalisable en base orthonorme. On prend le produit scalaire associ A, A 1 B est diagonalisable (car
symtrique) pour le produit sclalaire associ A. Montrons que M = A 1 B est
diagonalisable pour le produit scalaire donn par A, cest dire montrer que
8x, y,hAM x, yi = hAx, M yi
soit hBx, yi = hx, Byi,
ce qui est bien le cas. On peut donc diagonaliser A 1 B par rapport au produit
sclaire donn par A, ce qui nous donne une diagonalisation de B.
Question. Des questions sur loptimisation sous contrle.
Question. Il est important de parler de fonctions convexes plusieurs variables.
Dveloppements
Dveloppements proposs :
Thorme de slection de Helly, dans Oraux X-ENS, analyse 2
Ellipsode de John-Loewner, dans Oraux X-ENS, algbre 3
Autres dveloppements possibles :
Ingalit de Kantorovitch
Le thorme des trois droites dHadamard, dans Zuily-Quelec
Mthode du gradient pas optimal, dans Ramis-Warusfel
Rfrences
Pommelet, Cours danalyse
Gourdon, Analyse
Rombaldi, lments danalyse relle
241
Chapitre 60
230-Sries de nombres rels ou
complexes. Comportement des
restes ou des sommes partielles des
sries numriques. Exemples
242
243
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Ltude de la convergence dune
srie lmentaire par une hirarchisation des mthodes et par la vrification des
hypothses correspondantes est apprcie du jury. Il faut soigner la prsentation
du plan et ne pas oublier les valeurs absolues lorsquon veut noncer un thorme
de convergence absolue (mme remarque pour lintgration). Le jury demande que
les candidats ne confondent pas quivalents et dveloppements asymptotiques. Les
meilleurs pourront invoquer les mthodes classiques de renormalisation des sries
divergentes.
Dveloppements
Dveloppements proposs :
Thorme dAbel angulaire et thorme taubrien faible, dans Gourdon
Formule sommatoire de Poisson, dans Zuily-Quelec
Autres dveloppements possibles :
Formule dEuler Mac Laurin, dans Gourdon
Un thorme de Gauss, dans Oraux X-ENS 2
Rgle de Raab Duhamel et des exemples, dans Moisan-Verotte, Topologie et
sries
Rfrences
Gourdon, Analyse
Zuily-Quelec, Analyse pour lagrgation
Hauchecorne, Les contre-exemples en mathmatiques
Francinou-Gianella-Nicolas, Oraux X-ENS analyse 1
Chapitre 61
232-Mthodes dapproximation des
solutions dune quation F (X) = 0.
Exemples
245
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Le jury attire lattention sur le fait
que X peut dsigner un vecteur.
Remarque. On peut aussi parler de la mthode des moindres carrs (mais il faut
faire des choix parce que sinon cest un peu long et il parait dicile denlever ce
qui na pas trait aux systmes linaires).
Remarque. On peut aussi parler des mthodes de localisation des zros de polynmes.
Dveloppements
Dveloppements proposs :
Mthode de Newton, dans Rouvire
Mthode du gradient pas optimal, dans Ramis-Warusfel
Autres dveloppements possibles :
Mthode 2 dAitken, dans Pommelet ou Quarteroni
Mhtode de la scante, dans Demailly
Mthode de Newton pour les polynmes, dans Chambert-Loir
Classification des points fixes, dans Demailly
247
Mhdode de Newton en dimension 1 dans Rouvire et Demailly lexplication
de la mthode de Newton en dimension 1, la vitesse de convergence quadratique et lquivalent donn dans Rouvire (dveloppement). En annexe, le
schma de fonctionnement de la mthode de Newton.
Mthode de la scante dans Demailly lexplication de la mthode de la scante, pourquoi elle est parfois plus indique que la mthode de Newton
(ventuellement loral si manque de place), lestimation pour la convergence et en annexe le schma de la mthode.
Approximation des fonctions f : Rn ! Rn
Mthode de Newton-Raphson dans Demailly lexplication de la mthode de
Newton-Raphson et le thorme qui dit que a converge et que le point
cherch est un point fixe superattractif de la suite des itrations.
Mthodes de descente dans Objectif Agrgation le principe gnral des mthodes de gradient puis dans Ciarlet la mthode du gradient pas variable
et dans Ramis-Warusfel la mthode du gradient pas optimal (dveloppement).
Rsolution de systmes linaires loral, dire quil existe des mthodes exactes
qui consistent trouver des factorisations des systmes quon considre puis
dans Ciarlet les remarques gnrales pour les mthodes itratives de systmes linaires, les mthodes de Jacobi et de Gauss-Seidel, la mthode de
relaxation et les thormes de convergence qui vont avec.
Rfrences
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Ramis-Warusfel, Cours de mathmatiques pures et appliques, tome 1
Demailly, Analyse numrique des quations direntielles
Ciarlet, Introduction lanalyse numrique matricielle et loptimisation
Pommelet, Cours danalyse
Objectif Agrgation
Chapitre 62
234- Espaces Lp, 1 p +1
248
249
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Le jury a apprci les candidats
sachant montrer quavec une mesure finie L2 L1 (ou mme Lp Lq si p q). Il
est important de pouvoir justifier lexistence de produits de convolution (exemple
L1 ? L1 ).
Question. Comment montrer que kf k1 lim inf kf kp ? (Rponse dans Brianep!1
Pags).
q, Lp Lq et kf kp kf kq .
< 1.
Dveloppements
Dveloppements proposs :
Thorme de Riesz-Fischer, dans Brzis
Polynmes orthogonaux, dans Objectif Agrgation
Autres dveloppements possibles :
Dual de Lp , dans Brezis
Thorme dchatillonnage de Shannon, dans Zuily-Quelec
250
Rfrences
Brzis, Analyse fonctionnelle
Briane-Pags, Thorie de lintgration
Objectif Agrgation
Chapitre 63
235-Suites et sries de fonctions
intgrables. Exemples et
applications
251
Remarques et questions
Remarque. Pas de remarques du jury dagrg en 2010.
Question. Est-ce quil y a une dirence entre suites et sries de fonctions ?
Rponse. Non, dans le cas des sries, on sintresse la convergence de la suite des
sommes partielles.
Question. Les fonctions Cc1 sont-elles denses dans Lp ?
Rponse. Oui.
Question. Quelle est la dirence entre le noyau de Fejer et le noyau donn par la
srie de Fourier habituelle ?
Rponse. Le noyau de Fejer est positif et cest une approximation de lunit. Le
noyau donn par la srie de Fourier nest pas forcment positif.
Question. Redmontrer le lemme de Riemann-Lebesgue.
Question. Soit f 2 1 (R). Montrer que
x7 !
f (t)dt
0
est continue
R
Rponse.R On pose g(x) = R f (t)1[0,x] dt et on utilise le thorme de continuit sous
le signe car |f (t)1[0,x] |f (t)| 2 L1 (R).
Question. Donner lide de la preuve du thorme central limite.
Dveloppements
Dveloppements proposs :
Prolongement de la fonction dans Zuily-Quelec
Thorme de Riesz-Fischer (Lp est un Banach) dans Brezis
Autres dveloppements possibles :
Thorme de Fejer, dans Zuily-Quelec
Thorme de Riesz-Frchet-Kolmogorov
Thorme sur la convergence de la convolution avec une identit approche
253
Rfrences
Chapitre 64
236- Illustrer par des exemples
quelques calculs dintgrales de
fonctions dune ou plusieurs
variables relles
254
255
Remarques et questions
Remarque. On peut dfendre le dveloppement sur la mthode de Gauss en disant
que cest exact pour les polynmes. Mais de toute manire, si on fait une partie
sur le calcul approch dintgrales, a a sa place.
Remarque. Il faut mettre explicitement la formule de changement de variables en
plusieurs variables dans le plan.
Question. Soit q : Rn ! R une forme quadratique dfinie positive. Calculer
Z
A=
e q(x) dx
Rn
Rponse. On peut tout dabord se rappeler que q est diagonalisable en base orthornorme : il existe une base orthornorme telle que
q(x) = 1 x21 + + n x2n
et donc on peut crire
A=
Rn
dx1 dxn
p
on fait le changement de variables ti = i xi et on utilise Fubini, lintgrale
devient :
n Z
Y
1
2
A= p
e ti dti .
1 n i=1 R
La connaissance de lintgrale qui intervient la fin (normalement sa valeur est
dans le plan, sinon il faut savoir la calculer rapidement) permet de conclure.
Question. Soit
1
f (x) =
2
f(x) =
sin t
t
on a
|x|
2
+1
e
0
sin y
y
dy.
256
I=
=
Z
Z
+1
g(y)f(y)dy
1
+1
g(y)f (y)dy.
1
+1
1
(it+)y
=
e
(it + )
0
1
=
(it + )
et comme h 2 L2 on a h(t)
= h( t) donc
Z +1
I=
h(y)f
( y)dy.
1
Dveloppements
Dveloppements proposs :
Mthode de Gauss, dans Demailly
Formule des complments, dans Amar-Matheron
Autres dveloppement possible
Calcul de lintgrale de Fresnel, dans Oraux X-ENS analyse 3
Un beau calcul dintgrale avec le thorme des rsidus, dans ?
257
Rb
Primitives dans Gourdon le thorme qui dit que a f 0 (t)dt = (b) f (a) et
quelques exemples de primitives usuelles et ensuite les primitives de fractions
rationnelles et les primitives de fonctions en sin et cos (mais pas les rgles
de Bioche quon met aprs). chaque fois, des exemples qui sont dans les
exercices.
Intgration par parties dans Gourdon la formule dintgration par parties et
en exemple le calcul des intgrales de Wallis et lexemple de la fonction
avec (x + 1) = x (x).
Changement de variables dans Gourdon la formule de changement de variables en dimension 1 avec comme application les rgles de Bioche et un
exemple, et la formule de changement de variables en dimension suprieure.
Les exemples de passage en coordonnes
polaires, sphriques et cylindriques
R
x2
et des exemples de calculs, dont R e dx (intgrale de Gauss).
Thorme de Fubini dans Gourdon le thorme de Fubini et en application
le calcul de lintgrale de Fesnel.
Utilisation de lanalyse complexe
Utilisation du prolongement analytique dans Objectif agrgation le thorme
de prolongement analytique et lapplication au calcul de la transforme de
Fourier de la Gaussienne.
Utilisation du thorme des rsidus dans Objectif agrgation la dfinition de
lindice dun point par rapport une courbe ferme, la dfinition du rsidu
et le thorme des rsidus. En application, la formule des complments dans
Amar-Matheron (dveloppement).
Autres mthodes
Utilisation de suites et de sries dans Gourdon on donne deux exemples de
calculs dintgrales laide de Rsuites et de sries : le calcul de lintgrale de
258
Rfrences
Chapitre 65
238-Mthodes de calcul approch
dintgrales et dune solution dune
quation direntielle
259
260
R
CHAPITRE 65. 238-CALCUL APPROCH D ET DQUADIFFS
Remarques et questions
Dveloppements
Dveloppements proposs :
Mthode de Gauss, dans Demailly
Thorme de Cauchy-Arzela-Peano par la mthode dEuler explicite, dans
Demailly
Autres dveloppements possibles :
Mthode de Runge-Kutta, dans Demailly
Mthode dintgration de Romberg, dans Demailly
261
Rfrences
Chapitre 66
239-Fonctions dfinies par une
intgrale dpendant dun paramtre.
Exemples et applications
262
263
Remarques et questions
Question ( propos de la rgularisation et de la convolution). Comment montret-on que L1 ? Lp ! Lp ?
|f ? g(x)|p dx
g (x
y)dy
p1
kf kLq 1
et donc
kf ?
gkpp
kf kLq 1 (|g(x
f(x) =
g(x) =
Montrer que f(x) g(x).
x!b
Z
Z
f (t)dt
x
b
g(t)dt.
x
264
g(x) = g(x)(x)
x!b
f(x)
g(x) =
=
Z
Z
(f (y)
g(y)) dy
x
b
g(y)(y)dy.
x
|f (x) g(x)|
|g(y)|(y)dy
x
Z b
(x)
|g(y)|dy
x
Question. Soit
F (t) =
+1
tx
dx.
tx
alors on a
@f
(x, t) = e tx ,
@t
en se plaant sur K = [a, +1[ avec a > 0 on a 8t 2 K et 8x
@f
(x, t) e
@t
ax
2 L1
tx
dx =
1
t
Elle est aussi C 1 (se montre encore facilement avec le thorme. Donc
F (t) = ln(t) + C
Et comme F (1) = 0, on trouve que C = 0.
265
Dveloppements
Dveloppements proposs :
Prolongement de la fonction , dans Zuily-Quelec et Objectif Agrgation
Formule dinversion de Fourier et application, dans Zuily
Autres dveloppements possibles :
Formule des complments, dans Amar-Matheron
Prolongement de la fonction de Riemann, dans Zuily-Quelec
Rsolution dun problme de Dirichlet sur un cercle, dans Rudin
Mthode de la phase stationnaire, dans Zuily-Quelec
Mthode de Laplace, dans Zuily-Quelec
266
Rfrences
Chapitre 67
240- Transformation de Fourier.
Applications
267
268
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Cette leon ne peut se rsumer
une collection de relations algbriques (analyse algbrique de la transforme de
Fourier). Elle ncessite, pour sinscrire dans le contexte de lanalyse, une tude minutieuse et une rflexion sur les hypothses et les dfinitions des objets manipuls.
Lextension de la transforme de Fourier aux distributions tempres trouvera sa
place ici.
Remarque. Pour la transforme de Fourier, cest mieux de tout noncer en dimension n. On peut aussi parler de transforme de Fourier discrte et du thorme
dchantillonnage de Shannon.
Question. Calculer la transforme de Fourier de la Gaussienne.
Question. Quelle est la transforme de Fourier de la loi de Cauchy avec une densit
de paramtre a ?
Dveloppements
Dveloppements proposs :
Formule sommatoire de Poisson, dans Zuily-Quelec
Inversion de Fourier dans S, dans Zuily
Autres dveloppements possibles :
Thorme dchantillonnage de Shannon, Willem
269
Transforme de Fourier-Plancherel dans Briane-Pags, le premier lemme,
la dfinition et les proprits de la transforme de Fourier-Plancherel, la
convolution de deux transformes de Fourier-Plancherel.
Transforme de Fourier dans S et S 0
Transformation de Fourier dans S dans Zuily un rapide rappel de ce quest
S et de ses proprits, la dfintition de la transforme de Fourier dans S
le lemme et la formule dinversion de Fourier dans S (dveloppement), les
proprits de la transforme de Fourier dans S.
Transformation de Fourier dans S 0 dans Zuily la dfinition de S 0 , des exemples,
la dfintion de la transforme de Fourier dans S 0 , les proprits, des exemples
et remarques. On rappelle que L1 et L2 sont contenus dans S 0 et donc quon
peut retrouver les rsultats de la premire partie avec ces proprits.
Applications
Rsolution de lquation de la chaleur dans Di Menza lquation de la chaleur
dans lespace entier et les tapes de la rsolution, la forme de la solution,
parler de leet rgularisant et si il y a la place, des estimations en temps
pour les solutions. On peut parler du problme non homogne aussi.
La transforme de Fourier en probabilits dans Barbe-Ledoux la dfinition
de la fonction caractristique dune loi, le fait que a caractrise les lois, des
exemples de fonctions caractristiques, la formule dinversion de Fourier, la
drive dune fonction caractristique.
Rfrences
Chapitre 68
241-Suites et sries de fonctions.
Exemples et contre-exemples
270
271
Remarques et questions
Remarque. Pas de remarques du jury dagrg en 2010.
Dveloppements
Dveloppements proposs :
Thorme de Banach-Steinhaus et application : existence dune fonction
continue dont la srie de Fourier diverge en un point, dans Gourdon
Thorme de slection de Helly, dans Oraux X-ENS, analyse 2
Autres dveloppements possibles :
Formule sommatoire de Poisson, dans Zuily-Quelec
Thorme de Fejer, dans Zuily-Quelec
272
Rfrences
Gourdon, Analyse
Zuily-Quelec, Analyse pour lagrgation
Hauchecorne, Les contre-exemples en mathmatiques
Objectif agrgation
Briane-Pags, Thorie de lintgration
Chapitre 69
242- Utilisation en probabilits du
produit de convolution et de la
transformation de Fourier ou de
Laplace
273
274
Remarques et questions
Remarque. Dans le plan, il est important de prciser quon admet le thorme de
Levy-Khintchine.
Remarque. Si on nest pas laise, on nest pas obligs de parler de lois infiniment
divisibles.
Remarque. Dans les exemples de fonctions caractristiques, en choisir un et faire
le calcul.
Question. Quest-ce quune loi de probabilits arithmtique ?
Rponse. Une variable alatoire relle est arithmtique si elle prend ses valeurs
dans un rseau. Cest dire si X 2 a + bZ avec a 0 et b > 0. Cette proprit
peut tre caractrise sur les fonctions caractristiques, montrons que 9c 6= 0 tel
que | X (c)| = 1. On a
X
eit(a+bk) P(X = a + bk)
X (t) =
k2Z
soit encore
X(
X
2
) = E e2i b
b
a
= e2i b
X
a+bk
=
eki b P(X = a + bk)
k2Z
= e2i b
k2Z
=e
2i ab
P(X = a + bk)
k2Z
= e2i b
Et la rciproque est vraie en utilisant lingalit de Jensen qui devient une galit
dans ce cas.
Dveloppements
Dveloppements proposs :
Thorme des vnements rares de Poisson, dans Ouvrard 2
275
Thorme central limite, dans Zuily-Quelec
Autres dveloppements possibles :
Thorme des grandes dviations de Bernoulli
Thorme de Bernstein
276
Rfrences
Chapitre 70
243- Convergence des sries entires.
Proprits de la somme. Exemples
et applications
277
278
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Il est dommage de ne parler que de
drivabilit par rapport une variable relle quand on nonce (ou utilise) ensuite
ces rsultats sur les fonctions holomorphes.
Remarque. propos des fonctions holomorphes : si une fonction holomorphe est
sur un domaine qui contient 0, elle est dveloppable en srie entire autour de 0.
Remarque. On peut aussi parler des nombres de Bernoulli, des processus de GaltonWatson, de fonctions gnratrices.
Dveloppements
Dveloppements proposs :
Thorme dAbel angulaire et thorme taubrien faible, dans Gourdon
Partitions dun entier en parts fixes, dans Oraux X-ENS analyse 2
Autres dveloppements possibles :
Thorme taubrien fort, dans Gourdon
Nombre de partitions de [1, n] (nombres de Bell), dans Oraux X-ENS algbre,
1
279
Analycit dans Pommelet le fait quune srie entire dfinit une fonction analytique sur le disque de convergence, lexpression de la somme en fonction des
drivees k-imes en tout point du disque de convergence. Puis dans Objectif
agrgation les thormes des zros isols et du prolongement analytique. Des
exemples (par exemple le prolongement de la fonction ) et dans Pommelet
lapplication qui dit que toute srie entire admet au moins un point singulier
au bord du disque de convergence. (Ce qui motive la partie suivante) dans
Gourdon la formule de Cauchy puis lgalit de Parseval.
tude du comportement de la somme sur la frontire du disque de convergence
Dans Hauchecorne plein dexemples de comportements au bord du disque de
convergence puis dans Gourdon le thorme dAbel angulaire puis le thorme taubrien faible (dveloppement). On peut aussi mettre le thorme
taubrien fort.
Dveloppement de fonctions en sries entires
Dveloppement en srie entire des fractions rationnelles dans Gourdon le
paragraphe qui explique comment dvelopper en srie entire les fractions
rationnelles. Un exemple. En application, dans Oraux X-ENS analyse 2 le
nombre de partitions dun entier en parts fixes (dveloppement).
Sries entires et quations direntielles dans MthodiX la mthodologie
pour rsoudre une quation direntielle laide de dveloppements en srie
entire (dire que a peut aussi permettre de trouver le dveloppement en srie
entire de certaines fonctions usuelles en trouvant une quation direntielles
quelles vrifient), dans Oraux X-ENS analyse 4 des exemples dquations
avec leurs solutions puis dans Oraux X-ENS algbre 1 les nombres de Bell
(dveloppement possible).
Rfrences
Gourdon, Analyse
Hauchecorne, Les contre-exemples en mathmatiques
MethodiX, Analyse
Francinou-Gianella-Nicolas, Oraux X-ENS algbre 1
Francinou-Gianella-Nicolas, Oraux X-ENS analyse 2
Francinou-Gianella-Nicolas, Oraux X-ENS analyse 4
Pommelet, Cours danalyse
Objectif Agrgation
Chapitre 71
245- Fonctions holomorphes et
mromorphes sur un ouvert de C.
Exemples et applications
280
281
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Les conditions de Cauchy-Riemann
doivent tre parfaitement connues et linterprtation de la direntielle
en tant que
R
similitude directe doit tre parfaitement comprise. La notation f (z)dz a un sens
prcis, quil faut savoir expliquer. Par ailleurs, il faut connatre la dfinition dune
fonction mromorphe (lensemble des ples doit tre une partie ferme discrte ) !
Question. Donner une transformation D ! D holomorphe non biholomorphe.
Dveloppements
Dveloppements proposs :
Prolongement de la fonction dans Zuily-Quelec et Objectif Agrgation
Formule des complments, dans Amar Matheron
Autres dveloppements possibles :
Automorphismes du disque
283
Thorme des rsidus dans Amar-Matheron la dfinition des rsidus, le thorpe des rsidus et lapplication au calcul dintgrales : mettre la formule des
complments (dveloppement 2) et dautres exemples dans Cartan
Dnombrement des zros et des ples dans Amar-Matheron le fait que les
ples dordre fini de f sont des ples simples de la drive logarithmique de
f , le principe de largument puis le thorme de Rouch.
Rfrences
Objectif Agrgation
Pommelet, Cours danalyse
Amar-Matheron, Analyse complexe
Zuily-Quelec, Analyse pour lagrgation
Rudin, Analyse relle et complexe
Cartan, Thorie lmentaire des fonctions analytiques dune ou plusieurs
variables complexes
Chapitre 72
246- Sries de Fourier. Exemples et
applications
284
285
Remarques et questions
Remarque (Remarques du jury dagrg 2010). Les dirents modes de convergence
(L2 , Fejer, Dirichlet. . .) doivent tre connus. Il faut avoir les ides claires sur les
notions de fonctions de classe C 1 par morceaux (elles ne sont pas forcment continues). Dans le cas dune fonction continue et C 1 par morceaux on peut conclure sur
la convergence normale de la srie de Fourier sans utiliser le thorme de Dirichlet.
Cette leon ne doit pas se rduire un cours abstrait sur les coecients de Fourier.
Remarque. Dans L1 les coecients de Fourier dfinissent une fonction de manire
unique.
Remarque. Si cn (f ) = o( n12 ), on a la convergence normale des sommes partielles.
Avec le thorme de rgularit, on a la convergence uniforme de la srie de Fourier
si f est C 2 .
Question. Un exemple de calcul. Soit
f : [ , ] ! R
t 7 ! 1[
,] (t)
quon considre tendue par 2-priodicit sur R. Calculer ses coecients de Fourier.
Rponse. Comme la fonction est paire, on aura juste les coecients de Fourier en
cosinus qui interviendront. Pour n 6= 0 on a :
Z
1
an (f ) =
cos(nt)f (t)dt
Z
1
=
cos(nt)dt
11
=
[sin(nt)]
n
2
=
sin(n)
nZ
1
a0 (f ) =
f (t)dt
2
=
2 X 2 sin(n)
f (t) =
+
cos(nt)
n
n=1
286
on pose
N
SN (f )(t) =
2 X 2 sin(n)
+
cos(nt)
n
n=1
2 X 2 sin(n)
SN (f )(t) =
+
cos(n)
n
n=1
N
2 X sin(2n)
=
+
n
n=1
1
2
et en prenant =
x
2
on a
x
2
Z
1
f (t)e int dt
2
Z
1
ei(a n)t dt, a n 6= 0
2
i(a n)t
1
1
e
2 i(a n)
sin ((a n))
(a n)
( 1)n
sin(a).
(a n)
287
On pose alors :
SN (f )(x) =
k=N
X
k= N
( 1)k
sin(a)eikx
(a k)
k=N
sin(a) X ( 1)k ikx
e
a
k
k= N
k=N
X ( 1)k
sin(a)
( 1) k
=
+
eikx +
e
a k
a+k
k= N
ikx
1
sin(a)
a sin(a) X
1
S1 (f )(x) =
+2
2
a
n2
N =1
on applique Dirichlet :
SN (f )()
! cos(a)
N !1
a
aX
1
+2
2
n 1a
n2
Dveloppements
Dveloppements proposs :
Thorme de Banach-Steinhaus et application : existence dune fonction dont
la srie de Fourier diverge en un point, dans Gourdon
Formule sommatoire de Poisson, dans Gourdon et Briane-Pags
Autres dveloppements possibles :
Thorme de Fejer, dans Zuily-Quelec
288
Rfrences
Gourdon, Analyse
Zuily-Quelec, Analyse pour lagrgation
Briane-Pags, Thorie de lintgration
289
Objectif Agrgation
Francinou-Gianella-Nicolas, Oraux X-ENS analyse 2
Francinou-Gianella-Nicolas, Oraux X-ENS analyse 4
Chapitre 73
247- Exemples de problmes
dinterversion de limites
290
291
Remarques et questions
Question. Redmontrer que (n + 1) = n!.
Question. Calculer (1/2).
Question. Calculer la transforme de Fourier de la gaussienne.
Dveloppements
Dveloppements proposs :
Nombres de Bell (nombre de partitions de [1, n]), dans Oraux X-ENS algbre
1
Thorme dAbel angulaire et thorme taubrien faible, dans Gourdon
Autres dveloppements possibles :
Prolongement de la fonction , dans Zuily-Quelec et Objectif Agrgation
Problme de la ruine du joueur
292
Rfrences
Chapitre 74
249-Suites de variables de Bernoulli
indpendantes
293
Remarques et questions
Question. Comment construire une variable alatoire de loi B(1, p) avec p 6=
partir de B(1, 12 ?
Question. Comment construire E( ) partir dune loi uniforme ?
1
2
est :
t)
t)
e
x
= inf(x|x
1
t)
log(1
log(1
t))
t)
Question. Soit Xj
pose
1
2 1
1
2
Yn =
log(1
u) E( )
1 indpendantes. Pour tout n, on
2B(1, 12 )
n
X
2 i X i = Yn
+2
Xn
i=1
Quelle est la loi de cette variable alatoire ? Montrer que Yn converge presque
srement et dans L2 vers une certaine variable alatoire.
Rponse. On a :
1
1
1+
2
2
X1
=
2
1
Y 2 = Y1 + X 2
4
1
= ( 3+
4 4
Y1 =
1
4
1
4
3
4
295
Yn sera alors la loi uniforme sur les diadiques dordre n.
|Yn+1
Yn
n+p
X
k=n+1
2 k |xk |
1
2n
!0
Question. Soit = {0, 1}N et P la probabilit donne par la loi dune suite de
Bernouilli de paramtre 12 , Q celle donne par la loi dune suite de Bernouilli de
paramtre p 6= 12 . Montrer que P et Q sont trangres.
Rponse. Soit ! 2 , ! = (!1 , !2 , ), X(!) = !i . Soit P telle que 8i, P (Xi (!) =
1) = 12 et Q telle que 8i, Q(Xi (!) = 0) = p) = p. Alors
n
1X
1
P ({!|
Xi (!) ! }) = 1
n!1
n i=1
2
et
Q({!|
donc
1X
Xi (!) ! p}) = 1
n!1
n i=1
n
1X
1
Q({!|
Xi (!) ! }) = 1
n!1 2
n i=1
Dveloppements
Dveloppements proposs :
Thorme central limite, dans Zuily-Quelec
Thorme des vnements rares de Poisson, dans Ouvrard 2
Autres dveloppements possibles :
Estimation des grands carts, dans Lesigne
Ruine du joueur, dans Ouvrard 2
Thorme de Polya, dans Promenade alatoire, Benam- El Karoui
Loi du log itr
297
Rfrences
Ouvrard, Probabilit 1
Ouvrard, Probabilits 2
Zuily-Quelec, Analyse pour lagrgation
Barbe-Ledoux, Probabilit
Lesigne, Pile ou face
Chapitre 75
250- Loi des grands nombres.
Thorme de la limite centrale.
Applications
298
299
Remarques et questions
Question. Quelle est la fonction caractristique de N (n,
Rponse. On sait que
peut crire :
N (0,1)
=e
t
2
. On a, X N (m,
)?
),
X m
N (0, 1). On
N +m
= E eitX
= R eit(
N +m)
= eitm R eit
= eitm
= eitm e
N (t
1 2 2
t
2
Remarque. On peut noncer la loi faible dans le cas o les variables alatoires sont
seulement indpendantes deux deux.
Remarque. Il nest pas utile de remettre dans la leon les proprits des direntes
convergences. Mais il faut les connatre.
Remarque. Il faut aussi citer la loi forte des grands nombres.
Remarque. Il peut tre intressant de parler de statistiques et dintervalles de
confiance.
Remarque. On peut aussi parler dapproximation de lois (cest la fin de Ouvrard
1).
Remarque. Dans un cadre non identiquement distribu, le thorme central limite
est le thorme de Lindeberg-Levy.
Remarque. On peut aussi parler du test du -deux.
Dveloppements
Dveloppements proposs :
Thorme central limite, dans Zuily-Quelec
Thorme de Bernstein (polynmes), dans Zuily-Quelec
Autres dveloppements possibles :
Estimation des grands carts, dans Lesigne
Equidistribution dans un compact, dans Zuily-Quelec
300
Rfrences
Chapitre 76
251- Indpendance dvnements et
de variables alatoires. Exemples
301
302
Remarques et questions
Question. Quel lien y-a-t-il entre la notion dindpendance de deux tribus et la
notion dindpendance dune famille de variables alatoires relles ?
Rponse. Il y a un lien ! Pour chaque variable alatoire, on prend la tribu engendre, les variables alatoires sont indpendantes si et seulement si les tribus sont
indpendantes.
Question. Soit (X, Y ) un vecteur gaussien tel que Y a une variance non nulle.
Calculer E(X|Y ) et la loi conditionnelle de (X|Y ) (loi conditionnelle de X sachant
Y ).
Rponse. On suppose que E(X|Y ) = (m1 , m2 ). Comme (X, Y ) est gaussien, il a
(X,Y )
une densit quon connait. Donc (X|Y ) est densit donne par marginale
. Ici on
de X
peut faire mieux. Si des variables alatoires gaussiennes sont indpendantes, elles
ont une covariance nulle. On va crire X sous la forme dune somme de variables
alatoires :
X=Z+ Y
avec Z et Y qui sont indpendantes. On peut alors calculer la covariance de Z et
Y :
Cov(Z, Y ) = cov (X
= E [((X
Y, Y )
Y ) E(X) + E(Y ))(Y
E(Y )]
303
Dveloppements
Dveloppements proposs :
Thorme de Bernstein pour les polynmes, dans Zuily-Quelec
Thorme central limite, dans Zuily-Quelec
Autres dveloppements possibles :
Lindpendance dvnements nest pas toujours intuitive, dans Ouvrard 2,
exercice 9.6
Thorme des vnements rares de Poisson, dans Ouvrard 2, page 311
Nombres normaux, dans Zuily-Quelec
Loi de Poisson et indpendance, dans un exercice appel indpendance de
Cotrell
304
gaussiennes.
Suites de variables alatoires, comportements asymptotiques
Thorme de Poisson dans Zuily-Quelec on donne le thorme de Levy
puis dans Ouvrard 2 le thorme de Poisson et la gnralisation au thorme
des vnements rares de Poisson.
Loi des grands nombres dans Barbe-Ledoux lingalit de Markov et lingalit de Tchebitchev, la loi faible des grands nombres et dans Zuily-Quelec
lapplication au thorme de Bernstein (dveloppement).
Loi du {0, 1} de Kolmogorov et lemme de Borel Cantelli dans Barbe-Ledoux
la dfinition de la tribu asymptotique, la loi du 0 1, des exemples puis le
lemme de Borel-Cantelli et des exemples. Dans Barbe-Ledoux la loi forte des
grands nombres.
thorme central limite dans Barbe-Ledoux le thorme central limite (dveloppement) puis des exemples. Dans Rivoirard on peut parler dapplications
aux intervalles de confiance.
Rfrences
Chapitre 77
252- Loi binomiale. Loi de Poisson.
Applications
305
306
Remarques et questions
Question. propos de la caractrisation dun processus de Poisson, est-ce que ce
thorme sert en pratique ? Comment fait-on si on a f 6= O telle que f (t + h) =
f (t)f (h) pour montrer que f = exp ?
Rponse. On a f (0) = f 2 (0) donc f (0) = 0 ou 1. Si f (0) = 0 alors f est identiquement nulle. On suppose donc f (0) = 1. Comme on a f (t) = f ( 2t )2 alors f est
positive. puis on passe au logarithme.
Question. Rappeler la loi du {0, 1} de Kolmogorov.
2 =
qk
n2N
l 2 N, 1 ? 2 (l) =
l
X
p k ql
k=0
= rl
X
1 ? 2 =
kk k .
k2N
Si pk = e
k!
et qk = e
k
k!
alors rk = e
k
( +) ( +)
.
k!
Question. Comment montrer que la loi binomiale ngative est une somme de lois
gomtriques indpendantes ?
307
Rponse. On peut le faire par rcurrence, mais le plus simple est de calculer sa
fonction caractristique. On a :
(1
X
1
k!
=
xk r
r+1
x)
(k r)!r!
k r
X k
=
xk r+1
r
1
k r 1
Xl 1
=
xl r
n 1
l r
k n
fonction caractristique :
k 1
n 1
pn (1
p)k
= 1. On peut calculer sa
X k
1 n
p (1 p)k n eitk
X (t) =
n 1
k n
X k 1
k n itn
=
pn (1 p) eit
e
n
1
k n
X k 1
k n
it n
= e p
(1 p) eit
n 1
k n
1
it n
= e p
,
1 (eit (1 p))n
o lon reconnat la fonction caractristique de la loi gomtrique.
Dveloppements
Dveloppements proposs :
Thorme de Bernstein par les polynmes, dans Zuily-Quelec
Thorme des vnements rares de Poisson, dans Ouvrard 2
Autres dveloppements possibles :
Grandes dviations
Caractrisation dun processus de Poisson
308
Rfrences
Zuily-Quelec, Analyse pour lagrgation
Ouvrard, Probabilits 1
Ouvrard, Probabilits 2
309
Barbe-Ledoux, Probabilit
Cotrell, Exercices de probabilits
Chapitre 78
253- Utilisation de la notion de
convexit en analyse
310
311
Remarques et questions
Question. Montrer que la fonction
Rponse. On a
(x) =
donc
est log-convexe.
Z
e t tx 1 dt, x > 0
t x 1
e t
dt
On admet que cest deux fois drivable sous lintgrale, comme on sait montrer
que
est holomorphe, ce nest pas trs grave. On peut driver deux fois sous
lintgrale :
0
log ( (x))0 =
(x)
(x)
0
(x)2 + (x)
( (x))2
00
log ( (x)) =
0
00
(x) =
(x) =
donc :
(x)
00
(x)
(x) =
Z
Z
Z
1
0
00
(x)
log(t)e(x
1) log(t)
(log(t))2 e(x
dt
1) log(t)
dt
t x 1
e t
dt
log(t)t
x 1
(log(t))2 tx 1 dt
dt
Dveloppements
Dveloppements proposs :
Ellipsode de John-Loewner, dans oraux X-ENS algbre 3
312
313
Brouwer en dimension 2.
tude qualitative de solutions dquations direntielles dans Gourdon le cas
convexe de lquation de Hill-Matthieu.
Rfrences
Francinou-Gianella-Nicolas, Oraux X-ENS algbre 3
Tauvel, Gomtrie
Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation
Objectif Agrgation
Rombaldi, lments danalyse relle
Gourdon, Analyse
Ramis-Warusfel, Cours de mathmatiques pures et appliques, volume 1
Brezis, Analyse fonctionnelle
Briane-Pags, Thorie de lintgration
Chapitre 79
254- Espace de Schwartz et
distributions tempres
314
315
Remarques et questions
Remarque. Le cadre de lespace de Schwartz est trs appropri pour ltude de la
transforme de Fourier. Sur L1 , la transforme de fourier nest pas sujective dans
lensemble des fonctions qui tendent vers 0 linfini.
S(Rn ) est dense dans tous les Lp . Linjection est continue.
Les distributions sont l pour largir le cadre des fonctions. On peut driver,
do lutilit pour les quations direntielles. On trouve dabord des solutions au
sens des distributions puis on dmontre que les objets trouvs sont des fonctions
classiques.
Linconvnient des distributions tempres est quelles ne peuvent tre dfinies sur
un ouvert . Elles sont toujours dfinies sur Rn .
Faire attention la convolution : on ne peut pas convoler toutes les distributions
entre elles.
Il faut parler de lordre dune distribution et de la formule des sauts.
Remarque. propos de la formule de Poisson, on peut la faire sur Schwartz, mais
on peut aussi la faire dans S 0 . En eet, si on pose
Tn =
|n|N
2 S 0 (Rd )
N !1
et comme
Donc :
(n)
|n|N
(n)
n2Z
2 S, cette srie existe (n2 (n) est une suite borne par exemple).
hT, i =
(n).
n2Z
Pour montrer que T est une distribution, on a besoin de montrer que cest une
forme linaire continue. On a facimement la linarit, il reste envisager la conti-
316
nuit :
|hT, i| =
=
(n)
n2Z
(n)
n2
n2
n2Z
X 1
k k2,0
n2
n2Z
Ck k2,0
P
hT, i = hT, i
X
(n)
=
n2Z
X
n2Z
= 2h
2 (2n)
2n ,
n2Z
i.
P
avec une bonne normalisation, on aurait T = T. Ici, on a T = 2
2n .
n2Z
2 S, on a
h10[a,b] ,
i=
(x)dx
= (a)
=h a
(b)
b , i,
donc 10[a,b] = a
b.
Plus gnralement, on a la formule des sauts : si f est C 1 par morceaux, avec des
sauts a1 , , an on a
0
f = {f } +
N
X
f (an )
f (an )+
an
i=1
1
.
x+i
317
Rponse. Pour tout > 0, T est C 1 et croissance lente, donc T est bien dans
S 0.
1
x i
+
x + i x i
x i
= 2
x + 2
x
= 2
i 2
2
x +
x + 2
T =
Soit g(x) =
1 1
,
x2 +1
alors
g(x) = 1 et on pose :
1 x
g (x) = g( )
x2 +2
Z
1
(x)
hvp
, i = lim
dx
!0
x
x
|x|>
Z 1
(x)
( x)
=
dx
x
0
donc
x
h 2
x + 2
Z 1
1
vp
, i=
x
Z0 1
=
0
2 ( (x)
( x))
dx
2
2
x(x +
2
(x)
( x)
dx
2
2
x +
x
petit et on trouve que tout tend vers 0
i 0 .
318
Dveloppements
Dveloppements proposs :
Inversion de Fourier dans S et S 0 , dans Zuily
Formule sommatoire de Poisson, dans Zuily-Quelec
Autres dveloppements possibles :
Solution fondamentale du Laplacien dans R3 dans Choquet-Bruhat
319
La transforme de Fourier dans L1 et L2 dans Zuily la dfinition de la transforme de Fourier dans L1 et L2 et comment cest une consquence de la
thorie sur S 0 .
Recherche de solutions lmentaires dquations dans Zuily la dfinition dune
solution lmentaire, puis le thorme dexistence de solutions un oprateur
direntiel partir du moment o il y a une solution lmentaire et dans
Choquet-Bruhat lexemple de la solution lmentaire du laplacien dans R3 .
On peut rajouter, dans Bony lquation de Poisson, et un exemple qui suit.
Rfrences
Chapitre 80
255- Drivation au sens des
distributions. Exemples et
applications
320
321
Remarques et questions
Question. On cherche rsoudre dans R3
f= ,
2 Cc1
1 1
4 kxk2
vrifie
g=
0.
On va convoler g et , on a
(g ? ) = ( g) ?
= 0?
= .
Pour trouver les autres solutions, on na plus qu rajouter les fonctions harmoniques.
Question. Une distribution T est positive si 8 2 Cc1 ,
quune distribution positive est dordre 0.
0 ) hT, i
0. Montrer
k k1
soit encore
k k1 hT, i hT, i k k1 hT, i
(x) cos(x)dx k 0 k1
ce qui prouve que cest une distribution dordre infrieur ou gal 1. Et en fait,
elle est dordre 0.
m
P
Question. Montrer que H m muni de hf, gi =
hf (k) , g (k) iL2 est un Hilbert sparable.
k=0
322
Rponse. Il sagit bien dun produit scalaire. Montrons que cet espace est complet.
(k)
Soit (fn ) une suite de Cauchy dans H m , ainsi (fn est de Cauchy pour k m.
Comme L2 est complet on a
L2
8k m, fn(k) ! gk
donc
D0
8k m, fn(k) ! gk .
(k)
8k m, fn(k) ! g0 .
Ainsi,
Hm
fn ! g 0 .
Question. Soit une quation direntielle dordre n donc linconnue est une distribution sur R
T (n) + an 1 T (n
1)
+ + aO T = 0, ai 2 C 1 (R).
Est-ce que les distributions solution de lquation direntielle sont les solutions
usuelles donnes par Cauchy-Lipschitz de cette quation direntielle ?
Rponse. Les solutions classiques sont un espace de dimension n. Soit n
commence par n = 1. Alors
1. On
T 0 + a0 T = 0
T 0 = a0 T
2 Cc1 , hT 0 , i = hT, 0 i
h a0 T, i = a0 hT, i
hT, 0 i = a0 hT, i
hT, 0 a0 h = 0
et donc on na pas de solutions en plus. Pour n
Dveloppements
Dveloppements proposs :
Des choses sur vp x1 , dans Zuily
Solutions lmentaires du laplacien, dans Choquet-Bruhat
Autres dveloppements possibles :
Formule dinversion de Fourier dans S 0 , dans Zuily
323
Rfrences
Zuily, lments de distributions et dquations aux drives partielles
Bony, Cours danalyse
Choquet-Bruhat, Distributions, thorie et problmes
Chapitre 81
256- Transformation de Fourier dans
S(Rd) et S 0(Rd)
324
325
Remarques et questions
Question. Quel est le lien entre les transformes de Fourier sur L1 , L2 , S et S 0 ?
Rponse. On a L1 S 0 , les deux notions de transforme de Fourier concident
donc. Montrons que cest le mme objet. Soit 2 S
Z
hFf, i =
Ff (x) (x)dx
ZR
=
f (x)F (x)dx
R
8 2 S, Ff f
=0
o f dsigne la transforme de Fourier dans L2 . Donc Ff = f au sens des distributions.
Remarque. Il faut connatre la preuve de la formule dinversion de Fourier dans S 0
(voire dans S aussi) mme si on ne la fait pas en dveloppement.
Dveloppements
Dveloppements proposs :
Inversion de Fourier dans S et S 0 , dans Zuily
Formule sommatoire de Poisson, dans Zuily-Quelec
Autres dveloppements possibles :
Solution fondamentale du Laplacien dans R3 dans Choquet-Bruhat
326
Rfrences
Chapitre 82
Liste des dveloppements
327
328
82.1
dveloppements dalgbre
329
330
3. 150 (Racines de polynmes. Fonctions symtriques lmentaires. Localisation des racines dans les cas rel et complexe)
Rfrence : Ramis-Deschamps-Odoux, Cours dalgbre 1
Lemme de Kronecker
A caser :
1. 113 (Groupe des nombres complexes de module 1. Sous-groupe des racines de lunit. Applications)
2. 146 (Rsultant. Applications)
3. 150 (Racines dun polynme. Fonctions symtriques lmentaires. Localisation des racines dans les cas rel et complexe)
Rfrence : Szpirglas, Mathmatiques Algbre L3
Thorme des extrema lis
A caser :
1. 120 (Dimension dun espace vectoriel (on se limitera au cas de la dimension finie). Rang. Exemples et applications)
Rfrence : Gourdon, Analyse
Rduction des endomorphismes normaux
331
A caser :
1. 119 (Exemples dactions de groupe sur les espaces de matrices)
2. 120 (Dimension dun espace vectoriel (on se limitera au cas de la dimension finie. Rang. Exemples et applications)
3. 125 (Sous-espaces stables dun endomorphisme ou dune famille dendomorphismes en dimension finie. Applications)
4. 126 (Endomorphismes diagonalisables en dimension finie)
5. 130 (Matrices symtriques relles. Matrices hermitiennes)
6. 133 (Endomorphismes remarquables dun espace vectoriel euclidien (de
dimension finie))
Rfrence : Gourdon, Algbre
Surjectivit de lexponentielle Mn (C) 7! GLn (C)
A caser :
1. 127 (Exponentielle de matrices. Applications)
Rfrence : Francinou-Gianella-Nicolas, Oraux X-ENS Algbre 2
exp(A) diagonalisable , A diagonalisable
A caser :
1. 127 (Exponentielle de matrices. Applications)
Rfrence : Objectif Agrgation
Dcomposition de Dunford
A caser :
1. 124 (Polynmes dendomorphismes en dimension finie. Applications
la rduction dun endomorphisme en dimension finie)
2. 126 (Endomorphismes diagonalisables en dimension finie)
3. 128 (Endomorphismes trigonalisables. Endomorphismes nilpotents)
Rfrence : Gourdon, Algbre
Mthode de relaxation pour les matrices hermitiennes dfinies positives
A caser :
1. 130 (Matrices symtriques relles. Matrices hermitiennes)
2. 140 (Systmes linaires : oprations, aspects algorithmiques et consquences thoriques)
Rfrence : Ciarlet, Introduction lanalyse numrique matricielle et loptimisation
Ellipsode de John-Loewner
A caser :
1. 123 (Dterminant. Exemples et applications)
332
333
334
82.2
dveloppements danalyse
Ellipsode de John-Loewner
A caser dans :
1. 123 (Dterminant. Exemples et applications)
2. 131 (Formes quadratiques sur un espace vectoriel de dimension finie.
Orthogonalit, isotropie. Applications)
3. 203 (Utilisation de la notion de compacit)
4. 219 (Problmes dextremums)
5. 229 (Fonctions monotones, fonctions convexes. Exemples et applications)
6. 253 (Utilisation de la notion de convexit en analyse)
Rfrence : Oraux X-ENS algbre tome 3
Thorme de Slection de Helly
A caser dans :
1. 203 (Utilisation de la notion de compacit)
2. 229 (Fonctions monotones. Fonctions convexes. Exemples et applications)
3. 241 (Suites et sries de fonctions. Exemples et contre-exemples)
Rfrence : Oraux X-ENS analyse tome 2
Thorme de Brouwer en dimension 2
A caser dans :
1. 204 (Connexit. Exemples et applications)
2. 206 (Thormes de point fixe. Exemples et applications)
Rfrence : Gonnord-Tosel, Topologie et analyse fonctionnelle
SO(3) est un groupe simple
A caser dans :
1. 135 (Isomtries dun espace ane euclidien de dimension finie. Forme
rduite. Applications en dimensions 2 et 3)
2. 204 (Connexit. Exemples et applications)
Rfrence : Francinou-Gianella-Nicolas, Oraux X-ENS, algbre 3 page 67
Prolongement de la fonction
A caser dans :
1. 207 (Prolongement de fonctions. Exemples et applications)
2. 235 (Suites et sries de fonctions intgrables. Exemples et applications)
335
336
337
338
339
340
Chapitre 83
Liste des rfrences
341
342
343
344
Chapitre 84
Questions sur loption calcul
scientifique
345
84.1
Quest-ce que la stabilit des points dquilibre pour un systme autonome ? Comment
ltudie-t-on ?
0 on a
ky(t, z)
y(t, y0 )k Ckz
y0 k.
ky(t, z)
y(t, y0 )k (t)kz
y0 k.
347
y 0 (t) = y 2 (t)
y0
1 ty0
y 0 (t)
=
y 3 (t)
y 3 (t)
349
stable, on calcule la solution du mme problme de Cauchy avec une condition initiale lgrement modifie et on vrifie que quand t ! 1 on se rapproche bien de
la solution de dpart. Pour vrifier que la solution de dpart est stable, on vrifie
que la dirence entre les deux solutions reste borne.
Remarque. On aurait aussi pu parler de fonctions de Liapunov et de champ rentrant, mais a nest pas au programme. En gnral dans les systmes physiques,
les formules dnergie donnent une fonction de Liapunov. Par exemple pour le pendule mcanique : la conservation de lnergie passe par une fonction de Liapunov
donne par la conservation de lnergie.
Exemple 84.8. tude complre de la stabilit pour le pendule mathmatique (qui
est un truc savoir faire). lquation du pendule est donne par :
y 00 (t) + sin(y(t)) = 0,
Alors, on peut crire :
y 00 (t)y 0 (t) + sin(y(t))y 0 (t) = 0
1 02
(y (t)
2
y 02 (0))
cos(y(t)) + cos(y(0)) = 0.
0
On peut
aussi rcrire le systme comme un systme dordre 1 en posant z = y et
y
Y =
alors
z
z
0
Y =
sin(y)
soit encore
y 0 (t) = z(t)
z 0 (t) = sin(y(t))
Par le thorme de Cauchy Lipschitz, on a existence et unicit globale de la solution. On commence par trouver les points dquilibre du systme, ce sont les
{(k, k 2 Z}. On commence par tudier le cas k = 1. On tudie le systme linaris au voisinage
du point dquilibre (y = , z = 0). Le systme linaris est
0 1
Y0 =
Y Le polynme caractristique de cette matrice est X 2 1 les va1 0
leurs propres sont donc 1 et 1. Daprs le thorme de Liapunov,
lquilibre
est
0
1
instable. Dans le cas o k = 0, le systme linaris est Y 0 =
Y le poly1 0
nme caractristique est X 2 +1, la matrice a donc deux valeurs propres imaginaires
pures i et i. On ne peut pas utiliser le thorme de Liapunov pour conclure. On
va donc chercher une autre mthode. On reprend lquation quon avait trouve :
1 2
(z (t)
2
z 2 (0))
cos(y(t)) + cos(y(0)) = 0,
V 0 (y(t))
84.2
351
Mthodes un pas
Dfinition 84.11. Les mthodes numriques un pas sont les mthodes de rsolution numrique qui peuvent scrire sous la forme :
o
On peut dfinir les principales mthodes un pas que nous utilisons et nous
donnons chaque fois leur ordre, nous dfinirons aprs ce que cest (OUBLI !) :
Dfinition 84.12.
hn
hn
, yn + f (tn , yn )),
2
2
1
2
2
1
pn,1 + pn,2 + pn,3 + pn,4
yn+1 = yn + hn
6
6
6
6
353
constant h donne :
yn+1 = yn + h( 150yn + 30)
= (1 150h)yn + 30h
1
1
yn+1
= (1 150h) yn
5
5
1
n
= (1 150h) y0
.
5
1
Si on suppose h = 50
et y0 = 15 + . Alors yn = 15 + ( 2)n ce qui diverge. Pour
avoir un rsultat convaincant avec Euler explicite, il est donc ncessaire de prendre
h trs petit ce qui augmente considrablement le temps de calcul.
Si on utilise la mthode dEuler implicite, le problme ne se pose pas :
1
1
(1 + 150h) yn+1
= yn
5
5
1
1
1
yn
=
yn
.
5
(1 + 150h)n
5
1
Et on voit quen prenant y0 = 15 + on a yn = 15 + 1+150h)
n et on na pas de condition
sur h pour que a ne diverge pas. Dans ce cas, la mthode dEuler implicite est
prfrable la mthode dEuler explicite, bien quelles soient de mme ordre.
h yn
h )yn
h ) n y0
h yn+1
1
yn
(1 + h )
1
=
y0
(1 h )n
=
Remarque. La quantit entre valeurs absolues dans la somme est appele erreur
de consistance linstant tn . Cest lerreur que lon fait au nime pas en replaant
lquation direntielle par le schma numrique. La dfinition implique que si h
est susemment petit, la somme de ces erreurs est ngligeable. Cela veut dire
que le schma que lon dfinit, se rapproche dune solution de lquation direntielle (mais a peut tre une autre solution priori, pour une condition initiale
lgrement modifie).
84.3. INTGRALES
355
On dfinit alors la notion de stabilit : cest cette notion qui fera que pour
une faible perturbation de la condition initiale, on restera proches de la solution
cherche du problme de Cauchy (on ne va dont pas vers nimporte quoi chaque
fois quon rajoute une perturbation).
Dfinition 84.20 (Stabilit). On dit que la mthode numrique un pas est
stable si il existe une constante M indpendante de hmax telle que pour toutes
suites yn , zn et n , n = 0, 1, , N vrifiant
yn+1 = yn + hn (tn , yn , hn )
zn+1 = zn + hn (tn , zn , hn ) + n
on ait
max |yn
0nN
zn | M
|y0
z0 | +
n<N
|n | .
On peut voir la stabilit comme une continuit par rapport lerreur chaque
tape.
On peut maintenant dfinir la convergence dun schma numrique un pas pour
les quations direntielles.
Dfinition 84.21 (Convergence). La mthode un pas dfinie prcdemment est
convergente si les conditions hmax ! 0 et h ! y(t0 ) impliquent
max |y(tn )
0nN
yn | ! 0,
84.3
Remarque. Cette intro est trs exactement celle quon trouve dans Crouzeix-Mignot.
i f (xi ),
i=0
84.3. INTGRALES
357
et par suite
b
a
f (x)dx
=
k 1
X
(ai+1
ai )f (i ).
i=0
En fonction des choix des i on retrouve des mthodes trs classiques (et
simples implmenter) dintgration numrique :
1. La formule des rectanges gauche o on considre i = ai et ainsi
Z
k 1
X
f (x)dx
=
(ai+1
ai )f (ai ).
i=0
b
a
f (x)dx
=
k 1
X
(ai+1
ai )f (ai+1 ).
i=0
f (x)dx =
(ai+1 ai )f (
).
2
a
i=0
Cas o le polynme dinterpolation est de degr 1. Le cas le plus courant
est la mthode des trapzes qui revient remplacer f par p1 (x) = f (ai ) +
f (ai+1 ) f (ai )
(x ai ). On obtient alors
ai+1 ai
Z
do
ai+1
ai
f (x)dx
=
Z
b
a
ai+1
p1 (x)dx =
ai
f (x)dx
=
k 1
X
ai+1
i=0
ai+1 ai
(f (ai ) + f (ai+1 ))
2
ai
ai+1
ai
l
Yx
j
k6=j
k
,
k
on note, pour j = 0, 1, , l,
!j =
Lj (x)dx.
1
f (x)dx = (ai+1 ai )
!j f (i,j )
ai
j=0
b
a
f (x)dx
=
k 1
X
i=0
(ai+1
ai )
l
X
!j f (i,j )
j=0
84.3. INTGRALES
359
b
a
f (x)w(x)dx
=
l
X
j f (xj )
j=0
o xj 2 [a, b], j = 0, 1, , l. Alors, on a le thorme suivant (qui est un dveloppement, donc on nen dira pas beaucoup plus)
Thorme 84.25. Il existe un choix et un seul des points xj et des coecients j
de sorte que la mthode soit dordre N = 2l + 1. Les points xj sont dans ]a, b[ et
sont les racines du (l + 1)-ime polynme orthogonal pour le poids w.
Remarque. En fonction des poids, on connat des familles de polynmes orthogonaux qui nous permettent de calculer facilement ces intgrales (les coecients j
ont aussi des expressions explicites).
84.4
Aspects thoriques
Pour obtenir lexistence et lunicit dune solution un problme doptimisation, on peut penser aux thormes du type de toute fonction continue sur un
compact admet un maximum et un minimum.
Dans le cas o la fonction cot est deux fois direntiable, on peut observer les
valeurs propres de sa matrice Hessienne en un point pour dterminer si ce point
est, ou pas, un extrmum local de la fonction cot.
Thorme 84.27. Soit x0 un point critique de J : 2 Rn ! R. Si la forme
quadratique associe la matrice hessienne de J en x0 est dfinie ngative, alors
x0 est un maximum local de J. Si elle est dfinie positive alors x0 est un minimum
local de J. Si elle est dfinie mais ni positive ni ngative, alors x0 est un point
selle.
Dans le cas o J est une fonction convexe, on sait alors que tout minimum
local est un minimum global et que si J est strictement convexe, il y a au plus un
minimum.
En dimension infinie, la notion de convexit est remplace par la notion de ellipticit.
Quand on est sur des Hilbert (cest gnralement le cas puisquon a tendance
tout faire sur des espaces vectoriels rels de dimension finie) on peut aussi utiliser
les consquences du thorme de reprsentation de Riesz et de projection quon
rappelle ici :
84.4. OPTIMISATION
361
pC (x)k kx
yk.
2 H 0,
8v 2 H, ( , v) = hf, vi,
de plus, on a
|f | = k k.
u2K
( , u) = min
v2K
1
a(v, v)
2
( , v)
rf (x ) +
p
X
k=1
k rhk (x
)=0
xj+1 = xj
n d n .
363
84.5
@u
@u
(x, t) + c(x, t) (x, t) = f (x, t)
@t
@x
(x, t) + c @u
(x, t) = 0, x 2 R, t 2 R
@x
u(x, 0 = u0 (x),
x2R
(84.1)
La solution sera cherche dans C 1 (R R). Dans ce cas, il est possible de trouver la
solution exacte en utilisant la mthode des caractristiques qui consiste trouver
f 0 (t) =
ce qui nous amne poser x0 (t) = c et x(0) = fix dans R. Ainsi x(t) = + ct
est une trajectoire telle que u( + ct, t) = u0 () pour tout t 2 R. On en dduit la
proposition suivante :
Proposition 84.34. La solution problme 84.1 est donne par
8(x, t) 2 R R, u(x, t) = u0 (x
ct)
@u
@u
Fx
+c
= Fx (0) = 0.
@t
@x
En utilisant les formules de drivation des transformes de Fourier, que lon rappelle
ici
@u
@
Fx
(, t) = u(, t)
@t
@t
@u
Fx
(, t) = i
u(, t)
@x
on peut transformer le problme 84.1 en une quation direntielle ordinaire
d
u(, t) + ic u(, t) = 0
dt
avec la condition initiale Fu(., 0) = u(, 0) = u0 () pour tout 2 R. On peut
rsoudre explicitement : pour tous (, t) 2 R R
u(, t) = e
ict
u0 ()
365
Rponse. Les caractristiques sont dans lautre sens avec la mme dmonstration
sur la mthode des caractristiques.
@u
@u
+a
= f (t, X(t))
@t
@x
On soustrait les deux, et on obtient quoi ?
h
o
(cnj )+
(cnj )
(cnj )
unj+1 unj
= f (xj , tn )
h
c(xj , tn )
0
si c(xj , tn ) > 0
sinon
c(xj , tn )
0
si c(xj , tn ) < 0
sinon
B
B
A=B
@
1+ a
..
a
.
..
C
C
C
...
a A
1+ a
.
367
et on a
U n = AU n
= An U 0
84.6
Pour les rsultats thoriques, voir Di Menza, pour les rsultats numriques cest
dans Rappaz Picasso
quation de Laplace
Lquation de Laplace scrit, de manire trs gnrale sous la forme
u=0 x2
u = f x 2 @
(84.3)
avec f continue sur @ et o u est une fonction de classe C 2 dfinie sur un ouvert
2 Rn . u est alors dite harmonique sur .
Dans le cas n = 1, on obtient une quation direntielle ordinaire du second
ordre, le thorme de Cauchy-Lipschits nous assure, pour une condition initiale
donne lexistence dune solution unique. On peut lcrire explicitement en intgrant deux fois lquation (mme si lintgrale nest pas forcment calculable dans
le cas o il y a un second membre).
Dans le cas n = 2 on peut passer par les fonctions holomorphes pour rsoudre
le problme. En eet, la partie relle dune fonction holomorphe est harmonique.
Dans un cas trs gnral, on a le rsultat dunicit suivant pour les solutions :
Proposition 84.36. Il existe au plus une solution du problme 84.3 dans C 2 () \
C 0 ().
Le cas gnral est trs compliqu. On va donner quelques outils dtude dans
les cas o est un rectangle et un disque.
et
00
1 (x1 ) 2 (x2 )
00
1 (x1 ) 2 (x2 )
00
2 (x2 )
2 (x2 )
o est une constante relle car chacun des deux termes ne dpend que de x1 ou
que de x2 . On a alors deux quations direntielles dcouples qui scrivent
00
1 (x1 ) = 0 x1 2]0, L1 [
1 (x1 )
00
2 (x2 ) = 0 x2 2]0, L2 [
2 (x2 )
Et, mme si les calculs sont un peu compliqus, cela permet de trouver une solution.
On remarque que lquation de Laplace a un eet rgularisant lintrieur du
domaine condidr : la solution u dfinie est C 1 sur
.
Si on regarde le problme en dimension 1 avec des conditions de Dirichlet, on
se place sur ], [ et on a :
8 @2u
< @x2 = 0
u() = c
:
u( ) = d
369
00 (x)
(x)
00 (y)
(y
= K constante et donc :
8 00
(x) = K (x)
>
>
< 00
(y) = K (y)
(0)
= 0, (1) = 0
>
>
:
(0) = 0, (1) = 0
quation de la chaleur
Rsolution thorique
Le problme de la chaleur a la forme suivante
@x
u = 0 x 2 R n t 2 R+
@t
u(x, 0) = u0 (x) x 2 Rn
o > 0 est un paramtre donn et u0 une fonction de classe C 2 sur Rn . On
cherche une solution u de classe C 1 en temps et C 2 en espace.
Si on cherche rsoudre lquation de la chaleur dans lespace tout entier, le
plus simple est dutiliser la transforme de Fourier. On suppose que u et toutes
ses drives admettent tout instant des transformes de Fourier (on peut donc
prendre u0 2 L2 (Rn )). La fonction u vrifie lquation direntielle suivante
d
u(, t) =
dt
kk2 u(, t)
+1
X
an (t) sin(2nx) +
n=1
1
X
bn (t) cos(2nx).
n= 1
(2n)2 t
371
il y a convergence normale sur tout compact de R+ [0, 1] donc u 2 C 1 (Rj+ [0, 1]).
Pour t ! 0 on tend vers le peigne de Dirac. La distribution associe en 0 est
une somme de Dirac avant de se rgulariser. On peut aussi montrer que cest
rgularisant en utilisant le noyau de Green et des convoles.
Dans le cas o on a un terme f 6= 0 dans le membre de droite, on le dveloppe
en srie de Fourier pour conclure. La forme de la solution nous dit quen temps
long la solution existe.
Le problme de poser le problme de la chaleur sur Rn , cest que ce nest pas
physique.
Rsolution numrique
Pour rsoudre lquation de la chaleur numriquement, on peut utiliser des
schmas aux dirences finies ou des mthodes dlments finis. Nous ne parlerons
ici que des schmas aux dirences finies. On considre k une constante positive,
lquation de la chaleur que nous allons rsoudre est :
8 @u
2
(x, t) k @@xu2 (x, t) = f (x, t) 8x 2]0, 1[, 8t > 0
>
>
@t
>
>
<
u(0, t) = u(1, t) = 0
8t > 0
>
>
>
>
:
u(x, 0) = w(x)
8x 2]0, 1[
On commence par discrtiser par rapport la variable despace x. On note N
un entier positif, le pas de discrtisation en espace h = N 1+1 et xi = ih avec
i = 0, 1, , N + 1. Soit ui (t) une approximation de u(x, t) au point x = xi . On
note ui (t)
= u(xi , t), i = 1, , N . On considre alors le schma
d
k
ui (t) + 2 ( ui 1 (t) + 2ui (t)
dt
h
1
.
...
..
...
1
7
7
7
15
et les vecteurs colonnes u(t), f (t) et w dont les N composantes sont respectivement
ui (t), f (xi , t) et w(xi ) pour i = 1, , N . Le schma prcdent est alors quivalent
au systme direntiel suivant :
d
u(t) = Au(t) 8t > 0
dt
u(0) = w.
La discrtisation en espace aboutit donc un systme direntiel du premier ordre
en temps avec une condition initiale. On peut utiliser des mthodes pour les quations direntielles pour le rsoudre. On va parler ici des schmas dEuler explicite
et implicite. On note > 0 le pas de temps et tn = n avec n = 0, 1, et un une
approximation de u(t) au temps tn . On note un
= u(tn ). On considre le schma
dEuler explicite :
un+1 un
= Aun + f (tn ) n = 0, 1,
u0 = w.
La rsolution de ce systme est explicite. Mais on obtient une condition de stabilit.
Si on considre le schma dEuler implicite
un+1 un
= Aun+1 + f (tn+1 ) n = 0, 1,
u0 = w.
la rsolution est cette fois implicite mais le schma est inconditionnellement stable.
Pour ce qui est de la rsolution numrique, scilab inverse la matrice A en O(n).
84.7
Quest ce que a modlise lquation des ondes ? Ca modlise une corde vibrante
par exemple. On obtient lquation en faisant un bilan de forces sur une portion
373
Z
1
1 x+ct
u(x, t) =
u0 (x + ct) + u0 (x ct) +
u1 ( d
2
c x ct
est solution de lquation des ondes 84.7.
En EDP, la premire mthode qui vient lide est de sparer les variables. On
crit u(t, x) = (t) (x) et alors
@ 2u
= 00 (t) (x)
@t2
@ 2u
= (t) 00 (x)
@x2
00
(t) (x) = c2 (t) 00 (x)
00
00
(t)
(x)
= c2
= constante
(t)
(x)
et donc
on a alors, si a =
00
00
(t) (t)
(x) = c2 (x)
u(t, 0) = 0
u(t, L) = 0
2
@2
@
@
@
@
2 @
c
=
+
c
c
.
@t2
@x2
@t
@x
@t
@x
Pour cette dernire mthode, on a en lappliquant u
@
@
@
@
+c
c
u=0
@t
@x
@t
@x
on commence par rsoudre
@u
@t
+ c @u
=0
@x
u(0, x) = u0 (x)
375
et les vecteurs colonnes u(t), f (t), w et v dont les N composantes sont respectivement ui (t), f (xi , t), w(xi ) et v(xi ) pour i = 1, , N . On peut alors rcrite le systme
sous la forme
d2
2
2 u(t) + c Au(t) = f (t) 8t > 0,
dt
u(0) = w
d
u(t) = v.
dt
Il sagit dun systme dordre 2 et on peut utiliser une discrtisation en temps pour
le rsoudre. On pose > 0 le pas de temps et tn = n, n = 0, la discrtisation
en temps. On peut alors crire le schma suivant, en notant un une approximation
de u(tn ), soit un
= u(tn ) et unj
= u(xj , tn ) :
un+1
2un + un
2
+ c2 Aun = f (tn ) n = 1, 2,
u0 = w
1
u1 = w + v + 2 f (0)
2
c2 Aw .
84.8
Les sries de Fourier ont une utilit essentiellement thorique dans les problmes
de modlisation : elles permettent dobtenir lexistence, lunicit et la forme de
84.9
377
k uk
k bk
cond(A)
kuk
kbk
est satisfaite et cest la meilleure possible : pour une matrice A donne, on peut
trouver des vecteurs b 6= 0 et b 6= 0 tels quelle devienne une galit.
Au = b
A)(u + u) = b.
k uk
k Ak
cond(A)
ku + uk
kAk
est satisfaite et cest la meilleure possible : pour une matrice A donne, on peut
trouver un vecteur b 6= 0 et une matrice A 6= 0 tels quelle devienne une galit.
On a par ailleurs lingalit
k uk
k Ak
cond(A)
{1 + O(k Ak)}.
kuk
kAk
n (A)
,
1 (A)
cond2 (A) =
max | i (A)|
i
min | i (A)|
i
o les nombres
i (A)
379
a1,1
B ..
=@ .
ak,1
1
a1,k
.. C , 1 k n
. A
ak,k
soient inversibles. Alors il existe une matrice triangulaire infrieure L = (li,j ) avec
li,i = 1, 1 i n, et une matrice triangulaire suprieure U telles que
A = LU.
De plus, une telle factorisation est unique.
Et on peut aussi donner la dcomposition LU dune matrice tridiagonale (cest
dans Ciarlet). Pour les quations direntielles avec une quation implicite, la
mthode dEuler implicite par exemple :
(In
y = f (t, y) = Ay
yn+1 = yn + hf (tn+1 , yn+1 )
yn+1 = yn + hAyn+1
hA)yn+1 = yn
Si h est petit, alors pivots vont tre directement sur la diagonale, on na donc pas
de recherche de pivot faire. Cest aussi le cas pour A la matrice de discrtisation
des mthodes des dirences finies.
Dans certains cas, il est utile de stocker les matrices L et U de la dcomposition
de la matrice A (par exemple quand on a beaucoup de systmes rsoudre avec
la mme matrice). La dcomposition LU prserve le profil de la matrice.
Une autre factorisation possible est la mthode de Choleski qui sapplique aux
matrices symtriques dfinies positives :
que H = In 2 vv
.
v v
Proposition 84.47. Soit a = (ai ) 2 CN tels que
matrices de Householder telles que
0 1
B0C
B C
Ha = B .. C
@.A
0
n
P
i=2
vv
vv
)(In 2 )
v v
v v
vv
(vv )(vv )
4 +4
v v
(v v)(v v)
2
= In
donc H est une symtrie axiale (car H est une involution) par rapport lhyperplan orthogonal v. partir des matrices de Householder, on peut construire la
factorisation QR.
Thorme 84.48. tant donn une matrice A dordre n, il existe une matrice
unitaire Q et une matrice triangulaire suprieure R telles que
A = QR.
De plus, on peut sarranger pour que les lments diagonaux de la matrice R soient
tous 0. Si la matrice A est inversible, la factorisation correspondante est alors
unique.
381
b,
N uk + M
b.
N et c = M
b,
F o
E) 1 b, k
0.
1
1 !
D E uk+1 =
D + F uk + b
!
!
Ces mthodes ont la caractristique dtre par points. On peut dfinir leurs
analogues par blocs.
On a le thorme suivant pour la convergence des mthodes itratives dans un
cas gnral :
Thorme 84.49. Les propositions suivantes sont quivalentes :
1. La mthode itrative est convergente.
2. (B) < 1
3. kBk < 1 pour au moins une norme matricielle k k.
et le thorme pour la vitesse de convergence
Thorme 84.50.
que
k!1
sup
ku0 uk=1
kuk
uk1/k
0
!
= (B).
383
0
0
avec
u0 = u0 .
(B) < (B),
Alors, 8 > 0, 9l() 2 N tel que
k
l() )
sup
ku0 uk=1
k
uk
kuk
uk
uk
k1
(B)
.
(B) +
Pour les mthodes que nous venons dexposer, il y a des thormes plus spcifiques :
Thorme 84.51. Soit A une matrice hermitienne dfinie positive, dcompose
sous la forme :
A=M N
avec M une matrice inversible. Si la matrice hermitienne M + N est dfinie
positive alors
(M 1 N ) < 1.
Thorme 84.52 (Condition susante de convergence de la mthode de relaxation). Si la matrice A est hermitienne dfinie positive, la mthode de relaxation
converge si 0 < ! < 2.
Thorme 84.53 (Condition ncessaire de convergence de la mthode de relaxation). La mthode de relaxation ne peut converger que si ! 2]0, 2[.
Thorme 84.54 (Comparison des mthodes de Jacobi et de Gauss-Seidel). Pour
une matrice tridiagonale par blocs, les deux mthodes convergent simultanment.
Lorsquelles convergent, la mthode de Gauss-Seidel converge plus rapidement que
la mthode de Jacobi.
Remarque. Rsoudre Ax = b avec A symtrique dfinie positive revient minimiser
f (x) = 12 hAx, xi hb, xi ce qui permet de revenir aux mthodes doptimisation.
xk kBkk kx0
xk
kxk+1
xk ((B) + )k kxk
xk.
84.10
AP = diag( i )
385
n
[
Di
i=1
o
Di = {z 2 C; |z
i|
cond(P )k Ak}.
Axn
kAxn k
0
B ...
B1
Cp = B . .
@ .. . .
0
0
..
+ Xn
1
a0
.. C
. C
.. C
. A
an 1
84.11
On considre
F (x) = 0
o F : Rn ! Rm nest pas forcment linaire (mme dans ce paragraphe, forcment non linaire). On fait une liste des mthodes possibles :
1. Les mthodes de type Newton, qui ont des proprits de convergence quadratique. Par contre, a implique de savoir calculer le jacobien de F et de
savoir linverser. Il faut connatre les schmas qui vont avec Newton.
387
84.12
Cest pour les systmes linaires avec beaucoup plus dquations que dinconnues, on cherche minimiser la norme euclidienne de Ax b. Si A est de rang
maximal, il y a une unique solution au problme de minimisation. (Il faut savoir
faire les calculs qui vont avec). Si on multiplie par AT , on se ramne un systme AT A = AT b et l cest cool parce que on a une matrice carre et on peut
retomber sur une mthode de rsolution de systmes linaires carrs. Il faut absolument connatre linterprtation gomtrique de la mthode des moindres carrs.
Les moindres carrs sont trs utiliss pour les rgressions linaires, mais on peut
aussi les utiliser pour des matrices de plus grande taille.
Il est aussi intressant de se demander ce que devient la dcomposition QR de A
dans ce cadre.