Calderón-Zygmund型空间中的拉达姆赫尔定理

拉达姆赫尔定理可解释为一种几乎处处的\emph{小-o}改进原理：若函数在每个点处都具备均匀的点态一次阶 Lipschitz 控制，则该控制在几乎处处改进为消失的控制。在 Calderón-Zygmund 点态空间的语言中，这意味着：$$f \in T^\infty_1(x) \quad \forall x \in \mathbb{R}^d \qquad \Longrightarrow \qquad f \in t^\infty_1(x) \quad \text{for a.e. } x \in \mathbb{R}^d.$$ 本文旨在在更精细的 $L^p$ 设定下建立类似的几乎处处改进原理。我们考虑通过 $L^p$ 中的多项式逼近定义的点态 Calderón-Zygmund 空间 $T^p_{\phi}(x)$，其中包含函数参数 $\phi$，允许出现分数正则性指数和对数修正项。我们证明，在 $\phi$ 上的自然假设下，均匀成员资格 $$f \in T^p_{\phi}(x) \quad \forall x \in E$$ 在可测集 $E \subset \mathbb{R}^d$ 上，暗示了向消失逼近率的几乎处处改进，即 $$f \in t^p_{\phi,n+1}(x) \quad \text{for a.e. } x \in E,$$其中 $n < \underline{b}(\phi) \leq \overline{b}(\phi) < n+1$。该证明结合测度论论证、广义惠特尼扩展定理以及 Sobolev 空间的细性质。我们还显示该结果本质上是尖锐的：在分数指数下，一般不能期望几乎处处成员资格于 $t^p_{\phi,n}(x)$，并提供了显式反例。