Centrale Maths 1 PSI 2002

Thème de l'épreuve Mouvement admissible d'un mobile
Principaux outils utilisés séries de Fourier, orthogonalité, endomorphismes auto-adjoints
Mots clefs autoadjoint

Corrigé

(c'est payant, sauf le début): - - - - - - - - - - - - - - - - - - - - - - -

Extrait gratuit du corrigé

(télécharger le PDF)
           

Énoncé complet

(télécharger le PDF)
                 

Rapport du jury

(télécharger le PDF)
     

Énoncé obtenu par reconnaissance optique des caractères


MA Sujets 2002:B0n à tirer:PSl Math ] 7.11.01-2 version du 26 mars 2002 16:46

ûo=8cä GmäÊm - OES...ÈOEO NËN

...%Ë z>Ëmz>ä_ocmm _ _...

ZcË»...c--E @» cE.oeâ...--OE &: Ë.cËwËm

......oE. 8E...æm ...mm EUR...oeoe.........oboe WmoBmî......Ëmoe ob mm Émoeoe 
mmbm EUR Eau E... ESS... @@ mm
m$doËuoe m....msoe mfio......@...mbbm.næbobfifloe m.... % mob ....oe@w....oe 
o....Ëobouäm 5359. ha
UE... %... 8 ......woËwBoe mm.... m.®...:&OE. ÊËEÇOEm nË-æoâämfiDfloeoe &... 
Bo:æ-...\Sæ5&

bowÊoæoboe5oe oebfi.oe m...mËmbä %... @ mm.... .8&ofi.oe ....oe...mû- mo...» ...... m @ ...... ..... o. .ËmÊ....OE. ? mm......$
...W " <%...Ê ®<Ëî m.... Bob.æ.oeæ mo...m5oecmoeBoeba @:oe A<@9$Vka " ...V...
=î@ . .

...w -Ëobîoew as...... ....oecË......mfi...ä ... Tv m.. mm.... :: 
...m059fi5...oe5oe %... b\ mE. & no--ä
.......m©BÊ@ÈmBOE wma...@wo@fioe oemæ @@......U... ......E.

N T-v A... l.--.o...@loeVmAoeVùmv

m...âä...m N - Qc=ËÊ.ËËOEÀ Q&SËÊOEÊÊ &... ...ä2.:æoe
&& oe.Q:QOE.Ê--oe

...uoE. : m ...2 . ob nosm...mwwoe ...mm 8m...än...mbä %... fiofi....oew mb 
m...bflm m.... oooe...Ë...oe m...:boe
mobâ...ob umoe......m \ . no...ä...bfioe wm.... BoämmE... mE. 5 m.... .... 
-©mu...o@......Ëm. ......obbmoe ......æ. ... ..

Q.=CJ " W.--.u......ïaVoomAq-mËVQR ... ®=CJ " W.--.n......\Aan...bAqfiw-OEvaa.

V_um©oe ...\.....

MA Sujets 2002:B0n à tirer:PSl Math ] 7.11.01-2 version du 26 mars 2002 16:46

ûo=8cä GmäÊm - OES...ÈOEO NËN

...%Ë z>Ëmz>ä_ocmm _ _...

ZcË»...c--E @» cE.oeâ...--OE &: Ë.cËwËm

......oE. 8E...æm ...mm EUR...oeoe.........oboe WmoBmî......Ëmoe ob mm Émoeoe 
mmbm EUR Eau E... ESS... @@ mm
m$doËuoe m....msoe mfio......@...mbbm.næbobfifloe m.... % mob ....oe@w....oe 
o....Ëobouäm 5359. ha
UE... %... 8 ......woËwBoe mm.... m.®...:&OE. ÊËEÇOEm nË-æoâämfiDfloeoe &... 
Bo:æ-...\Sæ5&

bowÊoæoboe5oe oebfi.oe m...mËmbä %... @ mm.... .8&ofi.oe ....oe...mû- mo...» ...... m @ ...... ..... o. .ËmÊ....OE. ? mm......$
...W " <%...Ê ®<Ëî m.... Bob.æ.oeæ mo...m5oecmoeBoeba @:oe A<@9$Vka " ...V...
=î@ . .

...w -Ëobîoew as...... ....oecË......mfi...ä ... Tv m.. mm.... :: 
...m059fi5...oe5oe %... b\ mE. & no--ä
.......m©BÊ@ÈmBOE wma...@wo@fioe oemæ @@......U... ......E.

N T-v A... l.--.o...@loeVmAoeVùmv

m...âä...m N - Qc=ËÊ.ËËOEÀ Q&SËÊOEÊÊ &... ...ä2.:æoe
&& oe.Q:QOE.Ê--oe

...uoE. : m ...2 . ob nosm...mwwoe ...mm 8m...än...mbä %... fiofi....oew mb 
m...bflm m.... oooe...Ë...oe m...:boe
mobâ...ob umoe......m \ . no...ä...bfioe wm.... BoämmE... mE. 5 m.... .... 
-©mu...o@......Ëm. ......obbmoe ......æ. ... ..

Q.=CJ " W.--.u......ïaVoomAq-mËVQR ... ®=CJ " W.--.n......\Aan...bAqfiw-OEvaa.

V_um©oe ...\.....

MA Sujets 2002:B0n à tirer:PSl Math ] 7.11.01-2 version du 26 mars 2002 16:46

ûo=8cä GmäÊm - OES...ÈOEO NËN

...%Ë z>Ëmz>ä_ocmm _ _...

ZcË»...c--E @» cE.oeâ...--OE &: Ë.cËwËm

......oE. 8E...æm ...mm EUR...oeoe.........oboe WmoBmî......Ëmoe ob mm Émoeoe 
mmbm EUR Eau E... ESS... @@ mm
m$doËuoe m....msoe mfio......@...mbbm.næbobfifloe m.... % mob ....oe@w....oe 
o....Ëobouäm 5359. ha
UE... %... 8 ......woËwBoe mm.... m.®...:&OE. ÊËEÇOEm nË-æoâämfiDfloeoe &... 
Bo:æ-...\Sæ5&

bowÊoæoboe5oe oebfi.oe m...mËmbä %... @ mm.... .8&ofi.oe ....oe...mû- mo...» ...... m @ ...... ..... o. .ËmÊ....OE. ? mm......$
...W " <%...Ê ®<Ëî m.... Bob.æ.oeæ mo...m5oecmoeBoeba @:oe A<@9$Vka " ...V...
=î@ . .

...w -Ëobîoew as...... ....oecË......mfi...ä ... Tv m.. mm.... :: 
...m059fi5...oe5oe %... b\ mE. & no--ä
.......m©BÊ@ÈmBOE wma...@wo@fioe oemæ @@......U... ......E.

N T-v A... l.--.o...@loeVmAoeVùmv

m...âä...m N - Qc=ËÊ.ËËOEÀ Q&SËÊOEÊÊ &... ...ä2.:æoe
&& oe.Q:QOE.Ê--oe

...uoE. : m ...2 . ob nosm...mwwoe ...mm 8m...än...mbä %... fiofi....oew mb 
m...bflm m.... oooe...Ë...oe m...:boe
mobâ...ob umoe......m \ . no...ä...bfioe wm.... BoämmE... mE. 5 m.... .... 
-©mu...o@......Ëm. ......obbmoe ......æ. ... ..

Q.=CJ " W.--.u......ïaVoomAq-mËVQR ... ®=CJ " W.--.n......\Aan...bAqfiw-OEvaa.

V_um©oe ...\.....

%... Ëmä> dos...-m... , , . . _ m...mæ mm...

--.> - Um...bobfi.m.... ...Ëm ............V... m 2 mm.... GDm ....oeBEm 
ou.........obouËæ...m ......m @. UmBo:îm.... pam... ......o:.... .8 m @ ...
m....w . ...u9....... \ m @... o...... ......o......m. ..." ...m 
....o......ä...o...... ......m......b...m ms.... 5 ... ...... -@m.......o&...Ëm 
m...... ......m.......m... W 8... " Êe...
...m......m EUR...m... ......o:.... ...... m ::.... ...: o...... m...... .... 
...... n ...... 8.........8...:Ê......
: \...3 m..._...m...o......: ....O-Ob@0mmwozmembmasm...z...zw......
\ 3 n o . m... ... n.... . ...... ...
:\......:3 m... ...m:....... . , e=...ê " M ... e

...... u ...... 8......8...:Ê......
..... w. 5 Uobbm....... mæ......m ......mBoäîoeüob... EUR...m5flmm m...mBmää 
......m m%Bmæ......m ...: m....m-

@--...m ......m \. ...<...o...ä....m.... ......Gm \ mm.... mm...ä.........fim cm.... Bo....mmEä... ms.... 5. > ©:m......m mmb@...æ...mb ....O.C 
...<...o...ä....m.... &:m... ......o.......... ...... m ...e... : : :... ... e...... m 55 CU...QÇm ....mm.........m ......mbm ............äm...r mm...- m......m mmä......bfim ms.... 5 .... , ,  - Qmm 
..........m..................-
8 _ . __ bm.......moe.
N8 . . _
nüUEUR " M ||Nl|l:M @ . . \ .
...... u c e...... : 8 . ----.> - ......o:.... N m ... o...... bo...m 
..........m... ...m ....oboefiob ...... ,......m......b...m mE. ...?: mm.... ...
, , .. .... ...
....w.9 O...... bo...m e F ....o......â...o...... ......m...............m... 
......o:.... 8 m ...... ... cm.... ... ......3 .:. ...... : $.?mîEoe +........ 
...... :mï...m...&m
ÊËH M......:c...8| 858:

...uQO Q....

%... Ëmä> dos...-m... , , . . _ m...mæ mm...

--.> - Um...bobfi.m.... ...Ëm ............V... m 2 mm.... GDm ....oeBEm 
ou.........obouËæ...m ......m @. UmBo:îm.... pam... ......o:.... .8 m @ ...
m....w . ...u9....... \ m @... o...... ......o......m. ..." ...m 
....o......ä...o...... ......m......b...m ms.... 5 ... ...... -@m.......o&...Ëm 
m...... ......m.......m... W 8... " Êe...
...m......m EUR...m... ......o:.... ...... m ::.... ...: o...... m...... .... 
...... n ...... 8.........8...:Ê......
: \...3 m..._...m...o......: ....O-Ob@0mmwozmembmasm...z...zw......
\ 3 n o . m... ... n.... . ...... ...
:\......:3 m... ...m:....... . , e=...ê " M ... e

...... u ...... 8......8...:Ê......
..... w. 5 Uobbm....... mæ......m ......mBoäîoeüob... EUR...m5flmm m...mBmää 
......m m%Bmæ......m ...: m....m-

@--...m ......m \. ...<...o...ä....m.... ......Gm \ mm.... mm...ä.........fim cm.... Bo....mmEä... ms.... 5. > ©:m......m mmb@...æ...mb ....O.C 
...<...o...ä....m.... &:m... ......o.......... ...... m ...e... : : :... ... e...... m 55 CU...QÇm ....mm.........m ......mbm ............äm...r mm...- m......m mmä......bfim ms.... 5 .... , ,  - Qmm 
..........m..................-
8 _ . __ bm.......moe.
N8 . . _
nüUEUR " M ||Nl|l:M @ . . \ .
...... u c e...... : 8 . ----.> - ......o:.... N m ... o...... bo...m 
..........m... ...m ....oboefiob ...... ,......m......b...m mE. ...?: mm.... ...
, , .. .... ...
....w.9 O...... bo...m e F ....o......â...o...... ......m...............m... 
......o:.... 8 m ...... ... cm.... ... ......3 .:. ...... : $.?mîEoe +........ 
...... :mï...m...&m
ÊËH M......:c...8| 858:

...uQO Q....

MA Sujets 20022Bon à tirer.PSl Math I 7.11.01--2 version du 28 mars 2002 14:03

:> Ëm...ä> :o:moe ...

.......>.HV ...<...o...ä....æ.... ...Ëoe ... " ....ANV mm... %... o...æmmoe ®... mE. B.: 3 . E .OE...dÇ.oeV ...<...oä.......æfi ca...... &... mm... :......  n......oe:oe 8.........Ë......ob m.......... 8 . N oeE...oeä......ä...-...... 
w &... ..... m...... Ê...Ë.......æ 85 ...mm  Ëm...ä> :o:moe ...

.......>.HV ...<...o...ä....æ.... ...Ëoe ... " ....ANV mm... %... o...æmmoe ®... mE. B.: 3 . E .OE...dÇ.oeV ...<...oä.......æfi ca...... &... mm... :......  n......oe:oe 8.........Ë......ob m.......... 8 . N oeE...oeä......ä...-...... 
w &... ..... m...... Ê...Ë.......æ 85 ...mm  

Extrait du corrigé obtenu par reconnaissance optique des caractères



Centrale Maths 1 PSI 2002 -- Corrigé
Ce corrigé est proposé par Sébastien Gadat (ENS Cachan) ; il a été relu par Jean
Starynkévitch (ENS Cachan) et Thomas Chomette (ENS Ulm).

Ce sujet traite à la fois d'analyse classique sur les séries de Fourier et 
d'algèbre
linéaire des endomorphismes auto-adjoints. C'est donc l'occasion pour le 
candidat de
prouver sa capacité à manier différents types de raisonnements dans un problème.
Les questions du sujet sont d'une difficulté relativement égale et leur 
progression vers le but recherché est agréablement équilibrée. La plupart des 
questions sont
accessibles à l'élève connaissant sur le bout des doigts les théorèmes 
importants de
son cours d'analyse et d'algèbre linéaire. Néanmoins, la longueur de l'énoncé 
ne permet pas de traiter l'intégralité du sujet dans le temps imparti, comme 
souvent aux
épreuves de concours.
L'énoncé définit tout d'abord ce qu'est une trajectoire admissible et le but du
problème est de démontrer une majoration de la vitesse en moyenne quadratique
pour ces trajectoires.
· Le sujet débute par une partie préliminaire où l'on redémontre très 
précisément
certains points du cours sur les projections orthogonales.
· La première partie utilise les théorèmes généraux sur les séries de Fourier 
pour
démontrer des convergences ponctuelles ou au sens L2 de séries de fonctions.
Elle introduit une quantité servant à obtenir la majoration recherchée.
· La seconde partie interprète alors tous les résultats de convergence en
norme L2 obtenus dans la première partie en termes de projections orthogonales
sur des hyperplans. On manipule également dans cette partie des opérateurs
et des endomorphismes auto-adjoints, permettant d'aboutir à la majoration
finale :
  A

h  |  i 6

1  
h | i
µ2

Indications

Partie I
I.B.1 Faire un dessin du graphe de f .
I.B.2 Utiliser les symétries de la question I.B.1 pour éviter des calculs 
inutiles.
I.B.3 Énoncer précisément les théorèmes et hypothèses du cours utilisés.
I.B.4 Attention aux hypothèses pour l'application de ce théorème.
I.B.5 Utiliser la question I.B.4.
I.B.6 Utiliser la question I.B.5.
I.C.1 Appliquer le théorème des valeurs intermédiaires en étudiant le 
comportement
de n aux bornes de ses intervalles de définition.
2
I.C.3 Majorer indépendamment de  le terme :
.
k 2 ( 2 - k 2 )
Partie II
II.A.1 Intégrer par parties.
II.A.2 Penser au théorème de Fubini.
II.B.1 Raisonner par double inclusion. Que représente Hn géométriquement ?
II.B.2 Utiliser la question II.B.1.
II.B.4 Démontrer et utiliser le fait que hz|Tn (z)i = hz|T(z)i.
II.C.1 Se servir des questions I.B.3 et II.A.3.
II.D Appliquer les résultats précédents à   qui est dans H .

Résultats préliminaires
A
L'énoncé débute par des questions de cours et le correcteur attend de l'élève
qu'il énonce très précisément les théorèmes du cours, quitte à utiliser un style
un peu trop formel. On exige par ailleurs la démonstration du résultat du

cours : Vect (h)
= Vect h et même si une démonstration correcte ne
rapporte guère de points, il y a fort à parier qu'une démonstration incorrecte
en fait perdre beaucoup. . .
Voici l'énoncé précis du théorème qui permet de conclure directement.
Si F est un sous-espace vectoriel de dimension finie d'un espace vectoriel E
préhilbertien, alors F est un supplémentaire orthogonal de F :
F  F = E
De plus

et

codim F = dim F

F

=F

Vérifions tout d'abord que le cadre particulier de l'énoncé rentre bien dans les
hypothèses du théorème. C est bien un espace préhilbertien réel muni du produit
scalaire h|i. L'espace vectoriel engendré par h est de dimension finie. On 
obtient
donc, en prenant pour F l'espace engendré par h :

C = Vect h  (Vect h)

(1)

Démontrons, comme le demande l'énoncé, le théorème précédent dans le cas 
particulier où F = Vect (h).
Tout d'abord, les espaces Vect (h) et Vect (h) sont bien d'intersection réduite 
à
0E car si x est un élément commun à ces deux espaces, on trouve :
hx|xi = kxk2 2 = 0
c'est-à-dire
Donc

x=0

Vect (h)  Vect (h) = 0E

Ensuite, démontrons que la somme de tout x de E se décompose en la somme

d'un élément de Vect (h) et d'un élément de Vect (h) .
hf |hi
Notons 1h l'application définie par 1h (f ) = f -
h. On peut écrire
khk2 2

f  E
f = f - 1h (f ) + 1h (f )

Le terme f - 1h (f ) appartient à Vect (h) et 1h (f ) est orthogonal par 
construction
à h, c'est-à-dire que 1h (f ) appartient à Vect (h) . On en conclut donc le 
premier
résultat annoncé :
C = Vect h  (Vect h)

Prouvons que

F

=F

Effectuons un raisonnement par double inclusion. Donnons-nous un x dans F, alors

pour tout h de F , on a hx|hi = 0. Ainsi x est dans F
et on a F  F .

Réciproquement, prenons y dans F , alors y se décompose dans la somme
directe de C et :
yF  F yF  F

y = y F + y F

Démontrons que kyF k2 = 0.
2

On obtient

hy|yF i = hyF |yF i + kyF k2

On sait que y est dans F , on en conclut que hy|yF i = 0. On a de même
hyF |yF i = 0

En conclusion, on a kyF k2 = 0 et y est dans F ; ce qui achève la démonstration.
F

=F

Il est bon de connaître un contre-exemple classique à ce résultat lorsque
l'espace vectoriel considéré n'est plus de dimension finie. Plaçons-nous dans
l'espace vectoriel E = R[X] tel que la base canonique soit une base 
orthonormale. Prenons

n
n
P
P
F= P=
ak Xk
ak = 0
k=0

k=0

L'inclusion F  F

de démontrer que F
entendu fausse !

est toujours vérifiée. Mais il n'est pas très difficile

= {0E }, et l'égalité précédente F
= F est bien

Il faut donc faire très attention lorsqu'on manipule ces objets, surtout en
début de sujet. . .
Démontrons enfin le dernier résultat :
f  C

h (f ) = 1h (f ) = f -

hf |hi
khk2

2h

Prenons un vecteur f dans Vect (h), alors la projection de f sur Vect (h)
nulle et on a h (f ) = 0 = 1h (f ) d'après la définition de h.

est

Fixons alors un vecteur f dans Vect (h) , ce vecteur est son propre projeté or
thogonal sur Vect (h) et on a h (f ) = f . De plus 1h (f ) = f .
On en conclut que les applications linéaires 1h et h coïncident sur deux 
sousespaces supplémentaires et donc qu'elles sont égales.
f  C

h (f ) = f -

hf |hi
khk2

2h

(2)

B Notons D2 :  7-   l'application qui à un élément  de A associe sa dérivée
seconde. Commençons par démontrer que D2 (A)  H .
Prenons un élément  de A et calculons le produit scalaire hD2 ()|ui :