[논문 리뷰] The integrals in Gradshteyn and Rhyzik. Part 2: Elementary logarithmic integrals

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

Advanced Combinatorial Mathematics참고 문헌 5인용 수 9

한 줄 요약

이 논문은 R(x)가 유리함수이고 m ∈ ℕ일 때, ∫ₐᵇ R(x) lnᵐx dx 형태의 초등 로그 적분을 평가하기 위한 체계적인 방법을 제시한다. 치환, 부분분수 분해, 다이로그함수를 사용하여 명시적인 공식을 유도하며, 단일 및 다중 극을 포함한 극이 있는 적분에 대한 핵심 결과를 도출한다. 이는 Li₂ 및 로그함수의 유리함수 형태로 닫힌 형태의 표현을 포함한다.

ABSTRACT

We describe methods to evaluate elementary logarithmic integrals. The integrand is the product of a rational function and a linear polynomial in ln x.

연구 동기 및 목표

• R(x)가 유리함수이고 m ∈ ℕ일 때, ∫ₐᵇ R(x) lnᵐx dx 형태의 정적분을 평가하기 위한 일반적인 기법을 개발하는 것.
• 특히 m=1까지의 로그 항을 포함한 단일 및 다중 실수 극을 가진 유리함수의 경우를 다루는 것.
• 치환, 부분분수 분해, 딜로그함수 Li₂와 같은 특수함수를 사용하여 닫힌 형태의 표현을 도출하는 것.
• 다중 극을 가진 고차 유리함수의 평가를 위한 재귀관계를 수립하는 것.
• 고차 적분의 해를 구할 때 나타나는 계수 다항식의 단조성(유일최대성)을 입증하는 것.

제안 방법

• 형식 ∫₀ᵇ xʲ lnᵐx dx의 적분을 감마함수 유형의 적분으로 줄이기 위해 x = bt의 치환을 사용하는 것.
• ∫₀¹ tʲ lnᵏt dt = (−1)ᵏ k! / (j+1)ᵏ⁺¹을 평가하기 위해 t = e⁻ˢ의 변수변환을 적용하는 것.
• ∫₀ᵇ ln x / (x + r) dx를 ln b ln(1 + b/r)과 ∫₀ᵇˡⁿ⁻¹ ln t / (1 + t) dt 형태로 변환하는 것.
• 디로그함수를 사용하여 ∫₀ᵇ ln t / (1 + t) dt를 평가하여 g(b) = ln b ln(1 + b) + Li₂(−b)를 얻는 것.
• hₙ(b) = ∫₀ᵇ ln t / (1 + t)ⁿ dt에 대한 재귀관계를 유도하여 ln b, ln(1 + b), 그리고 유리함수 형태의 명시적 표현을 도출하는 것.
• 로그항과 유리항을 분리하기 위해 qₙ(b) = (1 + b)ⁿ⁻¹ hₙ(b) 함수를 도입하여 계수의 체계적 계산을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 P(x)가 다항식일 때, ∫₀ᵇ P(x) lnᵐx dx 형태의 적분은 어떻게 평가할 수 있는가?
• RQ2 r, b > 0일 때, ∫₀ᵇ ln x / (x + r) dx의 닫힌 형태 평가는 무엇인가?
• RQ3 부분분수 분해와 다이로그함수를 사용하여 ∫ₐᵇ ln x / [(x + r₁)(x + r₂)] dx를 어떻게 평가할 수 있는가?
• RQ4 n ≥ 2일 때, ∫₀ᵇ ln t / (1 + t)ⁿ dt의 평가를 지배하는 재귀관계는 무엇인가?
• RQ5 고차 로그 적분의 해를 구할 때 나타나는 계수 다항식은 유일최대성을 가지는가?

주요 결과

• ∫₀ᵇ P(x) lnᵐx dx는 1 ≤ j ≤ deg(P)+1 및 0 ≤ k ≤ m인 bʲ lnᵏb의 선형결합이며, 계수는 (−1)ᵏ k! / (j+1)ᵏ⁺¹를 포함한다.
• ∫₀ᵇ ln x / (x + r) dx는 ln b ln((b + r)/r) + Li₂(−b/r)로 평가되며, 여기서 Li₂는 딜로그함수이다.
• ∫₀¹ ln x / (1 + x) dx의 결과는 −π²/12이며, 그라드슈타인과 리즈히크의 항목 4.231.1을 확인한다.
• n > 2일 때, hₙ(b) = (n−2)/(n−1) hₙ₋₁(b) + b ln b / [(n−1)(1 + b)ⁿ⁻¹] + [1 − (1 + b)ⁿ⁻²] / [(n−1)(n−2)(1 + b)ⁿ⁻²]의 재귀관계가 성립한다.
• Zₙ(b) = −b(1 + b) Tₙ(b)/(n−1)!로 정의된 다항식 Tₙ(b)는 양의 정수 계수를 가지며, 유일최대성을 가진다.
• ∫₀ᵇ ln x / [(x + a)(x + b)] dx는 (ln(ab)/2(b−a)) ln[(a + b)²/(4ab)]로 평가되며, 그라드슈타인과 리즈히크의 항목 4.232.1과 일치한다.