SYSTEMATIC MATHEMATICS

微局部分析与伪微分算子

一个分布怎样能在同一点沿一个余向量方向奇异、沿另一个方向光滑？为什么椭圆算子的波前与其强迫准确对应？波包、边界数据、断层直线或散射态又怎样移动奇信息？本 Stage 5 博士专业核心用 12 个按内容定长单元、76 个可见双语章节回答这些问题，单元长度依次为 5、7、6、8、7、5、6、8、6、5、7、6。课程从余切频率、截断、余向量、非驻相、驻相、奇支撑、局部 Fourier 衰减、波前集、Dirac 与余法例子、伪局部性及乘积/拉回判据开始；随后建立符号类与半范数、经典齐次展开、渐近求和、椭圆性、参数符号、Kohn–Nirenberg 与 Weyl 量化、恰当支撑、振幅约化、复合、伴随、坐标不变性、对角核、Sobolev 映射、Calderón–Vaillancourt、紧性、Fredholm 理论、尖锐 Gårding、参数子、椭圆估计、方程组及边界符号限制。后半部发展 Hamilton 场、双特征线、正交换子、实主型传播、波动射线、掠射与径向边界、非退化相位、Lagrangian 分布、Fourier 积分算子、规范图、Egorov、洁净复合、波传播子、焦散、半经典符号、相干态、半经典波前、WKB、传输性质、Calderón 与 Boutet de Monvel 结构、b 分析、次椭圆性、Weyl 与热渐近、亚纯预解式、电导线性化、Radon 可见性、散射关系、数值审计及六个研究重建档案。每章都定义空间、相位变量、余向量符号、符号阶、量化、支撑、映射尺度、余项与首个失效情形。本课为微局部 PDE 与算子分析提供博士研究准备；它不声称完整覆盖 Hörmander 全部符号类型、仿微分与粗糙演算、整体指标理论、解析微局部分析、超函数、成对或相交 Lagrangian、角点/edge 演算、非线性逆问题、共振理论、量子混沌，也不声称存在一套通用博士后前沿课程。

本课程之前: 已完成 Sobolev 空间、分布与弱 PDE，调和分析与小波，微分形式/de Rham/Hodge 理论，微分几何与流形，泛函分析，以及支撑它们的实/复分析与 PDE 课程。学习者必须已经能够使用分布 Fourier 变换、Sobolev 映射与紧性、余切丛与辛形式、弱椭圆估计、谱分解及坐标变换。不预设已经完整学习波前集、伪微分算子、Fourier 积分算子、奇性传播、边界演算或半经典分析。

COURSE FACTSLevel, chapters, units, prerequisite, and outcome
第 1 章

为什么仅有位置不能描述奇性

目标: 为什么二元组 (x_0,ξ_0) 比奇支撑包含更多信息？

在同一点，两个分布可以沿不同方向奇异。竖直跳跃边与水平跳跃边可能共享交点，却对不同方向的快速振荡探针产生不同响应。 微局部分析把位置 x 与非零余向量方向 ξ 分开。使用公式前，先写明开集或流形、分布或 Sobolev 空间、Fourier 约定、锥形集合、算子阶数，以及结论究竟是局部、微局部还是整体。

不要把符号当装饰，请按本章定义逐个阅读：对 x∈R^n 与 ξ∈R^n∖{0}，二元组 (x,ξ) 记录基位置与非零频率余向量。用 t>0 缩放 ξ 不改变方向，因此微局部奇性集合关于 ξ 是锥形的。 本章建立的准确结论是：乘以截断函数会局部化位置，而局部化分布的 Fourier 变换沿方向的衰减检验方向光滑性；任何一个操作单独使用都不能同时记录两类信息。

证明具有可检查路线：1. 选择在基点 x_0 附近等于一的 χ∈C_c^∞，使 χu 忘掉远离 x_0 的行为。 2. 计算或估计 𝓕(χu)(ξ)。若它在 ξ_0 周围开锥 Γ 内快速衰减，说明这些方向上可反复分部积分。 3. 更换 χ 但保持其在 x_0 附近等于一，只改变支撑远离 x_0 的项；卷积估计会在略小锥中保持快速衰减。 每个估计都要说明常数对哪些量一致、哪些变量趋于无穷，以及允许怎样的低阶项或磨光余项。

先独立重建具体计算“令 u(x_1,x_2)=H(x_1)，在原点附近选 χ(x)=χ_1(x_1)χ_2(x_2)，判断哪个频率分量可能无法快速衰减。”，再推广。随后检验最近的失效情形：零余向量被排除，因为它不包含方向，而紧频段行为不能检验可微性。某个 Fourier 系数很大也不能单独证明奇异；必须在每个合适锥中都无法快速衰减。 这样才能把定理与形式运算区分开。

乘以截断函数会局部化位置，而局部化分布的 Fourier 变换沿方向的衰减检验方向光滑性；任何一个操作单独使用都不能同时记录两类信息。

选择在基点 x_0 附近等于一的 χ∈C_c^∞，使 χu 忘掉远离 x_0 的行为。

计算或估计 𝓕(χu)(ξ)。若它在 ξ_0 周围开锥 Γ 内快速衰减，说明这些方向上可反复分部积分。

更换 χ 但保持其在 x_0 附近等于一，只改变支撑远离 x_0 的项；卷积估计会在略小锥中保持快速衰减。

令 u(x_1,x_2)=H(x_1)，在原点附近选 χ(x)=χ_1(x_1)χ_2(x_2)，判断哪个频率分量可能无法快速衰减。

  1. 局部化 Fourier 变换分解为 𝓕(χ_1H)(ξ_1)𝓕(χ_2)(ξ_2)。
  2. 光滑紧支撑因子 χ_2 的 Fourier 变换沿 ξ_2 快速衰减。
  3. x_1 方向的跳跃只产生 ξ_1 的代数衰减，因此奇余向量垂直于直线 x_1=0，并满足 ξ_2=0。

结果: 原点处可能的奇方向是 dx_1 的非零倍数，而不是任意非零余向量。