Alphabeta Math
Pipeline-generated
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Generalized eigenvalue pencils and QZ methods — Examples

1 · Prerequisites

2 · Summary

Examples

These calculations distinguish a Hermitian-definite mass-stiffness problem, an infinite eigenvalue caused by singular B in an otherwise regular pencil, and an identically singular determinant pencil. The mass-stiffness example also checks the residual enclosure in the B-dual norm.

3 · Logical flowchart

4 · Definitions, theorems and proofs

None yet.

5 · Examples, counterexamples and false statements

ExampleConstruction: AI-adaptedVerification: AI-adaptedOpen item page →

A singular B can give a regular pencil with an infinite generalized eigenvalue

Example

Take A=I2 and B=diag⁡(1,0). The matrix B is singular, but the pencil is regular and has one finite eigenvalue and one infinite eigenvalue.

Facts & Assumptions

Given: The pair (A,B) and the homogeneous eigenvalue convention of Regular matrix pencils and homogeneous generalized eigenvalues.

[F1]

Regular matrix pencils and homogeneous generalized eigenvalues: regularity means det⁡(A−λB) is not identically zero, and homogeneous eigenpairs solve det⁡(βA−αB)=0 with (α,β)≠(0,0).

Verification

1.1givenF1algebra

Direct calculation gives det⁡(A−λB)=1−λ, a nonzero polynomial, so the pencil is regular although det⁡B=0.

2.1F1step 1.1algebra∎

The homogeneous determinant is det⁡(βA−αB)=det⁡(β−α00β)=β(β−α). Its projective roots are [1:1], the finite eigenvalue 1, and [1:0], the infinite eigenvalue.

ExampleConstruction: AI-adaptedVerification: AI-adaptedOpen item page →

A regular pencil and an identically singular determinant pencil

Example

The pair (I2,0) is regular and has only infinite generalized eigenvalues. The pair (diag⁡(1,0),0) has an identically zero determinant pencil and is singular. Thus a singular second matrix is compatible with regularity, while the determinant polynomial decides pencil regularity.

Facts & Assumptions

Given: The regularity definition for finite square pencils in Regular matrix pencils and homogeneous generalized eigenvalues.

[F1]

Regular matrix pencils and homogeneous generalized eigenvalues: a pencil is regular exactly when det⁡(A−λB) is not the zero polynomial.

Verification

1.1givenF1algebra

For (A,B)=(I2,0), det⁡(A−λB)=det⁡I2=1, so the pencil is regular. Its homogeneous determinant is det⁡(βI2)=β2, which vanishes only at [1:0], the infinite eigenvalue pair.

2.1F1step 1.1algebra∎

For (A,B)=(diag⁡(1,0),0), det⁡(A−λB)=det⁡A=0 for every λ, so the determinant polynomial is identically zero and the pencil is singular.

ExampleConstruction: AI-adaptedVerification: AI-adaptedOpen item page →

A mass-stiffness pencil has real B-orthogonal modes and a residual enclosure

Example

Let the stiffness and mass matrices be K=(4−2−23),M=(2001). The generalized eigenvalues are 1 and 4, with M-orthogonal modes. The trial pair (x,μ)=(e1,2) also illustrates a B-metric residual enclosure.

Facts & Assumptions

Given: The displayed real symmetric stiffness and mass matrices.

[F1]

A Hermitian-definite pencil has a real spectrum and a B-orthonormal eigenbasis: a symmetric K and positive-definite M have real generalized eigenvalues and an M-orthonormal eigenbasis.

[F2]

A B-dual residual bounds distance to the spectrum of a Hermitian-definite pencil: a nonzero trial vector and real trial value have spectral distance bounded by the M-dual residual norm divided by the M-norm of the vector.

[F3]

Regular matrix pencils and homogeneous generalized eigenvalues: the pencil is regular when its determinant polynomial is nonzero.

Verification

1.1givenF3algebra

The matrix M is positive definite because uTMu=2u12+u22>0 for u≠0. Also uTKu=2u12+2(u1−u2)2+u22>0 for u≠0. The determinant polynomial is det⁡(K−λM)=(4−2λ)(3−λ)−4=2(λ−1)(λ−4), so the pencil is regular and its eigenvalues are 1,4.

2.1step 1.1F1algebra

For x1=(1,1)T, Kx1=(2,1)T=Mx1. For x2=(1,−2)T, Kx2=(8,−8)T=4Mx2. Their mass inner product is x1TMx2=2−2=0. Thus they are distinct generalized eigenmodes and are M-orthogonal; [F1] gives the general real-spectrum and orthogonal-basis conclusion for this pencil.

3.1F2step 1.1algebra∎

For x=e1 and μ=2, the residual is r=Kx−μMx=(0,−2)T. Hence ∥x∥M=2 and, since M−1=diag⁡(1/2,1), ∥r∥M−1=2. The theorem [F2] therefore bounds the distance from 2 to {1,4} by 2/2=2; indeed that distance is 1.

Sources