[论文解读] The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry

Sebastian Falkensteiner, Cristhian Garay+4 more|arXiv (Cornell University)|Feb 7, 2020

Polynomial and algebraic computation参考文献 10被引用 8

一句话总结

本文通过引入牛顿多边形的顶点集作为关键工具，将热带微分代数几何的基本定理推广至偏微分方程（PDE）系统。研究证明，定义在不可数特征零域上的PDE系统的形式幂级数解的支集可通过求解其热带化微分系统来确定，从而将此前针对常微分方程的结果推广至偏微分方程，运用了热带几何与整数格上的半环结构。

ABSTRACT

Tropical Differential Algebraic Geometry considers difficult or even intractable problems in Differential Equations and tries to extract information on their solutions from a restricted structure of the input. The Fundamental Theorem of Tropical Differential Algebraic Geometry states that the support of solutions of systems of ordinary differential equations with formal power series coefficients over an uncountable algebraically closed field of characteristic zero can be obtained by solving a so-called tropicalized differential system. Tropicalized differential equations work on a completely different algebraic structure which may help in theoretical and computational questions. We show that the Fundamental Theorem can be extended to the case of systems of partial differential equations by introducing vertex sets of Newton polygons.

研究动机与目标

• 将热带微分代数几何的基本定理从常微分方程推广至偏微分方程。
• 解决在形式幂级数系数的PDE系统中分析形式幂级数解支集的挑战。
• 基于整数格上的半环结构，利用牛顿多边形的顶点集，为PDE系统建立一个热带化框架。
• 尽管在一般情况下PDE系统存在不可判定性，仍通过热带化系统提供解支集的必要条件。

提出的方法

• 引入支集的半环 $\mathcal{P}(\mathbb{Z}_{\geq 0}^m)$ 以及映射到 $\mathbb{T}[[t_1,\ldots,t_m]]$ 的顶点同态 $\operatorname{Vert}$。
• 定义热带化映射 $\operatorname{trop}: R_{m,n} \to \mathbb{T}_{m,n}$，其中 $\mathbb{T}_{m,n}$ 为热带微分多项式半环。
• 利用微分多项式的牛顿多边形及其顶点集来刻画热带解。
• 应用顶点同态，将幂级数解的支集转化为热带化系统的解。
• 建立 $K[[t_1,\ldots,t_m]]\{x_1,\ldots,x_n\}$ 中解的支集与热带化系统解之间的对应关系。
• 证明定理6.1，表明对 $R_{m,n}$ 中的微分理想 $G$，有 $\operatorname{Supp}(\operatorname{Sol}(G)) = \operatorname{Sol}(\operatorname{trop}(G))$。

实验结果

研究问题

• RQ1 能否将热带微分代数几何的基本定理从常微分方程推广至偏微分方程？
• RQ2 牛顿多边形及其顶点集如何用于刻画PDE系统中形式幂级数解的支集？
• RQ3 对于多变量形式幂级数系数的PDE系统，正确的热带化框架是什么？
• RQ4 热带化系统是否能完整捕捉原PDE系统解的支集结构？
• RQ5 在不可判定的PDE设定下，热带方法能在多大程度上提供解支集的必要条件？

主要发现

• 所有系数属于不可数代数闭特征零域的PDE系统的形式幂级数解的支集，等于相应热带化系统的解集。
• 每个微分多项式牛顿多边形的顶点集在定义热带化系统并确保多变量情形下的正确性方面至关重要。
• 该定理将[1]中的一变量情形推广至 $m > 1$ 个变量，需采用基于 $\mathbb{Z}_{\geq 0}^m$-索引支集的新技术。
• 定理6.1的证明与 $m=1$ 情形有本质不同，依赖于顶点集和半环同态，而非简单的赋值论证。
• 该方法可提供解支集的必要条件，但由于PDE理论中的不可判定性结果，无法实现完全算法化。
• 该方法向Puiseux级数的推广不成立，反例表明热带解可能包含实际Puiseux级数解中不存在的支集。