[論文レビュー] 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次元一般化ベッセル関数（GBF）の主要な解析的性質を確立し、その関係する2階線形偏微分方程式（PDE）、大規模な次数および引数における漸近近似、および一般化されたネウマン、カプテイン、シュレーミルヒュッペ級数の閉形式表現を含む。著者らはこれらの結果を混合型GBF（MT-GBF）に拡張し、級数の性質が不連続的に変化するパラメータ空間内の滑らかさ境界を同定した。

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次元一般化ベッセル関数（GBF）が満たす2階線形偏微分方程式（PDE）を導出すること。これは、古典的なベッセル方程式の構造を拡張するものである。
• 次数および引数がともに大きい場合のGBFの漸近的近似を構築すること。これは、1次元ベッセル関数の漸近的性質を高次元に一般化するものである。
• 一般化されたネウマン、カプテイン、シュレーミルヒュッペ級数を含む、GBFを含む無限級数の解析的表現を確立すること。これは、古典的恒等式の拡張である。
• 級数表現の収束性および正則性が変化するパラメータ空間内の滑らかさ境界の構造を分析すること。特にシュレーミルヒュッペ型級数に対して。
• 正弦および余弦項を指数関数の引数に含む混合型GBF（MT-GBF）への結果の拡張。

提案手法

• 生成関数の構造とそのインデックスpおよび変数xへの依存関係を分析することにより、m次元GBFの2階線形PDEを導出する。
• 定常位相法および勾配降下法を用いて、次数および引数が同時に大きい場合のGBFの漸近展開を導出し、パラメータ空間内での分岐表面を特定する。
• 生成関数の技法と複素フーリエ級数の逆変換を用いて、MBFおよびMT-GBF成分を用いた一般化されたネウマンおよびカプテイン級数の閉形式表現を導出する。
• 多価対数関数Liℓ(z)を用いて一般化されたシュレーミルヒュッペ級数を表現し、特異点が分岐点で現れる積分表現を明らかにする。
• 関数h(θ) = ∑k(xk sin kθ + yk cos kθ)に対して、同時にh(θ) = 2πnおよびh′(θ) = 0を満たす方程式系を用いて、(x,y)パラメータ空間内の滑らかさ境界を同定する。
• 関数f(θ) = θ − h(θ)の全単射性を活用し、f(θ₀) = 0を満たすθ₀を定義することで、カプテイン級数のモーメント計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 m次元一般化ベッセル関数は、1次元におけるベッセル方程式に類似した2階線形PDEを満たすか？
• RQ2 次数および引数がともに大きい場合のm次元GBFの漸近的性質は何か？また、インデックス集合pに依存するか？
• RQ3 m次元GBFを含む一般化されたネウマン、カプテイン、シュレーミルヒュッペ級数は、特殊関数を用いて閉形式で表現可能か？
• RQ4 GBFのパラメータ空間における滑らかさ境界とは何か？ ここでは級数表現の収束性が変化する。
• RQ5 正弦および余弦項を含む混合型GBF（MT-GBF）の性質は、標準的なGBFとどのように異なるか？ また、その級数展開は解析的に特徴付け可能か？

主な発見

• m次元GBFは2階線形PDEを満たすが、古典的ベッセル方程式とは同一の形ではない。その構造は生成関数のpおよびxへの依存関係から導出される。
• 定常位相法を用いたGBFの漸近的近似が導出され、パラメータ空間内での分岐表面が特定され、性質が定性的に変化する点が明らかになった。
• 一般化されたネウマンおよびカプテイン級数は、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-GBFでy = 0の場合、θ₀ = 0であり、h⁽²ⁿ⁺¹⁾(θ₀) = ∑k²ⁿ⁺¹xₖが成り立つ。これにより、カプテイン級数におけるモーメントの明示的計算が可能になる。