[论文解读] New estimates for the maximal functions and applications

Óscar Domínguez, Sergey Tikhonov|arXiv (Cornell University)|Feb 9, 2021

Advanced Harmonic Analysis Research参考文献 69被引用 3

一句话总结

本文利用极限插值技术建立了极大函数的精确点态估计，显著改进了经典的Stein–Zygmund嵌入，证明了当 1 < p < ∞ 时，有 Ẇ̇^d/p_{∞,p}(R^d) ֒→ BMO(R^d)。进一步推导出新的Fefferman–Stein与Calderón–Scott型不等式，并获得最优的外推估计，通过对数权分析与K-泛函估计验证了结果的精确性。

ABSTRACT

In this paper we study sharp pointwise inequalities for maximal operators. In particular, we strengthen DeVore's inequality for the moduli of smoothness and a logarithmic variant of Bennett--DeVore--Sharpley's inequality for rearrangements. As a consequence, we improve the classical Stein--Zygmund embedding deriving $\dot{B}^{d/p}_\infty L_{p,\infty}(\mathbb{R}^d) \hookrightarrow ext{BMO}(\mathbb{R}^d)$ for $1 < p < \infty$. Moreover, these results are also applied to establish new Fefferman--Stein inequalities, Calder\'on--Scott type inequalities, and extrapolation estimates. Our approach is based on the limiting interpolation techniques.

研究动机与目标

• 建立极大算子的精确点态不等式，特别是强化DeVore关于光滑模的不等式。
• 通过精确极大函数估计改进经典Stein–Zygmund嵌入 Ẇ̇^d/p_{∞,p}(R^d) ֒→ BMO(R^d)，其中 1 < p < ∞。
• 在Lorentz–Zygmund空间背景下，推导新的Fefferman–Stein与Calderón–Scott型不等式。
• 利用极限插值技术建立极大函数的最优外推估计。
• 通过分析对数权与K-泛函行为，证明所得估计的精确性。

提出的方法

• 在具有对数权的实插值尺度中应用极限插值技术，分析K-泛函的行为。
• 通过分布估计建立精确极大函数与Strömberg–Jawerth–Torchinsky极大函数之间的等价性。
• 利用Lorentz–Zygmund与Besov型空间的K-泛函刻画，推导涉及光滑模的估计。
• 通过带对数权的实插值方法，建立Lorentz–Zygmund空间与Besov空间之间的嵌入关系。
• 通过反证法与慢变函数在积分范数中的渐近分析，证明估计的精确性。
• 利用Lorentz–Zygmund空间的重排不变凸包性质，比较并验证嵌入精确性。

实验结果

研究问题

• RQ1 能否通过精确极大函数估计改进经典Stein–Zygmund嵌入 Ẇ̇^d/p_{∞,p}(R^d) ֒→ BMO(R^d)？
• RQ2 在Lorentz–Zygmund空间中，Fefferman–Stein与Calderón–Scott型不等式的最优参数范围为何？
• RQ3 带对数权的极限插值技术如何改进极大函数与光滑模估计？
• RQ4 不等式 ∥f^#∥_{L^{d/ε,r}(Q_0)} ≤ C ε^{-ξ} ∥f∥_{W^k L^{d/k+ε,r}(Q_0)} 中嵌入常数的精确性如何？
• RQ5 K-泛函与重排之间的相互作用能否用于推导Besov与Lorentz–Zygmund空间之间的新嵌入关系？

主要发现

• 本文通过极限插值方法证明了当 1 < p < ∞ 时，有 Ẇ̇^d/p_{∞,p}(R^d) ֒→ BMO(R^d)，并确认了结果的精确性。
• 在Lorentz–Zygmund空间中建立了新的精确Fefferman–Stein不等式，将经典结果推广至对数尺度。
• 将Calderón–Scott型不等式推广至Lorentz–Zygmund空间设定，并通过K-泛函估计导出最优常数。
• 在外推估计中获得了关于ε的最优依赖性：在嵌入 ∥f^#∥_{L^{d/ε,r}(Q_0)} ≤ C ε^{-ξ} ∥f∥_{W^k L^{d/k+ε,r}(Q_0)} 中，ξ ≥ 1/r 为最优。
• 通过反证法证明了嵌入的精确性：假设 ξ < 1/r 将与Lorentz–Besov空间中的已知嵌入矛盾。
• 通过涉及对数权的分布估计，进一步精炼了精确极大函数与Strömberg–Jawerth–Torchinsky极大函数之间的等价性。