[论文解读] Some Results on the Vanishing Conjecture of Differential Operators with Constant Coefficients

Arno van den Essen, Roel M. Willems+1 more|arXiv (Cornell University)|Mar 9, 2009

Advanced Differential Equations and Dynamical Systems参考文献 15被引用 10

一句话总结

本文證明了常係數微分算子的消失猜想的四個新情況，並驗證了關於無全純部分的洛朗多項式的一項相關猜想。利用多面體理論與杜伊斯特馬特–范德卡倫定理的工具，作者建立在特定有理多面體與次數條件下，該猜想成立，特別是在算子與多項式支撐滿足非重疊有理多面體交集時。

ABSTRACT

In this paper we prove four cases of the vanishing conjecture of differential operators with constant coefficients and also a conjecture on the Laurent polynomials with no holomorphic parts, which were proposed in [Zh3] by the third named author. We also give two examples to show that the generalizations of both the vanishing conjecture and the Duistermaat-van der Kallen theorem [DK] to Laurent formal power series do not hold in general.

研究动机与目标

• 證明常係數微分算子的消失猜想之新情況。
• 驗證 [Zh3] 提出的關於無全純部分之洛朗多項式的猜想。
• 展示消失猜想與杜伊斯特馬特–范德卡倫定理推廣至洛朗形式冪級數時，一般情況下不成立。
• 透過有理多面體幾何與次數分析，建立該猜想成立之條件。
• 將猜想的有效性擴展至涉及單項式與具有不同次數齊次組分之特定微分算子的情況。

提出的方法

• 利用基本常微分方程定理，證明消失猜想在單變數情況下的成立。
• 應用杜伊斯特馬特–范德卡倫定理，推導洛朗多項式多面體之餘密度定理。
• 運用有理多面體理論分析多項式與微分算子的支撐。
• 透過次數比較與支撐分析，顯示在特定條件下，微分表達式中的項必為零。
• 應用引理 6.3 與推論 4.8，當有理多面體與非負象限相交時，導出矛盾。
• 建立若多面體差 Σ = Poly(P) − Poly(Λ) 不與非負象限相交，則猜想成立。

实验结果

研究问题

• RQ1 在何種條件下，常係數微分算子的消失猜想成立？
• RQ2 該猜想能否推廣至無全純部分的洛朗多項式？
• RQ3 杜伊斯特馬特–范德卡倫定理是否可推廣至洛朗形式冪級數？
• RQ4 何時 P^m 與 Λ^m 的支撐會導致 Λ^m(P^m g) = 0 對所有大 m 成立？
• RQ5 有理多面體及其與 R≥n 交集在驗證猜想中扮演何種角色？

主要发现

• 對所有形式冪級數 P(z) 與多項式 g(z)，消失猜想在單變數情況下成立。
• 對形式為 ∂x − Φ(∂y) 的二變數微分算子，猜想已獲證明。
• 當多面體差 Poly(P) − Poly(Λ) 與 (R≥0)^n 無交集時，猜想成立。
• 對單項式情況，若 Λ(ξ) 或 P(z) 為單項式，則對所有大 m 有 Λ^m(P^m g) = 0。
• 當 P(z) = az^α + bz^β 與 Λ = ∂^α + ∂^β，且 |α| ≠ |β| 時，猜想成立。
• 構造反例顯示，消失猜想與杜伊斯特馬特–范德卡倫定理推廣至洛朗形式冪級數時，一般情況下不成立。