[논문 리뷰] On estimates for fully nonlinear parabolic equations on Riemannian manifolds

Bo Guan, Shujun Shi외 1명|arXiv (Cornell University)|2014. 09. 12.

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

한 줄 요약

이 논문은 완전 비선형 포물선 방정식에 대해 리만 다양체 위에서 새로운 방법을 도입함으로써, 적합한 하위해와 비선형 연산자의 볼록성 성질에 기반한 사전 두 번째 순서 추정을 수립한다. 핵심 기여는 닫힌 다각형 $\overline{M_T}$ 내에서 헤시안 $|\nabla^2 u| \leq C$에 대한 균일한 유계성 확보이며, 이는 일반적인 기하학적 및 구조적 조건 하에서 초기경계값 문제에 대한 새로운 존재성 결과를 가능하게 한다.

ABSTRACT

We present some new ideas to derive {\em a priori} second order estiamtes for a wide class of fully nonlinear parabolic equations. Our methods, which produce new existence results for the initial-boundary value problems in $\bfR^n$, are powerful enough to work in general Riemannian manifolds.

연구 동기 및 목표

• 콤��� 리만 다량체의 경계를 가진 완전 비선형 포물선 방정식에 대해 사전 두 번째 순서 추정을 도출하는 것.
• 유클리드 공간을 초월하여 일반 리만 다량체로 완전 비선형 포물선 방정식 이론을 확장하는 것.
• 해의 헤시안에 대한 균일한 유계성을 증명함으로써 초기경계값 문제에 대한 존재 결과를 확립하는 것.
• 연산자 및 하위해 프레임워크에 대한 구조 조건을 도입하여 기하학적 불규칙성과 균일 포물선 경우를 다루는 것.
• 기하학적 흐름에서 발생하는 다양한 방정식에 적용 가능한 일반적 프레임워크를 제공하는 것.

제안 방법

• 공간-시간 실린더 $M_T = M \times (0,T]$ 상에서 $f(\lambda[\underline{u}]) \geq e^{\underline{u}_t + \psi}$ 및 경계/초기 조건을 만족하는 하위해 $\underline{u} \in C^{2,1}(\overline{M_T})$ 를 도입한다.
• 비선형 함수 $f$ 의 볼록성과 컴acts부분집합 $\Gamma$ 내에서의 구조 조건 $\sum f_i \lambda_i \geq -K_1(1 + \sum f_i)$ 를 이용해 헤시안 성장률을 통제한다.
• 공간-시간 실린더 $M_T$ 상에서 최대 원리 기법을 적용하여 $u$ 의 두 번째 순서 도함수에 집중한다.
• 하위해와 기하 양을 이용한 장벽 함수를 구성하여, 파arabolic 경계 $\partial M_T$ 상에서 $|\nabla^2 u|$ 를 통제한다.
• Γ × ℝ 내의 수준집합의 연속성과 컴팩턴스를 활용하여 함수 $\widetilde{f}$ 와 그 무한대에서의 행동을 통해 균일 추정을 유도한다.
• 수준집합의 겹침 $\partial\Sigma^\sigma$ 와 도메인 $\mathcal{B}_\sigma^+$ 의 경계까지의 거리에 기반하여 $\sum f_i(\lambda)(\mu_i - \lambda_i) - (q - p)$ 에 대한 균일한 하한을 도출한다.

실험 결과

연구 질문

• RQ1 일반 리만 다량체 위에서 완전 비선형 포물선 방정식에 대해 두 번째 순서 사전 추정을 수립할 수 있는가?
• RQ2 하위해의 존재가 내부 및 경계에서 $|\nabla^2 u|$ 의 성장률을 어떻게 통제할 수 있는가?
• RQ3 f 와 M 의 기하학적 구조에 대해 어떤 구조 조건이 비선형성과 균일 추정을 방지하는 데 충분한가?
• RQ4 파arameter $\sigma$ 에 따라 변화하는 방정식의 가중치 집합을 고려할 때 추정이 $\sigma$ 에 대해 균일하게 유지될 수 있는가?
• RQ5 일반적인 기하학적 조건 하에서 $f$ 의 볼록성이 헤시안에 대한 균일한 유계성을 도출하는 데 어떤 역할을 하는가?

주요 결과

• 적합한 하위해가 존재할 경우, $C$ 는 $|u|_{C^1}$, $|\psi|_{C^{2,1}}$, $|\underline{u}|_{C^{2,1}}$, 그리고 다량체 $M$ 의 기하학적 자료에 의존하는 $\overline{M_T}$ 내에서 사전 추정 $|\nabla^2 u| \leq C$ 를 수립한다.
• M 이 닫혀 있을 경우, 경계 항이 소멸하므로 추정 $|\n라디언^2 u| \leq C_1$ 이 직접 성립한다.
• 경계 추정을 위해 조건 $\sup_{\partial\Gamma} f \leq 0$ 이 필수적이며, 이는 비선형성 방지를 위해 필요하고 $\max_{\partial M_T} |\nabla^2 u| \leq C_2$ 를 보장한다.
• 상수 $C_2$ 는 $|\varphi^b|_{C^2}$, $|\varphi^s|_{C^{4,1}}$, 및 $\partial M$ 의 기하학적 자료에 의존한다.
• 큰 $|\lambda|$ 에 대해 $\sum f_i(\lambda)(\mu_i - \lambda_i) - (q - p)$ 에 대한 균일한 하한 $\theta_K > 0$ 이 존재하면 헤시안이 유계로 유지된다.
• 거리 함수와 수준집합이 $\sigma$ 에 대해 연속적으로 의존하므로, $\sigma$ 가 컴팩트 구간 $[c,d]$ 에서 변할 때 추정은 $\sigma$ 에 대해 균일하다.