[论文解读] Asymptotic expansions of several series and their application

В. П. Заставный|arXiv (Cornell University)|Jan 30, 2010

Mathematical Inequalities and Applications参考文献 15被引用 4

一句话总结

本文推导了当 $ x \to 0^+ $ 时，两类级数的完整渐近展开式：指数型 $ \sum_{k=0}^\infty \varepsilon^k (k+a)^eta e^{-(k+a)^ ho x} $ 和有理型 $ \sum_{k=0}^\infty \frac{\varepsilon^k (k+a)^eta}{(x(k+a)^\rho + 1)^\mu} $，其中 $ \varepsilon = \pm 1 $。关键贡献在于通过 Hurwitz zeta 函数和交错 Hurwitz zeta 函数表达系数，从而实现对广义 Mathieu 级数的精确不等式估计。

ABSTRACT

Asymptotic expansions of series $\sum_{k=0}^\infty ε^k(k+a)^γe^{-(k+a)^αx}$ and $\sum_{k=0}^\infty ε^k(k+a)^γ/ (x(k+a)^α+1)^μ}$ in powers of $x$ as $x o+0$ are found, where $ε=1$ or $ε=-1$. These expansions are applied to obtain precise inequalities for Mathieu series. Keywords: Asymptotic expansion, residues, generalized Mathieu series, inequalities.

研究动机与目标

• 推导当 $ x \to 0^+ $ 时，参数满足 $ a > 0 $，$ \gamma \in \mathbb{R} $，$ \alpha > 0 $，$ \mu > 0 $ 的指数型与有理型级数在 $ x $ 的幂次上的渐近展开式。
• 建立这些展开式成为精确等式的条件，特别是针对 $ 0 < \alpha < 1 $ 和 $ \alpha = 1 $ 的情形。
• 将推导出的展开式应用于通过留数理论和积分表示法，获得广义 Mathieu 级数的锐不等式。
• 通过 Laplace 变换的极值特性，刻画函数 $ f(x,a,\gamma,\alpha) $ 和 $ \widetilde{f}(x,a,\gamma,\alpha) $ 的不等式中最佳常数。
• 将已知的特殊情形（如 $ \alpha = 1 $，$ \gamma \in \mathbb{Z}_+ $）的渐近展开结果，通过 zeta 函数与解析延拓推广至一般参数。

提出的方法

• 利用留数定理与 Hurwitz zeta 函数 $ \zeta(s,a) $ 的 Hermite 积分公式，推导渐近展开式，实现其在 $ \mathbb{C} \setminus \{1\} $ 上的解析延拓。
• 将渐近级数中的系数表示为 Hurwitz zeta 函数 $ \zeta(-\alpha k - \gamma, a) $ 和交错 Hurwitz zeta 函数 $ \widetilde{\zeta}(-\alpha k - \gamma, a) $ 的取值，其中 $ k \in \mathbb{Z}_+ $。
• 应用 Bernstein–Hausdorff–Widder 定理，完全刻画完全单调函数与完全凸函数，将不等式与 $ f(t,a,\gamma,\alpha) $ 和 $ \widetilde{f}(t,a,\gamma,\alpha) $ 的 Laplace 变换联系起来。
• 利用含 Gamma 函数与 Laplace 变换的积分表示式：$ \psi(x) = \frac{1}{\Gamma(\mu)} \int_0^\infty e^{-xt} t^{\mu-1} (c e^{-pt} - f(t,a,\gamma,\alpha)) dt $，分析单调性与极值边界。
• 通过分析 $ f(t,a,\gamma,\alpha) $ 和 $ \widetilde{f}(t,a,\gamma,\alpha) $ 在 $ t \to \infty $ 与 $ t \to 0^+ $ 时的行为，建立 $ \alpha < 1 $ 与 $ \alpha = 1 $ 时展开式的精确等式条件。
• 将极值常数 $ D_p(a,\gamma,\alpha) $，$ E_q(a,\gamma,\alpha) $，$ C_p(a,\gamma,\alpha) $，$ F_q(a,\gamma,\alpha) $ 定义为 Laplace 变换比值的上确界与下确界，利用解析性与单调性证明其有限性与极值性。

实验结果

研究问题

• RQ1 当 $ x \to 0^+ $ 时，级数 $ \sum_{k=0}^\infty (k+a)^\gamma e^{-(k+a)^\alpha x} $ 的完整渐近展开式是什么？其中 $ a > 0 $，$ \gamma \in \mathbb{R} $，$ \alpha > 0 $ 为一般参数？
• RQ2 当符号交替时，即对于 $ \sum_{k=0}^\infty (-1)^k (k+a)^\gamma e^{-(k+a)^\alpha x} $，渐近展开式如何变化？交错 Hurwitz zeta 函数在此中起什么作用？
• RQ3 在什么条件下，渐近展开式对 $ \alpha < 1 $ 或 $ \alpha = 1 $ 成为精确等式？这与 zeta 函数的解析结构有何关联？
• RQ4 对于所有 $ x > 0 $，使得不等式 $ D(1+x)^{-\mu} \geq \sum_{k=0}^\infty \frac{(k+a)^\gamma}{(x(k+a)^\alpha + 1)^\mu} $ 及其类似形式成立的最优常数 $ D $，$ E $，$ C $，$ F $ 是什么？
• RQ5 如何利用完全单调函数理论与 Bernstein–Hausdorff–Widder 定理，刻画这些级数的 Laplace 变换的极值边界？

主要发现

• 当 $ x \to 0^+ $ 时，$ f(x,a,\gamma,\alpha) $ 的渐近展开式为 $ \frac{1}{\alpha} \Gamma\left(\frac{\gamma+1}{\alpha}\right) x^{-(\gamma+1)/\alpha} + \sum_{k=0}^\infty \frac{(-1)^k}{k!} \zeta(-\alpha k - \gamma, a) x^k $，在 $ -\frac{\gamma+1}{\alpha} \notin \mathbb{Z}_+ $ 时成立。
• 当 $ -\frac{\gamma+1}{\alpha} = r \in \mathbb{Z}_+ $ 时，展开式变为 $ \frac{(-1)^r x^r}{\Gamma(r+1)} \left( -\frac{\ln x}{\alpha} + \frac{\Gamma'(r+1)}{\Gamma(r+1)} \frac{1}{\alpha} - \frac{\Gamma'(a)}{\Gamma(a)} \right) + \sum_{k \neq r} \frac{(-1)^k}{k!} \zeta(-\alpha k - \gamma, a) x^k $，反映出对数奇异性。
• 当 $ 0 < \alpha < 1 $ 时，$ f(x,a,\gamma,\alpha) $ 的渐近展开式对所有 $ x > 0 $ 成为精确等式，扩展了此前仅针对 $ a=1 $ 情形且无证明的结论。
• 当 $ \alpha = 1 $ 时，展开式在 $ x \in (0, 2\pi) $ 内为精确等式，确认并推广了先前针对 $ \gamma \in \mathbb{Z}_+ $ 的结果。
• $ \widetilde{f}(x,a,\gamma,\alpha) $ 的渐近展开式为 $ \sum_{k=0}^\infty \frac{(-1)^k}{k!} \widetilde{\zeta}(-\alpha k - \gamma, a) x^k $，当 $ 0 < \alpha < 1 $ 时对所有 $ x > 0 $ 成立等式；当 $ \alpha = 1 $ 时，等式在 $ x \in (0, \pi) $ 内成立。
• 广义 Mathieu 级数不等式中的最佳常数为：当 $ p \leq a^\alpha $ 时，$ D_{\text{max}} = \zeta(-\gamma, a) $；当 $ q = a^\alpha $ 时，$ E_{\text{min}} = a^\gamma $；严格不等式成立，除非 Laplace 变换完全匹配，但因解析性而不可能实现。