[논문 리뷰] Escaping Set of Hyperbolic Semigroup

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

Mathematical Dynamics and Fractals참고 문헌 5인용 수 3

한 줄 요약

이 논문은 각 생성자 $f_i$가 유계 유형의 쌍곡선 전형 함수인 유한 생성 전형 함수 반군 $S = \langle f_1, \dots, f_n \rangle$가 자체적으로 쌍곡선임을 증명하며, 그의 도약 집합 $I(S)$의 모든 성분이 비유계임을 보인다. 이 결과는 생성자의 쌍곡선성에서 전체 반군의 쌍곡선성과 비유계 도약 성분을 유도함으로써 반군 설정에서 에레멘코의 추측을 지지한다.

ABSTRACT

In this paper, we mainly study hyperbolic semigroups from which we get non-empty escaping set and Eremenko's conjecture remains valid. We prove that if each generator of bounded type transcendental semigroup S is hyperbolic, then the semigroup is itself hyperbolic and all components of I(S) are unbounded

연구 동기 및 목표

• 전형 함수 반군에서 도약 집합 $I(S)$의 구조를 조사한다.
• 에레멘코의 추측을 반군 맥락에서 다루기 위해 도약 집합 $I(S)$의 성분이 비유계가 되는 조건을 규명한다.
• 만약 유계 유형 전형 함수 반군의 각 생성자가 쌍곡선이라면 전체 반군이 쌍곡선임을 증명한다.
• 기존의 에레멘코 유형 역학을 반군 역학으로 확장하여, 생성자의 쌍곡선성이 반군의 쌍곡선성과 비유계 도약 성분을 유도함을 증명한다.

제안 방법

• 함수의 복합 작용에 의해 생성되는 유한 개의 전형 함수로 이루어진 반군 $S = \langle f_1, \dots, f_n \rangle$을 전형 함수 반군으로 정의한다.
• 쌍곡선성의 개념을 사용한다: 전형 함수 $f$가 후기-특이 집합 $P(f)$가 캄프라크트하고 피터슨 집합 $F(f)$에 포함될 경우 쌍곡선이라고 한다.
• 레마 3.1을 적용하여 복합 함수의 특이값을 유계화한다: $SV(f \circ g) \subset SV(f) \cup f(SV(g))$.
• 레마 3.2를 사용하여 교환 가능한 함수들에 대해 $f^m(SV(g)) \subset SV(g)$임을 보여주며, 반복에 따른 특이값 구조가 유지됨을 증명한다.
• 레마 3.3을 활용하여 두 교환 가능한 쌍곡선 함수의 복합 $f \circ g$가 여전히 쌍곡선임을 증명한다.
• 레마 3.3를 반복 적용하여 반군 내의 임의의 복합 $f = f_1^{t_1} \circ \cdots \circ f_n^{t_n}$가 쌍곡선임을 보이며, 따라서 $S$는 쌍곡선임을 증명한다.

실험 결과

연구 질문

• RQ1 전형 함수 반군 $S$의 도약 집합 $I(S)$가 비어 있지 않고 비유계 성분을 가질 조건은 무엇인가?
• RQ2 유계 유형 반군에서 각 생성자 $f_i$가 쌍곡선이라면 전체 반군 $S$가 쌍곡선임이 보장되는가?
• RQ3 에레멘코의 추측—도약 집합의 모든 성분이 비유계이다—은 전형 함수 반군 맥락으로 확장될 수 있는가?
• RQ4 교환 가능한 반군에서 복합 작용에 따른 특이값과 후기-특이 집합은 어떻게 행동하는가?

주요 결과

• 유한 생성 전형 함수 반군 $S$의 각 생성자 $f_i$가 쌍곡선이면서 유계 유형이라면, $S$ 자체도 쌍곡선이다.
• 도약 집합 $I(S)$의 모든 성분은 비유계이며, 이는 에레멘코의 추측에 대한 반군 버전을 확인한다.
• 교환 가능한 쌍곡선 함수의 복합 $f \circ g$의 후기-특이 집합 $P(f \circ g)$는 $P(f) \cup P(g)$에 포함되며, 이는 피터슨 집합 내의 캄프라크트 부분집합이다.
• 교환 가능한 쌍곡선 전형 함수의 복합은 특이값 구조가 반복에 의해 유지되므로 여전히 쌍곡선이다.
• 임의의 유한 복합 $f = f_1^{t_1} \circ \cdots \circ f_n^{t_n}$에 대해 결과가 성립하며, 이는 전체 반군 $S$가 생성자들로부터 쌍곡선성을 그대로 이어받음을 보장한다.