[论文解读] Some inequalities for Kurepa's function

Branko Malešević|ArXiv.org|Jun 10, 2005

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

一句话总结

本文通过积分表示和函数方程，为与阶乘及伽马函数相关的特殊函数 Kurepa 函数 $K(x)$ 建立了新的不等式。通过有理逼近和递推关系推导出紧致界，证明了当 $x \geq k+2$ 时，$K(x)/\Gamma(x+1) \in (R_k(x), \frac{P_{k-1}(x)+1}{P_{k-1}(x)} R_k(x))$，且在 $x = k+2$ 处取等号，并改进了 $x \geq 3$ 时的先前界。结果基于函数方程和利用 Karamata 不等式及伽马函数的多项式逼近所得到的积分估计推导得出。

ABSTRACT

In this paper we consider Kurepa's function $K(z)$ \cite{Kurepa_71}. We give some recurrent relations for Kurepa's function via appropriate sequences of rational functions and gamma function. Also, we give some inequalities for Kurepa's function $K(x)$ for positive values of $x$.

研究动机与目标

• 为正实数 $x$ 的 Kurepa 函数 $K(x)$ 推导更紧致的解析界，改进现有不等式。
• 通过有理函数 $Q_n(z)$、$R_n(z)$ 和伽马函数 $\Gamma(z)$，建立基于递推关系的 $K(x)$ 表示形式。
• 利用序列 $R_k(x)$ 和 $P_k(x)$ 分析 $K(x)/\Gamma(x+1)$ 的渐近行为和收敛性。
• 为区间 $[k+2, \infty)$ 上 $K(x)$ 的上下界提供系统化生成方法。
• 改进并优化早期不等式，如 Arand-Đelović 对于 $K(x) \leq 2\Gamma(x)$ 在 $x \geq 3$ 时的结论。

提出的方法

• 从伽马函数的递推关系推导出函数方程 $K(z+1) - (z+1)K(z) + zK(z-1) = 0$，从而实现 $K(z)$ 的递归表示。
• 通过递推关系 (3.5) 和 (3.6) 引入有理函数序列 $Q_n(z)$ 和 $R_n(z)$，并给出显式表达式 (3.7) 和 (3.8)，将 $K(z-n)$ 用 $K(z)$ 和 $K(z+1)$ 表示。
• 使用积分表示 $K(x) = \int_0^\infty e^{-t} \frac{t^x - 1}{t - 1} dt$（$x > 0$）分析其正性和导数性质。
• 应用 Karamata 不等式 $\frac{\log t}{t-1} \leq \frac{1}{\sqrt{t}}$，将导数 $K'(x)$ 以 $\Gamma(x + 1/2)$ 为界，从而实现对 $K(x)$ 的积分界估计。
• 在区间 $[0,1]$ 上使用误差小于 $5 \times 10^{-5}$ 的多项式逼近 $\Gamma(x+1)$，推导初始界。
• 在区间 $[n, n+1)$ 上使用数学归纳法证明全局不等式，如当 $x \geq 3$ 时 $K(x) \leq 2\Gamma(x)$。

实验结果

研究问题

• RQ1 对于 $x \geq k+2$，$K(x)/\Gamma(x+1)$ 的最紧致界是什么？其如何依赖于 $k$？
• RQ2 如何利用函数方程 $K(z+1) - (z+1)K(z) + zK(z-1) = 0$ 生成 $K(z)$ 的有理函数逼近？
• RQ3 能否通过 $\log t / (t-1)$ 的已知不等式对导数 $K'(x)$ 进行有界？这如何导致对 $K(x)$ 的积分界？
• RQ4 序列 $R_k(x)$ 和 $P_k(x)$ 如何与 $K(x)/\Gamma(x+1)$ 的渐近行为相关联？
• RQ5 不等式 $K(x) \leq 2\Gamma(x)$ 在 $x \geq 3$ 时能在多大程度上被改进或推广？

主要发现

• 当 $x \in [0,1]$ 时，有 $K(x) \leq \frac{9}{5}x$，该结果由 $K'(x) \leq \Gamma(x + 1/2)$ 的界结合误差小于 $5 \times 10^{-5}$ 的五次多项式逼近 $\Gamma(x+1)$ 推导得出。
• 当 $x \geq 3$ 时，有 $K(x) \leq 2\Gamma(x)$，且在 $x = 3$ 处取等号，优于 Arand-Đelović 的界 $K(x) \leq 1 + 2\Gamma(x)$。
• 对每个 $k \in \mathbb{N}$ 和 $x \geq k+2$，有 $\frac{K(x - k)}{\Gamma(x - k + 1)} \leq 1$，且在 $x = k+2$ 处取等号。
• 当 $x \geq k+2$ 时，双不等式 $R_k(x) < \frac{K(x)}{\Gamma(x+1)} \leq \frac{P_{k-1}(x) + 1}{P_{k-1}(x)} R_k(x)$ 成立，且在 $x = k+2$ 处取等号。
• 界 $A_k(x) = R_k(x)$ 和 $B_k(x) = \frac{P_{k-1}(x)+1}{P_{k-1}(x)} R_k(x)$ 满足：当 $x \geq k+3$ 时，有 $A_k(x) < A_{k+1}(x) < \frac{K(x)}{\Gamma(x+1)} \leq B_{k+1}(x) < B_k(x)$，表明界单调收紧。
• 当 $x \to \infty$ 时，有 $A_k(x), B_k(x) \sim \frac{1}{x}$ 且 $B_k(x) - A_k(x) \sim \frac{1}{x^k}$，表明界收敛迅速。