[論文レビュー] On an extension of extended Beta and hypergeometric functions

Rakesh K. Parmar, Purnima Chopra+1 more|arXiv (Cornell University)|Feb 22, 2015

Mathematical functions and polynomials参考文献 10被引用数 9

ひとこと要約

本稿では、修正ベッセル関数を用いたベータ関数の新規拡張を提案し、超幾何関数および退化超幾何関数の一般化形を導出する。著者らは積分表現、メリン変換、漸近展開、変換公式を導出し、主な結果としてメリン変換の公式と大 |z| における漸近展開を提示する。これにより、古典的特殊関数がより高い解析的柔軟性を獲得する。

ABSTRACT

Motivated mainly by certain interesting recent extensions of the Gamma, Beta and hypergeometric functions, we introduce here new extensions of the Beta function, hypergeometric and confluent hypergeometric functions. We systematically investigate several properties of each of these extended functions, namely their various integral representations, Mellin transforms, derivatives, transformations, summation formulas and asymptotics. Relevant connections of certain special cases of the main results presented here are also pointed out.

研究の動機と目的

• 修正ベッセル関数第2種 Kν+1/2 を用いて古典的ベータ関数を拡張し、新たなパラメータ ν と Kν+1/2 を含む一般化形を導出すること。
• パラメータ ν を用いた拡張されたベータ関数に基づき、ガウス超幾何関数および退化超幾何関数の新規拡張を定義すること。
• 拡張された関数の積分表現、メリン変換、微分公式、変換則、漸近的挙動を体系的に調査すること。
• メイジャー G 関数、マクドナルド関数、誤差関数などの既知の特殊関数との関係を確立すること。
• p=0 の古典的結果を p>0 および ν≠0 の場合に一般化することで、数学的物理学および統計学における応用範囲を拡大すること。

提案手法

• 拡張されたベータ関数は、区間 [0,1] 上で t^{x-3/2}(1-t)^{y-3/2}Kν+1/2(p/(t(1-t))) の積分によって定義され、ν が新たなパラメータとして導入される。
• 拡張された超幾何関数 Fp,ν(a,b;c;z) および Φp,ν(b;c;z) は、級数形および積分形において拡張されたベータ関数を用いて構成される。
• メリン変換表現は、積分の順序交換と Kν+1/2(w)w^{s-1} の既知の積分公式を用いて導出される。
• 大 |z| における漸近展開は、二項展開と (1−zt)^{-a} の級数展開における剰余項の境界を用いて得られる。
• 変換および和公式は、積分恒等式および修正ベッセル関数 Kν+1/2 の性質を用いて導出される。
• この手法は、絶対収束を根拠として積分順序の交換を正当化し、既知の特殊関数の恒等式を適用する。

実験結果

リサーチクエスチョン

• RQ1 修正ベッセル関数を用いて、追加のパラメータ ν を組み込むことにより、古典的ベータ関数をどのように拡張できるか？
• RQ2 新規に拡張された超幾何関数 Fp,ν および Φp,ν の積分表現およびメリン変換の公式は何か？
• RQ3 複素平面上で |z|→∞ のとき、Fp,ν(a,b;c;z) の漸近的挙動はどのように記述できるか？
• RQ4 ν=0 および p=0 のとき、拡張された関数はどのように古典的特殊関数に還元されるか？
• RQ5 拡張された超幾何関数に対して導出可能な変換および和公式は何か？

主な発見

• Fp,ν(a,b;c;z) の p に関するメリン変換は、(2^{s-1}/√π)Γ((s−ν)/2)Γ((s+ν+1)/2) × B(b+s,c+s−b)/B(b,c−b) × F(a,b+s;c+2s;z) で与えられ、Re(s−ν)>0 および Re(s+ν)>−1 の範囲で有効である。
• 複素平面上で |arg(−z)|<π の範囲において、|z|→∞ のときの Fp,ν(a,b;c;z) の漸近展開は、Fp,ν(a,b;c;z) = (−z)^{-a}/B(b,c−b) × Σ_{k=0}^{n−1} (a)_k z^{-k} Bν(b−a−k,c−b;p) + O(z^{-n}) として導出される。
• 拡張されたベータ関数 Bν(x,y;p) は x と y に関して対称であり、ν=0 かつ p>0 のとき古典的ベータ関数に還元される。
• 拡張された退化超幾何関数 Φp,ν(b;c;z) は、Fp,ν と同一の形式のメリン変換を有し、超幾何関数が Φ(b+s;c+2s;z) に置き換えられる。
• 漸近展開における剰余項は O(z^{-n}) で有界であり、arg(z) が π に近づくと定数が無限大に発散するため、扇形領域内で収束することが示唆される。
• 拡張された関数は、p→0 かつ ν=0 の極限において、古典的特殊関数に一致し、既知の理論と整合性が確認される。