[论文解读] 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}}$ 的唯一正解。该界是精确的，等号在通过共形映射和次调和函数理论构造的特定极值函数处取得。

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\sigma$ 的极值函数，其中 $c$ 是特定超越方程的解。
• 利用次调和函数理论和共形映射，证明该类函数的上密度极限存在且等于 $c\sigma$。

提出的方法

• 将问题约化至 $\sigma = 1$ 的情形，并考虑偶函数以保持对称性，同时通过因子 2 缩放密度。
• 应用次调和函数的紧致性原理，从序列 $v_n(z) = t_n^{-1}\log|f(t_n z)|$ 中提取极限函数 $v$，其继承了增长界 $v(z) \leq |\mathrm{Im}\, z|$。
• 利用次调和极限 $v$ 的 Riesz 测度 $\mu$，将零点密度与 $\mu$ 在单位圆盘上的质量联系起来。
• 通过径向投影将问题约化为 Riesz 测度集中在实轴上的情形，从而得到一个满足 $v^*(z) \leq \sigma' |\mathrm{Im}\, z|$ 且 $|\sigma'| \leq 1$ 的调和函数 $v^*$。
• 构造一个从上半平面到区域 $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)$ 来求解极值问题，导出 Schwarz–Christoffel 积分表示，并推导出 $c$ 的临界方程。

实验结果

研究问题

• RQ1 对于指标图包含于 $[-i\sigma, i\sigma]$ 的指数型整函数，其零点上密度的最佳可能上界是什么？
• RQ2 在此类函数中，经典上界 $2e\sigma/\pi \approx 1.7305\sigma$ 是否可以改进？
• RQ3 是否存在一个属于 $E_\sigma$ 的函数，其零点上密度恰好达到上界 $c\sigma$？若存在，$c$ 的值是多少？
• RQ4 哪些几何与解析条件刻画了实现精确上界的极值函数？

主要发现

• 任何属于 $E_\sigma$ 的函数 $f$ 的零点上密度至多为 $c\sigma$，其中 $c \approx 1.508879$ 是方程 $\log(\sqrt{c^2+1} + c) = \sqrt{1 + c^{-2}}$ 的唯一正解。
• 该上界是精确的：对每个 $\sigma > 0$，均存在一个 $f \in E_\sigma$，使得其零点上密度恰好为 $c\sigma$。
• 极值函数通过从上半平面到具有垂直缝隙 $|x| < \pi c/2$ 的区域的共形映射构造而成，这对应于边界函数 $g(x)$ 的特定跳跃间断。
• 值 $c \approx 1.508879$ 由 Schwarz–Christoffel 积分虚部在临界点处为零的条件导出，确保了极值行为。
• 证明依赖于具有 Riesz 测度 $\mu$ 的次调和函数极限 $v$，并通过径向投影将其约化为上半平面中的调和函数。
• 对于共形映射 $\phi$，$\mathrm{Re}\, \phi(1)$ 的最大值在边界函数 $g(x)$ 满足 $|x| < \pi c/2$ 时为 $-\infty$，其余位置为 0 时取得，从而导致最优零点密度。