Topological entropy is generically infinite for non-Lipschitz velocity fields

Abstract: We prove that for any Osgood non-Lipschitz modulus of continuity $ω$, flow maps associated with time-periodic $ω$-continuous velocity fields generically (in the sense of Baire) have infinite topological entropy.

• The paper establishes that Osgood continuous, non-Lipschitz velocity fields generically yield infinite topological entropy in time-periodic flows.
• It uses a pseudo-horseshoe construction and Baire category methods to demonstrate symbolic dynamics and super-exponential orbit complexity.
• The work sharpens the regularity threshold between finite and infinite entropy regimes, with significant implications for fluid dynamics and kinetic models.

Topological Entropy in Flow Maps of Non-Lipschitz Velocity Fields

Overview and Context

The paper "Topological entropy is generically infinite for non-Lipschitz velocity fields" (2604.01077) provides a comprehensive study of the typical dynamical complexity that arises in flow maps generated by time-periodic velocity fields with sub-Lipschitz (Osgood) continuity on compact manifolds, with emphasis on the two-dimensional torus. Its central result establishes that, in generic situations (Baire category sense), these flow maps exhibit infinite topological entropy, starkly contrasting the finite entropy regime found under Lipschitz regularity. The analysis advances foundational understanding at the interface of regularity theory, dynamical systems, and fluid mechanics.

Main Results

The primary contribution is the rigorous proof that:

For any Osgood non-Lipschitz modulus of continuity $\omega$, the set of time-periodic velocity fields $b$ (integrable in time and $\omega$-continuous in space) whose time-one flow map $X_1^b$ has infinite topological entropy forms a residual (comeager) subset in the corresponding function space.

Specifically, in the functional space $$L^1_{per}([0,1]; c_\omega(\mathbb{T}^2; \mathbb{R}^2))$$, the set of $b$ for which $h_{top}(X_1^b) = \infty$ is residual. This is a sharp dichotomy: Lipschitz regularity enforces finite complexity, while any loss to Osgood regularity (including log-Lipschitz) yields typical super-exponential orbit complexity.

These results extend and unify earlier work for continuous [KY80] and Hölder [EDFPHCT21] homeomorphisms, exhibiting for the first time a generic infinite entropy result for flow maps derived from PDE time-evolution with velocity fields below the Lipschitz threshold but still in the Osgood class.

The constructions and arguments are robust under several constraints, including incompressibility ($\operatorname{div} b = 0$) and bounded divergence ($\operatorname{div} b \in L^\infty$), with only minimal proof adaptations required.

Techniques and Proof Architecture

The methodology is anchored in intricate perturbation and genericity arguments. Key elements include:

• Flow Map Framework: The problem is formalized using autonomous ODEs on the torus with time-periodic non-Lipschitz velocity fields, ensuring by the Osgood condition the well-posedness and continuity of the flow maps.
• Pseudo-Horseshoe Construction: Building upon Yano's idea of pseudo-horseshoes, the authors construct localized velocity fields whose flows implement symbolic dynamics with arbitrarily large entropy, and rescale/support them so that their norm in the Osgood class can be made arbitrarily small.
• Baire Category Argument: Through carefully controlled perturbations, any velocity field can be approximated by fields with periodic orbits, and subsequently further perturbed near these periodic points to implant a pseudo-horseshoe structure, ensuring infinite entropy. Iterated, this produces countable intersections of open dense sets, yielding the residual set of fields with infinite entropy maps.
• Extension to Special Classes: The paper details how the established techniques also yield analogous genericity results for velocity fields with exponentially integrable gradients, relevant for critical-fluid flows, as well as for kinetic model applications.

Implications

Theoretical Impact

This result delineates a precise regularity boundary in the interplay between PDE regularity and topological complexity of associated dynamical systems.

• Threshold Phenomenon: The distinction between finite and infinite entropy regimes is exactly the Lipschitz/Osgood threshold. This provides a sharp answer to questions about the "typical" behavior of flow-induced dynamical systems below classical smoothness thresholds.
• Super-Exponential Complexity: The relationship to the metric (measure-theoretical) entropy, via the variational principle, implies the existence of invariant sets supporting measures with arbitrarily large metric entropy, meaning the system can exhibit super-exponential orbit separation and mixing on subsets of positive measure.
• Applications to Euler Flows: In the context of 2D Euler flows with bounded (but not necessarily smooth) vorticity, where the velocity field is log-Lipschitz, the results confirm and quantify the potential for extremely complex behavior in the Lagrangian flow, aligning with empirical and analytical observations of rapid enstrophy growth and energy cascade.

Practical and Applied Directions

• Mixing and Turbulence: For mixing enhancements, passive scalar turbulence, and related control problems in fluid dynamics, the findings support that merely assuming Osgood—rather than Lipschitz—regularity allows for “pathologically” strong topological disordering effects, influencing mixing estimates and suppression mechanisms.
• Kinetic and Stochastic Models: The result is relevant for kinetic equations and stochastic flows below Lipschitz regularity, highlighting cases where uniqueness of particle trajectories does not preclude arbitrarily high complexity.
• Numerical Simulations: For numerics, where the effective velocity field may only be known or approximated with Osgood regularity, this suggests that high-dimensional structure and ergodic-type behaviors may not be adequately controlled, necessitating careful analysis of approximate regularity effects.

Directions for Future Work

The paper’s framework naturally prompts extensions in several directions:

• Sharper Modulus Dependencies: Investigate precise scaling laws for the growth of entropy with progressively slower Osgood moduli or gradients with controlled integrability.
• Invariant Measures and SRB States: Characterize the statistical properties of invariant measures supported on the sets where infinite entropy manifests, relating to Sinai-Ruelle-Bowen theory.
• Random Forcing and Stochastic Flows: Extend the genericity analysis to random velocity fields or stochastic ODE/PDE settings, where Osgood regularity may hold only pathwise or in expectation.
• Higher Dimensional and Noncompact Cases: Generalize to flows on higher-dimensional or noncompact manifolds, where topological entropy may interact with underlying geometry and non-periodicity.

Conclusion

This work establishes that, in the lingering gap between continuity and Lipschitz continuity, Osgood regular velocity fields generate flow maps with generically infinite topological entropy. The sharpness and robustness of this result deepen the understanding of the fundamental interplay between regularity and dynamical complexity, with significant repercussions in the analysis of nonlinear PDEs, fluid flow models, and dynamical systems. The techniques developed and the regularity threshold delineated pave the way for further investigation into complex behavior arising in low-regularity regimes, both in theory and in application.