X Maths 2 MP 2009

Thème de l'épreuve Endomorphismes en dimension infinie
Principaux outils utilisés réduction, séries de nombres complexes, séries de Fourier
Mots clefs Noyau, Image, Eléments propres, diagonalisation, trigonalisation

Corrigé

 :
👈 gratuite pour tous les corrigés si tu crées un compte

👈 gratuite pour tous les corrigés si tu crées un compte
- - - - - - -
👈 gratuite pour ce corrigé si tu crées un compte
- - - - - - - - - - - - - -

Énoncé complet

(avec un accès, le PDF est téléchargeable et chaque image est cliquable)

Rapport du jury

(télécharger le PDF)
        

Énoncé obtenu par reconnaissance optique des caractères


ÉCOLE POLYTECHNIQUE

FILIÈRE

MP

CONCOURS D'ADMISSION 2009

DEUXIÈME COMPOSITION DE MATHÉMATIQUES
(Durée : 4 heures)
L'utilisation des calculatrices n'est pas autorisée pour cette épreuve.

Endomorphismes d'espaces vectoriels de dimension infinie
Première partie
Pour tout nombreÇréel , åon désigne par T l'endomorphisme de l'espace vectoriel 
C2 repré0 1
dans la base naturelle de C2 notée (e1 , e2 ).
senté par la matrice
-1 
1. Construire une base (f,1 , f,2 ) de C2 telle que chacun des f,i ait une 
composante sur e1
égale à 1 et, en outre, ayant les propriétés suivantes :
1.a) Si || > 2, il existe un réel µ de module > 1 tel que
T f,1 = µ f,1

T f,2 = µ-1
 f,2 .

,

1.b) Si || < 2, on a une formule analogue, mais où µ est un nombre complexe de module 1 et de partie imaginaire > 0, que l'on précisera.
1.c) Si  = 2, on a
T2 f2,1 = f2,1

,

T2 f2,2 = f2,1 + f2,2 .

T-2 f-2,1 = -f-2,1

,

T-2 f-2,2 = f-2,1 - f-2,2 .

1.d) Si  = -2, on a

Deuxième partie
On désigne par E l'espace vectoriel des suites de nombres complexes x = (xk )kZ 
et par A
l'endomorphisme de E défini par
x  E, k  Z ,

(Ax)k = xk-1 + xk+1 .

1

On s'intéresse au noyau de l'endomorphisme A -  idE où  est un nombre réel.
2.a) Vérifier qu'un élément x de E appartient à Ker (A -  idE ) si et seulement 
si l'on a
k  Z ,

Ç

xk
xk+1

å

=

Tk

Ç

x0
x1

å

.

2.b) Préciser la dimension de Ker (A -  idE ).
3. On suppose x  Ker (A
Ç -å idE ) et on note ,1 et ,2 les composantes, dans la base
x0
(f,1 , f,2 ) de C2 , du vecteur
. Démontrer les assertions suivantes :
x1
3.a) Si || 6= 2, on a
xk = µk ,1 + µ-k
 ,2 .
3.b) Si  = 2, on a
xk = 2,1 + (k + 1)2,2 .
3.c) Si  = -2, on a
xk = (-1)k (-2,1 + (1 - k)-2,2 ) .
4. On fixe un entier N > 2 et on désigne par PN l'ensemble des x de E tels que 
l'on ait
xk+N = xk pour tout k  Z.
Dire pour quelles valeurs de  le sous-espace Ker(A -  idE )  PN n'est pas 
réduit à {0} et,
dans ce cas, en donner une base.

Troisième partie
On définit deux sous-espaces vectoriels de E de la façon suivante :
· E1 est l'ensemble des éléments x de E tels que

P

|xk | < + et on le munit de la norme kZ kxk1 = X |xk | . kZ · E est l'ensemble des éléments u de E tels que sup |uk | < + et on le munit de la norme kZ kuk = sup |uk | . kZ 5. Étant donnés x  E1 et u  E , on pose hx, ui = X xk uk . kZ Vérifier que, pour tout u  E (resp. tout x  E1 ), l'application x 7 hx, ui (resp. u 7 hx, ui) est une forme linéaire continue sur E1 (resp. sur E ) dont on précisera la norme. 2 6. Montrer que l'on a A(E1 )  E1 , A(E )  E . Montrer que les endomorphismes A1 et A induits par A respectivement sur E1 et E sont continus et de norme 2. 7. Démontrer les assertions suivantes : 7.a) Pour tout entier n > 0, tout k  Z et tout x  E on a
n

(A x)k =

n
X

Ç å

n
p

p=0

et

X

|(An x)k | 6 2n

kZ

xk-n+2p

X

|xk | .

kZ

7.b) Si || > 2, pour tout x  E1 , la formule
B x =

X

-n An1 x

n>0

a un sens et définit un endomorphisme bijectif B de E1 dont on précisera 
l'inverse.
8. Soit  un nombre réel.
8.a) Déterminer Ker(A1 -  idE1 ).
8.b) Déterminer Ker(A -  idE ).
9. Dire pour quelles valeurs de  le sous-espace image de A1 -  idE1 est une 
partie dense
de E1 .
[On pourra évaluer hx, ui pour x  Im(A1 -  idE1 ) et u  Ker(A -  idE ).]

Quatrième partie
Pour tout élément x de E1 on définit comme suit une fonction x d'une variable 
réelle,
continue, de période 2 :
X
x (t) =
xk eikt .
10. Calculer

Z 2
0

kZ

x (t)e-int dt, pour n  Z.

11. Calculer A1 x (t).
12. Calculer B x (t) pour || > 2.
13. Donner une nouvelle démonstration de la question 8.a).

3