[논문 리뷰] Geodesic sprays and frozen metrics in rheonomic Lagrange manifolds

Steen Markvorsen|arXiv (Cornell University)|2017. 08. 24.

Advanced Differential Geometry Research참고 문헌 6인용 수 5

한 줄 요약

이 논문은 레오노믹 라그랑주 다양체를 사용하여 시간에 따라 변화하는 현상, 예를 들어 wildfulre 확산을 기하학적으로 모델링하기 위한 기하 프레임워크를 제안한다. 해밀턴 수직 광선—휴이건스 원리의 핵심—이 시간에 따라 변화하는 라그랑주 함수의 에너지 사전극소선과 동치임을 입증하고, 이러한 광선을 따라 시간에 따라 변화하는 학프레르 메트릭을 동결함으로써 시간에 의존하지 않는 학프레르 메트릭을 얻을 수 있음을 보여주며, 이 메트릭의 지오데식선이 동일한 波front를 재현함으로써 복잡한 시간에 따라 변화하는 시스템에 대한 해석적 및 수치적 해법을 가능하게 한다.

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.

연구 동기 및 목표

• 시간에 따라 변화하고 비등방적인 현상, 예를 들어 wildfulre 확산을 레오노믹 라그랑주 다양체 기반의 기하 프레임워크로 모델링하기 위해.
• 시간에 따라 변화하는 학프레르 메트릭에서 해밀턴 수직성과 에너지 사전극소선 광선 간의 동치성을 확립하기 위해.
• 시간에 따라 변화하는 학프레르 메트릭을 광선의 각 점에서 동결하여 시간에 의존하지 않는 학프레르 메트릭을 유도하는 '동결 메트릭' 개념을 제안하고, 이 메트릭의 지오데식선이 원래 시간에 따라 변화하는 시스템과 동일한 波front를 재현함을 보여주기 위해.
• 2차원 시간에 따라 변화하는 랜더스 공간에 대해 명시적인 해석적 및 수치적 해법을 제공하여 비정상적인 예시에 적용된 방법을 시각화하기 위해.
• 2차원 랜더스 공간에서 리처즈의 PDE 시스템과 결과를 비교하여 프레임워크를 검증하고, 휘건스의 물방울이 외부 波front를 어떻게 둘러싸는지 검증하기 위해.

제안 방법

• L = F²인 정칙 레오노믹 라그랑주 다양체 (M, L)를 정의하며, 여기서 F는 비등방적이고 시간에 따라 변화하는 전파를 나타내는 시간에 따라 변화하는 학프레르 메트릭이다.
• 에너지 기능의 일阶 변분으로부터 두 번째 차수의 미분방정식 시스템인 에너지 사전극소선 방정식을 유도하며, 이는 광선이 波front에 대해 해밀턴 수직임과 동치이다.
• 해밀턴 수직 네트워크에서 시간 함수 t(p)를 구성하며, 이는 각 점 p에 대해 파면이 도달하는 시간을 할당한다.
• 원래의 학프레르 메트릭 F(t, p, V)에 시간 함수 t(p)를 대입하여 시간에 의존하지 않는 학프레르 메트릭인 '동결 메트릭' F̂(p)을 구성한다.
• 원래의 에너지 사전극소선 광선이 동결 메트릭에서 F̂-지오데식선이 되며, 파면의 구조와 수직성을 유지함을 보여준다.
• 이 방법을 Zermelo 자료를 가진 2차원 랜더스 공간에 적용하여 사전극소선 방정식을 해석적으로 및 수치적으로 풀고, 파면과 휘건스의 물방울을 시각화한다.

실험 결과

연구 질문

• RQ1 시간에 따라 변화하고 비등방적인 전파 현상, 예를 들어 wildfulre 확산은 학프레르 메트릭을 통해 어떻게 기하학적으로 모델링할 수 있는가?
• RQ2 레오노믹 라그랑주 다양체에서 광선의 해밀턴 수직성과 파면에 대한 에너지 사전극소선 조건 사이의 정확한 관계는 무엇인가?
• RQ3 시간에 따라 변화하는 학프레르 메트릭을 광선의 각 점에서 동결하여 시간에 의존하지 않는 메트릭을 얻을 수 있으며, 그 지오데식선이 원래 시간에 따라 변화하는 시스템과 동일한 파면을 재현할 수 있는가?
• RQ4 에너지 사전극소선 방정식의 해는 2차원 랜더스 공간에서 리처즈의 PDE 시스템과 어떻게 비교되는가?
• RQ5 동결된 메트릭 프레임워크에서 휘건스의 물방울은 기대하는 바와 같이 외부 파면을 정확히 둘러싸는가?

주요 결과

• 시간에 따라 변화하는 학프레르 메트릭의 에너지 사전극소선 광선은 파면에 대해 해밀턴 수직인 광선과 동치이며, 이는 확산 과정의 변분적 특성화를 제공한다.
• 해밀턴 수직 네트워크에서 유도된 시간 함수 t(p)를 통해 동결된 학프레르 메트릭 F̂(p) = F(t(p), p, V)를 구성할 수 있으며, 이는 시간에 의존하지 않고 파면의 구조를 유지한다.
• 동결된 메트릭에서 원래의 에너지 사전극소선 광선은 표준 학프레르 지오데식선이 되며, 이는 분석 및 계산에 고전적 지오데식 이론을 적용할 수 있게 한다.
• 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²)))를 얻었으며, 원래 해와 비교해 시간에 따라 재매개변수화된 지오데식선을 얻었다.
• 두 개의 Zermelo 자료 세트에 대해 파면과 휘건스의 물방울에 대한 수치 시뮬레이션을 수행한 결과, 지속 시간 3.2 단위(0.2×16)의 물방울이 항상 t=16에서 외부 파면을 둘러싸는 것으로 확인되어, 시간에 따라 변화하는 상황에서도 휘건스 원리가 올바르게 적용됨을 검증하였다.