[论文解读] On the coefficients of an expansion of $(1+1/x)^x$ related to Carleman's inequality

Yue Hu, Cristinel Mortici|arXiv (Cornell University)|Jan 10, 2014

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

一句话总结

本文推导了 $ (1+1/x)^x $ 渐近展开中系数 $ b_n $ 的积分表示，将其与 Carleman 不等式联系起来。利用 Alzer 和 Berg 的积分公式，作者建立了新性质：$ b_n > 0 $，$ b_n $ 严格递减，且 $ \lim_{n\to\infty} b_{n+1}/b_n = 1 $，从而为正性提供了更简洁的证明，并揭示了该序列更深层次的结构特征。

ABSTRACT

In this note, we present new properties for a sequence arising in some refinements of Carleman's inequality. Our results extend some results of Yang [Approximations for constant e and their applications J. Math. Anal. Appl. 262 (2001) 651-659] and Alzer and Berg [some classes of completely monotonic functions Ann. Acad. Sci. Fennicae 27(2002) 445-460].

研究动机与目标

• 推导 Carleman 不等式精化中出现的系数 $ b_n $ 的新积分表示。
• 建立序列 $ \{b_n\} $ 的新解析性质，包括正性、单调性及渐近行为。
• 简化并拓展先前对 $ b_n > 0 $ 的证明，这些证明在早期研究中被认为较为复杂。
• 将序列 $ \{b_n\} $ 与积分 $ \int_0^1 g(s) = \frac{1}{\pi} s^s (1-s)^{1-s} \sin(\pi s) \, ds $ 联系起来，以实现更深入的分析。

提出的方法

• 利用 Alzer 和 Berg 的已知结果，推导函数 $ f(x) = (x+1)\left[e - \left(\frac{1+x}{x}\right)^x\right] $ 的积分表示。
• 通过变量替换 $ t = 1/(1+x) $，将函数 $ f(x) $ 转化为 $ f(t) $，使其在 $ t=0 $ 附近可展开为幂级数。
• 利用 $ f(t) $ 的泰勒展开，将 $ b_n $ 表示为 $ b_n = \frac{f^{(n)}(0)}{n! \, e} $，从而将系数与零点处的导数联系起来。
• 应用积分公式 $ f(t) = \frac{e}{2}t + \int_0^1 g(s) \frac{t^2}{1 + (s-1)t} \, ds $，推导出 $ b_n = \frac{1}{e} \int_0^1 g(s) (1-s)^{n-2} \, ds $。
• 通过分部积分将 $ b_n $ 表示为关于 $ h(s) $ 的形式，从而借助引理 2 进行渐近分析。
• 利用引理 2 中关于 $ n \int_0^1 s^n h(s) \, ds \to h(1) $ 的极限性质，计算得 $ \lim_{n\to\infty} \frac{b_{n+1}}{b_n} = 1 $。

实验结果

研究问题

• RQ1 能否为 $ (1+1/x)^x $ 展开中系数 $ b_n $ 推导出闭式积分表示？
• RQ2 序列 $ \{b_n\} $ 的单调性与正性性质是什么？能否比以往更简洁地证明？
• RQ3 从积分形式出发，$ b_n $ 的渐近行为，特别是 $ \lim_{n\to\infty} \frac{b_{n+1}}{b_n} $，如何推导？
• RQ4 能否利用 $ b_n $ 的积分表示推导出新的恒等式或与其他常数或级数的联系？

主要发现

• 系数 $ b_n $ 具有积分表示 $ b_n = \frac{1}{e} \int_0^1 g(s) (1-s)^{n-2} \, ds $，其中 $ g(s) = \frac{1}{\pi} s^s (1-s)^{1-s} \sin(\pi s) $，适用于 $ n \geq 2 $。
• 序列 $ \{b_n\} $ 严格为正，对所有 $ n \geq 1 $ 满足 $ b_n > 0 $，该结论通过积分形式得到验证。
• 序列 $ \{b_n\} $ 严格递减，对所有 $ n \geq 1 $ 满足 $ b_{n+1} < b_n $。
• 比值 $ \frac{b_{n+1}}{b_n} \to 1 $ 当 $ n \to \infty $，表明相邻项渐近等价。
• 对所有 $ n \geq 1 $，有不等式 $ b_n \leq \frac{1}{n(n+1)} $ 成立，提供了紧致的上界估计。
• 导出恒等式 $ \int_0^1 \frac{1}{s} g(s) \, ds = \frac{e}{2} - 1 $，将 $ g(s)/s $ 的积分与级数 $ \sum_{n=1}^\infty b_n $ 联系起来。