[논문 리뷰] A separation in modulus property of the zeros of a partial theta function

Vladimir Petrov Kostov|arXiv (Cornell University)|2017. 04. 06.

Advanced Mathematical Identities참고 문헌 19인용 수 5

한 줄 요약

이 논문은 $|q| \leq 1 - 1/(α_0 n)$ 이며 $n \geq 5$ 인 $q$-값에 대해 부분 $θ$-함수 $\theta(q,z) = \sum_{j=0}^{\infty} q^{j(j+1)/2} z^j$ 의 영점에 대한 모듈러스 분리 성질을 수립한다. 이는 $k \geq n$ 인 경우, $|q|^{-k+1/2} < |\xi_k| < |q|^{-k-1/2}$ 를 만족하는 유일한 단순 영점 $\xi_k$ 가 존재함을 증명하며, 나머지 $n-1$ 개의 영점은 모듈러스가 $|q|^{-n+1/2}$ 이하임을 보여준다. 또한, $\theta$ 가 이중 영점을 가지는 특정 스펙트럼 값의 $q$ 를 규명한다.

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(q,z)$ 의 영점에 대한 모듈러스 분리 성질을 수립하기.
• $k \geq n$ 이고 $n \geq 5$ 인 경우, $k$-번째 영점 $\xi_k$ 의 위치를 $|q|^{-k \pm 1/2}$ 에 대한 모듈러스 기준으로 특성화하기.
• $\theta(q, \cdot)$ 가 다重(특히 이중) 영점을 가지는 $q$ 의 스펙트럼 값의 존재를 증명하기.
• 스펙트럼 값과 그에 해당하는 이중 영점에 대한 명시적 수치적 추정 제공하기.

제안 방법

• Rouché의 정리를 사용하여 $k \geq n$ 인 경우, $|q|^{-k+1/2} < |z| < |q|^{-k-1/2}$ 의 링형 영역 내에 유일한 영점 $\xi_k$ 가 존재하고 고립됨을 증명한다.
• 삼각 부등식과 기하급수적 추정을 적용하여 $\theta(q,z)$ 의 항들의 모듈러스 합을 유계화함으로써, $|z| = |q|^{-k-1/2}$ 에서 $k$-번째 항이 지배함을 보장한다.
• 기본 추정치의 엄밀한 부등식을 확인하기 위해 기호 계산(MAPLE 등)을 통한 수치적 검증을 수행함. 특히 $|q|$ 가 임계 임계값 근처일 경우에 중점적으로 적용한다.
• 콤���트 집합 $U \times V$ 에서 $\theta(q,z)$ 의 부분합의 실수부와 허수부를 분석하여 편차를 유계화하고 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$ 값에 대해 $|q| \leq 1 - 1/(\alpha_0 n)$ 이고 $n \geq 5$ 라면, 부분 $θ$-함수 $\theta(q, \cdot)$ 가 $|q|^{-k+1/2} < |\xi_k| < |q|^{-k-1/2}$ 를 만족하는 유일한 단순 영점 $\xi_k$ 를 가지는가?
• RQ2 동일한 조건 하에서 $\theta(q, \cdot)$ 의 나머지 $n-1$ 개 영점의 최대 모듈러스는 무엇인가?
• RQ3 영점이 다중(특히 이중)인 $q$ 값(스펙트럼 값)이 존재하는가? 만약 존재한다면, 그 위치와 중복도는 무엇인가?
• 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(q, \cdot)$ 에 대해 $|q|^{-k+1/2} < |\xi_k| < |q|^{-k-1/2}$ 를 만족하는 유일한 단순 영점 $\xi_k$ 가 존재한다.
• $\theta(q, \cdot)$ 의 나머지 $n-1$ 개 영점의 모듈러스는 $|q|^{-n+1/2}$ 이하로 유계화된다.
• 특히 $q \approx 0.435318 \pm i\,0.123044$ 와 같은 스펙트럼 값의 $q$ 가 존재하며, 이 경우 $\theta(q, \cdot)$ 는 $\xi \approx -5.963 \pm i\,6.104$ 에 이중 영점을 가진다.
• 모듈러스 분리 성질은 $|q| \leq c_0 \approx 0.207875$ 내에서 $q$ 에 대한 해석적 계속성에 대해 안정적이며, $n \geq 5$ 인 경우 $|q| \leq 1 - 1/(\alpha_0 n)$ 으로 확장된다.
• 기호 계산을 통한 수치적 검증을 통해, $\theta^*$ 와 $\theta^{0}$ 의 실수부 및 허수부가 콤팩트 집합에서 유계로 유지됨을 확인하였으며, 이는 Rouché의 정리 적용에 유리하다.
• 점 $z = A$ 와 $z = C$ 에서 $\theta^*$ 의 첫 다섯 단항식의 실수부 합은 $(0.03, 0.08)$ 에 속하고, 허수부 합은 $(0.15, 0.20)$ 에 속하며, 고차항의 오차 기여는 $10^{-4}$ 이하이다.