Towards gradient Hölder regularity for singular fractional $p$-Laplace equations

기술 요약: 특이(Singular) 분수형 p-라플라스 방정식의 기울기 횔더 정칙성을 향하여

문제 정의
본 논문은 다음의 특이 분수형 $p$-라플라스 방정식에 대한 유계 약해(bounded weak solutions)의 내부 정칙성 문제를 다룬다:
$$(-\Delta_p)^s u = 0 \quad \text{in } \Omega \subset \mathbb{R}^n,$$
여기서 $n \ge 2$, $0 < s < 1$, $1 < p < 2$이다. 연산자는 특이 플럭스(singular flux) $J_p(t) = |t|^{p-2}t$를 포함하는 주치(principal value) 적분을 통해 정의된다. 이 방정식에 대해 유계성, 횔더 연속성 및 하르낙 부등식과 같은 정칙성 결과는 이미 잘 확립되어 있으나, 내부 $C^{1,\alpha}$ 정칙성(기울기 횔더 연속성)은 특이 영역($1 < p < 2$)에서 미해결 문제로 남아 있다. 초이차(superquadratic) 사례($p \ge 2$)나 전역적 리프시츠(globally Lipschitz) 구성 함수를 가진 연산자에 대한 기존 결과들은 아핀 정규화(affine normalization) 이후의 균등 타원성 결여와 원점 근처에서의 플럭스 특이성 때문에 적용될 수 없다.

방법론 및 증명 전략
저자는 특이 비국소(nonlocal) 환경에 맞게 조정된 압축(compactness) 및 평탄도 개선(improvement-of-flatness) 접근법을 사용한다. 증명은 다음과 같은 몇 가지 새로운 기술적 요소들에 의존한다:

1. 내재적 아핀 정규화 (Intrinsic Affine Normalization):
   표준적인 엑세스 감쇠(excess-decay) 논의와 달리, 본 논문은 "기울기 정규화된(slope-normalized)" 프레임워크를 도입한다. 나머지(remainder) $w = u - \ell$ (여기서 $\ell$은 기울기 $q$를 갖는 아핀 사상)는 내재적 진폭 $A$에 의해 스케일링된다. 이는 정규화된 기울기 $Q = q/A$와 정규화된 나머지 $v$를 이끌어낸다. 에너지는 다음과 같은 **이동된 브레그만 에너지(shifted Bregman energy)**를 사용하여 측정된다:
   $$D\Phi(Q \cdot (x-y); \delta v(x,y)),$$
   여기서 $\Phi(t) = |t|^p/p$이다. 이 브레그만 나머지는 두 가지 영역을 자연스럽게 포착한다: 나머지가 기울기에 비해 작을 때($|b| \ll |a|$)의 이차적 거동, 그리고 나머지가 지배적일 때($|b| \gtrsim |a|$)의 $p$-성장 거동이다. 이를 통해 단일 프레임워크 내에서 유계인 기울기와 발산하는 기울기를 모두 처리할 수 있다.

2. 기울기 균등 압축 (Slope-Uniform Compactness):
   핵심적인 어려움은 $s \uparrow 1$일 때 방정식의 극한이 정규화된 기울기 $Q$의 거동에 의존한다는 점이다.

• 만약 $Q_j \to Q \in \mathbb{R}^n$이면, 극한은 이동된 국소 $p$-조화 방정식(local $p$-harmonic equation)이 된다.
• 만약 $|Q_j| \to \infty$이고 $Q_j/|Q_j| \to e$이면, 극한은 (큰 기울기 주변에서 선형화된) 균등 타원적 상수 계수 이차 방정식이 된다.
  본 논문은 기울기 공간의 방사형 컴팩트화(radial compactification)를 사용하여 기울기 균등 압축 정리(Proposition 3.8)를 확립한다. 이는 에너지 결손 없이 시퀀스가 적절한 극한 범함수의 국소 최소값으로 수렴함을 보장한다.

3. 외부 플럭스 및 테일 제어 (Exterior Flux and Tail Control):
   비국소 방정식에서 아핀 사상을 빼는 것은 외부 상호작용(즉, "테일(tail)")을 변화시킨다. 본 논문은 다음을 구분한다:

• 평균화된 테일 (Averaged tails): 압축 논의에 필요함.
• 일방향 역방향 테일 (One-sided adverse tails): 데 고르지(De Giorgi) 절단(상한 및 하한)에서 발생하는 것.
  저자는 외부 플럭스가 환형 $L^p$ 추정치를 통해 $L^r$ 추정치로 업그레이드되는 공동 전파 메커니즘(Section 7)을 도입한다. 결정적으로, 테일 바운드의 국소 최댓값에 대한 의존성은 **엄격하게 하위 선형적(strictly sublinear)**이다 (지수 $a = 1 - p/r < 1$). 이러한 하위 선형성은 구조적 조건 $sp > p-1$이 충족될 때, 테일이 크더라도 반복(iteration)이 완결될 수 있게 한다.

4. 내재적 엑세스 및 반복 (Intrinsic Excess and Iteration):
   본 논문은 스케일 불변이며 특이 기하학에 호환되는 내재적 엑세스 범함수를 구축한다. "일단계 개선" 보조정리(Proposition 6.3)는 외부 테일이 제어되는 조건 하에서 국소 아핀 감쇠를 분수형 방정식으로 전달한다. 이는 아핀 근사의 기하학적 감쇠를 확립하기 위해 캄파노(Campanato) 스킴을 통해 반복된다.

주요 기여 및 결과
주요 결과는 정리 1.1이다:
$n \ge 2$, $1 < p < 2$이고, $\alpha_{loc}(n, p)$를 국소 $p$-조화 함수의 기울기에 대한 허용 가능한 내부 횔더 지수라고 하자. 모든 $0 < \alpha < \alpha_{loc}(n, p)$에 대하여, $s \in (s^*, 1)$인 모든 $s^* = s^*(n, p, \alpha) < 1$가 존재하여, $B_2$ 내에서 $(-\Delta_p)^s u = 0$을 만족하는 모든 유계 약해 $u$는 $C^{1,\alpha}(B_{1/2})$에 속한다.

추정치는 정량적이다:
$$\|\nabla u\|_{L^\infty(B_{1/2})} + [\nabla u]_{C^\alpha(B_{1/2})} \le C \|u\|_{L^\infty(\mathbb{R}^n)}.$$

의의 및 범위

• 열린 문제에 대한 부분적 해답: 본 논문은 특이 분수형 $p$-라플라스 방정식에 대한 오랜 미해결 문제인 $C^{1,\alpha}$ 문제에 대한 부분적인 해답을 제공한다. 특히 $s$가 1에 충분히 가까운 "근-국소(near-local)" 영역에 대해 결과를 확립한다.
• 구조적 범위: 테일 전파 논의는 구조적 범위 $sp > p-1$전체에서 작동한다.$s > s^*$라는 제한은 오직 압축 단계에서 극한 방정식이 국소적(즉,$p$-조화 또는 선형 타원형)임을 보장하기 위해 사용된다. 만약$s$가 1에서 멀어진다면 극한은 여전히 비국소적일 것이며, 여기서는 제공되지 않은 다른 종류의 진동 추정이 필요할 것이다.
• 균등성: 추정치의 상수들은 $s \uparrow 1$일 때 균등하며, 이는 국소 $p$-조화 기울기 이론과 정량적으로 일치하는 결과이다.
• 새로운 기술: 기울기 정규화된 브레그만 에너지를 도입하고, 하위 선형적 부트스트랩 완결을 달성하기 위해 평균화된 테일과 일방향 테일을 분리한 것이 증명을 가능하게 한 주요 기술적 혁신이다.

본 논문은 특이한 경우에 대해 전체 범위 $0 < s < 1$은 여전히 열려 있지만, 근-국소 극한(near-local limit)은 해결되었음을 결론짓는다. 이는 특이 영역에서 비국소 분수형 방정식과 그 국소 대응물 사이의 간극을 메우는 역할을 한다.