你手机连Wi-Fi,听音乐,去医院拍CT,晚上睡觉听见水管嗡嗡响,这几件事八竿子打不着,对吧?
但我告诉你,它们背后干活的,是同一套数学。
你可能觉得我在扯淡。
先别急,听我一件一件说。
先说个最朴素的怪事:弹簧和电线。
小时候你大概玩过这种弹簧:下面挂个螺母,一拉一松,螺母就上下晃。如果你拿笔把螺母的位置随时间画出来,画出来的是一条光滑起伏的波浪线。
再看一个东西:你把一个充电的电容和一个电感线圈接成一个回路。电容里存的电,会通过电感慢慢流过去,充满电容另一边;然后又流回来。来回折腾,电路里的电流也是一条波浪线。
一个是机械玩意儿,一个是电器玩意儿,风马牛不相及。
但你把这两件事的方程写出来看看。
写出来你会愣住,除了字母长得不一样,结构几乎一模一样。电感对应的是螺母的质量,电容对应的是弹簧的倔强系数,回路里那点电阻对应的是空气摩擦。
更绝的是,早年没超级计算机的时候,工程师真的就拿这种电路去模拟机械系统。算汽车撞墙的时候车身怎么变形,算飞机翅膀颤振起来是什么样,他们就在实验室里搭一板子电路,调几个电容电感,波形直接读出来。
换句话说,工程师在电路里看到的那个振荡,和你手里弹簧的那个振荡,根本就是同一个东西。
这就有点意思了。
为什么?
再来一个更乱的:墨水、谣言和股票。
你往一杯清水里滴一滴蓝墨水,墨水不会老老实实待在原地,它会慢慢晕开,最后整杯水变成淡蓝色。
你把一勺热咖啡倒进冷牛奶里,过一会儿整杯温度均匀了。
你在显微镜下看花粉,它在水里七扭八歪地乱撞,停不下来,这就是布朗运动。
你在家族群里发一个八卦,第二天整个亲戚圈都知道了。
你打开行情软件,一只股票今天涨两个点,明天跌三个点,上蹿下跳。
这五件事,物质上差得更远了:墨水是颜料分子,热量是分子的动能,花粉是植物的种子,八卦是人嘴一张一合,股票是屏幕上一条K线。
但它们服从的方程,居然是同一个:扩散方程。
道理也朴素:不管你在扩散的是什么东西,只要它是被无数个看不见的小邻居推来搡去,从密集的地方往稀疏的地方跑,数学长出来的样子就一样。
最戏剧性的是后面这串。
1827年植物学家布朗拿显微镜盯了半天花粉,记下来这玩意儿在水里乱蹦,谁也不知道为啥。1905年爱因斯坦顺手解释了:这是水分子在各个方向撞它。
结果早个几年,有个法国小伙子叫巴施里耶,他更早一步,把这同一套数学拿去用在了巴黎交易所的股价上。他说股价的波动跟花粉在水里乱撞,是一回事。
后来这一套东西被两个叫布莱克和斯科尔斯的人捡起来,捣鼓出了一个公式,今天全球的交易员拿它给期权定价,每天在里头算的钱,是以万亿美元为单位的。
也就是说,一个物理系教授在实验室里算花粉怎么飘,和一个交易员在交易厅里算股价明天怎么走,写在黑板上的方程,是同一个。
你说扯不扯。
再补一个你天天见,但你没意识到的:钟形曲线
你们班同学的身高,画个直方图;你们学校某次大考的成绩分布;你拿枪打靶,打了一百发,弹着点围绕靶心怎么散开;你拿尺子反复量同一个桌子的长度,每次读出来的数都有点小误差,这些误差怎么分布;你老家一年下多少毫米的雨。
这些乱七八糟的东西,你画出来的图,长得居然都是同一个形状:中间高,两边低,左右对称,像一口扣着的钟。
这就是正态分布,也叫高斯分布。
为什么全世界的破事最后都长成这一个形状?
因为有个东西叫中心极限定理:只要一件事是一大堆互相独立的小因素加起来的结果,不管这些小因素本身是怎么分布的,是均匀的也好,是歪瓜裂枣的也好,加在一起,最后必然长成那个钟形。
人的身高,是几百个基因、营养、睡眠、小时候生病没生病,一堆小因素叠出来的。
弹着点,是风偏、手的一点点抖动、子弹加工的微小误差,一堆小因素叠出来的。
考试分数,是你会的、蒙的、题出得顺不顺、考试当天肚子痛不痛,一堆小因素叠出来的。
一个定理,同时管住了基因、子弹和你们班的数学成绩。
这就不是巧合了吧?
讲到这儿,我得把话题往最邪门的那个方向拽一下。
高中课本里都写过:海森堡不确定性原理。
意思是一个电子,你位置测得越准,它的速度就越测不准,反过来也一样。
课本一般会告诉你,这是量子世界的神秘特性,是微观粒子"既是波又是粒子"闹出来的玄学,是微观世界和宏观世界最不一样的地方。
但其实,这事儿你家附近任何一家音响店都能体验到。
你掰个响指,"啪"的一声。这个声音特别短,短到只有几毫秒。如果你把它拿去做频谱分析,会发现它铺满了几乎整个听觉范围,高低频全有,所以听起来就是一声"咔哒",没什么音高,像噪声。
反过来,你拿一个音笛吹一个长音,稳稳吹个三秒钟不动。这个音的频谱就特别窄,几乎只有一个频率,纯得很,你都能听出来是哪个音。
这是个铁律,跟量子半毛钱关系都没有:
一个信号在时间上越挤成一团,它在频率上就必然铺得越开。反过来,你想要一个频率特别纯的音,这个音就必须拖得很长。
这是个数学定理,不是物理定律。
它是从傅里叶变换本身的性质里推出来的,跟你在哪儿用、用在什么东西上,没关系。
海森堡当年干了件什么事呢?他把这个定理,搬到了电子身上。
他说:电子也是一种波。
你想把它的位置定得特别准,也就是在空间上把它挤成一个特别窄的"啪",那它在"动量频率"上,就必然铺得特别宽。而动量对应的,就是波的频率。
位置越局域,动量就越分散。
所以海森堡不确定性原理,根本不是量子世界闹鬼。它是任何一个波动都必须守的数学规矩。不管是声波、水波、无线电波,还是电子的物质波,只要它是波,就跑不掉。
音响工程师在调音台那头,和量子物理学家在黑板这头,其实站在同一个定理底下。谁也没比谁多懂什么玄学。
讲到这儿,那个被人念叨了两百年的名字,就该出场了。
傅里叶,法国人。
1807年,他本来想解决一个特别土的问题:一根铁棒,一头烧红了,一头是凉的,热量怎么慢慢往另一头跑?
他想出来一个歪招。
他先去算一种最简单的情况:如果这根铁棒一开始的温度分布,恰好就是一个正弦波,一边高一边低、圆滑起伏的那种,那它之后怎么变?
答案漂亮得很:还是那个正弦波,形状不变,只是整体高度按指数规律往下降。而且起伏越尖的地方,降得越快,因为尖的地方容易被"磨平"。
然后他注意到,热传导这个方程是线性的。
线性是什么意思呢?
就是你把两个温度分布加在一起,它们各自降温的过程也能加在一起。一个铁棒如果一半是这个正弦波,一半是那个正弦波,那它就是两个波各自衰减完了再叠回来。
然后傅里叶扔出一句狂话。
他说:任何温度分布,甭管它歪歪扭扭成什么样,甭管它带不带尖角、带不带跳变,全都能拆成一堆正弦波加起来。
审稿的那几位大佬,拉格朗日、拉普拉斯、勒让德,全炸了。
拉格朗日反对得最凶。
他说你这不扯吗?正弦波是光滑的、连续的、圆滑的。一堆圆滑的东西加起来,怎么可能拼出带尖角的方波、三角波?这在直觉上说不通。
论文被退。
退了十五年。
傅里叶自己憋到1822年,干脆出了本专著,把事儿印出来给全世界看。
然后这帮数学家为了搞清楚傅里叶这句话到底在什么意义下是对的,整整折腾了一百年。
狄利克雷给了严格条件,黎曼为这事儿发明了黎曼积分,康托尔为这事儿折腾出了集合论,勒贝格干脆重建了一整套测度论。
一个算铁棒温度的人,一不小心,把半个现代分析学给催生出来了。
他自己更想不到的是,这套"拆成正弦波再加回去"的本事,一百多年后,会变成量子力学的地基,会变成你手机里5G信号的底层算法,会变成你听音乐、拍CT、修照片的那个压缩引擎。
你现在在手机上发一张照片,JPEG压缩的时候干的事,本质上就是先把图像拆成一堆正弦波,再把人眼不敏感的那些频率分量扔掉。和1807年傅里叶在铁棒上干的事,是同一个动作。
讲到这儿你大概要问了:为什么弹簧、热水、股票、电子,全都凑到傅里叶这个戏台子上来?
不是巧合。
真正的原因朴素得很:在这些系统里,空间的每一点都是平等的。没有哪个位置是"天子脚下",没有哪个时间点是"大年初一"。你把坐标系整体平移一截,系统长得还是那个样子。
物理学家管这个叫"平移对称性"。
只要一个东西满足"挪一挪、系统不变",那它最自然的基本单元,就必然是正弦波或者平面波。因为正弦波有个脾气:你把它整体挪一截,它还是那个正弦波,只是相位变了。它天生就跟"平移"这件事合拍。
然后数学上有个特别漂亮的事实:任何这种系统里写出来的方程,一旦换到正弦波这个基底上去写,全都变得特别简单。求导变乘法,乱七八糟的耦合项全解耦,本来是一锅粥的偏微分方程,变成了一个一个独立的小方程。
而"换到正弦波基底上去写"这个操作,就是傅里叶变换。
所以傅里叶变换不是哪个聪明人拍脑袋想出来的技巧。它是"空间每一点都平等"这件事,逼出来的必然结果。
只要一个线性系统有平移对称性,傅里叶变换就会自动冒出来。
热传导是,声波是,水波是,无线电波是,晶体的振动是,你手机里信号处理是,电子的波函数也是。
讲到这儿本来可以收了。但我必须再讲一件最离谱的,不然这篇文章不完整。
黎曼ζ函数,这是个纯数论里的东西,数学家拿它研究质数怎么分布。它有一堆"零点",就是函数值等于零的那些复数点。
重原子核,比如铀235,里面挤了两百多个质子中子,它们的能级是一团乱麻。
这俩东西,一个是数学家关在屋子里凭空玩出来的抽象玩具,一个是物理学家在实验室里轰来轰去的真东西。风马牛不相及。
结果1950年代,物理学家维格纳发现:重原子核能级之间的间距,和黎曼ζ函数那些非平凡零点之间的间距,统计分布居然一模一样。
都符合同一个"随机矩阵"的统计规律。
这事儿到今天都没人能完全解释清楚为什么。
数学圈到现在还在为这个事儿上头,谁要是哪天证明了这俩背后真的是同一个结构,基本就可以去斯德哥尔摩领个奖了。
它暗示着什么呢?
暗示着质数的分布、原子核里乱七八糟的能级、还有我们还没看见的别的什么东西,可能在更深更深的地方,本来就是同一枚硬币的两面。
1960年,就是上面那个维格纳,写了一篇文章,标题特别出名:《数学在自然科学中不合理的有效性》。
他困惑的是:这帮数学家在屋里关上门,凭自己的审美和怪癖搞出来的抽象玩意儿,怎么一拿出来就能精准地描述真实世界?
数论本来是最没用的"纯智力游戏",研究了两千年质数,结果今天变成了整个互联网密码学的地基。
黎曼几何本来是数学家脑子里异想天开的弯弯曲曲的空间,结果变成了广义相对论的语言。
傅里叶本来是算铁棒降温的,结果变成了5G信号、CT扫描、音乐压缩的底层。
你说这事儿上哪说理去。
但经过前面那一串例子,你大概能摸到一点线索。
不是物理现象长得像,所以数学能通用。而是这些现象在抽象的骨架上,本来就是同一个东西,只是外面穿了不同的外套。
弹簧穿着钢线圈的外套。电路穿着铜丝和电容的外套。股票穿着K线图的外套。电子穿着波函数的外套。
把外套脱了,里面是同一副骨架。
我们研究科学,很多时候干的事,就是把外套一件一件扒掉。
最后说一句不太浪漫的
上面这一切,听起来特别美,好像数学是宇宙的灵魂一样。
但我得泼一盆冷水。
这些抽象结构,没有一个是哲学家坐在摇椅上拍脑袋想出来的。
牛顿是算了一辈子轨道,憋出了万有引力。
麦克斯韦是攒了法拉迪那一大堆实验记录,东拼西凑才凑出那四个方程。
爱因斯坦是对着等效原理死磕了十年,才敢动时空的念头。
海森堡是被氢原子的光谱线逼得没辙了,才瞎写出矩阵力学。
傅里叶是老老实实在那一根铁棒一根铁棒地算温度,才碰出来那个"拆成正弦波"的念头。
抽象结构这东西,不是想出来的,是熬出来的。是被具体的、脏的、算不出来的现实,反反复复折磨了之后,才从里头浮出来的。
至于那个最根本的问题:为什么宇宙居然允许这种"一法通万法"的结构存在?为什么数学居然这么好用?为什么弹簧和电子居然在深处是亲戚?
维格纳说"不合理",意思就是他也不知道。
我们今天的处境,其实跟1807年那个被审稿人退稿的傅里叶差不多:手里拿着一套特别好用的工具,看着这个被它一点点统一起来的世界,隐约觉得背后还有什么更大的东西在那儿,但还没看见。