[논문 리뷰] On monotonicity of certain weighted summatory functions associated with L-functions

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

Analytic Number Theory Research참고 문헌 11인용 수 3

한 줄 요약

이 논문은 특정한 매개수 $ \omega \in (0,1/2) $ 및 $ k \in \mathbb{N} $ 에 따라 달라지는 가중 함수를 갖는 $ L $-함수 $ L(f,s) $ 로부터 유도된 가중 합산 함수 $ h_{f,\theta}^{\angle k\angle}(x) $ 의 단조성과 그 $ L $-함수에 대한 일반화된 리만 가설(GRH) 간의 동치성을 확립한다. 증명은 복소해석학, 멜린 변환, 그리고 $ \Theta_{f,\omega}(s) $ 를 포함하는 적분의 점근적 분석을 사용하며, 큰 $ x $ 에서 $ h_{f,\omega}^{\angle k\rangle}(x) $ 의 부호가 안정화됨을 보여, 이는 GRH 를 특징짓는다.

ABSTRACT

We state some sufficient or equivalent conditions to GRH of general L-functions in terms of monotonicity of certain weighted summatory functions.

연구 동기 및 목표

• 일반화된 리만 가설(GRH)에 대한 충분하고 필수적인 조건을 $ L $-함수와 관련된 가중 합산 함수의 단조성에 관해 수립하는 것.
• 특정한 매개수 $ \omega \in (0,1/2) $ 와 $ k \in \mathbb{N} $ 를 갖는 가중 함수의 가중족을 도입하여, 폴리아와 체비쇼프의 추측과 같은 고전 결과를 일반화하는 것.
• 큰 $ x $ 에서 가중 합산 함수 $ h_{f,\omega}^{\rangle k\rangle}(x) $ 의 부호가 안정화됨을 보이며, 이는 그 적분의 단조성과 동치임을 보여주는 것.
• 특정 $ L $-함수에 대해 알려진 동치 결과(예: $ L(s,\chi_4) $ 에 대해)를 통합된 분석적 프레임워크를 통해 일반 $ L $-함수로 확장하는 것.

제안 방법

• 논문은 $ g_\omega $ 가 불완전 베타 함수와 감마 함수를 포함하는 가중 함수인 $ h_{f,\omega}^{{\rangle k\rangle}}(x) = \sum_{n=1}^\infty c(n) g_\omega\left(\frac{n}{x}\right) $ 를 정의한다.
• 가중 함수의 멜린 변환을 사용하여 $ h_{f,\omega}^{{\rangle k\rangle}}(x) $ 와 $ L $-함수 $ L(f,s) $ 를 연결하며, 생성 함수 $ \Theta_{f,\omega}(s) $ 를 통해 이를 수행한다.
• 복소해석 기법을 적용하여, 비판적 스트립 내의 직사각형에 대한 경로적분을 사용하고, $ \Theta_{f,\omega}(s) $ 의 함수방정식과 해석 continuation 을 활용한다.
• 적분의 점근적 행동은 리만-레베그 보조정리와 스타링거의 공식을 사용하여 분석되며, $ x \to \infty $ 일 때 $ h_{f,\omega}^{{\rangle k\rangle}}(x) \sim \varepsilon(f)(\log x)^{k-1} $ 임을 보여준다.
• $ R_{f,\omega}(x) $ 의 $ L^2 $-적분 가능성은 $ (\Theta_{f,\omega}(s) - \varepsilon(f))/(s - 1/2) $ 가 $ \Re(s) > 1/2 $ 에서 임의의 극을 가지지 않음을 보여주며, 이는 GRH 를 증명하는 데 핵심적인 단계이다.
• 증명은 $ \lambda_f(n) $ 과 $ \mu_f(n) $ 에 대한 라마누잔-페테르슨 추측에 의존하며, 계수의 다항식 성장 상한을 보장한다.

실험 결과

연구 질문

• RQ1 큰 $ x $ 에서 $ \int_1^x h_{f,\omega}^{\rangle k\rangle}(t)\,dt $ 의 단조성이 $ L(f,s) $ 에 대한 GRH 와 동치인가?
• RQ2 고전적인 동치 결과(예: $ L(s,\chi_4) $ 에 대해)는 한 매개수 가중 함수 가중족을 사용하여 일반적인 $ L $-함수로 일반화될 수 있는가?
• RQ3 큰 $ x $ 에서 $ h_{f,\omega}^{\rangle k\rangle}(x) $ 의 부호는 안정화되는가? 만약 그렇다면, 이는 $ L(f,s) $ 의 비자명한 영점의 위치에 대해 무엇을 시사하는가?
• RQ4 불완전 베타 함수를 포함하는 가중 함수 $ g_\omega $ 의 선택은 합산 함수의 점근적 행동에 어떻게 영향을 미치는가?

주요 결과

• 임의의 고정된 $ k \geq 2 $ 에 대해, 큰 $ x $ 에서 $ \int_1^x h_{f,\omega}^{\rangle k\rangle}(t)\,dt $ 의 단조성은 $ L(f,s) $ 에 대한 GRH 와 동치이다.
• $ h_{f,\omega}^{\rangle k\rangle}(x) $ 의 점근 전개는 $ \varepsilon(f)(\log x)^{k-1} \left(1 + O((\log x)^{-1})\right) $ 이며, 이는 큰 $ x $ 에서 함수의 부호가 변하지 않음을 보여준다.
• $ k = 1 $ 인 경우, $ h_{f,\omega}^{\rangle 1\rangle}(x) = \varepsilon(f) + O(x^{-B}) $ (어떤 $ B > 0 $) 이며, 이는 부호 안정성과 GRH 와의 동치성을 시사한다.
• $ R_{f,\omega}(x) $ 는 $ L^2((1,\infty), x^{-1}dx) $ 에 속하며, 이는 $ (\Theta_{f,\omega}(s) - \varepsilon(f))/(s - 1/2) $ 가 $ \Re(s) > 1/2 $ 에서 극을 가지지 않음을 보장한다. 이는 GRH 동치성 증명의 핵심 단계이다.
• 모든 $ \omega \in (0,1/2) $ 에 대해 동치성은 일관되게 유지되며, 이는 이전 결과들이 특정 가중 함수(예: $ \exp(-y) $ 또는 $ \exp(-y^\alpha) $) 에 국한되었던 것을 일반화한다.