[论文解读] The numerical range of some periodic tridiagonal operators is the convex hull of the numerical ranges of two finite matrices

Benjamín A. Itzá‐Ortiz, Rubén A. Martı́nez-Avendaño+1 more|arXiv (Cornell University)|Mar 2, 2021

Matrix Theory and Algorithms参考文献 17被引用 2

一句话总结

本文证明，在 a₁ = 1 且序列 a₂a₃⋯aₙa₀ 为回文序列的条件下，特定类别的 (n+1)-周期三对角算子的数值域的闭包是两个有限 (n+1)×(n+1) 三对角矩阵的数值域的凸包。当 n+1 为奇数时，矩阵规模简化为 (n/2 + 1)×(n/2 + 1)，从而为无限维算子的数值域提供了显式的有限表征。

ABSTRACT

In this paper we prove a conjecture stated by the first two authors establishing the closure of the numerical range of a certain class of $n+1$-periodic tridiagonal operators as the convex hull of the numerical ranges of two tridiagonal $(n+1) imes (n+1)$ matrices. Furthermore, when $n+1$ is odd, we show that the size of such matrices simplifies to $\frac{n}{2}+1$.

研究动机与目标

• 为解决文献 [12] 中的猜想 3.7，该猜想提出周期三对角算子的数值域的闭包是两个有限矩阵的凸包。
• 在特定对称性和周期性条件下，为这类算子的数值域提供显式的矩阵表示。
• 当周期长度 n+1 为奇数时，将数值域的表征简化，使矩阵规模从 (n+1)×(n+1) 降低至 (n/2 + 1)×(n/2 + 1)。
• 利用 Kippenhahn 多项式和矩阵分解，为无限三对角算子的数值域建立有限且可计算的表示。
• 推广并改进早期关于周期三对角算子数值域的研究成果，特别是涉及符号矩阵和凸包的结果。

提出的方法

• 在 ℓ²(N₀) 上定义具有周期系数 a 和 c 的 (n+1)-周期三对角算子 T(a,0,c)，其中 a₁ = 1，且序列 a₂a₃⋯aₙa₀ 为回文序列。
• 利用与算子关联的 Kippenhahn 多项式 P(t,x,y) 来表征数值域，通过求解 det(tI - cosθ Re(T) - sinθ Im(T)) 的最大实根。
• 将 Kippenhahn 多项式 P(t,x,y) 分解为由算子结构导出的四个三对角矩阵的行列式之积。
• 识别出两个 (n+1)×(n+1) 三对角矩阵 B₊ 和 B₋，其 Kippenhahn 多项式与该分解一致，从而证明数值域是 W(B₊) 和 W(B₋) 的凸包。
• 当 n+1 为奇数时，进一步简化表征，证明数值域是两个由 B₊ 和 B₋ 导出的 (n/2 + 1)×(n/2 + 1) 矩阵的数值域的凸包。
• 利用系数序列的对称性和回文结构，推导出有限矩阵 B₊ 和 B₋ 的元素的显式表达式。

实验结果

研究问题

• RQ1 在何种条件下，(n+1)-周期三对角算子的数值域的闭包是两个有限矩阵的数值域的凸包？
• RQ2 当周期长度 n+1 为奇数时，能否仅用两个有限矩阵表征此类算子的数值域？
• RQ3 系数序列的回文对称性如何影响数值域的结构及其有限矩阵表征？
• RQ4 无限算子的 Kippenhahn 多项式与表征其数值域的有限矩阵的 Kippenhahn 多项式之间存在何种精确关系？
• RQ5 当存在额外对称性（如奇数周期）时，有限矩阵的规模是否可以进一步减小？若可以，减小幅度如何？

主要发现

• 在 a₁ = 1 且序列 a₂a₃⋯aₙa₀ 为回文序列的条件下，(n+1)-周期三对角算子 T(a,0,c) 的数值域的闭包是两个 (n+1)×(n+1) 三对角矩阵 B₊ 和 B₋ 的数值域的凸包。
• 当 n+1 为奇数时，T(a,0,c) 的数值域是两个 (n/2 + 1)×(n/2 + 1) 三对角矩阵的数值域的凸包，显著降低了矩阵规模。
• 矩阵 B₊ 和 B₋ 由系数 a 和 c 显式构造，其元素由 |c_j + a_{j+1}|、|c_j - a_{j+1}| 以及涉及 c_{n-j+1} 和 a_{n-j+2} 的对称表达式定义。
• 无限算子的 Kippenhahn 多项式可分解为 B₊、B₋ 及其相应子矩阵的 Kippenhahn 多项式的乘积，从而确认了凸包结构。
• 对于 a = (0,1,0,0,…,0) 且 c = (1,1,1,…,1) 的例子，数值域是两个 (n/2 + 1)×(n/2 + 1) 矩阵的凸包，其中 B₊ 和 B₋ 的元素以 ±1、1 和 √2 的三对角模式排列。
• 该结果证实了文献 [12] 中的猜想 3.7，并为无限维算子的数值域提供了有限且可计算的表征，使得显式分析与可视化成为可能。