跳到正文
格致开物MATHWIKI

多尺度法

多尺度法(method of multiple scales)是同时引入多个空间或时间尺度,构造渐近近似的方法。在弱扰动振子中,每一轮振荡很快,振幅和相位却可能经过许多轮后才明显改变。把这些变化硬塞进只含原时间变量的普通展开,常产生随时间增长的长期项;多尺度法把这种积累移入慢变量的演化方程。

普通展开中的长期项

考虑一个无量纲初值例子 x″+2εx′+x=0,x(0)=1,x′(0)=0,0<ε<1. 它描述单位固有频率下的弱阻尼振动。尝试普通展开 x=x0+εx1+⋯,逐阶比较: x0″+x0=0,x0(0)=1,x0′(0)=0, 所以 x0=cos⁡t。下一阶满足 x1″+x1=−2x0′=2sin⁡t,x1(0)=x1′(0)=0. 由于右端频率恰与齐次方程相同,直接核对可得 x1=sin⁡t−tcos⁡t。普通一阶近似为 xreg=cos⁡t+ε(sin⁡t−tcos⁡t). 当 t≍1/ε 时,εtcos⁡t 已不比主项小。这称为长期项或世俗项。它不是原系统的真实振幅无限增长,而是展开的有效范围已经用尽。

普通摄动近似在长时间失去衰减包络,多尺度近似继续跟踪精确解
ε=0.1。普通一阶展开含有εt项,在慢时间达到一之后不能继续按小修正理解;多尺度近似保留了指数衰减包络。

快慢时间与链式法则

引入快时间 τ=t 和慢时间 T=εt。构造函数 X(τ,T;ε),最终沿 (τ,T)=(t,εt) 取值。推导时把两变量独立处理,沿实际轨迹的导数则由链式法则确定: ddt=∂τ+ε∂T,d2dt2=∂ττ+2ε∂τT+ε2∂TT. 设 X=X0+εX1+⋯。零阶方程为 X0,ττ+X0=0,所以 X0=A(T)cos⁡τ+B(T)sin⁡τ. 这里的系数允许随慢时间变化,正是比普通展开多出的自由度。对同一方法及链式法则的讲解,可参见 MIT 的双时间尺度讲义;本文初值和比较计算另行选取。[1]

去共振条件决定慢演化

一阶方程是 X1,ττ+X1=−2X0,τT−2X0,τ. 将 X0 逐项求导,得到右端 2(A′+A)sin⁡τ−2(B′+B)cos⁡τ. 撇号在这里指对 T 求导。只要这两个系数之一不为零,求解 X1 就会再次出现 τcos⁡τ 或 τsin⁡τ。为了使一阶修正在每个固定慢时间下保持快时间有界,选择 A′+A=0,B′+B=0. 主阶初值给出 A(0)=1,B(0)=0,因此 X0=e−Tcos⁡τ。于是主阶多尺度近似为 xms,0(t)=e−εtcos⁡t. 它把普通展开中的 1−εt 重新组织成一个完整的缓慢指数因子。此时初始导数还有 −ε 的偏差,不能称作精确满足原初值。若保留一阶修正,X1=e−Tsin⁡τ 满足当前一阶齐次方程,并补偿初始导数,得到 xms,1(t)=e−εt(cos⁡t+εsin⁡t). 这是满足当前阶方程与初值的一种修正选择;继续到更高阶时,还需相应的去共振条件。它的初始位移和速度都正确,但仍不是原方程的精确解。

用精确解确定适用时间

本例的特征根为 −ε±iω,其中 ω=1−ε2。精确解为 x(t)=e−εt(cos⁡ωt+εωsin⁡ωt). 在有限时间上,ω=1−ε2/2+O(ε4),频率修正看似很小;在 t=O(1/ε) 上,相位差却达到 O(ε)。

可以严格给出这个尺度的误差界。设 0<ε≤1/2,则 ω≥3/2,并有 1−ω=ε21+ω,|cos⁡ωt−cos⁡t|≤(1−ω)t. 类似地,分解正弦项的系数误差和相位误差,得到 |x−xms,1|≤e−εt[(1+ε)(1−ω)t+ε(ω−1−1)]. 对 0≤t≤L/ε,右端为 O(ε),常数只与固定 L 有关。这里保留了一阶振幅修正,却没有二阶相位修正,所以不能在这个长时间区间上宣称误差为 O(ε2)。

指数衰减包络和普通一阶展开的线性包络在慢时间一附近分离
纵轴比较慢振幅e^(−T)与其局部展开1−T。后者在T大于一时变负,说明小参数展开必须连同所固定的时间尺度一起理解。

相位尺度与非线性振子

一个可复算变式是 x″+(1+ε)x=0、x(0)=1,x′(0)=0。精确频率是 1+ε=1+ε/2+O(ε2)。若仍只用 cos⁡t,在 t=O(1/ε) 上就会积累有限相位误差;保留慢相位后用 cos⁡(t+T/2),才捕捉一阶频率变化。这里慢变量改变的是相位,而不是衰减振幅。

弱非线性振子也可通过相同的去共振条件得到振幅、相位方程。[2] 但多个模态近共振时,慢变量常相互耦合;振幅接近分岔点或解离开统一有界区域时,原有展开未必仍有效。去除某一阶的长期项只是构造近似的一步,误差阶和有效时间仍要另证。平均法常导出相同的主阶慢演化,但它从周期抵消与近恒等变换出发,提供另一种组织误差分析的方式。

参考资料

  1. ↑ MIT Mathematics. Method of Multiple Scales,第1—2页,Example 1 的弱阻尼振子、链式法则(式3)与去共振条件;原讲义初值为位移零、速度一。
  2. ↑ Rodolfo R. Rosales. Weakly Nonlinear Things: Oscillators,§1(第3—7页)的 Poincaré–Lindstedt 法,§2.1(第8—11页)的 Two Timing、慢复振幅与去共振条件。