[论文解读] Theory of Fundamental Bessel Functions of High Rank

Zhi Qi|arXiv (Cornell University)|Dec 12, 2016

Advanced Algebra and Geometry参考文献 30被引用 5

一句话总结

本文利用形式积分表示和贝塞尔微分方程，发展了关于 $\mathrm{GL}_n(F)$（$F = \mathbb{R}$ 或 $\mathbb{C}$）的高阶基本贝塞尔函数的解析与渐近理论。建立了渐近公式、连接公式，并对这些函数给出了严格的解释，将经典贝塞尔理论推广至高阶自守形式与表示理论背景。

ABSTRACT

In this article, we shall study fundamental Bessel functions for $\mathrm{GL}_n(\mathbb{F})$ arising from the Voronoï summation formula for any rank $n$ and field $\mathbb{F} = \mathbb{R}$ or $\mathbb{C}$, with focus on developing their analytic and asymptotic theory. The main implements and subjects of our study of fundamental Bessel functions are their formal integral representations and Bessel differential equations. We shall prove the asymptotic formulae for fundamental Bessel functions and explicit connection formulae for the Bessel differential equations.

研究动机与目标

• 为 $\mathrm{GL}_n(F)$（$F = \mathbb{R}$ 或 $\mathbb{C}$）的高阶基本贝塞尔函数建立全面的解析与渐近理论，将经典贝塞尔函数理论推广至高阶情形。
• 通过形式积分与梅林变换技术，建立这些贝塞尔函数的严格积分表示与微分方程，特别是利用形式积分与部分分部积分法。
• 从 Voronoï 求和与表示论构造出发，推导贝塞尔函数的渐近展开与连接公式。
• 通过渐近分析与解析延拓方法，厘清不同类型贝塞尔函数（H-贝塞尔、K-贝塞尔与J-贝塞尔）之间的关系。
• 在自守形式与L-函数的背景下，特别是高阶情形下，为贝塞尔函数提供系统化的理论框架。

提出的方法

• 利用形式积分表示（如 $ J_{\boldsymbol{\nu}}(x;\boldsymbol{\varsigma}) $）定义并分析其解析结构。
• 通过形式部分分部积分与积分分段技术，对发散或条件收敛的积分进行严格解释。
• 推导函数的贝塞尔微分方程，并系统地计算其系数，基于表示论数据。
• 运用汉克尔变换与梅林变换 $ \mathcal{M}, \mathcal{M}_\delta, \mathcal{M}_m $，将贝塞尔函数与 $ \mathbb{R}_+ $、$ \mathbb{R}^\times $ 与 $ \mathbb{C}^\times $ 上的施瓦茨函数联系起来。
• 利用渐近展开与指数衰减估计，建立不同类型贝塞尔函数（如 $ H $-贝塞尔与 $ K $-贝塞尔）之间的连接公式。
• 应用朗兰兹对应，对 $ \mathrm{GL}_2(F) $ 的单位表示进行分类，并推导出 $ \pi_d^+(it) $、$ \pi_d^-(it) $ 与 $ \pi(t) $ 的显式贝塞尔函数表达式。

实验结果

研究问题

• RQ1 如何利用积分表示与微分方程，严格定义并分析 $ \mathrm{GL}_n(F) $ 的高阶基本贝塞尔函数？
• RQ2 这些贝塞尔函数的渐近展开是什么？它们在无穷远处与零附近的性质如何？
• RQ3 不同类型的贝塞尔函数（$ H $-贝塞尔、$ K $-贝塞尔与 $ J $-贝塞尔）之间通过连接公式有何关联？
• RQ4 从 Voronoï 求和与表示论构造出发的贝塞尔函数之间，其精确关系为何？
• RQ5 在积分变换下，$ \mathrm{GL}_2(\mathbb{R}) $ 与 $ \mathrm{GL}_2(\mathbb{C}) $ 的贝塞尔函数行为如何？其收敛性特征为何？

主要发现

• 本文证明了高阶基本贝塞尔函数的渐近公式，表明其主导行为可由修正贝塞尔函数与汉克尔函数表示。
• 推导出 $ H $-贝塞尔与 $ K $-贝塞尔函数之间的显式连接公式，展示了 $ K $-贝塞尔函数的指数衰减特性与 $ H $-贝塞尔函数的渐近展开。
• 对于 $ \mathrm{GL}_2(\mathbb{R}) $，证明了贝塞尔函数 $ \mathcal{J}_{\pi_d^+(it)}(z) $ 等于 $ 2\pi^2|z|\mathcal{K}_{2it,-d}(4\pi\sqrt{z}) $，将其与文献中已知的特殊函数联系起来。
• 建立了 $ \mathcal{J}_{\pi_d^+(it)}(xe^{i\phi}) $ 的积分表示，其中涉及 $ J_{2d} $，对 $ t \in \mathbb{R} $ 成立，并给出了收敛条件。
• 对于 $ \mathrm{GL}_2(\mathbb{C}) $，贝塞尔函数 $ \mathcal{J}_{\pi(t)}(xe^{i\phi}) $ 仅在 $ t \in (0, \frac{1}{8}) $ 时具有绝对收敛的积分表示，凸显了其收敛阈值。
• 本文通过分段与部分分部积分，严格解释了形式积分如 $ J_{\boldsymbol{\nu}}(x;\boldsymbol{\varsigma}) $，使得 $ \mathbb{J}_{\boldsymbol{\nu}}(x;\boldsymbol{\varsigma}) $ 成为一个定义良好的分布对象。