Bruck conjecture for solutions of first-order partial differential equations in Cm

技术摘要：$\mathbb{C}^m$ 中一阶偏微分方程解的 Brück 猜想

问题陈述
本文研究了将 Brück 猜想从单复变量全纯函数理论扩展到多复变量（$\mathbb{C}^m$）的情形。经典的 Brück 猜想涉及非恒等全纯函数 $f$ 及其导数 $f'$ 在以计重方式（CM）共享一个值 $a$ 时的关系。具体而言，它假设如果超阶 $\rho_1(f)$ 不是非负整数或无穷大，且 $f$ 与 $f'$ 以 CM 方式共享 $a$，那么 $f' - a = c(f - a)$，其中 $c$ 为非零常数。

作者将这一问题推广到了一阶偏微分方程。他们考虑 $\mathbb{C}^m$ 中的非恒等全纯函数 $f$，并研究对于所有 $i \in \{1, \dots, m\}$，偏导数 $\partial_{z_i} f$ 与 $f$ 共享一个值 $a$ 的情形。核心问题在于，若关系式 $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$ 成立，是否意味着全纯函数 $\alpha(z)$ 必须退化为一个常数，从而迫使 $f$ 进入特定的指数形式。论文指出，如果移除对超阶的增长条件，或者将指数项替换为具有零点的任意全纯函数，该猜想将会失效。

方法论
作者利用多复变量中的 Nevanlinna 理论来分析亚纯函数及其偏导数的取值分布。其方法论包括：

1. 建立基本引理： 论文推导并利用了若干辅助结果，包括：

   • 一个广义的 $\mathbb{C}^m$ 中的 Borel-Carathéodory 定理（引理 2.5），该定理通过最大实部 $A(R, f)$ 来限制最大模 $M(r, f)$。
   • 函数的阶与其偏导数之间的关系（引理 2.9）。
   • 导数的邻近函数与计数函数的估计（引理 2.1, 2.3）。
   • 一个结论：若一个函数的二阶偏导数恒等于零，则该函数必为多项式（引理 2.4）。

2. 共享值的分析： 证明的核心在于分析 $f$ 与 $\partial_{z_i} f$ 以 CM 方式共享值 $a$ 的条件。这导致了泛函方程 $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$。

3. 分类讨论与矛盾分析：

   • 情况 $a=0$： 作者证明，如果 $f$ 与 $\partial_{z_i} f$ 以 CM 方式共享 0，则 $f$ 没有零点。这允许使用表示法 $f = e^\beta$，从而将问题简化为分析 $\beta$ 的导数。通过检查增长阶并利用条件 $\rho_1(f) \notin \mathbb{N} \cup \{\infty\}$，他们表明 $\beta$ 的导数必须是常数。
   • 情况 $a \neq 0$： 作者根据 $\alpha(z)$ 的性质分为两种子情况。如果 $\alpha(z)$ 是常数，则结论直接成立。如果 $\alpha(z)$ 是非常数，他们假设相反情况，并构造涉及二阶和三阶导数的辅助函数 $F$ 和 $G$。通过分析 Wronskian 以及利用导数零点计数函数很小（$o(T(r, f))$）的假设，他们导出了矛盾（$T(r, f) = o(T(r, f))$），从而证明 $\alpha(z)$ 必须是常数。

主要贡献与结果
论文确立了两个主要定理，在特定条件下证实了 $\mathbb{C}^m$ 中的 Brück 猜想：

• 定理 1.1： 若 $f$ 是 $\mathbb{C}^m$ 中的非恒等全纯函数，其超阶 $\rho_1(f) \notin \mathbb{N} \cup \{\infty\}$，且对于所有 $i$，满足 $\partial_{z_i} f = e^{\alpha(z)} f$，则 $\alpha(z)$ 退化为常数 $c$。因此，$f(z) = c_1 e^{A(z_1 + \dots + z_m)}$，其中 $A = e^c$。
• 定理 1.2： 若 $f$ 是 $\mathbb{C}^m$ 中的非恒等全纯函数，使得其偏导数的零点计数函数满足 $\|N(r, 0; \partial_{z_i} f) = o(T(r, f))$ 对所有 $i$ 均成立，且对于非零常数 $a$，满足 $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$，则 $\alpha(z)$ 退化为常数。解的形式为 $f(z) = c_1 e^{A(z_1 + \dots + z_m)} + a - a/A$。

作者还提供了反例（示例 1.1–1.3），展示了如果违反超阶条件（即 $\rho_1(f) \in \mathbb{N} \cup \{\infty\}$）或者将指数项替换为具有零点的全纯函数时，该猜想不再成立。

意义与主张
本文声称在第一阶偏微分方程的框架内，将 Brück 猜想从单复变量扩展到了高维情形（$\mathbb{C}^m$）。作者指出，在受限超阶增长或导数计数函数具有特定小量性的附加条件下，其结果表明该猜想在 $\mathbb{C}^m$ 中成立。

在追求这些结果的过程中，作者还建立了 $\mathbb{C}^m$ 中的 Borel-Carathéodory 定理，并推导了关于高维情形下全纯函数之阶与超阶的基本结果。这项工作为多复变量中的 Nevanlinna 值分布理论做出了贡献，为理解多维复空间中偏微分方程解的唯一性与增长特性提供了更深层的理解。