[논문 리뷰] Regularity for convex viscosity solutions of special Lagrangian equation

Jingyi Chen, Ravi Shankar외 1명|arXiv (Cornell University)|2019. 11. 12.

Nonlinear Partial Differential Equations참고 문헌 23인용 수 7

한 줄 요약

이 논문은 특수 라그랑주 방정식의 볼록 점성 해가 정의역 내부에서 실해석적임을 입증한다. 헤시안 고유값을 $[-1,1]$로 제한하기 위해 좌표계를 회전시킴으로써, 저자들은 최대 고유값의 하모닉성과 강한 최대원리(Strong Maximum Principle)를 적용하여 엄격한 헤시안 경계를 도출하고, 이를 통해 해석성과 해의 진동에 의존하는 효과적인 헤시안 추정치를 얻는다.

ABSTRACT

We establish interior regularity for convex viscosity solutions of the special Lagrangian equation. Our result states that all such solutions are real analytic in the interior of the domain.

연구 동기 및 목표

• 특수 라그랑주 방정식 $\sum \arctan \lambda_i - \Theta = 0$의 볼록 점성 해에 대한 내부 정칙성을 확립한다.
• 해당 해가 내부에서 실해석적임을 증명하여 특수 라그랑주 기하학에서 오랫동안 남아있던 정칙성 문제를 해결한다.
• 해의 진동에만 의존하는 효과적인 헤시안 경계를 유도한다.
• 콤팩트성과 정칙성에 기반하여 일반 볼록 도메인 간 제2경계값 문제에 대한 부드러운 해의 존재를 확장한다.

제안 방법

• 헤시안 고유값을 $[0,\infty)$에서 $[-1,1]$로 매핑하기 위해 좌표계를 회전시켜 기하적 구조를 단순화한다.
• 기울기의 유도된 계량 $\bar{g} = I + D^2\bar{u} D^2\bar{u}$ 를 사용하여, $b_m = \frac{1}{m}\sum_{i=1}^m \ln \sqrt{1 + \bar{\lambda}_i^2}$ 의 하모닉성을 분석한다.
• 커브처 공식에서 유도된 비음수 계수 배열을 이용하여, 최대 고유값 $\bar{\lambda}_{\max} = 1$ 인 점 근처에서 $\Delta_{\bar{g}} b_m \geq 0$ 임을 입증한다. [WdY, p.487] 참조.
• 강한 최대원리를 적용하여 도메인 전체에서 $\bar{\lambda}_{\max} \equiv 1$ 임을 도출하고, 엄격한 부등식이 성립하지 않는 한 모순이 발생함을 보인다.
• 이차 장벽 함수를 사용하여 내부 점에서 $D^2\bar{u} = I$ 가 성립하지 않음을 모순시켜 $D^2\bar{u} < I$ 가 엄격히 성립함을 증명한다.
• 클래식한 타원형 이론과 [CWY] 및 [WdY2]의 사전 추정치를 활용하여 해석성과 효과적인 헤시안 경계를 도출한다.

실험 결과

연구 질문

• RQ1 특수 라그랑주 방정식 $\sum \arctan \lambda_i = \Theta$ 의 볼록 점성 해는 반드시 내부에서 매끄럽거나 해석적일까?
• RQ2 엄격한 볼록성이나 $C^{1,1}$ 정칙성을 가정하지 않고도 이러한 해의 정칙성을 확립할 수 있는가?
• RQ3 볼록 점성 해의 헤시안은 해의 진동에만 의존하는 효과적인 경계를 만족하는가?
• RQ4 점성 해와 콤팩트성에 기반하여 일반 볼록 도메인 간 특수 라그랑주 방정식의 제2경계값 문제를 해결할 수 있는가?

주요 결과

• 모든 특수 라그랑주 방정식의 볼록 점성 해는 정의역 내부에서 실해석적이다.
• 효과적인 헤시안 경계가 확립된다: $|D^2u(0)| \leq C(n) \exp\left[C(n) \operatorname{osc}_{B_1(0)} u\right]^{2n-2}$, 여기서 $C(n)$ 은 차원에 의존하는 상수이다.
• 해 $u$ 는 $B_1(0)$ 에서 $D^2u < \infty$ 를 만족하므로, 매끄럽고 해석적임을 의미한다.
• 이 결과는 모든 전체 볼록 점성 해가 이차 함수임을 시사한다.
• 근사와 정칙성에 기반하여 일반 볼록 도메인 간 제2경계값 문제에 대한 내부 매끄러운 해의 존재가 입증된다.
• 이 방법은 [CCY]에서 보여진 라그랑주 평균 곡률 흐름의 장기 존재성에서 사전 $C^{1,1}$ 정칙성의 필요성을 제거한다.