主题
Search

洛朗级数


如果 f(z) 在以 z=a 为中心,半径分别为 r_1r_2<r_1 的同心圆 K_1K_2 之间的环形区域内和上解析,则存在唯一的以 (z-a) 的正负幂表示的级数展开,

 f(z)=sum_(k=0)^inftya_k(z-a)^k+sum_(k=1)^inftyb_k(z-a)^(-k),
(1)

其中

a_k=1/(2pii)∮_(K_1)(f(zeta)dzeta)/((zeta-a)^(k+1))
(2)
b_k=1/(2pii)∮_(K_2)(zeta-a)^(k-1)f(zeta)dzeta
(3)

(Korn and Korn 1968, pp. 197-198)。

LaurentSeries

假设有两个圆形轮廓 C_2C_1,其中 C_1 的半径大于 C_2 的半径。设 z_0 位于 C_1C_2 的中心,且 z 位于 C_1C_2 之间。现在创建一条切割线 C_cC_1C_2 之间,并沿路径 C=C_1+C_c-C_2-C_c 积分,使得 C_c 的正负贡献相互抵消,如上图所示。来自 柯西积分公式

f(z)=1/(2pii)int_C(f(z^'))/(z^'-z)dz^'
(4)
=1/(2pii)int_(C_1)(f(z^'))/(z^'-z)dz^'+1/(2pii)int_(C_c)(f(z^'))/(z^'-z)dz^'-1/(2pii)int_(C_2)(f(z^'))/(z^'-z)dz^'-1/(2pii)int_(C_c)(f(z^'))/(z^'-z)dz^'
(5)
=1/(2pii)int_(C_1)(f(z^'))/(z^'-z)dz^'-1/(2pii)int_(C_2)(f(z^'))/(z^'-z)dz^'.
(6)

现在,由于来自切割线上相反方向的贡献相互抵消,

f(z)=1/(2pii)int_(C_1)(f(z^'))/((z^'-z_0)-(z-z_0))dz^'-1/(2pii)int_(C_2)(f(z^'))/((z^'-z_0)-(z-z_0))dz^'
(7)
=1/(2pii)int_(C_1)(f(z^'))/((z^'-z_0)(1-(z-z_0)/(z^'-z_0)))dz^'-1/(2pii)int_(C_2)(f(z^'))/((z-z_0)((z^'-z_0)/(z-z_0)-1))dz^'
(8)
=1/(2pii)int_(C_1)(f(z^'))/((z^'-z_0)(1-(z-z_0)/(z^'-z_0)))dz^'+1/(2pii)int_(C_2)(f(z^'))/((z-z_0)(1-(z^'-z_0)/(z-z_0)))dz^'.
(9)

对于第一个积分,|z^'-z_0|>|z-z_0|。对于第二个积分,|z^'-z_0|<|z-z_0|。现在使用 泰勒级数 (对 |t|<1 有效)

 1/(1-t)=sum_(n=0)^inftyt^n
(10)

得到

f(z)=1/(2pii)[int_(C_1)(f(z^'))/(z^'-z_0)sum_(n=0)^(infty)((z-z_0)/(z^'-z_0))^ndz^'+int_(C_2)(f(z^'))/(z-z_0)sum_(n=0)^(infty)((z^'-z_0)/(z-z_0))^ndz^']
(11)
=1/(2pii)sum_(n=0)^(infty)(z-z_0)^nint_(C_1)(f(z^'))/((z^'-z_0)^(n+1))dz^'+1/(2pii)sum_(n=0)^(infty)(z-z_0)^(-n-1)int_(C_2)(z^'-z_0)^nf(z^')dz^'
(12)
=1/(2pii)sum_(n=0)^(infty)(z-z_0)^nint_(C_1)(f(z^'))/((z^'-z_0)^(n+1))dz^'+1/(2pii)sum_(n=1)^(infty)(z-z_0)^(-n)int_(C_2)(z^'-z_0)^(n-1)f(z^')dz^',
(13)

其中第二项已被重新索引。再次重新索引,

 f(z)=1/(2pii)sum_(n=0)^infty(z-z_0)^nint_(C_1)(f(z^'))/((z^'-z_0)^(n+1))dz^' 
 +1/(2pii)sum_(n=-infty)^(-1)(z-z_0)^nint_(C_2)(f(z^'))/((z^'-z_0)^(n+1))dz^'.
(14)

由于被积函数,包括函数 f(z),在由 C_1C_2 定义的环形区域内是解析的,因此积分与该区域内的积分路径无关。如果我们将积分路径 C_1C_2 替换为半径为 r 的圆 C,且 r_1<=r<=r_2,则

f(z)=1/(2pii)sum_(n=0)^(infty)(z-z_0)^nint_C(f(z^'))/((z^'-z_0)^(n+1))dz^'+1/(2pii)sum_(n=-infty)^(-1)(z-z_0)^nint_C(f(z^'))/((z^'-z_0)^(n+1))dz^'
(15)
=1/(2pii)sum_(n=-infty)^(infty)(z-z_0)^nint_C(f(z^'))/((z^'-z_0)^(n+1))dz^'
(16)
=sum_(n=-infty)^(infty)a_n(z-z_0)^n.
(17)

通常,积分路径可以是任何位于环形区域内并沿正(逆时针)方向绕 z_0 一周的路径 gamma

因此,复残数 a_n 由下式定义

 a_n=1/(2pii)int_gamma(f(z^'))/((z^'-z_0)^(n+1))dz^'.
(18)

请注意,环形区域本身可以通过增加 r_1 和减小 r_2 来扩展,直到达到 f(z) 的奇点,这些奇点恰好位于 C_1 之外或 C_2 之内。如果 f(z)C_2 内部没有奇点,则 (◇) 中的所有 b_k 项都等于零,并且 (◇) 的洛朗级数简化为具有系数 a_k泰勒级数


另请参阅

复残数, 麦克劳林级数, 主部, 泰勒级数

本条目的部分内容由 David Goodmanson 贡献

使用 Wolfram|Alpha 探索

参考文献

Arfken, G. "Laurent Expansion." §6.5 in Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 376-384, 1985.Korn, G. A. and Korn, T. M. Mathematical Handbook for Scientists and Engineers. New York: McGraw-Hill, p. 198, 1968.Knopp, K. "The Laurent Expansion." Ch. 10 in Theory of Functions Parts I and II, Two Volumes Bound as One, Part I. New York: Dover, pp. 117-122, 1996.Krantz, S. G. "Laurent Series." §4.2.1 in Handbook of Complex Variables. Boston, MA: Birkhäuser, p. 43, 1999.Morse, P. M. and Feshbach, H. "Derivatives of Analytic Functions, Taylor and Laurent Series." §4.3 in Methods of Theoretical Physics, Part I. New York: McGraw-Hill, pp. 374-398, 1953.

在 Wolfram|Alpha 中被引用

洛朗级数

引用为

Goodmanson, DavidWeisstein, Eric W. "Laurent Series." 来自 MathWorld--Wolfram Web 资源. https://mathworld.net.cn/LaurentSeries.html

主题分类