[논문 리뷰] On the Hurwitz Zeta Function

Lazhar Fekih‐Ahmed|arXiv (Cornell University)|2011. 06. 22.

Analytic Number Theory Research참고 문헌 4인용 수 4

한 줄 요약

이 논문은 복소평면의 임의의 점 주변에서의 로랑 전개 계수에 대한 닫힌 형태 표현을 유도함으로써, Hurwitz 제타 함수 ζ(s,a)에 대한 새로운 적분 및 급수 표현을 제시한다. 교호합과 생성함수 ψ(t)를 사용하여 Re(s) > 0 인 경우에 대해 수렴하는 적분 및 급수 공식을 확립함으로써, 적분 기호 아래에서의 미분을 통한 해석적 계속성과 정확한 로랑 계수 계산이 가능해진다.

ABSTRACT

We give new integral and series representations of the Hurwitz zeta function. We also provide a closed-form expression of the coefficients of the Laurent expansion of the Hurwitz-zeta function about any point in the complex plane.

연구 동기 및 목표

• Re(s) > 0 인 경우에 대해 유효한 Hurwitz 제타 함수 ζ(s,a)의 새로운 적분 및 급수 표현을 도출하는 것.
• 복소평면의 임의의 점 s₀ 주변에서 (s−1)ζ(s,a)Γ(s)의 로랑 전개 계수에 대한 닫힌 형태 표현을 제공하는 것.
• 균일 수렴하는 급수 및 적분 공식을 사용하여 ζ(s,a)의 해석적 계속성을 Re(s) > 1을 초월해 체계적으로 구성하는 것.
• 기존의 로랑 계수 결과를 일반화하여 오른쪽 반평면 내 임의의 점 s₀로의 계산을 확장하는 것.

제안 방법

• n ≥ 1 인 경우에 대해 Sₙ(s,a) = ∑ₖ₌₀ⁿ⁻¹ (−1)ᵏ C(n−1,k) (k+a)⁻ˢ 를 정의하여 급수 표현의 기초로 사용한다.
• 보조 함수 ψ(t) = [teᵗ/(eᵗ−1)²] − [1/(eᵗ−1)] + [(a−1)t/(eᵗ−1)] 를 도입하여, 새로운 적분 표현의 커널로 사용한다.
• Re(s) > 0 인 경우에 대해 적분 공식 (s−1)ζ(s,a) = 1/Γ(s) ∫₀^∞ ψ(t)e⁻⁽ᵃ⁻¹⁾ᵗ tˢ⁻¹ dt 를 확립한다.
• 생성함수와 균일 수렴성을 이용하여 급수 표현을 유도: (s−1)ζ(s,a) = ∑ₙ₌₁^∞ Sₙ(s,a) [1/(n+1) + (a−1)/n].
• 반복적인 부분적 적분과 적분 기호 아래에서의 미분을 통해 Re(s) > −k 로의 해석적 계속성을 위한 고차수 적분 공식을 유도한다.
• Weierstrass의 정리와 멱급수의 유일성을 적용하여 급수 및 적분 표현이 전체 복소평면으로 확장될 수 있음을 정당화한다.

실험 결과

연구 질문

• RQ1 Re(s) > 0 인 경우에 대해 이전에 Re(s) > 1 에서만 유효한 Hurwitz 제타 함수의 새로운 적분 및 급수 표현을 도출할 수 있는가?
• RQ2 복소평면의 임의의 점 s₀ 주변에서 (s−1)ζ(s,a)Γ(s)의 로랑 전개 계수에 대한 닫힌 형태 표현은 무엇인가?
• RQ3 균일 수렴하는 급수 및 적분 공식을 사용하여 ζ(s,a)의 해석적 계속성을 어떻게 시스템적으로 구성할 수 있는가?
• RQ4 Re(s₀) > 0 인 임의의 s₀ 에서 ζ(s,a)의 로랑 계수를 유도된 적분 및 급수 표현을 통해 재귀적으로 계산할 수 있는가?

주요 결과

• 논문은 다음 새로운 적분 표현을 확립한다: Re(s) > 0 인 모든 s 에 대해 (s−1)ζ(s,a) = 1/Γ(s) ∫₀^∞ ψ(t)e⁻⁽ᵃ⁻¹⁾ᵗ tˢ⁻¹ dt.
• 다음 새로운 급수 표현을 도출한다: Re(s) > 0 인 경우에 대해 (s−1)ζ(s,a) = ∑ₙ₌₁^∞ Sₙ(s,a) [1/(n+1) + (a−1)/n].
• Re(s₀) > 0 인 임의의 s₀ 에서 (s−1)ζ(s,a)Γ(s)의 테일러 전개 계수는 aₙ = 1/n! ∫₀^∞ ψ(t)e⁻⁽ᵃ⁻¹⁾ᵗ (log t)ⁿ tˢ⁰⁻¹ dt 로 명시적으로 주어진다.
• s₀ 주변에서 ζ(s,a)의 로랑 계수 γₙ(a,s₀)에 대한 재귀 공식을 도출한다: γₙ(a,s₀) = −1/c₀ ∑ₖ₌₁ⁿ γₙ₋ₖ(a,s₀)cₖ + aₙ, 여기서 cₖ 는 Γ(s) 전개의 계수이다.
• 급수 및 적분 표현은 Re(s) > 0 에서 균일 수렴하므로, Weierstrass의 유일성 정리를 통해 ζ(s,a)가 전체 복소평면으로 해석적 계속이 가능하다.
• s₀ 가 오른쪽 반평면에 있을 경우, 유도된 공식을 통해 ζ(s,a)의 로랑 계수를 정확하고 재귀적으로 계산할 수 있으며, 이는 Berndt의 결과를 임의의 s₀ 로 일반화한다.