[論文レビュー] A unified approach to $q$-special functions of the Laplace type

Yousuke Ohyama|arXiv (Cornell University)|Mar 27, 2011

Mathematical functions and polynomials参考文献 11被引用数 11

ひとこと要約

本稿は、基本超幾何関数 ${}_2\varphi_1(a,b;c;q,x)$ の退化を用いて、ラプラス型 $q$-差分方程式枠組みで得られる $q$-特異関数の統一的分類を提示する。7つの異なるクラスを特定し、シアー変換およびゲージ変換を用いて双対 $q$-Airy 関数の間の関係を確立し、$q$-Painlevé 方程式および特異解と関連付ける。

ABSTRACT

We propose a unified approach to $q$-special functions, which are degenerations of basic hypergeometric functions ${}_2ϕ_1(a,b;c;q,x)$. We obtain a list of seven different class of $q$-special functions: ${}_2ϕ_1, {}_1ϕ_1$, two different types of the $q$-Bessel functions, the $q$-Hermite-Weber functions, two different types of the $q$-Airy functions. We show that there exist a relation between two types of the $q$-Airy functions.

研究の動機と目的

• 現在の膨大な文献にもかかわらず、体系的な分類が欠如している $q$-特異関数の統一的理論の構築を目的とする。
• 複数の $q$-Bessel 関数や $q$-Airy 関数といった異なる $q$-特異関数が、本質的に異なるのか、それとも関連しているのかを特定することが難しいという問題に取り組む。
• 古典的特異関数で用いられる連続的極限および変数分離法の古典的手法を、$q$-差分方程式を用いて $q$-設定に拡張する。
• $q$-差分方程式のラプラス型の行列形式を用いて $q$-超幾何関数を分類し、7つの標準的タイプを同定する。
• 特に、シアー変換およびゲージ変換を用いて、異なる $q$-特異関数の間の関係を確立する。

提案手法

• 2階の線形係数を持つ方程式 $(a_0 + b_0 x)u(xq^2) + (a_1 + b_1 x)u(xq) + (a_2 + b_2 x)u(x) = 0$ を考察することで、古典的ラプラス型微分方程式分類を $q$-差分方程式に適応する。
• $2 \times 2$ システムを扱い、より多くのパrameterと対称性を持つ高階 $q$-差分方程式を扱うために、行列形式 $Y(xq) = (A_0 + A_1 x)Y(x)$ を導入する。
• 2つの主要な変換、すなわち $q$-積およびシグマ関数を用いたシアー変換とゲージ変換を適用し、解の簡略化および関係の確立を図る。
• 行列 $A(x) = A_0 + A_1 x$ の構造を分析することで $q$-差分方程式を分類し、$A_0$ および $A_1$ の代数的性質に基づいて7つの明確なケースを同定する。
• ${}_2\varphi_1$, ${}_1\varphi_1$, ${}_0\varphi_1$, ${}_2\varphi_0$ などの $q$-超幾何級数を用いて、各ケースの基本的解行列を導出する。
• $q$-差分方程式の構造と既知の特異解を比較することで、$q$-特異関数と $q$-Painlevé 方程式との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的連続的極限および変数分離法に類似した、$q$-特異関数の統一的分類枠組みを構築することは可能か？
• RQ2 2つの既知の $q$-Airy 関数の間の関係は何か？ それらは級数表現が異なっているが、本質的に等価であると考えられるか？
• RQ3 例えばジャクソンの $q$-Bessel 関数やハーン＝エクストンの $q$-Bessel 関数といった異なる $q$-Bessel 関数は、1つの分類枠組みの中でどのように関連しているか？
• RQ4 $q$-差分方程式の行列形式は、スカラー形式では見えない隠れた対称性や簡約化をどれほど明らかにするか？
• RQ5 どの $q$-超幾何関数が $q$-Painlevé 方程式の特異解に対応し、変換理論によってそれらはどのように関連しているか？

主な発見

• 7つの異なる $q$-特異関数のクラスが特定された：${}_2\varphi_1$, ${}_1\varphi_1$, ${}_1\varphi_1(a;0)$, 2種類の $q$-Bessel 関数（$J_\nu^{(1)}$ および $J_\nu^{(3)}$）、$q$-Airy 関数、およびラマヌジャン関数 ${}_0\varphi_1(-;0)$。
• 2種類の $q$-Airy 関数は、シアー変換により本質的に等価であることが示されたが、$q$-級数としては異なる。モリタの結果により、接続公式が確認された。
• ハーン＝エクストンの $q$-Bessel 関数として知られる $q$-Bessel 関数 $J_\nu^{(3)}(x;q)$ は、標準的 $q$-Bessel 関数として最も自然な候補であると特定された。
• ラマヌジャン関数 ${}_0\varphi_1(-;0)$ は、シアー変換を通じて $q$-Airy 関数と関連づけられ、一見異なるように思える2つの関数が結びつけられた。
• 7つの $q$-超幾何関数のうち5つが、$q$-Painlevé 方程式の特異解に対応しており、ジャクソンの最初の $q$-Bessel 関数 ${}_2\varphi_1(0,0;c)$ は $q$-$P_{\textrm{III}}$ に関連している。
• ハマモト＝カジワラ＝ウィットによる導入された $q$-Airy 関数 $\mathrm{Ai}_q(x)$ は、古典的 Airy 関数の最も適切な $q$-類似と特定された。