Schur decomposition

In the mathematical discipline of linear algebra, the Schur decomposition or Schur triangulation, named after Issai Schur, is a matrix decomposition.

Statement

The Schur decomposition reads as follows: if A is a n × n square matrix with complex entries, then A can be expressed as^[1]^[2]

A = Q U Q^{-1}

where Q is a unitary matrix (so that its inverse Q⁻¹ is also the conjugate transpose Q* of Q), and U is an upper triangular matrix, which is called a Schur form of A. Since U is similar to A, it has the same spectrum, and since it is triangular, those eigenvalues are the diagonal entries of U.

The Schur decomposition implies that there exists a nested sequence of A-invariant subspaces {0} = V₀ ⊂ V₁ ⊂ ... ⊂ V_n = Cⁿ, and that there exists an ordered orthonormal basis (for the standard Hermitian form of Cⁿ) such that the first i basis vectors span V_i for each i occurring in the nested sequence. Phrased somewhat differently, the first part says that a linear operator J on a complex finite-dimensional vector space stabilizes a complete flag (V₁,...,V_n).

Proof

A constructive proof for the Schur decomposition is as follows: every operator A on a complex finite-dimensional vector space has an eigenvalue λ, corresponding to some eigenspace V_λ. Let V_λ^⊥ be its orthogonal complement. It is clear that, with respect to this orthogonal decomposition, A has matrix representation (one can pick here any orthonormal bases Z₁ and Z₂ spanning V_λ and V_λ^⊥ respectively)

\begin{bmatrix} Z_1 & Z_2 \end{bmatrix}^{*} A \begin{bmatrix}Z_1 & Z_2\end{bmatrix} = \begin{bmatrix} \lambda \, I_{\lambda} & A_{12} \\ 0 & A_{22} \end{bmatrix}: \begin{matrix} V_{\lambda} \\ \oplus \\ V_{\lambda}^{\perp} \end{matrix} \rightarrow \begin{matrix} V_{\lambda} \\ \oplus \\ V_{\lambda}^{\perp} \end{matrix}

where I_λ is the identity operator on V_λ. The above matrix would be upper-triangular except for the A₂₂ block. But exactly the same procedure can be applied to the sub-matrix A₂₂, viewed as an operator on V_λ^⊥, and its submatrices. Continue this way n times. Thus the space Cⁿ will be exhausted and the procedure has yielded the desired result.

The above argument can be slightly restated as follows: let λ be an eigenvalue of A, corresponding to some eigenspace V_λ. A induces an operator T on the quotient space Cⁿ modulo V_λ. This operator is precisely the A₂₂ submatrix from above. As before, T would have an eigenspace, say W_μ ⊂ Cⁿ modulo V_λ. Notice the preimage of W_μ under the quotient map is an invariant subspace of A that contains V_λ. Continue this way until the resulting quotient space has dimension 0. Then the successive preimages of the eigenspaces found at each step form a flag that A stabilizes.

Notes

Although every square matrix has a Schur decomposition, in general this decomposition is not unique. For example, the eigenspace V_λ can have dimension > 1, in which case any orthonormal basis for V_λ would lead to the desired result.

Write the triangular matrix U as U = D + N, where D is diagonal and N is strictly upper triangular (and thus a nilpotent matrix). The diagonal matrix D contains the eigenvalues of A in arbitrary order (hence its Frobenius norm, squared, is the sum of the squared moduli of the eigenvalues of A, while the Frobenius norm of A, squared, is the sum of the squared singular values of A). The nilpotent part N is generally not unique either, but its Frobenius norm is uniquely determined by A (just because the Frobenius norm of A is equal to the Frobenius norm of U = D + N).

It is clear that if A is a normal matrix, then U from its Schur decomposition must be a diagonal matrix and the column vectors of Q are the eigenvectors of A. Therefore, the Schur decomposition extends the spectral decomposition. In particular, if A is positive definite, the Schur decomposition of A, its spectral decomposition, and its singular value decomposition coincide.

A commuting family {A_i} of matrices can be simultaneously triangularized, i.e. there exists a unitary matrix Q such that, for every A_i in the given family, Q A_i Q* is upper triangular. This can be readily deduced from the above proof. Take element A from {A_i} and again consider an eigenspace V_A. Then V_A is invariant under all matrices in {A_i}. Therefore, all matrices in {A_i} must share one common eigenvector in V_A. Induction then proves the claim. As a corollary, we have that every commuting family of normal matrices can be simultaneously diagonalized.

In the infinite dimensional setting, not every bounded operator on a Banach space has an invariant subspace. However, the upper-triangularization of an arbitrary square matrix does generalize to compact operators. Every compact operator on a complex Banach space has a nest of closed invariant subspaces.

Computation

Schur decomposition of a given matrix is known to be numerically computed by QR algorithm or its variants. In other words, the roots of the characteristic polynomial corresponding to the matrix are not necessarily computed ahead in order to obtain its Schur decomposition. Conversely, QR algorithm can be used to compute the roots of any given characteristic polynomial by finding the Schur decomposition of its companion matrix. Similarly, QR algorithm is used to compute the eigenvalues of any given matrix, which are the diagonal entries of the upper triangular matrix of the Schur decomposition. See the Nonsymmetric Eigenproblems section in LAPACK Users' Guide.^[3]

Applications

Lie theory applications include:

Every invertible operator is contained in a Borel group.
Every operator fixes a point of the flag manifold.

Generalized Schur decomposition

Given square matrices A and B, the generalized Schur decomposition factorizes both matrices as $A=QSZ^*$ and $B=QTZ^*$ , where Q and Z are unitary, and S and T are upper triangular. The generalized Schur decomposition is also sometimes called the QZ decomposition.^[2]^:375

The generalized eigenvalues $\lambda$ that solve the generalized eigenvalue problem $Ax=\lambda Bx$ (where x is an unknown nonzero vector) can be calculated as the ratio of the diagonal elements of S to those of T. That is, using subscripts to denote matrix elements, the ith generalized eigenvalue $\lambda _{i}$ satisfies $\lambda_i=S_{ii}/T_{ii}$ .

References

↑ Horn, R.A. & Johnson, C.R. (1985). Matrix Analysis. Cambridge University Press. ISBN 0-521-38632-2. (Section 2.3 and further at p. 79)
1 2 Golub, G.H. & Van Loan, C.F. (1996). Matrix Computations (3rd ed.). Johns Hopkins University Press. ISBN 0-8018-5414-8. (Section 7.7 at p. 313)
↑ Anderson, E; Bai, Z; Bischof, C; Blackford, S; Demmel, J; Dongarra, J; Du Croz, J; Greenbaum, A; Hammarling, S; McKenny, A; Sorensen, D (1995). LAPACK Users guide. Philadelphia, PA: Society for Industrial and Applied Mathematics. ISBN 0-89871-447-8.

This article is issued from Wikipedia - version of the 10/12/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.