[논문 리뷰] Jacob's ladders and the almost exact asymptotic representation of the Hardy-Littlewood integral

Jan Moser|arXiv (Cornell University)|2009. 01. 26.

Analytic Number Theory Research참고 문헌 4인용 수 14

한 줄 요약

이 논문은 Titchmarsh-Kober-Atkinson (TKA) 공식에서 유도된 비선형 적분방정식의 특수한 해인 Jacob의 사다리—Hardy-Littlewood 적분 $\int_0^T |\zeta(1/2 + it)|^2 dt$의 거의 정확한 점근적 표현을 제공한다. 이 방법은 각각 Jacob의 사다리에 대응하는 빔 유사한 함수 집합 $\varphi(T)$를 구성하며, 오차 $\mathcal{O}(\ln T / T)$를 갖는 매우 정밀한 점근 공식을 도출한다. 이는 Balasubramanian, Heath-Brown 및 Ivić의 이전 결과보다 크게 향상된 것이다.

ABSTRACT

In this paper we introduce a nonlinear integral equation such that the system of global solution to this equation represents a class of a very narrow beam at $T o\infty$ (an analogue to the laser beam) and this sheaf of solutions leads to an almost-exact representation of the Hardy-Littlewood integral. The accuracy of our result is essentially better than the accuracy of related results of Balasubramanian, Heath-Brown and Ivic.

연구 동기 및 목표

• Hardy-Littlewood 적분 $\int_0^T |\zeta(1/2 + it)|^2 dt$에 대해 기존 결과보다 훨씬 향상된 정확도를 갖는 새로운 점근적 표현 클래스를 개발하는 것.
• 리만 제타 함수의 비자명한 영점 분포와 새로운 종류의 매끄럽고 증가하는 함수인 Jacob의 사다리 간의 연결 고리를 설정하는 것.
• Titchmarsh-Kober-Atkinson (TKA) 공식이 새로운 $Z^2$-변환과 비선형 적분방정식을 통해 해석될 경우, 더 깊은 구조적 원리를 내포하고 있음을 보여주는 것.
• Jacob의 사다리 시스템이 무한대에서 서로 매우 가까이 수렴하는 '레이저 빔'-유사 농도를 보임을 보여주는 것.

제안 방법

• Jacob의 사다리를 정의하는 비선형 적분방정식 $\int_0^{\mu[x(T)]} Z^2(t) e^{-2t/x(T)} dt = \int_0^T Z^2(t) dt$ 를 도입한다.
• $\mu(y) \geq 7y\ln y$ 를 만족하는 매끄럽고 단조증가하는 함수의 집합 $\{\mu\}$ 를 정의하여, 각각의 해 $\varphi(T)$ 가 존재하고 유일함을 보장한다.
• 각 $\varphi(T) \in \{\varphi\}$ 가 $\zeta(1/2 + it)$ 의 비자명한 영점 $t = \gamma$ 에서 수평 탄성선을 갖는 변곡점을 가지며, 그 차수 $n(\gamma) = \mathcal{O}(\ln \gamma)$ 임을 증명한다.
• $Z^2$-변환을 적용하여 레이 꼴의 사다리 집합 $\{\varphi\}$ 로의 사다리 빔을 매핑함으로써, 무한대에서 고도로 집중된 레이저 빔 유사한 행동을 모방한다.
• 점근 공식 $\int_0^T Z^2(t) dt = F[\varphi(T)] + r[\varphi(T)]$ 를 유도하며, 여기서 $F[y] = \frac{y}{2}\ln\left(\frac{y}{2}\right) + (c - \ln(2\pi))\frac{y}{2} + c_0$ 이고 $r[\varphi(T)] = \mathcal{O}(\ln \varphi(T)/\varphi(T))$ 이다.
• 변수 치환 $Te^{-a} = \tau$, $e^{-a}\varphi(e^a\tau) = \psi(\tau)$ 를 통해 $\varphi(T)/T$ 의 계수에 대한 거듭제곱 형태의 점근적 전개를 유도한다.

실험 결과

연구 질문

• RQ1 Hardy-Littlewood 적분 $\int_0^T |\zeta(1/2 + it)|^2 dt$ 는 $\mathcal{O}(T^{1/3+\epsilon})$ 보다 작은 오차로 표현될 수 있는가?
• RQ2 비자명한 영점 $\zeta(1/2 + it)$ 이 적분의 점근적 행동에 정규화된 구조를 유도하는가?
• RQ3 Titchmarsh-Kober-Atkinson 공식은 무한대에서 고도로 집중된 함수 빔 시스템을 생성하는 것으로 해석될 수 있는가?
• RQ4 Hardy-Littlewood 적분의 점근적 표현 계열 중에서 대표 함수의 선택에 대해 안정적이고 무한대에서 상호 수렴하는 계열이 존재하는가?

주요 결과

• 점근 공식 $\int_0^T Z^2(t) dt = F[\varphi(T)] + r[\varphi(T)]$ 는 $F[y] = \frac{y}{2}\ln\left(\frac{y}{2}\right) + (c - \ln(2\pi))\frac{y}{2} + c_0$ 와 오차 $r[\varphi(T)] = \mathcal{O}(\ln T / T)$ 를 갖는다. 이는 Balasubramanian의 공식보다 훨씬 작은 오차인 $\mathcal{O}(T^{1/3+\epsilon})$ 를 갖는다.
• 임의의 두 Jacob의 사다리 $\varphi_1(T), \varphi_2(T) \in \{\varphi\}$ 에 대해 차이는 $\varphi_1(T) - \varphi_2(T) = \mathcal{O}(1/T)$ 를 만족하며, 이는 무한대에서 '무한히 가까운 접근'을 의미한다.
• 만약 집합 $\{\mu(y_0)\}$ 가 유계이면, 모든 $\varphi(T) \in \{\varphi\}$ 는 고정된 $\varphi_0(T)$ 와 $\mathcal{O}(1/T)$ 이내에 존재하므로, 점근적 표현의 안정성을 보여준다.
• 점근 공식의 주요 항 $\frac{\varphi(T)}{2}\ln\left(\frac{\varphi(T)}{2}\right)$ 는 스스로가 Jacob의 사다리임을 보여주며, 자기 유사성과 미세한 구조를 지닌 주요 항임을 드러낸다.
• 이 방법을 통해 $\varphi(T)/T$ 의 역수 $\ln T$ 의 거듭제곱 형태로 점근 전개를 가능하게 하며, 계수 $A_1 = 1 - c$, $A_3 = \frac{1}{2}(1 - c)^2$ 등은 TKA 공식을 $Z^2$-변환을 통해 유도할 수 있다.
• 유도된 공식 (8.4) 는 길이가 1 이하인 간격에서 $T$ 에서 $T + T^{1/3+\epsilon_0}$ 까지의 $\int_a^b Z^2(t) dt$ 를 추정할 수 있게 하며, 이는 Heath-Brown 및 Ivić 의 추정이 달성하지 못한 영역이다.