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:

  1. Upper Hessenberg Matrix: Non-zero elements appear only on the main diagonal, first subdiagonal, and above the diagonal:

  2. Lower Hessenberg Matrix: Non-zero elements appear only on the main diagonal, first superdiagonal, and below the diagonal:


Properties

  1. Reduction to Hessenberg Form: Any square matrix can be reduced to an upper Hessenberg form using orthogonal similarity transformations:

    where is an orthogonal matrix.

  2. 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.
  3. Eigenvalue Preservation: The eigenvalues of are the same as those of the original matrix .

  4. QR Algorithm: Hessenberg matrices are commonly used in the QR algorithm for finding eigenvalues since QR iterations preserve the Hessenberg structure.

  5. Determinant: The determinant of a Hessenberg matrix can be computed efficiently using its structure, e.g., through LU decomposition.


Applications

  1. Eigenvalue Computation:
    Reducing a matrix to Hessenberg form is the first step in efficient algorithms for computing eigenvalues (e.g., QR algorithm).

  2. Numerical Linear Algebra:
    Hessenberg matrices simplify many matrix operations, such as solving linear systems or performing iterative factorizations.

  3. 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

  1. Householder Transformations: Uses a sequence of orthogonal Householder reflectors to zero out subdiagonal entries.

  2. Givens Rotations: Iteratively applies Givens rotations to create the Hessenberg form while preserving numerical stability.