[论文解读] ON THE VARIATION OF THE HARDY-LITTLEWOOD MAXIMAL FUNCTION

Rej Kurka|arXiv (Cornell University)|Jan 1, 2013

Advanced Harmonic Analysis Research参考文献 14被引用 6

一句话总结

该论文证明了一维情况下中心化的 Hardy-Littlewood 极大函数保持有界变差性，即对所有 f ∈ BV(R)，有 Var(Mf) ≤ C Var(f)。因此，导数算子 f ↦ (Mf)' 从 W¹,¹(R) 有界映射到 L¹(R)，从而正面回答了 Hajłasz 与 Onnien 提出的一维情形问题。

ABSTRACT

We show that a function f : R → R of bounded variation satisfies VarMf ≤ C Varf where Mf is the centered Hardy-Littlewood maximal function of f. Conse- quently, the operator f 7→(Mf) ' is bounded from W 1,1 (R) to L 1 (R). This answers a question of Haj lasz and Onninen in the one-dimensional case. In the present work, we show that the answer is positive for n = 1. The question had been already answered positively in the non-centered one-dimensional case by

研究动机与目标

• 研究一维有界变差函数上中心化 Hardy-Littlewood 极大函数的变差保持性质。
• 确定极大函数的导数是否将 W¹,¹(R) 有界映射到 L¹(R)，以回应 Hajłasz 与 Onnien 提出的问题。
• 将一维非中心化极大函数的已有结果推广至中心化情形。
• 建立 Mf 的总变差与 f 的总变差之间的定量关系。

提出的方法

• 分析有界变差函数 f 的极大函数 Mf 的水平集与上水平集的结构。
• 利用面积公式及分布函数的性质，将 Mf 的变差与 f 的变差关联起来。
• 利用极大函数为 1-Lipschitz 的事实，并结合对称化技术以控制振荡性。
• 以一维非中心化极大函数已有结果为基础，作为理论支撑。
• 当 f 绝对连续时，推导出 (Mf)' 的逐点估计，其以 f' 的 Hardy-Littlewood 极大函数为界。
• 通过仔细分析跳跃间断点与单调性区间，建立变差常数 C 的统一有界性。

实验结果

研究问题

• RQ1 中心化的 Hardy-Littlewood 极大函数是否对 BV(R) 中的函数保持有界变差性？
• RQ2 在一维情况下，算子 f ↦ (Mf)' 是否有界映射 W¹,¹(R) 到 L¹(R)？
• RQ3 能否为 f ∈ BV(R) 建立 Var(Mf) ≤ C Var(f) 的定量界？
• RQ4 在变差控制方面，极大函数在中心化与非中心化情形下的行为有何不同？
• RQ5 跳跃间断点与单调性区间在 Mf 的变差中起什么作用？

主要发现

• 对所有 f ∈ BV(R)，中心化的 Hardy-Littlewood 极大函数满足 Var(Mf) ≤ C Var(f)，其中 C 与 f 无关。
• 当 f ∈ W¹,¹(R) 时，极大函数的导数 (Mf)' 在 L¹(R) 中有界，从而确认了算子 f ↦ (Mf)' 从 W¹,¹(R) 到 L¹(R) 的有界性。
• 该结果正面回答了 Hajłasz 与 Onnien 在一维情形提出的问题。
• 证明依赖于水平集的结构与面积公式，表明 Mf 的变差由 f 的变差所控制。
• 常数 C 为绝对常数，不依赖于特定函数 f，表明具有统一的稳定性性质。
• 该结果扩展了一维非中心化极大函数的已有工作，现确立了中心化情形下同样具有有界变差性质。