A T(P) theorem for Sobolev spaces on domains

Singular and oscillatory integrals (Calderón-Zygmund, etc.) (42B20) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35)

Abstract: Recently, V. Cruz, J. Mateu and J. Orobitg have proved a T(1) theorem for the Beurling transform in the complex plane. It asserts that given

0 < s l e q 1

,

1 < p < i n f t y

with

s p > 2

and a Lipschitz domain

O m e g a s u b s e t m a t h b b C

, the Beurling transform

B f = - m p . v . f r a c 1 p i z^{2} * f

is bounded in the Sobolev space

W^{s, p} (O m e g a)

if and only if

B c h i_{O} m e g a i n W^{s, p} (O m e g a)

. In this paper we obtain a generalized version of the former result valid for any

s i n m a t h b b N

and for a larger family of Calder'on-Zygmund operators in any ambient space

m a t h b b R^{d}

as long as

p > d

. In that case we need to check the boundedness not only over the characteristic function of the domain, but over a finite collection of polynomials restricted to the domain. Finally we find a sufficient condition in terms of Carleson measures for

p l e q d

. In the particular case

s = 1

, this condition is in fact necessary, which yields a complete characterization.

Review text

In this paper, the authors study necessary and sufficient conditions on certain singular integral operators to be bounded on the Sobolev space of a Lipschitz domain of \({\mathbb R}^d\). Let \(n\in\mathbb{N}\), \(p\in(1,\,\infty)\) and \(U\subset \mathbb{R}^d\) be any open set. The Sobolev space \(W^{n,\,p}(U)\) consists of all the functions \(f\) which have weak derivatives up to order \(n\) and \(D^{\alpha}f\in L^p(U)\) for all \(|\alpha|\leq n\). If \(D^{\alpha}f\in L^p_{\text{loc}}(U)\) for all \(|\alpha|\leq n\), \(f\) is said to belong to \(W^{n,\,p}_{\text{loc}}(U)\). A measurable function \(K\in W^{n,\,1}_{\text{loc}}({\mathbb R}^d\setminus \{0\})\) is said to be a smooth convolution Calderón-Zygmund kernel of order \(n\) if there exists a positive constant \(C_K\), depending on \(K\), such that, for any \(j\in\{0,\ldots,n\}\) and \(x\neq 0\), \[ |\nabla^j K(x)|\leq \frac{C_K}{|x|^{d+j}}, \] where \(|\nabla^j K|:=\sum_{|\alpha|=j}|D^\alpha K|\). The smooth convolution Calderón-Zygmund operator \(T\) of order \(n\) is defined by setting, for any \(f\in L^1_{\text{loc}}({\mathbb R}^d)\) and \(x\in{\mathbb R}^n\setminus \mathrm{\,supp\,}f\), \[ T(f)(x):=\int_{{\mathbb R}^d}K(x-y)f(y)\,dy. \] For a domain \(\Omega\subset\mathbb{R}^d\), the truncated operator \(T_\Omega\) is defined by \(T_\Omega(f):=\chi_\Omega T(\chi_\Omega f)\) for any \(f\in L^1_{\text{loc}}({\mathbb R}^d)\). In this paper, the authors first prove that, if \(\Omega\subset\mathbb{R}^d\) is a Lipschitz domain, \(T\) is a smooth convolution Calderón-Zygmund operator of order \(n\in\mathbb{N}\) and \(p\in(d,\,\infty)\), then the following two statements are equivalent: {\parindent=6mm \begin{itemize} \item[(i)] The truncated operator \(T_\Omega\) is bounded on \(W^{n,\,p}(\Omega)\). \item [(ii)] For every polynomial \(P\) of degree at most \(n-1\), \(T_\Omega(P)\in W^{n,\,p}(\Omega)\). \end{itemize}} For \(p\in(1,\,d]\), the authors find a sufficient condition in terms of Carleson measures and prove that for \(n=1\) this condition is also necessary. A positive and finite Borel measure \(\mu\) is said to be a \(p\)-Carleson measure if there exists a positive constant \(C\) such that, for any \(a\in\Omega\) which is close enough to the boundary \(\partial\Omega\), \[ \int_{\widetilde{\text{Sh}}(a)}[\text{dist}(x,\,\partial\Omega)]^{(d-p)(1-p')} \left[\mu(\text{Sh}(x)\cap\text{Sh}(a))\right]^{p'}\frac{dx} {[\text{dist}(x,\,\partial\Omega)]^d}\leq C\mu(\text{Sh}(a)), \] where \(\text{Sh}(x)\), \(\widetilde{\text{Sh}}(a)\) and \(\text{Sh}(a)\) are, respectively, the shadows of \(x\) and \(a\), which can be understood as Carleson boxes of \(\Omega\). To be precise, the authors show that, if \(\Omega\subset\mathbb{R}^d\) is a Lipschitz domain, \(T\) is a smooth convolution Calderón-Zygmund operator of order \(n\in\mathbb{N}\), \(p\in(1,\,d]\) and the measure \(|\nabla^n T_\Omega (P)(x)|^p\,dx\) is a \(p\)-Carleson measure for every polynomial \(P\) of degree at most \(n-1\), then \(T_\Omega\) is bounded on \(W^{n,\,p}(\Omega)\).

Recommendations

Cites work

Cited in

(22)

This page was built for publication: A T(P) theorem for Sobolev spaces on domains

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