[论文解读] Stabilization of the asymptotic expansions of the zeros of a partial theta function

Vladimir Petrov Kostov|arXiv (Cornell University)|Oct 9, 2015

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

一句话总结

本文建立了偏 theta函数 θ(q,x) 的零点渐近展开的稳定性性质。通过引入一个从已知生成级数 r_k 衍生出的修正级数 (H_{m,j})，作者证明：当 j 足够大且 k 有界时，第 j 个零点的洛朗展开系数 g_{j,k} 与 (H_{m,j}) 的系数一致，且给出了该稳定性成立的 j 和 k 的显式范围，该范围基于递归分拆数 r_k 确定。

ABSTRACT

The bivariate series $θ(q,x):=\sum _{j=0}^{\infty}q^{j(j+1)/2}x^j$ defines a {\em partial theta function}. For fixed $q$ ($|q|<1$), $θ(q,.)$ is an entire function. We prove a property of stabilization of the coefficients of the Laurent series in $q$ of the zeros of $θ$. These series are of the form $-q^{-j}+(-1)^jq^{j(j-1)/2}(1+\sum _{k=1}^{\infty}g_{j,k}q^k)$. The coefficients of the stabilized series are expressed by the positive integers $r_k$ giving the number of partitions into parts of three different kinds. They satisfy the recurrence relation $r_k=\sum _{ν=1}^{\infty}(-1)^{ν-1}(2ν+1)r_{k-ν(ν+1)/2}$. Set $(H_{m,j})~:~(\sum _{k=0}^{\infty}r_kq^k) (1-q^{j+1}+q^{2j+3}-\cdots +(-1)^{m-1}q^{(m-1)j+m(m-1)/2})= \sum _{k=0}^{\infty} ilde{r}_{k;m,j}q^k$. Then for $k\leq (m+2j)(m+1)/2-1-j$ and $j\geq (2m-1+\sqrt{8m^2+1})/2$ one has $g_{j,k}= ilde{r}_{k;m,j}$.

研究动机与目标

• 细化已知的洛朗级数系数 g_{j,k} 在偏theta函数 θ(q,x) 的第 j 个零点渐近展开中的稳定性性质。
• 确立 g_{j,k} 与修正生成级数 (H_{m,j}) 的系数一致的精确条件，确保在 j 增大时保持稳定性。
• 基于划分为三类不同部分的分拆数 r_k，刻画系数 g_{j,k} 的递推关系。
• 确定在何种 k 和 j 范围内，展开中的非线性项不影响 g_{j,k} 的计算，从而实现与 (H_{m,j}) 的精确匹配。

提出的方法

• 将修正级数 (H_{m,j}) 定义为生成级数 ∑r_k q^k 与有限交错幂次和的乘积，形成 ∑r̃_{k;m,j} q^k。
• 通过分析单次项 Ψ_ν = q^{ν(ν+1)/2} (-ξ_j)^ν 的洛朗展开的矩阵结构，追踪系数贡献并识别控制 g_{j,k} 的线性系统。
• 从矩阵结构中建立线性系统 (2)、(3) 和 (4)，其中 g_{j,k} 的系数由具有权重 ν 和 (2j−1−ν) 的配对单次项 Ψ_ν 与 Ψ_{2j−1−ν} 导出。
• 证明当 k ≤ (m+2j)(m+1)/2 − 1 − j 且 j ≥ (2m−1 + √(8m²+1))/2 时，系数 g_{j,k} 等于 r̃_{k;m,j}，从而确保稳定性。
• 利用非线性项中 q 的最小幂次 j(j+3)/2，推导出 j 的下界，以确保非线性项不干扰系数计算。
• 利用已知递推式 r_k = ∑_{ν=1}^∞ (−1)^{ν−1}(2ν+1) r_{k−ν(ν+1)/2}（其中 r_0=1，k<0 时 r_k=0）定义基于分拆的系数 r_k。

实验结果

研究问题

• RQ1 在哪些 j 和 k 的取值下，θ(q,x) 的第 j 个零点洛朗展开中的系数 g_{j,k} 稳定至与修正级数 (H_{m,j}) 的系数一致？
• RQ2 g_{j,k} 在何种精确 k 范围内不受 θ(q,−ξ_j) 展开中非线性项的影响？
• RQ3 通过向系数矩阵中逐列添加额外项至 (H_{m,j}) 级数，对 g_{j,k} 的稳定性产生何种影响？
• RQ4 划分为三类不同部分的分拆数 r_k 在 g_{j,k} 系数的稳定性中起何种作用？
• RQ5 在何种 j 和 m 条件下，更高阶单次项 Ψ_ν（ν ≥ m+2j）的缺失不会影响 g_{j,k} 的计算？

主要发现

• 当 k ≤ (m+2j)(m+1)/2 − 1 − j 且 j ≥ (2m−1 + √(8m²+1))/2 时，θ(q,x) 的第 j 个零点洛朗展开中的系数 g_{j,k} 与级数 (H_{m,j}) 的系数一致。
• 该稳定性条件仅在 θ(q,−ξ_j) 展开中的非线性项不贡献于 q^k 的系数时成立，即当此类项的最小幂次超过 (m+2j)(m+1)/2 时。
• 乘以非线性项的 q 的最小幂次为 j(j+3)/2，且该值必须 ≥ (m+2j)(m+1)/2 才能确保无干扰，从而导出对 j 的下界。
• 序列 {r_k} 由递推式 r_k = ∑_{ν=1}^∞ (−1)^{ν−1}(2ν+1) r_{k−ν(ν+1)/2} 定义，其中 r_0=1，k<0 时 r_k=0，且该序列计数划分为三类不同部分的分拆。
• 前 39 个 r_k 值被明确列出，其中 r_1=3，r_2=9，r_3=22，r_4=51，r_5=108，r_6=221，r_7=429，r_8=810，r_9=1479，依此类推。
• 证明中使用的矩阵 M_m 限制于无非线性项的行，其列结构确保在所述边界下，控制 g_{j,k} 的线性系统与 (H_{m,j}) 的线性系统等价。