복소적분
윤곽적분, 매개화, ML 부등식
개요
복소적분은 평면 위 곡선(윤곽, contour)을 따라가는 선적분이다. 실적분 $\int_a^b f\,dx$가 구간 위의 적분이라면, 복소적분 $\int_C f(z)\,dz$는 곡선 위의 적분이다. 매개화로 실적분으로 환원해 계산하지만, 진짜 마법은 다음 페이지들에서 시작된다: 피적분함수가 해석적이면 적분값이 경로와 무관해진다. 이 페이지는 정의·계산법·기본 부등식(ML), 그리고 그 무관성이 어디서 어떻게 깨지고 성립하는지를 정비한다 — 코시 정리의 토대가 되는 장이다.
직관 — 적분은 "일(work)"이다
$f(z)\,dz$를 실부·허부로 풀면 $\int_C(u\,dx-v\,dy) + i\int_C(v\,dx+u\,dy)$이다. 첫 항은 벡터장 $(u,-v)$가 경로 $C$를 따라 하는 일(work)의 선적분이고, 둘째 항은 그 벡터장의 플럭스(flux)에 해당한다 — 물리학의 일·순환(circulation) 개념과 정확히 같은 형태다. 벡터장이 "보존적(conservative)"이면(즉 어떤 퍼텐셜의 기울기이면) 닫힌 경로를 따라간 일은 $0$이고 경로와 무관하다. 해석함수의 적분이 원시함수 $F$를 가질 때 경로 무관이 되는 것은 바로 이 보존장 그림의 복소판이다. 반대로 예제 2의 $\bar z$처럼 비해석적인 피적분함수는 "소용돌이"가 있는 비보존장에 해당해 경로마다 답이 달라진다. $\oint_{|z|=1} z^{-1}dz = 2\pi i \ne 0$도 같은 그림으로 이해할 수 있다: $1/z$는 원점에서 특이점을 가지는 "소용돌이의 근원"이고, 그 소용돌이를 감싸는 폐곡선은 $0$이 아닌 순환을 갖는다.
정의
매끄러운 곡선 $C$: $z(t) = x(t) + iy(t)$, $t\in[a,b]$, $z'(t)$ 연속·비영. 윤곽(contour): 매끄러운 곡선들을 이어붙인 조각별 매끄러운 곡선.
윤곽적분:1 $$\int_C f(z)\,dz = \int_a^b f(z(t))\,z'(t)\,dt.$$ 실부·허부로 풀면 $\int_C (u+iv)(dx + i\,dy) = \int_C(u\,dx - v\,dy) + i\int_C(v\,dx + u\,dy)$.
호의 길이에 대한 적분: $\displaystyle\int_C |f(z)|\,|dz| = \int_a^b |f(z(t))|\,|z'(t)|\,dt$. $C$의 길이 $L = \int_C |dz|$.
주요 정리
정리 (기본 성질). 선형성, 경로 가법성($\int_{C_1+C_2} = \int_{C_1}+\int_{C_2}$), 그리고 방향 반전: $$\int_{-C} f(z)\,dz = -\int_C f(z)\,dz.$$
정리 (원시함수에 의한 계산, 복소판 미적분의 기본정리).2 $F$가 영역 $D$에서 해석적이고 $F' = f$이면, $D$ 안의 $z_1$에서 $z_2$로 가는 임의의 윤곽 $C$에 대해 $$\int_C f(z)\,dz = F(z_2) - F(z_1).$$ 특히 닫힌 윤곽이면 $0$.
증명 보기
증명. $z(t)$, $t\in[a,b]$를 $C$의 매개화라 하면 합성함수 $F(z(t))$의 도함수는 연쇄법칙으로 $\frac{d}{dt}F(z(t)) = F'(z(t))z'(t) = f(z(t))z'(t)$이다. 따라서 $$\int_C f(z)dz = \int_a^b f(z(t))z'(t)\,dt = \int_a^b \frac{d}{dt}F(z(t))\,dt = F(z(b))-F(z(a)) = F(z_2)-F(z_1)$$ — 실변수 미적분의 기본정리를 $F(z(t))$의 실부·허부 각각에 적용한 것. ∎
따름정리 (경로 무관성). 위 조건에서 적분값은 $C$의 구체적 모양이 아니라 시작점·끝점에만 의존한다 — $D$ 안에서 $z_1\to z_2$로 가는 두 경로 $C_1, C_2$의 적분값은 항상 같다. ($C_1$을 따라갔다가 $C_2$를 거꾸로 돌아오면 닫힌 윤곽이 되어 적분이 $0$이 되기 때문.) 이 따름정리는 코시 정리의 "약한 버전"(연속 도함수 가정 하의 그린 정리 증명)과 본질적으로 동치다 — $F$의 존재 자체가 닫힌 적분이 $0$임을 전제하기 때문에, 실제로는 정리의 방향이 반대로도 성립한다: 단순연결 영역에서 모든 닫힌 윤곽 적분이 $0$이면 원시함수 $F(z) = \int_{z_0}^z f(\zeta)d\zeta$를 (경로 무관이므로 잘 정의되는 적분으로) 구성할 수 있다.
정리 (ML 부등식 = 추정 보조정리). $C$ 위에서 $|f(z)|\le M$이고 $C$의 길이가 $L$이면 $$\left|\int_C f(z)\,dz\right| \le M L.$$
증명 보기
증명 스케치. $\left|\int_a^b f(z(t))z'(t)\,dt\right| \le \int_a^b |f(z(t))||z'(t)|\,dt \le M\int_a^b|z'(t)|\,dt = ML$. ∎
핵심 계산 — 기본 적분. 중심 $z_0$, 반지름 $r$인 양의 방향 원 $C$에 대해 $$\oint_C (z-z_0)^n\,dz = \begin{cases} 2\pi i & n=-1\\ 0 & n\ne-1\ (\text{정수})\end{cases}$$
증명 보기
증명. $z = z_0 + re^{i\theta}$, $dz = ire^{i\theta}d\theta$. $\oint = \int_0^{2\pi} r^n e^{in\theta}\cdot ir e^{i\theta}d\theta = ir^{n+1}\int_0^{2\pi}e^{i(n+1)\theta}d\theta$. $n\ne-1$이면 $\int_0^{2\pi}e^{i(n+1)\theta}d\theta=0$; $n=-1$이면 $i\int_0^{2\pi}d\theta = 2\pi i$. ∎ — 이 한 줄이 유수 정리와 실적분의 씨앗이다. 반지름 $r$이 답에 등장하지 않는다는 점도 주목할 만하다: 적분값이 원의 크기와 무관하다는 사실이, 곧 코시 정리에서 두 동심원의 적분이 같아진다는 변형(deformation) 원리의 가장 단순한 사례다.
정리 (그린 정리를 통한 "약한" 코시 정리로의 다리).3 $f=u+iv$가 단순연결 영역 $D$에서 해석적이고 도함수가 연속이면(코시 정리에서 이 연속성 가정은 나중에 제거된다), 임의의 닫힌 윤곽 $C\subset D$에 대해 $\oint_C f(z)\,dz = 0$.
증명 보기
증명 스케치. $\oint_C f\,dz = \oint_C(u\,dx-v\,dy) + i\oint_C(v\,dx+u\,dy)$로 쪼갠 뒤, 평면 그린 정리 $\oint_C(P\,dx+Q\,dy) = \iint_R (Q_x-P_y)\,dA$를 두 항에 각각 적용하면 실부는 $\iint_R(-v_x-u_y)dA$, 허부는 $\iint_R(u_x-v_y)dA$가 된다. 코시–리만 방정식에 의해 $u_x=v_y$, $u_y=-v_x$이므로 두 피적분함수가 항등적으로 $0$ — 따라서 적분 전체가 $0$. ∎ 이 증명은 깔끔하지만 "도함수의 연속성"이라는 추가 가정이 부담이다; 코시 정리은 이 가정 없이 같은 결론을 얻는 더 강한 정리를 다룬다.
예제
예제 1. $\displaystyle\int_C z^2\,dz$, $C$: $0\to1+i$ 직선. 원시함수 $F=z^3/3$ ⟹ $\dfrac{(1+i)^3}{3} = \dfrac{-2+2i}{3}$.
예제 2 (경로 의존 — 비해석 예). $\displaystyle\int_C \bar z\,dz$, $C$: $0\to1\to1+i$ (꺾은선) vs $0\to1+i$ (직선). - 직선 $z=t(1+i)$: $\bar z = t(1-i)$, $dz=(1+i)dt$, $\int_0^1 t(1-i)(1+i)dt = \int_0^1 2t\,dt = 1$. - 꺾은선: $\int_0^1 t\,dt + \int_0^1 (1-it)\,i\,dt = \tfrac12 + (i + \tfrac12) = 1 + i$. 서로 다르다! $\bar z$는 해석적이지 않아 경로에 의존한다.
예제 3. $\displaystyle\oint_{|z|=1}\frac{dz}{z} = 2\pi i$ (위 기본 적분 $n=-1$). 반면 $\oint_{|z|=1} z^2\,dz = 0$.
예제 4 (다중연결 영역에서의 변형). $\displaystyle\oint_{|z|=2}\frac{dz}{z}$를 직접 매개화로 계산하면 (반지름 무관성에 의해) 역시 $2\pi i$다. 이는 $|z|=1$과 $|z|=2$ 두 원이 $0$을 항상 감싸고 있는 한, 원의 크기와 무관하게 같은 값을 준다는 사실을 보여준다 — $1/z$가 $0<|z|<\infty$에서 해석적이므로, 두 원 사이의 고리 영역에서 적분값이 "변형(deformation)"에 불변이기 때문. 만약 폐곡선이 $0$을 감싸지 않으면(예: $|z-3|=1$) 적분은 $0$이다 — $1/z$가 그 폐곡선이 둘러싼 영역 전체에서 해석적이기 때문.
예제 5 (ML 부등식으로 적분의 소멸 보이기). $\displaystyle\int_{C_R} \frac{dz}{z^2}$, $C_R$: 반지름 $R\to\infty$인 상반원 호. $|z|=R$ 위에서 $|1/z^2|=1/R^2$이고 길이 $L=\pi R$이므로 ML 부등식으로 $\left|\int_{C_R}\right|\le \pi R\cdot R^{-2} = \pi/R \to 0$. 이런 "큰 호에서 적분이 사라진다"는 추정이 유수 정리와 실적분에서 실적분을 복소적분으로 계산하는 핵심 기법이다.
예제 6 (조각별 매끄러운 윤곽 — 사각형). $\displaystyle\oint_R z\,dz$, $R$: 꼭짓점 $0,1,1+i,i$를 잇는 정사각형(양의 방향). $z$는 전평면에서 해석적(원시함수 $z^2/2$)이므로 닫힌 적분은 바로 $0$ — 네 변을 일일이 매개화해 더하지 않아도 원시함수 정리로 즉시 결론 난다.
흔한 오해와 함정
- "매끄럽지 않은 점이 있으면 적분을 정의할 수 없다" — 윤곽은 조각별 매끄러운 곡선이면 충분하다(꼭짓점에서 방향이 꺾여도 괜찮다); 각 매끄러운 조각에서 적분하고 더하면 된다(예제 6).
- "$\int_C f\,dz = \int_C f\,|dz|$ (호의 길이 적분과 같다)" — 다르다. $dz = z'(t)dt$는 복소수(방향 포함)이고 $|dz|=|z'(t)|dt$는 양의 실수(길이 요소)다. 둘을 혼동하면 ML 부등식의 우변($M\cdot L$, $L$은 길이)과 좌변(복소수 적분의 절댓값)의 관계를 놓치게 된다.
- "원시함수가 있으면 항상 경로 무관" — 원시함수 $F$가 영역 전체에서 해석적이어야 한다. 예컨대 $1/z$는 $\mathbb{C}\setminus\{0\}$에서 해석적이지만 그 영역에서 전역적으로 일값인 원시함수($\log z$)가 없다 — 가지를 잘라야만 국소적으로 원시함수가 존재한다(초등함수 참고). 이것이 $\oint_{|z|=1}dz/z \ne 0$이 원시함수 정리와 모순되지 않는 이유다.
- "ML 부등식은 등식에 가깝게 날카롭다" — ML은 상한일 뿐이며 종종 매우 느슨하다. 실제 적분값이 $0$인데 $ML\ne0$인 경우가 흔하다(예제 3의 $z^2$ 적분).
- "닫힌 곡선의 적분은 항상 $0$이다" — 오직 피적분함수가 그 곡선이 둘러싼 영역 전체에서 해석적일 때만 그렇다(코시 정리). 특이점을 감싸면 일반적으로 $0$이 아니다(예제 3, 4).
큰 그림 / 연결
이 페이지의 세 기둥 — 매개화에 의한 직접 계산, 원시함수에 의한 경로 무관 계산, ML 부등식에 의한 추정 — 은 이후 모든 복소적분 이론의 도구상자다. 원시함수 정리와 "그린 정리를 통한 약한 코시 정리"는 코시 정리에서 연속성 가정이 제거된 일반적 형태로 다시 증명되며, 거기서 단순연결성이 핵심 가설로 등극한다. 기본 적분 $\oint(z-z_0)^{-1}dz=2\pi i$는 코시 적분공식에서 일반적인 $f(z)/(z-z_0)$ 꼴로 확장되고, 더 나아가 유수 정리와 실적분에서 임의의 고립 특이점 주변 적분을 계산하는 만능 도구(유수)로 일반화된다. ML 부등식은 큰 반원·사각형 등에서 적분이 사라짐을 보여 실적분을 복소적분으로 우회 계산하는 모든 테크닉의 엔진이다.
연습문제
- $\displaystyle\int_C \frac{1}{z}\,dz$, $C$: 반지름 $2$인 양의 방향 원을 계산하라.
- $\displaystyle\int_C e^z\,dz$, $C$: $0\to i\pi$ 임의 경로.
- ML 부등식으로 $\left|\displaystyle\oint_{|z|=2}\dfrac{dz}{z^2+1}\right|$의 상한을 구하라.
- $\displaystyle\oint_{|z|=1}(z - z^{-1})\,dz$를 계산하라.
- $\displaystyle\oint_{|z-3|=1} \frac{dz}{z}$를 계산하고, 왜 예제 3·4와 다른지 설명하라.
- $\displaystyle\int_C \operatorname{Re}(z)\,dz$, $C$: $0\to1\to1+i$ (꺾은선)와 $0\to1+i$ (직선)를 각각 계산해 경로 의존성을 확인하라.
- 그린 정리를 통한 약한 코시 정리의 증명에서, CR 방정식이 어느 단계에 사용되는지 정확히 짚어라.
힌트 / 정답
- $2\pi i$ (반지름 무관, 기본 적분 $n=-1$).
- 원시함수 $e^z$ ⟹ $e^{i\pi}-e^0 = -1-1 = -2$.
- $|z|=2$에서 $|z^2+1|\ge |z|^2-1 = 3$ ⟹ $|1/(z^2+1)|\le 1/3$, $L=4\pi$ ⟹ 상한 $4\pi/3$.
- $\oint z\,dz = 0$, $\oint z^{-1}dz = 2\pi i$ ⟹ $0 - 2\pi i = -2\pi i$.
- $1/z$는 $|z-3|\le1$ 전체(원점을 포함하지 않는 영역)에서 해석적이므로 원시함수 정리(닫힌 경로)에 의해 $0$. 예제 3·4와 달리 이 폐곡선은 특이점 $z=0$을 감싸지 않는다.
- 직선 $z=t(1+i)$: $\operatorname{Re}(z)=t$, $dz=(1+i)dt$ ⟹ $\int_0^1 t(1+i)dt = (1+i)/2$. 꺾은선: $\int_0^1 t\,dt$ (첫 변, $dz=dt$) $+ \int_0^1 1\cdot i\,dt$ (둘째 변, $\operatorname{Re}(z)=1$ 고정, $dz=i\,dt$) $= \tfrac12 + i$. 둘이 다르다 ($\operatorname{Re}(z)$는 해석적이지 않다 — CR 방정식 $u_x=1\ne0=v_y$로 즉시 확인).
- 그린 정리 적용 직후, 두 이중적분 $\iint(-v_x-u_y)dA$와 $\iint(u_x-v_y)dA$가 각각 항등적으로 $0$임을 보이는 단계 — 바로 그 자리에서 $u_x=v_y$, $u_y=-v_x$(CR 방정식)를 대입한다.
관련 개념
- 코시 정리 — 해석함수면 닫힌 적분 $=0$ (연속성 가정 제거된 일반판)
- 코시 적분공식 — 기본 적분의 일반화
- 코시–리만 방정식 — 그린 정리 증명의 핵심 대입
- 유수 정리와 실적분 — $2\pi i$ 인자의 정체, 실적분 응용
- sequences series uniform convergence — 항별 적분
- 초등함수 — 가지 자름과 원시함수의 부재
-
원전 소개 — Ponnusamy §7.1–7.3 — curves, parameterizations, line integrals; $\int_C f\,dz = \int_a^b f(z(t))z'(t)\,dt$; ML inequality; $\oint(z-z_0)^n dz = 2\pi i$ iff $n=-1$. ↩
-
원전 소개 — Ponnusamy §7.4, Theorem 7.41 and Corollary 7.34/Remark 7.35 — fundamental theorem of calculus for contour integrals via an antiderivative; path-independence as a corollary. ↩
-
원전 소개 — Ponnusamy §7.5, Theorem 7.31 (Green's Theorem) and Theorem 7.33 (Cauchy's "Weak" Theorem) — proof of $\oint_C f\,dz=0$ for analytic $f$ with continuous derivative on a simply connected domain, via Green's theorem and the Cauchy–Riemann equations. ↩