[논문 리뷰] On some Definite Integrals involving the Hurwitz Zeta function

Olivier Espinosa, Victor H. Moll|ArXiv.org|2000. 12. 11.

Advanced Mathematical Identities참고 문헌 20인용 수 6

한 줄 요약

이 논문은 히르체츠 제타 함수를 포함하는 정적분의 일련을 유도하며, 제타 함수의 적분 표현과 해석 continuation을 활용하여 베르누이 다항식, $\nabla\Gamma(q)$, 및 $\nabla\sin(q)$의 새로운 공식을 수립한다. 주요 기여는 다이감마 함수와 다이감마 함수의 고차 도함수를 포함하는 적분의 폐쇄형 평가로, 이는 특성점 주변의 극한 과정과 로렌트 전개를 통해 이루어진다.

ABSTRACT

We establish a series of integral formulae involving the Hurwitz zeta function. Applications are given to integrals of Bernoulli polynomials, log Gamma(q) and log sin(q).

연구 동기 및 목표

• 표준 적분표에 희소하게 기록된 히르체츠 제타 함수를 포함하는 새로운 정적분 공식을 도출하는 것.
• 초등 함수 및 특수 함수—예를 들어 $\nabla\Gamma(q)$, $\nabla\sin(q)$, 및 베르누이 다항식—의 적분을 선형 관계를 통해 히르체츠 제타 함수와 연결하는 것.
• 제타 기반의 적분 표현에서의 극한을 취하여 다이감마 함수 $\nabla(q)$ 및 다이감마 함수의 고차 도함수 $\nabla^{(m)}(q)$의 적분을 평가하는 것.
• 로렌트 전개와 제타 함수의 특수값을 활용하여 $q^n \nabla^{(m)}(q)$ 및 $q^n \nabla(q)$를 포함하는 적분의 폐쇄형 평가를 제공하는 것.

제안 방법

• 히르체츠 제타 함수의 적분 표현을 사용한 공식 유도: $\zeta(z,q) = \frac{1}{\Gamma(z)}\int_0^\infty \frac{e^{-qt}}{1-e^{-t}} t^{z-1} dt$ for $\mathop{\rm Re}(z)>1$, $\mathop{\rm Re}(q)>0$.
• 헤르미트의 적분 표현을 통한 해석 continuation을 적용하여 초기 수렴 영역을 초월한 결과를 확장하는 것.
• 다이감마 함수의 고차 도함수 표현인 $\psi^{(m)}(q) = (-1)^{m+1} m! \zeta(m+1,q)$ 를 활용하여 다이감마 함수 적분을 히르체츠 제타 함수로 표현하는 것.
• 일반적인 적분 공식에서 $z \to m+1$ 으로의 극한을 취하여 로렌트 전개에서의 유수 항과 유한 항의 계수를 추출하는 것.
• $\zeta(1-\varepsilon)$, $\zeta(-r-\varepsilon)$, 및 Pochhammer 기호 $(-m)_{k+1}$ 의 전개를 사용하여 $\varepsilon \to 0$ 근처의 극과 특이점을 다루는 것.
• 예를 들어 $\sum_{r=0}^j (-1)^r \binom{j+1}{r} \zeta(-r) = -\frac{1}{j+2}$ 와 같은 기존 항등식을 활용하여 발산 항을 상쇄시키고 유한한 결과를 확보하는 것.

실험 결과

연구 질문

• RQ1 어떻게 제타 기반의 적분 표현과 해석 continuation을 사용하여 히르체츠 제타 함수를 포함하는 정적분을 체계적으로 평가할 수 있는가?
• RQ2 다음과 같은 폐쇄형 평가가 $\int_0^1 q^n \psi^{(m)}(q) dq$ 는 $n > m$ 인 경우 제타 함수와 조화수를 통해 어떻게 표현될 수 있는가?
• RQ3 $\nabla\Gamma(q)$ 및 $\nabla\sin(q)$ 의 적분은 선형 항등식을 통해 히르체츠 제타 함수와 어떻게 관련이 있는가?
• RQ4 $z \to 1$ 으로 수렴할 때 $\int_0^1 q^n \psi(q) dq$ 의 행동은 어떠한가? 그리고 루피탈의 정리와 제타 함수 전개를 통해 어떻게 평가할 수 있는가?
• RQ5 제타 기반 적분의 로렌트 전개에서 발생하는 발산 항은 체계적으로 상쇄시킬 수 있는가? 이를 통해 최종적으로 유한하고 폐쇄형 결과를 도출할 수 있는가?

주요 결과

• $\int_0^1 q^n \psi^{(m)}(q) dq$ 에 대해 폐쇄형 표현이 유도되었으며, $(-1)^m \frac{n!}{(n-m)!} \left[ \frac{\gamma}{n-m+1} + (n-m)! \sum_{k=0}^{m-2} \frac{\Gamma(m-k)\zeta(m-k)}{(n-k)!} + \sum_{k=0}^{n-m-1} (-1)^k \binom{n-m}{k} \left( H_k \zeta(-k) + \zeta'(-k) \right) \right]$ 로 표현되며, 이는 $n > m$ 인 경우에 유효하다.
• $\int_0^1 q^n \psi(q) dq$ 는 $z \to 1$ 근처에서의 극한과 루피탈의 정리를 통해 유도되었으며, $\zeta'(0) + \sum_{k=1}^{n-1} (-1)^k \binom{n}{k} \left( H_k \zeta(-k) + \zeta'(-k) \right)$ 로 평가된다.
• 로렌트 전개에서 $1/\varepsilon$ 유수 항의 계수가 항등식 $\sum_{r=0}^j (-1)^r \binom{j+1}{r} \zeta(-r) = -\frac{1}{j+2}$ 로 인해 사라지며, 이는 결과가 유한함을 보장한다.
• 베르누이 다항식, $\nabla\Gamma(q)$, 및 $\nabla\sin(q)$ 의 적분은 히르체츠 제타 함수와의 선형 관계를 통해 주정리의 특수한 경우로 나타남을 보였다.
• $\int_0^1 q^n \psi^{(m)}(q) dq$ 의 평가는 $\Gamma(m+1) \frac{\Gamma(1-\varepsilon)}{\Gamma(m+1-\varepsilon)} = 1 + H_m \varepsilon + O(\varepsilon)$ 와 $\Gamma(m+1) \frac{\Gamma(-r-\varepsilon)}{\Gamma(m+1-\varepsilon)} = \frac{(-1)^{r+1}}{r!} \left[ \frac{1}{\varepsilon} + H_m - H_r \right] + O(\varepsilon)$ 의 전개에 기반한다.
• 논문은 $\int_0^1 q^n \psi(q) dq$ 가 발산 항이 없이 제타 값과 그 도함수의 값으로 표현 가능하며, 유한한 결과로 남아 있음을 확인하였다.