[논문 리뷰] On the Value-Distribution of Hurwitz Zeta-Functions with Algebraic Parameter

Athanasios Sourmelidis, Jörn Steuding|arXiv (Cornell University)|2018. 07. 11.

Analytic Number Theory Research참고 문헌 24인용 수 15

한 줄 요약

이 논문은 대수적 무리수 파라미터 α를 가진 허리츠 제타함수 ζ(s; α)의 밀도 성질을 Re(s) = 1의 왼쪽에 위치한 영역에서 효과적으로 확립하며, 그 도함수들이 컴acts 집합에서 주어진 임의의 해석함수를 균일하게 근사시킬 수 있음을 증명한다. 디오판틴 근사 이론과 다항식 값에 대한 효과적인 추정치를 활용하여, 이러한 근사가 τ ∈ [T, 2T]에서 양의 하한 밀도로 발생함을 보이며, 이는 이전까지는 연구가 활발히 이루어졌음에도 불구하고 대수적 무리수 파라미터에 대해 효과적이고 약한 형태의 유니버설리티를 처음으로 확보한 것이다.

ABSTRACT

We study the value-distribution of the Hurwitz zeta-function with algebraic irrational parameter $\zeta(s;\alpha)=\sum_{n\geq_0}(n+\alpha)^{-s}$. In particular, we prove effective denseness results of the Hurwitz zeta-function and its derivatives in suitable strips containing the right boundary of the critical strip $1+i\mathbb{R}$. This may be considered as a first "weak" manifestation of universality for those zeta-functions.

연구 동기 및 목표

• 대수적 무리수 α에 대해 Re(s) = 1에 가까운 영역에서 허리츠 제타함수 ζ(s; α)와 그 도함수들의 효과적 밀도를 확립하기.
• 주어진 해석함수들이 컴팩트 집합에서 균일하게 근사되는 경우에 대해, 그 이격값 τ ∈ [T, 2T]의 밀도에 대한 명시적 하한을 제공하기.
• 유리수/초월수 α에 대해 알려진 유니버설리티 결과와 아직 해결되지 않은 대수적 무리수 α의 경우 사이의 격차를 메우기.
• ε, d(α), H(α)에 대한 명시적 의존성을 포함하여, 이러한 근사 이격값 τ의 존재에 대한 정량적 추정치 개발하기.

제안 방법

• 임계대에서 제타함수와 그 도함수의 크기를 제어하기 위해 ζ(s; α)의 근사 함수방정식을 사용하기.
• 대수적 수에서 다항식의 크기를 유한하게 제한하기 위해 리우빌 유형 부등식을 적용하여 0으로부터의 효과적 분리 확보하기.
• 임계선 근처에서 ζ(s; α)의 값 분포를 제어하기 위해 디오판틴 근사 기법을 적용하기.
• 효과적 근사가 가능하도록 차수와 높이가 제한된 대수적 무리수 α의 집합 A(Q, M)를 구성하기.
• 로그 도함수와 테일러 계수에 대한 효과적 추정치를 활용하여, ε과 N에 따라 근사 오차를 제어하기.
• 측도론적 추론을 통해 τ ∈ [T, 2T] 중 근사 조건을 만족하는 집합의 하한 밀도 추정치를 확립하기.

실험 결과

연구 질문

• RQ1 대수적 무리수 파라미터 α를 가진 허리츠 제타함수는 임계대에서 주어진 임의의 해석함수를 효과적으로 근사할 수 있는가?
• RQ2 근사 조건을 만족하는 τ ∈ [T, 2T]의 밀도에 대한 명시적 하한은 무엇인가?
• RQ3 α의 차수와 높이는 필요한 T의 크기와 근사의 정밀도에 어떤 영향을 미치는가?
• RQ4 대수적 수에서 다항식 값에 대한 효과적 추정치를 활용하여 정량적 유니버설리티 결과를 도출할 수 있는가?
• RQ5 이러한 효과적 근사가 가능한 Re(s) = 1에서의 최소 거리는 얼마인가?

주요 결과

• 모든 σ ∈ (1/2, 1]에 대해, T가 충분히 크고 α가 적절한 효과적 집합 A(Q, M) ∩ [A, 1]에 속해 있을 경우, k = 0, ..., N에 대해 도함수 ζ(k)(s; α)는 Re(s) = σ 영역에서 주어진 복소수 벡터 (ak)를 ε 이내로 균일하게 근사할 수 있다.
• 근사 조건을 만족하는 τ ∈ [T, 2T]의 집합은 최소 1/2Q − 2Q(1 − Q−2)의 하한 밀도를 가지며, 이는 Q ≥ 2일 때 양수이다.
• 필요한 T는 exp(exp(Q²)) 이내로 증가하며, ε, N, d(α), H(α)에 대해 명시적으로 의존하며, 모든 상수는 효과적으로 계산 가능하다.
• 근사는 효과적이다: R, Q₀, Q, M, T에 대한 명시적 상한이 ε, σ, N, d, A에 따라 주어진다.
• Diophantine 근사 추정치의 제약으로 인해 결과는 오직 σ ≥ 1 − ξ에 대해 성립하며, 여기서 ξ ≈ 0.000746이다.
• 이 방법은 약한 형태의 유니버설리티를 제공한다: 임의의 해석함수 f는 s₀ = σ₀ + it₀를 중심으로 하는 원판에서 정의되며 σ₀ ≥ 1 − ξ 이면, |ζ(s + iτ; α) − f(s)| < 3ε가 컴팩트 부분집합에서 균일하게 성립하는 τ가 존재한다.