[论文解读] A Vanishing Conjecture on Differential Operators with Constant Coefficients

Wenhua Zhao|ArXiv.org|Apr 13, 2007

Advanced Differential Equations and Dynamical Systems参考文献 18被引用 25

一句话总结

本文建立了雅可比猜想与常系数二阶齐次微分算子广义消失猜想之间的等价性。证明了该消失猜想对所有此类算子成立，当且仅当它对拉普拉斯算子成立，并引入了Λ-幂零多项式概念，以统一并推广关于雅可比矩阵幂零多项式与经典正交多项式的结果。

ABSTRACT

In the recent progress [BE1], [Me] and [Z2], the well-known JC (Jacobian conjecture) ([BCW], [E]) has been reduced to a VC (vanishing conjecture) on the Laplace operators and HN (Hessian nilpotent) polynomials (the polynomials whose Hessian matrix are nilpotent). In this paper, we first show that the vanishing conjecture above, hence also the JC, is equivalent to a vanishing conjecture for all 2nd order homogeneous differential operators $Λ$ and $Λ$-nilpotent polynomials $P$ (the polynomials $P(z)$ satisfying $Λ^m P^m=0$ for all $m\ge 1$). We then transform some results in the literature on the JC, HN polynomials and the VC of the Laplace operators to certain results on $Λ$-nilpotent polynomials and the associated VC for 2nd order homogeneous differential operators $Λ$. This part of the paper can also be read as a short survey on HN polynomials and the associated VC in the more general setting. Finally, we discuss a still-to-be-understood connection of $Λ$-nilpotent polynomials in general with the classical orthogonal polynomials in one or more variables. This connection provides a conceptual understanding for the isotropic properties of homogeneous $Λ$-nilpotent polynomials for the 2nd order homogeneous full rank differential operators $Λ$ with constant coefficients.

研究动机与目标

• 建立雅可比猜想与常系数二阶齐次微分算子广义消失猜想之间的等价性。
• 将消失猜想从拉普拉斯算子推广至所有常系数二阶齐次微分算子。
• 通过Λ-幂零多项式的新框架，统一并拓展关于雅可比矩阵幂零多项式与消失猜想的研究结果。
• 探索并阐明Λ-幂零多项式与一元或多变量经典正交多项式之间的联系。
• 为满秩二阶微分算子的齐次Λ-幂零多项式的各向同性性质提供概念性理解。

提出的方法

• 利用线性自同构和莱夫谢茨原理，将雅可比猜想约化为所有二阶齐次微分算子的消失猜想。
• 引入Λ-幂零多项式概念：满足对所有 m ≥ 1 有 Λ^m P^m = 0 的多项式 P。
• 将雅可比矩阵幂零性与拉普拉斯算子 Δ^n P^n 的消失性之间的等价性推广至任意二阶齐次微分算子 Λ。
• 利用微分算子恒等式，建立 Λ = Δ_A 时 Δ_A^m P^{m+1} 关于复双线性形式 (·,·)_A 的各向同性性质。
• 将关于雅可比矩阵幂零多项式与消失猜想的已知结果，转化为Λ-幂零多项式更广泛的情境中。
• 分析Λ-幂零多项式与经典正交多项式之间的联系，尤其通过双线性形式 (·,·)_A 和算子 U^τD 的运用。

实验结果

研究问题

• RQ1 雅可比猜想是否等价于所有常系数二阶齐次微分算子的消失猜想？
• RQ2 Λ-幂零多项式在将消失猜想从拉普拉斯算子推广至更广泛算子时起何作用？
• RQ3 Δ_A^m P^{m+1} 在双线性形式 (·,·)_A 下的各向同性性质，如何反映Λ-幂零多项式的结构性质？
• RQ4 Λ-幂零多项式与多变量经典正交多项式之间存在何种概念性联系？
• RQ5 Λ-幂零多项式的消失猜想能否推广至形式幂级数？在一般情况下是否成立？

主要发现

• 雅可比猜想等价于所有常系数二阶齐次微分算子的消失猜想。
• 通过线性自同构和莱夫谢茨原理，拉普拉斯算子的消失猜想等价于所有此类算子的完整消失猜想。
• 对任意二阶齐次微分算子 Λ，当且仅当对所有 m ≥ 1 有 Λ^m P^m = 0 时，多项式 P 为Λ-幂零。
• 对任意次数 d ≥ 3 的齐次Λ-幂零多项式 P，表达式 Δ_A^m P^{m+1} 关于双线性形式 (·,·)_A 是各向同性的，即 (Δ_A^m P^{m+1}, Δ_A^m P^{m+1})_A = 0。
• 对所有次数 d ≥ 3 的齐次Λ-幂零多项式，以及在由 P 和 σ_{A^{-1}}(z) 生成的理想下，次数 d = 2 的情形，均有 (P,P)_A = 0。
• 本文建立了Λ-幂零多项式与经典正交多项式之间的概念性联系，尤其通过双线性形式 (·,·)_A 和微分算子 Δ_A 的结构。