[論文レビュー] Nevanlinna theory for the difference operator

Rod Halburd, Risto Korhonen|ArXiv.org|Jun 1, 2005

Meromorphic and Entire Functions参考文献 11被引用数 323

ひとこと要約

この論文は、微分作用素を正確な差分作用素 Δf = f(z+c)−f(z) に置き換えることで、ネバンリンナ理論の差分類似物を構築する。c-ペアリングされた a-点（f(z) = f(z+c) = a である点）の概念を導入し、古典的な分岐項をペアリング欠損度 π_c(a,f) に置き換えた第二主定理を確立する。主な結果は、有限型のメラモーフィック関数に対して ∑(δ(a,f) + π_c(a,f)) ≤ 2 が成り立つ欠損度関係であり、これはピカードの定理およびネバンリンナの五値定理を差分設定において一般化する。

ABSTRACT

Certain estimates involving the derivative $f\mapsto f'$ of a meromorphic function play key roles in the construction and applications of classical Nevanlinna theory. The purpose of this study is to extend the usual Nevanlinna theory to a theory for the exact difference $f\mapsto Δf=f(z+c)-f(z)$. An $a$-point of a meromorphic function $f$ is said to be $c$-paired at $z\in\C$ if $f(z)=a=f(z+c)$ for a fixed constant $c\in\C$. In this paper the distribution of paired points of finite-order meromorphic functions is studied. One of the main results is an analogue of the second main theorem of Nevanlinna theory, where the usual ramification term is replaced by a quantity expressed in terms of the number of paired points of $f$. Corollaries of the theorem include analogues of the Nevanlinna defect relation, Picard's theorem and Nevanlinna's five value theorem. Applications to difference equations are discussed, and a number of examples illustrating the use and sharpness of the results are given.

研究の動機と目的

• 古典的なネバンリンナ値分布理論を差分作用素 Δf = f(z+c)−f(z) に拡張すること。
• f(z) = f(z+c) = a である点としての c-ペアリングされた a-点の概念を定義・分析し、分岐点の離散的類似物として位置づけること。
• 古典的なネバンリンナ理論の第二主定理の差分類似物を確立し、分岐項をペアリング欠損度 π_c(a,f) に置き換えること。
• 古典的結果の類似物、たとえば欠損度関係、ピカードの定理、五値定理を差分設定において導出すること。

提案手法

• f(z) = f(z+c) = a である点 z としての c-ペアリングされた a-点の概念を導入し、そのような点の度合を測るペアリング欠損度 π_c(a,f) を定義する。
• 差分作用素 Δ_c f = f(z+c)−f(z) を用いて、ネバンリンナの特徴関数 T(r,f) と近接関数 m(r,a) を差分設定に適応する。
• 対数導関数補題の差分類似物を証明する：δ < 1 かつ対数的測度が有限である集合を除く r に対して、m(r, f(z+c)/f(z)) = o(T(r,f)/r^δ) が成り立つ。
• 差分第二主定理を用いて、有限型メラモーフィック関数に対して ∑(δ(a,f) + π_c(a,f)) ≤ 2 という不等式を導出する。
• 理論を複素差分方程式に応用し、特定の係数制約のもとで、ある方程式が有限型メラモーフィック解をもつことの条件を示す。
• 明示的な例を通じて結果の鋭さを示し、周期 c に対して周期的でないが ∑π_c(a,f) = 2 を達成する有限型メラモーフィック関数の例を提示する。

実験結果

リサーチクエスチョン

• RQ1 微分作用素を正確な差分作用素 Δf = f(z+c)−f(z) に置き換えたネバンリンナの第二主定理の差分類似物を定式化できるか？
• RQ2 ネバンリンナ理論における分岐点の離散的類似物とは何か？ そして、値分布の観点からどのように定量化できるか？
• RQ3 θ(a,f) をペアリング欠損度 π_c(a,f) に置き換えた場合、古典的欠損度関係 ∑(δ(a,f) + θ(a,f)) ≤ 2 が差分設定でも成り立つか？
• RQ4 ピカードの定理やネバンリンナの五値定理といった古典的結果は、この新しい枠組みを用いて差分設定に拡張可能か？
• RQ5 複素差分方程式が有限型メラモーフィック解をもつための条件は何か？ また、この新しい理論はそのような解の特定をどのように支援するか？

主な発見

• 古典的な分岐項の代わりにペアリング欠損度 π_c(a,f) を用いた第二主定理の差分類似物が確立され、有限型メラモーフィック関数に対して ∑(δ(a,f) + π_c(a,f)) ≤ 2 という不等式が得られる。
• 欠損度関係 ∑(δ(a,f) + π_c(a,f)) ≤ 2 は鋭いものであり、周期 c に対して周期的でないが等号を達成する有限型メラモーフィック関数の例によって示された。
• ピカードの定理の類似物が導出された：非定数の有限型メラモーフィック関数は、周期 c を持つ場合を除き、2つ以上の値を欠落させることはできない。
• ネバンリンナの五値定理の類似物が証明された。2つの有限型メラモーフィック関数が重複度を数えて5つの値を共有する場合、特定のペアリング条件を満たしていれば、それらは恒等的に等しくなる。
• 理論により、差分設定では最大総欠損度が1つの値 a によって達成可能であることが明らかになった。これは古典的状況では θ(a,f) ≥ 0 であるため不可能であるが、ここではペアリング数え上げ関数に負の寄与が可能であるため可能である。
• 複素差分方程式への応用により、方程式 w(z+1)w(z−1) = R(w(z)) が有限型メラモーフィック解をもつのは、有理関数 R が特定の係数制約（たとえば二次の場合に a_2 = 0）を満たす場合に限ることが示された。