정칙함수 (Holomorphic Function)

한 줄 정의: 복소수 영역에서 미분이 가능한, 아주 매끄러운 성질을 가진 함수를 뜻합니다.

쉽게 풀면

실수 범위에서 미분 가능한 함수는 꽤 흔합니다. 그런데 복소수(실수부와 허수부로 이루어진 수) 범위로 넘어가면 이야기가 완전히 달라집니다. 복소수에서 "미분 가능하다"는 조건은 실수에서보다 훨씬 엄격해서, 한 점에서 어느 방향으로 다가가도 똑같은 극한값을 가져야 합니다. 이 까다로운 조건을 만족하는 함수를 정칙함수라고 부릅니다. 신기하게도 이 조건을 딱 한 번만 만족시켜도 그 함수는 자동으로 무한 번 미분 가능해지고, 테일러 급수로 완벽하게 표현할 수 있을 만큼 매끄러워집니다. 이런 극단적인 매끄러움 덕분에 정칙함수는 복소해석학 전체의 기초가 됩니다.

왜 중요한가

정칙함수는 복소해석학 전체를 떠받치는 기본 대상이어서, 유수 정리, 코시 적분 공식, 등각사상 이론 등 해석학의 핵심 도구들이 모두 이 성질을 전제로 만들어져 있습니다. 편미분방정식, 유체역학, 신호처리, 제어이론에서 복소함수를 이용한 계산이 등장할 때도 그 바탕에는 정칙함수의 매끄러운 성질이 깔려 있습니다. 순수수학뿐 아니라 물리학의 여러 분야에서 어려운 실적분을 복소평면 위의 적분으로 바꾸어 풀 때도 정칙성이 핵심 전제로 쓰입니다.

논문에서는 이렇게 쓰입니다

"해당 영역에서 함수 f(z)가 정칙함수(holomorphic function)임을 보임으로써 코시 적분 정리를 적용할 수 있었다."

이 문장은 다루고 있는 함수가 복소수 영역에서 매끄럽게 미분 가능하다는 것을 먼저 증명한 뒤, 그 성질을 이용해 복소적분을 훨씬 쉽게 계산하는 도구(코시 적분 정리)를 적용했다는 뜻입니다. 정칙성은 복소해석학의 여러 강력한 정리를 사용하기 위한 전제 조건인 경우가 많습니다.

"경계 위에서 정칙함수의 실수부가 주어진 값을 가진다는 조건으로부터 등각사상을 이용해 해당 영역 위의 정칙함수를 구성하였다."

편미분방정식이나 등각사상 이론에서, 경계 조건이 주어졌을 때 그것을 만족하는 정칙함수를 실제로 구성해 문제를 푸는 방식을 보여주는 예시입니다.

"적분 경로를 복소평면 위로 확장하고 피적분함수가 해당 영역에서 정칙함수임을 이용해 유수 정리로 실적분 값을 계산하였다."

물리학이나 응용수학 논문에서 직접 계산하기 어려운 실수 적분을, 정칙함수의 성질을 활용해 복소평면에서 훨씬 쉽게 구하는 전형적인 기법을 보여줍니다.

조금 더 깊게 보면

정칙함수는 코시-리만 방정식이라는 편미분방정식 조건을 만족하는 함수로도 특징지을 수 있으며, 실수부와 허수부가 이 방정식을 통해 서로 강하게 얽혀 있습니다. 정칙함수의 실수부와 허수부는 각각 조화함수가 된다는 성질도 있어, 위치에너지나 유체 흐름을 다루는 물리 문제와 자연스럽게 연결됩니다. 논문에서 정칙성을 증명할 때는 코시-리만 방정식을 직접 확인하는 방식과, 이미 알려진 정칙함수들의 합·곱·합성으로 표현된다는 점을 이용하는 방식이 함께 쓰이므로, 어떤 방법으로 정칙성을 보였는지를 눈여겨보면 이해에 도움이 됩니다.

주의할 점

실수 함수에서는 미분 가능하다고 해서 그 함수가 무한 번 미분 가능하다는 보장이 없지만, 정칙함수는 한 번만 복소미분 가능해도 자동으로 무한 번 미분 가능해집니다. 이 차이 때문에 실수 미적분학의 직관을 그대로 복소해석학에 적용하면 혼란이 생길 수 있으므로 주의해야 합니다.