[논문 리뷰] BV functions and fractional Laplacians on Dirichlet spaces

Patricia Alonso Ruiz, Fabrice Baudoin외 4명|arXiv (Cornell University)|2019. 10. 28.

Nonlinear Partial Differential Equations참고 문헌 34인용 수 4

한 줄 요약

이 논문은 하중핵 추정이 하중하중을 갖는 메트릭 측도 딜레클 공간에서 열 반군 기반의 베소프 및 BV 함수 이론을 수립하며, 보조화를 통해 분수 라플라스 연산자를 도입한다. 임계 지수, 등고선 공식, $L^1$-가짜 파oincaré 부등식, 등면적 부등식을 도출하며, 기하학적 조건이 약한 Bakry-Émery 곡률 조건을 만족할 경우 BV 공간이 분수 소볼레프 공간과 일치함을 보여준다.

ABSTRACT

We study $L^p$ Besov critical exponents and isoperimetric and Sobolev inequalities associated with fractional Laplacians on metric measure spaces. The main tool is the theory of heat semigroup based Besov classes in Dirichlet spaces that was introduced by the authors in previous works.

연구 동기 및 목표

• 비국소 딜레클 공간으로의 함수의 유한변동도(BV) 및 분수 소볼레프 공간 이론을 열 반군 기반 접근법을 통해 확장한다.
• 분수 라플라스 연산자 $(-L)^\delta$를 통해 베소프 공간 $\mathbf{B}^{p,\alpha}(X)$ 의 $L^p$-임계 지수를 특성화한다.
• 특히 BV 함수에 대해 비국소 딜레클 공간에서 등면적 및 소볼레프 유형 부등식을 수립한다.
• 비자명한 베소프 공간을 위한 임계 지수 $\alpha = 1/p$ 를 식별하며, 이는 $\mathbb{R}^d$ 상의 고전적 Gagliardo 정의와 연결된다.
• 기하학적 가정(예: 약한 Bakry-\'Emery 곡률 조건)에 따라 BV 함수에 대한 Korevaar-Schoen 공간과 분수 소볼레프 공간 사이의 이원성에 대해 연구한다.

제안 방법

• 분수 라플라스 연산자 $(-L)^\delta$ 의 열 반군을 사용하여 베소프 공간 $\mathbf{B}^{p,\alpha}(X)$ 를 정의하며, 노름 $\|f\|_{p,\alpha} = \sup_{t>0} t^{-\alpha} \left( \int_X P_t^{(\delta)}(|f - f(x)|^p)(x) \, d\mu(x) \right)^{1/p}$ 을 사용한다.
• 보조화를 통해 원래의 딜레클 형식 $\mathcal{E}^{(\delta)}$ 에서 분수 라플라스 연산자 $(-L)^\delta$ 를 구성하며, $0 < \delta < \min\{1, d_H/d_W\}$ 인 조건 하에서 관련 반군이 강연속적이고 투과성을 갖도록 보장한다.
• 비상수 함수를 포함하는 $\mathbf{B}^{p,\alpha}(X)$ 를 위한 임계 지수 $\alpha_p^\#(X) = \sup\{\alpha > 0 : \mathbf{B}^{p,\alpha}(X) \text{ contains non-constant functions}\}$ 를 도입하여, BV 유형 공간을 $\mathbf{B}^{1,\alpha_1^\#}(X)$ 로 정의한다.
• 수준집합 $E_t(|f|) = \{x : |f(x)| > t\}$ 을 사용하여 BV 함수에 대한 등고선 공식을 유도하며, 총변동과 초수준집합의 용량 간의 연관성을 맺는다.
• 용량 조건 $\mu(K)^{1/\kappa} \leq \Theta \cdot \text{Cap}_0(K)$ 를 통해 $L^1$-가짜 파oincaré 부등식을 수립하며, 이는 $\|f\|_{L^{2\kappa}} \leq C \sqrt{\mathcal{E}^{(\delta)}(f,f)}$ 형태의 소볼레프 부등식을 암시한다.
• 변분 용량 $\text{Cap}_0(K)$ 와 스펙트럼 차원 $d_S^{(\delta)} = 2d_W/(\delta d_H)$ 를 사용하여 투과성의 특성화 및 등면적 유형 부등식과의 연결을 도출한다.

실험 결과

연구 질문

• RQ1 비국소 딜레클 공간에서 비자명한 베소프 공간 $\mathbf{B}^{p,\alpha}(X)$ 를 특성화하는 데 있어 임계 지수 $\alpha = 1/p$ 의 역할은 무엇인가?
• RQ2 열 반군 접근법을 통해 정의된 BV 함수는 메트릭 측도 공간에서 분수 소볼레프 공간과 어떻게 관련이 있는가?
• RQ3 BV 함수 공간이 분수 소볼레프 공간과 일치하는 기하학적 조건은 무엇이며, 언제는 Korevaar-Schoen 공간과 일치하는가?
• RQ4 국소 정규성 조건을 가정하지 않고, 열핵 및 용량 추정만을 사용하여 비국소 딜레클 공간에서 등면적 및 소볼레프 부등식을 도출할 수 있는가?
• RQ5 임계 지수 $|P_t^{(\delta)}f(x) - P_t^{(\delta)}f(y)| \leq C \frac{d(x,y)^\kappa}{t^{\kappa/(\delta d_W)}} \|f\|_{L^\infty}$ 를 갖는 약한 Bakry-\'Emery 곡률 조건이 BV 부등식 증명에서 어떤 의미를 갖는가?

주요 결과

• 모든 $\alpha < 1/p$ 에 대해, 베소프 공간 $\mathbf{B}^{p,\alpha}(X)$ 는 비자명하며, $s = \alpha$ 이고 $\delta = 1$ 일 때 $\mathbb{R}^d$ 상의 분수 소볼레프 공간 $W^{s,p}$ 와 일치한다.
• 모든 $\alpha > 1/p$ 에 대해, 공간 $\mathbf{B}^{p,\alpha}(X)$ 는 자명하며, 이는 연산자의 비국소성에 의해 결정되는 낼맞는 임계 지수 $\alpha = 1/p$ 를 나타낸다.
• BV 함수에 대한 임계 지수 $\alpha_1^\#$ 는 $\mathbf{B}^{1,\alpha_1^\#}(X) = \text{BV}(X)$ 를 만족하며, 이 공간은 약한 Bakry-\'Emery 조건이 성립할 경우 분수 소볼레프 공간 $W^{s,1}$ 과 등거리 동치이다.
• 등고선 공식이 성립한다: $\int_0^\infty \text{Cap}_0(E_t(|f|)) \, dt \leq 4 \mathcal{E}^{(\delta)}(f,f)$ 로써 총변동과 초수준집합의 용량 간의 연관성이 맺어진다.
• $\mu(K)^{1/\kappa} \leq \Theta \cdot \text{Cap}_0(K)$ 의 용량 조건 하에서 $L^1$-가짜 파oincaré 부등식이 수립되며, 이는 $\|f\|_{L^{2\kappa}} \leq C \sqrt{\mathcal{E}^{(\delta)}(f,f)}$ 를 만족하는 상수 $C > 0$ 가 존재함을 암시한다.
• $p \geq 2$ 에 대해 공간 $\mathbf{B}^{p,1/p}(X)$ 는 $L^p(X,\mu)$ 에 밀도를 갖는다. 이 공간은 $s = 1/p$ 일 때 분수 소볼레프 공간 $W^{s,p}(X)$ 와 일치하며, 이는 Gagliardo 정의를 메트릭 측도 공간으로 일반화한 것이다.