Schatten properties of commutators and equivalent Sobolev norms on metric spaces

Tuomas Hytönen,Riikka Korte

2024-11-05

Abstract:We characterise the Schatten class $S^p$ properties of commutators $[b,T]$ of singular integrals and pointwise multipliers in a general framework of (quasi-)metric measure spaces. This covers, unifies, and extends a range of previous results in different special cases. As in the classical results on $\mathbb R^d$, the characterisation has three parts: (1) For $p>d$, we have $[b,T]\in S^p$ if and only if $b$ is in suitable Besov (or fractional Sobolev) space. (2) For $p\leq d$, we have $[b,T]\in S^p$ if and only if $b$ is constant. (3) For $p=d$, we have $[b,T]\in S^{d,\infty}$ (a weak-type Schatten class) if and only if $b$ is in a first-order Sobolev space. Result (1) is very general and extends to all spaces of homogeneous type as long as there are appropriate singular integrals, while extensions of (2) and (3) are proved for complete doubling metric spaces supporting a suitable Poincaré inequality. For the proof of (3), we extend a recent derivative-free characterisation of the Sobolev space $\dot W^{1,p}(\mathbb R^d)$ by R. Frank to the general domains that we consider; this is our second main result of independent interest.

Functional Analysis,Classical Analysis and ODEs

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to characterize the Schatten - class properties of the commutator \([b, T]\) of a function \(b\) with a singular integral operator \(T\) through the oscillation norm of the function \(b\) in a metric space. Specifically, the paper focuses on the following three main aspects:

1. **For the case of \(p > d\)**:
- If \(b\) belongs to a suitable Besov space (or fractional Sobolev space), then \([b, T]\in S_p\).
- The formula is expressed as:
\[
[b, T]\in S_p\quad \text{if and only if}\quad b\in \dot{B}_p(\mu)
\]
- The Besov norm here is defined as:
\[
\|b\|_{\dot{B}_p(\mu)}:=\left(\iint_{X\times X}\frac{|b(x) - b(y)|^p}{V(x, y)^2}\,d\mu(x)\,d\mu(y)\right)^{\frac{1}{p}}
\]

2. **For the case of \(p\leq d\)**:
- If \(b\) is a constant, then \([b, T]\in S_p\).
- The formula is expressed as:
\[
[b, T]\in S_p\quad \text{if and only if}\quad b \text{ is a constant}
\]

3. **For the case of the critical index \(p = d\)**:
- If \(b\) belongs to the first - order Sobolev space \(\dot{W}^{1, d}\), then \([b, T]\in S_{d,\infty}\) (weak - type Schatten class).
- The formula is expressed as:
\[
[b, T]\in S_{d,\infty}\quad \text{if and only if}\quad b\in \dot{W}^{1, d}
\]
- The weak - type Schatten norm here is defined as:
\[
\|b\|_{\dot{M}^{1, d}(\mu)}:=\inf\left\{\|h\|_{L^d(\mu)}:h\text{ satisfies }|b(x) - b(y)|\leq (h(x)+h(y))\rho(x, y)\right\}
\]

Through these characterizations, the paper not only covers the classical results in Euclidean spaces but also extends to more general metric measure spaces and unifies the results in various special cases. In addition, the paper also provides new methods and techniques, such as using the Poincaré inequality to deal with endpoint estimates and Sobolev norm problems.