Matrix pencil explained

K

, usually the real or complex numbers.

Definition

Let

K

be a field (typically,

K\in\{R,C\}

; the definition can be generalized to rngs), let

\ell\ge0

be a non-negative integer, let

n>0

be a positive integer, and let

A0,A1,...,A\ell

be

n x n

matrices (i. e.

Ai\inMat(K,n x n)

for all

i=0,...,\ell

). Then the matrix pencil defined by

A0,...,A\ell

is the matrix-valued function

L\colonK\toMat(K,n x n)

defined by

L(λ)=

\ell
\sum
i=0

λiAi.

The degree of the matrix pencil is defined as the largest integer

0\lek\le\ell

such that

Ak\ne0

(the

n x n

zero matrix over

K

).

Linear matrix pencils

A particular case is a linear matrix pencil

L(λ)=A-λB

(where

B\ne0

). We denote it briefly with the notation

(A,B)

, and note that using the more general notation,

A0=A

and

A1=-B

(not

B

).

Properties

A pencil is called regular if there is at least one value of

λ

such that

\det(L(λ))0

; otherwise it is called singular. We call eigenvalues of a matrix pencil all (complex) numbers

λ

for which

\det(L(λ))=0

; in particular, the eigenvalues of the matrix pencil

(A,I)

are the matrix eigenvalues of

A

. For linear pencils in particular, the eigenvalues of the pencil are also called generalized eigenvalues.

The set of the eigenvalues of a pencil is called the spectrum of the pencil, and is written

\sigma(A0,...,A\ell)

. For the linear pencil

(A,B)

, it is written as

\sigma(A,B)

(not

\sigma(A,-B)

).

The linear pencil

(A,B)

is said to have one or more eigenvalues at infinity if

B

has one or more 0 eigenvalues.

Applications

Matrix pencils play an important role in numerical linear algebra. The problem of finding the eigenvalues of a pencil is called the generalized eigenvalue problem. The most popular algorithm for this task is the QZ algorithm, which is an implicit version of the QR algorithm to solve the eigenvalue problem

Ax=λBx

without inverting the matrix

B

(which is impossible when

B

is singular, or numerically unstable when it is ill-conditioned).

Pencils generated by commuting matrices

If

AB=BA

, then the pencil generated by

A

and

B

:
  1. consists only of matrices similar to a diagonal matrix, or
  2. has no matrices in it similar to a diagonal matrix, or
  3. has exactly one matrix in it similar to a diagonal matrix.

See also

References