[논문 리뷰] Interior Hessian estimates for Sigma-2 equations in dimension three

Guohuan Qiu|arXiv (Cornell University)|2017. 11. 02.

Nonlinear Partial Differential Equations참고 문헌 3인용 수 10

한 줄 요약

이 논문은 삼차원에서 $\sigma_2$ 헤시안 방정식의 해에 대한 사전 내부 $C^2$ 추정을 수립하며, Warren-Yuan의 결과를 일반화한다. 유한한 평균 곡률을 가진 리만 부분다양체에 대한 새로운 평균값 부등식을 도입하고, 최대원리 접근법과 결합함으로써 저자는 헤시안 노름이 $\|f\|_{C^2}$, $\|1/f\|_{L^\infty}$, 및 $\|u\|_{C^1}$ 에 의해 제어됨을 증명하며, 삼차원에서 오랫동안 남아있던 정규성 문제를 해결한다.

ABSTRACT

We prove a priori interior C2 estimate for σ_2 = f in R3, which generalizes Warren-Yuan's result.

연구 동기 및 목표

• 이전 방법이 볼록성 부족으로 실패한 바, 삼차원에서 $\sigma_2$ 헤시안 방정식에 대한 사전 내부 $C^2$ 추정을 수립하는 것.
• Warren-Yuan의 $\sigma_2(D^2u) = 1$ 에 대한 $C^2$ 추정을 일반적인 경우인 $\sigma_2(D^2u) = f$ ($f > 0$, $f \in C^2$)로 확장하는 것.
• 이전 연구에서 존재하던 볼록성 제약 조건을 제거하기 위해 평균 곡률가지 유한한 부분다양체에 대한 새로운 평균값 부등식을 도입하는 것.
• 소벨레프 부등식을 피하기 위해 수정된 최대원리와 기하학적 부분다양체 분석을 결합한 새로운 증명 전략을 제공하는 것.

제안 방법

• 그래프 $(x, Du)$ 를 $\mathbb{R}^3 \times \mathbb{R}^3$ 에서의 부분다양체로 간주하고, 등각계량 $f dx^2 + dy^2$ 를 갖는 기하학적 프레임워크를 도입하는 것.
• Hoffman-Spruck의 작업에서 유도된, 이전 결과에서 사용된 Michael-Simon 부등식을 대체할, 평균 곡률가지 유한한 리만 부분다양체에 대한 새로운 평균값 부등식을 수립하는 것.
• 최대원리를 적용하기 위해 $B_5$ 내에서 $\varphi(x) = 4\log\rho(x) + h(|Du|^2/2) + \log\log\{ \cdots \}$ 를 구성하는 것, 여기서 $\rho(x) = 25 - |x|^2$.
• $\varphi$ 에서 최대원리를 적용하여 $\sigma_2^{ij}\varphi_{ij}$ 를 포함하는 미분부등식을 유도하고, 이를 곡률 및 헤시안 항으로 추정하는 것.
• $h'' - 2(h')^2 \geq 0$ 를 확보하기 위해 $h(t) = -\frac{1}{2}\log(1 - t/(2\|Du\|_{L^\infty}^2))$ 를 신중히 선택함으로써 이차항을 제어하는 것.
• 유도된 부등식을 $f_i$, $f_{ij}$ 에 대한 추정 및 $\sigma_2^{ij}$ 의 구조와 결합하여 $\sigma_1 f - \sigma_3$ 에 대한 추정을 도출하고, 이로써 $\Delta u$ 의 제어를 얻는 것.

실험 결과

연구 질문

• RQ1 볼록성 가정 없이 $\mathbb{R}^3$ 에서 $\sigma_2(D^2u) = f$ 의 내부 $C^2$ 추정이 성립하는가?
• RQ2 소벨레프 부등식을 피하기 위해 최소 곡면에 대한 평균값 부등식을 평균 곡률가지 유한한 부분다양체로 일반화할 수 있는가?
• RQ3 Warren-Yuan의 $\sigma_2(D^2u) = 1$ 에 대한 결과를 일반적인 $f \in C^2$ 인 경우인 $\sigma_2(D^2u) = f$ 로 확장할 수 있는가?
• RQ4 소벨레프 부등식이 필요 없도록 최대원리 접근법을 사용하여 헤시안 추정에서 이를 우회할 수 있는가?

주요 결과

• 논문은 $\sup_{B_{1/2}} |D^2u| \leq C$ 를 증명하며, 여기서 $C$ 는 $\|f\|_{C^2}$, $\|1/f\|_{L^\infty}$, 및 $\|u\|_{C^1}$ 에만 의존하며, $\mathbb{R}^3$ 에서 사전 $C^2$ 정규성을 수립한다.
• $B_4$ 내에서 키 추정인 $\sigma_1 f - \sigma_3 \leq C \log^{1/2} M_5$ 가 도출되며, 이는 헤시안 추정의 성장을 제어한다.
• 평균 곡률가지 유한한 부분다양체에 대한 새로운 평균값 부등식 덕분에 이전 연구에서 존재하던 볼록성 가정을 제거할 수 있었다.
• 로그형 테스트 함수와 곡률 제어를 결합한 정교한 최대원리 접근법을 통해 소벨레프 부등식을 효과적으로 피하는 데 성공했다.
• Warren-Yuan의 $\sigma_2(D^2u) = 1$ 에 대한 $C^2$ 추정을 삼차원에서 완전히 비선형적인 경우인 $\sigma_2(D^2u) = f$ 로 일반화한 결과를 도출했다.
• 증명은 등각계량에서의 그래프 $(x, Du)$ 가 유한한 평균 곡률를 가지며, 이로써 헤시안의 기하학적 제어가 가능함을 보여준다.