기술적 요약: B´aez-Duarte 기준에 관한 몇 가지 고찰

문제 정의

본 논문은 Nyman-Beurling 기준과 그보다 강력한 변형인 B´aez-Duarte 기준의 관점에서 리만 가설(RH)을 다룬다. 핵심 문제는 제곱 적분 가능한 함수들의 힐베르트 공간 내 특정 부분 공간의 밀도를 통해 리만 가설을 특징짓는 것이다.

구체적으로, $H$를 함수 $f: [1, +\infty[ \to \mathbb{C}$ 중 $\int_1^\infty |f(t)|^2 t^{-2} dt < \infty$를 만족하는 함수들의 힐베르트 공간이라 하고, 스칼라 곱을 $\langle f|g \rangle = \int_1^\infty f(t)\overline{g(t)}t^{-2} dt$로 정의한다. 또한 $B_{nat}$를 $n \in \mathbb{N} \setminus \{0\}$에 대하여 $\gamma_n(t) = [\frac{t}{n}] - \frac{[t]}{n}$인 함수들의 가족에 의해 생성된 부분 공간이라 하자. B´aez-Duarte 기준은 리만 가설이 상수 함수 $1$이$B_{nat}$의 폐포(denote $\overline{B_{nat}}$)에 속한다는 조건과 동치임을 명시한다.

본 논문의 목적은 기저 요소 $\gamma_n$들의 선형 결합을 사용하여 상수 함수 $1$을 근사하는 것과 관련된 립(lemma)들을 도출하며, 특히 모비우스 함수 $\mu(n)$을 포함하는 수열의 수렴성을 조사하는 것이다.

방법론

저자는 해석적 정수론, 함수해석학, 그리고 점근적 분석을 결합하여 연구를 진행한다. 방법론은 다음 단계로 진행된다:

1. 함수적 설정 및 적분 표현: 논문은 $H$에서의 스칼라 곱과 리만 제타 함수 $\zeta(z)$ 사이의 관계를 확립한다. 저자는 $\text{Re}(z) > 1/2$에 대하여 $\langle t^{1-z} | \gamma_n \rangle = (\frac{1}{nz} - \frac{1}{n})\frac{\zeta(z)}{z}$라는 항등식을 유도한다. 이는 힐베르트 공간의 기하학적 구조를 $\zeta(z)$의 영점과 연결한다.
2. 모비우스 역변환 및 근사: 저자는 $\mu(n)$을 이용한 함수 $f_N = \sum_{n=1}^N \mu(n)\gamma_n$를 통한 함수 $1$의 자연스러운 근사를 조사한다. B´aez-Duarte를 인용하며, 저자는 이 특정 수열이 $H$에서 발산함을 지적한다. 이에 따라 저자는 발산을 정규화하기 위해 매개변수화된 함수족을 도입한다.
3. 지수적 보정: 매개변수 $u > 0$에 대하여 다음과 같은 함수족 $f(u)$를 정의한다:
   $$f(u)(t) = \sum_{n=1}^\infty \mu(n)e^{-nu}\gamma_n(t)$$
   논문은 $u \to 0$일 때 $\|f(u)\|_2$의 노름(norm)과 스칼라 곱 $\langle 1 | f(u) \rangle$의 연속성을 분석한다.
4. 급수의 점근적 분석: 저자는 코탄젠트 합(cotangent sums)과 로그 항을 포함하는 $\langle \gamma_n | \gamma_m \rangle$의 명시적 공식들을 유도하며, 이는 Vasyunin의 선행 연구를 참조한다. 이들은 $\mu(n)$, $\log(n)$, 그리고 산술 함수들을 포함하는 멱급수로 $\|f(u)\|_2^2$를 전개하는 데 사용된다.
5. 다항식 근사 및 오차 범위: 논문은 모비우스 함수의 부분합과 관련된 다항식 $Q_k(x)$를 도입하고, 이를 함수 $g(x) = \sum \frac{\mu(n)}{n}x^n$와 비교한다. 제타 함수의 Vinogradov-Koborov 영역 자유 영역(zero-free region)을 사용하여, 저자는 이 다항식 근사의 오차에 대한 무조건적인 상한(unconditional bounds)을 확립한다.

주요 기여 및 결과

1. 수정된 기준 및 모순 논증

논문은 만약 $1 \in \overline{B_{nat}}$라면, $\text{Re}(z) > 1/2$인 모든 $z$에 대해 $\zeta(z) \neq 0$임을 재확인한다. 이 논증은 만약 어떤 $z_0$가 존재하여 $\text{Re}(z_0) > 1/2$라면, 스칼라 곱 $\langle t^{1-z_0} | s_n \rangle$이 $0$이 되어$1/z_0 = 0$이라는 모순을 초래한다는 사실에 기초한다.

2. 지수적 보정의 분석

논문은 $u > 0$에 대하여 함수 $f(u)$가 $B_{nat}$에 속함을 증명한다.

• 연속성: 함수 $u \mapsto \langle 1 | f(u) \rangle = -\sum_{n=1}^\infty \frac{\mu(n)}{n} \log(n) e^{-nu}$가 $[0, +\infty[$에서 균등 수렴하며 $u=0$에서 연속이고, $\lim_{u \to 0} \langle 1 | f(u) \rangle = 1$임을 보인다.
• 노름 수렴 조건: 리만 가설은 $\lim_{u \to 0} \|f(u)\|_2^2 = 1$과 동치임을 입증한다. 난점은 모비우스 함수의 복잡한 상호작용을 포함하는 이 극한값을 증명하는 데 있다.

3. 노름의 멱급수 전개

저자는 $x \in (0, 1)$에 대하여 $F(x) = \|f(-\log x)\|_2^2$의 상세한 전개를 유도한다. 이 전개는 $\sum \mu(n)x^n$, $\sum \frac{\mu(n)}{n}x^n$, $\sum \frac{\mu(n)\log n}{n}x^n$ 형태의 멱급수들과 코탄젠트 합을 포함하는 항들의 곱을 포함한다.

• 점근적 상쇄: $\log n$과 오일러 상수 $\gamma$를 포함하는 코탄젠트 합의 점근적 공식을 대입함으로써, 저자는 발산하는 항들이 상쇄되어 $G(1) = -1$을 만족하며 $x=1$에서 연속인 함수 $G(x)$가 남음을 보여준다.
• 하한: 만약 극한 $L = \lim_{x \to 1} F(x)$가 존재한다면, $L \ge 1$이라는 립을 증명한다.

4. 다항식 근사 및 오차 범위

논문은 $Q_k(x)$를 모비우스 함수와 관련된 부분합의 평균으로 정의한다.

• 수렴성: $Q_k$가 $[0, 1)$의 컴팩트 부분집합 위에서 $g(x)$로 균등 수렴함을 증명한다.
• 무조건적 오차 범위: Vinogradov-Koborov의 영역 자유 영역을 활용하여, 저자는 다음과 같은 무조건적 오차 상한을 도출한다:
  $$\|Q_k - g\|_\infty \ll \exp\left(-c (\log k)^{3/5} (\log \log k)^{-1/5}\right)$$
  이 결과는 리만 가설을 가정하지 않고도 이 다항식들이 극한 함수를 얼마나 잘 근사하는지에 대한 정량적 척도를 제공한다.

5. 극한 함수의 연속성

논문은 마지막으로 $\sum_{k \ge 1} \frac{\|h_k\|}{k(k+1)}$이 수렴함을 증명함으로써, 여기서 $h_k$는 근사의 구성 요소이다. 이는 이 급수로 정의된 함수가 연속임을 의미하며, 기준에 사용된 근사들의 해석적 성질을 강화한다.

의의 및 주장

본 논문은 리만 가설의 증명이라기보다 B´aez-Duarte 기준과 관련된 "흥미로운 립들의 모음"으로서 자신을 위치시킨다. 그 의의는 다음과 같다:

• 근사 전략의 정교화: 자연적 근사($\sum \mu(n)\gamma_n$)의 발산을 넘어, 지수적 보정을 도입하고 그 수렴성을 분석함으로써 한 단계 나아갔다.
• 기하학과 산술의 연결: 힐베르트 공간 내의 노름 수렴을 모비우스 함수 및 리만 제타 함수를 포함하는 급수의 점근적 거동과 명시적으로 연결하였다.
• 무조건적 상한 제공: 제타 함수의 최신 영역 자유 영역을 활용하여, 모비우스 관련 함수 $g(x)$에 대한 다항식 근사의 무조건적 오차 범위를 제공한다.
• 극한 조건의 명확화: 리만 가설을 확인하기 위해 증명되어야 할 구체적인 조건($\lim_{u \to 0} \|f(u)\|_2^2 = 1$)을 분리해냄으로써, 이 접근법에 남아 있는 정확한 해석적 난관을 명확히 하였다.

저자는 자연적 근사는 발산하며 지수적 보정은 노름 극한에 대한 추가 분석이 필요하다는 점을 언급하며, 도출된 립과 상한들이 기준을 조사하기 위한 구조화된 틀을 제공한다는 점에서 겸허한 태도를 유지하고 있다.