[논문 리뷰] The integrals in Gradshteyn and Rhyzik. Part 1: A family of logarithmic integrals

Victor H. Moll|arXiv (Cornell University)|2007. 04. 30.

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

한 줄 요약

이 논문은 다항대수적 함수, 베르누이 다항식, 허위츠 제타 함수를 사용하여 $ n \geq 2 $, $ a > 0 $ 인 형태의 로그 적분 가족 $ f_n(a) = \int_0^\infty \frac{\ln^{n-1}x}{(x-1)(x+a)}\,dx $ 에 대한 통합 분석 평가를 제공한다. 주요 결과는 베르누이 수와 $ \pi $, $ \ln a $ 의 거듭제곱을 포함하는 닫힌 형식으로 $ f_n(a) $ 를 표현하며, 이는 그라드슈타인과 리즈히크의 표에 포함된 여러 항목을 하나의 프레임워크로 해결한다.

ABSTRACT

We present the evaluation of a family of logarithmic integrals. This provides a unified proof of several formulas in the classical table of integrals by I. S. Gradshteyn and I. M. Rhyzik.

연구 동기 및 목표

• 그라드슈타인과 리즈히크의 고전적 적분 표에 나열된 다수의 로그 적분 공식에 대한 통합 분석적 증명을 제공하는 것.
• 특히 로그 및 다중로그 적분을 포함한 항목에서 발생하는 모순과 오류를 해결하는 것.
• 다음과 같은 가족 적분에 대한 닫힌 형식 표현을 유도하는 것: $ f_n(a) = \int_0^\infty \frac{\ln^{n-1}x}{(x-1)(x+a)}\,dx $, $ n \geq 2 $, $ a > 0 $.
• 이 적분들과 허위츠 제타 함수, 다중로그 함수, 베르누이 다항식 등의 특수 함수 사이의 관계를 설정하는 것.

제안 방법

• 적분 $ f_n(a) $ 를 $ (0,1) $ 과 $ (1,\infty) $ 로 두 부분으로 나누고, 두 번째 부분에 $ x = 1/t $ 을 대입하여 대칭화한다.
• 부분분수 분해를 통해 $ \frac{1}{(x-1)(x+a)} $ 를 $ \frac{1}{x-1} $ 과 $ \frac{1}{x+a} $ 의 선형 조합으로 표현한다.
• 다중로그 함수의 정의 $ \text{Li}_n(x) = \sum_{k=1}^\infty \frac{x^k}{k^n} $ 와 급수 전개를 사용하여 유도된 적분을 평가한다.
• 다중로그 함수의 함수적 항등식을 적용: $ \text{Li}_n(-a) - (-1)^n \text{Li}_n(-1/a) = \frac{(2\pi i)^n}{n! i^n} B_n\left(\frac{\log a}{2\pi i} + \frac{1}{2}\right) $.
• 베르누이 다항식의 반사 및 덧셈 정리를 적용하여 표현식을 $ \log a $ 의 다항식으로 단순화한다.
• 오일러의 공식 $ \zeta(2m) = \frac{(-1)^{m+1}(2\pi)^{2m} B_{2m}}{2(2m)!} $ 을 사용하여 최종 결과를 베르누이 수 $ B_{2j} $, $ \pi $ 의 거듭제곱, 짝수 제타 값으로 표현한다.

실험 결과

연구 질문

• RQ1 그라드슈타인과 리즈히크의 표에 나열된 로그 적분을 평가하기 위한 통합 분석적 프레임워크는 어떻게 개발할 수 있는가?
• RQ2 가족 적분 $ f_n(a) = \int_0^\infty \frac{\ln^{n-1}x}{(x-1)(x+a)}\,dx $ 의 닫힌 형식 표현은 무엇이며, 특수 함수와의 관계는 어떻게 되는가?
• RQ3 특정 항목, 예를 들어 $ \int \ln \ln \tan x\,dx $ 와 같은 항목은 왜 허위츠 제타 함수와 딜리클레 L-함수와 같은 고급 도구가 필요한가?
• RQ4 다항식 $ h_n(a) = (1+a)f_n(a) $ 의 계수는 $ \ln a $ 의 거듭제곱으로 표현되었을 때, 베르누이 수와 제타 값에 어떻게 의존하는가?
• RQ5 다중로그 함수의 반사 항등식은 적분 평가를 단순화하는 데 어떤 역할을 하는가?

주요 결과

• 적분 $ f_n(a) $ 는 다음 닫힌 형식으로 주어진다: $ f_n(a) = \frac{(-1)^n (n-1)!}{1+a} \left[1 + (-1)^n\right] \zeta(n) + \frac{1}{n(1+a)} \sum_{j=0}^{\lfloor n/2 \rfloor} \binom{n}{2j} (2^{2j} - 2)(-1)^{j-1} B_{2j} \pi^{2j} (\ln a)^{n-2j} $.
• 홀수 $ n $ 인 경우 첫 번째 항이 소멸하며, 결과는 짝수 베르누이 수와 $ \ln a $ 의 거듭제곱에만 의존한다.
• 짝수 $ n $ 인 경우 첫 번째 항은 오일러 공식에 의해 $ \pi^n $ 의 유리수 배로 기여한다.
• 다항식 $ h_n(a) = (1+a)f_n(a) $ 는 $ \ln a $ 에 대해 차수 $ n $ 의 동차 다항식이며, $ (-1)^{j-1} B_{2j} $ 의 부호 특성으로 인해 양수 계수를 가진다.
• 이 표현은 그라드슈타인과 리즈히크의 항목 $ \mathbf{4.232.3} $, $ \mathbf{4.261.4} $, $ \mathbf{4.262.3} $, $ \mathbf{4.263.1} $, $ \mathbf{4.264.3} $ 의 타당성을 확인하며, 최신 판에서 알려진 오타를 수정한다.
• 수학적 기호 계산 도구인 마스터랜드 5.2 는 $ n $ 이 기호일 때 $ f_n(a) $ 를 기호적으로 평가하지 못하지만, 고정된 정수 $ n $ 에 대해서는 성공한다. 이는 분석적 유도의 필요성을 확인한다.