Bourbaki

Exercise 24, § 6

Tag 02W1, permanent. Cite it as [Bourbaki, Tag 02W1].

Spectral Theories, III, p. 139

(a) Let PP be a real stochastic square matrix of order nn. The real number 1 is a simple root of the minimal polynomial of PP. (One may use Exercise 20.) Moreover, every root of modulus 1 of the minimal polynomial of PP is simple.

(b) Let AA be a positive real matrix admitting an extremal vector ≻0\succ 0 and of spectral radius ϱ\varrho. All the roots of modulus ϱ\varrho of the minimal polynomial of AA are simple.

In Exercises 25 to 30, one considers a real Fréchet space E and a closed convex cone C of E, supposed to have nonempty interior. The order relation on E induced by C is denoted by ≼C\preccurlyeq_C. Thus, for x,yx,y in E, one has x≽Cyx\succcurlyeq_Cy if and only if x−y∈Cx-y\in C. One shall write x≻Cyx\succ_Cy for the relation x−y∈C˚x-y\in \mathring{C}.

One considers a continuous mapping u:E→Eu: E\rightarrow E satisfying the following conditions:

(i) The mapping uu is positively homogeneous: one has u(λx)=λu(x)u(\lambda x) =\lambda u(x) for every real number λ⩾0\lambda \geqslant 0 ;

(ii) The mapping uu is increasing with respect to C, that is to say that x≽Cyx\succcurlyeq_Cy implies u(x)≽Cu(y)u(x)\succcurlyeq_Cu(y);

(iii) For every x∈C−{0}x\in C-\{0\}, one has u(x)∈C˚u(x)\in \mathring{C}.

The purpose of these exercises, taken from the course of P.-L. Lions at the Collège de France, 2020/2021, is to prove, under certain conditions, that there exist an element x∈C−{0}x\in C-\{0\} and λ>0\lambda >0 such that x=λu(x)x=\lambda u(x); this provides in particular another proof of the Krein–Rutman theorem (III, p. 94, th. 4 and III, p. 97, prop. 8).

For f∈C˚f\in \mathring{C} and λ∈R+\lambda \in \mathbf{R}_+, one calls an upper solution (resp. lower solution) of the equation y=λu(y)+fy=\lambda u(y)+f an element y∈Cy\in C such that y≽Cλu(y)+fy\succcurlyeq_C\lambda u(y)+f (resp. such that y≼Cλu(y)+fy\preccurlyeq_C\lambda u(y) +f). One denotes by UfU_f the set of the λ∈R+\lambda \in \mathbf{R}_+ such that the set of upper solutions of the equation y=λu(y)+fy=\lambda u(y) +f is nonempty.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.