[论文解读] 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$-Pochhammer 符号和 $k$-gamma 函数，作为经典特殊函数的一参变形，推广了 gamma 函数和超几何函数。它建立了积分表示、无穷乘积形式，并提出了一种 $k$-推广的 Stirling 公式，同时通过平面森林给出了超几何系数的组合解释。

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.

研究动机与目标

• 通过引入一个 $k$-参数变形来推广经典的 gamma 和 Pochhammer 函数，其动机源于量子场论和组合学中反复出现的代数结构。
• 通过涉及 $k$-Pochhammer 符号 $(x)_{n,k}$ 的极限定义 $k$-gamma 函数 $\Gamma_k(x)$，并建立其解析性质。
• 为 $\Gamma_k$ 和 $k$-beta 函数 $B_k$ 推导出积分表示和无穷乘积表示，扩展经典结果。
• 发展一种 $k$-推广的超几何函数，并通过 $\mathbb{R}^+$ 上的多重积分给出其积分表示。
• 通过具有指定顶点度数的平面森林的同构类，提供 $k$-超几何函数系数的组合解释。

提出的方法

• 将 $k$-Pochhammer 符号定义为 $(x)_{n,k} = x(x+k)(x+2k)\cdots(x+(n-1)k)$，推广上升阶乘。
• 通过极限 $\Gamma_k(x) = \lim_{n\to\infty} \frac{n!\,k^n\,(nk)^{x/k - 1}}{(x)_{n,k}}$ 定义 $k$-gamma 函数，其中 $k>0$，$x \notin k\mathbb{Z}^-$。
• 建立积分表示 $\Gamma_k(x) = \int_0^\infty t^{x-1} e^{-t^k/k} dt$，适用于 $\operatorname{Re}(x) > 0$。
• 推导出 $k$-推广的 Stirling 公式：$\Gamma_k(x+1) = (2\pi)^{1/2} (kx)^{-1/2} x^{(x+1)/k} e^{-x/k} + O(1/x)$，其中 $x \in \mathbb{R}^+$。
• 定义 $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 如何将经典的 Pochhammer 符号和 gamma 函数推广为一个一参 $k$-变形，使其在 $k \to 1$ 时恢复经典情形？
• RQ2 如何表示 $k$-gamma 函数 $\Gamma_k(x)$ 的积分、无穷乘积和渐近形式？
• RQ3 $k$-Pochhammer 符号与 $k$-gamma 函数之间有何关系？其对数满足何种微分方程？
• RQ4 能否定义一种具有有效积分表示的 $k$-推广超几何函数？
• RQ5 在 $k$-超几何函数的泰勒展开中，系数的组合解释是什么？

主要发现

• $k$-gamma 函数 $\Gamma_k(x)$ 满足 $\Gamma_k(x+k) = x\Gamma_k(x)$，$\Gamma_k(k) = 1$，且具有对数凸性，推广了 Bohr-Mollerup 定理。
• $k$-gamma 函数具有无穷乘积表示 $\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$-推广的 Stirling 公式为 $\Gamma_k(x+1) = (2\pi)^{1/2} (kx)^{-1/2} x^{(x+1)/k} e^{-x/k} + O(1/x)$，适用于大实数 $x$。
• $\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)$ 具有涉及 $p+1$ 重积分的积分表示，其核为 $k$-指数核，分母中含有 $k$-Pochhammer 符号。
• $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$）的平面森林的同构类数量。