Sobre la Dinámica del Conjunto Bungee y el Conjunto Julia Relleno de un Semigrupo Trascendental

Información Básica

• ID del Artículo: 2510.09319
• Título: On Dynamics of the Bungee set and the Filled Julia set of a Transcendental Semigroup
• Autores: Manisha Kumari, Dinesh Kumar
• Clasificación: math.DS (Sistemas Dinámicos), math.CV (Variables Complejas)
• Fecha de Presentación: Presentado a arXiv el 10 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2510.09319v1

Resumen

Este artículo introduce los conceptos del conjunto bungee (bungee set) y el conjunto Julia relleno (filled Julia set) de semigrupos trascendentales utilizando la teoría de Fatou-Julia. Se generalizan numerosos resultados sobre el conjunto bungee de funciones enteras trascendentales individuales a semigrupos trascendentales. Para semigrupos trascendentales sin dominios errantes oscilantes, se proporcionan condiciones bajo las cuales el conjunto bungee está contenido en el conjunto Julia. Se exploran las propiedades del conjunto Julia relleno en el contexto de semigrupos trascendentales y se investigan nuevas características del conjunto de escape de semigrupos trascendentales. Además, se estudian los conjuntos bungee de semigrupos conjugados y semigrupos trascendentales abelianos.

Antecedentes de Investigación y Motivación

Contexto del Problema

1. Extensión de funciones individuales a semigrupos: La teoría clásica de sistemas dinámicos complejos estudia principalmente el comportamiento iterativo de funciones complejas individuales, caracterizando las propiedades dinámicas de puntos en el plano complejo mediante los conjuntos de Fatou y Julia. Una extensión natural es estudiar el comportamiento dinámico de composiciones de múltiples funciones, lo que ha originado la teoría de semigrupos trascendentales.
2. Importancia del conjunto bungee: El conjunto bungee, introducido por primera vez por Eremenko, contiene puntos cuyas órbitas ni están acotadas ni escapan al infinito. El comportamiento de estos puntos se sitúa entre lo acotado y lo que escapa, exhibiendo características dinámicas únicas.
3. Necesidad de desarrollo teórico: Aunque estudiosos como Hinkkanen y Martin han extendido la teoría clásica de funciones racionales al marco de semigrupos, aún falta un estudio sistemático del conjunto bungee y el conjunto Julia relleno de semigrupos trascendentales.

Motivación de la Investigación

• Generalizar sistemáticamente la teoría del conjunto bungee de funciones enteras trascendentales individuales al contexto de semigrupos
• Establecer relaciones entre varios conjuntos en el contexto de semigrupos (conjunto bungee, conjunto Julia relleno, conjunto de escape)
• Explorar propiedades dinámicas específicas de semigrupos, como los efectos de la invariancia bajo conjugación y la propiedad abeliana

Contribuciones Principales

1. Generalización de conceptos: Primera definición sistemática del conjunto bungee y el conjunto Julia relleno de semigrupos trascendentales, estableciendo el marco teórico correspondiente
2. Demostración de propiedades fundamentales: Se demuestran propiedades básicas del conjunto bungee de semigrupos trascendentales, como la no vacuidad y la invariancia completamente invariante
3. Relaciones entre conjuntos: Se establece una partición tripartita del plano complejo: $\mathbb{C} = BU(H) \sqcup K(H) \sqcup I(H)$
4. Relaciones de inclusión: Para semigrupos trascendentales sin dominios errantes oscilantes, se demuestra que $BU(H) \subset J(H)$
5. Propiedades de semigrupos especiales: Se investigan las propiedades especiales de semigrupos trascendentales abelianos y semigrupos conjugados
6. Caracterización de fronteras: Se demuestra que $J(H) = \partial BU(H)$

Explicación Detallada de Métodos

Definiciones Centrales

Conjunto Bungee de Semigrupos Trascendentales

Para un semigrupo trascendental $H = [h_1, h_2, \ldots]$, el conjunto bungee se define como: $BU(H) = \{z \in \mathbb{C} | \text{existen subsucesiones} \{h_{m_k}\}, \{h_{n_k}\} \subset H \text{y constante} R > 0$$\text{tales que} |h_{m_k}(z)| < R \text{ y } |h_{n_k}(z)| \to \infty\}$

Conjunto Julia Relleno

$K(H) = \{z \in \mathbb{C} | \text{toda sucesión en } H \text{ tiene una subsucesión acotada en } z\}$

Conjunto de Escape

$I(H) = \{z \in \mathbb{C} | \text{toda sucesión en } H \text{ diverge al infinito en } z\}$

Métodos Técnicos Principales

1. Análisis de Relaciones de Inclusión entre Conjuntos

Se establecen relaciones de inclusión entre conjuntos mediante pruebas constructivas:

• $BU(H) = \bigcup_{h \in H} BU(h)$ (Teorema 4.5)
• Para semigrupos abelianos: $K(H) = \bigcap_{h \in H} K(h)$ (Proposición 4.14)

2. Demostración de Invariancia

Se utiliza la invariancia completamente invariante de los conjuntos:

• Invariancia hacia adelante: $h(P) \subseteq P$ para todo $h \in H$
• Invariancia hacia atrás: $h^{-1}(P) \subseteq P$ para todo $h \in H$

3. Análisis de Propiedades Topológicas

Se utiliza el teorema de Montel y la teoría de familias normales para demostrar propiedades de frontera y la minimalidad del conjunto Julia

Resultados Teóricos Principales

Teoremas de Propiedades Fundamentales

Teorema 4.4 (Intersección del Conjunto Bungee y el Conjunto Julia): Para un semigrupo trascendental $H$, se tiene $BU(H) \cap J(H) \neq \emptyset$

Esquema de la prueba: Método de contradicción. Se asume que $BU(H) \cap J(H) = \emptyset$, entonces $BU(H) \subset F(H)$, lo cual contradice el hecho de que en el caso de una función individual $BU(h) \cap J(h) \neq \emptyset$.

Teorema 4.7 (Propiedades de Componentes de Fatou): Si $U \subset F(H)$ es una componente de Fatou y $U \cap BU(H) \neq \emptyset$, entonces:

1. $U \subset BU(H)$ y $U$ es un dominio errante de $H$
2. $J(H) = \partial BU(H)$

Teoremas de Relaciones de Inclusión

Teorema 5.2 (Caso sin Dominios Errantes Oscilantes): Sea $H$ un semigrupo trascendental sin dominios errantes oscilantes, entonces $BU(H) \subset J(H)$

Combinando con el Teorema 5.5 donde $J(H) \subset BU(H)$, se obtiene:

Proposición 5.7: Para un semigrupo trascendental $H$ sin dominios errantes oscilantes, se tiene $J(H) = BU(H)$

Propiedades Especiales de Semigrupos Abelianos

Teorema 4.20 (Invariancia Completamente Invariante): Para un semigrupo trascendental abeliano $H$, el conjunto Julia relleno $K(H)$ es completamente invariante.

Teorema 4.16 (Igualdad del Conjunto de Escape): Para un semigrupo trascendental abeliano $H$, se tiene $I(H) = \bigcap_{h \in H} I(h)$

Propiedades de Semigrupos Conjugados

Teorema 5.11 (Invariancia bajo Conjugación): Sean $H$ y $H'$ semigrupos trascendentales abelianos finitamente generados conjugados por $\phi(z) = az + b$. Si $H$ no tiene dominios errantes oscilantes, entonces: $\phi(BU(H)) = BU(H')$

Puntos de Innovación Técnica

1. Racionalidad de las Definiciones

• La definición del conjunto bungee generaliza naturalmente el caso de una función individual, preservando la característica esencial de "ni acotado ni escapando"
• La definición del conjunto Julia relleno considera el comportamiento combinado de todas las funciones en el semigrupo

2. Técnicas de Demostración

• Utilización ingeniosa de la relación entre resultados de funciones individuales y la estructura de semigrupos
• Establecimiento de relaciones de inclusión mediante métodos de contradicción y construcción
• Uso de la teoría de familias normales para tratar propiedades topológicas

3. Unificación Teórica

• Establecimiento de la descomposición en unión disjunta de tres conjuntos importantes
• Unificación de la caracterización de comportamientos acotados, de escape y bungee

Aplicaciones y Ejemplos

Ejemplo 3.2 (Conjunto Bungee de Aplicaciones Racionales)

Para la aplicación racional $R(z) = 1/z^2$: $BU(R) = \{z \in \mathbb{C} : |z| < 1 \cup |z| > 1\}$

Ejemplo 4.15 (Semigrupo de Funciones Exponenciales)

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

Ejemplo 5.9 (Igualdad del Conjunto Bungee)

Se construyeron ejemplos concretos donde el conjunto bungee permanece invariante en el semigrupo.

Trabajos Relacionados

Desarrollo Histórico

1. Eremenko (1989): Primera introducción del concepto de conjunto de escape
2. Hinkkanen & Martin (1996): Establecimiento de la teoría de Fatou-Julia para semigrupos racionales
3. Poon, Zhigang, Huang & Cheng: Generalización de resultados de funciones individuales a semigrupos trascendentales
4. Osborne & Sixsmith (2016): Estudio sistemático del conjunto bungee de funciones individuales

Contribución de este Artículo

En comparación con trabajos existentes, este artículo es el primero en estudiar sistemáticamente el conjunto bungee de semigrupos trascendentales, llenando un vacío importante en la teoría.

Conclusiones y Discusión

Conclusiones Principales

1. Se establece exitosamente un marco teórico completo para el conjunto bungee y el conjunto Julia relleno de semigrupos trascendentales
2. Se demuestra la partición tripartita del plano complejo y las propiedades fundamentales de cada conjunto
3. Se revelan los efectos de la estructura de semigrupos en el comportamiento dinámico

Limitaciones

1. Los resultados principales se concentran en semigrupos abelianos; el caso no abeliano requiere investigación adicional
2. Ciertos resultados requieren la condición restrictiva de "ausencia de dominios errantes oscilantes"
3. Los ejemplos de cálculo concreto son relativamente escasos

Direcciones Futuras

1. Investigación de propiedades de semigrupos trascendentales no abelianos
2. Exploración de invariancia bajo aplicaciones conjugadas más generales
3. Desarrollo de métodos para calcular conjuntos bungee de semigrupos específicos

Evaluación Profunda

Fortalezas

1. Completitud teórica: Establecimiento sistemático de la teoría del conjunto bungee de semigrupos, llenando un vacío importante
2. Rigor en las demostraciones: Las pruebas matemáticas son lógicamente claras y técnicamente sofisticadas
3. Estructura clara: El artículo está bien organizado, con una progresión clara desde definiciones básicas hasta resultados profundos
4. Generalización natural: Generalización exitosa de resultados de funciones individuales al contexto de semigrupos

Debilidades

1. Alcance de aplicaciones: Se enfoca principalmente en desarrollo teórico, con relativamente pocos ejemplos de aplicaciones prácticas
2. Métodos computacionales: Carece de algoritmos efectivos para calcular conjuntos bungee de semigrupos específicos
3. Visualización: No proporciona intuición geométrica ni ilustraciones gráficas

Impacto

1. Valor académico: Contribución importante a la teoría de sistemas dinámicos complejos
2. Investigación posterior: Proporciona nuevas direcciones de investigación para campos relacionados
3. Fundamento teórico: El marco establecido puede sustentar desarrollo teórico adicional

Escenarios de Aplicación

• Investigación en teoría de sistemas dinámicos complejos
• Teoría de iteración de funciones y semigrupos
• Investigación en geometría fractal y dinámica caótica

Referencias Bibliográficas

El artículo cita literatura importante en el campo, incluyendo el trabajo pionero de Eremenko, los fundamentos de la teoría de semigrupos de Hinkkanen & Martin, así como investigaciones sobre conjuntos bungee de Osborne & Sixsmith y otros, reflejando una buena herencia académica y desarrollo.