渐进方法.PPT

§ 3.5 最陡下降法 § 3 渐近方法 证明: 令 是在 邻近的一点，于是由 得： 当 等于常数时，应有 ，即 这样，注意到柯西－黎曼关系: 可得 此式表明 因此，由极值的条件，在 点， v等于常数的方向也正是u 的最大 变化方向。 § 3.5 最陡下降法 § 3 渐近方法 为寻找 的最大点，令 ，因而 故当且仅当在该点 ， 时，取得极值，这样的点称为驻点。 曲面 有极大极小值的条件为 现在有 ，即 ，故 ，因而 因为u是解析函数满足拉普拉斯方程 表明驻点不是极值点而是鞍点，它连接曲面的“山谷”和“山脊” 沿山脊上升和山谷下降均是u最大变化方向。对我们有意义的是山谷下降路径，即最徒下降路径，因为只有这一路径上在鞍点附近对积分有显著的贡献，所以这种渐近计算的方法称为：最徒下降法。 § 3.5 最陡下降法 § 3 渐近方法 鞍点 若 点为鞍点，即 此点的v等于常数的曲线方程为 ，则 通过 ，或 其中t是实数，t 为正代表下降路径， t 为负代表上升路径。 由 在 点的Tailor展开式 现在 ，若 (A为正实数) ，接近 处 ，则 ，（略去高阶项） § 3.5 最陡下降法 § 3 渐近方法 因为： 还可得： 由此可以画出 实部 虚部 时的等高线如图所示。如果 ，则图形将更复杂， 可能有三个或更多的山谷在 鞍点相会。 § 3.5 最陡下降法 § 3 渐近方法 现在可以假定起止于无限远的积分路径能变形到起点和终点都在山谷的路径，这是积分收敛的要求。积分路径要尽可能地变形到最陡下降路径上沿着山谷的底在鞍点处越过一个山谷进入下一个山谷。一般说来，这种路径由一系列曲线组成，每一个是从鞍点到无穷或到某个奇点。 以下假定 来计算一个这种路径对积分的贡献。 为此，设 其中 。于是最陡下降路径由下式给出 或 (t为正实数） 其中 取主值。计及 ，故得 § 3.5 最陡下降法 § 3 渐近方法 上式的不同符号对应于自鞍点出发的两条最陡下降路径。若 “+”号与第三象限的路径有关，“-”与第一象限的路径 。 有关 考虑负号时所代表的路径如图所示，所得的积分是 负号所对应的路径 其中 是上式中取负号的 z值。另一路径的积分 其中 是上式中取正号的z值。 完整的级数太繁，我们将只导出首项。于是，如果把C变形到通过鞍点，其方向如右图，则可以得到 § 3.5 最陡下降法 § 3 渐近方法 由于 和 都可用 t 表示 ，其中函数 f 已假定是缓变的，故 和 均可用 代替。令 引理渐近计算的积分式。 ，则可以得到用 瓦特森 负号所对应的路径 此式即利用最徒下降法得到的积分的渐近展开。 如果C通过鞍点的方向与前图示相反的话，结果反号即可。 例：求阶乘的斯特林（Stirling)公式。（即阶乘的渐近展式） 解： 已知阶乘的积分表达式 符合前边积分的形式，其中 而积分路径C为实轴。 § 3.5 最陡下降法 § 3 渐近方法 它在 时成立，现在我们只考虑 s 此积分形式不适合用最陡下降法，但如用sz 来代替z就得出 是实数的情形。 注意到 有一鞍点，且在该处 在 时： 因此积分路径应该是 和 （零点为奇点）两部分 根据公式： § 3.5 最陡下降法 § 3 渐近方法 这就是斯特林公式。 § 3.6 驻定相位法 对下列形式的积分 ： § 3 渐近方法 当参量k 很大时可以用驻定相位法求解。从被积函数 的形 式 上看，可当作波的相位。 当k很大时，它表示一种迅速的振荡。 在积分过程中，这种振荡正负相消，而只有在 的部分， 处有平坦 因而对积分的主要贡献来自于 点附近。 使 的点称为驻定相位点，所以这种用相位驻定邻近的积分 结果来近似代表整个区间的精确结果的方法称为驻定相位法。 为证明对积分的主要贡献来自驻定相位点附近，先看变量z 为实变量x的情形。函数 的驻点 是使 的点，如 ，而 则称 为 的N级驻点。 考察积分： § 3.6 驻定相位法 § 3 渐近方法 如果积分区间(a ,b)内f (x)没有驻点，g (x)在(a ,b)内可微，则可把 f 作为积分变量，而上面的积分可记为 由f (x)反演x可以表示为f 的函数，故 在积分区间