[논문 리뷰] On the real zeroes of the Hurwitz zeta-function and Bernoulli polynomials

А. П. Веселов, John Ward|arXiv (Cornell University)|2002. 05. 16.

Functional Equations Stability Results인용 수 4

한 줄 요약

이 논문은 큰 음의 σ에 대해 허위츠 제타함수 ζ(σ,a)의 실근을 조사하며, 0 < a < -σ/(2πe) 영역에서 그 근들이 점점 더 직선 σ + 4a + 2m = 0에 수렴함을 보여준다. 또한 ζ(-p,a)의 실근 수가 점점 더 N(p)/p → 1/(πe)로 수렴함을 증명하여, 베르누이 다항식 B_n(x)의 실근 수의 渐近 수를 단순한 증명으로 재확인한다. 이는 Inkeri의 결과를 재확인하는 것으로, 그 수는 약 ~2n/(πe)이다.

ABSTRACT

The behaviour of real zeroes of the Hurwitz zeta function $$ζ(s,a)=\sum_{r=0}^{\infty}(a+r)^{-s}\qquad\qquad a &gt; 0$$ is investigated. It is shown that $ζ(s,a)$ has no real zeroes $(s=σ,a)$ in the region $a &gt;\frac{-σ}{2πe}+\frac{1}{4πe}\log (-σ) +1$ for large negative $σ$. In the region $0 &lt; a &lt; \frac{-σ}{2πe}$ the zeroes are asymptotically located at the lines $σ+ 4a + 2m =0$ with integer $m$. If $N(p)$ is the number of real zeroes of $ζ(-p,a)$ with given $p$ then $$\lim_{p o\infty}\frac{N(p)}{p}=\frac{1}{πe}.$$ As a corollary we have a simple proof of Inkeri's result that the number of real roots of the classical Bernoulli polynomials $B_n(x)$ for large $n$ is asymptotically equal to $\frac{2n}{πe}$.

연구 동기 및 목표

• 큰 음의 실수 σ에 대해 허위츠 제타함수 ζ(σ,a)의 실근 분포를 조사하는 것.
• 표준 구간 0 < a ≤ 1을 넘어서 더 넓은 범위로 허위츠의 ζ(σ,a)에 대한 푸리에 표현의 유효성을 연장하는 것.
• p → ∞ 일 때 ζ(-p,a)의 실근 수에 대한 점점 더 분포를 유도하는 것.
• 베르누이 다항식 B_n(x)의 실근 수의 점점 더 분포에 대한 새로운, 기본적인 증명을 제공하는 것.

제안 방법

• Re(s) < 0 이고 0 < a ≤ 1 인 경우 허위츠의 ζ(s,a) 적분 표현을 사용하며, 큰 음의 σ에 대해 0 < a < -σ/(2πe) 영역까지 적용 범위를 확장한다.
• σ → -∞ 일 때, ζ(σ,a)/Q(σ) = sin(2πa + ½πσ) + o(1) 인 점점 더 분포 전개를 적용한다. 여기서 Q(σ) = 2Γ(1−σ)/(2π)^{1−σ} 이다.
• ζ(s,a) = ζ(s,n+a) + ∑_{r=0}^{n-1} (r+a)^{-s} 인 함수적 관계를 적용하여 해석적 계속과 근 분포를 분석한다.
• 도함수 항등식 ∂/∂a ζ(s,a) = -s ζ(s+1,a) 를 사용하여 ζ(-p,a)의 k차 도함수를 ζ(-p+k,a)와 연결함으로써 근 행동의 점점 더 분포 분석을 가능하게 한다.
• 일정한 부호를 가진 n차 도함수를 가진 함수의 근 수의 최대값에 관한 보조정리를 적용하여 특정 구간 내 실근 수를 제한한다.
• 점점 더 분포 분석과 유효 범위의 구간에 대한 경계를 결합하여, ζ(σ,a)가 0이 아니거나 진동하는 영역에서 실근 수를 추정한다.

실험 결과

연구 질문

• RQ1 큰 음의 σ와 0 < a < -σ/(2πe) 일 때, ζ(σ,a)의 실근은 어디에 위치하는가?
• RQ2 p → ∞ 일 때, ζ(-p,a)의 실근 수의 점점 더 분포 속도는 무엇인가?
• RQ3 베르누이 다항식 B_n(x)의 실근 분포는 허위츠 제타함수를 통해 재유도할 수 있는가?
• RQ4 큰 음의 σ에 대해 ζ(σ,a)가 실근을 가지지 않는 영역는 어디인가?
• RQ5 ζ(-p,a)의 도함수는 점점 더 어떻게 행동하며, 이는 근 분포에 어떤 영향을 미치는가?

주요 결과

• 큰 음의 σ에 대해, a > -σ/(2πe) + (1/(4πe)) log(-σ) + 1 이면 ζ(σ,a)는 실근을 가지지 않는다.
• 0 < a < -σ/(2πe) 영역에서, ζ(σ,a)의 실근은 정수 m에 대해 직선 σ + 4a + 2m = 0에 점점 더 수렴한다.
• ζ(-p,a)의 실근 수 N(p)는 lim_{p→∞} N(p)/p = 1/(πe) 를 만족한다.
• 베르누이 다항식 B_n(x)의 실근 수는 lim_{n→∞} N(n)/n = 2/(πe) 를 만족하며, 이는 Inkeri의 결과를 확인한다.
• 큰 m에 대해, B_m(x)의 가장 큰 실근 A(m)는 A(m)/m → 1/(2πe) 를 만족하며, 총 실근 수 N(m)는 N(m)/m → 2/(πe) 를 만족한다.
• A(m)와 N(m)의 상한 및 하한은 로그 보정을 포함하지만, 이러한 보정은 현재의 기본적인 방법으로 유도되지 않는다.