[논문 리뷰] The Geometry of the Mappings by General Dirichlet Series

Dorin Ghişa|arXiv (Cornell University)|2016. 10. 26.

Mathematics and Applications참고 문헌 16인용 수 4

한 줄 요약

이 논문은 일반 딜리클레 급수로 정의된 사상의 기하학적 및 해석적 성질을 확립하며, 이들이 두 번째 이상의 중복도를 가진 영이 없고, 이중 영은 특정 위치에만 존재함을 증명한다. 또한 등각 사상 성질과 함수방정식을 활용하여 일반화된 리만 가설(GRH)을 이 급수의 광범위한 클래스에 대해 단순화된 증명을 제시하며, 이는 스피저의 정리를 이러한 함수류로 확장한 것이다.

ABSTRACT

We dealt in a series of previous publications with some geometric aspects of the mappings by functions obtained as analytic continuations to the whole complex plane of general Dirichlet series. Pictures illustrating those aspects contain a lot of other information which has been waiting for a rigorous proof. Such a task is partially fulfilled in this paper, where we succeeded among other things, to prove a theorem about general Dirichlet series having as corollary the Speiser's theorem. We have also proved that those functions do not possess multiple zeros of order higher than $2$ and the double zeros have very particular locations. Moreover, their derivatives have only simple zeros. With these results at hand, we revisited GRH for a simplified proof.

연구 동기 및 목표

• 일반 딜리클레 급수에 의한 사상의 기하학적 성질과 영의 분포 성질을 수치적 도표에서 관찰된 바를 엄밀하게 증명하는 것.
• 일반 딜리클레 급수가 두 번째 이상의 중복도를 가진 영을 가지지 않으며, 이중 영은 특정 위치에만 존재함을 보이는 것.
• 이러한 함수의 도함수가 오직 단순 영만을 가짐을 보이는 것.
• 강한 함수방정식 가정 없이 등각 사상과 해석적 계속성 성질만을 사용하여 넓은 범위의 L-함수에 대한 일반화된 리만 가설(GRH)을 단순화된 방식으로 증명하는 것.

제안 방법

• 일반 딜리클레 급수에 의한 반평면의 상을 분석하기 위해 등각 사상 이론을 사용하며, 복소평면이 기본 도메인으로 분해됨을 보여준다.
• Re(s) → ∞일 때 급수의 균일 수렴성을 적용하여 z = ζ(s) → 1이 균일하게 수렴함을 증명함으로써, 충분히 큰 Re(s)를 가진 오른쪽 반평면에는 영이 존재하지 않음을 의미한다.
• 해석적 계속성과 함수방정식의 대칭성을 활용하여 임계대 내의 영들을 연결하며, σ + it에서 1 − σ + it로 사상하는 치환 φ(s)를 구성한다.
• Φ(s) = ζ(φ(s)) / ζ(s) 함수를 유도하여, 단순연결도메인에서 이것이 항상 1임을 보이고, 이는 임계선 외부에 비자명한 영이 존재할 경우 모순을 일으킴을 시사한다.
• 무한곱의 arg 항을 포함한 각도 급수의 추론을 통해 총 각도 합이 2π의 정수배여야 함을 보이며, 이는 대칭이 σ = 1/2를 강제할 때에만 가능함을 의미한다.
• 각도 급수의 수렴성과 그 함수의 연속성을 확보하기 위해 |a_n|e^{-λ_n δ} → 0 as n → ∞ 인 라마누잔 유형 조건을 활용한다.

실험 결과

연구 질문

• RQ1 일반 딜리클레 급수에 의한 사상의 기하학적 행동은 특히 두 번째 이상의 중복 영이 존재하지 않는다는 점에서 엄밀하게 증명될 수 있는가?
• RQ2 일반 딜리클레 급수의 도함수는 오직 단순 영만을 가지며, 이는 함수의 구조에 어떤 제약을 가하는가?
• RQ3 강한 리만 유형 함수방정식을 가정하지 않고도 넓은 범위의 L-함수에 대한 일반화된 리만 가설(GRH)을 증명할 수 있는가?
• RQ4 등각 사상과 기본 도메인은 일반 딜리클레 급수의 영의 분포를 이해하는 데 어떤 역할을 하는가?
• RQ5 z-평면 내의 직선과 원의 역상은 s-평면의 구조와 영의 위치에 어떻게 관련되는가?

주요 결과

• 일반 딜리클레 급수는 두 번째 이상의 중복도를 가진 영을 가지지 않으며, 이중 영은 복소평면 내 특정한 제약 조건을 만족하는 위치에만 존재한다.
• 이러한 함수의 도함수는 오직 단순 영만을 가지며, 이는 높은 수준의 해석적 정규성을 나타낸다.
• 함수 ζ(s)는 Re(s) > σ_ε 인 반평면을 z=1을 중심으로 하는 반지름 ε < 1 인 원판으로 사상하며, 이는 그 영역에 영이 존재하지 않음을 의미한다.
• 이 급수의 클래스에 대한 GRH 증명은 강력한 함수방정식 가정 없이 등각 사상과 치환 φ(s)를 통한 대칭성에만 의존한다.
• 복소수 항의 각도를 포함한 주장 급수는 수렴하며 반드시 2π의 정수배여야 하며, 이는 비자명한 영의 실부가 정확히 1/2여야 한다는 것을 강제한다.
• 결과는 딜리클레 문자에 의해 유도되는 모든 L-함수, 즉 리만 제타 함수와 딜리클레 L-함수를 포함하여 이들의 GRH를 통합적인 기하해석적 프레임워크를 통해 확인한다.