[論文レビュー] Analytic continuation of the generalized hypergeometric series near unit argument with emphasis on the zero-balanced series

Wolfgang Buehring, H. M. Srivastava|ArXiv.org|Feb 4, 2001

Advanced Mathematical Identities参考文献 13被引用数 15

ひとこと要約

本稿は、$z=1$ の近傍における一般化超幾何級数 $_{p+1}F_p(z)$ の解析接続手法について包括的なレビューを提供しており、特に $s=0$ のゼロバランスケースに注目している。主な手法として、ガウス超幾何関数に還元される漸化式関係と、終結型サルスシューツィアン級数の極限として得られる一般化超幾何微分方程式の解が提示されている。主な貢献は、級数の漸近展開における定数と部分和の漸近的性質における定数の明示的関係であり、$ olimits\mathcal{L}(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.

研究の動機と目的

• $_{p+1}F_p(z)$ の $z=1$ 近傍における解析接続の既存手法を体系的に整理・レビューすること、特に $s = \sum b_j - \sum a_j = 0$ であるゼロバランスケースに焦点を当てる。
• ゼロバランスケースにおける一般化超幾何関数の $z=1$ における振る舞いを明確にすること。これはラマヌジャンのノートブック以降、長年にわたり注目を集めてきた主題である。
• 無限級数の解析接続における定数 $L(p)$ とその部分和の漸近展開における定数 $\mathcal{L}(p)$ の明確な関係を確立すること。
• サルスシューツィアン超幾何級数と極限公式を用いて、定数 $L(p)$ のさまざまな表現を統一的に提示すること。

提案手法

• 既知のガウス超幾何関数の性質を活用し、$_{p+1}F_p(z)$ をガウス超幾何関数 $_2F_1(z)$ に還元する $p$ に関する漸化式関係を導出する。
• 一般化超幾何微分方程式を用いて、$z=1$ の周りのべき級数展開における係数の一般式を導出し、単位引数における終結型サルスシューツィアン級数の極限として表現する。
• サルスシューツィアン級数に変換公式を適用し、$p=3$ のような特定の $p$ について $L(p)$ の明示的表現を得る。
• 留数の方法と積分表現を用いて、解析接続をガンマ関数とポッホハマー記号を用いて表現する。
• ディガンマ関数 $\psi(z)$ の漸近展開とスターリングの公式を用いて、部分和の振る舞いを分析する。
• 解析接続における対数特異性と部分和における調和的発散の比較により、恒等式 $\mathcal{L}(p) = L(p)$ を確立する。

実験結果

リサーチクエスチョン

• RQ1 任意の $p$ に対して、特にゼロバランスケースにおいて、$_{p+1}F_p(z)$ の $z=1$ 近傍における解析接続を体系的に導出する方法は何か？
• RQ2 無限級数の対数的展開における定数 $L(p)$ とその部分和の漸近展開における定数 $\mathcal{L}(p)$ の正確な関係は何か？
• RQ3 $L(p)$ は、ディガンマ関数 $\psi(z)$ や超幾何級数といった既知の特殊関数を用いて表現可能か？
• RQ4 サルスシューツィアン超幾何級数は、$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)$ はポッホハマー記号を含む級数である。
• $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) などの複数の同等な形で表現可能である。
• ゼロバランス級数の部分和の漸近展開における定数 $\mathcal{L}(p)$ は $\mathcal{L}(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$ のとき $\mathcal{L}(p) - \psi(1) + \log m + O(m^{-1})$ となり、ここで $\mathcal{L}(p)$ は収束級数で定義される。
• $p$ に関する漸化式の手法により、問題がガウス超幾何関数にうまく還元され、サルスシューツィアン恒等式を含む既知の和公式の適用が可能になった。
• 展開の係数を終結型サルスシューツィアン級数の極限として表現することで、任意の $p$ に対して有効な一般式が得られ、その後、変換恒等式を用いて特殊化された。