[논문 리뷰] A strengthening of the Nyman-Beurling criterion for the Riemann Hypothesis

Luis Báez‐Duarte|ArXiv.org|2002. 02. 15.

Spectral Theory in Mathematical Physics참고 문헌 7인용 수 47

한 줄 요약

이 논문은 리만 가설에 대한 Nyman-Beurling 기준을 강화하여, 가설이 특성 함수 $\chi = \chi_{(0,1)}$ 가 자연수 $a \in \mathbb{N}$ 에 대해 $\rho_a(x) = \rho(1/(ax))$ 로 생성되는 부분공간 $\mathcal{B}^{\text{nat}}$ 의 닫힘에 속해 있다는 것과 동치임을 증명한다. 이는 전체 실수 $a \geq 1$ 대신 자연수 $a$ 로만 생성된 부분공간을 고려함으로써 더 강력한 동치성을 확립한다. 증명은 함수 $f_\epsilon(x) = \sum_{a=1}^\infty \frac{\mu(a)}{a^\epsilon} \rho_a(x)$ 를 통한 합산 방법을 사용하여, 리만 가설 하에 $\epsilon \downarrow 0$ 일 때 $f_\epsilon \to -\chi$ 가 $L_2(0,\infty)$ 에서 수렴함을 보이며, 이로써 더 강력한 동치성이 확립된다.

ABSTRACT

Let $ρ(x)=x-[x]$, $χ=χ_{(0,1)}$. In $L_2(0,\infty)$ consider the subspace $\B$ generated by $\{ρ_a | a \geq 1\}$ where $ρ_a(x):=ρ(\frac{1}{ax})$. By the Nyman-Beurling criterion the Riemann hypothesis is equivalent to the statement $χ\in\bar{\B}$. For some time it has been conjectured, and proved in this paper, that the Riemann hypothesis is equivalent to the stronger statement that $χ\in\bar{\Bnat}$ where $\Bnat$ is the much smaller subspace generated by $\{ρ_a | a\in\Nat\}$.

연구 동기 및 목표

• 리만 가설에 대한 Nyman-Beurling 기준의 더 강력한 형태를 확립하기 위해 전체 부분공간 $\mathcal{B}$ 를 자연수 $a \in \mathbb{N}$ 에 대해 생성되는 더 작은 부분공간 $\mathcal{B}^{\text{nat}}$ 로 대체한다.
• 리만 가설이 $\chi \in \overline{\mathcal{B}^{\text{nat}}}$ 를 함의함을 보여, 기존의 동치성을 강화한다.
• 깊은 하디 공간 기법을 피하는 $\epsilon$-정규화를 기반으로 한 합산 방법을 사용하여 Nyman-Beurling 기준의 새로운 증명을 제공한다.
• 자연적 근사 $F_n = \sum_{a=1}^n \mu(a) \rho_a$ 의 수렴 행동을 분석하고, $L_2$ 에서 발산함을 보이며, 정규화된 형태가 필요함을 암시한다.

제안 방법

• 모든 $\epsilon > 0$ 에 대해 $f_\epsilon(x) = \sum_{a=1}^\infty \frac{\mu(a)}{a^\epsilon} \rho_a(x)$ 를 정의하며, 이는 점별 수렴하고 리만 가설 하에 $L_2(0,\infty)$ 에서 수렴함을 보인다.
• 수렴 분석을 위해 $\mathbf{M}(f)(\tau) = \int_0^\infty x^{-1/2 + i\tau} f(x) dx$ 라는 푸리에-메린 변환을 사용하며, $\zeta(s)$ 의 알려진 적분 표현을 활용한다.
• 레마 2.1 (Balazard-Saias) 을 적용하여 부분합 $\sum_{a=1}^n \mu(a)/a^{1/2 + \epsilon + i\tau}$ 의 제어를 하며, $1/\zeta(1/2 + \epsilon + i\tau)$ 로 수렴함을 보이고 오차를 통제한다.
• 레마 2.2 를 사용하여 비율 $|\zeta(1/2 - \epsilon + i\tau)/\zeta(1/2 + \epsilon + i\tau)| \leq C(1 + |\tau|)^\epsilon$ 의 유계성을 확보함으로써 적분 가능성과 플랑커렐 정리에 의한 $L_2$ 수렴을 가능하게 한다.
• 모든 $\epsilon > 0$ 에 대해 $X_\epsilon f_{2\epsilon,n} \to X_\epsilon f_{2\epsilon}$ 가 $L_2$ 에서 수렴하며, $\epsilon \downarrow 0$ 일 때 $f_\epsilon \to -\chi$ 가 $L_2$ 에서 수렴함을 보여 $\chi \in \overline{\mathcal{B}^{\text{nat}}}$ 를 증명한다.
• 리만 제타 함수의 함수방정식과 $\Gamma$-함수의 游근 성질을 사용하여 레마 2.2 의 유계성을 유도하며, 리만 가설에 의존하지 않는다.

실험 결과

연구 질문

• RQ1 리만 가설은 $\mathcal{B}^{\text{nat}}$ 가 자연수 $a \in \mathbb{N}$ 에 대해 $\rho_a$ 로 생성되는 부분공간일 때, $\chi \in \overline{\mathcal{B}^{\text{nat}}}$ 와 동치인가?
• RQ2 기존의 Nyman-Beurling 기준은 자연수 $a$ 로만 생성된 함수들로 제한함으로써 강화될 수 있는가?
• RQ3 리만 가설 하에 정규화된 합 $f_\epsilon(x) = \sum_{a=1}^\infty \frac{\mu(a)}{a^\epsilon} \rho_a(x)$ 가 $\epsilon \downarrow 0$ 일 때 $L_2(0,\infty)$ 에서 $-\chi$ 로 수렴하는가?
• RQ4 깊은 하디 공간 이론에 의존하지 않고도 $f_\epsilon$ 의 $L_2$ 수렴을 확립할 수 있는가?

주요 결과

• 리만 가설은 $\chi \in \overline{\mathcal{B}^{\text{nat}}}$ 와 동치이며, 여기서 $\mathcal{B}^{\text{nat}}$ 는 $L_2(0,\infty)$ 에서 $\{\rho_a \mid a \in \mathbb{N}\}$ 의 닫힌 선형 스펙트럼이다. 이는 Nyman-Beurling 기준을 강화한다.
• 리만 가설 하에 함수 $f_\epsilon(x) = \sum_{a=1}^\infty \frac{\mu(a)}{a^\epsilon} \rho_a(x)$ 는 $\epsilon \downarrow 0$ 일 때 $L_2(0,\infty)$ 에서 $-\chi$ 로 수렴한다.
• 수렴은 푸리에-메린 변환과 유계성 조건 $|\zeta(1/2 - \epsilon + i\tau)/\zeta(1/2 + \varepsilon + i\tau)| \leq C(1 + |\tau|)^\epsilon$ 을 통해 확립되며, 이는 변환 도메인에서의 적분 가능성과 관련이 있다.
• $0 < \epsilon < 1/4$ 에 대해 $X_\epsilon f_{2\epsilon,n}$ 이 $X_\epsilon f_{2\epsilon}$ 로 $L_2$ 에서 수렴함을 플랑커렐 정리와 균일한 상한 함수의 $L^2$ 적분 가능성에 의해 보였다.
• 이 증명은 하디 공간 기법을 피하는 자가 포함된 Nyman-Beurling 기준의 새로운 증명을 제공하며, $\epsilon$-정규화를 기반으로 한 합산 방법을 사용한다.
• 결과는 자연적 근사 $F_n = \sum_{a=1}^n \mu(a) \rho_a$ 가 $L_2$ 에서 발산하지만, 정규화된 형태인 $f_\epsilon$ 는 $-\chi$ 로 수렴함을 시사하며, 이는 수렴이 합산 방법을 통해만 가능하다는 것을 암시한다.