Maz'ya-type bounds for sharp constants in fractional Poincaré-Sobolev inequalities

이 논문은 **분수형 Poincaré-Sobolev 부등식 (Fractional Poincaré-Sobolev inequalities)**의 최적 상수 (sharp constants) 에 대한 Maz'ya-type bounds를 증명하는 것을 목표로 합니다. 저자들은 열린 집합 $\Omega \subset \mathbb{R}^N$에 대해, 해당 집합의 내반경 (inradius) 을 비국소적 (nonlocal) 인 용량 (capacity) 개념으로 확장한 것을 통해 이러한 상수를 평가하는 새로운 부등식을 제시합니다.

다음은 논문의 상세한 기술적 요약입니다.

1. 문제의식 및 배경 (Problem Statement)

• 주요 대상: 분수형 Poincaré-Sobolev 상수 $\lambda^s_{p,q}(\Omega)$는 다음과 같이 정의됩니다.
  $$\lambda^s_{p,q}(\Omega) := \inf_{u \in C^\infty_0(\Omega), \|u\|_{L^q}=1} [u]^p_{W^{s,p}(\mathbb{R}^N)}$$
  여기서 $[u]_{W^{s,p}}$는 Gagliardo-Slobodeckii 반노름 (seminorm) 입니다.
• 기존 결과의 한계: 국소적 (local, $s=1$) 인 경우, Maz'ya 와 Shubin 은 Poincaré 상수가 집합의 **내부 용량 반경 (interior capacitary radius)**에 의해 양방향으로 추정될 수 있음을 보였습니다. 이는 집합의 기하학적 크기 (내반경) 만으로는 부등식이 성립하지 않을 수 있는 경우 (예: 용량 0 인 컴팩트 집합 제거) 를 보완한 것입니다.
• 비국소적 문제: 분수형 ($0 < s < 1$) 경우, $\lambda^s_{p,q}(\Omega)$는 컴팩트 집합 $\Sigma$가 $(s,p)$-용량 0 을 가질 때 불변이므로, 단순한 내반경 $r_\Omega$만으로는 $\lambda^s_{p,q}(\Omega) > 0$인지 판별하기 어렵습니다. 즉, 집합의 '구멍'이나 '얇은 부분'이 부등식의 성립에 영향을 미칩니다.
• 목표: 국소적 경우의 Maz'ya-Shubin 결과를 분수형 프레임워크로 확장하여, $\lambda^s_{p,q}(\Omega)$를 분수형 용량 내반경 (fractional capacitary inradius) $R^s_{p,\gamma}(\Omega)$로 양방향 (상한 및 하한) 에 대해 평가하는 부등식을 확립하는 것입니다.

2. 핵심 정의 및 방법론 (Methodology)

2.1. 분수형 용량 내반경 (Fractional Capacitary Inradius)

논문은 다음과 같은 새로운 기하학적 양을 도입합니다.

• $(s, p, \gamma)$-무시할 수 있는 집합 (Negligible set): 컴팩트 집합 $\Sigma \subset B_r(x_0)$가 다음을 만족하면 무시할 수 있다고 정의합니다.
  $$\text{cap}^s_p(\Sigma; B_{2r}(x_0)) \le \gamma \cdot \text{cap}^s_p(B_r(x_0); B_{2r}(x_0))$$
• 분수형 용량 내반경 $R^s_{p,\gamma}(\Omega)$: 위 조건을 만족하는 반지름 $r$의 최대값으로 정의됩니다. 이는 집합 $\Omega$가 얼마나 '구멍'이 있거나 '얇은' 부분을 포함하더라도 부등식이 성립할 수 있는지를 측정합니다.

2.2. 증명 전략

저자들은 국소적 경우의 증명 기법을 비국소적 프레임워크에 적용하기 위해 다음과 같은 기술적 혁신을 이루었습니다.

1. 타일링 (Tiling) 및 덮기: $\mathbb{R}^N$을 등간격 중심을 가진 구들로 덮고, 각 구에서 부등식을 적용한 후 합산하는 방식을 사용합니다.
2. 비대칭 반노름 (Asymmetric Seminorm) 의 도입:
   • 기존 문헌의 분수형 Maz'ya-Poincaré 부등식은 $s \to 0$ 또는 $s \to 1$일 때 최적의 점근적 거동을 보이지 않는다는 문제를 발견했습니다.
   • 이를 해결하기 위해, 구 $B_r(x_0)$와 전체 공간 $\mathbb{R}^N$ 사이의 비대칭 영역에서 정의된 새로운 반노름을 도입했습니다:
     $$\left( \iint_{B_r(x_0) \times \mathbb{R}^N} \frac{|u(x)-u(y)|^p}{|x-y|^{N+sp}} dx dy \right)^{1/p}$$
   • 이 반노름은 $s \to 0$일 때 $L^p$ 노름으로, $s \to 1$일 때 $W^{1,p}$ 노름으로 수렴하는 **최적의 점근적 성질 (sharp limiting behaviours)**을 가집니다.
3. 새로운 부등식 유도:
   • Lemma 4.11 (Maz'ya-Poincaré-Sobolev): 비대칭 반노름을 사용하여, 용량 조건 하에서 함수의 $L^q$ 노름을 제어하는 새로운 부등식을 증명했습니다.
   • Lemma 3.2 & 3.4: 구 (ball) 위에서의 $L^1-W^{s,p}$ Poincaré 부등식의 최적 상수를 명시적으로 계산하거나 추정했습니다. 특히 $p=1$인 경우 (Cheeger 상수 관련) 에는 최적의 상수를 얻었습니다.

3. 주요 결과 (Key Results)

3.1. 주요 정리 (Main Theorems)

논문은 $\lambda^s_{p,q}(\Omega)$에 대한 다음과 같은 양방향 부등식을 증명합니다.

• 하한 (Lower Bound, Theorem 1.4):
  $$\gamma \sigma \left( \frac{1}{R^s_{p,\gamma}(\Omega)} \right)^{sp - N + \frac{Np}{q}} \le \lambda^s_{p,q}(\Omega)$$
  여기서 $\sigma$는 $s \to 0$일 때 $1/s$, $s \to 1$일 때 $1/(1-s)$로 발산하는 최적의 상수입니다.
• 상한 (Upper Bound, Theorem 1.5):
  $$\lambda^s_{p,q}(\Omega) \le C \left( \frac{1}{R^s_{p,\gamma}(\Omega)} \right)^{sp - N + \frac{Np}{q}}$$
  여기서 $C$는 $\gamma$가 임계값 $\gamma_0$보다 작을 때 유한하며, 역시 $s \to 0, 1$에서 최적의 점근적 거동을 가집니다.

3.2. 파생 결과 (Corollaries)

1. 임베딩 동치 조건 (Corollary 1.7):
   $$D^{s,p}_0(\Omega) \hookrightarrow L^q(\Omega) \iff R^s_{p,\gamma}(\Omega) < \infty$$
   즉, 분수형 Sobolev 공간이 $L^q$ 공간에 임베딩되기 위한 필요충분조건이 분수형 용량 내반경의 유한성임을 보였습니다.
2. 분수형 Cheeger 상수의 최적 특성화 (Corollary 1.8):
   $p=q=1$인 경우, 분수형 Cheeger 상수 $h_s(\Omega)$에 대해 다음과 같은 부등식을 얻습니다.
   $$\sigma \gamma \left( \frac{1}{R^s_{1,\gamma}(\Omega)} \right)^s \le h_s(\Omega) \le C \left( \frac{1}{R^s_{1,\gamma}(\Omega)} \right)^s$$
   이는 $h_s(\Omega) > 0$인 조건이 $\gamma \in (0,1)$의 모든 값에 대해 $R^s_{1,\gamma}(\Omega) < \infty$와 동치임을 의미합니다.
3. Torsion 함수의 $L^\infty$ 추정 (Corollary 1.9):
   $(s,p)$-torsion 함수 $w_{p,s,\Omega}$의 $L^\infty$ 노름을 $R^s_{p,\gamma}(\Omega)$로 상한 추정할 수 있음을 보였습니다.

4. 의의 및 기여 (Significance)

1. 비국소적 Maz'ya 이론의 확립: 국소적 경우 ($s=1$) 에 알려진 Maz'ya-Shubin 이론을 분수형 ($0<s<1$) 영역으로 성공적으로 확장했습니다. 이는 스펙트럼 기하학 (Spectral Geometry) 과 비국소적 편미분방정식 연구에 중요한 기여입니다.
2. 최적 점근적 성질: 증명 과정에서 도출된 부등식들이 $s \to 0$ (비국소적 한계) 및 $s \to 1$ (국소적 한계) 에서 최적의 상수 거동을 보인다는 점을 강조했습니다. 이는 기존 문헌의 부등식들이 가졌던 한계를 극복한 것입니다.
3. 새로운 분석 도구: 비대칭 반노름 (asymmetric seminorm) 과 이를 활용한 새로운 Maz'ya-Poincaré 부등식은 분수형 Sobolev 공간 이론에서 독립적으로 유용한 도구로 활용될 수 있습니다.
4. Cheeger 상수 및 고유값 문제: 분수형 Laplacian 의 첫 번째 고유값 (Dirichlet eigenvalue) 에 대한 새로운 하한과, 분수형 Cheeger 상수의 양의 성질에 대한 최적의 기하학적 조건을 제시했습니다.

5. 결론

이 논문은 분수형 Poincaré-Sobolev 부등식의 최적 상수가 집합의 기하학적 구조 (특히 용량적 성질) 에 의해 어떻게 결정되는지를 정량적으로 규명했습니다. 특히 분수형 용량 내반경이라는 개념을 도입하여, 집합이 얼마나 '불규칙'하거나 '구멍'이 있더라도 부등식이 성립할 수 있는지를 정확히 포착하는 새로운 기준을 제시했습니다. 이는 비국소적 편미분방정식의 스펙트럼 이론과 기하학적 분석 분야에서 중요한 이정표가 될 것으로 기대됩니다.