[論文レビュー] Construction of eigenfunctions for the elliptic Ruijsenaars difference operators

Edwin Langmann, Masatoshi Noumi+1 more|arXiv (Cornell University)|Dec 10, 2020

Nonlinear Waves and Solitons参考文献 24被引用数 5

ひとこと要約

本稿は、楕円パラメータ $p$ における摂動級数展開を用いて、楕円的 Ruijsenaars 差分作用素の固有関数を構成し、適切な領域で絶対収束を証明する。2種類の固有関数を導入する：楕円的変形 Macdonald 多項式と漸近的に自由な固有関数であり、前者が物理的領域 $|x_i|=1$, $0<q,t<1$, $p\geq0$ において正規直交基底をなすことを示す。結果として、三角関数的 Macdonald理論を楕円的状況に拡張し、収束性と直交性を厳密に示した。

ABSTRACT

We present a perturbative construction of two kinds of eigenfunctions of the commuting family of difference operators defining the elliptic Ruijsenaars system. The first kind corresponds to elliptic deformations of the Macdonald polynomials, and the second kind generalizes asymptotically free eigenfunctions previously constructed in the trigonometric case. We obtain these eigenfunctions as infinite series which, as we show, converge in suitable domains of the variables and parameters. Our results imply that, for the domain where the elliptic Ruijsenaars operators define a relativistic quantum mechanical system, the elliptic deformations of the Macdonald polynomials provide a family of orthogonal functions with respect to the pertinent scalar product.

研究の動機と目的

• 三角関数的 Macdonald 多項式および漸近的に自由な固有関数を、楕円的 Ruijsenaars 系に一般化すること。
• 楕円パラメータ $p$ における絶対収束するべき級数として固有関数の存在を確立すること。
• 楕円的変形 Macdonald 多項式が物理的スカラー積に関して直交系をなすことの証明。
• 楕円的 Calogero-Moser-Sutherland 系から得られる核関数に基づく摂動法を Ruijsenaars 系に拡張すること。
• 物理的および代数的双対性に由来する $p \leftrightarrow q$ 交換における固有関数の対称性の探求。

提案手法

• Ruijsenaars 作用素の摂動展開を用いて、$p$ に関する形式的べき級数として固有関数を構成する。
• 可積分変換を適用し、漸近的領域 $|x_1| \gg \cdots \gg |x_n| \gg |p x_1|$ から物理的領域への固有関数の写像を実行する。
• 核関数と積分変換を用いて、異なる領域における固有関数を関連づけ、楕円的 Calogero-Moser 系からの手法を一般化する。
• 主要化推定を用いて、物理的領域 $|x_i|=1$, $0<q,t<1$, $p\geq0$ を含む領域で固有関数の級数の絶対収束を証明する。
• 楕円的 Macdonald 多項式 $\mathcal{P}_\lambda(x;p|q,t)$ が、$p \leftrightarrow q$ に関して不変な重み関数によって定義されるスカラー積に関して直交していることを示す。
• Ruijsenaars 関数の対称性を分析し、基底状態では $p \leftrightarrow q$ に関して不変であることを示し、一般の $\lambda$ についても同様の不変性を予想する。

実験結果

リサーチクエスチョン

• RQ1 Macdonald 多項式は、物理的領域における絶対収束する固有関数として楕円的状況に変形可能か？
• RQ2 三角関数的 Ruijsenaars 系における漸近的に自由な固有関数は、摂動級数を用いて楕円的設定に拡張可能か？
• RQ3 楕円的変形 Macdonald 多項式 $\mathcal{P}_\lambda(x;p|q,t)$ は物理的スカラー積に関して直交するか？
• RQ4 楕円的 Ruijsenaars 系における摂動的固有関数の絶対収束領域は何か？
• RQ5 固有関数に $p \leftrightarrow q$ の双対性対称性が存在するか、特に一般の $\mathcal{P}_\lambda(x;p|q,t)$ に対しては？

主な発見

• 楕円的変形 Macdonald 多項式 $\mathcal{P}_\lambda(x;p|q,t)$ は、$p$ に関する絶対収束べき級数として構成され、$\mathcal{P}_\lambda(x;0|q,t) = P_\lambda(x|q,t)$ を満たす。
• $\mathcal{P}_\lambda(x;p|q,t)$ の級数は、物理的領域 $|x_i|=1$, $0<q,t<1$, $p\geq0$ を含む領域で絶対収束し、定義が明確であることを保証する。
• 物理的領域において、$\mathcal{P}_\lambda(x;p|q,t)$ は、$p \leftrightarrow q$ に関して不変な重み関数によって定義されるスカラー積に関して、直交関数族をなす。
• 漸近的に自由な固有関数は、領域 $|x_1} \gg \cdots \gg |x_n| \gg |p x_1|$ において楕円的状況に一般化され、収束級数として得られる。
• 基底状態固有関数は $\mathcal{P}_0(x;p|q,t) = \mathcal{P}_0(x;q|p,t)$ を満たし、全系列に対して $p \leftrightarrow q$ の双対性が成り立つ可能性を示唆する。
• 著者らは、全系列 $\mathcal{P}_\lambda(x;p|q,t)$ が $p \leftrightarrow q$ に関して不変であると予想し、パrameter $\kappa$ を持つ関連関数 $f_{n,\infty}$ に関する予想を根拠として挙げている。