Bourbaki

Exercice 12, § 6

Étiquette 02VP, permanente. À citer comme [Bourbaki, Tag 02VP].

Théories spectrales, III, p. 133

Soit A une matrice réelle de type (I,I)(I,I), irréductible et positive. Pour tout x∈RIx\in \mathbf{R}^I non nul, on pose

r=r= infxxii∈≠0I(Ax)ixi_{xxi_i\in\not=0I}\frac{(Ax)_i}{x_i},

où (AxAx)i=∑k∈Iaikxk_i=\sum_{k\in I}a_{ik}x_k est la coordonnée de AxAx d’indice ii.

a) Si x≽0x\succcurlyeq 0 et x≠0x\not = 0, alors rxr_x est le plus grand nombre réel ϱ\varrho tel que ϱx≼Ax\varrho x\preccurlyeq Ax. b) Supposons que x≽0x\succcurlyeq 0 et posons y=(1I+y= (1_I+ A)x)x. On a alors rx⩽ryr_x\leqslant r_y.

c) La restriction à (R+∗)I(\mathbf{R}_+^*)^I de la fonction x↦rxx\mapsto r_x est continue.

d) En déduire qu’il existe z∈RIz\in \mathbf{R}^I tel que z≽0z\succcurlyeq 0 et tel que rz=r_z= supx≽0rx_{x\succcurlyeq 0}r_x. (Utiliser les ensembles compacts M={x∈R+I∣∑i∈Ixi=1}M =\{x\in \mathbf{R}_+^I|\sum_{i\in I}x_i= 1\} ainsi que (1I+(1_I+ A)n−1^{n-1}(M), puis l’exercice 10.)

On note r=rzr=r_z. Un élément zz de RI\mathbf{R}^I tel que z≽0z\succcurlyeq 0 et rz=rr_z=r sera dit extrémal.

e) On a r>0r >0.

f) Si zz est un vecteur extrémal, alors Az=rzAz=rz. (Si u=Az−rz≽0u=Az-rz\succcurlyeq 0 était non nul, alors (1I+(1_I+ A)n−1u^{n-1}u serait ≻0\succ 0 d’après l’exercice 10 et, pour x=(1I+x= (1_I+ A)n−1z)^{n-1}z, on aurait Ax≻rx.)Ax\succ rx.)

g) Tout élément extrémal est ≻0\succ 0.

Pour tout vecteur yy dans CI\mathbf{C}^I, on note y+y^+ le vecteur (∣yi∣)i∈I(|y_i|)_{i\in I}; on a donc y+∈RIy^+\in \mathbf{R}^I et y+≽0y^+\succcurlyeq 0.

h) Soient α∈C\alpha \in \mathbf{C} une valeur propre de A, vue comme matrice complexe, et yy dans CI\mathbf{C}^I un vecteur propre correspondant. On a ∣α∣y+≼Ay+|\alpha |y^+\preccurlyeq Ay^+ et ∣α∣⩽r|\alpha |\leqslant r.

i) En déduire que si α=r\alpha =r, toutes les coordonnées de yy sont non nulles, puis que l’espace propre (dans CI\mathbf{C}^I) de A associé à la valeur propre rr est de dimension 1.

On note Δ(X) le déterminant de X⋅1I−AX\cdot 1_I-A et B(X) la transposée de la matrice des cofacteurs de X⋅1I−AX\cdot 1_I-A. On note B(X) = (Bij(X)B_{ij}(X))i,j∈I_{i,j\in I}. On a donc B(X)(X⋅1I−A)=(X⋅1I−A(X)(X\cdot 1_I-A) = (X\cdot 1_I-A)B(X)=Δ(X)⋅1E(X) = \Delta (X)\cdot 1_E (A, III, p. 99, prop. 12). j) Pour tout i∈Ii\in I, la colonne d’indice ii de B(r)(r) est non nulle. (Si ce n’est pas le cas, construire un vecteur propre de A associé à la valeur propre rr et dont le coefficient d’indice ii soit nul, en contradiction avec la question f).) k) Tous les coefficients de B(r)(r) sont du même signe. (Montrer d’abord, à l’aide de la relation (r1I−A(r1_I-A)B(r)=0(r) = 0, que pour tout i∈Ii\in I, tous les coefficients de la colonne d’indice ii de B(r)(r) sont non nuls et du même signe, puis raisonner avec les transposées.)

l) On a Δ′(r)>0\Delta '(r)>0 et Bij(r)>0B_{ij}(r)>0 pour tout (i,j)∈I2(i, j)\in I^2. (Utiliser la formule Δ′(X)=∑iBii(X)\Delta '(X) =\sum_iB_{ii}(X) et observer que Δ′\Delta ' ne change pas de signe sur l’intervalle [r,+∞].[r,+\infty ].)

m) En conclure que rr est une racine simple du polynôme caractéristique de A.

Solution

Aucune solution n’a encore été écrite.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.