[论文解读] The Deodhar decomposition of the Grassmannian and the regularity of KP solitons

Yuji Kodama, Lauren Williams|arXiv (Cornell University)|Apr 29, 2012

Nonlinear Waves and Solitons参考文献 20被引用 6

一句话总结

本文通过Go图刻画 $ t \ll 0 $ 时的轮廓图，建立了格拉斯曼流形的迪奥德拉分解与KP孤立子解渐近行为之间的联系。证明了KP孤立子解对所有时间都正则，当且仅当其对应的点属于完全非负格拉斯曼流形，借助组合几何与热带近似方法解决了关键正则性问题。

ABSTRACT

Given a point A in the real Grassmannian, it is well-known that one can construct a soliton solution u_A(x,y,t) to the KP equation. The contour plot of such a solution provides a tropical approximation to the solution when the variables x, y, and t are considered on a large scale and the time t is fixed. In this paper we use several decompositions of the Grassmannian in order to gain an understanding of the contour plots of the corresponding soliton solutions. First we use the positroid stratification of the real Grassmannian in order to characterize the unbounded line-solitons in the contour plots at y>>0 and y<<0. Next we introduce a refinement of the positroid stratification -- the Deodhar decomposition of the Grassmannian -- which is defined to be the projection of Deodhar's decomposition of the complete flag variety. We index the components of the Deodhar decomposition of the Grassmannian by certain tableaux which we call Go-diagrams, and then use these Go-diagrams to characterize the contour plots of solitons solutions when t<<0. Finally we use these results to show that a soliton solution u_A(x,y,t) is regular for all times t if and only if A comes from the totally non-negative part of the Grassmannian.

研究动机与目标

• 理解任意实格拉斯曼流形点的KP孤立子解渐近结构，而不仅限于完全非负部分。
• 通过格拉斯曼流形的正胞腔分解，表征空间极端位置 $ y \gg 0 $ 和 $ y \ll 0 $ 处的无界线性孤立子。
• 通过索引为Go图的迪奥德拉分解，描述 $ t \ll 0 $ 时孤立子解的轮廓图。
• 通过识别格拉斯曼流形点的必要与充分条件，解决KP孤立子的正则性问题。
• 阐明尽管 $ \tau $-函数不同，轮廓图演化却存在非唯一性，尤其在 $ t \gg 0 $ 时。

提出的方法

• 利用实格拉斯曼流形的正胞腔分解，通过装饰排列分类空间极端位置（$ y \gg 0 $，$ y \ll 0 $）的无界线性孤立子。
• 应用迪奥德拉分解——一种基于Go图（带黑白石子的表格）索引的正胞腔分解的细化——分析 $ t \ll 0 $ 的渐近行为。
• 通过矩阵 $ A \in Gr_{k,n} $ 的Wronskian公式构造孤立子解，得到作为指数和的 $ \tau $-函数。
• 使用热带近似方法，将轮廓图建模为 $ |u_A(x,y,t)| $ 最大值或奇点的轨迹，利用 $ \tau $-函数的相位结构。
• 利用广义plabic图与孤立子图表示轮廓图的拓扑结构，并追踪其随时间的演化。
• 分析同一迪奥德拉分量中不同 $ m_j $ 参数下轮廓图的演化，显示其在 $ t \ll 0 $ 时轮廓图相同（仅指数级微小差异），但在 $ t \gg 0 $ 时行为发散。

实验结果

研究问题

• RQ1 KP孤立子解中无界线性孤立子在 $ y \gg 0 $ 和 $ y \ll 0 $ 处的行为如何？对于任意实格拉斯曼流形点，如何对其进行分类？
• RQ2 能否从格拉斯曼流形点的迪奥德拉分量显式重构KP孤立子解在 $ t \ll 0 $ 时的轮廓图？
• RQ3 Go图在表征 $ t \ll 0 $ 范围内孤立子解渐近结构方面起什么作用？
• RQ4 格拉斯曼流形点满足何种条件时，其对应的KP孤立子解对所有时间都正则？
• RQ5 为何同一迪奥德拉分量中不同的 $ \tau $-函数在 $ t \ll 0 $ 时产生相同的轮廓图，但在 $ t \gg 0 $ 时演化不同？

主要发现

• 在 $ y \gg 0 $ 和 $ y \ll 0 $ 处的无界线性孤立子仅依赖于格拉斯曼流形点 $ A $ 的正胞腔，且可从其装饰排列中读出。
• 对于 $ t \ll 0 $，$ u_A(x,y,t) $ 的轮廓图完全由索引 $ A $ 的迪奥德拉分量的Go图决定，从而可实现显式算法构造。
• 同一迪奥德拉分量中的两点 $ A $ 和 $ A' $ 可在 $ t \ll 0 $ 时产生相同的轮廓图（仅指数级微小差异），即使 $ m_j $ 参数不同，表明初始热带数据存在非唯一性。
• 当 $ m_j $ 变化时，尽管 $ t \ll 0 $ 行为相同，孤立子图（轮廓图的拓扑结构）在 $ t \gg 0 $ 时不同，表明时间演化对 $ m_j $ 敏感。
• KP孤立子解 $ u_A(x,y,t) $ 对所有 $ t $ 正则，当且仅当 $ A $ 属于格拉斯曼流形 $ (Gr_{k,n})_{\geq 0} $ 的完全非负部分。
• 在 $ t \ll 0 $ 时的轮廓图对 $ m_j $ 参数不敏感，仅依赖于 $ p_i $，而 $ p_i $ 与Go图结构相关。