[論文レビュー] On two Thomae-type transformations for hypergeometric series with integral parameter differences

Y. S. Kim, Arjun K. Rathie+1 more|arXiv (Cornell University)|Aug 10, 2013

Mathematical functions and polynomials参考文献 8被引用数 4

ひとこと要約

本稿では、最近得られたEuler型変換式にBeta積分法を適用することで、正の整数で差が生じるr組の分子および分母パラメータをもつ一般化超幾何級数の2つの新しいThomae型変換式を導出する。主な貢献は、高階超幾何級数を単位引数において、パラメータのシフトおよび関連するパrametric多項式の零点を用いて表現する体系的な変換フレームワークを確立したことである。このフレームワークにより、明示的な根の計算を避けて多項式の評価によって級数の和を求められるようになる。

ABSTRACT

We obtain two new Thomae-type transformations for hypergeometric series with r pairs of numeratorial and denominatorial parameters differing by positive integers. This is achieved by application of the so-called Beta integral method developed by Krattenthaler and Rao [Symposium on Symmetries in Science (ed. B. Gruber), Kluwer (2004)] to two recently obtained Euler-type transformations. Some special cases are given.

研究の動機と目的

• 正の整数で差が生じるr組のパラメータをもつ高階超幾何級数への既知のEuler型変換式の拡張。
• 単位引数における一般化超幾何関数の2項Thomae型変換式の導出。
• 変換恒等式から導かれるパラメトリック多項式を用いることで、明示的な根の計算を回避する手法の確立。
• 変換式の明示的表現を、パラメトリック多項式Q_m(t)およびQ̂_m(t)の零点を用いて与え、根を求める必要なく級数の評価を可能にする。

提案手法

• r組のパラメータが正の整数で差が生じる超幾何級数に対して最近得られた2つのEuler型変換式に、KrattenthalerとRaoのBeta積分法を適用する。
• Euler型変換式にBeta積分核x^{d-1}(1-x)^{e-d-1}を乗じ、[0,1]上で項別に積分し、標準的なBeta関数の恒等式を用いる。
• 得られた積分表現を、パラメータをシフトした新しい一般化超幾何級数および変換されたパラメータを用いて書き直す。
• 零点(ξ_m)および(η_m)が変換された級数の新しいパラメータを定義する、次数m = m_1 + ... + m_rのパラメトリック多項式Q_m(t)およびQ̂_m(t)を定義する。
• 正規化Q_m(0) = Q̂_m(0) = 1を用い、係数C_{k,r}を第二種スターリング数およびパラメータシフトの初等対称関数を用いて表現する。
• 変換された級数の評価が、明示的な根ではなく多項式Q_m(-k)およびQ̂_m(-k)に依存することを示し、実用的な計算を容易にする。

実験結果

リサーチクエスチョン

• RQ1 整数パラメータ差をもつ高階超幾何級数に対して、Beta積分法を体系的に応用することで、Euler型変換式をThomae型恒等式に拡張できるか？
• RQ2 正の整数で差が生じるr組のパラメータをもつ一般化超幾何関数の変換は、パラメトリック多項式およびその零点を用いてどのように表現できるか？
• RQ3 パラメトリック多項式Q_m(t)およびQ̂_m(t)は、変換された級数の新しいパラメータを定義する上で果たす役割は何か？
• RQ4 パラメトリック多項式の零点を明示的に計算せずに、変換された級数を評価できるか？
• RQ5 変換された級数が収束または終結する条件は何か？ これはパラメトリック超過およびパラメータ制約にどのように依存するか？

主な発見

• r組のパラメータが正の整数で差が生じるr+2F_r+1およびm+2F_m+1超幾何級数に対して、指定された収束性および非消滅条件のもとで有効な2つの新しいThomae型変換式が導出された。
• 変換式は、それぞれのパラメトリック多項式Q_m(t)およびQ̂_m(t)の零点(ξ_m)および(η_m)を用いて表現されており、これらはPochhammer記号、スターリング数、およびパラメータシフトの対称関数の和を含む形で定義される。
• r=1、m=2の場合、明示的な二次多項式Q_2(t)およびQ̂_2(t)が導出され、具体的な零点ξ_1=1/2、ξ_2=9/2およびη_1=1/2、η_2=-27/34が得られ、これにより明示的な変換恒等式が構成された。
• 右辺の変換された級数は、Q_m(-k)およびQ̂_m(-k)を用いて評価可能であり、明示的な根の計算が不要であることを示しており、実用的応用を容易にする。
• a=1/4、b=5/2、c=3/2、f=1/2などの特別な場合、4F3[1/4,5/2,d,5/2;3/2,e,1/2;1] = [Gamma(e)Gamma(e-d-13/4)/Gamma(e-d)Gamma(e-13/4)] × 4F3[-3/4,-3,d,7/34;e-13/4,1/2,-27/34;1]のような具体的な恒等式が得られ、Re(e-d)>13/4の範囲で有効である。
• 特定のパラメータがシフトされた零点と一致する場合、例えばc = ξ_1 + 1 = η_1 + 1 = 3/2の場合、級数の次数が縮小され、4F3から終結する和をもつ4F3に短縮される。