Abstract
We introduce a stochastic model for a passive magnetic field in a three dimensional thin domain. The velocity field, white in time and modelling phenomenologically a turbulent fluid, acts on the magnetic field as a transport-stretching noise. We prove, in a quantitative way, that, in the simultaneous scaling limit of the thickness of the thin layer and the separation of scales, the mean in the thin direction of the magnetic field is close to the solution of the equation for the magnetic field with additional dissipation. For certain choices of noises with correlations between their components, without mirror symmetry and with a non zero mean helicity, we identify, in the limit, a first-order term, in addition to the extra dissipation term. However, in the limit system this term does not produce growth of the norm, which is commonly referred to in the literature as the dynamo effect. Consequently, we extend a no-dynamo theorem to thin layers.
Keywords: Thin Layer, Magnetohydrodynamics, Transport Noise, Eddy Viscosity Model, Alpha Effect, Beta Effect
Introduction
We consider a linear vector-valued SPDE in the unknown , (a model of thin domain), , of advection type, loosely written as (see the rigorous formulation in Subsection 2.4 below)
| 1.1 |
where is a white noise in time, with suitable space covariance structure, described in detail in subsection 2.3. The multiplications and appearing in the development of the term are understood in Stratonovich sense.
Our main contribution is proving that the vertical average of the magnetic field, , converges in a suitable distributional topology to the solution of the system
| 1.2 |
where is the limit of . Here is an “eddy magnetic diffusivity”, linked to the space-covariance of ; the additional term is often called the beta-term in the literature devoted to equations for the magnetic field driven by a turbulent velocity field (see subsection 1.1 below). is a matrix linked to the mean helicity of the noise; the term is usually called the alpha-term. The convergence result is stated in detail in Section 2.4, see in particular Theorem 2.15, and the formulation given above is reconstructed in Appendix B.
We classify such a theorem as an Itô-Stratonovich stochastic diffusion limit, in analogy with the deterministic and stochastic theory of diffusion limits based on homogenization techniques (see for instance [16, 19]). The approach however is different and is strongly based on the Itô-Stratonovich corrector, initiated by [14] (see also [12] and references therein), from which we derive this terminology. We give a rough idea of how this technique works. The Itô formulation of equation (1.1) involves a linear, second-order corrector term that is roughly obtained by squaring the operators . We refer to Section 2.4 for the detailed computations and simply denote by the additional differential operator arising from the Itô-Stratonovich corrector. We interpret this operator as a mean field term (as opposed to the fluctuations represented by the Itô integrals), see also subsection 1.1 below. It can be shaped in various ways, through appropriate choices of the noise covariance, so that it admits a non-trivial limit as . In particular, it can be chosen so that
cf. (1.2). Owing to the linearity of the equation, this easily yields
However, the convergence requires, additionally, a careful control of the fluctuations induced by the stochastic integrals. Ultimately, this issue is linked to the derivation of bounds, uniform in , in sufficiently strong norms of . In the case of transport noise, cf. [14], this is trivial due to its energy-preserving nature. In our setting, however, energy preservation is broken by the random stretching term which has increasingly strong effects as . This behaviour is caused by the assumptions on required to retain a non-trivial limiting mean-field operator; see, e.g., [6, Appendix 2]. We refer to Section 2.5 for a more in-depth discussion of the difficulties in obtaining uniform controls in the presence of transport–stretching noise, as well as for a presentation of our strategy to address this problem in the framework of magnetic fields in a thin domain.
In this context, our main result, Theorem 2.15, represents an important technical advancement in the study of these kinds of diffusion limits for three dimensional fluids. Our model lies between the full three-dimensional regime and previously considered toy models, while retaining physical relevance, as explained in subsection 1.1. The closest previous result in this direction is [9], a 2D-3C (two-dimensional, three component) model, where a number of ideas used also here have been already introduced. However, the thin domain treated here is a truly 3D-3C model, which reduces to 2D-3C only in the limit. The control of the limit is demanding, as already mentioned, due to the random stretching term. Without it, as in [8], the control of the limit is easier, while the 2D-3C version of this system of [9], being 2D from the beginning, eliminates part of the difficulty.
Comments on the physical motivation
The model introduced above for is a classical model for a magnetic field driven by a velocity field , with some degree of resistivity (namely closeness to ideal) given by . We refer to the classical monographs [21, 22] for a detailed discussion on the topics highlighted in this section. This model is used in Plasma Physics to describe several phenomena, the one of most interest for us being the dynamo effect, that is the capability of a magnetohydrodynamic system to self-sustain, against resistive dissipation. Let us comment about the model and result under the usual view of dynamo research.
The step from the equation for to a “mean field" equation like the one above for is a classical step in the Physics literature on this topic. The usual procedure consists in taking averages of , getting a Reynolds type tensor which mixes bilinearly the randomness of and , and close the equation for the average, large scales components, of by suitable closure assumptions on the average of the bilinear term. Compared to these derivations, we do not aim to get new final mean field equations, since those indicated in Plasma Physics literature are already deep and compared with reality; our aim is to justify them. Indeed, their validity is far from trivial, presumably false in full generality, for substantial reasons and not just for a question of mathematical rigour. Let us explain why.
As already mentioned, in our approach, the Itô-Stratonovich corrector appearing when we rewrite the term from the Stratonovich form to the Itô one, corresponds precisely to the mean field term (or sum of terms) discovered in the literature under the most natural closure formulae. But in our rigorous derivation there is still the Itô term, which should disappear in the limit when . There is no obvious reason why it should disappear, and in general it contains fluctuations which may be very important and alter the limit result. In scalar and 2D models, where stretching of vector quantities does not appear, it is possible to prove that the Itô term is negligible in the limit (see for instance [3, 6, 7, 10, 12–14] ). In 3D, the problem is extremely difficult. We start to throw some light with this work in a truly 3D model, thanks to the asymptotic simplifications of the thin domain; previously some basic ingredients have been understood for the 2D-3C model of [9].
Therefore, to summarize the previous discussion, our main contribution is to provide a framework in which to make rigorous the mean field theory of a magnetic field advected by a turbulent velocity field .
A comment about the physical meaning of our mean field equation is now in order.
The final mean field system for contains two new terms, the alpha and beta terms. Let us start from the beta term . Let us recall the following sentence from Krause e Rädler [17, Page 12]: “homogeneous isotropic mirror symmetric turbulence only influences the decay rate of the mean magnetic fields, which is enhanced in almost all cases of physical interest”. When the field is mirror symmetric, the average helicity of (defined in Appendix B below in the case of our white noise field ) is zero, which then implies that , namely the alpha-term is absent. In this case, the only mean-field effect of the turbulent field is to produce the beta-term , which enhances the decay rate, as stated by [17, Page 12]. Therefore our result rigorously confirms that prediction, in the particular case of thin domains.
Concerning the other additional term, namely the alpha-term , the story is more complicated. In fully 3D cases such a term may be responsible for the growth of the magnetic field by stretching and it is advocated as one of the sources of dynamo, a very important observed phenomenon which is related to the growth or maintenance of the magnetic field in certain planets and stars. However, in our case the term , although present, cannot produce an increase of the magnetic field. This is due to the specific algebraic structure, described in Section 2.4. The matrix is degenerate and propagates only certain information of (those coming from the vertical part of the vector potential) which do not create a loop suitable for increase (the vertical part of the vector potential may only dissipate). We refer to Remark 2.18 below for a better understanding of the last sentence.
To understand this discrepancy, let us point out that in our model there are two sources of high frequency perturbations that affect the mean field large scales magnetic field . One is given by the turbulent velocity field , the noise part, while the other is given by the geometry of the layer, which provokes high frequency oscillations in the vertical (thin) direction. The averaging of the noise part is taken care by the probabilistic part of our argument, which is the core of our proof, while the vertical small scales are filtered out by taking averages in the vertical direction. This step allows us to deal with an effective 2D-3C quantity. However, it does not make the problem simply 2D-3C as in previous models, due to additional Reynolds-type tensors, stemming from the bilinear terms, which couple the fast oscillating quantities with the large scale averaged quantities which we have to handle carefully. We refer to Section 2.5 for details.
As it is well known, Cowling’s theorem states that a 2D-3C conducting plasma cannot give rise to a dynamo, due to geometric constraints, see for instance [15, Section 3.5]. However, in almost all examples of astrophysical plasmas (such as rotating galaxies), whose motion is confined to an almost two-dimensional plane, large scale magnetic fields are in fact observed. Their very existence, as well as their persistence, is believed to be connected to dynamo effects (see [1]). This means that small tridimensional effects cannot be neglected when modelling such systems. It follows that 2D-3C models necessarily fail to capture the right physics. As a consequence of our results, we rigorously extend this constraint by showing that not only 2D-3C models lack such important features, but also a fully 3D stochastic model of a thin domain, whose dimension is reduced only by averaging out the vertical oscillations (thus retaining the effects of the coupling terms mentioned above, which are completely neglected in 2D-3C models), fails to capture the relevant physical phenomena, thus corroborating with a rigorous result the principle for which such systems must be treated in their full 3D complexity. We also mention that the case of an isotropic 3D domain has been studied by the first and third named authors in [2], which appeared after the first version of the present manuscript. That work provides an example in which a turbulent stochastic fluid , similar to the one considered here (cf. Hypothesis 2.6 and [2, Hypothesis 2.5]), and the induced alpha term are capable of sustaining the magnetic field. From a modelling perspective, the results presented there can be seen as complementary to those discussed here. Both support the conclusion that averaging out vertical oscillations may lead to a loss of crucial physical mechanisms, and that magnetohydrodynamic systems must be addressed in their full 3D complexity. Specifically, by the result of the present work we can conclude that if a dynamo is active in our model, then it must necessarily act on the high frequency modes (the one neglected by the averaging procedure), a conclusion which is compatible and corroborated by the results in [2].
Comparison with the literature
The dynamo problem for the linear equation (1.1), also called kinematic dynamo, has been recently addressed in various forms in the mathematical literature. In this section we briefly mention those we believe are the most relevant. The classical formalization of the dynamo problem in mathematical terms is extensively discussed in the seminal reference [4], where it is stated in terms of Lyapunov exponents, and where also the concepts of slow and fast dynamos are introduced. Loosely speaking, the problem asks to construct a flow u, deterministic or random, for which the solution of the induction equation grows exponentially in the norm, on any time interval. Then, the dynamo is called fast if the exponential growth rate stays positive in the limit of zero resistivity. On this topic, see also the classical work [26]. The problem stated in this way does not require directly the derivation of any mean field model, and indeed it was recently approached, in the ideal case, in [33], by means of the positivity of the top Lyapunov exponent of the Lagrangian trajectories of the (randomized) underlying flow u; and later solved, in the much more difficult resistive case (), in [34] using tools from perturbation theory, providing also the first rigorous example of a fast dynamo on , induced by an autonomous flow. We also mention the work [27], where the author proves existence of almost fast dynamos in using a controllability argument to construct an ad hoc time-dependent flow. Finally, in the stochastic setting (i.e. when the flow is given by a white in time stochastic process), the first and third named author, subsequently to the appearance of the first version of this paper, showed in [2] that, in the full 3D setting, a helical stochastic flow can induce a dynamo, in a looser sense than that in [4], by proving a mean field-type result akin to the one proved here, but crucially, with enough richness so to sustain a dynamo. Beyond the dynamo problem, the derivation of mean field models has an independent interest, for which we refer to the monograph [35], where the authors derive several mean-field models using homogenization-type tools. In the present work, the spirit is more akin to this second line of research, however going in the opposite direction of the dynamo problem, by providing, as explained in the previous section, a novel result of no-dynamo type. Finally, in comparison with our subsequent work [2], it is worth noticing that here, thanks to the possibility of exploiting a regularizing effect of the special thin geometry, we are able to relax the assumptions on the noise, allowing a slower decay rate for the noise coefficients (i.e. stronger fluctuations) (cf. Hypothesis 2.6 and [2, Hypothesis 2.5]). Moreover, from the technical point of view, in the present work several new ideas are needed to deal with the scaling of the equation and of the domain at the same time, and to extract a regularizing effect of the thin domain (cf. Section 2.5).
Overview
The content of the paper is the following one. In Section 2 we introduce rigorously our framework. In particular, we define the structure of the noise, , in subsection 2.3, while we state our main result in Section 2.4 and describe the main ideas behind its proof in Section 2.5. The remainder of the paper is dedicated to proving our main result. In Section 3 we prove estimates for uniformly in the thickness of the domain, then we show the convergence of to in Section 4 . We conclude the paper with two appendices. In Appendix A we provide an explicit representation of the Itô-Stratonovich corrector in (1.1). In Appendix B we compute an average of the helicity of , highlighting its connection to the alpha-term in (1.2).
Functional setting and main results
In subsection 2.1 we introduce the notation we follow along the paper. In Subsection 2.2 we introduce some functional analysis tools we employ in order to carry on rigorously our analysis described in Section 1. We describe the noise we employ in subsection 2.3 providing some insights in the meaning of the assumptions and comparisons with the existing literature. We state our main result in Section 2.4 and describe the main ideas behind its proof in Section 2.5 for the convenience of the reader.
Notation
In the following we denote by (resp. ) the two (resp. three) dimensional torus. Moreover, for each let us denote by
the thin layer three dimensional torus. In Subsection 2.2 we focus on function spaces on periodic domains which we in general denote by varying between .
Similarly we denote by (resp. ) the three (resp. two) dimensional lattice made by points with integer coordinates. Moreover, for each let us denote by
the thin layer three dimensional lattice. We introduce a partition of such that
If we will sometimes denote by , in the following.
For each we denote by
In particular, by the approximation properties of Riemann sums, for each it holds
For two vector fields X and Y , we write for the Lie derivative of Y with respect to X, i.e.
| 2.1 |
We denote by the canonical basis of .
We denote by [M, N] the quadratic covariation process, which is defined for any couple of square integrable real semimartingales and we extend it by bilinearity to the analogue complex valued processes.
Let a, b be two positive numbers, then we write if there exists a positive constant C such that and when we want to highlight the dependence of the constant C on a parameter . If we denote by its complex conjugate. If is a tensor we denote by its Hilbert-Schmidt norm. Lastly, if we denote by
Preliminaries
Function spaces in the periodic setting
Let us start setting some classical notation before describing the main contributions of this work. We refer to monographs [12, 20, 23, 29–32] for a complete discussion on the topics shortly recalled in this section.
Let be the Bessel spaces of periodic functions. In case of , we simply write in place of and we denote by the corresponding scalar products. When dealing with functions having as a domain we neglect the domain in the definition of norm and inner product, i.e. we write in place of . In case of , we write instead of and we neglect the subscript in the notation for the norm and the inner product when considering functions having as a domain. Instead, in case of functions having as a domain we write (resp. ) in place of (resp. ). For , we denote the duality between and by .
We denote by (resp. ) the closed subspace of (resp. ) made by zero mean functions with norm induced by (resp. ). Where it creates no ambiguity, we denote the Laplacian with the same symbol, , either when considering functions with domain or , i.e. we denote by
where . We follow the same notation when considering the orthogonal projection of on , which we denote by . The restriction (resp. extension) of Q to (resp. ) for is the orthogonal projection on (resp. ). It is well known that is the infinitesimal generator of analytic semigroup of negative type that we denote by and moreover for each , can be identified with . It is well known that the family (resp. ) is a complete orthogonal system of (resp. ) made by eigenfunctions of . Moreover it is orthonormal in (resp. ). We recall for the convenience of the reader some properties of the Heat Semigroup we will exploit in the following:
Lemma 2.1
Let . Then:
-
i)
for any it holds for some constant increasing in ;
-
ii)
for any it holds .
Similarly, for we introduce the Bessel spaces of zero mean vector fields
Again, in case of we write instead of and we neglect the subscript in the notation for the norm and the scalar product. Similarly we denote by (resp. ) the closed subspace of (resp. ) made by zero mean functions. In case of we denote by (resp. ) the closed subspace of (resp. ) made by zero mean, divergence free vector fields with norm induced by (resp. ). With some abuse of notation we usually employ the same notation for norms and inner products that we introduced for scalar functions also for the corresponding vector fields, forgetting their range and we denote by
Having this notation in mind we recall the definition and the regularizing property of the Leray Projection and the Biot-Savart operator. We denote by
the Leray projection which, in the periodic setting, is an orthogonal projection even when acting between and
If there exists a unique vector field such that . Moreover the operator
is linear and continuous for each and is given by . In particular, if is independent of the third component, we have
| 2.2 |
where we denoted by .
We conclude this subsection introducing some classical notation when dealing with stochastic processes taking values in separable Hilbert spaces. Let Z be a separable Hilbert space, with associated norm . We denote by the space of weakly continuous adapted processes with values in Z such that
and by the space of progressively measurable processes with values in Z such that
Preliminaries on the thin layer
For our purposes, it is convenient to introduce the mean operator, , and the fluctuations operator, , in order to exploit the properties of working with a thin layer. Therefore, let us recall their definitions and some properties which we will use in the following. We refer to [24, 25, 28] for the proof of these results and some more discussions on the topic.
Definition 2.2
We denote by the mean operator in the third variable, i.e.
Similarly , therefore
The operator and are projections either in and in . More generally the following holds.
Lemma 2.3
-
i)The operators are orthogonal projections in for each In particular:
2.3 -
ii)
commute with derivative and fractional powers of the Laplacian. In particular, commute with .
-
iii)For each such that and is well defined, then we have
2.4 2.5 -
iv)For each the following Poincaré inequality holds
2.6
Remark 2.4
In our periodic setting, the mean operator preserves Fourier modes which are independent of the third variable. Instead, the fluctuations operator preserves Fourier modes which depend on the third variable, i.e. if then
Exploiting Fourier decomposition, one can easily prove that, more generally, if are regular enough such that is well defined (e.g. ), then we have
Description of the stochastic system
We now move to the description of the random velocity field appearing in equation (1.1). We shall define it in a sort of expansion in the Fourier basis. For each we denote by , where is an orthonormal system of for and if , while the (complex) coefficients will be fixed later. It is well known that the family is a complete orthogonal system of made by eigenfunctions of . Moreover it is orthonormal in . Without loss of generality, we make a choice that will simplify some of the computations: when we choose if , otherwise. Now we define the Brownian motions. Our construction aims at obtaining a non trivial space covariance structure, while retaining the description in the Fourier basis, since this choice will simplify many computations thanks to Remark 2.4. We begin with a correlation factor . Then assume is a filtered probability space such that is a complete probability space, is a right continuous filtration and contains every null subset of . Now, for each , is a sequence of complex-valued Brownian motions adapted to such that and
With the notation above in mind, we introduce the random field
with . We will formally consider in (1.1) and postpone to Section 2.4 for the rigorous definition of (1.1) for this choice of The physical intuition behind our construction is discussed in Remark 2.11 below. The role of the factor in the definition above is to introduce some correlation between the vertical and horizontal components of the ‘2D’ modes (those who have ) of the random field. With our choices, to ensure that takes values in a space of real valued functions, the coefficients must satisfy the condition
| 2.7 |
Remark 2.5
The complex Brownian motions required can be constructed in the following way: let be a sequence of real, Brownian motions adapted to such that
and then set
Finally, we make an explicit choice of the coefficients appearing in the definition of our random velocity field :
| 2.8 |
The parameters cannot be arbitrary. Indeed we will always assume in the following even if not specified:
Hypothesis 2.6
The width of the thin layer is , i.e. for .
The coefficients in (2.8) satisfy and .
More general choices for the phase and the sign of our coefficients are allowed, although the computations and the notation get heavier, while the decay rate () is optimal in our setting. For this reason we decide to avoid this level of generality.
Remark 2.7
Due to our choice of the coefficients and the vectors it follows that for each k such that
Therefore the 2D modes of our noise naturally split in horizontal and vertical components
Moreover the components satisfy the relations
As shown in [9], this anisotropy of the noise is the main responsible for the appearance of the alpha-term in this kind of models.
In the next few pages, we introduce several reformulations and properties of the spatial covariance of our noise. While all of them will be used later on, eager readers may wish to skip directly to Section 2.4 and return here if any notation or statements are unclear. The space covariance function associated to our noise is
| 2.9 |
where we denoted by
Due to our choice, we have that and are all translation invariant, therefore we simply write (resp. ) in place of (resp. ). In particular are mirror symmetric, namely it holds
| 2.10 |
On the contrary is an odd function, in particular . As a consequence, our noise satisfies the mirror symmetry property if and only if . Let us understand better the behaviour of . Indeed, as discussed in [12, Chapter 3], it plays a crucial role in order to provide the dissipation properties of our limit object. Let us start considering , we have:
Arguing as in [14, Section 2.3], it follows easily that is a diagonal matrix, moreover it holds
where we denoted by
In particular both go to 0 as . Indeed it holds
| 2.11 |
In order to treat we introduce a further splitting of the sum. We write
denoting by
Of course, satisfy mirror symmetry property too. By definition it holds
Therefore also goes to 0 as . Indeed, we have
| 2.12 |
Lastly we need to study the asymptotic behaviour of which is the one we will keep track in the scaling limit. Arguing as in [14, Section 2.3], it follows easily that also is a diagonal matrix, moreover it holds
We set
We state now some results on the covariance functions . The first ones are closely related to the invariance by translation of the covariance functions, therefore they hold for all of them. We give the detailed statement and proof only for , the others being analogous.
Lemma 2.8
For each it holds
| 2.13 |
| 2.14 |
In particular
| 2.15 |
| 2.16 |
Proof
and by the chain rule. Then (2.13) and (2.14) follow from the definition of Setting in the right hand side of (2.13) (resp. (2.14)) we get immediately
The other results we need on the covariance functions are strongly related to the mirror symmetry property, therefore they hold true only for . We give the detailed statement and proof only for , the others being analogous.
Lemma 2.9
It holds
| 2.17 |
As a consequence, for each and it holds
| 2.18 |
Proof
Since by the mirror symmetry property of the covariance function (2.10), the function is even and smooth, then and (2.17) follows. In order to complete the proof, let us expand the left hand side of (2.18), obtaining by definition of the above
due to (2.17).
On the contrary, as discussed in [9], the asymptotic behaviour of plays a crucial role in order to understand the alpha-term of our model. Therefore, the last result we provide in this section is a convergence property of the matrix
| 2.19 |
and a uniform bound on .
Lemma 2.10
It holds
In particular
Proof
Thanks to (2.15) and Remark 2.7 it holds
| 2.20 |
Therefore we have
| 2.21 |
Due to (2.20), it holds
| 2.22 |
The function is smooth for , hence the Riemann sums satisfy
| 2.23 |
Since we have
| 2.24 |
Remark 2.11
We highlight that our noise is an adaptation of the one constructed in [9] for a 2D-3C model, where a certain helicity of the noise is imposed to achieve an alpha-term in the limit. In that work the authors constructed a random field based on the notion of a ‘cylinder of vorticity’. A cylinder of vorticity is for them a special 3D vector field V(x) on that is decomposed as , an horizontal component corresponding ideally to a point vortex, and a vertical component, with the property that is an odd function of x, while is even. By randomizing the position of this cylinder, they were able to use the covariance matrix of the field to define a Brownian motion. While we could not give the same description here, since we needed to express the noise in the Fourier basis to exploit crucial simplifications (cf. Remark 2.4), our noise retains all the properties of the one introduced in [9]. In particular, by splitting our noise as , where the first part comprises all the wavenumbers with , and recalling the further orthogonal decomposition , we see that this part of the noise corresponds exactly to theirs. Indeed, in order to have a nonzero ‘off diagonal’ term in the covariance, we had to introduce a correlation between the horizontal and the vertical component, which was inherent in the structure of the cylinder, and breaks mirror symmetry for the horizontal component. In particular, due to the special choice of the coefficients we made, is an odd function of x, while is even, exactly like in the cylinder case of [9]. Finally, it is easy to check that our main assumption on the decay of the noise coefficients (, cf. Hypothesis 2.6) is equivalent to the main assumption of [9], that is, a uniform control on the second derivatives of the covariance matrix, see [9, Hypothesis 3.3]. In Appendix B we compute the mean helicity of our noise and stress its relation with the strength of the alpha-term in the limit PDE.
Main results
Fix . Following the ideas introduced in Section 1, due to our choice of as detailed in subsection 2.3, we are interested in studying the properties of the following stochastic model on :
| 2.25 |
We recall that the term above is the Lie derivative of with respect to introduced in (2.1). In order to study (2.25), we start rewriting it in Itô form. First, let us observe that for each we have due to the linearity of
Therefore the equation for can be rewritten as
We are left to study . Its analysis exploits strongly the properties of the covariance function of our noise, i.e. translation invariance and (almost) mirror symmetry and it is contained in the following Lemma. Even if its proof is quite standard, see [12, Section 3.4.1] we prefer to include it in Appendix A for the convenience of the reader.
Lemma 2.12
If is a smooth, zero mean divergence free vector field, then it holds
where in the formula above we denoted by the differential operator
and by the differential operator
Thanks to Lemma 2.12, equation (2.25) can be interpreted in Itô form as:
| 2.26 |
We give now the definition of weak solution for the Stochastic equation of the magnetic field (2.26).
Definition 2.13
A stochastic process
is a weak solution of equation (2.26) if, for every , we have
| 2.27 |
for every
Due to the fact that equation (2.26) is linear, the existence and uniqueness of solutions in the sense of Definition 2.13 is a standard fact which follows by the abstract theory of [5, Chapters 3-5], see also [11, Section 3.1]. Indeed the following holds.
Theorem 2.14
For each there exists a unique weak solution of system (2.26) in the sense of Definition 2.13.
We are now ready to introduce the mean and the fluctuation in the third component of the process which are the main objects of our analysis. Therefore, let
More generally, in order to simplify the notation, in the following we will denote the projection operator (resp. ) by (resp. ) forgetting the dependence on . Thanks to Theorem 2.14 and the fact that and are projection operator and commute with the operator , see Lemma 2.3, we have in particular that
For each , considering and as test function in (2.27) we obtain that and are weak solutions of the following SPDEs:
| 2.28 |
| 2.29 |
in a sense completely analogous to Definition 2.13, namely testing the equations with vector fields . As discussed in Section 1, we study the convergence of in the simultaneous scaling limit of both separation of scales, i.e. considering a noise which concentrates on smaller and smaller scales as described in subsection 2.3, and of the width of our thin layer, namely considering as discussed in [24, 25, 28]. In order to do so, we need to introduce some few objects: we denote by
Thanks to the regularity properties of the Biot-Savart operator, see Subsubsection 2.2.1, we have that
moreover
Lastly we introduce our limit objects. Following the idea first introduced in [14], we expect that our limit objects satisfy a PDE with an additional second order operator with intensity related to
Besides to the fact that the limit above is 0, in the simultaneous separation of scale, thin layer limit, according to the discussion in subsection 2.3, the final deterministic objects keep memory of the operators defined above. Indeed, denoting by the unique weak solutions of the following linear 2D PDEs
| 2.30 |
| 2.31 |
where and
our main result reads as follows:
Theorem 2.15
Assuming Hypothesis 2.6 and
| 2.32 |
| 2.33 |
there exists large enough such that for each , for each we have
| 2.34 |
| 2.35 |
The hidden constants in (2.34), (2.35) depend on , T, , , . In particular
Remark 2.16
The explicit dependence of the hidden constants in (2.34), (2.35) in terms of and can be found in Section 4, see Subsection 4.5 and Subsection 4.6.
Remark 2.17
Our assumption (2.32) is for example satisfied if can be decomposed as
where, calling , we have
Remark 2.18
Assuming , simple energy estimates applied to equation (2.30) imply
Consequently energy estimates applied to equation (2.31) imply by Young’s inequality
for some constant C depending on the parameters of the model. Therefore Grönwall’s inequality implies
In conclusion, calling , the full magnetic field associated to the limit mean field model, decays exponentially, i.e.
In this sense our main result, Theorem 2.15, corresponds to a result of no-dynamo.
Remark 2.19
Due to Hypothesis 2.6, cannot be arbitrarily large in our model. Indeed the following holds
Remark 2.20
Contrary to other results related to ours, see [7, 9, 10, 14, 28], we do not argue by compactness but we provide a quantitative result in the original probability space. Besides the fact that this makes the result stronger, we are forced to argue in this way. Indeed, we can obtain uniform estimates in a common topology only for exploiting the fact that they are independent of the third variable and we can see them as functions from to . This seems not possible for quantities related to . Due to the lack of compactness for quantities related to , we cannot find by Skorokhod’s representation theorem an auxiliary probability space where either (2.28), (2.29) hold and converge a.s. to some limit objects. Therefore we cannot pass to the limit in equation (2.28) showing that the limit objects satisfy (2.30), (2.31).
Strategy of the proof
The proof of Theorem 2.15 relies on rewriting in mild form , see Lemma 4.1, showing, in a quantitative way, that the stochastic convolutions approach 0 when considering negative Sobolev norms in and having a good control on the pieces associated to the alpha-term in (2.28), (2.31). This is the object of Corollary 4.4, Subsection 4.5 and Subsection 4.6. These results (and actually also stronger ones) would be easily true if the following holds: If , then also
| 2.36 |
Unfortunately, due to the stochastic stretching terms, equation (2.36) seems completely out of reach if one is interested in having a non-trivial operator in the limit , see [8, Appendix 2]. Even if the operator and the correlation between the components of the noise makes system (2.26) more complicated, they do not increase the difficulties in order to obtain (2.36). We rely on the following idea, which we inherited by [25, 28]: since the equation for is a perturbation of a 2D-3C system, we can work, as in [9], considering differently the horizontal and the vertical component of the magnetic field . Since the third component corresponds, in a vague sense, to the unique non null component associated to the of a 2D divergence free vector field, according to [7, 6, 10], we expect that, if we were able to control the perturbation with respect to the 2D-3C model, it behaves well in terms of (2.36), see [9]. This is not true when considering . Indeed, having a good control on the stochastic stretching terms appearing in the equation of is as difficult as proving (2.36) and keeping a non-trivial operator in the limit due to the fact that, without exploiting some geometric features of the model, the term
| 2.37 |
appearing in the energy estimates, seems to blow-up. The idea is, therefore, of considering the potential field associated to . Thanks to (2.2), and, formally, due to Proposition 3.2 below, it solves
Notice that, due to Remark A.1, is a vector having the first two components null, therefore it does not affect the equation for . Now, the bad stretching term (2.37) has disappeared at this level of regularity, and to show that behaves well in term of (2.36) we are left to analyse this perturbation of the 2D-3C model. In order to show that the equations for are just a regular perturbation of the 2D-3C model we need either some smallness assumptions on the coefficient in term of the derivative of the covariance function associated to the noise, see subsection 2.3, and some bounds on . Also in this case, the analysis of is relatively easy thanks to our assumptions on the noise which allow us to control the stochastic stretching terms, see subsection 2.3. Lastly we need a good control on . This term seems again critical for what concerns the stochastic stretching, indeed a term of the form
| 2.38 |
appears when computing energy estimates. Besides its form analogous to (2.37), the term (2.38) needs a different treatment than the others. For this term, we are able to exploit the special geometry of the thin layer, namely the Poincaré inequality (2.6) (with constant ) holds when considering , counterbalancing the gradients of the coefficients. Indeed, applying Hölder’s inequality to relation (2.38), the explosive behaviour of is absorbed thanks to (2.6) and we obtain
We refer to the analysis of in Lemma 3.3 below for details. Since we already have good estimates on and Hypothesis 2.6 holds, (2.38) can be absorbed thanks to the dissipation properties of (2.29) obtaining a good control on the stochastic stretching term. Unfortunately this is not enough: energy estimates for involves also terms related to which are out of reach as discussed before. For this reason, we replace the analysis of with that of a different term, involving at most and , when computing its energy estimates. This term, combined with , must be strong enough to ensure that and are close to satisfying the 2D-3C model. The appropriate choice for our purposes is . The stochastic stretching term appearing in this case is not identically zero as for , but can be treated as for (2.38).
Compared to [9], the equations appearing in our system are more complicated since, even if linear, none of them is closed and they are interconnected in a not trivial way when computing a priori estimates. This is only partially due to the presence of the operator and the correlation between the components of the noise . We hope that this subsection could help the reader in order to understand the reasons behind the long computations of Section 3 and the heuristics for Theorem 2.15.
A priori estimates
Recalling that
since is independent of the third variable we have
The goal of Corollary 3.6 is to prove some bounds uniform in for quantities related to in a common topology independent of . In order to do so, we start obtaining in Lemma 3.3 and Lemma 3.4 some pathwise estimates for quantities related to and . Thanks to these we are able to gain in Proposition 3.5 some intermediate a priori bounds in topologies depending on . These results will imply Corollary 3.6.
As discussed in Section 2.5 we will work with the potential fields associated to and at a certain point. In order to do so we employ the following classical relations:
Proposition 3.1
Let . Then
| 3.1 |
In particular if either X and Y are independent of the third variable, it holds
| 3.2 |
Proposition 3.2
Let a smooth, zero mean, divergence free vector field, . Then
| 3.3 |
Moreover it holds
| 3.4 |
In particular if both X and Y are independent of the third variable, it holds
| 3.5 |
where we denoted by the third component of .
Now we have all the elements to provide the necessary a priori estimates.
Lemma 3.3
Assuming Hypothesis 2.6, for each we have
| 3.6 |
| 3.7 |
Proof
Since by Proposition 3.1 it holds
| 3.8 |
we apply Itô formula to
obtaining
where we denote by
In order to study the terms involved in previous relation we recall that by Proposition 3.2
and analogously for the others. First we start rewriting the martingale term. By previous relation, exploiting the fact that if f is a divergence free vector field and derivatives and the operator commute in the periodic framework we get
| 3.9 |
Now we can analyse the terms . First we observe that due to the fact that derivatives and the operator commute in the periodic framework we easily obtain
| 3.10 |
Exploiting the fact that if f is a divergence free vector field we get
where in the last step we exploited (2.18). By Hölder’s inequality and Poincaré inequality (2.6) the last term in the relation above can be estimated by
Therefore
| 3.11 |
Analogously we can show that
| 3.12 |
The analysis of is similar recalling that by Lemma 2.3 the operator and the commute. Therefore we have, arguing as above,
In the last step we simply neglected the negative term and exploited (2.18). Arguing as when treating , we can show by Hölder’s and Poincaré inequality in the thin layer (2.6) that
In particular, it holds
| 3.13 |
For what concerns , applying Cauchy-Schwarz and Young’s inequalities we get
Let us analyse the last term. It holds
In conclusion it holds
| 3.14 |
Lastly we consider : can be estimated easily due to Lemma 2.10 and (3.1), obtaining by Cauchy-Schwarz inequality
The other terms can be treated easily by Cauchy-Schwartz inequality and Proposition 3.2. Indeed for each and such that we have
So far, arguing when treating , we proved that for each
| 3.15 |
Let us analyse and . We have
and analogously
In conclusion, applying Poincaré inequality (2.6) to (3.15), it holds
| 3.16 |
Combining (3.9), (3.10), (3.11), (3.12), (3.13), (3.14), (3.16) we get relation (3.6).
Now we move on to the analysis of which is similar, actually easier, than the previous one. Indeed, by Itô formula it holds:
where we denote by
Since the are divergence free, the martingale term is equal to
| 3.17 |
The analysis of is similar to the corresponding terms when estimating and is based on the fact that the mixed products in each inner product are equal to 0 thanks to (2.18). In order to treat let us preliminarily observe that if , then if and only if . Therefore we get
| 3.18 |
exploiting relation (3.1) in the last equality. The analysis of is analogous to that of and lead us to
| 3.19 |
For what concerns , exploiting the fact that is a projection on we get easily
Let us analyse the second term in the last sum. We have by Hölder’s inequality and exploiting our definition of the
In conclusion we get
| 3.20 |
Exploiting the fact that for each we have we get . Indeed, thanks to the mirror symmetry property of the covariance function (2.18) and the definition of the we have
Lastly let us treat : the term can be estimated easily due to Lemma 2.10 and (3.1) getting by Cauchy-Schwarz inequality
The other terms can be treated easily by Cauchy-Schwartz inequality obtaining for each and such that
So far, arguing when treating , we proved that for each
| 3.21 |
Let us analyse and . Arguing when treating we have
In conclusion, applying Young’s inequality to the first term in (3.21), it holds
| 3.22 |
Combining (3.17), (3.18), (3.19), (3.20), (3.22), relation (3.7) follows.
Lemma 3.4
Assuming Hypothesis 2.6, for each we have
| 3.23 |
| 3.24 |
Proof
First let us observe that thanks to (2.2) and Proposition 3.1
| 3.25 |
Thus we apply Itô formula to obtaining due to Remark A.1
where we denote by
Arguing analogously to the first part of Lemma 3.3 we can treat all the terms above. Thanks to (3.4) and (3.5) it holds
| 3.26 |
| 3.27 |
In particular, considering the mean on the third direction of , we have
| 3.28 |
Exploiting these relations we can obtain the required estimates. Let us start analysing .
| 3.29 |
Moving to we get easily, integrating by parts, that it holds
| 3.30 |
Concerning we obtain by (3.26)
| 3.31 |
Thanks to (3.28) and computations analogous to the ones of Lemma 3.3, we can treat obtaining
| 3.32 |
Lastly thanks to Proposition 3.2. Indeed for each such that it holds
Relation (3.23) then follows combining (3.29), (3.30), (3.31) and (3.32).
Now we move to the analysis of which is similar and easier to the previous one. First by Itô formula we have
where we denote by
Analogously to the second part of Lemma 3.3 we can treat all the terms above. Let us start with . Since the are divergence free we get immediately
| 3.33 |
Thanks to (2.18) we get easily by Hölder’s inequality
| 3.34 |
We rewrite as
| 3.35 |
Lastly let us treat : the term can be estimated easily due to Lemma 2.10 and (3.2) obtaining by Cauchy-Schwarz inequality
The other terms can be treated easily by Cauchy-Schwartz inequality. Indeed, for each and such that it holds
In conclusion arguing as when treating , so far, we have proved that for each
| 3.36 |
Let us analyse . Arguing as in the second part of Lemma 3.3 we have
In conclusion, applying Young’s inequality to the first term of (3.36), it holds
| 3.37 |
Combining (3.33), (3.34), (3.35) and (3.37) we get relation (3.24).
Lemma 3.3 and Lemma 3.4 imply the following version of (2.36):
Proposition 3.5
Assuming Hypothesis 2.6, for large enough
| 3.38 |
| 3.39 |
| 3.40 |
| 3.41 |
The hidden constants above all depend only on .
Proof
In order to simplify the notation, we will denote by several constants depending on , , , , , , , T, possibly changing their values line by line but independent of N in this proof. Let us introduce a new parameter such that
Recalling the discussion at the beginning of Section 3, it is easy to show that for each the stochastic integrals appearing in (3.6), (3.7), (3.23), (3.24) are true martingales. Let us start considering the expected value of (3.6). We get for each
Therefore, if we choose large enough, there exists such that for each it holds
| 3.42 |
and we get
| 3.43 |
Now we take the expected value of (3.23) at time obtaining by Poincaré inequality (2.6)
Plugging (3.43) in the relation above we get
| 3.44 |
In order to simplify the expression above, let us observe that since is independent of the third component, Poincaré inequality with constant equal to 1 holds. Therefore we have
| 3.45 |
Secondly, thanks to Proposition 3.1 it holds
| 3.46 |
| 3.47 |
Combining (3.45) and (3.46) in relation (3.44) we get
Therefore, choosing large enough such that for each it holds
we get
| 3.48 |
Now we consider the expected value of (3.7):
| 3.49 |
Considering large enough, we can find such that for each it holds
Therefore (3.49) reduces to
Combining (3.43) and the relation above we get
| 3.50 |
Combining (3.50), (3.45), (3.46) and (3.47) we obtain
| 3.51 |
Therefore, thanks to (3.48) we get
| 3.52 |
Lastly we take the expected value of (3.24) obtaining
| 3.53 |
Considering large enough we can find such that for each it holds
Therefore (3.53) reduces to
Combining relations (3.48) and (3.52) in the formula above we obtain
Choosing large enough such that for each it holds
Analogously, the term which multiplies and the initial conditions can be bounded uniformly in N depending only on . Therefore previous expression simplifies and becomes, due to Lemma 2.3,
| 3.54 |
Applying Grownall Lemma to (3.54) we obtain that for each it holds
| 3.55 |
Exploiting the estimates implied by (3.55) in (3.48) and (3.52), we get
| 3.56 |
| 3.57 |
Combining (3.46), (3.47), (3.55) and (3.56) we get
| 3.58 |
We omit the easy details in order to obtain (3.56), (3.57) and (3.58). Having already shown (3.55), (3.56), (3.57), (3.58), in order to conclude the proof we need only to put the supremum in time inside the expected value. Since this is a standard procedure we do it only , the other being analogous. Considering the expected value of the supremum in time of (3.6) for we obtain, thanks to (3.55) and (3.56)
| 3.59 |
being defined in the first part of Lemma 3.3. Therefore we are left to analyse which can be treated by Burkholder-Davis-Gundy inequality, Hölder’s and Young’s inequalities obtaining
| 3.60 |
where in the last step we combine the computations in order to obtain (3.11), (3.12), (3.13) and the bounds (3.55), (3.56), (3.58). Combining relations (3.59) and (3.60), the a priori bound (3.40) follows.
Corollary 3.6
Assuming Hypothesis 2.6 and there exists such that for each it holds
| 3.61 |
then there exists large enough such that for each we have
| 3.62 |
where the hidden constants depend only on
Proof
The thesis follows immediately combining Proposition 3.5 and assumption (3.61).
Proof of Theorem 2.15
Let and let us introduce the following notation
The stochastic integrals above are well defined thanks to the regularity properties of and the summability properties of the coefficients in Hypothesis 2.6. The first step in order to prove Theorem 2.15 is to rewrite and in mild form. Indeed, recalling the definition of , see (2.19), the following lemma holds true:
Lemma 4.1
The following mild formulas hold true
| 4.1 |
| 4.2 |
Proof
Let us take as test function for (2.28) obtaining, since all the functions appearing in the integrals are independent of , that it holds
| 4.3 |
Recalling that, by (2.2) and Proposition 3.2, it holds
looking at the horizontal component, we have in particular
| 4.4 |
| 4.5 |
| 4.6 |
Now both an are zero mean. Substituting (4.4), (4.5), (4.6) in (4.3) and integrating by parts we obtain
Therefore, applying Itô formula to we have
| 4.7 |
We can find of full probability such that the above equality holds for all and all . But this is exactly (4.1) written in Fourier modes.
Let us consider for as test function in for (2.28) obtaining, since all the functions appearing in the integrals are independent of , that it holds
Therefore, applying Itô formula to we obtain
| 4.8 |
We can then find of full probability such that the above equality holds for all and all . But this is exactly (4.2) written in Fourier modes.
Secondly we need to study some properties of the stochastic convolutions . Lemma 4.2 and Lemma 4.3 below are analogous to [6, Lemma 2.5] in our framework. In particular it is important to point out that [6, Assumption 2.4] is false in our case and we have to deal also with the stochastic stretching, which was neglected in previous results.
Lemma 4.2
For each and large enough such that Proposition 3.5 holds, then
| 4.9 |
| 4.10 |
The hidden constants in the inequality above depend only on .
Proof
By Burkholder-Davis-Gundy inequality and Lemma 2.1 we have for each
| 4.11 |
Now let us estimate . First we have by Hölder’s inequality since the are divergence free
| 4.12 |
where in the last step we exploit (3.39) and (3.41). For what concerns the other two terms, noting that if then if and only if , thanks to Hölder’s inequality and (3.38), (3.40) we get
| 4.13 |
Combining (4.11), (4.12), (4.13) relation (4.9) follows. The proof of (4.10) is similar and we omit the details.
Lemma 4.3
For each and large enough such that Proposition 3.5 holds, then
| 4.14 |
| 4.15 |
where the hidden constants depend only on .
Proof
By Burkholder-Davis-Gundy inequality and Lemma 2.1 we have for each
| 4.16 |
The term can be simply treated as in the proof of Lemma 4.2 obtaining
| 4.17 |
Let us consider now the others which are the more difficult ones. We will use in the following, even if not specified later, that all the vector fields considered are divergence free, moreover for we if and only if and if and only if . Let us start considering obtaining, thanks to the definition of Sobolev norms in the two dimensional torus
| 4.18 |
where in the last step we exploited (3.39). Let us consider obtaining, thanks to (3.25)
| 4.19 |
where in the last step we exploited (3.38). Lastly we treat , obtaining thanks to (3.8) and the fact that and commute
| 4.20 |
Relation (4.14) follows combining (4.16), (4.17), (4.18), (4.19), (4.20). The proof of (4.15) is similar and we omit the details.
Corollary 4.4
For each and it holds
The hidden constants in the inequality above depend only on .
Moreover, we recall that by classical theory of evolution equations, see for example [18], or arguing as in Lemma 4.1, the unique weak solutions of (2.31), (2.30) can be written in mild form as
Now we introduce some intermediate functions between and . Let the unique weak solutions of the linear systems
| 4.21 |
| 4.22 |
Again, by classical theory of evolution equations, see for example [18], or arguing as in Lemma 4.1, the unique weak solutions of (4.21), (4.22) can be written in mild form as
Now we prove that and are close.
Lemma 4.5
Under the same assumptions of Theorem 2.15, for each we have
| 4.23 |
| 4.24 |
Proof
First let us observe that by assumptions
we have in particular that the families are bounded. Therefore
| 4.25 |
Moreover, since by Lemma 2.10 we have also
| 4.26 |
Lastly, by simple energy estimates on (4.21) we have for each
| 4.27 |
The convergence of to then follows by triangle inequality, Lemma 2.1 and (4.25). Indeed for each it holds
Thanks to (4.23) we can obtain also (4.24). Indeed thanks to triangle inequality for each we have
can be treated as above obtaining:
| 4.28 |
Thanks to Lemma 2.1, (4.26) and (4.27) it holds
| 4.29 |
Due to Lemma 2.1 and (4.27) we can treat obtaining:
| 4.30 |
In particular, combining (4.30) and Lemma 2.10 we have that
| 4.31 |
Lastly we treat combining Lemma 2.1 and (4.23):
| 4.32 |
Combining (4.28),(4.29),(4.31),(4.32) we get the claim.
Secondly we provide a quantitative result on the closeness of and
Lemma 4.6
Under the same assumptions of Theorem 2.15, there exists large enough such that for each , for each we have
| 4.33 |
| 4.34 |
where the hidden constants depend only on .
Proof
From Lemma 4.1, we already know that and can be rewritten in mild form as
Therefore denoting by
we have
Due to Corollary 4.4 we immediately obtain (4.33). Now we move to the analysis of . can be treated easily by Corollary 4.4 obtaining
| 4.35 |
To treat the deterministic convolution, we first argue by interpolation obtaining thanks to Lemma 2.1, (4.26)
| 4.36 |
Combining (4.36) and (4.33), (), (4.27) we obtain an estimate of the deterministic convolution. Indeed, by Hölder’s inequality, for each it holds:
| 4.37 |
Combining (4.35) and (4.37) the claim follows.
Now we are ready to prove Theorem 2.15.
Proof of Theorem 2.15
Recalling that, due to the properties of Riemann sums,
then the claim follows immediately by triangle inequality combining Subsection 4.5 and Subsection 4.6.
Acknowledgements
We thank Professor Dejun Luo for useful discussions and valuable insights into the subject.
Proof of Lemma 2.12
We start showing that
First let us observe that it holds
where we denoted by
Therefore, it is enough to show that
| A.1 |
First we observe that
Therefore
| A.2 |
is easily 0 due to (2.17). In order to show that , we observe that, recalling the definition of and expanding the sum, it holds for each
| A.3 |
Let us show that for each it holds . Due to the fact that are divergence free, we have
| A.4 |
Our claim (A.1) then follows combining (A.2), (A.3), (A.4).
Now let us prove that
First let us observe that it holds
where we denoted by
Since , we are left to show that
| A.5 |
First we observe that
Therefore
| A.6 |
arguing as above when showing that We have for each k such that
| A.7 |
due to our choice of the . Therefore
Since, due to (2.15), we have for each
it follows that
| A.8 |
Relation (A.5) is a consequence of (A.6), (A.7), (A.8).
Remark A.1
Due to Lemma 2.12, recalling the definition of in (2.19), it follows that if we have
More generally if we have
Some physical remarks
In this section we discuss some physical properties of our random vector field connected with the appearance of the alpha-term, in particular we show that the helicity of our vector field approach a constant value in the limit, despite the noise is weakly converging to zero. Let us compute the time average of the helicity of our random velocity field (in the following we will omit the dependence on time and space)
As before we split our noise in mean and fluctuations along the thin direction , and split the mean part in horizontal and vertical components . Observe that
where with a small abuse of notation we have indicated with the scalar quantity
Notice that the mixed terms are zero by the independence of the Brownian motions, thus we are left with the first two terms, and the last one. We start by the first two, we have, by our choices of the noise coefficients,
Taking the expected value and remembering that we get
Analogously, we have
This implies
Finally for the last term
Taking expectation, we see that only the terms with and survive but then, . In the end does not vanish in the limit if and only if . Indeed, we have
| B.1 |
Due to (B.1) it follows that
| B.2 |
Finally, due to (B.2), denoting by
our limit equations (2.30), (2.31) read as
| B.3 |
Author Contributions
All authors contributed to the study conception and design. All authors read and approved the final manuscript.
Funding
Open access funding provided by Scuola Normale Superiore within the CRUI-CARE Agreement. The research of the second author is funded by the European Union (ERC, NoisyFluid, No. 101053472). The third author has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No. 949981). Views and opinions expressed are however those of the authors only and do not necessarily reflect those of the European Union or the European Research Council. Neither the European Union nor the granting authority can be held responsible for them.
Data Availability
No datasets were generated or analysed during the current study.
Declarations
Competing interests
The authors declare no competing interests.
Footnotes
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
References
- 1.Brandenburg, A., Ntormousi, E.: Galactic Dynamos. Ann. Rev. Astron. Astrophys. 61(1), 561–606 (2023). arXiv:2211.03476 [astro-ph] [Google Scholar]
- 2.Butori, F., Luongo, E.: Mean-Field Magnetohydrodynamics Models as Scaling Limits of Stochastic Induction Equations, June 2025. arXiv:2406.07206 [math]
- 3.Carigi, G., Luongo, E.: Dissipation properties of transport noise in the two-layer quasi-geostrophic model. J. Math. Fluid Mech. 25(2), 28 (2023) [Google Scholar]
- 4.Childress, S., Gilbert, A.D.: Stretch, Twist. Springer, Fold (1995) [Google Scholar]
- 5.Flandoli, F.: Regularity theory and stochastic flows for parabolic SPDEs. Stochastics Monographs, vol. 9. Gordon and Breach Science Publishers, Yverdon (1995)
- 6.Flandoli, F., Galeati, L., Luo, D.: Quantitative convergence rates for scaling limit of spdes with transport noise. arXiv preprint arXiv:2104.01740, (2021)
- 7.Flandoli, F., Galeati, L., Luo, D.: Scaling limit of stochastic 2D Euler equations with transport noises to the deterministic Navier-Stokes equations. J. Evol. Equ. 21(1), 567–600 (2021) [Google Scholar]
- 8.Flandoli, F., Luo, D.: High mode transport noise improves vorticity blow-up control in 3D Navier-Stokes equations. Probab. Theory Related Fields 180(1–2), 309–363 (2021) [Google Scholar]
- 9.Flandoli, F., Luo, D.: On the Boussinesq hypothesis for a stochastic Proudman-Taylor model. to appear on SIAM J. Math. Anal., (2023)
- 10.Flandoli, F., Luo, D., Luongo, E.: 2d Smagorinsky type large eddy models as limits of stochastic PDEs. arXiv preprint arXiv:2302.13614, (2023)
- 11.Flandoli, F., Luongo, E.: Heat diffusion in a channel under white noise modeling of turbulence. Mathematics in Engineering 4(4), 1–21 (2022) [Google Scholar]
- 12.Flandoli, F., Luongo, E.: Stochastic partial differential equations in fluid mechanics. Lecture Notes in Mathematics, vol. 2330. Springer, Singapore (2023)
- 13.Flandoli, F., Russo, E.: Reduced dissipation effect in stochastic transport by Gaussian noise with regularity greater than 1/2. arXiv preprint arXiv:2305.19293, (2023)
- 14.Galeati, L.: On the convergence of stochastic transport equations to a deterministic parabolic one. Stochastics and Partial Differential Equations: Analysis and Computations 8(4), 833–868 (2020) [DOI] [PMC free article] [PubMed] [Google Scholar]
- 15.Gilbert, A.D.: Dynamo theory. In Handbook of mathematical fluid dynamics, volume 2, pages 355–441. Elsevier, (2003)
- 16.Komorowski, T., Landim, C., Olla, S.: Fluctuations in Markov processes: time symmetry and martingale approximation, volume 345. Springer Science & Business Media, (2012)
- 17.Krause, F., Rädler, K.-H.: Mean-field magnetohydrodynamics and dynamo theory. Elsevier, (2016)
- 18.Lunardi, A.: Analytic semigroups and optimal regularity in parabolic problems. Modern Birkhäuser Classics. Birkhäuser/Springer Basel AG, Basel, 1995. [2013 reprint of the 1995 original] [MR1329547]
- 19.Majda, A.J., Kramer, P.R.: Simplified models for turbulent diffusion: theory, numerical modelling, and physical phenomena. Physics reports, 314(4-5):237–574, (1999)
- 20.Marchioro, C., Pulvirenti, M.: Mathematical theory of incompressible nonviscous fluids. Applied Mathematical Sciences, vol. 96. Springer-Verlag, New York (1994)
- 21.Moffatt, H.K.: Magnetic field generation in electrically conducting fluids. Cambridge University Press, Cambridge, London, New York, Melbourne, 2:5–1, (1978)
- 22.Parker, E.N.: Hydromagnetic dynamo models. Astrophys. J. 122, 293 (1955) [Google Scholar]
- 23.Pazy, A.: Semigroups of linear operators and applications to partial differential equations, vol. 44. Springer Science & Business Media (2012)
- 24.Raugel, G., Sell, G. R.: Navier-Stokes equations on thin d domains. II. Global regularity of spatially periodic solutions. In Nonlinear partial differential equations and their applications. Collège de France Seminar, Vol. XI (Paris, 1989–1991), volume 299 of Pitman Res. Notes Math. Ser., pages 205–247. Longman Sci. Tech., Harlow, 1994
- 25.Raugel, G., Sell, G.R.: Navier-Stokes equations on thin d domains. I. Global attractors and global regularity of solutions. J. Amer. Math. Soc. 6(3), 503–568 (1993) [Google Scholar]
- 26.Roberts, G. O.: Spatially periodic dynamos. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, July 1970. Publisher: The Royal Society London
- 27.Rowan, K.: A subsequentially fast dynamo on , May 2025. arXiv:2505.23936 [math]
- 28.Temam, R., Ziane, M.: Navier-Stokes equations in three-dimensional thin domains with various boundary conditions. Adv. Differential Equations 1(4), 499–546 (1996) [Google Scholar]
- 29.Temam, R.: Navier-Stokes equations and nonlinear functional analysis. SIAM (1995)
- 30.Temam, R.: Navier-Stokes equations: theory and numerical analysis, vol. 343. American Mathematical Soc (2001)
- 31.Triebel, H.: Theory of Function Spaces. Birkhäuser Verlag, Basel (1983) [Google Scholar]
- 32.Triebel, H.: Interpolation Theory, Function Spaces, Differential Operators, 2nd edn. Johann Ambrosius Barth Verlag, Leipzig (1995) [Google Scholar]
- 33.Zelati, M.C., Navarro-Fernández, V.: Three-dimensional exponential mixing and ideal kinematic dynamo with randomized ABC flows, July 2024. arXiv:2407.18028 [math] [DOI] [PMC free article] [PubMed]
- 34.Zelati, M.C., Sorella, M., Villringer, D.: Alpha-unstable flows and the fast dynamo problem, April 2025. arXiv:2504.00855 [math]
- 35.Zheligovsky, V.: Large-Scale Perturbations of Magnetohydrodynamic Regimes: Linear and Weakly Nonlinear Stability Theory. Lecture Notes in Physics, vol. 829. Springer, Berlin Heidelberg, Berlin, Heidelberg (2011)
Associated Data
This section collects any data citations, data availability statements, or supplementary materials included in this article.
Data Availability Statement
No datasets were generated or analysed during the current study.
