[论文解读] Classification of hyperbolicity and stability preservers: the multivariate Weyl algebra case

Julius Borcea, Petter Brändén+1 more|arXiv (Cornell University)|Jun 15, 2006

Mathematical Dynamics and Fractals参考文献 36被引用 10

一句话总结

本文表征了在多元多项式中保持稳定性的有限阶线性微分算子，引入了乘子序列的多变量推广，并证明了微分算子与其Fischer-Fock伴随算子之间的对偶性。主要贡献是针对二元实稳定多项式提出了Lax猜想的多变量类比，从而通过行列式和齐次化符号对保持稳定性的算子进行了分类。

ABSTRACT

Abstract. A multivariate polynomial is stable if it is nonvanishing whenever all variables have positive imaginary parts. We characterize all finite order linear differential operators that preserve stability. An important technical tool that we develop in the process is the multivariate generalization of the classical notion of multiplier sequence. We give a complete description of all multivariate multiplier sequences as well as those of finite order. Next we formulate and prove a natural analog of the Lax conjecture for real stable polynomials in two variables and use it to classify all finite order linear differential operators that preserve univariate hyperbolic polynomials by means of determinants and homogenized symbols. As a further consequence of our methods we establish a duality theorem showing that a differential operator preserves stability if and only if its Fischer-Fock adjoint has the same property. This is a vast generalization of the Hermite-Poulain-Jensen theorem in the univariate case and a natural multivariate extension of the latter. We also discuss several other applications of our results as well as further directions and open problems. Contents

研究动机与目标

• 将经典的乘子序列理论推广至多变量情形。
• 对在多元多项式中保持稳定性的有限阶线性微分算子进行分类。
• 提出并证明二元实稳定多项式情形下Lax猜想的多变量类比。
• 建立一个对偶定理，表明一个微分算子保持稳定性当且仅当其Fischer-Fock伴随算子也保持稳定性。
• 通过齐次化符号，基于行列式对保持单变量双曲性的算子进行完全分类。

提出的方法

• 发展了经典乘子序列概念的多变量推广，表征了所有此类序列，包括有限阶序列。
• 应用实稳定多项式及其齐次化符号的理论，推导出保持稳定性的算子的行列式表征。
• 引入并利用微分算子的Fischer-Fock伴随，建立稳定性保持与伴随保持之间的对偶性。
• 运用多变量复分析与多项式理论的工具，分析微分算子作用下多元多项式的零点集。
• 利用多变量Weyl代数的结构，分析作用于多项式的有限阶微分算子。
• 将二元实稳定多项式的Lax型表征作为关键技术工具，推导出更广泛的分类结果。

实验结果

研究问题

• RQ1 有限阶线性微分算子在多元多项式中保持稳定性的充要条件是什么？
• RQ2 经典乘子序列的概念如何推广至多变量情形？此类序列的完整表征是什么？
• RQ3 Lax猜想的多变量类比是什么？它如何实现对保持稳定性的算子的分类？
• RQ4 Fischer-Fock伴随与稳定性保持有何关系？多变量情形下是否成立对偶原理？
• RQ5 能否在多变量框架下，通过行列式和齐次化符号完全表征保持单变量双曲性的算子？

主要发现

• 所有多元乘子序列均被完全表征，包括有限阶序列。
• 针对二元实稳定多项式，提出了并证明了Lax猜想的多变量类比。
• 通过行列式和齐次化符号，对保持稳定性的有限阶线性微分算子实现了完全分类。
• 建立了对偶定理：一个微分算子保持稳定性当且仅当其Fischer-Fock伴随算子也保持稳定性。
• Hermite-Poulain-Jensen定理由对偶结果自然推广至多变量情形。
• 本研究为在多变量Weyl代数框架下分析保持稳定性的算子提供了完整框架。