ABP estimate and Harnack inequality for a class of degenerate fully nonlinear pseudo-$p$-Laplacian equations

기술 요약: 퇴화된 완전 비선형 pseudo-$p$-Laplacian 방정식 클래스에 대한 ABP 추정치 및 Harnack 부등식

문제 정의
본 논문은 비발산 형태(nondivergence form)의 특정 클래스인 퇴화된 완전 비선형 pseudo-$p$-Laplacian 방정식의 점성 해(viscosity solutions)에 대한 기초적인 정칙성 이론을 조사한다. 주요 연구 대상인 부등식 시스템은 다음과 같다:
$$\begin{cases} M^{-}_{\lambda,\Lambda}\left(\left[|D_i u|^{p/2}\right] D^2 u \left[|D_i u|^{p/2}\right]\right) - \Lambda|Du|^{p+1} \leq f(x), \\ M^{+}_{\lambda,\Lambda}\left(\left[|D_i u|^{p/2}\right] D^2 u \left[|D_i u|^{p/2}\right]\right) + \Lambda|Du|^{p+1} \geq f(x), \end{cases}$$
여기서 $B_1$ 내에서 정의되며, $p \geq 0$, $0 < \lambda \leq \Lambda$, $f \in L^n(B_1)$, 그리고 $[\cdot]$는 대각 행렬을 나타낸다.

이 논문이 다루는 핵심적인 어려움은 이 연산자에 내재된 **좌표별 퇴화(coordinatewise degeneracy)**이다. 표준 $p$-Laplacian이 오직 전체 그래디언트 $|Du|$가$0$일 때만 퇴화하는 것과 달리, pseudo-$p$-Laplacian은 단 하나의 편도함수 $D_j u$라도 $0$이 되면 타원성(ellipticity)을 상실한다. 이는 $\{|Du|=0\}$보다 훨씬 더 큰 퇴화 집합을 생성한다. 또한, $D_j u = 0$인 지점에서 $D_{jj}u$는 유계가 아닐 수 있는 반면, 비퇴화 방향의 미분값들은 통제될 수 있다. 이러한 이방성(anisotropy)은 균일한 타원성이나 그래디언트가 큰 곳에서만 퇴화가 발생하는 경우를 전제로 하는 기존의 정칙성 결과들(Imbert-Silvestre 또는 Mooney의 결과 등)을 직접 적용하는 것을 방해한다.

방법론
저자들은 이러한 특정한 이방성 퇴화에 적응된 정칙성 이론을 개발하기 위해 두 가지 주요 기술적 혁신을 도입한다:

1. 적응형 Aleksandrov-Bakelman-Pucci (ABP) 추정치:
   표준 그래디언트 $Du$를 매핑하는 대신, 저자들은 사상$G(z) = (|z_i|^p z_i)$에 대한 면적 공식(area formula)을 활용한다. 이 선택은 연산자의 구조에 의해 동기 부여되었으며, $Du$보다는$(|D_i u|^p D_i u)$의 이미지를 추정하는 데 효과적이다. 이를 통해 저자들은 pseudo-$p$-Laplacian의 특정한 스케일링 성질을 다룰 수 있다.

2. 이방성 함수를 이용한 슬라이딩 파라볼로이드(Sliding Paraboloid):
   Harnack 부등식을 확립하기 위해, 저자들은 슬라이딩 파라볼로이드 방법(Caffarelli와 Savin에 의해 원래 제안됨)을 적응시킨다. 표준 파라볼로이드($|x|^2$)는 좌표별 퇴화를 처리하는 데 실패한다. 대신, 저자들은 다음과 같은 이방성 "파라볼로이드" 함수를 도입한다:
   $$\phi(x) = -1 + \frac{p}{2+p} \left( |x_1|^{1+\frac{1}{1+p}} + \cdots + |x_n|^{1+\frac{1}{1+p}} \right).$$
   이 함수는 다음과 같은 중요한 항등식을 만족한다: $-(1+p)[|D_i \phi|^{p/2}] D^2 \phi [|D_i \phi|^{p/2}] = I_n$.

   중요한 기술적 난관은 $\phi(x)$가 퇴화가 발생하는 하이퍼플레인(hyperplanes) $\{z_i = 0\}$ 위에서 $C^2$가 아니라는 점이다. 이를 극복하기 위해 저자들은 **차원 축소 논법(dimensional reduction argument)**을 사용한다:

   • 접점(touching points)의 집합을 어떤 좌표 방향이 퇴화하는지($D_i u = 0$)와 어떤 방향이 비퇴화인지에 따라 분해한다.
   • 특정 미분값이 $0$이 되는 지점들에서, 저자들은 남은 방향들이 비퇴화인 저차원 슬라이스(하이퍼플레인)로 분석을 제한한다.
   • 이 슬라이스들 위에서 제한된 파라볼로이드는 매끄러우며, 이를 통해 면적 공식과 표준 측도 추정치를 적용할 수 있다.
   • 그 후 푸비니 정리(Fubini's theorem)를 사용하여 결과를 종합한다.

   유사한 전략이 doubling property를 증명하기 위한 장벽 함수(barrier function) $\Phi(x) = |\phi(x)|^{-a}$를 구축하는 데 적용된다.

주요 기여 및 결과
본 논문은 퇴화된 방정식의 점성 해에 대한 다음과 같은 근본적인 결과들을 확립한다:

1. Aleksandrov-Bakelman-Pucci (ABP) 추정치 (정리 1.1):
   저자들은 경계값과 소스 항 $f$의 $L^n$ 노름에 의해 해 $u$의 상한(supremum)을 제한하는 ABP 추정치를 증명한다. 구체적으로:
   $$\sup_{\Omega} u \leq \sup_{\partial \Omega} u^+ + C \|f^-\|_{L^n(\Gamma^+(u))}^{\frac{1}{1+p}},$$
   여기서 $\Gamma^+(u)$는 상부 접촉 집합(upper contact set)이다. 이 추정치는 $G$를 포함하는 수정된 면적 공식을 사용하여 도출된다.

2. Harnack 부등식 (정리 1.2):
   $f \in L^n$인 비음(non-negative) 해 $u$에 대하여, 본 논문은 다음의 Harnack 부등식을 증명한다:
   $$\sup_{B_{1/2}} u \leq C \left( \inf_{B_{1/2}} u + \|f\|_{L^n(B_1)}^{\frac{1}{1+p}} \right).$$
   이 결과는 이방성 파라볼로이드를 통해 유도된 측도 추정치(Lemma 4.1)와 이방성 장벽으로부터 유도된 doubling property(Lemma 5.1)를 결합하여 달성된다.

3. Hölder 정칙성 (따름정리 1.1):
   Harnack 부등식의 직접적인 결과로서, 저자들은 해의 국소 Hölder 연속성을 확립한다:
   $$\|u\|_{C^\alpha(B_{1/2})} \leq C \left( \|u\|_{L^\infty(B_1)} + \|f\|_{L^n(B_1)}^{\frac{1}{1+p}} \right).$$

의의 및 범위
본 논문은 비발산 형태의 이 특정 클래스인 퇴화된 완전 비선형 pseudo-$p$-Laplacian 방정식에 대한 최초의 기초적인 정칙성 이론(ABP 추정치 및 Harnack 부등식)을 제공한다고 주장한다. 저자들은 발산 형태(divergence form)의 경우 Moser iteration을 통해 정칙성이 잘 확립되어 있는 반면, 비발산 형태의 경우 연산자와 표준 $p$-Laplacian 사이의 동등성이 결여되어 있어 독특한 어려움이 존재함을 언급한다.

이 연구의 의의는 **경계 없는 좌표별 퇴화(unbounded coordinatewise degeneracy)**를 다룬다는 점에 있다. 저자들은 그래디언트 $|Du|$가 클 때만 퇴화하는 방정식에 대한 기존 결과들이 적용될 수 없음을 명시하는데, 이는 퇴화 집합이 훨씬 더 크기 때문이다. 본 논문의 기여는 이방성 함수를 사용하는 맞춤형 슬라이딩 파라볼로이드 방법과$D_i u = 0$에서의 특이점을 관리하기 위한 차원 축소 기법을 개발한 데 있다.

이 작업은 이방성 확산, 직교 모델(orthotropic models), 또는 층상 매질에서의 수송 현상에서 발생하는 편미분 방정식의 분석을 위한 기초적인 단계로 프레임화되어 있으며, 여기서는 개별 좌표 방향에 따라 반응이 달라지는 특성을 갖는다. 결과들은 고차 정칙성이나 구체적인 물리적 응용으로 확장하기보다는, 설정된 수학적 틀 내에서 "기초적인 정칙성"을 확립하는 데 중점을 두고 제시되었다.