Sub-elliptic Besov spaces and the characterization of traces on lower dimensional manifolds (Q2767863)

This is an exposition (without proofs) of a number of theorems concerning embeddings between sub-elliptic weak Sobolev spaces of order 1, \({\mathcal L}^{1,p} (\Omega,dx)\) on \(\Omega\subset \mathbb{R}^n\) and Besov spaces \(B^p_\beta (F,d\mu)\) on a closed subset \(F\subset\mathbb{R}^n\) with respect to a measure \(\mu\) with support in \(F\). The measure \(\mu\) may be determined so that \({\mathcal L}^{1,p} (\sigma B_0,dx)\) is imbedded in \(B^p_\beta (F,d\mu)\) continuously (interior sharp trace inequality). Next, there is a trace theorem on the boundary, concerning existence and continuity of the trace operator \({\mathcal T}r: {\mathcal L}^{1,p} (\Omega,dx)\to B^p_\beta (\partial \Omega, d\mu)\), and an embedding theorem of \(B^p_\beta (\Omega,d\mu)\) into \(L^q(\Omega, d\mu)\) with suitable \(p,q\). There follow geometric examples in the Carnot group and application to the subelliptic Neumann problem.NEWLINENEWLINEFor the entire collection see [Zbl 0970.00020].