247A 讲义 4：加权估计与伪微分算子
内容提要
本文是陶哲轩关于加权不等式与伪微分算子的讲义：先证明加权估计与向量值估计等价，给出Hardy-Littlewood极大函数的加权弱型估计及Fefferman-Stein向量值极大不等式；再引入标准符号类与伪微分算子，证明Calderón-Vaillancourt定理（零阶伪微分算子是CZO），建立伴随、复合与交换子公式等伪微分演算；最后用这些工具发展Sobolev空间理论，包括Sobolev嵌入、Littlewood-Paley刻画与插值。
延伸解读
加权估计为何是核心工具
讲义开篇指出加权估计与向量值估计等价，这意味着一个加权不等式不仅能推出无权重版本，还能自动得到向量值版本。这种等价性让加权估计成为连接标量情形与向量值情形的桥梁，尤其当多个算子共享同一组权时，可一次性获得联合向量值估计。读者应留意，这种等价性对非线性算子也成立，因此适用范围很广。
从极大函数到Fefferman-Stein不等式
作者先证明Hardy-Littlewood极大函数的加权弱型估计，再借助加权估计与向量值估计的等价性，导出Fefferman-Stein向量值极大不等式。这一推导路径展示了加权方法如何简化向量值问题的处理。对于p<1的弱型情形，讲义提到需用线性化技巧，并指出半径函数可依赖于x，这是该估计不能直接由标量版本推出的原因。
伪微分算子：连接分析与代数
讲义将伪微分算子理论分为分析与代数两方面。分析上，Calderón-Vaillancourt定理表明零阶伪微分算子是CZO，从而有L^p有界性；代数上，伴随、复合与交换子公式揭示了算子代数与相空间辛几何的联系。读者可注意，复合公式中主项与低阶项的分离，以及交换子与Poisson括号的对应，是理解半经典分析的关键。
Sobolev空间理论的快速构建
在建立加权不等式和伪微分算子工具后，讲义迅速展开Sobolev空间理论，包括嵌入定理、Littlewood-Paley刻画与复插值。这些结果依赖于前述的Hörmander-Mikhlin定理和Calderón-Vaillancourt定理。讲义也指出齐次Sobolev空间在低正则性时的技术困难，以及通过限制频率支集来规避的方法，提醒读者注意齐次与非齐次空间的差异。
Q&A
加权估计和向量值估计之间有什么关系？
根据命题2，对于任意算子（可能非线性），加权估计与向量值估计是等价的：若对任意序列有向量值估计，则对每个非负权函数存在另一个权函数使得加权估计成立，反之亦然。
Hardy-Littlewood极大函数的加权弱型估计是什么？
命题4给出：对1<p<∞，有弱型估计和强型估计，具体形式为加权L^p不等式。
Fefferman-Stein向量值极大不等式的内容是什么？
定理5指出：对1<p<∞和任意局部可积函数序列，有向量值强型估计和弱型估计，即‖(∑|Mf_j|^2)^{1/2}‖_{L^p} ≤ C‖(∑|f_j|^2)^{1/2}‖_{L^p}，以及相应的弱型估计。
什么是伪微分算子？它的符号类如何定义？
伪微分算子是通过符号a(x,ξ)定义的算子a(x,D)，其中符号属于标准符号类S^m_{1,0}，即满足估计|∂_x^α∂_ξ^β a(x,ξ)| ≤ C_{α,β}⟨ξ⟩^{m-|β|}。这类算子推广了变系数微分算子。
Calderón-Vaillancourt定理说了什么？
定理13表明：每个零阶伪微分算子都是Calderón-Zygmund算子（CZO），因此它在L^p上有界，且算子范数不超过常数C。
伪微分算子的伴随和复合有什么性质？
引理17：伪微分算子的伴随仍是同阶伪微分算子，且其符号与伴随符号相差低阶项。引理19：两个伪微分算子复合后仍是伪微分算子，阶数相加。引理20：交换子降低一阶。
Sobolev空间有哪些基本嵌入性质？
命题24给出：Sobolev空间对正则性指标单调；伪微分算子和Hörmander-Mikhlin乘子在其上有界；可用导数刻画；Sobolev嵌入定理：若1/p - s/n = 1/q，则W^{s,p}嵌入L^q，若s>n/p则嵌入有界连续函数空间。
Sobolev空间的Littlewood-Paley刻画是什么？
定理25：对1<p<∞和s∈R，Sobolev范数‖f‖_{W^{s,p}}等价于‖(∑_k 2^{2ks}|P_k f|^2)^{1/2}‖_{L^p}，其中P_k是频率局部化到二进环的Littlewood-Paley算子。
