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

技術的要約：$\mathbb{C}^m$ における一次偏微分方程式の解に関するブリュック予想

問題提起
本論文は、一変数複素関数論における全単射関数の理論から、多変数複素数（$\mathbb{C}^m$）の設定へとブリュック予想（Brück conjecture）を拡張することを調査している。古典的なブリュック予想は、非定数全単射関数 $f$ とその導関数 $f'$ が、値 $a$ を（重数を含めて）共有する場合の関係に関するものである。具体的には、ハイパーオーダー $\rho_1(f)$ が非負の整数または無限大ではない場合、$f$ と $f'$ が $a$ を CM（重数を含めて）共有するならば、$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$ が特定の指数形式に強制されるかどうかである。本論文は、ハイパーオーダーに関する成長条件が除去された場合、あるいは指数項が零点を持つ任意の全単射関数に置き換えられた場合に、この予想が成立しないことを指摘している。

方法論
著者らは、多変数における有理型関数の値分布を分析するために、多変数複素数におけるネヴァンリンナ理論を用いている。その手法は以下の通りである：

1. 基本レマの確立： 論文では、いくつかの補助的な結果を導出し、利用している。これには以下が含まれる：

   • $\mathbb{C}^m$ における一般化されたボレル・カラテオドリの定理（レマ 2.5）：これは最大絶対値 $M(r, f)$ を最大実部 $A(R, f)$ によって抑えるものである。
   • 関数の位数とその偏導関数の間の関係（レマ 2.9）。
   • 導関数の近傍関数および計数関数に関する評価（レマ 2.1, 2.3）。
   • 関数の二階偏導関数が恒等的に消滅する場合、その関数は多項式であるという結果（レマ 2.4）。

2. 共有値の分析： 核心となる証明は、$f$ と $\partial_{z_i} f$ が値 $a$ を CM で共有するという条件の分析である。これは関数方程式 $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$ を導く。

3. ケース分けと矛盾の導出：

   • ケース $a=0$： $f$ と $\partial_{z_i} f$ が 0 を CM で共有する場合、$f$ は零点を持たないことを著者らは証明している。これにより $f = e^\beta$ という表現が可能となり、$\beta$ の導関数の分析へと問題が還元される。成長次数を検討し、条件 $\rho_1(f) \notin \mathbb{N} \cup \{\infty\}$ を用いることで、$\beta$ の導関数は定数でなければならないことを示す。
   • ケース $a \neq 0$： 著者らは $\alpha(z)$ の性質に基づき、2つのサブケースを検討している。$\alpha(z)$ が定数である場合、結果は直接的に従う。$\alpha(z)$ が非定数である場合、その反対を仮定して、二階および三階導関数を含む補助関数 $F$ および $G$ を構成する。ロンスキアンを分析し、導関数の零点の計数関数が小さい（$o(T(r, f))$）という仮定を用いることで、矛盾（$T(r, f) = o(T(r, f))$）を導き出し、それによって $\alpha(z)$ は定数でなければならないことを証明する。

主な貢献と結果
本論文は、特定の条件下で $\mathbb{C}^m$ におけるブリュック予想を裏付ける2つの主要な定理を確立している：

• 定理 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$ における非定数全単射関数であり、その偏導関数の零点の計数関数が、すべての $i$ に対して $\|N(r, 0; \partial_{z_i} f) = o(T(r, f))$ を満たし、かつ $\partial_{z_i} f - a = e^{\alpha(z)}(f - a)$ （$a$ は非ゼロ定数）を満たすならば、$\alpha(z)$ は定数に帰着する。解は $f(z) = c_1 e^{A(z_1 + \dots + z_m)} + a - a/A$ の形をとる。

また、著者らは、ハイパーオーダーの条件が違反された場合（すなわち $\rho_1(f) \in \mathbb{N} \cup \{\infty\}$ の場合）、あるいは指数項が零点を持つ全単射関数に置き換えられた場合に、予想が成立しないことを示す反例（例 1.1–1.3）も提供している。

意義と主張
本論文は、一次偏微分方程式の枠組みの中で、ブリュック予想の範囲を一変数複素関数から高次元（$\mathbb{C}^m$）へと拡張することを主張している。著者らは、制限されたハイパーオーダーの成長、あるいは導関数の計数関数の特定の小ささの条件の下で、$\mathbb{C}^m$ において予想が成立することを示す結果を得たと述べている。

これらの結果を追求する過程で、著者らは $\mathbb{C}^m$ におけるボレル・カラテオドリの定理を確立し、高次元における全単射関数の位数およびハイパーオーダーに関する基礎的な結果を導き出している。本研究は、多変数複素数におけるネヴァンリンナ値分布理論の発展に寄与するものであり、多次元複素空間における偏微分方程式の解の一意性と成長特性に関する理解を深めるものである。