[논문 리뷰] The integrals in Gradshteyn and Ryzhik. Part 11: The incomplete beta function

Khristo N. Boyadzhiev, Luis A. Medina외 1명|ArXiv.org|2008. 08. 20.

Mathematical functions and polynomials참고 문헌 4인용 수 12

한 줄 요약

이 논문은 그라드슈타이니와 리즈히크의 적분을 포함하는 비정적 베타 함수에 대한 체계적인 분석을 제공하며, 급수 전개와 디감마 함수 및 트리감마 함수의 성질을 사용한다. ∫₀¹ ln x / (1+x)² dx = −ln 2 및 ∫₁^∞ ln x / (1+x²)² dx = G/2 − π/8와 같은 적분의 닫힌 형태 평가를 유도하며, 적분 변환 및 윤곽 적분 기법을 통해 비정적 베타 함수와 특수 함수 간의 관계를 설정한다.

ABSTRACT

The table of Gradshteyn and Ryzhik contains some integrals that can be expressed in terms of the incomplete beta function. We describe some elementary properties of this function and use them to check some of the formulas in the mentioned table.

연구 동기 및 목표

• 그라드슈타이니와 리즈히크의 비정적 베타 함수를 포함하는 정적 적분을 확인하고 유도하는 것.
• 급수와 특수 함수를 사용하여 비정적 베타 함수 β(a) = ∫₀¹ x^{a−1}/(1+x) dx의 기본 성질을 수립하는 것.
• 함수 항등식을 통해 비정적 베타 함수를 디감마 함수 및 트리감마 함수와 연결하는 것.
• 매개변수 미분과 변수 치환을 통해 난이도 높은 로그 및 유리 함수 적분을 평가하는 것.
• 비정적 베타 함수가 수학적 물리학 및 해석학 분야의 고급 정적 적분 평가에서 얼마나 유용한지 보여주는 것.

제안 방법

• 비정적 베타 함수를 급수로 표현: a > 0일 때 β(a) = ∑_{k=0}^∞ (−1)^k / (a + k).
• 디감마 함수 전개를 사용하여 항등식 β(a) = ½[ψ((a+1)/2) − ψ(a/2)]를 도출하는 것.
• 디감마 함수의 함수 항등식을 적용하는 것, 특히 ψ(x+1) = ψ(x) + 1/x 및 ψ(x) − ψ(1−x) = −π cot(πx).
• x = t^p와 같은 변수 치환을 사용하여 적분을 β(a)로 표현할 수 있는 형태로 변환하는 것.
• 매개변수에 의존하는 적분을 미분하여 로그 적분을 평가하는 것, 예를 들어 ∫ t^{a−1} ln t / (b^p + t^p) dt.
• 포아송 적분 표현 및 푸리에 변환을 사용하여 cosh(πx) 및 β(x)를 포함하는 적분을 평가하는 것.

실험 결과

연구 질문

• RQ1 비정적 베타 함수 β(a)는 어떻게 급수와 특수 함수를 통해 표현될 수 있으며, 이를 통해 그라드슈타이니와 리즈히크의 항목을 확인할 수 있는가?
• RQ2 a → a+1 또는 a → 1−a와 같은 변환에 대해 β(a)의 행동을 지배하는 함수 항등식은 무엇인가?
• RQ3 매개변수 미분과 변수 치환은 비정적 베타 함수를 포함하는 로그 적분을 평가하는 데 어떻게 활용될 수 있는가?
• RQ4 비정적 베타 함수와 hyperbolic 함수의 푸리에 또는 라플라스 변환 간의 관계는 무엇인가?
• RQ5 ∫₀^∞ dx / [(b² + x²) cosh(πx)]는 β(b + ½)를 사용하여 닫힌 형태로 평가될 수 있는가?

주요 결과

• 적분 ∫₀¹ ln x / (1+x)² dx는 정확히 −β(1) = −ln 2로 평가된다.
• 적분 ∫₁^∞ ln x / (1+x²)² dx는 G/2 − π/8로 평가되며, 여기서 G는 카탈란 상수이다.
• b > 0일 때 ∫₀^∞ e^{−bt} cos(yt)/cosh t dt = (1/π) ∫_{−∞}^∞ h(0,u) b / (b² + (y−u)²) du라는 항등식이 확립된다.
• 함수 μ(x) = ∫₀^∞ e^{−xt}/cosh t dt는 μ(x) = β((x+1)/2)를 만족하며, 이는 비정적 베타 함수와 연결된다.
• 항등식 ∫₀^∞ μ(t) sin(xt) dt = μ(2x/π)가 증명되었으며, 이는 sine 변환 하에서 자가 역성 성질을 보임을 보여준다.
• ∫₀¹ x² ln x / (1+x²)² dx의 평가는 −½ β′(3/2) + ¼ β(3/2)로 유도되며, 이는 G/2 − 1/2로 단순화된다.