SYSTEMATIC MATHEMATICS

调和分析与小波

一个定理怎样同时控制所有半径上的平均？奇异核怎样仍能定义有界算子？怎样同时按位置、频率与尺度分解信号？本课程用 8 个按内容定长的单元、40 个可见双语章节回答这些问题，单元长度依次为 5、5、6、5、5、5、5、4。课程从平移、伸缩、调制、卷积、近似恒等核与稠密测试函数开始，随后建立 Fourier 求和、算子插值、极大估计、微分定理、奇异积分、二进频率局部化、Sobolev 控制、Haar 与多分辨率小波、采样、反演稳定性及完整多尺度档案。每个范数、指数、核的抵消、收敛方式、常数依赖与数值截断都会明确说明。本课不会把系数热图冒充证明，不会把弱型结论偷换成强型，也不冒充局部紧群上的抽象调和分析、非线性时频分析、研究级伪微分理论或面向具体传感器的噪声验证。

本课程之前: 已完成测度与 Lebesgue 积分、泛函分析、积分变换与特殊函数，并具备它们所要求的实分析、线性代数、微分方程与复分析先修知识。学习者应已掌握 Lp 空间、几乎处处收敛、乘积积分、弱收敛、有界与紧算子、Hilbert 投影、Fourier 约定、卷积、温和分布与基础 PDE 核。不预设小波软件、FFT 软件包、概率噪声模型或局部紧群理论。

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

调和分析研究函数在位置、频率与尺度上的行为

目标: 改用哪种伸缩会保持 L² 范数？

一个整体频率系数能检测振荡，却忘记振荡发生在哪里；局部平均能检测位置，却会平滑细节。调和分析组织这些描述之间的权衡，并证明在全部尺度上仍有效的界。 开始时先说明空间、范数、尺度、核、归一化，以及相等或收敛的意义。本章的准确结论是：平移与调制保持每个 L^p 范数；对 1≤p≤∞，有 ||D_af||_p=a^{-d(1−1/p)}||f||_p。

精确对象是：对 R^d 上的 f，平移为 τ_yf(x)=f(x−y)，a>0 时 L¹ 归一化伸缩为 D_af(x)=a^{-d}f(x/a)，调制为 M_ξf(x)=e^{iξ·x}f(x)。 调和分析在多个尺度上比较位置与频率；只有声明算子和误差意义后，振荡图像才构成证据。

用准确题目“在 d=1 中，令 f 在 [0,1] 上为 1、其他地方为零。取 a=2，求 D_2f 及其 L¹、L² 范数。”显露每个常数与假设。请重建三个步骤，用第二种表示核验结果，再检查这个失效边界：不同伸缩约定保持不同量。若使用 L¹ 归一化公式却声称保持 L² 能量，就会漏掉因子 a^{-d/2}。

平移与调制保持每个 L^p 范数；对 1≤p≤∞，有 ||D_af||_p=a^{-d(1−1/p)}||f||_p。

平移使用 u=x−y 与 Lebesgue 测度平移不变性；调制因子的绝对值为一。

对伸缩计算 ∫|a^{-d}f(x/a)|^pdx，并令 u=x/a，于是 dx=a^ddu。

p 次方范数得到因子 a^{-dp+d}；开 p 次方得到 a^{-d(1−1/p)}，上确界情形直接检查。

在 d=1 中，令 f 在 [0,1] 上为 1、其他地方为零。取 a=2，求 D_2f 及其 L¹、L² 范数。

  1. D_2f(x)=(1/2)f(x/2)，因此在 [0,2] 上等于 1/2，其他地方为零。
  2. 其 L¹ 范数为长度 2 乘高度 1/2，等于 1。
  3. 其 L² 范数平方为 2·(1/2)²=1/2，因此 ||D_2f||₂=1/√2。

结果: D_2f=(1/2)1_[0,2]，L¹ 范数为 1，L² 范数为 1/√2。