[論文レビュー] Orthogonal Polynomials for Potentials of two Variables with External Sources

M. C. Bergère|ArXiv.org|Nov 24, 2003

Advanced Combinatorial Mathematics参考文献 1被引用数 3

ひとこと要約

本稿は、外部源を伴う1変数のクリスティオフェルの直交多項式構成を2つの複素変数 (z, z*) に拡張し、一般化されたシュール多項式を含む行列式公式を用いて、ポテンシャル V(z, z*) に対する双直交多項式を導入する。主な貢献は、補助多項式 Qn(z; ξi*) が満たす双直交性条件を用いて、モニック直交多項式 qn(z; ξi, ξi*) の閉形式表現を提示することであり、そのノルム kn(ξi, ξi*) がコーシー核の行列式の比として与えられることを証明し、アケマンとヴェルニツィの予想を裏付ける。

ABSTRACT

This publication is an exercise which extends to two variables the Christoffel's construction of orthogonal polynomials for potentials of one variable with external sources. We generalize the construction to biorthogonal polynomials. We also introduce generalized Schur polynomials as a set of orthogonal, symmetric, non homogeneous polynomials of several variables, attached to Young tableaux.

研究の動機と目的

• 外部源を伴う1変数のクリスティオフェルの直交多項式構成を2つの複素変数 (z, z*) に一般化すること。
• L 個の複素外部源を伴うポテンシャル V(z, z*) に対して、モニック双直交多項式 qn(z; ξi, ξi*) を定義し構成すること。
• 補助多項式 Qn(z; ξi*) を用いた行列式に基づく公式により、構成された多項式の直交性を証明すること。
• 双直交多項式のノルム kn(ξi, ξi*) の閉形式表現を導出し、アケマンとヴェルニツィの予想を確認すること。
• 2変数設定におけるヤング図式に関連する対称的・非同次直交多項式としての一般化されたシュール多項式を導入すること。

提案手法

• 2変数ポテンシャル V(z, z*) を定義し、関連する内積 ∫∫ d²z p∗m(z) pn(z) e^{-V(z,z*)} = hn δnm を導入する。
• L 個の複素外部源 (ξ1, ..., ξL) を導入し、重み ∏|z − ξi|² e^{-V(z,z*)} を持つ重み付き内積を定義する。
• モニック双直交多項式 qn(z; ξi, ξi*) を行列式比として構成する： qn = det[Qn+k(z; ξi*)] / det[Qn+k(ξi; ξi*)] × ∏(z − ξi)^{-1} × [⟨n,L⟩]^{-1}、ここで Qn は補助多項式である。
• 補助モニック多項式 Qn(z; ξi*) を双直交性条件 ∫∫ d²z p∗m(z) Qn(z; ξi*) ∏(z* − ξi*) e^{-V(z,z*)} = 0 (m < n) により定義する。
• Qn の性質に依拠して、行列式構造が m < n の場合に内積が消えることを示し、qn の直交性を証明する。
• ノルム kn(ξi, ξi*) を kn = hn+L × det[KN+L(ξi, ξj*)] / det[KN+L−1(ξi, ξj*)] として導出し、ここで KN(z, ξ*) は ∑(1/hk) p∗k(ξ) pk(z) として定義されるコーシー核である。

実験結果

リサーチクエスチョン

• RQ1 外部源を伴うクリスティオフェルの1変数直交多項式構成を2つの複素変数にどのように一般化できるか？
• RQ2 2変数ポテンシャル V(z, z*) と L 個の複素外部源を伴うモニック双直交多項式 qn(z; ξi, ξi*) の明示的形は何か？
• RQ3 双直交多項式のノルム kn(ξi, ξi*) は何か？また、コーシー核の行列式の比として表現できるか？
• RQ4 補助多項式 Qn(z; ξi*) はどのように構成され、どのような双直交性条件を満たすか？
• RQ5 アケマンとヴェルニツィが提示した kn(ξi, ξi*) の予想式は、2変数の場合に厳密に証明可能か？

主な発見

• モニック双直交多項式 qn(z; ξi, ξi*) は、Qn+k(z; ξi*) を含む行列式比として構成され、∏|z − ξi|² を重みとする重み付き内積において直交性が保証される。
• 補助多項式 Qn(z; ξi*) は、m < n のとき ∫∫ d²z p∗m(z) Qn(z; ξi*) ∏(z* − ξi*) e^{-V(z,z*)} = 0 を満たす双直交性条件により一意に定義される。
• 1つの外部源の場合、Qn(z; ξ*) = hn p∗n(ξ) Kn(z, ξ*) が成り立ち、ここで Kn(z, ξ*) = ∑_{i=0}^n (1/hi) p∗i(ξ) pi(z) はコーシー核である。
• L 個の源の場合、Qn(z; ξi*) は p∗k(ξi) と Kn(z, ξi*) の行列式として表現され、p∗k(ξi) の行列式の逆数でスケーリングされる。
• ノルム kn(ξi, ξi*) は厳密に kn = hn+L × det[KN+L(ξi, ξj*)] / det[KN+L−1(ξi, ξj*)] として証明され、アケマンとヴェルニツィの予想が裏付けられる。
• 最終的な qn(z; ξi, ξi*) の式は、pn+L(z), pn+L(ξi), および Kn+L−1(z, ξi*) の行列式を、Kn+L−1(ξi, ξj*) の行列式で割ったものに、追加の ∏(z − ξi)^{-1} 要素を乗じた形で与えられる。