[논문 리뷰] Maximum principle for viscosity solutions on Riemannian manifolds

Shigē Péng, Detang Zhou|arXiv (Cornell University)|2008. 06. 29.

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

한 줄 요약

이 논문은 리만다이니안 다양체 위의 2차 편미분방정식에 대해 점성해결법 기반 최대원리(maximum principle)를 수립하며, 옴리와 요아의 고전적 결과를 일반화한다. 곡률 한계 하에서 제곱거리 함수의 날카운 Hessian 및 라플라시안 추정을 유도함으로써, 비유계 및 완비 다양체 위의 타원형 및 포아르형 방정식에 대해 비교정리를 증명한다. 타원형의 경우 곡률 제약 없이, 포아르형의 경우 유계 조건 하에서 하위해결-초해결 순서를 보장한다.

ABSTRACT

In this work we consider viscosity solutions to second order partial differential equations on Riemannian manifolds. We prove maximum principles for solutions to Dirichlet problem on a compact Riemannian manifold with boundary. Using a different method, we generalize maximum principles of Omori and Yau to a viscosity version.

연구 동기 및 목표

• 유클리드 공간에서의 점성해결법 이론을 리만다이니안 다양체로 확장하기 위해.
• 다양체 위에서 제곱거리 함수의 비연속성과 복잡한 Hessian 구조로 인한 어려움을 극복하기 위해.
• 타원형의 경우 곡률 제약 없이도, 컴팩트 및 완비 리만다이니안 다양체 위에서 2차 편미분방정식의 점성해결법에 대한 최대원리를 수립하기 위해.
• 완비 리만다이니안 다양체 위에서 점성해결법 프레임워크로 옴리-요아 최대원리를 일반화하기 위해.
• 경계가 있는 컴팩트 다양체 위에서 포아르형 방정식에 대한 비교정리를 증명하여, 하위해결-초해결 순서를 보장하기 위해.

제안 방법

• 섹션 곡률이 아래로 유계인 다양체에서 제곱거리 함수 $\frac{1}{2}\mathrm{d}(x,y)^2$ 의 날카운 Hessian 추정을 도출한다.
• 리치 곡률의 하한이 있을 경우 동일한 함수에 대해 라플라시안 유형의 추정을 수립한다.
• 비콤팩트성과 비연속성 문제를 다루기 위해, 테스트 함수에 $\frac{\alpha}{2}\mathrm{d}(x,y)^2$ 를 추가하여 이시이-라온스 방법을 변형 적용한다.
• 정규화를 위해 $\varepsilon/(T-t)$ 를 포함한 편미분 문제의 페르터베이션 기법을 사용하여 비교원리를 적용한다.
• 제트와 곡률에 의존하는 모듈러스 $\omega$ 를 통한 일반화된 비교원리를 적용하여, 근접한 점들 사이의 $F$-값 차이를 제어한다.
• 다른 점들 $x$와 $y$ 사이의 제트를 연결하기 위해 평행이동과 쌍대사상 $\iota$ 를 활용한다.

실험 결과

연구 질문

• RQ1 리만다이니안 다양체에서 곡률 제약 없이도, 점성해결법에 대한 고전적 최대원리를 확장할 수 있는가?
• RQ2 하한 곡률 조건 하에서 제곱거리 함수의 Hessian을 어떻게 추정할 수 있으며, 이를 통해 비교정리를 가능하게 할 수 있는가?
• RQ3 연산자 $F$ 에 어떤 조건이 성립하면, 경계가 있는 컴팩트 리만다이니안 다양체 위에서 점성하위해결이 항상 초해결 아래에 존재하는가?
• RQ4 완비 리만다이니안 다양체 위에서 점성해결법 프레임워크로 옴리-요아 최대원리를 일반화할 수 있는가?
• RQ5 경계가 있는 컴팩트 다양체 위에서 점성해결법을 통해 포아르형 방정식에 대한 비교원리를 어떻게 수립할 수 있는가?

주요 결과

• 곡률 제약 없이도, 경계가 있거나 없는 컴팩트 리만다이니안 다양체에 대해 점성해결법 기반의 옴리-요아 최대원리가 수립된다.
• 일반 조건 (H) 하에서 타원형 방정식에 대해 비교정리가 성립하며, 이 조건은 모듈러스 $\omega$ 와 양수 상수 $\beta$ 를 포함한다. 이 경우 $u_1 \leq u_2$ 가 $\bar{M}$ 에서 성립하며, $u_1 \leq u_2$ 가 $\partial M$ 에서 성립할 때 이를 보장한다.
• 경계가 있는 컴팩트 다양체 위의 포아르형 방정식에 대해, $u$ 와 $v$ 가 유계성 및 정칙성 조건을 만족할 경우 비교정리가 성립한다. 이 경우 $u \leq v$ 가 $[0,T] \times \bar{M}$ 에서 성립하며, $u \leq v$ 가 파라볼릭 경계에서 성립할 때 이를 보장한다.
• 비연속성 문제를 해결하기 위해 $\frac{\alpha}{2}\mathrm{d}(x,y)^2$ 를 포함한 정규화된 테스트 함수를 사용함으로써, $\alpha \to \infty$ 일 때 극한에서 사라지는 방법을 성공적으로 적용하였다.
• 핵심 추정인 $\omega(\alpha \mathrm{d}(x,y)^2 + \mathrm{d}(x,y))$ 는 $F$-값의 차이를 제어하며, $\alpha \to \infty$ 일 때 모순을 유도함으로써 비교결과를 증명한다.
• 결과적으로 고전적 점성해결이론을 리만기하학으로 일반화하여, 다양체 위에서 발생하는 비선형 PDE(예: $G$-브라운운동에서 유도되는 방정식)의 연구를 가능하게 한다.