Solvability of the Neumann problem for elliptic equations in chord-arc domains with very big pieces of good superdomains

기술 요약: 매우 큰 양질의 상위 도메인(Superdomains)을 가진 Chord-Arc 영역에서의 타원형 방정식에 대한 노이만 문제의 가해성

문제 정의
본 논문은 유계된 chord-arc 영역 $\Omega \subset \mathbb{R}^{n+1}$ 내에서 발산 형태(divergence form)의 타원형 연산자 $L = -\text{div}(A\nabla)$에 대한 노이만 문제의 가해성을 다룬다. 행렬 $A$의 계수는 Dini 평균 진동(DMO)을 갖는 것으로 가정한다. 핵심 과제는 chord-arc 영역 내에서 노이만 문제의 $L^p$ 가해성, 즉 $(N_p)_L$을 확립하는 것이다. 여기서 $1 < p \le 2$이다.

디리클레 문제 $(D_p)_L$과 정칙성 문제(regularity problem) $(R_p)_L$의 가해성은 라플라시안 및 특정 부류의 연산자(예: DKP 연산자)에 대해 chord-arc 영역에서 광범위하게 연구되고 해결되었으나, 노이만 문제는 훨씬 더 어려운 문제로 남아 있다. 디리클레 문제와 달리, 노이만 문제는 하위 도메인으로부터 원래의 도메인으로 가해성을 전이할 수 있게 해주는 극대 원리(maximum principle)가 결여되어 있다. 또한, 노이만 함수는 일정한 부호를 갖지 않으므로 양의 조화 측도(positive harmonic measure) 기법을 사용할 수 없다. 저자들은 특히 경계가 약한 $p$-푸앵카레 부등식(weak $p$-Poincaré inequality)을 지지하는 맥락에서, Kenig와 이후 Toro가 강조했던 chord-arc 영역에서의 $(N_p)_L$ 가해성 여부에 관한 열린 문제를 목표로 한다.

방법론
저자들은 "good $\lambda$" 부등식 논증을 결합한 부트스트래핑(bootstrapping) 절차와 쌍대성(duality)을 사용한다. 이 방법론은 다음과 같은 몇 가지 핵심적인 기술적 구성 요소에 의존한다:

1. 쌍대 형식 및 거친 노이만 문제(Rough Neumann Problems): 저자들은 "거친 노이만 문제"와 $\rho$-매끄러운 버전을 포함한 노이만 문제의 변형들을 도입한다. 그들은 쌍대성 논증을 활용하여 노이만 문제 $(N_p)_L$의 가해성을 로렌츠 공간($L^{p', \infty}$)에서의 인접 연산자 $L^*$에 대한 "거친" 노이만 문제의 가해성과 연결한다. 구체적으로, 만약 어떤 $q > p$에 대해 정칙성 문제 $(R_q)_L$이 가해적이라면, $(N_p)_L$은 $(N^R_{L^{p'}})_{L^*}$의 가해성과 동치임을 확립한다.

2. 국소화 및 상위 도메인(Superdomains): 핵심적인 혁신은 "매우 큰 조각들(very big pieces)"의 상위 도메인을 사용하는 것이다. 저자들은 경계 위의 모든 공 $B(\xi, r)$에 대하여, $\Omega \cap B(\xi, r) \subset U_{\xi,r}$를 만족하는 "상위 도메인" $U_{\xi,r}$($C^2$-chord-arc 영역)이 존재한다고 가정한다. 결정적으로, 노이만 문제는 이 상위 도메인들에서 균등하게 가해적이라고 가정된다. 이 조건은 "나쁜" 경계 부분 $\partial \Omega \setminus \partial U_{\xi,r}$이 공에 비해 작은 측도를 가져야 함을 요구한다(파라미터 $\varepsilon$에 의해 제어됨).

3. Good $\lambda$ 부등식 및 보간(Interpolation): 주 정리의 증명은 다음과 같은 추정식을 확립하는 것에 의존한다:
   $$C_L(N^R_{L^{p'}, L^{p', \infty}}) \le K(1 + \varepsilon^a C_L(N^R_{L^{p'}, L^{p', \infty}}))$$
   여기서 $C_L$은 가해성 상수를 나타낸다. $\varepsilon$을 충분히 작게 선택함으로써, 우변의 미지수 상수가 포함된 항을 흡수하여 균등한 유계(uniform bound)를 얻을 수 있다. 이 추정식은 노이만 함수와 그 성질(Moser 추정, 횔더 연속성)을 활용하여 해를 국소 부분과 원거리 부분으로 분해하는 국소화 르마(Localization Lemma, Lemma 4.3)를 통해 도출된다.

4. 근사 및 밀도(Approximation and Density): 저자들은 경계 데이터와 연산자 계수의 매끄럽지 못함을 처리하기 위해 $\rho$-매끄러운 항등 근사($S_\rho$)를 사용한다. 그들은 매끄러운 버전의 가해성이 밀도 논증과 로렌츠 공간 사이의 보간을 통해 거친 버전의 가해성을 함의함을 증명한다.

주요 기여 및 결과
주요 결과는 정리 1.1이다:
$\Omega \subset \mathbb{R}^{n+1}$를 유계된 $C^1$-chord-arc 영역이라 하고, $L \in \text{EDMO}(\mathbb{R}^{n+1})$라고 하자. $p \in (1, 2)$일 때, 다음을 만족하면:

1. 어떤 $q > p$에 대해 $\Omega$에서 정칙성 문제 $(R_q)_L$이 가해적이고;
2. $\partial \Omega$가 약한 $p$-푸앵카레 부등식을 지지하며;
3. $\Omega$가 (측도 차이가 $\varepsilon$-작은) $(N_q)_L$이 균등하게 가해적인 $C^2$-chord-arc 도메인인 "매우 큰 조각들"의 상위 도메인 $U_{\xi,r}$을 가진다면;

$\Omega$에서 노이만 문제 $(N_p)_L$은 가해적이다.

특정 따름정리(따름정리 1.2)는 이를 라플라시안($\Delta$)에 적용한다. 이는 만약 $(R_q)_\Delta$가 $C^1$-chord-arc 영역에서 가해적이고, 해당 도메인이 노이만 문제가 균등하게 가해적인 리프시츠(Lipschitz) 상위 도메인의 "매우 큰 조각들"을 가진다면, $(N_p)_\Delta$는 가해적임을 단언한다.

의의 및 주장
본 논문은 정리 1.1이 라플라스 연산자에 대해서도 새로운 결과라고 주장한다. 저자들은 $(N_2)_\Delta$의 리프시츠 영역에서의 가해성(Jerison-Kenig)은 고전적인 결과이지만, 이를 더 거친 도메인(chord-arc)에서 $p \neq 2$인 $L^p$로 확장하는 것은 미해결 문제였다고 언급한다.

그 의의는 다음과 같다:

• 극대 원리의 결여 극복: 저자들은 노이만 문제에서는 사용할 수 없는 극대 원리에 의존하지 않고, "양질의" 상위 도메인으로부터 "거친" 도메인 $\Omega$로 가해성을 전이하는 방법을 제공한다.
• Kenig의 열린 문제 해결: 본 연구는 chord-arc 영역에서 노이만 문제가 가해적인 $p > 1$이 존재하는지에 대한 Kenig(1991)와 Toro(2010)의 질문에 진전을 가져왔다.
• 쌍대성 및 거친 노이만 문제: 본 논문은 "거친" 노이만 문제의 정식화와 정칙성 문제와의 쌍대성을 도입하고 활용함으로써, 비매끄러운 환경에서의 경계값 문제의 가해성에 대한 새로운 관점을 제시한다.
• 조건의 최적성: 저자들은 "good $\lambda$" 부등식에서 오차 항을 흡수하기 위해 "매우 큰 조각들" 조건(작은 $\varepsilon$)이 필요함을 인정한다. 그들은 이 정리의 반복적인 적용을 통해 결국 더 큰 $\varepsilon$(1에 가까운)을 커버하여 모든 chord-arc 도메인에 적용할 수 있을 가능성을 논의하지만, 이는 상수들의 의존성으로 인한 잠재적 어려움이 남아 있다.

본 논문은 모든 chord-arc 도메인에 대해 무조건적으로 노이만 문제를 해결한다고 주장하는 것이 아니라, 이미 가해성이 알려진 "매우 큰 조각들"의 상위 도메인을 가진다는 특정한 기하학적 조건을 충족할 때의 가해성을 확립한다. 이 결과는 리프시츠(또는 $C^2$) 도메인과 더 일반적인 chord-arc 설정 사이의 간극을 메운다.