The $L^p$ Neumann problem for parabolic operators with coefficients satisfying small Carleson condition

기술 요약: 작은 카를로슨 계수를 가진 포물형 연산자에 대한 $L^p$ 노이만 문제

문제 정의
본 논문은 유계 또는 무계 립시츠 영역 $\mathcal{O} \subset \mathbb{R}^n$에 대하여 파라볼릭 실린더 $\Omega = \mathcal{O} \times \mathbb{R}$ 상의 다음과 같은 형태의 포물형 편미분 방정식(PDE)에 대한 노이만 경계값 문제의 해 존재성을 다룬다:
$$-\partial_t u + \text{div}(A\nabla u) = 0$$
계수 행렬 $A(X, t)$는 비대칭적이고, 시간에 따라 변하며, 유계 측정 가능한 계수를 갖는 균등 타원형(uniformly elliptic)으로 가정된다.

핵심 과제는 모든 $1 < p < \infty$에 대하여 노이만 문제(이하 $(N)_p^L$로 표기)의 $L^p$ 해 존재성을 확립하는 것이다. 구체적으로, 노이만 데이터 $g \in L^p(\partial\Omega)$가 주어졌을 때, 기울기의 비접선 최대 함수(non-tangential maximal function) $\tilde{N}(\nabla u)$가 다음 추정식을 만족하는 해 $u$의 존재를 증명하는 것이 목표이다:
$$\|\tilde{N}(\nabla u)\|_{L^p(\partial\Omega)} \leq C \|g\|_{L^p(\partial\Omega)}.$$
계수는 "작은 카를로슨 조건(small Carleson condition)"을 만족한다고 가정한다. 이 조건은 경계까지의 거리 $\delta(Y,s)$에 의해 정의되는 카를로슨 측도 $\mu$를 통해 계수의 정칙성을 정량화한다:
$$d\mu = \sup_{B_{\delta/2}(X,t)} \left( \delta(Y,s)|\nabla A|^2 + \delta(Y,s)^3|\partial_t A|^2 \right) dX dt,$$
여기서 $\delta(X,t)$는 경계까지의 파라볼릭 거리이다. 주요 결과는 카를로슨 노름 $\|\mu\|_C$와 영역의 립시츠 상수가 충분히 작다는 가정하에 성립한다.

방법론
저자들은 타원형 이론의 기법을 포물형 설정에 적응시키되, 시간 의존성과 비대칭성을 처리하기 위한 특수한 수정 사항을 도입하여 다단계 전략을 채택한다.

1. 매끄러운 계수로의 환원:
   증명은 거친 계수 $A$를 더 강한 정칙성 조건(구체적으로 경계까지의 거리에 따른 가중치가 부여된 미분값에 대한 유계성)을 만족하는 매끄러운 행렬 $B$로 근사하는 것으로 시작한다. 이를 통해 섭동 논법(Theorem 3.1)을 통해 오차를 제어하면서 표준 PDE 추정식을 적용할 수 있다.

2. 사전 추정(A Priori Estimates) 및 부트스트랩(Bootstrap):
   매끄러운 데이터와 계수에 대해 비접선 최대 함수의 유한성 $\|\tilde{N}(\nabla u)\|_{L^p}$를 확립하는 데 상당한 노력을 기울인다. 이는 포물형 설정에서 매우 까다로우며 다음과 같은 "부트스트랩" 과정을 필요로 한다:

   • 1단계: 에너지 방법과 Caccioppoli 유형의 부등식을 사용하여 접선 미분 $\nabla_T u$와 코노멀 미분(conormal derivative) $H = \sum a_{nj}\partial_j u$에 대한 초기 정칙성을 확립한다.
   • 2단계: $\nabla_T u$와 $H$가 만족하는 비균질 PDE를 활용한다. 결정적으로, $H$는 섹션 4.2에서 유도된 특정 PDE를 만족하며, 이를 통해 저자들은 관계식 $\partial_n u = a_{nn}^{-1}(H - \sum_{j<n} a_{nj}\partial_j u)$를 통해 법선 미분 $\partial_n u$를 제어할 수 있다.
   • 3단계: Moser 반복법을 적용하여 유계 집합 위에서 $\nabla u$의 정칙성을 $L^2$에서 $L^\infty$로 개선하고, 무계(unbounded) 사례의 경우 열핵(heat kernel) 감쇄 추정치를 사용한다.

3. 스퀘어 함수(Square Function) 및 최대 함수 추정:
   증명의 핵심은 비접선 최대 함수와 스퀘어 함수 사이의 상호 유계성(mutual boundedness)을 확립하는 것이다.

   • $N < S_p$ 추정: 비접선 최대 함수가 $p$-적응형 스퀘어 함수 $S_p$에 의해 유계임을 증명한다. 이는 정지 시간(stopping time) 논법을 포함하는 "good-$\lambda$" 부등식 기법과 수정된 비접선 원뿔 구조(Section 5)를 사용하여 달성된다.
   • $S_p$의 제어: 접선 기울기와 코노멀 미분 $H$에 대한 $p$-적응형 스퀘어 함수는 경계 데이터에 의해 제어된다. 여기에는 복잡한 부분 적분과, 카를로슨 노름의 작음을 이용하여 미분을 계수로 전이시키기 위해 $H$와 $\nabla_T u$가 만족하는 PDE를 활용하는 과정이 포함된다.

4. 국소화(Localization):
   유계 립시츠 실린더의 경우, 국소화 기법과 경계 데이터의 지지 집합으로부터의 지수적 해의 감쇄를 통해 무계 영역(상반평면)에서의 결과를 도출한다.

주요 기여 및 결과

• 주요 정리 (Theorem 1.6): 본 논문은 카를로슨 노름과 영역의 립시츠 상수가 충분히 작을 경우, 모든 $1 < p < \infty$에 대해 립시츠 실린더 상에서 $L^p$ 노이만 문제가 해결됨을 증명한다. 해는 $\|\tilde{N}(\nabla u)\|_{L^p} \leq C \|g\|_{L^p}$라는 날카로운 추정식을 만족한다.
• 타원형 결과의 포물형 유사물: 이 연구는 작은 카를로슨 노름 영역에서 [19]에 의해 확립된 타원형 노이만 결과의 포물형 유사물을 완성한다. 이는 시간 가변적 포물형 행렬에 대한 최신 기술 수준을 타원형 대응물과 완전히 일치시킨다.
• 시간 가변 계수 처리: 이전 연구들이 횡단적 공간 변수로부터의 독립성이나 시간 불변성을 요구했던 것과 달리, 본 논문은 완전히 시간에 따라 변하는 비대칭 행렬을 다룬다.
• $p$-적응형 스퀘어 함수: 저자들은 $p$-적응형 스퀘어 함수 기법(본래 [17]에서 유래)을 포러블릭 Neumann 문제에 성공적으로 적용하였으며, Regularity 문제에서의 반-시간 미분(half-time derivative)의 비국소적 특성과 관련된 어려움을 극복하였다.
• 반-시간 미분 제어의 이분법: 부록 A에서 저자들은 반-시간 미분 $D_t^{1/2}u$의 제어에 관한 새로운 관찰을 제시한다. 그들은 이러한 제어가 무계 영역(특히 $p \leq 2$인 경우)에서는 가능하지만, 유계 영역에서는 불가능함을 보여준다. 이는 Regularity 문제와 대조되며, 유계 영역과 무계 영역의 포물형 도메인에서 노이만 데이터의 행동 차이를 강조한다.

의의 및 범위
본 논문은 작은 카를로슨 노름 영역에서 거친 계수를 가진 포물형 노이만 문제의 해 존재성에 관한 오랜 미결 과제를 해결한다. 이는 저자들의 이전 연구인 포물형 Regularity 문제 [14] 및 Dirichlet 문제 [9, 11, 18]를 보완한다.

저자들은 "큰 카를로슨 노름" 영역은 $n > 2$인 경우 타원형의 경우에도(최근 2D에서 해결됨) 여전히 미해결 상태임을 명시한다. 현재의 연구는 엄격하게 작은 노름 영역에 한정되며, 추정식에서 오차 항을 흡수하기 위해 카를로슨 상수의 작음에 의존한다. 방법론은 코노멀 미분이 만족하는 PDE의 특정 구조와 접선 미분 및 법선 미분 사이의 세심한 상호작용에 크게 의존하며, 이는 타원형과 비교했을 때 포물형 설정의 뚜렷한 특징이다.