Perturbation of monic matrix polynomials

Abstract

In this paper, we study the stability of matrix polynomials under structured perturbations of their coefficients. More precisely, we consider a family of matrix polynomials \[ P_u(λ)=A_d(u)λ^d+A_{d-1}(u)λ^{d-1}+\cdots+A_0(u), \] whose matrix coefficients depend continuously and semialgebraically on a parameter vector $u\in\mathbb{C}^p$. Assuming that the matrix polynomial is monic, we show that the spectrum, the $\varepsilon$-pseudospectrum, the numerical range, and the joint numerical range associated with $P_u(λ)$ define set-valued maps that are Hölder continuous with respect to the parameter $u$. Moreover, the parameter space $\mathbb{C}^p$ can be decomposed into a finite union of analytic semialgebraic submanifolds such that, on each submanifold, the eigenvalues and the Jordan pairs of $P_u(λ)$ depend analytically on $u$. We also note that most of the results remain valid if the monicity assumption is replaced by the local nonsingularity of the leading coefficient matrix $A_d(u)$. However, the monic setting is adopted throughout the paper in order to simplify the exposition and to avoid additional technical assumptions, which are required in particular for results concerning numerical ranges.

Theorems & Definitions (48)

• Remark 1.1
• Definition 2.1
• Theorem 2.2: Tarski--Seidenberg theorem
• Definition 2.3
• Definition 2.4
• Proposition 2.1
• Proposition 2.2
• proof
• Remark 2.5
• Lemma 3.1