Endpoint estimates for compact Calderón-Zygmund operators (Q1687700)

Three bounded functions \(L, S, D: [0, \infty) \rightarrow [0, \infty)\) constitute a set of admissible functions, provided that \[ \lim_{x\rightarrow \infty}L(x) = \lim_{x\rightarrow 0}S(x) = \lim_{x\rightarrow \infty}D(x) = 0 . \] A function \(K:(\mathbb{R}^{d} \times \mathbb{R}^{d}) \setminus \{(t,x) \in \mathbb{R}^{d} \times \mathbb{R}^{d}: t=x \} \rightarrow \mathbb{C}\) is defined by a compact Calderón-Zygmund kernel, if it is bounded in its domain and there exist \(0 < \delta < 1\), \(C > 0\), and admissible functions \(L, S, D\) such that \[ |K(t,x) - K(t',x')| \leq C\, \frac{|t-t'|_{\infty} + |x-x'|_{\infty}^{\delta}}{|t-x|_{\infty}^{d+\delta}} \, F(t,x), \] whenever \(2(|t-t'|_{\infty} + |x-x'|_{\infty}) < |t-x|_{\infty}\), where \[ F(t,x) = L(|t-x|_{\infty})S(|t-x|_{\infty})D(|t+x|_{\infty}). \] For every \(N \in \mathbb{N}\), \(N \geq 1\), we define \(\mathcal{S}_N(\mathbb{R}^{d})\) by the set of functions \(f \in C^N (\mathbb{R}^{d})\) such that \(\|f\|_{m,n} =\) sup\(_{x \in \mathbb{R}^{d}} |x|^{\beta} |\partial^{\alpha} f(x)| < \infty\) for all \(\alpha, \beta \in \mathbb{N}^{d}\) with \(\alpha, \beta \leq N\). Then we can also define its dual space of \(\mathcal{S}_N(\mathbb{R}^{d})'\) equipped with the dual topology which turns out to be a subspace of the space of multidimensional tempered distribution. Let \(T: \mathcal{S}_N(\mathbb{R}^{d}) \rightarrow \mathcal{S}_N(\mathbb{R}^{d})'\) be a linear operator which is continuous with respect to the topology of \(\mathcal{S}_N(\mathbb{R}^{d})\) and the dual topology of \(\mathcal{S}_N(\mathbb{R}^{d})'\). In this paper the authors consider a linear operator \(T\) associated with a standard Calderón-Zygmund kernel \(K\) where \[ <Tf, g> = \int_{\mathbb{R}^{d}}\, \int_{\mathbb{R}^{d}} f(t) g(x) \, K(t,x) \, dt \, dx \] for all \(f, g \in \mathcal{S}_N(\mathbb{R}^{d})\). They prove that \(T\) can be extended to a compact operator from \(L^1(\mathbb{R}^{d})\) into \(L^{1, \infty}(\mathbb{R}^{d})\) if and only if \(T\) satisfies the weak compactness condition and the cancellation conditions \(T(1), T^{*}(1) \in \operatorname{CMO}(\mathbb{R}^{d})\), where \(\operatorname{CMO}(\mathbb{R}^{d})\) is defined as the closure in \(\operatorname{BMO}(\mathbb{R}^{d})\) of the space of continuous functions vanishing at infinity.