Abstract:In this paper, we mainly study the turbulence of Lagrangian flow advected by stochastic 2D Navier-Stokes equations. It is proved that this system has observable full-horseshoes. The observable full-horseshoe means that it is a kind of chaotic structure and occurs on any two disjoint non-empty closed balls.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether there are observable full - horseshoes in the Lagrangian flow driven by the stochastic two - dimensional Navier - Stokes equations. Specifically, the author studied the turbulence phenomenon in such a system and proved that the system indeed has an observable full - horseshoes structure. This structure is a manifestation of chaotic behavior, indicating that the system has complex dynamical behavior on any two disjoint non - empty closed balls.
### Background and Motivation
- **Turbulence Phenomenon**: Turbulence refers to the phenomenon in which fluid motion becomes complex, unpredictable, irregular and chaotic. This physical phenomenon is widespread in nature.
- **Iconic Feature of Chaotic Dynamical Systems**: The horseshoe structure introduced by Smale is a powerful geometric tool for describing the complex behavior of chaotic systems.
- **Existing Research**: Bedrossian et al. proved that some fluid models (including the Lagrangian flow driven by the stochastic two - dimensional Navier - Stokes equations) have positive Lyapunov exponents, which indicates that these systems have chaotic characteristics.
### Research Objectives
- **Main Results**: The author proved that the Lagrangian flow driven by the stochastic two - dimensional Navier - Stokes equations has a full - horseshoes structure on any two disjoint non - empty closed balls. This result provides the possibility of capturing the chaotic behavior of the stochastic Lagrangian flow.
- **Specific Theorem**: Theorem 1.2 states that for any two disjoint non - empty closed balls \( U_1 \) and \( U_2 \), under almost all sample paths and initial velocity conditions, there exists a subset \( J(\omega, u) \) that satisfies the following conditions:
- As \( n \) approaches infinity, \(\frac{|J(\omega, u)\cap \{0, 1,\ldots, n - 1\}|}{n}>0\).
- For any \( s\in \{1, 2\}^{J(\omega, u)}\), there exists a point \( x_s\in T^2 \) such that \(\phi_j(\omega, u)x_s\in U_{s(j)}\) for each \( j\in J(\omega, u)\).
### Methods and Techniques
- **Stochastic Lagrangian Flow**: Defined the Lagrangian flow driven by the stochastic two - dimensional Navier - Stokes equations and discussed the existence and uniqueness of its solutions.
- **K - system**: Verified that the Lagrangian flow is a K - system and used the properties of the K - system to prove the existence of the full - horseshoes structure.
- **Integral Conditions**: Verified that the Lagrangian flow satisfies the integral conditions, which is a crucial step in proving that the system has a positive Lyapunov exponent.
### Conclusions
This paper, through rigorous mathematical proofs, shows that the Lagrangian flow driven by the stochastic two - dimensional Navier - Stokes equations has an observable full - horseshoes structure on any two disjoint non - empty closed balls. This result not only deepens the understanding of the turbulence phenomenon but also provides a theoretical basis for further research on the chaotic behavior of stochastic dynamical systems.