2026-07-27 · 把连续频率折回整数格

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

前两日分别回答了两个连续问题：Fourier 变换怎样把实线热方程拆成逐频率 ODE，以及这种分解怎样在 $L^2(\mathbb{R})$ 中保存能量。还缺一座桥：整数格 $\mathbb{Z}$ 上的取样，为什么会与整数频率上的取样精确对应？ 单靠 Plancherel 定理只比较两个积分，不能自动把积分变成格点和。

今日的起点是 periodization（周期化）：把实线函数的所有整数平移叠到一个基本区间上。它将对象依次变换为

$$f:\mathbb{R}\to \mathbb{C}⟼P_f:\mathbb{R}/\mathbb{Z}\to \mathbb{C}⟼\{\hat{f}(k){\}}_{k\in \mathbb{Z}}.$$

对象与量词层。 对任意 $f\in \mathcal{S}(\mathbb{R})$，先对每个 $x\in \mathbb{R}$ 定义整数平移之和；再对每个 $k\in \mathbb{Z}$ 计算它的 Fourier coefficient（Fourier 系数）；最后对每个 $t>0$ 把定理用于 Gaussian $e^{-\pi t{x}^2}$。复变量延伸中，参数进入上半平面 $\mathbb{H}=\{\tau \in \mathbb{C}:\mathrm{Im}\tau >0\}$。

前置知识。 Schwartz 快速衰减、Fourier 变换、Fourier 级数的系数公式、Gaussian 变换、uniform convergence（一致收敛）与换序。主导证明机制。 快速衰减控制整数尾部；基本区间展开把一列积分拼回整条实线；Fourier 级数在一点求值产生 Poisson summation（Poisson 求和）；Gaussian 的变换闭合性再把尺度 $t$ 反演为 $1/t$。

这是 anchor-2026-w30-frequency-heat 的第 3/3 日，也是收束日。Day 1 的 Gaussian 热核与 Day 2 的频率能量在此经过整数格周期化，变成圆周热核的两种表示，并第一次触及 theta function（theta 函数）和 modular form（模形式）的变换语言。今日是明确的 bridge：它复用 Fourier 机制，但新增的数学层是格点—对偶格、周期化与参数反演，不是重述前两日。

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

1.1 从连续变换到整数格：周期化

仍采用

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

设 $f\in \mathcal{S}(\mathbb{R})$，定义它的 integer periodization（整数周期化）

$$P_f(x)=\sum _{n\in \mathbb{Z}}f(x+n).$$

这个定义不是形式叠加。任取整数 $N>1$，存在常数 $C_N=C_N(f)$，使

$$|f(y)|\le C_N(1+|y|{)}^{-N}\text{对所有 }y\in \mathbb{R}.$$

当 $x\in [0,1]$ 时，$|x+n|$ 与 $|n|$ 同阶，因此上式给出一个与 $x$ 无关的可求和上界。Weierstrass M-test 说明定义 $P_f$ 的级数在 $[0,1]$ 一致绝对收敛。对 $f^{(m)}$ 重复同一论证，得到 $P_f\in C^{\mathrm{\infty }}(\mathbb{R}/\mathbb{Z})$，并可逐项求导。

1.2 关键引理：周期化的系数就是变换的整数取样

引理。 对任意 $f\in \mathcal{S}(\mathbb{R})$ 与任意 $k\in \mathbb{Z}$，$P_f$ 的第 $k$ 个 Fourier 系数满足

$$\begin{array}{rl}{c}_k(P_f)& ={\int }_0^1{P}_f(x)e^{-2\pi ikx}dx\\ & =\hat{f}(k).\end{array}$$

证明。 一致绝对收敛允许积分与求和交换：

$$\begin{array}{rl}{c}_k(P_f)& =\sum _{n\in \mathbb{Z}}{\int }_0^{1}f(x+n)e^{-2\pi ikx}dx.\end{array}$$

在第 $n$ 项令 $y=x+n$。由于 $k,n\in \mathbb{Z}$，有 $e^{2\pi ikn}=1$，故

$${\int }_0^{1}f(x+n)e^{-2\pi ikx}dx={\int }_n^{n+1}f(y)e^{-2\pi iky}dy.$$

所有区间 $[n,n+1]$ 拼成 $\mathbb{R}$；绝对可积性再次保证求和，因而

$$c_k(P_f)={\int }_{\mathbb{R}}f(y)e^{-2\pi iky}dy=\hat{f}(k).$$

这一步是整座桥的铰链：空间侧的整数平移，经过基本区间展开，变成频率侧的整数取样。

1.3 主定理：Poisson 求和及其平移版

定理（Poisson summation on $\mathcal{S}(\mathbb{R})$）。 对任意 $f\in \mathcal{S}(\mathbb{R})$ 与任意 $a\in \mathbb{R}$，两侧级数都绝对收敛，并且

$$\boxed{{\displaystyle \sum _{n\in \mathbb{Z}}f(n+a)=\sum _{k\in \mathbb{Z}}\hat{f}(k)e^{2\pi ika}}}.$$

特别地，取 $a=0$ 得

$$\boxed{{\displaystyle \sum _{n\in \mathbb{Z}}f(n)=\sum _{k\in \mathbb{Z}}\hat{f}(k)}}.$$

证明架构。 Fourier 变换保持 Schwartz 空间，所以 $\{\hat{f}(k){\}}_{k\in \mathbb{Z}}$ 快速衰减；因此

$$\sum _{k\in \mathbb{Z}}\hat{f}(k)e^{2\pi ikx}$$

一致绝对收敛。上一引理已算出它正是光滑周期函数 $P_f$ 的 Fourier series（Fourier 级数），故

$$P_f(x)=\sum _{k\in \mathbb{Z}}\hat{f}(k)e^{2\pi ikx}.$$

令 $x=a$ 即得平移版。假设 $f\in \mathcal{S}$ 同时承担了三项工作：空间格点和收敛、频率格点和收敛，以及 Fourier 级数能在指定点恢复 $P_f$。删去这些控制，公式不能只凭符号相似成立。

1.4 Gaussian 给出的 theta 反演

令 $t>0$，并取

$$f_t(x)=e^{-\pi t{x}^2}.$$

Day 1 已经用参数微分法核对过

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

定义实参数 theta series（theta 级数）

$$\mathrm{\Theta }(t)=\sum _{n\in \mathbb{Z}}{e}^{-\pi t{n}^2}.$$

把 $f_t$ 代入 Poisson 求和，立刻得到

$$\boxed{{\displaystyle \mathrm{\Theta }(t)=t^{-1/2}\mathrm{\Theta }(1/t),t>0.}}$$

这不是偶然的级数技巧，而是三层结构的合成：整数格 $\mathbb{Z}$ 的对偶格仍是 $\mathbb{Z}$；Gaussian 在 Fourier 变换下仍是 Gaussian；尺度 $t$ 在变换后成为 $1/t$ 并产生 Jacobian 因子 $t^{-1/2}$。

热方程语言让这件事更可见。设

$$G_s(x)=\frac{1}{\sqrt{4\pi \kappa s}}\exp (-\frac{x^2}{4\kappa s}),s>0.$$

在圆周 $\mathbb{R}/\mathbb{Z}$ 上，热核可写成“所有整数像源之和”

$$K_s(x)=\sum _{n\in \mathbb{Z}}{G}_s(x+n),$$

也可由 Poisson 求和写成“所有整数 Fourier 模态之和”

$$K_s(x)=\sum _{k\in \mathbb{Z}}{e}^{-4{\pi }^2\kappa s{k}^2}{e}^{2\pi ikx}.$$

左式强调热从覆盖空间的各个整数像扩散而来，右式强调圆周上的每个频率按 $k^2$ 衰减；它们是同一个热核，而非两个相似的近似。

1.5 研究生/现代延伸：从 theta 反演到模形式

对 $\tau \in \mathbb{H}$ 定义

$$\theta (\tau )=\sum _{n\in \mathbb{Z}}{e}^{\pi i{n}^2\tau }.$$

当 $\tau =it$ 时，它就是 $\mathrm{\Theta }(t)$。实参数反演写成

$$\theta (-1/\tau )=(-i\tau {)}^{1/2}\theta (\tau )$$

在正虚轴上的情形；这里平方根取 principal branch（主值支）。两边都是 $\mathbb{H}$ 上的全纯函数，故 identity theorem（恒等定理）把等式延拓到所有 $\tau \in \mathbb{H}$。这就是 Jacobi theta transformation 的一个基本版本。

必须精确区分：$\theta$ 并不是一个普通的、定义在整个 $S{L}_2(\mathbb{Z})$ 上的整数权模形式。它表现出 weight $1/2$（半整数权）与 multiplier system（乘子系统），自然落在合适的覆盖或同余子群语言中。它的幂、带特征 theta 函数以及更一般的 lattice theta series（格 theta 级数）才进一步进入标准模形式与自守形式框架。今日建立的是模变换的可计算原型，不是用一个公式取代模形式的完整定义。

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

题目

设整数 $q\ge 2$、$N\ge 1$，令

$$\omega =e^{2\pi i/q}.$$

对 $r\in \{0,1,\dots ,q-1\}$，记 $B_{N,r}$ 为长度 $N$ 的 $0$–$1$ 串中，Hamming weight（等于 $1$ 的位置数）模 $q$ 余 $r$ 的串数。证明

$$B_{N,r}=\frac{1}{q}\sum _{j=0}^{q-1}{\omega }^{-jr}(1+{\omega }^j{)}^N.$$

并由此推出：当 $q=2$ 时，偶数重量与奇数重量的串各有 $2^{N-1}$ 个。

模板识别

看到“从一个和式或生成函数中只保留下标 $m\equiv r(\mathrm{mod}q)$ 的项”，应识别 roots-of-unity filter（单位根筛法）。核心不是逐个枚举，而是用有限循环群的 character orthogonality（特征标正交性）把同余条件写成一个有限指数和，再把下标求和交给生成函数。

分级提示

1. 先证明对任意整数 $m$，
   $$\frac{1}{q}\sum _{j=0}^{q-1}{\omega }^{j(m-r)}=\{\begin{array}{ll}1,& m\equiv r(\mathrm{mod}q),\\ 0,& m\not\equiv r(\mathrm{mod}q).\end{array}$$
2. 写出 $B_{N,r}=\sum _{m=0}^N(\genfrac{}{}{0ex}{}{N}{m}){\mathbf{1}}_{m\equiv r(q)}$，再代入上面的指示函数。
3. 交换两个有限和后，对 $m$ 使用 binomial theorem（二项式定理）。
4. 在 $q=2$ 时取 $\omega =-1$，并使用 $N\ge 1$ 处理 $(1-1{)}^N$。

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

人物与语境。 Terence Tao 在 UCLA 课程 Math 246B 的讲义 “Some connections with the Fourier transform” 中，把实线上的 Fourier integral 与复分析中的全纯延拓、轮廓平移放在同一组笔记里。该讲义由 Tao 本人发表于 2021 年 1 月 23 日；在列出 Fourier inversion、Plancherel 与 Poisson summation 后，他写道：

“On the other hand, the Fourier transform also intertwines various qualitative properties of a function $f$ with ‘dual’ qualitative properties of its Fourier transform $\hat{f}$; in particular, ‘decay’ properties of $f$ tend to be associated with ‘regularity’ properties of $\hat{f}$, and vice versa.”

“另一方面，Fourier 变换还把函数 $f$ 的各种定性性质与其 Fourier 变换 $\hat{f}$ 的‘对偶’定性性质交织起来；尤其是，$f$ 的‘衰减’性质往往对应于 $\hat{f}$ 的‘正则性’性质，反之亦然。”

这里的 “intertwines” 不是修辞：它要求逐项指出什么性质被送到什么性质。今日证明中，$f$ 的 Schwartz 衰减先保证周期化及其各阶导数一致收敛，又使 $\hat{f}(k)$ 快速衰减，从而允许 Fourier 级数在指定点恢复函数；空间侧的平移则变成频率侧的相位。Poisson 求和因此不是孤立的等式，而是这套“衰减—正则性、平移—相位”对偶字典在整数格上的一次精确结算。Tao 的讲义随后用复分析给出另一条 Poisson 求和路线，也提醒我们：同一结构可以有不同 proof engine，但每条路线都必须支付自己的收敛与边界条件。

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

一个过近的错误推广是：

只要 $f\in L^1(\mathbb{R})$，就有 $\sum _{n\in \mathbb{Z}}f(n)=\sum _{k\in \mathbb{Z}}\hat{f}(k)$。

取闭区间示性函数

$$f={\mathbf{1}}_{[-1,1]}.$$

逐项核对：

1. $f\in L^1(\mathbb{R})$，且 $\parallel f{\parallel }_1=2$。
2. 空间侧只有 $n=-1,0,1$ 三项非零；由于端点被包含，
   $$\sum _{n\in \mathbb{Z}}f(n)=3.$$
3. 对 $\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$。
4. 因而对每个非零整数 $k$，$\hat{f}(k)=0$，所以
   $$\sum _{k\in \mathbb{Z}}\hat{f}(k)=2.$$

两侧分别是 $3$ 与 $2$，公式失败。

边界究竟在哪里？ Fourier 变换作为 Lebesgue integral（Lebesgue 积分）不看零测集上的修改；把 $f(-1)$ 或 $f(1)$ 改掉不会改变 $\hat{f}$。但格点和恰恰读取这些单点值，所以它不是 $L^1$ 等价类上的良定义量。对这个分段光滑例子，正确的 Fourier 点态恢复在跳跃处取左右极限的半和：$-1$ 与 $1$ 各贡献 $1/2$，$0$ 贡献 $1$，总计 $2$，与频率侧一致。

因此，反例不是说 Poisson 求和只能用于 Schwartz 函数；存在许多更弱的充分条件与分布版本。它揭示的是：“绝对可积”本身既不控制格点值，也不规定跳跃处采用哪个代表元。 任何推广都必须明确收敛方式、点值约定或分布解释，不能把这些内容藏在形式等号里。

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

今日一问。 对 $a\in \mathbb{R}$ 与 $t>0$，定义 shifted Gaussian lattice sum（平移 Gaussian 格和）

$${\mathrm{\Theta }}_a(t)=\sum _{n\in \mathbb{Z}}{e}^{-\pi t(n+a{)}^2}.$$

请从平移版 Poisson 求和严格推出其对偶公式，并回答：

1. 为什么空间平移 $a$ 在对偶侧不再是平移，而成为相位 $e^{2\pi ika}$？
2. 当 $a=1/2$ 时，这个相位怎样把半格点 theta 级数送到交错 theta 级数？
3. 在只允许这族“无额外相位”的 ${\mathrm{\Theta }}_a$ 时，哪些 $a(\mathrm{mod}1)$ 可能满足与 $\mathrm{\Theta }(t)=t^{-1/2}\mathrm{\Theta }(1/t)$ 同形的自反演公式？

方向提示（不封口）。 先把 $f_t(n+a)$ 直接代入本期定理；不要把 $e^{2\pi ika}$ 误写成 Gaussian 中的平移。判定自反演参数时，可比较 $t\to \mathrm{\infty }$ 两侧的主项，但要先说明极限与求和交换为何安全。

数学地图：

$$\text{Schwartz 衰减与 Fourier 变换}⟶\text{整数周期化与基本区间展开}⟶\text{Poisson 求和}$$

$$⟶\{\begin{array}{l}\text{Gaussian theta 反演：尺度 }t\leftrightarrow 1/t,\\ \text{圆周热核：像源和 }\leftrightarrow \text{ 模态和},\\ \text{带特征 theta：平移 }\leftrightarrow \text{ character},\\ \text{格 theta 与模形式：对偶格和自守变换}.\end{array}$$

再往前，$\mathbb{Z}$ 要被一般 lattice（格）替代，整数频率要被 dual lattice（对偶格）替代；Poisson 求和则成为 Euclidean harmonic analysis、数论中的 theta correspondence（theta 对应）以及更广泛 automorphic forms（自守形式）之间的共同底层机制。

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

展开完整解答

模板名：有限特征标正交—单位根筛—生成函数代入。

先证明单位根正交恒等式。对任意整数 $m$，令 $d=m-r$。若 $q\mid d$，则 ${\omega }^{jd}=1$ 对所有 $j$ 成立，因此

$$\frac{1}{q}\sum _{j=0}^{q-1}{\omega }^{j(m-r)}=1.$$

若 $q\nmid d$，则 ${\omega }^d\ne 1$，而 $({\omega }^d{)}^q=1$。有限等比数列给出

$$\sum _{j=0}^{q-1}({\omega }^d{)}^j=\frac{1-({\omega }^d{)}^q}{1-{\omega }^d}=0.$$

所以

$${\mathbf{1}}_{m\equiv r(q)}=\frac{1}{q}\sum _{j=0}^{q-1}{\omega }^{j(m-r)}.$$

长度 $N$ 且重量恰为 $m$ 的 $0$–$1$ 串有 $(\genfrac{}{}{0ex}{}{N}{m})$ 个，故

$$B_{N,r}=\sum _{m=0}^N(\genfrac{}{}{0ex}{}{N}{m}){\mathbf{1}}_{m\equiv r(q)}.$$

代入单位根筛，并利用这里只含有限和，可以无条件换序：

$$\begin{array}{rl}{B}_{N,r}& =\sum _{m=0}^N(\genfrac{}{}{0ex}{}{N}{m})\left(\frac{1}{q}\sum _{j=0}^{q-1}{\omega }^{j(m-r)}\right)\\ & =\frac{1}{q}\sum _{j=0}^{q-1}{\omega }^{-jr}\sum _{m=0}^N(\genfrac{}{}{0ex}{}{N}{m})({\omega }^j{)}^m.\end{array}$$

二项式定理给出

$$\sum _{m=0}^N(\genfrac{}{}{0ex}{}{N}{m})({\omega }^j{)}^m=(1+{\omega }^j{)}^N,$$

因此

$$\boxed{{\displaystyle B_{N,r}=\frac{1}{q}\sum _{j=0}^{q-1}{\omega }^{-jr}(1+{\omega }^j{)}^N}}.$$

虽然右侧逐项可能是复数，但整个表达式等于一开始定义的整数计数；共轭项也会成对消去虚部。

最后取 $q=2$，则 $\omega =-1$，且 $r\in \{0,1\}$。由于 $N\ge 1$，

$$\begin{array}{rl}{B}_{N,r}& =\frac{1}{2}((1+1{)}^N+(-1{)}^{-r}(1-1{)}^N)\\ & =\frac{1}{2}(2^N+(-1{)}^r\cdot 0)\\ & =2^{N-1}.\end{array}$$

所以偶数重量与奇数重量的 $0$–$1$ 串各占一半。这个模板可直接复用于“系数下标落在某个同余类”的生成函数问题。

资料与来源 (Sources)

1. NIST Digital Library of Mathematical Functions, §1.14(i), “Fourier Transform”, subsection “Poisson’s Summation Formula”. 用于核对 Fourier/Poisson 公式所在的权威参考框架；DLMF 使用的 Fourier 归一化与本文不完全相同，本文统一换算为 $e^{-2\pi ix\xi }$ 约定。https://dlmf.nist.gov/1.14
2. NIST Digital Library of Mathematical Functions, §20.2(i), “Fourier Series” and §20.7(viii), “Transformations of Lattice Parameter”, especially equations 20.2.3 and 20.7.32. 用于核对 ${\theta }_3$ 的级数定义、${\tau }^{\prime }=-1/\tau$、主值平方根约定，以及 theta 的 lattice-parameter transformation。https://dlmf.nist.gov/20.2 ，https://dlmf.nist.gov/20.7
3. Terence Tao, “246B, Notes 2: Some connections with the Fourier transform”, What’s new, 23 January 2021. Tao 本人的 Math 246B 课程讲义；第 3 节引文逐字核对于该页，讲义明确列出本文归一化下的 Poisson 求和公式，并从复分析的轮廓平移给出另一条证明路线。https://terrytao.wordpress.com/2021/01/23/246b-notes-2-some-connections-with-the-fourier-transform/