Édition de feuilles d'exercices

[examen/ex1220] ens PC 2024 Soit \(n\in\mathbf{N}\) et \(M\in\mathscr{S}_n(\mathbf{R})\). En notant \((s_1,\ldots ,s_n)\) les valeurs propres de \(M\), on pose \(N_p(M) = \left(\displaystyle\sum\limits_{i=1}^n |s_i|^p\right)^{1/p}\).

1. Montrer que \((A,B)\mapsto \mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(AB)\) est un produit scalaire sur \(\mathscr{S}_n(\mathbf{R})\). En déduire que \(N_2\) est une norme sur \(\mathscr{S}_n(\mathbf{R})\).

2. Montrer que \(N_1(M) = \mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits\{|\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits (MO)|,\; O\in \mathscr{O}_n(\mathbf{R})\}\). En déduire que \(N_1\) est une norme sur \(\mathscr{S}_n(\mathbf{R})\).

[planches/ex7573] ens lyon MP 2022 Une matrice \(H\) de \(\mathscr{M}_n(\mathbf{C})\) est dite hermitienne lorsque, pour tout \((i,j)\in[[1,n]]^2\), \(h_{i,j}=\overline{h_{j,i}}\) et une telle matrice est dite positive (resp. définie positive) lorsque toutes ses valeurs propres sont réelles positives (resp. réelles strictement positives).

1. Déterminer les formes linéaires \(f\) sur \(\mathscr{M}_n(\mathbf{C})\) telles que \(f(I_n)=1\) et \(f(H)\in\mathbf{R}_+\) pour toute \(H\in\mathscr{M}_n(\mathbf{C})\) hermitienne positive.

2. Déterminer les formes linéaires \(f\) sur \(\mathscr{M}_n(\mathbf{C})\) telles que \(f(I_n)=1\) et \(f(H)\in\mathbf{R}_+^*\) pour toute \(H\in\mathscr{M}_n(\mathbf{C})\) hermitienne définie positive.

[oraux/ex5027] polytechnique MP 2012 Soient \(A\) et \(B\) dans \({\cal S}_n(\mathbf{R})\).

1. Soit \(k\in\mathbf{N}\) impair tel que \(A^k+B^k=2I_n\). Montrer que \(2I_n-A-B\in S_n^+(\mathbf{R})\).

2. Soit \(j\in\mathbf{N}\) tel que \(2I_n-A^{2j}-B^{2j}\in S_n^+(\mathbf{R})\). Montrer que \(2I_n-A^j-B^j\in S_n^+(\mathbf{R})\).

[planches/ex7569] ens saclay, ens rennes MP 2022 Soit \(A\in\mathscr{S}_n(\mathbf{R})\) et \(X_0\in\mathbf{R}^n\setminus\{0\}\). Pour \(k\in\mathbf{N}\), on pose \(V_k:=\mathop{\mathchoice{\hbox{Vect}}{\hbox{Vect}}{\mathrm{Vect}}{\mathrm{Vect}}}\nolimits(A^iX0)_{0\leqslant i\leqslant k}\).

1. Montrer qu’il existe \(k_0\in\mathbf{N}\) tel que \(\forall k\in[[0,k_0]]\), \(\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits V_k=k+1\) et \(\forall k>k_0\), \(V_k=V_{k_0}\).

2. On définit par récurrence \((v_i)_{0\leqslant i\leqslant k_0}\) par \(v_0=\displaystyle{1\over\|X_0\|}X0\), \(\widetilde v_j:=Av_{j-1}-\displaystyle\sum\limits_{i=0}^{j-1}\langle Av_{j-1},v_i\rangle v_i\) pour tout \(j\in[[1,k_0]]\), \(v_j=\displaystyle{1\over\|\widetilde v_j\|}\widetilde v_j\). Montrer que cette famille est bien définie et est une base orthonormale de \(V_{k_0}\).

3. Montrer que \(\widetilde v_j-Av_{j-1}\in\mathop{\mathchoice{\hbox{Vect}}{\hbox{Vect}}{\mathrm{Vect}}{\mathrm{Vect}}}\nolimits(v_{j-1},v_{j-2})\) pour tout \(j\in[[1,k_0]]\), où \(v_{-1}:=0\).

4. On définit la matrice \(T\in\mathscr{S}_{k_0+1}(\mathbf{R})\) par \(t_{i,i}=\langle Av_i,v_i\rangle\), \(t_{i,i+1}=t_{i+1,i}=\|\widetilde v_{i+1}\|\) et \(t_{i,j}=0\) pour tout couple \((i,j)\in[[0,k0]]^2\) tel que \(|i-j|>1\). Montrer que \(T\) a le même spectre que l’endomorphisme induit par \(X\longmapsto AX\) sur \(V_{k_0}\).

[examen/ex1083] ens paris, ens lyon, ens saclay, ens rennes MP 2024

1. Soit \(A\in\mathscr{S}_n(\mathbf{R})\) à coefficients strictement positifs. Montrer qu’il existe un vecteur propre de \(A\) dont tous les coefficients sont \(>0\).

2. Soit \(A\in\mathscr{M}_2(\mathbf{R})\) à coefficients \(>0\). Montrer que \(A\) possède un vecteur propre à coefficients \(>0\).

3. Soient \(a_1\), … , \(a_n\in\mathbf{N}^*\), \(M_i=\pmatrix{a_i& 1\cr1&0}\) pour \(1\leqslant i\leqslant n\). Montrer que \(M_1\times \cdots\times M_n\) est à spectre inclus dans \(\mathbf{R}\setminus \mathbf{Q}\).