[논문 리뷰] The integrals in Gradshteyn and Ryzhik. Part9: Combinations of logarithms, rational and trigonometric functions

Tewodros Amdeberhan, Victor H. Moll외 3명|ArXiv.org|2007. 07. 14.

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

한 줄 요약

이 논문은 로그, 유리 함수, 삼각 함수를 포함하는 정적분에 대한 닫힌 형태 평가를 제공하며, 로그가 일차 항으로 나타나고 유리 함수의 임계점이 실수 또는 허수일 경우에 집중한다. 부분 분수, 급수 전개, 캐틀란 상수와 탄젠트 적분과 같은 알려진 특수 함수를 사용하여 ∫₀¹ ln x/(1+x) dx = −π²/12 및 ∫₀^{π/4} ln tan x dx = −G와 같은 적분에 대한 정확한 표현을 유도하며, 그라드슈타인과 리즈히크의 결과를 엄밀한 분석적 방법으로 확장한다.

ABSTRACT

The classical table of integrals by I. S. Gradshteyn and I. M. Ryzhik contains many definite integrals where the integrand is the product of a rational function times the logarithm of another rational function. We begin the systematic evaluation of these integrals.

연구 동기 및 목표

• R₁(x) ln R₂(x) dx 형태의 적분을 체계적으로 평가하는 것. 여기서 R₁과 R₂는 유리 함수이며, 로그의 거듭제곱 m은 1이다.
• 로그 및 삼각 함수 조합을 포함하는 특정 항목에 대해 그라드슈타인과 리즈히크의 결과를 분석적 증명을 통해 확장하는 것.
• 유리 함수와 로그를 포함한 적분을 π², 캐틀란 상수 G, 리만 제타 함수와 같은 알려진 상수로 표현하는 것.
• x = tan t와 같은 치환을 통해 로그 적분과 삼각 적분 간의 연결 고리를 설정하는 것.
• 유리 함수의 더 복잡한 임계점 구조에 대한 향후 평가를 위한 기초를 마련하는 것.

제안 방법

• ln(1+x)의 급수 전개와 항별 적분을 활용하여 ∫₀¹ ln(1+x)/x dx = π²/12를 평가한다.
• 기하 급수와 부분 분수를 사용하여 ∫₀¹ ln x/(1±x) dx를 평가하며, 각각 −π²/12 및 −π²/6을 얻는다.
• 치환 x = tan t를 적용하여 유리 적분을 삼각 함수 형태로 변환하며, 예를 들어 ∫₀¹ ln x/(1+x²) dx = ∫₀^{π/4} ln tan t dt = −G로 변환한다.
• Ti₂(x) = ∫₀ˣ (tan⁻¹ t)/t dt로 정의된 탄젠트 적분 함수를 정의하고 이를 활용하여 ∫₀ᵇ ln t/(1+t²)ⁿ dt의 결과를 표현한다.
• 대칭성과 치환 항등식 cos x − sin x = √2 cos(x + π/4)를 사용하여 ∫₀^{π/4} ln(cos x − sin x) dx를 평가한다.
• 분할 적분과 알려진 로그 적분 항등식을 적용하여 ∫₀^{π/2} t cot t dt = (π/2) ln 2와 같은 결과를 도출한다.

실험 결과

연구 질문

• RQ1 ∫₀¹ ln x/(1+x) dx의 닫힌 형태 평가는 무엇이며, 기본 급수 방법을 통해 어떻게 유도할 수 있는가?
• RQ2 실수 또는 순허수 임계점을 가진 로그와 유리 함수를 포함한 적분은 어떻게 hₙ,₁(b) 및 hₙ,₂(b)와 같은 표준 형태로 축소될 수 있는가?
• RQ3 ∫₀^{π/4} ln tan x dx의 정확한 값은 무엇이며, 캐틀란 상수 G와 어떻게 관련되어 있는가?
• RQ4 x = tan t 또는 u = sin x와 같은 치환은 유리-로그 적분을 삼각-로그 형태로 어떻게 변환하는가?
• RQ5 리만 제타 함수 및 탄젠트 적분과 같은 특수 함수는 이러한 적분을 평가하는 데 어떤 역할을 하는가?

주요 결과

• ∫₀¹ ln(1+x)/x dx는 급수 전개와 ∑ₖ (-1)ᵏ/k² = -ζ(2)/2의 항등식을 통해 정확히 π²/12로 평가된다.
• ∫₀¹ ln x/(1+x) dx = −π²/12는 기하 급수 전개와 항별 적분을 통해 확인된다.
• ∫₀^{π/4} ln tan x dx = −G는 치환 x = tan t와 로그 삼각 적분의 알려진 대칭성 특성을 사용하여 확립된다.
• ∫₀^{π/4} ln(sin x) dx = −(π/4) ln 2 − G/2는 sin 및 cos 적분을 포함하는 방정식계를 풀어 유도된다.
• ∫₀^{π/4} ln(cos x − sin x) dx는 삼각 함수 항등식과 알려진 로그 적분 결과를 사용하여 −(π/8) ln 2 − G/2로 평가된다.
• ∫₀^{π/2} ln(1+tan x) dx = (π/4) ln 2 + G는 [0, π/4] 및 [0, π/2]에서 ∫ ln(sin x) dx 및 ∫ ln(cos x) dx의 결과를 조합하여 도출된다.