[論文レビュー] Theory of Fundamental Bessel Functions of High Rank

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

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

ひとこと要約

本稿は、F = R または C の GL_n(F) に対して、形式的積分表現とベッセル微分方程式を用いて、高ランクの基本ベッセル関数の解析的・漸近的理論を展開する。漸近展開式、接続公式、これらの関数の厳密な解釈を確立し、古典的ベッセル理論を高ランクの自動形式および表現論的文脈へと拡張する。

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.

研究の動機と目的

• F = R または C の GL_n(F) に対して、高ランクの基本ベッセル関数の包括的な解析的・漸近的理論を構築し、古典的ベッセル関数理論を高ランクへと拡張すること。
• 特に形式的積分およびメリン変換技法を用いて、これらのベッセル関数を記述する厳密な積分表現および微分方程式を確立すること。
• ボロノイ和公式および表現論的構成から生じるベッセル関数の漸近展開および接続公式を導出すること。
• 漸近的および解析接続法を用いて、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 F = R または C の GL_n(F) に対して、積分表現および微分方程式を用いて、高ランクの基本ベッセル関数をどのように厳密に定義・分析できるか。
• RQ2 これらのベッセル関数の漸近展開は何か。また、無限大および原点付近での挙動はいかなるものか。
• RQ3 H-ベッセル、K-ベッセル、J-ベッセルの異なるタイプのベッセル関数は、接続公式によってどのように関係しているか。
• RQ4 ボロノイ和公式から生じるベッセル関数と、$ \mathrm{GL}_2(F) $ の表現論的定式化によって定義されるベッセル関数との正確な関係は何か。
• RQ5 $ \mathrm{GL}_2(R) $ および $ \mathrm{GL}_2(C) $ のベッセル関数は、積分変換に対してどのように振る舞い、収束性の性質は何か。

主な発見

• 本稿では、高ランクの基本ベッセル関数の漸近公式を証明し、その主要項の振る舞いが修正ベッセル関数およびハンケル関数で記述されることを示した。
• H-ベッセル関数とK-ベッセル関数の間の明示的接続公式が導出され、K-ベッセル関数の指数的減衰およびH-ベッセル関数の漸近展開が明確にされた。
• $ \mathrm{GL}_2(R) $ に対して、Bessel関数 $ \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(C) $ に対して、Bessel関数 $ \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}) $ を適切に定義された分布的対象として定義可能であることが示された。