[論文レビュー] On the functional equation $f^n(z)+g^n(z)=e^{\alpha z+\beta}$

Qi Han, Feng Lü|arXiv (Cornell University)|Dec 20, 2016

Meromorphic and Entire Functions参考文献 15被引用数 5

ひとこと要約

この論文は、複素平面における2種類のフェルマー型関数方程式 $f^n(z) + (f')^n(z) = e^{eta z + eta}$ および $f^n(z) + f^n(z + c) = e^{eta z + eta}$（$n \geq 1$）に対するメラモーフィック解の分類を、ネヴァンリンナ理論および楕円関数の性質を用いて行っている。主な結果として、$n \geq 3$ の場合、微分方程式の解は整関数であり、$f(z) = d e^{(\alpha z + \beta)/n}$ の形をとる。一方、$n=3$ の場合、差分方程式に対しては、値分布理論を用いた背理法により、有限型のメラモーフィック解は存在しないことが示された。

ABSTRACT

We describe meromorphic solutions to the equations $f^n(z)+\left(f' ight)^n(z)=e^{\alpha z+\beta}$ and $f^n(z)+f^n(z+c)=e^{\alpha z+\beta}$ ($c eq0$) over the complex plane $\mathbf{C}$ for integers $n\geq1$.

研究の動機と目的

• 関数方程式 $f^n(z) + g^n(z) = e^{\alpha z + \beta}$ に対するすべてのメラモーフィック解を分類すること。ここで $g(z) = f'(z)$ または $g(z) = f(z + c)$ であり、$n \geq 1$ である。
• 古典的フェルマー型方程式を、複素解析およびネヴァンリンナ理論を用いて指数関数的右辺へ拡張すること。
• 差分方程式 $f^n(z) + f^n(z + c) = e^{\alpha z + \beta}$ に対する有限型メラモーフィック解の存在および構造を特定すること。特に $n = 3$ の場合に注目する。
• 微分方程式 $f^n(z) + (f')^n(z) = e^{\alpha z + \beta}$ に対する整関数解の特徴を明らかにすること。特に $n \geq 3$ の場合に注目する。
• ワイエルシュトラス楕円関数およびその値分布が、解の構成または除外に果たす役割を調査すること。

提案手法

• メラモーフィック関数の成長および値分布を分析するため、ネヴァンリンナ理論を用いる。特に、特徴関数 $T(r, f)$ および数え上げ関数 $N(r, f)$ を用いる。
• ネヴァンリンナ理論の第一および第二主要定理に加え、対数導関数の補題を用いて誤差項を制御する。
• ワイエルシュトラス $\wp$-関数およびその代数的恒等式 $(\wp')^2 = 4\wp^3 - 1$ を用いて、$n=3$ の場合の候補解を構成する。
• 方程式に代入して無限遠点における漸近的挙動を分析することで、$f(z)$ と $f(z+c)$ 間の関数的関係を導出する。
• 成長推定に基づく背理法を用いる：有限型を仮定すると $\rho(p(h)) < \infty$ が得られ、これにより $h$ が多項式でなければならない。
• バンク–ラングレーおよびエドライ–フーカスの定理（$\wp$-関数およびその合成関数の成長に関するもの）を応用し、値分布における矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 どの $n \geq 1$ に対して、$f^n(z) + (f')^n(z) = e^{\alpha z + \beta}$ に対して非自明なメラモーフィック解が存在するか？
• RQ2 $n = 3$ の場合、差分方程式 $f^n(z) + f^n(z + c) = e^{\alpha z + \beta}$ に対して有限型のメラモーフィック解が存在しうるか？
• RQ3 $n \geq 3$ の場合、$f^n(z) + (f')^n(z) = e^{\alpha z + \beta}$ の整関数解の構造は何か？
• RQ4 $n=3$ の場合、ワイエルシュトラス $\wp$-関数の零点と極が、可能な解をどのように制約するか？
• RQ5 $n=2$ の場合、差分方程式に対して非自明な解が存在するための $\alpha$, $\beta$, $c$ に関する条件は何か？

主な発見

• $n \geq 3$ の場合、$f^n(z) + (f')^n(z) = e^{\alpha z + \beta}$ のすべての解は整関数であり、$f(z) = d e^{(\alpha z + \beta)/n}$ の形をとる。ここで $d^n \left(1 + \left(\frac{\alpha}{n}\right)^n \right) = 1$ を満たす。
• $n=3$ の場合、差分方程式 $f^3(z) + f^3(z + c) = e^{\alpha z + \beta}$ に対して、有限型のメラモーフィック解は存在しない。これは値分布理論および成長推定を用いた背理法により示された。
• $n=2$ の場合、解は $\alpha = 0$ または $f(z) = d e^{(\alpha z + \beta)/2}$ のときのみ存在する。さらに、$f(z) = e^{\beta/2} \sin(z + b)$ という追加の整関数解も存在する。
• $n=3$ の解の公式における関数 $h(z)$ が $f$ が有限型である場合、多項式でなければならない。これは $\wp(h(z))$ の成長から導かれる。
• 無限個の $p(h(z))$ の零点を仮定すると、関数方程式における漸近的挙動が一貫せず、標準的な成長評価を満たさないため、矛盾が生じる。
• $n=1$ の場合、解は $\alpha \neq -1$ のとき $f(z) = \frac{e^{\alpha z + \beta}}{\alpha + 1} + a e^{-z}$ であり、$\alpha = -1$ のときは $f(z) = z e^{-z} + a e^{-z}$ である。