关于Stein《调和分析》中H¹与BMO对偶性证明的两处疑问

嘿，我来帮你拆解这两个卡在Stein证明里的问题，都是H¹和BMO对偶性推导里的关键细节，很正常会困惑：

第一个疑问：为什么要先对$f\in L^\infty$的情况证明不等式？ #

你说得没错，从步骤上看，局部可积性确实足以保证$f$的均值$f_{B_k}$存在，也能让$\int_{B_k}(f-f_{B_k})a_k$这个积分有意义。那Stein为什么非要先拿有界函数开刀？

核心原因是稠密性与延拓：

• $L^\infty\cap BMO$在BMO空间里是稠密的（比如你可以用截断函数$f_R(x)$：当$|f(x)|\leq R$时取$f(x)$，否则取$\pm R$，这样$f_R\in L^\infty$，而且||f_R||_{BMO}≤||f||_{BMO}，当$R\to\infty$时，$f_R$会在局部可积意义下收敛到$f$）。
• 直接对任意BMO函数（比如无界的$\log|x|$，它是BMO但不是$L^\infty$）做泛函有界性估计时，虽然单个积分没问题，但要把整个泛函的有界性严谨地推出来，先在稠密子集（有界BMO函数）上证明不等式，再利用泛函分析里的连续延拓定理——因为H¹是巴拿赫空间，在稠密子集上有界的线性泛函可以唯一延拓到整个空间，这样就能覆盖所有BMO函数了。
• 另外，先处理有界函数的情况，能避开一些无界BMO函数可能带来的积分收敛性的技术细节，让证明的逻辑更清晰，先把核心估计做出来，再用稠密性补全一般情况。

第二个疑问：为什么$\sum_k |\lambda_k|\leq c|g|$？ #

这要结合H¹空间的原子分解范数定义来看：

• H¹的范数本身就可以定义为：所有可能的原子分解中，系数绝对值和$\sum|\lambda_k|$的下确界，也就是||g||_{H¹} = inf{ ∑|λ_k| | g = ∑λ_k a_k，a_k是H¹原子 }。
• 而原子分解定理的一个关键结论是：存在一个只依赖于空间维度$N$的常数$c$，每个H¹中的元素都存在至少一个原子分解，使得$\sum|\lambda_k| ≤ c||g||_{H¹}$。
• 对于$g\in H^1_\alpha$（有限原子组合），它本身就是有限个原子的线性组合，但这个组合的系数和可能比$||g||_{H¹}$大，不过Stein这里指的是取满足上述结论的“规范分解”——也就是能让系数和被范数控制在$c$倍以内的分解，这样就能得到$\sum_k |\lambda_k|\leq c|g|$，进而完成后面的估计。

简单说，不是所有原子分解都满足这个不等式，但原子分解定理保证了存在这样的分解，而Stein的证明就是基于这个存在性来做的。

备注：内容来源于stack exchange，提问作者confusedTurtle