[논문 리뷰] Numerical computations on the zeros of the Euler double zeta-function I

Kohji Matsumoto, Mayumi Shōji|arXiv (Cornell University)|2014. 03. 15.

Advanced Mathematical Identities참고 문헌 11인용 수 4

한 줄 요약

이 논문은 두 가지 방법을 사용하여 오일러 이중 제타함수 ζ₂(s,s)의 영점에 대한 수치 계산을 제시한다: 직접 평가를 통한 정의 ζ₂(s,s) = ½(ζ(s)² − ζ(2s)) 및 영점의 위치를 확인하기 위한 새로운 '그물 던지기와 물고기 잡기' 접근법. 주요 발견은 ζ₂(s,s)의 비자명한 영점 분포가 히르체츠 제타함수와 유사하며, 임계판 내에서 밀도가 높게 분포하고, 도함수의 영이 아님을 통해 영점이 모두 단순하다는 것이다.

ABSTRACT

The distribution of the zeros of the Euler double zeta-function $ζ_2(s_1,s_2)$, in the case when $s_1=s_2$, is studied numerically. Some similarity to the distribution of the zeros of Hurwitz zeta-functions is observed.

연구 동기 및 목표

• 오일러 이중 제타함수 ζ₂(s,s)의 비자명한 영점 분포를 수치적으로 조사하는 것.
• 정의에서 공통된 덧셈적 구조를 지닌 히르체츠 제타함수 ζ(s,α)와의 영점 분포를 비교하는 것.
• 후보 영점이 진정한 영점인지, 단지 작은 값인지 구분하기 위한 새로운 수치 검증 방법을 개발하고 적용하는 것.
• ζ₂(s,s)의 영점이 단순함을 도함수 ζ₂′(s,s)의 계산과 함께 확인함으로써 증명하는 것.

제안 방법

• Mathematica의 내장된 ζ(s) 함수를 사용하여 효율적으로 값 계산을 위해 항등식 ζ₂(s,s) = ½(ζ(s)² − ζ(2s))를 활용한다.
• 오일러-마클로린 합공식을 적용하여 ζ₂(s₁,s₂)에 대한 점근 전개를 유도함으로써 수렴 영역에서의 수치 평가를 가능하게 한다.
• '그물 던지기와 물고기 잡기' 방법을 구현: σ를 작은 간격으로 변화시킬 때 복소평면 상에서 ζ₂(σ+it,σ+it)의 이미지를 추적하여 곡선이 원점을 가로질러가는 순간을 감지함으로써 영점 존재를 확인한다.
• 도함수 ζ₂′(s,s)를 항등식 d/ds[½(ζ(s)² − ζ(2s))]를 사용하여 계산하고, 각 점에서 0이 아님을 확인함으로써 후보 영점이 단순함을 검증한다.
• 특히 임계판 근처의 영점에 대해 신뢰성 있는 결과를 확보하기 위해 고정밀 산술(정확도 약 10⁻¹⁷)을 사용한다.

실험 결과

연구 질문

• RQ1 ζ₂(s,s)의 비자명한 영점은 히르체츠 제타함수 ζ(s,α)의 영점 분포와 유사한 패턴을 보일까?
• RQ2 ζ₂(s,s)의 맥락에서 수치 방법이 진정한 영점과 작은 비영인 값 사이를 신뢰성 있게 구분할 수 있을까?
• RQ3 ζ₂(s,s)의 영점은 단순한가, 아니면 다중도가 1을 초과하는 영점이 존재하는가?
• RQ4 ζ₂(s,s)의 영점 집합은 임계판 0 < Re(s) < 1 내에서 어떻게 행동하는가?

주요 결과

• 임계판 0 < Re(s) < 1 내에서 ζ₂(s,s)의 영점 분포는 히르체츠 제타함수와 유사하며, 하위영역에서 양의 밀도를 가지며, 60까지의 허수부를 가진 많은 영점 존재로 인해 뚜렷하게 드러난다.
• '그물 던지기와 물고기 잡기' 방법을 통해 직접 계산으로 확보된 모든 후보 영점이 진정한 영점임이 확인되었으며, 이는 복소평면 상의 해당 곡선이 원점을 가로질러가는 것으로 입증되었다.
• 발견된 영점 쌍 중 가장 가까운 거리는 복소평면에서 약 0.206로, 모든 영점이 고립되어 있으며 겹치지 않음을 시사한다.
• 도함수 ζ₂′(s,s)는 모든 테스트된 영점 위치에서 0이 아니라는 것이 계산되어, 모든 영점이 단순함(차수 1)임을 확인하였다.
• 수치 계산은 약 10⁻¹⁷의 정확도를 달성하여, 계산된 영점의 위치와 성격에 대해 매우 높은 신뢰도를 확보하였다.