$L^p$-solvability of boundary value problems for the Laplacian in locally flat unbounded domains

기술 요약: 국소적으로 평탄한 무한 영역에서의 라플라시안에 대한 경계값 문제의 $L^p$-가해성

문제 정의
본 연구는 특정 기하학적 정규성을 가진 무한 영역에서의 라플라시안에 대한 디리클레(Dirichlet) 및 노이만(Neumann) 경계값 문제의 $L^p$-가해성을 다룬다. 구체적으로, 저자는 $\mathbb{R}^{n+1}$ ($n \ge 2$) 내의 두 방향 삭 아크 도메인(two-sided chord-arc domains, 2-sided CAD)인 $\delta$-$(s, S; R)$ 도메인을 조사한다. 이 도메인들은 대규모 스케일에서 "국소적으로 평탄한" 특성을 가지며, 평탄함의 결여는 유한 개의 다이아딕(dyadic) 경계 볼(ball)로 제한된다. 주요 과제는, 법선 벡터의 BMO 노름이 전역적으로 작아야 했던 기존의 유계 도메인이나 전역적으로 작은 BMO 노름을 가진 도메인에 대한 가해성 결과를, 법선 벡터의 진동이 전역적으로 작지 않을 수 있는 이러한 부류의 무한 도메인으로 확장하는 것이다.

방법론
본 논문은 이중 및 단일 층 포텐셜(double and single layer potentials)과 관련된 경계 적분 연산자의 가역성에 초점을 맞추어 층 포텐셜법(method of layer potentials)을 채택한다. 핵심 전략은 다음과 같은 단계들을 포함한다:

1. 이중 층 포텐셜의 분해: 이중 층 포텐셜 연산자 $K$를 스케일에 따라 작은 스케일($K_s$), 중간 스케일($K_i$), 그리고 큰 스케일($K_l$) 성분으로 분해한다.
2. 컴팩트성 및 작은 노름 추정:
   • 중간 스케일 연산자(큰 볼에 국소화된)는 힐베르트-슈미트(Hilbert-Schmidt) 논증과 보간법을 사용하여 컴팩트함을 보인다.
   • 작은 스케일 연산자는 작은 스케일에서의 국소적 평탄함(법선 벡터의 작은 BMO 노름) 덕분에, Semmes의 분해와 good-$\lambda$ 부등식을 활용하여 작은 노름을 가짐을 보인다.
   • 결정적인 기술적 기여는 큰 스케일 연산자의 추정에 있다. 전역적 작음을 가정했던 이전 연구들과 달리, 저자는 정지 시간 논증(stopping-time argument, David-Semmes에서 영감을 얻음)을 사용하여 큰 스케일에서의 립시츠 그래프 근사를 구성한다. 도메인의 경계를 이 립시츠 그래프와 비교함으로써, 저자는 Jones의 $\beta_\infty$ 계수와 법선 벡터의 BMO 노름이 큰 스케일에서 충분히 작다면 큰 스케일 성분의 연산자가 작은 노름을 가짐을 입증한다.
3. 프레드홀름 이론(Fredholm Theory): $K$가 $L^p$ 노름에서 컴팩트 연산자에 매우 가깝다는 것을 보여줌으로써, 프레드홀름 이론을 적용한다. 이를 통해 연산자의 가역성 문제를 $\pm \frac{1}{2}I + K^*$의 단사성(injectivity)을 증명하는 문제로 환원시킨다.
4. 단사성을 통한 유일성: $\pm \frac{1}{2}I + K^*$의 단사성은 동차 노이만 및 디리클레 문제의 해의 유일성과 연결된다. 저자는 특정 $p$ 범위 내에서 그래디언트의 비접선 최대 함수(nontangential maximal function)가 $L^p$에 속하는 조화 함수는 상수(노이만) 또는 영(디리클레)이어야 함을 증명한다. 이는 에너지 추정, 균일 도메인에서의 포앵카레 부등식, 그리고 단일 층 포텐셜의 하조화(subharmonic) 성질에 의존한다.

주요 기여 및 결과

• 정리 1.4 (컴팩트 근사): $\delta$-$(s, S; R)$ 도메인에 대한 주요 구조적 결과로, 평탄성 파라미터 $\delta$가 충분히 작으면 이중 층 포텐셜 $K$와 그 수반 연산자 $K^*$가 $L^p$ 연산자 노름에서 컴팩트 연산자에 의해 임의로 잘 근사될 수 있음을 확립한다. 이를 통해 프레드홀름 대안 이론의 적용을 가능하게 한다.
• 정리 1.2 ($L^p$-디리클레 문제): 임의의 $p_0 \in (\frac{n}{n-1} - \varepsilon_D, \frac{2n}{n-1}]$에 대하여, 만약 도메인이 $\delta \le \delta_0$인 $\delta$-평탄하다면 $\frac{1}{2}I + K$는 $L^{p_0}(\sigma)$에서 가역적이다. 결과적으로 디리클레 문제 $(D_{p_0})$는 가해적이다. 또한, Gehring의 레마에 의해 가해성은 열린 구간 $(p_0 - \varepsilon, \infty)$로 확장된다.
• 정리 1.3 ($L^p$-노이만 문제): 임의의 $p \in [\frac{2n}{n+1}, n + \varepsilon_N)$에 대하여, 만약 도메인이 $\delta$-평탄하다면 $-\frac{1}{2}I + K^*$는 $L^p(\sigma)$에서 가역적이다. 이는 해가 상수 차이를 제외하고 유일한 노이만 문제 $(N_p)$의 가해성을 보장한다.
• 유일성 결과: 본 논문은 지정된 $p$ 범위 내에서 무한한 2-방향 삭 아크 도메인에서의 동차 노이만 및 디리클레 문제의 해의 유일성에 대한 엄밀한 증명을 제공한다. 구체적으로, $N(\nabla u) \in L^p(\sigma)$이고 $\partial_\nu u = 0$이면, $p \in [\frac{2n}{n+1}, n + \varepsilon)$일 때 $u$는 상수임을 증명한다.

의의 및 범위
본 논문은 기하학적 평탄성이 전역적이지 않고(전역적으로 평면에 가깝지 않더라도) 점진적으로 평탄한(asymptotically flat) 경우를 포함하는, 무한한 두 방향 삭 아크 도메인에서의 디리클레 및 노이만 문제에 대한 최초의 $L^p$-가해성 결과를 확립했다고 주장한다.

본 연구는 법선 벡터가 전역적으로 작은 BMO 노름을 가져야 했던 최근의 결과들(예: Marín 등, [MMM+22a])과 구별된다. 여기서 "국소적으로 평탄한" 조건은 도메인이 전역적으로 평면에 가깝지는 않지만 점진적으로 평탄할 수 있게 한다.

저자는 노이만 문제의 외삽(extrapolation)에 관한 한계를 언급한다. 디리클레 문제의 가해성은 Gehring의 레마를 통해 $p=\infty$까지 확장되는 반면, 노이만 문제의 가해성은 현재 $p \in [\frac{2n}{n+1}, n + \varepsilon)$ 범위 내에서만 확립되어 있다. 본 논문은 노이만 결과를 더 넓은 범위로 외삽하기 위한 전제 조건인 정칙성 문제(regularity problem) $(R_p)$의 가해성을 이 설정에서 해결한다고 주장하지 않는다. 따라서 노이만 가해성 범위는 $n + \varepsilon$에 의해 상한이 제한된다.

결과들은 특히 라플라시안을 위해 도출되었으나, 저자는 Dini 평균 진동 계수를 가진 발산형 연산자(divergence-form operators)로의 일반화가 해당 분야의 최근 발전과 관련하여 자연스러운 향후 연구 방향임을 시사한다.