[논문 리뷰] Dirichlet Duality and the Nonlinear Dirichlet Problem on Riemannian Manifolds

F. Reese Harvey, H. Blaine Lawson|arXiv (Cornell University)|2009. 07. 13.

Geometry and complex manifolds인용 수 24

한 줄 요약

이 논문은 2차 미분군의 하위방정식 기반 기하 구조와 Dirichlet 쌍대성의 도입을 통해 리만 다양체 위의 비선형 딜리클레 문제에 대한 존재성 및 유일성 정리를 수립한다. 엄격한 F-볼록성의 경계와 전역 단조성 원뿔의 존재는 모든 연속 경계 데이터에 대해 유일한 해를 보장하며, 유클리드 공간의 결과를 G-구조를 갖는 다양체, 즉 복소 및 퀼러터니언 설정으로 일반화한다.

ABSTRACT

In this paper we study the Dirichlet problem for fully nonlinear second-order equations on a riemannian manifold. As in a previous paper we define equations via closed subsets of the 2-jet bundle. Basic existence and uniqueness theorems are established in a wide variety of settings. However, the emphasis is on starting with a constant coefficient equation as a model, which then universally determines an equation on every riemannian manifold which is equipped with a topological reduction of the structure group to the invariance group of the model. For example, this covers all branches of the homogeneous complex Monge-Ampere equation on an almost complex hermitian manifold X. In general, for an equation F on a manifold X and a smooth domain D in X, we give geometric conditions which imply that the Dirichlet problem on D is uniquely solvable for all continuous boundary functions. We begin by introducing a weakened form of comparison which has the advantage that local implies global. We then associate to F two natural "conical subequations": a monotonicity subequation M and the asymptotic interior of F. If X carries a global M-subharmonic function, then weak comparison implies full comparison. The asymptotic interior of F is used to formulate boundary convexity and provide barriers. In combination the Dirichlet problem becomes uniquely solvable as claimed. A considerable portion of the paper is concerned with specific examples. They include a wide variety of equations which make sense on any riemannian manifold, and many which hold universally on almost complex or quaternionic hermitian manifolds, or topologically calibrated manifolds.

연구 동기 및 목표

• 유계 영역에서의 완전 비선형 2차 미분방정식에 대한 딜리클레 문제 이론을 유클리드 공간에서 일반 리만 다양체로 확장한다.
• 도메인의 경계와 다양체의 구조군에 대한 기하 조건 하에서 해의 존재성과 유일성을 확립한다.
• 하위방정식과 쌍대성의 개념을 다양체 위의 2차 미분군으로 일반화하여 비균일 및 기하학적으로 정의된 방정식을 다룰 수 있도록 한다.
• 단조성 원뿔과 경계 F-볼록성의 개념을 도입하고 적용하여 전반적인 비교 원리와 장벽 구성이 가능하도록 한다.
• 결과가 거의 복소, 퀄터니언, 그리고 위상적으로 캘리브레이션된 다양체에 대해 일반적으로 적용되며, 복소 몽체-암페르 및 칼라비-유타 타입 방정식을 포함한다.

제안 방법

• 닫힌 부분집합으로서의 2차 미분군 J²(X)에 대한 하위방정식 F ⊂ J²(X)를 정의하며, 양성 조건(F + P ⊂ F)과 음성 조건(F + N ⊂ F)을 만족시킨다.
• F̃ = −(−F)를 통한 Dirichlet 쌍대성 정의를 통해 하위조화함수와 초조화함수 간의 관계를 설정한다.
• 약한 비교 원리가 전반적인 비교 원리로 이어지도록 하기 위해 F에 대해 단조성 원뿔 M를 정의하며, 전역 M-하위조화함수의 존재를 이용한다.
• F의 渐近적 행동을 통한 경계 F-볼록성 정의를 통해 장벽을 구성하고 해의 존재성을 보장한다.
• 지역적 애파인 제트 등가를 통해 비균일 방정식을 다루고, 일정 계수 모델을 넘어서 결과를 확장한다.
• 특정 기하학적 방정식에 이론을 적용하며, 복소 및 퀄터니언 헤시안, 주성분 곡률 방정식, 거의 복소 다양체 위의 칼라비-유타 타입 방정식을 포함한다.

실험 결과

연구 질문

• RQ1 어떤 기하 조건 하에서 리만 다양체와 그 도메인에 대해 완전 비선형 PDE의 딜리클레 문제가 모든 연속 경계 데이터에 대해 유일하게 해를 갖는가?
• RQ2 하위방정식과 그 쌍대의 쌍대성은 유클리드 공간에서 일반 리만 다양체로의 구조군 축소에 대해 어떻게 일반화될 수 있는가?
• RQ3 단조성 원뿔과 경계 F-볼록성은 비교 원리와 장벽 구성에 어떤 역할을 하는가?
• RQ4 어떤 설정—예를 들어 거의 복소 또는 퀄터니언 다양체—에서 보편적인 하위방정식이 존재하며 해의 존재성을 보장하는가?
• RQ5 이론은 비케이러 다양체 위의 비균일 방정식과 칼라비-유타 타입 방정식으로 확장될 수 있는가?

주요 결과

• 모든 연속 경계 데이터에 대해, 경계가 엄격하게 F-볼록이고 전역 M-하위조화함수가 존재하는 경우, Ω ⊂⊂ X 인 매끄러운 도메인에서 F에 대한 딜리클레 문제는 유일하게 해를 갖는다.
• 단조성 원뿔 M의 존재는 약한 비교 원리가 전반적인 비교 원리로 이어지게 하여 해의 유일성을 보장한다.
• F의 渐近적 행동을 통한 경계 F-볼록성 정의는 해의 존재를 위한 필요한 장벽 조건을 제공한다.
• S³ × S³와 같은 구형 도메인에서는 공볼록성(P₁-하위조화함수) 함수에 대해 최대원리가 실패함을 보여, 공볼록성이 최대원리를 의미하지는 않는다.
• ρ = ½δ₁² + ½δ₂² ≤ c 인 곱 도메인 Ω_c ⊂ U×U 에서 P₂에 대해 비교 원리가 실패하고, 엄격한 P₃-볼록성에도 불구하고 딜리클레 문제의 유일성이 상실된다.
• Ω_c 에서는 엄격한 P₂ 및 P̃₂-볼록성과 전이성 있는 등장 대칭군이 존재하므로 해의 존재는 보장되나, 동일한 경계 데이터를 갖는 조화함수가 유일하지 않기 때문에 유일성은 성립하지 않는다.