# 로랑 급수와 복소수

#### 로랑 급수의 정의

로랑 급수는 복소 함수의 특이점 근처에서 함수의 거동을 표현하는 중요한 방법 중 하나이다. 주로 해석 함수가 정의되지 않는 점(특이점) 주변에서 함수의 표현을 다루며, 이러한 표현은 함수의 극이나 본질적 특이점에서 유용하게 사용된다.

복소수 $z$에 대해, 로랑 급수는 다음과 같이 표현된다:

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

여기서:

* $z\_0$는 함수의 특이점 또는 중심점이다.
* $a\_n$은 로랑 급수의 계수이다.
* $n$은 양의 정수, 0, 또는 음의 정수일 수 있다.

로랑 급수는 일반적인 테일러 급수와 다르게 음의 지수항도 포함될 수 있어, 특이점 주변의 함수의 거동을 보다 유연하게 설명할 수 있다.

#### 로랑 급수의 양의 지수항

로랑 급수에서 $n \geq 0$인 항들은 테일러 급수의 형태와 유사한다. 이는 함수가 특이점 근처에서 해석적(analytic)인 부분을 나타낸다. 이 부분은 함수가 특이점 근처에서 동일한 방식으로 수렴하는 것을 의미한다.

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

이 항들은 함수가 특이점 없이 해석적일 때, 테일러 급수로 나타낼 수 있는 부분을 나타낸다.

#### 로랑 급수의 음의 지수항

로랑 급수에서 음의 지수항들은 함수의 특이점에 가까운 부분에서 중요한 역할을 한다. 이러한 항들은 함수의 극점이나 본질적 특이점 근처에서 나타나는 비해석적 부분을 나타낸다.

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

이 항들은 특히 특이점 주변에서 함수의 거동을 보다 정확하게 설명하는 데 필수적이다. 음의 지수항들은 함수가 특이점에서 무한대로 발산하거나, 본질적인 특이점을 가질 때 중요한 역할을 한다.

#### 로랑 급수의 수렴 반경

로랑 급수는 특정 영역에서 수렴한다. 이 영역은 **이중환형영역**(Annulus)이라고 불리며, 다음과 같은 형식으로 정의된다:

$$
R\_1 < |z - z\_0| < R\_2
$$

여기서:

* $R\_1$은 내부 반경으로, 특이점과 관련된 거리이다.
* $R\_2$는 외부 반경으로, 함수가 해석적인 부분의 경계를 나타낸다.

따라서, 로랑 급수는 이중환형 영역 내에서 수렴하며, $|z - z\_0|$이 $R\_1$과 $R\_2$ 사이에 있을 때 로랑 급수로 함수를 표현할 수 있다.

#### 로랑 급수의 주요 사례: $\frac{1}{z}$의 로랑 급수

간단한 예로, 함수 $f(z) = \frac{1}{z}$에 대한 로랑 급수를 생각해 봅시다. 이 함수는 $z = 0$에서 특이점을 가지며, 다음과 같이 로랑 급수로 표현될 수 있다:

$$
f(z) = \sum\_{n=-1}^{0} a\_n z^n = \frac{1}{z}
$$

여기서 음의 지수항 $\frac{1}{z}$는 특이점 근처에서 함수가 발산하는 것을 나타낸다. 이 함수는 $z = 0$에서 극을 가지며, 로랑 급수는 이러한 극의 거동을 정확하게 나타낸다.

#### 로랑 급수와 특이점의 분류

로랑 급수는 특이점의 성질을 분석하는 데 매우 유용하다. 이를 통해 특이점을 다음과 같이 분류할 수 있다:

1. **제거 가능한 특이점 (Removable Singularity)**: 로랑 급수에서 음의 지수항이 없는 경우이다. 이 경우 함수는 해당 특이점에서 해석적일 수 있다.
2. **극점 (Pole)**: 음의 지수항이 유한한 개수만 있는 경우이다. 이때 특이점은 극점을 나타낸다.
3. **본질적 특이점 (Essential Singularity)**: 음의 지수항이 무한히 존재하는 경우로, 본질적인 특이점을 나타낸다.

이러한 분류는 복소 함수의 특이점 근처에서의 거동을 분석하는 데 중요하다.

#### 제거 가능한 특이점의 예시

제거 가능한 특이점(Removable Singularity)의 예로, 함수 $f(z) = \frac{\sin z}{z}$를 생각해볼 수 있다. 이 함수는 $z = 0$에서 정의되지 않지만, 로랑 급수를 사용하여 특이점을 분석할 수 있다.

먼저, $f(z)$의 테일러 급수를 $z = 0$ 근처에서 전개하면 다음과 같다:

$$
\sin z = z - \frac{z^3}{3!} + \frac{z^5}{5!} - \dots
$$

따라서,

$$
\frac{\sin z}{z} = 1 - \frac{z^2}{3!} + \frac{z^4}{5!} - \dots
$$

이 함수는 $z = 0$에서 $\frac{\sin z}{z} = 1$로 정의할 수 있으며, 이는 제거 가능한 특이점이다. 로랑 급수에서 음의 지수항이 없기 때문에 특이점이 제거될 수 있다는 의미이다.

#### 극점의 예시

극점(Pole)의 대표적인 예로, 함수 $f(z) = \frac{1}{z^2}$를 살펴볼 수 있다. 이 함수는 $z = 0$에서 극점을 가지며, 로랑 급수는 다음과 같이 표현된다:

$$
f(z) = \frac{1}{z^2}
$$

이 함수는 음의 지수항이 하나만 포함되며, $n = -2$인 항만 남아있다. 따라서, $z = 0$은 차수 2의 극점이다.

#### 본질적 특이점의 예시

본질적 특이점(Essential Singularity)은 로랑 급수에서 음의 지수항이 무한히 존재하는 경우를 말한다. 예로 함수 $f(z) = e^{1/z}$를 고려해볼 수 있다.

이 함수는 $z = 0$에서 본질적 특이점을 가지며, 다음과 같이 로랑 급수로 표현된다:

$$
e^{1/z} = \sum\_{n=0}^{\infty} \frac{1}{n! z^n}
$$

여기서 음의 지수항이 무한히 존재하므로, $z = 0$은 본질적 특이점으로 분류된다. 본질적 특이점 근처에서는 함수의 거동이 매우 복잡하며, 함수값이 극적으로 변할 수 있다.

#### 로랑 급수와 잔여

로랑 급수에서 음의 지수항 중에서 $n = -1$인 항을 \*\*잔여(Residue)\*\*라고 한다. 이 잔여는 복소수 적분에서 중요한 역할을 하며, 코시의 잔여 정리(Cauchy's Residue Theorem)를 통해 복소수 함수의 적분을 계산할 때 사용된다.

잔여는 다음과 같이 표현된다:

$$
\text{Residue of } f(z) \text{ at } z\_0 = a\_{-1}
$$

잔여 정리는 복소수 함수의 폐곡선 적분을 계산할 때 매우 강력한 도구로, 복잡한 적분을 비교적 쉽게 해결할 수 있게 한다.