Interior Hessian estimates for the quadratic Hessian equation

기술 요약: 이차 헤시안 방정식에 대한 내부 헤시안 추정치

문제 정의
본 논문은 다음과 같은 이차 헤시안 방정식(quadratic Hessian equation)의 점성 해(viscosity solution)에 대한 내부 정칙성을 다룬다:
$$\sigma_2(D^2u) = \sum_{1 \le i < j \le n} \lambda_i \lambda_j = 1$$
여기 $n \ge 2$이며, $\lambda_1, \dots, \lambda_n$은 헤시안 행렬 $D^2u$의 고윳값들이다. 본 연구는 양의 가지(positive branch)에 놓인 해에 초점을 맞추는데, 이는 허용 조건 $\lambda(D^2u) \in \Gamma_2$ (단, $\Gamma_2 = \{ \lambda \in \mathbb{R}^n : \sigma_1(\lambda) > 0, \sigma_2(\lambda) > 0 \}$)에 의해 정의된다.

역사적으로, 이 방정식에 대한 내부 헤시안 추정치는 다음과 같은 제한적인 조건 하에서 확립되어 왔다:

• $n=2$인 경우, 방정식은 몽주-앙페르(Monge–Ampère) 방정식으로 귀결되며, Heinz에 의한 고전적 추정치가 존재한다.
• $n=3$인 경우, Warren과 Yuan이 특수 라그랑주 구조(special Lagrangian structures)를 활용하였다.
• 임의의 차원에 대해, 이전의 결과들은 볼록성(convexity, Guan–Qiu, McGonagle–Song–Yuan) 또는 준볼록성(semiconvexity, Shankar–Yuan)을 요구하였다.
• 최근의 연구들(Qiu, Shankar–Yuan, Fan)은 특정 차원(예: $n=4$)이나 동적 준볼록성(dynamic semiconvexity) 조건 하에서 이러한 결과들을 확장하였다.

본 연구의 주요 목적은 차원 제한과 추가적인 볼록성 가정을 모두 제거하여, 오직 양의 가지에서의 허용 조건에만 의존하여 임의의 $n \ge 2$에 대한 내부 헤시안 추정치를 확립하는 것이다.

방법론
저자들은 이전의 증명들에서 핵심적이었던 헤시안에 대한 Jacobi 부등식이나 배가 논법(doubling arguments)에 의존하는 것을 피하는 새로운 접근 방식을 채택한다. 대신, 증명 전략은 Chou–Wang Pogorelov 추정치가 적용될 수 있는 적절한 보조 함수 $w$를 구성하는 데 집중한다. 이 방법의 핵심은 해 $u$와 비교 해 $v$ 사이의 "균등 내부 분리(uniform interior separation)"를 확립하는 것이다.

기술적 실행은 네 단계로 진행된다:

1. 비교 및 시드 분리 (Comparison and Seed Separation):
   저자들은 더 큰 구 $B_{3/2}$에서 $\sigma_2(D^2v) = 1/4$을 만족하고 경계에서 $v=u$인 비교 해 $v$를 도입한다. 비교 원리에 의해 $u \le v$이다. 평균 함수 $\omega = (u+v)/2$의 선형 연산자를 포함하는 국소적 부분 적분 논법을 사용하여, 저자들은 "시드 분리(seed separation)"를 확립한다: 즉, 어떤 작은 구 $B_r(x^*)$가 존재하여 $v - u \ge \varepsilon_0 > 0$를 만족한다.

2. 보조 함수를 통한 분리의 전파 (Propagation of Separation via Auxiliary Functions):
   이 하한을 작은 구에서 전체 내부 도메인 $B_{1/2}$로 확장하기 위해, 저자들은 일련의 보조 함수들을 구성한다. 임의의 점 $y \in B_{1/2}$에 대해, 다음과 같은 위상 함수(phase function)를 정의한다:
   $$\phi_y(x) = 2((x-y) \cdot Dv(x) - v(x) + v(y)) + \frac{\alpha}{2}|x-y|^2 - 2\beta|Dv(x)|^2$$
   그리고 지수 배리어(exponential barrier) $w_y = e^{(c_y - \phi_y)/\gamma} - 1$를 정의한다.
   $-2\beta|Dv|^2$ 항은 매우 중요한데, 이는 음의 고윳값이 선형 연산자에서 상쇄를 일으킬 수 있는 경우를 보상하기 위해 고윳값들에 양의 이차항을 생성한다. 파라미터 $\alpha, \beta, \gamma$를 신중하게 선택함으로써, 저자들은 $B_r(y)$에서 $v - u \ge \delta$이면 $B_{2r}(y)$에서 $v - u \ge \theta \delta$임을 증명한다. 교차하는 구들의 사슬을 따라 이를 반복함으로써, $B_{1/2}$ 내에서 균등한 하한 $v - u \ge \varepsilon_1$을 얻는다.

3. 경계 감쇠 및 도메인 선택 (Boundary Decay and Domain Selection):
   저자들은 $v - u$가 도메인의 경계 근처에서 정량적인 감쇠를 보임을 확립한다. 즉, $(v-u)(x) \le C d_x(1 + |\log d_x|)$를 만족하며, 여기서 $d_x$는 경계까지의 거리이다. 이 감쇠와 균등 내부 분리를 결합하여, 저자들은 정칙한 값 $\delta_1$과 부도메인 $\Omega$를 선택하여 $w := v - \delta_1$가 $\Omega$에서 $w > u$이고, $\partial \Omega$에서 $w = u$이며, $L_u w > 0$을 만족하도록 한다.

4. Pogorelov 추정식의 적용 (Application of Pogorelov Estimate):
   배리어 함수 $w$가 구성되면, 저자들은 다음의 Chou–Wang Pogorelov 추정식을 적용한다:
   $$\sup_{\Omega} (w-u)^4 |D^2u| \le C(n, \|Du\|_{L^\infty}, \|Dw\|_{L^\infty})$$
   $w-u$가 내부에서 0으로부터 균등하게 떨어져 있으므로, 이는 원하는 내부 헤시안 유계(interior Hessian bound)를 도출한다.

주요 결과
본 논문은 두 가지 주요 정리를 확립한다:

• 정리 1.1 (매끄러운 해): $n \ge 2$에 대해, 만약 $u \in C^\infty(B_2)$가 $B_2$에서 $\sigma_2(D^2u)=1$을 만족하면, 헤시안은 내부에서 유계이다:
  $$\|D^2u\|_{L^\infty(B_{1/2})} \le C(n, \|u\|_{L^\infty(B_2)}).$$
  이 결과는 $f \in C^{1,1}$인 $\sigma_2(D^2u) = f(x, u, Du) > 0$의 매끄러운 해로 확장된다.

• 정리 1.2 (점성 해): $n \ge 2$에 대해, 만약 $u \in C(B_2)$가 (1.1)의 점성 해이며 점성 의미에서 $\Delta u > 0$이면, $u \in C^\infty(B_2)$이고 동일한 내부 헤시안 추정치를 만족한다.

의의 및 주장
저자들은 자신들의 결과가 기존 문헌의 특징이었던 차원 제한과 볼목성 또는 준볼목성 가정을 제거한다고 주장한다. 증명은 보조 함수의 구성에 있어 자기 완결적(self-contained)이며, 이는 해가 볼록할 필요 없이 고윳값들 사이의 상호작용을 처리하는 방식이다.

또한, 본 논문은 이러한 추정치가 다음을 함의함을 명시한다:

1. 정칙성 (Regularity): 양의 가지에 있는 점성 해는 자동으로 매끄러운($C^\infty$) 해가 된다.
2. 리우빌 유형 정리 (Liouville-type Theorem): 이차 성장(quadratic growth)을 갖는 모든 전역 해(entire solution)는 이차 다항식이어야 한다.
3. 헤시안 쿼션트 방정식 (Hessian Quotient Equations): 본 결과는 $\Delta u > 0$ 조건 하에서 헤시안 쿼션트 방정식 $\sigma_2(D^2u)/\sigma_1(D^2u) = 1$에 직접 적용된다.

방법론은 최근 연구들에서 사용된 배가 논법(doubling arguments)에 대한 구별되는 대안으로 제시되며, 특정 배리어 구성을 통해 임의의 차원에 대해 통합된 접근 방식을 제공한다.