[论文解读] Momentum Maps and Measure-valued Solutions (Peakons, Filaments and Sheets) for the EPDiff Equation

Darryl D. Holm, Jerrold E. Marsden|ArXiv.org|Dec 19, 2003

Nonlinear Waves and Solitons被引用 10

一句话总结

本文确立了EPDiff方程的测度值解（如尖峰子、细丝和薄片）作为微分同胚群上H¹度量的测地线运动中的动量映射自然出现。关键贡献在于证明这些奇异解由动量映射生成，从而赋予其几何结构，并解释了其类似孤立子的行为以及碰撞中的可逆性。

ABSTRACT

We study the dynamics of measure-valued solutions of what we call the EPDiff equations, standing for the {\it Euler-Poincaré equations associated with the diffeomorphism group (of $\mathbb{R}^n$ or an $n$-dimensional manifold $M$)}. Our main focus will be on the case of quadratic Lagrangians; that is, on geodesic motion on the diffeomorphism group with respect to the right invariant Sobolev $H^1$ metric. The corresponding Euler-Poincaré (EP) equations are the EPDiff equations, which coincide with the averaged template matching equations (ATME) from computer vision and agree with the Camassa-Holm (CH) equations in one dimension. The corresponding equations for the volume preserving diffeomorphism group are the well-known LAE (Lagrangian averaged Euler) equations for incompressible fluids. We first show that the EPDiff equations are generated by a smooth vector field on the diffeomorphism group for sufficiently smooth solutions. This is analogous to known results for incompressible fluids--both the Euler equations and the LAE equations--and it shows that for sufficiently smooth solutions, the equations are well-posed for short time. In fact, numerical evidence suggests that, as time progresses, these smooth solutions break up into singular solutions which, at least in one dimension, exhibit soliton behavior. With regard to these non-smooth solutions, we study measure-valued solutions that generalize to higher dimensions the peakon solutions of the (CH) equation in one dimension. One of the main purposes of this paper is to show that many of the properties of these measure-valued solutions may be understood through the fact that their solution ansatz is a momentum map. Some additional geometry is also pointed out, for example, that this momentum map is one leg of a natural dual pair.

研究动机与目标

• 理解EPDiff方程奇异解的几何与动力学结构，特别是高维情形下的表现。
• 确立测度值解（如尖峰子、细丝、薄片）作为微分同胚群上测地流背景下动量映射的自然产物。
• 证明动量映射结构可解释奇异EPDiff解中类似孤立子的行为及碰撞的可逆性。
• 将已知的光滑解结果（在H^s空间中的适定性）通过动量映射形式化扩展至奇异的测度值解。
• 探索EPDiff奇异解与图像处理应用之间的联系，特别是模板匹配与形状动力学。

提出的方法

• 将EPDiff方程表述为配备右不变H¹度量的微分同胚群上的测地线运动。
• 利用欧拉-庞加莱理论，从向量场李代数上的拉格朗日量推导EPDiff方程。
• 识别微分同胚群作用于测度时所对应的动量映射，该映射生成奇异解。
• 证明动量映射是自然对偶对的一条腿，从而为解的结构提供几何洞察。
• 应用数值模拟（如拟谱有限差分法）观察奇异解的可逆碰撞与重新连接行为。
• 通过模板匹配将动量映射形式化与图像处理相联系，其中奇异解代表图像轮廓。

实验结果

研究问题

• RQ1 如何从几何原理系统地推导EPDiff方程的奇异解（如尖峰子、细丝、薄片）？
• RQ2 动量映射在生成与组织EPDiff方程测度值解中扮演何种角色？
• RQ3 为何EPDiff的奇异解表现出可逆碰撞？这与耗散流体激波有何不同？
• RQ4 动量映射形式化在多大程度上可推广至黎曼流形及其他对称群？
• RQ5 在使用EPDiff流进行模板匹配的应用中，动量映射结构如何保持图像保真度？

主要发现

• EPDiff方程由微分同胚群上的光滑向量场在H^s拓扑下生成，确保了光滑解的短时适定性。
• 如尖峰子、细丝、薄片等测度值解作为动量映射自然出现，为其奇异结构提供了几何起源。
• 动量映射结构解释了奇异解的类似孤立子行为及可逆碰撞，使其与耗散流体激波相区别。
• 数值模拟证实，奇异解的碰撞具有可逆性，尤其在追及构型下表现明显，而对头碰撞仅近似可逆。
• 动量映射形式化确保了图像轮廓的N-孤立子近似在EPDiff流下保持有效，从而在图像处理中维持保真度。
• 动量映射是自然对偶对的一条腿，揭示了EPDiff解空间中更深层的几何与辛结构。