[论文解读] Generalized Hunter-Saxton equation and the geometry of the group of circle diffeomorphisms

Boris Khesin, Jonatan Lenells+1 more|ArXiv.org|Mar 20, 2008

Nonlinear Waves and Solitons参考文献 21被引用 9

一句话总结

本文引入广义Hunter-Saxton（μHS）方程，作为在圆周微分同胚群上、结合均值项与导数项的右不变Sobolev度量下的测地流。该文建立了该方程的双哈密顿结构，证明了其局部适定性与有限时间破裂，并识别出光滑与尖点型行波解。其独特的几何与动力学特征根植于Virasoro代数与球丛几何，使其与KdV、CH及HS方程相区别。

ABSTRACT

We study an equation lying `mid-way' between the periodic Hunter-Saxton and Camassa-Holm equations, and which describes evolution of rotators in liquid crystals with external magnetic field and self-interaction. We prove that it is an Euler equation on the diffeomorphism group of the circle corresponding to a natural right-invariant Sobolev metric. We show that the equation is bihamiltonian and admits both cusped, as well as smooth, traveling-wave solutions which are natural candidates for solitons. We also prove that it is locally well-posed and establish results on the lifespan of its solutions. Throughout the paper we argue that despite similarities to the KdV, CH and HS equations, the new equation manifests several distinctive features that set it apart from the other three.

研究动机与目标

• 将μHS方程确立为在圆周微分同胚群上、具有包含均值与导数项的右不变Sobolev度量的Euler方程。
• 证明μHS方程自然地源自描述具有自相互作用与外磁场的液晶中转子的变分原理。
• 证明μHS方程为双哈密顿结构，并拥有无穷多条守恒律，从而将其与可积系统理论相联系。
• 通过周期初值问题分析经典解的存在性、唯一性及破裂行为。
• 对行波解进行分类，识别出光滑与尖点型周期波作为孤子的自然候选解。

提出的方法

• 通过右不变度量 ⟨u,v⟩ = μ(u)μ(v) + ∫uₓvₓdx，在圆周保向微分同胚群上将μHS方程导出为测地方程。
• 利用Virasoro代数的对偶空间上的两个泊松括号建立方程的双哈密顿结构：一个为李-泊松括号，另一个为在(0,1)处冻结的泊松括号。
• 在周期初值问题的框架下，利用能量估计与Sobolev嵌入定理，证明解的局部适定性与解的持久性。
• 通过将PDE约化为圆周上的ODE，分析行波解，识别出光滑与尖点型周期波形。
• 利用Virasoro对偶上的伴随作用推导哈密顿形式，并通过变分导数与泊松括号验证双哈密顿结构。
• 将μHS方程的几何结构与无穷维Hopf纤维丛联系起来，将微分同胚群解释为L²(S¹)中单位球面上的S¹-丛。

实验结果

研究问题

• RQ1 μHS方程如何作为在特定右不变度量下、圆周微分同胚群上的测地流而出现？
• RQ2 μHS方程的双哈密顿结构是什么？它与KdV、Camassa-Holm及Hunter-Saxton方程有何关联？
• RQ3 行波解具有何种性质，包括其光滑性与尖点行为？它们与其它可积系统中的孤子相比如何？
• RQ4 在何种条件下，μHS方程的经典解可全局存在或在有限时间内破裂？
• RQ5 尽管μHS方程与KdV、CH及HS方程共享相似的双哈密顿结构，其在几何与动力学上如何不同？

主要发现

• μHS方程是圆周微分同胚群上、由均值与H¹半范数定义的右不变度量下的测地方程，确立了其几何起源。
• 该方程具有双哈密顿结构，包含两个泊松结构：一个为李-泊松括号，另一个为在(0,1)处冻结的泊松括号，证实了其可积性与无穷多条守恒律。
• 在Sobolev空间H^s（s > 3/2）中，解是局部适定的，且当角动量密度非负时，可证明其全局存在性。
• 当u的梯度变得无界时，即使初始数据光滑，经典解也会在有限时间内破裂，这是由于均值μ(u)引起的非线性耦合所致。
• 该方程同时存在光滑周期行波与尖点周期行波，后者源于涉及μ(u)的非局部项，使其与CH与HS方程中的尖峰子解相区别。
• 尽管与KdV方程共享相同的泊松对，μHS方程并不等价于KdV方程，因为Lenard-Magri方案中的卡西米尔选择不同，从而确认了其独特的可积结构。