Two weight Sobolev norm inequalities for smooth Calderón-Zygmund operators and doubling weights (Q2687013)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Two weight Sobolev norm inequalities for smooth Calderón-Zygmund operators and doubling weights
scientific article

    Statements

    Two weight Sobolev norm inequalities for smooth Calderón-Zygmund operators and doubling weights (English)
    0 references
    1 March 2023
    0 references
    As the main result of the paper, a two-weight \(T1\) theorem on weighted Sobolev spaces is proved for generic smooth \(\alpha\)-fractional singular integral operators on \(\mathbb R^n\) in the framework of two-doubling measures \(\mu\) and \(\omega\). Given \(0\le\alpha<n\), by a smooth \(\alpha\)-fractional Calderón-Zygmund kernel it is meant a function \(K^\alpha\colon \mathbb R^n\times\mathbb R^n \to \mathbb R\) satisfying the following fractional size and smoothness conditions \[ \big|\nabla^j_x K^\alpha(x,y)\big| + \big|\nabla^j_y K^\alpha(x,y)\big| \le C_{\alpha,j}|x-y|^{\alpha-j-n}, \quad 0\le j<\infty; \] \(T^\alpha\) then stands for the associated \(\alpha\)-fractional singular integral operator on \(\mathbb R^n\). Given a doubling Borel measure \(\mu\) on \(\mathbb R^n\) and \(s>0\), by the Sobolev space \(W^s(\mu)\) it is meant the Hilbert space completion of the pre-Hilbert space \(\{f\in L^2_{\mathrm{loc}}(\mu)\colon \|f\|_{W^s(\mu)}<\infty\}\), where \[ \|f\|_{W^s(\mu)}^2=\int_{\mathbb R^n}\int_{\mathbb R^n}\Big(\frac{f(x)-f(y)}{x-y}\Big)^2\frac{d\mu(x)\,d\mu(y)}{|B((x+y)/2,|x-y|/2)|_\mu}. \] Under the appropriate interpretation of boundedness of the operator \(T^\alpha_\sigma f\equiv T^\alpha(f\sigma)\) between Sobolev spaces corresponding to \(\mu\) and \(\omega\), it is proved that there exists \(\theta>0\), depending on the doubling constants of \(\mu\) and \(\omega\), such that for \(0<s<\theta\), \(T^\alpha_\sigma\) is bounded from \(W^s(\mu)\) to \(W^s(\omega)\), provided the classical fractional Muckenhoupt condition on the measure pair holds, i.e. \(\sup_Q |Q|_\sigma |Q|_\omega/|Q|^{2(1-\alpha/n)}<\infty\), and a Sobolev \(\mathfrak{1}\)-testing and \(\mathfrak{1}^\ast\)-testing conditions for the operator \(T^\alpha\) hold; here the above supremum is taken over all cubes with sides parallel to the coordinate axes.
    0 references
    doubling measure
    0 references
    \(\alpha\)-fractional singular integral
    0 references
    weighted Sobolev space
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references