복소해석학 (Complex Analysis)

복소해석학은 복소수(Complex Number) 변수를 가지는 함수를 연구하는 수학 분야입니다. 실수 해석학에서는 나타나지 않는 놀라운 성질들이 복소 세계에서 드러납니다. 한 번 미분 가능한 복소함수가 무한 번 미분 가능하고, 적분값이 경로에 의존하지 않으며, 함수의 국소적 정보로 전역적 성질을 결정할 수 있습니다.

이런 곳에 쓰여요

선수 지식: 미적분학, 해석학

난이도: ★★★★★ (대학교 심화)

복소수의 위상

복소평면 (Complex Plane)

복소평면(Complex Plane)은 복소수 $z = x + iy$를 좌표 $(x, y)$로 나타내는 2차원 평면입니다. 가로축이 실수축(Re), 세로축이 허수축(Im)이 됩니다. 이 평면을 아르강 평면(Argand Plane)이라고도 합니다.

두 복소수 $z_1, z_2$ 사이의 거리는 다음과 같이 정의합니다.

점 $z_0$을 중심으로 반지름 $r > 0$인 열린 원판(Open Disk)을 다음과 같이 정의합니다.

극형식 (Polar Form)

복소수 $z = x + iy$는 극형식(Polar Form)으로도 표현할 수 있습니다. $r = |z| = \sqrt{x^2 + y^2}$를 절댓값(Modulus), $\theta = \arg(z)$를 편각(Argument)이라 하면 다음이 성립합니다.

편각 $\theta$는 양의 실수축에서 반시계 방향으로 잰 각도입니다. 주편각(Principal Argument) $\text{Arg}(z)$는 $(-\pi, \pi]$ 범위로 제한한 편각입니다.

오일러 공식 (Euler's Formula)

오일러 공식(Euler's Formula)은 복소해석학에서 가장 아름다운 공식 중 하나입니다.

이 공식을 이용하면 극형식을 간결하게 쓸 수 있습니다.

특히 $\theta = \pi$를 대입하면 오일러 항등식(Euler's Identity)을 얻습니다.

이 식은 수학의 다섯 가지 근본 상수 $e$, $i$, $\pi$, $1$, $0$을 하나의 등식으로 연결합니다.

극형식의 곱셈: $z_1 = r_1 e^{i\theta_1}$, $z_2 = r_2 e^{i\theta_2}$이면

즉 절댓값은 곱해지고, 편각은 더해집니다. 복소수의 곱셈은 "크기 조절 + 회전"입니다.

복소함수

정의

복소함수(Complex Function)란 복소수에서 복소수로의 함수 $f: \mathbb{C} \to \mathbb{C}$를 말합니다. $z = x + iy$일 때 $f(z) = u(x,y) + iv(x,y)$로 쓸 수 있으며, 여기서 $u$와 $v$는 두 실변수 함수입니다.

예시: $f(z) = z^2$일 때

따라서 $u(x,y) = x^2 - y^2$, $v(x,y) = 2xy$입니다.

극한과 연속

복소함수 $f$의 $z_0$에서의 극한은 다음과 같이 정의합니다.

핵심적인 차이는 $z$가 $z_0$에 어느 방향에서든 접근할 수 있다는 점입니다. 실수 극한에서는 좌극한과 우극한 두 방향만 확인하면 되었지만, 복소 극한에서는 복소평면의 모든 방향에서 같은 값에 수렴해야 합니다.

$f$가 $z_0$에서 연속(Continuous)이라 함은 $\lim_{z \to z_0} f(z) = f(z_0)$가 성립하는 것입니다.

코시-리만 방정식

복소함수 $f(z) = u(x,y) + iv(x,y)$가 $z_0$에서 복소 미분 가능(Complex Differentiable)하다는 것은 다음 극한이 존재한다는 뜻입니다.

여기서 $h$는 복소수이므로, 이 극한이 $h$가 접근하는 방향에 무관하게 같은 값이어야 합니다.

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

$h = \Delta x$ (실수 방향)와 $h = i\Delta y$ (허수 방향)로 접근하면 다음 조건을 얻습니다.

역(충분조건): $u, v$의 편도함수가 존재하고 연속이면서 코시-리만 방정식을 만족하면, $f$는 그 점에서 복소 미분 가능합니다.

예시: $f(z) = z^2$에서 $u = x^2 - y^2$, $v = 2xy$일 때

코시-리만 방정식이 모든 점에서 성립하므로 $f(z) = z^2$은 전체 복소평면에서 미분 가능합니다.

반례: $f(z) = \overline{z} = x - iy$에서 $u = x$, $v = -y$입니다.

코시-리만 방정식이 성립하지 않으므로 $f(z) = \overline{z}$는 어디서도 복소 미분 가능하지 않습니다.

조화함수와의 관계

코시-리만 방정식으로부터 $u$와 $v$가 각각 라플라스 방정식(Laplace's Equation)을 만족함을 보일 수 있습니다.

이러한 함수를 조화함수(Harmonic Function)라 하며, $v$를 $u$의 조화켤레(Harmonic Conjugate)라 합니다.

조화함수 심화

조화함수는 복소해석학과 편미분방정식을 잇는 핵심 고리입니다. 영역 $\Omega$에서 $\nabla^2 u = 0$을 만족하는 $C^2$ 함수 $u$를 조화함수라 합니다.

평균값 성질의 역도 성립합니다. 연속함수가 모든 충분히 작은 원에 대하여 평균값 성질을 만족하면 그 함수는 조화입니다.

조화켤레의 구성

단순 연결 영역에서 조화함수 $u$가 주어지면, 코시-리만 방정식을 이용하여 조화켤레(Harmonic Conjugate) $v$를 선적분으로 구성할 수 있습니다.

예시: $u(x, y) = x^2 - y^2$가 조화임을 확인하고 조화켤레를 구합니다.

따라서 $v(x, y) = 2xy + C$이고, $f(z) = u + iv = (x^2 - y^2) + 2ixy = z^2 + iC$입니다.

디리클레 문제 (Dirichlet Problem)

디리클레 문제(Dirichlet Problem)는 다음과 같은 경계값 문제입니다.

단위 원판에서의 풀이 (푸아송 적분 공식): 단위 원판 $\mathbb{D}$에서 경계값 $g(e^{i\phi})$가 주어지면 해는 다음과 같습니다.

피적분함수의 핵 $\dfrac{1 - r^2}{1 - 2r\cos(\theta - \phi) + r^2}$를 푸아송 핵(Poisson Kernel)이라 합니다.

정칙함수의 성질

열린 집합 $\Omega \subseteq \mathbb{C}$의 모든 점에서 복소 미분 가능한 함수를 정칙함수(Holomorphic Function)라 합니다. 전체 복소평면 $\mathbb{C}$에서 정칙인 함수를 전칙함수(Entire Function)라 합니다.

해석적 함수와의 동치

실수 해석학에서는 "미분 가능"과 "해석적(멱급수 전개 가능)"이 전혀 다른 개념입니다. 예를 들어 $f(x) = e^{-1/x^2}$ ($x \neq 0$), $f(0) = 0$은 무한 번 미분 가능하지만 $x = 0$ 근방에서 멱급수로 표현되지 않습니다.

그러나 복소해석학에서는 놀라운 동치가 성립합니다.

멱급수 표현

$f$가 $z_0$을 포함하는 열린 원판에서 정칙이면, 다음과 같이 멱급수(Power Series)로 전개됩니다.

이 급수의 수렴 반지름(Radius of Convergence) $R$은 $z_0$에서 가장 가까운 특이점까지의 거리와 같습니다.

최대절대값 원리 (Maximum Modulus Principle)

증명 개요: 평균값 성질에 의해 $f(z_0) = \dfrac{1}{2\pi}\displaystyle\int_0^{2\pi} f(z_0 + re^{i\theta})\,d\theta$입니다. 만약 $|f(z_0)|$가 최대라면 $|f(z_0)| \leq \dfrac{1}{2\pi}\displaystyle\int_0^{2\pi} |f(z_0 + re^{i\theta})|\,d\theta \leq |f(z_0)|$이므로 원둘레 위에서 $|f|$가 상수이고, 이를 반복하면 $f$ 자체가 상수임을 보일 수 있습니다.

최소절대값 원리: $f$가 $\Omega$에서 정칙이고 영점을 갖지 않으면, $|f(z)|$는 $\Omega$ 내부에서 최솟값도 갖지 않습니다. ($1/f$에 최대절대값 원리를 적용합니다.)

슈바르츠 보조정리 (Schwarz Lemma)

증명 개요: $g(z) = f(z)/z$로 정의하면 ($z = 0$에서 제거가능 특이점), $g$는 $\mathbb{D}$에서 정칙입니다. $|z| = r < 1$인 원 위에서 $|g(z)| \leq 1/r$이고, 최대절대값 원리에 의해 $|g(z)| \leq 1/r$이 원판 내부에서도 성립합니다. $r \to 1$로 보내면 $|g(z)| \leq 1$, 즉 $|f(z)| \leq |z|$을 얻습니다.

슈바르츠 보조정리는 쌍곡기하학, 자기동형사상 분류, 고정점 정리 등에 광범위하게 응용됩니다. 특히 단위 원판의 자기동형사상(automorphism)이 모두 뫼비우스 변환 $f(z) = e^{i\alpha}\dfrac{z - a}{1 - \overline{a}z}$ ($|a| < 1$)의 형태임을 증명하는 데 핵심적으로 사용됩니다.

슈바르츠-픽 정리(Schwarz-Pick Theorem): 단위 원판에서 단위 원판으로의 정칙 사상 $f$에 대하여 쌍곡 거리가 축소됩니다.

기본 정칙함수

복소 지수함수 (Complex Exponential)

복소 지수함수는 다음과 같이 정의합니다.

실수 지수함수와 달리, 복소 지수함수는 주기함수입니다. 주기는 $2\pi i$입니다.

복소 삼각함수

오일러 공식을 이용하여 복소 삼각함수를 정의합니다.

실수에서는 $|\sin x| \leq 1$, $|\cos x| \leq 1$이지만, 복소수 범위에서는 이 부등식이 성립하지 않습니다. 예를 들어

절댓값이 1보다 큽니다.

복소 로그함수 (Complex Logarithm)

$e^w = z$를 만족하는 $w$를 $z$의 로그라 합니다. $z = re^{i\theta}$이면

복소 로그함수는 다가함수(Multi-valued Function)입니다. 하나의 값을 선택하려면 편각의 범위를 제한해야 합니다. 주치(Principal Value)를 다음과 같이 정의합니다.

복소 적분

경로적분 (Contour Integral)

복소평면에서의 적분은 경로(Contour)를 따라 정의합니다. 경로 $\gamma: [a,b] \to \mathbb{C}$가 주어지면

예시: $f(z) = z$이고 $\gamma(t) = e^{it}$ ($0 \leq t \leq 2\pi$, 단위원)이면

핵심적인 적분 하나를 계산해 봅시다. $\gamma$가 원점 중심 반지름 $r$인 원일 때

이 결과는 유수 정리의 가장 기본적인 경우입니다.

코시 정리 (Cauchy's Theorem)

직관적으로, 정칙함수를 닫힌 경로를 따라 적분하면 "출발점으로 돌아왔을 때 총 변화량이 0"이 됩니다.

단순 연결 영역이란 "구멍이 없는" 영역을 말합니다. 정확히는, 영역 안의 모든 닫힌 곡선을 연속적으로 한 점으로 수축시킬 수 있는 영역입니다.

경로 독립성: 코시 정리의 직접적인 결과로, 단순 연결 영역에서 정칙함수의 적분값은 경로에 무관하고 시작점과 끝점에만 의존합니다.

코시 적분 공식

이 공식의 의미는 심오합니다. 경계에서의 함수값만으로 내부 임의의 점에서의 함수값을 복원할 수 있다는 것입니다. 정칙함수의 값은 경계 조건에 의해 완전히 결정됩니다.

도함수 공식

코시 적분 공식을 반복 미분하면 $n$-차 도함수에 대한 공식을 얻습니다.

이로부터 정칙함수는 무한 번 미분 가능하다는 사실이 증명됩니다.

코시 부등식과 리우빌 정리

도함수 공식에서 코시 부등식(Cauchy's Inequality)을 이끌어 낼 수 있습니다.

여기서 $M = \max_{|z - z_0| = R} |f(z)|$입니다.

증명 개요: $f$가 전칙이고 $|f(z)| \leq M$이면, 코시 부등식에서 $n = 1$로 놓으면 모든 $z_0$에 대하여 $|f'(z_0)| \leq M/R$입니다. $R \to \infty$로 보내면 $f'(z_0) = 0$이므로 $f$는 상수입니다.

응용 (대수학의 기본정리): 리우빌 정리로부터 대수학의 기본정리(Fundamental Theorem of Algebra)를 증명할 수 있습니다. 상수가 아닌 복소 다항식은 반드시 복소수 근을 가집니다.

급수 전개

테일러 급수 (Taylor Series)

$f$가 $z_0$을 중심으로 반지름 $R$인 원판 $D(z_0, R)$에서 정칙이면

수렴 반지름 $R$은 $z_0$에서 가장 가까운 특이점까지의 거리입니다.

예시:

로랑 급수 (Laurent Series)

$f$가 고리 영역(Annulus) $r < |z - z_0| < R$에서 정칙이면, 로랑 급수(Laurent Series)로 전개할 수 있습니다.

계수는 다음과 같이 주어집니다.

테일러 급수와의 차이점은 음의 거듭제곱 항 $(z-z_0)^{-n}$이 포함된다는 것입니다. 이 주부(Principal Part)가 특이점의 성질을 결정합니다.

예시: $f(z) = \dfrac{e^z}{z^2}$의 $z = 0$ 근방 로랑 급수

특이점 분류

함수 $f$가 $z_0$ 근방에서 정칙이지만 $z_0$ 자체에서는 정칙이 아닐 때, $z_0$를 고립 특이점(Isolated Singularity)이라 합니다. 로랑 급수의 주부에 따라 세 가지로 분류합니다.

제거가능 특이점

$f(z) = \dfrac{\sin z}{z}$는 $z = 0$에서 정의되지 않지만, $\lim_{z \to 0} \dfrac{\sin z}{z} = 1$이 존재합니다. $f(0) = 1$로 정의하면 전체 복소평면에서 정칙인 함수가 됩니다. 이러한 특이점을 제거가능 특이점(Removable Singularity)이라 합니다.

극점

$z_0$가 $m$차 극점(Pole)이면 $f(z) = \dfrac{g(z)}{(z-z_0)^m}$으로 쓸 수 있으며, $g$는 $z_0$에서 정칙이고 $g(z_0) \neq 0$입니다. 이때 $\lim_{z \to z_0} |f(z)| = \infty$입니다.

본질적 특이점과 피카르 정리

본질적 특이점(Essential Singularity) 근방에서는 함수가 극도로 불규칙하게 진동합니다.

예시: $e^{1/z}$는 $z = 0$ 근방에서 0을 제외한 모든 복소수 값을 무한히 많이 취합니다.

유수 정리 (Residue Theorem)

로랑 급수에서 $(z - z_0)^{-1}$의 계수 $a_{-1}$을 특이점 $z_0$에서의 유수(Residue)라 합니다.

유수 계산법

단순극점(1차 극점)인 경우:

$m$차 극점인 경우:

$f(z) = p(z)/q(z)$이고 $q(z_0) = 0$이 단순근인 경우:

예시: 유수 계산

$f(z) = \dfrac{z}{(z-1)(z-2)}$의 유수를 구합니다.

• $z = 1$은 단순극점: $\text{Res}(f, 1) = \lim_{z \to 1}(z-1)\dfrac{z}{(z-1)(z-2)} = \dfrac{1}{-1} = -1$
• $z = 2$는 단순극점: $\text{Res}(f, 2) = \lim_{z \to 2}(z-2)\dfrac{z}{(z-1)(z-2)} = \dfrac{2}{1} = 2$

따라서 두 특이점을 모두 포함하는 경로 $\gamma$에 대하여

실적분 계산 응용

유수 정리의 가장 강력한 응용 중 하나는 실수 적분을 복소 적분으로 변환하여 계산하는 것입니다.

예시 1: 삼각함수 적분

$\displaystyle I = \int_0^{2\pi} \frac{d\theta}{2 + \cos\theta}$를 계산합니다.

$z = e^{i\theta}$로 치환하면 $\cos\theta = \dfrac{z + z^{-1}}{2}$, $d\theta = \dfrac{dz}{iz}$이므로

$z^2 + 4z + 1 = 0$의 근은 $z = -2 \pm \sqrt{3}$입니다. $|z| < 1$인 근은 $z_0 = -2 + \sqrt{3}$뿐입니다.

예시 2: 이상 적분

$\displaystyle \int_{-\infty}^{\infty} \frac{dx}{1 + x^2} = \pi$를 유수 정리로 확인합니다.

$f(z) = \dfrac{1}{1+z^2} = \dfrac{1}{(z+i)(z-i)}$이고, 상반 평면의 큰 반원 경로를 택합니다. 상반 평면의 극점은 $z = i$뿐이고

예시 3: 유리함수의 적분

$\displaystyle \int_{-\infty}^{\infty} \frac{x^2}{(x^2+1)(x^2+4)}\,dx$를 계산합니다.

$f(z) = \dfrac{z^2}{(z^2+1)(z^2+4)}$의 상반 평면 극점은 $z = i$와 $z = 2i$입니다.

예시 4: 푸리에형 적분

$\displaystyle \int_{-\infty}^{\infty} \frac{\cos x}{x^2 + 1}\,dx$를 계산합니다. $\cos x = \text{Re}(e^{ix})$를 이용합니다.

$g(z) = \dfrac{e^{iz}}{z^2+1}$를 상반 평면 반원 경로에 대하여 적분합니다. 상반 평면에서 $|e^{iz}| = e^{-\text{Im}(z)} \leq 1$이므로 조르당 보조정리(Jordan's Lemma)에 의해 반원 위의 적분이 0으로 수렴합니다.

실수부를 취하면 $\displaystyle\int_{-\infty}^{\infty} \frac{\cos x}{x^2+1}\,dx = \frac{\pi}{e}$입니다.

예시 5: 분기점이 있는 적분

$\displaystyle \int_0^{\infty} \frac{x^{a-1}}{1+x}\,dx$ ($0 < a < 1$)를 열쇠 구멍(keyhole) 경로로 계산합니다.

$f(z) = \dfrac{z^{a-1}}{1+z}$에서 $z^{a-1} = e^{(a-1)\text{Log}\,z}$로 정의하고, 양의 실수축을 가지 절단으로 택합니다. 열쇠 구멍 경로를 따라 적분하면, 가지 절단 위쪽과 아래쪽에서의 적분 차이가 $(1 - e^{2\pi i(a-1)})$배가 됩니다.

정리하면 다음을 얻습니다.

등각사상 (Conformal Mapping)

등각사상(Conformal Mapping)은 두 곡선이 이루는 각도를 보존하는 사상입니다. $f$가 $z_0$에서 정칙이고 $f'(z_0) \neq 0$이면, $f$는 $z_0$에서 등각입니다.

등각사상의 핵심 성질은 다음과 같습니다.

• 각도 보존: 두 곡선이 만나는 각도가 사상 후에도 유지됩니다.
• 방향 보존: 반시계 방향이 반시계 방향으로 사상됩니다.
• 국소적으로 크기 비율이 일정: $|f'(z_0)|$배로 확대/축소됩니다.

뫼비우스 변환 (Moebius Transformation)

뫼비우스 변환(Moebius Transformation)은 다음 형태의 함수입니다.

뫼비우스 변환의 성질:

• 원과 직선을 원이나 직선으로 사상합니다.
• 뫼비우스 변환의 합성, 역변환도 뫼비우스 변환입니다.
• 서로 다른 세 점의 상을 지정하면 뫼비우스 변환이 유일하게 결정됩니다.
• 등각사상입니다.

예시: $T(z) = \dfrac{z - i}{z + i}$는 상반 평면 $\{z : \text{Im}(z) > 0\}$을 단위 원판 $\{w : |w| < 1\}$으로 사상합니다.

주요 등각사상 예시

주코프스키 변환 (Joukowski Transformation):

이 변환은 항공역학에서 핵심적으로 사용됩니다. 원점을 포함하지 않는 원을 날개 단면(airfoil) 형태로 사상합니다. 단위원 $|z| = 1$ 위의 점 $z = e^{i\theta}$는 $w = 2\cos\theta$로 사상되어 실수축 위의 구간 $[-2, 2]$가 됩니다.

지수사상: $w = e^z$는 수평 띠 $\{z : 0 < \text{Im}(z) < \pi\}$를 상반 평면으로 사상합니다. 수평선 $y = c$는 원점을 지나는 반직선 $\arg(w) = c$로, 수직선 $x = c$는 반지름 $e^c$인 원으로 사상됩니다.

로그사상: $w = \text{Log}\,z$는 지수사상의 역으로, 가지 절단(음의 실수축)이 있는 평면을 수평 띠로 사상합니다.

거듭제곱사상: $w = z^\alpha$ ($\alpha > 0$)는 꼭지각 $\beta$인 부채꼴 영역을 꼭지각 $\alpha\beta$인 부채꼴로 사상합니다. 특히 $w = z^2$은 상반 평면을 전체 평면(가지 절단 제외)으로 사상합니다.

경계 대응 (Boundary Correspondence)

등각사상은 경계를 경계로 사상합니다. 구체적인 경계 대응을 추적하는 것이 응용에서 핵심입니다.

리만 사상정리 (Riemann Mapping Theorem)

이 정리는 존재성만 보장하고 사상의 구체적 형태는 제시하지 않습니다. 그러나 "구멍이 없는 모든 영역이 본질적으로 원판과 같다"는 심오한 사실을 알려줍니다.

해석적 연속 (Analytic Continuation)

함수가 특정 영역에서만 정의되어 있을 때, 정칙성을 유지하면서 더 넓은 영역으로 확장하는 것을 해석적 연속(Analytic Continuation)이라 합니다.

예시: 기하급수 $f(z) = \sum_{n=0}^{\infty} z^n$은 $|z| < 1$에서만 수렴합니다. 그러나 이 급수의 합은 $\dfrac{1}{1-z}$이고, 이 함수는 $z = 1$을 제외한 전체 복소평면에서 정칙입니다. 따라서 $\dfrac{1}{1-z}$는 $f$의 해석적 연속입니다.

리만 제타 함수: 해석적 연속의 가장 유명한 예시는 리만 제타 함수(Riemann Zeta Function)입니다.

이 급수는 $\text{Re}(s) > 1$에서만 수렴하지만, 해석적 연속을 통해 $s = 1$을 제외한 전체 복소평면으로 확장됩니다. $s = 1$은 단순극점입니다.

유명한 결과로, 해석적 연속을 통해 다음과 같은 "놀라운" 값이 얻어집니다.

이것은 "발산하는 급수 $1 + 2 + 3 + \cdots$의 합이 $-1/12$이다"라는 비유적 표현의 엄밀한 의미입니다. 실제로는 원래의 급수가 수렴하는 것이 아니라, 해석적 연속에 의해 얻어진 함수값입니다.

편각 원리와 루셰 정리

편각 원리 (Argument Principle)

편각 원리는 정칙함수의 영점과 극점의 개수를 경로적분으로 셀 수 있게 합니다.

직관적으로, $f'(z)/f(z) = (\log f(z))'$이므로 이 적분은 $\gamma$를 한 바퀴 돌 때 $\log f(z)$의 변화량, 즉 $f(\gamma)$가 원점 주위를 도는 횟수(감김수, winding number)를 나타냅니다.

예시: $f(z) = z^3 - 1$이 $|z| = 2$ 내부에서 가지는 영점의 수는

으로, $z^3 = 1$의 세 근 $1, e^{2\pi i/3}, e^{4\pi i/3}$이 모두 $|z| < 2$ 안에 있음을 확인합니다.

루셰 정리 (Rouché's Theorem)

예시: $p(z) = z^5 + 3z + 1$이 $|z| < 1$ 내부에 가지는 영점의 수를 구합니다.

$f(z) = 3z$, $g(z) = z^5 + 1$로 놓으면 $|z| = 1$ 위에서 $|f(z)| = 3$이고 $|g(z)| \leq |z|^5 + 1 = 2 < 3 = |f(z)|$입니다. 따라서 $p(z) = f(z) + g(z)$와 $f(z) = 3z$는 $|z| < 1$ 내부에서 같은 수의 영점을 가집니다. $f(z) = 3z$는 단순영점 $z = 0$ 하나를 가지므로, $p(z)$도 $|z| < 1$ 내부에 정확히 1개의 영점을 가집니다.

루셰 정리는 대수학의 기본정리의 또 다른 증명을 제공합니다. $p(z) = z^n + a_{n-1}z^{n-1} + \cdots + a_0$에서 $f(z) = z^n$, $g(z) = a_{n-1}z^{n-1} + \cdots + a_0$으로 놓으면, 충분히 큰 $R$에 대하여 $|z| = R$ 위에서 $|g(z)| < |f(z)|$이므로 $p(z)$는 정확히 $n$개의 영점을 가집니다.

정규족과 몬텔 정리

정규족(Normal Family)은 함수열의 수렴을 다루는 개념으로, 리만 사상정리의 증명에 핵심적인 역할을 합니다.

몬텔 정리는 아르첼라-아스콜리 정리(Arzelà-Ascoli Theorem)의 복소해석학 버전으로 볼 수 있습니다. 코시 부등식에 의해 국소 유계 함수족은 국소 동등연속(equicontinuous)이므로 아르첼라-아스콜리 정리가 적용됩니다.

응용: 몬텔 정리의 직접적인 결과로 비탈리 수렴 정리(Vitali's Convergence Theorem)를 증명할 수 있습니다. 국소 유계인 정칙함수열 $\{f_n\}$이 집적점을 가지는 점 집합 위에서 수렴하면, $\Omega$ 전체에서 고르게 수렴합니다.

리만 사상정리 증명 스케치

리만 사상정리는 복소해석학에서 가장 심오한 정리 중 하나입니다. 증명의 핵심 아이디어를 간략히 서술합니다.

목표: 단순 연결 영역 $\Omega \subsetneq \mathbb{C}$와 점 $z_0 \in \Omega$가 주어졌을 때, $f(z_0) = 0$이고 $f'(z_0) > 0$인 전단사 정칙 사상 $f: \Omega \to \mathbb{D}$의 존재를 보입니다.

증명 스케치 (몬텔 정리를 이용):

1. 후보 함수족 구성: $\mathcal{F} = \{f: \Omega \to \mathbb{D} \mid f \text{ 정칙 단사}, f(z_0) = 0, f'(z_0) > 0\}$를 정의합니다.
2. $\mathcal{F} \neq \emptyset$ 확인: $\Omega \neq \mathbb{C}$이므로 $a \notin \Omega$인 점 $a$가 존재합니다. 단순 연결성을 이용하여 $\sqrt{z - a}$의 가지를 $\Omega$에서 정의할 수 있고, 적절한 뫼비우스 변환과 합성하여 $\mathcal{F}$의 원소를 구성합니다.
3. 극대화 문제: $\sup_{f \in \mathcal{F}} f'(z_0)$를 달성하는 함수 $f_0$를 구합니다. $\mathcal{F}$는 단위 원판에 값을 가지므로 국소 유계이고, 몬텔 정리에 의해 정규족입니다. 따라서 $f'(z_0)$의 상한에 수렴하는 부분수열이 존재하고, 그 극한 $f_0$가 $\mathcal{F}$에 속함을 보입니다.
4. $f_0$가 전사임을 증명: 만약 $w_0 \in \mathbb{D} \setminus f_0(\Omega)$라면, $\sqrt{\dfrac{f_0(z) - w_0}{1 - \overline{w_0}f_0(z)}}$에 적절한 뫼비우스 변환을 합성하여 $f_0$보다 큰 도함수를 가지는 $\mathcal{F}$의 원소를 구성할 수 있으므로 모순이 됩니다.

다가함수와 리만면

복소 로그함수, 거듭제곱근 등은 하나의 입력에 여러 출력을 가지는 다가함수(Multi-valued Function)입니다. 리만은 이를 해결하기 위해 리만면(Riemann Surface)이라는 기하학적 구조를 도입하였습니다.

분기점 (Branch Point)

$f(z) = \sqrt{z}$를 생각합시다. 원점 주위를 한 바퀴 돌면 ($z = re^{i\theta}$에서 $\theta$를 $0$에서 $2\pi$로 변화시키면) $\sqrt{z}$의 값이 $\sqrt{r}e^{i\theta/2}$에서 $\sqrt{r}e^{i(\theta+2\pi)/2} = -\sqrt{r}e^{i\theta/2}$로 부호가 바뀝니다. 이처럼 한 바퀴 돌면 가지가 바뀌는 점을 분기점(Branch Point)이라 합니다.

$f(z) = \sqrt{z}$의 분기점은 $z = 0$과 $z = \infty$이며, $f(z) = \sqrt{z(z-1)}$의 분기점은 $z = 0$과 $z = 1$입니다.

리만면의 구성

리만면은 다가함수를 단가함수(single-valued function)로 만들기 위한 표면입니다. $\sqrt{z}$의 리만면은 복소평면의 두 복사본("시트")을 가지 절단을 따라 교차 연결하여 구성합니다.

일반적으로 $n$차 근 $z^{1/n}$의 리만면은 $n$장의 시트를 가집니다. $\log z$의 리만면은 무한히 많은 시트를 가지며, 나선형 계단처럼 연결됩니다.

전함수 이론

전함수(Entire Function)는 $\mathbb{C}$ 전체에서 정칙인 함수입니다. 다항함수, $e^z$, $\sin z$, $\cos z$ 등이 전함수입니다.

증가 위수 (Order of Growth)

전함수 $f$의 위수(Order) $\rho$는 $f$의 증가 속도를 나타내는 지표입니다.

예시:

• 다항식: $\rho = 0$
• $e^z$: $M(r) = e^r$이므로 $\rho = 1$
• $e^{z^2}$: $M(r) = e^{r^2}$이므로 $\rho = 2$
• $\cos\sqrt{z}$: $\rho = 1/2$

바이어슈트라스 인수분해 정리 (Weierstrass Factorization)

전함수는 그 영점들에 의해 본질적으로 결정됩니다.

예시: $\sin(\pi z)$의 영점은 $z = n$ ($n \in \mathbb{Z}$)이므로

이 무한곱 표현에서 $z = 1/2$를 대입하면 유명한 왈리스 곱(Wallis Product) $\dfrac{\pi}{2} = \displaystyle\prod_{n=1}^{\infty}\frac{4n^2}{4n^2 - 1}$을 얻습니다.

아다마르 인수분해 정리 (Hadamard Factorization)

아다마르 정리는 바이어슈트라스 정리를 정제하여, 전함수의 위수가 인수분해의 구조를 결정함을 보여줍니다.

유수함수와 미타크-레플러 정리

유수함수(Meromorphic Function)란 극점을 제외하면 정칙인 함수입니다. 유수함수는 두 전함수의 비 $f(z) = p(z)/q(z)$로 표현됩니다.

미타크-레플러 정리 (Mittag-Leffler Theorem)

바이어슈트라스 인수분해 정리가 "주어진 영점을 가지는 전함수의 존재"를 보장한다면, 미타크-레플러 정리는 "주어진 극점과 주부를 가지는 유수함수의 존재"를 보장합니다.

예시: $\cot(\pi z) = \cos(\pi z)/\sin(\pi z)$는 $z = n$ ($n \in \mathbb{Z}$)에서 단순극점을 가지며, 유수가 모두 $1/\pi$입니다. 미타크-레플러 전개를 적용하면

응용: 위 전개에서 $z = 0$ 근방의 테일러 전개를 비교하면 다음과 같은 급수 공식을 얻습니다.

타원함수 개요

타원함수(Elliptic Function)는 이중주기(Doubly Periodic)를 가지는 유수함수입니다.

이중주기성

타원함수 $f$는 $\mathbb{C}$에서 유수이며 두 개의 일차독립인 주기 $\omega_1, \omega_2$를 가집니다.

주기 격자(period lattice) $\Lambda = \{m\omega_1 + n\omega_2 : m, n \in \mathbb{Z}\}$에 의해 $\mathbb{C}$가 평행사변형 영역(기본 영역)으로 분할됩니다. 타원함수는 이 기본 영역 위에서의 값에 의해 완전히 결정됩니다.

바이어슈트라스 ℘함수

가장 기본적인 타원함수는 바이어슈트라스 ℘함수(Weierstrass ℘-function)입니다.

℘함수는 위수 2인 짝함수(even function)이며, 각 격자점에서 2차 극점을 가집니다. 그 도함수 $\wp'(z)$는 위수 3인 홀함수(odd function)입니다.

℘함수는 다음의 미분방정식을 만족합니다.

여기서 $g_2 = 60\displaystyle\sum_{\omega \neq 0}\omega^{-4}$, $g_3 = 140\displaystyle\sum_{\omega \neq 0}\omega^{-6}$은 아이젠슈타인 급수(Eisenstein Series)입니다.

또한 임의의 타원함수는 $\wp(z)$와 $\wp'(z)$의 유리함수로 표현됩니다. 따라서 $\wp$와 $\wp'$는 주어진 격자에 대한 타원함수체(field of elliptic functions)의 생성원입니다.

덧셈 공식: ℘함수는 다음과 같은 대수적 덧셈 정리를 만족합니다. $z_1 + z_2 \notin \Lambda$이면

이 공식은 타원곡선 위의 군 연산(group law)에 대응합니다.

여러변수 복소해석 개요

한 변수 복소해석학의 많은 정리가 여러변수($\mathbb{C}^n$, $n \geq 2$)에서는 본질적으로 달라집니다. 이 절에서는 주요 차이점을 개관합니다.

하르톡스 현상 (Hartogs Phenomenon)

이는 한 변수에서는 절대 일어나지 않는 현상입니다. 한 변수에서 $1/z$는 $\mathbb{C} \setminus \{0\}$에서 정칙이지만 $\mathbb{C}$ 전체로 확장할 수 없습니다. 여러변수에서는 고립 특이점이 존재하지 않습니다.

정칙 영역과 레비 문제

한 변수에서는 모든 열린 집합이 정칙 영역(domain of holomorphy)이지만, 여러변수에서는 그렇지 않습니다. 위의 하르톡스 정리가 그 예시입니다.

정칙 영역(Domain of Holomorphy)이란, 더 큰 영역으로는 정칙 확장할 수 없는 영역을 말합니다. 레비(Levi) 문제는 정칙 영역의 기하학적 특성화를 묻는 것으로, 의사볼록성(Pseudoconvexity)과 동치임이 증명되었습니다.

코시 적분 공식의 일반화

여러변수에서의 코시 적분 공식은 다음과 같이 일반화됩니다. $\mathbb{C}^n$에서의 다중 원판(polydisc) $D = D_1 \times \cdots \times D_n$에 대하여

여러변수 복소해석학은 대수기하학, 복소기하학, 편미분방정식론 등과 깊이 연결되어 있으며, $\overline{\partial}$-문제(Cauchy-Riemann 방정식의 비동차 버전)의 해의 존재와 정칙성이 핵심 주제입니다. 호르만더(Hörmander)의 $L^2$-추정법은 이 분야의 현대적 발전에 결정적인 기여를 하였습니다. 오카(Oka)의 연접 정리(coherence theorem)와 카르탕(Cartan)의 정리 A, B 등은 층(sheaf) 이론의 관점에서 여러변수 복소해석학의 기반을 형성합니다.

응용

유체역학

2차원 비압축성 비회전 유체(irrotational flow)의 흐름은 복소 퍼텐셜(Complex Potential) $\Phi(z) = \phi(x,y) + i\psi(x,y)$로 기술됩니다. 여기서 $\phi$는 속도 퍼텐셜, $\psi$는 유선 함수(stream function)입니다. 코시-리만 방정식에 의해 이들은 자동으로 라플라스 방정식을 만족합니다.

유체의 복소 속도는 $\overline{V} = \Phi'(z)$이고, 물체 주위의 순환과 양력은 유수와 직접 관련됩니다.

쿠타-주코프스키 양력 정리: 순환 $\Gamma$를 가지는 물체에 작용하는 양력 $L$은

로, 유속 $U$와 순환에 비례합니다. 이 정리는 주코프스키 변환과 결합하여 항공기 날개의 양력을 이론적으로 설명합니다.

전자기학

2차원 정전기 문제에서 전위 $\phi$와 전기력선 함수 $\psi$는 복소 퍼텐셜의 실수부와 허수부입니다. 등각사상을 이용하면 복잡한 경계 조건의 문제를 간단한 기하학적 형태로 변환하여 풀 수 있습니다.

예시: 두 평행판 사이의 전기장 문제를 뫼비우스 변환으로 동심원 문제로 변환하여 해를 구할 수 있습니다. 등각사상은 라플라스 방정식을 보존하므로, 변환된 영역에서 풀어진 해를 원래 영역으로 되돌리면 원래 문제의 해를 얻습니다.

제어공학

나이퀴스트 안정성 판별법(Nyquist Stability Criterion)은 편각 원리의 직접적인 응용입니다. 개루프 전달함수 $G(s)H(s)$가 나이퀴스트 경로를 따라 점 $(-1, 0)$을 감싸는 횟수를 세어 폐루프 시스템의 안정성을 판별합니다. 감김수 $N$, 우반 평면의 개루프 극점 수 $P$, 폐루프 불안정 극점 수 $Z$ 사이에 $Z = N + P$의 관계가 성립합니다.

정수론

복소해석학은 정수론에서 핵심적인 도구입니다. 소수 정리(Prime Number Theorem)의 증명은 리만 제타 함수 $\zeta(s)$가 $\text{Re}(s) = 1$에서 영점을 갖지 않음을 보이는 것에 기반합니다.

여기서 $\pi(x)$는 $x$ 이하의 소수의 개수입니다. 이 결과는 "소수의 분포"라는 순수 정수론적 문제가 복소함수론의 방법으로 해결된 놀라운 사례입니다.

리만 가설(Riemann Hypothesis)은 $\zeta(s)$의 자명하지 않은 영점이 모두 $\text{Re}(s) = \frac{1}{2}$ 위에 있다는 미해결 추측으로, 수학에서 가장 중요한 미해결 문제 중 하나입니다.

함수방정식: 해석적 연속된 제타 함수는 다음의 함수방정식을 만족합니다.

이 대칭성에 의해 $s = -2, -4, -6, \ldots$가 자명한 영점(Trivial Zeros)이 됩니다.

핵심 요약