[论文解读] The generalized gamma functions

Tran Gia Loc, Trinh Duc Tai|arXiv (Cornell University)|May 30, 2011

Functional Equations Stability Results参考文献 7被引用 5

一句话总结

本文引入了一个与正多项式 f(t) 相关的广义伽马函数 Γ_f(s)，其定义为 ∫₀^∞ f(t)^{s-1} e^{-t} dt。证明了当 f(t) = t^k 时，Γ_f(s) 满足函数方程 Γ_f(s+1) = B(s)Γ_f(s)，其中 B(s) 是 f 的 Bernstein-Sato 多项式，将欧拉伽马函数的函数性质推广至更广泛的函数类。

ABSTRACT

In this paper, we introduce a way to generalize the Euler's gamma function as well as some related special functions. With a given polynomial in one variable $f(t)\ge 0$, we can associate a function, so-called "gamma function associated with $f$", defined by $Γ_f(s) := \int_0^\infty f^{s-1} e^{-t} dt$. This function has many features similar to the Euler's gamma function. We also present some initial results on the gamma-type functional equation for $Γ_f(s)$ in some special cases.

研究动机与目标

• 通过积分变换将欧拉伽马函数与正多项式 f(t) 关联起来，实现其推广。
• 研究广义伽马函数 Γ_f(s) 是否满足类似于 Γ(s+1) = sΓ(s) 的函数方程。
• 探讨 Bernstein-Sato 多项式是否可作为该函数方程系数的候选。
• 将理论扩展至与 f(t) 相关的 zeta 函数和 beta 函数，并研究其性质。
• 检验非单项式多项式（特别是二次情形）的函数方程猜想。

提出的方法

• 定义广义伽马函数为 Γ_f(s) = ∫₀^∞ f(t)^{s-1} e^{-t} dt，其中 f(t) ≥ 0 且 t > 0。
• 使用拉普拉斯变换技术和微分算子推导 Γ_f(s) 的函数方程。
• 通过微分算子 P 和多项式 B(s) 满足 P(f^s) = B(s)f^{s-1} 的方式构造 Bernstein-Sato 多项式。
• 对于 f(t) = t^k，证明函数方程 Γ_f(s+1) = B(s)Γ_f(s) 成立，其中 B(s) = ks(ks-1)⋯(ks-k+1)。
• 利用分部积分和渐近分析推导极限表示式与解析延拓。
• 通过级数和积分表示构造相关的 zeta 函数与 beta 函数，将其与经典 zeta 函数和 beta 函数联系起来。

实验结果

研究问题

• RQ1 广义伽马函数 Γ_f(s) 是否满足形如 Γ_f(s+1) = B(s)Γ_f(s) 的函数方程，其中 B(s) 为多项式？
• RQ2 f(t) 的 Bernstein-Sato 多项式是否正是此类函数方程中系数 B(s) 的正确选择？
• RQ3 与 f(t) 相关的广义 zeta 函数和 beta 函数如何与它们的经典对应物相关联？
• RQ4 Γ_f(s) 的函数方程能否超越单项式情形进行推广？对于一般多项式，其阶数为何？
• RQ5 对于非单项式 f(t)，Γ_f(s) 的解析结构（极点、亚纯延拓）如何？

主要发现

• 当 f(t) = t^k 时，广义伽马函数满足 Γ_{t^k}(s+1) = B(s)Γ_{t^k}(s)，其中 B(s) = ks(ks-1)⋯(ks-k+1)，证实了函数方程中 Bernstein-Sato 多项式作为系数的正确性。
• 广义伽马函数具有亚纯延拓，其极点出现在满足 B(s+k) = 0 的 s 处，如引理 5.1 所示。
• 与 f(t) = t^k 相关的 zeta 函数满足 ζ_{t^k}(s)Γ_{t^k}(s) = Γ_{t^k}(s)ζ(k(s-1)+1)，从而将其与黎曼 zeta 函数联系起来。
• 对于二次多项式 f(t) = t^2 + bt + c，函数方程为二阶，无法简化为一阶形式 (3)，从而否定了普遍猜想。
• 与 f(t) = t^k 相关的 beta 函数为 B_{t^k}(p,q) = (kpq)/(p+q) ⋅ B(p+q)/[B(p)B(q)] ⋅ B(kp,kq)，推广了经典 beta 函数。
• 以 f(t) = t^2 + bt + c 为反例，表明 Γ_f(s) 的函数方程并不总是为一阶，提示其阶数受 f 的次数有界。