[论文解读] 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曲线的存在性与唯一性。
• 提供一种数值算法以构造此类曲线，尤其适用于低亏格与非简单情形。
• 将结果与Painlevé方程中的拟线性Stokes现象联系起来，特别关注Painlevé II方程。
• 在传统最小化框架之外，推广秩-2系统中$g$-函数的构造，利用全纯微分周期。

提出的方法

• 定义泛函$\mathcal{F} = \frac{1}{2} \sum_{j=1}^{2g} \epsilon_j^2$，其中$\epsilon_j = \Re \oint_{\gamma_j} y \, dx$，以衡量对Boutroux条件的偏离程度。
• 在$P(x) = (V'(x))^2 - 2T v_{d+1} x^{d-1} + Q_{d-2}(x)$中对$Q(x)$的系数施加ODE演化，以最小化$\mathcal{F}$，使曲线趋近于Boutroux条件。
• 通过设定$\Re \oint_{\gamma_j} \frac{\delta Q}{y} dx = -\epsilon_j$，确保形变保持同调基$\{\gamma_j\}$不变，使其与$\mathcal{F}$的梯度对齐。
• 通过代数方程如$y^2 = (x^2 - A)(x^4 + \frac{A}{2}x^2 + \frac{3}{8}A^2)^2$构造曲线，用于构造亏格0、简单的可接受曲线。
• 在演化过程中施加数值约束以保持重根，从而实现具有鞍点的曲线的构造。
• 通过检查临界轨迹结构与曲线的连通性，验证可接受性。

实验结果

研究问题

• RQ1 在不最小化泛函的情况下，能否唯一确定带外部场的Boutroux曲线的平衡测度？
• RQ2 如何通过代数方法解决自由边界问题——即确定测度的支集与渐近零点分布？
• RQ3 全纯微分周期在刻画Boutroux曲线及确保数值算法收敛性方面起什么作用？
• RQ4 如何构造具有预设连通性模式与亏格的可接受Boutroux曲线？
• RQ5 通过这些曲线的几何结构，对Painlevé方程中拟线性Stokes现象的理解可达到何种程度？

主要发现

• 对于给定的外部势能$V(x)$与总电荷$T$，在可接受的Boutroux曲线上，平衡测度的存在性与唯一性成立，且无需依赖泛函最小化。
• 当$V(x) = x^6/6$时，存在一个亏格0、简单的可接受Boutroux曲线，其方程为$y^2 = (x^2 - A)(x^4 + \frac{A}{2}x^2 + \frac{3}{8}A^2)^2$，其中$A = \frac{2}{5} 50^{1/3} T^{1/3}$，且测度仅在实轴的左右两区域有支集。
• 当且仅当曲线满足Boutroux条件时，泛函$\mathcal{F} = \frac{1}{2} \sum_{j=1}^{2g} \epsilon_j^2$为零，从而提供收敛性的定量判据。
• 数值实验表明，对$Q(x)$施加的ODE演化收敛至Boutroux曲线，但在$d \geq 9$时由于机器精度限制出现稳定性问题。
• 通过在演化过程中约束$P(x)$具有重根，可构造出具有鞍点的曲线，前提是此类重根的数量不超过$\lfloor (d-1)/2 \rfloor$。
• 该方法成功构造出$V(x) = \frac{x^8}{4} + \frac{i x^6}{6} - \frac{x^2}{2} + 3x$，$T=10$时的可接受Boutroux曲线，如图11所示。