Perron solutions and boundary regularity for nonlocal nonlinear Dirichlet problems

기술 요약: Perron 해법과 비로컬 비선형 디리클레 문제의 경계 정칙성

문제 정의
본 논문은 유계된 열린 집합 $\Omega \subset \mathbb{R}^n$에서 정의된, 분수 차수 $p$-라플라스 유형의 비로컬 비선형 연산자 $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,$$
여기서 $1 < p < \infty$, $0 < s < 1$이며, $k$는 $|x-y|^{-n-sp}$와 유사한 타원형 조건을 만족하는 대칭 가측 커널이다. $L$의 비로컬(nonlocal) 특성으로 인해, 디리클레 데이터 $g$는 경계 $\partial \Omega$뿐만 아니라 전체 여집합 $\Omega^c$ 상에서도 지정되어야 한다.

핵심적인 과제는, 유계이고 연속인 외부 데이터에 대해서도, 지정된 경계값이 항상 해의 극한으로서 도달되는 것은 아니라는 점이다. 따라서 이 문제는 완화된 의미에서 이해되어야 한다. 저자들은 두 가지 구별되는 접근 방식을 조사한다:

1. 소볼레프 해 ($H_g$): 분수 소볼레프 공간 $V^{s,p}(\Omega)$에 기반한 약해(weak) 해.
2. Perron 해 ($P_g$): $L$-초조화 함수(L-superharmonic functions)를 사용하는 Perron 방법을 통해 구성된 해.

이러한 접근 방식은 두 가지 서로 다른 경계 정칙성 개념을 낳는다: 소볼레프 정칙성(Sobolev regularity)과 Perron 정칙성(Perron regularity)이다. 본 연구의 주요 목적은 이 두 정칙성 개념 사이의 관계를 확립하고 경계점의 정칙성을 규명하는 것이다.

방법론
저자들은 분수 선형 및 비선형 연산자에 관한 기존 연구를 확장하여, 비로컬 비선형 방정식에 대한 포괄적인 Perron 해 이론을 전개한다. 방법론은 다음과 같다:

• Perron 해의 재정의: 저자들은 Perron 해의 상부 클래스(upper class)에 대한 새로운 정의를 제안한다. $u=g$가 $\Omega^c$에서 거의 어디서나(almost everywhere) 성립해야 했던 기존의 정의(예: Korvenpää–Kuisi–Palatucci [36])와 달리, 새로운 정의는 $\Omega^c$에서 $u \ge g$인 것만을 요구한다. 이러한 수정은 비가측 함수를 포함하여 임의의 외부 데이터 $g: \Omega^c \to [-\infty, \infty]$에 대해 Perron 해를 정의할 수 있게 하며, $g_1 \le g_2$일 때 $P_{g_1} \le P_{g_2}$라는 단조성을 보장한다.
• 함수 공간 및 용량(Capacity): 연구에는 분수 소볼레프 공간 $V^{s,p}(\Omega)$와 테일 공간(tail spaces) $L^{p-1}_{sp}(\Omega^c)$가 활용된다. 핵심적인 기술적 요소는 두 가지 용량, 즉 소볼레프 용량 $C_{s,p}$와 콘덴서 용량(condenser capacity) $c_{s,p}$에 대한 분석이다. 저자들은 용량이 0인 집합들에 대해 이들의 동등성을 확립한다.
• 켈로그 성질(Kellogg Property): 중요한 방법론적 단계는 소볼레프 부정칙 경계점의 집합이 소볼레프 용량이 0임을 단언하는 켈로그 성질을 증명하는 것이다. 이는 (용량 동등성을 통해 암묵적으로 사용되는) Caffarelli–Silvestre 확장을 통해 비로컬 문제를 $\mathbb{R}^{n+1}$에서의 가중치 $p$-라플라스 방정식과 연관시킴으로써 달성된다.
• **장애물 문제(Obstacle Problems): 수렴과 정칙성을 연구하기 위한 도구로 장애물 문제를 활용한다. 저자들은 장애물 문제의 해들의 수렴 결과를 증명하며, 이는 소볼레프 해와 Perron 해 사이의 일치를 확립하는 데 필수적이다.
• 비교 원리: 증명은 디리클레 문제, 장애물 문제, 그리고 $L$-초조화 함수에 대한 비교 원리에 크게 의존한다.

주요 기여 및 결과

1. 정칙성의 동등성: 논문의 주요 결과(정리 1.7)는 소볼레프 정칙성과 Perron 정칙성이 동등함을 확립한다. 경계점 $x_0$는 소볼레프 정칙적일 필요충분조건으로 Perron 정칙적이다. 이 동등성은 이 계열의 연산자들에 대해 두 유형의 정칙성 사이의 구분이 불필요함을 시사한다.
2. 정칙점의 특징 규명: 저자들은 정칙 경계점에 대한 여러 동등한 특징들을 제공한다:
   • 콘덴서 용량을 이용한 위너 기준(Wiener criterion) (정리 4.2, 정리 1.7(e)).
   • 해당 점에서의 장벽(barrier)의 존재 (정리 1.7(f)).
   • 특정 테스트 데이터(예: $d_{x_0}(x) = \min\{1, |x-x_0|\}$)에 대한 해의 극한 거동.
   • 장애물 $d_{x_0}$를 가진 장애물 문제의 해의 거동.
3. 해결 가능성(Resolutivity) 및 불변성: 광범위한 외부 데이터에 대한 해결 가능성 결과를 증명한다. 구체적으로, $g$가 경계에서 유계이고 연속이거나(또는 용량이 0인 집합 외부에서 연속이면), Perron 해 $P_g$는 소볼레프 해 $H_g$와 일치한다. 또한, $P_g$가 용량이 0인 집합 상의 외부 데이터 섭동에 대해 불변함을 보여준다 (정리 1.3, 정리 1.4).
4. 유일성: 경계에서 거의 어디서나(quasi-everywhere) 지정된 연속 외부 데이터를 갖는 유계 해에 대한 유일성 결과가 얻어진다 (정리 1.6).
5. Perron 해의 성질: 임의의 데이터 $g$에 대해, 상부 Perron 해 $P_g$는 $\Omega$ 내에서 연속이거나 항등적으로 $\pm \infty$이다. 만약 $g$가 테일 공간 $L^{p-1}_{sp}(\Omega^c)$에 속한다면, $P_g$는 $\Omega$ 내에서 $L$-조화 함수이거나 항등적으로 $\pm \infty$이다 (정리 1.2).
6. 장애물 문제로의 확장: 정칙성 개념의 동등성을 장애물 문제로 확장하여, 장애물 문제의 경계 정칙성이 디리클레 문제의 경계 정칙성과 동등함을 보여준다 (정리 10.3).

의의
본 논문은 이전 연구들([36] 및 [39])에서 시작된 비로컬 비선형 이론을 실질적으로 확장한다고 주장한다. 그 의의는 다음과 같다:

• 통합: 소볼레프 정칙성과 Perron 정의의 동등성을 증명함으로써, 비로컬 비선형 환경에서 이전에 구별되었던 두 가지 경계 정칙 접근 방식을 통합한다.
• 일반성: 새로운 Perron 해 정의는 비가측 함수를 포함한 임의의 외부 데이터를 허용하며, 이는 이전의 제한적인 정의에서는 불가능했던 것이다.
• 강건성: 해결 가능성과 용량이 0인 섭동에 대한 불변성에 관한 결과는 데이터가 불규칙하거나 거의 어디서나 정의된 경우에도 디리클레 문제를 풀 수 있는 강건한 프레임워크를 제공한다.
• 기초적 도구: 켈로그 성질의 확립과 비로컬 연산자를 위한 용량의 상세한 분석은 분수 차수 연산자에 대한 비선형 잠재론 연구를 위한 기초적인 도구를 제공한다.

저자들은 소볼레프 정칙성에 대한 위너 기준은 최근 Kim–Lee–Lee [31]와 Björn [8]에 의해 얻어졌으나, Perron 정칙성과의 동등성 및 장벽과 장애물 문제를 통한 정칙점의 포괄적인 특징 규명이 본 연구의 독창적인 기여임을 밝히고 있다. 결과는 표준적인 분수 $p$-라플라시안뿐만 아니라 타원형 조건을 만족하는 일반적인 커널에 대해서도 유효하다.