[论文解读] Generalized Hurwitz polynomials

Mikhail Tyaglov|arXiv (Cornell University)|May 17, 2010

Spectral Theory in Mathematical Physics参考文献 29被引用 6

一句话总结

本文引入广义Hurwitz多项式作为Hurwitz稳定多项式的自然推广，其特征为将上半平面映射到下半平面的有理函数。主要贡献是通过关联的R-函数对这些多项式进行完整分类，其中具有实根、单重根且交错分布的自对称多项式被识别为与Hurwitz稳定多项式通过一个新颖的对偶定理（定理4.8）相对应。

ABSTRACT

We describe a wide class of polynomials, which is a natural generalization of Hurwitz stable polynomials. We also give a detailed account of so-called self-interlacing polynomials, which are dual to Hurwitz stable polynomials but have only real and simple zeroes. All proofs are given using properties of rational functions mapping the upper half-plane of the complex plane to the lower half-plane. Matrices with self-interlacing spectra and other applications of generalized Hurwitz polynomials are discussed.

研究动机与目标

• 通过引入一类更广泛的多项式，推广Hurwitz稳定多项式，其关联的有理函数将上半平面映射到下半平面。
• 对具有实根、单重根且交错分布的自对称多项式提供全面表征，该类多项式与Hurwitz稳定多项式存在对偶关系。
• 建立广义Hurwitz多项式（阶数为k）的判别准则，将复平面上的根分布与关联函数的结构性质联系起来。
• 将该理论应用于动力系统中的分歧分析，特别是通过参数依赖的特征多项式确定稳定性单调丧失的机制。
• 通过R-函数及其关联多项式的框架，统一矩问题、连分数和谱论的结果。

提出的方法

• 使用将上半平面映射到下半平面的有理函数（R-函数）作为核心分析工具，以表征多项式稳定性与根分布。
• 应用复分析及Stieltjes连分数的性质，推导Hurwitz稳定性与自对称结构的判别准则。
• 采用对数导数 $ \frac{p'}{p} $ 和关联函数 $ \Phi(u) = \frac{p_1(u)}{p_0(u)} $ 分析根交错性与符号条件。
• 通过变换 $ q(z) = p(-z^2) - z p_1(z^2) $ 建立Hurwitz稳定多项式与自对称多项式之间的对偶关系，证明 $ p $ 为自对称当且仅当 $ q $ 为Hurwitz稳定。
• 应用Orlando公式排除虚假根交叉，确保参数依赖多项式中根的演化一致。
• 使用广义Hurwitz多项式（阶数为 $ k $ ）的概念，其定义基于区间 $ (-\mu_k, -\mu_{k-1}) $ 等中精确的根数与符号约束。

实验结果

研究问题

• RQ1 何种自然推广能保持关联有理函数的R-函数性质，从而推广Hurwitz稳定多项式？
• RQ2 具有实根、单重根且交错分布的自对称多项式与Hurwitz稳定多项式之间通过何种对偶关系联系？
• RQ3 哪些判别准则（如Liénard、Chipart、连分数）可被调整以检测自对称或广义Hurwitz结构？
• RQ4 在动力系统中，参数依赖的特征多项式的根如何在稳定性单调丧失过程中演化？
• RQ5 当参数穿过临界分歧值时，多项式在何种条件下仍保持广义Hurwitz性质？

主要发现

• 当且仅当关联函数 $ \Phi(u) = \frac{p_1(u)}{p_0(u)} $ 是具有正实单重零点与极点的R-函数时，多项式 $ p(z) = p_0(z^2) + z p_1(z^2) $ 为自对称。
• 对偶定理（定理4.8）指出：$ p $ 为自对称当且仅当 $ q(z) = p(-z^2) - z p_1(z^2) $ 为Hurwitz稳定，从而建立了深刻的结构性联系。
• 广义Hurwitz多项式（阶数为 $ k $ ）的定义为：在区间 $ (-\mu_j, -\mu_{j+1}) $ 中具有恰好 $ k $ 个非负单重实根，且在 $ (-\mu_k, 0) $ 中具有偶数个根。
• 分歧理论中的单调性原理成立，当且仅当临界参数值处的特征多项式为广义Hurwitz多项式，从而确保从稳定到不稳定的单调过渡。
• 当 $ \alpha $ 超过临界值 $ \alpha_j^* $ 时，新正实根以受控方式逐个出现：由复共轭根对穿过实轴产生，同时保持广义Hurwitz结构。
• 除非 $ \Delta_{n+1}(p) = 0 $，否则根无法从左侧进入区间 $ (-\mu_m, 0) $，而该条件与广义Hurwitz条件矛盾，因此排除了其他根迁移路径的可能性。