Weak Harnack inequality and Cartan property for nonlocal $W^{s,1}$-minimizers

이 논문은 **완전 연결된 더블링 (doubling) 계측 공간 (metric measure space)**에서 정의된 **비국소적 (nonlocal) $W^{s,1}$-하위/초최소화자 (sub/superminimizers)**에 대한 **약한 하나크 부등식 (Weak Harnack Inequality)**과 **카르만 성질 (Cartan property)**을 확립하는 것을 목표로 합니다. 특히, $p=1$인 경우 (BV 공간과 유사한 설정) 에 대한 결과를 다루며, 이는 기존에 $p>1$인 경우 (Di Castro-Kuusi-Palatucci, 2016) 에 알려진 결과를 확장한 것입니다.

다음은 논문의 상세한 기술적 요약입니다.

---

1. 연구 배경 및 문제 제기 (Problem Statement)

• 배경: 비국소적 $p$-라플라시안 $(-\Delta)^s_p$에 대한 약한 하나크 부등식은 $1 < p < \infty$인 경우 잘 알려져 있습니다. 그러나 $p=1$인 경우, 즉 $W^{s,1}$ 공간에서의 비국소적 최소화자 (sub/superminimizers) 에 대한 이론은 상대적으로 덜 연구되어 왔습니다.
• 주요 문제:
  1. 완전 연결 더블링 계측 공간 $(X, d, \mu)$에서 $0 < s < 1$일 때, 비국소적 $W^{s,1}$-하위최소화자에 대한 약한 하나크 부등식을 증명할 수 있는가?
  2. 이 부등식을 통해 해의 **반연속성 (semicontinuity)**을 유도할 수 있는가?
  3. $W^{s,1}$-초최소화자에 대한 카르만 성질 (Cartan property) (얇은 집합의 성질) 을 확립할 수 있는가?
• 새로움: 이 결과들은 유클리드 공간 ($\mathbb{R}^n$) 의 고전적 설정에서도 새로운 것으로 간주됩니다.

2. 설정 및 정의 (Preliminaries & Definitions)

• 공간: $(X, d, \mu)$는 완전 연결 더블링 계측 공간입니다. 더블링 상수 $C_\mu$와 더블링 차원 $Q$가 존재합니다.
• 비국소적 함수 공간: $W^{s,1}(\Omega)$는 다음과 같은 반노름 (seminorm) 이 유한한 함수들의 공간입니다.
  $$\|u\|_{\dot{W}^{s,1}(\Omega)} = \int_{\Omega}\int_{\Omega} \frac{|u(x)-u(y)|}{\mu(B_{x,y})d(x,y)^s} d\mu(x)d\mu(y) + \int_{\Omega}\int_{\Omega^c} \frac{|u(x)-u(y)|}{\mu(B_{x,y})d(x,y)^s} d\mu(x)d\mu(y)$$
  여기서 $B_{x,y} = B(x, d(x,y)) \cup B(y, d(y,x))$입니다.
• 하위/초최소화자 (Sub/Superminimizers):
  • $u$가 $s$-하위최소화자 (subminimizer) 이면, 모든 음수 함수 $\eta \in W^{s,1}_0(\Omega)$에 대해 $F(u, u+\eta) \le 0$을 만족합니다.
  • $s$-초최소화자 (superminimizer) 는 부호가 반대인 조건을 만족합니다.
• 얇음 (Thinness): 집합 $A$가 점 $x$에서 $s$-얇다 ($s$-thin) 는 것은 $(s, 1)$-컨덴서 용량 (condenser capacity) $cap_{s,1}$을 사용하여 다음과 같이 정의됩니다.
  $$\lim_{r \to 0^+} \frac{cap_{s,1}(A \cap B(x,r), B(x,2r))}{cap_{s,1}(B(x,r), B(x,2r))} = 0$$

3. 주요 결과 (Key Results)

3.1. 약한 하나크 부등식 (Theorem 1.1)

완전 연결 더블링 계측 공간에서 $s$-하위최소화자 $u$에 대해, 임의의 $k_0 \in \mathbb{R}$와 $B(x_0, R) \subset \Omega$에 대해 다음이 성립합니다.
$$\text{ess sup}_{y \in B(x_0, r)} (u(y) - k_0) \le C \left( \frac{R}{R-r} \right)^Q \fint_{B(x_0, R)} (u - k_0)_+ d\mu$$

• 특징: 기존 $p>1$ 경우의 부등식과 달리 Tail 항 (비국소적 꼬리 항) 이 포함되지 않습니다. 이는 $p=1$인 경우의 특수한 성질에서 비롯됩니다.
• 상수: 만약 공간이 1-Poincaré 부등식을 지원한다면, 상수 $C$는 $s \to 1^-$일 때 균일하게 유계인 형태로 ($C' / s$) 선택할 수 있습니다.

3.2. 반연속성 (Corollary 1.2)

약한 하나크 부등식의 직접적인 결과로, $s$-하위최소화자 $u$의 상부 근사 극한 (upper approximate limit) $u^\vee$는 **상반연속 (upper semicontinuous)**이고, $s$-초최소화자의 하부 근사 극한 (lower approximate limit) $u^\wedge$는 **하반연속 (lower semicontinuous)**임을 증명했습니다.

• 이는 $p=1$인 경우 해가 Hölder 연속일 수는 없으나 (비국소적 최소 곡면의 예시 참조), 적절한 점별 대표자를 선택하면 반연속성을 가진다는 것을 의미합니다.

3.3. 약한 카르만 성질 (Theorem 1.3)

점 $x$에서 $s$-얇은 집합 $A$ ($x \in A \setminus \bar{A}$) 에 대해, 다음을 만족하는 $k$개의 $s$-초최소화자 $1_{E_j}$ ($j=0, \dots, k-1$) 가 존재합니다.

1. $A \cap B(x, R)$ 위에서 $\max_j 1^\wedge_{E_j} \equiv 1$.
2. 각 $j$에 대해 $1^\vee_{E_j}(x) = 0$.
3. 집합 $\{y : \max_j 1^\vee_{E_j}(y) > 0\}$은 $x$에서 $s$-얇음.

• 의미: 하나의 초최소화자로는 $x$에서의 불연속성을 설명하기 어려울 수 있으나, 유한 개의 초최소화자의 합집합을 통해 집합 $A$를 덮을 수 있음을 보여줍니다.

3.4. 강한 카르만 성질 (Theorem 1.4)

만약 점 $x$의 용량 $C_{s,1}(\{x\}) > 0$이고 $A$가 $x$에서 $s$-얇다면, $B(x, R_0)$에서 정의된 $s$-초최소화자 $u$가 존재하여:
$$\lim_{A \ni y \to x} u^\wedge(y) = \infty > u^\vee(x)$$
를 만족합니다. 이는 $x$가 용량을 가질 때, $A$를 따라 접근하면 함수 값이 무한대로 발산할 수 있음을 의미합니다.

4. 방법론 및 증명 전략 (Methodology)

1. Caccioppoli-De Giorgi 부등식 유도:
   • 하위최소화자와 장애물 문제 (obstacle problem) 의 해에 대해 Caccioppoli-type 부등식을 유도했습니다.
   • $p=1$인 경우의 비선형성으로 인해, $|u(x)-u(y)|$의 미분 구조를 신중하게 분석하여 에너지 추정식을 얻었습니다.
2. 약한 하나크 부등식 증명:
   • De Giorgi 의 반복법 (iteration method) 을 사용하여, Caccioppoli 부등식과 fractional Poincaré 부등식 (Theorem 2.3) 을 결합했습니다.
   • 특히, $p=1$일 때 Tail 항이 사라지는 이유를 명확히 하고, $s \to 1$일 때의 안정성을 확보하기 위해 최근의 sharp fractional Poincaré 부등식 [KLLZ25] 을 활용했습니다.
3. 카르만 성질 증명:
   • 장애물 문제의 해: $s$-초최소화자를 구성하기 위해 장애물 문제 ($K_{\psi, f}$) 의 해를 이용했습니다.
   • 용량 추정: 집합의 $s$-얇음을 이용하여, 해당 집합을 덮는 유한 개의 초최소화자 (특히 지시함수 형태) 를 구성했습니다.
   • Lebesgue 점과 Quasicontinuity: $W^{s,1}$ 함수의 Lebesgue 점 성질과 Quasicontinuity 를 활용하여, 용량이 양수인 점에서의 극한 행동을 분석했습니다.

5. 의의 및 결론 (Significance)

• 이론적 확장: 비국소적 미분 방정식 이론에서 $p=1$ (BV 공간) 인 경우의 해의 정칙성 (regularity) 과 점별 성질에 대한 체계적인 이론을 처음 제공했습니다.
• 일반화: 유클리드 공간뿐만 아니라 일반적인 더블링 계측 공간 (metric measure spaces) 에서도 성립함을 보임으로써, 기하학적 구조가 복잡한 공간에서의 비국소적 현상을 이해하는 데 기여합니다.
• 새로운 현상: $p=1$인 경우 Tail 항이 없는 약한 하나크 부등식이 성립한다는 점은 $p>1$인 경우와 구별되는 중요한 특징이며, 이는 BV 함수의 특성 (예: 경계에서의 행동) 을 반영합니다.
• 응용 가능성: 비국소적 최소 곡면 (nonlocal minimal surfaces) 및 관련 변분 문제의 해의 구조를 분석하는 데 필수적인 도구를 제공합니다.

요약하자면, 이 논문은 비국소적 $W^{s,1}$ 최소화자에 대한 약한 하나크 부등식을 증명하고, 이를 통해 반연속성과 카르만 성질을 확립함으로써, $p=1$인 비국소적 변분법의 이론적 기반을 다지는 중요한 업적입니다.