[논문 리뷰] On generalized Hardy classes of Dirichlet series

Johan Andersson|arXiv (Cornell University)|2012. 07. 23.

Analytic Number Theory Research참고 문헌 17인용 수 5

한 줄 요약

이 논문은 고전적인 $ H^2 $ 하디 클래스의 딜리클레 급수를 임의의 지수 수열 $ \lambda_n $ 를 가진 더 넓은 일반화된 $ H^2 $ 클래스로 일반화하며, 짧은 간격에서 로그 $ L^1 $-노름에 대한 정량적 추정을 수립하고, 유계 계수를 가진 딜리클레 급수의 효과적인 비영 결과를 도출하는 데 응용한다. 주요 기여는 $ \operatorname{Re}(s) = 1 $에서 허위츠 및 레르히 제타-함수의 $ L^1 $-노름에 대한 명시적 하한을 제시하는 것으로, $ \delta \leq 0.05 $ 일 때 $ \inf_T \int_T^{T+\delta} |\zeta(1+it,\alpha)| \, dt \geq \delta^{7/(6\delta)} 10^{-9/\delta} $ 를 보이며, 이는 임계선에서의 비영성과 비일반성 결과를 지지한다.

ABSTRACT

We generalize the Hardy class H^2 of Dirichlet series studied by Hedenmalm, Lindqvist, Olofsson, Olsen, Saksman, Seip and others to consider more general Dirichlet series. We prove some results on this class, such as estimates for its logarithmic L^1-norm in short intervals. We relate this to, and use these results to make a recent nonvanishing result of Dirichlet series of ours more explicit. In particular we give an application on the Hurwitz zeta-function.

연구 동기 및 목표

• 고전적인 $ H^2 $ 하디 클래스의 딜리클레 급수를 임의의 지수 수열 $ \lambda_n $ 를 가진 더 넓은 클래스로 일반화하며, 차분에 대한 성장 조건을 만족시킨다.
• 복소평면 $ \operatorname{Re}(s) = \sigma $ 상의 짧은 간격에서 이러한 급수의 로그 $ L^1 $-노름에 대한 정량적 추정을 수립한다.
• 이러한 추정을 이용해 계수가 유계인 딜리클레 급수, 특히 허위츠 및 레르히 제타-함수에 대한 효과적인 비영 결과를 도출한다.
• 최근의 비영 결과를 $ \delta $, 즉 짧은 간격의 길이에 대한 효과적인 하한으로 더 명시적으로 만들기 위해 노력한다.
• 일반화된 $ H^2 $ 클래스에 대한 최소 최대 모듈러스 문제를 조사하여, 짧은 수직 세그먼트에서 이러한 클래스의 함수가 가질 수 있는 최소 가능한 최대 모듈러스를 규명한다.

제안 방법

• 딜리클레 급수 $ L(s) = \sum_{n=0}^\infty a_n e^{-\lambda_n s} $ 에 대해 일반화된 $ H^2 $ 클래스 $ H^2(\lambda_n, \sigma) $ 를 정의하며, $ \|L\|_2^2 = \sum |a_n|^2 < \infty $ 이고, $ n \neq m $ 일 때 $ e^{-\sigma(\lambda_n + \lambda_m)} / |\lambda_n - \lambda_m| $ 에 대한 균일한 유계성 조건을 요구한다.
• 반평면 $ \operatorname{Re}(s) > \sigma $ 에서 단위 원판으로의 해석적 전단사 사상 을 이용해 고전적인 $ H^2(T) $ 이론의 결과를 반평면 설정으로 이전한다.
• 반평면에서 젠센 부등식의 한 형태를 적용하여 $ L(s) $ 의 로그 적분에 대한 추정을 도출하고, 이로부터 $ \log |L(s)| $ 의 $ L^1 $-노름에 대한 추정을 이끌어낸다.
• 리만 제타-함수와 그 특수값들(예: $ \zeta(1+it) $) 이 로그 $ L^1 $-노름을 최소화하는 극값임을 이용해, $ \zeta(1+it) $ 의 $ L^1 $-노름에 대한 정밀한 점근적 추정을 유도한다.
• 예를 들어 $ (1 - 2^{1-s})^n $ 과 같은 곱의 형태로 극값 함수를 구성하여 $ H^2 $ 에서의 최소 최대 문제에 대한 상한을 구하며, 짧은 간격에서 $ \delta^n $ 의 순서로 감쇠됨을 보인다.
• 리만 제타-함수의 오일러 곱 구조를 활용해 일반적인 딜리클레 급수보다 더 정밀한 추정을 얻으며, 특히 $ \int_T^{T+\delta} |\zeta(1+it)| \, dt $ 와 그 역수에 대해 더 강력한 추정을 이끌어낸다.

실험 결과

연구 질문

• RQ1 짧은 간격의 길이가 $ \delta $ 인 $ \operatorname{Re}(s) = 1 $ 선상에서 허위츠 제타-함수 $ \zeta(s,\alpha) $ 의 $ L^1 $-노름에 대한 정밀한 하한은 무엇인가?
• RQ2 딜리클레 급수의 $ \operatorname{Re}(s) = 1 $ 상에서의 비영성은 효과적으로 보장될 수 있으며, $ \delta $ 에 대한 최선의 가능한 하한은 무엇인가?
• RQ3 $ \zeta(1+it,\alpha) $ 의 $ L^1 $-노름이 어떤 $ N $ 에 대해 $ \delta^N $ 의 순서 함수로 아래에서 유계일 수 있는가, 아니면 $ e^{-C/\delta} $ 의 순서 추정을 확립할 수 있는가?
• RQ4 일반화된 $ H^2 $ 클래스에 대한 최소 최대 문제는 어떻게 행동하는가? 그리고 짧은 수직 세그먼트에서 이러한 클래스의 함수가 가질 수 있는 최소 가능한 최대 모듈러스는 무엇인가?
• RQ5 일반화된 $ H^2 $ 클래스에 속하는 딜리클레 급수의 역함수는 동일한 클래스에 속할 수 있는가? 이는 비영 추정에 어떤 영향을 미치는가?

주요 결과

• 논문은 $ \operatorname{Re}(s) = 1 $ 상에서 허위츠 제타-함수의 $ L^1 $-노름에 대한 효과적인 하한을 수립한다: $ \delta \leq 0.05 $ 일 때 $ \inf_T \int_T^{T+\delta} |\zeta(1+it,\alpha)| \, dt \geq \delta^{7/(6\delta)} 10^{-9/\delta} $ 를 만족하며, 이는 비자명하며 비영성을 암시한다.
• 리만 제타-함수의 경우 $ \operatorname{Re}(s) = 1 $ 상에서의 $ L^1 $-노름은 $ \inf_T \int_T^{T+\delta} |\zeta(1+it)| \, dt = \frac{e^{-\gamma}\pi^2}{24} \delta^2 + O(\delta^4) $ 를 만족하며, 정밀한 2차 감쇠를 보인다.
• 리만 제타-함수의 역수의 $ L^1 $-노름은 $ \inf_T \int_T^{T+\delta} |\zeta(1+it)|^{-1} \, dt = \frac{e^{-\gamma}}{4} \delta^2 + O(\delta^4) $ 를 만족하며, 이는 함수가 평균적으로 영에서 멀리 떨어져 있음을 나타내고, 영이 아님을 암시한다.
• H^2-클래스에 대한 최소 최대 문제는 $ [\sigma, \sigma + \delta] $ 상에서 최대 모듈러스에 대해 $ \delta^{\lfloor \log M / \log 3 \rfloor} $ 의 순서 상한을 제공하며, $ (1 - 2^{1-s})^n $ 과 같은 구성으로 달성된다.
• 일반화된 $ H^2 $ 클래스는 고전적 $ H^2 $ 프레임워크가 실패할 수 있는 경우에도 효과적인 비영 결과를 가능하게 하며, 특히 오일러 곱이 없는 딜리클레 급수인 허위츠 제타-함수에 대해 유용하다.
• 결과들은 리만 제타-함수가 로그 $ L^1 $-노름을 최소화하는 데 있어 극값임을 시사하며, 이러한 극값 성질이 일반적인 딜리클레 급수보다 더 정밀한 추정을 이끌어내는 데 기여한다.