A priori estimates for solutions of degenerate fully nonlinear elliptic equations with $L^p$ data

기술적 요약: $L^p$ 데이터를 갖는 퇴화된 완전 비선형 타원형 방정식의 해에 대한 사후 추정치

문제 제기
본 논문은 다음과 같은 형태의 퇴화된 완전 비선형 타원형 방정식에 대한 점성 해 (viscosity solutions) $u$의 내부 정칙성을 조사합니다:
$$|Du|^\gamma F(D^2u, x) = f \quad \text{in } B_1 \subset \mathbb{R}^n,$$
여기서 $\gamma > 0$, $F$는 균일 타원형 완전 비선형 연산자이며, 우변 $f$는 적분 가능 공간에 속합니다. 계수 $|Du|^\gamma$가 $u$의 임계점에서 소멸하여 방정식이 균일 타원성을 잃기 때문에 퇴화가 발생합니다. 주요 목적은 $f$의 적분 가능 노름에 기반하여 $u$에 대한 사후 추정치를 수립하는 것으로, 구체적으로 $f \in L^p$ ($p > n$, 초임계) 인 경우와 $f \in L^{n,1}$ (임계 로렌츠 공간) 인 경우를 다룹니다.

방법론
저자들은 퇴화 구조에 적응된 섭동 기법, 컴팩트성 논증, 기하학적 측도론적 방법의 조합을 사용합니다.

1. 슬라이딩 방법을 통한 균일 Hölder 추정치:
   핵심 기술적 단계는 특정 기울기 영역에서만 균일 타원형인 방정식에 대한 균일 Hölder 추정치를 수립하는 것입니다. 아핀 함수를 빼고 스케일링을 적용함으로써, 저자들은 $|Du - q|^\gamma F(D^2u, x) = f$ 형태의 방정식을 분석합니다. 기울기 크기에 기반한 이분법을 활용합니다:

   • 작은 기울기 ($|Du - q| \leq A_0$): 방정식은 균일 타원형 방정식처럼 행동합니다. 저자들은 측도형 추정치를 유도하기 위해 (Savin, Mooney, Imbert–Silvestre 에서 영감을 받은) **슬라이딩 포물면 방법 (sliding paraboloid method)**을 적용합니다.
   • 큰 기울기 ($|Du - q| > A_0$): 퇴화는 덜 심각합니다. 여기서 저자들은 유사한 측도 추정치를 얻기 위해 **슬라이딩 첨점 방법 (sliding cusp method)**을 사용합니다.
     이러한 추정치들은 "growing ink-spots" 보조정리를 사용하여 결합되며, $f \in L^n$인 경우 해가 이동 벡터 $q$와 무관한 균일 Hölder 추정치를 만족함을 증명합니다.

2. 근사 보조정리와 컴팩트성:
   균일 Hölder 추정치와 더 높은 정칙성 ($C^{1,\alpha}$ 또는 Log-Lipschitz) 사이의 간극을 메우기 위해, 저자들은 근사 보조정리를 개발합니다. 이 보조정리는 연산자 $F$의 진동 ( $\beta_F$ 로 측정됨) 과 $f$의 노름이 로렌츠 공간 $L^{n,1}$에서 충분히 작다면, 해 $u$가 동결된 균일 타원형 방정식 $F(D^2h) = 0$의 해 $h$에 가깝다고 주장합니다.

   • 보정자 논증: $f$가 단순히 적분 가능할 때 이 근사의 안정성을 증명하는 데는 결정적인 어려움이 발생합니다. 저자들은 섭동을 처리하기 위해 보정 함수 $\psi_j$를 구성합니다. 이러한 보정자가 $C^1$ 의미 (구체적으로 $D\psi_j \to 0$) 에서 0 으로 수렴하도록 보장하기 위해, Daskalopoulos–Kuusi–Mingione 가 개발한 로렌츠 공간 $L^{n,1}$에 대한 **경계선 잠재력 추정치 (borderline potential estimates)**에 의존합니다. 이 단계는 근사 보조정리를 위해 약한 $L^n$ 조건이 아닌 $L^{n,1}$ 조건이 필요한 이유로 지적됩니다.

3. 반복 체계:

   • $p > n$인 경우: $u$를 아핀 함수 $l_k(x) = a_k + b_k \cdot x$로 근사하기 위한 반복 체계가 사용됩니다. 오차 항의 감쇠율이 제어되어 $C^{1,\alpha}$ 정칙성이 확립됩니다.
   • $p = n$인 경우 (임계 사례): 유사한 반복이 수행되지만, 기울기 계수 $b_k$의 수렴은 보장되지 않습니다. 대신 $b_k$의 성장은 반복 단계 $k$에 대해 선형적으로 제어되어 로그 모듈러스 연속성을 유도합니다.

주요 기여 및 결과

1. $p > n$에 대한 최적 $C^{1,\alpha}$ 정칙성:
   본 논문은 $f \in L^p(B_1)$ ($p > n$) 인 경우 점성 해 $u$가 다음 범위의 임의의 $\alpha$에 대해 $C^{1,\alpha}_{loc}(B_1)$에 속함을 확립합니다:
   $$\alpha \in (0, \alpha_0) \cap \left(0, \frac{1 - n/p}{1 + \gamma}\right],$$
   여기서 $\alpha_0$는 고전적인 Krylov–Safonov 이론의 지수입니다. 저자들은 $f \in L^p$라는 단일 가정 하에 이 지수가 날카롭고 개선될 수 없음을 보여주기 위해 heuristics 모델 ($u(x) = |x|^{1+\alpha}$) 을 제공합니다. 추정치는 다음과 같은 형태를 가집니다:
   $$\|u\|_{C^{1,\alpha}(B_{1/2})} \leq C(\|u\|_{L^\infty(B_1)} + \|f\|_{L^p(B_1)}^{\frac{1}{1+\gamma}}).$$

2. 임계 사례 ($f \in L^{n,1}$) 에 대한 Log-Lipschitz 정칙성:
   $p=n$인 임계 사례에서는 일반적으로 $C^{1,\alpha}$ 정칙성이 기대되지 않습니다. 대신, 저자들은 $f \in L^{n,1}(B_1)$ ( $L^n$보다 약간 더 강한 로렌츠 공간) 인 경우 해 $u$가 국소적으로 Log-Lipschitz임을 증명합니다. 구체적으로, $x, y \in B_{1/2}$에 대해:
   $$|u(x) - u(y)| \leq C(\|u\|_{L^\infty} + \|f\|_{L^{n,1}}^{\frac{1}{1+\gamma}}) \cdot (-|x-y|\log|x-y|).$$
   이 결과는 근사 보조정리에서 보정 함수를 제어하기 위해 로렌츠 공간의 특정 속성에 의존합니다.

3. 퇴화에 대한 견고성:
   이 연구는 임계점에서 타원성이 퇴화하는 방정식으로 정칙성 이론을 확장하며, 이는 단순히 적분 가능한 데이터를 가진 고전적 방법 (Ishii–Lions 방법 등) 이 실패하는 설정입니다. 저자들은 중간 균일 Hölder 추정치를 위한 $L^n$ 가정 하에 견고하게 유지되는 측도론적 접근법 (슬라이딩 포물면과 첨점) 으로 점별 방법을 대체합니다.

의의 및 범위
본 논문은 소스 항 $f$의 적분 가능성 측면에서 이 클래스의 퇴화 방정식에 대한 최초의 최적 내부 정칙성 추정치를 제공한다고 주장합니다. 이는 $f$의 적분 가능성과 퇴화 매개변수 $\gamma$에 의해 결정되는 정칙성의 정확한 임계값 ($C^{1,\alpha}$ 대 Log-Lipschitz) 을 명확히 합니다.

저자들은 명시적으로 그들의 결과가 사후 추정치임을 지적합니다. 증명들은 테스트 함수와 보정자의 구성을 정당화하기 위해 $f$와 연산자 계수의 사후 Hölder 연속성을 가정하지만, 최종 상수는 $L^p$ 또는 $L^{n,1}$ 노름에만 의존합니다.

본 논문은 경계값 문제 (경계 정칙성에 대한 기존 문헌을 참조하더라도) 또는 포물형 대응 문제를 해결한다고 주장하지 않습니다. 이는 점성 해의 내부 정칙성에만 엄격히 초점을 맞춥니다. 저자들은 기울기 Hölder 정칙성이 기대되지 않는 아임계 범위 $p < n$이 향후 연구를 위한 열린 질문으로 남아 있음을 인정하며, 이 영역에서도 해가 균일 Hölder 추정치를 만족할 수 있음을 지적합니다.