Académique Documents
Professionnel Documents
Culture Documents
(u) Ker (u I d
E
) le sous-espace propre de u associ .
Objet du problme
Dans ce problme, on se propose dtudier les sous-espaces vectoriels de M
n
(K) constitus de matrices
diagonalisables.
Plus prcisment, si n est un entier >1 et K un corps, on note MT(n, K) lafrmation suivante :
page 16
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Pour toutes matrices A et B diagonalisables dans M
n
(K), la proprit
(a) A et B commutent
est quivalente la proprit
(b) Pour tout K, A+B est diagonalisable dans M
n
(K).
Lun des objectifs de ce problme est de montrer que cette afrmation est vraie dans le cas complexe cest-
-dire que MT(n, C) est vraie pour tout n >1, qui est un rsultat d Motzkin-Taussky, 1952.
Dans toute la suite, lorsquil sera demand dtudier lafrmation MT(n, K), il faudra examiner successive-
ment si les implications (a) (b) et (b) (a) sont vraies.
Les parties I, II et III peuvent tre traites de manire indpendante.
Partie I
I-A : Le sens direct et le cas n 2
1. Soit K un corps et E un K-espace vectoriel de dimension nie.
On considre u et v deux endomorphismes diagonalisables de E qui commutent cest--dire tels que
u v v u.
(a) Montrer que les sous-espaces propres de v sont stables par u cest--dire que si F est un sous-
espace propre de v, on a u(F) F.
(b) Montrer que u induit sur chaque sous-espace propre de v un endomorphisme diagonalisable.
(c) En dduire lexistence dune base commune de rduction dans E pour les endomorphismes u
et v, cest--dire quil existe une base B de E telle que celle ci soit une base de vecteurs propres
la fois de u et de v.
2. Plus gnralement, on considre (u
i
)
i I
une famille dendomorphismes diagonalisables de E.
On suppose en outre que ces endomorphismes commutent deux deux :
((i , j ) I
2
), u
i
u
j
u
j
u
i
.
Montrer lexistence dune base commune de rduction dans E pour la famille (u
i
)
i I
cest--dire une
base Bde E qui est une base de vecteurs propres pour chaque endomorphisme u
i
, i I .
(I ndi cat i on : on pourra raisonner par rcurrence sur la dimension de E, en tudiant part le cas o
(u
i
)
i I
est une famille dhomothties.)
3. Montrer que limplication (a) (b) est vraie dans lafrmation MT(n, K), pour tout entier n >1 et tout
corps K.
4. tudier limplication (b) (a) dans lafrmation MT(2, R).
5. On tudie limplication (b) (a) dans lafrmation MT(2, C).
Soit A et B deux matrices diagonalisables de M
2
(C) satisfaisant la proprit (b) de MT(2, C).
(a) Montrer que lon peut se ramener au cas o B est une matrice diagonale de M
2
(C) avec au moins
une valeur propre nulle.
(b) En supposant que B est une matrice diagonale non nulle avec une valeur propre nulle, dmon-
trer lexistence dun nombre complexe
0
tel que A+
0
B ait une valeur propre double.
(c) En dduire que limplication (b) (a) dans MT(2, C) est vraie.
6. On suppose ici KF
p
Z/pZ, o p est un nombre premier et n un nombre entier >1.
(a) Montrer que A M
n
(F
p
) est diagonalisable si et seulement si A
p
A.
(b) Dmontrer lafrmation MT(n, F
2
).
page 17
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
(c) Dmontrer lafrmation MT(2, F
p
), dans le cas p >3.
_
I ndi cat i on : on pourra suivre le mme plan que dans le cas complexe rencontr la question
I-A-5
_
I-B : Application de la rduction simultane
1. (a) On suppose ici que K est un corps de caractristique diffrente de 2.
On considre un sous-groupe multiplicatif ni G de GL
n
(K) o n est un entier >1.
On suppose que :
(M G), M
2
I
n
.
Montrer que G est ablien de cardinal infrieur ou gal 2
n
.
(b) En dduire que pour tout (n, m) (N
)
2
les groupes multiplicatifs GL
n
(K) et GL
m
(K) sont iso-
morphes si et seulement si n m.
2. Dans cette question, KC et n est un nombre entier >1.
On considre A et B deux matrices de M
n
(C) et on introduit lendomorphisme de M
n
(C)
A,B
: M AM+MB.
(a) En supposant que A est diagonalisable et que B 0 , tablir que
A,B
est diagonalisable.
(b) En supposant A et B diagonalisables, tablir que
A,B
est diagonalisable.
(c) Dmontrer la rciproque, cest--dire que si
A,B
est diagonalisable, A et B le sont.
(I ndi cat i on : On pourra utiliser la dcomposition de Jordan-Dunford de A et B)
(d) Lorsque A et B sont diagonalisables, dterminer les lments propres de
A,B
en fonction de
ceux de A et de
t
B.
3. Dans cette question, K R et on note S
2
(R) lensemble des matrices symtriques relles de M
2
(R).
Soit V un hyperplan vectoriel de M
2
(R) constitu de matrices diagonalisables sur R.
On se propose de montrer que V est conjugu S
2
(R).
(a) Montrer que V contient la matrice I
2
.
(b) Montrer que V est conjugu au sous-espace vectoriel engendr par (I
2
, A, B) avec
A
_
1 0
0 0
_
et B
_
0
2
1 0
_
,
o est un nombre rel non nul.
(c) En dduire le rsultat.
4. Montrer que tout espace vectoriel form de matrices diagonalisables de M
2
(R) est conjugu un
sous-espace vectoriel de S
2
(R).
Partie II : Le cas n 3
On suppose que K est un corps de caractristique nulle. On rappelle les dnitions suivantes :
- Pour les polynmes de K[X]
P
m
k0
a
k
X
k
et Q
n
k0
b
k
X
k
page 18
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
o m et n sont deux entiers >1, on dnit le rsultant de P et Q par le dterminant de taille m+n.
R(P,Q)
a
m
0 0
a
m1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0
.
.
.
.
.
.
a
m
.
.
. a
m1
.
.
.
.
.
.
a
0
.
.
.
0 a
0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 a
0
. .
n colonnes
b
n
0 0
b
n1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0
.
.
.
.
.
.
b
n
.
.
. b
n1
.
.
.
.
.
.
b
0
.
.
.
0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 b
0
. .
m colonnes
- Pour tout P K[X] de degr n >1 de coefcient dominant a
n
, on dnit le discriminant de P par
(P)
(1)
n(n1)
2
a
n
R(P, P
t
).
1. On considre , et trois scalaires de K. Montrer que le discriminant du polynme
P X
3
+X
2
+X +
est
27
2
18+
2
2
4
3
+4
3
.
2. On pose dans M
3
(K)
M
_
_
m
1
m
2
m
3
m
4
m
5
m
6
m
7
m
8
m
9
_
_
et N
_
_
s 0 0
0 0 0
0 0 1
_
_
b
1
b
2
b
4
b
5
0, on a :
( K), P
B+Q
X
3
+(a +) X
2
+(b (b
1
+b
5
) ) X +c.
(b) Montrer alors que si en plus b
1
+b
5
/ 0, le discriminant de P
B+Q
est un polynme de degr
quatre en et dterminer son coefcient dominant.
page 19
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
4. Ici KC; on se propose de dmontrer limplication (b) (a) de lafrmation MT(3, C).
Soit A et B deux matrices diagonalisables de M
3
(C) satisfaisant la proprit (b) de MT(3, C) ; on note
F le C-espace vectoriel engendr dans M
3
(C) par I
3
, A et B.
(a) Montrer que F est un sous-espace vectoriel de matrices diagonalisables de M
3
(C) et que si la
dimension de F est strictement infrieure 3, les matrices A et B commutent.
(b) On suppose que la dimension de F est gale 3. Montrer que lon peut se ramener par conju-
gaison au cas o A Diag(0, 0, 1) et B est un projecteur de rang 1.
(c) En dduire que limplication (b) (a) de lafrmation MT(3, C) est vraie.
Partie III : Le cas gnral dans C
III-A : Bases holomorphes
1. Soit
0
un disque ouvert de C contenant lorigine ; on considre une application holomorphe M de
0
dans M
n
(C), cest--dire telle que chaque coefcient m
i j
de M dnisse une fonction holomorphe
de
0
dans C, pour (i , j ) [[1, n]]
2
.
Pour tout z
0
\{0}, on note V (z) le noyau de la matrice M(z).
Dmontrer lexistence dun rel >0 et dun entier m>0 tels que
(z
0
), (0 <[z[ <) (dimV (z) m).
(I ndi cat i on : on pourra considrer les mineurs de M(z).)
On suppose m>1 dans la suite.
2. Sous les hypothses ci-dessus et avec les mmes notations, dmontrer lexistence dun nombre rel
r > 0 et de m fonctions
1
, ,
m
, holomorphes sur D
r
{z
0
; [z[ < r }, valeurs dans C
n
, telles
que pour tout z D
r
\{0}, les vecteurs
1
(z), ,
m
(z) engendrent V (z) et
1
(0), ,
m
(0) sont tous
non nuls.
(I ndi cat i on : on pourra commencer par trouver des vecteurs
1
(z), ,
m
(z) mromorphes en z,
qui engendrent V (z).)
3. Toujours avec les mmes notations, notons Z
dans
0
C
n
et V (0) ( qui na pas encore t dni) le sous-ensemble
de C
n
tel que
{0} V (0) Z ({0} C
n
).
(a) On suppose que la famille (
1
(0), ,
m
(0)) est libre. Dmontrer que V (0) est un sous-espace
vectoriel de C
n
de dimension m.
(b) Montrer quil existe une famille (
1
, ,
m
), comme la question III-A-2 telle que la famille
(
1
(0), ,
m
(0)) soit libre et en dduire que V (0) est un sous-espace vectoriel de C
n
de dimen-
sion m.
(I ndi cat i on : partant dune famille quelconque (
1
, ,
m
) vriant III-A-2, onpourra construire
des familles (
1
, ,
k
,
k+1
, ,
m
) par rcurrence sur k.)
4. On considre une application holomorphe N dun ouvert U de C dans M
n
(C), un point
0
de C et un
cercle centr en
0
, orient dans le sens direct.
On suppose que pour tout U, la matrice N() est diagonalisable, que :
(U), ( ), N() I
n
GL
n
(C),
et on note R(, ) (N() I
n
)
1
.
(a) Dmontrer que la formule suivante
()
1
2i
_
R(, ) d
dnit une application holomorphe de U dans M
n
(C).
page 20
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
(b) Soit
0
un point de U ; on suppose que
0
est lunique valeur propre de N(
0
) entoure par le
cercle . Dmontrer que (
0
) est la projection sur E
0
(N(
0
)), le sous-espace propre de N(
0
)
associ
0
, paralllement la somme des autres sous espaces propres de N(
0
).
5. Dmontrer que pour tout U, la matrice () est un projecteur, somme de projecteurs sur des
sous-espaces propres de N() associs des valeurs propres entoures par .
Partie III-B : Courbes spectrales
Dans cette partie le corps de base est KC et D dsigne le disque ouvert unit D{z C ; [z[ <1}.
Soit A et B deux matrices dans M
n
(C), pour n N
; on pose :
((, ) C
2
), P(, ) P
A+B
() det(A+B I
n
).
Pour C, le polynme caractristique de A+B sera not P
.
On dnit lensemble
C {(, ) C
2
; P(, ) 0}.
On appelle multiplicit (dans C) dun point x (, ) de C, la multiplicit de la racine du polynme P
,
note d(x).
Nous admettrons le thorme suivant qui permet de paramtrer localement lensemble C par des injec-
tions holomorphes de D dans C
2
:
Quelque soit x
0
(
0
,
0
) C, il existe l N
)
1<<l
et (g
)
1<<l
, qui vrient les conditions suivantes :
(i) ( [[1, l ]]), f
(0)
0
et g
(0)
0
(ii) (z D), ( [[1, l ]]), ( f
(z), g
(z)) C
(iii) ( >0), ((, ) C),
([
0
[ <, [
0
[ <)
_
( [[1, l ]]), (z D), f
(z) et g
(z)
_
(iv) ( [[1, l ]]), ((z, w) D
2
), ( f
(z) f
(w), g
(z) g
(w)) (z w)
(v) ((, ) [[1, l ]]
2
), (/),
_
(z, w) (D\{0})
2
_
, ( f
(z), g
(z)) /( f
(w), g
(w))
(vi) (z D\{0}), ( [[1, l ]]), f
t
(z) /0.
Nous noterons F
( f
, g
1<<l
F
(D\{0}))
1<<l
est une famille densembles deux
deux disjoints. La condition (vi) est particulire notre situation o chaque polynme P
est de degr n
en , pour tout C.
Pour [[1, l ]], lensemble F
(D) ; on la notera d
dune branche F
(D) en x
0
lordre du zro 0 de f
0
, qui existe puisque f
est non constante ; nous admettrons alors que pour tout C\{
0
} sufsamment proche de
0
, le nombre
de points x (, ) F
0
, les branches
locales de C en x
0
(
0
,
0
) sont disjointes des branches locales de C en x
t
0
(
0
,
t
0
).
1. Soit
_
F
(D)
_
[[1,l ]]
la famille de branches locales de C en un point x
0
(
0
,
0
) de C.
Dmontrer que la multiplicit de x
0
dans C vrie
d(x
0
)
l
1
e
.
page 21
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
2. On suppose jusqu la n du problme que A+B est diagonalisable, pour dans C.
Soit (F
(D))
[[1,l ]]
la famille de branches locales de C en x
0
(
0
,
0
) et z un point de D\{0}.
On dnit lespace vectoriel, pour [[1, l ]]
V
(z) { C
n
; (A+ f
(z)B)g
(z)},
et lespace vectoriel associ V
0
(A+
0
B)
l
1
V
(0).
Montrer alors que la ramication e
de F
j ,r
()
1
2i
_
j
(,r )
R(, ) d.
dnit une fonction holomorphe de louvert U
{ C ; [[ >} dans M
n
(C).
(c) Dmontrer que, si en plus B est diagonalisable, chaque
j ,r
() admet une limite dans M
n
(C)
lorsque [[ tend vers linni, pour tout j [[1, n]].
5. On considre A et B deux matrices diagonalisables de M
n
(C). On suppose que A +B est diagonali-
sable, pour tout C. Dmontrer que A et B commutent.
page 22
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
3.2 Rapport sur lpreuve crite de mathmatiques gnrales
OBJET DUPROBLME
Lobjectif du problme, clairement nonc dans le prliminaire, tait dtablir dans une large mesure le
thorme de Motzkin-Taussky (1952) :
Si A et B sont deux matrices diagonalisables de M
n
(C) telles que pour tout C, la matrice A +B est
diagonalisable, alors A et B commutent.
Plus prcisment, les parties I et II traitaient les cas n 2 et n 3, en tudiant des variantes pour dautres
corps que celui des nombres complexes. La partie III dveloppait quelques questions en direction de ce
rsultat dans le cas n 1. Elle ne fournissait pas une preuve complte de ce thorme, comme on peut la
trouver par exemple dans [2], mais elle contenait nanmoins le dbut et la n de la preuve, reprsentant
dj une difcult honorable pour un problme dagrgation.
Remarque 1 : la cl manquante pour une preuve complte est lgalit admise des sous-espaces
E
0
(A+
0
B) et
l
1
V
(0) .
Dans lnonc, celle-ci sert tablir la question III-B-3, mais en ralit, il est plus naturel dtablir III-B-3
et den dduire lgalit des dimensions (voir [2]).
Remarque 2 : il faut faire attention que le thorme et le rsultat admis rclament que pour tout C,
A +B et B soient diagonalisables, contrairement limpression que pourrait donner lnonc. En effet,
dans lexemple suivant , on constate que
A
_
1 0
0 0
_
et B
_
0 1
0 0
_
ne commutent pas, alors que A+B est diagonalisable, pour tout C.
Dans la partie I-A, on tablit le rsultat dans le cas n 2, et on tudie ce mme rsultat sur les corps R et F
p
.
Dans la partie I-B, on donne quelques applications de la rduction simultane et on sintresse au sous-
espace vectoriel de M
2
(R) constitu dont les lments sont des matrices diagonalisables.
Dans la partie II, on tablit le rsultat dans le cas n 3.
Dans la partie III-A, on tudie des bases de noyau de matrices dont les coefcients sont des fonctions holo-
morphes sur un ouvert de C. On donne une expression intgrale des projecteurs spectraux de matrices dont
les coefcients sont des fonctions holomorphes sur un ouvert de C.
Dans la partie III-B, on tablit dans un certain cadre le thorme de Motzkin-Taussky pour n 1.
Les ingrdients pour ce problme faisaient intervenir :
les notions de base de rduction dendomorphismes, en particulier dans les corps C, R et F
p
, rduction
simultane, dcomposition de Jordan-Dunford, caractrisation de la diagonalisabilit dans F
p
, rduction
de matrices symtriques relles
utilisation des rsultants et discriminants, caractrisation des projecteurs de rang 1
holomorphie, mromorphie, prolongement analytique, intgrale paramtre de la variable complexe,
thorme de Liouville.
Remarques gnrales sur les copies
La plupart des remarques des annes prcdentes restent valables et peuvent tre lues avec prot par les
candidats. Nous dvelopperons cependant les points qui nous semblent plus particulirement utiles pour
les futurs candidats.
page 23
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
La clart, la rigueur, la prcision et la concision de la rdaction sont des lments importants dapprciation
des copies. De nombreux candidats perdent des points prcieux dans les questions les plus accessibles du
problme par des dfauts de rdaction.
Lutilisation des hypothses donnes dans lnonc doit tre signale au moment opportun et non en vrac
en dbut de question, an de montrer larticulation du raisonnement.
Il faut que les futurs candidats soient persuads quils ne perdront pas de temps ni de points, bien au
contraire, en proposant une rdaction complte et rigoureuse des questions quils auront rsolues (tout
en sachant rester concis...).
PARTIE I-A
Cette partie a t aborde par une grande majorit des candidats. On est conduit regretter un grand
manque de rigueur et de soin dans un dbut de problme. Il est bon de rappeler quen dbut de problme,
il convient de mettre laccent sur le soin et la prcision. Les dbuts de problme ou de partie de problme
sont des questions abordables pour la plupart des candidats. Il faut alors viter par exemple dafrmer que
les proprits dmontrer sont videntes. Bien sr, il ne sagit pas non plus de trop dtailler et de redmon-
trer des rsultats de cours.
Dautre part, les problmes dagrgation sont volontairement de difcult progressive et dcoups en par-
ties largement indpendantes pour permettre aux candidats de mettre en valeur leurs capacits. Si le gra-
pillage est dconseill, il est tout fait possible quun candidat se sente peu laise sur les notions dvelop-
pes dans une partie ou soit bloqu aprs une recherche srieuse, lorsque la difcult devient trop leve.
Le candidat a alors tout intrt soit regarder si les dernires questions de la partie, qui consistent sou-
vent en une mise en application des rsultats thoriques de la partie sur un exemple et sont abordables
en admettant les rsultats en question, lui semblent accessibles, soit regarder si il se sent plus habile sur
les parties suivantes. Malgr la progressivit du problme, les premires questions des parties sont priori
toujours de difcult mesure et peuvent tre loccasion pour un candidat de montrer ses capacits.
La question I-A-1-a a t traite par la majorit des candidats. Par contre I-1-b a pos quelques difcults,
les rponses ont t souvent laborieuses, les candidats nayant pas pens lutilisation dun polynme an-
nulateur. En outre, certains candidats ne se relisent pas, en confondant P(u(x)) et P(u)(x).
La question I-A-2 ncessitait une rcurrence soigne fournie clairement en indication par lnonc. Celle-ci
na pas toujours t initialise et le passage de n n +1 nest pas souvent clairement explicit. Le cas des
homothties, pourtant signal a t oubli ou mal cern par les candidats.
La question I-A-3 na pas pos de difcults mais a mis en vidence un grand manque de rigueur de la part
des certains candidats, qui ont identi matrice et application linaire canoniquement associe. ce stade
du problme, cela est trs maladroit compte tenu des questions prcdentes.
La question I-A-4 a pos des difcults beaucoup de candidats. Un candidat lagrgation doit savoir que
pour montrer quune proprit est fausse, il suft dexhiber un contre exemple. Ici, il sufsait de trouver
deux matrices symtriques relles de M
n
(R) qui ne commutent pas.
La question I-A-5-a a t traite maladroitement, avec des confusions entre diagonale et diagonalisable.
La question I-A-5-b a t souvent traite de manire trop calculatoire, alors quil sufsait de mettre en vi-
dence un polynme non constant.
La question I-A-5-c a t aborde mais le lien avec les questions prcdentes a rarement t fait.
La question I-A-6-a pourtant classique a pos des difcults, les ingrdients tant le morphisme de Frobe-
nius et le petit thorme de Fermat.
La question I-A-6-b a t traite par quelques candidats, qui ont su faire le lien avec la question prcdente.
La question I-A-6-c a t trs peu aborde. Toutefois, quelques candidats ont su dgag que la discussion
sarticulait autour du discriminant du polynme caractristique de A +B, savoir si celui-ci est un carr
dans F
p
.
PARTIE I-B
page 24
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Cette partie a t aborde de manire signicative par trs peu de candidats. Lingrdient de cette partie,
qui tait clairement donn par son titre, tait la rduction simultane dune famille dendomorphismes.
La question I-B-1-a a t traite partiellement par les candidats. Beaucoup de candidats ont omis de prci-
ser que dans K, on a 1 /1 pour des raisons de caractristique.
La questionI-B-1-ba t traite partiellement par les candidats. Beaucoupde candidats ont omis de donner
unexemple de groupeG de cardinal 2
n
, par exemple comme les matrices diagonales de M
n
(K) coefcients
diagonaux dans {1}.
La question I-B-1-c a t partiellement traite par les rares candidats qui lont aborde. Il convient de rap-
peler quune condition sufsante pour que la somme de deux endomorphismes nilpotents soit encore nil-
potente est que ceux-ci commutent.
Les questions I-B-3 et I-B-4 ont t abordes par assez peu de candidats. Cest dommage car celles-ci met-
taient les candidats sur la piste pour rpondre la question I-A-4.
PARTIE II
Cette partie a t aborde par une grande majorit des candidats, qui ont surtout trait les premires ques-
tions, les dernires tant un peu plus dlicates. Cette partie utilisait les proprits du rsultant et du discri-
minant, notions clairement rappeles dans lnonc du problme.
La question II-1 a t aborde par la majorit des candidats. Elle a mis en vidence un calcul de dtermi-
nant de taille 5, comportant sufsamment de zros pour se ramener aucalcul de deux dterminants de taille
trois, dont le calcul tait facile. Dans cette question trs souvent aborde, on a observ des calculs longs et
laborieux mens sans explication. On peut raisonnablement attendre quun candidat lagrgation sache
calculer un dterminant de taille 3 en moins dune page.
Signalons que quelques candidats ont utilis la calculatrice et ont obtenu le rsultat, sans rien expliquer.
Bien entendu, ceux-ci ont t sanctionns.
Les questions II-2 etII-3-b ont pos des problmes bon nombre de candidats, qui ont cru ncessaire de
rentrer dans les dtails de calcul pnible, alors quil sufsait dtudier qualitativement lexpression trouve
dans II-1.
La question II-3-a a aussi t traite de manire maladroite. La plupart des candidats qui lont traite, ont
cru bon dexpliciter P
B
pour en dduire le rsultat, alors quune simple observation de multilinarit four-
nissait immdiatement le rsultat.
La question II-4-a a t traite par quelques candidats, alors que II-4-b et II-4-c nont pas t abordes de
manire signicative.
PARTIE III-A
Cette partie a t aborde de manire signicative par les meilleurs, lanalyse complexe ayant rebut la
majorit des candidats. Dans cette partie, le grapillage de point na pas t rcompens.
Le principe des zros isols a t correctement appliqu dans les meilleurs copies la question III-A-1. On
y trouve aussi des pistes trs intressantes pour la rsolution de la question III-A-2.
Quelques candidats ont bien abord la question III-A-4-a, en citant le thorme danalycit des intgrales
dpendant dun paramtre. Cependant le thorme des rsidus a t appliqu dans III-A-4-b comme si
lintgrande tait valeurs complexes.
PARTIE III-B
Cette partie a t trs peu tudie mais ceux qui lont aborde avec un minimum de raisonnement ont t
bien rcompens, car celle-ci demandait dassimiler les proprits du prliminaire page 7.
Bibliographie
[1] T. S. Motzkin, O. Taussky : Pairs of matrices with property L. Trans. Amer. Math. Soc. vol. 73, pp.108-114
(1952) et vol. 80 pp.387-401 (1955)
[2] T. Kato : Perturbation theory for linear operators, Springer-Verlag, Berlin, Heidelberg, New York (1966).
page 25
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
3.3 Corrig
Corrig Problme
Thorme de Motzkin-Taussky
Partie I
I-A : Le sens direct et le cas n 2
1-a Stabilit des sous-espaces propres. Soit une valeur propre de v et E
Sp(v)
B
(u
i
0
) constitue un
endomorphisme diagonalisable de L(E
(u
i
0
)).
Alors (
i
)
i I
forme une famille dendomorphismes diagonalisables de L(E
(u
i
0
)) qui commutent deux
deux. Comme les proprits sur u
i
0
assure dim E
(u
i
0
) < dim E, il vient par hypothse de rcurrence lexis-
tence de B
(u
i
0
) de la famille (
i
)
i I
.
Lendomorphisme u
i
0
est diagonalisable donc B
Sp(u
i
0
)
B
5-a tude de MT(2, C), premire tape. Remarquons que le problme peut se rsoudre une classe de
similitude prs. On peut alors supposer que B Diag(, ) o et sont des complexes. On ne restreint
pas la gnralit du problme en retranchant B une matrice scalaire, ce qui permet de se ramener B
Diag(, 0), o C, do ce premier point.
5-b tude de MT(2, C), deuxime tape. On peut alors se ramener par exemple au cas o B Diag(1, 0).
Montrons lexistence de
0
C tel que A +
0
B soit scalaire. Posons A
_
a b
c d
_
Un calcul sans nesse
montre que le discriminant du polynme caractristique de A+B scrit
(+a d)
2
+4bc.
Il existe un complexe
0
qui annule ce discriminant. La matrice A+
0
B est diagonalisable dordre 2 valeur
propre double donc cest une matrice scalaire, do le rsultat annonc.
5-c MT(2, C) est vraie. Ce qui prcde montre que lon peut se ramener au cas o B Diag(, 0).
Si 0, les matrices A et B commutent.
Sinon on peut se ramener au cas 1 ; alors il existe
0
C tel que A+
0
B soit scalaire ce qui assure que A
et B commutent. On en dduit que limplication (b) (a) est vraie dans lafrmation MT(2, C).
6-a CNS de diagonalisabilit dans F
p
. Supposons A M
n
(F
p
) diagonalisable.
Alors il existe P GL
n
(F
p
) et D Diag(
1
, ,
n
) o (
1
, ,
n
) F
n
p
telle que A P
1
DP.
On en dduit laide du petit thorme de Fermat
A
p
P
1
D
p
P P
1
Diag(
p
1
, ,
p
n
)P P
1
Diag(
1
, ,
n
)P A.
Supposons rciproquement que A
p
A. Alors X
p
X est un polynme annulateur de A.
Le petit thorme de Fermat assure la relation
X
p
X X(X 1) (X p +1)
p1
k0
(X k)
et donc A est annul par un polynme scind racines simples sur F
p
.
Il en rsulte que A est diagonalisable.
6-b tude de MT(n, F
2
). Limplication (a) (b) a lieu daprs ce qui prcde.
Pour traiter la rciproque, considrons A et B des matrices diagonalisables de M
n
(F
2
) satisfaisant (b).
Le critre prcdent permet de voir que A, B et A+B sont des matrices de projections.
Il en dcoule
AB +BA 0 AB BA,
ce qui assure que lafrmation MT(n, F
2
) est vraie.
6-c tude de MT(2, F
p
). Limplication (a) (b) a lieu daprs ce qui prcde.
Pour traiter la rciproque, considrons A et B des matrices diagonalisables de M
2
(F
p
) satisfaisant (b).
On mne une tude analogue au cas complexe.
Il nous suft de traiter le cas B Diag(1, 0). Nous conserverons les notations de I-A-5-b.
Le discriminant du polynme caractristique de A+B vaut
(+a d)
2
+4bc
page 27
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
et cest un carr dans F
p
, pour tout choix de dans F
p
.
Il en dcoule que la fonction polynme dnie sur F
p
par
(+a d)
2
+4bc
prend ses valeurs dans lensemble des carrs de F
p
. Donc la fonction polynme dnie sur F
p
par
: t t
2
+4bc
prend ses valeurs dans lensemble des carrs de F
p
. En outre, on a
((t , t
t
) F
2
p
), (t
2
+4bc t
t
2
+4bc) (t
2
t
t
2
) (t t
t
),
et comme p 3
#(F
p
)
p +1
2
#{carrs dans F
p
}.
Donc le discriminant sannule dans F
p
et on achve comme en I-A-5-c.
Partie I-B : Application de la rduction simultane
1-a G est ablien de cardinal 2
n
. On va raisonner sur les endomorphismes canoniquement associs
dans E K
n
. On considre alors G un sous-groupe ni de GL(E) tel que :
(u G), u
2
I d
E
.
Alors G est ablien (classique) et par suite possde pour lments des symtries commutant deux deux.
Remarque : Il est bien connu que #G est une puissance de deux, mais ici ce nest pas vraiment utile.
Le corps K tant de caractristique diffrente de 2, ces lments sont diagonalisables et il existe alors B
une base de rduction simultane de ces lments. En particulier la matrice dun lment quelconque de G
dans cette base est de la forme
Diag(1, 1, , 1).
Notons P la matrice de passage de la base canonique la base B. Il apparat alors que G est un sous-groupe
multiplicatif de
n
{P Diag(
1
, ,
n
)P
1
; (
1
, ,
n
) {1}
n
}
qui est naturellement isomorphe (F
n
2
, +). On en dduit que #G 2
s
o s [[0, n]] cest dire #G 2
n
, ce qui
tablit le rsultat.
1-bGL
n
(K) GL
m
(K) n m. Si n m on a clairement GL
n
(K) isomorphe GL
m
(K).
Traitons la rciproque. Considrons un isomorphisme de GL
n
(K) sur GL
m
(K).
En conservant la notation de la question prcdente,
t
n
(
n
) est un sous-groupe ni de GL
m
(K) vri-
ant :
(M
t
n
), M
2
I
m
.
Il en rsulte #
t
n
2
m
ou encore 2
n
2
m
cest dire n m.
Les entiers naturels n et m jouant des rles symtriques, il vient n m et le rsultat annonc.
2-a
A,0
est diagonalisable. Introduisons pour S M
n
(C) lendomorphisme de L(M
n
(C))
L
S
: M SM.
On a clairement, pour tout S M
n
(C)
L
S
0 S 0
page 28
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
puis pour tout polynme P C[X]
P(L
S
) L
P(S)
.
Ces proprits assurent que S et L
S
ont mme polynme minimal, pour tout S M
n
(C).
Donc A est diagonalisable si et seulement si L
A
A,0
est diagonalisable, do le rsultat.
2-b
A,B
est diagonalisable. Introduisons pour S M
n
(C) lendomorphisme de L(M
n
(C))
R
S
: M MS.
Lendomorphisme R
S
jouit des mmes proprits que L
S
et donc est diagonalisable si et seulement si S est
diagonalisable, pour tout S M
n
(C).
Remarquons que pour tout (S, T) M
n
(C)
2
les endomorphismes L
S
et R
T
commutent avec :
(M M
n
(C)), (L
S
R
T
)(M) (R
T
L
S
)(M) SMT.
Supposons A et B diagonalisables.
Alors L
A
et R
B
sont diagonalisables et commutent donc sont simultanment diagonalisables dans une base
B de M
n
(C). Cette base B se trouve tre galement une base de rduction de lendomorphisme
A,B
L
A
+R
B
, do le rsultat.
2-c tude de la rciproque. Supposons
A,B
diagonalisable.
Considrons la dcomposition de Jordan-Dunford de A et B dans M
n
(C) :
A D
A
+N
A
et B D
B
+N
B
,
o D
A
, D
B
sont diagonalisables et N
A
, N
B
sont nilpotentes dans M
n
(C) avec
D
A
N
A
N
A
D
A
et D
B
N
B
N
B
D
B
.
On peut crire
A,B
D
A
,D
B
+
N
A
,N
B
.
Lendomorphisme
D
A
,D
B
est diagonalisable daprs ce qui prcde. Par ailleurs
N
A
,N
B
est nilpotent comme
somme de deux endomorphismes nilpotents qui commutent.
En outre on a
D
A
,D
B
N
A
,N
B
(L
D
A
+R
D
B
) (L
N
A
+R
N
B
)
L
D
A
L
N
A
+L
D
A
R
N
B
+R
D
B
L
N
A
+R
D
B
R
N
B
L
N
A
L
D
A
+R
N
B
L
D
A
+L
N
A
R
D
B
+R
N
B
R
D
B
(L
N
A
+R
N
B
) (L
D
A
+R
D
B
)
N
A
,N
B
D
A
,D
B
Les galits du milieu dcoulant du fait des proprits vues plus haut et que D
A
et N
A
puis D
B
et N
B
com-
mutent. On en dduit que les endomorphismes
D
A
,D
B
et
N
A
,N
B
commutent et reprsentent la dcompo-
sition de Jordan-Dunford de
A,B
. Cet endomorphisme tant diagonalisable, il vient par unicit de cette
dcomposition
N
A
,N
B
0.
La relation
N
A
,N
B
(I
n
) 0 fournit N
B
N
A
et par suite N
A
est dans le centre de M
n
(C).
La matrice N
A
est donc scalaire nilpotente, ce qui assure N
A
N
B
0 et les matrices A et B sont diagonali-
sables.
Lquivalence se trouve ainsi tablie.
Remarque : Cette quivalence subsiste pour KR ou un corps de caractristique nulle.
2-d lments propres de
A,B
. La matrice B tant diagonalisable,
t
B est diagonalisable.
Considrons (X
i
)
1i n
et (Y
i
)
1i n
des bases de vecteurs propres de A et
t
B associs respectivement aux
page 29
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
valeurs propres (
i
)
1i n
et (
i
)
1i n
. On notera P et Q les matrices de passage de la base canonique
chacune de ces bases.
Introduisons alors, pour (i , j ) [[1, n]]
2
M
i j
X
i
t
Y
j
.
On a alors, pour tout (i , j ) [[1, n]]
2
A,B
(M
i j
) AX
i
t
Y
j
+X
i
t
Y
j
B
AX
i
t
Y
j
+X
i
t
(
t
BY
j
)
i
X
i
t
Y
j
+
j
X
i
t
Y
j
(
i
+
j
)M
i j
.
Par ailleurs, on a M
i j
PE
i j
t
Q, pour tout (i , j ) [[1, n]]
2
, o (E
i j
)
1i , j n
dsigne la famille de matrices
canoniques de M
n
(C). Comme M PM
t
Q est un automorphisme de M
n
(C), il en rsulte que (M
i j
)
1i , j n
constitue une constitue une base de vecteurs propres de
A,B
associs aux valeurs propres (
i
+
j
)
1i , j n
.
3-a I
2
V . Si I
2
ntait pas un lment de V , lensemble M
2
(R) RI
2
V serait constitu de matrices
diagonalisables, ce qui est grossirement faux. Donc I
2
est un lment de V .
3-b Adaptation de A et B. Considrons A
1
une matrice non scalaire de V .
La matrice A
1
tant diagonalisable, en retranchant une matrice scalaire bien choisie, on peut se ramener au
cas o A
1
admet 0 comme valeur propre simple. Elle est alors semblable une matrice du type A o est
un rel non nul.
Il en rsulte que V est conjugu un hyperplan V
t
de M
2
(R) possdant I
2
et A.
Considrons (I
2
, A, B
1
) une base de V
t
; en combinant B
1
avec I
2
et A, on peut la ramener de la forme
B
1
_
0 b
a 0
_
,
o (a, b) sont des scalaires rels. Cette matrice tant diagonalisable non nulle, elle vrie ab >0 et donc est
proportionnelle une matrice du type B
_
0
2
1 0
_
, avec
_
b/a.
En rsum V est conjugu un hyperplan engendr par les matrices (I
2
, A, B).
3-c V est conjugu S
2
(R). Il suft dtablir que W Vect(I
2
, A, B) est conjugu S
2
(R).
On utilise pour cela la matrice de dilatation P Diag (, 1). On a
P
1
I
2
P I
2
, P
1
AP A et P
1
BP
_
0
0
_
,
ce qui fournit P
1
WP S
2
(R) et le rsultat.
4 Gnralisation pour n 2. Un tel sous-espace vectoriel est de dimension 3.
Le cas de la dimension 3 relve de ce qui prcde.
En outre, le rsultat est clair pour les espaces vectoriels de dimension 1.
Considrons V
1
Vect (M, N), un plan vectoriel de matrices diagonalisables.
Si I
2
V
1
, il scrit Vect(I
2
,Q), o Q est une matrice non scalaire de V
1
.
Introduisons P la matrice de passage de la base canonique vers une base de diagonalisation de Q.
Alors P
1
V
1
P est unsous-espace vectoriel de matrices symtriques, ce qui tablit le rsultat dans ce premier
cas.
Si I
2
V
1
alors cest un sous-espace vectoriel de lhyperplan de matrices diagonalisables Vect (I
2
, M, N) qui
est conjugu S
2
(R). Ainsi V
1
est conjugu un sous-espace vectoriel de S
2
(R), do le rsultat.
page 30
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Partie II : Le cas n 3
1 Discriminant de X
3
+X
2
+X +. On a successivement
(X
3
+X
2
+X +)
1 0 3 0 0
1 2 3 0
2 3
0 2
0 0 0
1 0 0 0 0
1 3 0
2 2 3
3 2
0 0 0
1 3 0
2 2 3
3 2
0 0
et par suite
(X
3
+X
2
+X +)
3 0
2 2 3
3 2
1 3
2 2
3
27
2
18+
2
2
4
3
+4
3
ce qui constitue le rsultat.
2 Coefcient dominant demand. On a
P
M+N
m
1
+s X m
2
m
3
m
4
m
5
X m
6
m
7
m
8
m
9
X +
Ce dterminant est un polynme des variables X et dont le degr partiel par rapport nexcde pas
deux, le terme de degr deux en tant obtenu par le dveloppement de
(m
1
+s X)(m
5
X)(m
9
X +).
Le coefcient de
2
est donc s(m
5
X). Alors on peut crire
P
M+N
X
3
+()X
2
+()X +()
o (), () et () sont des polynmes en dont seuls () et ventuellement () contiennent un terme
de degr deux en , puisque s est non nul. Il en rsulte que le discriminant
27
2
() 18() () () +
2
()
2
() 4
3
()() +4
3
()
est de degr 6 en , le coefcient dominant tant donn par les termes
2
()
2
() +4
3
().
Comme on a () tr(M+N), le coefcient de dans () vaut donc s +1.
Celui de
2
dans () est s. On en dduit que le coefcient de
6
est
s
2
(s +1)
2
4s
3
(s(s 1))
2
/0,
page 31
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
do le rsultat annonc.
3-a Expression de P
B+Q
. On a successivement
P
B+Q
b
1
X b
2
b
3
b
4
b
5
X b
6
b
7
b
8
b
9
+X
b
1
X b
2
b
3
b
4
b
5
X b
6
b
7
b
8
b
9
X
b
1
X b
2
0
b
4
b
5
X 0
b
7
b
8
X
3
+aX
2
+bX +c +
b
1
X b
2
b
4
b
5
X
page 32
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
En retranchant une matrice scalaire bien choisie, on peut se ramener aux conditions requises dans II-3-a.
Si b
1
+b
5
/ 0, le discriminant de P
B+A
est un polynme de degr 4 en daprs II-3-b et alors il sannule
sur C en une valeur
1
. La matrice B +
1
A admet alors une valeur propre double et en retranchant une
matrice scalaire bien choisie, on peut se ramener une matrice proportionnelle un projecteur de rang 1,
puis un projecteur de rang 1. On peut donc dans ce cas trouver un systme (I
3
, A, B) qui engendre F avec
A Diag(0, 0, 1) et B un projecteur de rang 1.
Si b
1
+b
5
0, on a avec les notations de II-3
P
B+A
X
3
+(a +) X
2
+bX +c
et le discriminant scrit
27c
2
18c (a +) b +(a +)
2
b
2
4(a +)
3
c +4b
3
.
Si on avait b c 0, on aurait P
BaA
X
3
et comme B aA est diagonalisable, cela conduirait B aA,
ce qui est impossible.
On en dduit que le discriminant est un polynme non constant en et donc sannule sur C.
On achve alors comme ci-dessus, ce qui tablit cette tape.
4-c (b) (a). Introduisons lespace F Vect(I
3
, A, B). Ce qui prcde montre quil suft de traiter le
cas o F est de dimension 3. Par conjuguaison, on peut se ramener au cas o A Diag(0, 0, 1) et B est un
projecteur de rang 1. Il suft alors dtablir que A et B commutent.
Voici une mthode possible. On peut crire
B
_
_
_
_
ux vx wx
uy vy wy
uz vz wz
_
_
_
_
avec trB ux +vy +wz 1. On a P
B
X
2
(X 1) et alors daprs II-3-a
P
B+A
X
3
+(+1)X
2
+(wz 1)X.
Si on avait wz 1, on aurait P
BA
X
3
et comme la matrice B A est diagonalisable, cela conduirait
A B ce qui est exclu. On a donc wz /1.
On note par II-3-b que le discriminant scrit
(1+)
2
((wz 1))
2
+4((wz 1))
3
(wz 1)
2
2
(
2
+2(2wz 1)+1).
qui admet au moins une racine complexe non nul
2
. La matrice B +
2
A admet donc une valeur propre
double do lexistence de C tel que
B +
2
AI
3
_
_
_
_
ux vx wx
uy vy wy
uz vz wz +
2
_
_
_
_
soit de rang 1. Alors tous les dterminants dordre deux de cette matrice sont nuls.
page 33
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
En particulier
uy vy
uz vz
uz 0
ux wx
uy wy
wy 0
vx wx
vy wy
wx 0
ux vx
uz vz
vz 0
Supposons que soit nul. Alors la matrice B +
2
A serait de rang 1.
Le complexe
2
tant nonnul, il vient, enexprimant que chaque dterminant extrait dordre deux contenant
le coefcient wz +
2
est nul,
ux vx uy vy 0.
Mais alors, on aurait wz 1, ce qui est absurde.
Donc /0, ce qui fournit uz wy wx vz 0 et on vrie que A et B commutent.
Partie III : Le cas gnral dans C
III-A : Bases holomorphes
1 Existence de et de m. Remarquons que chaque mineur de M(z) est une fonction holomorphe de z
sur
0
. Le principe des zros isols permet de voir que ces fonctions sont ou bien identiquement nulles, ou
bien ne sannulent pas sur un voisinage point de lorigine.
Si elles sont toutes nulles, le rsultat est clair. Sinon introduisons > 0 tel que sur {z
0
; 0 < [z[ < },
les mineurs non identiquement nuls ne sannulent pas. Sur cet ensemble, les matrices M(z) ont un rang
constant gale lordre maximum des mineurs non nuls.
Il existe donc un entier naturel m tel que :
(z
0
), (0 <[z[ <) (dimV (z) m).
2 Existence de (
i
)
1i m
. On va choisir r .
Daprs la dnition de r , sur lensemble D
r
\{0}, la matrice M(z) est de rang p n m et lun des mineurs
dordre p de M(z) ne sannule pas. (le cas p 0 est ais)
Nous supposerons que cest le mineur principal dordre p, pour simplier les notations.
On a alors sur D
r
\{0}, ( C
n
),
(V (z))
_
_
m
11
(z)
1
+ +m
1n
(z)
n
0
.
.
.
m
p1
(z)
1
+ +m
pn
(z)
n
0
_
m
11
(z)
1
+ +m
1p
(z)
p
(m
1(p+1)
(z)
p+1
+ +m
1n
(z)
n
)
.
.
.
m
p1
(z)
1
+ +m
pp
(z)
p
(m
p(p+1)
(z)
p+1
+ +m
pn
(z)
n
).
page 34
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Posons sur D
r
,
U(z) (m
i j
(z))
1i , j p
et S(z) (m
i j
(z))
(i , j )[[1,p]][[(p+1),n]]
.
La matrice U(z) est inversible sur D
r
\{0} donc on a : ( C
n
),
(V (z))
_
_
_
1
.
.
.
p
_
_
_ (U(z))
1
S(z)
_
_
_
p+1
.
.
.
n
_
_
_.
Posons sur D
r
\{0},
(U(z))
1
S(z) W(z) (w
i j
(z))
(i , j )[[1,p]][[1,m]]
.
La fonction W est mromorphe sur D
r
et admet 0 pour seul ple ventuel, ceci en vertu des rgles de calcul
dinversion de matrices.
En posant sur D
r
\{0}, la matrice par blocs
H(z)
_
W(z)
I
m
_
M
nm
(C),
il vient
V (z)
_
_
H(z)
_
_
_
1
.
.
.
m
_
_
_ ; (
1
, ,
m
) C
m
_
_
Vect(
1
(z), ,
m
(z)),
o
j
(z) dsigne le j -ime vecteur colonne de H(z),1 j m.
Pour z D
r
\{0}, la famille (
j
(z))
1j m
constitue une famille gnratrice de V (z) qui est de dimension m;
cest donc une base de V (z).
En outre ces fonctions sont mromorphes, non nulles sur D
r
, avec 0 comme seul ple ventuel.
Si on pose r
j
lordre du ple (resp. zro) 0 dans
j
, la famille de fonctions (
j
(z))
1j m
dnie par
j
(z)
z
r
j
j
(z)(resp. z
r
j
j
(z)), pour 1 j m, se prolonge holomorphiquement en 0 et vrie les proprits
requises.
3-a V (0) est un espace vectoriel. On garde les notations prcdentes.
Nous allons tablir que
V (0) Vect(
1
(0), ,
m
(0)).
Considrons a a
1
1
(0) + +a
m
m
(0) ; ce vecteur est limite de la suite de terme gnral
a
1
1
(1/k) + +a
m
m
(1/k) V (1/k) , pour k assez grand,
ce qui fournit Vect(
1
(0), ,
m
(0)) V (0).
Pour linclusion inverse, considrons
m+1
, ,
n
des vecteurs de C
n
tels que
(
1
(0), ,
m
(0),
m+1
, ,
n
)
forme une base de C
n
et notons (z) la matrice de M
n
(C) dont les vecteurs colonnes sont
(
1
(z), ,
m
(z),
m+1
, ,
n
), pour z D
r
.
La fonction z det((z)) est holomorphe sur D
r
et ne sannule pas sur un voisinage de lorigine.
Il existe alors 0 <r
t
<r tel que (z) soit inversible sur D
r
t .
Introduisons un lment de V (0). Il existe donc une suite (z
k
)
kN
valeurs dans D
r
t \{0}, de limite nulle et
une suite de terme gnral
k
1k
1
(z
k
) + +
mk
m
(z
k
) V (z
k
)
page 35
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
de limite . Remarquons que les suites (
1k
)
kN
, , (
mk
)
kN
sont convergentes.
En effet, ((z
k
))
kN
est une suite de matrices inversibles qui converge vers la matrice inversible (0).
On a donc
k
(z
k
)
_
_
_
_
_
_
_
_
_
_
_
1k
.
.
.
mk
0
.
.
.
0
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1k
.
.
.
mk
0
.
.
.
0
_
_
_
_
_
_
_
_
_
_
_
((z
k
))
1
k
-
k+ ((0))
1
.
Si lon pose
j
lim
k+
j k
, pour 1 j m, il vient
k
-
k+
1
1
(0) + +
m
m
(0) ,
ce qui assure que Vect(
1
(0), ,
m
(0)). Il en rsulte que V (0) est un sous-espace vectoriel de C
n
qui est
bien de dimension m, do le rsultat dans ce cas.
3-b Cas gnral. Considrons
1
, ,
m
des fonctions holomorphes sur D
r
, valeurs dans C
n
, telles que
pour tout z D
r
\{0}, les vecteurs
1
(z), ,
m
(z) engendrent V (z) et
1
(0), ,
m
(0) soient non nuls. Nous
allons construire
1
, ,
m
par rcurrence.
Le vecteur
1
(0) est nonnul donc onpeut poser
1
1
. Supposons que pour k <m, les fonctions
1
, ,
k
soient construites telles que (
1
(0), ,
k
(0)) soit libre et
V (z) Vect
_
1
(z), ,
k
(z),
k+1
(z), ,
m
(z)
_
, z D
r
\{0}.
Considrons pour z D
r
, la matrice A(z) de M
n(k+1)
(C) dont les colonnes sont respectivement
1
(z), ,
k
(z),
k+1
(z).
La matrice A(z) est de rang k +1, pour z dans D
r
\{0}.
Donc lun de ses mineurs dordre k +1 ne sannule pas sur un voisinage point de lorigine D
r
tt \{0} o
0 <r
tt
<r . Nous supposerons que cest le mineur obtenu avec les k +1 premires lignes pour simplier les
notations et le noterons (z), pour z D
r
tt .
On a donc sur D
r
tt ,
(z) det
_
1
(z), ,
k
(z),
k+1
(z)
_
o
1
(z), ,
k
(z),
k+1
(z)
dsignent les colonnes constitues des k +1 premires lignes de
1
(z), ,
k
(z),
k+1
(z).
Si (
1
(0), ,
k
(0),
k+1
(0)) est libre, alors on peut prendre
k+1
k+1
.
Sinon supposons
k+1
(0)
1
1
(0) + +
k
k
(0).
Alors 0 est un zro de et comme la fonction est holomorphe, non nulle sur D
r
tt , ce point a un ordre ni
s 1. La fonction dnie sur D
r
\{0} par
: z
1
z
_
k+1
(z)
1
1
(z)
k
k
(z)
_
est holomorphe et se prolonge de manire holomorphe lorigine.
En outre, on a pour tout z D
r
\{0},
Vect
_
1
(z), ,
k
(z),
k+1
(z)
_
Vect
_
1
(z), ,
k
(z), (z)
_
.
page 36
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Par ailleurs, avec des notations videntes, on a sur D
r
tt
(z) det
_
1
(z), ,
k
(z), z
(z)
_
z det
_
1
(z), ,
k
(z),
(z)
_
. .
(z)
o est une fonction holomorphe sur D
r
tt .
Si (
1
(0), ,
k
(0), (0)) est libre, on peut prendre
k+1
.
Dans le cas contraire on recommence avec .
la j -ime tape de ce type, on met en vidence une fonction , holomorphe sur D
r
tt telle que
(z) z
j
(z).
En particulier on a j s ; il existe donc une tape o la fonction obtenue est telle que
(
1
(0), ,
k
(0), (0)) est linairement indpendant.
On choisit alors
k+1
, ce qui montre le rsultat au rang k +1 et achve la dmonstration.
La question prcdente permet de dduire que V (0) est un sous-espace vectoriel de C
n
de dimension m.
4-a Holomorphie de . Ceci est une consquence du thorme danalycit des intgrales dpendant
dun paramtre.
4-b(
0
) est unprojecteur. Soit Q la matrice de passage de la base canonique une base de rductionde
N(
0
), obtenue enrunissant successivement une base de E
0
(N(
0
)) puis des autres sous-espaces propres.
On a donc
N(
0
) Q Diag(
0
, ,
0
. .
r fois
,
1
, ,
s
)Q
1
olentier r 1 dsigne la multiplicit de la valeur propre
0
et
1
, ,
s
les autres valeurs propres de N(
0
),
qui par hypothse ne sont pas entours par .
Pour tout , on peut crire
R(
0
, ) Q Diag
_
1/(
0
), , 1/(
0
)
. .
r fois
, 1/(
1
), , 1/(
s
)
_
Q
1
Les hypothses fournissent
1
2i
_
1 et
1
2i
_
0, 1 i s
et donc
(
0
)
1
2i
_
R(
0
, ) dQ Diag
_
1, , 1
. .
r fois
, 0, , 0
_
Q
1
,
qui est bien la projection annonce.
5 () est somme de projecteurs. Cela sobtient par un calcul analogue ou tout simplement en utilisant
le thorme de Cauchy.
Partie III-B : Courbes spectrales
1 Expression de d(x
0
). Notons
0
,
t
0
, ,
(s)
0
les racines distinctes de P
0
et introduisons les points de C
x
0
(
0
,
0
), x
t
0
(
0
,
t
0
), , x
(s)
0
(
0
,
(s)
0
).
page 37
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Considrons d, d
t
, , d
(s)
lordre de multiplicit des racines
0
,
t
0
, ,
(s)
0
de P
0
, de telle manire avoir
sur C
P
0
() (
0
)
d
(
t
0
)
d
t
(
(s)
0
)
d
(s)
.
Appliquons les proprits admises au voisinage des points x
0
, x
t
0
, , x
(s)
0
.
Fixons k [[0, s]] et assez proche de
0
. Considrons (F
(k)
(D))
1l
(k) la famille de branches locales de C
au voisinage de x
(k)
0
puis e
(k)
et d
(k)
(D).
Nous les noterons
(,
(k)
1,,
), , (,
(k)
e
(k)
,,
).
On peut alors crire, pour assez proche de
0
P
k0
Q
,k
o Q
,k
()
l
(k)
1
e
(k)
i 1
(
(k)
i ,,
)
d
(k)
.
Chaque branche locale tant paramtre par une fonction continue, on peut faire tendre vers
0
, le long
de chaque branche, ce qui donne
(k)
i ,,
-
0
(k)
0
et par suite
P
()
-
0
s
k0
(
(k)
0
)
l
(k)
1
e
(k)
d
(k)
.
On en dduit alors en particulier, la relation
d(x
0
) d
l
1
e
.
2 e
(z) d
et dim E
0
(A+
0
B) d(x
0
).
Par ailleurs, la relation
E
0
(A+
0
B)
l
1
V
(0)
fournit
dim E
0
(A+
0
B)
l
1
dimV
(0).
Mais daprs ce qui a t obtenu en III-A-3, on a
( [[1, l ]]), dimV
(0) d
.
Il en rsulte alors
d(x
0
)
l
1
d
1
e
1
d
.
Comme e
1, il vient e
1.
On en dduit que f
t
(z) constitue un C
-
diffomorphisme de sur . Notons f
1
f
1
1
dans D(
0
, )
1
.
La fonction
1
permet donc de prolonger de manire holomorphe la fonction sur un disque ouvert centr
en
1
.
On peut alors recouvrir le cercle D(
0
, ) par un nombre ni de voisinage sur lequel admet un prolonge-
ment holomorphe. On voit alors quil existe
t
> tel que sur D(
0
,
t
), le disque ouvert de centre
0
et de
rayon
t
, la fonction admet un prolongement holomorphe.
Ceci contredit la dnition de , do labsurdit.
On en dduit que est entire et constitue un prolongement de qui, comme on la vu prcdemment, a
son graphe contenu dans C.
On peut donc poser
1
et avec les notations de III-B-1, en raisonnant sur chaque branche locale de
chacun des points de C
x
0
(
0
,
0
), x
t
0
(
0
,
t
0
), , x
(s)
0
(
0
,
(s)
0
),
on mettrait en vidence n fonctions entires
1
, ,
n
dont la runion des graphes est gale C, do le
rsultat.
3-b
i
est afne. Fixons un entier k dans [[1, n]]. Choisissons sur M
n
(C) une norme N, subordonne
une norme de C
n
. On a alors, pour tout C
[
k
()[ N(A+B) N(A) +[[N(B).
La fonction
k
est donc afne, daprs le thorme de Liouville, do le rsultat.
4-a Dtermination de et . Les valeurs propres de A+B I
n
sont, pour tout C
i
() a
i
+b
i
, 1 i n.
On veut tablir lexistence de >0 et de >0 tel que : (r >0), ( C)
(0 <r <) et ([[ >) ( [0, 2]), ((i , j ) [[1, n]]
2
), a
i
+b
i
(a
j
+b
j
+re
i
) /0.
Fixons (i , j ) dans [[1, n]]
2
. Une petite discussion lmentaire permet de mettre en vidence lexistence de
i j
>0 et de
i j
>0 tels que : (r >0), ( C)
(0 <r <
i j
) et ([[ >
i j
) ( [0, 2]), a
i
+b
i
(a
j
+b
j
+re
i
) /0.
page 39
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
On obtient le rsultat souhait pour le choix de
min
(i , j )[[1,n]]
2
i j
et max
(i , j )[[1,n]]
2
i j
.
4-b Holomorphie de
j ,r
. Ceci est une consquence du thorme danalycit des intgrales dpendant
dun paramtre.
4-c
j ,r
admet une limite en +. Fixons j dans [[1, n]]. Daprs la dnition de , le complexe
j
() est
la seule valeur propre de A+B entoure par
j
(, r ), pour tout U
.
On en dduit que
j ,r
() est le projecteur spectral sur E
j
()
(A+B).
De la relation A+B (B +
1
A), on dduit que : (U
),
E
j
()
(A+B) E
j
()
(B +
1
A) E
(b
j
+
1
a
j
)
(B +
1
A)
et par suite que
j ,r
() est le projecteur spectral sur E
(b
j
+
1
a
j
)
(B +
1
A).
Il sagit de montrer que
j ,r
(1/s), le projecteur spectral sur E
(b
j
+sa
j
)
(B +s A), admet une limite lorsque s
tend vers 0. Posons
C
t
{(s, t ) C
2
; P
B+s A
(t ) det(B +s At I
n
) 0}.
Comme B est diagonalisable, lensemble C
t
a des proprits analogues C ; ce qui prcde montre que C
t
est la runion des graphes des applications afnes
t
i
(s) b
i
+sa
i
, 1 i n.
On a donc
P
B
(t )
n
i 1
(b
i
t ) (t
0
t )
d
(t
t
0
t )
d
t
(t
(k)
0
t )
d
(k)
o {t
0
, t
t
0
, , t
(k)
0
} constitue lensemble des racines de P
B
, de multiplicit respective d, d
t
, , d
(k)
.
Plaons nous au voisinage de y
0
(0, t
0
) dans C
t
. Considrons (G
(D))
1l
la famille de branches locales
en y
0
dont les multiplicits respectives sont (d
)
1l
.
Il existe i
(s), le noyau de B +s At
i
(s)I
n
et les sous-espaces vectoriels W
(s))
1l
sont en somme directe.
Par ailleurs, la matrice B tant diagonalisable, on peut crire
E
t
0
(B)
l
1
W
(0).
Pour s /0 assez proche de 0, on a d(s, t
i
(s)) d
(s) d
,
do par III-A-3
dimW
(0) d
, 1 l .
Les questions III-B-1 et III-B-2 fournissent
d(y
0
)
l
1
d
1
dimW
(0).
La matrice B tant diagonalisable, on en dduit
dim E
t
0
(B)
l
1
dimW
(0)
page 40
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
ce qui assure plus prcisment la somme directe
E
t
0
(B)
1l
W
(0).
Ona vudans III-A-3-b, quil existe d
fonctions
1
,
2
, ,
d
(s)
_
1
(s),
2
(s), ,
d
(s)
_
constitue une base de W
(s), 1 l .
Sur un voisinage point de lorigine, la famille B
0
(s)
1l
1l
W
(s), o
chaque W
i 0
B
i
(s)
qui forme une base de vecteurs propres de B +s A dans C
n
et est une fonction holomorphe de s.
Notons Q(s) la matrice de passage de la base canonique B(s), pour s sufsamment proche de 0.
Alors s Q(s) est holomorphe sur un voisinage de 0, valeurs dans GL
n
(C). En outre, sur un voisinage
point de lorigine, la matrice
D(s) Q
1
(s)
j ,r
(1/s)Q(s)
est diagonale, avec des coefcients diagonaux contenus dans {0, 1}. Comme D est continue sur un voisinage
point de lorigine, elle prend une valeur constante
j
.
On a donc sur un voisinage point de lorigine,
j ,r
(1/s) Q(s)
j
Q
1
(s),
fonction qui admet clairement un prolongement holomorphe en 0, ce qui constitue le rsultat.
5 (b) (a) dans MT(n, C). Fixons j dans [[1, n]] ; introduisons la fonction
j ,r
prcdente.
Nous allons tablir que pour r >0 assez petit, la fonction
j ,r
se prolonge en une fonction entire.
On a
i
: a
i
+b
i
, pour i [[1, n]]. Il est alors ais de constater que les seuls points o lon a un ventuel
problme sont les complexes o le cercle
j
(, r ) rencontre une valeur propre de A+B.
Notons (r ) lensemble de ces complexes. On a prcisment : ( C),
_
(r ))
_
(i [[1, n]]), [
i
()
j
()[ r
_
_
(i [[1, n]]), [(a
i
a
j
) +(b
i
b
j
)[ r
_
.
Si b
i
b
j
, pour tout i [[1, n]], on a alors en prenant r >0 assez petit,
j ,r
entire.
Sinon pour i [[1, n]] tel que b
i
/b
j
,
[(a
i
a
j
) +(b
i
b
j
)[ r
a
j
a
i
b
i
b
j
r
[b
i
b
j
[
On voit alors dans ce dernier cas, pour r >0 assez petit, que (r ) est une runion de cercles
1
(r ), ,
k
(r )
dont les centres ne dpendent pas de r et les rayons sont respectivement
r
[b
i
1
b
j
[
, ,
r
[b
i
k
b
j
[
,
page 41
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
o
{i
1
, , i
k
} {i [[1, n]] ; b
i
/b
j
}.
Fixons un tel rel r ; considrons
0
un complexe de (r ), distinct des centres des cercles de (r ).
On peut alors trouver 0 < r
t
< r tel que
0
soit intrieur la composante connexe non borne de (r
t
).
Notons et
t
lintrieur des composantes connexes non bornes respectives de (r ) et (r
t
).
On a bien sur
t
; en outre
j ,r
est holomorphe sur et
j ,r
t est holomorphe sur
t
.
Comme pour complexe de module assez grand,
j ,r
() et
j ,r
t () reprsentent le projecteur spectral sur
E
j
()
(A+B), les fonctions
j ,r
et
j ,r
t coincdent linni. On en dduit que ces fonctions coincdent sur
. Ainsi
j ,r
t constitue un prolongement holomorphe en
0
de la fonction
j ,r
.
Enn, en chacun des centres des cercles de (r ), on prolonge
j ,r
holomorphiquement, de la mme ma-
nire que lon a prolong
s
j ,r
(1/s)
en 0 dans la question prcdente.
La fonction
j ,r
peut tre prolonge en une fonction entire qui admet une limite quand [[ tend vers lin-
ni. Elle est donc constante.
Ainsi ce rsultat vaut pour chaque
j ,r
, 1 j n, en prenant r >0 assez petit ; considrons alors et
t
deux
complexes distincts de module sufsamment grand.
On sait que les ensembles
{
j ,r
() ; 1 j n} et {
j ,r
(
t
) ; 1 j n}
dcrivent respectivement lensemble de tous les projecteurs spectraux de A+B et de A+
t
B.
Les fonctions
j ,r
, 1 j n, tant constantes, on en dduit que les matrices A+B et A+
t
B ont les mmes
sous-espaces propres.
Il en rsulte que ces matrices commutent et par suite que A et B commutent.
page 42
Chapitre 4
preuve crite danalyse et probabilits
4.1 nonc
Notations, dnitions et rappels
Soient S
1
le cercle : {z C, [z[ 1}, D le disque : {z C, [z[ <1}. On note C la C-algbre des fonctions conti-
nues de S
1
dans C, C
max
_
[(z)[ ; z S
1
_
.
Si n est dans Z, soit e
n
llment de C dni par :
z S
1
, e
n
(z) z
n
.
Si f est une fonction de S
1
dans C, on note
f la fonction 2-priodique de R dans C dnie par :
t R,
f (t ) f (e
i t
).
Selon lusage, on identie deux fonctions f
1
et f
2
de S
1
dans C telles que les fonctions
f
1
et
f
2
soient
mesurables au sens de Lebesgue et concident sur le complmentaire dune partie ngligeable de [, ].
Onnote L
1
(resp. L
2
) lensemble des (classes de) fonctions f de S
1
dans Ctelles que
f soit intgrable (resp.
de carr intgrable) au sens de Lebesgue sur [, ]. Pour f dans L
1
, soit :
_
f
1
2
_
f
1
2
_
f (e
i t
) dt .
Lapplication qui f dans L
1
associe [ f [
1
_
[ f [ est une norme sur L
1
.
Si f est dans L
1
, on note
f la fonction de Z dans C dnie par :
n Z,
f (n)
_
f e
n
1
2
_
f (e
i t
) e
i nt
dt .
On rappelle que
f est nulle si et seulement si f est llment nul de L
1
.
Pour f
1
et f
2
dans L
2
, on notera f
1
, f
2
_
( f
1
f
2
), dnissant ainsi un produit scalaire hermitien sur L
2
.
La norme associe , est note [ [
2
. Si f est dans L
2
, alors :
[ f [
2
_
1
2
_
[ f (e
i t
)[
2
dt .
page 43
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
On rappelle que L
2
est contenu dans L
1
, avec de plus :
f L
2
, [ f [
1
<[ f [
2
.
On rappelle galement que L
2
est un espace de Hilbert complexe dont (e
n
)
nZ
est une base hilbertienne.
Si E est un espace vectoriel et F un sous-espace de E, on dit que F est de codimension nie dans E si et
seulement si lespace quotient E/F est de dimension nie. La dimension de E/F est alors appele codi-
mension de F dans E, note codim
E
(F).
On rappelle par ailleurs que tout supplmentaire de F dans E est isomorphe E/F. Si G est un tel sup-
plmentaire, F est donc de codimension nie dans E si et seulement si G est de dimension nie, et on a
alors : codim
E
(F) dimG.
Dans la n de ces rappels, (H, , ) est un espace de Hilbert complexe.
Si V est un sous-espace de H, on note V
lorthogonal de V ; le sous-espace V
est un supplmentaire
de V dans H si et seulement si V est ferm dans H.
On note L(H) la C-algbre des endomorphismes continus de H. Les lments de L(H) sont appels
oprateurs de lespace H. Si T
1
et T
2
sont dans L(H), on abrge T
2
T
1
en T
2
T
1
. On note I lidentit de H,
cest--dire le neutre multiplicatif de L(H). Lalgbre L(H) est munie de la norme subordonne dnie
par :
T L(H), |T| sup
_
[T(x)[
[x[
, x H \{0}
_
,
o [x[
_
x, x dsigne la norme du vecteur x de H.
Pour tout lment T de L(H) il existe un unique T
(y).
On rappelle enn les relations suivantes, valables pour tout T de L(H) :
kerT
Im T
, Im T
kerT
.
Objectif du problme, dpendance des parties
Le but du problme est dassocier tout lment de C un endomorphisme continu T
dun espace de
Hilbert et dtudier T
.
La partie I dmontre une formule de Jensen relative aux lments de H(D). La partie II dtermine les
composantes connexes par arcs de C
. Les parties Vet VI tudient respectivement les oprateurs compacts et les oprateurs
de Fredholm dun espace de Hilbert et appliquent les rsultats obtenus aux T
soit inversible.
La partie I nest utilise que dans la partie III. La partie II nest utilise que dans la partie VI. La partie III
nest utilise que dans la partie IV.
I. Formule de Jensen
1. (a) Soit n dans N
. Ecrire le polynme X
2n
1 comme produit de polynmes irrductibles unitaires
de C[X], puis de R[X].
En dduire, si r est dans ]1, +[, une expression simple de :
n1
k1
ln(12r cos(k/n) +r
2
).
page 44
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
(b) Soit r dans ]1, +[. En utilisant ventuellement la question prcdente, tablir les galits :
_
0
ln(12r cost +r
2
) dt 2lnr,
_
ln
_
1re
i t
_
dt 2lnr.
(c) Justier lexistence de :
_
ln
_
1e
i t
_
dt ,
puis montrer que cette intgrale est nulle.
(d) Soient a dans C
, r dans R
+
avec : [a[ <r . Calculer lintgrale :
_
ln
_
a re
i t
_
dt .
2. Ici, F est une fonction holomorphe sur D telle que F(0) /0. On xe r dans ]0, 1[ et on note D
r
{z
C, [z[ <r }. On rappelle (thorme des zros isols) que F na quun nombre ni de zros compts avec
multiplicits dans D
r
. On note a
1
, . . . , a
p
ces zros compts avec multiplicits.
Montrer lgalit :
1
2
_
ln
_
[F(re
i t
)[
_
dt ln([F(0)[) +
p
i 1
ln
_
r
[a
i
[
_
.
Indication. On pourra utiliser, sans dmonstration, lexistence dune fonction G holomorphe sur un
voisinage de D
r
telle que :
z D
r
, F(z)
p
i 1
(z a
i
) e
G(z)
.
La formule prcdente implique lingalit ci-aprs, utilise en III.3.(c) :
1
2
_
ln
_
[F(re
i t
)[
_
dt >ln([F(0)[) .
II. Composantes connexes par arcs de C
Si est dans C
, A dans R
+
. Pour n dans N
dnie par :
t [A, A], u
k,n
(t )
_
e
i (k+1)t /n
_
_
e
i kt /n
_ .
(a) Soit >0. Montrer quil existe n dans N
tel que :
k {0, . . . , n 1}, t [A, A],
_
e
i (k+1)t /n
_
_
e
i kt /n
_
<.
(b) Montrer quil existe n dans N
tel que :
k {0, . . . , n 1}, t [A, A],
u
k,n
(t ) 1
<1.
En dduire que pour tout k de {0, . . . , n1} il existe une fonction continue v
k,n
de [A, A] dans C
telle que :
t [A, A], u
k,n
(t ) e
v
k,n
(t )
.
Indication. On rappelle quil existe une (unique) fonction continue L de C\ R
dans la bande
{z C, [Im (z)[ <} vriant :
z C\R
, e
L(z)
z.
(c) Montrer quil existe une fonction continue
A
de [A, A] dans C telle que :
t [A, A], (e
i t
) e
A
(t )
.
(d) Conclure que R() nest pas vide.
3. (a) Si est dans C
2
o
1
et
2
sont dans C
.
(c) Soient
1
et
2
dans C
telles que : [
1
2
[ <[
1
[. Montrer :
deg(
1
) deg(
2
).
Indication. On pourra considrer
2
/
1
.
(d) Montrer que lapplication deg qui associe deg() est continue sur C
muni de la topologie
provenant de la norme [ [
.
4. Pour n dans Z, soit C
n
lensemble des de C
de degr n.
Montrer que les C
n
sont les composantes connexes par arcs de C
).
Indication. Pour dans C
0
, on pourra considrer dans R() et, pour s dans [0, 1], H
s
lapplication
dnie sur S
1
par :
t R, H
s
(e
i t
) e
s(t )
.
page 46
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
III. Espace de Hardy H
2
On note H
2
le sous-espace de L
2
constitu des f telles que :
n Z\N,
f (n) 0.
1. Montrer que H
2
est un sous-espace ferm de L
2
dont (e
n
)
nN
est une base hilbertienne.
Dans la suite, lespace H
2
est muni de la structure despace de Hilbert induite par celle de L
2
. On note
le projecteur orthogonal de L
2
sur H
2
.
Si f est dans L
2
, exprimer la dcomposition de ( f ) sur (e
n
)
nN
.
2. Soit f dans H
2
. Justier que le rayon de convergence de la srie entire
n>0
f (n) z
n
est suprieur ou gal 1.
Pour z dans D, soit :
F(z)
+
n0
f (n) z
n
.
Pour r dans [0, 1[, soit f
r
la fonction dnie sur S
1
par :
z S
1
, f
r
(z) F(r z).
Prouver que [ f
r
f [
2
tend vers 0 lorsque r tend vers 1.
3. Soit f un lment non nul de H
2
. Le but de cette question est de dmontrer que lensemble des t de
[, ] tels que f (e
i t
) 0 est de mesure de Lebesgue nulle. Quitte multiplier f par e
m
o m est le
plus petit i de N tel que :
f (i ) /0, on peut supposer
f (0) /0 et cest ce quon fait dsormais. On xe
dans ]0, 1[.
(a) Montrer que ln([ f [ +) appartient L
1
.
(b) Si r est dans [0, 1[, t dans R, tablir :
ln
_
[ f
r
(e
i t
)[ +
_
ln
_
[ f (e
i t
)[ +
_
<
[ f
r
(e
i t
) f (e
i t
)[
.
(c) En utilisant lingalit obtenue la n de I, tablir :
1
2
_
ln
_
f (e
i t
)
+
_
dt >ln
_
f (0)
_
.
(d) Conclure.
IV. Oprateurs de Toeplitz
Soit dans C.
1. (a) Si f est dans H
2
, vrier que ( f ) est un lment de H
2
.
Dans la suite, on note T
lapplication de H
2
dans lui-mme qui f associe ( f ). Il est clair
que T
est un endomorphisme de H
2
.
Vrier que T
appartient L(H
2
) ; T
(e
j
) laide de .
Lapplication qui associe T
est-elle injective ?
(c) Montrer la relation : T
.
2. Onsuppose que nest pas lapplicationnulle. Onxe f dans kerT
, g dans H
2
, onpose : u f g.
(a) Montrer que u est dans L
1
et que u est nulle sur N.
(b) On suppose dsormais que g est dans kerT
et T
est injectif.
Si T
nest pas injectif, montrer que son image est dense dans H
2
.
Dans les parties V et VI, (H, , ) est un espace de Hilbert complexe. On adopte les notations rappeles au
dbut du problme et on note B la boule ferme de centre 0 et de rayon 1 de H.
V. Oprateurs compacts et oprateurs de Toeplitz
Unlment T de L(H) est dit compact si et seulement si T(B) est une partie compacte de H. Onnote K (H)
lensemble des T de L(H) vriant cette proprit, K
0
(H) lensemble des T de L(H) dont limage est de
dimension nie.
1. (a) Montrer que K (H) est un idal bilatre de lalgbre L(H) contenant K
0
(H).
(b) Montrer que K (H) est ferm dans L(H).
Indication. On rappelle quune partie X de H est dadhrence compacte si, pour tout > 0, on
peut recouvrir X par une runion nie de boules fermes de rayon .
2. Dans cette question, H est lespace de Hilbert H
2
, P le sous-espace de C engendr par la famille
(e
n
)
nZ
.
(a) Si
1
et
2
sont dans P, montrer que T
1
T
2
T
2
est dans K
0
(H
2
).
(b) Si
1
et
2
sont dans C, montrer que T
1
T
2
T
2
est dans K (H
2
).
3. Soit K dans K (H).
(a) Montrer que ker(I +K) est de dimension nie.
(b) Montrer que Im (I +K) est ferm dans H.
Indication. Soient y dans H adhrent Im (K +I ), (x
n
)
n>O
une suite dlments de H telle que :
K(x
n
) +x
n
y, et, pour tout n de N, x
t
n
la projection orthogonale de x
n
sur ker(K +I )
. En rai-
sonnant par labsurde et enconsidrant u
n
x
t
n
/[x
t
n
[, montrer que (x
t
n
)
n>1
est borne. Conclure.
(c) Montrer que K
appartient K (H).
Indication. Soient (x
n
)
n>0
une suite dlments de B, ladhrence de K(B) dans H, et, pour
tout n de N, f
n
la fonction de dans C qui x associe x
n
, x. En utilisant le thorme dAscoli,
montrer quil existe une suite strictement croissante (n
k
)
k>0
dentiers naturels telle que
_
f
n
k
_
k>0
converge uniformment sur . En dduire que
_
K
(x
n
k
)
_
k>0
converge dans H.
(d) Montrer que Im (I +K) est de codimension nie dans H.
VI. Oprateurs de Fredholmet oprateurs de Toeplitz
page 48
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Soit T dans L(H). On dit que T est de Fredholm si et seulement sil vrie les deux proprits suivantes :
i) lespace kerT est de dimension nie,
ii) lespace Im T est ferm et de codimension nie dans H.
On note F(H) lensemble des T de L(H) vriant ces proprits. Si T est dans F(H) on appelle indice de
T et on note ind (T) lentier relatif :
dim(kerT) codim
H
(Im T).
On remarquera que si T est un lment inversible de L(H), alors T appartient F(H) et a pour indice 0.
1. (a) Soient V et W deux sous-espaces de H tels que V W et que V soit ferm et de codimension
nie dans H. Montrer que W est ferm et de codimension nie dans H.
(b) Soit T dans L(H). Onsuppose quil existe S
1
et S
2
dans L(H) tels que K
1
S
1
TI et K
2
TS
2
I
appartiennent K (H). Montrer que T est dans F(H).
2. Dans cette question, H est lespace de Hilbert H
2
, un lment de C
. Montrer que T
est dans
F(H
2
).
Indication. On pourra utiliser les questions V.2.(b), VI.1(b) et considrer la fonction 1/.
3. On se propose dtablir une rciproque de la question VI.1.(b) ci-dessus.
Soit T dans F(H). On note T
0
lapplication linaire de kerT
sur Im T. Or, tout isomorphisme linaire continu dun espace de Banach sur un autre est un
homomorphisme (thorme de Banach) ; il en rsulte que T
1
0
est continu, ce que lon ne demande
pas de justier davantage.
Soit S llment T
1
0
P de L(H). Reconnatre les lments ST I et TS I de L(H) et montrer en
particulier quils appartiennent K
0
(H).
Des questions VI.1.(b) et VI.3 il rsulte quun lment de L(H) est dans F(H) si et seulement sil est
inversible modulo K (H) " ou inversible modulo K
0
(H)". Ceci prouve en particulier que si T
1
et T
2
sont dans F(H), T
2
T
1
est dans F(H), ce que lon ne demande pas de justier davantage.
4. Le but de cette question est dtablir que F(H) est ouvert dans L(H) et que la fonction ind est loca-
lement constante sur F(H).
Soient T dans F(H), S dans L(H) telle que K ST I et L TS I soient dans K
0
(H), J dans L(H)
vriant : |J ||S| <1.
(a) Montrer quil existe K
t
et L
t
dans K
0
(H) tels que :
S(T +J ) (I +SJ)(I +K
t
) , (T +J)S (I +L
t
)(I +J S).
En dduire que T +J est dans F(H), ce qui justie bien le caractre ouvert de F(H).
Indication. On pourra utiliser la question VI.1(b) et le fait que si U est un lment de L(H) tel
que |U| <1, alors I +U est inversible dans lalgbre L(H).
(b) On admet les deux rsultats suivants, qui peuvent tre prouvs de manire entirement alg-
brique :
i) si T
1
et T
2
sont dans F(H), alors : ind(T
2
T
1
) ind(T
1
) +ind(T
2
),
ii) si K est dans K
0
(H), ind(I +K) 0.
Montrer que :
ind(T +J ) ind(T).
La fonction ind est donc localement constante sur F(H).
page 49
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
5. Dans cette question, H est lespace de Hilbert H
2
.
(a) Montrer que si est dans C
, on a :
ind(T
) deg().
(b) Si est dans C
et la codimension de Im T
dans H
2
.
(c) Quels sont les lments de C tels que T
lendomorphisme continu de H
2
dni par :
f H
2
, T
( f ) ( f ).
On dit que T
.
Thorme 1 (i) Le spectre essentiel de T
, T
est de Fredholm, ce
qui entrane que le spectre essentiel de T
(partie IV), les oprateurs compacts (partie V), les oprateurs de Fredholmet leurs indices
(partie VI). Il faut galement disposer de quelques rsultats de base : caractrisation des classes dhomoto-
pie de S
1
par le degr, thorie lmentaire des oprateurs compacts (caractre didal ferm, premires
proprits spectrales), caractrisation dAtkinson des oprateurs de Fredholm comme oprateurs inver-
sibles modulo les compacts, ouverture de lensemble des oprateurs de Fredholm, continuit de lindice.
La preuve du thorme 2 se rsume alors comme suit. On tablit tout dabord que si
1
et
2
sont dans C,
T
1
T
2
T
2
est compact ; cet oprateur est en fait de rang ni si
1
et
2
sont des polynmes trigonom-
triques, ce qui permet dobtenir sa compacit dans le cas gnral par approximation. Ce point tant acquis,
on voit aussitt que si appartient C
, T
1/
est un inverse de T
est de Fredholm. Par continuit de lindice et homotopie, il suft pour conclure de calculer lindice
de T
pour e
n
, n Z; mais ce cas particulier est immdiat.
Il reste un peu de travail pour obtenir le critre dinversibilit : en effet, un oprateur inversible est de Fred-
holm et dindice nul, mais la rciproque est fausse. Pour les T
, T
est injectif.
Combin au thorme 2 et un argument trs simple, le thorme 3 fournit une preuve lgante de la
caractrisation des oprateurs de Toeplitz inversibles.
La dmonstration du thorme 3 est donne dans la partie IV. Elle est fonde sur une proprit de rigidit
remarquable des lments de H
2
, savoir le cas particulier suivant du thorme des frres Riesz.
Thorme 4 Si un lment f de H
2
sannule sur un ensemble de mesure strictement positive alors f 0.
Les lments de H
2
, valeurs au bord de certaines fonctions holomorphes, hritent donc dune forme affai-
blie du thorme des zros isols. Le thorme 4 est quant lui dmontr dans la partie III. Loutil essentiel
de la dmonstration est la classique formule de Jensen, tablie dans la partie I et grce laquelle on montre
en fait un rsultat plus prcis que le thorme 4 : si f est dans H
2
\{0}, alors la fonction ln([ f [) est intgrable
sur S
1
.
Indiquons pour terminer une bibliographie sommaire.
Le thorme 2 est tabli dans [1], [2], [3], [4]. Il est tendu aux oprateurs de Toeplitz matriciels dans [1] ; [1]
et [2] appliquent le thorme 2 la preuve dun thorme de priodicit.
Les livres [2], [3], [4] contiennent tous les prrequis danalyse fonctionnelle ncessaires la preuve du tho-
rme 2. Ils tablissent notamment les deux rsultats admis dans le texte : indice dune compose, nullit de
lindice de I +K si K est de rang ni. Ces deux points peuvent tre tablis de faon purement algbrique ;
les preuves ne sont pas difciles et ont t omises uniquement pour ne pas allonger draisonnablement
lnonc.
La caractrisation des oprateurs de Toeplitz inversibles est prsente dans [3], [4] et [5]. La preuve donne
dans [5] est particulirement lmentaire et nutilise pas les oprateurs de Fredholm.
On trouvera dans [3], [4] et [5] une tude plus approfondie de lespace de Hardy H
2
et de ses analogues
non hilbertiens H
1
et H
. Le chapitre 17 du classique [6] est une introduction trs efcace ltude plus
page 51
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
gnrale des espaces H
p
. Toutes ces rfrences proposent en outre une approche diffrente du thorme 4,
base sur la description, dcouverte par Beurling, des sous-espaces ferms de H
2
stables par le shift.
Enn, [7] contient de nombreux renseignements historiques concernant les oprateurs compacts, les op-
rateurs de Fredholm, la thorie de lindice et les oprateurs de Toeplitz.
Bibliographie
[1] M. Atiyah, Algebraic Topology and operators in Hilbert space, Lectures in Analysis, vol. 103, pp.101-121,
Springer, 1969.
[2] B. Boos, D.D. Blecker, Topology and Analysis. The Atiyah-Singer Index Formula and gauge Theoretic
Physic, Springer, 1985.
[3] R.G. Douglas, Banach Algebra Techniques in Operator Theory, Second Edition, Springer, 1998.
[4] P.D. Lax, Functional Analysis, Wiley, 2002.
[5] R.A. Martinez-Avendano, P. Rosenthal, AnIntroductionto Operators onthe Hardy-Hilbert class, Springer,
2007.
[6] W. Rudin, Real and complex Analysis, Third Edition, Mc-Graw-Hill, 1987.
[7] A. Pietsch, History of Banach Spaces and Linear Operators, Birkhuser, 2007.
Rapport sur la correction des copies
Gnralits
Le problme abordait des thmes varis : intgration, fonctions holomorphes, topologie, analyse hilber-
tienne et analyse fonctionnelle. Cette varit a permis dassez nombreux candidats de faire preuve de
relles qualits mathmatiques. Dans une demi-douzaine de copies, le sujet est trait moins de cinq sous-
questions prs. Dans leur grande majorit, les candidats se sont rellement confronts aux parties I et II.
Les parties III, IV et V ont t abordes de faon plus ingale et VI na rellement t entame que dans trs
peu de copies.
Traiter correctement lensemble des parties I et II reprsentait une performance trs convenable. Pour les-
sentiel, ces deux parties relevaient du premier cycle universitaire. La correction a mis en vidence de nom-
breuses lacunes ce niveau, dont certaines sont explicites ci-dessous. Rappelons que la matrise des no-
tions et techniques de base doit tre un des objectifs essentiels de la prparation et que cette matrise inclut
une capacit raisonnable mettre en pratique lesdites notions et techniques. Beaucoup de candidats de-
vraient en particulier sexercer davantage au calcul.
La qualit de la rdaction est un lment important dapprciation, particulirement dans un concours de
recrutement denseignants. Le jury a t surpris cette anne par limportante quantit de copies mal rdi-
ges. Les noncs non quantis, lutilisation des quanticateurs comme abrviations, les phrases incom-
pltes ou incorrectes et une orthographe dciente sont monnaie courante et vidememment pnaliss.
Dans le mme ordre dides, rappelons quil est trs recommand dcrire lisiblement, de prsenter les co-
pies de faon agrable et de mettre en vidence les rsultats en soulignant ou en encadrant.
page 52
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Partie I
La questionI.1.a) a donn lieu des erreurs surprenantes : beaucoupde candidats ne semblent pas connatre
les irrductibles de R[X] ou ne pas tre capables de regrouper deux racines conjugues.
Dans la question I.1.b), la convergence de la somme de Riemmann a rarement t justie.
La convergence de lintgrale de I.1.c), immdiate, est souvent omise, fausse ou laborieuse. De nombreux
candidats comprennent que la valeur de lintgrale sobtient par unpassage la limite, mais trs peudonnent
un argument complet. Dans les tentatives dutilisation du thorme de convergence domine, ln
_
[1re
i t
[
_
est souvent seulement major.
La question I.1.d) a souvent t bien rsolue.
Malgr lindication, la question I.2. a rarement t traite de faon satisfaisante ; parmi les arguments faux,
relevons lholomorphie du module dune fonction holomorphe ! Notons aussi que le calcul du module de
e
z
donne souvent lieu des erreurs.
Partie II
La question II.1 a t bien traite par un assez grand nombre de candidats.
Les questions II.2.a) et II.2.b) se sont avres slectives : de nombreuses copies montrent que largument
essentiel (uniforme continuit, puis borne infrieure atteinte) est compris, mais la rdaction ne suit pas
toujours.
La question II.2.c) a t souvent correctement rsolue. En revanche, II.2.d) na t vue que par une poigne
de candidats.
La question II.3.a) a t en gnral aborde ; beaucoup de candidats oublient cependant de vrier une
des deux indpendances demandes. Les questions II.3.b) et II.3.c) ont t rsolues par dassez nombreux
candidats. En revanche, II.4., but de cette partie, a rarement t compltement traite.
Partie III
La question III.1 a montr que la notion de convergence dans L
2
est en gnral mal comprise.
La premire partie de III.2 a mis envidence une mauvaise comprhensionde la notionde rayonde conver-
gence dune srie entire : on trouve dans beaucoup de copies rpondant cette question la vrication"
de la convergence de la srie pour tout z de module 1 ! La seconde partie de la question a t assez slective ;
certains candidats se sont appuys sur les proprits du noyau de Poisson, dmarche un peu maladroite
dans le cadre hilbertien mais rvlatrice de connaissances solides et bien comprises.
Les questions III.3.a) et III.3.b) dcoulaient dingalits lmentaires mais demandaient une certaine luci-
dit ce stade du problme ; lerreur signale ci-dessus propos de I.1.c) sy est souvent retrouve. Les deux
questions nales de cette partie demandaient du soin et ont rarement t abordes.
Partie IV
La difcult essentielle de cette partie consistait comprendre la dnition des oprateurs de Toeplitz ;
beaucoup de candidats se sont contents de rpondre IV.1.a), en gnral convenablement.
Partie V
Cette partie faisait tablir ceux des rsultats de base de la thorie de Riesz des oprateurs compacts utiliss
dans VI. Sans doute cause de soncaractre classique, elle a t aborde substantiellement dans unnombre
non ngligeable de copies ; les questions traites lont en gnral t correctement.
page 53
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Partie VI
Seules les meilleures copies ont trait une proportion signicative de cette partie, certaines allant, au prix
de quelques imprcisions, jusqu lavant dernire question du problme. La dernire question na jamais
t rsolue compltement.
4.3 Corrig
Corrig du problme
Partie I
I.1.a) Pour k dans {0, . . . , 2n 1}, soit : z
k
e
i k/n
. On a :
X
2n
1
2n1
k0
(X z
k
).
Parmi les z
k
, seuls z
0
1 et z
n
1 sont rels, et, si 1 <k <n 1, on a :
z
k
z
2nk
.
Puisquun polynme de degr 2 sans racine relle est irrductible sur R, on en dduit la dcomposition sur
R[X] :
X
2n
1 (X 1)(X +1)
n1
k1
_
X
2
2cos(k/n)X +1
_
.
Par suite :
n1
k1
ln(12r cos(k/n) +r
2
) ln
_
r
2n
1
r
2
1
_
.
I.1.b) La relation :
t R, 12r cost +r
2
[1re
i t
[
2
>0
montre que la fonction intgre est bien dnie et continue sur [0, ]. On peut donc appliquer le thorme
de convergence des sommes de Riemann, do :
1
n 1
n1
k1
ln
_
12r cos(k/n) +r
2
_
n+
1
0
ln(12r cost +r
2
) dt .
En utilisant la relation obtenue dans la question prcdente et la relation :
1
n
ln(r
2n
1)
n0
2lnr,
on a la premire des galits demandes.
En observant que :
[1re
i t
[
2
12r cost +r
2
,
on obtient, en utilisant la parit de la fonction intgre :
_
ln
_
[1re
i t
[
_
dt 2lnr.
page 54
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
I.1.c) Pour t dans [, ] \{0}, le rel [1e
i t
[ est >0. Et ln[1e
i t
[
t 0
ln[t [, do lintgrabilit de la fonction
propose (la fonction ln est designe constant au voisinage de 0).
Pour calculer lintgrale, onfait tendre r vers 1
+
dans la questionprcdente. Le passage la limite se justie
au moyen du thorme de convergence domine et de lingalit :
(r, t ) ]1, 2] (] , [\{0}) , [ ln([1re
i t
[)[ <ln3+[ ln([2sin(t /2)[)[,
elle-mme consquence de lencadrement :
(r, t ) ]1, 2[[, ], 4sin
2
(t /2) <12r cost +r
2
<9.
La majoration est triviale, la minoration sobtient en tudiant, t x, la fonction r 1 2r cost +r
2
sur
]1, 2].
I.1.d) On crit, pour t dans [, ] tel que re
i t
/a /1, lgalit :
ln
_
a re
i t
_
ln([a[) +ln
_
1
re
i t
a
_
.
Posant : a [a[e
i
avec dans R, on a :
ln
_
1
re
i t
a
_
ln
_
1
re
i (t )
[a[
_
.
Le rel r /[a[ tant > 1, les deux questions prcdentes entranent, compte-tenu de la 2-priodicit de la
fonction considre :
_
ln
_
1
re
i (t )
[a[
_
dt
_
ln
_
1
re
i t
[a[
_
dt 2ln
_
r
[a[
_
.
En n de compte :
_
ln
_
a re
i t
_
dt 2lnr.
I.2. Si est un ouvert non vide de C, soit H() la C-algbre des fonctions holomorphes sur . Pour justier
lexistence de G (non demande par lnonc), on utilise les deux rsultats classiques suivants :
(i) si f est dans H() et nulle en a , il existe g dans H() telle que :
z , f (z) (z a)g(z) ;
(ii) si est simplement connexe alors pour toute f dans H() ne sannulant pas sur , il existe g dans H()
telle que :
z , f (z) e
g(z)
.
On a alors :
_
ln
_
F(re
i t
)
_
dt
_
Re
_
G
_
re
i t
__
dt +
p
i 1
_
ln
_
re
i t
a
i
_
dt .
Lholomorphie de G entrane que G possde la proprit de valeur moyenne :
1
2
_
G
_
re
i t
_
dt G(0).
En prenant les parties relles, il vient :
_
Re
_
G
_
re
i t
__
dt 2 Re (G(0)) 2ln
_
[F(0)[
p
i 1
[a
i
[
_
,
formule que lon pourrait dduire de faon quivalente du caractre harmonique de Re G. Compte-tenu de
I.1.d), on en dduit la formule dsire.
page 55
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Partie II
II.1. La fonction f g est valeurs dans 2i Z qui est une partie discrte de C. Mais, puisque f g est conti-
nue, limage de I par f g est un connexe de C. Les parties connexes et discrtes de C tant les singletons,
le rsultat suit.
II.2.a) La fonction :
g : t (e
i t
)
est continue donc uniformment continue sur le compact [A, A]. Si on choisit >0 duniforme continuit
de g relatif puis n dans N
(e
i (k+1)t /n
) (e
i kt /n
)
<1.
Puisque u
k,n
est valeurs dans le disque ouvert de centre 1 et de rayon 1, lui-mme contenu dans C\R
, il
suft de poser v
k,n
L u
k,n
pour rpondre la seconde partie de la question.
II.2.c) Posons :
v
n1
k0
v
k,n.
Alors :
t [A, A], e
v(t )
n1
k0
u
k,n
(t )
(e
i t
)
(1)
.
Si est un complexe tel que : e
(1), la fonction
A
v + vrie la relation demande.
II.2.d) Pour tout N de N
N
(t )
.
La restriction de
N+1
N
[N, N] est constante daprs II.1. On peut donc, en ajoutant
N+1
une
constante de 2i Z convenable, supposer que
N
est restriction de
N+1
. Ceci permet de dnir de faon
cohrente une fonction de R dans C par :
N N
,
[N,N]
N
.
Cette fonction est clairement un relvement de .
II.3.a) La fonction :
t
(t +2) (t )
2i
est continue valeurs dans Z donc constante (II.1) do lindpendance relativement t . Puisque deux
lments de R() diffrent dune constante (II.1), on a lindpendance relativement .
II.3.b) Lapplication t i nt est un relvement de e
n
, donc le degr de e
n
est n.
Si
i
est, pour i dans {1, 2}, un relvement de
i
, alors
1
+
2
est un relvement de
1
2
, donc cette
dernire application a pour degr deg(
1
) +deg(
2
).
page 56
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Si est valeurs dans C\R
, la fonction :
t L
_
(e
i t
)
_
est un relvement 2-priodique de , donc est de degr nul.
II.3.c) Par hypothse,
2
/
1
est valeurs dans le disque ouvert de centre 1 et de rayon 1, donc dans C\R
,
donc de degr nul. La conclusion rsulte de la formule :
deg(
2
) deg(
1
) +deg(
2
/
1
).
II.3.d) Si
1
est dans C
, si est le minimumde [
1
[ sur le compact S
1
, alors >0 et la question prcdente
assure que si
2
est un lment de C
tel que : [
2
1
[
, cest--dire continue.
II.4. Observons dabord que la continuit du degr montre que deux lments de C
n
e
n
C
0
, il suft de dmontrer que C
0
est connexe par arcs pour obtenir que tel est le
cas de tous les C
n
et tablir ainsi le rsultat demand.
Variante : lapplication deg tant un morphisme de groupes de C
s H
s
est continue. La fonction constante e
0
et la fonction sont donc dans la mme composante connexe par
arcs de C
.
Partie III
III.1. Pour le premier point, il suft dtablir que les formes linaires
f
f (n)
pour n dans Z sont continues sur L
2
. Or lgalit de Parseval implique que ces formes sont toutes de normes
infrieures ou gales 1 (en fait 1, bien sr).
Dautre part, la famille (e
n
)
nN
est orthonorme comme sous-famille de la famille orthonorme (e
n
)
nZ
. Et,
pour f dans H
2
, la dcomposition de f sur la base orthonorme (e
n
)
nZ
scrit f
n>0
f (n) e
n
(conver-
gence dans L
2
) do le caractre total de (e
n
)
nN
dans H
2
.
Enn, induit lidentit sur H
2
et lapplication nulle sur le supplmentaire orthogonal de H
2
dans L
2
; de
plus, (e
n
)
n<1
est une base hilbertienne de ce supplmentaire. Par suite :
f L
2
, ( f )
n>0
f (n) e
n
.
III.2. La justication est immdiate car la suite (
f (n))
nN
est de carr sommable, en particulier borne.
page 57
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Grce la formule de Parseval :
[ f
r
f [
2
n>0
[
f (n)[
2
(1r
n
)
2
.
En majorant (1r
n
)
2
par 1 et en utilisant le thorme de convergence domine pour les sries, on en dduit
la convergence demande.
III.3.a) Lencadrement :
x >0, ln <ln(x +) <ln(x +1) <x
et lappartenance de f L
2
donc L
1
montrent que ln([ f [ +) est dans L
1
.
III.3.b) Il suft de remarquer que, grce lingalit des accroissements nis, la fonctionlnest (1/)-lipschitzienne
sur [, +[.
III.3.c) On a :
t [0, 2], ln
_
f (re
i t
)
+
_
>ln
_
f (re
i t
)
_
.
En intgrant cette ingalit entre et et en tenant compte de lingalit vue la n de I, il vient :
1
2
_
ln
_
f (re
i t
)
+
_
dt >ln
_
f (0)
_
.
Pour obtenir lingalit demande, il reste faire tendre r vers 1
en notant que f
r
converge vers f dans
L
2
et donc dans L
1
, ce qui entrane, via la question prcdente, que ln([ f
r
[ +) tend vers ln
_
[ f [ +
_
dans L
1
lorsque r tend vers 1
.
III.3.d) On applique le thorme de convergence monotone la famille (g
)
0<<1
dnie par :
t [, ], g
(t ) ln([ f (e
i t
)[ +).
Lorsque tend vers 0, les fonctions g
sont
minores indpendamment de par c), le thorme de convergence monotone assure lintgrabilit de g,
plus forte que le rsultat demand.
Partie IV
IV.1.a) Dabord, f est dans L
2
, et dans L
[ f [
2
.
Dautre part, applique L
2
dans H
2
et est de norme 1 en tant que projection orthogonale. On en dduit
que T
( f ) est dans H
2
de norme au plus gale [[
[ f [
2
. Autrement dit, T
.
IV.1.b) Puisque e
i
est orthogonal e
k
si k <0, on a :
e
i
, T
(e
j
) e
i
, e
j
.
Mais au sens de la convergence dans L
2
, on a :
e
j
l Z
(l ) e
j +l
,
o on utilise la convergence L
2
de la srie de Fourier de vers et la continuit sur L
2
de loprateur de
multiplication par la fonction borne e
j
. On en dduit :
e
i
, T
(e
j
) (i j ).
page 58
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Puisque la transformation de Fourier est injective sur C, ce calcul montre quil en est de mme de T
.
IV.1c) Si i et j sont dans N, on a :
T
(e
i
), e
j
e
i
, T
(e
j
) (i j ),
mais aussi :
T
(e
i
), e
j
e
j
, T
(e
i
)
( j i ) (i j ).
Puisque un endomorphisme continu dun espace de Hilbert est entirement dtermin par limage dune
base hilbertienne, la formule :
T
sen dduit.
Il est possible de rsoudre la question par un calcul direct, sans recours aux coefcients de Fourier.
IV.2.a) Dabord f est dans L
2
comme produit dun lment de L
2
par une fonction borne, et u est dans
L
1
comme produit de deux lments de L
2
.
Ensuite v f est dans lorthogonal de H
2
dans L
2
, donc ses coefcients de Fourier dindices > 0 sont
nuls. Puisque g est dans H
2
, les coefcients de Fourier dindices >0 de g sont nuls. Encrivant v et g comme
limites dans L
2
de leurs sommes partielles de Fourier, il sensuit (continuit du produit de L
2
L
2
dans L
1
)
que u est limite dans L
1
de polynmes trigonomtriques spectres contenus dans Z\ N. Par continuit de
la transformation de Fourier de L
1
dans c
0
, les coefcients de Fourier dindices >0 de u sont nuls.
IV.2.b) En utilisant la relation T
et T
implique,
via le rsultat sur ladhrence de limage de ladjoint rappel en dbut dnonc et la formule : (T
,
la densit de limage de T
dans H
2
.
Partie V
V.1.a) Puisquune partie borne dun espace vectoriel norm de dimension nie est relativement compacte,
K (H) contient K
0
(H), en particulier lendomorphisme nul de H.
Soient T et T
t
dans K (H), U dans L(H). On a :
(T +T
t
)(B) T(B) +T
t
(B),
et un argument de double extraction assure que la somme de deux parties relativement compactes dun
espace norm est relativement compacte. Il sensuit que T +T
t
est dans K (H).
Par ailleurs, si r |U|, U(B) est contenu dans r B, do : TU(B) r T(B). Il est clair que limage dune partie
relativement compacte de H par une homothtie est relativement compacte, do lappartenance de TU
K (H). Enn, UT(B) est contenu dans limage par lapplication continue U du compact T(B), donc est
relativement compact.
V.1.b) Soient T dans L(H) adhrent K (H), >0, K dans K (H) tel que :
|T K| <.
page 59
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
On recouvre K(B) par un nombre ni de boules de H de rayon . Les boules centres sur les mmes points
et de rayon 2 recouvrent T(B), ce qui tablit la prcompacit de cet ensemble et lappartenance de T
K (H).
La question pouvait galement tre rsolue par un argument diagonal.
V.2.a) Par bilinarit, il suft de traiter le cas o
1
e
m
et
2
e
n
avec m et n dans Z. Or :
k >n, T
e
m+n
(e
k
) T
e
m
T
e
n
(e
k
) 0.
Puisquun lment de H
2
est limite au sens L
2
de ses sommes partielles de Fourier, on en dduit que limage
de T
e
m+n
T
e
m
T
e
n
est contenue dans le sous-espace de dimension nie engendr par les e
k
pour 0 <k <n.
V.2.b) Lapplication qui associe T
1
T
2
T
2
appartient ladhrence de K
0
(H
2
) dans L(H
2
) donc, daprs V.1.b), K (H
2
).
V.3.a) On a :
ker(K +I ) B K(B).
On en dduit que la boule unit de ker(K +I ) est compacte, ce qui amne la conclusion via le thorme de
Riesz.
V.3.b) Suivons lindication. On note dabord que :
K(x
t
n
) +x
t
n
K(x
n
) +x
n
.
Supposons maintenant (x
t
n
) non borne. Quitte extraire, on peut supposer :
[x
t
n
[ +,
ce qui entrane :
K(u
n
) +u
n
0.
La compacit de K donne une valeur dadhrence v de (K(u
n
)). Quitte extraire nouveau, on suppose
K(u
n
) v. Mais on a alors :
u
n
v et K(v) +v 0.
Or, le vecteur v est unitaire et appartient au sous-espace ferm ker(K +I )
, do la contradiction dsire.
Il est maintenant ais de conclure. Puisque (x
t
n
) est borne, on peut, quitte extraire, supposer que (K(x
t
n
))
converge. On en dduit que (x
t
n
) converge galement et que la limite x
t
de (x
t
n
) vrie y K(x
t
) +x
t
, do le
rsultat.
V.3.c) Par hypothse, est une partie compacte de H. Lingalit de Cauchy-Schwarz montre que les f
n
sont toutes 1-lipschitziennes et bornes par le rayon dune boule centre sur 0 contenant . La suite ( f
n
)
est donc uniformment borne et quicontinue sur le compact ; grce au thorme dAscoli, il existe une
suite strictement croissante (n
k
) dentiers naturels telle que ( f
n
k
) converge uniformment sur .
Pour montrer que
_
K
(x
n
k
)
_
converge dans H, on utilise le critre de Cauchy et l galit :
[ f
n
k
f
n
l
[
[K
(x
n
k
) K
(x
n
l
)[.
Cette dernire formule vient du fait que le premier membre de lgalit est gal :
sup
_
[ K(x), x
n
k
x
n
l
[ ; x B
_
,
donc :
sup
_
[ x, K
(x
n
k
) K
(x
n
l
)[ ; x B
_
(x
n
k
) K
(x
n
l
)
.
V.3.d) Lespace Im(I +K) est ferm, donc supplmentaire dans H de son orthogonal. Cet orthogonal est le
noyau de I +K
T
1/
I , T
1/
T
I ) K(H
2
)
2
.
La question VI.1.b) montre que T
est de Fredholm.
VI.3. Soit x dans H. On crit x u +v avec u dans kerT et v dans kerT
. Il vient :
ST(x) T
1
0
PT(x) T
1
0
PT(v) T
1
0
T(v) v.
Il en rsulte que ST I est loppos du projecteur orthogonal de H sur kerT.
Un calcul analogue tablit que TS I est loppos du projecteur orthogonal de H sur Im T
, lequel est de
dimension nie.
VI.4.a) On crit :
S(T +J ) I +SJ +K
et on remarque que I +SJ est inversible dans L(H), do :
S(T +J ) (I +SJ)(I +(I +SJ)
1
K) (I +SJ)(I +K
t
)
o K
t
(I +SJ)
1
K est bien dans K
0
(H). Ceci se rcrit :
(I +SJ)
1
S(T +J ) I +K
t
.
Ainsi T +J a un inverse gauche modulo K
0
(H), donc modulo K (H).
Un argument analogue permet de construire L
t
, ce qui entrane lexistence dun inverse droite modulo
K (H) pour T +J . Il reste utiliser VI.1.b) pour conclure.
VI.4.b) La caractrisation des lments de F(H) explicite aprs la question VI.3 dans lnonc montre que
S est de Fredholm. En utilisant les deux proprits de lindice admises dans lnonc et lappartenance de
K K
0
(H), il vient :
ind(S) +ind(T) ind(ST) ind(I +K) 0.
Mais I +SJ est inversible dans L(H), donc dindice nul. Utilisant la premire des deux relations tablies en
VI.4.a), les proprits admises de lindice et lappartenance de K
t
K
0
(H), on a :
ind(S) +ind(T +J ) 0
ce qui achve la dmonstration.
VI.5.a) Commenons par tudier le cas : e
n
.
page 61
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
Si n < 0, T
e
n
est surjectif (llment
j >0
c
j
e
j
de H
2
ayant pour antcdent
j >0
c
j
e
j +n
). Son noyau est le
sous-espace de dimension n engendr par (e
j
)
0<j <n1
. Donc lindice de T
e
n
est n.
Si n >0, T
e
n
est injectif. Son image est le sous-espace ferm de codimension n constitu des f de H
2
telles
que
f sannule sur {0, . . . , n 1}. Donc lindice de T
e
n
est n.
La relation demande est donc vraie si est lun des e
n
, n Z. Le cas gnral sobtient laide de II.4. en
notant que
C
ind(T
)
est continue comme compose de lapplication 1-lipschitzienne
C
F(H
2
)
et de lapplication continue ind, tandis que deg est continue sur C
par II.3.c).
VI.5.b) Soit n deg(). Les questions IV.2.c) et VI.5.a) montrent alors que si n < 0 (resp. n > 0), T
est
surjectif et a un noyau de dimension n (resp. est injectif et a une image de codimension n).
VI.5.c) Si est dans C
implique lappartenance de C
. Or, si sannule en un
point de S
1
, on construit facilement une suite ( f
n
) dlments de P unitaires pour la norme [ [
2
et telle que
( f
n
)
n>0
tende vers 0 pour cette mme norme (prendre des fonctions supportes par des voisinages de plus
en plus petits dun point dannulation de et les approcher par des polynmes trigonomtriques). Quitte
multiplier f
n
par e
m
n
avec m
n
assez grand, on peut supposer que f
n
est dans H
2
. On en dduit aussitt que
T
-dense de C
0
([0, 1], R)
doit pouvoir donner une telle fonction, ou du moins indiquer un principe de sa construction. Par
ailleurs un plan dcoup en deux parties (I - Continuit, II - Drivabilit) nest pas le mieux adapt.
page 71
Agrgation externe de mathmatiques Rapport du jury pour la session 2009
229 - Fonctions monotones. Fonctions convexes. Les candidats sont invits rchir lincidence 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
variation borne.
Le thorme sur lexistence des limites ( gauche ou droite) dune fonction monotone est souvent
mal nonc.
230 - Sries de nombres rels ou complexes. Comportement des restes ou des sommes partielles. Le jury
demande que les candidats ne confondent pas quivalents et dveloppements asymptotiques, par
exemple
n
k1
1
k
n+
ln(n) ++
1
2n
en lieu et place de
n
k1
1
k
n+
ln(n) ++
1
2n
+o
_
1
n
_
.
232 - Mthodes dapproximation des solutions dune quation F(X) 0. Le jury attire lattentionsur le fait
que X peut dsigner un vecteur.
234 - Espaces L
p
. Le jury a apprci les candidats sachant montrer quavec une mesure nie L
2
L
1
(ou
mme L
p
L
q
si p > q). Il est important de pouvoir justier lexistence de produits de convolution
(exemple L
1
L
1
).
235 - Suites et sries de fonctions intgrables. Bien lire lnonc ! Il faut savoir illustrer sur des exemples
lutilit de lhypothse de domination pour la convergence domine et les thormes de permutation
sries-intgrales. Il faut aussi proposer des suites de fonctions qui convergent au sens L
1
sans conver-
ger presque partout. Beaucoup trop de candidats pensent que ltude des sries se limite ltude des
suites, oubliant la structure vectorielle sous-jacente.
236 - Calculs dintgrales de fonctions dune ou plusieurs variables relles. Il est souhaitable que les can-
didats prcisent le cadre thorique de lintgration quils considrent lors de leur leon. Il ne faut pas
exclure le recours la variable complexe.
238 - Mthodes de calcul approch dintgrales. Il faut connatre les majorations derreurs de chaque m-
thode propose et connatre lorigine de ces majorations.
240 - Transformation de Fourier, produit de convolution. Si lquation de la chaleur (en dimension 1) a
pour origine la physique, sa rsolution mathmatique via la transformation de Fourier ne dispense
pas le candidat de conserver une certaine rigueur mathmatique. La validit de la formule F( f
t
)(x)
i xF( f )(x), lexistence du produit de convolution doivent tre convenablement circonscrits.
241 - Suites et sries de fonctions. Exemples et contre-exemples. Le jury stonne que des candidats consi-
drent des suites de fonctions valeurs dans un espace vectoriel de dimension innie. Cela entrane
des questions sur la ncessit de lhypothse de compltude. Dautre part les candidats ont-ils dj
manipul beaucoup de sries de fonctions valeurs dans un espace vectoriel de dimension innie ?
245 - Fonctions holomorphes et mromorphes sur un ouvert de C. Les conditions de Cauchy-Riemanndoivent
tre parfaitement connues et linterprtationde la diffrentielle entant que similitude directe doit tre
comprise. La notation
_