WikiPrépaLivrets

Soit nn un entier naturel tel que n4n \geq 4. On considère deux nombres complexes aa et bb.

On définit la matrice A=(ai,j)Mn(C)A = (a_{i,j}) \in \mathcal{M}_n(\mathbb{C}) par les coefficients suivants :

  • ai,i=aa_{i,i} = a pour tout i{1,,n}i \in \{1, \dots, n\} ;
  • ai,i+1=ai+1,i=ba_{i, i+1} = a_{i+1, i} = b pour tout i{1,,n1}i \in \{1, \dots, n-1\} ;
  • a1,n=an,1=ba_{1,n} = a_{n,1} = b ;
  • ai,j=0a_{i,j} = 0 sinon.

  1. Justifier que la matrice AA est diagonalisable dans Mn(C)\mathcal{M}_n(\mathbb{C}).
  2. Déterminer explicitement les valeurs propres de la matrice AA.
  3. À quelle condition nécessaire et suffisante portant sur aa et bb la matrice AA est-elle inversible ?

1.

Introduire la matrice de permutation circulaire JJ définie par Jei=ei1J e_i = e_{i-1} (avec e0=ene_0 = e_n).

2.

Exprimer AA comme un polynôme en JJ.

3.

Utiliser le fait que les valeurs propres de P(J)P(J) sont les P(λ)P(\lambda)λSp(J)\lambda \in \text{Sp}(J).

Idées clés

Utilisation de la structure de matrice circulante.

Lien entre les éléments propres d'un endomorphisme uu et ceux de P(u)P(u).

Propriétés des racines nn-ièmes de l'unité.

Résolution.

  1. Introduisons la matrice de permutation circulaire JMn(C)J \in \mathcal{M}_n(\mathbb{C}) définie par :
    J=(0100001000011000)J = \begin{pmatrix} 0 & 1 & 0 & \dots & 0
    0 & 0 & 1 & \ddots & \vdots
    \vdots & \vdots & \ddots & \ddots & 0
    0 & 0 & \dots & 0 & 1
    1 & 0 & \dots & 0 & 0 \end{pmatrix}
    On remarque que JT=J1J^T = J^{-1} car JJ est une matrice de permutation (elle est donc orthogonale). En observant la structure de AA, on peut l'écrire sous la forme :
    A=aIn+bJ+bJT=aIn+bJ+bJ1A = a I_n + b J + b J^{T} = a I_n + b J + b J^{-1}
    La matrice JJ vérifie la relation Jn=InJ^n = I_n. Ainsi, le polynôme P(X)=Xn1P(X) = X^n - 1 est un polynôme annulateur de JJ. Ce polynôme PP est scindé à racines simples sur C\mathbb{C} (les racines sont les ωk=e2ikπn\omega_k = e^{\frac{2ik\pi}{n}} pour k{0,,n1}k \in \{0, \dots, n-1\}). Par conséquent, la matrice JJ est diagonalisable dans Mn(C)\mathcal{M}_n(\mathbb{C}). Comme AA est une somme de puissances de JJ, on en déduit que AA est un polynôme en JJ. Tout polynôme d'une matrice diagonalisable étant lui-même diagonalisable, on conclut :
    A est diagonalisable dans Mn(C)\boxed{A \text{ est diagonalisable dans } \mathcal{M}_n(\mathbb{C})}

  2. Soit ωk=e2ikπn\omega_k = e^{\frac{2ik\pi}{n}} pour k{0,,n1}k \in \{0, \dots, n-1\} les valeurs propres de JJ. Puisque A=Q(J)A = Q(J) avec Q(X)=a+bX+bXn1Q(X) = a + bX + bX^{n-1} (notons que J1=Jn1J^{-1} = J^{n-1} car Jn=InJ^n = I_n), les valeurs propres λk\lambda_k de AA sont données par :
    λk=Q(ωk)=a+bωk+bωk1\lambda_k = Q(\omega_k) = a + b \omega_k + b \omega_k^{-1}
    En utilisant la forme exponentielle de ωk\omega_k, on obtient :
    λk=a+be2ikπn+be2ikπn\lambda_k = a + b e^{\frac{2ik\pi}{n}} + b e^{-\frac{2ik\pi}{n}}
    Grâce aux formules de Euler, nous pouvons simplifier cette expression :
    k{0,,n1},λk=a+2bcos(2kπn)\boxed{\forall k \in \{0, \dots, n-1\},   \lambda_k = a + 2b \cos\left( \frac{2k\pi}{n} \right)}

  3. La matrice AA est inversible si et seulement si toutes ses valeurs propres sont non nulles. D'après le résultat précédent, cela revient à imposer que :
    k{0,,n1},a+2bcos(2kπn)0\forall k \in \{0, \dots, n-1\},   a + 2b \cos\left( \frac{2k\pi}{n} \right) \neq 0
    Ceci est équivalent à dire que le rapport a2b-\frac{a}{2b} (si b0b \neq 0) n'appartient pas à l'ensemble des valeurs prises par le cosinus sur les angles réguliers 2kπn\frac{2k\pi}{n}. Si b=0b=0, la condition devient simplement a0a \neq 0. On peut synthétiser la condition d'inversibilité par :
    AGLn(C)    a{2bcos(2kπn)k{0,,n1}}\boxed{A \in GL_n(\mathbb{C}) \iff a \notin \left\{ -2b \cos\left( \frac{2k\pi}{n} \right) \mid k \in \{0, \dots, n-1\} \right\}}

Attention à ne pas oublier les coefficients a1,na_{1,n} et an,1a_{n,1}. Sans ces termes, la matrice serait tridiagonale classique (non circulante), et ses valeurs propres auraient une expression différente faisant intervenir les racines d'un polynôme de Chebyshev.