[論文レビュー] A note on the value distribution of Differential Polynomials

Subhas S. Bhoosnurmath, Bikash Chakraborty+1 more|arXiv (Cornell University)|Jun 4, 2018

Meromorphic and Entire Functions参考文献 8被引用数 3

ひとこと要約

本稿は、整関数でないメラモーフィック関数 $ f $ によって生成される同次微分多項式 $ P[f] $ の計数関数を用いて、その特徴関数 $ T(r,f) $ の定量的推定を確立する。値分布論およびネヴァンリンナ理論を活用し、$ N(r, 1/(P[f]-1)) $ および $ \overline{N}(r, 1/(P[f]-1)) $ を含む鋭い上界を導出し、小関数係数を有する微分単項式および多項式について、以前の結果を改善する。

ABSTRACT

Let $f$ be a transcendental meromorphic function, defined in the complex plane $\mathbb{C}$. In this paper, we give a quantitative estimations of the characteristic function $T(r,f)$ in terms of the counting function of a homogeneous differential polynomial generated by $f$. Our result improves and generalizes some recent results.

研究の動機と目的

• 整関数でないメラモーフィック関数 $ f $ によって生成される微分多項式 $ P[f] $ の計数関数を用いて、ネヴァンリンナ特徴関数 $ T(r,f) $ の定量的推定を提供すること。
• 微分単項式および小関数係数を有する多項式について、既存の結果（例えば、定理A（Mues）、定理B（Huang & Gu）、定理D（Lahiri & Dewan））を一般化・改善すること。
• 微分多項式の項の次数および重みに関する条件下で、同次微分多項式 $ P[f] $ の値分布、特に $ P[f] - 1 $ の零点に注目すること。
• 標準的な $ S(r,f) $ を超えて、$ S^*(r,f) $ を用いて誤差項を精緻化すること。ここで $ S^*(r,f) = o(T(r,f)) $ は $ r \to \infty $、$ r \notin E^* $ のとき成り立ち、$ E^* $ は対数的密度がゼロの集合である。これにより漸近的推定の精度が向上する。
• 特に高階導関数を含む微分多項式に対して、$ T(r,f) $ と $ P[f] - 1 $ の削減済みおよび全計数関数との間の鋭い不等式を確立すること。

提案手法

• ネヴァンリンナ理論、特に第一および第二主要定理を用いて、$ f $ の成長と $ P[f] - 1 $ の零点分布との関係を関係づける。
• 重要な補題（例：補題3.2、3.5、3.6）を適用し、微分単項式の次数および重みの構造を用いて、$ f $、$ f^{(k)} $、および $ (P[f])' $ の計数関数を評価する。
• 微分多項式 $ P[f] $ を特徴付けるために、次数 $ d(P) $、重み $ \Gamma_P $、および超過 $ \nu = \max\{ q_{1j} + 2q_{2j} + \cdots + kq_{kj} \} $ を定義し、正確な推定を可能にする。
• 誤差項を改善するため、$ S^*(r,f) = o(T(r,f)) $（$ r \to \infty $、$ r \notin E^* $）という表記を導入する。ここで $ E^* $ は対数的密度がゼロの集合である。これにより、標準的な $ S(r,f) $ を超える精度が得られる。
• 第一主要定理と対数導関数および $ P[f] $ の導関数に関する推定を組み合わせることで、$ N(r, 1/(P[f]-1)) $ および $ \overline{N}(r, 1/(P[f]-1)) $ を用いた $ T(r,f) $ の上界を導出する。
• 小関数 $ b_j(z) $ を用い、$ T(r,b_j) = S(r,f) $ となるようにし、係数が $ f $ の成長を支配しないように保つ。これにより、$ b_jP[f] - 1 $ の計数関数の制御が可能になる。

実験結果

リサーチクエスチョン

• RQ1 整関数でないメラモーフィック関数 $ f $ によって生成される同次微分多項式 $ P[f] $ に対して、特徴関数 $ T(r,f) $ が $ N(r, 1/(P[f]-1)) $ の定数倍によって上から抑えられるか。
• RQ2 不等式 $ T(r,f) \leq B_1 N(r, 1/(P[f]-1)) + S^*(r,f) $ を満たす最適な定数 $ B_1 $ は何か。また、その値は $ P[f] $ の構造にどのように依存するか。
• RQ3 同様の不等式が削減済み計数関数 $ \overline{N}(r, 1/(P[f]-1)) $ を用いて確立可能か。この場合の最良の定数 $ B_2 $ は何か。
• RQ4 微分多項式の次数 $ d(P) $、重み $ \Gamma_P $、および超過 $ \nu $ は、$ T(r,f) $ の上界の鋭さにどのように影響を与えるか。
• RQ5 特定の $ P[f] $ の形に対して既存の定理（例：定理A（Mues）、定理B（Huang & Gu）、定理D（Lahiri & Dewan））は、どのように一般化されるか。

主な発見

• 同次微分多項式 $ P[f] $ の次数が $ d(P) $ で、$ q_0 \geq 2 $、$ q_k \geq 2 $、$ k \geq 2 $ を満たすとき、不等式 $ T(r,f) \leq \frac{1}{q_0 - 1} N\left(r, \frac{1}{P[f] - 1}\right) + S^*(r,f) $ が成り立つ。
• 削減済み計数関数に関しては、$ T(r,f) \leq \frac{1}{d(P) - \nu - 2} \overline{N}\left(r, \frac{1}{P[f] - 1}\right) + S(r,f) $ が確立され、ここで $ \nu = \max_j \{ q_{1j} + 2q_{2j} + \cdots + kq_{kj} \} $ である。
• 第三の不等式も導出された：$ T(r,f) \leq \frac{k+1}{d(P) + kq_* - \nu - 2(k+1)} \overline{N}\left(r, \frac{1}{P[f] - 1}\right) + S(r,f) $、ただし $ q_* = \min_j q_{1j} $ であり、$ q_* \geq 2 $ の条件を満たす。
• 定理D（Lahiri & Dewan）の結果を、より鋭い定数と小関数係数を有する一般の同次微分多項式への拡張により、改善している。
• $ S^*(r,f) $ の使用により、標準的な $ S(r,f) $ よりも強い誤差項が得られ、推定の精度が向上する。ここで $ S^*(r,f) = o(T(r,f)) $ は、対数的密度ゼロの集合を除き成り立つ。
• 上界は、$ d(P) $、$ \nu $、$ q_0 $ といった $ P[f] $ の構造的パラメータに明示的に依存しており、鋭いものである。特に $ f^2 f' $ や $ f^l (f^{(k)})^n $ のような単項式に特化した場合、既知の結果に還元される。