[논문 리뷰] On solvability of nonlinear partial differential systems of any order in the complex plane

Yifei Pan|arXiv (Cornell University)|2011. 09. 15.

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

한 줄 요약

이 논문은 하나의 복소변수에서 임의의 차수의 비선형 편미분계수 시스템에 대한 일반적인 존재 정리를 수립하며, J-해석적 곡선에 대한 Nijenhuis-Woolf 정리의 일반화를 제공한다. m-라플라스 연산자를 주성분으로 가지는 시스템에 대해 국소적이고 전역적인 해법 가능성을 증명하며, 원점에서 2m−1차 미분계수까지의 임의의 잔여계수와 2m차 미분계수에서의 0값을 갖는 해가 존재함을 보이며, 조화 맵과 복소해석학에의 응용을 포함한다.

ABSTRACT

We prove a general existence theorem for nonlinear partial differential systems of any order in one complex variable. A special case of first order contains a well-known theorem of Nijenhuis and Woolf concerning local existence of J-holomorphic curves on almost complex manifolds. As an application to differential geometry, we prove that non constant harmonic map always exists locally from a Riemann surface to a Riemannian manifold with a prescribed tangent vector at a given point.

연구 동기 및 목표

• 일개의 복소변수에서 임의의 차수의 비선형 편미분계수 시스템에 대한 일반적인 존재 정리를 수립하는 것.
• 일차 J-해석적 곡선에 대한 고전적인 Nijenhuis-Woolf 정리를 고차수 시스템으로 일반화하는 것.
• 2m−1차 미분계수까지의 주어진 잔여계수를 갖는 m-라플라스 시스템에 대해 국소적 해법 가능성을 증명하는 것.
• 원점에서 2m차 미분계수까지의 잔여계수가 0이 되는 자율적 m-라플라스 시스템에 대해 전역적 해법 가능성을 확립하는 것.
• 미분기하학에 적용하여 리만 곡면에서 리만다만드의 리만다만드로의 비상수 조화 맵의 국소적 존재성을 주어진 초기 자료를 갖도록 증명하는 것.

제안 방법

• 일개의 복소변수에서 고차 미분계수를 포함하는 시스템을 분석하기 위해 복소해석학과 코시-리만 연산자 프레임워크를 사용한다.
• 다항급수 전개와 잔여계수 기반의 구조적 방법을 적용하여 m-라플라스 주성분을 갖는 시스템을 해결한다.
• 복소도함수 ∂ = ½(∂x − i∂y) 및 ̄∂ = ½(∂x + i∂y)를 사용하여 ∂ 및 ̄∂ 연산자로 고차 편미분계수를 표현한다.
• 원점 근처에서 2m−1차까지의 잔여계수를 제어함으로써 시스템을 재귀적 기법으로 해결한다.
• 일반적으로 유일성이 보장되지 않음에도 불구하고, 유일 연속성 성질을 활용하여 해의 유일성을 잔여계수 차수까지 보장한다.
• ∂̄^m f = F 시스템에 이 방법을 적용하여, 주어진 초기 잔여계수 조건을 갖는 원점 근처에서 C^{m+k} 해의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 일개의 복소변수에서 임의의 차수의 비선형 PDE 시스템에 대해 일반적인 존재 정리를 수립할 수 있는가?
• RQ2 J-해석적 곡선에 대한 Nijenhuis-Woolf 정리는 어느 정도 고차수 시스템으로 일반화될 수 있는가?
• RQ3 m-라플라스 연산자 Δ^m이 2m−1차 잔여계수를 갖는 임의의 자료에 대해 국소적 해를 갖는 조건은 무엇인가?
• RQ4 원점에서 2m차 잔여계수가 0이 되는 자율적 m-라플라스 시스템에 대해 전역적 해를 구성할 수 있는가?
• RQ5 주어진 초기 자료를 갖는 리만 곡면에서 리만다만드로의 국소적 조화 맵의 존재는 PDE 해법 가능성 결과로부터 유도되는가?

주요 결과

• 정리 A는 C^k 함수 A에 대해 Δ^m u = A(z, u, ∇u, ..., ∇^{2m−1}u) 형태의 m-라플라스 시스템에 대해, |z| ≤ R 내에서 C^{2m+k} 클래스의 해가 존재함을 보여준다.
• 해는 원점 근처에서 u = p(z) + O(|z|^{2m})를 만족하며, 여기서 p(z)는 차수 ≤ 2m−1인 다항식이다.
• 정리 B는 A(0) = 0 및 ∇A(0) = 0를 만족하며 원점에서 2m차 미분계수까지 0이 되는 자율적 m-라플라스 시스템 Δ^m u = A(u, ∇u, ..., ∇^{2m}u)에 대해 해의 전역 존재성을 증명한다.
• 반례들(예: Δu = e^{2u})을 통해 정리 A의 반경 R는 임의로 크게 만들 수 없음을 보였다.
• 정리 C는 z₀ ∈ S의 근처에서 C^3 리만다만드 N으로의 C^2 조화 맵 φ가 존재함을 증명하며, φ(z₀) = p 및 dφ(z₀)(∂/∂x) = v를 만족한다.
• 이 방법은 m-조화 맵과 이차조화 맵에 적용 가능하며, 국소적 조화 맵을 통해 리만다만드의 접다발 위에 코바야시 메트릭을 정의하는 데 기여한다.