[논문 리뷰] Tables of the Appell Hypergeometric Functions $F_2$

Jonathan Murley, Nasser Saad|ArXiv.org|2008. 09. 30.

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

한 줄 요약

이 논문은 이중 적분 형태에서 유도된 단일 적분 표현을 활용하여 Appell 초함수 $F_2$의 새로운 축소 및 변환 공식을 체계적으로 정리한다. 기존의 ${}_2F_1$ 및 ${}_3F_2$에 대한 알려진 축소 공식을 적용함으로써, 다양한 매개수 조건 하에서 $F_2(\sigma;\alpha_1,1;\beta_1,2;x,y)$에 대한 명시적 닫힌 형태 표현을 도출하며, 기존 표와 비교해 크게 확장하고 고전적 참고문헌의 오류를 수정한다.

ABSTRACT

The generalized hypergeometric function $_qF_p$ is a power series in which the ratio of successive terms is a rational function of the summation index. The Gaussian hypergeometric functions $_2F_1$ and $_3F_2$ are most common special cases of the generalized hypergeometric function $_qF_p$. The Appell hypergeometric functions $F_q$, $q=1,2,3,4$ are product of two hypergeometric functions $_2F_1$ that appear in many areas of mathematical physics. Here, we are interested in the Appell hypergeometric function $F_2$ which is known to have a double integral representation. As demonstrated by Opps, Saad, and Srivastava (J. Math. Anal. Appl. 302 (2005) 180-195), the double integral representation of $F_2$ can be reduced to a single integral that can be easily evaluated for certain values of the parameters in terms of $_2F_1$ and $_3F_2$. Using many of the reduction formulas of $_2F_1$ and $_3F_2$ and the representation of $F_2$ in terms of a single integral, we have begun to tabulate new reduction formulas for $F_2$.

연구 동기 및 목표

• Appell 초함수 $F_2$에 대한 새로운 축소 공식을 체계적으로 유도하고 표로 정리하는 것.
• Prudnikov 등이 저술한 고전적 단행본에 기재된 ${}_2F_1$ 및 ${}_3F_2$ 공식의 오타를 수정하는 것.
• $F_2$의 적용 가능성을 확장하기 위해 매개수에 따라 특수한 축소를 통해 더 단순한 초함수로 표현하는 것.
• 적분 표현과 변환 항등식을 활용하여 $F_2(\sigma;\alpha_1,1;\beta_1,2;x,y)$의 다양한 매개수 조합에 대해 명시적 닫힌 형태 평가를 제공하는 것.

제안 방법

• Euler의 ${}_2F_1$ 적분 공식을 통해 이중 적분 형태에서 유도된 $F_2$의 단일 적분 표현을 활용한다.
• 유명한 ${}_2F_1$ 및 ${}_3F_2$ 축소 공식을 적용하여 유도된 적분을 기본 함수 또는 특수 함수 형태로 단순화한다.
• 표현식 $F_2(\sigma;\alpha_1,1;\beta_1,2;x,y) = \frac{\Gamma(\beta_1)}{\Gamma(\alpha_1)\Gamma(\beta_1 - \alpha_1)} \int_0^1 \frac{u^{\alpha_1 - 1}(1-u)^{\beta_1 - \alpha_1 - 1}}{(1 - xu)^\sigma} {}_2F_1\left(\sigma, \alpha_2; \beta_2; \frac{y}{1 - xu}\right) du$ 를 핵심 계산 프레임워크로 사용한다.
• 기존의 변환 및 특수 함수 항등식을 활용하여 특정 $\sigma, \alpha_1, \beta_1$ 값에 대해 적분을 체계적으로 평가한다.
• 기존 알려진 항등식과 비교하여 결과를 검증하고, 특히 Prudnikov 등에서의 오류를 수정한다.
• 결과를 $F_2$에 대해 표 형태로 제시한다 (표 I–II), 여기서 $\alpha_2 = 1$, $\beta_2 = 2$, 그리고 다양한 $\sigma, \alpha_1, \beta_1$ 값을 사용한다.

실험 결과

연구 질문

• RQ1 특정 매개수 값에 대해 Appell $F_2$ 함수는 어떻게 더 단순한 초함수로 축소될 수 있는가?
• RQ2 매개수가 유리수 또는 반정수 값을 가질 경우 ${}_2F_1$ 및 ${}_3F_2$ 항등식의 정확한 형태는 무엇인가?
• RQ3 Prudnikov 등에서 기재된 알려진 공식들 중에서 오타가 포함된 것은 무엇이며, 어떻게 수정할 수 있는가?
• RQ4 이중 적분 형태로 표현된 $F_2$는 어떤 단일 적분 형태로 축소될 수 있으며, 이는 광범위한 매개수 조합에 대해 명시적 평가를 가능하게 하는가?
• RQ5 적분 및 변환 기법을 사용하여 $F_2(\sigma;\alpha_1,1;\beta_1,2;x,y)$에 대해 어떤 닫힌 형태 표현을 도출할 수 있는가?

주요 결과

• 논문은 ${}_2F_1(5/2, 4; 1; z)$에 대한 오타 수정된 공식을 수정하여 정확한 표현을 제공한다: $\frac{1}{16}(16 + 72z + 18z^2 - z^3)(1 - z)^{-11/2}$.
• ${}_2F_1(4/5, 1; 14/5; z)$에 대해 수정된 표현이 유도되며, $x = z^{1/5}$로 치환된 로그 및 아 tangent 항을 포함한다.
• ${}_2F_1(5/6, 1; 17/5; z)$에 대해 논문은 $x = z^{1/6}$로 치환된 로그 및 역탄젠트 함수를 포함하는 공식을 제공한다.
• $\sigma = n+1$, $n+1/2$, $1-n$, $2$, $b+1$, $b+1$ 인 경우에 대해 $\alpha_1 = b$, $\alpha_2 = 1$, $\beta_1 = c$, $\beta_2 = 2$ 를 사용하여 $F_2(\sigma;\alpha_1,1;\beta_1,2;x,y)$가 명시적으로 평가되며, 기본 함수 및 특수 함수의 닫힌 형태로 표현된다.
• $\sigma = 1 - n$, $n \neq 0$ 인 경우에 대해 $F_2(\sigma;\alpha_1,1;\beta_1,2;x,y)$에 대한 일반 공식이 유도되며, 유한 합과 초함수의 도함수를 포함한다.
• $F_2(b+1; b, 1; c, 2; x, y)$에 대해 새로운 공식이 제공되며, Pochhammer 기호와 $(1-y)^{-(b+k)} - 1$ 의 거듭제곱을 포함하는 $k$ 에 대한 합으로 표현되며, 등가의 미분 연산자 형태로도 기술된다.