空间场怎样得到有效波动方程？

01为什么先选择传播通道

伴随场由运动核心与周围空间的共同响应产生。要从这种响应得到能够跨越孔径、累积传播相位的物质波，首先需要一种可延展的场模式：局域核心的某个内部振动，即使具有确定频率，也不自动成为在周围空间传播的波。第五章因此先提出谱条件，再讨论波动方程怎样化为慢变包络方程。

所谓“有隙”，是指波数趋于零时，该传播支仍有非零本征角频率 $\omega_0$。设 $a$ 标记所选通道，$\mathbf k$ 为波矢，$a_0$ 为微观长度尺度，$B_{ij}$ 为实对称正定的无量纲传播矩阵。长波区域的谱写成

$B$ 描述不同方向的梯度代价。最终书稿式 (5.1.22) 直接定义所选二阶连续有隙支，不在该式末尾另加余项。这里保留三个层级：FCC 完整格点色散式 (5.1.11)、$ka_0\ll1$ 下的长波连续展开、以及对这个已采用有隙通道再作的慢包络近似。格点高梯度修正属于第一个过渡，超出长波范围时应恢复；不能将连续支内的精确等式写成整个布里渊区的精确谱。这个有隙支是需要完整核心—场作用量支持的构成性谱输入，局域束缚振子本身不能代替它；下文的包络推导也不要求某一 FCC 实现已经给出完整粒子模型。

在所选支成立的前提下，以 $\Phi^{(+)}$ 表示正频通道，以 $S^{(+)}$ 表示该通道上的源。第五章采用以下二阶有效方程：

这里 $c$ 是特征传播速度，$V$ 具有能量量纲，通过 $2\omega_0V/\hbar$ 作为弱标量频率平方调制进入方程，并满足 $|V|\ll\hbar\omega_0$。这是一项明确的有效构成输入；一般电磁标势、矢势的规范耦合须另行建立。当前区域的 $\omega_0$ 及场归一化取常数。若 $B$ 缓慢随位置变化，空间项必须保持 $\partial_i(B_{ij}\partial_j)$ 的散度形式，而不能随意把 $B$ 提到导数外。

二阶时间导数保留快速振动与传播前沿。下面的工作，是在这个已经声明输入的通道内提取慢尺度演化；它没有把 Schrödinger 方程预先设为空间动力学的基本方程。

02把快速载波与慢变包络分开

场在本征频率附近快速振荡，而其振幅和相位可以缓慢变化。把快速部分提出，可以让方程直接描述实验中较长时间尺度的波包变化。依照书稿，本页采用静止载波，空间载波波矢为 $\mathbf k_0=0$：

$\Psi(\mathbf r,t)$ 是复包络，$S_0$ 是源在同一载波下的包络，实际实场由实部给出。若 $\Psi=Q_1+iQ_2$，则

$Q_1,Q_2$ 是两个正交的实相位分量；使用复数是在同时记录它们，并未改变真实场的实值性质，也没有在此定义探测概率。若选取带空间相位的载波，或改用共动坐标，代入后会有相应的一阶空间或对流项；它们不属于当前静止载波的化简。

先完整计算时间导数，而不立即作近似。由乘积求导，书稿式 (5.1.32) 给出

把它代回二阶通道方程，载波产生的 $-\omega_0^2\Psi$ 与原方程的 $+\omega_0^2\Psi$ 精确相消。除去共同的载波因子，剩下

这一式仍保留 $\partial_t^2\Psi$，因而是给定通道内的精确重写。包络包含快速变化时，可以继续使用它；将二阶时间项删除才是下一步真正的近似。

03慢变条件与质量匹配怎样进入方程

设 $\Omega$ 是相对于载波的包络角频率，而不是原场总频率。对于频谱集中在 $|\Omega|\ll\omega_0$ 的包络，二阶慢时间项相对于一阶载波交叉项较小。同时，低波数、连续长波和弱背景要求一起成立：

这些条件承担不同任务。慢频率允许在领先阶舍弃 $\partial_t^2\Psi$；低波数使所考察的频率靠近有隙支底部；$ka_0\ll1$ 控制微观高梯度项；弱 $V$ 避免背景调制破坏所选载波尺度。应按频谱或适当范数检查它们，不能在包络节点处以除以 $|\Psi|$ 的方式作局部判断。初值和边界制备还须避免显著激发未保留的快支，否则应回到二阶方程处理初始层或边界层。

与这些小参数分开，$\hbar\omega_0=m_0c^2$ 是核心本征能量与通道频率的匹配。它使梯度项系数 $\hbar c^2/(2\omega_0)$ 可以写为 $\hbar^2/(2m_0)$。这一步不是求导自动产生的，而是将通道的静止频率与物质质量联系起来的物理输入。

在精确余项式中舍弃二阶慢时间导数，再将等式乘以 $-\hbar/(2\omega_0)$ 并移项，就得到

源项 $S_{\rm Sch}$ 的负号来自这次代数变换。取各向同性 $B=I$ 且无显式源，便得到通常的标量 Schrödinger 形式；保留一般 $B$ 时，方向性仍在梯度算符内。所得方程描述的是有隙空间场的低频包络，不是对其上游谱、稳定核心或质量匹配的反向证明。

静止周期 $\tau=2\pi/\omega_0$ 还提醒我们区分 $h$ 与 $\hbar$：匹配能量为 $E_0=m_0c^2$ 时，有 $E_0\tau=h$ 和 $E_0/\omega_0=\hbar$。非线性周期构型应计算自身的轨道作用量，再检验这项单激发匹配。物质波页进一步说明它怎样联系总机械动量与相位。

04保留的项怎样与截断误差比较

一个近似方程应说明自己舍弃了什么。对于均匀、无源、各向同性且 $V=0$ 的通道，完整正频色散是 $\omega=\sqrt{\omega_0^2+c^2k^2}$。减去载波频率后，$\Omega=\omega-\omega_0$ 才是包络的慢频率。令 $z=ck/\omega_0$，得到现有公式登记中的 Taylor 检查：

慢变方程保留 $z^2/2$，完整色散的下一个修正为 $-z^4/8$。因此随着波数增大，忽略二阶慢时间导数的误差也逐渐显现。下面的交互图比较的正是这两个已声明模型中的频率，而不是完整 ASD 理论的一项新增高能预言。

这个检验限于上述均匀通道。一般势场、快速制备、边界层、模间耦合和微观高梯度谱，需要分别控制误差，不能由一张均匀色散图替代。有效 Schrödinger 传播核具有非零的远距离尾部；突然改变边界之后，最早到达的信号仍须由原二阶场方程计算。

05包络平方模首先表示什么

为什么包络振幅值得保留，还可以直接从场能看出。设 $Z_\Phi$ 是所选实通道的动能归一化常数。在无外势的二次能量近似下，书稿采用

把实场的载波表达代入，对快速周期作平均，同时让包络在这一周期中保持慢变，得到

载波动能和本征势能共同给出领先项 $Z_\Phi\omega_0^2|\Psi|^2/2$。因此平方模首先具有场能或作用权重的意义，而不是在代入时就被指定为粒子出现概率。

若继续保留与动能同阶的修正，展开时间项时出现的 $-2\omega_0\operatorname{Im}(\Psi^*\partial_t\Psi)$ 必须和空间梯度项一起保留，不能只补梯度能而漏掉时间交叉项。这是两个时间尺度的能量记账需要保持的同阶一致性。

至此，有隙谱、载波分离、慢变条件及能量匹配构成一条可检查的有效方程推导。波包怎样形成干涉图样由干涉与衍射继续计算；场能怎样通过探测器形成离散事件，则由探测与统计处理。两项任务使用同一包络，但不是同一个推导。