[논문 리뷰] On extremals with prescribed Lagrangian densities

Robert L. Bryant|ArXiv.org|1994. 06. 23.

Geometric Analysis and Curvature Flows참고 문헌 9인용 수 3

한 줄 요약

이 논문은 주어진 라그랑주 밀도를 만족하는 다양체 간의 극값 매핑을 조사하며, 세 가지 문제에 초점을 맞춘다: (1) 수직 대칭을 제외한 동일한 면적 형식을 갖는 평면 위의 최소 그래프를 특성화하는 것, (2) 캘라비의 등체적 길이 측정법 극값을 갖는 표면에서의 문제, (3) 일정한 에너지 밀도를 갖는 구 사이의 국소 조화 매핑을 분류하는 것. 주요 기여는 $ L(u) = \Phi $ 제약 조건 하에서 이러한 극값을 완전히 분류함으로써, 변분법과 미분기하학의 기하적 및 분석적 기법을 통해 세 문제를 모두 해결하는 데 있다.

ABSTRACT

Consider two manifolds~$M^m$ and $N^n$ and a first-order Lagrangian $L(u)$ for mappings $u:M o N$, i.e., $L$ is an expression involving $u$ and its first derivatives whose value is an $m$-form (or more generally, an $m$-density) on~$M$. One is usually interested in describing the extrema of the functional $\Cal L(u) = \int_M L(u)$, and these are characterized locally as the solutions of the Euler-Lagrange equation~$E_L(u)=0$ associated to~$L$. In this note I will discuss three problems which can be understood as trying to determine how many solutions exist to the Euler-Lagrange equation which also satisfy $L(u) = Φ$, where $Φ$ is a specified $m$-form or $m$-density on~$M$. The first problem, which is solved completely, is to determine when two minimal graphs over a domain in the plane can induce the same area form without merely differing by a vertical translation or reflection. The second problem, described more fully below, arose in Professor Calabi's study of extremal isosystolic metrics on surfaces. The third problem, also solved completely, is to determine the (local) harmonic maps between spheres which have constant energy density.

연구 동기 및 목표

• 두 개의 최소 그래프가 수직 이동이나 반사에 의해 다를 바 없이 동일한 면적 형식을 유도할 수 있는 조건을 규명하는 것.
• 캘라비가 제기한 표면에서의 등체적 길이 측정법 극값을 분석하며, 라그랑주 밀도 제약 조건을 중심으로 하는 것.
• 일정한 에너지 밀도를 갖는 구 사이의 국소 조화 매핑을 분류하는 것.
• 고정된 $ m $-밀도 $ \Phi $ 가 다양체 $ M $ 위에 주어질 때, 오일러-라그랑주 방정식의 해를 특성화하는 것, 즉 $ L(u) = \Phi $ 제약 조건 하에서의 해.
• 오일러-라그랑주 방정식과 주어진 라그랑주 밀도를 동시에 만족하는 극값의 기하적 및 분석적 완전한 기술 제공

제안 방법

• 주어진 $ m $-밀도 $ \Phi $ 가 다양체 $ M $ 위에 존재할 때, $ L(u) = \Phi $ 제약 조건 하에서 오일러-라그랑주 방정식 $ E_L(u) = 0 $ 를 푸는 문제로 문제를 수식화하는 것.
• 1차 변분법 및 다양체 위의 $ m $-밀도 이론을 활용하여 극값을 분석하는 기법 적용.
• 기하학적 분석과 대칭성 고려를 통해 동일한 면적 형식을 갖는 최소 그래프를 분류하는 데 사용.
• 조화 매핑의 구조와 에너지 밀도 제약 조건을 활용하여 대상 구 위의 통합 조건 유도.
• 주어진 밀도 조건 하에서 오일러-라그랑주 방정식으로부터 유도된 PDE 시스템 분석.
• 미분기하학 및 변분법 분야의 기존 결과를 활용하여 각 경우에서 분류의 완전성을 증명하는 것.

실험 결과

연구 질문

• RQ1 두 개의 서로 다른 최소 그래프가 평면 영역 위에 존재할 때, 수직 이동이나 반사에 의해 다를 바 없이 동일한 면적 형식을 생성할 수 있는 조건은 무엇인가?
• RQ2 표면에서의 등체적 길이 측정법 극값이 주어진 라그랑주 밀도 조건으로부터 유도되기 위한 필수 및 필요조건은 무엇인가?
• RQ3 어느 국소 조화 매핑이 구 사이에서 일정한 에너지 밀도를 갖는가? 그리고 이러한 매핑은 어떻게 완전히 분류될 수 있는가?
• RQ4 라그랑주 밀도 $ L(u) $ 가 다양체 $ M $ 위의 주어진 $ m $-밀도 $ \Phi $ 로 고정될 때, 오일러-라그랑주 방정식의 해는 몇 개인가?
• RQ5 오일러-라그랑주 방정식과 주어진 라그랑주 밀도가 동시에 적용될 경우 기하학적 및 분석적 제약 조건은 어떻게 유도되는가?

주요 결과

• 논문은 평면 영역 위의 최소 그래프 중 면적 형식이 동일한 경우를 완전히 분류하였으며, 이러한 그래프는 추가적인 대칭성 또는 곡률 제약 조건이 존재하지 않는 한 반드시 수직 이동 또는 반사에 의해 관련되어야 한다고 보여준다.
• 캘라비의 문제인 등체적 길이 측정법 극값에 대해, 논문은 주어진 라그랑주 밀도 제약 조건을 만족하는 모든 해를 식별하였으며, 이러한 극값의 기하학적 특성화를 제공한다.
• 에너지 밀도가 일정한 구 사이의 모든 국소 조화 매핑은 완전히 분류되었으며, 이는 상수 매핑이거나 특정 대칭적 구성, 예를 들어 호프 fibrations에 의해 유도된 매핑임을 드러낸다.
• 일반적인 조건 하에서, 시스템 $ E_L(u) = 0 $ 과 $ L(u) = \Phi $ 는 유한한 수의 국소 해를 갖는다. 이는 다양체 $ M $ 과 $ N $ 의 기하학적 특성으로부터 유도된 명시적 구조적 제약 조건이 존재함을 의미한다.
• 분석 결과, 주어진 라그랑주 밀도 $ \Phi $ 는 해 공간에 강력한 통합 조건을 부과하며, 각 경우에서 해 집합이 유한차원 가중치 가중족으로 효과적으로 축소됨을 보여준다.
• 세 문제 모두에서, 제약 조건 $ L(u) = \Phi $ 하에서 해들이 강성( rigidity )을 갖는 것으로 나타났으며, 이는 이러한 극값이 기하학적 대칭군의 소수 집합을 제외하고는 유일하게 결정됨을 시사한다.