[논문 리뷰] Singularities of inverse functions

Alexandre Erëmenko|arXiv (Cornell University)|2021. 10. 12.

Meromorphic and Entire Functions참고 문헌 13인용 수 7

한 줄 요약

이 논문은 메로모르픽 사상의 역함수의 특이점에 대한 종합적인 조사문으로, 점 游적 곡선에서 기인하는 초월 특이점과 그들이 해석적 동역학에서 수행하는 역할을 중심으로 다룬다. 특이점을 통한 도메인의 위상적 완비화를 수립하고, 비대수적 특이점이 점근적 값에 대응함을 증명하며, 특히 임계점과 영역의 구조와 관련하여 유리함수 및 메로모르픽 함수의 역학적 행동을 분류하는 데 이 이론을 적용한다.

ABSTRACT

A survey of general results on the singularities of inverses to meromorphic functions is given, with applications to holomorphic dynamics. This is a lecture delivered at the workshop "The role of complex analysis in complex dynamics" in Edinburgh on May 22 2013, with corrected mistakes and updated references.

연구 동기 및 목표

• 메로모르픽 함수의 역함수에서 특이점의 개념을 정형화하여 대수적 특이점과 초월적 특이점 간의 차이를 명확히 하기.
• 초월 특이점을 이용해 메로모르픽 사상의 도메인을 완비화하는 정의를 내리며, 함수의 연속적 확장을 가능하게 하기.
• 초월 특이점과 점근적 곡선 및 점근적 값 사이의 대응관계를 설정하기.
• 이 이론을 해석적 동역학에 적용하여, 특히 흡인 영역과 임계점 분포를 분석하기.
• 완전히 불변인 성분에 관한 구조적 결과를 증명하고, 이들이 유리함수 및 메로모르픽 함수에 미치는 영향을 규명하기.

제안 방법

• 수축하는 이웃 영역의 전이의 중첩된 성분을 통한 초월 특이점의 정확한 정의를 도입한다.
• 완비된 도메인 $ \overline{D}_f = D \cup \mathrm{Sing}(f) $ 에서의 위상 구조를 정의하며, 특이점의 이웃은 구멍 뚫린 전이 이미지로 간주된다.
• 내재적 및 마조르키에비치 거리함수를 사용하여 완비화를 특성화하며, $ \rho_M \leq \rho $ 이고, 局소적으로 $ \rho_M $ 이 $ \rho $ 와 일치함을 보인다.
• 메로모르픽 함수 $ f: D \to G $ 에 이 이론을 적용하여, $ G $ 가 임계값이나 점근적 값이 없으면 $ f $ 는 코버링 맵임을 보인다.
• 리만–휴르츠 공식을 사용하여 완전히 불변인 성분 내의 임계점 수를 제약한다.
• 하향 함수 기법과 위르팅거/카우치 부등식을 사용하여 하향 함수에 대한 카를레만 유형 부등식의 증명에 응용한다.

실험 결과

연구 질문

• RQ1 메로모르픽 함수의 역함수에서 특이점은 무엇으로 특징지어지며, 대수적 특이점과 초월적 특이점 간의 차이는 무엇인가?
• RQ2 메로모르픽 사상의 도메인은 어떻게 위상적으로 완비되어 초월 특이점을 포함하게 되는가?
• RQ3 점근적 곡선과 역함수에서의 초월 특이점 존재 사이의 관계는 무엇인가?
• RQ4 특이점은 유리함수나 메로모르픽 함수의 역학에 어떻게 영향을 미치며, 특히 흡인 영역에 대해 어떤 영향을 미치는가?
• RQ5 완전히 불변인 성분은 임계점의 수와 줄리아 집합의 구조에 어떤 제약을 가하는가?

주요 결과

• 역함수의 초월 특이점은 정확히 원래 함수의 점근적 값에 대응하며, 이는 곡선의 비유한 전이 이미지에서 기인한다.
• 만약 도메인 $ G $ 가 임계값이나 점근적 값이 없으면, $ f: D \to G $ 는 코버링 맵이 되며, 이는 역함수의 해석적 계속이 항상 가능함을 의미한다.
• 완비화 $ \overline{D}_f = D \cup \mathrm{Sing}(f) $ 는 $ f $ 가 연속적으로 확장되는 위상공간이며, 특이점 $ S $ 가 $ a $ 위에 있다면 $ f(S) = a $ 를 만족한다.
• 흡인 또는 중립 고정점의 즉각적인 흡인 영역에서 다항식의 승수 1을 가질 경우, $ f: D \to D $ 는 코버링 맵이 될 수 없으며, 이는 임계점 또는 점근적 곡선이 존재함을 의미한다.
• 유리함수 또는 클래스 $ \mathbf{S} $ 의 함수에서는 흡인 및 중립 순환의 수는 최대한으로 특이값의 수 이하이다.
• 메로모르픽 함수는 최대 두 개의 완전히 불변인 성분을 가질 수 있으며, 두 개가 있으면 줄리아 집합은 조르당 곡선이 되며, 각 성분은 차수 $ d $ 에 대해 $ d-1 $ 개의 임계점을 포함한다.