On Dynamics of the Bungee set and the Filled Julia set of a Transcendental Semigroup

Basic Information

• Paper ID: 2510.09319
• Title: On Dynamics of the Bungee set and the Filled Julia set of a Transcendental Semigroup
• Authors: Manisha Kumari, Dinesh Kumar
• Classification: math.DS (Dynamical Systems), math.CV (Complex Variables)
• Submission Date: Submitted to arXiv on October 10, 2025
• Paper Link: https://arxiv.org/abs/2510.09319v1

Abstract

This paper introduces the concepts of the bungee set and filled Julia set for transcendental semigroups using Fatou-Julia theory. Numerous results concerning the bungee set of individual transcendental entire functions are generalized to transcendental semigroups. For transcendental semigroups without oscillating wandering domains, conditions are provided under which the bungee set is contained in the Julia set. The paper also investigates the filled Julia set and its properties in the context of transcendental semigroups, and studies new characteristics of the escape set for transcendental semigroups. Additionally, the bungee sets of conjugate semigroups and abelian transcendental semigroups are examined.

Research Background and Motivation

Problem Background

1. Extension from Single Functions to Semigroups: Classical complex dynamical systems theory primarily studies the iterative behavior of individual complex functions, characterizing the dynamical properties of points in the complex plane through Fatou and Julia sets. A natural extension is to investigate the dynamics of compositions of multiple functions, which has led to the development of transcendental semigroup theory.
2. Significance of the Bungee Set: The bungee set, first introduced by Eremenko, consists of points whose orbits are neither bounded nor escape to infinity. Such points exhibit unique dynamical characteristics, with behavior intermediate between boundedness and escape.
3. Theoretical Development Needs: Although scholars such as Hinkkanen and Martin have extended classical rational function theory to the semigroup framework, systematic research on the bungee set and filled Julia set of transcendental semigroups remains lacking.

Research Motivation

• To systematically generalize bungee set theory from individual transcendental entire functions to the semigroup setting
• To establish relationships between various sets (bungee set, filled Julia set, escape set) in the semigroup context
• To explore dynamical properties unique to semigroups, such as the effects of conjugacy invariance and abelian properties

Core Contributions

1. Concept Generalization: Systematic definition of the bungee set and filled Julia set for transcendental semigroups, establishing the corresponding theoretical framework
2. Fundamental Properties: Proof of basic properties of the bungee set for transcendental semigroups, including non-emptiness and complete invariance
3. Set Relations: Establishment of a tripartition of the complex plane: $\mathbb{C} = BU(H) \sqcup K(H) \sqcup I(H)$
4. Inclusion Relations: For transcendental semigroups without oscillating wandering domains, proof that $BU(H) \subset J(H)$
5. Special Semigroup Properties: Investigation of special properties of abelian transcendental semigroups and conjugate semigroups
6. Boundary Characterization: Proof that $J(H) = \partial BU(H)$

Methodology Details

Core Definitions

Bungee Set of Transcendental Semigroups

For a transcendental semigroup $H = [h_1, h_2, \ldots]$, the bungee set is defined as: $BU(H) = \{z \in \mathbb{C} | \text{there exist subsequences} \{h_{m_k}\}, \{h_{n_k}\} \subset H \text{and a constant} R > 0$$\text{such that} |h_{m_k}(z)| < R \text{and} |h_{n_k}(z)| \to \infty\}$

Filled Julia Set

$K(H) = \{z \in \mathbb{C} | \text{every sequence in} H \text{has a subsequence bounded at} z\}$

Escape Set

$I(H) = \{z \in \mathbb{C} | \text{every sequence in} H \text{diverges to infinity at} z\}$

Main Technical Methods

1. Analysis of Set Inclusion Relations

Establishment of inclusion relations between various sets through constructive proofs:

• $BU(H) = \bigcup_{h \in H} BU(h)$ (Theorem 4.5)
• For abelian semigroups: $K(H) = \bigcap_{h \in H} K(h)$ (Proposition 4.14)

2. Invariance Proofs

Utilization of complete invariance of sets:

• Forward invariance: $h(P) \subseteq P$ for all $h \in H$
• Backward invariance: $h^{-1}(P) \subseteq P$ for all $h \in H$

3. Topological Properties Analysis

Application of Montel's theorem and normal family theory to prove boundary properties and minimality of the Julia set

Main Theoretical Results

Fundamental Property Theorems

Theorem 4.4 (Intersection of Bungee Set and Julia Set): For a transcendental semigroup $H$, we have $BU(H) \cap J(H) \neq \emptyset$

Proof Strategy: By contradiction. Assume $BU(H) \cap J(H) = \emptyset$, then $BU(H) \subset F(H)$, which contradicts the single function case where $BU(h) \cap J(h) \neq \emptyset$.

Theorem 4.7 (Fatou Component Properties): If $U \subset F(H)$ is a Fatou component and $U \cap BU(H) \neq \emptyset$, then:

1. $U \subset BU(H)$ and $U$ is a wandering domain of $H$
2. $J(H) = \partial BU(H)$

Inclusion Relation Theorems

Theorem 5.2 (Case Without Oscillating Wandering Domains): Let $H$ be a transcendental semigroup without oscillating wandering domains. Then $BU(H) \subset J(H)$

Combined with $J(H) \subset BU(H)$ from Theorem 5.5, we obtain:

Proposition 5.7: For a transcendental semigroup $H$ without oscillating wandering domains, we have $J(H) = BU(H)$

Special Properties of Abelian Semigroups

Theorem 4.20 (Complete Invariance): For an abelian transcendental semigroup $H$, the filled Julia set $K(H)$ is completely invariant.

Theorem 4.16 (Escape Set Equality): For an abelian transcendental semigroup $H$, we have $I(H) = \bigcap_{h \in H} I(h)$

Properties of Conjugate Semigroups

Theorem 5.11 (Conjugacy Invariance): Let $H$ and $H'$ be finitely generated abelian transcendental semigroups conjugate via $\phi(z) = az + b$. If $H$ has no oscillating wandering domains, then: $\phi(BU(H)) = BU(H')$

Technical Innovations

1. Rationality of Definitions

• The bungee set definition naturally extends the single function case, preserving the essential characteristic of "neither bounded nor escaping"
• The filled Julia set definition accounts for the combined behavior of all functions in the semigroup

2. Proof Techniques

• Skillful utilization of relationships between single function results and semigroup structure
• Establishment of inclusion relations through proof by contradiction and constructive methods
• Application of normal family theory to handle topological properties

3. Theoretical Unification

• Establishment of disjoint union decomposition of three important sets
• Unified characterization of bounded, escape, and bungee behaviors

Applications and Examples

Example 3.2 (Bungee Set of Rational Maps)

For the rational map $R(z) = 1/z^2$: $BU(R) = \{z \in \mathbb{C} : |z| < 1 \cup |z| > 1\}$

Example 4.15 (Exponential Function Semigroup)

Let $f = e^{\lambda z}$, $g = f^p + \frac{2\pi i}{\lambda}$, $H = [f,g]$. Then: $K(H) = K(f)$

Example 5.9 (Bungee Set Equality)

Concrete examples are constructed where the bungee set remains invariant in the semigroup.

Related Work

Historical Development

1. Eremenko (1989): First introduction of the escape set concept
2. Hinkkanen & Martin (1996): Establishment of Fatou-Julia theory for rational semigroups
3. Poon, Zhigang, Huang & Cheng: Generalization of single function results to transcendental semigroups
4. Osborne & Sixsmith (2016): Systematic study of the bungee set for single functions

Contribution of This Paper

Compared to existing work, this paper is the first to systematically investigate the bungee set of transcendental semigroups, filling an important theoretical gap.

Conclusions and Discussion

Main Conclusions

1. Successful establishment of a complete theoretical framework for the bungee set and filled Julia set of transcendental semigroups
2. Proof of the tripartition of the complex plane and fundamental properties of each set
3. Revelation of how semigroup structure influences dynamical behavior

Limitations

1. Main results focus on abelian semigroups; the non-abelian case requires further investigation
2. Some results require the restrictive condition of "no oscillating wandering domains"
3. Relatively few concrete computational examples

Future Directions

1. Investigation of properties of non-abelian transcendental semigroups
2. Exploration of invariance under more general conjugacy mappings
3. Development of methods for computing bungee sets of specific semigroups

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Systematic establishment of bungee set theory for semigroups, filling an important gap
2. Rigorous Proofs: Mathematical proofs are logically clear and technically sophisticated
3. Clear Structure: Well-organized paper with clear progression from basic definitions to advanced results
4. Natural Generalization: Successful extension of single function results to the semigroup setting

Weaknesses

1. Limited Application Scope: Primarily focused on theoretical development with relatively few practical application examples
2. Lack of Computational Methods: Absence of effective algorithms for computing bungee sets of specific semigroups
3. Limited Visualization: No geometric intuition or graphical illustrations provided

Impact

1. Academic Value: Significant contribution to complex dynamical systems theory
2. Future Research: Provides new research directions for related fields
3. Theoretical Foundation: Established framework supports further theoretical development

Applicable Scenarios

• Research in complex dynamical systems theory
• Function iteration and semigroup theory
• Fractal geometry and chaotic dynamics research

References

The paper cites important literature in the field, including Eremenko's pioneering work, the foundational semigroup theory of Hinkkanen & Martin, and research on bungee sets by Osborne & Sixsmith and others, demonstrating good academic heritage and development.