[論文レビュー] An extremal problem for a class of entire functions of exponential type

Alexandre Erëmenko, Peter Yuditskii|arXiv (Cornell University)|Jul 13, 2008

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

ひとこと要約

この論文は、指示図が $[-i\sigma, i\sigma]$ に含まれる指数型整関数に対する極値問題を解き、零点の上密度が $c\sigma$ 未満であることを証明している。ここで $c \approx 1.508879$ は、$\log(\sqrt{c^2+1}+c) = \sqrt{1 + c^{-2}}$ を満たす唯一の正の解である。この上限は鋭く、コンformal mapping と調和関数論を用いて構成された特定の極値関数によって等号が達成される。

ABSTRACT

We find the exact upper estimate for the upper density of zeros of entire functions of exponential type whose indicator diagram is contained in a given interval.

研究の動機と目的

• 指示図が $[-i\sigma, i\sigma]$ に含まれる指数型整関数の零点の上密度に対する最良の上界を特定すること。
• このクラスにおいて、古典的な上限 $2e\sigma/\pi \approx 1.7305\sigma$ が鋭くないことを確立すること。
• 上記の超越方程式を満たす $c$ に対し、上限 $c\sigma$ を達成する極値関数を構成すること。
• サブハーモニック関数論とコンformal mapping を用いて、このクラスの関数に対して上密度の極限が存在し、それが $c\sigma$ に等しいことを証明すること。

提案手法

• $\sigma = 1$ の場合に還元し、偶関数を考察することで対称性を保ち、密度を2倍にスケーリングすること。
• サブハーモニック関数のコンパクトネスの原理を適用し、$v_n(z) = t_n^{-1}\log|f(t_n z)|$ の列から極限関数 $v$ を抽出する。この $v$ は $v(z) \leq |\mathrm{Im}\, z|$ という成長制約を満たす。
• サブハーモニック極限 $v$ のリエシュー測度 $\mu$ を用いて、零点密度と単位円板上での $\mu$ の質量を関連付けること。
• 径方向射影を用いて、リエシュー測度が実軸上にのみ支持される場合に問題を還元し、$v^*(z) \leq \sigma' |\mathrm{Im}\, z|$ を満たす調和関数 $v^*$ を得る。ただし $\sigma' \leq 1$ である。
• 上半平面から領域 $G = \{x+iy : y > g(x)\}$ へのコンフォーマル写像 $\phi = u + iv$ を構成する。ここで $g \leq 0$、$g(0) = 0$、$\phi(0) = 0$、$\phi(iy) \sim iy$（$y \to \infty$ のとき）を満たす。この写像は極値的挙動をモデル化する。
• 極値問題を、このようなコンフォーマル写像のうちで $\mathrm{Re}\, \phi(1)$ を最大化することに還元する。これにより、シュワーツ＝クリストッフェル積分表現が得られ、$c$ に対する臨界方程式が導出される。

実験結果

リサーチクエスチョン

• RQ1 指示図が $[-i\sigma, i\sigma]$ に含まれる指数型整関数の零点の上密度に対する最良の上界は何か？
• RQ2 この関数クラスにおいて、古典的な上限 $2e\sigma/\pi \approx 1.7305\sigma$ を改善できるか？
• RQ3 上記のクラス $E_\sigma$ に属する関数で、零点の上密度が $c\sigma$ を正確に達成するものがあるか？その場合、$c$ の値は何か？
• RQ4 極値の上限を達成する関数を特徴づける幾何学的・解析的条件は何か？

主な発見

• 任意の関数 $f \in E_\sigma$ の零点の上密度は、$c \approx 1.508879$ 未満である。ここで $c$ は $\log(\sqrt{c^2+1} + c) = \sqrt{1 + c^{-2}}$ を満たす唯一の正の解である。
• この上限は鋭い。任意の $\sigma > 0$ に対して、零点の上密度が正確に $c\sigma$ に等しい関数 $f \in E_\sigma$ が存在する。
• 極値関数は、$|x| < \pi c/2$ の部分に垂直スリットを持つ領域への上半平面からのコンフォーマル写像によって構成される。これは境界関数 $g(x)$ における特定のジャンプ不連続性に対応する。
• 値 $c \approx 1.508879$ は、シュワーツ＝クリストッフェル積分の虚部が臨界点で消える条件から得られ、極値的挙動を保証する。
• 証明は、リエシュー測度 $\mu$ を持つサブハーモニック極限 $v$ に依拠し、径方向射影によって上半平面における調和関数に還元される。
• コンフォーマル写像 $\phi$ に対して $\mathrm{Re}\, \phi(1)$ の最大値は、$|x| < \pi c/2$ で $g(x) = -\infty$、それ以外で $g(x) = 0$ となる境界関数 $g(x)$ のとき達成され、これが最適な零点密度をもたらす。