Closing the gap: Maz'ya-Shaposhnikova and asymptotics of fractional perimeters

기술적 요약: 간극 해소: Maz'ya-Shaposhnikova 와 분수 주위의 점근적 성질

문제 제기
Gagliardo 반노름의 점근적 성질 연구는 비국소 분석의 핵심으로, 매개변수 $s$가 0 또는 1 에 접근함에 따라 분수 Sobolev 공간 $W^{s,p}$와 고전적 공간 사이의 간극을 연결합니다. 고전적인 Maz'ya-Shaposhnikova (MS) 공식 [36] 은 $u \in L^p(\mathbb{R}^d)$인 함수에 대해 $s \to 0^+$일 때의 극한을 기술하며, $s [u]_{W^{s,p}}^p$가 $L^p$ 노름의 배수에 수렴한다고 명시합니다. 그러나 이 공식은 $u$가 무한대에서 소멸한다는 (즉, $u \in L^p(\mathbb{R}^d)$) 구조적 가정에 의존합니다. 이 제한은 함수의 "꼬리 행동 (tail behavior)"을 인위적으로 억제하는데, 이는 $s \to 0^+$일 때 분수 커널의 비국소적 성질이 가장 두드러지는 영역입니다.

반면, 집합 $E$의 특성 함수에 대한 분수 주위의 점근적 성질에 관한 최근 연구 [20] 는, 무한대에서 소멸하지 않는 질량을 가진 집합의 경우 극한이 "비국소적 꼬리"를 나타내는 항 $\alpha_1(E)$를 포함함을 밝혔습니다. 이는 $L^p(\mathbb{R}^d)$에 속하지 않는 일반 함수의 경우 극한이 단순한 국소 $L^p$ 노름의 배수가 아니라, 유계 영역 $\Omega$ 내부의 함수 값과 "무한대에서의" 행동 사이의 상호작용 에너지가 되어야 함을 시사합니다.

방법론
저자들은 힐베르트 공간 경우인 $p=2$에 초점을 맞추고, 유계 Lipschitz 영역 $\Omega$ 위에서 국소화된 Gagliardo 반노름을 도입합니다:
$$[u]_{W^{s,2}(Q\Omega)}^2 = \iint_{Q\Omega} \frac{|u(x) - u(y)|^2}{|x-y|^{d+2s}} \, dx \, dy,$$
여기서 $Q\Omega = (\mathbb{R}^d \times \mathbb{R}^d) \setminus (\Omega^c \times \Omega^c)$입니다. 이 함수는 $\Omega$ 내의 적어도 한 점을 포함하는 상호작용을 고려하여, 내부 - 내부, 내부 - 외부, 외부 - 내부 상호작용의 에너지를 분리하고 외부 - 외부 기여는 무시합니다.

핵심 방법론적 혁신은 가측 함수 $u$에 대한 무한대에서의 $p$-질량의 정의입니다:
$$\alpha_p(u) := \lim_{s \to 0^+} s \int_{B_1^c(0)} \frac{u(y)}{|y|^{d+sp}} \, dy.$$
저자들은 이 양이 이동 불변이며 전역적으로 적분 가능하지 않은 함수에 대해서도 잘 정의됨을 입증합니다. 그들은 국소화된 반노름을 네 가지 항으로 분해합니다:

1. 내부 - 내부: $s \to 0^+$일 때 소멸함이 증명됨 (Lemma 2.5).
2. 내부 - 외부 (제곱): 상수 함수 1 의 질량과 $\Omega$ 위의 $u^2$ 적분을 포함하는 항으로 수렴합니다.
3. 교차항: $u(x)u(y)$의 곱을 포함하며, $u$의 양의 부분과 음의 부분 ($u_+, u_-$) 을 사용하여 전개되고 무한대에서의 질량을 통해 분석됩니다.
4. 외부 - 내부 (제곱): $u^2$의 질량과 $\Omega$의 부피를 포함하는 항으로 수렴합니다.

증명은 직접적인 추정, 분수 Hardy 부등식, 그리고 함수 값 자체로 가중된 측도를 처리하도록 적응된 거리 측정 공간에서의 일반화된 MS 공식 ([28] 의 Proposition 2.3) 의 조합에 의존합니다.

주요 기여 및 결과

1. 일반화된 Maz'ya-Shaposhnikova 공식 (Theorem 1.3):
   무한대에서의 질량이 유한한 ($\alpha(u_+), \alpha(u_-), \alpha(u^2)$가 존재함) $u \in L^2_{\text{loc}}(\mathbb{R}^d)$에 대해, 국소화된 반노름의 극한은 다음과 같습니다:
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \sum_{k=0}^2 \binom{2}{k} (-1)^k \alpha(u^k) \int_\Omega u^{2-k}(x) \, dx.$$
   이 공식은 고전적인 MS 공식 ($u \in L^2(\mathbb{R}^d)$일 때 $\alpha(u^k)=0$ for $k \ge 1$로 회복됨) 과 분수 주위 점근적 성질을 통합합니다.

2. 기하학적 해석 (Theorem 2.11):
   $|x| \to \infty$일 때 방사형 극한 $u_\infty(\theta)$를 허용하는 함수 $u$에 대해, 극한 함수는 $\Omega$ 내부의 $u$ 값과 무한대에서의 극한 사이의 상호작용 에너지로 명시적으로 특징지어집니다:
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \frac{1}{2} \int_\Omega \int_{S^{d-1}} |u(x) - u_\infty(\theta)|^2 \, d\mathcal{H}^{d-1}(\theta) \, dx.$$
   이는 극한이 노름이 아니라 함수의 무한대에서의 행동으로부터의 편차를 측정하는 에너지임을 명확히 합니다.

3. Gamma-수렴 (Theorem 3.4):
   저자들은 함수열 $F_s(u, \Omega) = \frac{s}{2}[u]_{H^s(Q\Omega)}^2$가 Theorem 1.3 에서 규명된 함수열로 약-$L^2(\Omega)$ 위상에 대해 Gamma-수렴함을 입증합니다. 이 결과는 극한 함수가 점근적 분수 주위를 기술하는 집합 함수열의 하반연속 포락선임을 의미합니다 (Equation 1.6).

4. 거리 측정 공간으로의 확장 (Theorem 4.5):
   결과는 특정 가정 하의 일반 거리 측정 공간 $(M, d, m)$으로 확장됩니다. 여기에는 컨볼루션 커널 $\rho_n$에 대한 가정과 무한대에서의 질량 존재가 포함되며, Carnot 군에 대한 응용을 포함합니다.

5. 가우스 주위와의 차이 (Remark 4.9):
   이 논문에서 유도된 점근적 성질은 가우스 분수 주위에는 성립하지 않음을 지적합니다. 가우스 설정에서는 측도가 유한하며 커널이 무한대에서 질량을 동일한 방식으로 집중하지 않으므로, 극한은 국소 경계 상호작용이 아니라 집합의 총 측도에 의존합니다.

의의 및 주장
이 논문은 무한대에서 소멸하지 않는 질량을 가진 함수를 수용하는 통합된 프레임워크를 제공함으로써 고전적인 Maz'ya-Shaposhnikova 공식과 비국소 주위의 점근적 성질 사이의 간극을 "해소"했다고 주장합니다.

• 통합: 규명된 극한 함수는 전역적으로 적분 가능한 함수에 대해서는 고전적인 $L^2$ 노름으로 축소되며, 집합의 특성 함수에 대해서는 $s$-분수 주위의 점근적 극한을 회복합니다.
• 구조적 통찰: "무한대에서의 질량" 개념을 도입함으로써 저자들은 $s \to 0^+$일 때 에너지를 지배하는 장거리 상호작용을 엄밀하게 특징짓습니다. 그들은 극한이 국소 노름이 아니라 영역 내부와 "지평선"(무한대) 사이의 상호작용 에너지임을 입증합니다.
• 견고성: 결과는 Gamma-수렴의 의미에서 성립함이 보여져 약수렴 하에서의 안정성을 보장하며, Carnot 군과 같은 공간을 포괄하는 거리 측정 설정으로 일반화됩니다.

저자들은 명시적으로 일반적인 $p \neq 2$의 경우는 다른 접근법이 필요하며 이는 동반 논문 [13] 의 주제라고 밝히는데, 홀수 $p$의 경우 여기서 사용된 이항 전개와 유사한 폐쇄형 공식을 얻을 수 없을 수 있음을 지적합니다.