[논문 리뷰] A canonical system of differential equations arising from the Riemann zeta-function

Masatoshi Suzuki|arXiv (Cornell University)|2012. 04. 09.

advanced mathematical theories참고 문헌 20인용 수 3

한 줄 요약

이 논문은 리만 엑시-함수에서 유도된 미분방정식의 표준체계를 수립하며, 리만 가설(RH)을 ω > 1인 경우에 대해 Θω(z) = ξ(1/2−ω−iz)/ξ(1/2+ω−iz)의 유리형 내부 함수 성질과 연결한다. 이는 컴act 적분 연산자의 프레드홀름 행렬식을 통해 조건 없이 체계를 구성하며, 관련 해밀토니안 행렬의 양의 준정부정성에 기반한 RH에 대한 기준을 제시한다.

ABSTRACT

This paper has two main results, which relate to a criteria for the Riemann hypothesis via the family of functions $Θ_ω(z)=ξ(1/2-ω-iz)/ξ(1/2+ω-iz)$, where $ω>0$ is a real parameter and $ξ(s)$ is the Riemann xi-function. The first main result is necessary and sufficient conditions for $Θ_ω$ to be a meromorphic inner function in the upper half-plane. It is related to the Riemann hypothesis directly whether $Θ_ω$ is a meromorphic inner function. In comparison with this, a relation of the Riemann hypothesis and the second main result is indirect. It relates to the theory of de Branges, which associates a meromorphic inner function and a canonical system of linear differential equations (in the sense of de Branges). As the second main result, the canonical system associated with $Θ_ω$ is constructed explicitly and unconditionally under the restriction of the parameter $ω>1$ by applying a method of J.-F. Burnol in his recent work on the gamma function to the Riemann xi-function. If such construction is extended to all $ω> 0$ unconditionally, we get a criterion for the Riemann hypothesis in terms of a family of canonical systems parametrized by $ω>0$, which explains the validity of the Riemann hypothesis as positive semidefiniteness of the corresponding family of Hamiltonian matrices.

연구 동기 및 목표

• ω > 1인 경우에 대해 리만 엑시-함수와 관련된 표준체계의 선형 미분방정식을 조건 없이, RH를 가정하지 않고 수립하기.
• 리만 가설을 ω > 1인 경우에 대해 상반평면에서 Θω(z)의 유리형 내부 함수 성질과 연결하기.
• 데 브랑지 공간 이론을 통해 Aω(z)의 영점들을 양의 연산자의 고유값으로 실현하는 구성적 프레임워크 제공하기.
• J.-F. 버놀의 감마 함수에 대한 방법을 활용하여 ω ≥ 1/2를 초월해 ω > 1인 경우에 표준체계를 확장하기.
• 표준체계에서 유도된 해밀토니안 행렬의 양의 준정부정성에 기반한 RH에 대한 기준 제안하기.

제안 방법

• ξ(s)가 리만 엑시-함수임을 고려하여 Θω(z) = ξ(1/2−ω−iz)/ξ(1/2+ω−iz)를 정의하고, 상반평면 내에서의 해석적 성질을 분석하기.
• ξ(s)의 함수방정식을 활용해 Aω(z)와 Bω(z)의 대칭성 성질을 도출하며, 실수축에서 실수값을 가지며 각각 짝수/홀수임을 보장하기.
• 버놀의 감마 함수에 대한 방법을 적용하여 커널 hω⟨1⟩(x)를 Θω(z)를 포함하는 멜린-바른스 적분으로 표현하고, ω > 1일 때 수렴성을 확보하기.
• 콤팩트 적분 연산자의 프레드홀름 행렬식을 통해 표준체계를 구성하며, 이는 데 브랑지 공간의 스펙트럼 이론과 연결된다.
• 잔류정리와 점근적 분석(스티링어의 공식을 통한)을 활용해 L²((1,∞), dx)에서 x−1/2 − hω⟨1⟩(x)의 적분 표현을 도출하기.
• x−1/2 − hω⟨1⟩(x)의 L²-적분 가능성과 Θω(z)가 상반평면에서 내부 함수임을 상호 등가로 연결함으로써 표준체계 구축

실험 결과

연구 질문

• RQ1 Θω(z)가 상반평면에서 유리형 내부 함수가 되는 조건은 무엇이며, 이는 리만 가설과 어떻게 관련되어 있는가?
• RQ2 리만 엑시-함수에서 적분 연산자를 사용해 ω > 1인 경우에 대해 조건 없이 표준체계의 미분방정식을 구성할 수 있는가?
• RQ3 Θω(z)의 내부 함수 성질은 Aω(z)의 영점들을 통해 리만 가설의 진리성을 어떻게 암시하는가?
• RQ4 표준체계의 스펙트럼 해석은 해밀토니안 행렬과 양의 준정부정성 측면에서 어떻게 해석되는가?
• RQ5 표준체계의 구성은 ω > 0 전역으로 조건 없이 확장될 수 있으며, 이는 리만 가설에 대해 어떤 의미를 갖는가?

주요 결과

• ω > 1인 경우, 컴팩트 적분 연산자의 프레드홀름 행렬식을 통해 Θω(z)와 관련된 표준체계가 조건 없이 구성된다.
• Θω(z)가 상반평면에서 유리형 내부 함수임은 리만 가설이 참일 때이고 그 때에만 참이다.
• (1,∞)에서 x−1/2 − hω⟨1⟩(x)의 L²-적분 가능성은 Θω(z)가 상반평면에서 내부 함수임과 동치이다.
• 멜린-바른스 적분과 잔류정리를 통한 구성은 관련 해밀토니안 행렬이 리만 가설이 참일 때에만 양의 준정부정이 됨을 보장한다.
• 논문은 ω > 0에 따라 매개변수화된 해밀토니안 행렬의 양의 준정부정성에 기반한 RH에 대한 기준을 제시한다.
• 버놀의 감마 함수에 대한 접근법을 리만 엑시-함수로 확장하여 ω > 1인 경우에 대해 조건 없이 구성이 가능해졌다.