[论文解读] Exponentially small expansions associated with a generalised Mathieu series

R. B. Paris|arXiv (Cornell University)|Jan 28, 2016

Advanced Differential Equations and Dynamical Systems被引用 5

一句话总结

本文通过梅林变换方法，推导了广义马蒂厄级数 $ S_{\mu,\beta}(a;\rho) = \sum_{n=1}^\infty \frac{n^\beta}{(n^\rho + a^\rho)^\nu} $ 在 $ |a| \to \infty $ 且 $ |\arg a| < \pi/\rho $ 的扇形区域内的渐近展开式。当 $ \rho $ 和 $ \beta $ 为偶数整数时，展开式由有限代数部分与无限序列的指数小项组成；当 $ \nu $ 为整数时，可获得闭式表达式。

ABSTRACT

We consider the generalised Mathieu series \\[\\sum_{n=1}^\\infty \\frac{n^\\gamma}{(n^\\lambda+a^\\lambda)^\\mu}\\qquad (\\mu&gt;0)\\] when the parameters $\\lambda$ ($&gt;0$) and $\\gamma$ are even integers for large complex $a$ in the sector $|\\arg\\,a|&lt;\\pi/\\lambda$. The asymptotics in this case consist of a {\\it finite} algebraic expansion together with an infinite sequence of increasingly subdominant exponentially small expansions. When $\\mu$ is also a positive integer it is possible to give closed-form evaluations of this series. Numerical results are given to illustrate the accuracy of the expansion obtained.

研究动机与目标

• 分析广义马蒂厄级数 $ S_{\mu,\gamma}(a;\lambda) = \sum_{n=1}^\infty \frac{n^\gamma}{(n^\lambda + a^\lambda)^\mu} $ 在复数 $ a $ 较大时的渐近行为。
• 研究当 $ \lambda $ 和 $ \gamma $ 为偶数整数时渐近展开式的结构，导致有限代数展开与无限序列的指数小贡献项。
• 当 $ \mu $ 为正整数时，利用渐近展开的结构推导级数的闭式表达式。
• 提供所推导渐近展开式的数值验证，确认其在 $ |a| $ 较大时的准确性。

提出的方法

• 采用梅林变换方法，通过函数 $ h(x) = \frac{x^{\gamma}}{(1 + x^{\lambda})^\mu} $ 的梅林变换，推导广义马蒂厄级数的积分表示。
• 利用梅林反演定理，将级数表示为包含黎曼ζ函数与 $ h(x) $ 的梅林变换的围线积分。
• 应用留数定理计算积分，识别来自ζ函数与梅林变换的极点，从而得到代数项与指数项。
• 通过ζ函数在负偶数处的极点及相应的博雷尔求和技术，推导出指数小项。
• 当 $ \mu $ 为整数时，利用ζ函数的函数方程与留数计算，获得包含双曲函数与指数项的闭式表达式。
• 通过恒等式 $ \tilde{S}_{\mu,\gamma}(a;\lambda) = S_{\mu,\gamma}(a;\lambda) - 2^{1-\delta} S_{\mu,\gamma}(a/2;\lambda) $ 将结果推广至级数的交错变体，并推导其渐近展开式，其中指数项形式被修正。

实验结果

研究问题

• RQ1 当 $ \lambda $ 与 $ \gamma $ 为偶数整数时，广义马蒂厄级数 $ S_{\mu,\gamma}(a;\lambda) $ 在 $ |a| \to \infty $ 且 $ |\arg a| < \pi/\lambda $ 的扇形区域内的渐近结构是什么？
• RQ2 尽管不存在本性奇点，为何渐近展开式中仍包含无限序列的指数小项？
• RQ3 当 $ \mu $ 为正整数时，能否推导出该级数的闭式表达式？其结构如何？
• RQ4 指数小项如何从ζ函数与梅林变换的解析结构中产生？
• RQ5 交错级数 $ \tilde{S}_{\mu,\gamma}(a;\lambda) $ 的渐近行为与非交错情形有何不同？其渐近形式为何？

主要发现

• 当 $ \lambda $ 与 $ \gamma $ 为偶数整数时，$ S_{\mu,\gamma}(a;\lambda) $ 的渐近展开式由有限代数部分与无限序列的逐项次主导的指数小项组成。
• 当 $ \mu $ 为整数时，级数具有闭式表达式：$ S_{\mu,\gamma}(a;\lambda) = H_{\mu,\gamma}(a;\lambda) + \sum_{r=0}^{p-1} e^{i\vartheta\omega_r} E_r(a) $，其中 $ H_{\mu,\gamma} $ 为代数项，$ E_r(a) $ 为指数小项。
• 当 $ \mu = 1 $，$ \gamma = 2m $，$ \lambda = 2p $ 时，级数的值为 $ S_{1,2m}(a;2p) = H_{1,2m}(a;2p) + \frac{(-)^m \pi}{2p a^{2p-2m-1}} \sum_{r=0}^{p-1} e^{i\vartheta\omega_r} \coth(\pi a e^{i\omega_r}) $。
• 当 $ \mu = 3 $，$ \gamma = \lambda = 2 $ 时，闭式为 $ S_{3,2}(a;2) = \frac{\pi}{16a^3} - \frac{\pi^3}{2a} \frac{e^{-2\pi a}}{(1 - e^{-2\pi a})^2} \left( \frac{1 + e^{-2\pi a}}{(1 - e^{-2\pi a})^2} + \frac{1}{2\pi a (1 - e^{-2\pi a})} - \frac{1}{(2\pi a)^2} \right) $。
• 交错级数 $ \tilde{S}_{\mu,\gamma}(a;\lambda) $ 的渐近展开式包含修正的指数项 $ \tilde{E}_r(a) $，其通过 $ \tilde{K}_j(X_r;\mu) = \sum_{n=1}^\infty \frac{e^{-(n-1)X_r}}{(n - 1/2)^{1-\mu+j}} $ 定义，其中 $ X_r = 2\pi a e^{i\omega_r} $。
• 数值结果验证了渐近展开式的准确性，对于大 $ a $，误差量级约为 $ 10^{-11} $，与理论预测一致。