Joseph Fourier · 1768–1830

傅里叶

他为了算热，造出了一把能拆开一切信号的刀

f(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty}\left(a_n\cos nx + b_n\sin nx\right)

任何函数都能写成正弦与余弦的叠加 · 这句话当年没能通过评审

傅里叶 1768 年生于欧塞尔，九岁成孤儿，靠本笃会学校收留才念上书。法国大革命期间他险些上断头台，后来随拿破仑远征埃及，做过埃及研究院的秘书。1802 年被任命为伊泽尔省省长，驻格勒诺布尔——他一生最重要的数学，是在管着修路和排沼泽的间隙里做出来的。也是在这个任上，他把自己的埃及收藏拿给一个本地少年看，那孩子叫商博良，后来破译了圣书体。

1807 年他向科学院递交了一份关于热传导的论文，核心是一句在当时听来近乎荒唐的话：任何函数都能写成正弦与余弦的叠加。评审席上坐着拉格朗日、拉普拉斯和勒让德，没通过——一堆光滑连续的正弦，怎么可能加出一条带跳跃的折线？1811 年他拿到了科学院大奖，评语里仍附着「不够严格」的保留。直到 1822 年《热的解析理论》出版，这套方法才站稳。后来的一百年里，为了把他那句话修补到严格，数学家造出了狄利克雷条件、黎曼积分和康托尔的集合论——这两个人这座馆里都有。

阿梅代·热耶版画，约1823，据朱利安–莱奥波德·布瓦伊原作 · Wikimedia Commons，公有领域

生平

1768
生于欧塞尔
裁缝的第九个孩子，九岁父母双亡。
1798–1801
随拿破仑远征埃及
任埃及研究院秘书，回国后主持《埃及记述》的历史绪论。
1802
出任伊泽尔省省长
驻格勒诺布尔。修通往都灵的公路、排干布尔关的沼泽——热传导的研究就是在这些公务的间隙做的。
1807
热传导论文被退回
拉格朗日、拉普拉斯、勒让德的评审没有通过：三角级数怎么可能表示带跳跃的函数？
1811
获科学院大奖
奖是给了，评语里仍写着「不够严格」。
1822
《热的解析理论》出版
傅里叶级数、傅里叶变换与热方程的经典之作。同年他当选科学院常任秘书。
1824
指出大气会留住热量
他算出地球比「同样距离上一个裸露的球」要暖，把差额归给大气——今天叫温室效应。
1830
卒于巴黎
同年他是伽罗瓦大奖论文的评审之一，还没读完就去世了，稿子也没能找回来。

展品厅

绝大多数展品都可以亲手把玩——这是本馆的立馆之本；少数以叙述为主的，做成故事展签。

镇馆之宝 · 亲手玩

用正弦波堆出方波

堆得出来——但跳跃处那个 8.95% 的凸起，加多少项都去不掉。

\text{峰值} \to \tfrac{2}{\pi}\mathrm{Si}(\pi) = 1.17898

1807 年他交上的说法是：任何函数都能写成正弦与余弦的叠加。评审席上坐着拉格朗日，没通过——一堆光滑连续的正弦，怎么可能加出一条带跳跃的线？把项数推到底，你会看见它真的能。但也会看见代价：在跳跃处部分和永远向外冲出约 8.95%（相对跳跃高度），加再多项这个比例也不变，凸起只会被挤得更窄。这叫吉布斯现象，极限高度是 (2/π)Si(π) = 1.178980。它不是画错了，是一个真定理：逐点收敛不等于一致收敛。换成连续的三角波，超调就消失了。

推项数，看方波成形，也看那个凸起怎么赖着不走

取到第 7 项

1807 年傅里叶交上一个说法：任何函数都能写成正弦与余弦的叠加。评审席上坐着拉格朗日，没通过——一堆光滑连续的正弦，怎么可能加出一条带跳跃的线？把滑块推到底，你会看见它真的能。但也会看见代价：在跳跃处，部分和永远向外冲出约 8.95%（相对跳跃的高度），加再多项这个比例也不变，凸起只会被挤得更窄。这叫吉布斯现象，极限高度是 (2/π)Si(π) = 1.178980。它不是画错了，是一个真定理：逐点收敛不等于一致收敛。换成三角波试试——它连续，就没有超调。傅里叶那句「任何函数」确实需要修补，而修补它的一百年，造出了狄利克雷条件、黎曼积分和康托尔的集合论。

热方程：他造这把刀是为了切热

换到正弦基底上，方程就散架成一堆互不相干的一阶方程。

u(x,t) = \sum_n b_n e^{-n^2 t}\sin nx

傅里叶级数不是为了好看才发明的。∂u/∂t = ∂²u/∂x²，一根两端冰冻的杆上热怎么走——这个方程直接啃很难，可只要把温度分布拆成 sin(nx) 的叠加，它就散架成一堆彼此不相干的一阶方程，每个模态只按自己的速率衰减：u = Σ bₙ·e^(−n²t)·sin(nx)。指数里是 n²，n=10 的衰减速度是 n=1 的一百倍。这就是为什么热总是先把尖角磨平：尖角是高频，高频先死。整套傅里叶分析的动机就在这一句里——这个方程在这组基底下是对角的。

时间 t = 0.0000

傅里叶级数不是为了好看才发明的，是为了解这个方程： ∂u/∂t = ∂²u/∂x²，一根两端冰冻的杆上，热怎么走。这个方程直接啃很难，可只要把温度分布拆成 sin(nx) 的叠加，它就散架成一堆互不相干的一阶方程——每个模态只按自己的速率衰减， u(x,t) = Σ bₙ·e^(−n²t)·sin(nx)。指数里是 n²：n=10 的衰减速度是 n=1 的一百倍。拖时间滑块，看下面那排柱子从右往左塌——高频先死，所以热总是先把尖角磨平，最后只剩一个最平缓的鼓包。换「一根细钉」看得最清楚。 t 接近 0 时曲线上的抖动不是画错了，是上一件展品里的吉布斯现象；热一走它自己就没了。

系数衰减多快，只看函数有多光滑

JPEG 和 MP3 敢把高频整条丢掉，靠的就是这一条。

b_n \sim n^{-1},\quad n^{-2},\quad \ldots

傅里叶系数的衰减率精确地记着函数的光滑程度：有跳跃就是 1/n，连续但有折角是 1/n²，无穷可微则比任何幂次都快——在双对数图上是一条直接掉下悬崖的线。这条规律是所有有损压缩的地基：真实的图像和声音大体是光滑的，高频系数小到可以整条丢掉，人却看不出、听不出。JPEG 丢的是二维余弦系数里的高频块，MP3 丢的是听觉掩蔽下的高频分量，用的都是同一句话——函数越光滑，高频越不值钱。一个 1807 年为算热传导写下的工具，今天在你每一次刷图、每一次听歌时都在跑。

傅里叶系数衰减得多快，精确地记着这个函数有多光滑：有跳跃就是 1/n，连续但有折角是 1/n²，无穷可微则比任何幂次都快—— 在双对数图上是一条直接掉下悬崖的线。三条都是量出来的，不是套公式。这条规律是所有有损压缩的地基：真实的图像和声音大体是光滑的，高频系数小到可以整条丢掉，人却看不出、听不出。 JPEG 丢的是二维余弦系数里的高频块，MP3 丢的是听觉掩蔽下的高频分量，用的都是同一句话——函数越光滑，高频越不值钱。一个 1807 年为了算热传导写下的工具，今天在你每一次刷图、每一次听歌时都在跑。

他也是第一个说「大气会留住热」的人

1824 年，比「温室效应」这个词早了将近一个世纪。

1824 年和 1827 年，傅里叶做了一件当时没人做过的事：把地球当成一个受太阳照射的物体，问它该有多热。他的结论是地球比「同样距离上一个裸露的球」要暖得多，而差额来自大气——大气让太阳光进得来，却拦住了地面放出的热。他拿索绪尔的玻璃箱做类比，「温室」这个词是后人加的。要说清楚必须诚实：斯特藩–玻尔兹曼定律要到 1879 年才有，那是他身后的事，所以他给不出具体数字；用今天的公式算，地球的黑体平衡温度是 254.6 K（−18.6°C），而实测地表均温约 288 K（15°C），差着 33 K——这就是他当年指出的那个缺口。他还猜测过星际辐射也是热源，那一条是错的。机制要等丁达尔（1859）和阿伦尼乌斯（1896）才补齐。

故事展签故事展签：一位数学家在算热传导的路上，顺手问了地球该有多热。

「任何函数」这句话逼出了什么

一句不严格的断言，逼出了整整一百年的分析学。

傅里叶那句「任何函数都能展开」在当时是不严格的，评审的保留意见没有说错。但真正重要的是接下来发生的事：为了弄清它到底什么时候成立，狄利克雷 1829 年给出了第一个充分条件，并顺手把「函数」这个词从「一条公式」改成了「一个对应关系」——这是现代函数概念的起点。黎曼为了给三角级数撑腰，在 1854 年的就职演讲里造出了黎曼积分。康托尔追问三角级数表示的唯一性，从例外点集一路走到了超限序数与集合论。一句说错了的话，比一百句正确而无聊的话更有生产力——这座馆里黎曼和康托尔的那两页，源头都在这里。

故事展签故事展签：黎曼积分与集合论，都是从修补这句话开始的。

传承

他的工作没有留在十八世纪——每条链的终点，都是你今天正在使用的东西。

傅里叶级数⟶频域分析⟶今天每一次信号处理、每一张 JPEG、每一首 MP3

「任何函数都能展开」⟶狄利克雷条件与现代函数概念⟶黎曼积分与康托尔的集合论

热方程⟶偏微分方程的一般方法⟶数学物理与今天的一切数值模拟

语录

「对自然的深入研究，是数学发现最丰富的源泉。」
—— 《热的解析理论》绪论，1822

「数学分析和自然本身一样广阔。」
—— 《热的解析理论》绪论，1822——紧接着他写道，它能把一切可测量的关系都收进同一种语言