[论文解读] Identities and Properties of Multi-Dimensional Generalized Bessel Functions

Parker Kuklinski, David A. Hague|arXiv (Cornell University)|Aug 27, 2019

Spectral Theory in Mathematical Physics参考文献 18被引用 5

一句话总结

本文建立了m维广义贝塞尔函数（GBFs）的关键解析性质，包括其满足的二阶线性偏微分方程（PDE）、大阶数与大参数下的渐近逼近，以及广义尼曼、卡普泰恩和施洛米尔希级数的闭式表达式。作者还将这些结果推广至混合型GBFs（MT-GBFs），并识别出参数空间中平滑性边界，其中级数行为发生不连续变化。

ABSTRACT

The Generalized Bessel Function (GBF) extends the single variable Bessel function to several dimensions and indices in a nontrivial manner. Two-dimensional GBFs have been studied extensively in the literature and have found application in laser physics, crystallography, and electromagnetics. In this article, we document several properties of $m$-dimensional GBFs including an underlying partial differential equation structure, asymptotics for simultaneously large order and argument, and analysis of generalized Neumann, Kapteyn, and Schlömilch series. We extend these results to mixed-type GBFs where appropriate.

研究动机与目标

• 推导m维广义贝塞尔函数（GBFs）所满足的二阶线性偏微分方程（PDE），扩展经典贝塞尔方程的结构。
• 为大阶数与大参数的GBFs发展渐近逼近，将一维贝塞尔函数的渐近性推广至高维。
• 建立涉及GBFs的无穷级数的解析表达式，包括广义尼曼、卡普泰恩和施洛米尔希级数，推广经典恒等式。
• 分析参数空间中平滑性边界结构，其中级数表示的收敛性与正则性发生变化，尤其针对施洛米尔希型级数。
• 将结果推广至包含指数参数中正弦与余弦项的混合型GBFs（MT-GBFs）。

提出的方法

• 通过分析生成函数的结构及其对索引p与变量x的依赖关系，推导出m维GBFs的二阶线性PDE。
• 使用驻相法与最陡下降法，推导出阶数与参数同时较大时GBFs的渐近展开，识别参数空间中的分岔曲面。
• 应用生成函数技术与复傅里叶级数反演，推导出广义尼曼与卡普泰恩级数的闭式表达式，以MBF与MT-GBF分量表示。
• 利用多对数函数Liℓ(z)表示广义施洛米尔希级数，实现揭示分支点奇点的积分表示。
• 通过联立方程h(θ) = 2πn与h′(θ) = 0，识别(x,y)参数空间中的平滑性边界，其中h(θ) = ∑k(xk sin kθ + yk cos kθ)。
• 利用函数f(θ) = θ − h(θ)的双射性，定义θ₀使得f(θ₀) = 0，从而实现卡普泰恩级数的矩计算。

实验结果

研究问题

• RQ1 m维广义贝塞尔函数是否满足类似于一维贝塞尔方程的二阶线性PDE？
• RQ2 当阶数与参数同时变大时，m维GBFs的渐近行为如何？其行为如何依赖于索引集p？
• RQ3 能否使用特殊函数将涉及m维GBFs的广义尼曼、卡普泰恩与施洛米尔希级数表示为闭式？
• RQ4 GBFs参数空间中的平滑性边界是什么？在这些边界上，级数表示的收敛行为如何变化？
• RQ5 与标准GBFs相比，混合型GBFs（指数参数中同时包含正弦与余弦项）的性质有何不同？其级数展开能否被解析表征？

主要发现

• m维GBF满足一个二阶线性PDE，尽管其形式不同于经典贝塞尔方程，其结构源自生成函数对p与x的依赖关系。
• 通过驻相法推导出大阶数与大参数下GBFs的渐近逼近，揭示了参数空间中行为发生定性变化的分岔曲面。
• 广义尼曼与卡普泰恩级数以MBF与MT-GBF分量表示为闭式，其矩通过在满足f(θ₀) = 0的θ₀处求导获得。
• 施洛米尔希级数∑n⁻ˡJₘ(n x; n y)表示为含多对数函数Liℓ(e⁻ⁱʰ⁽ᶿ⁾)的积分，当存在θ使得h(θ) = 2πn时，该表达式出现奇点。
• 施洛米尔希级数的平滑性边界由联立方程h(θ) = 2πn与h′(θ) = 0定义，并在(x,y)空间中可视化为代数曲面，例如Jₙ¹ ⁻²(x,y)对应的64(2πn)⁴y² + ... = 0。
• 对于MT-GBFs且y = 0的情况，θ₀ = 0且h⁽²ⁿ⁺¹⁾(θ₀) = ∑k²ⁿ⁺¹xₖ，从而可显式计算卡普泰恩级数中的矩。