[논문 리뷰] Analytic continuation of the generalized hypergeometric series near unit argument with emphasis on the zero-balanced series

Wolfgang Buehring, H. M. Srivastava|ArXiv.org|2001. 02. 04.

Advanced Mathematical Identities참고 문헌 13인용 수 15

한 줄 요약

이 논문은 $z=1$ 근처의 일반화된 하이퍼기하급수 $_{p+1}F_p(z)$에 대한 해석적 계속 방법에 대한 종합적인 리뷰를 제공하며, 특히 $s=0$ 인 제로밸런스 케이스에 중점을 둔다. 주요 접근법으로는 하이퍼기하급수 함수로 귀결되는 재귀관계와 종결형 Saalschützian 급수의 극한을 이용한 일반화된 하이퍼기하급수 미분방정식의 해법을 제시한다. 핵심 기여는 급수의 점점 큰 값에서의 점근 전개 상수와 부분합 점근 전개 상수 사이의 명시적 연결을 보여주며, 이 두 상수가 $ olimits(p) = L(p)$를 통해 동일하다는 것을 입증한다.

ABSTRACT

Various methods to obtain the analytic continuation near $z=1$ of the hypergeometric series $_{p+1}F_p(z)$ are reviewed together with some of the results. One approach is to establish a recurrence relation with respect to $p$ and then, after its repeated use, to resort to the well-known properties of the Gaussian hypergeometric series. Another approach is based on the properties of the underlying generalized hypergeometric differential equation: For the coefficients in the power series expansion around $z=1$ a general formula, valid for any $p$, is found in terms of a limit of a terminating Saalschützian hypergeometric series of unit argument. Final results may then be obtained for each particular $p$ after application of an appropriate transformation formula of the Saalschützian hypergeometric series. The behaviour at unit argument of zero-balanced hypergeometric series, which have received particular attention in recent years, is discussed in more detail. The related problem involving the behaviour of partial sums of such series is addressed briefly.

연구 동기 및 목표

• $z=1$ 근처의 $_{p+1}F_p(z)$에 대한 해석적 계속 방법을 체계화하고 리뷰하는 것. 특히 $s = \sum b_j - \sum a_j = 0$ 인 제로밸런스 급수의 경우에 중점을 두며.
• 제로밸런스 케이스에서 $z=1$에서 일반화된 하이퍼기하급수의 행동을 명확히 하는 것. 이는 Ramanujan의 노트북 이후로 오랫동안 관심을 끌어온 주제이다.
• 무한급수의 해석적 계속에서 나타나는 상수 $L(p)$와 부분합의 점근 전개에서 나타나는 상수 $ olimits(p)$ 사이의 정밀한 연결 고리를 확립하는 것.
• Saalschützian 하이퍼기하급수와 극한 공식을 이용하여 상수 $L(p)$의 다양한 표현을 통합하고 제시하는 것.

제안 방법

• $_{p+1}F_p(z)$를 가우시안 하이퍼기하급수 $_2F_1(z)$로 귀환하는 $p$에 대한 재귀관계를 유도하며, 이는 후자의 잘 알려진 성질을 활용한다.
• 일반화된 하이퍼기하급수 미분방정식을 이용하여 $z=1$ 근처의 멱급수 전개 계수에 대한 일반 공식을 유도한다. 이는 단위 항에서 종결형 Saalschützian 하이퍼기하급수의 극한으로 표현된다.
• Saalschützian 급수에 변환 공식을 적용하여 특정 $p$에 대해 $L(p)$의 명시적 표현을 도출한다. 예를 들어 $p=3$의 경우.
• 잔여물의 방법과 적분 표현을 활용하여 해석적 계속을 감마 함수와 Pochhammer 기호의 형태로 표현한다.
• 다이감마 함수 $\psi(z)$의 점근 전개와 스타링어의 공식을 이용하여 부분합의 행동을 분석한다.
• 해석적 계속에서의 로그 특이성과 부분합의 조화수 유사 발산을 비교함으로써 $\nolimits(p) = L(p)$의 항등식을 확립한다.

실험 결과

연구 질문

• RQ1 임의의 $p$에 대해, 특히 제로밸런스 케이스에서 $_{p+1}F_p(z)$의 해석적 계속을 체계적으로 유도할 수 있는 방법은 무엇인가?
• RQ2 무한급수의 로그 전개에서 나타나는 상수 $L(p)$와 부분합의 점근 전개에서 나타나는 상수 $ olimits(p)$ 사이의 정밀한 관계는 무엇인가?
• RQ3 상수 $L(p)$는 다이감마 함수 $\psi(z)$와 하이퍼기하급수와 같은 알려진 특수함수로 표현될 수 있는가?
• RQ4 Saalschützian 하이퍼기하급수는 $z=1$ 근처 전개의 계수 표현에 어떤 역할을 하는가?
• RQ5 재귀관계를 $p$에 대해 활용하면 고차수 하이퍼기하급수를 잘 알려진 가우시안 케이스로 어떻게 축소할 수 있는가?

주요 결과

• 제로밸런스 $_{p+1}F_p(z)$ 급수의 해석적 계속에서 $z=1$ 근처의 상수 $L(p)$는 $L(p) = 2\psi(1) - \sum_{j=1}^k \psi(a_j) + B(p)$로 주어지며, 여기서 $B(p)$는 Pochhammer 기호를 포함한 급수이다.
• 특히 $p=3$의 경우, 상수 $L(3)$는 $L(3) = 2\psi(1) - \psi(a_1) - \psi(a_2) + B(3)$로 명시적으로 표현되며, $B(3)$는 (4.6), (4.7), (4.10), (4.12) 등 다수의 동치 표현으로 표현 가능하다.
• 제로밸런스 급수의 부분합 점근 전개에서 나타나는 상수 $ olimits(p)$는 $ olimits(p) = L(p)$를 만족하며, 이는 무한급수의 계속과 부분합의 행동 사이에 깊은 동치성을 보여준다.
• 부분합 $\sum_{k=0}^{m-1} \frac{\prod_{j=1}^{p+1} \Gamma(a_j + k)}{\prod_{j=1}^{p} \Gamma(b_j + k) \Gamma(1+k)}$의 점근 행동은 $m \to \infty$일 때 $\nolimits(p) - \psi(1) + \log m + O(m^{-1})$로 주어지며, $\nolimits(p)$는 수렴하는 급수로 정의된다.
• 재귀관계를 $p$에 대해 활용하는 방법은 문제를 잘 알려진 가우시안 하이퍼기하급수로 성공적으로 축소시켜, Saalschützian 항등식과 같은 기존의 합공식을 적용할 수 있게 한다.
• 전개 계수를 종결형 Saalschützian 급수의 극한으로 표현하는 방법은 임의의 $p$에 대해 유효한 일반 공식을 제공하며, 이후 변환 항등식을 통해 특수화된다.