[论文解读] A separation in modulus property of the zeros of a partial theta function

Vladimir Petrov Kostov|arXiv (Cornell University)|Apr 6, 2017

Advanced Mathematical Identities参考文献 19被引用 5

一句话总结

该论文为部分 theta 函数 $\theta(q,z) = \sum_{j=0}^{\infty} q^{j(j+1)/2} z^j$ 在 $|q| \leq 1 - 1/(\alpha_0 n)$ 且 $n \geq 5$ 时的零点建立了模分离性质，证明了当 $k \geq n$ 时，存在唯一的单零点 $\xi_k$ 满足 $|q|^{-k+1/2} < |\xi_k| < |q|^{-k-1/2}$，而其余 $n-1$ 个零点的模长均 $\leq |q|^{-n+1/2}$。此外，论文还确定了使得 $\theta$ 具有重零点的特定谱值。

ABSTRACT

We consider the partial theta function $\ heta (q,z):=\\sum _{j=0}^{\\infty}q^{j(j+1)/2}z^j$, where $z\\in \\mathbb{C}$ is a variable and $q\\in \\mathbb{C}$, $0&lt;|q|&lt;1$, is a parameter. Set $\\alpha _0~:=~\\sqrt{3}/2\\pi ~=~0.2756644477\\ldots$. We show that, for $n\\geq 5$, for $|q|\\leq 1-1/(\\alpha _0n)$ and for $k\\geq n$ there exists a unique zero $\\xi _k$ of $\ heta (q,.)$ satisfying the inequalities $|q|^{-k+1/2}&lt;|\\xi _k|&lt;|q|^{-k-1/2}$; all these zeros are simple ones. The moduli of the remaining $n-1$ zeros are $\\leq |q|^{-n+1/2}$. A {\\em spectral value} of $q$ is a value for which $\ heta (q,.)$ has a multiple zero. We prove the existence of the spectral values $0.4353184958\\ldots \\pm i\\, 0.1230440086\\ldots$ for which $\ heta$ has double zeros $-5.963\\ldots \\pm i\\, 6.104\\ldots$.

研究动机与目标

• 为广泛范围的 $q$-值建立部分 theta 函数 $\theta(q,z)$ 的模分离性质。
• 以 $|q|^{-k \pm 1/2}$ 相对于模长的形式，刻画 $k$ 阶零点 $\xi_k$ 的位置，其中 $k \geq n$ 且 $n \geq 5$。
• 证明存在使得 $\theta(q, \cdot)$ 具有多重（具体为重）零点的谱值 $q$。
• 提供谱值及其对应重零点的显式数值估计。

提出的方法

• 使用 Rouché 定理证明在环形区域 $|q|^{-k+1/2} < |z| < |q|^{-k-1/2}$ 内，当 $k \geq n$ 时，存在唯一一个孤立的零点 $\xi_k$。
• 应用三角不等式与几何级数估计，控制 $\theta(q,z)$ 中各项模长之和，确保在 $|z| = |q|^{-k-1/2}$ 上第 $k$ 项占主导。
• 通过符号计算（如 MAPLE）进行数值验证，确认关键估计中严格不等式的成立，尤其在 $|q|$ 接近临界阈值时。
• 分析紧集 $U \times V$ 上部分和的实部与虚部，以控制偏差并应用 Rouché 定理。
• 利用不等式 $\tau(|q|) = 2\sum_{\nu=1}^{\infty} |q|^{\nu^2/2} < 1$ 确保级数首项占主导，将模分离性质扩展至 $|q| \leq c_0 \approx 0.207875$。
• 通过系数增长与模长估计，推导出截断级数 $\theta^*$ 与 $\theta^{0}$ 的实部与虚部的界，以控制误差项。

实验结果

研究问题

• RQ1 对于满足 $|q| \leq 1 - 1/(\alpha_0 n)$ 且 $n \geq 5$ 的 $q$ 值，部分 theta 函数 $\theta(q, \cdot)$ 是否存在唯一的单零点 $\xi_k$ 满足 $|q|^{-k+1/2} < |\xi_k| < |q|^{-k-1/2}$？
• RQ2 在相同条件下，$\theta(q, \cdot)$ 的其余 $n-1$ 个零点的最大模长是多少？
• RQ3 是否存在 $q$ 值（谱值）使得 $\theta(q, \cdot)$ 具有多重零点？若存在，其位置与重数为何？
• RQ4 如何通过解析与数值技术严格验证此类谱值的存在性？
• RQ5 当 $|q| \to 0$ 或 $|q| \to 1$ 时，$\theta(q, \cdot)$ 的零点的渐近行为如何？

主要发现

• 当 $n \geq 5$，$|q| \leq 1 - 1/(\alpha_0 n)$ 且 $\alpha_0 = \sqrt{3}/(2\pi) \approx 0.275664$，$k \geq n$ 时，部分 theta 函数 $\theta(q, \cdot)$ 存在唯一的单零点 $\xi_k$ 满足 $|q|^{-k+1/2} < |\xi_k| < |q|^{-k-1/2}$。
• 其余 $n-1$ 个零点的模长上界为 $|q|^{-n+1/2}$。
• 存在谱值 $q$，具体为 $q \approx 0.435318 \pm i\,0.123044$，使得 $\theta(q, \cdot)$ 具有位于 $\xi \approx -5.963 \pm i\,6.104$ 的重零点。
• 模分离性质在 $|q| \leq c_0 \approx 0.207875$ 的 $q$ 的解析延拓下保持稳定，并可扩展至 $|q| \leq 1 - 1/(\alpha_0 n)$（$n \geq 5$）。
• 通过符号计算进行的数值验证表明，截断级数 $\theta^*$ 与 $\theta^{0}$ 的实部与虚部在紧集上保持有界，确保其非零，从而支持 Rouché 定理的应用。
• 对于 $z = A$ 和 $z = C$，$\theta^*$ 中前五个单项式的实部之和位于 $(0.03, 0.08)$，虚部之和位于 $(0.15, 0.20)$，高阶项的误差贡献小于 $10^{-4}$。