[論文レビュー] On Nikishin systems with discrete components and weak asymptotics of multiple orthogonal polynomials

Alexander Ivanovich Aptekarev, G. López Lagomasino+1 more|arXiv (Cornell University)|Mar 15, 2014

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

ひとこと要約

本稿は、ℝ₊ 上の連続測度と (−∞,0) 上の離散測度を含むニキシン系に関連する複数直交多項式を調査する。ℝ₊ に外部場を伴うベクトル平衡問題と、ℝ₋ に制約を伴う問題を定式化・解き、この平衡問題の解を用いて多項式の零点の弱漸近的分布を導出する。

ABSTRACT

We consider multiple orthogonal polynomials with respect to Nikishin systems generated by two measures $(σ_1, σ_2)$ with unbounded supports ($\mbox{supp} \, σ_1 \subseteq \mathbb{R}_+$, $\mbox{supp} \, σ_2 \subseteq \,\mathbb{R}_-$) and $σ_2$ is discrete. A Nikishin type equilibrium problem in the presence of an external field acting on $\mathbb{R}_+$ and a constraint on $ \mathbb{R}_-$ is stated and solved. The solution is used for deriving the contracted zero distribution of the associated multiple orthogonal polynomials.

研究の動機と目的

• ℝ₋ 上に台を持つ離散的測度を含むニキシン系における複数直交多項式の弱漸近的挙動を分析すること。
• ℝ₊ に外部場を伴い、ℝ₋ に制約を伴うベクトル平衡問題を定式化し、離散的成分の構造を反映させること。
• 平衡問題の解を用いて多項式の収縮零点分布を導出すること。
• 与えられた制約下で変分条件を満たす極小測度対の存在および一意性を確立すること。
• ポテンシャル論的技法と極小定数を用いて、多項式のノルムおよび対数微分の収束を証明すること。

提案手法

• ℝ₊ 上に外部場を伴う2つの符号付き測度と、ℝ₋ 上に制約を伴うベクトル平衡問題を定式化し、漸近的挙動をモデル化する。
• ポテンシャル論と対数エネルギーを用いて、変分不等式を介して平衡測度を特徴付ける。
• エルミート・ペーデー近似の理論と第二種関数を応用し、多項式と平衡測度を結ぶ直交関係を導出する。
• スケーリング極限アプローチを採用し、スケーリングされた測度とノルムを導入して、多項式ノルムのn乗根の挙動を分析する。
• 平衡問題からの極小定数を用いて、多項式のL²ノルムの漸近公式を導出する。具体的には、ノルムの二乗のn乗根の極限を分析する。
• 平衡問題の解の一意性を確立し、極限過程と連続性の議論を用いて、既存の文献結果と整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 (−∞,0) 上に離散的測度が存在する場合、ニキシン系における複数直交多項式の弱漸近的分布にどのような影響を与えるか？
• RQ2 1つの測度が離散的で、もう1つが有界でない台を持つ連続測度である場合、ベクトル平衡問題を定式化し、解くことは可能か？
• RQ3 与えられた外部場と制約の下で、重み付きエネルギー汎関数を最小化する極小測度対の正確な形は何か？
• RQ4 複数直交多項式のノルムはどのように漸近的に振る舞い、極小定数はその挙動において果たす役割は何か？
• RQ5 多項式の零点分布は、ベクトル平衡問題の解からどの程度回復可能か？

主な発見

• ℝ₊ に外部場、ℝ₋ に制約を伴うベクトル平衡問題の解は、複数直交多項式の零点の弱漸近的分布を一意に決定する。
• 収縮零点分布は、平衡測度対 (2λ₁*, λ₂*) で特徴づけられ、これは定理2.1の不等式 (20) および (21) を満たす。
• 多項式 Qₙ,₂ のn乗根の極限が e⁻F_{λ₂*} に等しいことが示された。ここで F_{λ₂*} は平衡問題からの極小エネルギー値である。
• limₙ→∞ ||Qₙ,₂||₂,n²/n = e⁻F_{λ₂*} の極限が存在することが確立され、F_{λ₂*} = 4w₁* − ½∫log(1+y²)dλ₂*(y) が成り立つ。
• ∫log(1+y²)dλ₂*(y) < ∞ であることが証明され、これにより対数ポテンシャル U^{λ₂*} がℝ₋ 上で正しく定義され、連続であることが保証される。
• 極小定数 w₁ と w₂ は、w₁ = 4w₁* + ½∫log(1+y²)dλ₂*(y) および w₂ = 0 として導出され、変分枠組みと整合的であることが確認された。