[논문 리뷰] Equivalence of Riesz and Baez-Duarte criterion for the Riemann Hypothesis

Jerzy Cisło, Marek Wolf|ArXiv.org|2006. 07. 31.

Analytic Number Theory Research참고 문헌 6인용 수 3

한 줄 요약

이 논문은 리에즈 함수 $ R(x) $와 바에즈-두아르트 수열 $ c_k $ 사이의 정확한 수학적 동치성을 증명하며, 리만 가설에 대한 두 기준 사이의 명시적 함수적 관계를 유도한다. $ \delta \in (0,1) $ 에 대해 $ c_k = \mathcal{O}(k^{-\delta}) $ 이다 만약이고 뿐만 아니라 $ R(x) = \mathcal{O}(x^{1-\delta}) $ 이다. 이는 기존의 $ \delta = 3/4 $ 및 $ \delta = 1/4 $ 사례를 일반화한 것으로, 두 수열에 대한 점근적 공식과 수치적 경계를 제공한다.

ABSTRACT

We investigate the relation between the Riesz and the Baez-Duarte criterion for the Riemann Hypothesis. In particular we present the relation between the function $R(x)$ appearing in the Riesz criterion and the sequence $c_k$ appearing in the Baez-Duarte formulation. It is shown that $R(x)$ can expressed by $c_k$ and vice versa the sequence $c_k$ can be obtained from the values of $R(x)$ at integer arguments. We give also some relations involving $c_k$ and $R(x)$, in particular value of the alternating sum of $c_k$.

연구 동기 및 목표

• 리에즈 함수 $ R(x) $와 바에즈-두아르트 수열 $ c_k $ 사이의 엄밀한 수학적 연결을 수립하며, 이 둘은 모두 리만 가설에 대한 동치 기준이다.
• 기존의 $ \delta = 3/4 $ 및 $ \delta = 1/4 $ 지수 대응을 임의의 $ \delta \in (0,1) $ 으로 일반화하여 $ c_k = \mathcal{O}(k^{-\delta}) \Leftrightarrow R(x) = \mathcal{O}(x^{1-\delta}) $ 를 증명한다.
• 리에즈 함수 $ R(x) $와 $ c_k $ 에 대한 빠르게 수렴하는 계산 공식을 제공하여 직접 합산보다 더 효율적인 수치적 평가를 가능하게 한다.
• 특히 $ \sum_{k=0}^n c_k $ 에 대한 부분합의 점근적 행동을 분석하고, 교대합 $ \sum_{k=0}^n (-1)^k c_k $ 의 수렴성을 조사한다.

제안 방법

• 모비우스 함수를 사용하여 $ R(x) $ 의 가속화된 급수 표현을 유도한다: $ R(x) = x \sum_{n=1}^\infty \frac{\mu(n)}{n^2} e^{-x/n^2} $, 이는 더 빠른 수치적 계산을 가능하게 한다.
• 수열의 전진 차분을 사용하여 $ R(x) $ 를 $ c_k $ 로 표현함으로써 두 기준 사이의 직접적인 기능적 연결을 수립한다.
• 바에즈-두아르트 점근적 공식 $ c_{k-1} \approx \frac{1}{2k} \sum_\rho \frac{k^{\rho/2} \Gamma(1 - \rho/2)}{\zeta'(\rho)} $ 를 적용하며, 여기서 $ \rho $ 는 비자명한 제타 함수의 영점이다. 이를 통해 $ c_k $ 의 감쇠 속도를 분석한다.
• 근사 오차에 대한 경계를 유도한다: $ k > 16 $ 에 대해 $ |R(k)/k - c_k| \leq C k^{-3/2} $ 를 유도하며, 이는 큰 $ k $ 에서 $ c_k \approx R(k)/k $ 가 매우 정확하다는 것을 보여준다.
• 적분 추정과 스타링의 근사법을 사용하여 $ R(x) $ 와 $ c_k $ 의 급수에서 지수적 근사와 이항계수 근사 간의 차이를 경계한다.
• 주요 제타 영점 $ \rho_1 = \frac{1}{2} + i\gamma_1 $ 의 기여를 통해 $ c_k $ 의 진동 행동을 분석하며, $ \log k $ 에 대한 감쇠 코사인 함수처럼 행동함을 보여준다.

실험 결과

연구 질문

• RQ1 리에즈 기준 $ R(x) = \mathcal{O}(x^{1/4+\epsilon}) $ 이 바에즈-두아르트 기준 $ c_k = \mathcal{O}(k^{-3/4+\epsilon}) $ 와 더 일반적인 형태로 동치임을 보일 수 있는가?
• RQ2 리에즈 함수 $ R(x) $ 와 바에즈-두아르트 수열 $ c_k $ 는 어떻게 분석적으로 관련되어 있으며, 한 쪽이 다른 쪽으로 표현될 수 있는가?
• RQ3 부분합 $ \sum_{k=0}^n c_k $ 의 점근적 행동은 무엇이며, 수렴하는가 아니면 진폭이 증가하는 진동을 보이는가?
• RQ4 근사식 $ c_k \approx R(k)/k $ 는 엄밀하게 정당화될 수 있으며, 이 근사의 오차 경계는 무엇인가?
• RQ5 교대합 $ \sum_{k=0}^n (-1)^k c_k $ 는 수렴하여 한계를 가지는가? 만약 그렇다면 수렴 속도는 어떠한가?

주요 결과

• 논문은 일반적인 동치성을 증명한다: 임의의 $ \delta \in (0,1) $ 에 대해 $ c_k = \mathcal{O}(k^{-\delta}) $ 이다 만약이고 뿐만 아니라 $ R(x) = \mathcal{O}(x^{1-\delta}) $ 이다. 이는 기존의 $ \delta = 3/4 $ 및 $ \delta = 1/4 $ 사례를 일반화한 것이다.
• $ c_k $ 와 $ R(k)/k $ 사이의 근사 오차는 $ |R(k)/k - c_k| \leq \frac{3\sqrt{\pi}}{16} k^{-3/2} + \mathcal{O}(k^{-2}) $ 로 경계되며, $ k > 16 $ 에서 주요 항은 $ \sim k^{-3/2} $ 이다.
• 부분합 $ \sum_{k=0}^n c_k $ 는 진폭 $ \mathcal{O}(n^{1/4}) $ 으로 $ -2 $ 근처에서 진동하며, 발산함을 시사한다.
• 교대합 $ \sum_{k=0}^n (-1)^k c_k $ 는 오차 $ \mathcal{O}(n^{-3/4}) $ 와 함께 한계 $ s \approx 0.782527985 $ 로 수렴하며, 안정적인 한계를 가짐을 시사한다.
• $ c_k $ 의 진동 성격은 첫 번째 비자명한 제타 영점 $ \rho_1 $ 에 의해 주로 결정되며, 큰 $ k $ 에서 $ c_k \approx \text{Re}\left( a_1 \cos(\gamma_1 \log k / 2) \right) $ 와 같이 행동한다.
• 적분 표현 $ \int_0^1 (1 - y^2)^k dy = \frac{1}{2} B(\frac{1}{2}, k+1) \sim \frac{\sqrt{\pi}}{2\sqrt{k+1}} $ 는 $ c_k $ 의 이항계수 항의 점근적 행동을 확인한다.