Regularity estimates for fractional orthotropic $p$-Laplacians of mixed order

기술 요약: 혼합 차수의 분수형 직교 이방성 $p$-라플라시안에 대한 정칙성 추정

문제 정의
본 논문은 $L u = f$ 형태의 비로컬 방정식의 약해(weak solution)의 정칙성을 조사한다. 여기서 $Q = (-1, 1)^n$인 영역에서 $L$은 다음과 같이 정의된 비선형 적분-미분 연산자이다:
$$Lu(x) = \text{PV} \int_{\mathbb{R}^n} |u(y) - u(x)|^{p-2}(u(y) - u(x)) \mu(x, dy)$$
여기서 $p > 1$이다. 이 연산자는 이방성(anisotropic)이며 특이한(singular) 측도족 $(\mu(x, dy))_{x \in \mathbb{R}^n}$에 의해 특징지어진다. 주요 참조 측도는 $\mu_{\text{axes}}$이며, 이는 각 좌표축을 따라 서로 다를 수 있는 미분 차수 $s_1, \dots, s_n \in (0, 1)$를 갖는 1차원 분수 $p$-라플라시안들의 합에 대응한다. 표준적인 분수 $p$-라플라시안과 달리, $\mu_{\text{axes}}$(및 그 국소 극한인 직교 이방성 $p$-라플라시안)와 관련된 연산자는 회전 불변성을 결란한다.

저자들은 $\mu_{\text{axes}}$에 국소적으로 비교 가능한 허용 가능한 측도들의 클래스에 대해 강건한 정칙성 추정치—구체적으로 소볼레프 유형 부등식, 약 하르낙 부등식, 그리고 국소 횔더 정칙성—를 확립하는 것을 목표로 한다. 핵심적인 과제는, 이러한 추정치의 상수들이 개별적인 차수 $s_1, \dots, s_n$에 의존하지 않고, 오직 하한값 $s_0$와 차원 $n$에만 의존하도록 하는 것이다. 이러한 "강건성(robustness)"은 $s_k$가 1로 접근하는 극한을 취함으로써 국소 연산자(예: 직교 이방성 $p$-라플라시안)의 정칙성 결과를 회복하는 데 매우 중요하다.

방법론
저자들은 이방성 기하학에 적응된 비로컬 해석 기법들을 결합하여 사용한다:

1. 이방성 기하학: 표준적인 유클리드 구(ball)나 입방체 대신, 저자들은 $M_r(x) = \prod_{k=1}^n (x_k - r^{s_{\max}/s_k}, x_k + r^{s_{\max}/s_k})$로 정의되는 직사각형 패밀리 $M_r(x)$를 활용한다. 여기서 $s_{\max} = \max\{s_1, \dots, s_n\}$이다. 이 집합들은 더블링 측도 공간(doubling metric measure space)을 형성하며, 이를 통해 이방성 직사각형에 적응된 극대 함수 정리와 존-니렌버그(John–Nirenberg) 부등식의 사용이 가능하다.
2. 함수 공간: 연구는 $\mu$에 의해 결정되는 특정 적분성과 분수 정칙성을 포함하는 비로컬 소볼레프 공간 $V^{p,\mu}(\Omega|\mathbb{R}^n)$ 및 $H^{p,\mu}_{\Omega}(\mathbb{R}^n)$ 내에서 수행된다.
3. 측도에 대한 가정: 허용 가능한 측도의 클래스 $\mathcal{K}(p, s_0, \Lambda)$는 세 가지 조건을 통해 정의된다:
   • 측도 패밀리의 적분성 및 대칭성.
   • 이방성 직사각형 $E^k_r(x)$에 대한 특정한 꼬리(tail) 거동.
   • 연관된 에너지 범함수의 참조 범함수 $\mu_{\text{axes}}$에 대한 국소적 비교 가능성.
4. 기술적 도구:
   • 소볼레프 유형 부등식: 저자들은 이방성 직사각형에 적응된 하디-리틀우드 극대 함수와 샤프 극대 함수 정리를 사용하여 소볼레프 임베딩을 증명한다. 핵심 기술적 보조정리(Lemma 2.4)는 이방성 설정에서 요구되는 이산 기울기 추정치를 처리한다.
   • 모서(Moser) 반복법: 약 하르낙 부등식은 모서의 반복법을 사용하여 유도된다. 이를 위해서는 비선형 항에 대한 이산 기울기 추정치를 확립해야 하는데, 이는 $|\nabla v|^{p-2}\nabla v \cdot \nabla(-v^{-t}\tau^p) \geq c_1 |\nabla(v^{\frac{-t+p-1}{p}}\tau)|^p - c_2|\nabla \tau|^p v^{-t+p-1}$의 비로컬, 비선형 아날로그 역할을 하는 Lemma 3.4를 필요로 한다.
   • 스케일링 논법: 저자들은 일반적인 추정을 정규화된 설정으로 환원하여 횔더 연속성 증명을 용이하게 하기 위해 특정 이방성 스케일링(미분동형사상 $\Psi$)을 활용한다.

주요 기여 및 결과

1. 강건한 소볼레프 유형 부등식 (Theorem 2.7): 저자들은 참조 측도 $\mu_{\text{axes}}$에 대한 소볼레프 임베딩을 증명하며, 여기서 상수는 $n, p, s_0$ 및 소볼레프 지수 $p^*$에만 의존하고 개별 $s_k$에는 의존하지 않는다. 이는 국소적 비교 가능성(Corollary 2.8)을 통해 일반적인 허용 가능한 측도의 클래스로 확장된다.
2. 약 하르낙 부등식 (Theorem 1.4): 비음수 약 초해(weak supersolution) $Lu = f$에 대하여, 본 논문은 약 하르낙 부등식을 확립한다. 이 결과는 도메인 내부의 해의 하한(infimum)을 $L^{p_0}$ 노름 및 도메인 외부의 해의 꼬리(tail)에 관한 식으로 나타내는 하한을 제공한다. 상수는 미분 차수에 대해 강건하다.
3. 국소 횬더 추정치 (Theorem 1.5): 약 하르낙 부등식과 진동의 감쇠를 결합하여, 저자들은 유계인 약해(weak solution)가 국소적으로 횬더 연속($C^\alpha$)임을 증명한다. 횬더 지수 $\alpha$와 상수 $C$는 $n, p, s_0, q, \Lambda$에 의존하지만, 특정 값인 $s_1, \dots, s_n$에는 독립적이다.
4. 국소 결과의 회복: 상수들의 강건성 덕분에, 저자들은 $s_k \nearrow 1$로 극한을 취함으로써 국소 직교 이방성 $p$-라플라시안(식 1.3으로 정의됨)에 대한 정칙성 추정치를 직접 회복할 수 있다.

의의 및 주장

본 논문의 주요 강점은 도출된 추정치의 강건성에 있다고 주장한다. 상수가 미분 차수의 개별 값보다는 차수의 하한값($s_0$)에 의존하도록 함으로써, 저자들은 비로컬 분수 연산자와 그 국소적 대응물 사이의 간극을 메운다. 이러한 접근 방식은 국소 직교 이방성 $p$-라플라시안(해석학에서 잘 알려진 연산자)에 대한 정칙성 결과를 별도의 특수한 증명 없이 비로컬 연산자 이론으로부터 직접 유도할 수 있게 한다.

저자들은 하르낙 부등식이 이러한 유형의 특이 방정식에서는 실패하지만, 약 하르낙 부등식이 진동의 감쇠와 그에 따른 횬더 연속성을 증명하기에 충분하다고 언급한다. 이 연구는 선형 케이스($p=2$) 및 등방성 설정에서 Chaker, Kim 및 기타 연구자들([14, 15, 25])의 기존 결과를 완전한 비선형($p>1$) 및 이방성 설정으로 확장한다. 저자들은 해의 전역적 유계성이 가정되어 있음을 밝히며, 이방성 비로컬 방정식에 대한 전역적 또는 국소적 유계성을 증명하는 것은 여전히 미해결 과제로 남아 있다고 언급한다.

이 결과들은 비로컬 연산자에 대한 데 고리-나시-모서(De Giorgi–Nash–Moser) 이론의 더 넓은 맥락 내에 위치하며, 이방성 점프를 가진 레비 프로세스(Lévy processes)에 의해 구동되는 시스템과 같은 복잡한 물리적 현상을 모델링하는 이방성 및 특이 커널을 가진 연산자로 이를 확장한다.