第四十二章 薛定谔波动力学：波函数是怎样的“物”
一、从看不见的轨道转向不能照搬的波
上一章的矩阵力学已经表明，电子的物理规定不必全部寄托于一条经典轨道。但是，把轨道撤走之后，读者仍可能感到空落：一张张数组怎样成为运动的描述？当薛定谔把波动方程带入原子研究，熟悉的波形似乎又把直观世界带了回来。绳子的驻波、乐器的泛音、水面的干涉，都可以帮助人们想象新的理论。然而，最有帮助的类比，也可能成为最顽固的误解来源。
波函数写成空间和时间的函数，绝不等于它就是某种肉眼无法看见的水波。水波涉及水面位移、流速和密度等物理量，电磁波有电磁场的规定；量子态的波函数则必须由它在整个理论中的职能来辨认。我们不能先把“波”认作一种现成物质，再把量子对象放进这类物质的口袋。要问的是：波函数允许哪些运算，怎样演化，怎样与实验结果连接，以及哪些不同写法实际上代表同一状态。
薛定谔一九二六年的《量子化作为本征值问题》系列工作，把原子允许能量与微分方程的本征值联系起来。[1]这一历史事实已经提示一个根本变化：允许能量可以由整体解的条件产生，不必先给出经典轨道，再从外面附加一套筛选规则。本章不把现代教材的全部解释倒写进最初论文，也不把一套后来成熟的语言当作某个清晨同时发生的成品。
我们将从一个具体疑问进入：同样是求解微分方程，为什么有些解能够成为物理状态，另一些不能？这个疑问把方程、边界、归一化、相位和演化连接起来，也把波函数的身份从一幅静态图像推进为一套可共同工作的规定。按照本书的主轴，新物理世界正是在这种规定系统的形成中被创造，而不是在某个词语被换成“波”时已经完成。
二、本征值不是给任意答案贴上的号码
先暂时不讨论波函数究竟代表什么，把一个简单计算完整做出来。设粒子被限制在长度为L的一维理想无限深势阱中，阱内势能取零，边界要求波函数在两端为零。在阱内，定态方程写为−ℏ²ψ″(x)/(2m)＝Wψ(x)。这里W代表能量，E仍保留为本书的特征纠缠记号。我们研究的是这一明确理想化模型，而不是声称自然界存在绝对无限高的真实墙壁。
若W为正，解可以写成正弦和余弦的组合。左端ψ(0)＝0排除余弦项，右端ψ(L)＝0进一步要求波数k满足kL＝nπ。非零解由此只在一系列能量上成立：Wₙ＝n²π²ℏ²/(2mL²)，n为正整数。若把n取零，正弦解整体变成零，不能表示归一化状态；若取负整数，只是把同一空间形状乘以负号，并没有增加新的能量。
这里的量子化不是在所有连续能量中人为挑选喜欢的数值。微分方程要求局部曲率与能量协调，两端边界又要求同一个解整体接合。两种要求联合施加，非零解才只能在特定能量上成立。这个推导给出了一个清晰的发生结构：局部规律与整体条件共同限定允许状态。只背诵能量公式，会把最重要的构成过程隐藏起来。
同样重要的是，不应由这个例子推出所有量子能量都离散。若把粒子放在整个空间中，改变边界与束缚条件，能谱可以包含连续部分；某些系统则同时具有离散谱和连续谱。离散性不是“量子”一词随身携带的一枚徽章，它必须在给定算符、定义域和条件下被求出来。一个理论有价值，恰在于能够说明何时离散、何时连续，以及两者如何联系。
这也改变了“物”的边界含义。在日常图像里，墙壁只是围住一个已经有完整运动规律的物；在此模型中，边界参与规定允许状态本身。改变L，能级整体变化，尽管质量m和方程内部的形式没有改变。边界并未凭空创造粒子，却进入了该粒子在此系统中能够具有怎样能量的构成条件。这是关系进入物理身份的一个可以复算的例子。
三、归一化如何把数学解变成可用的状态表示
刚才得到的正弦解还带有一个任意常数C。如果ψ满足线性齐次方程，Cψ也满足。因此，单凭微分方程并不能决定这个整体尺度。采用后来成熟的概率解释，必须要求整个允许区域内的概率为一，即∫|ψ(x)|²dx＝1。在阱内，这使归一化定态成为ψₙ(x)＝√(2/L)sin(nπx/L)。积分区间是零到L，平方根系数来自正弦平方积分等于L/2。
归一化并不是把自然界调整成总数为一，而是把状态的表达与概率规则接合起来。它说明一个数学解要参与预测，必须在表达尺度与实验含义之间取得约定明确的对应。若只保留曲线形状，忘记其量纲与归一条件，便无法从一段区域的积分得到正确概率。对一维位置波函数，归一化还要求它具有长度负二分之一次方的量纲；这与水面位移的长度量纲根本不同。
这时也会出现一个看似悖论的问题：自由粒子的平面波在无限空间里不能按普通积分归一到一，难道自由粒子不存在？正确处理并不是丢掉积分条件，而是区分理想化的广义本征态与实际可归一化的波包。平面波可以作为展开工具，有限宽度的动量分布可以叠加成波包。不同数学对象的使用条件必须说清，不能让一个理想极限冒充已经制备出的正常状态。
归一化还让我们看到，波函数的某些差异并非物理差异。把ψ整体乘以一个模为一的常数相位，所有只依赖同一纯态的概率预测保持不变。在通常的纯态表述中，这些向量代表同一条射线。这里并不是说所有相位都无意义；整体相位与不同分量之间的相对相位具有不同地位。先分清什么差异可以被消去，才能知道什么差异必须保留。
从发生学角度看，状态身份因此包含一种筛选：不是数学表达式每出现一个不同符号，就产生一个新的物理世界；也不是所有看起来相似的曲线都可以当作相同状态。我们需要由可执行操作和预测结果来检验哪些表达差异保留下来。这种筛选具有客观约束，却必须通过计算与实验的互动才能具体成立。数学形式与物理身份之间，需要一条可追问的通道。
四、同样的密度，不一定是同样的状态
考虑两个归一化波函数，它们在每个位置具有相同的模，但相位随位置变化的方式不同。它们在同一时刻的位置概率密度相同，却可能具有不同的动量分布和后续演化。为避免只有口头描述，可以设ψ₂(x)＝exp(ik₀x)ψ₁(x)。在适当的光滑性和衰减条件下，用p＝−iℏ∂/∂x计算，第二个态的平均动量比第一个增加ℏk₀。
这个差别很容易验证：对乘积求导，导数既作用在原波函数上，也作用在额外相位因子上。后一个贡献正好给出ℏk₀。只画|ψ|²的两张图，看不出这一变化；但让两态演化或测量其动量，结果就能够不同。因而波函数不能被简化为一团“电子有多少”的空间浓淡图。概率密度保留了重要内容，却没有保留全部状态规定。
再考虑两个正交态φ₁与φ₂的等权叠加。ψ₊＝(φ₁＋φ₂)/√2与ψ₋＝(φ₁−φ₂)/√2，在测量这两个基态对应的投影时都各有一半概率；若改用包含两者叠加的测量基，则可以把它们区分。这个小模型说明，“得到同一组频数”永远需要补问：在哪一种测量安排下？一个测量的相同，并不能保证所有测量的相同。
这也是本书研究“显露”的一条纪律。显露不是没有条件的总画像，而是在具体差异运行与特征纠缠中取得规定的结果。如果两个态在一次观察中相同，不能立即把它们在所有可能操作中的差别删除。反过来，如果一个相位变化在给定理论允许的全部操作中都没有可辨结果，也不应靠想象为它制造物理差别。可辨与不可辨都需要论证。
这里尚不必把不同量子解释提前裁决。把波函数理解为实在的状态、预测结构或有关制备的信息，各有额外承诺；但它们都不能忽略相对相位带来的可检验差别。本章要保住的是这一共同约束。发生学分析的力量不来自宣布某个词已经终结争论，而来自把争论者都必须面对的具体关系列清，让不同解释在相同压力下展示自己的解释能力。
五、演化是怎样保留整体规范的
含时薛定谔方程采用现代记号写为iℏ∂ψ/∂t＝Hψ。对适当的自伴哈密顿算符，它把初态与后续状态关联起来，并在通常封闭系统的描述中保持态的范数。这里的“确定演化”指给定哈密顿算符、初态和相应数学条件后，态演化被确定；它不等于每次测量都只有一个预先给定的结果，也不意味着实际实验永远与环境隔绝。
范数保持可以通过求导看出。对⟨ψ|ψ⟩求时间导数，会出现一项由态矢导数贡献，另一项由其共轭导数贡献。当H自伴且有关运算成立时，这两项相消。因此归一化不是每隔一会儿由研究者手动重新涂改的数值，它与演化结构相容。若数值程序使封闭系统的总范数不断漂移，首先应检查离散算法和精度，而不是马上宣布概率守恒已经被自然推翻。
对无显式时间依赖的H，若φₙ是能量本征态，时间因子为exp(−iWₙt/ℏ)。于是ψₙ(x,t)＝φₙ(x)exp(−iWₙt/ℏ)，其位置密度不随时间改变。所谓定态，不表示波函数每个复数值都不变，而表示这类态在演化中只获得整体相位，相关静态概率分布保持。把“定态”误写成“电子完全静止”，会重新把波函数当作经典轨道照片。
若初态包含多个不同能量成分，各成分获得不同时间相位，相对相位便随时间改变；某些观测量的期望和分布也会随之变化。定态与叠加态因此提供两种不同的时间结构。变化不必来自某个小球沿着屏幕上的浓淡区域跑动，它可以由相对相位的演化产生。我们看见的是可预测的显露变化，解释必须忠于产生这些变化的数学关系。
对一维实势能模型，还可从方程推出连续性方程∂ρ/∂t＋∂j/∂x＝0，其中ρ＝|ψ|²，j＝(ℏ/m)Im(ψ*∂ψ/∂x)。它使密度变化与概率流相互协调。这一关系不是液体模型的充分证明；同一种连续性形式可以在不同理论里表示不同守恒内容。数学相似告诉我们可以借用某些分析工具，不替我们决定流动的究竟是哪一种物。
六、一个粒子的三维空间与许多粒子的配置空间
只看单粒子问题，人们很容易把波函数想成普通三维空间里的一种场。对于许多粒子，事情立即复杂起来。两个无自旋粒子的波函数一般依赖两个位置向量，即ψ(r₁,r₂,t)；更多粒子则需要更多坐标。这里的配置空间不是说日常空间突然增加了人可以走进去的方向，而是完整配置需要由多组坐标共同标识。
如果两个粒子的联合态可写为φ(r₁)χ(r₂)，它们具有一种特殊的可分结构；一般联合态却不能作这样的乘积分解。此时，仅给两个粒子各自一张普通三维浓淡图，并不能重建全部联合预测。关联结构丢失在哪里，可以通过联合分布与不同测量安排的比较来追查。不能因为难画，就把高维表达当作纯粹计算多余物；也不能因为它难画，就宣布高维空间必定是唯一真实空间。
一个有限维例子更加直观。把两个两态系统的联合态取为(|00⟩＋|11⟩)/√2，在零一基上，各系统单独看都是一半零、一半一；联合看却只得到零零或一一。单独概率没有告诉我们这种对应关系。若考虑另一种混合制备，也可能在这一基上得到相同联合频数，但换测量基后显示不同结果。因此，连一张联合概率表也未必包含完整量子态结构。
这个例子为本书的特征纠缠讨论提供启发，但仍须保持术语边界。量子纠缠有依赖张量积结构的精确定义；SDE的特征纠缠研究更广的规定怎样互相构成。我们可以研究量子态的特征怎样进入实验身份，却不能宣称两者仅凭名称便相互证明。跨层次解释需要指出具体映射，也需要允许映射失败。
波函数究竟是怎样的“物”，到这里已经不能靠一幅三维波峰图回答。它至少是一种受到归一化、相位等价、组合规则与演化要求共同约束的状态表示，并通过概率规则进入实验预测。如果提出更强的本体论主张，就必须说明它如何处理多体结构、表示变换和测量结果。形象的亲切程度不能代替这些论证。
七、矩阵与波函数为什么能够相遇
设某一物理量由算符A表示，在一组正交归一基{φₙ}中，它的矩阵元为Aₙₘ＝⟨φₙ|A|φₘ⟩。同一个态也可以写成这组基上的系数展开。这样，波函数中的算符作用便可转为系数上的矩阵作用。这个关系说明上一章与本章并不只是两种互相排斥的直观图像：在适当数学条件下，它们可以表达相同的状态与观测量结构。
需要注意这里的限定。基是否完备，算符定义在哪个空间，连续谱如何处理，都是实际工作的一部分。若只取有限多个基函数，得到的是截断近似，不能因此声称原来无限维问题的一切关系均被精确保留。特别是上一章指出的正则对易关系有限维障碍，会在这种处理中再次提醒我们：近似可用与数学等同不是同一判断。
为了看清表示变换，可以设换到另一组正交基，态系数和算符矩阵一起作相应变换。如果只变换态而把测量算符留在原来的坐标说明中，预测可能被错误地改变；若两者协调变换，物理概率保持。这就像变换坐标时必须同时调整对象分量与计算规则，但量子状态空间的结构又不能完全被普通空间旋转比喻替代。
从思想史角度看，这种相遇具有双重意义。它使波动力学提供的微分方程工具与矩阵力学的代数结构互相支持，也防止我们把某一种写法的直观外观直接等同于全部物理实在。同一规定可以拥有不同表达，并不意味着规定是空洞的；恰恰是那些跨表达保持的关系，让理论能够从一张纸上的计算变成共同体可以接续的工作对象。
本书所谓创造物理世界，并不要求每换一次表示便宣布世界重新诞生。表示变换若保留全部相关预测，属于同一结构的不同展开；若改变了允许状态、操作范围或可检验关系，则需要进一步判断是否形成新的规定系统。把这两个层级分开，才能避免让“创造”一词失去区分能力。
八、被经典禁区排除的解为什么还能延伸
有限势垒还提供一个具体机会，让读者看到波函数怎样改变物理可行性的边界。设某一区域的势能为V₀，而定态能量W小于V₀。在经典粒子图像中，如果只含这种势能和动能，动能W−V₀为负，因而该区域不允许经典轨道进入。波动方程却并不因此要求该区域的解恒为零，而给出指数增长与指数衰减的线性组合，特征尺度由κ＝√[2m(V₀−W)]/ℏ确定。
若势垒具有有限厚度，必须把左侧、垒内和右侧的解接续。对于有限且非奇异的势能跃变以及常质量模型，波函数及其一阶导数保持相应连续。满足这些条件的散射解可以在右侧留下非零透射流。对足够厚的势垒，透射率的主要厚度依赖含有exp(−2κa)这样的衰减因子；完整系数还取决于两侧与垒内的匹配，不能把这个近似因子当成任意势垒的精确答案。
这里没有必要说粒子临时借来能量，穿过去再还回去。对静态势垒的定态散射，总能量在方程里一直是同一个W。真正改变的是可允许状态的结构：经典轨道判定禁入的区域，并不等同于波函数必须为零的区域。把隧穿说成暂时违反能量守恒，会把新理论的规则误写成旧理论之外的一次作弊，反而掩盖创造发生在哪里。
这个例子也说明，波函数有多大与粒子被切成多少块不是同一个问题。透射概率和反射概率分别联系不同实验结果，概率流的守恒约束两者。在相同两侧势能和适当归一条件下，两者之和为一；若两侧速度不同，透射率还要包含相应的流速因子。正确比较需要概率流，而不能只看透射波振幅的平方就草率下结论。
九、微分方程的力量与条件的回归
波动力学使微积分再次处于物理创造的核心，但它同时拆掉了“有一个方程就有完整物理”的幻觉。方程需要变量的身份，解需要定义域与边界，状态需要归一化与相位规则，预测需要观测量与实验对应。这些不是在主要工作结束后随便补上的说明，而是让数学表达拥有物理效力的条件。
以无限深势阱为例，同一个阱内微分表达式，配不同的边界条件，可能对应不同的谱和不同的物理设置。研究者不能为了算出喜欢的答案，任意选择边界；必须说明边界怎样由实际约束的理想化取得。对有限势垒，隧穿和波函数延伸使简单的“墙边为零”近似发生变化。这时修正不是在原图外添加一个神奇例外，而是恢复先前被理想化省略的结构。
再考虑数值求解。网格间距过大可能抹去快速变化，区域截断过小可能把波包错误反射回来，时间步长不合适可能破坏稳定性。这些失败首先属于计算过程与目标问题不匹配。它们也有发生学意义，因为实际知识依赖这些过程；但不能把数值发散直接改名为自然界处于混沌，更不能据此推断普朗克常数本身在变化。
严格的研究必须做收敛检查：细化网格、扩大区域、改变算法以后，所关心的结果是否趋于稳定；同时还要做独立检验，确认收敛到的并不是一个错误模型的答案。数值稳定不等于物理正确，物理模型合理也不保证每一种程序都正确。这些差别构成一种分层判断能力，使波函数研究能够在复杂计算中继续保持可反驳性。
因而，新的方程并没有终止发生过程。它为新的制备、谱学、化学与材料研究开放空间，而每一种应用又会把新的边界与相互作用带进来。物理世界的扩大，不是把所有对象塞进同一条公式就告结束，而是让公式与具体对象之间建立越来越明确、越来越可以回检的连接。
十、改变边界之后，三维怎样互相改写
让我们把方法论放回一个尚未解决的实验问题：同样的阱宽扫描，实测能级没有完全遵循无限深势阱的平方反比关系。首先不能因不符合公式就宣布波动力学失败，也不能因为公式著名就把偏差一律归给仪器。需要比较至少三个候选：有效阱宽的标定有误，势垒并非无限高，或者单粒子近似遗漏了相互作用。它们要求不同的追加测量，能够在不同条件下给出不同的偏差形式。
采用S—D—E再创路径，研究由异常能谱S进入操作D的改变：重新标定几何尺寸，改变势垒高度，并在不同制备条件下重复测量。若宽度标定修正后异常消失，就不必为此重建全部理论；若偏差随势垒高度系统变化，则应把有限势垒纳入特征纠缠E。这个新结构不只是多写一个参数，它改变了波函数在边界附近的接续，继而改变允许能量。
这正体现S与D的张力推动E改变：显露稳定，而原操作与原模型的连接不能解释它，第三维就必须受审。随后沿E—D—S沉淀路径，由有限势垒结构组织新的求解和实验程序，产生可事前检验的谱线预测，再与原异常比较。若只在已经知道的数据上调节参数而无新检验，循环尚未完成。回检也可能否定刚刚提出的新结构，使研究再次改道。
三方程在这一过程里各有实际问题：S＝F(D,E)问新结构如何经实际制备显露；D＝G(S,E)问已有能谱与候选结构如何决定下一轮扫描；E＝H(S,D)问哪些边界或耦合关系必须重建。另两种张力同样可能接管工作：操作与候选结构不能相容时，要重新推求可成立的显露；显露与候选结构仍冲突时，要改进区分它们的操作。这些步骤不由方法名称保证成功，而由最终预测是否经受新证据决定。
十一、波函数问题留下的开放口
波动力学让我们看到，一种物理对象的身份可以通过解空间、允许操作与可检验结果取得稳定，而不必由日常形状先行保证。波函数既不是任意符号，也不能因为画成曲线就被认作普通流体。它的物理意义由一组相互约束的规则支撑，这些规则又必须在实际制备与测量中获得持续检验。
对实在论者而言，这可以意味着我们找到了更准确的实在结构；对工具主义者而言，这可以意味着我们拥有更强的预测工具。本书的发生学追问则是：什么新的特征组合和差异运行，使这一结构或工具能够成为实际物理世界的一部分？这一追问不以否认自然约束为代价，也不满足于把所有改变缩为观察者头脑中的印象。
本章从本征值走到归一化，从相位走到演化，再到配置空间与表示变换。每一步都让“波函数是什么”变得更加具体，同时限制了过早的本体断言。我们仍未回答某次测量为何出现这一结果而不是另一结果，也尚未解释概率规则怎样与单次事件相接。接下来，玻恩的统计解释与不确定性关系，将把这个尚未封闭的问题推向新的层面。
参考文献与核验入口
[1] Schrödinger, E. Quantisierung als Eigenwertproblem. Annalen der Physik 384 (1926):361–376. DOI:10.1002/andp.19263840404。出版方记录：https://onlinelibrary.wiley.com/doi/abs/10.1002/andp.19263840404 。核验范围为题名、年份、页码与原论文系列书目信息。 [2] Schrödinger, E. The Fundamental Idea of Wave Mechanics. Nobel Lecture, 12 December 1933. 官方入口：https://www.nobelprize.org/prizes/physics/1933/schrodinger/lecture/ 。仅据题名及历史定位列入；正文数学论证为本书自行展开的现代记号分析。 [3] University of Zurich, Erwin Schrödinger—Nobel Prize in Physics 1933. https://www.uzh.ch/en/researchinnovation/excellence/nobelprize/schroedinger.html 。用于1926年首篇工作与能级计算的机构历史核验。