[論文レビュー] On hypergeometric functions and Pochhammer $k$-symbol

Rafael Díaz, Eddy Pariguán|ArXiv.org|May 31, 2004

Mathematical functions and polynomials参考文献 3被引用数 181

ひとこと要約

本稿では、$k$-ポッホハマー記号と$k$-ガンマ関数を、古典的特殊関数の1パラメータ変形として導入し、ガンマ関数および超幾何関数を一般化する。積分表現、無限積表現、$k$-一般化されたスターリングの公式を確立するとともに、平面の森による超幾何係数の組合せ的解釈を提供する。

ABSTRACT

We introduce the $k$-generalized gamma function $Γ_k$, beta function $B_k$, and Pochhammer $k$-symbol $(x)_{n,k}$. We prove several identities generalizing those satisfied by the classical gamma function, beta function and Pochhammer symbol. We provided integral representation for the $Γ_k$ and $B_k$ functions.

研究の動機と目的

• 量子場理論と組合せ論における繰り返し現れる代数的構造にインspiredされ、古典的ガンマ関数およびポッホハマー関数を$k$-パラメータ変形によって一般化すること。
• $k$-ポッホハマー記号$(x)_{n,k}$を含む極限により$k$-ガンマ関数$\Gamma_k(x)$を定義し、その解析的性質を確立すること。
• $\Gamma_k$および$k$-ベータ関数$B_k$の積分表現および無限積表現を導出し、古典的結果を拡張すること。
• $k$-一般化された超幾何関数を構築し、$\mathbb{R}^+$上での多重積分を用いた積分表現を提供すること。
• 指定された頂点次数を持つ平面の森の同型類の集合と関連づけ、$k$-超幾何関数の係数の組合せ的解釈を提供すること。

提案手法

• $k$-ポッホハマー記号を$(x)_{n,k} = x(x+k)(x+2k)\cdots(x+(n-1)k)$として定義し、上昇階乗の一般化とする。
• $k>0$および$x \notin k\mathbb{Z}^-$に対して、極限$\Gamma_k(x) = \lim_{n\to\infty} \frac{n!\,k^n\,(nk)^{x/k - 1}}{(x)_{n,k}}$により$k$-ガンマ関数を定義する。
• $\operatorname{Re}(x) > 0$に対して積分表現$\Gamma_k(x) = \int_0^\infty t^{x-1} e^{-t^k/k} dt$を確立する。
• $x \in \mathbb{R}^+$に対して、$k$-一般化されたスターリングの公式を導出：$\Gamma_k(x+1) = (2\pi)^{1/2} (kx)^{-1/2} x^{(x+1)/k} e^{-x/k} + O(1/x)$。
• $k$-超幾何関数$F(a,k,b,s)(x)$を定義し、$\mathbb{R}^{p+1}$上での$p+1$重積分を用いた積分表現を提供する。$k$-指数関数的重みを用いる。
• 根が$a$個で、内部頂点が$n$個、各頂点が$k+1$個の子を持つ平面の森を導入し、その数が$|G_{n,k}^a| = (a)_{n,k}$に等しいことを示し、組合せ論と超幾何係数を結びつける。

実験結果

リサーチクエスチョン

• RQ1 古典的ポッホハマー記号およびガンマ関数を、$k \to 1$のとき古典的ケースに回復する1パラメータの$k$-変形に一般化する方法は何か？
• RQ2 $k$-ガンマ関数$\Gamma_k(x)$の積分表現、無限積表現、漸近的表現は何か？
• RQ3 $k$-ポッホハマー記号と$k$-ガンマ関数の関係は何か？ また、その対数が満たす微分方程式は何か？
• RQ4 $k$-一般化された超幾何関数を有効な積分表現とともに定義できるか？
• RQ5 $k$-超幾何関数のテイラー展開における係数の組合せ的解釈は何か？

主な発見

• $\Gamma_k(x+k) = x\Gamma_k(x)$、$\Gamma_k(k) = 1$、および対数凸性を満たすことで、$k$-ガンマ関数$\Gamma_k(x)$が特徴づけられ、ボール＝モラップの定理が一般化される。
• $\Gamma_k(x)$は無限積表現$\frac{1}{\Gamma_k(x)} = x k^{-x/k} e^{x\gamma/k} \prod_{n=1}^\infty \left(1 + \frac{x}{nk}\right) e^{-x/nk}$を有する。
• $k$-一般化されたスターリングの公式は、$x$が大きな正の実数に対して$\Gamma_k(x+1) = (2\pi)^{1/2} (kx)^{-1/2} x^{(x+1)/k} e^{-x/k} + O(1/x)$である。
• $\Gamma_k(x)$の対数$\psi = \log \Gamma_k(x)$は、非線形偏微分方程式$-k x^2 \partial_x^2 \psi + k^3 \partial_k^2 \psi + 2k^2 \partial_k \psi = -x(k+1)$を満たす。
• $k$-超幾何関数$F(a,k,b,s)(x)$は、$k$-指数関数的カーネルと分母における$k$-ポッホハマー記号を用いた$p+1$重積分を含む積分表現を有する。
• $F(a,k,b,s)(x)$の$x=0$におけるテイラー展開における$x^n$の係数は、$|G_{a,k}^n| / |G_{b,s}^n|$に等しく、ここで$|G_{n,k}^a|$は根が$a$個で、内部頂点が$n$個、各頂点の次数が$k+1$である平面の森の同型類の数を表す。