Sistemas de expansión sectorial mayormente no uniformes

Información Básica

• ID del Artículo: 2508.06233
• Título: Mostly nonuniformly sectional expanding systems
• Autores: Vitor Araujo, Luciana Salgado
• Clasificación: math.DS (Sistemas Dinámicos)
• Fecha de Publicación: 18 de noviembre de 2025 (arXiv v2: 17 de noviembre de 2025)
• Enlace del Artículo: https://arxiv.org/abs/2508.06233

Resumen

Este artículo introduce el concepto de "expansión sectorial mayormente no uniforme" (MNUSE, por sus siglas en inglés) para flujos singulares, que unifica y generaliza teorías existentes como hiperbolicidad sectorial, hiperbolicidad sectorial asintótica e hiperbolicidad multisigular. Los autores construyen ejemplos de conjuntos C¹ no uniformemente sectorialmente hiperbólicos que satisfacen MNUSE pero que no son ni sectorialmente hiperbólicos ni asintóticamente sectorialmente hiperbólicos. Además, bajo supuestos de suavidad apropiados y condiciones sobre la dimensión del subfibrado central o los signos de los exponentes de Lyapunov, demuestran que los conjuntos MNUSE atractores soportan medidas físicas/SRB, y cuando el sistema dinámico es transitivo, la medida es única.

Antecedentes y Motivación de la Investigación

Contexto del Problema

1. Teoría de hiperbolicidad débil en flujos singulares: Desde que Morales, Pacifico y Pujals introdujeron el concepto de hiperbolicidad singular a finales de los años noventa, los investigadores han trabajado para comprender las estructuras hiperbólicas de sistemas dinámicos con singularidades, como el sistema de Lorenz.
2. Desafíos en la generalización de dimensiones superiores: En el caso tridimensional, la hiperbolicidad singular es equivalente a la expansión de volumen; sin embargo, en sistemas de dimensión superior, la expansión de volumen no implica expansión de área (como en los "atractores extraños salvajes" de Shilnikov-Turaev), lo que requiere conceptos más refinados de hiperbolicidad sectorial.
3. Limitaciones de las teorías existentes:
   • Hiperbolicidad Sectorial (SH): Requiere expansión de área uniforme, demasiado restrictiva
   • Hiperbolicidad Sectorial Asintótica (ASH): Aplicable a atractores de Lorenz contrayentes, pero aún con limitaciones
   • Hiperbolicidad Multisigular (MSH): Intenta caracterizar flujos estelares, pero no puede abarcar todos los sistemas sectorialmente hiperbólicos
   • Hiperbolicidad Sectorial No Uniforme Fuerte (NUSH): Condiciones demasiado fuertes, no aplicables a ciertos sistemas hiperbólicos persistentes

Motivación de la Investigación

Las definiciones existentes de no uniformidad hiperbólica son o demasiado restrictivas (como NUSH) o tienen cobertura limitada (como MSH). Este artículo tiene como objetivo proponer un marco más amplio que pueda:

• Unificar varios conceptos de hiperbolicidad existentes
• Incluir ejemplos importantes conocidos (como atractores de Lorenz)
• Garantizar la existencia de medidas físicas
• Proporcionar herramientas de análisis más flexibles para flujos singulares

Contribuciones Principales

1. Introducción del concepto MNUSE: Se propone una nueva definición de "expansión sectorial mayormente no uniforme" (Mostly Nonuniformly Sectional Expanding) que unifica conceptos como SH, ASH y MSH.
2. Aclaración de relaciones jerárquicas:
   • Se demuestra que SH, ASH (bajo condiciones de subfibrado central-inestable bidimensional) y MSH (bajo condiciones de singularidades específicas) son todos MNUSE (Teorema A)
   • Se construyen contraejemplos mostrando que MSH no contiene todos los sistemas SH (Teorema B)
   • Se construyen ejemplos de MNUSE que no son SH, ASH ni MSH (Teorema C)
3. Teorema de existencia de medidas físicas: Se demuestra que bajo condiciones apropiadas (subfibrado central-inestable bidimensional o condición de exponente de Lyapunov positivo), los conjuntos MNUSE atractores soportan una medida física/SRB ergódica hiperbólica única (Teorema D).
4. Contraejemplos importantes:
   • Se muestran conjuntos atractores sectorialmente hiperbólicos que contienen singularidades no de tipo Lorenz
   • Se construyen conjuntos atractores sectorialmente hiperbólicos sin singularidades de tipo Lorenz
   • Se proporciona un ejemplo robusto transitivo sin descomposición controlada (Ejemplo 2.2)

Explicación Detallada de Métodos

Definición de Tareas

Se estudian estructuras hiperbólicas débiles de flujos singulares (que permiten que órbitas regulares se acumulen en singularidades hiperbólicas), específicamente:

• Entrada: Flujo φᵗ generado por campo vectorial suave X y conjunto compacto invariante Λ
• Objetivo: Caracterizar propiedades de expansión del subfibrado central-inestable Eᶜᵘ
• Restricciones: Se permite no uniformidad (válida solo en conjuntos de medida positiva)

Sistema de Definiciones Principales

1. Descomposición Parcialmente Hiperbólica

Un conjunto compacto invariante Λ es parcialmente hiperbólico si existe una descomposición continua DXᵗ-invariante de Whitney: $T_Λ M = E^s \oplus E^{cu}$ que satisface:

• Controlabilidad: $\|DX^t|_{E^s_x}\| \cdot \|DX^{-t}|_{E^{cu}_{X^tx}}\| \leq e^{-λt}$
• Contracción uniforme: $\|DX^t|_{E^s_x}\| \leq e^{-λt}$

2. Definición de MNUSE (Definición 3.10)

Sea Λ un conjunto atractor parcialmente hiperbólico. Si existen un conjunto Γ⊂U de medida positiva y η<0 tales que: $\limsup_{T\to\infty} \frac{1}{T}\int_0^T \log\|\wedge^2(Df|_{E^{cu}_{X^sx}})^{-1}\|ds \leq η, \quad x\in Γ$ donde f=Xᵗ es el mapeo de tiempo discreto.

Significado físico: Se requiere que cualquier 2-plano en la dirección central-inestable se expanda exponencialmente en promedio en un conjunto de medida positiva.

3. Definición de NUSE (Versión más fuerte)

Si existen un conjunto Γ de medida positiva y η<0 tales que: $\limsup_{n\to\infty} \frac{1}{n}\sum_{i=0}^{n-1} \log\|(P^1|_{N^{cu}_{f^ix}})^{-1}\| \leq η$ donde $N^{cu}_x = E^{cu}_x \cap G(x)^\perp$ es la proyección de la dirección central-inestable en el complemento ortogonal de la dirección del flujo.

Puntos de Innovación Técnica

1. Debilitamiento de Requisitos de Uniformidad

Diferencias clave con definiciones clásicas:

• SH: Requiere expansión uniforme en todos los puntos y todos los tiempos
• MNUSE: Solo requiere expansión en promedio en conjuntos de medida positiva y en sentido promediado
• Permite que órbitas individuales o segmentos de tiempo violen la condición de expansión

2. Perspectiva de Teoría de Medidas

Se utiliza la existencia de medidas físicas:

• Para conjuntos atractores SH, se conoce la existencia de finitas medidas físicas μ₁,...,μₚ que cubren casi todos los puntos
• Mediante el teorema ergódico de Birkhoff, los puntos en la cuenca B(μᵢ) satisfacen la condición MNUSE
• Estimación clave (fórmula 8): $\lim_{t\to\infty}\frac{1}{t}\int_0^t \log\|\wedge^2(DX^T|_{E^{cu}_{X^sx}})^{-1}\|ds = \int_Λ \log\|\wedge^2(DX^T|_{E^{cu}_x})^{-1}\|dμ \leq \log\frac{e^{-λT}}{K}$

3. Técnica de Flujo de Poincaré Lineal

Para el tratamiento de MSH, se introduce el flujo de Poincaré lineal: $P^t_x: N_x \to N_{X^tx}, \quad P^t_x = O_{X^tx} \circ DX^t(x)$ donde $N_x = \{v\in T_xM: \langle v, X(x)\rangle = 0\}$ es el complemento ortogonal de la dirección del flujo.

Configuración Experimental

Estrategia de Verificación Teórica

Este es un artículo de matemática teórica pura que utiliza pruebas constructivas y contraejemplos:

1. Estrategia de prueba del Teorema A:
   • Se utilizan resultados conocidos sobre existencia de medidas físicas
   • Se establece la equivalencia entre promedio temporal y espacial mediante el teorema ergódico de Birkhoff
   • Se verifica que la condición MNUSE se cumple en las cuencas de medida
2. Construcción de contraejemplos del Teorema B:
   • Ejemplo 5.1: Extensión del atractor de Lorenz clásico, incluyendo puntos de silla no de tipo Lorenz σ₁, σ₂ (con valores propios de expansión complejos)
   • Ejemplo 5.2: Mediante cirugía de Dehn se construye un conjunto atractor sectorialmente hiperbólico sin singularidades de tipo Lorenz
3. Construcción de contraejemplos del Teorema C:
   • Ejemplo 6.1: Atractor geométrico de Lorenz con órbitas periódicas no hiperbólicas (basado en el mapeo de intermitencia de Manneville)
   • Ejemplo 6.2: Atractor geométrico de Lorenz con singularidad neutral (citando trabajo reciente de Bruin-Farias)

Herramientas Técnicas Clave

1. Teorema Ergódico Subaditivo de Kingman: Se utiliza para manejar cantidades no aditivas (como logaritmos de determinantes) en promedios de largo plazo
2. Teoría de Descomposición Controlada: Se utilizan resultados de Araujo-Arbieto-Salgado sobre descomposición controlada en flujos singulares
3. Teoría de Pesin: Se construyen variedades inestables para medidas hiperbólicas no uniformes

Resultados Experimentales

Resultados Principales

Teorema A (Relaciones de Inclusión)

Conclusión: Los siguientes conjuntos atractores son MNUSE:

1. Conjuntos atractores sectorialmente hiperbólicos (SH)
2. Conjuntos atractores asintóticamente sectorialmente hiperbólicos (ASH) con subfibrado central-inestable bidimensional (singularidades de tipo silla)
3. Conjuntos atractores multisigularmente hiperbólicos (MSH) (singularidades activas con índices iguales)

Puntos clave de la prueba:

• Para SH: Se utiliza la existencia de finitas medidas físicas μ₁,...,μₚ, verificando MNUSE en la unión de cuencas Γ=B(μ₁)∪...∪B(μₚ)
• Para ASH: El punto clave es demostrar que la medida física no se soporta en singularidades (de lo contrario, la entropía sería cero pero habría exponentes de Lyapunov positivos, contradicción)
• Para MSH: Se utiliza el resultado de Crovisier et al., donde MSH (bajo condiciones dadas) implica SH

Teorema B (Separabilidad)

Conclusión: Existe un conjunto abierto Cʳ de campos vectoriales estelares cuyo conjunto atractor sectorialmente hiperbólico no es MSH.

Método de construcción:

• Ejemplo 5.1: Conjunto de Lorenz A=Λ∪Wᵘ(σ₁)∪Wᵘ(σ₂), donde σ₁,σ₂ tienen valores propios de expansión complejos, no satisfaciendo la condición de tipo Lorenz
• Ejemplo 5.2: Mediante cirugía de Dehn se pegan flujos de Anosov y campos vectoriales con puntos de silla, obteniendo un conjunto atractor SH sin singularidades de tipo Lorenz

Significado: Se demuestra que el concepto MSH no puede abarcar todos los sistemas SH, aclarando la jerarquía teórica.

Teorema C (Relación de Inclusión Propia)

Conclusión: Existen conjuntos atractores MNUSE que:

1. Son ASH pero ni SH ni MSH
2. Ni son SH, ni ASH, ni MSH

Construcción:

• Ejemplo 6.1 (correspondiente a conclusión 1): Construcción geométrica de Lorenz basada en el mapeo de Manneville, incluyendo órbitas periódicas no hiperbólicas O(p±), preservando medida pero sin expansión uniforme
• Ejemplo 6.2 (correspondiente a conclusión 2): Atractor de Lorenz con singularidad neutral de Bruin-Farias, ni SH ni ASH

Verificación: Ambos ejemplos se verifican demostrando la existencia de una única medida física/SRB y que se cumple la fórmula de entropía, verificando así MNUSE.

Teorema D (Existencia de Medidas Físicas)

Conclusión: Sea K un conjunto compacto invariante hacia adelante MNUSE de un campo vectorial C². Si se satisface una de las siguientes condiciones:

1. dimEᶜᵘ=2, o
2. Sin exponentes de Lyapunov negativos en Eᶜᵘ: $\liminf_{T\to\infty}\frac{1}{T}\log\|\wedge^2(Dφ^T(x)v)^{-1}\|\geq 0$

Entonces el conjunto atractor Λ soporta una medida física/SRB ergódica hiperbólica, y es única cuando el sistema es transitivo.

Estrategia de prueba:

1. Se utiliza el Teorema 7.1: La condición MNUSE (5) implica la condición NUSE (6) en un conjunto de medida positiva
2. Se aplica el resultado de 8, Corolarios D y G: Parcialmente hiperbólico + NUSE ⇒ existencia de medida física/SRB

Hallazgos Importantes

1. No Necesidad de Descomposición Controlada (Ejemplo 2.2)

Se construye un flujo suspendido sobre el toro 4-dimensional, demostrando:

• Existencia de conjunto transitivo robusto con medida física, satisfaciendo NUSE
• Pero sin descomposición controlada (porque hay puntos periódicos cuya dirección de expansión está en el subfibrado "estable")

Significado: Muestra que el marco MNUSE es más flexible que la teoría de hiperbolicidad parcial tradicional.

2. Generalización del Lema Hiperbólico (Lema 3.4)

Todos los subconjuntos compactos invariantes sin singularidades en conjuntos SH, ASH y MSH son uniformemente hiperbólicos. Esto construye un puente entre la teoría no uniforme y la uniforme.

3. Suficiencia de Condiciones de Medida

Insight clave: Para campos vectoriales suaves, solo es necesario verificar la propiedad de expansión en un conjunto de medida positiva; combinado con teoría ergódica, esto implica propiedades dinámicas globales.

Trabajos Relacionados

Desarrollo de la Teoría de Hiperbolicidad Singular

1. Hiperbolicidad Singular (1999): Morales-Pacifico-Pujals la introducen para entender el sistema de Lorenz, requiriendo expansión de volumen del subfibrado central-inestable.
2. Hiperbolicidad Sectorial (2008): Metzger-Morales la generalizan a dimensiones superiores, requiriendo expansión de área de cualquier 2-plano.
3. Hiperbolicidad p-Sectorial (2019): Salgado introduce el concepto de expansión de dimensión intermedia.
4. Hiperbolicidad Multisigular (2021): Bonatti-da Luz la introducen para caracterizar flujos estelares; Crovisier et al. (2020) dan definiciones equivalentes.
5. Hiperbolicidad Sectorial Asintótica (2017): Morales-San Martin la introducen para tratar el atractor de Rovella, requiriendo expansión en sentido promediado.
6. Hiperbolicidad Sectorial No Uniforme Fuerte (2011): Arbieto-Salgado la introducen, pero las condiciones son demasiado fuertes.

Posicionamiento de este Artículo

MNUSE como la condición de expansión no uniforme más débil:

• Compatible hacia arriba: Incluye SH, ASH, MSH como casos especiales
• Garantía hacia abajo: Aún puede implicar existencia de medidas físicas
• Llena vacíos: Cubre ejemplos que las teorías anteriores no podían manejar

Teoría de Medidas Físicas

• Caso SH: Araujo-Pacifico-Pujals-Viana (2009) demuestran finitud
• Caso ASH: Araujo-Salgado-Sousa (2025) demuestran existencia
• Contribución de este artículo: Existencia y unicidad bajo marco unificado

Conclusiones y Discusión

Conclusiones Principales

1. Unificación teórica: El concepto MNUSE unifica exitosamente múltiples teorías de hiperbolicidad débil en flujos singulares, estableciendo una estructura jerárquica clara: $\text{SH, ASH, MSH} \subsetneq \text{MNUSE}$
2. Garantía de medidas físicas: Bajo condiciones moderadas (subfibrado central-inestable bidimensional o exponente de Lyapunov positivo), los conjuntos atractores MNUSE soportan medidas físicas/SRB.
3. Importancia de contraejemplos: Mediante contraejemplos cuidadosamente construidos, se aclaran las relaciones de inclusión propia entre conceptos, demostrando que las teorías existentes tienen limitaciones reales.

Limitaciones

1. Requisitos de suavidad: El Teorema D requiere suavidad C², necesaria para la construcción de medidas físicas, pero limita el rango de aplicación.
2. Restricciones de dimensión: Los resultados sobre hiperbolicidad sectorial asintótica solo se aplican a subfibrados central-inestables bidimensionales; el caso de dimensión superior aún requiere investigación.
3. Rol de la descomposición controlada: Aunque el Ejemplo 2.2 muestra que la descomposición controlada no es necesaria, se utiliza ampliamente en las pruebas; su rol exacto aún no está completamente aclarado.
4. Condiciones sobre singularidades: El Teorema A tiene requisitos específicos sobre singularidades para ASH y MSH (tipo silla, activas, índices iguales); el caso general aún no se ha resuelto.

Direcciones Futuras

El artículo identifica explícitamente dos direcciones de investigación:

1. Relajación de requisitos de continuidad:
   • Continuidad Hölder: Citando Mi-Cao-Yang (2022), se pueden usar descomposiciones Hölder continuas en lugar de descomposiciones controladas
   • Solo continuidad: Citando Cao-Mi-Zou (2025), posiblemente solo se necesite descomposición continua para construir variedades inestables de Pesin
2. Generalización a configuraciones más generales:
   • Investigar el caso de subfibrados central-inestables de dimensión superior
   • Explorar condiciones de exponentes de Lyapunov más débiles
   • Investigar casos no atractores (como conjuntos de tipo silla)
3. Direcciones implícitas (conjetura de revisores):
   • Propiedades estadísticas: tasas de mezcla, teorema del límite central
   • Propiedades topológicas: entropía topológica, tasa de crecimiento de órbitas periódicas
   • Estabilidad: estabilidad estructural, estabilidad estadística

Evaluación Profunda

Fortalezas

1. Profundidad Teórica

• Innovación conceptual: La definición MNUSE equilibra ingeniosamente generalidad y usabilidad, abarcando ejemplos conocidos mientras garantiza existencia de medidas físicas
• Claridad jerárquica: Mediante teoremas y contraejemplos sistemáticos, se caracteriza completamente el mapa de relaciones entre conceptos de hiperbolicidad
• Técnica refinada: Combina hábilmente herramientas de teoría ergódica, topología diferencial y teoría de medidas

2. Arte en la Construcción de Ejemplos

• Ejemplo 5.1: Utiliza ingeniosamente la estructura geométrica del sistema de Lorenz, agregando puntos de silla no de tipo Lorenz
• Ejemplo 6.1: Eleva propiedades refinadas de dinámica unidimensional (mapeo de Manneville) a flujos
• Ejemplo 2.2: Flujo suspendido de difeomorfismo de toro de Tahzibi, demostrando que la descomposición controlada no es necesaria

3. Calidad de Redacción

• Estructura clara: Introducción-Definiciones-Teoremas-Ejemplos-Pruebas con lógica rigurosa
• Motivación suficiente: Cada definición tiene antecedentes físicos o matemáticos claros
• Detalles técnicos completos: Los pasos clave en las pruebas tienen explicaciones suficientes o referencias

4. Valor Práctico

• Proporciona marco unificado para investigar sistemas concretos (como familias de Lorenz)
• El teorema de existencia de medidas físicas tiene amplio potencial de aplicación
• Los contraejemplos son cruciales para entender los límites de la teoría

Insuficiencias

1. Umbral Técnico Alto

• Requiere profundos antecedentes en sistemas dinámicos diferenciales
• Múltiples referencias a trabajos anteriores de los autores, difícil de entender para no especialistas
• Ciertos detalles de prueba (como Teorema D) dependen de literatura externa

2. Falta de Verificación Computacional

• Todos los ejemplos son construcciones teóricas, sin verificación numérica
• Para la medida física del Ejemplo 6.1, no se proporcionan características numéricas específicas
• Cómo verificar la condición MNUSE en sistemas reales no está suficientemente claro

3. Análisis Insuficiente de Necesidad de Condiciones

• ¿Son las dos condiciones del Teorema D (bidimensional o exponente positivo) óptimas?
• ¿Se puede reducir el requisito de suavidad C²?
• ¿Es la hiperbolicidad parcial necesaria?

4. Conexión Limitada con Aplicaciones Físicas

• No se discute la aplicación de MNUSE en sistemas físicos reales (fluidos, modelos climáticos, etc.)
• El significado físico de las medidas físicas no se explica suficientemente
• No se abordan conexiones con teoría de turbulencia, etc.

Evaluación de Impacto

Contribución al Campo

• Perfeccionamiento teórico: Llena un vacío importante en la teoría de hiperbolicidad no uniforme
• Metodología: Paradigma de perspectiva de teoría de medidas para manejar no uniformidad
• Aclaración de problemas: Mediante contraejemplos, se aclaran los límites de varias teorías

Aplicaciones Potenciales

1. Clasificación de sistemas dinámicos: Proporciona herramientas de clasificación más refinadas para flujos singulares
2. Análisis de sistemas físicos: Posible aplicación a ecuaciones de Navier-Stokes, modelos climáticos, etc.
3. Diseño de algoritmos: La verificación MNUSE podría conducir a nuevos algoritmos numéricos

Reproducibilidad

• Resultados teóricos: Pruebas completas, fuerte reproducibilidad
• Construcción de ejemplos: Principios claros, pero la implementación específica requiere conocimiento profesional
• Verificación numérica: Falta código o parámetros específicos, difícil de reproducir

Escenarios Aplicables

Investigación Teórica

• Investigar propiedades ergódicas de flujos singulares
• Construir nuevos ejemplos hiperbólicos o parcialmente hiperbólicos
• Desarrollar teoría de hiperbolicidad no uniforme

Aplicaciones Prácticas

• Analizar sistemas de fluidos con singularidades
• Investigar comportamiento a largo plazo de modelos climáticos
• Entender dinámicas de redes de reacciones químicas

Escenarios Limitantes

• Sistemas dinámicos discretos (requiere modificación apropiada)
• Sistemas conservativos (sin conjuntos atractores)
• Sistemas de dimensión alta (ciertos resultados limitados a dimensión baja)

Referencias (Destacadas)

1. 25 Morales-Pacifico-Pujals (1999): Trabajo fundamental en hiperbolicidad singular
2. 21 Metzger-Morales (2008): Definición de hiperbolicidad sectorial
3. 24 Morales-San Martin (2017): Hiperbolicidad sectorial asintótica
4. 10,14 Bonatti-da Luz (2021), Crovisier et al (2020): Hiperbolicidad multisigular
5. 9 Arbieto-Salgado (2011): Hiperbolicidad sectorial no uniforme fuerte
6. 8 Araujo-Salgado-Sousa (2025): Trabajo anterior directo, existencia de medidas físicas
7. 5 Araujo-Pacifico (2010): Referencia integral para flujos tridimensionales
8. 18 Ledrappier-Young (1985): Fórmula de entropía para medidas SRB

Evaluación General: Este es un artículo de matemática teórica de alta calidad que realiza contribuciones importantes a la teoría de hiperbolicidad no uniforme en flujos singulares. Mediante la introducción del concepto MNUSE, unifica exitosamente múltiples teorías existentes y, mediante contraejemplos cuidadosamente construidos, aclara los límites teóricos. El teorema principal (especialmente Teorema D) proporciona un marco general para la existencia de medidas físicas. La profundidad técnica e integridad teórica del artículo son muy altas, con impacto importante en el campo de sistemas dinámicos. Las principales insuficiencias radican en la falta de verificación numérica y discusión de aplicaciones prácticas, así como en la optimalidad de ciertas condiciones técnicas que aún requiere investigación.