[논문 리뷰] The closest to $0$ spectral number of the partial theta function

Vladimir Petrov Kostov|arXiv (Cornell University)|2016. 05. 18.

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

연구 동기 및 목표

• 복소수 q에 대해 |q| < 1 이며, θ(q, ·)가 다중 영역을 가지는 경우에 대해, 원판 $ \mathbb{D}_{0.31} $ 내에서 부분 theta 함수 $ \theta(q,x) = \sum_{j=0}^\infty q^{j(j+1)/2}x^j $의 모든 스펙트럴 수를 결정하는 것.
• $ \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) $ 내에서는 다중 영역이 존재하지 않으며, 스펙트럴 수가 고립되어 있음을 보이는 것.
• 함수 $ \theta $ 의 영역 $ \xi_j $ 의 로랑 급수 전개의 수렴 반경 $ \rho_j $ 가 $ j \to \infty $ 일 때 1으로 수렴함을 보여, 점 渐近 수렴 행동을 확인하는 것.

제안 방법

• 주로화 기법을 사용하여 $ \theta(q,x) $ 의 급수 전개에서 항의 절댓값을 추정함으로써, $ |q| \leq c_0 \approx 0.207875 $ 일 때는 단일 항이 지배적이며, 이는 모든 영역이 단순하고 다중 영역이 존재하지 않음을 의미함.
• |q| \leq 1/3 일 때, $ |x| = |q|^{-k-1/2} $ 인 경우에 대해 주요 항의 실수부와 허수부를 분석함으로써, 그러한 반경에서 $ \theta(q,x) \neq 0 $ 임을 증명함으로써 다중 영역의 가능성을 배제함.
• 관련된 자코비 유형의 theta 함수인 $ \Theta^* $ 에 대해 함수 방정식 $ \Theta^*(q,x) = qx\Theta^*(q,qx) $ 을 활용하여 영역의 구조와 이웃 영역에서의 수렴성을 분석함.
• $ \theta(q,x) = \Theta^*(q,x) + \Xi(q,x) $ 라고 표현함으로써, 큰 $ |x| $ 에서 $ \Xi $ 가 작다는 것을 보이고, 이는 은둔 함수 정리의 적용을 가능하게 하여 큰 $ k $ 에 대해 $ \Omega_k(\delta) $ 내에서 영역에 대해 유일한 해를 갖는 해석적 해를 증명함.
• 닫힌 원판 $ \bar{\mathbb{D}}_a \setminus \mathbb{D}_{c_0} $ 에서의 해석적 계속성과 컴actness 추론을 통해, 충분히 큰 $ 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 함수 $ \theta(q,\cdot) $ 의 영역 $ \xi_j $ 의 로랑 급수 전개의 수렴 반경 $ \rho_j $ 가 $ j \to \infty $ 일 때 1으로 수렴하는가?
• RQ4 $ \theta(\tilde{q}, \cdot) $ 의 이중 영역의 위치가 복소평면에서 유일하게 결정되고 고립되어 있는가?
• RQ5 $ j \to \infty $ 일 때 함수 $ \theta(q,\cdot) $ 의 영역 $ \xi_j $ 는 어떻게 행동하는가? 그리고 $ a < 1 $ 인 $ \mathbb{D}_a $ 내에서 $ 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 $ 일 때, $ k \geq 2 $ 에 대해 $ \theta(q,\cdot) $ 의 영역 중 어느 것도 원 $ |x| = |q|^{-k-1/2} $ 상에 존재하지 않으며, 이는 모든 영역가 단순하고 분리되어 있음을 의미함.
• 영역 $ \xi_j $ 의 로랑 급수 전개의 수렴 반경 $ \rho_j $ 는 $ j \to \infty $ 일 때 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 $ 에 대해, 함수 $ \theta(q,\cdot) $ 의 영역 $ \xi_j $ 는 단순하고 서로 다를 뿐만 아니라 $ \mathbb{D}_a $ 내에서 $ q $ 에 대해 유리형으로 의존하며, $ j > j_0 $ 일 때 $ \rho_j \geq a $ 이고, 로랑 급수는 $ \mathbb{D}_a $ 내에서 수렴함.