Lax–Richtmyer 等价定理

正向证明：每一步误差都要经过后续传播 ​

先取光滑初值 $v\in D$。利用算子乘积的望远镜恒等式和半群性质，

每一项都有直接的计算含义：在第 $j$ 个时刻产生一次局部缺陷，随后被剩余的 $n-1-j$ 步数值演化传播。稳定性给出后半段传播的统一上界，于是

一致性使右端趋于零，因此先得到了光滑初值上的收敛。这个估计也揭示了局部误差必须按单位时间归一化的原因：固定时间内的步数约为 $T/{\tau }_k$，恰好抵消单步缺陷中的一个 ${\tau }_k$。

接着把结果扩展到任意 $v\in X$。给定 $\epsilon >0$，利用 $D$ 的稠密性，选择 $w\in D$ 使 $\Vert v-w\Vert <\epsilon$。把误差拆成

第一项由离散稳定性控制，第三项由连续演化的有限时间有界性控制，中间项已经知道趋于零。所以

再令 $\epsilon \downarrow 0$，便得到全空间的收敛。这一步并不需要每个粗糙初值都能进行 Taylor 展开；光滑初值上的一致性，借助稳定性与稠密逼近，足以控制一般初值。

逆向证明：为什么必须对每个初值收敛 ​

假定收敛性成立。固定任意 $v\in X$。对足够大的 $k$，收敛定义给出

剩余的 $k$ 只有有限个；对每个这样的 $k$，满足 $n{\tau }_k\le T$ 的 $n$ 也只有有限个。由于每个 $C_k$ 有界，便有

这叫算子族的逐点有界性。一致有界原理理路一致有界原理Uniform boundedness principle · Banach–Steinhaus theorem一族有界线性算子若逐点有界，则其算子范数一致有界。把它提升成算子范数的一致有界性：

于是稳定性成立。逆向证明本身没有再用一致性；一致性是把“稳定”推向“收敛”所需的桥梁，而 Banach 空间结构是把“对每个初值不发散”提升成“统一控制所有单位初值”所需的桥梁。[2]

只测光滑或有限个初值为什么不够 ​

可以在 $X={\ell }^2$ 上构造一个直观反例。连续演化取 $E(t)=I$，时间步长取 ${\tau }_k=1/k$。令 $C_k$ 只把第 $k$ 个坐标乘以 2，其余坐标保持不变。

对任何只有有限个非零坐标的向量，当 $k$ 足够大时，$C_k$ 根本不碰它的非零部分，所以数值解与精确解完全相同。这些有限支撑向量构成 ${\ell }^2$ 的稠密子集，一致性也在这个子集上成立。

可是 $k$ 步后的算子范数为 $\Vert C_k^k\Vert =2^k$，而物理时间仍只是 1。再取 $v=(1,1/2,1/3,\dots )\in {\ell }^2$，第 $k$ 个坐标的误差为 $(2^k-1)/k$，不但不收敛，还迅速增长。

这个例子隔离出了逻辑差别：稠密集合上的良好表现，需要稳定性才能扩展到全空间；仅有稠密性本身不能完成这一步。

不同网格空间如何接入 ​

真实计算通常在 $X_h$ 而不是共同的 $X$ 上推进。需要说明限制或投影 $P_h:X\to X_h$、重构 $I_h:X_h\to X$，并检查它们与所选范数是否兼容。收敛可以写成

要调用某个网格空间版本的 Lax 定理，就应验证该版本对 $P_h,I_h$、初值逼近和一致有界性的要求；不能只把所有向量“看作函数”便默认共同空间条件已经满足。

尤其在 $X=L^2$ 中，一个等价类的单点值未必有定义，因此普通点取样不是自动合法的有界算子。单元平均或稳定投影往往更适合这个空间。若使用连续函数空间，则点取样可以成立，但对应范数与稳定性证明也会改变。

边界同样必须包含在完整离散算子中。周期内部模板的 Fourier 幂界，并不自动控制非周期边界闭合产生的额外方向。初边值问题可以有相应推广，但不能省略边界假设而只保留一句“稳定等价于收敛”。

定理的适用范围与学习位置 ​

这是一项关于良定线性演化初值问题与匹配的线性离散族的定理。它没有断言任意非线性格式、任意椭圆求解器或任意网格自适应算法都满足相同的等价关系。多步方法也需通过更高维状态或相应理论处理启动和根条件。

从分析工作量看，定理并不替代稳定性证明；它告诉我们为什么值得去证明稳定性。一致性通常可以局部展开得到，真正决定计算能否可靠累积的，是整个传播算子的统一界。

学习时可把它放在三概念框架理路PDE 离散的一致性、稳定性与收敛性Consistency stability and convergence for PDE · PDE scheme stability · PDE convergence framework用同一误差递推连接局部缺陷、扰动传播与全局误差，澄清归一化、网格范数和线性等价定理的条件。之后：先理解缺陷怎样进入误差递推，再用本定理理解正向推导为何能扩展到粗糙初值，以及逆向结论为何需要一致有界原理。这样，“等价”便不再是一个孤立口号，而是一条完整的算子论机制。

怎样读出误差阶 ​

等价定理主要给出收敛与否。若已有定量缺陷估计，正向证明还能保留常数与阶。例如

则对该光滑初值得到

但稠密延拓通常只给一般初值的收敛，不会自动给出同一个高阶速率。一个缺少所需导数的初值，不能仅因身处同一 Banach 空间，就继承光滑解的 Taylor 余项界。

最简单的标量例子是 $u^{\prime }=\lambda u$。精确一步是 $E(\tau )=e^{\lambda \tau }$，显式 Euler 一步是 $C_{\tau }=1+\lambda \tau$。对固定 $\lambda$，

单位时间缺陷是 $O(\tau )$；同时 $|1+\lambda \tau {|}^n\le e^{|\lambda |T}$，所以得到一阶全局收敛。

PDE 空间离散与这个例子的重要差异是：有效的 $\lambda$ 往往随网格加密变大。例如热方程离散的最负特征值约为 $-4\kappa /h^2$，不能把“固定 $\lambda$ 时的有界性”直接当成对全部网格统一的有界性。Fourier 稳定性分析理路von Neumann 稳定性分析von Neumann stability analysis · Fourier stability analysis · Amplification factor analysis把周期常系数差分格式分解为 Fourier 模态，计算放大因子，并区分稳定性、阻尼、相位误差与适用边界。正是用来补上这项检查的工具。