[논문 리뷰] Causal geometries and third-order ordinary differential equations

Jonathan Holland, George Sparling|arXiv (Cornell University)|2010. 01. 01.

Geometric Analysis and Curvature Flows참고 문헌 20인용 수 4

한 줄 요약

이 논문은 Wünschmann 불변량이 0이 아닌 경우, 제3형 미분방정식(3rd-ODEs)의 해 공간을술술 기하학적 구조가 부족했던 이전 사례를 기하학적으로 기술하기 위해 인과 기하학(causal geometry)의 개념을 도입한다. Wünschmann 불변량이 해 공간의 사영 쌍대접선다발 내의 극선(curve)의 사영 곡률과 대응됨을 보이며, 라그랑지안 및 해밀토니안 프레임워크에서 타원형 데그레지드(비가역) 민코프스키 계량을 구성한다. 이러한 계량이 제3형 미분방정식으로부터 유도될 수 있는 필요 및 충분 조건을 제시한다.

ABSTRACT

We discuss contact invariant structures on the space of solutions of a third-order ordinary differential equation. Associated to any third-order differential equation modulo contact transformations, Chern introduced a degenerate conformal Lorentzian metric on the space of 2-jets of functions of one variable. When the Wuenschmann invariant vanishes, the degenerate metric descends to a proper conformal Lorentzian metric on the space of solutions. In the general case, when the Wuenschmann invariant is not zero, we define the notion of a causal geometry, and show that the space of solutions supports one. The Wuenschmann invariant is then related to the projective curvature of the indicatrix curve cut out by the causal geometry in the projective tangent space. When the Wuenschmann vanishes, the causal structure is then precisely the sheaf of null geodesics of the Chern conformal structure. We then introduce a Lagrangian and associated Hamiltonian from which the degenerate conformal Lorentzian metric are constructed. Finally, necessary and sufficient conditions are given for a rank three degenerate conformal Lorentzian metric in four dimensions to correspond to a third-order differential equation.

연구 동기 및 목표

• Wünschmann 불변량이 0이 아닌 경우, 기존에 호환 민코프스키 계량이 없는 제3형 ODE의 기하학적 구조의 빈도를 메우기 위해.
• Wünschmann 불변량이 0인 경우의 영점 기하학을 일반화하는 새로운 기하학적 구조—인과 기하학—을 정의하기 위해.
• Wünschmann 불변량이 해 공간의 사영 접선공간 내의 지표곡선(indicatrix curve)의 사영 곡률과 일치함을 보여주기 위해.
• 라그랑지안 및 해밀토니안 설정에서 타원형 데그레지드 호환 민코프스키 계량을 유도하기 위해.
• 4차원에서 랭크 3의 타원형 데그레지드 호환 민코프스키 계량이 제3형 미분방정식으로부터 기인할 수 있는 필요 및 충분 조건을 제공하기 위해.

제안 방법

• 해 공간 내에서 쌍대 곡선의 집합으로서 인과 기하학을 셰이프(hereditary)로 도입하며, 포함관계를 통해 공리화한다.
• 데그레지드 호환 구조에서 해 공간의 사영 쌍대접선다발 내의 극선(curve)을 구성한다.
• Wünschmann 불변량을 이 극선의 사영 곡률로 정의한다.
• 라그랑지안 및 관련 해밀토니안에서 타원형 데그레지드 호환 민코프스키 계량을 도출하며, 계량은 해밀토니안의 헤시안에서 유도된다.
• 해결책을 결정하는 행렬계의 랭크를 분석하기 위해 선형방정식계 (17)를 사용하며, 랭크에 따라 경우를 구분한다.
• 제3형 미분방정식으로부터 유도되는 계량의 경우 랭크 1(비영인 Wünschmann)과 랭크 5(비영인 Wünschmann)만 가능하며, 모순과 미분 제약 조건을 통해 중간 랭크를 배제함을 증명한다.

실험 결과

연구 질문

• RQ1 Wünschmann 불변량이 0이 아닌 경우, 제3형 ODE의 해 공간에 기반한 기하학적 구조는 무엇이며, 어떻게 공리화할 수 있는가?
• RQ2 Wünschmann 불변량은 해 공간의 사영 접선공간 내 지표곡선의 사영 곡률과 어떻게 관련되어 있는가?
• RQ3 제3형 ODE와 관련된 타원형 데그레지드 호환 민코프스키 계량은 라그랑지안 및 해밀토니안을 통해 변분 원리로부터 도출될 수 있는가?
• RQ4 시스템 (17)의 중간 랭크(2, 3, 4)는 왜 유효한 인과 곡선을 유도하지 못하며, 어떤 제약 조건이 이를 방지하는가?
• RQ5 4차원에서 랭크 3의 타원형 데그레지드 호환 민코프스키 계량이 제3형 미분방정식으로부터 기인할 수 있는 필요 및 충분 조건은 무엇인가?

주요 결과

• Wünschmann 불변량은 정확히 해 공간의 사영 쌍대접선다발 내 극선의 사영 곡률과 일치한다.
• Wünschmann 불변량이 0일 경우, 인과 기하학은 찬의 호환 구조의 영점 기하학(Null geodesics)으로 축소된다.
• 해 공간에 존재하는 타원형 데그레지드 호환 민코프스키 계량은 라그랑지안 및 해밀토니안 설정에서 자연스럽게 도출되며, 계량은 해밀토니안의 헤시안에서 유도된다.
• 제3형 ODE로부터 기인하는 계량의 경우, 해 공간을 지배하는 시스템 (17)의 랭크는 반드시 1(Wünschmann 0) 또는 5(Wünschmann 비영)여야 하며, 중간 랭크는 배제된다.
• 극선의 해 공간은 중간 경우에 사영 점 또는 직선으로만 매개변수화될 수 있으며, 이는 기하학적 불일치와 타당성 결여를 암시한다.
• 해 공간 내 포함관계 곡선의 공간은 자연스럽게 1차 제트 공간 $J^1$과 대응되며, 해 곡선과 1차 정보 사이의 기하학적 연결 고리를 확립한다.