모레라의 정리

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

코시 정리에 따르면 단순열결영역(simply connected domain)에서 해석적인 복소함수는 그 영역안의 닫힌 곡선을 따라 적분하면 그 결과는 항상 0이다. 그렇다면 역으로 단순연결영역 안의 임의의 닫힌곡선을 따라 적분한 값이 항상 0이되는 복소함수는 그 영역 안에서 해석적일까? 모레라 정리(Morera's theorem)은 이에 대한 답을 말하고 있다. 모레라의 정리는 주어진 영역에서 복소함수의 해석적 성질을 파악하는데 이용될 수 있다.

정리[편집]

를 열린연결집합(open connected set)이라 하고, 연속함수라고 하자. 만약 안에 있는 모든 닫힌곡선 에 대해

이면 에서 해석적인 함수이다.

증명[편집]

정의역 안의 한 점 를 고정하고, 위에서 새로운 복소함수

와 같이 정의하자. 그러면 주어진 조건에 의해 우변의 적분은 적분 경로에 영향을 받지 않으므로 에서 정의되는 함수이다. 이제 미적분학의 기본정리에 의해 의 도함수는 이다. 즉,

이다. 위 식은 영역 위의 모든 점에서 성립하므로 는 해석함수이다. 그러므로 해석함수도함수해석함수이다.

응용[편집]

모레라의 정리는 미분가능성, 코시-리만 방정식의 만족여부를 판단하기 어려운 경우, 예를 들어 함수가 함수열의 극한, 멱급수, 적분 등의 형태로 주어진 경우 그 함수의 해석적 성질을 파악하는데 활용될 수 있다.

균등극한[편집]

모레라의 정리를 이용하여 해석함수열의 균등극한 또한 해석함수가 됨을 알 수 있다. 를 열린원판 위에서 정의된 해석적인 함수열이라고 하자. 만약 이 수열이 열린원판 위에서 연속인 함수 균등수렴하면, 코시의 정리에 의해 원판 안의 모든 닫힌곡선 를 따라 적분한 값이

임을 알 수 있다. 그런데 함수열이 균등수렴하므로 원판 안의 모든 닫힌곡선 에 대해

이다. 그러므로 모레라의 정리에 의해 는 열린원판 위에서 해석적인 함수이다.

멱급수와 적분[편집]

모레라의 정리를 이용하면 멱급수 또는 적분으로 정의된 함수의 해석적 성질을 확인할 수 있다. 예를 들어 멱급수로 표현된 리만 제타 함수

적분으로 표시된 감마 함수

해석 함수임을 보일 수 있다.