Harnack inequality for nonlocal problems with non-standard growth

기술 요약: 비표준 성장을 갖는 비로컬 문제에 대한 하르낙 부등식 (Harnack Inequality)

문제 정의
본 논문은 비표준 성장을 보이는 비로컬 문제의 정칙성 이론(regularity theory)을 다룬다. 구체적으로, 저자들은 특정 구조적 조건(denoted as $(f^q_p)$)을 만족하는 볼록하고 엄격히 증가하는 함수 $f$에 의해 비선형의 성장이 제어되는 비로컬 에너지 범함수의 국소 최소해(local minimizers)와 비로컬 방정식의 약해(weak solutions)를 조사한다. 주요 목적은 이러한 대상들에 대해 완전한 하르낙 부등식(full Harnack inequality)을 확립하는 것이다. 고전적인 로컬 연산자와 달리, 비로컬 문제는 관심 영역 외부의 함수 값들의 영향을 고려하기 위해 하르낙 부등식에 "테일 항(tail term)"을 포함해야 한다. 저자들은 해당 데 지오르기 클래스(De Giorgi class)에 속하는 함수들이 완전한 하르낙 부등식을 만족함을 증명함으로써, 표준 성장(예: $p$-Laplacian 유형)에 대해 알려진 결과들을 더 일반적인 비표준 성장 설정으로 확장하고자 한다.

방법론
증명 전략은 데 지오르기 클래스 $G(\Omega; q, c, s, f)$에 속하는 함수들에 대한 두 가지 근본적인 보조 결과의 확립에 의존한다:

1. 국소 유계성 (Local Boundedness): 저자들은 클래스 $G^+$에 속하는 함수들이 상부로부터 국소적으로 유계임을 증명한다. 이 결과는 $q < p^*$ (여기서 $p^*$는 임계 소볼레프 지수)라는 제한적인 조건을 제거함으로써 저자들의 이전 연구 [CKW21]의 추정치를 크게 개선한다. 증명에는 고전적인 분수 소볼레프 임베딩(fractional Sobolev embedding)과 비표준 성장 함수 $f$에 적응된 반복 스킴(Moser iteration)이 사용된다.
2. 약한 하르낙 부등식 (Weak Harnack Inequality): 저자들은 클래스 $G^-$에 속하는 함수들에 대해 약한 하르낙 부등식을 확립한다. 이 추정치는 함수(변환된 $f$에 의한)의 $L^\varepsilon$-노름을 함수의 하한(infimum)과 비로컬 테일 항에 의해 제한한다. 증명에는 데 지오르기 클래스의 성질로부터 유도된 성장 르마(Growth Lemma, Lemma 4.2)와 크리로프(Krylov) 및 사포노프(Safonov)에 의한 커버링 논법(covering argument)이 사용된다.

본 방법론은 분수 차수 $s$에 대해 강건하다(robust). 추정치의 상수들은 하한 $s_0$에 의존하지만 $s \to 1^-$일 때 균등하게 유지되어, 극한 상황에서 순수 로컬 추정치를 회복할 수 있게 한다. 분석은 $f'$가 엄격히 역함수를 갖지 않는 경우를 처리하기 위해 성장 함수의 일반화된 역함수 $(f')^{-1}$의 성질을 집중적으로 활용한다.

주요 기여 및 결과
핵심 결과는 **정리 1.1 (Theorem 1.1)**이며, 이는 볼 $B_R(x_0)$ 내의 비음수 함수 $u$가 데 지오르기 클래스 $G(\Omega; q, c, s, f)$에 속할 때, 다음의 완전한 하르낙 부등식이 성립함을 명시한다:
$$\sup_{B_{R/2}(x_0)} u \leq C \left( \inf_{B_{R/2}(x_0)} u + \text{Tail}_{f'}(u^-; x_0, R) \right)$$
여기 여기서 $C$는 차원 $d$, $s_0$, $p$, $q$, 그리고 구조적 상수 $c$에만 의존한다. 테일 항 $\text{Tail}_{f'}(u^-)$는 볼 외부의 $u$의 음의 부분(negative part)에 의한 비로컬 영향을 포착한다.

이 주요 정리로부터 저자들은 두 가지 즉각적인 따름정리를 도출한다:

• 따름정리 1.2 (Corollary 1.2): 비로컬 에너지 범함수 $I_f$의 국소 최소해에 대해 완전한 하르낙 부등식이 성립한다.
• 따름정리 1.3 (Corollary 1.3): 비로컬 연산자 방정식 $L_h u = 0$의 약해에 대해 완전한 하르낙 부등식이 성립한다.

특정한 기술적 기여는 성장 함수 $f$에 맞게 조정된 약한 하르낙 부등식(정리 4.1)의 유도이다. 이는 저자들이 언급한 바와 같이, 부등식에 추가적인 거듭제곱 인자를 포함하여 $p < q$인 경우에 대해 차선의 결과를 내놓은 Fang와 Zhang [FZ22]의 최근 연구와 대조된다. 반복(iteration)과 테일 추정 과정에서 성장 함수 $f$를 세심하게 고려함으로써, 저자들은 그러한 불필요한 인자 없이 고전적인 형태의 하르낙 부등식을 달성하였다.

의의 및 주장
본 논문은 완전한 하르낙 부등식을 확립함으로써 비표준 성장을 갖는 비로컬 문제에 대한 완전한 정칙성 프레임워크를 제공한다고 주장한다. 하르낙 부등식은 뷜리더츠 연속성(Hölder continuity)과 수렴 정리(convergence theorems)를 함의하는 정칙성 이론의 초석이다. 저자들은 자신들의 결과가 "강건하다(robust)"는 점을 강조하는데, 이는 이는 $s$가 1에 접근할 때 상수가 균등하게 유지됨을 의미하며, 이를 통해 비로컬 이론과 로컬 이론 사이의 간극을 메운다.

이 연구는 최소해와 약해가 데 지오르기 클래스에 속함을 확립한 저자들의 이전 논문 [CKW21]을 직접적으로 계승한다. [CKW21]이 약간 다른 조건 하에서 국소 유계성과 뷜리더츠 정칙성을 제공했다면, 본 논문은 완전한 하르낙 부등식을 증명함으로써 정칙성의 그림을 완성한다. 저자들은 $p < q$인 경우에 대해 최적의 추정치를 제공하고 $q < p^*$ 제한을 제거하기 위해 국소 유계성 추정치를 정교화함으로써, 기존 문헌(특히 [FZ22])보다 개선된 성과를 냈다고 위치시킨다. 본 논문은 새로운 응용이나 실험적 설정을 제안하기보다는, 이 특정 클래스의 비로컬 연산자에 대한 정칙성 추정의 이론적 발전에 집중한다.