search

잔여 정리의 개념

hashtag
잔여란?

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

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

hashtag
복소수 함수의 특이점

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

  • 제거 가능한 특이점 (Removable Singularity): 함수가 특이점 근처에서 매끄럽게 연속될 수 있는 경우

  • 고립 특이점 (Isolated Singularity): 함수가 특정 점에서만 특이하고 그 주변에서는 매끄럽게 정의되는 경우

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

hashtag
잔여의 수학적 정의

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

Res(f,z0)=12πi∮Cf(z) dz\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)$의 적분을 간단히 구하는 데 중요한 역할을 한다.

hashtag
잔여 계산의 기본 방법

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

f(z)=∑n=−∞∞an(z−z0)nf(z) = \sum_{n=-\infty}^{\infty} a_n (z - z_0)^n

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

Res(f,z0)=a−1\text{Res}(f, z_0) = a_{-1}

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

hashtag
잔여의 계산 예시

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

Res(f,z0)=lim⁡z→z0(z−z0)f(z)\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$에서 단순 극을 가지며, 잔여는 다음과 같이 계산된다:

Res(1z−z0,z0)=lim⁡z→z0(z−z0)⋅1z−z0=1\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$에서 단순 극을 가지고 있다. 잔여는 다음과 같이 계산된다:

Res(ezz−a,a)=lim⁡z→a(z−a)⋅ezz−a=ea\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$이다.

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

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

∮Cf(z) dz=2πi∑k=1nRes(f,zk)\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$을 포함하는 닫힌 경로이다. 이 식은 복소수 함수의 닫힌 경로 적분을 잔여의 합으로 계산할 수 있음을 보여준다.

Previouschapter_18Next잔여 정리의 복소수적 해석

Last updated