유한형 전체함수의 동적 광선

초록

본 논문은 Eremenko‑Lyubich 클래스 B에 속하는 전체함수 중, 그 줄리아 집합의 모든 경로 성분이 유계인 예시를 구축한다. 이는 1989년 Eremenko가 제기한 “탈출점이 무한대로 연결될 수 있는가?”라는 질문에 부정적인 답을 제공한다. 반면, 유한 차수와 같은 추가적인 성장 조건을 만족하는 클래스 B 함수들에 대해서는, 모든 탈출점이 무한대로 향하는 탈출 경로와 연결될 수 있음을 보이며, Fatou(1926)의 질문에도 부분적으로 긍정적인 해답을 제시한다.

상세 분석

논문은 먼저 Eremenko‑Lyubich 클래스 B(즉, 임계값과 비극점이 유계인 전체함수) 내에서, 전통적으로 기대되던 ‘동적 광선(dynamic ray)’ 구조가 반드시 존재하지 않을 수 있음을 보인다. 저자들은 복소 평면에 복잡한 ‘구멍’ 구조를 갖는 특수한 전체함수 f를 명시적으로 구성한다. 이 함수는 급격히 진동하는 지수형 성장과, 적절히 배치된 ‘피보나치’ 형태의 전이 구역을 결합해, 탈출점 집합 I(f) 은 여전히 전체 복소평면에 조밀하지만, 그 위에 존재하는 모든 경로 성분이 유한한 직경을 갖도록 만든다. 핵심 아이디어는 ‘가중치가 있는 무한 합’ 형태의 전개식을 이용해, 각 항이 서로 다른 ‘스케일’에서 급격히 증가하도록 설계함으로써, 탈출점이 무한히 멀리 퍼지는 대신 복잡한 ‘덩어리’ 형태로 모이게 하는 것이다.

그 다음 저자들은 ‘유한 차수’ 혹은 ‘유한 성장 차수’를 만족하는 클래스 B 함수들에 대해, 동적 광선이 존재함을 증명한다. 여기서는 ‘정규화된 로그 좌표’와 ‘정밀한 외부 지도(외부 도메인)’ 이론을 활용한다. 구체적으로, 함수가 충분히 느리게 성장하면, 복소평면의 외부 영역을 로그-극좌표로 변환했을 때, 역함수의 수축성(Contraction) 성질을 확보할 수 있다. 이 경우, 탈출점 집합은 ‘다발형(brush)’ 구조를 이루며, 각 ‘털’은 무한히 멀리 뻗어 나가는 경로, 즉 동적 광선을 형성한다. 저자들은 이러한 광선이 서로 겹치지 않으며, 모든 탈출점이 적어도 하나의 광선에 포함된다는 것을 보인다.

마지막으로, 이 결과들을 종합해 Eremenko의 질문에 대해 두 가지 상반된 답을 제시한다. 일반적인 클래스 B에서는 ‘모든 탈출점이 무한대로 연결될 수 있다’는 명제가 거짓임을 보였고, 반면 성장 제한이 있는 경우에는 긍정적인 답을 얻는다. 이는 복소 역학에서 ‘동적 광선’의 존재 여부가 함수의 성장 속도와 직접적으로 연결된다는 중요한 통찰을 제공한다. 또한, Fatou가 1926년에 제기한 “탈출점이 무한대로 연결될 수 있는가?”라는 고전적 질문에 대해, 제한된 상황에서만 긍정적 답을 얻을 수 있음을 명확히 한다.