1. Introduction
The Arnold–Beltrami–Childress (ABC) flow
describes a kind of stationary flow of incompressible fluid with periodic boundary conditions, where $\boldsymbol {u}_{ABC}$ is the velocity vector field, $A$, $B$ and $C$ are arbitrary constants, $x$, $y$ and $z$ are Cartesian coordinates, $\boldsymbol {e}_x$, $\boldsymbol {e}_y$ and $\boldsymbol {e}_z$ are the direction vectors of the Cartesian coordinate system, respectively. The ABC flow was first discovered by Arnold (Reference Arnold1965) as a class of steady-state solutions of the Euler equations or the Navier–Stokes (NS) equations with external force per unit mass, and since then the Lagrangian chaotic property (Dombre et al. Reference Dombre, Frisch, Greene, Hénon, Mehr and Soward1986; Galloway & Frisch Reference Galloway and Frisch1986, Reference Galloway and Frisch1987) and the so-called Beltrami property, i.e. substantial helicity $\boldsymbol {u}_{ABC}\times (\boldsymbol {\nabla }\times \boldsymbol {u}_{ABC})=0$, of this kind of flow have aroused wide interest in nonlinear dynamics, hydrodynamics and magnetohydrodynamics.
The property of exponential deviation of a fluid particle (i.e. Lagrangian chaos) in the above-mentioned ABC flow is typical of chaotic dynamical systems (Dombre et al. Reference Dombre, Frisch, Greene, Hénon, Mehr and Soward1986; Blazevski & Haller Reference Blazevski and Haller2014; Didov & Uleysky Reference Didov and Uleysky2018a,Reference Didov and Uleyskyb) and essential for the development of turbulent flows (Dombre et al. Reference Dombre, Frisch, Greene, Hénon, Mehr and Soward1986; Galloway & Frisch Reference Galloway and Frisch1987; Podvigina & Pouquet Reference Podvigina and Pouquet1994). This feature, in conjunction with substantial helicity, is essential for fast dynamo action (i.e. fast generation of magnetic field in conducting fluids) (Moffatt & Proctor Reference Moffatt and Proctor1985; Galloway & Frisch Reference Galloway and Frisch1986; Finn & Ott Reference Finn and Ott1988) and for the origin of magnetic field of large astrophysical objects (Childress Reference Childress1970).
For a chaotic dynamical system (Li & Yorke Reference Li and Yorke1975; Parker & Chua Reference Parker and Chua1989; Lorenz Reference Lorenz1993; Peter Reference Peter1998; Sprott Reference Sprott2010; Van Gorder Reference Van Gorder2013; Lee, Borthwick & Taylor Reference Lee, Borthwick and Taylor2014; Gao et al. Reference Gao, Tao, Tian and Yang2018), sensitivity dependence on initial conditions (SDIC) of a trajectory was first discovered by Poincaré (Reference Poincaré1890) and then rediscovered by Lorenz (Reference Lorenz1963) who proposed the popular name ‘butterfly effect’. In essence, the SDIC reveals the trajectory instability of chaos. Moreover, Lorenz (Reference Lorenz1989, Reference Lorenz2006) further discovered that the trajectories of chaotic dynamical systems have sensitive dependence not only on initial conditions (SDIC) but also on numerical algorithms (SDNA), because numerical noise, arising from truncation error and round-off error, is unavoidable for all numerical algorithms. All of these phenomena are based on the exponential increase of noise (or small disturbances), especially for the long-duration numerical simulation of a chaotic dynamical system (Ruelle & Takens Reference Ruelle and Takens1971; Li et al. Reference Li, Ho, Berera and Feng2020). Naturally, the non-replicability/unreliability of chaotic trajectories has certainly led to heated debate about the credibility of numerical simulations of chaotic systems, with Teixeira, Reynolds & Judd (Reference Teixeira, Reynolds and Judd2007) reaching the pessimistic conclusion that ‘for chaotic systems, numerical convergence cannot be guaranteed forever’.
In order to gain a reproducible/reliable numerical simulation of chaos, Liao (Reference Liao2009) proposed a numerical strategy, namely ‘clean numerical simulation’ (CNS) (Liao Reference Liao2013, Reference Liao2014, Reference Liao2017), to greatly reduce the background numerical noise arising from truncation and round-off errors over a sufficiently long interval of time for statistical properties to be evaluated. In the frame of the CNS (Liao Reference Liao2009, Reference Liao2013, Reference Liao2014, Reference Liao2017; Liao & Wang Reference Liao and Wang2014; Hu & Liao Reference Hu and Liao2020; Qin & Liao Reference Qin and Liao2020), spatial and temporal truncation errors are reduced to a required tiny level by means of a fine enough spatial discretization (such as the spatial Fourier expansion) and a high enough order of Taylor expansion in the temporal dimension, respectively. In particular, by using a large enough number of significant digits to represent all physical and numerical variables/parameters in multiple-precision floating-point arithmetic (Oyanarte Reference Oyanarte1990), the round-off error can be reduced to below a required tiny level. Furthermore, an additional simulation with even smaller level of background numerical noise is performed so as to determine the so-called ‘critical predictable time’ $T_c$ by comparing such two simulations, so that their numerical noise (caused by truncation and round-off errors) can be negligible, i.e. several orders of magnitude smaller than the ‘true’ physical solution, and thus the computer-generated trajectory of chaos is reproducible/reliable within the whole spatial domain throughout the time interval $t\in [0,T_c]$. In this way, the CNS can provide reproducible/reliable trajectories of chaotic dynamical systems in an interval of time $[0,T_{c}]$ that is long enough for the statistics to be evaluated properly.
The CNS provides a useful tool by which to obtain reproducible/reliable simulations of chaotic trajectory over a prescribed long time duration. To date, CNS has been successfully applied to solve many chaotic dynamical systems, such as the Lorenz equations (Liao Reference Liao2009; Liao & Wang Reference Liao and Wang2014), two-dimensional turbulent Rayleigh–Bénard convection (Lin, Wang & Liao Reference Lin, Wang and Liao2017), chaotic motion of a disk in free fall (Xu et al. Reference Xu, Li, Li and Liao2021), and certain spatiotemporal chaotic systems such as the complex Ginzburg–Landau equation (Hu & Liao Reference Hu and Liao2020), the damped driven sine-Gordon equation (Qin & Liao Reference Qin and Liao2020) and so on. Using CNS, more than 2000 new families of periodic orbits of Newton's (Newton Reference Newton1687) three-body problem have been discovered (Li & Liao Reference Li and Liao2017; Li, Jing & Liao Reference Li, Jing and Liao2018; Li & Liao Reference Li and Liao2019), which were also reported twice in New Scientist (Crane Reference Crane2017; Whyte Reference Whyte2018). It should be noted that only three families of periodic orbits of the three-body problem had been reported in the 300 years after Newton first posed the problem. Recently, comparing the CNS results (as benchmark solutions) with those given by the direct numerical simulation, Qin & Liao (Reference Qin and Liao2022) provided rigorous evidence that numerical noise acting as tiny artificial stochastic disturbances has both quantitative and qualitative influences on sustained turbulence. The foregoing illustrates the novelty, great potential and validity of CNS for chaotic dynamic systems.
Obviously, the numerical simulation of chaotic trajectory given by CNS can be considered as benchmark solution by which to investigate the influence of numerical noise on chaos. Using CNS, it has been found that, for certain chaotic dynamical systems, such as the Lorenz equations (Lorenz Reference Lorenz1963), which has one positive Lyapunov exponent, and the so-called hyperchaotic Rossler system (Stankevich, Kazakov & Gonchenko Reference Stankevich, Kazakov and Gonchenko2020), which has two positive Lyapunov exponents, their statistics always remain the same under small disturbances, i.e. stable, although their trajectories are rather sensitive to small disturbances, i.e. unstable. The behaviour of such systems can be classified as normal-chaos (Liao & Qin Reference Liao and Qin2022). However, the statistical properties (such as the probability density function) of some other forms of chaos are extremely sensitive to tiny noise/disturbances (Liao & Qin Reference Liao and Qin2022), i.e. unstable, which is called ultra-chaos (Liao & Qin Reference Liao and Qin2022; Yang, Qin & Liao Reference Yang, Qin and Liao2023).
Why do we need such a new classification and such a new concept of ultra-chaos mentioned above? It is well known that numerical noise, say, truncation and round-off error, is unavoidable in numerical simulations. Thus, due to the famous butterfly effect (Lorenz Reference Lorenz1963), numerical noise of computer-generated simulations of a chaotic system exponentially enlarges so that numerical simulations quickly become a mixture of the ‘true’ physical solution $s$ and the ‘false’ numerical noise $\varepsilon$, which are mostly at the same order. Any statistics, which are calculated using such kind of mixture, are based on a hypothesis that the statistics are stable to numerical noise. In other words, the statistics based on this kind of mixture (i.e. $s+\varepsilon$) are the same as those based on the ‘true’ physical solution (i.e. $s$), say,
must hold, where $\langle \rangle$ is a statistical operator. Here, the numerical noise $\varepsilon$ is in fact equivalent to a kind of small disturbance. Unfortunately, there exists no theoretical proof of this hypothesis, even though it is widely utilized in many publications. Is the hypothesis (1.2) always true for all chaotic systems? The answer is unfortunately negative, according to Liao & Qin (Reference Liao and Qin2022), who proposed the new concept ‘ultra-chaos’ and classify chaos into normal-chaos and ultra-chaos, as listed in table 1 for the stability of trajectory and statistics of different types of dynamic systems. Such a classification of chaos is clear and easy to implement in practice. Several examples of ultra-chaos have been found in different types of chaotic systems (Liao & Qin Reference Liao and Qin2022; Yang et al. Reference Yang, Qin and Liao2023) and even in a Rayleigh–Bénard turbulent flow (Qin & Liao Reference Qin and Liao2022).
In this paper, we use the unstable ABC flow (in the Lagrangian viewpoint) as an example to illustrate that ultra-chaos indeed widely exists and is in a higher disorder than a normal-chaos. Besides, we point out the essential differences between ultra-chaos and high sensitivity of statistics on certain parameters, and discuss possible relationships between ultra-chaos and ergodicity/non-ergodicity, the Poincaré section, etc. Moreover, we numerically solve the NS equation using the ABC flow plus a small disturbance as the initial condition so as to investigate the property of Lagrangian chaos of trajectories. Our results strongly suggest that turbulence should have a close relationship with ultra-chaotic trajectories, although the detailed mechanism is not yet fully understood, and thus warrants further study.
2. Ultra-chaos in the ABC flows
Let $x(t)$, $y(t)$ and $z(t)$ represent the location coordinates of a fluid particle, and $\dot {x}(t)$, $\dot {y}(t)$ and $\dot {z}(t)$ denote their temporal derivatives. Thus, in the Lagrangian sense, the motion of a fluid particle in ABC flow (1.1) is governed by
with the initial condition
where ${\boldsymbol {r}}_0$ denotes a starting point of the fluid particle. Equation (2.1) describes a typical conservative (i.e. volume-preserving) dynamical system. Without loss of generality, let us consider the case of $A=1$ and different values of $B$ and $C$. It should be emphasized here that, by means of CNS, we invariably obtain a reproducible/reliable trajectory of the chaotic motion of a fluid particle of the ABC flow over a sufficiently long interval of time. To investigate the influence of small disturbance on trajectory of the fluid particle in ABC flow (1.1) starting from $\boldsymbol {r}_{0}= (x(0), y(0), z(0))$, we compare the trajectories of two close fluid particles of the ABC flow, starting from the initial positions $\boldsymbol {r}_0$ and ${\boldsymbol {r}}_{0}'={\boldsymbol {r}}_{0}+(0,0,1)\times \delta$, respectively, where $\delta = |{\boldsymbol {r}}_{0} - {\boldsymbol {r}}_{0}' |$ is a tiny constant. Note that $\delta = 0$ when ${\boldsymbol {r}}_{0} = {\boldsymbol {r}}_{0}'$, corresponding to non-disturbance.
For example, without loss of generality, let us consider the motion of a fluid particle of the ABC flow (in the Lagrangian sense) starting from the point $\boldsymbol {r}_{0} = (0,0,0)$ in the case for $A=1$ and different values of $B$ and $C$. In order to investigate its chaotic property, we compare the trajectory with that starting from a very close one $\boldsymbol {r}_{0}'=\boldsymbol {r}_{0}+(0,0,1)\times \delta$, where we choose either $\delta = 10^{-5}$ or $10^{-10}$. In each case, the chaotic simulation remains reproducible over the long interval $t\in [0,10\,000]$ by means of a parallel algorithm of the CNS using the $200$th-order Taylor expansion with the time step $\Delta t = 0.01$ and representing all data in $500$-digit multiple-precision floating-point arithmetic, whose replicability/reliability is guaranteed via another CNS result with even smaller background numerical noise, given by the $205$th-order Taylor expansion (with the same time step) and $520$-digit multiple-precision floating-point arithmetic.
When $A=1$, $B=0.7$ and $C=0.42$, a fluid particle starting from $\boldsymbol {r}_{0}=(0,0,0)$ (corresponding to $\delta = 0$) experiences chaotic motion (with the maximum Lyapunov exponent $\lambda _{max}=0.01$) in a restricted spatial domain, as shown in figure 1(a) for its phase plot $(x,z)$ (considering the linear increase of value of $y$). For $\delta =10^{-5}$ and $\delta =10^{-10}$, although the chaotic trajectories of the two fluid particles, separately starting from the points $\boldsymbol {r}'_{0}$ very close to $\boldsymbol {r}_{0}=(0,0,0)$, are rather sensitive to the starting point, their phase plots and statistical properties such as the p.d.f. are almost the same as those given by the chaotic trajectory starting from $\boldsymbol {r}_{0}=(0,0,0)$ that corresponds to $\delta =0$, as shown in figures 1(b), 1(c) and 1(d), respectively. Note that here we show the p.d.f.s (as well as other statistics) only of the $z$-coordinate values due to the similar properties of their $x$-coordinate counterparts. Therefore, for $A=1$, $B=0.7$ and $C=0.42$, the motion of the fluid particle starting from $\boldsymbol {r}_{0}=(0,0,0)$ is a normal-chaos, since its statistical properties such as the p.d.f. of $z(t)$ are stable, i.e. not sensitive, to a very small disturbance of the starting point.
However, for a small change in $C$, i.e. $\Delta C = 0.01$, such that $A=1$, $B=0.7$ and $C=0.43$, the chaotic motion (with the maximum Lyapunov exponent $\lambda _{max}=0.06$) of the fluid particle of the ABC flow starting from $\boldsymbol {r}_{0} = (0,0,0)$ becomes quite different from that for $A=1$, $B=0.7$ and $C=0.42$: the fluid particle moves farther and farther away from $\boldsymbol {r}_{0}$ and besides its phase plot $(x,z)$ becomes very sensitive to the small disturbance of the starting position, as shown in figure 2(a). These are quite different from the results in the case of $A=1$, $B=0.7$ and $C=0.42$. Since the ABC flow is periodic, we normalize the values of $z(t)$ to $[-{\rm \pi},{\rm \pi} )$, i.e.
where $n_z$ is an integer, and $-{\rm \pi} \leq z' < +{\rm \pi}$. Note that, as illustrated in figure 2(b), tiny disturbances in starting position can lead to huge deviations in the p.d.f.s of the normalized chaotic simulations $z'(t)$ in $t\in [0,10\,000]$. In other words, for $A=1$, $B=0.7$ and $C=0.43$ in the ABC flow (2.1), even statistical properties of the chaotic motion of the fluid particle starting from $\boldsymbol {r}_{0} = (0,0,0)$ are very sensitive to the initial position, and thus the corresponding motion of the particle is a kind of ultra-chaos. Obviously, this kind of ultra-chaos is at a higher level of disorder than that of the normal-chaos, as shown in figures 1 and 2. This example illustrates that ultra-chaos indeed exists in the ABC flow.
Let us further investigate some other statistics such as the variance $\sigma ^2$, the kurtosis $\gamma _2$ and the ACF to demonstrate the higher disorder of the ultra-chaos than the normal-chaos mentioned above, as shown in table 2 for the normal-chaos and table 3 for the ultra-chaos. Obviously, the statistics of the normal-chaos for $C=0.42$ (see table 2) are stable to small disturbances. Conversely, the statistics of ultra-chaos for $C=0.43$ (see table 3) are sensitive to tiny disturbances and thus unstable. In addition, the ACF of the ultra-chaos is also sensitive to small disturbances, compared with that of the normal-chaos, as shown in figure 3.
Furthermore, let us consider the ensemble average of chaotic trajectories of a fluid particle starting from the point $\boldsymbol {r}_{0}' = \boldsymbol {r}_{0}+ (0,0,1) \times \delta _{i}$ with 1000 different tiny disturbances $\delta _{i}$ ($i=1,2,3,\ldots,1000$), which are given by the Gaussian random number generator with a standard deviation $\sigma _{d}=\sqrt {\langle \delta ^{2}_{i}\rangle }$ and a zero mean, i.e. $\mu _d =\langle \delta _{i}\rangle = 0$, where $\langle \,\rangle$ denotes the average operator. For $A=1$, $B=0.7$ and $C=0.42$ and $\boldsymbol {r}_{0} = (0,0,0)$, corresponding to the normal-chaotic motions of a fluid particle, the ensemble averages of the phase plots $x$–$z$, which are given, respectively, either by $\sigma _{d}=10^{-5}$ or $\sigma _{d}=10^{-10}$, are almost the same, as shown in figures 4(a) and 4(b). On the contrary, for $A=1$, $B=0.7$ and $C=0.43$, the ensemble averages of the phase plots $x$–$z$ (of the ultra-chaotic motions of a fluid particle), which are given by either $\sigma _{d}=10^{-5}$ or $\sigma _{d}=10^{-10}$, are totally different, as shown in figure 4(c). Furthermore, the p.d.f. of the ensemble-averaged trajectory of the ultra-chaotic fluid particle starting from $\boldsymbol {r}'_{0}$ is also very sensitive to the standard deviation $\sigma _{d}$ of the starting position, which is completely different from that given by the normal-chaotic fluid particle, as illustrated in figure 5. These results indicate that, unlike a normal-chaos, even ensemble-averaged quantities and their corresponding p.d.f.s for an ultra-chaos in ABC flow are unstable, i.e. rather sensitive to tiny disturbances. Indeed, the ultra-chaotic motion is at a higher level of disorder than that of a normal-chaos in ABC flow.
It should be emphasized that the main characteristic of ultra-chaos is that some statistics such as p.d.f. are extremely sensitive to tiny disturbances (Liao & Qin Reference Liao and Qin2022). Thus, in this paper we analyse the influence of tiny disturbances in starting position on the chaotic motions of fluid particles in ABC flow. According to the results mentioned above, other statistical properties (such as variance, kurtosis, ACF, ensemble-averaged trajectory and ensemble-averaged trajectory's p.d.f.) of ultra-chaos in the ABC flow are also very sensitive to tiny disturbances in the starting position. On the contrary, these statistics, given by CNS results of a normal-chaotic fluid particle in the ABC flow, are not sensitive to tiny disturbances. This indicates that the statistics of a normal-chaos are stable.
For $A=1$ and varying the values of $B$ and $C$, we find that non-chaos, normal-chaos and ultra-chaos all exist in the fluid particle trajectory starting from $\boldsymbol {r}_{0} = (0,0,0)$, as shown in figure 6. For a non-chaotic motion, the fluid particle trajectory is stable to tiny disturbances in the starting position. For a normal-chaotic motion, although the trajectory is rather sensitive to tiny disturbances in the starting position, i.e. unstable, the phase plot and the statistical properties are stable to the tiny disturbances. However, for an ultra-chaotic motion, even the statistical properties are unstable, say, sensitive to tiny disturbances in the starting position. As we can see in figure 6, for $A=1$ and $B=0.7$, a small change between $C=0.42$ and $C=0.43$ triggers the transition from normal-chaotic motion to ultra-chaotic motion, which is the reason why we present the cases in figures 1 and 2. Note that for the normal-chaotic motion, the fluid particle starting from $\boldsymbol {r}_{0}=(0,0,0)$ always moves in a restricted spatial domain (such that its position is in a restricted domain of the phase plot $x$–$z$ as shown in figure 1). However, for an ultra-chaotic motion, the fluid particle starting from $\boldsymbol {r}_{0}=(0,0,0)$ progressively departs from its starting point, further illustrating that ultra-chaotic motion in ABC flow has higher disorder than normal-chaotic motion, although the velocity field of the ABC flow as a whole is inherently periodic and steady-state.
On the other hand, keeping $A=1$, $B=0.7$ and $C=0.43$ and using various positions of the starting point $\boldsymbol {r}_{0}=(x(0),y(0),z(0))$ in ABC flow, where $-{\rm \pi} \leq x(0),y(0),z(0)\leq +{\rm \pi}$, it is found in a similar way that both normal-chaos and ultra-chaos (for the motions of fluid particles starting from different $\boldsymbol {r}_{0}$) widely exist, and these two states of chaos coexist simultaneously in the ABC flow, as shown in figure 7. The statistical values of their maximum Lyapunov exponents $\lambda _{max}$ are given in table 4. Statistically speaking, the maximum Lyapunov exponents $\lambda _{max}$ of the ultra-chaotic motions of fluid particles in ABC flow are approximately two orders of magnitude larger than those of the normal-chaos.
Note that, when $z(0)$ of the starting point $\boldsymbol {r}_{0}=(x(0),y(0),z(0))$ increases from $0$ to ${\rm \pi} /2$, there exists a kind of structure constituted by the starting positions $(x(0),y(0))$ of fluid particles with normal-chaotic motion (corresponding to blue points) and ultra-chaotic motion (red points), which undergoes continuous deformation, as shown in figure 7. Although normal-chaotic motion is qualitatively different from ultra-chaotic motion so that it is not difficult for us to obtain the general structure in figure 7, we still require a criterion by which to quantitatively determine the boundary of the structure. Let $f(z')$ denote the p.d.f. of a normalized result $z'\in [-{\rm \pi},+{\rm \pi} )$ given by a chaotic motion of fluid particle, and $f^*(z')$ the p.d.f. of another one with a tiny disturbance to the starting position. A criterion based on the following relative error:
is usually adopted to determine the boundary between normal-chaos and ultra-chaos, as shown in figure 7. According to our experience, $\gamma =5\,\%$ is often suitable to distinguish between a normal-chaotic motion and an ultra-chaotic motion. Figure 7 illustrates that the normal-chaotic and ultra-chaotic states coexist at the same time, which is reasonable in a volume-preserving ABC flow that has different types of chaotic trajectories for the motions of fluid particles (Dombre et al. Reference Dombre, Frisch, Greene, Hénon, Mehr and Soward1986), which will be discussed later in detail.
Let $\alpha (x(0),y(0),z(0))=0$ or $1$ denote either a normal-chaotic motion or an ultra-chaotic motion of a fluid particle starting from $\boldsymbol {r}_{0}=(x(0),y(0),z(0))$, respectively. Then, according to our computations, for $-{\rm \pi} \leq x(0) \leq +{\rm \pi}$, there exist the symmetries
where $y(0) \in [-{\rm \pi}, +{\rm \pi} ]$, $z(0)\in [{\rm \pi} /2, {\rm \pi}]$;
where $y(0)\in [0, {\rm \pi}]$, $z(0)\in [-{\rm \pi}, 0]$; and
where $y(0)\in [-{\rm \pi}, 0]$, $z(0)\in [-{\rm \pi}, 0]$, respectively.
Considering the fact that the normal-chaotic and ultra-chaotic states coexist simultaneously as shown in figure 7, without loss of generality, we choose two starting points $\boldsymbol {r}_{0,n}=(0,-0.1,0)$ and $\boldsymbol {r}_{0,u}=(-0.1,0.1,0)$ of fluid particles in ABC flow to illustrate a normal-chaotic motion (left) and an ultra-chaotic motion (right) via a movie (see the supplementary movie available at https://doi.org/10.1017/jfm.2023.190) in the case of $A=1, B =0.7, C=0.43$ within $t\in [0,5000]$. As shown in the left part of the movie (corresponding to a normal-chaos), the fluid particle starting from $\boldsymbol {r}_{0,n}$ always moves in a restricted spatial domain and the corresponding trajectory resembles weak chaos. On the contrary, the fluid particle starting from $\boldsymbol {r}_{0,u}$ departs the starting point far away and even its position normalized by periodic condition appears to be in disorder, as shown in the right part of the movie (corresponding to ultra-chaos). All of these clearly illustrate that an ultra-chaotic motion in the ABC flow is completely different from a normal-chaotic motion: an ultra-chaos has indeed a much higher disorder than a normal-chaos.
Let $\beta$ denote the ratio of the number of the starting fluid particles with ultra-chaotic motion to the total number of particles in $-{\rm \pi} \leq x,y,z \leq +{\rm \pi}$. In theory
with either $\alpha =0$ for a normal-chaos or $\alpha =1$ for an ultra-chaos, respectively. In practice, we use the Monte-Carlo method to estimate the ratio
where $N_{all}$ denotes the total number of the randomly selected starting fluid particles
and $N_{ultra}$ is the number of starting fluid particles with ultra-chaotic motion. Obviously, the larger $N_{all}$, the more accurate the result of $\beta$ given by the Monte-Carlo method. For $A=1$, $B=0.7$, $0 \leq C \leq 0.43$ and $N_{all}=8000$, it is found that the ratio $\beta$ is dependent upon the value of $C$, as shown in table 5. Notably, when $C\leq 0.1$, it is found that there exists a power-law relationship between $\beta$ and $C$, say,
as illustrated in figure 8. Thus, when the parameter $C$ decreases, the value of $N_{ultra}$, i.e. the number of the starting fluid particles with ultra-chaotic motion, decreases until $N_{ultra} = 0$ when $C = 0$. This is reasonable since the ABC flow for $C=0$ is stable and thus chaotic motion of fluid particles does not exist at all in $C=0$.
2.1. Difference between ultra-chaos and sensitivity of statistics to parameters
It is well known that a chaotic trajectory is unstable, i.e. sensitive to small disturbances. For normal-chaos, a trajectory is unstable but its statistics are stable to small disturbances. However, for ultra-chaos, even its statistics are unstable, i.e. sensitive to very small disturbances. The stability of different types of dynamic system is listed in table 1. Obviously, as illustrated by many examples (Liao & Qin Reference Liao and Qin2022; Yang et al. Reference Yang, Qin and Liao2023), ultra-chaos involves higher disorder than normal-chaos.
It should be emphasized that, unlike sensitivity to parameters, the concept of ultra-chaos focuses on the stability of statistics of a dynamic system, while all physical parameters are fixed, to small disturbances that can be very tiny. Certain dynamic systems exhibit high sensitivity in statistics to physical parameters (Broer, Simó & Vitolo Reference Broer, Simó and Vitolo2002; Ashwin et al. Reference Ashwin, Wieczorek, Vitolo and Cox2012; Lucarini & Bódai Reference Lucarini and Bódai2019; Śliwiak, Chandramoorthy & Wang Reference Śliwiak, Chandramoorthy and Wang2021), which, however, is essentially different from ultra-chaos, i.e. instability of statistics to small disturbances. For example, Broer et al. (Reference Broer, Simó and Vitolo2002) investigated bifurcations and strange attractors in the Lorenz-84 climate model with seasonal forcing,
where $\omega = 2{\rm \pi} /T$ and $a, b, T, F, G$, $\epsilon$ are physical parameters. Without loss of generality, Broer et al. (Reference Broer, Simó and Vitolo2002) considered the cases of $a=1/4, b = 4, T=73$ with varying $F\in [0,12], G\in [0,9]$ and $\epsilon \in [0,0.5]$, and found that there exist Hopf bifurcations and some high sensitivity of statistics to parameters $F, G$ and $\epsilon$. However, we found that all statistic results given by the above-mentioned Lorenz-84 climate model with seasonal forcing are stable to small disturbances, in that they are either non-chaotic or normal-chaotic. In other words, even when high sensitivity of statistics to physical parameters exists, the corresponding dynamic system is stable and thus is not an ultra-chaos! In fact, like the famous three-dimensional Lorenz equation (with one positive Lyaponov exponent) and the four-dimensional Rössler system (with two positive Lyaponov exponents) (Liao & Qin Reference Liao and Qin2022), the above-mentioned Lorenz-84 climate model has normal-chaotic trajectories at most. This is a good example to illustrate the essential difference between ultra-chaos and high sensitivity of statistics to physical parameters: they are quite different things!
For an ultra-chaotic system, its statistics are unstable to any types of disturbances. For example, in the case of $A=1$, $B=0.7$ and $C=0.43$, the trajectory starting from $(0,0,0)$ is still ultra-chaotic even if there is no disturbance to the starting point but a small environmental disturbance, governed by
with the initial condition
where $\varepsilon (t)$ is a normally random noise with a small standard deviation (at the order of magnitude $10^{-10}$), and $\boldsymbol {r}_0$ is the starting point, respectively. We found that, even for the fixed values of $A=1, B=0.7, C=0.43$ and the exact starting position $\boldsymbol {r}_0 = (0,0,0)$, the statistics of the corresponding trajectory are unstable, i.e. rather sensitive to the normally random noise $\varepsilon (t)$. In this case, the trajectory is ultra-chaotic, but there exists no sensitivity of statistics to parameters, because the starting position and all physical parameters have exactly the same values. This further indicates the essential differences between ultra-chaos and sensitivity of statistics to parameters.
2.2. Possible relationship between ultra-chaos and Poincaré section
Following Dombre et al. (Reference Dombre, Frisch, Greene, Hénon, Mehr and Soward1986), we obtain the Poincaré section of the ABC flow (2.1) for $A=1$, $B=0.7$ and $C=0.43$, as shown in figure 9. Here, we applied CNS to obtain the trajectories $(x(t),y(t),z(t))$ of fluid particles in $t\in [0,10\,000]$, starting from several selected points (listed in table 6). For each trajectory, we have a point $(x',y')$ when $z'(t) = 2 n {\rm \pi}$ for an arbitrary integer $n$, corresponding to a point $(x^{*},y^{*})$ in the square domain
by means of the periodic condition in $x'$ and $y'$ directions, say,
where $m$ and $k$ are integers. The set of all these points $(x^{*},y^{*})$ gives the Poincaré section of the ABC flow (2.1), as shown in figure 9. For details, please refer to Dombre et al. (Reference Dombre, Frisch, Greene, Hénon, Mehr and Soward1986).
As shown in figure 9, there exist elliptic islands (or Kolmogorov–Arnold–Moser (KAM) tori) and a chaotic sea in the Poincaré section. By convention, it is widely believed that points in an elliptic island correspond to quasiperiodic orbits or weakly chaotic orbits, but points in a chaotic sea correspond to strongly chaotic orbits, respectively (Kuznetsov & Zaslavsky Reference Kuznetsov and Zaslavsky2000; Skokos Reference Skokos2001; Lukes-Gerakopoulos, Voglis & Efthymiopoulos Reference Lukes-Gerakopoulos, Voglis and Efthymiopoulos2008). Interestingly, the Poincaré section (as shown in figure 9) is rather similar to figure 7(a). So, it is reasonable for particles starting from the elliptic islands (or KAM tori) to represent a kind of normal-chaotic property, because their maximum Lyapunov exponents $8.5\times 10^{-5} \leq \lambda _{max} \leq 1.3\times 10^{-2}$ (listed in table 4) indeed correspond to a weak chaos. This numerical fact reveals the following relationship: the normal-chaotic (starting) points (at $z=0$) of the ABC flow correspond to the elliptic islands (or KAM tori) in the Poincaré section, but the ultra-chaotic ones invariably correspond to the chaotic sea. According to our computations, this kind of relationship is true for almost all fluid particles in the ABC flow. Besides, this numerical experiment also supports our conclusion that an ultra-chaos is a higher disorder than a normal-chaos. Thus, the classification of chaos into normal-chaos and ultra-chaos provides a new explanation of elliptic islands (or KAM tori) and chaotic sea in Poincaré section of a dynamic system.
Note that Poincaré section has a close relationship with KAM theory that is valid for an integrable Hamiltonian system only. However, the classification of chaos into ultra-chaos and normal-chaos is generally valid for all dynamic systems, even if they are not Hamiltonian, or not integrable. Therefore, this classification has a more general meaning, given that ultra-chaos reveals higher disorder than normal-chaos. An example of such higher disorder related to statistical sensitivity to small disturbances has been recently reported: small disturbances can lead to large-scale deviations of simulations of a turbulent flow not only in spatiotemporal trajectories but also in statistics, even leading to different types of flow (Qin & Liao Reference Qin and Liao2022).
2.3. Possible relationship between ultra-chaos and ergodicity/non-ergodicity
According to our numerical experiments mentioned above, statistics are stable for a normal-chaotic motion of fluid particles in the ABC flow, but unstable for an ultra-chaotic motion of fluid particles in the same ABC flow. However, it is an open question whether or not a normal-chaos should correspond to ergodicity and an ultra-chaos to non-ergodicity, because it is rather difficult in practice to prove ergodicity or non-ergodicity of a dynamic system.
According to Birkhoff (Reference Birkhoff1931) and von Neumann (Reference von Neumann1932), time averages can be set equal to phase averages, provided the system is ergodic, i.e. metrically transitive (Moore Reference Moore2015). However, it is difficult to prove conclusively that a system is metrically transitive. In fact, Birkhoff (Reference Birkhoff1931) and von Neumann (Reference von Neumann1932) did not actually solve the problem of equating time averages and phase averages but instead reduced it to an equally difficult problem of proving metric transitivity, as pointed out by Moore (Reference Moore2015). For example, in the case of $A=1, B=0.7$ and $C=0.43$, our computations clearly indicate that a fluid particle starting from $\boldsymbol {r}_{0,n}=(0,-0.1,0)$ has a normal-chaotic trajectory, but another fluid particle starting from $\boldsymbol {r}_{0,u}=(-0.1, 0.1,0)$ has an ultra-chaotic trajectory, as shown in the movie. How can we prove that, under the same velocity field ${\boldsymbol {u}}_{ABC}$ of the ABC flow, the trajectory of the former particle is metrically transitive (i.e. ergodic) but the latter is not (i.e. non-ergodic)? From a practical viewpoint, it is much easier for us to conclude that the former trajectory is normal-chaotic whereas the latter trajectory is ultra-chaotic by investigating the stability of its statistical properties via time average (or ensemble average) than to prove (or disprove) its metric transitivity for ergodicity, since either time or ensemble averaging is quite easy. Therefore, from a practical point of view, ultra-chaos is a more useful concept than non-ergodicity!
It would be very convenient if one could theoretically prove (or disprove) that every ergodic system corresponds to a normal-chaos and every non-ergodic system to an ultra-chaos, respectively. If so, the classification of normal-chaos and ultra-chaos might provide us with a simple and practical way to reveal ergodic properties of various types of dynamic systems, given that it is much easier to check stability of statistics through spatio-temporal average (or ensemble average) than to prove (or disprove) metric transitivity.
3. Possible relationship between ultra-chaos and turbulence
The velocity $\boldsymbol {u}_{ABC}$ of the ABC flow (1.1) was first discovered by Arnold (Reference Arnold1965) as a class of steady-state solutions of the Euler equations, and, moreover, with external force per unit mass, it also satisfies the NS momentum and continuity equations
where $t\geq 0$ denotes the time, $\boldsymbol {\nabla }$ is the Hamilton operator, $\varDelta$ is the Laplace operator, $Re$ is the Reynolds number, $p$ denotes the pressure and
is the given external force per unit mass, with the periodic boundary conditions at $x =\pm {\rm \pi}$, $y =\pm {\rm \pi}$, and $z =\pm {\rm \pi}$.
Many papers (Dombre et al. Reference Dombre, Frisch, Greene, Hénon, Mehr and Soward1986; Mezić Reference Mezić2002; Podvigina, Ashwin & Hawker Reference Podvigina, Ashwin and Hawker2006) have been published in this field. For example, Podvigina et al. (Reference Podvigina, Ashwin and Hawker2006) analysed the bifurcation of the ABC flow and reported the supercritical Hopf bifurcation and route to chaos through tori doubling. Without loss of generality, let us consider here the ABC flow in the case of $A=1$, $B=0.7$ and $0 \leq C \leq 0.43$. Unlike other researchers (Dombre et al. Reference Dombre, Frisch, Greene, Hénon, Mehr and Soward1986; Mezić Reference Mezić2002; Podvigina et al. Reference Podvigina, Ashwin and Hawker2006), here we mainly focus on the ultra-chaotic motion of fluid particles. As reported by Podvigina & Pouquet (Reference Podvigina and Pouquet1994), the Reynolds number $Re=50$ corresponds to a turbulent flow if the initial velocity field $\boldsymbol {u}_{ABC}$ experiences small disturbances of the order of magnitude $10^{-3}$. This kind of turbulent flow is solved numerically in $t\in [0,500]$: the spatial domain $[-{\rm \pi}, +{\rm \pi} )^3$ is discretized by a uniform mesh with $128^3$ points for the spatial Fourier expansion, where the maximum grid spacing is less than the minimum Kolmogorov scale (Pope Reference Pope2001), and the $3/2$ rule for dealiasing (Pope Reference Pope2001) is used, with the time step $\Delta t=10^{-3}$.
First, let us use the unstable ABC flow for $A=1.0$, $B=0.7$ and $C=0.43$ as the initial condition of the NS equations (3.1) and (3.2) (with the external force per unit mass $\boldsymbol {f}=\boldsymbol {u}_{ABC}/Re$ as mentioned above), under small disturbances of initial velocity at the order of magnitude $10^{-3}$. It is found that, the flow is initially rather similar to the ABC flow at times that are too short for the tiny velocity disturbances to transfer to the macrolevel; in this situation, approximately 49 % starting fluid particles are ultra-chaotic, according to table 5. The transition from laminar flow to turbulence occurs approximately at $t \approx 50.0 = T_{tran}$, as shown in figure 10, where $T_{tran}$ denotes the time of the transition occurrence. Given the velocity field $\boldsymbol {u}$ of (3.1) and (3.2), we can investigate the chaotic property of trajectory (i.e. whether it is ultra-chaotic or normal-chaotic) of a fluid particle starting from $\boldsymbol {r}_{0}$ in a similar way as mentioned in § 2. When $t=50$, we randomly choose 10 000 starting fluid particles in $-{\rm \pi} \leq x,y,z < +{\rm \pi}$ and find that all trajectories of the fluid particles starting from them are ultra-chaotic. This numerical experiment strongly suggests that a necessary condition of turbulence is that almost all fluid particles should move along ultra-chaotic trajectories.
Similarly, let us consider the stable ABC flow in the case of $A=1$, $B=0.7$ and $C=0$. Using the ABC flow $\boldsymbol {u}_{ABC}$ subject to small disturbances at the order of magnitude $10^{-3}$ as the initial condition, we numerically solve the NS and continuity equations (3.1) and (3.2) in the time interval $t\in [0,2000]$ and investigate the chaotic property of trajectories of the 10 000 randomly chosen fluid particles. It is found that, when $C=0$, transition from the laminar flow to turbulence never occurs, and, moreover, there exists no ultra-chaotic motion for all of these fluid particles throughout $t\in [0,2000]$. This further confirms our suggestions that ultra-chaotic trajectories of fluid particles should have some relationships with turbulence.
In addition, let us further consider the ABC flows for $A=1$, $B=0.7$ and different values of $C$, and for each case we use the Monte-Carlo method to randomly choose 10 000 starting points in $-{\rm \pi} \leq x,y,z < +{\rm \pi}$. It is found that the transition time $T_{tran}$ when the flow alters from laminar flow to turbulence increases as $C$ decreases from $0.1$ to $0.0001$, as shown in table 7. We found that, when $0 < C\leq 0.1$, there exists a linear relationship
as illustrated in figure 11, indicating that $T_{tran} \to +\infty$ as $C\to 0$. Hence, indeed the transition from laminar flow to turbulence should never occur when $C=0$, which agrees with our numerical simulation in the case of $C=0$ mentioned above. In all cases of $A=1$, $B=0.7$ and $0 < C \leq 0.43$ under consideration, it is found that all trajectories of the fluid particles starting from the randomly chosen 10 000 fluid particles are ultra-chaotic after the flow becomes fully turbulent. Besides, the smaller the number of ultra-chaotic particles at the beginning (corresponding to an unstable ABC flow with a smaller value of $C$), the longer the transition time of $T_{tran}$. In other words, more time is needed for all fluid particles to become ultra-chaotic at $t =T_{tran}$. The foregoing again suggests that a necessary condition of the occurrence of transition from laminar flow to turbulence is that nearly all fluid particles should move along ultra-chaotic trajectories.
Here, regarding the ultra-chaotic motion as a new property of fluid particle, we simply report some results of numerical experiments governed by (3.1) and (3.2) subject to periodic boundary conditions. Frankly speaking, it is not yet understood why almost all fluid particles should move along ultra-chaotic trajectories when the flow becomes fully turbulent: What happens to the trajectory property of fluid particles when the transition from laminar flow to turbulence occurs, and so on? We firmly believe that the concept of ultra-chaos could enable us to gain new insight into viscous flows. We intend to pursue this in future work.
It should be emphasized that the transition from laminar flow to turbulence is a key problem in fluid mechanics. Hopefully, ultra-chaos as a new concept could provide us a completely new viewpoint to investigate and understand the mechanism of the transition to turbulence.
4. Concluding remarks and discussions
Due to the butterfly effect (Lorenz Reference Lorenz1963), numerical noise (due to truncation error and round-off error) enlarges exponentially so that a computer-generated simulation of chaotic systems quickly becomes a mixture of a ‘true’ physical solution $s$ and a ‘false’ numerical noise $\varepsilon$, which are mostly at the same order of magnitude. In practice, statistics of chaotic systems are usually calculated using such a mixture, i.e. $s+\varepsilon$, because there is no way to separate out the ‘true’ physical solution $s$. In fact, the statistics is based on the hypothesis
where $\langle \rangle$ is a statistical operator. Here, the numerical noise $\varepsilon$ is in fact equivalent to a kind of small disturbances. Unfortunately, there exists no theoretical proof that the above hypothesis is always true in general.
By means of CNS (Liao Reference Liao2009, Reference Liao2013, Reference Liao2014, Reference Liao2017), one can gain reliable/convergent numerical simulations of chaotic systems over a long enough interval of time (Liao & Wang Reference Liao and Wang2014; Li & Liao Reference Li and Liao2017; Lin et al. Reference Lin, Wang and Liao2017; Hu & Liao Reference Hu and Liao2020; Qin & Liao Reference Qin and Liao2020; Liao & Qin Reference Liao and Qin2022; Qin & Liao Reference Qin and Liao2022; Yang et al. Reference Yang, Qin and Liao2023), during which the ‘false’ numerical noise $\varepsilon$ is much smaller than the ‘true’ physical solution $s$, say, $|\varepsilon | \ll |s|$, thus the influence of the numerical noise $\varepsilon$ is negligible compared with the ‘true’ physical solution $s$. Hence, CNS can provide us, for the first time, with a nearly ‘clean’ computer-generated simulation of chaos in an interval of time long enough for statistics, which can be used as a benchmark solution since it is very close to the ‘true’ physical solution $s$. Therefore, CNS provides us with a useful tool by which to study accurately the influence of numerical noise on statistics of different types of chaotic systems (Hu & Liao Reference Hu and Liao2020; Qin & Liao Reference Qin and Liao2020; Liao & Qin Reference Liao and Qin2022; Qin & Liao Reference Qin and Liao2022; Yang et al. Reference Yang, Qin and Liao2023).
Using CNS, it has been observed that the hypothesis $\langle s+\varepsilon \rangle = \langle s \rangle$ holds for many chaotic systems, whose statistics are stable to small disturbances. However, it has been found that statistics of some chaotic systems are indeed rather sensitive to small disturbances including artificial numerical noise (Hu & Liao Reference Hu and Liao2020; Qin & Liao Reference Qin and Liao2020, Reference Qin and Liao2022; Yang et al. Reference Yang, Qin and Liao2023), say, $\langle s+\varepsilon \rangle \neq \langle s \rangle$. Liao & Qin (Reference Liao and Qin2022) termed the former ‘normal-chaos’ and the latter ‘ultra-chaos’, respectively. The stability of trajectory and statistics of different types of dynamic systems is listed in table 1, which clearly indicates that an ultra-chaos is a higher disorder than a normal-chaos.
It is well known that the steady-state ABC flow, which satisfies the steady NS equations with a proper external force, has chaotic properties from a Lagrangian viewpoint. Naturally, it is worth investigating whether ultra-chaos exists in ABC flow, whether relationships hold between ultra-chaos and turbulence, and so on. In this paper, we illustrate that trajectories of many fluid particles in the steady-state ABC flow (1.1) are ultra-chaotic, in that their statistical properties are rather sensitive to tiny disturbances. Obviously, this kind of ultra-chaotic motion of fluid particles represents a higher disorder than normal-chaotic ones. We found that these two kinds of totally different chaos coexist widely and simultaneously in the steady-state ABC flow.
Besides, we discuss the difference between ultra-chaos and the high sensitivity of statistics to parameters, and also the relationships between ultra-chaos and Poincaré section, ultra-chaos and ergodicity, and so on. Unlike the high sensitivity of statistics to parameters, ultra-chaos focuses on the stability of statistics to very small disturbances. We have illustrated that certain model equations (such as the Lorenz-84 climate model with seasonal forcing) exhibit high sensitivity of statistics to parameters, even though all the statistics remain stable so that all the simulations involve either non-chaos or normal-chaos.
Furthermore, we discuss the possible relationship between the Poincaré section and normal/ultra-chaos. It is found that the normal-chaotic (starting) points (at $z=0$) of the ABC flow correspond to elliptic islands (or KAM tori), but the ultra-chaotic ones correspond to the chaotic sea of the Poincaré section. It should be emphasized that, considering the fact that the Poincaré section has a close relationship with the KAM theory that is usually suitable for an integrable Hamiltonian system only, the new classification of chaos into ultra-chaos and normal-chaos is more general because of its validity for all dynamic systems, even if they are not Hamiltonian, and/or not integrable. Therefore, this new classification should have more general meaning.
In addition, we discuss possible relationships between ultra-chaos and non-ergodicity. According to Birkhoff (Reference Birkhoff1931) and von Neumann (Reference von Neumann1932), time averages can be set equal to phase averages, provided the system is ergodic (i.e. metrically transitive) (Moore Reference Moore2015). However, it is very difficult to seriously prove that a system is metrically transitive. It is an open question whether or not a normal-chaos corresponds to ergodicity and an ultra-chaos corresponds to non-ergodicity, respectively. Hopefully the classification of chaos into normal-chaos and ultra-chaos could provide us a simple and practical way to investigate ergodic property of various types of dynamic systems.
In order to study the possible relationships between ultra-chaos and turbulence, we numerically solve the NS and continuity equations (3.1) and (3.2) when $Re = 50$ using the ABC flow (for $A=1, B =0.7$ and various values of $C$) plus a small disturbance as the initial condition. It is found that the trajectories of nearly all fluid particles become ultra-chaotic after the transition from laminar to turbulent flow occurs. Our numerical facts strongly suggest that turbulence is likely to be related to ultra-chaotic trajectories of fluid particles, although the detailed mechanisms are presently unknown. Considering that the chaotic property of the ABC flow is essential for the development of turbulence (Dombre et al. Reference Dombre, Frisch, Greene, Hénon, Mehr and Soward1986; Galloway & Frisch Reference Galloway and Frisch1987; Podvigina & Pouquet Reference Podvigina and Pouquet1994), we anticipate that the concept of ultra-chaos (Liao & Qin Reference Liao and Qin2022) could lead to a better understanding of fluid chaos, Poincaré section, ergodicity/non-ergodicity, turbulence and their inter-relationships.
Supplementary movie
Supplementary movie is available at https://doi.org/10.1017/jfm.2023.190.
Acknowledgements
Thanks to the anonymous reviewers for their valuable suggestions and constructive comments.
Funding
This work is partly supported by the National Natural Science Foundation of China (no. 12272230), the Shanghai Pilot Program for Basic Research of Shanghai Jiao Tong University (no. 21TQ1400202) and the Fundamental Research Funds for the Central Universities.
Declaration of interests
The authors report no conflict of interest.
Data availability statement
The data that support the findings of this study are available on request from the corresponding author.
Author contributions
Liao conceived and designed the analysis and related concepts. Qin performed the computations. Both wrote the manuscript.