Bourbaki

Exercice 24, § 6

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

Théories spectrales, III, p. 139

a) Soit P une matrice carrée réelle stochastique d’ordre nn. Le nombre réel 1 est une racine simple du polynôme minimal de P. (On pourra utiliser l’exercice 20.) De plus, toute racine de module 1 du polynôme minimal de P est simple.

b) Soit A une matrice réelle positive admettant un vecteur extrémal ≻0\succ 0 et de rayon spectral ϱ\varrho. Toutes les racines de module ϱ\varrho du polynôme minimal de A sont simples.

Dans les exercices 25 à 30, on considère un espace de Fréchet réel E et un cône convexe fermé C de E, supposé d’intérieur non vide. La relation d’ordre sur E induite par C est notée ≼C\preccurlyeq_C. Ainsi, pour x,yx,y dans E, on a x≽Cyx\succcurlyeq_Cy si et seulement si x−y∈Cx-y\in C. On écrira x≻Cyx\succ_Cy pour la relation x−y∈C˚x-y\in \mathring{C}.

On considère une application continue u:E→Eu: E\rightarrow E vérifiant les conditions suivantes :

(i) L’application uu est positivement homogène : on a u(λx)=λu(x)u(\lambda x) =\lambda u(x) pour tout nombre réel λ⩾0\lambda \geqslant 0 ;

(ii) L’application uu est croissante relativement à C, c’est-à-dire que x≽Cyx\succcurlyeq_Cy implique u(x)≽Cu(y)u(x)\succcurlyeq_Cu(y);

(iii) Pour tout x∈C−{0}x\in C-\{0\}, on a u(x)∈C˚u(x)\in \mathring{C}.

Le but de ces exercices, tirés du cours de P.-L. Lions au Collège de France, 2020/2021, est de démontrer, sous certaines conditions, qu’il existe un élément x∈C−{0}x\in C-\{0\} et λ>0\lambda >0 tels que x=λu(x)x=\lambda u(x); cela fournit en particulier une autre démonstration du théorème de Krein–Rutman (III, p. 94, th. 4 et III, p. 97, prop. 8).

Pour f∈C˚f\in \mathring{C} et λ∈R+\lambda \in \mathbf{R}_+, on appelle solution supérieure (resp. solution inférieure) de l’équation y=λu(y)+fy=\lambda u(y)+f un élément y∈Cy\in C tel que y≽Cλu(y)+fy\succcurlyeq_C\lambda u(y)+f (resp. tel que y≼Cλu(y)+fy\preccurlyeq_C\lambda u(y) +f). On note UfU_f l’ensemble des λ∈R+\lambda \in \mathbf{R}_+ tels que l’ensemble des solutions supérieures de l’équation y=λu(y)+fy=\lambda u(y) +f est non vide.

Solution

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

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.