数学物理方法3-4.pptVIP

* 3.4 函数的渐近表示 最陡下降法 函数f(z)在|z|大时的行为称为它的渐近行为。f(z)的渐近行为可以用如下形式的展开式描述： 上式方括号内的级数有可能是发散的，但即使那样，也可以用它来表示f(z)的渐近行为。级数的“收敛”与“发散”指的是它在z值固定而项数 n→∞时的性质；而为了使(3-4-1)能反映 f(z)的“渐近行为”，所需要的是在项数n固定而|z|→∞ 时，方括号内级数的部分和Sn 乘上φ(z)后与 f(z)接近相等。 (3-4-1) (一) 函数的渐近展开 更精确地说，只要f(z)/φ(z)与上式括号中级数前n+1项部分和之差具有1/zn+1的量级，则当|z|增加时这一差值就可以任意地小，此时称(3-4-1)为 f(z)的渐近展开式，用符号~表示。 定义：如果 (3-4-2) 则称 的渐进展开式，并写为 (3-4-3) 在实际应用中，常常只取展开式中的第一项作为 f (z) 的渐近表达式。 函数的渐近展开式在实用中很重要。为了得到渐近展开式，可以先将函数写成复平面上沿某一路径积分的形式，然后用“最陡下降法”进行计算。 设函数 f (z)可以写成如下积分形式 (3-4-4) 其中g(t)和h(t)是在复t平面上一定区域中解析的函数，C 为复t平面上的某一路径。我们来求 f (z)在|z|大时的渐近 表达式。 先看一个简单例子，求Γ函数的渐近表达式。 (二) Γ函数的渐近表达式 按式(3-3-1) 做代换τ=tx，得到 这里的积分具有(3-4-4)形式，其中g(t)=1，h(t)=lnt– t， 而路径C为正实轴。 (3-4-5) 求h(t)的一阶和二阶导数，得到 由此可见，在t =1时h(t)有极大值。 当 x 大时，ex(lnt–t) 在t =1时有尖锐的峰，如图3-4-1。因此积分的主要贡献来自t=1附近的一个小区间[1–δ,1+δ]。在此区间中 因而有 式中u=t–1。最后一个积分中的被积函数在x大时，很快地 随|u|的增加而减小，因而可以近似地将积分限扩展到±∞，而有 代入(3-4-5)，得到 再用(3-2-5)，就得到Γ函数的渐近表达式： (3-4-6) (3-4-7) 对上式取对数，得到 当x取正整数时，得到阶乘的渐进式[利用式(3-3-8)，并相对于 N 略去常数的二分之一和2π]： (3-4-8) 这称为斯特林公式。 (三) 最陡下降法 考虑一般情况，此时(3-4-4)中的z和t都可以是复数。我们考虑当z的辐角φ固定而 |z|→∞时，f (z)的行为。为了简 见，假定φ=0，z为实数。[如果φ不为零，可将因子eiφ 归 入 h(t)中，令 eiφh(t)为新的h(t)。因此，假定φ=0 并不失去 一般性。] 用 u 和 v 表示 h(t)的实部和虚部，则 (3-4-9) 当z大时，决定被积函数大小的主要因子是 ezu 。根据在上一例子中得到的经验，应该设法使积分路径通过zu的极大值点，然后在这一点附近取一小段进行积分。然而，由于u是解析函数h(t)的实部，满足拉普拉斯方程Δu=0，它在各个方向上的二阶偏导数不可能都是负的，所以zu不可能在任意 方向上都有极大值。在2-2中已经指出，du/dt =0 的点t0是鞍点。如果沿着某些方向通过t0时，zu有极大值(二阶方向导数小于零) ，则沿着另一些方向通过t0 时，zu 将有极小值(二阶方向导数大于零)，图3-4-2(a)上画出了在t0 点附近zu的“等值线” 的典型分布情况。 于是，为了求(I-4)中的 f(z)在z大时的渐近行为，应设 法利用柯西定理改变积分路径，使之沿类似于图 3-4-2 中 的CD这样的路径通过鞍点 t0 。在这一路径上zu下降最陡， 因而ezu 的峰最尖(参看图I-1)。这样就可以只取t0附近的 一小段进行积分，而得到较好的近似。 由图可见，沿CD附近的路径通过t0时，zu有极大值，而沿 AB附近的路径通过t0时，zu有极小值。在t0附近，zu曲面呈 马鞍形状，如图I-2(b)，参看图2-2-2 。 假定已经通过积分路径的变形使(3-4-4)中的C通过鞍 点t0 。我们有h(t0) = 0，因而h(t)展开式的头两项是 (3-4-10) 令 如图3-4-3，则 (3-4-11) 它的实部和虚部分别是 (3-4-12)、(3-4-13) 用s表示和实轴成θ角的方向，如图3-4-3。在s方向上的偏导数是规定θ对ρ求导。因而 (3-4-15) (