让-巴蒂斯特·约瑟夫·傅里叶 (Jean-Baptiste Joseph Fourier, 1768-1830)

一、出身——孤儿院里的数学天才

1768年3月21日,法国欧塞尔(Auxerre)。一个裁缝家庭迎来了第九个孩子——傅里叶。

但他8岁时就成了孤儿。父母先后去世。

所幸欧塞尔的一家本笃会修道院接收了他。在修道院学校里,傅里叶展现出了惊人的天赋——他12岁就开始撰写布道词,14岁已经系统地学习了数学的各个分支。他对数学的热情极大,以至于他把教堂的蜡烛偷偷带到宿舍里彻夜阅读数学书。

一本改变了他一生的书:他在某个偶然的机会读到了一篇关于数学分析和弹性的论文,论文引用了牛顿和莱布尼茨的微积分。对这位15岁的少年来说,这简直是打开了新世界的大门。

1787年,18岁的傅里叶决定放弃修道院的教职(他的导师希望他成为一位神父),投身数学。他写道:

“昨天是我的生日。在19岁的时候,我已经确定了自己要做的事情——数学和物理。我会在这条路上走下去,不管它通向哪里。”

1789年法国大革命爆发时,21岁的傅里叶正在欧塞尔的皇家军事学院教书。他支持革命,甚至亲自加入了当地的革命委员会。但风云变幻的政治环境让他在恐怖时期两次被捕。尽管如此,他凭借自己的人脉和科学声誉在1795年进入了巴黎综合理工学院(École Polytechnique)——当时全欧洲最顶尖的科学教育机构——担任分析学教授。


二、傅里叶级数——任何曲线都是正弦波的叠加

2.1 问题起源:热的传播

1807年,39岁的傅里叶向巴黎科学院提交了一篇论文。这篇论文后来改变了整个数学和工程学。

他的问题是:一根金属棒,一端加热、另一端冷却,棒上的温度如何分布?随时间如何变化?

2.2 关键洞察

傅里叶假设温度分布 u(x,t)u(x,t) 满足热传导方程

ut=α2ux2 \frac{\partial u}{\partial t} = \alpha \frac{\partial^2 u}{\partial x^2}

其中 α\alpha 是热扩散率。问题来了:怎么解这个方程?

傅里叶提出了一个石破天惊的想法:任何周期函数都可以写成无穷多个正弦和余弦之和。

f(x)=a02+n=1(ancos2πnxL+bnsin2πnxL) f(x) = \frac{a_0}{2} + \sum_{n=1}^\infty \left(a_n \cos\frac{2\pi n x}{L} + b_n \sin\frac{2\pi n x}{L}\right)

其中系数由积分确定:

an=2L0Lf(x)cos2πnxLdx a_n = \frac{2}{L} \int_0^L f(x) \cos\frac{2\pi n x}{L} dx bn=2L0Lf(x)sin2πnxLdx b_n = \frac{2}{L} \int_0^L f(x) \sin\frac{2\pi n x}{L} dx

这个式子的惊人之处:它把一个看似复杂的曲线拆解成了无限多个简单波动的叠加。

2.3 为什么它如此困难?

今天这个公式看起来理所当然。但在1807年,它相当于宣称”任何形状(包括锯齿形、方波这样的不连续函数)都可以用光滑的正弦波来精确表示”——这在当时的数学家看来完全是疯狂的。

拉格朗日和拉普拉斯都反对这篇论文。拉格朗日甚至专门写信说:不连续的函数怎么可能用连续的正弦波来表示?这违背了数学的基本常识。

傅里叶花了整整15年来完善他的理论。1811年,他以一篇更严谨的论文再次提交,赢得了巴黎科学院的大奖——但评审委员会(包括拉格朗日、拉普拉斯和勒让德)仍然保留意见,认为他的严格性不足。

直到1822年的《热的解析理论》(Théorie analytique de la chaleur)——傅里叶的代表作——出版后,这个理论才逐渐被接受。


三、傅里叶变换——从时域到频域的桥梁

傅里叶级数只对周期函数有效。傅里叶变换是它的自然推广——把周期 LL \to \infty

F(ω)=f(t)eiωtdt F(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt

逆变换:

f(t)=12πF(ω)eiωtdω f(t) = \frac{1}{2\pi} \int_{-\infty}^{\infty} F(\omega) e^{i\omega t} d\omega

它的思想:任何信号,不管它多么复杂,都可以看成是不同频率的正弦波的叠加。

场景 时域(tt 频域(ω\omega
音频信号 声波在时间上的震动 不同频率的音调组成”频谱”
图像 像素的空间分布 空间频率(边缘、纹理、渐变)
飞控传感器 加速度计读数随时间变化 振动噪声的频谱分量
通信信号 随时间变化的电压 载波频率 + 调制边带

在博客中出现的场景

博客文章 傅里叶的出现方式
微分方程(六)-偏微分方程 热方程 ut=αuxxu_t = \alpha u_{xx} 的解全靠傅里叶级数
Anderson空气动力学(四)-薄翼理论 薄翼型环量分布用傅里叶级数展开求解
Anderson空气动力学(六)-升力线 有限翼的环量分布也用傅里叶级数展开
信号处理/传感器噪声 传感器噪声的频谱分析基于傅里叶变换
JPEG压缩 JPEG将图像分块后对每个8×8块做离散余弦变换(DCT,傅里叶变换的变体)
光线追踪/渲染 渲染中的频谱分析和抗锯齿基于傅里叶理论

四、傅里叶理论与现代工程

4.1 JPEG和MP3的数学基础

JPEG压缩的核心是离散余弦变换(DCT):

F(u,v)=14C(u)C(v)x=07y=07f(x,y)cos(2x+1)uπ16cos(2y+1)vπ16 F(u,v) = \frac{1}{4} C(u)C(v) \sum_{x=0}^{7} \sum_{y=0}^{7} f(x,y) \cos\frac{(2x+1)u\pi}{16} \cos\frac{(2y+1)v\pi}{16}

每个8×8的图像块被分解成64个频率分量,低频分量保留,高频分量(人眼不敏感的部分)大幅压缩或丢弃。这就是JPEG能减少照片体积10-20倍而人眼几乎看不出差别的原理。

MP3用的原理相同——只是把时间轴上的音频信号变换到频域,去掉人耳不敏感的频率成分。

4.2 在无人机信号处理中的角色

无人机的传感器数据处理流程中,傅里叶变换的作用无处不在:

  • IMU信号的频域滤波:对加速度计和陀螺仪的时域信号做FFT,在频域滤除振动噪声后再变换回时域
  • GPS信号捕获:GPS接收机用傅里叶变换在频域搜索卫星信号的载波频率
  • 通信系统的OFDM调制:4G/5G/WiFi的基带信号处理基于傅里叶变换

4.3 频谱偏置——神经网络中的一个反直觉现象

深度学习中的”频谱偏置”(spectral bias)现象直接联系到傅里叶理论:神经网络倾向于先学习低频分量,再学习高频分量。这是神经正切核(NTK)理论的核心预测之一。

傅里叶分析也是了解卷积神经网络(CNN)中”为什么深层次的特征更抽象”这一问题的关键工具。


五、傅里叶的晚年与政治生涯

傅里叶不是一个纯粹的学者。他曾在1798年跟随拿破仑远征埃及——担任政治顾问和科学顾问。在埃及期间,他参与了埃及学会的建立,并负责考古方面的考察工作。他后来组织编写了《埃及描述》(Description de l’Égypte)——现代埃及学的奠基著作之一。

1802年,拿破仑任命他为伊泽尔省(Isère)省长,驻扎在格勒诺布尔。他是一位非常能干的行政官员——负责修建了从格勒诺布尔到都灵的公路,主持了沼泽地的排水工程。但他仍在政务之余研究数学。

一个有趣的轶事:傅里叶在格勒诺布尔当省长时,他的办公室里总是放着一个大火炉。他相信热对他的健康有益。这个”傅里叶的炉子”在格勒诺布尔远近闻名。

拿破仑在1814年倒台后,傅里叶的政治生涯随之结束。他回到了巴黎,重新专注于科学研究。


六、与高斯的对比

对比维度 高斯 傅里叶
出生 1777,德国,贫苦家庭 1768,法国,裁缝家庭孤儿
代表作 《算术研究》(1801) 《热的解析理论》(1822)
性格 极端严谨、沉默寡言 充满激情、善于交际
政治参与 几乎不参与(拒绝柏林搬迁) 积极参与革命和行政
发表风格 “少些,但要成熟些” 抢先发表,再逐步完善
数学风格 抽象、深邃、完美主义 应用导向、物理直觉主导
对现代工程的影响 最小二乘、正态分布、数值方法 信号处理、频谱分析、偏微分方程

七、影响与传承

傅里叶去世后,他的级数和变换理论由狄利克雷(Dirichlet)在1829年首次给出了严格的收敛条件证明——“狄利克雷条件”:一个函数在周期区间上只有有限个极值和有限个不连续点,则它的傅里叶级数收敛到该函数。

傅里叶分析后来发展为更广泛的”调和分析”(harmonic analysis),是20世纪泛函分析和算子理论的基础之一。

他对分析学的最大贡献:打破了”光滑函数才是分析的正当对象”的偏见。在傅里叶之前,数学分析几乎只研究无穷可微的函数。傅里叶证明了不连续函数也可以通过级数来研究——这为后来的实变函数论和泛函分析铺平了道路,也直接推动了狄利克雷、黎曼、勒贝格等人建立新的积分理论。


参考文献

  1. Fourier, J. B. J. (1822). Théorie analytique de la chaleur. Paris: Firmin Didot. (中译本:《热的解析理论》)
  2. Grattan-Guinness, I. (1972). Joseph Fourier, 1768-1830: A Survey of His Life and Work. MIT Press.
  3. Herivel, J. (1975). Joseph Fourier: The Man and the Physicist. Oxford University Press.
  4. Kline, M. (1972). Mathematical Thought from Ancient to Modern Times. Oxford University Press. — 傅里叶级数在数学史中的定位
  5. Bracewell, R. N. (2000). The Fourier Transform and Its Applications (3rd ed.). McGraw-Hill. — 傅里叶变换的工程应用标准教材

柯西才是复变函数的真正奠基人。他提出了柯西-黎曼方程(就是你在复变函数第二篇中看了一整篇的东西)、柯西积分定理、柯西积分公式——整个复变函数的大厦几乎全是他一个人一砖一瓦建起来的。他还写了那本著名的《分析教程》,影响了几代数学家。