Endpoint estimates for commutators of singular integrals related to Schrödinger operators

DOI10.4171/RMI/871MaRDI QIDQ2633987zbMATH OpenFDO

Publication date 5 February 2016

Published in Revista Matemática Iberoamericana (Search for Journal in Brave)

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

atoms BMO space Calderón-Zygmund operators commutators Hardy spaces Riesz transforms Schrödinger operators singular integrals

Mathematics Subject Classification ID

Schrödinger operator, Schrödinger equation (35J10) Singular and oscillatory integrals (Calderón-Zygmund, etc.) (42B20) (H^p)-spaces (42B30) Function spaces arising in harmonic analysis (42B35)

Abstract: Let

L = - D e l t a + V

be a Schr"odinger operator on

m a t h b b R^{d}

,

d g e q 3

, where

V

is a nonnegative potential,

V e 0

, and belongs to the reverse H"older class

R H_{d / 2}

. In this paper, we study the commutators

[b, T]

for

T

in a class

m a t h c a l K_{L}

of sublinear operators containing the fundamental operators in harmonic analysis related to

L

. More precisely, when

T i n m a t h c a l K_{L}

, we prove that there exists a bounded subbilinear operator

m a t h f r a k R = m a t h f r a k R_{T} : H_{L}^{1} (m a t h b b R^{d}) i m e s B M O (m a t h b b R^{d}) o L^{1} (m a t h b b R^{d})

such that

| T (m a t h f r a k S (f, b)) | - m a t h f r a k R (f, b) l e q | [b, T] (f) | l e q m a t h f r a k R (f, b) + | T (m a t h f r a k S (f, b)) |

, where

m a t h f r a k S

is a bounded bilinear operator from

H_{L}^{1} (m a t h b b R^{d}) i m e s B M O (m a t h b b R^{d})

into

L^{1} (m a t h b b R^{d})

which does not depend on

T

. The subbilinear decomposition ( ef{abstract 1}) explains why commutators with the fundamental operators are of weak type

(H_{L}^{1}, L^{1})

, and when a commutator

[b, T]

is of strong type

(H_{L}^{1}, L^{1})

. Also, we discuss the

H_{L}^{1}

-estimates for commutators of the Riesz transforms associated with the Schr"odinger operator

L

.

Review text

Let \(V\) be a nonnegative potential that satisfies a reverse Hölder inequality with exponent \(d/2\), where \(d\geq 3\) is the dimension. The class of operators \(\mathcal K_L\) is defined to be the class of sublinear operators \(T\) that map the Hardy space \(H^1 _L(\mathbb R^d)\) associated with \(L\) to \(L^1(\mathbb R^d)\). Here \(H^1 _L\) consists of all functions \(f\in L^1(\mathbb R^d)\) for which \(M_Lf:=\sup_{t>0} |e^{-tL f}|\in L^1(\mathbb R^d)\). For example, by definition, the maximal operator \(M_Lf\) is a \(\mathcal K_L\)-class operator. Of particular importance are the \(L\)-Riesz transforms \(\partial-{x_j} L^{-1/2}\). More generally, the author considers a class of operators which are associated with the Schrödinger operator \(L:=-\Delta+V\) as follows. First one defines a size function \(\rho\) by means of \(\rho(x):=\sup\{r>0:r^{-d+2}\int_{B(x,r)} V(y)dy\leq 1\}\) where \(x\in \mathbb R^d\). An operator \(T\) is a \((\delta,L)\)-Schrödinger-Calderón-Zygmund operator if it is associated with a kernel \(K\) which satisfies the usual \(\delta\)-Hölder continuity condition, in the classical sense, and additionally the size condition \(|K(x,y)|\lesssim_N \frac{1}{|x-y|^d} \big(1+\frac{|x-y|}{\rho(x)}\big)^{-N}\), for every \(N>0\). All \(L\)-Schrödinger-Calderón-Zygmund operators are of \(\mathcal K_L\)-class. The main questions revolve around finding sufficient conditions on symbols \(b\) such that the commutators \([T,b]f:=T(bf)-bT(f)\) map \(H^1 _L\) to \(L^{1,\infty}\) for \(\mathcal K_L\)-class operators \(T\). The main result of the paper shows that if \(T\in\mathcal K_L\) is of weak type \((1,1)\) and \(b\in\mathrm{BMO}(\mathbb R^d)\), then \(T\) maps \(H^1 _L\) into \(L^{1,\infty}\). In particular, this is true for the \(L\)-Riesz transforms. The author concludes the result above by a very precise decomposition of the commutator under the assumptions described before. For example, if \(T\in\mathcal K_L\) is linear and \(b\in\mathrm{BMO}(\mathbb R^d)\) the author shows that there exist bounded bilinear operators \(\mathfrak R_T,\mathcal G:H^1 _L\times\mathrm{BMO}\to L^1\) such that \( [T,b]f=\mathfrak R_T(f,b)+T(\mathcal G(f,b))\) and the operator \(\mathcal G\) does not depend on \(T\). Besides these main results the author provides a systematic study of \(\mathcal K_L\)-class operators, as well as many additional technical results that provide relations between \(\mathrm{BMO}\), \(\mathrm{BMO}_L\) and \(H^1 _L\), and identifies the largest subspace \(\mathcal H^1 _{L,b}\) of \(H^1 _L\) such that \([T,b]:\mathcal H^1 _{L,b}\to L^1\) for all Schrödinger-Calderón-Zygmund operators \(T\). Here \(\mathcal H^1 _{L,b}\) is a certain atomic \(H^1 _L\) space where the atoms satisfy cancellation conditions which also involve the symbol \(b\), as in [\textit{C. Pérez}, J. Funct. Anal. 128, No. 1, 163--185 (1995; Zbl 0831.42010)].

Recommendations

Cites work

Cited in

(20)

This page was built for publication: Endpoint estimates for commutators of singular integrals related to Schrödinger operators

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