Power convexity of solutions to complex Monge-Ampère equation in $\mathbb{C}^2$

기술 요약: $\mathbb{C}^2$에서의 복소 몽주-앙페르 방정식 해의 거듭제곱 볼록성(Power Convexity)

문제 정의
본 논문은 완전 비선형 타원형 편미분 방정식의 경계값 문제, 특히 $\mathbb{C}^2$에서의 복소 몽주-앙페르 방정식에 대한 디리클레 문제에 관한 경계값 문제의 볼록성 성질을 다룬다. 저자들은 다음 방정식을 만족하는 유일한 해 $u$의 "거듭제곱 볼록성"을 조사한다:
$$\begin{cases} \det(u_{i\bar{j}}) = 1 & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega, \end{cases}$$
여기서 $\Omega \subset \mathbb{C}^2$는 유계이고 매끄러우며 엄격하게 볼록한 영역이다. 구체적인 목표는 변환된 함수 $v = -\sqrt{-u/2}$가 $\Omega$ 내에서 엄격하게 볼록(strictly convex)한지 여부를 결정하는 것이다. 실수 타원형 방정식(예: 라플라스 연산자의 토션 함수)의 해의 볼록성은 광범위하게 연구되어 왔으나, 복소 몽주-앙페르 방정식의 거듭제곱 볼록성은 차원이 $n \geq 3$인 경우 미해결 과제로 남아 있는 것을 포함하여 여전히 거의 탐구되지 않은 영역이다.

방법론
저자들은 Caffarelli와 Friedman이 준선형 방정식(semilinear equations)을 위해 처음 개발하고, 이후 Bian과 Guan이 완전 비선형 방정식으로 확장한 "미시적 볼록성 원리(microscopic convexity principle)", 즉 상수 계수 정리(constant rank theorem) 접근법을 사용한다. 증명 전략은 두 가지 주요 단계로 구성된다:

1. 경계 추정(Boundary Estimates): 영역의 경계 근처에서 해의 볼록성 추정치를 확립한다.
2. 상수 계수 정리(Constant Rank Theorem): 변환된 해 $v$의 헤시안(Hessian) $\nabla^2 v$가 영역 전체에서 일정한 계수(constant rank)를 유지함을 증명한다.

$\nabla^2 v$에 대한 방정식이 $\nabla^2 v$에 대해 비동차적(non-homogeneous)이기 때문에, 상수 계수 정리를 위한 표준적인 구조적 조건을 검증하기 어렵다는 점이 중요한 기술적 장애물로 작다. 또한, 복소 헤시안은 유니타리 변환을 통해 대각화될 수 있지만, 실수적 볼록성을 결정하는 실수 헤시안 $\nabla^2 v$는 일반적으로 이러한 변환 하에서 대각화되지 않는다.

이러한 어려움을 극복하기 위해, 저자들은 Autonne-Takagi 분해를 통해 정의된 새로운 보조 행렬 $K$를 도입한다:
$$K = I - B A^{-1} B A^{-1},$$
여기서 $A$와 $B$는 복소 헤시안 성분들로부터 유도된 블록들이다. 핵심적인 보조 정리는 $\text{rank}(\nabla^2 v) = \text{rank}(K) + 2$라는 계수 관계를 확립한다. 결정적으로, $K$는 허용 가능한 복소 선형 좌표 변화 하에서 유사 변환(similarity transformation)을 거치며, 이는 고윳값, 트레이스(trace), 행렬식(determinant)을 보존한다. 이를 통해 $\text{tr}(K)$와 $\det(K)$에 기반한 아핀 불변(affine-invariant) 보조 함수를 구성할 수 있다.

증명은 $\nabla^2 v$의 최소 계수 $l$에 대한 두 가지 경우를 분석하며 진행된다:

• $l=2$인 경우 (K의 최소 계수가 0인 경우): 저자들은 Bian과 Guan이 도입한 보조 함수를 개선하여 몫 형태의 함수 $\phi = \text{tr}(K) + \frac{\det(K)}{\text{tr}(K)}$를 사용한다. 이들은 선형화된 연산자를 포함하는 복소 미분 부등식을 유도하고 강한 최댓값 원리(strong maximum principle)를 적용한다.
• $l=3$인 경우 (K의 최소 계수가 1인 경우): 보조 함수는 $\phi = \det(K)$로 선택된다. 이 경우는 0이 아닌 계수를 가진 6변수 이차 형식의 반양의 정당성(semi-positivity)을 검증해야 한다. 저자들은 $6 \times 6$ 대칭 행렬에 대해 정교한 기본 행 및 열 연산을 수행하여 이를 두 개의 $3 \times 3$ 블록으로 대각화한 뒤, 주한 행렬식(leading principal minors)에 관한 선형 대수학 보조 정리를 사용하여 반양의 정당성을 증명한다.

주요 결과
주요 결과인 정리 1.1은 $\Omega \subset \mathbb{C}^2$가 유계이고 매끄러우며 엄격하게 볼록한 영역일 때, 우변이 1이고 경계 데이터가 0인 복소 몽주-앙페르 디리클레 문제의 유일한 해 $u$에 대하여 함수 $v = -\sqrt{-u/2}$는 $\Omega$ 내에서 엄격하게 볼록하다는 것을 명시한다.

증명은 $\nabla^2 v$가 $\Omega$ 전체에서 상수 계수를 가진다는 것을 확립하는 따름정리 4.2에 의존한다. 이 상수 계수 성질을 경계 볼록성 추정(명제 5.1) 및 단위 구(unit ball)를 일반적인 영역 $\Omega$로 변형하는 연속성 방법(continuity method) 논증과 결합함으로써, 저자들은 계수가 반드시 풀 랭크(full rank, rank 4)여야 함을 결론지으며, 이는 엄격한 볼록성을 의미한다.

또한, 주의 5.2는 거듭제곱 지수 $1/2$이 최적(sharp)임을 보여주는 반례를 제공한다. 저자들은 $\alpha > 1/2$인 경우 함수 $-( -u)^\alpha$가 반드시 볼록하지 않음을 보여줌으로써, 이 결과가 더 높은 차수의 거듭제곱으로 일반화될 수 없음을 확인한다.

의의 및 주장
본 논문은 복소 몽주-앙페르 방정식의 해의 거듭제곱 볼록성을 다룬 최초의 알려진 결과를 제공한다고 주장한다. 저자들은 차원이 $n \geq 3$인 경우 해가 거듭제곱 볼록성을 보이는지 여부가 여전히 미해결 과제로 남아 있음을 명시적으로 밝힌다. 이 연구는 비동차적인 변환 방정식의 구조적 문제와 복소 대각화가 실수적 볼록성 요구사항과 호환되지 않는 문제를 해결함으로써, 복소 환경에서 상수 계수 정리의 적용 가능성을 확장한다. 방법론은 $\mathbb{C}^2$에서의 복소 몽주-앙페르 방정식의 특정한 대수적 구조를 다루기 위해 기존의 보조 함수 기법을 정교화한다.