[논문 리뷰] The integrals in Gradshteyn and Ryzhik. Part 3: Combinations of Logarithms and Exponentials

Victor H. Moll|arXiv (Cornell University)|2007. 05. 01.

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

한 줄 요약

이 논문은 다항식 $P$에 대해 $\int_0^\infty e^{-tx} P(\ln x)\,dx$ 형태의 지수-로그 적분을 감마 함수의 도함수로 환원하여 평가한다. 주요 기여는 $ (\ln x)^n $을 포함하는 적분을 평가하기 위한 체계적인 방법으로, $\Gamma(s)$의 $n$번째 도함수를 활용하며, 오일러의 오메가 상수 $\gamma$, 리만 제타 함수 $\zeta(s)$, 그리고 다이감마 함수를 포함한 명시적 결과를 제공한다.

ABSTRACT

We present the evaluation of a family of exponential-logarithmic integrals. These have integrands of the form P(exp(x),ln(x)) where P is a polynomial. The examples presented here appear in sections 4.33, 4.34 and 4.35 in the classical table of integrals by I. Gradshteyn and I. Ryzhik.

연구 동기 및 목표

• 그라드슈타인과 리즈히크의 표에 나타나는 지수 함수와 $\ln x$의 다항식 곱을 포함하는 정적분을 체계적으로 평가하기 위해.
• 감마 함수의 $n$번째 도함수를 사용하여 $\int_0^\infty e^{-tx} (\ln x)^n dx$를 계산하는 일반적인 방법을 수립하기 위해.
• 그라드슈타인과 리즈히크의 표의 4.33, 4.34, 4.35 절에 해당하는 특정 항목에 대해 닫힌 형태의 평가를 제공하기 위해.
• 결과 표현식의 무게 구조가 제타 함수와 다이감마 함수의 관계로 어떻게 나타나는지 명확히 하기 위해.

제안 방법

• 적분 $\int_0^\infty e^{-tx} (\ln x)^n dx$를 $\frac{1}{t} \int_0^\infty e^{-s} (\ln s - \ln t)^n ds$로 변환하기 위해 $s = tx$로 치환함으로써, 문제를 $I_m = \int_0^\infty e^{-x} (\ln x)^m dx$의 선형 조합으로 환원함.
• 항등식 $\int_0^\infty x^{s-1} e^{-x} (\ln x)^n dx = \left(\frac{d}{ds}\right)^n \Gamma(s)$를 적용하여 감마 함수의 $n$번째 도함수와 감마 측도 하에서 $\ln x$의 모멘트 사이의 연결 고리를 설정함.
• 결과를 $\Gamma^{(n)}(1)$, $\psi^{(m)}(1)$ 및 특수값 $\psi(1) = -\gamma$, $\psi'(1) = \zeta(2) = \pi^2/6$, $\psi''(1) = -2\zeta(3)$ 등으로 표현함.
• 함수 방정식 $\psi(x+1) = \psi(x) + 1/x$를 사용하여 반정수 및 정수 이동 값의 값을 유도함.
• 감마 함수 적분 표현식을 $s$에 대해 미분하여 일반형 $\int_0^\infty x^{s-1} e^{-\mu x} \ln x\,dx = \mu^{-s} \Gamma(s) (\psi(s) - \ln \mu)$를 유도함.
• 유도된 항등식과 $\Gamma(s)$, $\psi(s)$의 알려진 특수값을 사용하여 그라드슈타인과 리즈히크의 특정 항목(예: 4.331.1, 4.335.1, 4.352.1)을 검증함.

실험 결과

연구 질문

• RQ1 일반적인 $n$과 $t > 0$에 대해 $\int_0^\infty e^{-tx} (\ln x)^n dx$의 닫힌 형태 평가 방법은 무엇인가?
• RQ2 감마 함수의 $n$번째 도함수와 지수 측도 하에서 $\ln x$의 모멘트 사이의 관계는 무엇인가?
• RQ3 다이감마 함수 $\psi^{(m)}(1)$ 및 제타 함수 $\zeta(m+1)$의 특수값이 이러한 적분 평가에 어떻게 나타나는가?
• RQ4 $I_n = \int_0^\infty e^{-x} (\ln x)^n dx$에 대해, $\zeta(j)$는 무게 $j$를 가지며 도함수의 차수는 무게를 1 증가시키는 무게 구조가 확인될 수 있는가?
• RQ5 일반형 $\int_0^\infty x^{s-1} e^{-\mu x} \ln x\,dx$의 형태는 무엇이며, 이것이 그라드슈타인과 리즈히크의 알려진 항목으로 어떻게 환원되는가?

주요 결과

• 치환 $s = tx$와 $\Gamma'(1) = -\gamma$의 알려진 값을 사용하여 $\int_0^\infty e^{-tx} \ln x\,dx = -\frac{\gamma + \ln t}{t}$가 도출됨.
• $\Gamma''(1) = \psi'(1) + \psi(1)^2 = \frac{\pi^2}{6} + \gamma^2$를 사용하여 두 번째 모멘트가 $\int_0^\infty e^{-x} (\ln x)^2 dx = \zeta(2) + \gamma^2 = \frac{\pi^2}{6} + \gamma^2$로 평가됨.
• $\psi''(1) = -2\zeta(3)$를 사용하여 세 번째 모멘트가 $\int_0^\infty e^{-x} (\ln x)^3 dx = -\gamma^3 - \frac{1}{2}\pi^2\gamma - 2\zeta(3)$로 도출됨.
• 감마 함수 표현식의 적분 기호 내 미분을 통해 일반형 $\int_0^\infty x^{s-1} e^{-\mu x} \ln x\,dx = \mu^{-s} \Gamma(s) (\psi(s) - \ln \mu)$가 도출됨.
• $\psi(n+1) = -\gamma + \sum_{k=1}^n \frac{1}{k}$를 사용하여 $\int_0^\infty x^n e^{-\mu x} \ln x\,dx = \frac{n!}{\mu^{n+1}} \left(\sum_{k=1}^n \frac{1}{k} - \gamma - \ln \mu \right)$의 평가가 확인됨.
• $\Gamma(n+1/2) = \frac{\sqrt{\pi}}{2^n} (2n-1)!!$와 $\psi(n+1/2) = -\gamma + 2\left(\sum_{k=1}^n \frac{1}{2k-1} - \ln 2\right)$를 사용하여 $\int_0^\infty x^{n-1/2} e^{-\mu x} \ln x\,dx = \frac{\sqrt{\pi} (2n-1)!!}{2^n \mu^{n+1/2}} \left(2\sum_{k=1}^n \frac{1}{2k-1} - \gamma - \ln(4\mu) \right)$가 유도됨.