摄动理论

File:Disambig gray.svg此条目的主题是一般的数学摄动理论。关于量子力学的摄动理论，请见“摄动理论 (量子力学)”。

摄动理论使用一些特别的数学方法来对于很多不具精确解的问题给出近似解，这些方法从相关的较简单问题的精确解开始入手。摄动理论将原本问题分为具有精确解的较简单部分与不具精确解的微扰部分。摄动理论适用的问题通常具有以下性质：通过加入一个微扰项于较简单部分的数学表述，可以计算出整个问题的近似解。

摄动理论计算出来的解答通常会表达为一个微小参数的幂级数。摄动理论解答与精确解之间的差别，可以用这微小参数来做数量比较。幂级数的第一个项目是精确解的解答。后面的项目描述解答的修正。这修正是因为精确解与原本问题的“完全解”之间的误差而产生的。更正式地，完全解<math>A\,\!</math>的近似可以表达为一个级数：

<math> A=\epsilon^0 A_0 + \epsilon^1 A_1 + \epsilon^2 A_2 + \cdots\,\!</math>；

在这例子里，<math>A_0\,\!</math>是简单又有“精确解”的问题的精确解，<math>A_1,\, A_2, \,\!</math>代表由某种系统程序反复地找到的高阶项目修正。因为<math>\epsilon\,\!</math>的值很微小，这些高阶项目修正应该会越来越不重要。

微扰阶数

摄动理论的标准阐述主要是以微扰的阶数来分辨：一阶摄动理论或二阶摄动理论。再来就是以微扰的简并度来分辨：无简并或有简并。有简并的摄动，又称为奇异摄动（singular perturbation），比较难解，必须用到更进阶的理论。

一阶无简并摄动理论

本段落讲述微分方程的一阶微扰理论。为了简单易解，假设零微扰系统的解答是不简并的。

一阶本征值修正

许多常微分方程或偏微分方程可以表达为

<math>Dg(x)=\lambda g(x) \,\!</math>；(1)

其中，<math>D\,\!</math>是某特定微分算子，<math>\lambda\,\!</math>是其本征值。

假设微分算子可以写为

<math>D=D^{(0)}+\epsilon D^{(1)} \,\!</math>；

其中，<math>\epsilon\,\!</math>是微小的度量。

又假设我们已知道<math>D^{(0)}\,\!</math>的解答的完备集<math>\{f^{(0)}_i (x)\}\,\!</math>；其中，解答<math>f^{(0)}_i(x)\,\!</math>是<math>D^{(0)}\,\!</math>的本征值为<math>\lambda^{(0)}_i\,\!</math>的本征函数。用方程表达，

<math>D^{(0)} f^{(0)}_i (x)=\lambda^{(0)}_i f^{(0)}_i (x) \,\!</math>。

还有，这一集合的解答<math>\{f^{(0)}_i (x)\}\,\!</math>形成一个正交归一集：

<math>\int f^{(0)}_i (x) f^{(0)}_j (x) \,dx = \delta_{ij}\,\!</math>；

其中，<math>\delta_{ij}\,\!</math>是克罗内克函数。

取至零阶，完全解<math>g(x)\,\!</math>应该相当接近集合里一个零微扰解。设定这零微扰解为<math>f^{(0)}_n (x) \,\!</math>。用方程表达，

<math>g(x)=f^{(0)}_n (x) + \mathcal{O}(\epsilon)\,\!</math>；

其中，<math>\mathcal{O}\,\!</math>采用大O符号来描述函数的渐近行为。

完全解的本征值也可近似为

<math>\lambda=\lambda^{(0)}_n + \mathcal{O}(\epsilon)\,\!</math>。

将完全解<math>g(x)\,\!</math>写为零微扰解的线性组合，

<math>g(x)=\sum_m c_m f^{(0)}_m (x)\,\!</math>；(2)

其中，除了<math>c_n\,\!</math>以外，所有的常数<math>c_m,\ m\ne n\,\!</math>的值是<math>\mathcal{O}(\epsilon)\,\!</math>；只有<math>c_n\,\!</math>的值是<math>\mathcal{O}(1)\,\!</math>。

将公式 (2)代入公式 (1)，乘以<math> f^{(0)}_n (x) \,\!</math>，利用正交归一性，可以得到

<math>\lambda^{(0)}_n c_n+ \epsilon \sum_m c_m

\int f^{(0)}_n(x) D^{(1)} f^{(0)}_m(x)\,dx =\lambda c_n\,\!</math>。

这可以很容易地改变为一个简单的线性代数问题，一个寻找矩阵的本征值的问题：给予 <math>\sum_m A_{nm}c_m = \lambda c_n\!\,\!</math>，求<math>\lambda\,\!</math>；其中，<math>A_{nm}\,\!</math>是矩阵元素：

<math>A_{nm} = \lambda^{(0)}_n\delta_{nm} + \epsilon \int f^{(0)}_n(x) D^{(1)} f^{(0)}_m(x)\,dx \,\!</math>。

我们并不需要解析整个矩阵。注意到线性方程里的每一个<math>c_m\,\!</math>都是<math>\mathcal{O}(\epsilon)\,\!</math>；只有<math>c_n\,\!</math>的值是<math>\mathcal{O}(1)\,\!</math>。所以，取至<math>\epsilon\,\!</math>一阶，线性方程可以很容易地解析为

<math>\lambda=\lambda^{(0)}_n + \epsilon \int f^{(0)}_n(x) D^{(1)} f^{(0)}_n(x)\,dx \,\!</math>。(3)

这就是一阶摄动理论的本征值解答。一阶本征值数修正是

<math>\lambda^{(1)}_n=\int f^{(0)}_n(x) D^{(1)} f^{(0)}_n(x)\,dx \,\!</math>。

一阶本征函数修正

取至一阶，函数<math>g(x)\,\!</math>可以用类似的推理求得。设定

<math>g(x)=f^{(0)}_n(x) + \epsilon f^{(1)}_n(x)\,\!</math>。(4)

那么，公式 (1)变为

<math>\left(D^{(0)} +\epsilon D^{(1)}\right)

\left( f^{(0)}_n(x) + \epsilon f^{(1)}_n(x) \right) = ( \lambda^{(0)}_n+ \epsilon \lambda^{(1)}_n) \left( f^{(0)}_n(x) + \epsilon f^{(1)}_n(x) \right) \,\!</math>。

取至一阶，展开这方程。经过一番运算，可以得到

<math> D^{(1)} f^{(0)}_n (x) +D^{(0)}f^{(1)}_n (x)=\lambda^{(0)}_n f^{(1)}_n (x) +\lambda^{(1)}_n f^{(0)}_n (x)\,\!</math>。(5)

由于<math>\{f^{(0)}_i (x)\}\,\!</math>是一个完备集，<math>f^{(1)}_n (x)\,\!</math>可以写为

<math>f^{(1)}_n (x)=\sum_{i\ne n} C_i f^{(0)}_i (x)\,\!</math>。(6)

请注意，这方程右手边的总和表达式，并不含有<math>f^{(0)}_n (x)\,\!</math>项目。任何<math>f^{(0)}_n (x)\,\!</math>的贡献，可以与公式 (4)的零阶项目相合并。

将公式 (6)代入公式 (5)，可以得到

<math> (D^{(1)} - \lambda^{(1)}_n) f^{(0)}_n (x)=\lambda^{(0)}_n \sum_{i\ne n} C_i f^{(0)}_i (x) - D^{(0)}\sum_{i\ne n} C_i f^{(0)}_i (x)=\sum_{i\ne n} (\lambda^{(0)}_n - \lambda^{(0)}_i) C_i f^{(0)}_i (x)\,\!</math>。

将这方乘式两边都乘以<math>f^{(0)}_j (x)\,\!</math>，再随著<math>x\,\!</math>积分，利用正交归一性，可以得到

<math>\int\, f^{(0)}_j (x) D^{(1)}f^{(0)}_n (x)\, dx=\sum_{i\ne n} (\lambda^{(0)}_n - \lambda^{(0)}_i) C_i \int\, f^{(0)}_j (x) f^{(0)}_i (x)=(\lambda^{(0)}_n - \lambda^{(0)}_j) C_j \,\!</math>。

稍加编排，改变下标<math>j\,\!</math>为<math>m\,\!</math>。那么，一阶本征函数修正<math>f^{(1)}_n (x)\,\!</math>可以写为

<math>f^{(1)}_n(x) = \sum_{m \ne n} \frac {f^{(0)}_m (x)}

{\lambda^{(0)}_n- \lambda^{(0)}_m} \int\, f^{(0)}_m(y) D^{(1)} f^{(0)}_n(y) \,dy\,\!</math>。

参阅

• 多体摄动理论

外部链接

• 摄动方法简介 （页面存档备份，存于互联网档案馆）作者Mark H. Holmes
• 第二章：摄动方法简介作者Johan Byström,Lars-Erik Persson，及Fredrik Strömberg