[논문 리뷰] Stabilization of the asymptotic expansions of the zeros of a partial theta function

Vladimir Petrov Kostov|arXiv (Cornell University)|2015. 10. 09.

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}$.

연구 동기 및 목표

• θ(q,x)의 j번째 영점의 점근 전개에서 계수 g_{j,k}의 기존 안정성 성질을 보다 정밀하게 다듬는 것.
• 계수 g_{j,k}가 수정된 생성 급수 (H_{m,j})의 계수와 일치하는 정확한 조건을 설정하여, 증가하는 j에 대해 안정성이 유지됨을 보장하는 것.
• 세 가지 다른 종류의 부분으로 나누어진 분할 수 r_k에 기반한 재귀를 통해 계수 g_{j,k}를 특성화하는 것.
• 비선형 항이 g_{j,k}의 계산에 영향을 주지 않는 j와 k의 범위를 결정하여, (H_{m,j})와의 정확한 일치를 가능하게 하는 것.

제안 방법

• 생성 급수 ∑r_k q^k와 q의 거듭제곱의 유한한 교대 합의 곱으로서, ∑r̃_{k;m,j} q^k를 형성하는 수정된 급수 (H_{m,j})를 정의한다.
• 모노미얼 Ψ_ν = 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를 정의함으로써, 분할 기반 계수 r_k를 정의한다.

실험 결과

연구 질문

• RQ1 θ(q,x)의 j번째 영점의 로랑 전개 계수 g_{j,k}가 수정된 급수 (H_{m,j})의 계수와 일치하는 j와 k의 값은 무엇인가?
• RQ2 θ(q,−ξ_j)의 전개에서 비선형 항이 g_{j,k}에 영향을 주지 않는 k의 정확한 범위는 무엇인가?
• RQ3 계수 행렬에 열을 순차적으로 추가함으로써 (H_{m,j}) 급수에 추가 항을 포함시키는 것이 g_{j,k}의 안정성에 어떤 영향을 미치는가?
• RQ4 세 가지 다른 종류의 부분으로 나누어진 분할 수 r_k가 g_{j,k}의 안정성에 어떤 역할을 하는가?
• RQ5 더 높은 차수의 모노미얼 Ψ_ν (ν ≥ m+2j)가 g_{j,k} 계산에 영향을 주지 않는 j와 m에 대한 조건은 무엇인가?

주요 결과

• j번째 영점의 로랑 전개 계수 g_{j,k}는 모든 k ≤ (m+2j)(m+1)/2 − 1 − j 이고 j ≥ (2m−1 + √(8m²+1))/2 인 경우, 급수 (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)로 정의되며, 세 가지 다른 종류의 부분으로 나누어진 분할 수를 세는 데 쓰인다.
• r_k의 첫 39개 값이 명시적으로 나열되어 있으며, 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})의 것과 동치임을 보장한다.