[論文レビュー] On asymptotic behavior of Heine-Stieltjes and Van Vleck polynomials

Andrei Martı́nez-Finkelshtein, Евгений Андреевич Рахманов|ArXiv.org|Mar 15, 2009

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

ひとこと要約

本稿では、WKB法を用いてヘイン＝シュティルチェスおよびヴァン・ヴレック多項式の強い漸近的性質を確立し、零点分布が臨界測度および閉曲線をもつ二次微分形式と関連することを示す。主な結果として、臨界軌道のパラメータ化を用いて零点の漸近的分布を特定し、ヴァン・ヴレック零点が特定の積分方程式の解の周囲に集積することを示す。さらに、量子化された静電モデルから導かれる離散点の周囲でO(n⁻²)の高精度な局在化が得られる。

ABSTRACT

We investigate the strong asymptotics of Heine-Stieltjes polynomials - polynomial solutions of a second order differential equations with complex polynomial coefficients. The solution is given in terms of critical measures (saddle points of the weighted logarithmic energy on the plane), that are tightly related to quadratic differentials with closed trajectories on the plane. The paper is a continuation of the research initiated in [arXiv:0902.0193]. However, the starting point here is the WKB method, which allows to obtain the strong asymptotics.

研究の動機と目的

• 複素係数をもつ一般化ラメ方程式の多項式解について、強い漸近的性質を導出すること。
• ヘイン＝シュティルチェスおよびヴァン・ヴレック多項式の零点分布を、臨界測度および二次微分形式を用いて特徴付けること。
• 多項式解の漸近的挙動と複素平面上の重み付き対数エネルギーの鞍点との間の関係を確立すること。
• 量子化された静電モデルによるパラメータ化を用いてヴァン・ヴレック多項式の零点を記述し、離散点の周囲でO(n⁻²)の局在化を示すこと。
• WKB法を導入し、均衡問題の枠組みを精緻化することで、従来の漸近的零点分布に関する結果を拡張すること。

提案手法

• WKB法を出発点としてヘイン＝シュティルチェス多項式の強い漸近的性質を導出し、先行研究の静電モデルに基づく手法に代わる。
• 自然なパラメータξₙ(z) = ∫_{z₀}^z √(Vₙ(t)/A(t)) dt を定義し、二次微分形式ϖₙ = -Vₙ(z)/A(z) (dz)² の軌道をパラメータ表示する。
• 漸近展開を多項式解の次数に関連付けるために、λₙ = n + (α - 1)/2 を用いてスケーリングする。
• 閉曲線をもつ二次微分形式を用いて臨界測度を表現し、その台は極とチェボタレフ中心を結ぶ臨界軌道の和集合である。
• 弧ℓₖ⁺ ⊂ ℓₖ に対するパラメータ化μᵥ(γ(v)) ↔ v を導入し、μᵥはvに対応する測度であり、γ(v)はvから極aₖへの臨界軌道である。
• 離散点̃vⱼ,ₖを方程式wₖ(̃vⱼ,ₖ) = j/λₙ + (ρₖ/2)/λₙ から得る。この点群は、ヴァン・ヴレック零点のO(n⁻²)サイズのグリッドを形成する。

実験結果

リサーチクエスチョン

• RQ1 一般化ラメ方程式に対して、n → ∞ のときヴァン・ヴレック多項式の零点はどのように漸近的に分布するか？
• RQ2 ヘイン＝シュティルチェス多項式解の明確な漸近的挙動は、臨界測度および二次微分形式を用いてどのように特徴づけられるか？
• RQ3 WKB法を用いて、これらの多項式の強い漸近的性質を導出でき、静電モデルに代わる手法として有効であるか？
• RQ4 ヴァン・ヴレック零点は、量子化された静電モデルによって定義される離散点の周囲にどの程度集積するか？
• RQ5 正および符号変化をもつヴァン・ヴレック多項式に対応する臨界測度の集合の位相的・幾何的構造はどのようなものか？

主な発見

• ヴァン・ヴレック多項式の零点は、方程式wₖ(̃vⱼ,ₖ) = j/λₙ + (ρₖ/2)/λₙ を満たす点̃vⱼ,ₖのO(n⁻²)距離内に存在する（j = 0, ..., [mₖn(1−ε)]）。
• 正の臨界測度の集合は、各極aₖとチェボタレフ中心v*を結ぶ3本の解析的弧ℓₖ⁺から構成され、𝒜の凸包内に星型の構造をとる。
• v ∈ ℓₖ⁺ に対して、vからaₖへの臨界軌道γ(v)は 0 ≤ μᵥ(γ(v)) ≤ Mₖ を満たし、μᵥ(γ(v))は[0, mₖ]へのホメオモルフィズムを定める。
• 各臨界測度μᵥの台は、二次微分形式ϖᵥの2本の臨界軌道の和集合であり、両方とも線分にホモトープである。
• ヘイン＝シュティルチェス多項式の零点の漸近的分布は、同じ臨界測度によって支配され、WKBパラメータξₙおよび指数写像ζₙ(z) = exp(ξₙ(z))を用いて強い漸近的表現が与えられる。
• 本稿では、各̃vⱼ,ₖがO(n⁻²)距離内に少なくとも1つのヴァン・ヴレック零点に対応するとの予想を提示するが、現在の枠組みでは未解決のままである。