2025-11-17T10:58:20.841311

Stability of quaternion matrix polynomials

Basavaraju, Hadimani, Jayaraman

A right quaternion matrix polynomial is an expression of the form $P(Î»)= \displaystyle \sum_{i=0}^{m}A_i Î»^i$, where $A_i$'s are $n \times n$ quaternion matrices with $A_m \neq 0$. The aim of this manuscript is to determine the location of right eigenvalues of $P(Î»)$ relative to certain subsets of the set of quaternions. In particular, we extend the notion of (hyper)stability of complex matrix polynomials to quaternion matrix polynomials and obtain location of right eigenvalues of $P(Î»)$ using the following methods: $(1)$ we give a relation between (hyper)stability of a quaternion matrix polynomial and its complex adjoint matrix polynomial, $(2)$ we prove that $P(Î»)$ is stable with respect to an open (closed) ball in the set of quaternions, centered at a complex number if and only if it is stable with respect to its intersection with the set of complex numbers and $(3)$ as a consequence of $(1)$ and $(2)$, we prove that right eigenvalues of $P(Î»)$ lie between two concentric balls of specific radii in the set of quaternions centered at the origin. A generalization of the Enestr{Ã¶}m-Kakeya theorem to quaternion matrix polynomials is obtained as an application. We identify classes of quaternion matrix polynomials for which stability and hyperstability are equivalent. We finally deduce hyperstability of certain univariate quaternion matrix polynomials via stability of certain multivariate quaternion matrix polynomials.

academic

Stability of quaternion matrix polynomials

基本信息

论文ID: 2407.16603
标题: Stability of quaternion matrix polynomials
作者: Pallavi Basavaraju, Shrinath Hadimani, Sachindranath Jayaraman
分类: math.SP (Spectral Theory)
发表时间: 2024年7月 (arXiv预印本，最新版本2025年10月)
论文链接: https://arxiv.org/abs/2407.16603

摘要

本文研究右四元数矩阵多项式 $P(\lambda) = \sum_{i=0}^{m} A_i \lambda^i$ 的稳定性，其中 $A_i$ 为 $n \times n$ 四元数矩阵且 $A_m \neq 0$ 。文章旨在确定 $P(\lambda)$ 的右特征值相对于四元数集合的某些子集的位置。主要贡献包括：(1) 建立四元数矩阵多项式与其复伴随矩阵多项式的(超)稳定性关系；(2) 证明以复数为中心的四元数球的稳定性等价于其与复数集交集的稳定性；(3) 证明右特征值位于原点附近特定半径的两个同心球之间。作为应用，给出了Eneström-Kakeya定理在四元数矩阵多项式上的推广。

研究背景与动机

问题背景

多项式零点定位的重要性：虽然代数基本定理给出了复系数多项式零点的存在性和个数，但当多项式次数超过4时，代数方法难以计算零点。因此，确定零点所在的区域对迭代方法具有重要意义。
矩阵多项式的挑战：对于复矩阵多项式，特征值等于行列式（标量复多项式）的零点。但当系数矩阵规模较大时，计算行列式变得困难，因此矩阵多项式特征值的定位成为有趣的研究问题。
四元数的非交换性：四元数矩阵多项式由于四元数乘法的非交换性带来新的挑战。四元数行列式的定义与复数情况不同，且存在左右特征值的区别。
现有方法的局限：现有的复矩阵多项式稳定性理论不能直接推广到四元数情况，需要专门的理论和方法。

研究动机

扩展复矩阵多项式的稳定性概念到四元数矩阵多项式
利用四元数的特殊结构（可表示为复数的扩展）建立与复情况的联系
为四元数矩阵多项式的特征值定位提供有效方法

核心贡献

定义了四元数矩阵多项式的稳定性和超稳定性概念，并证明了它们与特征值位置的等价关系
建立了四元数矩阵多项式与其复伴随矩阵多项式稳定性的对应关系（定理4.8）
证明了以复数为中心的四元数球的稳定性简化定理（定理4.12），将四元数稳定性问题简化为复数情况
给出了四元数矩阵多项式特征值的环形区域定位结果（定理4.19），类似于Higham-Tisseur的复矩阵多项式结果
推广了Eneström-Kakeya定理到四元数矩阵多项式（定理4.23）
识别了稳定性与超稳定性等价的四元数矩阵多项式类别
通过多变量四元数矩阵多项式的稳定性推导单变量情况的超稳定性

方法详解

基本定义

四元数矩阵多项式：右四元数矩阵多项式定义为 $P(\lambda) = \sum_{i=0}^{m} A_i \lambda^i$ 其中 $A_i \in M_n(\mathbb{H})$ ， $A_m \neq 0$ ，变量 $\lambda$ 出现在矩阵系数的右侧。

右特征值： $\lambda_0 \in \mathbb{H}$ 是 $P(\lambda)$ 的右特征值，如果存在非零向量 $y \in \mathbb{H}^n$ 使得 $\sum_{i=0}^{m} A_i y \lambda_0^i = 0$

稳定性定义

稳定性（定义4.1）： $P(\lambda)$ 关于 $\Omega \subseteq \mathbb{H}$ 稳定，如果对任意非零向量 $y \in \mathbb{H}^n$ 和任意 $\mu \in \Omega$ ，存在非零向量 $z \in \mathbb{H}^n$ 使得 $z^* A_m y \mu^m + z^* A_{m-1} y \mu^{m-1} + \cdots + z^* A_1 y \mu + z^* A_0 y \neq 0$

超稳定性（定义4.2）： $P(\lambda)$ 关于 $\Omega$ 超稳定，如果对任意非零向量 $y \in \mathbb{H}^n$ ，存在非零向量 $z \in \mathbb{H}^n$ 使得上述不等式对所有 $\mu \in \Omega$ 成立。

复伴随矩阵

复伴随矩阵（定义4.6）：对于 $A \in M_n(\mathbb{H})$ ，可表示为 $A = A_1 + A_2 j$ ，其中 $A_1, A_2 \in M_n(\mathbb{C})$ 。复伴随矩阵定义为 $\chi_A := \begin{bmatrix} A_1 & A_2 \\ -\overline{A_2} & \overline{A_1} \end{bmatrix}$

复伴随矩阵多项式（定义4.7）： $P_\chi(\lambda) = \sum_{i=0}^{m} \chi_{A_i} \lambda^i$

关键定理

定理4.8： $P(\lambda)$ 关于 $\Omega \cap \mathbb{C}$ 稳定（超稳定）当且仅当其复伴随矩阵多项式 $P_\chi(\lambda)$ 关于 $\Omega \cap \mathbb{C}$ 稳定（超稳定）。

定理4.12：设 $\Omega = B(a;r)$ 是以 $a \in \mathbb{C}$ 为中心、半径为 $r > 0$ 的四元数开球。则 $P(\lambda)$ 关于 $\Omega$ 稳定当且仅当 $P(\lambda)$ 关于 $\Omega \cap \mathbb{C}$ 稳定。

实验设置

理论验证

本文主要是理论研究，通过数学证明验证结果的正确性。文中提供了多个具体例子来说明定理的应用：

例子4.9：展示了稳定性与超稳定性的区别 例子4.10：说明稳定性不一定意味着超稳定性
例子4.21：验证了定理4.14和4.18给出的边界是紧的

应用验证

文章通过以下方式验证方法的有效性：

与已知的复矩阵多项式结果对比
推广经典定理（如Eneström-Kakeya定理）
构造具体例子验证理论预测

实验结果

主要结果

特征值定位（定理4.19）：对于可逆首项和常数项系数的四元数矩阵多项式，其右特征值位于环形区域 $\{q \in \mathbb{H} : r \leq |q| \leq R\}$ ，其中：

$r$ 是 $\|A_m\|z^m + \cdots + \|A_1\|z - \|A_0^{-1}\|^{-1}$ 的唯一正零点
$R$ 是 $\|A_m^{-1}\|^{-1}z^m - \|A_{m-1}\|z^{m-1} - \cdots - \|A_0\|$ 的唯一正零点

Eneström-Kakeya推广（定理4.23）：对于系数满足 $A_m \succeq A_{m-1} \succeq \cdots \succeq A_0 \succ 0$ 的四元数矩阵多项式，每个右特征值 $\lambda_0$ 满足 $\frac{\lambda_{\min}(A_0)}{2\lambda_{\max}(A_m)} \leq |\lambda_0| \leq 1$