2026-07-25 · 把扩散拆成频率

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

起点不是“怎样计算一个积分”，而是一个耦合难题。 热方程

$${\partial }_{t}u(t,x)=\kappa {\partial }_{xx}u(t,x),\kappa >0,$$

要求同时追踪连续统中每个位置 $x$ 与每个时刻 $t$；空间二阶导数又把相邻位置耦合起来。Fourier 变换 (Fourier transform) 的关键作用，是把函数拆成频率 $\xi$ 的连续叠加，并把 ${\partial }_{xx}$ 变成标量乘法 $-(2\pi \xi {)}^2$。于是一个偏微分方程被拆成“每个频率各自演化”的一族一阶常微分方程。

对象与量词层。 给定任意 $\kappa >0$ 与任意初值 $f\in \mathcal{S}(\mathbb{R})$；对每个 $t>0$、$x\in \mathbb{R}$，构造 $u(t,x)$；再对每个频率 $\xi \in \mathbb{R}$ 分析 $\hat{u}(t,\xi )$。这里 $\mathcal{S}(\mathbb{R})$ 是 Schwartz 空间，快速衰减保证分部积分、Fubini 换序与逐项微分都有足够的控制。

前置知识： 广义积分、复指数、分部积分、卷积、一阶线性 ODE。主证明引擎： 分部积分把导数变成乘子，Fubini 把卷积变成乘积，常微分方程给出频率衰减，Fourier 反演再回到空间。

这是 anchor-2026-w30-frequency-heat 的第 1/3 日：今天建立“变换即对角化”的主机制；下一日进入 Plancherel 定理与 $L^2$ 能量；第三日预留给 Poisson 求和及其通向 theta 函数、模形式的桥梁。

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

1.1 从热传导到频率分析

Fourier 在 1822 年的《热的解析理论》里研究有界物体与热传导，核心工具是三角级数。现代实直线上的 Fourier 变换不是把那套公式原样搬来，而是其结构性延伸：离散频率级数变成连续频率积分；“按特征振动分解”这一核心仍然保留。后来 $L^2$ 完备化与温和分布 (tempered distributions) 又扩大了可处理对象，但没有取消原问题，反而解释了为何热方程会自然生成这套分析。

1.2 定义：Schwartz 空间、变换与卷积

定义

$$\mathcal{S}(\mathbb{R})=\{f\in C^{\mathrm{\infty }}(\mathbb{R}):\mathrm{\forall }m,n\in {\mathbb{N}}_0,\underset{x\in \mathbb{R}}{sup}|x^m{f}^{(n)}(x)|<\mathrm{\infty }\}.$$

本期固定归一化

$$\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 .$$

不同资料可能把 $2\pi$ 放在变换外或改变指数符号；常数不同，机制不变。对 $f,g\in \mathcal{S}(\mathbb{R})$，卷积定义为

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

1.3 两个结构引理

引理 1（导数变乘子）。 对任意 $f\in \mathcal{S}(\mathbb{R})$ 与任意 $\xi \in \mathbb{R}$，

$$\widehat{f^{\prime }}(\xi )=2\pi i\xi \hat{f}(\xi ),\widehat{f^{″}}(\xi )=-(2\pi \xi {)}^2\hat{f}(\xi ).$$

证明机制。 分部积分给出

$${\int }_{\mathbb{R}}{f}^{\prime }(x)e^{-2\pi ix\xi }dx={[f(x)e^{-2\pi ix\xi }]}_{-\mathrm{\infty }}^{\mathrm{\infty }}+2\pi i\xi {\int }_{\mathbb{R}}f(x)e^{-2\pi ix\xi }dx.$$

Schwartz 衰减恰好消灭边界项；再用一次即得二阶公式。若没有足够的边界衰减，这一步就不能无条件照搬。

引理 2（卷积变乘积）。 对任意 $f,g\in \mathcal{S}(\mathbb{R})$ 与任意 $\xi \in \mathbb{R}$，

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

证明只需把二重积分写出，令 $z=x-y$，再用绝对可积性保证 Fubini 换序合法。Fourier 反演定理则断言：对每个 $f\in \mathcal{S}(\mathbb{R})$ 与每个 $x\in \mathbb{R}$，

$$f(x)={\int }_{\mathbb{R}}\hat{f}(\xi )e^{2\pi ix\xi }d\xi .$$

其常用证明先乘 Gaussian 截断因子，使所有换序绝对收敛，再令截断参数趋于零；Gaussian 因而既是技术正则化器，也是热方程的基本解。

1.4 主定理：热方程的 Fourier—Gaussian 表示

定理。 设 $\kappa >0$ 且 $f\in \mathcal{S}(\mathbb{R})$。对任意 $t>0$、$x\in \mathbb{R}$，令

$$G_t(x)=\frac{1}{\sqrt{4\pi \kappa t}}\exp (-\frac{x^2}{4\kappa t}),u(t,x)=(G_t\ast f)(x).$$

则 $u\in C^{\mathrm{\infty }}((0,\mathrm{\infty })\times \mathbb{R})$，并满足

$${\partial }_{t}u=\kappa {\partial }_{xx}u,\mathrm{\forall }x\in \mathbb{R},\underset{t\downarrow 0}{lim}u(t,x)=f(x).$$

其频率表示为

$$\hat{u}(t,\xi )=e^{-4{\pi }^2\kappa t{\xi }^2}\hat{f}(\xi ).$$

更精确地，若对任意 $T>0$，另一个解 $v$ 满足

$$v\in C([0,T];\mathcal{S}(\mathbb{R}))\cap C^1((0,T];\mathcal{S}(\mathbb{R})),{\partial }_{t}v=\kappa {\partial }_{xx}v,v(0)=f,$$

其中连续性与可微性均取 Schwartz 拓扑，则 $v=u$；这就是本文采用的唯一性解类。

证明架构。 对热方程作 Fourier 变换，导数引理把它化为：对每个固定 $\xi \in \mathbb{R}$，

$${\partial }_t\hat{u}(t,\xi )=-4{\pi }^2\kappa {\xi }^2\hat{u}(t,\xi ),\hat{u}(0,\xi )=\hat{f}(\xi ).$$

这是一阶 ODE，故

$$\hat{u}(t,\xi )=e^{-4{\pi }^2\kappa t{\xi }^2}\hat{f}(\xi ).$$

Gaussian 计算给出 $\widehat{G_t}(\xi )=e^{-4{\pi }^2\kappa t{\xi }^2}$；卷积定理便得到 $u=G_t\ast f$。反过来，从频率积分定义 $u$，Schwartz 衰减允许对 $t,x$ 微分并直接验证 PDE。又因 $\hat{f}\in L^1(\mathbb{R})$，且

$$0<e^{-4{\pi }^2\kappa t{\xi }^2}\le 1,e^{-4{\pi }^2\kappa t{\xi }^2}\to 1,$$

控制收敛定理与 Fourier 反演给出 $u(t,x)\to f(x)$。唯一性则把两个解之差变换到频率侧：每个零初值 ODE 只有零解。

1.5 公式真正告诉了我们什么

1. 高频衰减更快。 频率 $\xi$ 的振幅按 $e^{-4{\pi }^2\kappa t{\xi }^2}$ 衰减；扩散的平滑性来自平方频率的惩罚，而不是一句模糊的“热会变均匀”。
2. 总质量守恒。 在 $\xi =0$ 处乘子等于 $1$，故
   $${\int }_{\mathbb{R}}u(t,x)dx=\hat{u}(t,0)=\hat{f}(0)={\int }_{\mathbb{R}}f(x)dx.$$
3. 半群律。 因频率乘子相乘时指数相加，
   $$G_s\ast G_t=G_{s+t},s,t>0.$$
   热流不是一串彼此无关的时间切片，而是一个 heat semigroup。

研究生/现代延伸。 Plancherel 定理把 $\mathcal{F}$ 从 $\mathcal{S}$ 延拓为 $L^2(\mathbb{R})$ 上的酉算子；于是热算子可写成谱乘子 $e^{-4{\pi }^2\kappa t{\xi }^2}$。再把函数嵌入温和分布，Dirac 质量也能作为初值，而 $G_t$ 正是它在正时间的演化。这是泛函演算、PDE 正则化与概率论中 Gaussian 转移核的共同入口。

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

题目

在本期归一化下，设 $a>0$ 且

$$f_a(x)=e^{-\pi a{x}^2}.$$

证明对每个 $\xi \in \mathbb{R}$，

$$\widehat{f_a}(\xi )=a^{-1/2}{e}^{-\pi {\xi }^2/a}.$$

再据此核对热核 $G_t$ 的 Fourier 变换确为 $e^{-4{\pi }^2\kappa t{\xi }^2}$。

模板识别

看到“Gaussian $\times$ 振荡因子”的积分，不必先做复平方配方。把整个 Fourier 积分视为频率参数 $\xi$ 的函数：对参数求导会产生因子 $x$，而 Gaussian 的空间导数也产生 $x$。这提示“参数微分 $\to$ 分部积分 $\to$ 一阶 ODE $\to$ 用 $\xi =0$ 校准常数”的可复用模板。

分级提示

1. 令 $F(\xi )=\widehat{f_a}(\xi )$。先用可积控制函数说明可以在积分号下对 $\xi$ 求导。
2. 利用
   $$x{e}^{-\pi a{x}^2}=-\frac{1}{2\pi a}\frac{d}{dx}{e}^{-\pi a{x}^2}.$$
3. 对 $x$ 分部积分，证明 $F$ 满足
   $$F^{\prime }(\xi )=-\frac{2\pi \xi }{a}F(\xi ).$$
4. 用 Gaussian 积分的缩放 $F(0)={\int }_{\mathbb{R}}{e}^{-\pi a{x}^2}dx=a^{-1/2}$ 决定 ODE 常数；最后取 $a=(4\pi \kappa t{)}^{-1}$ 并留意 $G_t$ 的前置系数。

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

人物与语境。 Joseph Fourier 在《热的解析理论》的 “Preliminary Discourse” 中，先谈热传播方程如何把物理问题化为纯分析问题，再说明研究自然现象为何会反过来塑造分析本身。这里采用 Alexander Freeman 的 1878 年 Cambridge University Press 英译本；该句见 Preliminary Discourse 第 7 页。

“Profound study of nature is the most fertile source of mathematical discoveries.”

“对自然的深入研究，是数学发现最丰饶的源泉。”

这不是泛泛的“数学有用”。Fourier 的论证次序更具体：先给出一个有确定对象、边界条件与可检验数值结果的热传导问题；再为求解它发展三角展开与新的分析工具。也就是说，物理问题不替代证明，却能筛掉“没有出口的计算”，并迫使概念、公式、误差控制对同一个对象闭环。今天的频率乘子法正体现这一态度：不是因为 Fourier 变换享有名望才使用它，而是因为它精确匹配了空间微分算子的代数结构。

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

一个很近、也很危险的误断是：

若 $f\in L^1(\mathbb{R})$，则 $\hat{f}\in L^1(\mathbb{R})$。

取具体函数 $f={\mathbf{1}}_{[-1,1]}$。逐项核对：

1. $f$ 可积，且 $\parallel f{\parallel }_1=2$。
2. 对 $\xi \ne 0$，直接积分得
   $$\hat{f}(\xi )={\int }_{-1}^1{e}^{-2\pi ix\xi }dx=\frac{\sin (2\pi \xi )}{\pi \xi },$$
   而连续延拓值为 $\hat{f}(0)=2$。
3. 它确实连续、有界并在 $|\xi |\to \mathrm{\infty }$ 时趋于 $0$；这与 Riemann–Lebesgue 引理一致。
4. 但它不绝对可积。对每个整数 $n\ge 1$，在
   $$I_n=[n+\frac{1}{12},n+\frac{5}{12}]$$
   上有 $|\sin (2\pi \xi )|\ge \frac{1}{2}$，故
   $${\int }_{I_n}|\hat{f}(\xi )|d\xi \ge \frac{1}{6\pi (n+5/12)}.$$
   右侧求和是调和级数型，因而 ${\int }_{\mathbb{R}}|\hat{f}(\xi )|d\xi =\mathrm{\infty }$。

边界究竟在哪里？ $L^1$ 初值足以保证 $\hat{f}$ 有界、连续且趋零，却不足以保证 $\hat{f}\in L^1$。所以“$f$ 与 $\hat{f}$ 都可积时”的简单反演定理不能只凭 $f\in L^1$ 调用。这个例子并不说一切反演都失败：该示性函数仍可用更精细的点态、$L^2$ 或分布意义处理，跳跃点处会出现左右极限半和。现代框架修复的是函数类与收敛意义，而不是把缺失的假设假装成自动成立。

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

今日一问。 设 $f\in L^1(\mathbb{R})$ 非零且具有紧支撑，允许 $f$ 改变符号。固定任意 $t>0$，热演化

$$u(t,x)=(G_t\ast f)(x)$$

能否在某个非空开区间上恒等于零？如果不能，严格证明中究竟是哪一步超出了“Gaussian 处处为正”的初等论证？

方向提示（不封口）。 正性只处理 $f\ge 0$；符号抵消时，尝试把 $x$ 换成复变量 $z$，先证明积分给出整函数，再思考恒等定理与 Fourier 变换单射性各自承担什么角色。

数学地图：

$$\text{广义积分、分部积分、复指数}⟶\text{Fourier 变换与导数乘子}⟶\text{Gaussian 热核与热半群}$$

$$⟶\{\begin{array}{l}{L}^2\text{ 与 Plancherel：能量和酉结构},\\ \text{解析平滑与唯一延拓：PDE 正则性},\\ \text{Gaussian 转移核：Brownian motion 与 Markov 半群},\\ \text{Poisson 求和：theta 函数与模形式}.\end{array}$$

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

展开完整解答

模板名：参数微分—分部积分—ODE 校准。

设

$$F(\xi )={\int }_{\mathbb{R}}{e}^{-\pi a{x}^2}{e}^{-2\pi ix\xi }dx.$$

对任意紧频率区间 $|\xi |\le M$，被积函数关于 $\xi$ 的导数绝对值满足

$$|-2\pi ix{e}^{-\pi a{x}^2}{e}^{-2\pi ix\xi }|=2\pi |x|e^{-\pi a{x}^2}\in L^1(\mathbb{R}).$$

故可在积分号下求导：

$$F^{\prime }(\xi )={\int }_{\mathbb{R}}(-2\pi ix)e^{-\pi a{x}^2}{e}^{-2\pi ix\xi }dx.$$

又因

$$\frac{d}{dx}{e}^{-\pi a{x}^2}=-2\pi ax{e}^{-\pi a{x}^2},$$

所以

$$F^{\prime }(\xi )=\frac{i}{a}{\int }_{\mathbb{R}}\frac{d}{dx}\left(e^{-\pi a{x}^2}\right)e^{-2\pi ix\xi }dx.$$

分部积分时 Gaussian 使边界项为零，于是

$$\begin{array}{rl}{F}^{\prime }(\xi )& =\frac{i}{a}\left(2\pi i\xi {\int }_{\mathbb{R}}{e}^{-\pi a{x}^2}{e}^{-2\pi ix\xi }dx\right)\\ & =-\frac{2\pi \xi }{a}F(\xi ).\end{array}$$

因此

$$F(\xi )=C\exp (-\frac{\pi {\xi }^2}{a}).$$

在 $\xi =0$ 处，用换元 $y=\sqrt{a}x$ 与标准 Gaussian 积分 ${\int }_{\mathbb{R}}{e}^{-\pi y^2}dy=1$，得

$$C=F(0)={\int }_{\mathbb{R}}{e}^{-\pi a{x}^2}dx=a^{-1/2}.$$

故

$$\widehat{f_a}(\xi )=a^{-1/2}{e}^{-\pi {\xi }^2/a}.$$

最后令 $a=(4\pi \kappa t{)}^{-1}$。由于

$$G_t(x)=\frac{1}{\sqrt{4\pi \kappa t}}{e}^{-\pi a{x}^2},$$

所以

$$\begin{array}{rl}\widehat{G_t}(\xi )& =\frac{1}{\sqrt{4\pi \kappa t}}{a}^{-1/2}{e}^{-\pi {\xi }^2/a}\\ & =e^{-4{\pi }^2\kappa t{\xi }^2},\end{array}$$

其中前置常数恰与 $a^{-1/2}=\sqrt{4\pi \kappa t}$ 抵消。

资料与来源 (Sources)

1. Joseph Fourier, Théorie analytique de la chaleur (1822). Bibliothèque nationale de France, Gallica 扫描本。历史原始著作；本期据此确认热传导问题与 Fourier 原作的谱系。https://gallica.bnf.fr/ark:/12148/bpt6k29061r
2. Joseph Fourier, The Analytical Theory of Heat, translated with notes by Alexander Freeman, Cambridge University Press, 1878. Internet Archive 馆藏页与全文 OCR；第 3 节引文核对于 “Preliminary Discourse”, p. 7。https://archive.org/details/analyticaltheory00fourrich
   • 可检索全文：https://archive.org/download/analyticaltheory00fourrich/analyticaltheory00fourrich_djvu.txt
3. NIST Digital Library of Mathematical Functions, §1.14(i), “Fourier Transform”. 给出 Fourier 变换、反演、卷积与 Parseval 公式；其归一化与本期不同，阅读时须同步换算常数。https://dlmf.nist.gov/1.14