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

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$ tại một điểm kỳ dị $a$ , thường được ký hiệu $\operatorname {Res} (f,a)$ hoặc $\operatorname {Res} _{a}(f)$ , là

giá trị ${\frac {1}{2\pi i}}\int _{C}f(z)dz$ , với $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$ sao cho winding number bằng $1$ .
cũng là giá trị duy nhất $R$ sao cho $f(z)-R/(z-a)$ có một nguyên hàm giải tích trong một đĩa bị thủng $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$ tại điểm $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

\oint _{C}z^{k}dz

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

\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}$ bằng $1$ nếu $k=-1$ , và bằng $0$ nếu $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$ thì Res(f, c) = 0. Điều ngược lại không đúng: ví dụ hàm ${\frac {1}{z^{2}}}$ có thặng dự tại $0$ bằng $0$ .