[논문 리뷰] Hypergeometric form of Fundamental theorem of calculus

Petr Blaschke|arXiv (Cornell University)|2018. 08. 14.

Analytic and geometric function theory참고 문헌 12인용 수 5

한 줄 요약

이 논문은 원점 근처의 해석함수에 대해 항미분을 계산하는 데 단순화된 초함수 형태의 적분법을 제안한다. 이 방법은 항미분을 두 개의 추가 Pochhammer 기호를 가진 일반화된 초함수로 표현함으로써, $\frac{\sin x}{x}$, $\frac{\arctan x}{x}$, $e^{x^2}$와 같은 도전적인 함수들에 대해 단일이고 기본적인 절차로 체계적으로 통합할 수 있도록 한다. 이는 초함수 함수들이 통합의 자연스러운 클래스임을 입증하며, 메소드 오브 브라켓과 같은 히우리스틱 기법에 대한 엄밀한 대안을 제공한다.

ABSTRACT

We introduce a natural method of computing antiderivatives of a large class of functions which stems from the observation that the series expansion of an antiderivative differs from the series expansion of the corresponding integrand by just two Pochhammer symbols. All antiderivatives are thus, in a sense, "hypergeometric". And hypergeometric functions are therefore the most natural functions to integrate. This paper would like to make two points: First, the method presented is easy. So much so that it can be taught in undergraduate university level. And second: It may be used to prove some of the more challenging examples computed only by heuristic processes like Method of brackets.

연구 동기 및 목표

• 원점 근처의 해석함수에 대한 항미분을 계산하는 데 있어 복잡한 해석학이나 히우리스틱 기법에 의존하지 않는 단순하고 체계적인 방법을 개발하는 것.
• 일반화된 초함수 함수 $\,_{p}F_{q}$ 가 $\frac{\sin x}{x}$, $\left(\frac{\sin x}{x}\right)^2$, $e^{x^2}$와 같이 초월함수로 표현되지 않는 함수를 포함한 광범위한 적분 가능한 함수의 클래스를 자연스럽게 포함함을 보여주는 것.
• 메소드 오브 브라켓과 같은 히우리스틱 통합 기법에 대한 엄밀한 대안을 제공함으로써, $\frac{\sin x}{x}$, $\left(\frac{\sin x}{x}\right)^2$, $e^{x^2}$를 포함한 적분을 엄밀하게 평가할 수 있도록 하는 것.
• Pochhammer 기호를 포함한 기호 변환을 통해 원점 근처의 모든 해석함수에 대해 항미분을 통합하는 방법을 통합적으로 다루는 것.

제안 방법

• 이 방법은 항미분의 테일러 급수와 피적분함수의 테일러 급수 사이의 차이가 정확히 두 개의 Pochhammer 기호로 이루어져 있음을 활용하여 직접 기호적 통합을 가능하게 한다.
• 초함수 형태의 적분법 기본정리: $\int x^{\alpha} \,_{p}F_{q}\left(\begin{array}{c}a_1,\dots,a_p \\ c_1,\dots,c_q\end{array}; \gamma x^{\beta}\right) dx = \frac{x^{\alpha+1}}{\alpha+1} \,_{p+1}F_{q+1}\left(\begin{array}{c}a_1,\dots,a_p,\frac{\alpha+1}{\beta} \\ c_1,\dots,c_q,1+\frac{\alpha+1}{\beta}\end{array}; \gamma x^{\beta}\right) + c$.
• 다양한 초함수 클래스와 차원 간의 진술을 통합하기 위해 '초함수화(hypergeometrization)' 개념을 도입하여, 사례별 분석 없이도 기호적 조작이 가능하도록 한다.
• 특정 적분을 평가하기 위해 이 방법을 적용하였으며, $\int \frac{z^4}{(1+z^2)^3} dz$ 및 $\int \frac{z^4}{(1+z^2)^2} dz$ 와 같은 적분을 초함수로 표현하고 알려진 항등식을 통해 단순화하였다.
• 복소수 초함수 함수를 사용하여 실수부를 추출함으로써, $\arctan z$와 로그 항을 포함한 정적분을 복소수 초함수 표현의 실수부를 통해 평가할 수 있도록 하였다.
• 특수 함수 항등식과 일치하는 폐쇄형 결과를 도출함으로써 이 방법을 검증하였으며, $\int_0^1 \frac{x^{\alpha}}{\sqrt{1-x}} \,_{2}F_{1}\left(\begin{array}{c} \frac{\alpha}{2}, \frac{\alpha+1}{2} \\ \alpha+1 \end{array}; x \right) dx$ 와 같은 적분에 대해 검증하였다.

실험 결과

연구 질문

• RQ1 복잡한 해석학이나 히우리스틱 기법에 의존하지 않고, 원점 근처의 해석함수에 대해 항미분을 계산하는 데 있어 단일하고 기본적인 기호적 절차를 개발할 수 있는가?
• RQ2 일반화된 초함수 함수 $\,_{p}F_{q}$ 가 $\frac{\sin x}{x}$, $\left(\frac{\sin x}{x}\right)^2$, $e^{x^2}$와 같은 비초월함수를 포함한 광범위한 비초월적 피적분함수의 클래스를 얼마나 자연스럽게 포함하는가?
• RQ3 초함수 형태의 적분법 기본정리를 사용하여 이전에는 비엄밀한 방법(예: 메소드 오브 브라켓)으로만 해결된 적분을 엄밀하게 평가할 수 있는가?
• RQ4 복소수 초함수 함수를 어떻게 활용하여 $\arctan x$와 로그 항을 포함한 실수값 정적분을 추출할 수 있는가?
• RQ5 Pochhammer 기호를 포함한 '초함수화'를 통해 다양한 초함수 클래스와 차원 간의 항미분에 대해 일반적인 진술을 가능하게 하는 통합적인 기호 프레임워크가 존재하는가?

주요 결과

• 논문은 원점 근처의 해석함수의 모든 항미분이 정확히 두 개의 추가 Pochhammer 기호를 가진 일반화된 초함수로 표현될 수 있음을 입증하며, 이는 보편적인 기호적 통합 방법을 가능하게 한다.
• 이 방법은 $\int \frac{z^4}{(1+z^2)^3} dz = \frac{15}{8} \frac{(1+z^2)^3}{z^5} \arctan z - \frac{5}{32} (3+5z^2)(1+z^2)$ 와 같이 비초월 피적분함수에 대해서도 성공적으로 적용되었으며, 이는 강력한 통합 능력을 보여준다.
• 복소수 초함수 함수 $\,_{2}F_{1}\left(\begin{array}{c}1, 3 \\ 7/2 \end{array}; \frac{i}{\sqrt{3}} \right)$ 의 실수부가 $\frac{45}{8} - \frac{135\sqrt{2}}{64} \arctan \sqrt{2} - \frac{45}{128} \sqrt{6} \ln(5+2\sqrt{6})$ 로 계산되었으며, 이는 복소수 초함수 적분에 대한 폐쇄형 결과를 제공한다.
• 특수 적분 $I_{\alpha} = \int_0^1 \frac{x^{\alpha}}{\sqrt{1-x}} \,_{2}F_{1}\left(\begin{array}{c} \frac{\alpha}{2}, \frac{\alpha+1}{2} \\ \alpha+1 \end{array}; x \right) dx$ 에 대해 전개에서 $\alpha$ 의 계수를 도출하면 $\left[\alpha\right]I_{\alpha} = \ln \frac{1}{2} - \frac{4}{45} \,_{3}F_{2}\left(\begin{array}{c}1, 1, \frac{3}{2} \\ \frac{7}{4}, \frac{9}{4} \end{array}; -\frac{1}{3} \right) - \frac{2}{45} \,_{4}F_{3}\left(\begin{array}{c}1, 1, \frac{3}{2}, \frac{3}{2} \\ 2, \frac{7}{4}, \frac{9}{4} \end{array}; -\frac{1}{3} \right)$ 로 도출된다.
• 이 방법을 통해 $I_{\text{true}} = \frac{1}{\sqrt{2}} \,_{2}F_{1}\left(\begin{array}{c}1, \frac{1}{2} \\ \frac{3}{2} \end{array}; -\frac{1}{3} \right) = \frac{\pi}{2\sqrt{6}}$ 를 기호적 초함수 변환을 통해 확인하였으며, 이는 기존에 알려진 결과를 정확히 재확인한 것이다.