초월함수 방정식의 해석 불가능성: 무한 임계값을 가진 정칙 함수의 일반화

초록

본 논문은 도함수가 무한히 많은 영점을 갖고 그 영점들의 함수값이 서로 다른 경우, 즉 임계값 집합이 무한한 모든 초월(meromorphic) 함수에 대해 방정식 (f(x)=a) 를 기본 연산·지수·로그만으로 구성된 유한 조합으로 푸는 것이 불가능함을 증명한다. 이를 위해 1차원 위상 갈루아 이론과 Wielandt의 원시군 정리를 이용해 모노드로미 군이 교환군을 포함하게 되며, 교환군은 가환이 아니므로 해석 가능성이 배제된다.

상세 분석

논문은 먼저 Khovanskii가 정립한 1차원 위상 갈루아 이론의 핵심 개념을 재정리한다. 여기서 핵심 객체는 (S)-함수라 불리는, 특이점이 가산 집합에 한정된 다값 해석함수이며, 그 역함수 (f^{-1}) 는 자연스럽게 (S)-함수의 한 종류가 된다. (S)-함수의 각 가지(branch)는 복소평면에서 경로를 따라 연속적으로 이동할 수 있고, 이러한 연속은 기본군 (\pi_1(\mathbb{C}\setminus A)) 의 원소에 대응하는 순열을 만든다. 이 순열들의 전체 집합을 모노드로미 군이라 부른다.

다음으로 군론적 배경을 도입한다. 무한 집합 (S) 위에서 원시(primitive)하게 작용하는 군 (G)가 유한 지지(support)를 갖는 비자명한 원소를 포함하면, Wielandt 정리에 의해 교대군 (\operatorname{Alt}(S)) 가 (G)에 포함된다. 교대군은 비가환이며, 특히 가환군의 연속 확장은 불가능하므로, 모노드로미 군이 교대군을 포함하면 해당 (S)-함수는 “해석 가능”하지 않다.

논문의 주요 가정은 (f) 가 초월 함수이며, 도함수 (f’) 가 무한히 많은 영점 ({x_i}) 을 갖고, 이들 영점에서의 함수값 (f(x_i)) 가 서로 서로 다른 무한 집합을 이룬다(즉, 임계값 집합 (B) 가 무한). 이 경우, 각 영점 (x_i) 는 (f) 의 임계점이며, 임계값을 중심으로 작은 원을 잡아 그 주위를 한 바퀴 돌면, 해당 영점에 대응하는 역함수의 가지는 정확히 (m+1) (여기서 (m) 는 영점의 차수) 길이의 순환을 만든다. 따라서 임계값마다 최소한 하나의 비자명한 순환을 생성하고, 이러한 순환들의 집합은 무한히 많은 서로 다른 원소를 포함한다.

이제 모노드로미 군이 무한 집합 (S) 위에서 원시적으로 작용하고, 유한 지지를 갖는 원소(예: 위의 순환)를 포함함을 확인한다. Wielandt 정리를 적용하면 (\operatorname{Alt}(S)\subseteq G) 가 된다. 교대군은 비가환이며, 가환 확장(즉, 지수·로그·산술 연산만으로 구성된 확장)에서는 도달할 수 없는 구조이므로, (f^{-1}) 는 어떠한 유한 단계의 초월 확장에서도 표현될 수 없다는 결론에 도달한다.

논문은 또한 기존 결과와의 관계를 명확히 한다. Kanel‑Belov·Malistov·Zaytsev가 다룬 (\tan x - x), (e^x + x), (x^x) 와 같은 개별 함수들의 불가능성은 위의 일반 정리의 특수 경우이며, Zelenko가 증명한 “지수 성장 이하의 전체 함수”에 대한 결과는 임계값이 유한한 경우에 해당한다. 본 논문은 임계값이 무한한 경우를 포괄적으로 다루어, 초월 함수 전반에 걸친 해석 가능성의 한계를 크게 확장한다.