2026-07-26 · 把能量搬到频率侧

0. 导读与元结构 (Orientation & Meta-structure)

昨日我们用 Fourier 变换 (Fourier transform) 把热方程

$${\partial }_{t}u=\kappa {\partial }_{xx}u$$

拆成每个频率上的一阶 ODE。那条路线默认初值 $f$ 很好，例如 $f\in \mathcal{S}(\mathbb{R})$，因此 Fourier 积分、反演、分部积分和卷积都可以逐点操作。今日要深化的不是另一个 Gaussian 计算，而是一个更基础的问题：如果只知道 $f$ 有有限能量，即 $f\in L^2(\mathbb{R})$，Fourier 变换还是什么对象？热流又如何被频率解释？

对象与量词层。 今日固定复 Hilbert space（Hilbert 空间）$L^2(\mathbb{R})$，内积取

$$⟨f,g⟩={\int }_{\mathbb{R}}f(x)\overline{g(x)}dx.$$

核心对象有三层：

1. 良性子空间 $\mathcal{S}(\mathbb{R})$ 上的积分公式；
2. $L^2$ 中的等价类，即只在 almost everywhere（几乎处处）意义下确定的函数；
3. 由等距性延拓出来的酉算子 $\mathcal{F}:L^2\to L^2$。

核心量词链是：先对所有 $f,g\in \mathcal{S}(\mathbb{R})$ 证明内积恒等式；再用 $\mathcal{S}(\mathbb{R})$ 在 $L^2$ 中稠密，把恒等式延拓到每个 $L^2$ 等价类；最后用频率乘子定义热半群 $T_t$。

预备知识。 需要 $L^2$ inner product、Cauchy–Schwarz inequality、Hilbert space completion、dense subspace（稠密子空间）、Fourier 反演与卷积定理的 Schwartz 版本。

本弧位置。 这是 anchor-2026-w30-frequency-heat 的第 2/3 日。Day 1 说明 Fourier 变换如何对角化热方程；Day 2 说明为什么这种对角化不是只对光滑快速衰减函数有效，而能进入 $L^2$ 能量空间；Day 3 将从 Fourier 的能量与周期性走向 Poisson summation、theta 函数和模形式。

主导证明机制。 今日 proof engine 是“先在好空间证明等距，再用完备化延拓”。这和许多现代分析套路同构：先在 $C_c^{\mathrm{\infty }}$ 或 $\mathcal{S}$ 上计算，再让 norm closure 替你保存真正稳定的结构。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 从 Fourier 级数的 Parseval 到实直线的 Plancherel

有限维线性代数里，若 $e_1,\dots ,e_n$ 是正交规范基，则

$$\parallel v{\parallel }^2=\sum _{k=1}^n|⟨v,e_k⟩{|}^2.$$

Fourier 级数把这句话搬到圆周上：函数的平方平均等于 Fourier 系数的平方和。实直线上的频率不再离散，平方和变成积分；这就是 Plancherel theorem（Plancherel 定理）的核心形状。Michel Plancherel 的工作把 Fourier 理论推进到 Hilbert 空间和积分变换的框架中；后来这条线被推广为局部紧 Abel 群上的 harmonic analysis（调和分析）与 Plancherel measure（Plancherel 测度）。

本期仍采用昨日归一化：

$$\hat{f}(\xi )={\int }_{\mathbb{R}}f(x)e^{-2\pi ix\xi }dx,{\mathcal{F}}^{-1}g(x)={\int }_{\mathbb{R}}g(\xi )e^{2\pi ix\xi }d\xi .$$

这个归一化的好处是 Plancherel 公式没有额外常数。

1.2 定理：Schwartz 空间上的 Parseval 恒等式

定理 1（Parseval identity on $\mathcal{S}$）。 对任意 $f,g\in \mathcal{S}(\mathbb{R})$，有

$$⟨\hat{f},\hat{g}{⟩}_{L^2(\mathbb{R})}=⟨f,g{⟩}_{L^2(\mathbb{R})}.$$

特别地，

$$\parallel \hat{f}{\parallel }_2=\parallel f{\parallel }_2.$$

证明结构。 令

$$\tilde{g}(x)=\overline{g(-x)}.$$

直接计算得

$$\hat{\tilde{g}}(\xi )=\overline{\hat{g}(\xi )}.$$

于是卷积定理给出

$$\widehat{f\ast \tilde{g}}(\xi )=\hat{f}(\xi )\hat{\tilde{g}}(\xi )=\hat{f}(\xi )\overline{\hat{g}(\xi )}.$$

因为 $f\ast \tilde{g}\in \mathcal{S}(\mathbb{R})$，可以对它用 Fourier 反演并在 $x=0$ 处取值：

$${\int }_{\mathbb{R}}\hat{f}(\xi )\overline{\hat{g}(\xi )}d\xi ={\int }_{\mathbb{R}}\widehat{f\ast \tilde{g}}(\xi )d\xi =(f\ast \tilde{g})(0).$$

按本期卷积约定，

$$(f\ast \tilde{g})(0)={\int }_{\mathbb{R}}f(-y)\overline{g(-y)}dy={\int }_{\mathbb{R}}f(x)\overline{g(x)}dx.$$

这就得到内积保持。这里每个换序、反演和卷积步骤都由 Schwartz 衰减支撑；这也是为什么证明先放在好空间上。

1.3 主定理：Fourier 变换在 $L^2$ 上是酉算子

定理 2（Plancherel theorem on $L^2(\mathbb{R})$）。 存在唯一的有界线性算子

$$\mathcal{F}:L^2(\mathbb{R})\to L^2(\mathbb{R})$$

满足：对每个 $f\in \mathcal{S}(\mathbb{R})$，$\mathcal{F}f$ 等于上面的 Fourier 积分。并且对任意 $f,g\in L^2(\mathbb{R})$，

$$⟨\mathcal{F}f,\mathcal{F}g⟩=⟨f,g⟩,\parallel \mathcal{F}f{\parallel }_2=\parallel f{\parallel }_2.$$

此外 $\mathcal{F}$ 是 onto 的；换言之，$\mathcal{F}$ 是 $L^2$ 上的 unitary operator（酉算子）。

证明架构。

1. $\mathcal{S}(\mathbb{R})$ 在 $L^2(\mathbb{R})$ 中稠密。
2. 定理 1 说明 Fourier 变换在 $\mathcal{S}$ 上是等距的：若 $f_n\to f$ in $L^2$，则 ${\hat{f}}_n$ 也是 Cauchy sequence（Cauchy 列）。
3. 因 $L^2$ 完备，定义
   $$\mathcal{F}f=\underset{n\to \mathrm{\infty }}{lim}{\hat{f}}_n$$
   其中 $f_n\in \mathcal{S}$ 且 $f_n\to f$ in $L^2$。
4. 等距性保证这个定义不依赖逼近列：若 $h_n\to 0$ in $L^2$，则 ${\hat{h}}_n\to 0$ in $L^2$。
5. 反演公式在 $\mathcal{S}$ 上成立，且 ${\mathcal{F}}^4=I$ 在 $\mathcal{S}$ 上成立；连续延拓后仍给出可逆性，所以 $\mathcal{F}$ 是酉的。

注意此处的 $\mathcal{F}f$ 通常不是由一个绝对收敛积分逐点给出，而是 $L^2$ 中的等价类。这是 Plancherel 定理真正改变对象类型的地方。

1.4 热半群的 $L^2$ 能量解释

现在回到热方程。对 $f\in L^2(\mathbb{R})$ 与 $t>0$，定义

$$T_{t}f={\mathcal{F}}^{-1}(e^{-4{\pi }^2\kappa t{\xi }^2}\mathcal{F}f(\xi )).$$

乘子 $m_t(\xi )=e^{-4{\pi }^2\kappa t{\xi }^2}$ 满足 $0<m_t(\xi )\le 1$，因此 Plancherel 立即给出

$$\parallel T_{t}f{\parallel }_2^2={\int }_{\mathbb{R}}{e}^{-8{\pi }^2\kappa t{\xi }^2}|\mathcal{F}f(\xi ){|}^{2}d\xi \le \parallel f{\parallel }_2^2.$$

这就是 heat semigroup（热半群）的 $L^2$ contraction（$L^2$ 收缩性）。并且由 dominated convergence，

$$\parallel T_{t}f-f{\parallel }_2\to 0(t\downarrow 0).$$

若 $f$ 足够光滑，例如 $f\in \mathcal{S}$，还可以微分能量：

$$\frac{d}{dt}\parallel u(t){\parallel }_2^2=-2\kappa \parallel {\partial }_{x}u(t){\parallel }_2^2.$$

频率侧同一个公式写成

$$\frac{d}{dt}{\int }_{\mathbb{R}}{e}^{-8{\pi }^2\kappa t{\xi }^2}|\hat{f}(\xi ){|}^{2}d\xi =-2\kappa {\int }_{\mathbb{R}}(2\pi \xi {)}^2{e}^{-8{\pi }^2\kappa t{\xi }^2}|\hat{f}(\xi ){|}^{2}d\xi .$$

这比“热会平滑”更精确：能量不是神秘消失，而是按频率平方加权地耗散；高频损失得最快。

1.5 现代延伸：从公式到表示论

在局部紧 Abel 群 (locally compact abelian group) 上，Fourier 变换不再只是 $\mathbb{R}$ 上的积分技巧，而是把群 $G$ 上的函数搬到其 Pontryagin dual（Pontryagin 对偶）$\hat{G}$ 上。Plancherel 定理变成“选择合适 Haar measure 后，Fourier 变换在 $L^2$ 上酉”。非 Abel 群情形则需要不可约酉表示、算子值 Fourier 变换和 Plancherel measure。这条延伸路线保留了今日的核心：真正稳定的不是某个点态公式，而是内积、能量和表示结构。

2. 固定模板习题 (Template Exercise)

题目

设 $H$ 是复 inner product space，$e_1,\dots ,e_n$ 是一组 orthonormal vectors（正交规范向量）。对任意 $v\in H$，定义

$$P_{n}v=\sum _{k=1}^n⟨v,e_k⟩e_k.$$

证明：

1. $v-P_{n}v$ 与每个 $e_k$ 正交；
2. Bessel inequality（Bessel 不等式）成立：
   $$\sum _{k=1}^n|⟨v,e_k⟩{|}^2\le \parallel v{\parallel }^2;$$
3. 对任意 $a_1,\dots ,a_n\in \mathbb{C}$，$P_{n}v$ 是所有 $\sum _{k=1}^n{a}_k{e}_k$ 中距离 $v$ 最近的向量。

模板识别

看到“Fourier 系数平方和不超过函数能量”或“截断 Fourier 展开是最佳 $L^2$ 近似”，先不要从积分硬算。抽象成 Hilbert space 中的正交投影：系数是内积，部分和是投影，误差正交，结论来自 Pythagoras theorem（勾股定理）。

分级提示

1. 先计算 $⟨v-P_{n}v,e_j⟩$，注意内积关于哪一边线性只会影响共轭约定，不影响结论。
2. 展开 $\parallel P_{n}v{\parallel }^2$，用 $⟨e_j,e_k⟩={\delta }_{jk}$ 消掉交叉项。
3. 用 $v=P_{n}v+(v-P_{n}v)$，并利用两项正交。
4. 对任意 $w=\sum a_k{e}_k$，把 $v-w$ 写成 $(v-P_{n}v)+(P_{n}v-w)$，再用正交性比较范数。

3. 大家之言 (Mathematician in Their Own Words)

人物与语境。 Terence Tao 在 2009 年 4 月 6 日的 245C real analysis 讲义 “The Fourier transform” 中，先把 Fourier 变换定位为 harmonic analysis 的基础工具，再解释 Plancherel/Parseval 为什么让物理域与频率域之间的往返成为可靠方法。该网页是 Tao 本人的课程笔记与博客发布。

“Most importantly, the $L^2$ norm (or energy) of a function is the same as that of its Fourier transform.”

“最重要的是，一个函数的 $L^2$ 范数（或能量）与它的 Fourier 变换的 $L^2$ 范数相同。”

Tao 随后说明，这种不变性使我们能把物理域中容易做的技术与频率域中容易做的技术组合起来。这里的数学态度很清楚：Fourier 变换不是“换一种画法”，而是一种受内积保护的迁移。没有 Plancherel，频率侧计算可能只是形式符号；有了 Plancherel，能量估计、逼近、极限和 PDE 半群才可以在两个域之间来回传递。

4. 反例与边界 (Counterexample & Boundary)

一个常见误读是：

Plancherel 定理既然把 Fourier 变换定义在 $L^2$ 上，那么每个 $L^2$ 函数的 Fourier 变换都由同一个点态积分公式给出。

这句话是错的。取

$$f(x)=\frac{1}{(1+|x|{)}^{3/4}}.$$

逐项检查：

1. $f\in L^2(\mathbb{R})$，因为
   $$|f(x){|}^2=(1+|x|{)}^{-3/2},$$
   而
   $${\int }_1^{\mathrm{\infty }}{x}^{-3/2}dx<\mathrm{\infty }.$$
2. $f\notin L^1(\mathbb{R})$，因为
   $${\int }_1^{\mathrm{\infty }}{x}^{-3/4}dx=\mathrm{\infty }.$$
3. 在零频率 $\xi =0$，点态 Fourier 积分会变成
   $${\int }_{\mathbb{R}}f(x)dx,$$
   这作为 Lebesgue 绝对积分并不存在。

因此，对这个 $f$，Plancherel 定理仍然给出 $\mathcal{F}f\in L^2$，但它不是由“对每个 $\xi$ 都绝对收敛的积分”定义出来的函数。它是通过取 $\mathcal{S}$ 逼近列 $f_n\to f$，再在 $L^2$ 中取极限 ${\hat{f}}_n\to \mathcal{F}f$ 得到的 equivalence class（等价类）。

边界究竟在哪里？ 若 $f\in L^1$，Fourier 积分逐点有意义，并由 Riemann–Lebesgue lemma 得到连续且趋零的函数。若只假设 $f\in L^2$，Plancherel 保存的是能量，不保存点态代表元、连续性或无穷远衰减。今日的修复不是把发散积分硬解释成收敛，而是承认对象类型已经改变：从 pointwise function 进入 Hilbert-space vector。

5. 今日一问与数学地图 (Question & Map)

今日一问。 设 $f\in L^2(\mathbb{R})$，并定义 $u(t)=T_{t}f$。证明或反驳：对每个固定 $\tau >0$，都有

$${\int }_0^{\tau }\parallel {\partial }_{x}u(t){\parallel }_2^{2}dt<\mathrm{\infty }.$$

如果成立，能否给出精确等式

$$\parallel f{\parallel }_2^2-\parallel u(\tau ){\parallel }_2^2=2\kappa {\int }_0^{\tau }\parallel {\partial }_{x}u(t){\parallel }_2^{2}dt?$$

方向提示（不封口）。 不要先假装 $f$ 可微。先在频率侧写出 $u(t)$，把 ${\partial }_x$ 看成乘子 $2\pi i\xi$；然后用 Tonelli theorem（Tonelli 定理）处理 $t$ 与 $\xi$ 的非负积分。最后再思考这个等式如何通过 $\mathcal{S}$ 逼近回到经典 PDE 能量法。

数学地图：

$$\text{正交投影与 Bessel 不等式}⟶\text{Parseval 恒等式}⟶\text{Plancherel 的 }{L}^2\text{ 酉性}$$

$$⟶\{\begin{array}{l}\text{热半群：谱乘子与能量耗散},\\ \text{Sobolev 空间：导数作为频率权重},\\ \text{Poisson 求和：离散与连续频率的桥},\\ \text{theta 函数与模形式：热方程的周期化出口}.\end{array}$$

附录 A：习题完整解答 (Full Solution)

展开完整解答

模板名：正交投影—勾股—最佳逼近。

为固定约定，取内积关于第一变量线性、第二变量共轭线性；若采用相反约定，只需同步调整系数写法。

令

$$P_{n}v=\sum _{k=1}^n⟨v,e_k⟩e_k.$$

首先，对任意 $1\le j\le n$，

$$\begin{array}{rl}⟨v-P_{n}v,e_j⟩& =⟨v,e_j⟩-\sum _{k=1}^n⟨v,e_k⟩⟨e_k,e_j⟩\\ & =⟨v,e_j⟩-\sum _{k=1}^n⟨v,e_k⟩{\delta }_{kj}\\ & =0.\end{array}$$

所以 $v-P_{n}v$ 与每个 $e_j$ 正交，也与 $\mathrm{span}\{e_1,\dots ,e_n\}$ 中的每个向量正交。

其次，计算投影部分的范数：

$$\begin{array}{rl}\parallel P_{n}v{\parallel }^2& =⟨\sum _{j=1}^n⟨v,e_j⟩e_j,\sum _{k=1}^n⟨v,e_k⟩e_k⟩\\ & =\sum _{j,k=1}^n⟨v,e_j⟩\overline{⟨v,e_k⟩}⟨e_j,e_k⟩\\ & =\sum _{k=1}^n|⟨v,e_k⟩{|}^2.\end{array}$$

由于 $v=P_{n}v+(v-P_{n}v)$ 且两项正交，勾股定理给出

$$\parallel v{\parallel }^2=\parallel P_{n}v{\parallel }^2+\parallel v-P_{n}v{\parallel }^2\ge \parallel P_{n}v{\parallel }^2.$$

代入上式即得 Bessel inequality：

$$\sum _{k=1}^n|⟨v,e_k⟩{|}^2\le \parallel v{\parallel }^2.$$

最后证明最佳逼近。任取

$$w=\sum _{k=1}^n{a}_k{e}_k\in \mathrm{span}\{e_1,\dots ,e_n\}.$$

则 $P_{n}v-w$ 也在该 span 中，而 $v-P_{n}v$ 与该 span 正交，所以

$$\begin{array}{rl}\parallel v-w{\parallel }^2& =\parallel (v-P_{n}v)+(P_{n}v-w){\parallel }^2\\ & =\parallel v-P_{n}v{\parallel }^2+\parallel P_{n}v-w{\parallel }^2\\ & \ge \parallel v-P_{n}v{\parallel }^2.\end{array}$$

等号当且仅当 $P_{n}v=w$。因此 $P_{n}v$ 正是有限维子空间中的最佳 $L^2$ 近似。Fourier 部分和、最小二乘投影、条件期望的 $L^2$ 版本，都在复用这一个模板。

资料与来源 (Sources)

1. NIST Digital Library of Mathematical Functions, §1.14 “Integral Transforms”, especially §1.14(i) “Fourier Transform”. 该官方数学函数参考给出 Fourier 变换、反演、卷积与 Parseval 公式；其归一化与本期不同，本文公式已换算到 $e^{-2\pi ix\xi }$ 约定。https://dlmf.nist.gov/1.14
2. Terence Tao, “The Fourier transform”, What's new, 6 April 2009. 本期第 3 节引文核对于该网页；该讲义也陈述 Fourier transform 在 $L^2$ 上为 unitary operator，并把 Plancherel/Parseval 解释为物理域与频率域之间的能量保持。https://terrytao.wordpress.com/2009/04/06/the-fourier-transform/
3. Norbert Hungerbühler and Martine Schmutz, “Michel Plancherel”, MacTutor History of Mathematics Archive, University of St Andrews, last update February 2005. 用于核对 Plancherel 的生平、研究方向以及其在 Fourier theory、Hilbert spaces、integral transformations 和 PDE 中的工作谱系。https://mathshistory.st-andrews.ac.uk/Biographies/Plancherel/
4. Emmanuel Kowalski, “45 years of Deligne's Fourier transform”, E. Kowalski's blog, 29 November 2021. 用作现代延伸背景：Fourier 结构可迁移到 sheaves 与 trace functions 的框架，说明“保结构”比具体积分公式更深。https://blogs.ethz.ch/kowalski/2021/11/29/45-years-of-delignes-fourier-transform/