第15章　从常微分到偏微分：数学如何创造波、场与连续体

15.1　一根弦，不能只用一个位置说明

把一根绷紧的弦轻轻拨开。若只记录弦中点的位置，当然可以得到一条随时间变化的曲线；但是，中点的运动不足以说明整根弦。不同位置可以在同一时刻向不同方向移动，端点的固定方式也会限制整体形状。

这时，研究对象从一个随时间变化的量，扩展成依赖位置与时间的函数u(x,t)。变量x标记弦上的位置，t标记时间，u表示相对于基准的横向位移。一个新的问题单位正在出现：不仅某个点怎样运动，还包括空间分布怎样共同变化。

欧拉关于弦振动的论文写于1748年，发表于1750年，属于这一问题发展的原始文献；傅里叶1822年的《热的解析理论》则将热传播与解析方法组织为系统研究。[12；13]下文不把现代方程逐字归给某一位作者，而通过明确的模型推导，展示这些历史方向所打开的数学与物理能力。

15.2　偏导数增加的，不只是一个符号

对u(x,t)，固定位置考察时间变化，得到uₜ；固定时刻考察空间变化，得到uₓ。两者对应不同的比较。前者记录同一位置怎样随时间运动，后者记录同一时刻邻近位置怎样不同。

这种区分依赖空间标记、时间比较和变量身份。若实验中追踪的是随材料移动的标记点，而数学中使用固定空间位置，两种变化率就不能未经转换视为相同。偏微分方程不是在普通导数上多加一个弯曲符号，而是要求我们把不同方向的差异组织清楚。

第一编讨论的同一性问题因此重新出现。什么叫同一位置，什么叫同一时刻，哪些读数构成同一空间分布，都需要规定。连续场不只是很多点的名字集合，而是这些点之间具有可比较、可接续关系的状态组织。

本书由此把场之物的创造与微积分联系起来：当空间分布及其邻近关系能够进入局部规律，物理对象便不再只能以一个整体位置来描述。不过，场的数学表达与任何具体场的物理存在仍须分开，写出u并不自动证明世界中有它。

15.3　从弦的一小段，推出波动方程

设弦的单位长度质量为μ，基准张力为正常量T₀，横向斜率足够小，暂时忽略张力随运动的变化和其他作用。取从x到x+Δx的一小段。在线性近似下，两端张力的横向分量之差，约为T₀乘以两端斜率之差。

这一小段的质量约为μΔx，横向加速度为uₜₜ。于是局部平衡给出μΔx uₜₜ≈T₀[uₓ(x+Δx,t)−uₓ(x,t)]。除以Δx并在模型允许的光滑条件下取极限，得到：

这个方程把两种差异连起来：空间弯曲关系与时间加速度共同受约束。传播速度c不是由弦上某一个孤立点独自携带的数字，而是在模型的张力与质量分布条件中取得规定。

但不能把推导中的近似藏掉。大幅运动、非均匀材料、显著耗散或张力变化，都可能要求改变方程。微分的极限步骤只有在既定模型中合法，不能通过“把小段取得足够小”自动消除全部物理近似。

这个推导是本书对局部构成的一个工作展示。它使模型角色明确：质量、连接、张力、位移与空间比较不是互不相关的清单，而共同支持一种允许的变化关系。哪些关系进入方程，可以检查；哪些没有进入，也可以明确提出。

15.4　整体解需要一整个初始形状

一个质点的二阶运动方程通常需要位置和速度初值。弦的波动方程则需要初始形状f(x)和初始速度分布g(x)。在无限直线的理想模型中，对足够光滑的初始资料，可写出：

令t=0，直接得到u(x,0)=f(x)；对时间求导后取t=0，得到uₜ(x,0)=g(x)。进一步求导可以检查波动方程。这个整体形式清楚地显示：当前位置的后续状态，与一定范围内的初始分布相联系。

新的整体不是由一个初始数字全部决定，而是由空间函数和传播关系共同组织。研究对象因此从单点状态走向具有内部差异的连续分布。数学的扩展同时改变需要怎样制备、测量和验证系统。

在SDE重构中，本书把这称为新的整体规定能力。它不意味着每个位置拥有私人意志，而是意味着各位置的状态不能在忽略邻近关系的情况下任意组合。局部与整体之间已经具有明确约束，不再只是“很多东西在一起”的日常集合。

15.5　端点一变，同一根弦的整体就不同

若弦的长度为L，两端固定，条件为u(0,t)=u(L,t)=0。一个简单模式可以写成：

其中n为正整数。代入可检查它满足方程和端点条件。这里的允许频率由局部传播关系与整体边界共同规定，不能只向某一小段弦索取。

若改为一端固定、另一端在相应线性模型下满足零横向斜率，则允许的波数改成(n+1/2)π/L，n从零开始。材料和基准传播速度可以不变，整体模式却改变。边界不是最后加在成品波上的装饰，而参与规定什么样的整体振动能够成立。

这提供了“新物”问题的一种具体形状。同一材料支撑不同模式，不等于材料消失；新的模式具有可区分的空间与时间规定，也不等于只换了名字。研究应当说明这些模式能否被激发、识别和迁移，以及它们在什么意义上构成新的操作对象。

从视觉上，位移分布可以被绘出；在实际研究中，还可以通过不同传感与转换形成记录。若把记录转成声音或图像，新的显示能够帮助辨认模式，但转换本身不是独立物理验证。视觉、听觉与触觉SDE的跨通道承接，仍需分清发生、显示与证据三个层次。

15.6　热传播：另一种局部关系，另一种整体时间

再设一个一维均匀杆的热模型。令Θ(x,t)为温度，C为常量体积热容，κ为常量热导率，横截面积A固定。采用局部热流Q=−κAΘₓ的构成假设。对一小段杆，内部能量变化率等于流入减流出，得到：

这里必须区分两项内容：能量平衡与热流的构成关系。平衡本身不自动决定热流如何依赖温度分布，后者需要物理根据。将两项共同组织，才得到当前热方程。

这与弦方程表面相似，都包含空间二阶导数；时间结构却不同。弦方程是二阶时间变化，热方程是一阶时间变化。在对应模型中，同样的空间正弦模式可以表现为振荡，也可以表现为指数衰减。数学形式不是彼此随意替换的标签，它们对整体时间作出不同承诺。

傅里叶的原著把热运动方程与不同几何区域中的传播分别展开。[13，第二章及后续传播问题]本书从这一原典组织获得的启发是：方程与区域不能割裂。一个共同局部形式，在不同边界与几何中需要不同整体解；整体构成不是局部规律的附注。

15.7　平均量保持，内部仍可以变化

在绝热端点的理想热模型中，Θₓ在两端为零。对整个杆积分，有：

这里相对于固定温度基准的热能表达保持，但内部温度分布可以继续变化。一个整体量不变，并不意味着各处没有发生；局部状态不断调整，也不意味着所有公共常量都失效。

若两端维持同一个温度Θ₀，令w=Θ−Θ₀，一个正弦模式则可以写成Aₙsin(nπx/L)exp[−χ(nπ/L)²t]。与波方程中的振荡模式比较，局部空间形式相近，时间后果却明确不同。这种差别可以进入模型检验。

这个例子有助于纠正“整体越纠缠，读数必然越散”的简单推论。相互耦合的局部可以支持稳定总量，也可以支持逐渐平滑的分布。究竟发生哪一种结构，要由方程、边界与实际条件说明，而不是由一个关于纠缠厚薄的比喻决定。

属性纠缠论在这里的积极任务，是解释这些稳定如何在共同发生中成立，以及为什么它们不能被还原成每个局部独自拥有同样数字。稳定与差异不是敌对阵营，它们可以在同一整体中相互规定。

15.8　从一条曲线到函数空间

当状态是一整个函数时，变化的对象也扩展了。研究者不只比较两个数字，而比较两个形状、两组初始分布或两种边界组织。此时，“很小的变化”必须进一步说明：是在最大偏差上小，在平均意义上小，还是在某种包含导数的意义上小？不同选择可能对应不同的模型问题。

这不是数学家的多余挑剔。一个尖锐但很窄的变化，可能在平均量上很小，在局部最大幅度上却很大。若研究目标与比较尺度不一致，所谓“初始条件几乎相同”就可能掩盖关键差别。

欧拉的弦振动原典所处的研究方向，以及傅里叶对不同初始分布的解析处理，提示我们：函数不只是某条公式的名字，也成为整体状态的承载形式。[12；13]这里不把关于一般函数的后世定理全部归给某一位早期作者，而强调问题对象发生了扩展。

从SDE角度，这意味着D的比较范围与E的结构组织一起改变。局部函数值仍然重要，但函数之间的差异及其可接续关系也进入研究。新的整体不是比旧整体更大的容器，而是具有不同构成规则的研究对象。

15.9　变分：整体条件怎样返回局部方程

对理想弦模型，考虑一个作用量形式：

让u发生一个小的允许变化u+εη，η在所指定的时空边界上为零。对ε求导并在零处取值，得到一阶变化∫∫(μuₜηₜ−T₀uₓηₓ)dxdt。分部积分并使用边界条件，变成：

若对所有允许的η一阶变化都为零，就得到波动方程。这展示了一种新的往返：整体泛函的驻定条件，可以返回局部方程；局部方程又使相应整体形式具有结构。

必须注意，驻定不自动等于最小，更不意味着弦会预先知道未来并选择道德上最好的路径。这里的“允许变化”是一种数学比较，不应与SDE的D维度直接等同。它可以为差异研究提供具体形式，却不包含全部发生过程。

同时，变分式为何适用于某个实际系统，不能仅由分部积分证明。其组成、边界和物理解释需要独立支持。数学往返越严密，越应该清楚区分形式等价与经验根据，而不是让漂亮的整体表达使这一区分消失。

15.10　数值发散，有时是算法在说话

现代计算把偏微分方程转成有限网格上的更新。为了说明数值结果与物理模型的区别，考虑热方程的一个显式离散形式：

在无限或周期网格上，取一种交错空间模式Uⱼ=(-1)ʲ。一次更新后，它被乘以1−4r。若r大于二分之一，这个因子的绝对值大于一，模式会在反复更新中放大。物理热模型中相应高频模式趋于衰减，数值程序却可以产生增长。

这个反例由更新式直接推导，不依赖某台计算机的实测故障。它说明，当模拟发散时，首先需要检查离散方法与步长条件，不能立即宣布发现新的物理不稳定，更不能直接把它当作某种本体论猜想的证据。

当零到二分之一之间的r使更新成为邻近值的非负加权平均时，还可以在适当边界条件下理解其保持数值范围的作用。这种数理约束帮助研究者区分模型、算法与实现三个层次。计算不是透明通道，它有自己的可检查构成。

因此，新的物理世界可以通过计算获得研究能力，但并非每一幅模拟图都代表一个实际物理存在。模型形式、数值近似、初始资料和独立验证必须共同说明。SDE分析若忽略算法层，反而会把一个新的中介错误地当成透明观看。

15.11　同一个波动整体，也能携带一个守恒量

波的空间分布不断变化，仍可以在适当条件下具有稳定的整体能量。对前面的理想弦，定义：

对时间求导，使用波动方程，再对空间分部积分，可以得到能量的变化率只剩边界通量项。两端固定时，端点速度为零，这个项消失，所以整体能量保持。这里的花体能量记号，不是SDE的特征纠缠维度。

这个推导有三层共同承担结果。局部方程将空间曲率与加速度联系，积分把局部贡献组织为总量，边界条件决定是否有相应通量穿过系统。缺少其中一层，不能仅凭“波是整体”就宣布守恒。

若端点由外部驱动，边界项可以不为零，整体能量便能够改变。并不是原来的推导突然失去数学正确性，而是曾经使边界项消失的构成条件已经改变。对物理研究来说，识别系统边界及其作用，正是区分封闭近似与开放发生的关键工作。

这个结果也帮助我们分清三种不同的整体。空间积分形成一个总量；场函数描述各处状态的组织；边值问题规定允许的整体模式。三者相互联系，却不是同一个对象。若把它们都简称为“积分后的整体”，就会丢掉新物理系统内部已经形成的层级。

本书因此不把积分看成只能把差异抹平的平均机器。积分也可以准确保存通量、作用和能量之间的关系，使局部差异在整体中获得新的限制。失去差异往往不是积分本身的罪，而是研究者在选择变量、区域或解释时作了未经检查的省略。

对属性纠缠的讨论而言，最重要的不是宣布守恒或变动哪一种更先进，而是说明它们怎样共同出现。一个场可以在局部持续变化，在整体满足守恒；一个总量也可以因边界发生改变而变化。这样的分层，比“经典静止、现代流动”的对立更能够进入真实的物理数学。

15.12　波与场，怎样改变个体的边界

在质点模型中，我们容易用一个位置和速度表示一个物体；在连续体中，一个系统的状态可能是一组函数，某个稳定模式又可以在这些函数中成位。这种变化使物体边界不再只由日常可触外壳规定。

同一根弦可以支持不同模式，一种模式可以在不同具体装置中获得相应实现。由此可以形成新的问题：模式的身份依靠什么保持？更换材料、长度或端点之后，它是同一种模式的变换，还是另一个研究对象？这些问题不能只靠视觉形状相似回答。

本书据此把连续体与模式视为物理世界创造的重要环节。数学使空间差异与整体约束成为可计算对象，实验与操作则使相应规定能够被实现、比较和迁移。新物的发生不是从公式直接跳到存在，而是在这些关系的共同组织中获得内容。

同时，场不能因为在这里是物理术语，就被等同于SDE九宫中的所有场模态；数学函数也不能因为依赖空间，就自动成为完整E。相同词语在不同理论层级中具有不同责任。建立桥梁，需要说明连接，而不是依靠名称相同省掉连接。

15.13　两编之间的桥梁终于落在具体工作上

第一编问：物怎样成位，属性怎样共同发生，什么足以支持新物的判断。第三编现在给出了一组具体数学工作：建立可比较变量，定义局部变化，求解整体关系，检查初值与边界，辨认全局相容，再安排独立检验。

这些工作不是SDE真实发生的固定时间流水线。研究可以从既成整体返回局部，也可以从异常差异重建变量，还可以从新的装置关系产生原型。六路径为这种多入口提供组织；三方程要求三维互相说明；三原理则帮助定位为什么必须改变原来的一项规定。[2，第3章]

微积分在其中不是附属计算器。它能够改变哪些差异成为变量、哪些关系被认为相容、哪些整体可以被构造、哪些新结果能够被预告。但它也不是独立的造物者。变量的物理身份、模型的经验根据、装置的可执行性与判断的公共性，需要在同一研究中共同成立。

本书由此提出一个中心连接命题：微积分参与物理世界的创造，是通过重组局部差异与整体约束，进入物、物体、物质与物理的共同发生；这种参与既包含严格演算，也包含演算不能自行替代的对象构成与经验检验。

15.14　不是用数学装饰本体论，也不是用本体论取消数学

如果只把S、D、E写在波动方程旁边，理论桥梁并未建立。如果只说积分体现整体、微分体现差异，也仍然停留在词语相似。两编真正需要承担的，是在每一个模型中辨认构成选择、给出数学推导，并允许独立材料改变原来的解释。

弦的边界使模式得到规定，热的通量使总量得到平衡，变分条件使整体与局部相互转换，数值稳定性使计算结果获得可检查范围。这些具体关系，比一个无所不包的比喻更能展示属性纠缠论的研究能力。

在接下来的物理学思想史中，牛顿的运动物体、法拉第与麦克斯韦的场、相对论的时空规定和量子理论的状态组织，都将面对同样的责任：展示新的物理系统怎样发生，而不是仅仅宣布某种哲学已经胜利。

这两编也为后续历史保留了一条可实际使用的比较尺度：某位物理学家究竟重新规定了变量、局部律、整体条件还是跨系统的转换？新增内容怎样进入独立验证，又怎样改变已有物的身份？不同创造可以有不同答案，不必被迫排列成单调增加某一号位的历史。

物理学的创造，因而既有大胆的一面，也有受约束的一面。大胆使原来的对象边界可以重新打开，约束使新的边界不由任意想象决定。属性纠缠与微积分的桥梁，就建立在这两种力量不能彼此分离的地方。

第一编与第三编参考资料

以下资料分为五部理论底本、补充理论材料与物理数学原典。引注中的章号指向底本网页的章节，不对应本稿页码。网页核对日期为2026年10月16日。本稿所列思想案例、数学反例和模型计算，除明确注明原典来源者外，均为本次写作的说明性构造，不是实测数据。

五部理论底本

[1] 王德生：《属性纠缠论——实体属性发生学导论》，德麦国际专著第396号。重点参读第15章的属性发生组织式与发生层／意识层区分，第24—25章的聚合、物体／物质／物理分析，第七编的三属性纠缠及相应方法论论述。网址：https://sdeuniverses.com/books/m/396/text/。

[2] 王德生：《属性纠缠与科研新典范——从不收敛病理学到科学发生学》，德麦国际专著第379卷，统稿版v1.1。重点参读第3章“三方程六路径三原理的联合方法”、第6—10章的物理学分析、第11—15章的读数事件、测量封装、不收敛及模型比较。网址：https://sdeuniverses.com/books/m/379/text/。本轮另核对网站源文件中的第3章正文。

[3] 王德生：《科学发生的结构——超越库恩》，德麦国际专著第342号。重点参读科学典范三组合（Function，D，E）、三方程与三组合的区别、典范碰撞与再生相关论述。网址：https://sdeuniverses.com/books/m/342/text/。

[4] 王德生：《科学与微积分——差异、整体与文明的数理内核》，SDEUniverses专题长文。重点参读第3—8章关于微积分前史、牛顿与莱布尼茨、微分表征、积分重构和科学循环的论述。网址：https://sdeuniverses.com/column/science-and-calculus/。该底本采用较早的SIO／ΔSIO表述；本稿与现行SDE的连接属于明确标出的再阐释，不作机械符号替换。

[5] 王德生：《科学是什么？》，德麦国际专著第231号。重点参读第19—22章的符号、逻辑、数学与实体科学建构，尤其第21章“微分—积分—再微分”的方法论循环。网址：https://sdeuniverses.com/books/m/231/text/。

补充理论材料

[6] 王德生：《何谓物》，SDEUniverses专题文章。用于第1章视觉、听觉、触觉SDE特征纠缠聚合体的理论入口。网址：https://sdeuniverses.com/column/what-is-a-thing/。

[7] 王德生与ChatSDE智能体WDS：《与WDS的对话》，2026年10月16日08:08导出，用户提供文件《物理学思想简史.pdf》，153页、51轮。重点使用第150—153页对“记账”比喻的修正及物／物体／物理发生系统的研究命题；较早的不收敛、量子测量与科学史强断言，作为待检验研究材料而非已证史实。原文件须与本稿一并保留，以追踪理论修订。

物理数学原典与计量资料

[8] Isaac Newton, “The October 1666 Tract on Fluxions.” Cambridge University Library, MS Add. 3958.3, ff.48v–63v. 本稿核对Newton Project规范转录本，尤其命题7—8，分别讨论量的关系与速率关系、由速率关系返回量的关系。网址：https://www.newtonproject.ox.ac.uk/view/texts/normalized/NATP00100。正文的圆周约束和初值演算采用现代记号，不是手稿逐字翻译。

[9] Gottfried Wilhelm Leibniz, “Nova methodus pro maximis et minimis…”, Acta Eruditorum, October 1684. 本稿核对第467页折射段的英译节选“Leibniz on Refraction”，Stony Brook University页面，译文改编自D. J. Struik编《A Source Book in Mathematics, 1200–1800》。网址：https://www.math.stonybrook.edu/~tony/archive/336s20/documents/Leibniz-translation.html。正文另以现代变量独立重推加权折线路径，不照抄节选页面的排印公式。本轮未将全部莱布尼茨手稿或优先权争论作为已经核读完毕的材料。

[10] Archimedes, Geometrical Solutions Derived from Mechanics: A Treatise of Archimedes. J. L. Heiberg德译；Lydia G. Robinson由德文译为英文；David Eugene Smith撰引言。Chicago: Open Court Publishing Company, 1909. 本稿使用阿基米德致埃拉托色尼的开篇方法说明，区分机械启发与几何证明。Project Gutenberg版本：https://www.gutenberg.org/ebooks/7825。

[11] Bureau International des Poids et Mesures, The International System of Units (SI), 9th edition，官方在线版本。用于量、数值、单位以及定义与具体实现的区分。网址：https://www.bipm.org/en/measurement-units；手册：https://www.bipm.org/documents/20126/41483022/SI-Brochure-9-EN.pdf。

[12] Leonhard Euler, “Sur la vibration des cordes,” Mémoires de l’Académie des Sciences de Berlin, vol.4, pp.69–85，1750；写于1748年，Eneström编号E140。Euler Archive文献记录：https://scholarlycommons.pacific.edu/euler-works/140/。本稿使用原始论文的题名、年代与研究对象定位；现代波动方程的模型推导在正文中独立给出。

[13] Joseph Fourier, Théorie analytique de la chaleur. Paris: Firmin Didot, 1822. 用于热运动方程与不同几何区域的整体传播问题之原典定位；本稿的现代热方程和模态计算为独立说明。影印／转录入口：https://fr.wikisource.org/wiki/Livre:Fourier_-_Théorie_analytique_de_la_chaleur,_1822.djvu。