Thặng dư (giải tích phức)

Giải tích toán học → Giải tích phức
Giải tích phức
Số phức
Hàm số phức
Lý thuyết cơ bản
Nhân vật
  •  Cổng thông tin Toán học
  • x
  • t
  • s

Trong toán học, cụ thể hơn là trong giải tích phức, thặng dư là một số phức tỷ lệ với tích phân đường của hàm phân hình dọc theo một đường cong kín bao quanh một điểm kỳ dị của nó.

Định nghĩa

Thặng dư của hàm phân hình f {\displaystyle f} tại một điểm kỳ dị a {\displaystyle a} , thường được ký hiệu Res ⁡ ( f , a ) {\displaystyle \operatorname {Res} (f,a)} hoặc Res a ⁡ ( f ) {\displaystyle \operatorname {Res} _{a}(f)} , là

  • giá trị 1 2 π i ∫ C f ( z ) d z {\displaystyle {\frac {1}{2\pi i}}\int _{C}f(z)dz} , với C {\displaystyle C} là một đường cong kín định hướng dương bao quanh một điểm kì dị duy nhất a {\displaystyle a} sao cho winding number bằng 1 {\displaystyle 1} .
  • cũng là giá trị duy nhất R {\displaystyle R} sao cho f ( z ) − R / ( z − a ) {\displaystyle f(z)-R/(z-a)} có một nguyên hàm giải tích trong một đĩa bị thủng 0 < | z − a | < δ {\displaystyle 0<\vert z-a\vert <\delta } .
  • cũng là giá trị hệ số a-1 của khai triển Laurent của hàm f {\displaystyle f} tại điểm a {\displaystyle a} .

Ví dụ

Thặng dư của một đơn thức

Tính thặng dư của đơn thức qua tích phân

∮ C z k d z {\displaystyle \oint _{C}z^{k}dz}

với C {\displaystyle C} là đường tròn định hướng dương có bán kính 1 {\displaystyle 1} . Sử dụng phép đổi biến z → e i θ {\displaystyle z\to e^{i\theta }} ta có

∮ C z k d z = ∫ 0 2 π i e i ( k + 1 ) θ d θ = { 2 π i nếu  k = − 1 , 0 với các trường hợp còn lại . {\displaystyle \oint _{C}z^{k}dz=\int _{0}^{2\pi }ie^{i(k+1)\theta }\,d\theta ={\begin{cases}2\pi i&{\text{nếu }}k=-1,\\0&{\text{với các trường hợp còn lại}}.\end{cases}}}

Do đó thặng dư của đơn thức z k {\displaystyle z^{k}} bằng 1 {\displaystyle 1} nếu k = − 1 {\displaystyle k=-1} , và bằng 0 {\displaystyle 0} nếu k ≠ − 1 {\displaystyle k\neq -1} .

Kỳ dị bỏ được

Nếu hàm f có thể thác triển thành một hàm chỉnh hình trên toàn bộ đĩa | y − c | < R {\displaystyle |y-c|<R} thì Res(f, c) = 0. Điều ngược lại không đúng: ví dụ hàm 1 z 2 {\displaystyle {\frac {1}{z^{2}}}} có thặng dự tại 0 {\displaystyle 0} bằng 0 {\displaystyle 0} .

Cực điểm đơn

Tại một cực điểm đơn c, thặng dư của hàm f thỏa mãn

Res ⁡ ( f , c ) = lim z → c ( z − c ) f ( z ) . {\displaystyle \operatorname {Res} (f,c)=\lim _{z\to c}(z-c)f(z).}

Cực điểm cấp cao

Tổng quát hơn, nếu c là một cực cấp n, thặng dư của f quanh z = c có thể được tính theo công thức:

Res ⁡ ( f , c ) = 1 ( n − 1 ) ! lim z → c d n − 1 d z n − 1 ( ( z − c ) n f ( z ) ) . {\displaystyle \operatorname {Res} (f,c)={\frac {1}{(n-1)!}}\lim _{z\to c}{\frac {d^{n-1}}{dz^{n-1}}}\left((z-c)^{n}f(z)\right).}

Tham khảo

  • Ahlfors, Lars (1979). Complex Analysis. McGraw Hill.
  • Marsden, Jerrold E.; Hoffman, Michael J. (1998). Basic Complex Analysis (ấn bản 3). W. H. Freeman. ISBN 978-0-7167-2877-1.

Liên kết ngoài