[논문 리뷰] Invariant Properties of Fatou Set, Julia Set and Escaping Set of Holomorphic Semigroup

Bishnu Hari Subedi, Ajaya Kumar Singh|arXiv (Cornell University)|2018. 03. 23.

semigroups and automata theory인용 수 5

한 줄 요약

이 논문은 헬름홀트릭 세미군의 패피 세트, 줄리아 세트, 도망 세트의 불변 성질을 확립하며, 유한 유형의 생성자를 가진 아벨 전순수 세미군의 경우 이러한 세트들이 S-완전 불변임을 증명한다. 고전적 복소 동역학을 세미군으로 확장하여, 아벨 조건과 유한 유형 조건 하에서 줄리아 세트와 도망 세트가 세미군의 모든 원소에서 동일함을 보여준다.

ABSTRACT

In this paper, we prove that escaping set of transcendental semigroup is S-forward invariant. We also prove that if holomorphic semigroup is abelian, then Fatou set, Julia set and escaping set are S-completely invariant. We see certain cases and conditions that the holomorphic semigroup dynamics exhibits same dynamical behavior just like the classical complex dynamics. Frequently, we also examine certain amount of connection and contrast between classical complex dynamics and holomorphic semigroup dynamics.

연구 동기 및 목표

• 고전적 복소 동역학을 헬름홀트릭 세미군으로 확장하며, 특히 동역학적 세트의 불변 성질에 초점을 맞춘다.
• 패피 세트, 줄리아 세트, 도망 세트가 단일 맵 동역학과 유사한 행동을 보이는 조건을 조사한다.
• 아벨 세미군에서 줄리아 세트와 도망 세트가 S-완전 불변이 되는 조건을 규명한다.
• 유한 유형과 유계 유형의 정수 함수가 동역학적 불변성을 유지하는 데 미치는 역할을 명확히 한다.
• 고전적 복소 동역학과 세미군 동역학을 비교·대조하며, 특히 세트의 불변성과 구조적 동등성에 초점을 맞춘다.

제안 방법

• 유한 합성에 대해 닫혀 있는 헬름홀트릭 세미군을 정의하며, 유리 함수 세미군과 전순수 세미군을 구분한다.
• 핵심 동역학 세트를 도입한다: 패피 세트(정규성), 줄리아 세트(패피 세트의 여집합), 도망 세트(기본 특이점으로 향하는 반복적 발산).
• S-완전 불변 세트 개념을 적용한다: 세트 E가 모든 f ∈ S에 대해 f(E) ⊆ E 이고 f⁻¹(E) ⊇ E 를 만족하면 E는 S-완전 불변이다.
• 서로 교환 가능성과 유한 유형 조건을 활용하여 불변성을 분석하며, Poon과 Eremenko-Lyubich의 교환 가능한 전순수 함수 결과를 활용한다.
• 아벨 세미군의 유한 유형 생성자를 가진 경우, 줄리아 세트와 도망 세트가 세미군의 모든 원소에서 동일함을 증명한다.
• 임의의 임계값, 점근적 값, 특이값에 관한 보조정리를 활용하여 유한 유형 함수와 그 동역학적 행동을 특성화한다.

실험 결과

연구 질문

• RQ1 전순수 세미군 S의 도망 세트가 S-앞선 불변이 되는 조건은 무엇인가?
• RQ2 헬름홀트릭 세미군의 패피 세트, 줄리아 세트, 도망 세트가 S-완전 불변이 되는 조건은 무엇인가?
• RQ3 아벨 경우에서 세미군의 동역학 세트는 그 개별 생성자들의 세트와 어떻게 관련이 있는가?
• RQ4 유한 유형과 유계 유형의 정수 함수는 줄리아 세트와 도망 세트의 불변성을 유지하는 데 어떤 역할을 하는가?
• RQ5 아벨 세미군의 구조가 개별 맵의 동역학 세트와 전체 세미군의 세트 간의 구조적 동등성을 얼마나 보장하는가?

주요 결과

• 전순수 세미군 S의 도망 세트 I(S)는 S-앞선 불변이며, 모든 f ∈ S에 대해 f(I(S)) ⊆ I(S) 를 만족한다.
• 유한 유형의 생성자를 가진 아벨 전순수 세미군의 경우, 줄리아 세트 J(S)는 S-완전 불변이며, 모든 f ∈ S에 대해 f(J(S)) ⊆ J(S) 와 f⁻¹(J(S)) ⊇ J(S) 를 만족한다.
• 유한 유형의 생성자를 가진 아벨 전순수 세미군의 경우, 모든 f ∈ S에 대해 J(S) = J(f) 이며, 이는 줄리아 세트가 생성자의 선택에 영향을 받지 않음을 나타낸다.
• 유사하게, 이러한 세미군의 경우 도망 세트는 모든 f ∈ S에 대해 I(S) = I(f) 를 만족하며, 이는 도망 세트가 세미군 전반에 걸쳐 불변임을 보여준다.
• 이 증명은 유한 유형 함수가 합성에 대해 닫혀 있으며, 유한 유형 함수의 순서를 바꾸어도 줄리아 세트와 도망 세트가 유지된다는 사실에 기반한다.
• 결과적으로, 아벨 조건과 유한 유형 조건 하에서 고전적 불변 성질이 단일 맵 동역학에서 세미군 동역학으로 확장된다.