Endpoint estimates for commutators of singular integrals related to Schr\"odinger operators

TL;DR

This paper establishes endpoint estimates for commutators of singular integrals related to Schrödinger operators, revealing their weak and strong type behaviors and providing a new decomposition framework.

Contribution

It introduces a subbilinear decomposition for commutators of fundamental harmonic analysis operators associated with Schrödinger operators, clarifying their boundedness properties.

Findings

Commutators are of weak type (H^1_L, L^1).

Conditions for strong type (H^1_L, L^1) boundedness are identified.

Provides H^1_L-estimates for Riesz transform commutators.

Abstract

Let $L= -\Delta+ V$ be a Schr\"odinger operator on $\mathbb R^d$, $d\geq 3$, where $V$ is a nonnegative potential, $V\ne 0$, and belongs to the reverse H\"older class $RH_{d/2}$. In this paper, we study the commutators $[b,T]$ for $T$ in a class $\mathcal K_L$ of sublinear operators containing the fundamental operators in harmonic analysis related to $L$. More precisely, when $T\in \mathcal K_L$, we prove that there exists a bounded subbilinear operator $\mathfrak R= \mathfrak R_T: H^1_L(\mathbb R^d)\times BMO(\mathbb R^d)\to L^1(\mathbb R^d)$ such that $|T(\mathfrak S(f,b))|- \mathfrak R(f,b)\leq |[b,T](f)|\leq \mathfrak R(f,b) + |T(\mathfrak S(f,b))|$, where $\mathfrak S$ is a bounded bilinear operator from $H^1_L(\mathbb R^d)\times BMO(\mathbb R^d)$ into $L^1(\mathbb R^d)$ which does not depend on $T$. The subbilinear decomposition (\ref{abstract 1}) explains why commutators with the fundamental operators are of weak type $(H^1_L,L^1)$, and when a commutator $[b,T]$ is of strong type $(H^1_L,L^1)$. Also, we discuss the $H^1_L$-estimates for commutators of the Riesz transforms associated with the Schr\"odinger operator $L$.