# 복소해석 (Complex Analysis)

#### 복소수의 기초 (Fundamentals of Complex Numbers)

복소해석(Complex Analysis)을 이해하기 위해서는 우선 복소수의 기초 개념이 필요하다. 복소수(Complex Number)는 실수부(Real Part)와 허수부(Imaginary Part)로 구성된 수의 형태를 갖는다. 일반적으로 복소수 $ z $는 다음과 같이 표현된다:

$$
z = x + iy
$$

여기서 $ x $는 실수부(Real Part), $ y $는 허수부(Imaginary Part), $ i $는 허수 단위(Imaginary Unit)로, $ i^2 = -1 $을 만족한다. 복소수의 절댓값(Modulus) $ |z| $와 켤레복소수(Conjugate Complex Number) $ \overline{z} $는 다음과 같이 정의된다:

$$
|z| = \sqrt{x^2 + y^2}
$$

$$
\overline{z} = x - iy
$$

복소평면(Complex Plane)은 복소수를 표현하는 데 사용되며, 실수축(Real Axis)과 허수축(Imaginary Axis)을 축으로 갖는다. 복소수는 복소평면에서 점으로 나타낼 수 있으며, 극좌표(Polar Coordinates)를 사용하여 $ z $를 다음과 같이 표현할 수 있다:

$$
z = r(\cos\theta + i\sin\theta) = re^{i\theta}
$$

여기서 $ r = |z| $는 복소수의 절댓값이고, $ \theta $는 주어진 복소수의 각(Argument)이다.

#### 해석 함수 (Analytic Functions)

복소해석의 중심 개념은 해석 함수(Analytic Function)이다. 복소평면에서 정의된 함수 $ f(z) $가 특정 점 $ z\_0 $에서 해석적(Analytic)이라고 말하기 위해서는 해당 점 주변에서 이 함수가 복소수 미분을 가져야 한다. 즉, 다음이 성립해야 한다:

$$
f'(z\_0) = \lim\_{\Delta z \to 0} \frac{f(z\_0 + \Delta z) - f(z\_0)}{\Delta z}
$$

이 미분 가능성이 복소평면의 모든 점에서 성립한다면, 해당 함수는 전해석적(Entire)이라고 불린다. 이와 같은 함수들은 실수 함수와 달리 매우 강력한 특성을 가지며, 복소해석학의 핵심을 이룬다.

#### 코시-리만 방정식 (Cauchy-Riemann Equations)

코시-리만 방정식은 함수가 복소평면에서 해석적이기 위한 필요충분조건을 제공한다. 주어진 함수 $ f(z) = u(x, y) + iv(x, y) $에서, 함수 $ u(x, y) $와 $ v(x, y) $는 각각 $ x $와 $ y $에 대한 실수부와 허수부로 나타난다. $ f(z) $가 $ z $에 대해 해석적이기 위해서는 다음의 코시-리만 방정식을 만족해야 한다:

$$
\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}
$$

이 방정식은 함수의 미분 가능성을 보장할 뿐만 아니라, 이를 통해 복소수 함수가 방향에 무관하게 미분 가능한지(즉, 복소수 미분 가능성)를 확인할 수 있다.

#### 정리 및 주요 결과 (Theorems and Key Results)

복소해석은 다양한 중요한 정리들을 포함하고 있다. 이러한 정리들은 해석적 함수의 성질을 깊이 탐구하는 데 사용된다.

**코시 적분 정리 (Cauchy’s Integral Theorem)**:\
복소해석에서 가장 중요한 정리 중 하나로, 단순 닫힌 경로 $ C $를 따라 해석적 함수 $ f(z) $의 적분이 항상 0이 된다는 것을 말한다:

$$
\oint\_C f(z) , dz = 0
$$

**코시 적분 공식 (Cauchy’s Integral Formula)**:\
이 공식은 함수 $ f(z) $가 닫힌 경로 $ C $ 내부에서 해석적일 때, 경로 내부의 임의의 점 $ z\_0 $에서 함수의 값이 경로 상의 적분으로 표현될 수 있음을 보여준다:

$$
f(z\_0) = \frac{1}{2\pi i} \oint\_C \frac{f(z)}{z - z\_0} , dz
$$

이 공식은 해석적 함수가 무한히 미분 가능하며, 해당 미분도 역시 해석적이라는 중요한 결과를 이끌어낸다.

**라우렌 급수 (Laurent Series)**:\
해석적 함수는 고유의 수렴 영역을 가지며, 이를 통해 특정 점 $ z\_0 $ 주변에서 라우렌 급수로 전개될 수 있다:

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

이 전개는 $ z\_0 $를 중심으로 하는 수렴 영역을 가지며, $ n $이 음수일 때 해당 항들은 특이점(Singularity)을 나타낸다.

**잔여 정리 (Residue Theorem)**:\
잔여 정리는 복소해석의 핵심 도구 중 하나로, 적분 경로 내부에 있는 특이점들의 잔여(Residue)를 이용해 복소수 적분을 계산하는 방법을 제공한다:

$$
\oint\_C f(z) , dz = 2\pi i \sum \text{Residues of } f(z) \text{ inside } C
$$

#### 멀티밸류 함수와 리만 곡면 (Multivalued Functions and Riemann Surfaces)

복소해석에서는 멀티밸류 함수(Multivalued Functions)와 이를 다루기 위한 리만 곡면(Riemann Surfaces)의 개념이 중요하다. 멀티밸류 함수는 주어진 입력에 대해 여러 개의 출력값을 가질 수 있는 함수로, 대표적인 예로 복소수 로그 함수(Complex Logarithm)와 역삼각 함수(Inverse Trigonometric Functions)가 있다.

리만 곡면은 이러한 멀티밸류 함수들을 다룰 수 있는 수학적 구조로, 복소평면을 여러 층의 곡면으로 확장하여 함수가 단일값(Single-Valued)으로 정의되도록 한다. 이는 특히 복소수 적분 경로와 특이점을 다루는 데 중요한 도구로 사용된다.

***

관련 자료:

* Ahlfors, L. V. (1979). *Complex Analysis*. McGraw-Hill.
* Conway, J. B. (1978). *Functions of One Complex Variable*. Springer-Verlag.
* Rudin, W. (1987). *Real and Complex Analysis*. McGraw-Hill.
* Stein, E. M., & Shakarchi, R. (2003). *Complex Analysis*. Princeton University Press.