[论文解读] Escaping Set of Hyperbolic Semigroup

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

Mathematical Dynamics and Fractals参考文献 5被引用 3

一句话总结

本文证明，若一个有限生成的超越半群 $S = \langle f_1, \dots, f_n \rangle$ 的每个生成元 $f_i$ 均为有界型的双曲整函数，则该半群本身是双曲的，且其逃逸集 $I(S)$ 的所有连通分支均为无界的。该结果在半群设定下支持了Eremenko猜想，即生成元的双曲性蕴含整体双曲性以及逃逸分支的无界性。

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)$ 具有无界分支的条件，从而在半群背景下探讨Eremenko猜想。
• 证明：若一个有界型超越半群的每个生成元均为双曲的，则整个半群也是双曲的。
• 通过证明生成元的双曲性蕴含半群的双曲性及逃逸分支的无界性，将经典的Eremenko型动力系统推广至半群动力系统。

提出的方法

• 将超越半群 $S = \langle f_1, \dots, f_n \rangle$ 定义为在函数复合运算下由有限个超越整函数生成的半群。
• 采用双曲性的概念：若一个整函数的后奇异集 $P(f)$ 是紧致的且包含于Fatou集 $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 Eremenko猜想——即逃逸集的所有连通分支均为无界的——是否可推广至超越半群的设定？
• RQ4 在可交换半群中，奇异值与后奇异集在函数复合下的行为如何？

主要发现

• 若一个有限生成的超越半群 $S$ 的每个生成元 $f_i$ 均为双曲且有界型，则 $S$ 本身也是双曲的。
• 逃逸集 $I(S)$ 的所有连通分支均为无界，从而确认了Eremenko猜想在半群设定下的类比结果。
• 可交换双曲函数复合 $f \circ g$ 的后奇异集 $P(f \circ g)$ 包含于 $P(f) \cup P(g)$ 中，而 $P(f)$ 与 $P(g)$ 均为Fatou集中的紧致子集。
• 可交换双曲整函数的复合仍为双曲函数，其根源在于奇异值结构在迭代下得以保持。
• 该结论对任意有限复合 $f = f_1^{t_1} \circ \cdots \circ f_n^{t_n}$ 均成立，从而确保整个半群 $S$ 从其生成元继承了双曲性。