[论文解读] Directional convexity and characterizations of Beta and Gamma functions

Martin Himmel, Janu sz Matkowski|arXiv (Cornell University)|Apr 22, 2015

Mathematical Inequalities and Applications参考文献 6被引用 3

一句话总结

本文通过方向凸性——具体而言，沿 (x,y)-平面上主对角线平行的射线的对数凸性——提出了一种新的 Beta 和 Gamma 函数表征方法。通过结合涉及 Beta 函数的函数方程、方向凸性以及初始条件，作者证明了 Beta 函数被唯一确定，从而通过广义 Beta 型函数对 Gamma 函数给出了新的表征。

ABSTRACT

The logarithmic convexity of restrictions of the Beta functions to rays parallel to the main diagonal and the functional equation \[ ϕ\left( x+1 ight) =\frac{x\left( x+k ight) }{\left( 2x+k+1 ight) \left( 2x+k ight) }ϕ\left( x ight) ,\ \ \ \ \ \ x>0, \] for $k>0$ allow to get a characterizations of the Beta function. This fact and a notion of the beta-type function lead to a new characterization of the Gamma function.

研究动机与目标

• 通过主对角线方向的对数凸性，建立 Beta 函数的新表征。
• 推导 Beta 函数沿平行于主对角线的射线满足的函数方程。
• 将这些结果推广，通过广义 Beta 型函数表征 Gamma 函数。
• 探讨方向凸性在多变量函数方程中的影响。
• 提供 beta 型函数退化为标准 Beta 函数的条件，从而表征 Gamma 函数。

提出的方法

• 为生成函数 $ \nu $ 定义 beta 型函数 $ B_{\nu}(x,y) = \frac{\nu(x)\nu(y)}{\nu(x+y)} $，并建立其性质。
• 证明 Beta 函数在向量 $ (1,1) $ 的方向上是对数凸的，即沿射线 $ (x, x+k) $，其中 $ x > 0 $，$ k > 0 $。
• 推导出 Beta 函数在这些射线上的限制满足的函数方程 $ \phi(x+1) = \frac{x(x+k)}{(2x+k+1)(2x+k)} \phi(x) $。
• 应用 Krull 定理，证明该函数方程、方向对数凸性以及初始条件 $ B(1,1+y) = \mathcal{B}(1,1+y) $ 唯一确定了 Beta 函数。
• 使用 Gronau-Matkowski 方法，证明在 $ (1,1) $ 方向上的几何凸性，结合相同的函数方程，也能表征 Beta 函数。
• 在 $ \nu $ 的适度正则性条件下（例如可测性或某点连续性），证明 $ B_{\nu} = \mathcal{B} $ 当且仅当 $ \nu(x) = e^{cx} \Gamma(x) $，从而给出 Gamma 函数的新表征。

实验结果

研究问题

• RQ1 Beta 函数能否通过其在平行于主对角线的射线上的函数方程以及方向对数凸性被唯一表征？
• RQ2 对生成函数 $ \nu $ 的何种条件可确保诱导出的 beta 型函数 $ B_{\nu} $ 与标准 Beta 函数一致？
• RQ3 方向凸性——特别是 $ (1,1) $ 方向——如何约束如 Beta 函数等多变量函数的结构？
• RQ4 能否通过广义 Beta 型函数的函数方程和凸性性质表征 Gamma 函数？
• RQ5 函数方程 $ \phi(x+1) = \frac{x(x+k)}{(2x+k+1)(2x+k)} \phi(x) $ 与 Beta 函数的结构有何关系？

主要发现

• Beta 函数在向量 $ (1,1) $ 的方向上是对数凸的，即沿射线 $ (x, x+k) $，其中 $ x > 0 $，$ k > 0 $。
• Beta 函数在这些射线上的限制满足函数方程 $ \phi(x+1) = \frac{x(x+k)}{(2x+k+1)(2x+k)} \phi(x) $。
• 该函数方程、方向对数凸性以及初始条件 $ B(1,1+y) = \mathcal{B}(1,1+y) $ 唯一表征了 Beta 函数。
• 相同的函数方程与 $ (1,1) $ 方向上的几何凸性结合，同样表征了 Beta 函数。
• 在适度正则性条件下（例如可测性或某点连续性），beta 型函数 $ B_{\nu} $ 等于标准 Beta 函数 $ \mathcal{B} $ 当且仅当 $ \nu(x) = e^{cx} \Gamma(x) $。
• 该结果导致了 Gamma 函数的新表征：$ \Gamma $ 是唯一满足当 $ \nu(x) = e^{cx} \Gamma(x) $ 时 $ B_{\nu} = \mathcal{B} $ 的函数。