数学物理方法概论之——渐进方法.ppt

式 对Re(z) 0 成立，因为在此定义域两边都解析且在实轴上它们一致。可应用瓦特森引理得到其积分的渐近展开式。做变量代换，令 解：令 则 例：求当 ， 的Γ函数 的渐近展式。 § 3 渐近方法 则对给定的值 上述变换给出两个解s(u)和σ(u)，其中 § 3.4 积分的渐近展式 即 且 两个解分别位于最大值s=1的两边其中 于是 § 3 渐近方法 § 3.4 积分的渐近展式 可以证明 且因当 时， 故 在 有界 § 3 渐近方法 § 3.4 积分的渐近展式 则可得 与 的关系： 剩下要证明的是 其中 对小的 有一个 麦克劳林展开式。再做代换，令 。它在 处是解析的。因为当 时，有 即 与 的邻域有两个分支。 根据复变函数理论：若 解析，且 则 在 的邻域存在解析的反函数 现在 在 邻域解析，且 在 点不等于零，故在 § 3 渐近方法 § 3.4 积分的渐近展式 另一支是 注意到 则对足够小的 有 故 令 的邻域存在解析的反函数 式中 是 处 的留数，容易算出 等 。 将最后的表示式带入被积式，并在形式上逐项积分，则由瓦特森引理，在 时，有 § 3 渐近方法 § 3.4 积分的渐近展式 对 的条件下得 式中 二、 分部积分法： 形式进行分部积分。在 ，且当 时 。可以看出，所得积分是前面考虑过的形式， 故可重复同一过程。 § 3 渐近方法 § 3.4 积分的渐近展式 存在，且 当 时 首先证明在 和 的一定假设条件下，式中第一项是 的积分渐近形式。 设（1）对 ， 连续且有界： ，同时 （2）对 ， 为实函数且连续； （3） （4）对所有正 ， ，且当 时， （5）对 ， 存在，则对 § 3 渐近方法 § 3.4 积分的渐近展式 例： 在 ， 条件下，求误差函数 的渐近展开式。 令 这表明，对 ， 的两边是解析的，且在实轴上相合。现在的积分 ，因为在此区域中方程 和定理 的假设相符，重复地应用此定理，对 ， 可得 § 3 渐近方法 § 3.4 积分的渐近展式 如果 ，则应将方法修改。但对这种情形，可以采用 下面两节的方法，这里不再赘述。 以上只把分部积分法用于上限为 的积分，现在考虑a和b 有限， 且 的情形，即 设 ，而当 ， 时 § 3 渐近方法 § 3.4 积分的渐近展式 当 ， 时，因为 故 采用最徒下降法的思路： 首先令： 则： § 3 渐近方法 § 3.5 最陡下降法 常遇到这样类型的积分 其中C 是复平面Z 上的路径，在其中假定 缓变，且f 和g 均具有适当的正则性。 其中 u 和 v 是实函数。 当S 很大时，沿积分路径微小位移所引起的v 的微小变化会引起 注意到： § 3.5 最陡下降法 也就是说，最徒下降法的本质就是尽可能利用这样