[論文レビュー] Separation of variables and Lie algebra contractions. Applications to special functions

G. S. Pogosyan, A. N. Sissakian+1 more|ArXiv.org|Oct 8, 2003

Noncommutative and Quantum Gravity Theories参考文献 37被引用数 11

ひとこと要約

本稿は、曲面（球面および双曲面）と平坦面（ユークリッドおよび擬ユークリッド平面）における分離可能な座標系および基底関数の間の漸近的関係を導くために、リー代数の解析的収縮（O(3)およびO(2,1)からE(2)およびE(1,1)への収縮）を確立する。主な貢献は、超幾何関数やベッセル関数などの特殊関数の明示的な極限関係を導出することであり、曲率半径R → ∞の極限において、球面的および双曲的基底関数が平坦空間におけるデカルト、放物、およびハンケル関数に収縮することを示している。

ABSTRACT

A review is given of some recently obtained results on analytic contractions of Lie algebras and Lie groups and their applications to special function theory.

研究の動機と目的

• 曲面（S₂, H₂）および平坦面（E₂, E₁,₁）の等長群のリー代数間の解析的収縮を確立し、それらの座標系および基底関数の間の漸近的接続を可能にする。
• 曲率パラメータRを導入することで、インオン・ウィグナー収縮を一般化し、コンパクトおよび非コンパクト対称空間から平坦空間への連続的遷移を可能にする。
• これらの収縮下で、ルジャンドル関数、超幾何関数、ベッセル関数などの特殊関数の明示的な漸近的極限を導出する。
• S₂およびH₂上のラプラス＝ベルトラミ方程式の分離可能な解が、E₂およびE₁,₁上のそれらと、基底関数の収縮によって結びつけられるようにする。
• 表現論および可換作用素の観点から、特殊関数の極限的挙動を理解するための群論的枠組みを提供する。

提案手法

• 曲率半径Rにパrameter化された解析的収縮を用い、R → ∞が平坦極限に対応するように、リー代数o(3), o(2,1)およびそれらの収縮e(2), e(1,1)に適用する。
• 変数分離の作用素的アプローチを適用し、等長群のリー代数の包あらわし代数内に完全な可換な2次微分作用素の集合を同定する。
• S₂およびH₂上の基底関数（球面的、楕円的、等距離的、放物的）を、超幾何関数および関連ルジャンドル関数の形で表現し、漸近的解析を可能にする。
• R → ∞の極限における超幾何関数の漸近展開を実行し、座標および量子数のスケーリング（例：ρ ∼ kR, τ ∼ x/R）を伴う。
• 0F₁, ₂F₁, ベッセル関数などの特殊関数の既知の積分表現および漸近公式を用い、固有関数の極限形を導出する。
• 関連ルジャンドル関数が超幾何関数で表現される既知の恒等式を活用し、収縮プロセスを容易にする。

実験結果

リサーチクエスチョン

• RQ1 曲率パラメータR → ∞の下で、球面S₂および双曲面H₂上の分離可能な座標系が、ユークリッドおよび擬ユークリッド平面への収縮はどのように行われるか？
• RQ2 曲率が消える（R → ∞）際の、S₂およびH₂上の基底関数（球面的、楕円的、等距離的）の極限的挙動は何か？
• RQ3 超幾何関数やベッセル関数などの特殊関数は、どのように曲面の関数の極限として現れるか？
• RQ4 S₂およびH₂上のラプラス＝ベルトラミ作用素の固有関数と、平坦空間上のそれらとの間の正確な漸近的関係は何か？
• RQ5 基底関数の間の重なり係数および重なり関数は、リー代数収縮の下でどのように変化するか？

主な発見

• S₂上の球面的基底関数の極限R → ∞は、E₂上のデカルト基底関数に収縮し、漸近的関係 lim_{R→∞} √R |Γ(iρ)| Ψ_{ρm}(τ,φ) = √(2/k₀) e^{ik₀t - ik₁x} が成り立つ。
• S₂上の楕円的基底は、E₂上のデカルトおよび放物的基底に収縮し、基底における超幾何関数が、コサインおよびサイン関数を表す0F₁関数に変換される。
• H₂上の等距離的基底は、E₂上のデカルト基底に収縮し、lim_{R→∞} Ψ_{ρλ}(τ₁,τ₂) = √(k/πk₂) exp(ik₁x + ik₂y) が得られる。
• H₂上の等距離的基底は、E₁,₁上の極座標基底にも収縮し、極限 lim_{R→∞} (1/√R) Ψ_{ρλ}(α,τ₂) = √(k/2) H_{iλ}^{(1)}(kr) e^{iλ(τ₂ + iπ/2)} が得られ、ハンケル関数と関連づけられる。
• S₂上のラメ方程式の解は、E₂上のヘルムホルツ方程式の解に収縮し、超幾何関数は極限でベッセル関数に簡約される。
• 収縮プロセスは可換作用素の代数的構造を保存し、Rに関する解析的接続を介して、異なる幾何における固有関数の間の連続的写像を提供する。