2025-11-18T01:46:13.241403

Iterative polynomial regularisation of $\text{P}_{\text{IV}}$-type: Hamiltonian systems and Newton polygons

Dell'Atti, Filipuk

We study several polynomial Hamiltonian systems of $\text{P}_{\text{IV}}$-type (including the mixed case quasi-$\text{P}_{\text{IV}}$), and show that via the iterative process of polynomial regularisation, it is possible to identify the "minimal" Hamiltonian system. The selected Hamiltonian function is associated with the Newton polygon with minimal area and smallest highest total degree.

academic

Iterative polynomial regularisation of $\text{P}_{\text{IV}}$ -type: Hamiltonian systems and Newton polygons

基本信息

论文ID: 2510.12378
标题: Iterative polynomial regularisation of $\text{P}_{\text{IV}}$ -type: Hamiltonian systems and Newton polygons
作者: Marta Dell'Atti, Galina Filipuk (华沙大学数学研究所)
分类: math-ph (数学物理), math.MP (数学物理), nlin.SI (非线性科学-可积系统)
发表时间: 2025年10月15日 (arXiv v2)
论文链接: https://arxiv.org/abs/2510.12378

摘要

本文研究了几个 $\text{P}_{\text{IV}}$ 型多项式Hamilton系统(包括混合情况的准 $\text{P}_{\text{IV}}$ )，通过多项式正则化的迭代过程，证明了可以识别"最小"Hamilton系统。所选择的Hamilton函数与具有最小面积和最小最高总次数的Newton多边形相关联。

研究背景与动机

核心问题

本研究旨在解决Painlevé方程Hamilton表示的分类和标准化问题，特别是通过迭代多项式正则化方法寻找"最小"Hamilton系统。

重要性

理论意义: Painlevé方程是数学物理中的重要非线性微分方程，其解不能用已知函数表示，在数学和数学物理的多个领域都有应用
分类问题: 对于准Painlevé方程，缺乏成熟的理论体系，需要有效的分类方法
等价性问题: 识别不同Hamilton表示之间的双有理等价关系对应用具有重要意义

现有方法局限性

Painlevé方程的Hamilton函数不唯一，存在多种等价表示
缺乏系统性方法来识别"最简"或"标准"形式
准Painlevé方程的全局Hamilton结构没有唯一性结果

研究动机

基于文献4中对第二Painlevé方程的观察：通过迭代多项式正则化，可以从非Okamoto多项式Hamilton量得到具有更小Newton多边形面积的Okamoto Hamilton量。

核心贡献

方法论贡献: 发展了基于Newton多边形面积最小化的迭代多项式正则化方法，用于识别"最小"Hamilton系统
理论分析: 对多个 $\text{P}_{\text{IV}}$ 型Hamilton系统进行了系统的正则化分析，包括广义Okamoto Hamilton量和修正版本
分类标准: 提出了基于Newton多边形面积和最高总次数的Hamilton系统分类标准
混合情况研究: 分析了准 $\text{P}_{\text{IV}}$ 的混合情况(2,2,1)，展示了方法在更复杂系统中的应用
标记系统: 完善了准Painlevé方程的标记系统，使用符号 $((k_1)_{\ell_1}, \ldots, (k_m)_{\ell_m}, k_{m+1}, \ldots, k_n)$

方法详解

任务定义

给定一个多项式Hamilton系统，通过迭代多项式正则化过程，寻找与之双有理等价的Hamilton系统，使得其Newton多边形具有最小面积和最小最高总次数。

Newton多边形构造

对于Hamilton函数 $H(x,y;z)$ ，Newton多边形通过以下步骤构造：

识别所有非零系数项 $x^i y^j$ 对应的格点 $(i,j)$
取这些点的凸包作为Newton多边形
计算多边形的面积和属(genus)
确定最高总次数 $\max(i+j)$

多项式正则化过程

第一步：相空间紧化

将相空间 $\mathbb{C}^2$ 紧化为 $\mathbb{P}^1 \times \mathbb{P}^1$ ： $\mathbb{P}^1 \times \mathbb{P}^1 \simeq \mathbb{A}^2_{(x,y)} \cup \mathbb{A}^2_{(X,y)} \cup \mathbb{A}^2_{(x,Y)} \cup \mathbb{A}^2_{(X,Y)}$ 其中 $X = 1/x$ , $Y = 1/y$ 。

第二步：识别不确定点

在各个仿射图中寻找使有理微分方程右端变为 $0/0$ 形式的不确定点 $p_j$ 。

第三步：爆破变换

对每个不确定点 $p$ 执行爆破变换，将点替换为复射影直线 $\mathbb{P}^1$ ： $(u,v) = \left(\frac{x-a}{y-b}, y-b\right), \quad (U,V) = \left(x-a, \frac{y-b}{x-a}\right)$

第四步：级联构造

重复爆破过程直到最终图中的系统不再有不确定性，形成变换级联： $(x,y) \mapsto (u_1,v_1) \mapsto \cdots \mapsto (u_{fin}, v_{fin})$

共振条件

正则化过程中产生的微分约束条件，确保最终图中的系统是正则的。例如：

$\beta_0'(z) = 0 \Rightarrow \beta_0(z) = \beta_0$ (常数)
$\beta_1'(z) = 0 \Rightarrow \beta_1(z) = \beta_1$ (常数)
$\beta_2''(z) = 0 \Rightarrow \beta_2(z) = a_1 + a_2 z$ (线性函数)

实验设置

研究对象

广义Okamoto Hamilton量: $H^{Ok}_{gen}(x,y;z) = \beta_0(z)x - (\beta_1(z) + \beta_2(z)x + x^2)y + 2xy^2$
修正广义Okamoto Hamilton量: $H^{Ok}_{mod}(x,y;z) = \beta(z)x^2 + \beta_0(z)x - (\beta_1(z) + \beta_2(z)x + x^2)y + 2xy^2$
准 $\text{P}_{\text{IV}}$ 混合情况: 两个不同的Hamilton表示，对应方程： $x'' = \frac{(x')^2}{2x} + \frac{5x^5}{2} + \alpha_4(z)x^4 + \alpha_3(z)x^3 + \alpha_2(z)x^2 + \alpha_1(z)x - \frac{\alpha_0^2}{2x}$