정의
정칙 함수(正則函數, holomorphic function)는 복소수 평면의 열린 영역 $D$ 위에서 정의된 복소수값 함수 $f : D \to \mathbb{C}$가 그 영역의 모든 점에서 복소 미분가능(복소 미분계수가 존재)한 경우를 말한다. 즉, 각 점 $z_0 \in D$에 대해
$$ \lim_{z\to z_0}\frac{f(z)-f(z_0)}{z-z_0} $$
가 존재하고 유한한 복소수값을 갖는다. 복소수 미분가능성은 실수 미분가능성보다 강한 조건이며, 정칙 함수는 자동적으로 해석 함수(analytic function) 가 된다.
주요 성질
| 성질 | 설명 |
|---|---|
| Cauchy‑Riemann 방정식 | $f(z)=u(x,y)+iv(x,y)$라 하면, 정칙성은 $\displaystyle \frac{\partial u}{\partial x}= \frac{\partial v}{\partial y},\quad \frac{\partial u}{\partial y}= -\frac{\partial v}{\partial x}$ 를 만족하는 것과 동치이다. |
| 무한 차수 미분 가능 | 정칙 함수는 모든 차수에 대해 미분 가능하며, 각 차수의 도함수도 역시 정칙이다. |
| 멱급수 전개 | 정칙 함수는 각 점 $z_0$의 주변 작은 원판 안에서 $\displaystyle f(z)=\sum_{n=0}^{\infty}a_n (z-z_0)^n$ 형태의 멱급수로 전개될 수 있다. |
| Cauchy 적분 공식 | $\displaystyle f(z)=\frac{1}{2\pi i}\int_{\gamma}\frac{f(\zeta)}{\zeta-z},d\zeta$ ( $\gamma$는 $z$를 포함하는 폐곡선). 이를 통해 평균값 정리, 최대/최소 원리 등을 증명한다. |
| Maximum Modulus Principle | 비정상적인 영역이 아닌 경우 $ |
| Identity Theorem | 두 정칙 함수가 어떤 영역의 무한히 많은 점에서 일치하면 전체 영역에서 동일하다. |
| Liouville 정리 | 전체 복소평면에서 정칙이며 유계인 함수는 상수이다. |
| 주변함수와 특이점 | 정칙 함수는 그 정의역을 넘어 연속적으로 연장될 수 없으며, 연장할 수 없는 점을 특이점이라 부른다. 특이점은 제거 가능한 특이점, 극점, 본질적 특이점으로 구분된다. |
예시
| 함수 | 정의역 | 정칙 여부 |
|---|---|---|
| $f(z)=z^2+3z+5$ | $\mathbb{C}$ 전체 | 정칙 (다항함수) |
| $f(z)=e^{z}$ | $\mathbb{C}$ 전체 | 정칙 |
| $f(z)=\sin z$ | $\mathbb{C}$ 전체 | 정칙 |
| $f(z)=\frac{1}{z}$ | $\mathbb{C}\setminus{0}$ | 정칙 (극점 $z=0$에 특이점) |
| $f(z)=\log z$ | $\mathbb{C}\setminus(-\infty,0]$ | 정칙 (가지(branch) 선택에 따라 정의) |
| $f(z)= | z | ^2$ |
응용 분야
- 복소해석학 – 정칙 함수의 성질은 Cauchy 정리, Residue 정리 등 복소 적분 이론의 근간을 이룬다.
- 수학 물리 – 전자기학, 유체역학에서 복소 전위함수는 정칙 함수로 모델링된다.
- 공학 – 전기 회로 해석, 신호 처리에서 라플라스 변환·Z‑변환은 정칙 함수의 특성을 이용한다.
- 복소 동역학 – 정칙 함수 반복에 의한 프랙탈(예: 마andelbrot 집합) 연구에 핵심적인 역할을 한다.
- 수치 해석 – 복소수 근 찾기, 복소 함수 근사 등에 정칙 함수의 멱급수 전개와 Cauchy 적분이 활용된다.
관련 개념
- 해석 함수(analytic function) – 정칙 함수와 동치 (복소 평면에서는 정칙 ⇔ 해석).
- 홀로몰로지(Homology)와 코호몰로지 – 복소 다양체 위의 정칙 함수는 대수기하학적 구조와 연결된다.
- 정규성(regularity)와 연속성 – 정칙 함수는 무한 차수 연속성을 가짐.
- 리만 면(Riemann surface) – 다중값 정칙 함수(예: $\log z$, $\sqrt{z}$)를 단일값으로 만들기 위해 사용되는 곡면.
참고 문헌
- L. Ahlfors, Complex Analysis, 3rd ed., McGraw‑Hill, 1979.
- J. Conway, Functions of One Complex Variable I, Springer, 1978.
- S. Lang, Complex Analysis, Springer, 1999.
- K. Stein, Complex Analysis, Springer, 2003.
이 항은 정칙 함수(holomorphic function)에 대한 백과사전 수준의 개요를 제공한다.