Removable singularities for nonlocal minimal graphs

기술 요약: 비국소적 최소 그래프의 제거 가능한 특이점

문제 정의
본 논문은 비국소적 최소 그래프에 대한 제거 가능한 특이점 문제를 다룬다. 구체적으로, $(s, 1)$-용량(capacity)이 $0$인 컴팩트 집합$K$를 제외한 개집합$\Omega \setminus K$에서 정의된 비국소적 최소 곡면 방정식(및 더 넓은 범위의 비국소 방정식)의 해가 전체 도메인$\Omega$에서 해로 확장될 수 있는지 여부를 조사한다.

이 연구는 고전적인 최소 곡면 이론(Bers, Nitsche, 그리고 De Giorgi–Stampacchia가 $(n-1)$-차원 하우스도르프 측도 $0$또는$1$-용량$0$인 특이점은 최소 곡면 방정식의 해에 대해 제거 가능하다는 것을 확립한 이론)에서 동기를 얻었다. 저자는 비국소적 평균 곡률$H_s$ 또는 더 일반적으로 다음과 같은 형태의 비국소 연산자를 포함하는 방정식을 따르는 경우로 이 결과를 일반화하고자 한다:
$$-\int_{\mathbb{R}^n} A\left(x, y, \frac{u(x)-u(y)}{|x-y|}\right) \frac{dy}{|x-y|^{n+s}} = B(x, u)$$
여기서 $s \in (0, 1)$이며, $A$와 $B$는 특정 구조적 조건(단조성, 유계성 및 성장 제한)을 만족한다.

방법론
주요 정리의 증명은 국소 이론(특히 Serrin의 접근 방식)의 기법을 비국소적 프레임워크에 적응시키면서 비국소성으로 인한 난제들을 해결하며 세 가지 뚜렷한 단계로 진행된다.

1. 적분 가능성 가정하에서의 정칙성:
   첫 번째 단계는 만약 해 $u$가 이미 $K$ 근처에서 특정 수준의 국소 적분 가능성(구체적으로 $u \in L^\varepsilon_{\text{loc}}(\Omega)$인 어떤 $\varepsilon > 0$에 대하여)을 갖는 것으로 알려져 있다면, $u$가 $W^{s,1}_{\text{loc}}(\Omega)$ 정칙성을 갖게 됨을 확립한다.

• 기법: 저자는 해의 "이중 절단(double truncations)"($\bar{u}$와 $u$)을 이용한 카초폴리 유형의 추정치(Caccioppoli-type estimates)를 사용한다. 이러한 추정치는 몰리피케이션(mollification)을 통해 구성된 테스트 함수와 $K$ 근처에서 $0$이 되지만 거의 모든 곳에서$1$로 수렴하는 컷-오프 함수$\bar{\eta}_j$의 수열을 사용하여 유도된다.
• 도구: 증명은 $u$의 적분 가능성을 $L^\varepsilon$에서 $L^\infty_{\text{loc}}$로 개선하기 위해 분수 소볼레프 부등식(fractional Sobolev inequality)과 모저 반복(Moser iteration) 기법을 활용하며, 이는 결과적으로 $W^{s,1}_{\text{loc}}$ 정칙성을 보장한다.

2. 적분 가능성의 검증:
   두 번째 단계는 1단계에서 요구되는 추가적인 적분 가능성 가정이 $\Omega \setminus K$에서 정의된 모든 해에 의해 자동으로 충족됨을 증명한다.

• 난제: 고전적인 기법(예: 경계 최댓값을 초과하는 레벨을 사용하는 Serrin의 이중 절단)은 비국소적 설정에서는 실패하는데, 이는 비국소 문제의 "경계" 값이 도메인의 여집합 전체에서의 함수의 거동에 의존하며, 그 여집합이 유계가 아닐 수 있기 때문이다.
• 해결책: 저자는 국소화 기법을 도입한다. (분수 $p$-라플라시안 유형 방정식에서 $p=1$인 경우에 해당하는) 방정식의 특정 구조를 활용함으로써, 이 방법은 유한한 상한(supremum)을 필요로 하지 않고도 Serrin의 증명을 이중 절단을 사용하여 적응할 수 있게 한다. 이 단계는 $K$의 컴팩트성에 결정적으로 의존한다.

3. 해의 확장:
   마지막 단계는 표준적인 근사 논법을 사용하여 확장된 함수가 전체 도메인 $\Omega$에서 방정식의 약형(weak formulation)을 만족함을 보여준다.

• 기법: $\bar{\eta}_j$가 $K$ 근처에서 $0$이 되는 테스트 함수$\phi_j = \phi \bar{\eta}_j$가 사용된다. 저자는$(s, 1)$-용량$0$인 집합의 측도$0$성질과 르베그 지배 수렴 정리를 이용하여 비국소 적분 항들과 저차항들이$j \to \infty$일 때 요구되는 극한으로 수렴함을 입증한다.

주요 기여 및 결과

• 주요 정리 (Theorem 1.4): 본 논문은 $K \subset \Omega$가 $(s, 1)$-용량 $0$인 컴팩트 집합일 때,$\Omega \setminus K$에서의 일반적인 방정식 (1.3)의 모든 해는$\Omega$ 전체에서 해인 대표원(representative)을 갖는다는 것을 증명한다.
• 비국소적 최소 그래프에 대한 적용: 직접적인 따름정리로서, 본 논문은 $\Omega \setminus K$에서 정의된 (여기서 $K$는 $(s, 1)$-용량 $0$임) 임의의 비국소적 최소 그래프가 실제로$\Omega$에서의 비국소적 최소 그래프임을 확립한다.
• 방정식 클래스의 일반화: 이 결과는 특정 비국소적 평균 곡률을 갖는 방정식뿐만 아니라, 우변 $B(x, u)$가 특정 성장 조건(예: 모세관 현상 유형의 방정식)을 만족하는 광범위한 클래스의 방정식으로 확장된다.
• 해의 개념 구분: 논문은 "약한 해(weak solutions)"(적분 형식을 만족하는 가측 함수)와 "해(solutions)"(약한 해이면서 동시에 $W^{s,1}_{\text{loc}}$에 속하는 함수)를 엄격히 구분한다. 주요 정리는 후자에 적용되며, 별도의 결과(Theorem 5.1)는 저차항 $B$에 대해 약간 더 강한 가정하에 약한 해를 다룬다.

의의 및 주장
저자는 이 연구가 비국소적 최소 그래프 및 광범위한 클래스의 비국소 방정식에 대한 최초의 제거 가능한 특이점 정리를 제공한다고 주장한다. 주목할 만한 특징은, 비국소 비선형 $p$-라플라시안 유형 방정식($p > 1$)에 대한 제거 가능한 특이점 정리와 달리, $p=1$인 경우(비국소적 최소 그래프를 포함하는)의 정리는 특이 집합 $K$ 근처에서의 해 $u$의 거동에 대한 사전 가정(a priori assumptions)을 필요로 하지 않는다는 점이다.

논문은 비국소적 최소 그래프의 정칙성 이론이 해가 $C^\infty$임을 함의하지만, 일반적인 방정식 (1.3)에 대한 정칙성 이론은 아직 완전히 확립되지 않았음을 인정한다. 따라서, 본 논문은 일반적인 경우에 대해 확장된 해가 반드시 연속적이거나 매끄럽다고 주장하지 않으며, 단지 정의된 의미에서의 유효한 해라는 것만을 주장한다.

또한, 저자는 특이 집합 $K$가 $\Omega$의 경계로 접근하는 경우에 대해서는 여전히 미해결 과제로 남아 있음을 언급하였으나, Theorem 5.1에서 집합 $E$가 상대적으로 닫혀 있는 경우(경계로 접근할 수 있음) 저차항에 대한 특정 조건하에 약한 해에 대한 부분적인 결과를 제공한다.