[논문 리뷰] Parameterized summation relations for the Stieltjes constants

Mark W. Coffey|arXiv (Cornell University)|2010. 02. 25.

Mathematical functions and polynomials참고 문헌 10인용 수 3

한 줄 요약

이 논문은 히르체츠 제타 함수의 적분 표현과 멜린 변환을 이용하여 스틸체스 상수 γₖ(a) 및 관련 함수 Aₖ(q)에 대한 다중 매개변수 합성 항등식을 유도한다. 주요 기여는 유리수 인수에 대한 스틸체스 상수 합을 로그 함수 및 다이감마 함수와 연결하는 정확한 관계(예: 정리 1 및 2)를 제공하는 것으로, 베르누이 다항식과 다이감마 함수의 상호법칙에 응용된다.

ABSTRACT

The Stieltjes constants $γ_k(a)$ appear in the regular part of the Laurent expansion of the Hurwitz zeta function about its only polar singularity at $s=1$. We present multi-parameter summation relations for these constants that result from identities for the Hurwitz zeta function. We also present multi-parameter summation relations for functions $A_k(x)$ that may be expressed as sums over the Stieltjes constants. Integral representations, especially including Mellin transforms, play an important role. As a byproduct, reciprocity and other summatory relations for polygamma functions and Bernoulli polynomials may be obtained.

연구 동기 및 목표

• 히르체츠 제타 함수의 함수적 항등식에서 유도되는 스틸체스 상수 γₖ(a)에 대한 새로운 다중 매개변수 합성 관계를 수립하기 위해.
• 적분 표현 및 멜린 변환 기반 항등식을 통해 유리수 인수에 대한 스틸체스 상수 합의 정확한 관계를 도출하기 위해.
• 기존의 상호법칙 및 합성 관계를 매개변수 p, q, b, N를 포함한 일반화된 형태로 확장하기 위해.
• 유도된 추론을 통해 다이감마 함수 및 베르누이 다항식과 같은 알려진 특수 함수와의 연결을 수립하기 위해.
• 히르체츠 제타 함수를 포함하는 적분 평가에 유용한 Aₖ(q) 함수 합의 평가를 체계적으로 제공하기 위한 프레임워크를 마련하기 위해.

제안 방법

• 레마 1을 활용하여 유리수 인수에 대한 히르체츠 제타 함수 합을 매개변수 교환(p, q, b)을 통한 변환된 합으로 연결한다.
• 해석적 계속성을 적용하여 Re(s) > 1에서 유효한 항등식을 전체 복소평면으로 확장한다.
• 유리수 생성함수와 관련된 제타 함수의 멜린 변환 표현을 활용하여 함수적 항등식을 도출한다.
• 제타 함수 항등식을 s에 대해 미분하고 s = 1 − k에서 평가하여 Aₖ(q) 및 Bₖ에 대한 관계를 유도한다.
• f(T) = p(T)/∏(1 − Tⁿⁱ) 형태의 유리함수를 위한 제타 함수 항등식을 사용하여 Z_f(s)를 적분 및 급수로 표현함으로써 합성 항등식을 가능하게 한다.
• 기존의 베르누이 수 및 다이감마 함수 결과를 활용하여 주요 정리에서 추론을 도출한다.

실험 결과

연구 질문

• RQ1 히르체츠 제타 함수의 함수적 항등식에서 스틸체스 상수 γₖ(a)에 대한 다중 매개변수 합성 항등식을 체계적으로 유도할 수 있는 방법은 무엇인가?
• RQ2 유리수 인수에 대한 γₖ(a) 합을 로그 함수 및 다이감마 함수와 연결하는 정확한 관계는 무엇인가?
• RQ3 유리수 생성함수와 관련된 제타 함수의 멜린 변환 표현이 어떻게 새로운 합성 항등식을 도출하는가?
• RQ4 이러한 항등식의 추론으로서, 베르누이 다항식과 다이감마 함수에 대한 상호법칙 유형의 관계를 도출할 수 있는가?
• RQ5 이러한 항등식은 Aₖ(q) = k ∂/∂z ζ(z,q)|_{z=1−k} 함수에 어떤 영향을 미치며, 적분 평가에 어떤 함의를 갖는가?

주요 결과

• 정리 1은 다중 매개변수 합성 항등식을 수립한다: ∑_{r=1}^q γₖ(pr/q − b) = q(−1)^k ln^{k+1}(q/p)/(k+1) + (q/p)∑_{ℓ=0}^{p−1}∑_{j=0}^k (−1)^j (k choose j) ln^j(q/p) γ_{k−j}[1 + (ℓ−b)q/p].
• 정리 2는 γₘ과 로그 항을 포함하는 관계를 제시한다: (p−1)γₘ + ln^{m+1}p/(m+1) − ∑_{k=0}^{m−1} (m choose k) ln^{m−k}p γₖ = (1−p)ln^{m+1}p^{N+1}/(m+1) + p^{−N} ∑_{k=0}^m (m choose k) ln^{m−k}p^{N+1} ∑_{(j,p)=1} γₖ(j/p^{N+1}).
• 추론 1은 다이감마 함수의 상호법칙 항등식을 제공한다: ln q + (1/q)∑_{r=0}^{q−1} ψ(pr/q − b) = ln p + (1/p)∑_{ℓ=0}^{p−1} ψ[(ℓ−b)q/p].
• 추론 2는 다이감마 함수의 대칭성을 제시한다: (1/q)∑_{r=0}^{q−1} ψ^{(n−1)}(pr/q − b) = (1/p)(q/p)^{n−1} ∑_{ℓ=0}^{p−1} ψ^{(n−1)}[(ℓ−b)q/p].
• 추론 3은 베르누이 다항식에 대한 합성 항등식을 수립한다: ∑_{r=1}^q B_m(pr/q − b) = (q/p)^{1−m} ∑_{ℓ=0}^{p−1} B_m[1 + (ℓ−b)q/p].
• 정리 5는 Aₖ(q)에 대한 관계를 도출한다: (1−p^{k−1})Aₖ(1) − (−1)^k (ln p) Bₖ[N(1−p^{k−1})+1] = p^{(N+1)(k−1)} ∑_{(j,p)=1} Aₖ(j/p^{N+1}).