A linear dynamical model for the development of the turbulent energy cascade was introduced in Apolinário et al. (J. Stat. Phys., 186, 15 (2022)). This partial differential equation, randomly stirred by a forcing term which is smooth in space and delta-correlated in time, was shown to converge at infinite time towards a state of finite variance, without the aid of viscosity. Furthermore, the spatial profile of its solution gets rough, with the same regularity as a fractional Gaussian field. We here focus on the temporal behavior and derive explicit asymptotic predictions for the correlation function in time of this solution and observe that their regularity is not influenced by the spatial regularity of the problem, only by the correlation in time of the stirring contribution. We also show that the correlation in time of the solution depends on the position, contrary to its correlation in space at fixed times. We then investigate the influence of a forcing which is correlated in time on the spatial and time statistics of this equation. In this situation, while for small correlation times the homogeneous spatial statistics of the white-in-time case are recovered, for large correlation times homogeneity is broken, and a concentration around the origin of the system is observed in the velocity profiles. In other words, this fractional velocity field is a representation in one-dimension, through a linear dynamical model, of the self-similar velocity fields proposed by Kolmogorov in 1941, but only at fixed times, for a delta-correlated forcing, in which case the spatial statistics is homogeneous and rough, as expected of a turbulent velocity field. The regularity in time of turbulence, however, is not captured by this model.
Citation: Gabriel B. Apolinário, Laurent Chevillard. Space-time statistics of a linear dynamical energy cascade model[J]. Mathematics in Engineering, 2023, 5(2): 1-23. doi: 10.3934/mine.2023025
[1] | Eunha Shim . Optimal strategies of social distancing and vaccination against seasonal influenza. Mathematical Biosciences and Engineering, 2013, 10(5&6): 1615-1634. doi: 10.3934/mbe.2013.10.1615 |
[2] | Hamed Karami, Pejman Sanaei, Alexandra Smirnova . Balancing mitigation strategies for viral outbreaks. Mathematical Biosciences and Engineering, 2024, 21(12): 7650-7687. doi: 10.3934/mbe.2024337 |
[3] | Pannathon Kreabkhontho, Watchara Teparos, Thitiya Theparod . Potential for eliminating COVID-19 in Thailand through third-dose vaccination: A modeling approach. Mathematical Biosciences and Engineering, 2024, 21(8): 6807-6828. doi: 10.3934/mbe.2024298 |
[4] | Sarafa A. Iyaniwura, Musa Rabiu, Jummy F. David, Jude D. Kong . Assessing the impact of adherence to Non-pharmaceutical interventions and indirect transmission on the dynamics of COVID-19: a mathematical modelling study. Mathematical Biosciences and Engineering, 2021, 18(6): 8905-8932. doi: 10.3934/mbe.2021439 |
[5] | Lili Liu, Xi Wang, Yazhi Li . Mathematical analysis and optimal control of an epidemic model with vaccination and different infectivity. Mathematical Biosciences and Engineering, 2023, 20(12): 20914-20938. doi: 10.3934/mbe.2023925 |
[6] | Antonios Armaou, Bryce Katch, Lucia Russo, Constantinos Siettos . Designing social distancing policies for the COVID-19 pandemic: A probabilistic model predictive control approach. Mathematical Biosciences and Engineering, 2022, 19(9): 8804-8832. doi: 10.3934/mbe.2022409 |
[7] | Seyedeh Nazanin Khatami, Chaitra Gopalappa . Deep reinforcement learning framework for controlling infectious disease outbreaks in the context of multi-jurisdictions. Mathematical Biosciences and Engineering, 2023, 20(8): 14306-14326. doi: 10.3934/mbe.2023640 |
[8] | Avinash Shankaranarayanan, Hsiu-Chuan Wei . Mathematical modeling of SARS-nCoV-2 virus in Tamil Nadu, South India. Mathematical Biosciences and Engineering, 2022, 19(11): 11324-11344. doi: 10.3934/mbe.2022527 |
[9] | Chloe Bracis, Mia Moore, David A. Swan, Laura Matrajt, Larissa Anderson, Daniel B. Reeves, Eileen Burns, Joshua T. Schiffer, Dobromir Dimitrov . Improving vaccination coverage and offering vaccine to all school-age children allowed uninterrupted in-person schooling in King County, WA: Modeling analysis. Mathematical Biosciences and Engineering, 2022, 19(6): 5699-5716. doi: 10.3934/mbe.2022266 |
[10] | Amira Bouhali, Walid Ben Aribi, Slimane Ben Miled, Amira Kebir . Impact of immunity loss on the optimal vaccination strategy for an age-structured epidemiological model. Mathematical Biosciences and Engineering, 2024, 21(6): 6372-6392. doi: 10.3934/mbe.2024278 |
A linear dynamical model for the development of the turbulent energy cascade was introduced in Apolinário et al. (J. Stat. Phys., 186, 15 (2022)). This partial differential equation, randomly stirred by a forcing term which is smooth in space and delta-correlated in time, was shown to converge at infinite time towards a state of finite variance, without the aid of viscosity. Furthermore, the spatial profile of its solution gets rough, with the same regularity as a fractional Gaussian field. We here focus on the temporal behavior and derive explicit asymptotic predictions for the correlation function in time of this solution and observe that their regularity is not influenced by the spatial regularity of the problem, only by the correlation in time of the stirring contribution. We also show that the correlation in time of the solution depends on the position, contrary to its correlation in space at fixed times. We then investigate the influence of a forcing which is correlated in time on the spatial and time statistics of this equation. In this situation, while for small correlation times the homogeneous spatial statistics of the white-in-time case are recovered, for large correlation times homogeneity is broken, and a concentration around the origin of the system is observed in the velocity profiles. In other words, this fractional velocity field is a representation in one-dimension, through a linear dynamical model, of the self-similar velocity fields proposed by Kolmogorov in 1941, but only at fixed times, for a delta-correlated forcing, in which case the spatial statistics is homogeneous and rough, as expected of a turbulent velocity field. The regularity in time of turbulence, however, is not captured by this model.
Let
● (Divisorial)
● (Flipping)
● (Mixed)
Note that the mixed case can occur only if either
We can almost always choose the initial
Our aim is to discuss a significant special case where the
Definition 1 (MMP with scaling). Let
By the
(Xj,Θj)ϕj→Zjψj←(Xj+1,Θj+1)gj↘↓↙gj+1S | (1.1) |
where
(2)
(3)
(4)
Note that (4) implies that
In general such a diagram need not exist, but if it does, it is unique and then
(X,Θ)ϕ→Zϕ+←(X+,Θ+)g↘↓↙g+S | (1.5) |
We say that the MMP terminates with
(6) either
(7) or
Warning 1.8. Our terminology is slightly different from [7], where it is assumed that
One advantage is that our MMP steps are uniquely determined by the starting data. This makes it possible to extend the theory to algebraic spaces [33].
Theorem 2 is formulated for Noetherian base schemes. We do not prove any new results about the existence of flips, but Theorem 2 says that if the MMP with scaling exists and terminates, then its steps are simpler than expected, and the end result is more controlled than expected.
On the other hand, for 3-dimensional schemes, Theorem 2 can be used to conclude that, in some important cases, the MMP runs and terminates, see Theorem 9.
Theorem 2. Let
(i)
(ii)
(iii)
(iv)
(v) The
We run the
(1)
(a) either
(b) or
(2) The
(3)
Furthermore, if the MMP terminates with
(4)
(5) if
Remark 2.6. In applications the following are the key points:
(a) We avoided the mixed case.
(b) In the fipping case we have both
(c) In (3) we have an explicit, relatively ample, exceptional
(d) In case (5) we end with
(e) In case (5) the last MMP step is a divisorial contraction, giving what [35] calls a Kollár component; no further flips needed.
Proof. Assertions (1-3) concern only one MMP-step, so we may as well drop the index
Let
∑hi(Ei⋅C)=−r−1(EΘ⋅C). | (2.7) |
By Lemma 3 this shows that the
∑hi(e′(Ei⋅C)−e(Ei⋅C′))=0. | (2.8) |
By the linear independence of the
Assume first that
ϕ∗(EΘ+rH)=∑i>1(ei+rhi)ϕ∗(Ei) |
is
Otherwise
g−1(g(supp(EΘ+rH)))=supp(EΘ+rH). | (2.9) |
If
Thus
Assume next that the flip
Finally, if the MMP terminates with
Lemma 3. Let
∑ni=1hivi=γv0 for some γ∈L. |
Then
Proof. We may assume that
∑ni=1hiai=γa0 and n∑i=1hibi=γb0. |
This gives that
∑ni=1hi(b0ai−a0bi)=0. |
Since the
Lemma 4. Let
Proof. Assume that
∑ni=1sihi=−(∑ni=1siei)⋅∑ni=0rihi. |
If
The following is a slight modifications of [3,Lem.1.5.1]; see also [17,5.3].
Lemma 5. Let
Comments on
Conjecture 6. Let
(1)
(2) The completion of
Using [30,Tag 0CAV] one can reformulate (6.2) as a finite type statement:
(3) There are elementary étale morphisms
(x,X,∑DXi)←(u,U,∑DUi)→(y,Y,∑DYi). |
Almost all resolution methods commute with étale morphisms, thus if we want to prove something about a resolution of
A positive answer to Conjecture 6 (for
(Note that [27] uses an even stronger formulation: Every normal, analytic singularity has an algebraization whose class group is generated by the canonical class. This is, however, not true, since not every normal, analytic singularity has an algebraization.)
Existence of certain resolutions.
7 (The assumptions 2.i-v). In most applications of Theorem 2 we start with a normal pair
Typically we choose a log resolution
We want
The existence of a
8 (Ample, exceptional divisors). Assume that we blow up an ideal sheaf
Claim 8.1. Let
Resolution of singularities is also known for 3-dimensional excellent schemes [10], but in its original form it does not guarantee projectivity in general. Nonetheless, combining [6,2.7] and [23,Cor.3] we get the following.
Claim 8.2. Let
Next we mention some applications. In each case we use Theorem 2 to modify the previous proofs to get more general results. We give only some hints as to how this is done, we refer to the original papers for definitions and details of proofs.
The first two applications are to dlt 3-folds. In both cases Theorem 2 allows us to run MMP in a way that works in every characteristic and also for bases that are not
Relative MMP for dlt 3-folds.
Theorem 9. Let
Then the MMP over
(1) each step
(a) either a contraction
(b) or a flip
(2)
(3) if either
Proof. Assume first that the MMP steps exist and the MMP terminates. Note that
KX+E+g−1∗Δ∼Rg∗(KY+Δ)+∑j(1+a(Ej,Y,Δ))Ej∼g,R∑j(1+a(Ej,Y,Δ))Ej=:EΘ. |
We get from Theorem 2 that (1.a-b) are the possible MMP-steps, and (2-3) from Theorem 15-5.
For existence and termination, all details are given in [6,9.12].
However, I would like to note that we are in a special situation, which can be treated with the methods that are in [1,29], at least when the closed points of
The key point is that everything happens inside
Contractions for reducible surfaces have been treated in [1,Secs.11-12], see also [12,Chap.6] and [31].
The presence of
The short note [34] explains how [15,3.4] gives 1-complemented 3-fold flips; see [16,3.1 and 4.3] for stronger results.
Inversion of adjunction for 3-folds. Using Theorem 9 we can remove the
Corollary 10. Let
This implies that one direction of Reid's classification of terminal singularities using 'general elephants' [28,p.393] works in every characteristic. This could be useful in extending [2] to characteristics
Corollary 11. Let
Divisor class group of dlt singularities. The divisor class group of a rational surface singularity is finite by [24], and [8] plus an easy argument shows that the divisor class group of a rational 3-dimensional singularity is finitely generated. Thus the divisor class group of a 3-dimensional dlt singularity is finitely generated in characteristic
Proposition 12. [21,B.1] Let
It seems reasonable to conjecture that the same holds in all dimensions, see [21,B.6].
Grauert-Riemenschneider vanishing. One can prove a variant of the Grauert-Riemenschneider (abbreviated as G-R) vanishing theorem [13] by following the steps of the MMP.
Definition 13 (G-R vanishing). Let
Let
(1)
(2)
Then
We say that G-R vanishing holds over
By an elementary computation, if
If
G-R vanishing also holds over 2-dimensional, excellent schemes by [24]; see [20,10.4]. In particular, if
However, G-R vanishing fails for 3-folds in every positive characteristic, as shown by cones over surfaces for which Kodaira's vanishing fails. Thus the following may be the type of G-R vanishing result that one can hope for.
Theorem 14. [5] Let
Proof. Let
A technical problem is that we seem to need various rationality properties of the singularities of the
For divisorial contractions
For flips
From G-R vanishing one can derive various rationality properties for all excellent dlt pairs. This can be done by following the method of 2 spectral sequences as in [19] or [20,7.27]; see [5] for an improved version.
Theorem 15. [5] Let
(1)
(2) Every irreducible component of
(3) Let
See [5,12] for the precise resolution assumptions needed. The conclusions are well known in characteristic 0, see [22,5.25], [12,Sec.3.13] and [20,7.27]. For 3-dimensional dlt varieties in
The next two applications are in characteristic 0.
Dual complex of a resolution. Our results can be used to remove the
Corollary 16. Let
Theorem 17. Let
(1)
(2)
(3)
Then
Proof. Fix
Let us now run the
Note that
We claim that each MMP-step as in Theorem 2 induces either a collapse or an isomorphism of
By [11,Thm.19] we get an elementary collapse (or an isomorphism) if there is a divisor
It remains to deal with the case when we contract
Dlt modifications of algebraic spaces. By [25], a normal, quasi-projective pair
However, dlt modifications are rarely unique, thus it was not obvious that they exist when the base is not quasi-projective. [33] observed that Theorem 2 gives enough uniqueness to allow for gluing. This is not hard when
Theorem 18 (Villalobos-Paz). Let
(1)
(2)
(3)
(4)
(5) either
I thank E. Arvidsson, F. Bernasconi, J. Carvajal-Rojas, J. Lacini, A. Stäbler, D. Villalobos-Paz, C. Xu for helpful comments and J. Witaszek for numerous e-mails about flips.
[1] | U. Frisch, Turbulence: the legacy of A. N. Kolmogorov, Cambridge: Cambridge university press, 1995. http://doi.org/10.1017/CBO9781139170666 |
[2] |
A. N. Kolmogorov, The local structure of turbulence in incompressible viscous fluid for very large Reynolds numbers, Proc. R. Soc. Lond. A, 434 (1991), 9–13. http://doi.org/10.1098/rspa.1991.0075 doi: 10.1098/rspa.1991.0075
![]() |
[3] |
L. Onsager, Statistical hydrodynamics, Nuovo. Cim., 6 (1949), 279–287. http://doi.org/10.1007/BF02780991 doi: 10.1007/BF02780991
![]() |
[4] |
P. Constantin, W. E, E. S. Titi, Onsager's conjecture on the energy conservation for solutions of Euler's equation, Commun. Math. Phys., 165 (1994), 207–209. http://doi.org/10.1007/BF02099744 doi: 10.1007/BF02099744
![]() |
[5] |
J. Duchon, R. Robert, Inertial energy dissipation for weak solutions of incompressible Euler and Navier-Stokes equations, Nonlinearity, 13 (2000), 249. http://doi.org/10.1088/0951-7715/13/1/312 doi: 10.1088/0951-7715/13/1/312
![]() |
[6] |
G. L. Eyink, K. R. Sreenivasan, Onsager and the theory of hydrodynamic turbulence, Rev. Mod. Phys., 78 (2006), 87. http://doi.org/10.1103/RevModPhys.78.87 doi: 10.1103/RevModPhys.78.87
![]() |
[7] |
K. P. Iyer, K. R. Sreenivasan, P. K. Yeung, Reynolds number scaling of velocity increments in isotropic turbulence, Phys. Rev. E, 95 (2017), 021101. http://doi.org/10.1103/PhysRevE.95.021101 doi: 10.1103/PhysRevE.95.021101
![]() |
[8] |
P. Debue, D. Kuzzay, E.-W. Saw, F. Daviaud, B. Dubrulle, L. Canet, et al., Experimental test of the crossover between the inertial and the dissipative range in a turbulent swirling flow, Phys. Rev. Fluids, 3 (2018), 024602. http://doi.org/10.1103/PhysRevFluids.3.024602 doi: 10.1103/PhysRevFluids.3.024602
![]() |
[9] |
B. Dubrulle, Beyond Kolmogorov cascades, J. Fluid Mech., 867 (2019), P1. http://doi.org/10.1017/jfm.2019.98 doi: 10.1017/jfm.2019.98
![]() |
[10] |
B. B. Mandelbrot, J. W. Van Ness, Fractional brownian motions, fractional noises and applications, SIAM Rev., 10 (1968), 422–437. http://doi.org/10.1137/1010093 doi: 10.1137/1010093
![]() |
[11] |
R. Robert, V. Vargas, Hydrodynamic turbulence and intermittent random fields, Commun. Math. Phys., 284 (2008), 649–673. http://doi.org/10.1007/s00220-008-0642-y doi: 10.1007/s00220-008-0642-y
![]() |
[12] |
A. Lodhia, S. Sheffield, X. Sun, S. S. Watson, Fractional Gaussian fields: a survey, Probab. Surveys, 13 (2016), 1–56. http://doi.org/10.1214/14-PS243 doi: 10.1214/14-PS243
![]() |
[13] |
A. N. Kolmogorov, Dissipation of energy in the locally isotropic turbulence, Proc. R. Soc. Lond. A, 32 (1991), 15–17. http://doi.org/10.1098/rspa.1991.0076 doi: 10.1098/rspa.1991.0076
![]() |
[14] |
F. Schmitt, D. Marsan, Stochastic equations generating continuous multiplicative cascades, Eur. Phys. J. B, 20 (2001), 3–6. http://doi.org/10.1007/BF01313905 doi: 10.1007/BF01313905
![]() |
[15] |
R. M. Pereira, C. Garban, L. Chevillard, A dissipative random velocity field for fully developed fluid turbulence, J. Fluid Mech., 794 (2016), 369–408. http://doi.org/10.1017/jfm.2016.166 doi: 10.1017/jfm.2016.166
![]() |
[16] | L. Chevillard, C. Garban, R. Rhodes, V. Vargas, On a skewed and multifractal unidimensional random field, as a probabilistic representation of Kolmogorov's views on turbulence, Ann. Henri Poincaré, 20 (2019), 3693–3741. http://doi.org/10.1007/s00023-019-00842-y |
[17] |
J. Friedrich, J. Peinke, A. Pumir, R. Grauer, Explicit construction of joint multipoint statistics in complex systems, J. Phys. Complex., 2 (2021), 045006. http://doi.org/10.1088/2632-072X/ac2cda doi: 10.1088/2632-072X/ac2cda
![]() |
[18] | E. B. Gledzer, System of hydrodynamic type admitting two quadratic integrals of motion, Sov. Phys. Dokl., 18 (1973), 216–217. |
[19] |
K. Ohkitani, M. Yamada, Temporal intermittency in the energy cascade process and local lyapunov analysis in fully-developed model turbulence, Prog. Theor. Phys., 81 (1989), 329–341. http://doi.org/10.1143/PTP.81.329 doi: 10.1143/PTP.81.329
![]() |
[20] |
L. Biferale, Shell models of energy cascade in turbulence, Annu. Rev. Fluid Mech., 35 (2003), 441–468. http://doi.org/10.1146/annurev.fluid.35.101101.161122 doi: 10.1146/annurev.fluid.35.101101.161122
![]() |
[21] |
G. B. Apolinário, L. Chevillard, J.-C. Mourrat, Dynamical fractional and multifractal fields, J. Stat. Phys., 186 (2022), 15. http://doi.org/10.1007/s10955-021-02867-2 doi: 10.1007/s10955-021-02867-2
![]() |
[22] |
Y. Colin de Verdière, L. Saint-Raymond, Attractors for two-dimensional waves with homogeneous Hamiltonians of degree 0, Commun. Pur. Appl. Math., 73 (2020), 421–462. http://doi.org/10.1002/cpa.21845 doi: 10.1002/cpa.21845
![]() |
[23] |
S. Dyatlov, M. Zworski, Microlocal analysis of forced waves, Pure and Applied Analysis, 1 (2019), 359–384. http://doi.org/10.2140/paa.2019.1.359 doi: 10.2140/paa.2019.1.359
![]() |
[24] |
Y. Colin de Verdière, Spectral theory of pseudodifferential operators of degree 0 and an application to forced linear waves, Anal. PDE, 13 (2020), 1521–1537. http://doi.org/10.2140/apde.2020.13.1521 doi: 10.2140/apde.2020.13.1521
![]() |
[25] |
L. R. M. Maas, D. Benielli, J. Sommeria, F.-P. A. Lam, Observation of an internal wave attractor in a confined, stably stratified fluid, Nature, 388 (1997), 557–561. http://doi.org/10.1038/41509 doi: 10.1038/41509
![]() |
[26] |
M. Rieutord, L. Valdettaro, Inertial waves in a rotating spherical shell, J. Fluid Mech., 341 (1997), 77–99. http://doi.org/10.1017/S0022112097005491 doi: 10.1017/S0022112097005491
![]() |
[27] |
H. Scolan, E. Ermanyuk, T. Dauxois, Nonlinear fate of internal wave attractors, Phys. Rev. Lett., 110 (2013), 234501. http://doi.org/10.1103/PhysRevLett.110.234501 doi: 10.1103/PhysRevLett.110.234501
![]() |
[28] |
C. Brouzet, E. V. Ermanyuk, S. Joubaud, I. Sibgatullin, T. Dauxois, Energy cascade in internal-wave attractors, EPL, 113 (2016), 44001. http://doi.org/10.1209/0295-5075/113/44001 doi: 10.1209/0295-5075/113/44001
![]() |
[29] |
J. C. Mattingly, T. Suidan, E. Vanden-Eijnden, Simple systems with anomalous dissipation and energy cascade, Commun. Math. Phys., 276 (2007), 189–220. http://doi.org/10.1007/s00220-007-0333-0 doi: 10.1007/s00220-007-0333-0
![]() |
[30] |
L. Chevillard, S. G. Roux, E. Lévêque, N. Mordant, J.-F. Pinton, A. Arnéodo, Intermittency of velocity time increments in turbulence, Phys. Rev. Lett., 95 (2005), 064501. http://doi.org/10.1103/PhysRevLett.95.064501 doi: 10.1103/PhysRevLett.95.064501
![]() |
[31] |
A. Gorbunova, G. Balarac, L. Canet, G. Eyink, V. Rossetto, Spatio-temporal correlations in three-dimensional homogeneous and isotropic turbulence, Phys. Fluids, 33 (2021), 045114. http://doi.org/10.1063/5.0046677 doi: 10.1063/5.0046677
![]() |
[32] | H. Tennekes, J. L. Lumley, A first course in turbulence, MIT Press, 1972. |
[33] |
M. Chaves, K. Gawedzki, P. Horvai, A. Kupiainen, M. Vergassola, Lagrangian dispersion in Gaussian self-similar velocity ensembles, J. Stat. Phys., 113 (2003), 643–692. http://doi.org/10.1023/A:1027348316456 doi: 10.1023/A:1027348316456
![]() |
[34] |
J. Reneuve, L. Chevillard, Flow of spatiotemporal turbulentlike random fields, Phys. Rev. Lett., 125 (2020), 014502. http://doi.org/10.1103/PhysRevLett.125.014502 doi: 10.1103/PhysRevLett.125.014502
![]() |
[35] | C. Canuto, M. Y. Hussaini, A. Quarteroni, T. A. Zang, Spectral methods: fundamentals in single domains, Berlin, Heidelberg: Springer, 2006. http://doi.org/10.1007/978-3-540-30726-6 |
[36] | P. E. Kloeden, E. Platen, Numerical solution of stochastic differential equations, Berlin, Heidelberg: Springer, 1992. http://doi.org/10.1007/978-3-662-12616-5 |
1. | Balázs Csutak, Gábor Szederkényi, Robust control and data reconstruction for nonlinear epidemiological models using feedback linearization and state estimation, 2025, 22, 1551-0018, 109, 10.3934/mbe.2025006 |