[논문 리뷰] Besov spaces via hyperbolic fillings

Tomás Soto|arXiv (Cornell University)|2016. 06. 26.

Advanced Harmonic Analysis Research참고 문헌 6인용 수 7

한 줄 요약

이 논문은 이중성 거리측도공간에서 $0<s<1$인 경우에 대해, 기저 거리공간의 초구형 채움을 이용하여 동차 베소프 공간 $\dot{\mathcal{B}}^{s}_{p,q}(Z)$의 새로운 특성화를 제안한다. 이 접근법은 함수의 포아송 확장의 이산 도함수를 통해 베소프 노름을 정의하여 고전적 정의와의 동치성을 확립하고, 이들 노름 범위에서 리프시츠 함수의 조밀성과 복소 보간의 증명을 가능하게 한다.

ABSTRACT

We establish a new characterization of the homogeneous Besov spaces $\dot{\mathcal B}^{s}_{p,q}(Z)$ with smoothness $s \in (0,1)$ in the setting of doubling metric measure spaces $(Z,d,μ)$. The characterization is given in terms of a hyperbolic filling of the metric space $(Z,d)$, a construction which has previously appeared in the context of other function spaces in [3,1,2]. We use the characterization to obtain results concerning the density of Lipschitz functions in the spaces $\dot{\mathcal B}^{s}_{p,q}(Z)$ and a general complex interpolation formula in the smoothness range $0 &lt; s &lt; 1$.

연구 동기 및 목표

• 이중성 거리측도공간의 기하학적 구조를 이용하여, $0<s<1$ 범위의 동차 베소프 공간 $\dot{\mathcal{B}}^{s}_{p,q}(Z)$에 대한 새로운 내재적 특성화를 개발하는 것.
• 유클리드 설정에서 이 새로운 정의가 고전적 베소프 공간 정의 및 다른 알려진 특성화와 동치임을 입증하는 것.
• 모든 $Q/(Q+s) < p \leq \infty$ 및 $0 < q \leq \infty$에 대해, $\dot{\mathcal{B}}^{s}_{p,q}(Z)$에서 리프시츠 함수의 조밀성을 증명하는 것.
• 초구형 채움 프레임워크를 이용하여, $0<s<1$ 범위의 베소프 공간에 대한 일반적인 복소 보간 공식을 유도하는 것.

제안 방법

• 스케일 $2^{-n}$에서의 이분 네트워크 $X_n$을 이용하여 거리공간 $(Z,d)$의 초구형 채움을 구성하고, 유한한 차수를 가지는 그래프 $(X,E)$를 형성한다.
• 함수 $f \in L^1_{\text{loc}}(Z)$의 포아송 확장 $Pf$를, 점 $\xi_x \in X_n$ 중심의 구 $B(x)$ 위에서 $f$의 평균으로 정의한다.
• 그래프 $X$ 위의 수열 $u$에 대해, $E$의 간선을 따라 encoding된 차이를 담은 벡터값 수열로 이산 도함수 $du$를 정의하며, 점별 노름은 $|du(x)| = \left(\sum_{x' \sim x} |u(x') - u(x)|^2\right)^{1/2}$로 주어진다.
• quasi-노름 $\|u\|_{{\mathcal{I}}^{s}_{p,q}(E)} = \left(\sum_{k \in \mathbb{Z}} 2^{ksq} \left\| \sum_{|e|=k} |u(e)| \chi_{B(e)} \right\|_{L^p(Z)}^q \right)^{1/q}$을 갖는 수열 공간 ${\mathcal{I}}^{s}_{p,q}(E)$를 도입한다.
• 연산자 $S: f \mapsto d(Pf)$ 및 $R: u \mapsto \lim_{N \to \infty} \left( \sum_{n=-N}^N I_n u - \sum_{n=-N}^{-1} I_n u(\xi_0) \right) + \mathbb{C}$를 통해 $\dot{\mathcal{B}}^{s}_{p,q}(Z)$와 ${\mathcal{I}}^{s}_{p,q}(E)$ 사이의 등장사상(이sovorphism)을 확립한다.

실험 결과

연구 질문

• RQ1 이중성 거리측도공간에서 $0<s<1$인 경우, 거리공간의 초구형 채움을 이용하여 동차 베소프 공간 $\dot{\mathcal{B}}^{s}_{p,q}(Z)$를 내재적으로 특성화할 수 있는가?
• RQ2 초구형 채움을 통한 새로운 특성화가 유클리드 설정에서 고전적 정의와 동치인 노름을 제공하는가?
• RQ3 새로운 특성화 하에서 리프시츠 함수는 $\dot{\mathcal{B}}^{s}_{p,q}(Z)$에서 조밀한가?
• RQ4 이 프레임워크를 이용하여 $0<s<1$ 범위의 베소프 공간에 대한 일반적인 복소 보간 공식을 도출할 수 있는가?

주요 결과

• 초구형 채움과 포아송 확장의 이산 도함수를 통한 $\dot{\mathcal{B}}^{s}_{p,q}(Z)$의 새로운 특성화는 유클리드 경우에서 표준 정의와 동치이며, 이는 제3.1조에서 확인되었다.
• $Q/(Q+s) < p \leq \infty$ 및 $0 < q \leq \infty$인 경우, 유계 선형 연산자 $S$와 $R$를 통해 $\dot{\mathcal{B}}^{s}_{p,q}(Z)$와 ${\mathcal{I}}^{s}_{p,q}(E)$ 사이의 등장사상이 존재하며, $R \circ S = \text{id}$임이 입증되었다.
• $\max(p,q) < \infty$인 경우, 유계 지지집합을 가진 리프시츠 함수는 $\dot{\mathcal{B}}^{s}_{p,q}(Z)$에서 조밀하다. 이는 ${\mathcal{I}}^{s}_{p,q}(E)$에서 유한 지지 수열의 조밀성과 $R$의 전사성에 의해 입증되었다.
• 이 구성은 $0<s<1$ 범위의 베소프 공간에 대한 일반적인 복소 보간 공식을 가능하게 하여, 기존 결과를 거리측도공간 설정으로 확장한다.