정의
최대 절댓값 원리(英: Maximum Modulus Principle)는 복소함수론에서 사용되는 정리로, 영역 $D$ 내에서 해석적인(홀로모픽) 함수 $f$가 상수함수가 아닌 경우, 그 절댓값 $|f(z)|$의 최대값은 영역의 내부가 아니라 경계에서만 attained 된다는 내용을 담고 있다. 즉,
$$
\forall z\in D,; |f(z)| \le \max_{w\in \partial D}|f(w)|
$$
이며 등호가 성립하는 점이 내부에 존재한다면 $f$는 상수이다.
전제 조건
- $D$는 연결된 열린 집합(복소평면상의 영역)이어야 한다.
- $f:D\to\mathbb{C}$는 전역적으로 해석적이며, 즉 $D$ 전체에서 미분가능해야 한다.
- $f$가 상수 함수가 아니어야 한다(상수 함수의 경우 절댓값이 일정하므로 최대값이 내부와 경계 모두에서 나타날 수 있다).
주요 결과
- 강형(maximum) 형태: 위 전제 하에 $|f|$는 $D$의 폐경계 $\overline{D}$에서 최대값을 갖지만, 그 최대값은 내부가 아닌 경계 $\partial D$에서만 발생한다.
- 최소 절댓값 원리(Minimum Modulus Principle): $|f|$가 0이 아닌 경우, $\frac{1}{f}$도 해석적이므로 위 원리를 적용해 $|f|$의 최소값도 경계에서만 나타난다. 단, $|f|$가 0을 포함하는 경우에는 별도의 고려가 필요하다.
증명 개요
- $f$가 비상수라면 $|f|$는 조화함수 $\log|f|$의 지수 형태로 표현할 수 있다.
- $\log|f|$는 조화함수이므로 평균값 성질을 만족한다.
- 평균값 성질에 의해 $\log|f|$는 내부에서 최대가 될 수 없으며, 따라서 $|f|$도 내부에서 최대가 될 수 없다는 결론에 도달한다.
- 등호가 내부에서 성립한다면, 평균값 성질에 의해 $\log|f|$가 상수임을 보이고, 이는 $f$가 상수라는 모순을 만든다.
역사·출처
최대 절댓값 원리는 19세기 말에 복소해석학의 창시자 중 한 명인 카를 바이어슈트라스(Carl B. Weierstrass)와 에바리스트 갈루아(Evariste Galois) 등 수학자들의 연구를 토대로 정립되었으며, 현재는 대부분의 복소해석 교과서에서 기본 정리로 다루어진다. 정확한 최초 제시 연도와 저자는 문헌마다 차이가 있으므로, 구체적인 연도는 “정확한 정보는 확인되지 않는다.”라고 명시한다.
응용
- 복소함수의 경계값 문제: 최대 절댓값 원리를 이용해 해석적 함수가 주어진 경계조건을 만족하도록 하는 해를 구한다.
- 해석적 연속성: 복소함수의 최대값이 경계에 제한됨을 이용해 함수의 연속성 및 미분가능성을 판단한다.
- 복소역학 및 전자기학: 복소 전위 이론에서 전위의 크기가 경계에서 제한됨을 보이는 데 사용된다.
관련 정리
- Schwarz 최대 원리: 단위 원판 안에서 $|f(z)|\le 1$인 경우, $|f(z)|\le |z|$가 성립함을 보여주는 특수 경우.
- Liouville 정리: 전체 복소평면에서 유계인 전체 해석 함수는 반드시 상수이다. 이는 최대 절댓값 원리와 직접적으로 연결된다.
한계
최대 절댓값 원리는 함수가 해석적(홀로모픽)이어야 하며, 비해석적이거나 실함수에 대해서는 일반적으로 적용되지 않는다. 또한, 영역이 비연결이거나 경계가 불연속인 경우에는 별도의 조건 검토가 필요하다.