[论文解读] Optimal Control of Ideal Fluids by Metamorphosis

Darryl D. Holm|arXiv (Cornell University)|Apr 28, 2009

Elasticity and Material Modeling被引用 1

一句话总结

本文证明了图像配准中的形变框架在无需拉格朗日粒子遵循欧拉流线的情况下，可导出不可压缩理想流体的欧拉方程。关键洞见在于流体压力的规范自由度与重标记对称性，这统一了最优控制与优化公式在相同流体动力学框架下的结果，并在SO(N)刚体运动中得到类似结果。

ABSTRACT

An optimization method used in image-processing (metamorphosis) is found to imply Euler's equations for incompressible flow of an inviscid fluid, without requiring that the Lagrangian particle labels exactly follow the flow lines of the Eulerian velocity vector field. Thus, an optimal control problem and an optimization problem for incompressible ideal fluid flow both yield the \emph {same} Euler fluid equations, although their Lagrangian parcel dynamics are \emph{different}. This is a result of the \emph{gauge freedom} in the definition of the fluid pressure for an incompressible flow, in combination with the symmetry of fluid dynamics under relabeling of their Lagrangian coordinates. Similar ideas are also illustrated for SO(N) rigid body motion.

研究动机与目标

• 探索图像配准形变与流体动力学之间的联系。
• 研究流体流动的最优控制与形变优化是否产生相同的运动方程。
• 阐明流体压力的规范自由度与重标记对称性在统一不同流体动力学公式中的作用。
• 将分析扩展至SO(N)刚体运动，作为相关系统。

提出的方法

• 将图像处理中的形变框架适配至流体动力学，将流体微元视为具有形变与速度的演化实体。
• 在形变设定下，通过变分原理推导欧拉方程，且不强制要求粒子轨迹与欧拉速度场一致。
• 利用流体压力中的规范自由度，证明不同变分公式的等价性。
• 通过拉格朗日坐标重标记下的对称性原理，证明所得流体方程的不变性。
• 将形式化方法扩展至SO(N)刚体运动，以说明其更广泛的应用性。

实验结果

研究问题

• RQ1 图像配准中的形变框架能否生成不可压缩理想流体的欧拉方程？
• RQ2 为何最优控制与形变优化在拉格朗日动力学不同的情况下仍产生相同的流体方程？
• RQ3 流体压力的规范自由度在实现这种等价性中起什么作用？
• RQ4 拉格朗日坐标重标记对称性如何影响所得流体动力学？
• RQ5 该统一原理是否适用于其他力学系统，如刚体运动？

主要发现

• 即使拉格朗日粒子不遵循欧拉流线，形变框架仍能生成不可压缩理想流体的欧拉方程。
• 最优控制与优化公式的等价性源于流体压力的规范自由度与重标记对称性。
• 流体动力学与SO(N)刚体运动具有相同的数学结构，表明存在更普遍的原理。
• 不可压缩流体流动中的压力并非由速度场唯一确定，允许多种一致的公式化形式。
• 结果揭示了通过变分原理与对称性，图像配准与流体力学之间存在深刻联系。