[论文解读] A new look at the John-Nirenberg and John-Stromberg theorems for BMO. Lecture Notes

Michael Ćwikel, Yoram Sagher+1 more|arXiv (Cornell University)|Nov 2, 2010

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

一句话总结

本文提出了一种关于BMO函数的John-Nirenberg定理与John-Strömberg定理的新几何方法，引入了一个关于立方体可测子集的猜想性几何条件。若该条件得到肯定回答，将导出一个具有显式、几何可解释常数的无维数版本的John-Nirenberg不等式。

ABSTRACT

We develop some techniques for studying various versions of the function space BMO. Special cases of one of our results give alternative proofs of the celebrated John- Nirenberg inequality and of related inequalities due to John and to Wik. Our approach enables us to pose a simply formulated "geometric" question, for which an affirmative answer would lead to a version of the John-Nirenberg inequality with dimension free constants. A more detailed summary of the main ideas and results of this paper can be found at http://www.math.technion.ac.il/~mcwikel/bmo/CwikSaghShvaSummary.pdf

研究动机与目标

• 通过BMO函数的新几何视角重新推导John-Nirenberg不等式。
• 探究John-Nirenberg不等式中的常数是否可与维数无关。
• 提出一个几何条件（问题A），若其成立，将蕴含无维数的BMO有界性。
• 建立可测集的几何性质与BMO空间中分析范数之间的精确联系。
• 证明：在特殊情形（如dyadic立方体）下回答问题A，即可推出一般性解。

提出的方法

• 引入一个涉及立方体 $Q$ 的两个不相交可测子集 $E_+$ 和 $E_-$ 的几何条件（问题A），要求其相对测度有正的下界，且存在一个子立方体 $W$ 与两者均以正测度相交。
• 定义函数 $\mathbf{J}(f,Q,s)$ 以度量 $f$ 在 $Q$ 上振荡分布，将其与递减重排 $f^*$ 的分布相联系。
• 利用缩放与平移不变性，证明该几何条件在仿射变换下保持不变，从而可归约至标准立方体。
• 应用递减重排 $f^*$ 比较 $f$ 与 $f^*$ 的 $BMO$ 范数，建立几何条件与分析条件之间的等价性。
• 证明 $s \mapsto \mathbf{J}(f,Q,s)$ 的左连续性与单调性，这是分析振荡分布的关键技术性质。
• 将一般问题约化至dyadic子立方体，证明：若在dyadic情形下成立，则在一般情形下亦成立。

实验结果

研究问题

• RQ1 是否能仅通过立方体可测子集的纯几何条件来证明John-Nirenberg不等式？
• RQ2 是否存在一个与维数 $d$ 无关的通用常数对 $\tau \in (0,1/2)$ 和 $s > 0$，满足问题A中的几何条件？
• RQ3 若存在此类常数，是否能推出John-Nirenberg不等式的无维数版本？
• RQ4 几何与分析 $BMO$-范数条件之间的等价性是否可被完全刻画？
• RQ5 是否仅需在dyadic子立方体上验证问题A，即可在一般情形下成立？

主要发现

• 若问题A得到肯定回答，将推出一个具有显式常数（依赖于 $\tau$ 与 $s$）的无维数版本的John-Nirenberg不等式。
• 对每个固定的维数 $d$，存在常数 $\tau \in (0,1/2)$ 与 $s > 0$ 满足几何条件，但 $s$ 依赖于 $d$。
• 当 $\tau = \sqrt{2} - 1$ 时，目前可得的最佳 $s = 2^{-d}(3 - 2\sqrt{2})$ 仍依赖于 $d$，表明当前方法的局限性。
• 该几何条件等价于比较 $f$ 与递减重排 $f^*$ 的 $BMO$ 范数，如定理8.3与8.5所形式化。
• $s \mapsto \mathbf{J}(f,Q,s)$ 是非增且左连续的，这是分析的关键技术性质。
• 问题可约化至dyadic情形：若问题A对有限个dyadic立方体的并集成立，则其在一般情形下也成立。