- categories: Linear algebra, Matrix
Definition
A Hessenberg matrix is a square matrix that has zero entries below the first subdiagonal. Formally, an matrix is called a Hessenberg matrix if:
There are two types of Hessenberg matrices:
-
Upper Hessenberg Matrix: Non-zero elements appear only on the main diagonal, first subdiagonal, and above the diagonal:
-
Lower Hessenberg Matrix: Non-zero elements appear only on the main diagonal, first superdiagonal, and below the diagonal:
Properties
-
Reduction to Hessenberg Form: Any square matrix can be reduced to an upper Hessenberg form using orthogonal similarity transformations:
where is an orthogonal matrix.
-
Sparsity:
- Upper Hessenberg matrices have non-zero entries below the diagonal, making them computationally efficient for certain operations.
- Symmetric matrices reduced to Hessenberg form become tridiagonal matrices.
-
Eigenvalue Preservation: The eigenvalues of are the same as those of the original matrix .
-
QR Algorithm: Hessenberg matrices are commonly used in the QR algorithm for finding eigenvalues since QR iterations preserve the Hessenberg structure.
-
Determinant: The determinant of a Hessenberg matrix can be computed efficiently using its structure, e.g., through LU decomposition.
Applications
-
Eigenvalue Computation:
Reducing a matrix to Hessenberg form is the first step in efficient algorithms for computing eigenvalues (e.g., QR algorithm). -
Numerical Linear Algebra:
Hessenberg matrices simplify many matrix operations, such as solving linear systems or performing iterative factorizations. -
Control Theory:
Hessenberg matrices arise in companion matrix representations of polynomials, important in system analysis.
Examples
1. Upper Hessenberg Matrix Example:
This is an upper Hessenberg matrix because all entries below the first subdiagonal are zero.
2. Reduction to Hessenberg Form:
Given:
applying an orthogonal similarity transformation produces an upper Hessenberg matrix:
Algorithms for Hessenberg Reduction
-
Householder Transformations: Uses a sequence of orthogonal Householder reflectors to zero out subdiagonal entries.
-
Givens Rotations: Iteratively applies Givens rotations to create the Hessenberg form while preserving numerical stability.