Bourbaki

Exercise 13, § 6

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

Spectral Theories, III, p. 134

Let A (resp. C) be a real (resp. complex) square matrix of type (I,I)(I,I). We suppose that A is positive and irreducible and that C+≼AC^+\preccurlyeq A, where, similarly to Exercise 12, we denote by C+C^+ the matrix whose coefficients are the moduli of the coefficients of C, and we write C+≼AC^+\preccurlyeq A to mean that the coefficients of A−C+A-C^+ are positive.

We use again the notations of the preceding exercise.

a) Let γ∈C\gamma \in \mathbf{C} be an eigenvalue of C and let yy in CI\mathbf{C}^I be an associated eigenvector. We have ∣γ∣y+≼C+y+≼Ay+|\gamma |y^+\preccurlyeq C^+y^+\preccurlyeq Ay^+ and ∣γ∣⩽ry+⩽r|\gamma |\leqslant r_{y^+}\leqslant r.

b) We suppose in addition that ∣γ∣=r|\gamma |=r. Then y+y^+ is an extremal vector for A (cf. question f) of Exercise 12), and we have the relations Ay+=C+y+=ry+Ay^+=C^+y^+=ry^+ and A = C+C^+.

Let uu (resp. uju_j, for j∈Ij\in I) be the unique complex number such that γ=∣γ∣u\gamma =|\gamma |u (resp. yj=∣yj∣ujy_j=|y_j|u_j, for j∈Ij\in I). Let D be the complex square matrix of type (I,I)(I,I) whose diagonal coefficients are (uj)j∈I(u_j)_{j\in I} and whose other coefficients are zero, so that y=Dy+y=Dy^+. Let F =u−1D−1=u^{-1}D^{-1} CD.

c) We have Fy+=ry+Fy^+=ry^+ and F+y+=Fy+F^+y^+=Fy^+. (Observe that F+=C+.F^+=C^+.)

d) We have F = F+F^+ and C =u=uDAD−1^{-1}.

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.