Regularity for the fractional logarithmic $p$-Laplacian

기술 요약: 분수 로그 p-라플라시안(Fractional Logarithmic p-Laplacian)의 정칙성

문제 설정 및 동기
본 연구는 다음의 비로컬 방정식에 대한 약한 해(weak solutions)의 국소 정칙성 이론을 조사한다:
$$(-\Delta_p)^{s+\log} u = f \quad \text{in } \Omega,$$
여기서 $\Omega \subset \mathbb{R}^d$는 유계 열린 집합이며, $f \in L^q_{loc}(\Omega)$ ($q > 1$)이다. 연산자 $(-\Delta_p)^{s+\log}$는 $t=s \in (0,1)$에서 분수 $p$-라플라시안 $(-\ \Delta_p)^t$의 $t$에 대한 1차 미분으로 정의된다:
$$(-\Delta_p)^{s+\log} u(x) := \frac{d}{dt}(-\Delta_p)^t u(x) \Big|_{t=s}.$$
이 연산자는 차수 $t$가 변함에 따라 분수 연산자가 보이는 점근적 거동을 연구하는 과정에서 자연스럽게 등장한다. $s=0$인 끝점 케이스(로그 라플라시안)는 광범위하게 연구되어 왔으나(예: Chen-Weth, Dyda-Jarohs-Sk), 내부 케이스 $s \in (0,1)$, 특히 준선형(quasilinear) $p \neq 2$ 설정은 Chen-Chen-Hauer에 의해 시작된 새로운 방향이다.

이 연산자의 커널 $K_{s+\log}(r)$은 표준 분수 $p$-라플라시안과 구별되는 두 가지 결정적인 특징을 보인다:

1. 증가된 특이성: 대각선 근처($r \to 0$)에서 커널은 $r^{-d-sp} \log(1/r)$처럼 행동하며, 이는 표준적인 $r^{-d-sp}$보다 더 특이하다.
2. 부호 변화: 큰 스케일에서 커널은 부호가 바뀐다. 구체적으로, $r \geq e^{B_{d,s,p}/p}$일 때 $K_{s+\log}(r) \leq 0$이다. 이러한 부호 변화 성질은 비로컬 상호작용의 분석을 복잡하게 만드는데, 표준적인 "테일(tail)" 항들이 원거리 기여를 제어하는 데 더 이상 충분하지 않기 때문이다.

방법론
저자들은 이 특정 비로컬 설정에 맞게 고전적인 데 고리-나시-모어(De Giorgi-Nash-Moser) 이론을 적응시킨다. 전략은 로그 가중치와 부호가 변하는 커널을 처리하기 위해 몇 가지 중대한 수정을 포함한다:

1. 커널 및 테일의 분해:
   부호 변화 때문에 단일 비로컬 테일 항으로는 불충분하다. 커널은 분수 부분과 두 개의 부호가 일정한 로그 부분으로 분해된다: $K_{s+\log} \sim r^{-d-sp} + K^+_{s+\log} - K^-_{s+\log}$. 결과적으로, 저자들은 원거리 효과를 포착하기 위해 두 개의 구별된 테일 항을 도입한다:

   • $Tail_+(u; x_0, R)$: 로그 가중치가 양수인 상호작용(중간 스케일)을 포착한다.
   • $Tail_-(u; x_0, R)$: 로그 가중치가 음수인 상호작용(원거리)을 포착한다.
     분석 결과 특정 쌍대성(duality)이 드러난다: 부하해(subsolution)의 경우, 해의 양의 부분이 음의 커널 부분과 결합하고 그 반대도 마찬가지이다. 이는 추정식에서 테일들의 결합, 즉 구체적으로 $Tail_+(u^-) + Tail_-(u^+)$의 페어링을 필요로 한다.

2. 에너지 추정 및 반복(Iteration):
   증명은 카치아돌리 부등식(Caccioppoli inequality)과 로그 에너지 추정식을 확립하는 것에 의존한다. 주요 기술적 난관은 커널의 로그 성장인데, 이는 국소 에너지 추정식에 $(1 - \log r)$ 인자를 도입한다. 이를 관리하기 위해 저자들은 분수 로그 푸앵카레 부등식(Proposition 2.5)을 활용하는데, 이는 일치하는 붕괴 인자(decay factor)를 제공하여 데 고리 반복(De Giorgi iteration)이 스케일 불변(scale-invariant) 방식으로 진행될 수 있게 한다.

3. 소스 항의 처리:
   $q > d/sp$인$f \in L^q_{loc}$의 존재는 적분 지수의 신중한 처리를 요구한다. 저자들은 반복 렘마의 수렴에 필요한 엄격한 부등식을 보장하기 위해 파라미터$\sigma$를 도입하여, 임계 케이스(critical case)에서 발생하는 붕괴를 방지한다.

주요 기여 및 결과

1. 테일을 포함한 하르나크 부등식 (Theorem 1.2):
   본 논문은 비음(non-negative) 약해에 대한 하르나크 부등식을 확립한다. 표준 분수 $p$-라플라시안에서는 전역적 비음성이 테일 항을 제거할 수 있지만, 여기서는 부호가 변하는 커널 때문에 해가 전역적으로 $u \geq 0$임에도 불구하고 테일 항이 지속된다. 부등식은 다음과 같은 형태를 띤다:
   $$\text{ess sup}_{B_{r/2}} u \leq C \left( \text{ess inf}_{B_r} u + \text{Tail Terms} + \text{Source Terms} \right).$$
   결정적으로, 테일 항은 $Tail_+(u^-) + Tail_-(u^+)$라는 특정한 페어링을 포함하며, 이는 부호가 변하는 커널의 구조를 반영한다. 저자들은 해가 관심 영역 외부에 지지(support)되는 반례를 구성함으로써, 비음해에 대해서도 이러한 테일 항을 일반적으로 제거할 수 없음을 증명한다.

2. 국소 횔더 정칙성 (Theorem 1.4):
   저자들은 약한 해가 국소적으로 횔더 연속임을 증명한다. 횬더 지수 $\alpha$는 차원 $d$, 차수 $s$, 지수 $p$, 그리고 소스 항 $f$의 적분성 $q$에 의존한다. 추정식은 로그 인자와 테일 항에 의해 스케일링된 반지름 $r$에 따라 감소하는 연속성 계수(modulus of continuity)를 포함한다.

3. 테일이 없는 하르나크 부등식에 대한 반례:
   섹션 7에서 저자들은 $p=2$인 경우에 대한 구체적인 예시를 구성하여, 해가 $B_R$ 외부에서 지지될 경우 하르나크 부등식의 테일 항이 불가피함을 보여준다. 이는 전역적 비음성 하에서 표준 분수 라플라시안에 대해 알려진 "테일이 없는(tail-free)" 하르나크 부등식이 분수 로그 연산자에서는 성립하지 않음을 확인시켜 준다.

의의 및 주장
본 논문은 이러한 결과들이 선형 케이스 $p=2$에서도 새롭다고 주장한다. 본 연구는 특정 점근적 의미에서 "0차(zero-order)"인 클래스의 연산자로 정칙성 이론을 확장하며, 이 연산자는 대각선 근처에서는 표준 분수 라플라시안보다 더 특이하고 무한대에서는 부호가 변하는 커널을 가진다.

저자들은 로그 인자의 존재와 부호 변화가 정칙성 추정의 구조를 근본적으로 변화시키며, 이를 위해 듀얼 테일 항과 경계 내의 특정 로그 붕괴 인자를 도입해야 함을 강조한다. 이 결과들은 이 부류의 비로컬 방정식에 대한 체계적인 국소 정칙성 이론을 제공하며, 약한 해에 대한 하르나크 부등식과 횬더 연속성의 존재에 대한 질문에 긍정적으로 답한다. 본 연구는 경계 정칙성이나 전역 연속성을 확립하는 것을 목표로 하지 않으며, 이는 현재의 범위를 벗어난 별도의 장벽(barrier) 논증이 필요함을 명시한다.