[论文解读] Initial-boundary value problem for integrable nonlinear evolution equations with $3 imes 3$ Lax pairs on the interval

Xu Jian, Engui Fan|arXiv (Cornell University)|Sep 9, 2015

Nonlinear Waves and Solitons参考文献 14被引用 4

一句话总结

该论文提出了一种统一变换方法，用于求解有限区间上具有3×3 Lax对的可积非线性演化方程的初边值问题。通过由谱函数s(k)、S(k)和S_L(k)定义的跳跃矩阵，将解表述为黎曼-希尔伯特问题，并建立全局关系以用给定的初始数据和边界数据表征未知边界值，在L→∞的极限下恢复了半直线情形的结果。

ABSTRACT

We present an approach for analyzing initial-boundary value problems which is formulated on the finite interval ($0\le x\le L$, where $L$ is a positive constant) for integrable equations whose Lax pairs involve $3 imes 3$ matrices. Boundary value problems for integrable nonlinear evolution PDEs can be analyzed by the unified method introduced by Fokas and developed by him and his collaborators. In this paper, we show that the solution can be expressed in terms of the solution of a $3 imes 3$ Riemann-Hilbert problem. The relevant jump matrices are explicitly given in terms of the three matrix-value spectral functions $s(k)$,$S(k)$ and $S_L(k)$, which in turn are defined in terms of the initial values, boundary values at $x=0$ and boundary values at $x=L$, respectively. However, these spectral functions are not independent, they satisfy a global relation. Here, we show that the characterization of the unknown boundary values in terms of the given initial and boundary data is explicitly described for a nonlinear evolution PDE defined on the interval. Also, we show that in the limit when the length of the interval tends to infity, the relevant formulas reduce to the analogous formulas obtained for the case of boundary value problems formulated on the half-line.

研究动机与目标

• 将福卡斯统一方法扩展至有限区间上具有3×3 Lax对的可积PDE初边值问题。
• 利用全局关系，用已知的初始数据和边界数据表征未知边界值。
• 通过依赖于谱函数s(k)、S(k)和S_L(k)的跳跃矩阵，推导出黎曼-希尔伯特问题的显式解公式。
• 证明解公式在L→∞极限下退化为已知的半直线结果。

提出的方法

• 通过涉及(x,t)域四个角点的围线积分的积分方程，构造四个解析特征函数M_n(x,t,k)。
• 在复k平面上建立一个3×3矩阵黎曼-希尔伯特问题，其跳跃矩阵由初始和边界数据导出的谱函数s(k)、S(k)和S_L(k)定义。
• 在全局关系中引入因子1/Δ，以区分并关联谱函数，从而实现对未知边界值的表征。
• 利用摄动展开计算所有阶次的边界数据，其中g_{ij}^{(1)}和f_{ij}^{(1)}以x=0和x=L处边界数据的显式积分表示。
• 应用非线性最陡下降法，通过黎曼-希尔伯特公式分析解的渐近行为。
• 通过证明边界项消失且谱函数退化为半直线形式，表明在L→∞极限下解公式与半直线结果一致。

实验结果

研究问题

• RQ1 如何将福卡斯统一方法从半直线推广至具有3×3 Lax对系统的有限区间初边值问题？
• RQ2 此类系统在有限区间上的黎曼-希尔伯特问题的结构是什么？跳跃矩阵如何定义？
• RQ3 如何利用全局关系，用已知的初始和边界数据表征未知边界值？
• RQ4 因子1/Δ在全局关系中起什么作用，以区分有限区间上谱函数的结构？
• RQ5 解公式在L→∞极限下如何退化为已知的半直线结果？

主要发现

• 初边值问题的解可表示为一个3×3矩阵黎曼-希尔伯特问题，其跳跃矩阵由谱函数s(k)、S(k)和S_L(k)显式定义。
• 未知边界值通过包含因子1/Δ的全局关系表征，该因子使从初始和边界数据中显式重构未知值成为可能。
• 该方法提供了一种构造性摄动方案，通过涉及x=0和x=L处边界值的积分方程，可计算所有阶次的边界数据。
• 在L→∞极限下，解公式退化为已知的半直线结果，证实了与先前半直线研究的一致性。
• 该方法将福卡斯方法推广至3×3 Lax对系统的有限区间，为求解此类初边值问题提供了系统性框架。
• 推导结果证实，非线性最陡下降法可应用于该设定下解的渐近行为分析。