모레라 정리(Morera's theorem)는 복소해석학에서 다루어지는 정리로, 이름은 이탈리아의 수학자 자친토 모레라(Giacinto Morera)에서 유래하였다. 이 정리는 복소평면 위의 연결 열린집합 위에 정의된 연속 함수에 대하여, 특정한 경로 적분 조건이 함수의 정칙성(holomorphy)을 보장함을 서술한다. 코시 적분 정리(Cauchy's integral theorem)의 역정리로 알려져 있다.
정식 내용
연결 열린집합 D ⊆ ℂ 위에 정의된 연속 함수 f : D → ℂ에 대하여, 다음 세 조건은 서로 동치이다.
- f는 정칙 함수이다.
- 임의의 유계 연결 열린집합 Ω ⊆ D에 대하여, 그 경계 ∂Ω ⊆ D일 때 ∫∂Ω f(z) dz = 0이 성립한다.
- 임의의 삼각형 열린집합 Ω ⊆ D에 대하여, 그 경계 ∂Ω ⊆ D일 때 ∫∂Ω f(z) dz = 0이 성립한다.
특히 D가 단일 연결 열린집합인 경우에는, 임의의 조각마다 C¹인 닫힌 곡선을 따른 경로 적분값이 0이라는 조건과, 임의의 삼각형 닫힌 곡선을 따른 적분값이 0이라는 조건 역시 f의 정칙성과 동치가 된다.
의의와 해석
코시 적분 정리는 정칙 함수가 닫힌 곡선을 따라 적분하면 그 값이 0이 된다는 내용을 담고 있다. 모레라 정리는 이와 반대로, 충분히 많은 닫힌 곡선을 따라 적분값이 0이라면 해당 함수가 정칙 함수라는 결론을 도출한다. 즉, 함수의 정칙성을 적분의 성질만으로 판별할 수 있게 해 주는 기준을 제공한다.
증명의 개요
모레라 정리의 증명은 다음과 같은 구조를 갖는다. 임의의 점 z ∈ D에 대해 그 볼록 열린 근방을 잡고, 그 근방 상에서 함수 f의 부정적분에 해당하는 함수 F를 정의한다. 가정된 적분 조건을 이용하면 F가 미분 가능하고 F' = f임을 보일 수 있으며, F가 정칙 함수이므로 그 도함수인 f 역시 정칙 함수라는 결론에 도달한다.
주요 응용
모레라 정리는 일부 함수가 정칙 함수임을 증명하는 데 유용하게 사용된다.
- 콤팩트 수렴 정칙 함수열의 극한의 정칙성: 연결 열린집합 위의 정칙 함수열이 콤팩트 수렴하면, 그 극한 함수 역시 정칙 함수이다. 이는 모레라 정리를 통해 적분 교환과 극한 교환의 타당성을 이용하여 증명된다.
- 리만 제타 함수의 정칙성: Re s > 1 영역에서 정의된 리만 제타 함수 ζ(s) = Σ 1/n^s가 해당 영역에서 정칙 함수임을 모레라 정리를 통해 확인할 수 있다.
- 감마 함수의 정칙성: Re s > 0 영역에서 정의된 감마 함수 Γ(s) = ∫₀^∞ x^(s-1)e^(-x) dx가 해당 영역에서 정칙 함수임을 모레라 정리를 이용하여 증명할 수 있다.
관련 개념
모레라 정리는 코시 적분 정리, 코시 적분 공식, 리우빌 정리 등과 함께 복소해석학의 기초 이론 체계에 포함되는 정리이다. 복소해석학 교과서 및 대학 강의에서 정칙 함수의 성질을 다룰 때 흔히 소개되는 내용으로, 특히 정칙 함수열의 극한 함수의 성질을 보장할 때 핵심적인 도구로 활용된다.
