Traces of Muckenhoupt weighted function spaces in case of distant singularities (Q2408485): Difference between revisions

The authors establish trace theorems of weighted Besov and Triebel-Lizorkin spaces for Muckenhoupt \(A_\infty\) weights which are not allowed to have any singularity close to the set where the traces are taken, and in this case the weights are proved to have no influence on the trace spaces. To be precise, it is proved that, for all \(0<p,q<\infty\), \(s-1/p>(n-1)(1/p-1)_+\) and \(w\in A_\infty\) satisfying that \[ 0<c_1\leq \inf_{{v\in\mathbb{N}_0}, {v\geq v_0}}\inf_{m\in\mathbb{Z}^n, |m_n|\leq b} \frac{w(Q_{vm})}{|Q_{vm}|} \leq \sup_{{v\in\mathbb{N}_0}, {v\geq v_0}}\sup_{m\in\mathbb{Z}^n, |m_n|\leq b} \frac{w(Q_{vm})}{|Q_{vm}|}\leq c_2<\infty \] for some \(b>1\) and \(v_0\in \mathbb{N}_0\), where \(Q_{vm}\) denotes the dyadic cube \(2^{-v}(m+[0,1)^n)\), then \[ \text{tr}_{\mathbb{R}^{n-1}}B^s_{p,q}(\mathbb{R}^n,w) =\text{tr}_{\mathbb{R}^{n-1}}B^s_{p,q}(\mathbb{R}^n)=B^{s-1/p}_{p,q}(\mathbb{R}^{n-1}). \] In the limiting case \(s=1/p\), it is shown that, for \(q\in(0,\min(1,p)\) and \(w\) as above, the trace operator \(\text{tr}_{\mathbb{R}^{n-1}}\) is bounded from \(B^{1/p}_{p,q}(\mathbb{R}^n,w)\) to \(L_p(\mathbb{R}^{n-1})\), while for any \(g\in L_p(\mathbb{R}^{n-1})\) there exists an \(f\in B^{1/p}_{p,q}(\mathbb{R}^n,w)\) whose norm can be controlled by \(\|g|L_p(\mathbb{R}^{n-1})\|\) so that \(\text{tr}_{\mathbb{R}^{n-1}} f=g\). Similar results are also proved to be true for the pair \((F^s_{p,q}(\mathbb{R}^n,w), F^{s-1/p}_{p,p}(\mathbb{R}^{n-1}))\) (and in the limiting case for \((F^{1/p}_{p,q}(\mathbb{R}^n,w), L_{p}(\mathbb{R}^{n-1}))\)).