[논문 리뷰] A generalised Joyce construction for a family of nonlinear partial differential equations

Simon Donaldson|ArXiv.org|2008. 05. 01.

Mathematical and Theoretical Analysis인용 수 7

한 줄 요약

이 논문은 두 차원에서 비선형 4차 PDE의 광범위한 가족에 대해 Joyce의 자기 dual 리만 계량에 대한 구조를 일반화한다. 이를 위해 레지오르드형 변환을 통해 비선형 4차 PDE를 선형 2차 방정식으로 감소시킨다. 주요 결과는 비선형 PDE (2)의 국소 해가 선형 PDE (3)의 해 쌍과 일대일 대응됨을 보여주며, 이는 스무스하고 엄밀히 볼록한 함수 ψ에 의해 규정되는 모든 이러한 방정식에 대해 문제를 선형화하는 데 효과적이다.

ABSTRACT

We explain a simple construction of solutions to a family of PDE's in two dimensions which includes that defining zero scalar curvature Kahler metrics, with two Killing fields, and the affine maximal equation.

연구 동기 및 목표

• 자기 dual 계량과 두 개의 칼리징 필드를 가진 Dominic Joyce의 구조를 두 차원에서 비선형 4차 PDE의 넓은 범주로 확장하는 것.
• Hessian 행렬식 J일 때 기능 ∫ψ(J)dx1dx2에서 유도된 올레르-라그랑주 방정식이 국소적으로 선형 PDE로 감소할 수 있음을 보여주는 것.
• 함수 ψ와 그 도함수를 포함한 변환을 통해 비선형 PDE (2)의 해와 선형 PDE (3)의 해 사이의 대응 관계를 설정하는 것.
• ψ(J) = J^{1/4}인 경우의 아핀 최대 표면 방정식과 같은 알려진 결과를 이 일반화된 프레임워크의 특수 케이스로 복원하는 것.
• 이 구조가 영점 곡률과 리치-평탄 계량과 관련된 다양한 기하학적 PDE를 하나의 선형화 메커니즘 아래 통합함을 보여주는 것.

제안 방법

• J = det(u_ij)일 때, 볼록 함수 u에 대해 기능 F = ∫ψ(J)dx1dx2를 정의하고, 올레르-라그랑주 방정식 (2): ∑∂²/∂xi∂xj(Jψ′(J)u^{ij}) = 0을 유도한다.
• f(t) = t^{1/2}ψ′′(t)를 정의하고, 그 역함수 r = f(J)를 정의한 후, 역사상 하에서 p(r) = J^{-1/2} = r^{-1/2}로 설정한다.
• 선형 2차 PDE (3): ∂²ξ/∂H² + (1/p(r)) ∂/∂r(p(r) ∂ξ/∂r) = 0을 구성한다. 여기서 ξ는 (H, r)의 함수이다.
• PDE (3)의 두 개의 독립된 해 ξ₁, ξ₂를 사용하여 닫힌 1형식 ε₁, ε₂ 및 ε = ξ₁ε₁ + ξ₂ε₂를 정의하고, 국소적으로 ε₁ ∧ ε₂ ≠ 0임을 보장한다.
• 1형식을 적분하여 두 차원에서 원래의 비선형 PDE (2)의 해인 x₁, x₂, u를 얻는다.
• 역 구조를 보여주며, 일반적인 점 근처의 (2)의 해는 이 방식으로 유도되며, ξ₁, ξ₂는 H-이동과 상수 이동을 제외하고 유일하다.

실험 결과

연구 질문

• RQ1 Joyce의 자기 dual 계량을 위한 구조가 두 차원에서 비선형 4차 PDE의 더 넓은 범주로 일반화될 수 있는가?
• RQ2 Monge-Ampère 유형의 비선형 4차 PDE가 어떤 조건에서 선형 2차 PDE로 감소할 수 있는가?
• RQ3 ψ(J)의 선택이 관련된 선형 PDE (3)의 구조에 어떤 영향을 미치며, 기하학적 의미는 무엇인가?
• RQ4 비선형 PDE (2)의 해와 변환된 변수 (H, r)에서의 조화 함수 사이의 관계는 무엇인가?
• RQ5 기존의 기하학적 PDE들—예를 들어 아핀 최대 표면 방정식 또는 영점 곡률 방정식—은 이 일반화된 프레임워크에 어떻게 통합되는가?

주요 결과

• 비선형 4차 PDE (2)는 국소적으로 선형 2차 PDE (3)과 동치이며, (2)의 모든 국소 해는 (3)의 해로부터 유도됨을 의미한다.
• ψ(J) = -log J일 때 (Joyce의 원래 케이스), 선형 PDE (3)은 R³에서의 라플라스 방정식이 되며, 축대칭 조화 함수에 해당한다.
• ψ(J) = J^{1/4}일 때, 해당 PDE는 R³에서의 아핀 최대 표면을 기술하며, 이 구조는 조화 함수를 통한 Chern-Terng 매개변수화를 복원한다.
• 변환 과정에서 ψ(J) = J^{1/4}일 때 p(r) = r^{2}로 정의되며, 시스템 (13)은 변수를 바꿈으로써 Chern-Terng의 1차 시스템 (12)를 재현한다.
• Trudinger-Wang 방정식에서 ψ(J) = -J^α (0 < α < 1/2)일 때, 해당 p(r)는 r^{1/(1-2α)}가 되며, 이는 α에 직접적인 의존성을 보여준다.
• 이 구조는 유모듈라 아핀 변환에 대해 불변이며, 2형식 J^{1/4}dx1dx2는 R³에서 u의 그래프의 아핀 불변량이다.