# 잔여 정리의 개념

#### 잔여란?

복소해석에서 잔여(Residue)는 본질적으로 복소수 함수의 특이점 근처에서 나타나는 거동을 설명하는 수학적 도구이다. 복소수 함수 $f(z)$가 특이점을 가지는 경우, 그 특이점 주변에서 함수의 성질을 분석하는 중요한 개념이 바로 잔여이다.

잔여는 주로 닫힌 경로를 따라 복소수 적분을 계산할 때 유용하게 사용된다. 특히, 특정한 조건에서 복소수 적분을 간단하게 계산할 수 있게 해주는 잔여 정리는, 복소해석에서 필수적인 도구로 여겨진다.

#### 복소수 함수의 특이점

잔여 정리를 이해하려면, 먼저 복소수 함수 $f(z)$의 특이점을 이해해야 한다. 함수가 주어진 점에서 미분 불가능하거나 정의되지 않는 경우, 그 점을 특이점이라고 부른다. 특이점은 크게 두 가지로 분류된다:

* 제거 가능한 특이점 (Removable Singularity): 함수가 특이점 근처에서 매끄럽게 연속될 수 있는 경우
* 고립 특이점 (Isolated Singularity): 함수가 특정 점에서만 특이하고 그 주변에서는 매끄럽게 정의되는 경우

잔여 정리는 주로 고립 특이점에 적용되며, 함수가 고립 특이점 $z\_0$를 가질 때, 잔여는 그 점에서의 복소수 함수의 거동을 분석하는 핵심 도구이다.

#### 잔여의 수학적 정의

복소수 함수 $f(z)$가 고립 특이점 $z\_0$를 가질 때, 함수의 **잔여**는 다음과 같이 정의된다:

$$
\text{Res}(f, z\_0) = \frac{1}{2 \pi i} \oint\_{\mathbf{C}} f(z) , dz
$$

여기서 $\mathbf{C}$는 고립 특이점 $z\_0$를 포함하는 작은 경로이다. 이때 $\text{Res}(f, z\_0)$는 특이점에서의 잔여를 나타내며, 복소수 함수 $f(z)$의 적분을 간단히 구하는 데 중요한 역할을 한다.

#### 잔여 계산의 기본 방법

잔여는 주로 복소수 함수가 로랑 급수로 표현될 때 계산할 수 있다. $z\_0$를 중심으로 한 로랑 급수는 다음과 같은 형식을 갖는다:

$$
f(z) = \sum\_{n=-\infty}^{\infty} a\_n (z - z\_0)^n
$$

여기서 $a\_n$는 로랑 급수의 계수이다. 이때, $a\_{-1}$이 바로 잔여에 해당하는 값이다. 즉, 고립 특이점 $z\_0$에서 함수 $f(z)$의 잔여는 로랑 급수의 $a\_{-1}$ 항으로 표현된다:

$$
\text{Res}(f, z\_0) = a\_{-1}
$$

이는 로랑 급수의 특이점 근처에서의 거동을 설명하는 핵심 값이며, 복소수 함수의 적분을 간단하게 할 수 있도록 도와준다.

#### 잔여의 계산 예시

잔여를 실제로 계산하는 방법을 더 구체적으로 살펴보자. 복소수 함수 $f(z)$가 단순 극 $z\_0$를 가질 때, 잔여는 다음과 같은 간단한 공식으로 구할 수 있다:

$$
\text{Res}(f, z\_0) = \lim\_{z \to z\_0} (z - z\_0) f(z)
$$

이 공식은 함수 $f(z)$가 $z\_0$에서 1차 극을 가질 때, 잔여를 구하는 간단한 방법이다.

**예시 1: $f(z) = \frac{1}{z - z\_0}$**

가장 기본적인 예로, 함수 $f(z) = \frac{1}{z - z\_0}$의 잔여를 계산해 보자. 이 함수는 $z\_0$에서 단순 극을 가지며, 잔여는 다음과 같이 계산된다:

$$
\text{Res}\left(\frac{1}{z - z\_0}, z\_0\right) = \lim\_{z \to z\_0} (z - z\_0) \cdot \frac{1}{z - z\_0} = 1
$$

따라서, $f(z) = \frac{1}{z - z\_0}$의 잔여는 $1$이다.

**예시 2: $f(z) = \frac{e^z}{z - a}$**

다음으로, 함수 $f(z) = \frac{e^z}{z - a}$의 잔여를 구해 보자. 이 함수는 $z = a$에서 단순 극을 가지고 있다. 잔여는 다음과 같이 계산된다:

$$
\text{Res}\left(\frac{e^z}{z - a}, a\right) = \lim\_{z \to a} (z - a) \cdot \frac{e^z}{z - a} = e^a
$$

따라서, 이 함수의 $z = a$에서의 잔여는 $e^a$이다.

#### 잔여 정리의 일반적인 형태

잔여 정리는 복소수 적분에서 매우 중요한 역할을 한다. 이를 일반적으로 표현하면, 함수 $f(z)$가 유한 개의 고립 특이점 $z\_1, z\_2, \dots, z\_n$을 가지는 경우, 다음과 같은 형태의 잔여 정리가 성립한다:

$$
\oint\_{\mathbf{C}} f(z) , dz = 2 \pi i \sum\_{k=1}^{n} \text{Res}(f, z\_k)
$$

여기서 $\mathbf{C}$는 모든 특이점 $z\_1, z\_2, \dots, z\_n$을 포함하는 닫힌 경로이다. 이 식은 복소수 함수의 닫힌 경로 적분을 잔여의 합으로 계산할 수 있음을 보여준다.