Traces of Besov, Triebel-Lizorkin and Sobolev spaces on metric spaces

DOI10.1515/AGMS-2017-0006MaRDI QIDQ1689544zbMATH OpenOpenAlexWikidataFDO

Authors Eero Saksman, Tomás Soto

Publication date 12 January 2018

Published in Analysis and Geometry in Metric Spaces (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://arxiv.org/abs/1606.08729

zbMATH Keywords

Ahlfors regular metric spaces Besov spaces hyperbolic filling Sobolev spaces trace theorems Triebel-Lizorkin spaces

Mathematics Subject Classification ID

Analysis on metric spaces (30L99) Function spaces arising in harmonic analysis (42B35) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35)

Abstract: We establish trace theorems for function spaces defined on general Ahlfors regular metric spaces

Z

. The results cover the Triebel-Lizorkin spaces and the Besov spaces for smoothness indices

s < 1,

as well as the first order Haj{l}asz-Sobolev space

M^{1, p} (Z)

. They generalize the classical results from the Euclidean setting, since the traces of these function spaces onto any closed Ahlfors regular subset

F s u b s e t Z

are Besov spaces defined intrinsically on

F

. Our method employs the definitions of the function spaces via hyperbolic fillings of the underlying metric space.

Review text

This paper deals with the trace theorem of the Besov spaces \(\dot{\mathcal{B}}^s_{p,q}\) and the Triebel-Lizorkin spaces \(\dot{\mathcal{F}}^s_{p,q}\) for smoothness indices \(s\in(0,1)\), as well as the first-order Hajłasz-Sobolev space \(\dot M^{1,p}\) on general Ahlfors regular metric spaces \(Z\). To be precise, let \(Z:=(Z,d,\mu)\) be a \(Q\)-Ahlfors regular metric measure space for some \(Q>0\) and \(F\) a closed \(\lambda\)-Ahlfors regular subset of \(Z\) with \(\lambda\in(0,Q]\). The first main result of this paper states that, for all \(s\in(0,1)\), \(\max\{\frac{Q}{\lambda+s},\frac{Q-\lambda}s\}<p<\infty\) and \(q\in(0,\infty]\). Then there exist bounded linear operators \(\mathcal{R}:\,\dot{\mathcal{B}}^s_{p,q}(Z) \to \dot{\mathcal{B}}^{s-\frac{Q-\lambda}p}_{p,q}(F)\) and \(\mathcal{E}:\,\dot{\mathcal{B}}^{s-\frac{Q-\lambda}p}_{p,q}(F) \to\dot{\mathcal{B}}^s_{p,q}(Z)\) such that \(\mathcal{R}f\) coincides with \(f\) on \(F\) for all continuous functions \(f\in \dot{\mathcal{B}}^s_{p,q}(Z)\) and \(\mathcal{R}\circ \mathcal{E}=\mathrm{id}\) on \(\dot{\mathcal{B}}^{s-\frac{Q-\lambda}p}_{p,q}(F)\). Under the additional assumption that \(F\) is porous, similar results are also proved to be true for the pair \((\dot{\mathcal{F}}^s_{p,q}(Z), \dot{\mathcal{B}}^{s-\frac{Q-\lambda}p}_{p,p}(F))\) with \(s\in(0,1)\), \(\max\{\frac{Q}{\lambda+s},\frac{Q-\lambda}s\}<p<\infty\) and \(q\in(\frac{Q}{Q+s},\infty]\), and also the pair \((\dot{M}^{1,p}(Z), \dot{\mathcal{B}}^{1-\frac{Q-\lambda}p}_{p,p}(F))\) with \(\max\{\frac{Q}{\lambda+s},\frac{Q-\lambda}s\}<p<\infty\). These results generalize a series of classical trace results of Sobolev, Besov and Triebel-Lizorkin spaces from the Euclidean setting to Ahlfors regular spaces, and the key tool used in their proofs is the descriptions of the involved function spaces via hyperbolic fillings of the underlying metric space obtained by the authors in their previous works.

Recommendations

Cites work

Cited in

(24)

This page was built for publication: Traces of Besov, Triebel-Lizorkin and Sobolev spaces on metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1689544)