[논문 리뷰] Contact geometry of multidimensional Monge-Ampère equations: characteristics, intermediate integrals and solutions

Dmitri V. Alekseevsky, Ricardo J. Alonso-Blanco외 2명|arXiv (Cornell University)|2010. 03. 26.

Geometry and complex manifolds인용 수 4

한 줄 요약

이 논문은 다차원 몽주-아프레 방정식(Monge-Ampère equations, MAEs)에 대한 접촉 기하학적 프레임워크를 개발하며, 접촉 분포의 부분분포를 통해 그 특성과 중간 적분을 특성화한다. Goursat 유형의 MAEs에 대한 국소적 접촉 등가성 기준을 수립하고, 중간 적분을 활용한 일반화된 몽주 방법을 통해 초기값 문제를 해결함으로써 해를 해석적으로 유도한다. 이는 해밀턴 흐름을 통한 해의 전파를 통해 실현된다.

ABSTRACT

We study the geometry of multidimensional scalar $2^{nd}$ order PDEs (i.e. PDEs with $n$ independent variables) with one unknown function, viewed as hypersurfaces $\mathcal{E}$ in the Lagrangian Grassmann bundle $M^{(1)}$ over a $(2n+1)$-dimensional contact manifold $(M,\mathcal{C})$. We develop the theory of characteristics of the equation $\mathcal{E}$ in terms of contact geometry and of the geometry of Lagrangian Grassmannian and study their relationship with intermediate integrals of $\mathcal{E}$. After specifying the results to general Monge-Ampère equations (MAEs), we focus our attention to MAEs of type introduced by Goursat, i.e. MAEs of the form $$ \det|\frac{\partial^2 f}{\partial x^i\partial x^j}-b_{ij}(x,f, abla f)\|=0. $$ We show that any MAE of the aforementioned class is associated with an $n$-dimensional subdistribution $\mathcal{D}$ of the contact distribution $\mathcal{C}$, and viceversa. We characterize this Goursat-type equations together with its intermediate integrals in terms of their characteristics and give a criterion of local contact equivalence. Finally, we develop a method of solutions of a Cauchy problem, provided the existence of a suitable number of intermediate integrals.

연구 동기 및 목표

• 두 번째 차수의 다차원 비선형 편미분방정식, 특히 몽주-아프레 방정식(Monge-Ampère equations)에 대한 접촉 기하학적 이론을 개발하기 위해 그 특성과 중간 적분을 분석한다.
• 접촉 분포의 관련 n차원 부분분포를 통해 Goursat 유형의 MAEs를 특성화한다.
• 기하학적 불변량을 바탕으로 이러한 MAEs 간의 국소적 접촉 등가성 기준을 수립한다.
• 중간 적분과 해밀턴 흐름을 활용하여 고전적 몽주 방법을 일반화하여 MAEs의 초기값 문제를 해결한다.
• 충분한 수의 중간 적분이 존재할 경우, 초기값 문제를 구축적으로 해결할 수 있는 방법을 제공하며, 이는 국소적으로 유일한 해를 보장한다.

제안 방법

• 저자들은 (2n+1)차원의 접촉 다양체 위에서 라그랑주 그라스만 껍질에 대한 초곡면으로서 두 번째 차수의 PDE를 모델링하고, 접촉 기하학을 사용하여 그 구조를 분석한다.
• 라그랑주 그라스만다이어그램의 기하학을 이용해 PDE의 특성 원뿔과 동형도 메트릭을 정의하고, 이를 중간 적분과 연결한다.
• Goursat 유형의 MAEs에 대해, 각 방정식은 접촉 분포 C의 n차원 부분분포 D와 연관되며, 반대로도 성립함을 보여 이중성 관계를 수립한다.
• 일반화된 몽주 방법은 중간 적분 φ(x^i, p_i)와 φ(overline{x}^i, overline{p}_i)를 구성함으로써 구현되며, 이를 통해 정적분 곡선을 통해 초기 데이터를 전파하는 해밀턴 벡터장이 유도된다.
• 해는 중간 적분과 관련된 해밀턴 벡터장을 적분하고, 첫 번째 적분을 사용하여 변수를 제거하고 해의 표면을 재구성함으로써 구성된다.
• 첫 번째 적분 간의 관계를 이용해 좌표를 제거함으로써 명시적 해 공식을 유도하였으며, 2차원 예시에서는 z = x^1 e^{x^2} + e^{x^1 + overline{x}^1} - x^1 overline{x}^2로 표현된다.

실험 결과

연구 질문

• RQ1 다차원 몽주-아프레 방정식의 특성을 접촉 기하학과 라그랑주 그라스만다이어그램을 통해 어떻게 기술할 수 있는가?
• RQ2 두 번째 차수의 PDE의 특성적 구조와 중간 적분 간의 기하학적 관계는 무엇인가?
• RQ3 Goursat 유형의 몽주-아프레 방정식은 접촉 분포의 부분분포를 통해 어떻게 특성화될 수 있는가?
• RQ4 두 MAEs 간의 국소적 접촉 등가성을 보장하는 기준은 무엇인가?
• RQ5 일반화된 몽주 방법이 다차원 MAE의 초기값 문제를 해결할 수 있는 조건은 무엇인가?

주요 결과

• 모든 Goursat 유형의 몽주-아프레 방정식은 접촉 분포 C의 n차원 부분분포 D와 관련된 표준형과 국소적으로 접촉 등가적이다.
• 이러한 MAEs의 중간 적분은 φ(x^1,…,x^k,p_1,…,p_k) 및 φ(overline{x}^1,…,overline{x}^k,overline{p}_1,…,overline{p}_k)의 형태를 가지며, 여기서 k = n/2이다.
• 충분한 수의 중간 적분이 존재할 경우, 일반화된 몽주 방법은 고유한 국소적 해를 성공적으로 구성한다. 이는 해밀턴 벡터장의 명시적 적분을 통해 입증되었다.
• 예시 MAE det(∂²z/∂overline{x}^i ∂x^j) = 0의 해는 z = x^1 e^{x^2} + e^{x^1 + overline{x}^1} - x^1 overline{x}^2로, 중간 적분의 해밀턴 흐름을 따라 전파된 방식으로 도출되었다.
• 이 방법은 해밀턴 벡터장의 여덟 개의 첫 번째 적분 중 다섯 개인 독립적인 관계를 식별함으로써 변수를 제거하고 해의 표면을 재구성하는 데 의존한다.
• 중간 적분의 존재는 PDE의 형식적 적분 가능성과 비특성 초기 데이터가 국소적으로 고유하게 확장되어 해가 유일하게 존재함을 보장한다.