[논문 리뷰] Wind Finslerian structures: from Zermelo's navigation to the causality of spacetimes

Erasmo Caponio, Miguel Ángel Javaloyes외 1명|arXiv (Cornell University)|2014. 07. 21.

Advanced Differential Geometry Research인용 수 7

한 줄 요약

이 논문은 지표가 원점을 포함하지 않을 수 있는 Finsler 및 Kropina 계량의 일반화인 바람 Finsler 기하 구조를 도입한다. 이는 시간에 독립적인 임의의 바람 조건 하에서 Zermelo의 항해 문제를 통합적으로 모델링하고, 비영인 킬링 벡터장을 가진 시공간(비영인 킬링 벡터장이 존재하는 시공간, SSTK 시공간)의 인과적 구조를 가능하게 한다. 주요 기여는 최적 제어(항해 문제)와 시공간 인과성 사이의 이중성으로, 이는 두 개의 쌍곡선 Finsler 계량 $F$와 $F_l$을 통해 실현되며, 이는 양쪽 맥락에서 인과적 미래, 수평선, 지오데식을 등각 불변적으로 기술할 수 있도록 한다.

ABSTRACT

The notion of wind Finslerian structure is developed; this is a generalization of Finsler metrics where the indicatrices at the tangent spaces may not contain the zero vector. In the particular case that these indicatrices are ellipsoids, called here wind Riemannian structures, they admit a double interpretation which provides: (a) a model for classical Zermelo's navigation problem even when the trajectories of the moving objects (planes, ships) are influenced by strong winds or streams, and (b) a natural description of the causal structure of relativistic spacetimes endowed with a non-vanishing Killing vector field (SSTK splittings), in terms of Finslerian elements. These elements can be regarded as conformally invariant Killing initial data on a partial Cauchy hypersurface. The wind Finslerian structure is described in terms of two (conic, pseudo) Finsler metrics, one with a convex indicatrix and the other with a concave one. However, the spacetime viewpoint for the wind Riemannian case gives a useful unified viewpoint. A thorough study of the causal properties of such a spacetime is carried out in Finslerian terms. Randers-Kropina metrics appear as the Finslerian counterpart to the case of an SSTK when the Killing vector field is either timelike or lightlike. Among the applications, we obtain the solution of Zermelo's navigation with arbitrary stationary wind, metric-type properties (distance-type arrival function, completeness, existence of minimizing, maximizing or closed geodesics), as well as description of spacetime elements (Cauchy developments, black hole horizons) in terms of Finslerian elements in Killing initial data. A general Fermat's principle of independent interest for arbitrary spacetimes, as well as its applications to SSTK spacetimes and Zermelo's navigation, are also provided.

연구 동기 및 목표

• 지표가 원점을 포함하지 않을 수 있도록 일반화된 Finsler 및 Kropina 계량을 허용함으로써, 비대칭적이고 바람 영향을 받는 동역학을 모델링할 수 있는 기하 구조인 바람 Finsler 기하 구조를 개발한다.
• 시간 방향 킬링 벡터장을 가진 시공간(SSTK 시공간)의 인과적 구조와 Zermelo 항해 문제 사이의 이중성을 수립한다.
• 킬링 초기 자료로 정의된 Cauchy 초표면 상의 Finsler 기하 대상들을 통해 시공간의 인과적 요소(예: Cauchy 발전, 수평선, 빛선 지오데식)를 묘사한다.
• 임의의 시공간으로의 Fermat 원리 일반화를 시도하고, 이를 SSTK 시공간과 Zermelo 항해 문제에 적용하여 극값 경로의 변분 특성화를 도출한다.
• 바람 리만 기하 구조와 Randers-Kropina 기하 구조에서 지오데식의 완전성, 최소화 또는 최대화 경로의 존재 여부를 완전히 기술한다.

제안 방법

• 벡터 공간 위에 두 개의 쌍곡선 Finsler 계량 $F$(볼록, 양의 동차성)와 $F_l$(내림세, 로렌츠 유사성)로 정의된 바람 민코프스키 기하 구조를 도입하고, 이에 대응하는 영역 $A$와 $A_l$을 정의한다.
• 다양체 위에 지역 바람 민코프스키 기하 구조의 합집합으로서 바람 Finsler 기하 구조를 정의하고, 이에 대응하는 바람 곡선, 바람 길이 $\ell_F$, 바람 구 $B^\pm_\Sigma$를 정의한다.
• 변분 원리에 기반한 $F$-허용 가능한 곡선 위에서 지오데식을 특성화하고, 도착 시간 함수수 $T$의 임계점으로서 최적화 전지오데식을 정의한다.
• 바람 지오데식과 쌍곡선 피에스포-핀슬러 계량 $F$ 및 $F_l$의 지오데식 사이의 연결 고리를 확립하여, 적절한 정칙성 조건 하에서 바람 지오데식이 $F$-지오데식과 일치함을 보인다.
• 임의의 시공간에 대해 일반화된 Fermat 원리를 구성하고, 극값 도착 곡선(최소화 또는 최대화 시간)이 관련된 로렌츠-핀슬러 구조에서 빛선 지오데식과 등가임을 증명한다.
• F와 $F_l$ 사이의 이중성으로 인해 Cauchy 초표면 상의 Finsler 기하 자료로부터 시공간의 인과적 성질(예: 연속적 순서, 전역 초월성)을 유도한다.

실험 결과

연구 질문

• RQ1 임의의 시간에 독립적인 바람 조건 하에서 Zermelo 항해 문제를 원점이 포함되지 않는 지표를 가진 Finsler 기하학으로 어떻게 재구성할 수 있는가?
• RQ2 바람 Finsler 기하 구조는 SSTK 시공간의 인과적 구조를 어떻게 등각 불변적으로 기술하는가?
• RQ3 바람 Finsler 기하 구조 $\Sigma$의 지오데식과 관련된 쌍곡선 Finsler 계량 $F$ 및 $F_l$의 지오데식 사이의 관계는 무엇인가?
• RQ4 Fermat 원리는 어떻게 임의의 시공간으로 일반화할 수 있으며, 이를 SSTK 시공간과 Zermelo 항해 문제에 어떻게 적용할 수 있는가?
• RQ5 바람 리만 기하 구조에서 최소화, 최대화 또는 폐쇄된 지오데식이 존재하는 조건는 무엇이며, 이들은 시공간 Cauchy 발전과 수평선과 어떻게 관련되는가?

주요 결과

• 바람 Finsler 기하 구조는 두 개의 쌍곡선 Finsler 계량으로 완전히 특성화된다: $F$(볼록, Finsler 유형)와 $F_l$(내림세, 로렌츠 유사 유형)이며, $F_l$은 SSTK 시공간의 인과적 구조를 캐릭터라이즈한다.
• 논문은 일반화된 Fermat 원리를 증명한다: Zermelo 항해 문제에서의 극값 도착 곡선과 SSTK 시공간에서의 빛선 지오데식은 $F$와 $F_l$의 이중성에 의해 등가임을 보인다.
• 바람 리만 기하 구조(타원형 지표)의 경우, 완전성, 최소화 및 최대화 지오데식의 존재 여부, 그리고 Hopf-Rinow 유사 성질을 확립한다.
• SSTK 시공간의 인과적 계층(연속적, 인과적, 비인과적)은 $F$와 관련된 분리 함수 $d_F$를 통해 특성화되며, Randers-Kropina 계량에 대해 연속성 및 정칙성 결과를 도출한다.
• 시공간의 Cauchy 발전과 $K$-수평선은 킬링 초기 자료로부터 유도된 Finsler 기하 대상으로 묘사되며, 이는 이러한 인과 경계의 새로운 기하적 해석을 제공한다.
• 논문은 $F$-거리 함수를 기반으로 전역 초월성에 대한 날카운 기준을 제시하고, 적절한 정칙성 조건 하에서 Randers-Kropina 분리 함수의 미분 가능성도 확립한다.