[論文レビュー] Semi-classical Orthogonal Polynomial Systems on Non-uniform Lattices, Deformations of the Askey Table and Analogs of Isomonodromy

N. S. Witte|arXiv (Cornell University)|Apr 11, 2012

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

ひとこと要約

本稿は、非一様格子上の半古典的直交多項式枠組みを導入し、重み関数の差分作用素による変形を用いてアスキーテーブルを一般化する。変形下でのアスキーウィルソン多項式に対して、1階q差分方程式の連立系が導かれ、これが $E^{(1)}_7$ $q$-Painlevé系の古典的解に対応することを証明する。これにより、$q$-Painlevé方程式に対する離散的等モノドロミー的類似が確立される。

ABSTRACT

A $\mathbb{D}$-semi-classical weight is one which satisfies a particular linear, first order homogeneous equation in a divided-difference operator $\mathbb{D}$. It is known that the system of polynomials, orthogonal with respect to this weight, and the associated functions satisfy a linear, first order homogeneous matrix equation in the divided-difference operator termed the spectral equation. Attached to the spectral equation is a structure which constitutes a number of relations such as those arising from compatibility with the three-term recurrence relation. Here this structure is elucidated in the general case of quadratic lattices. The simplest examples of the $\mathbb{D}$-semi-classical orthogonal polynomial systems are precisely those in the Askey table of hypergeometric and basic hypergeometric orthogonal polynomials. However within the $\mathbb{D}$-semi-classical class it is entirely natural to define a generalisation of the Askey table weights which involve a deformation with respect to new deformation variables. We completely construct the analogous structures arising from such deformations and their relations with the other elements of the theory. As an example we treat the first non-trivial deformation of the Askey-Wilson orthogonal polynomial system defined by the $q$-quadratic divided-difference operator, the Askey-Wilson operator, and derive the coupled first order divided-difference equations characterising its evolution in the deformation variable. We show that this system is a member of a sequence of classical solutions to the $ E^{(1)}_7 $ $q$-Painlevé system.

研究の動機と目的

• 超幾何および基本超幾何直交多項式のアスキーテーブルを、非一様格子上の変形を含む形に拡張すること。
• 差分作用素を用いた2次格子上の半古典的直交多項式系の体系的理論を構築すること。
• スペクトル構造と変形構造を用いて、$q$-Painlevé方程式の離散的等モノドロミー的変形のアナログを構築すること。
• 変形されたアスキーウィルソン系が、$E^{(1)}_7$ $q$-Painlevé系の古典的解として同定されること。
• モーメント行列式とカソラーチ恒等式に基づくLax対形式を用いて、スペクトル方程式と変形方程式の整合性を確立すること。

提案手法

• 1階線形差分作用素 $\mathbb{D}$ における1階線形差分方程式を満たす $\mathbb{D}$-半古典的重み関数を用い、古典的直交多項式を一般化する。
• スペクトル方程式—$\mathbb{D}$ に関する1階線形行列方程式—を導出し、これにより直交多項式系とその関連関数を記述する。
• 変形変数を導入してアスキーテーブルの重み関数を一般化し、そのパラメータに関する発展方程式を導出。これらが $q$-Painlevé型であることが示される。
• スペクトル方程式と変形方程式の整合性からLax対を構成し、系の発展が結合された1階q差分方程式系によって記述されることを示す。
• モーメント行列式と2重カソラーチ形式を用いて $\tau$-関数を表現し、理論を可積分系および古典的解と結びつける。
• Mathematicaを用いた記号的および数値的検証により、精度 $10^{-30}$ まで一貫性が確認され、RainsおよびYamadaの先行研究と接続される。

実験結果

リサーチクエスチョン

• RQ1 半古典的重み関数を用いて、非一様格子上の変形を含むアスキーテーブルの直交多項式をどのように一般化できるか？
• RQ2 このような変形系におけるスペクトル方程式と変形方程式の構造は何か？ そして、これらが整合性を保つ仕組みは？
• RQ3 アスキーウィルソン多項式の最初の非自明な変形が、既知の $q$-Painlevé方程式に対応するか？ もし対応するならば、どの方程式か？
• RQ4 $\tau$-関数が2重カソラーチ行列式形式で表現可能か？ そして、これにより可積分性にどのような意味が生じるか？
• RQ5 得られた系は、標準的 $E^{(1)}_7$ $q$-Painlevé系とどのように関係しているか？ その同定を支持する証拠は何か？

主な発見

• 変形されたアスキーウィルソン直交多項式系は、スペクトル構造と変形構造の整合性から、変形変数に関する1階q差分方程式の連立系を満たすことが明示的に導出された。
• この系は、$\tau$-関数の形と古典的解理論からの構造的・関数的証拠に基づき、$E^{(1)}_7$ $q$-Painlevé方程式の古典的解として同定された。
• $\tau$-関数は、要素 $m_{0,0}(q^j a_r, q^k a_s)$ を持つ2重カソラーチ行列式形式であることが示され、理論が可積分系および行列式点過程と結びついた。
• 広範な記号的および数値的検証により、導出された方程式が少なくとも $10^{-30}$ の精度で一貫性を示し、理論的枠組みの妥当性が裏付けられた。
• クリスティョフエル＝ウヴァロフ型写像を介したシュレスラー型変換がフレームワークによって支持され、可積分階層へのより広範な適用可能性が示唆された。
• 結果は、YamadaのLax対およびRainsの楕円型Painlevé理論と整合しており、統一的な離散的等モノドロミー的構造が存在することを示唆している。