[论文解读] Geodesic sprays and frozen metrics in rheonomic Lagrange manifolds

Steen Markvorsen|arXiv (Cornell University)|Aug 24, 2017

Advanced Differential Geometry Research参考文献 6被引用 5

一句话总结

本文提出了一种基于时变Finsler度量的几何框架，用于建模野火蔓延等时变现象。研究证明，Huygens原理中的关键要素——Hamilton正交射线——等价于时变拉格朗日量的能量预极值射线，并表明在这些射线上固定时间函数，可得到一个时间不变的Finsler度量，其测地线能重现原始波前，从而为复杂时变系统提供解析与数值解法。

ABSTRACT

We define systems of pre-extremals for the energy functional of regular rheonomic Lagrange manifolds and show how they induce well-defined Hamilton orthogonal nets. Such nets have applications in the modelling of e.g. wildfire spread under time- and space-dependent conditions. The time function inherited from such a Hamilton net induces in turn a time-independent Finsler metric - we call it the associated frozen metric. It is simply obtained by inserting the time function from the net into the given Lagrangean. The energy pre-extremals then become ordinary Finsler geodesics of the frozen metric and the Hamilton orthogonality property is preserved during the freeze. We compare our results with previous findings of G. W. Richards concerning his application of Huyghens' principle to establish the PDE system for Hamilton orthogonal nets in 2D Randers spaces and also concerning his explicit spray solutions for time-only dependent Randers spaces. We analyze examples of time-dependent 2D Randers spaces with simple, yet non-trivial, Zermelo data; we obtain analytic and numerical solutions to their respective energy pre-extremal equations; and we display details of the resulting (frozen) Hamilton orthogonal nets.

研究动机与目标

• 基于时变拉格朗日流形的几何框架，建模非各向同性、时空依赖的传播现象，如野火蔓延。
• 建立时变Finsler度量中，波前与Hamilton正交射线之间的等价关系，即能量预极值射线。
• 提出“冻结度量”概念——通过在射线上固定时间函数，将时变Finsler度量转化为时间不变度量，其测地线可重现原始系统的波前。
• 针对具有Zermelo数据的二维时变Randers空间，提供显式解析与数值解法，并通过非平凡实例说明方法有效性。
• 通过与二维Randers空间中Richards的PDE系统对比，验证该框架，并展示Huygens波滴的包络行为。

提出的方法

• 定义一个正则时变拉格朗日流形(M, L)，其中L = F²，F为表示各向异性、时变传播的时变Finsler度量。
• 通过能量泛函的一阶变分，推导出能量预极值方程组，其为二阶常微分方程组，等价于射线与波前的Hamilton正交性。
• 从Hamilton正交网构造时间函数t(p)，为每个点p赋予波前到达该点的时间。
• 通过将时间函数t(p)代入原始Finsler度量F(t, p, V)，构造“冻结度量”F̂(p)，得到一个时间不变的Finsler度量。
• 证明原始能量预极值射线在冻结度量下成为F̂-测地线，保持波前结构与正交性。
• 将该方法应用于具有Zermelo数据的二维Randers空间，解析与数值求解预极值方程，并可视化波前与Huygens波滴。

实验结果

研究问题

• RQ1 如何利用Finsler度量的几何框架，对野火蔓延等时变、各向异性传播现象进行建模？
• RQ2 在时变拉格朗日流形中，射线与波前的Hamilton正交性与能量预极值条件之间的确切关系为何？
• RQ3 能否在射线上各点冻结时变Finsler度量，以获得一个时间不变度量，其测地线可重现原始系统的波前？
• RQ4 能量预极值方程的解与二维Randers空间中Richards的PDE系统相比有何异同？
• RQ5 在冻结度量框架中，Huygens波滴是否如Huygens原理所预期的那样，正确包络最外层波前？

主要发现

• 时变Finsler度量的能量预极值射线等价于与波前呈Hamilton正交的射线，为传播过程提供了变分表征。
• 由Hamilton正交网导出的时间函数t(p)可构造冻结Finsler度量F̂(p) = F(t(p), p, V)，其为时间不变度量，并保持波前结构。
• 在冻结度量中，原始能量预极值射线成为标准Finsler测地线，从而可应用经典测地线理论进行分析与计算。
• 对于具有Zermelo数据（a=1, b=2+t/5, C=0, θ=(t+5+u−v)/20）的二维Randers度量，推导出波前与射线的解析解，显示其方向依赖于空间位置与时间。
• 对于仅与时间相关的特殊情况（θ=(t+5)/20），获得冻结度量F̂(u,v,x,y) = √(4x²+y²)/(2√(4+√(4u²+v²)))，其测地线在时间参数化上与原始解不同。
• 针对两组Zermelo数据的波前与Huygens波滴的数值模拟表明，持续3.2单位时间（0.2×16）的波滴在t=16时始终包络最外层波前，验证了时变情形下Huygens原理的有效性。