[논문 리뷰] The integrals in Gradshteyn and Ryzhik. Part 7: Elementary examples

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

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

한 줄 요약

이 논문은 그라드슈타이크와 리즈히크의 유명한 적분표에 나와 있는 일부 초등 적분에 대해 엄밀한 유도와 맥락적 증명을 제공한다. 치환, 베타 및 감마 함수, 삼각법 변환, 재귀적 적분과 같은 초등 기법을 사용하여 대수적, 로그적, 지수적, 유리 함수를 포함한 적분에 대해 닫힌 형태의 평가를 수립한다. 주요 결과로는 베타 함수, 역삼각함수 및 로그 함수, 일반화된 하이퍼기하 구조를 통한 평가가 포함된다.

ABSTRACT

The classical table of integrals by I. S. Gradshteyn and I. M. Ryzhik contains some elementary integrals. We discuss their evaluations.

연구 동기 및 목표

• 그라드슈타이크와 리즈히크의 표에 나와 있는 일부 초등 적분에 대해 엄밀한 증명을 제공함으로써, 특히 자세한 유도가 부족한 경우에 대비한다.
• 유리함수, 대수적, 로그적, 지수적 형태를 포함한 초등 함수를 조합한 적분을 평가하는 체계적인 접근법을 수립한다.
• 치환과 변환을 통해 알려진 적분을 일반화하여 더 넓은 매개수 범위로 확장한다.
• 베타 함수 및 감마 함수와 같은 특수함수와 연결하여 새로운 닫힌 형태의 표현을 도출한다.
• 표의 항목을 검증하고 확장하며, 특히 $ (ax^2 + 2bx + c)^{-n-3/2} $ 형태의 적분 가족과 같은 새로운 일반화를 포함한다.

제안 방법

• 치환 $ y = 1 - \sqrt{x} $ 를 사용하여 $ \int_0^1 (1 - \sqrt{x})^{p-1} dx $ 를 거듭제곱 적분의 합으로 변환한다.
• 변수변환 $ t = x^a $ 를 적용하여 $ \int_0^1 (1 - x^a)^{p-1} dx $ 를 베타 함수 $ B(p, a^{-1}) $ 로 표현한다.
• 삼각법 치환 $ t = \tan\varphi $ 와 $ u = \sin\varphi $ 를 사용하여 진동하는 적분을 유리함수 또는 역삼각함수 형태로 줄인다.
• 적분 기호 아래 미분을 통해 재귀 관계를 도출하고, 매개수에 의존하는 적분을 위한 미분-차수 방정식을 해결한다.
• 부분분수 분해와 급수 전개를 사용하여 $ (1 - s^2)^{-1} $ 과 $ (1 + z^2 x^2)^{-n-1} $ 을 포함한 적분을 평가한다.
• 분할 적분과 매개수 미분을 적용하여 $ \ln(a^s + x^s) $ 와 분수 거듭제곱을 가진 유리함수를 포함한 적분의 닫힌 형태를 유도한다.

실험 결과

연구 질문

• RQ1 치환 $ y = 1 - \sqrt{x} $ 를 사용하여 초등 적분 $ \int_0^1 (1 - \sqrt{x})^{p-1} dx = \frac{2}{p(p+1)} $ 이 어떻게 엄밀하게 도출될 수 있는가?
• RQ2 $ \int_0^1 (1 - x^a)^{p-1} dx $ 의 일반화된 형태는 어떤 식으로 베타 함수를 통해 닫힌 형태로 표현될 수 있는가?
• RQ3 일반적인 $ a, b > 0 $ 에 대해 $ \int_{-\infty}^\infty \frac{dx}{(1+x^2)\sqrt{b + a x^2}} $ 가 어떻게 평가될 수 있으며, $ a $ 와 $ b $ 에 기반한 세 가지 경우는 무엇인가?
• RQ4 $ \int_0^\infty \frac{dt}{(a + b t^2)^n \sqrt{1 + t^2}} $ 의 닫힌 형태 평가는 무엇이며, 베타 함수와 삼각법 치환과의 관계는 어떠한가?
• RQ5 $ \int_0^\infty e^{-px}(e^{-x} - 1)^n \frac{dx}{x^j} $ 는 어떻게 재귀적으로 평가될 수 있으며, $ T_j $ 의 명시적 공식은 로그적 및 다항식 항목으로 어떻게 표현되는가?

주요 결과

• 적분 $ \int_0^1 (1 - \sqrt{x})^{p-1} dx $ 는 치환 $ y = 1 - \sqrt{x} $ 와 직접 적분을 통해 $ \frac{2}{p(p+1)} $ 로 평가된다.
• 일반화된 형태 $ \int_0^1 (1 - x^a)^{p-1} dx $ 는 $ a^{-1} B(p, a^{-1}) $ 와 같으며, 치환 $ t = x^a $ 를 통해 도출된다.
• 적분 $ \int_{-\infty}^\infty \frac{dx}{(1+x^2)\sqrt{b + a x^2}} $ 는 $ a < b $ 일 때 $ \frac{2}{\sqrt{a}} \tan^{-1}\left( \frac{\sqrt{b-a}}{\sqrt{a}} \right) $ 로 평가되며, $ a = b $ 와 $ a > b $ 의 경우에도 유사한 표현이 존재한다. 특별한 경우 $ a=3, b=4 $ 는 $ \pi/3 $ 을 준다.
• 적분 $ \int_0^\infty \frac{dt}{(a + b t^2)^n \sqrt{1 + t^2}} $ 는 치환 $ v = t / \sqrt{1 + t^2} $ 를 통해 $ \int_0^1 \frac{(1 - v^2)^{n-1} dv}{(a + (b-a)v^2)^n} $ 로 표현되며, 이는 재귀적 평가를 가능하게 한다.
• 적분 $ \int_0^\infty e^{-px}(e^{-x} - 1)^n \frac{dx}{x^j} $ 는 반복적 적분과 매개수 미분을 통해 $ \frac{(-1)^j}{(j-1)!} \sum_{k=0}^n (-1)^k \binom{n}{k} (p + n - k)^{j-1} \ln(p + n - k) $ 로 평가된다.
• 로그 적분 $ \int_0^\infty \ln\left( \frac{a^s + x^s}{b^s + x^s} \right) dx = (a - b) \frac{\pi}{\sin(\pi/s)} $ 는 분할 적분과 알려진 결과 $ \int_0^\infty \frac{dx}{1 + x^s} = \frac{\pi}{s \sin(\pi/s)} $ 를 사용하여 증명된다.