[論文レビュー] Boutroux curves with external field: equilibrium measures without a minimization problem

Marco Bertola|arXiv (Cornell University)|May 21, 2007

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

ひとこと要約

本稿は、汎関数の最小化に依存せずに、外部場を伴うBoutroux曲線に対する平衡測度の存在および一意性を確立する。代数幾何学と調和解析を用いて自由境界問題を解き、測度の台および多項式の零点の漸近的分布を特定する。Painlevé方程式や直交多項式への応用を含む。

ABSTRACT

The nonlinear steepest descent method for rank-two systems relies on the notion of g-function. The applicability of the method ranges from orthogonal polynomials (and generalizations) to Painleve transcendents, and integrable wave equations (KdV, NonLinear Schroedinger, etc.). For the case of asymptotics of generalized orthogonal polynomials with respect to varying complex weights we can recast the requirements for the Cauchy-transform of the equilibrium measure into a problem of algebraic geometry and harmonic analysis and completely solve the existence and uniqueness issue without relying on the minimization of a functional. This addresses and solves also the issue of the ``free boundary problem'', determining implicitly the curves where the zeroes of the orthogonal polynomials accumulate in the limit of large degrees and the support of the measure. The relevance to the quasi--linear Stokes phenomenon for Painleve equations is indicated. A numerical algorithm to find these curves in some cases is also explained. Technical note: the animations included in the file can be viewed using Acrobat Reader 7 or higher. Mac users should also install a QuickTime plugin called Flip4Mac. Linux users can extract the embedded animations and play them with an external program like VLC or MPlayer. All trademarks are owned by the respective companies.

研究の動機と目的

• 複素重みを伴う一般化された直交多項式の漸近的解析における自由境界問題を解き、汎関数の最小化に依存せずに平衡測度の台を特定すること。
• 代数的・幾何的技法を用いて、与えられた接続性パターンおよび外部ポテンシャルに対して、許容可能なBoutroux曲線の存在および一意性を確立すること。
• 特に低(genus)および非単純な場合に適した、このような曲線を構築するための数値的アルゴリズムを提供すること。
• 結果をPainlevé方程式における準線形Stokes現象と結びつけること、特にPainlevé IIに対して。
• 従来の最小化フレームワークを超えて、ランク2系の$g$-関数の構成を一般化し、正則微分形式の周期を用いること。

提案手法

• Boutroux条件からの逸脱を測るための汎関数$\mathcal{F} = \frac{1}{2} \sum_{j=1}^{2g} \epsilon_j^2$を定義し、ここで$\epsilon_j = \Re \oint_{\gamma_j} y \, dx$とする。
• 多項式$P(x) = (V'(x))^2 - 2T v_{d+1} x^{d-1} + Q_{d-2}(x)$における$Q(x)$の係数に沿ったODEフローを用いて$\mathcal{F}$を最小化し、曲線がBoutroux条件に近づくようにする。
• 変形がホモロジー基底$\{\gamma_j\}$を保存するようにするため、$\Re \oint_{\gamma_j} \frac{\delta Q}{y} dx = -\epsilon_j$を設定し、$\mathcal{F}$の勾配と整合させる。
• $y^2 = (x^2 - A)(x^4 + \frac{A}{2}x^2 + \frac{3}{8}A^2)^2$のような代数的方程式により、genus-0で単純な許容可能な曲線を構築する。
• フロー中に二重根を維持するための数値的制約を実装し、鞍点を有する曲線の構築を可能にする。
• 得られた曲線の臨界軌道構造と接続性を検査することで、許容性を検証する。

実験結果

リサーチクエスチョン

• RQ1 外部場を伴うBoutroux曲線に対する平衡測度は、汎関数の最小化に依存せずに一意に特定可能か？
• RQ2 測度の台および漸近的零点分布を特定する自由境界問題は、代数的にどのように解けるか？
• RQ3 正則微分形式の周期は、Boutroux曲線の特徴付けおよび数値的アルゴリズムの収束を保証するために果たす役割は何か？
• RQ4 所望の接続性パターンおよびgenusを持つ許容可能なBoutroux曲線は、どのように構築可能か？
• RQ5 Painlevé方程式における準線形Stokes現象は、これらの曲線の幾何学的性質を通じてどの程度理解可能か？

主な発見

• 外部ポテンシャル$V(x)$と全電荷$T$が与えられた場合、許容可能なBoutroux曲線に対して、汎関数の最小化を要件とせず、平衡測度が存在し一意である。
• $V(x) = x^6/6$に対して、$y^2 = (x^2 - A)(x^4 + \frac{A}{2}x^2 + \frac{3}{8}A^2)^2$で与えられるgenus-0で単純な許容可能なBoutroux曲線が存在し、ここで$A = \frac{2}{5} 50^{1/3} T^{1/3}$である。この曲線は実軸に沿って左および右のセクタのみに測度を支持する。
• 汎関数$\mathcal{F} = \frac{1}{2} \sum_{j=1}^{2g} \epsilon_j^2$が0に等しいことは、曲線がBoutroux条件を満たすことと同値であり、収束の定量的基準を提供する。
• 数値実験では、$Q(x)$に沿ったODEフローがBoutroux曲線に収束することが示されたが、$d \geq 9$では機械精度の制限により安定性の問題が生じた。
• フロー中に$P(x)$が二重根を持つように制約することで、鞍点を有する曲線を構築可能であり、そのような根の数は$\lfloor (d-1)/2 \rfloor$以下である必要がある。
• 図11に示すように、$V(x) = \frac{x^8}{4} + \frac{i x^6}{6} - \frac{x^2}{2} + 3x$、$T=10$に対して、本手法は許容可能なBoutroux曲線を成功裏に構築した。