奇异微扰(singular perturbation)
奇异微扰是这样一类问题:尽管小参数极其微小,却不能简单地令它为零——因为这么做会从根本上改变问题,而不只是简化它。征兆很戏剧化:把旋钮彻底关掉(epsilon = 0)会降低微分方程的阶、丢掉一个边界条件、或让原本有界的解爆炸。这点小效应几乎处处都小,但在某处却是决定性的。
其典型标志是一个小参数乘在最高阶导数上,如区间上带两个边界条件的 epsilon y'' + a(x) y' + b(x) y = 0。令 epsilon = 0 会把二阶方程变成一阶方程,而一阶方程只能满足一个边界条件——于是朴素的「外解」无法同时满足两端。化解之道是:丢失的那阶导数会在一个薄区域里重新发威,那是一个宽度为 epsilon 量级的边界层,解在其中极快地变化以弥合落差。需要两个不同的近似:远离该层的缓变外解,以及层内的快变内解,再通过匹配缝合起来。
在真实应用中,奇异微扰是常态而非例外:高雷诺数流动(机翼上薄薄的粘性边界层)、快慢化学动力学、半导体器件方程、以及任何具有相差悬殊的时间或长度尺度的系统。诚实的提醒是:没有一套总是奏效的单一配方。边界层的形态、位置、乃至存在与否,取决于系数的符号与几何,弄错了它们(例如把层放在错误的端点)会得出一个看似自信却完全错误的答案。奇异微扰是一门诊断「小参数在哪里要紧」的手艺。
对 [0,1] 上的 epsilon y'' + y' + y = 0,边界条件 y(0)=0, y(1)=1,外解满足 y' + y = 0 且只能满足右端;在 x = 0 附近一个宽度为 epsilon 的边界层把解拉下到 y(0) = 0。
丢掉 epsilon y'' 项就失去一个边界条件;缺失的条件在一个薄边界层内被找回。
epsilon 小并不意味着它的效应小。在奇异问题里,那个乘了 epsilon 的项在大部分区域可忽略,却在导数巨大的薄层内绝对地支配着解。