第14章　积分：怎样从局部规则创造整体运动与守恒

14.1　把每一步写对，还没有得到整段旅程

假设我们知道一辆车在某些时刻的速度。要计算它在一段时间内的位移，不能把速度数字直接相加；需要知道各段持续多久、速度在段内怎样变化，以及所用方向是否一致。若速度是连续函数，积分便把这些局部贡献组织成整体位移。

这是一种强大的能力，但不应被说成“整体只是部分相加”。积分中的部分已经按照某种量的含义、某种参数与某种相容关系组织起来。没有这些规定，小量再多，也不自动属于同一个整体。数学中的求和与极限，是在明确结构内发生的运算。

《科学与微积分》强调积分对于整体重构的作用，《科学是什么？》又把整体模型接到新的差异预测与检验。[4，第6—8章；5，第21章]本章将这一思路落实为几组可以完整检查的计算，同时说明：整体重建需要哪些条件，什么情况下不唯一，什么情况下局部规则甚至不能组成所要求的整体。

14.2　积累量与状态量，先要分清

若v(t)是有向速度，积分给出位移；若取速度大小的积分，则给出相应路径长度。两者可以不同：先前进后返回时，最终位移可能为零，走过的路却不为零。它们不是两个相互矛盾的测量，而是两个不同整体量。

这个最简单的区分已经说明，积分不是对所有过程采用同一种“总量”。我们必须知道被积函数是什么，正负号怎样规定，积分所形成的量回答什么问题。若把有向变化与总活动混同，正确计算也会得到错误解释。

对于能写为某个状态函数差值的量，整体结果可能只依赖端点；对于一般过程量，路径可能不能省略。是否能够省略路径，不应由“经典”或“现代”这样的时代标签决定，而应由具体数学与物理条件决定。

这也回应研究对话中的一个过强表述：经典物理不是任何路径都无关。[7，第57、75页]本书不沿用这一说法。积分理论本身就清楚地区分端点关系与路径关系。属性纠缠的研究应当解释何时路径被有根据地压缩，而不是先把整个经典理论写成没有过程的体系。

14.3　一个可以算到底的落体模型

考虑一个明确限定的模型：质量m为正常量，运动沿竖直方向，向下为正；重力加速度g在研究范围内取常量；阻力假设为与速度成正比的−bv，其中b>0。忽略其他效应。在这些假设下，方程为：

这不是关于所有落体的普遍断言，也不是对某段历史实验的复述。我们选择它，是因为可以同时看见局部规律、整体解、初始条件与模型范围。

令τ=m/b，终端速度记为v∞=mg/b。方程改写为v̇+(1/τ)v=g。乘以积分因子exp(t/τ)，左边成为乘积的导数：

从零积分到t，并代入初始条件，得到：

局部变化率由当前速度决定；整体速度则同时保留初始值和时间尺度。即使不同初始速度最终趋向同一个v∞，其有限时间过程仍然不同。稳定极限与历史差异可以共存，不必在二者之间选一个。

14.4　再积分一次，位置为何仍需要一个条件

知道速度还不能确定位置原点。设x(0)=x₀，再积分得到：

这个解把原来分散的内容组织成整体运动：质量与阻力决定τ，重力与阻力决定v∞，初始速度决定暂态，初始位置决定整体平移。删去其中一项条件，通常会失去相应的唯一规定。

解写出来以后，仍应返回检查。对x求导，是否得到v？把v代入方程，是否满足局部规律？t=0时，位置与速度是否正确？这些检查确认数学相容，但不能替代对线性阻力假设的经验检验。

进一步让b趋向零，应当恢复无阻力模型的有限时间形式。对指数项展开并保留相应阶次，可得v(t)趋向v₀+gt，x(t)趋向x₀+v₀t+gt²/2。这里必须连同v∞与τ一起处理，不能分别把它们的发散当作整体解发散。参数极限需要检查完整表达，而不是盯住单个符号。

这组计算提供了一个清楚的发生学接口：局部关系经积分成为整体，不是因为所有条件突然消失，而是因为条件在整体表达中取得了明确位置。积分的组织力越强，我们越能看到初值、作用形式与尺度怎样共同规定运动。

14.5　整体解能预测什么，不能预测什么

上述模型可以预告速度向v∞接近，也可以预告改变b之后暂态时间尺度怎样变化。若这些参数由独立程序取得，就可以在新的时间段或新的初始条件下检验预测。若所有参数都是为了贴合同一条轨迹而事后调整，证明责任则不同。

一个模型拟合得好，并不自动说明其机制唯一。不同阻力函数在较小速度范围内可能给出相近曲线。为了区分，研究需要扩大或改变可合法比较的条件，使候选模型作出不同预告。这不是放弃积分，而是让积分产生的整体后果进入新的差异安排。

这正对应底本“再微分”的方法论意义：从整体模型返回新的可检验差异。[5，第21章]再微分在此不必字面等于再求一个导数，而是使模型能够生成独立问题。若只对自己假设的方程求解，再把解求导返回同一方程，完成的是内部一致性检查，不是新增经验支持。

因此，积分的创造性包含两种需要分开的工作：提出能够组织问题的整体结构，以及在既定结构中计算其后果。前者可能改变物理对象，后者可以是必需而严密的推演。只有看到二者的联动，才不会把科学创造全部归给灵感，也不会把所有计算都称为新世界诞生。

14.6　振子：整体可以稳定地不收敛为一点

再考虑m ẍ+kx=0，m与k均为正常量，初始位置为x₀，初始速度为v₀。令ω=√(k/m)，其解为：

这个系统一般不会趋向一个固定位置。它持续振荡，但这种不趋于一点并不等于没有稳定结构。定义能量函数H=m ẋ²/2+kx²/2，求导得到Ḣ=ẋ(m ẍ+kx)=0，所以H保持。

为了避免符号混淆，这里的H是模型的能量函数，不是SDE三方程中表示特征纠缠关系的函数H。相同字母在不同数学语境中不能自动承担同一种本体含义。

这个例子再次提醒我们，收敛、周期行为、分布稳定与守恒是不同概念。一个系统不趋向固定点，却可以有严格守恒；一个系统趋向稳定状态，也可能在此前经历丰富耦合。不能把任何“不定格”都称为同一种不收敛，更不能把它统一解释为某个号位复活的充分证据。

从物理思想的创造看，能量层面的稳定提供一种不同于位置不动的整体身份。物体一直运动，某个整体关系却保持。这使“稳定是什么”获得更丰富的规定，也使积分与微分之间的联系超出简单的静止与变化对立。

14.7　守恒来自条件，不来自积分符号的祝福

在振子模型中加入线性阻尼，方程成为m ẍ+b ẋ+kx=0，b>0。对同一个H求导，得到：

因此H(t)−H(0)=−∫₀ᵗb ẋ(s)²ds。整体能量变化由过程积分给出，先前的守恒不再成立。改变的是模型中的作用条件，不是积分运算突然失去可靠性。

这个计算有助于澄清“积分创造守恒”的含义。积分可以组织平衡关系，某些条件下这个关系成为守恒；它本身不会保证任何量永远不变。若有源项、耗散或边界通量，整体关系必须把它们保留下来。

同样，若恢复力来自势函数U，沿一维路径的作用功可以在适当条件下转成势能差。对第13章的模型，U(x)=kx²/2+βx⁴/4，其导数是维持位移所需的载荷P(x)。恢复作用为−U′(x)。这里的正负与角色必须保持，否则一个形式正确的积分会被赋予相反物理意义。

属性纠缠的研究可以追踪这些条件如何在具体系统中成立，而不能把“有整体”直接翻译成“有守恒”。整体可能以流入、流出和内部变化共同成立。更加完整的发生解释，应当能够容纳守恒与非守恒，而不是让其中一种成为预先规定的正确世界。

14.8　同样局部规则，为什么会有多个未来

考虑一个无量纲数学例子：ẋ=2√x，x≥0，初值x(0)=0。对任何τ≥0，都可以构造一条解：在0≤t≤τ时令x(t)=0，在t>τ时令x(t)=(t−τ)²。

逐段检查即可发现，两段都满足方程，在连接时刻导数也衔接为零。于是，同一个初值对应许多不同解：它们可以停留任意一段时间，再开始增长。这个例子中的右端在零点附近不满足保证通常局部唯一性的那种利普希茨条件。

它不证明现实物体能够凭意志决定何时启动，也不证明经典动力学普遍没有预测力。它准确说明的是：方程、初值与唯一性之间存在条件关系。仅仅写成“变化率由当前状态决定”，还不足以在所有函数形式下保证唯一未来。

从本书的桥梁看，积分重建整体必须检查存在性、唯一性与稳定依赖，而不能认为“已经有微分方程”就等于“世界已经被唯一规定”。不同模型的数学性质，需要具体分析。若经验过程需要唯一预测，而模型没有相应条件，就应重新审查模型或补充有效规定。

这项反例还使“选择”一词获得边界。数学上出现多个解，不等于已经存在一个现实的选择机制。要解释某个实际结果，仍需说明哪些构成关系使其发生。不能用解的不唯一直接证明主体性，也不能把尚未规定的分支当作任意创造的许可证。

14.9　边界可以少给、给足，也可以彼此冲突

看一个更简单的边值问题：在零到一的区间内，要求y″=0。一般解是y=Ax+B。若给定两端值y(0)=a、y(1)=b，就得到唯一的线性解y=a+(b−a)x。

若只给两端导数都为零，那么A=0，B却可以任意，整体仍不唯一。若要求y′(0)=1而y′(1)=2，则没有满足全部要求的解，因为y′在这个方程下必须恒定。边界资料不是给得越多越好，它们需要彼此相容，也需要与方程相容。

这个例子将“整体条件”从抽象背景变成可以检查的内容。局部规律允许什么，边界选择什么，二者能否共同成立，都有明确答案。任意一边都不能单方面决定全部结果。

在SDE解释中，本书把这种相容研究视为整体构成的重要接口。但必须保留一条边界：数学边界条件只是E分析中可能涉及的一部分规定，不等于完整的特征纠缠。它没有自动包含对象的识别、装置的制备、条件的形成与后续回写。数学可以准确处理其中已形式化的关系，发生学继续追踪这些关系怎样进入研究。

14.10　局部看起来可以积，整体却未必如此

现在把问题从一条线移到平面。考虑去掉原点的平面上一个无量纲向量场：

在每个不含原点的小邻域内，可以检查它的旋度为零。但是，沿单位圆作一周积分，参数化为x=cosθ、y=sinθ，代入后得到：

若在整个去心平面上存在单值势函数，其梯度等于F，沿闭合曲线的积分应为零；上式却不为零。所以，局部的条件并未在这个定义域上保证全局单值势。

这里没有发现一种新的实际力场。本例是数学构造，用来说明整体连接方式的重要性。局部微分检查、整体闭合路径与定义域拓扑，必须一起考虑。把局部关系逐点写全，并不等于已经解决全局组织。

这正是属性纠缠与微积分之间一个很有内容的桥梁：整体不能被理解为未经条件审查的局部相加。哪些局部能够共同组成单值整体，需要额外的相容结构。但是，这个数学结论仍不能直接证明所有物理属性都具有某种特定纠缠机制。它提供的是一项严格的限制，使本体论解释不得把整体组织说得过于轻易。

14.11　路径依赖不是旧科学的意外漏洞

上一节已经说明，闭合路径本身可以携带不能由端点抹掉的信息。对于有历史依赖的响应，问题也可能表现为：相同当前位移对应不同作用值。此时，若仍坚持用一个单值函数P(x)描述全部过程，就可能混合不同状态。

一个合理处理是明确增加足以辨认状态的变量，或者将过程分支及转换条件写出来。随后，积分沿实际路径计算，而不是假定只要端点相同，所有过程贡献就自动相消。新的变量是否足够，要由独立过程检验；不能无限增添隐含状态，使模型永远免于失败。

本书在此反对两种极端。一种认为只要出现路径依赖，就证明此前全部物理都是错误的；另一种认为只要可以形式上增加一个变量，便不需要讨论对象规定如何改变。前者抹掉了既有理论的丰富性，后者则可能忽视新增状态对物的身份与操作产生的实际改变。

发生学的工作，是研究这种改变究竟到哪一层。它可能只是同一模型中的参数更新，也可能需要新的状态空间、新的实验单位与新的公共承接方式。积分帮助我们把过程后果组织起来，属性纠缠论则追问这些过程何以共同构成当前的物。

14.12　记忆也可以被积分组织，而不必被积分抹掉

积分不只从当前局部规律重建轨道，也可以把历史如何进入当前状态写清。为此设置一个简化响应模型：P=kx+z，内部状态满足ż=−z/τ+ηẋ，其中τ>0，η为正常量，所有参数量纲与相应变量一致。这个模型是本书用于逻辑分析的构造，并非某种材料的实测定律。

用积分因子求解，得到：

当前状态于是包含过去变化率的加权积分。距离当前越远的变化，在这个特定模型中权重越小；这来自所设方程的指数核，不应被说成所有记忆都天然如此。不同的实际机制可能需要不同模型。

现在比较两条连续加载路径。两者都从零位移开始，并在时刻t₀>0达到相同终值X>0；初始z均为零。第一条路径以恒定速度v=X/t₀加载；第二条在前半段保持零位移，后半段以2v加载。两条路径的终点相同，经历不同。

由上式计算，第一条路径在t₀的内部状态为ηvτ[1−exp(−t₀/τ)]；第二条为2ηvτ[1−exp(−t₀/(2τ))]。令r=exp[−t₀/(2τ)]，二者差值可以化成：

因此，同样最终位移对应不同当前载荷。差别不是读数错误，而是这个模型所预告的路径后果。若研究者只用P(x)拟合，就会把同一x下的不同P视为散布；加入有明确动力规定的z以后，散布取得了可计算的组织。

但是，这并不证明凡有历史便永不稳定。若两条路径到达X后都保持不动，ẋ归零，z便按指数衰减，P趋向同一个kX。路径差异可以在有限时间内真实存在，又在后续条件下逐渐减弱。稳定与历史依赖在同一模型中并存，不能被拆成两种互不相容的本体立场。

这个例子为属性纠缠提供一项正面的数学接口。D中的加载差异经具体承接形成当前状态，当前状态参与S的响应规定；E的分析则追问这种承接关系怎样由材料、装置和模型条件获得支持。我们并不把τ直接等同于全部E，也不把积分核宣布为三属性纠缠的唯一数学形式。

真正的研究将继续追问：这个内部状态能否被独立约束，指数衰减是否与新资料相容，改变路径是否出现预告的差别，哪些模型可以与它竞争。只要这些问题仍然开放，积分记忆模型就不是一个万能解释，而是一个能够提出有限承诺的研究原型。

它还让“属性是历史函数”取得可检验的含义。历史不再是一团无法处理的背景，而是通过某种有明确后果的组织进入当前。属性纠缠论不需要反对数学封装；它需要区分有根据的历史压缩与未经检查的历史抹除。积分可以服务前者，不能被一概描写成后者。

最后，若模型在不同装置中失败，可能需要修改核函数、状态维数或变量划分。哪种修改成立，必须返回资料，而不能以“真实纠缠太复杂”为由永远保护原式。一个能够认真失败的积分模型，比一个解释所有结果却无法失效的整体宣言，更接近本书所说的创造。

14.13　从一条解到一个物理世界，还差什么

至此，我们已经求出了运动，辨认了守恒，展示了不唯一与全局障碍。数学成果丰富，却不能直接宣布一个实际物理世界已经完全建立。仍需要变量与操作之间的对应，需要参数的独立来源，需要成立范围，也需要面对与模型不相容的资料。

在落体模型中，线性阻力是一项物理假设；在振子中，回复关系与质量取值受到模型限制；在去心平面例子中，向量场只是一项数学构造。这些不同地位必须保留。它们都能启发发生学，却不是同一种经验支持。

不同积分常数也不必一律代表不同物理世界。例如势函数U与U加一个常数，给出相同的导数，因此在只由其梯度决定作用的模型中，不改变相应作用关系。相反，振子初始振幅的改变，会改变当前模型中的运动与能量。数学解族里的自由参数，哪些只是表示选择，哪些代表可区分物理状态，需要通过操作含义来辨认。

这使非唯一性分析更精确了。我们既不能忽略缺失条件，也不能把所有数学差异都当作新增物理存在。先建立哪些表示彼此等价，再讨论哪些差异具有经验后果，才能从解空间走到物理状态空间。一个模型在数学上有多种写法，可能在物理上对应同一关系；一个数值相同的记录，也可能背后有不同状态。两种方向都需要研究。

由此可见，本体论桥梁不是在数学差异上贴上存在标签，而是辨认差异怎样取得物理资格。这一资格来自变量、操作与约束的共同规定，不能仅由公式数量或解的数量决定。

《科学是什么？》要求符号、逻辑与数学共同进入实体科学。[5，第19—22章]本书据此把整体解视为一个关键环节，而不是全部科学。符号明确所指，逻辑组织承诺与反驳，数学形成局部与整体约束；独立实验则检验这些约束怎样在实际发生中被实现。

这也使“数学创造物理世界”获得准确含义。它不是数学在纸上宣布，物质便依令出现；也不是数学只在物理完成后提供计算。数学参与规定什么可以作为状态、什么变化可被比较、什么整体能够成立，而这些规定必须与实验、操作和对象身份共同发生。

14.14　积分的创造性，在于组织有约束的整体

积分最令人惊叹的地方，不是把无数小东西神奇地堆成大东西，而是使局部规律、初始条件、边界结构与全局相容形成可以检查的整体。它允许我们预测未逐点观察的过程，也允许我们清楚指出哪些条件不足以支持唯一结论。

对本书而言，这种能力直接扩展了“物”的规定。一个运动系统不只由此刻位置成位，还可以由允许的整体轨道、可保持的关系以及跨条件的变化方式获得身份。一个物理系统的整体，不再只是日常感觉给出的外壳，也可以是经严格重建而成立的运行组织。

但整体不是终点。新轨道会提出新测量，新守恒会要求检查新的边界，新失败会暴露原来的状态不足。积分所得的S可以重新组织D，也可以要求重建E；这项回写需要实际研究承接，而不能只在图上画一个返回箭头。

接下来，整体将不再只是一个物体随时间的运动。空间中的每一处都可能具有状态，邻近处的变化又互相进入。波、热与连续体将使“局部—整体”的问题获得新的规模，也让微积分参与物理世界创造的力量进一步展开。