n-th Tropical Nevanlinna Theory

技术摘要：n 阶热带内内瓦那理论 (n-th Tropical Nevanlinna Theory)

问题陈述
本文旨在将热带内内瓦那理论从其经典的分段线性连续函数领域，扩展到更广泛的分段多项式连续函数类。虽然之前的研究已经建立了热后热带亚纯函数（一阶）的理论，并探讨了二阶主定理（SMT）的差分类似物，但高阶导数和多项式结构在热带环境下的行为仍未得到充分发展。具体而言，作者旨在将内内瓦那理论的基本工具——如 Poisson-Jensen 公式、计数函数和对数导数引理——推广到“n 阶热带亚纯函数”。一个核心动机是研究对于移位算子是否存在一个“截断”版本的热带二阶主定理，这是一个之前的研究曾暗示但由于热带环境下分歧项（ramification terms）的复杂性而未能解决的问题。

方法论
作者对热带代数和分析进行了系统的推广：

1. n 阶热带亚纯函数的定义：
   本文通过对有理函数乘积进行“超离散化”（ultradiscretization）过程来定义这些函数。通过取 $\epsilon \to 0^+$ 的极限 $\epsilon^n \log f(X, \epsilon)$（其中 $f$ 是 $n$ 个有理函数的乘积），作者导出了次数为 $n$ 的分段多项式函数。热带加法 ($\oplus$)、乘法 ($\otimes$) 和除法 ($\oslash$) 的运算被定义为能够保持这些分段多项式函数的结构。

2. 奇异性与重数：
   本文引入了一种利用辅助函数 $\omega_f^{(j)}(x)$ 来衡量点处第 $j$ 阶导数跳跃（jump）的新型根与极点定义。与经典情况不同，一个点可能根据导数阶数 $j$ 的奇偶性同时成为根和极点。作者建立并证明了任何 $n$ 阶热带亚纯函数都可以表示为两个 $n$ 阶热带整函数的商（命题 2.3）。

3. Poisson-Jensen 公式：
   开发的核心分析工具是 $n$ 阶热带 Poisson-Jensen 公式（定理 3.3）。该公式通过包含涉及 $B_n(r, x)$ 和 $D_n(r, x)$（$r+x$ 和 $r-x$ 的推广）的项，并对以其重数阶数 $j$ 为权重的奇异点进行求和，推广了经典的一阶版本。这导致了 $n$ 阶热带特征函数 $T(r, f)$ 和计数函数 $N^{(j)}(r, f)$ 的定义。

4. 逐点估计与对数导数：
   为了处理移位算子，作者引入了“良定义”（well-defined）多项式的概念（定义 4.2），该概念限制了多项式系数的波动性，以确保导数的单调性。利用这一点，作者推导出了热带差商（difference quotient）的逐点估计（定理 4.7）。该估计作为对数导数引理的热带类似物，专门针对超阶（hyper-order）小于 1 的分段多项式函数进行了定制。

5. 二阶主定理：
   作者利用这些工具证明了两个主要结果：

   • 一个针对热带齐次多项式的 $n$ 阶二阶主定理（定理 5.6）。
   • 一个针对普通费马型多项式的二阶主定理（定理 5.8），这需要特定的增长假设（$\limsup r/T_f(r) = 0$）。

6. 截断分析：
   在最后一部分，作者分析了分量计数函数之和 $\sum N(r, 10 \oslash f_i)$ 与热带 Casoratian 计数函数 $N(r, 10 \oslash C_0(f_0, \dots, f_m))$ 之间的关系。他们证明了对于 $n \ge 2$，即使在增长假设下，分歧项也不会像 $n=1$ 的情况那样消失或简化。

核心贡献与结果

• 向分段多项式的推广： 本文成功地将热带内内瓦那理论的框架扩展到了分段多项式函数，引入了 $n$ 阶热带 Poisson-Jensen 公式及相应的特征函数。
• 新的对数导数引理： 证明了热带差商的一个逐点估计（定理 4.7），该估计比之前的类似物更强且更直接，依赖于函数的“良定义”属性。
• 二阶主定理：
  • 定理 5.6： 建立了 $n$ 阶设定下热带齐次多项式的 SMT，表明特征函数与复合函数 $P \circ f$ 的计数函数以及分歧项 $N^{(j)}(r, P \circ f)$ 相关。
  • 定理 5.8： 证明了费马型多项式 $P(x) = \sum \alpha_i x_i^n$ 的 SMT，提供了涉及多项式最小和最大系数的显式上下界。
• 不存在自然截断： 最显著的负面结果出现在第 6 节。通过对热带对数导数进行逐点估计，作者证明了一个关于计数函数之和与 Casoratian 项之间强等价关系的定理（定理 6.2 和推论 6.4）。他们证明了对于 $n \ge 2$，这两个项之间的差异无法在没有额外约束的情况下简化为较小的误差项 $o(T_f(r)/r^\sigma)$。这意味着在一般的分段多项式设定下，对于移位算子不存在自然的热带截断二阶主定理。

意义
本文声称提供了一个全面的热带内内瓦那理论推广，超越了分段线性函数的局限性。通过构建 $n$ 阶 Poisson-Jensen 公式并完善对数导数引理，作者解决了高阶热带曲线的行为问题。至关重要的是，这项工作阐明了该理论在“截断”方面的局限性。作者得出结论，在热带设定下，通过截断重数来获得（类似于经典截断 SMT）的直觉，在 $n \ge 2$ 时对于移位算子是失效的，因为分歧项保留了显著的权重。这一发现表明，热带设定拥有独特的结构特性，阻止了直接类比经典的截断二阶主定理，从而深化了对热带差分方程中可积性和值分布的理解。