Local regularity for nonlocal equations with variable exponents

기술 요약: 가변 지수를 가진 비로컬 방정식의 국소 정칙성

문제 정의
본 논문은 가변 지수를 가진 비로컬 변분 범함수의 극소값과 그에 대응하는 오일러-라그랑주 방정식의 약해(weak solution)에 대한 국소 정칙성 성질을 조사한다. 고려되는 주요 범함수는 다음과 같다:
$$\mathcal{F}(u) = \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} \frac{|u(x) - u(y)|^{p(x,y)}}{p(x,y)|x - y|^{n+sp(x,y)}} \, dy \, dx$$
여기서 $n \in \mathbb{N}$, $s \in (0, 1)$, 그리고 $p: \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$는 $1 < \inf p \le \sup p < +\infty$를 만족하는 연속적이고 대칭적인 함수이다. 연관된 오일러-라그랑주 방정식은 프랙셔널 $p(\cdot, \cdot)$-라플라시안이다:
$$(-\Delta)^s_{p(\cdot,\cdot)} u = 0 \quad \text{in } \Omega.$$
저자들은 가변 지수 $p(x,y)$가 도입하는 특정한 어려움을 해결하면서, 약해의 국소 유계성(local boundedness)과 국소 횔더 연속성(local Hölder continuity)을 확립하는 것을 목표로 한다. 로컬 문제에서는 지수가 $x$에만 의존하는 것과 달리, 비로컬 성질은 $p$가 $\mathbb{R}^n \times \mathbb{R}^n$ 상에서 정의되어야 함을 요구하며, 이는 도메인 내부와 외부 사이의 의존성을 도입한다.

방법론
저자들은 가변 지수를 가진 비로컬 범함수에 적응된 데 고리(De Giorgi) 반복 기법을 사용한다. 이 방법론은 몇 가지 핵심 요소에 의존한다:

1. 카치오로리 유형 추정치(Caccioppoli-type Estimates): 저자들은 약한 부해(subsolution) 및 초해(supersolution)에 대한 개선된 카치오로리 유형 추정치를 도출한다. 이 추정치는 상수 지수의 경우(특히 Cozzi의 결과)를 가변 지수 케이스로 일반화한다. 중요한 기술적 어려움은 가변 지수로 인해 반복 과정에서 $p^+$와 $p^-$를 모두 포함하는 항들이 발생하여, sup(supremum)을 제어하는 과정을 복잡하게 만드는 미스매치가 발생한다는 점이다.
2. 프랙셔널 소볼레 임베딩(Fractional Sobolev Embeddings): 반복 과정을 처리하기 위해 저자들은 프랙셔널 소볼레 임베딩을 활용한다. 가변 지수 소볼레 임베딩이 존재하지만, 저자들은 상수 지수를 가진 임베딩(정리 2.4)과 $W^{s,p(\cdot,\cdot)}(\Omega) \hookrightarrow W^{\sigma,q}(\Omega)$ ($\sigma < s$ 및 $q < p^-$에 대해)를 확립하는 특정 보조 정리(보조 정리 4.3)를 결합하여 사용한다. 이러한 접근 방식은 직접적인 가변 지수 임베딩에 필요한 더 강한 가정들을 피할 수 있게 해준다.
3. 성장 렘마(Growth Lemma) 및 등주 부등식(Isoperimetric Inequalities): 횔더 연속성을 증명하기 위해 저자들은 성장 렘마를 확립한다. 이를 위해서는 개선된 카치오로리 추정치와 프랙셔널 데 고리 등주 유형 부등식이 필요하다. 성장 렘마의 증명은 도메인 외부에서의 $p$의 거동에 민감한 "비로컬 테일(nonlocal tail)" 항들에 대한 세심한 분석을 포함한다.
4. 반복 스킴(Iterative Schemes): 두 가지 모두(국소 유계성 및 횔더 연속성)의 증명에는 재귀적 수열(데 고리 반복)을 사용하여, 특정 레벨을 초과하는 해의 측도가 0으로 감소함을 보여 유계성과 연속성을 입증하는 과정이 사용된다.

주요 가정
저자들은 정칙성을 보장하기 위해 지수 $p$에 대한 두 가지 특정 조건을 도입한다:

• (P1) 도메인 내부의 로그-횔더 유형 조건: 임의의 구(ball) $B \subset \Omega$에 대하여, $B \times B$ 상에서의 $p$의 진동은 $R^{p^-(B \times B) - p^+(B \times B)} \le L$을 만족해야 한다. 이는 로컬 가변 지수 문제에서 요구되는 로그-��홀더 연속성과 유사하다.
• (P2) 도메인 외부 조건: 임의의 구 $B \subset \Omega$에 대하여, 지수는 $p^+(B \times B^c) \le p^+(B \times B)$ 및 $p^-(B \times B^c) \le p^-(B \times B)$를 만족해야 한다. 이 가정은 도메인 내부와 외부 사이의 상호작용이 발생하는 비로컬 테일 항들을 제어하는 데 필수적이다.

주요 결과

1. 국소 유계성 (정리 1.4):
   저자들은 무한대에서의 거동에 관한 테일 조건 (1.8)을 만족하는 경우, $\Omega$ 내의 약해가 국소적으로 유계됨을 증명한다. 주목할 점은, 이 결과는 $p$가 연속적이고 유계라는 가정만으로 성립하며, (P1) 또는 (P2)와 같은 로그-횔더 유형의 조건을 요구하지 않는다는 것이다. 이는 상수 지수의 경우에 대한 기존 결과들을 확장하며, 서브크리티컬(subcritical) 케이스에서도 로그-횔더 가정을 요구했던 Ho와 Kim의 최근 연구를 개선한 것이다.

2. 국소 횔더 연속성 (정리 1.5):
   저자들은 유계인 약해가 $\Omega$ 내에서 국소적으로 횔더 연속임을 증명한다. 이 결과는 추가적인 가정 (P1)과 (P2)를 필요로 한다.

   • (P1)의 의의: 이는 횔더 연속성의 모듈러스를 분석할 때 발생하는 지수의 미스매치($p^+$ 대 $p^-$)를 해결한다.
   • (P2)의 의의: 이는 비로컬 테일 항의 가변 지수가 반복 과정을 방해하지 않도록 보장하며, 이는 로컬 가변 지수 문제나 비로컬 상수 지수 문제에서는 나타나지 않는, 가변 지수를 가진 비로컬 문제 특유의 어려움이다.

의의 및 주장
본 논문은 가변 지수를 가진 비로컬 변분 문제에 대한 기초적인 정칙성 이론을 확립한다고 주장한다. 저자들은 다음을 강조한다:

• 조건 (P1)은 $2n$-변수 함수로서의 표준적인 로그-횔더 연속성보다 약하면서도 정칙성을 위해 충분하다는 것이 입증되었다.
• (P2)의 필요성은 비로컬 설정에 특화된 새로운 발견이며, 도메인 내부와 외부 사이의 상호작용을 다룬다.
• 결과들은 가변 지수 소볼레 임bedding을 직접 요구하는 대신, 더 낮은 미분 가능성과 적분 가능성을 가진 공간으로의 정교한 임베딩(보조 정리 4.3)을 사용하여 얻어졌다.
• 본 연구는 약한 부해의 sup(supremum)에 대한 정량적 추정치를 제공하며(정리 4.1), 성장 렘마(보lemma 5.2)를 횔더 정칙성의 핵심 메커니즘으로 확립한다.

저자들은 Jihoon Ok가 다른 접근 방식으로 유사한 결과를 연구했음을 인정하면서도, 본 연구가 독자적인 유도 과정을 제공하며 가변 지수 비로컬 케이스에 필요한 구체적인 구조적 가정인 (P1)과 (P2)를 명시적으로 다루고 있음을 강조한다.