[論文レビュー] Geodesic sprays and frozen metrics in rheonomic Lagrange manifolds

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

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

ひとこと要約

本稿では、野火の拡散のような時間に依存する現象を記述するための幾何的枠組みとして、時変的ラグランジュ多様体（rheonomic Lagrange manifolds）を導入する。波面に直交するハミルトンの光線—ハイゲンスの原理の核となるもの—が、時間に依存するラグランジアンのエネルギー前極小線に等価であることが示され、これらの光線に沿って時変的フィンスラー計量を固定することで、時間に依存しないフィンスラー計量が得られ、その測地線が元の系と同一の波面を再現することを示した。これにより、複雑な時間変動する系に対して解析的および数値的解法が可能になる。

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.

研究の動機と目的

• 時間的・空間的に変化する非等方的現象（野火の拡散など）を、時変的ラグランジュ多様体に基づく幾何的枠組みでモデル化すること。
• 時間に依存するフィンスラー計量におけるハミルトン直交性とエネルギー前極小線の間の同等性を確立すること。
• 時間関数を光線に沿って固定することで得られる「固定計量」（frozen metric）—時間に依存しないフィンスラー計量—の概念を導入し、その測地線が元の時間に依存する系と同一の波面を再現することを示すこと。
• 2次元の時間に依存するランダース空間にZermeloデータを適用し、明示的な解析的および数値的解法を提供することにより、非自明な例に応用して手法を提示すること。
• 2次元ランダース空間におけるリチャーズのPDE系と比較することで、フレームワークの妥当性を検証し、ハイゲンスのドロップレットの包絡線的挙動を示すこと。

提案手法

• 時間に依存するフィンスラー計量 F により表される非等方的かつ時間変動する伝播を記述する正則な時変的ラグランジュ多様体 (M, L) を定義する。ただし L = F² とする。
• エネルギー汎関数の第一変分から得られる2階常微分方程式系（エネルギー前極小線の方程式）を導出し、これが波面に直交する光線（ハミルトン直交性）に等価であることを示す。
• ハミルトン直交ネットから時間関数 t(p) を構成する。この関数は、波面が点 p に到達する時刻を割り当てる。
• 元のフィンスラー計量 F(t, p, V) に時間関数 t(p) を代入することで、時間に依存しないフィンスラー計量 F̂(p) を得る。これを「固定計量」と呼ぶ。
• 元のエネルギー前極小線が、固定計量 F̂ における測地線に一致することを示し、波面構造と直交性が保存されることを確認する。
• Zermeloデータを有する2次元ランダース空間にこの手法を適用し、前極小線方程式を解析的におよび数値的に解き、波面およびハイゲンスのドロップレットを可視化する。

実験結果

リサーチクエスチョン

• RQ1 時間に依存する非等方的伝播現象（野火の拡散など）を、Finsler計量を用いて幾何学的にどのようにモデル化できるか？
• RQ2 時変的ラグランジュ多様体における、光線のハミルトン直交性とエネルギー前極小線条件との間の明確な関係は何か？
• RQ3 光線に沿って時間に依存するFinsler計量を固定することで、元の時間に依存する系と同一の波面を再現する時間に依存しない計量が得られるか？
• RQ4 エネルギー前極小線の方程式の解は、2次元ランダース空間におけるリチャーズのPDE系とどのように比較できるか？
• RQ5 固定計量フレームワークにおけるハイゲンスのドロップレットは、期待どおりに外側の波面を包絡線的に囲むか？

主な発見

• 時間に依存するFinsler計量のエネルギー前極小線は、波面に直交する光線に等価であり、拡散プロセスの変分的特徴づけを提供する。
• ハミルトン直交ネットから導かれる時間関数 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）を有する2次元ランダース計量に対して、波面および光線の解析的解が得られ、空間的位置と時間に依存する方向依存性が明確に示された。
• 時間のみに依存する場合（θ=(t+5)/20）には、固定計量 F̂(u,v,x,y) = √(4x²+y²)/(2√(4+√(4u²+v²))) が得られ、元の解と比較して時間パラメータの再パラメトライゼーションがなされた測地線が得られた。
• 2つのZermeloデータセットに対する波面およびハイゲンスのドロップレットの数値シミュレーションにより、3.2単位の持続時間（0.2×16）のドロップレットが常にt=16における外側の波面を包み込むことが確認され、時間に依存する状況下でもハイゲンスの原理が正当化された。