[论文解读] The closest to $0$ spectral number of the partial theta function

Vladimir Petrov Kostov|arXiv (Cornell University)|May 18, 2016

Advanced Mathematical Identities参考文献 15被引用 12

一句话总结

本文在原点为中心、半径为0.31的圆盘内确定了偏theta函数的唯一谱数，证明0.3092493386…是该圆盘内唯一使函数具有重零点的q值。通过复分析与级数估计，作者建立了零点位置与谱数隔离的界限，表明该区域内其余零点均为单重且互不相同。

ABSTRACT

The {\em spectrum} of the partial theta function $θ:=\sum _{j=0}^{\infty}q^{j(j+1)/2}x^j$ is the set of values of $q\in \mathbb{C}$, $0

研究动机与目标

• 确定偏theta函数 $ \theta(q,x) = \sum_{j=0}^\infty q^{j(j+1)/2}x^j $ 在圆盘 $ \mathbb{D}_{0.31} $ 内的所有谱数，其中 $ q \in \mathbb{C} $，$ |q| < 1 $，且 $ \theta(q, \cdot) $ 具有重零点。
• 建立在 $ \mathbb{D}_{0.31} $ 内唯一的谱数为 $ \tilde{q} = 0.3092493386\ldots $，确认其在该区域内的唯一性。
• 证明对于任意 $ a \in (0,1) $，函数 $ \theta $ 在 $ \mathbb{D}_a \times \mathbb{D}_b $ 内仅有有限个重零点，且谱数孤立，且在 $ \mathbb{D}_a \times (\mathbb{C} \setminus \mathbb{D}_b) $ 内无重零点，其中 $ b > 0 $。
• 证明零点 $ \xi_j $ 的洛朗级数展开的收敛半径 $ \rho_j $ 满足当 $ j \to \infty $ 时 $ \rho_j \to 1 $，确认其渐近收敛行为。

提出的方法

• 使用控制技术，作者界定了 $ \theta(q,x) $ 级数展开中各项模的大小，表明当 $ |q| \leq c_0 \approx 0.207875 $ 时，仅有一项占主导地位，从而推出所有零点均为单重，不存在重零点。
• 当 $ |q| \leq 1/3 $ 时，他们分析了在 $ |x| = |q|^{-k-1/2} $ 时 $ \theta(q,x) $ 主导项的实部与虚部，证明此时 $ \theta(q,x) \neq 0 $，从而排除了重零点的存在。
• 他们利用函数方程 $ \Theta^*(q,x) = qx\Theta^*(q,qx) $，其中 $ \Theta^* $ 是相关的雅可比型theta函数，来分析零点结构与邻域内 $ \mu_k = -q^{-k} $ 的收敛性。
• 通过将 $ \theta(q,x) = \Theta^*(q,x) + \Xi(q,x) $ 表示，他们证明当 $ |x| $ 较大时 $ \Xi $ 很小，从而可应用隐函数定理，证明在 $ \Omega_k(\delta) $ 内存在唯一全纯零点解（对大的 $ k $）。
• 他们使用解析延拓与紧致性论证，在 $ \bar{\mathbb{D}}_a \setminus \mathbb{D}_{c_0} $ 上证明：对充分大的 $ j $，零点 $ \xi_j $ 为单重，且在 $ \mathbb{D}_a $ 内关于 $ q $ 解析单值。
• 他们应用魏尔斯特拉斯预处理定理与零点集的局部解析性，证明重零点集合是离散且孤立的，因此在紧致子集内为有限集。

实验结果

研究问题

• RQ1 在闭圆盘 $ \mathbb{D}_{0.31} $ 内，偏theta函数是否存在唯一的谱数？其值是多少？
• RQ2 对于任意 $ a \in (0,1) $，能否找到 $ b > 0 $，使得 $ \theta(q,x) $ 在 $ \mathbb{D}_a \times (\mathbb{C} \setminus \mathbb{D}_b) $ 内无重零点，且在 $ \mathbb{D}_a \times \mathbb{D}_b $ 内仅有有限个重零点？
• RQ3 零点 $ \xi_j $ 的洛朗级数展开的收敛半径 $ \rho_j $ 是否满足当 $ j \to \infty $ 时 $ \rho_j \to 1 $？
• RQ4 能否唯一确定并隔离 $ \theta(\tilde{q}, \cdot) $ 的重零点位置？
• RQ5 当 $ j \to \infty $ 时，零点 $ \xi_j $ 的行为如何？它们在 $ \mathbb{D}_a $（$ a < 1 $）内如何依赖于 $ q $？

主要发现

• 在圆盘 $ \mathbb{D}_{0.31} $ 内，偏theta函数的唯一谱数为 $ \tilde{q} = 0.3092493386\ldots $，其对应于一个唯一的重零点，位于 $ x \approx -7.5032559833\ldots $。
• 当 $ |q| \leq c_0 \approx 0.207875 $ 时，偏theta函数无重零点，因为级数中的主导项确保所有零点均为单重。
• 当 $ |q| \leq 1/3 $ 时，$ \theta(q,\cdot) $ 的零点不在圆周 $ |x| = |q|^{-k-1/2} $ 上（$ k \geq 2 $），意味着所有零点均为单重且相互分离。
• 零点 $ \xi_j $ 的洛朗级数展开的收敛半径 $ \rho_j $ 满足当 $ j \to \infty $ 时 $ \rho_j \to 1 $，确认其渐近收敛至单位圆周。
• 对于任意 $ a \in (0,1) $，存在 $ b > 0 $，使得 $ \theta $ 在 $ \mathbb{D}_a \times \mathbb{D}_b $ 内仅有有限个重零点，且在 $ \mathbb{D}_a \times (\mathbb{C} \setminus \mathbb{D}_b) $ 内无重零点，且谱数孤立。
• 对充分大的 $ j $，零点 $ \xi_j $ 为单重、互不相同，且在 $ \mathbb{D}_a $ 内关于 $ q $ 解析单值，满足 $ \rho_j \geq a $（当 $ j > j_0 $ 时），且洛朗级数在 $ \mathbb{D}_a $ 内收敛。