The Wiener criterion for nonlocal Dirichlet problems

기술 요약: 비국소 디리클레 문제에 대한 위너 기준(Wiener Criterion)

문제 정의
본 논문은 비선형 비국소 타원형 연산자 클래스와 관련된 디리클레 문제의 해의 경계 정칙성(boundary regularity)을 다룬다. 저자들은 다음과 같은 형태의 연산자 $L$을 고려한다:
$$Lu(x) = 2 \, \text{p.v.} \int_{\mathbb{R}^n} |u(x) - u(y)|^{p-2}(u(x) - u(y))k(x, y) \, dy$$
여기서 $s \in (0, 1)$, $p > 1$이며, 커널 $k(x, y)$는 타원성 조건 $\Lambda^{-1}|x-y|^{-n-sp} \le k(x, y) \le \Lambda|x-y|^{-n-sp}$를 만족한다. 이 클래스에는 모델 케이스로서 분수 차수 $p$-라플라시안(fractional $p$-Laplacian)이 포함된다.

핵심 질문은 경계점 $x_0 \in \partial \Omega$의 정칙성을 규명하는 것이다. 점은 정칙적(regular)이라고 정의되는데, 이는 임의의 연속 경계 데이터 $g$에 대하여, 경계값 $g$를 갖는 유일한 $L$-조화해(L-harmonic solution) $u$가 $\lim_{\Omega \ni x \to x_0} u(x) = g(x_0)$를 만족하는 경우를 의미한다. 위너 기준은 국소적인 경우(라플라시안 및 2계 준선형 연산자)에서 정칙성을 위한 필요충분조건을 제공하지만, 측정 가능한 계수를 가진 일반적인 비선형 비국소 연산자에 대한 대응물은 아직 확립되지 않은 상태였다. 비국소 연산자에 대한 기존 결과들은 충분조건(예: 외부 구 또는 원뿔 조건)이나 분수 차수 라플라시안과 같이 특정된 사례에 국한되어 있었다.

방법론
저자들은 비국소 비선형 포텐셜 이론을 사용하여 위너 기준을 확립한다. 증명은 충분성과 필요성이라는 두 가지 주요 부분으로 나뉜다.

1. 경계까지의 국소 추정(Local Estimates up to the Boundary):
   저자들은 먼저 약해(weak solutions)에 대한 경계 변형 내부 추정치를 확립한다. 이들은 약한 부해(subsolutions)에 대한 국소 유계성과 약한 초해(supersolutions)에 대한 약한 하르낙 부등식(weak Harnack inequality)을 경계까지 확장하여 증명한다. 비국소적 설정에서 중요한 기술적 난제는 장거리 상호작용을 인코딩하는 "비국소 꼬리(nonlocal tail)" 항이다. 저자들은 꼬리 항을 처리하기 위해 국소화 기법(Caccioppoli 유형 추정 및 Moser의 반복법)을 적응시키며, 꼬리 항이 중간 추정치에는 영향을 미치지만 위너 적분의 맥락에서는 제어될 수 있음을 보여준다.

2. 충분성 ("If" 방향):
   위너 적분의 발산이 정칙성을 함의함을 증명하기 위해, 저자들은 위너 적분이 발산함에도 불구하고 경계점이 부정칙적(irregular)이라고 가정한다. 이들은 경계 데이터와 관련된 특정한 약한 초해를 구성하고, 도메인의 여집합(경계점 근처)의 $(s, p)$-용량(capacity)과 해의 거동을 연결하는 추정치를 유도한다. 도메인을 환형(annuli)으로 분해하고 꼬리 항을 반복적으로 분석함으로써, 위너 적분의 발산이 해가 경계값을 따르도록 강제하여 모순을 일으킨다는 것을 보여준다.

3. 필요성 ("Only If" 방향):
   역의 경우, 저자들은 연산자 $L$과 $(s, p)$-용량 사이의 관계를 $L$-초조화 함수(L-superharmonic functions) 및 $L$-포텐셜을 통해 활용한다. 이들은 연관된 측도($L$-분포)에 대한 울프 포텐셜(Wolff potential)을 사용하여 비음의 $L$-초조화 함수에 대한 점별 추정치를 확립한다.

• 기술적 혁신: 근사법(SOLA)의 극한으로서 얻어진 해들에 대한 기존의 점별 추정치는 $p > 2 - s/n$이라는 제한을 필요로 했다. 전체 범위 $p > 1$을 다루기 위해, 저자들은 국소 연산자에서 사용된 것과 유사하지만 비국소 꼬리에 맞게 조정된 반복 스킴을 따라 $L$-초조화 함수를 위한 새로운 울프 포텐셜 증명을 도입한다.
• $L$-분포의 울프 포텐셜과 위너 적분을 연결함으로써, 만약 위너 적분이 수렴한다면 해가 경계값을 갖지 못하며, 이는 부정칙성을 의미함을 입증한다.

주요 기여 및 결과
주요 결과는 정리 1.1로, 경계점 $x_0 \in \partial \Omega$가 $L$에 대해 정칙적일 필요충분조건은 다음의 위너 적분이 발산하는 것이다:
$$\int_0 \left( \frac{\text{cap}_{s,p}(B_\rho(x_0) \setminus \Omega, B_{2\rho}(x_0))}{\rho^{n-sp}} \right)^{\frac{1}{p-1}} \frac{d\rho}{\rho} = +\infty$$
여기서 $\text{cap}_{s,p}$는 $(s, p)$-용량을 나타낸다.

이 결과의 핵심 측면은 다음과 같다:

• 일반성: 이 기준은 분수 차수 라플라시안뿐만 아니라 측정 가능한 계수를 가진 광범위한 비선형 비국소 연산자 클래스에 적용된다.
• 날카로움(Sharpness): 이 결과는 기하학적 조건(외부 원뿔, corkscrew 등)이 충분조건인 것과 달리, 필요충분조건을 제공한다.
• 연산자 독립성: 직접적인 결과로서 (결론 1.2), 경계점의 정칙성은 (타원성 경계를 만족하는 한) 특정 커널 $k$가 아니라 차원 $n$, 차수 $s$, 지수 $p$에 의해서만 결정된다.
• $p$의 범위: 결과는 모든 $p > 1$에 대해 성립하며, 특정 측도에 대한 해의 존재를 위해 $p > 2 - s/n$을 요구했던 이전의 한계를 극복했다.

의의
본 논문은 위너 적분의 완전한 기준을 확립함으로써 참고 문헌 [46]의 **열린 문제 7(Open Problem 7)**을 해결했다고 주장한다. 저자들은 놀라운 현상을 강조한다: 방정식의 비국소적 성격(해의 값이 도메인 외부의 먼 값에도 의존함)에도 불구하고, 경계 정칙성을 위한 조건은 경계의 국소적 기하학, 즉 점 근처의 여집합의 용량에 의해 완전히 결정된다는 것이다. 중간 추정치에 존재하는 장거리 상호작용(꼬리 항)은 위너 적분 조건의 강도에 의해 "흡수"되는 것으로 나타난다.

이 연구는 경계 정칙성에 관한 고전적 이론을 국소적 2계 연산자에서 비국소 비선형 설정으로 확장하며, 포텐셜 이론의 관점을 통해 국소 및 비국소 프레임워크 간의 정칙성에 대한 이해를 통합한다.