Skip to main content
Springer logoLink to Springer
. 2026 May 29;14(4):2585–2658. doi: 10.1007/s40072-026-00427-x

On the Itô-Stratonovich diffusion limit for the magnetic field in a 3D thin domain

Federico Butori 1,✉, Franco Flandoli 1, Eliseo Luongo 2
PMCID: PMC13668917  PMID: 42889301

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 L2 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 Btε=Btεx∈R3, x∈Tε3=T2×R/(2επZ) (a model of thin domain), t∈0,T, of advection type, loosely written as (see the rigorous formulation in Subsection 2.4 below)

∂tBtε=ηΔBtε+∇×vtε×BtεdivBtε=0Btε|t=0=B0ε 1.1

where vtε=vtεx∈R3 is a white noise in time, with suitable space covariance structure, described in detail in subsection 2.3. The multiplications vtε·∇Btε and Btε·∇vtε appearing in the development of the term ∇×vtε×Btε are understood in Stratonovich sense.

Our main contribution is proving that the vertical average of the magnetic field, Btε¯=12πε∫02πεBtε(x1,x2,x3)dx3, converges in a suitable distributional topology to the solution B¯t of the system

∂tB¯t=η+ηTΔB¯t+∇×AB¯tdivB¯t=0B¯t|t=0=B¯0 1.2

where B¯0 is the limit of 12πε∫02πεB0ε(x1,x2,x3)dx3. Here ηT is an “eddy magnetic diffusivity”, linked to the space-covariance of vtεx; the additional term ηTΔB¯t 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). A is a matrix linked to the mean helicity of the noise; the term ∇×AB¯t 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 Lvε·:=∇×(vε×·). We refer to Section 2.4 for the detailed computations and simply denote by Dε 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 ε→0. In particular, it can be chosen so that

Dε·→ηTΔ·+∇(A×·)asε→0,

cf. (1.2). Owing to the linearity of the equation, this easily yields

EBtε¯→B¯tasε→0.

However, the convergence Btε¯→B¯t 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 Btε¯. 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 Btε·∇vtε, which has increasingly strong effects as ε→0. This behaviour is caused by the assumptions on vε 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 Btε is a classical model for a magnetic field driven by a velocity field vtε, 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 Btε to a “mean field" equation like the one above for B¯t is a classical step in the Physics literature on this topic. The usual procedure consists in taking averages of Btε, getting a Reynolds type tensor which mixes bilinearly the randomness of Btε and vtε, and close the equation for the average, large scales components, of Btε 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 ∇×vtε×Btε 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 ε→0. 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 Btε advected by a turbulent velocity field vtε.

A comment about the physical meaning of our mean field equation is now in order.

The final mean field system for B¯t contains two new terms, the alpha and beta terms. Let us start from the beta term ηTΔB¯t. 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 vtε is mirror symmetric, the average helicity of vtε (defined in Appendix B below in the case of our white noise field vtε) is zero, which then implies that A=0, namely the alpha-term ∇×AB¯t is absent. In this case, the only mean-field effect of the turbulent field vtε is to produce the beta-term ηTΔB¯t, 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 ∇×AB¯t, 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 ∇×AB¯t, 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 A is degenerate and propagates only certain information of B¯t (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 B¯t. One is given by the turbulent velocity field vε, 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 vε, 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 (Bε)′=Bε-Bε¯ (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 L2 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 η=0 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 (η>0), in [34] using tools from perturbation theory, providing also the first rigorous example of a fast dynamo on R3, induced by an autonomous flow. We also mention the work [27], where the author proves existence of almost fast dynamos in T3 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, vtε, 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 Btε uniformly in the thickness of the domain, then we show the convergence of Btε¯ to B¯t 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 vtε, 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 T2=R2/(2πZ)2 (resp. T3=R2/(2πZ)3) the two (resp. three) dimensional torus. Moreover, for each ε>0 let us denote by

Tε3=T2×R/(2επZ)

the thin layer three dimensional torus. In Subsection 2.2 we focus on function spaces on periodic domains which we in general denote by D varying between T2,T3,Tε3.

Similarly we denote by Z03=Z3\{0} (resp. Z02=Z2\{0}) the three (resp. two) dimensional lattice made by points with integer coordinates. Moreover, for each ε>0 let us denote by

Z03,ε-1=Z2×ε-1Z\{0}

the thin layer three dimensional lattice. We introduce a partition of Z03,ε-1=Γ+ε∪Γ-ε such that

Γ+ε={k∈Z03,ε-1:k3>0∨(k3=0∧k2>0)∨(k3=k2=0∧k1>0)},Γ-ε=-Γ+ε.

If v=(v1,v2,v3)t:D→R3 we will sometimes denote by Dv=(∇v)t, vH=(v1,v2)t in the following.

For each j≥0,l>1 we denote by

ζH,jN=Nj-2∑kH∈Z02N≤|kH|≤2N1|kH|j,ζH,j=∫1≤|x|≤2dx1dx2|x|j=2πlog2ifj=2,22-j-12-jifj≠2,ζl=12∑k∈Z\{0}1|k|l<+∞.

In particular, by the approximation properties of Riemann sums, for each j≥0 it holds

ζH,jN=ζH,jN2-j+O(N1-j).

For two vector fields X and Y , we write LXY for the Lie derivative of Y with respect to X, i.e.

LXY=X·∇Y-Y·∇X. 2.1

We denote by {e1,e2,e3} the canonical basis of R3.

We denote by [M, N] the quadratic covariation process, which is defined for any couple M,N 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 a≲b if there exists a positive constant C such that a≤Cb and a≲ξb when we want to highlight the dependence of the constant C on a parameter ξ. If x∈C we denote by x∗ its complex conjugate. If X is a tensor we denote by XHS its Hilbert-Schmidt norm. Lastly, if x∈R2 we denote by x⊥=(-x2,x1)t.

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 Hs,p(D),·Hs,p(D),s∈R,p∈(1,+∞) be the Bessel spaces of periodic functions. In case of p=2, we simply write Hs(D) in place of Hs,2(D) and we denote by ⟨·,·⟩Hs(D) the corresponding scalar products. When dealing with functions having T2 as a domain we neglect the domain in the definition of norm and inner product, i.e. we write ·Hs,p in place of ·Hs,p(T2). In case of s=0, we write L2(D) instead of H0(D) and we neglect the subscript in the notation for the norm and the inner product when considering functions having T2 as a domain. Instead, in case of functions having Tε3 as a domain we write ·ε (resp. ⟨·,·⟩ε) in place of ·L2(Tε3) (resp. ⟨·,·⟩L2(Tε3)). For s>0, we denote the duality between H-s(D) and Hs(D) by ⟨·,·⟩L2(D).

We denote by H˙s,p(D) (resp. H˙s(D),L2˙(D)) the closed subspace of Hs,p(D) (resp. Hs(D),L2(D)) made by zero mean functions with norm induced by Hs,p(D) (resp. Hs(D),L2(D)). Where it creates no ambiguity, we denote the Laplacian with the same symbol, Δ, either when considering functions with domain T2,T3 or Tε3, i.e. we denote by

Δ:D(Δ)⊆L2˙(D)→L˙2(D),

where D(Δ)=H˙2(D). We follow the same notation when considering the orthogonal projection of L2(D) on L˙2(D), which we denote by Q:L2(D)→L˙2(D). The restriction (resp. extension) of Q to Hs(D) (resp. H-s(D)) for s>0 is the orthogonal projection on H˙s(D) (resp. H˙-s(D)). It is well known that Δ is the infinitesimal generator of analytic semigroup of negative type that we denote by etΔ:L˙2(D)→L˙2(D) and moreover for each α∈R, D((-Δ)α) can be identified with H˙2α(D). It is well known that the family {12π2πεeik·x}k∈Z03,ε-1 (resp. {eik·x2π}k∈Z02) is a complete orthogonal system of H˙s(Tε3) (resp. H˙s(T2)) made by eigenfunctions of -Δ. Moreover it is orthonormal in L˙2(Tε3) (resp. L˙2(T2)). We recall for the convenience of the reader some properties of the Heat Semigroup we will exploit in the following:

Lemma 2.1

Let q∈H˙α(D),α∈R. Then:

  • i)

    for any φ≥0, it holds ‖etΔq‖H˙α+φ≤Cφt-φ/2‖q‖H˙α for some constant increasing in φ;

  • ii)

    for any φ∈[0,2], it holds ‖I-etΔq‖H˙α-φ≲φtφ/2‖q‖H˙α.

Similarly, for d∈{2,3} we introduce the Bessel spaces of zero mean vector fields

Hs,p(D;Rd)={u=(u1,⋯,ud)t:u1,⋯,ud∈Hs,p(D)},⟨u,v⟩Hs(D;Rd)=∑j=1d⟨uj,vj⟩Hs,fors∈R.

Again, in case of s=0 we write L2(D;Rd) instead of H0(D;Rd) and we neglect the subscript in the notation for the norm and the scalar product. Similarly we denote by H˙s(D;Rd) (resp. L˙2(D;Rd)) the closed subspace of Hs(D;Rd) (resp. L2(D;Rd)) made by zero mean functions. In case of D=Tε3,d=3 we denote by Hεs (resp. Lε2) the closed subspace of Hs(Tε3;R3) (resp. L2(Tε3;R3)) made by zero mean, divergence free vector fields with norm induced by Hs(Tε3;R3) (resp. L2(Tε3;R3)). 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

(-Δ)αf=((-Δ)αf1,⋯,(-Δ)αfi)tforf∈H˙2α(D;Rd).

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

Pε:L˙2(Tε3;R3)→Lε2

the Leray projection which, in the periodic setting, is an orthogonal projection even when acting between H˙s(Tε3;R3) and Hεs.

If v∈Hεs there exists a unique vector field Kε[v] such that curlKε[v]=v,divKε[v]=0. Moreover the operator

Kε:Hεs→Hεs+1

is linear and continuous for each s∈R and is given by Kε[v]=(-Δ)-1curlv. In particular, if v:Tε3→R3,v=(v1,v2,v3)t, is independent of the third component, we have

Kε[v]=(-∇H⊥(-Δ)-1v3,(-Δ)-1∇H⊥·vH)t, 2.2

where we denoted by ∇H⊥=(-∂2,∂1).

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 ‖·‖Z. We denote by CF0,T;Z the space of weakly continuous adapted processes Xtt∈0,T with values in Z such that

E[supt∈0,TXtZ2]<∞

and by LFp0,T;Z,p∈[1,∞), the space of progressively measurable processes Xtt∈0,T with values in Z such that

E[∫0TXtZpdt]<∞.

Preliminaries on the thin layer

For our purposes, it is convenient to introduce the mean operator, Mε, and the fluctuations operator, Nε, 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 Mε:L˙2(Tε3)→L˙2(Tε3) the mean operator in the third variable, i.e.

Mεϕ(x1,x2)=12πε∫02πεϕ(x1,x2,x3)dx3.

Similarly Nε=I-Mε, therefore ∫02πεNεϕ(x1,x2,x3)dx3=0.

The operator Mε and Nε are projections either in L˙2(Tε3) and in H˙1(Tε3). More generally the following holds.

Lemma 2.3
  • i)
    The operators Mε,Nε are orthogonal projections in H˙s(Tε3) for each s∈R. In particular:
    MεNεf=NεMεf=0∀f∈H˙s(Tε3). 2.3
  • ii)

    Mε,Nε commute with derivative and fractional powers of the Laplacian. In particular, Mε,Nε commute with Kε.

  • iii)
    For each u,v,w:Tε3→R3 such that divu=divv=divw=0 and ⟨u·∇v,w⟩ε is well defined, then we have
    ⟨u·∇v,Mεw⟩ε=⟨Mεu·∇Mεv,Mεw⟩ε+⟨Nεu·∇Nεv,Mεw⟩ε. 2.4
    ⟨u·∇v,Nεw⟩ε=⟨Mεu·∇Nεv,Nεw⟩ε+⟨Nεu·∇Mεv,Nεw⟩ε+⟨Nεu·∇Nεv,Nεw⟩ε. 2.5
  • iv)
    For each f∈H˙1(Tε3) the following Poincaré inequality holds
    Nεvε≤ε∂3Nεvε. 2.6
Remark 2.4

In our periodic setting, the mean operator Mε preserves Fourier modes which are independent of the third variable. Instead, the fluctuations operator Nε preserves Fourier modes which depend on the third variable, i.e. if f∈H˙s(Tε3) then

Mεf=∑k∈Z03,ε-1k3=0⟨f,e-ik·x⟩εeik·x8πε,Nεf=∑k∈Z03,ε-1k3≠0⟨f,e-ik·x⟩εeik·x8πε.

Exploiting Fourier decomposition, one can easily prove that, more generally, if u,v,w:Tε3→R are regular enough such that uv∈Hs(T3),s∈R is well defined (e.g. s=0,u,v∈L˙4(Tε3)), then we have

Mε(Q[uv])=Q[MεuMεv]+MεQ[NεuNεv],Nε(Q[uv])=MεuNεv+NεuMεv+Nε(Q[NεuNεv]).

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 k∈Z03,ε-1,j∈{1,2} we denote by σk,jε(x)=θk,jεak,jeik·x, where {k|k|,ak,1,ak,2} is an orthonormal system of R3 for k3>0 and ak,j=a-k,j if k3<0, while the (complex) coefficients θk,jε will be fixed later. It is well known that the family {ak,j12π2πεeik·x},k∈Z03,ε-1,j∈{1,2} is a complete orthogonal system of Hεs made by eigenfunctions of -Δ. Moreover it is orthonormal in Lε2. Without loss of generality, we make a choice that will simplify some of the computations: when k3=0 we choose ak,1=(-k2/|k|,k1/|k|,0),ak,2=(0,0,1) if k∈Γ+ε, ak,j=a-k,j 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 ρ∈[-1,1]. Then assume Ω,F,Ft,P is a filtered probability space such that (Ω,F,P) is a complete probability space, (Ft)t∈[0,T] is a right continuous filtration and F0 contains every P null subset of Ω. Now, for each N∈N, {Wtk,j},k∈Z03,N,j∈{1,2} is a sequence of complex-valued Brownian motions adapted to Ft such that Wt-k,j=(Wtk,j)∗ and

EW1k,j,W1l,m∗=2ifk=l,m=j2ρifk=l,k3=0,m≠j;W·k,j,W·l,mt=2tifk=-l,m=j2ρtifk=-l,k3=0,m≠j.

With the notation above in mind, we introduce the random field

Wtε:=∑k∈Z03,ε-1j∈{1,2}σk,jεWtk,j,

with σk,jε=θk,jεak,jeik·x. We will formally consider vε=∂tWε in (1.1) and postpone to Section 2.4 for the rigorous definition of (1.1) for this choice of vε. 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 k3=0) of the random field. With our choices, to ensure that Wε takes values in a space of real valued functions, the coefficients must satisfy the condition

θk,jε∗=θ-k,jε. 2.7

Remark 2.5

The complex Brownian motions Wtk,j required can be constructed in the following way: let {Btk,j}k∈Z03,Nj∈{1,2} be a sequence of real, Brownian motions adapted to Ft such that

EBtk,jBsl,m=t∧sδj,mδk,l+ρδ|j-m|=1δk,lδk3,0

and then set

Wtk,j=Btk,j+iBt-k,jifk∈Γ+εBt-k,j-iBtk,jifk∈Γ-ε.

Finally, we make an explicit choice of the coefficients θk,jε appearing in the definition of our random velocity field Wtε:

θk,jε=1{N≤|kH|≤2N}iC1,H|k|ifk3=0,k∈Γ+ε,j=1-iC1,H|k|ifk3=0,k∈Γ-ε,j=11C2,H|k|γ/2ifk3=0,j=21CV|k|β/2ifk3≠0. 2.8

The parameters ε,N,C1,H,C2,H,CV,β,γ 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 2πε=2πN, i.e. ε=1N for N∈N.

  • The coefficients in (2.8) satisfy β≥4,γ≥4 and C1,H>ζH,0η,C2,H,CV>0.

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 (β,γ≥4) 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 θk,jε and the vectors ak,j it follows that for each k such that k3=0,N≤|k|≤2N

θk,1εak,1=iC1,Hk⊥|k|2,θk,2εak,2=1C2,He3|k|γ/2.

Therefore the 2D modes of our noise naturally split in horizontal and vertical components

Wε,H¯:=∑k∈Z03,Nk3=0,j=1σk,jεWk,jWε,3¯:=∑k∈Z03,Nk3=0,j=2σk,jεWk,j.

Moreover the components satisfy the relations

Wε,H¯(-x)=-Wε,H¯(x),Wε,3¯(-x)=Wε,3¯(x).

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

Qε(x,y)=EW1ε(x)⊗W1ε(y)∗=Q0ε(x,y)+Qρε¯(x,y)=Qε¯(x,y)+Qε′(x,y)+Qρε¯(x,y) 2.9

where we denoted by

Qε¯(x,y)=2∑k∈Z03,Nk3=0,j∈{1,2}θk,jε2ak,j⊗ak,jeik·(x-y),Qε′(x,y)=2∑k∈Z03,Nk3≠0,j∈{1,2}θk,jε2ak,j⊗ak,jeik·(x-y),Qρε¯(x,y)=2ρ∑k∈Z03,Nk3=0θk,1εθk,2ε∗ak,1⊗ak,2+θk,2εθk,1ε∗ak,2⊗ak,1eik·(x-y).

Due to our choice, we have that Qε¯(x,y), Qε′(x,y) and Qρε¯(x,y) are all translation invariant, therefore we simply write Qε(x-y) (resp. Q0ε(x-y),Qε¯(x-y),Qε′(x-y),Qρε¯(x-y)) in place of Qε(x,y) (resp. Q0ε(x,y),Qε¯(x,y),Qε′(x,y),Qρε¯(x,y)). In particular Q0ε(x),Qε¯(x),Qε′(x) are mirror symmetric, namely it holds

Q0ε(x)=Q0ε(-x),Qε¯(x)=Qε¯(-x),Qε′(x)=Qε′(-x). 2.10

On the contrary Qρε¯(x) is an odd function, in particular Qρε¯(0)=0. As a consequence, our noise satisfies the mirror symmetry property if and only if ρ=0. Let us understand better the behaviour of Qε(0). 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 Qε′(0), we have:

Qε′(0)=2∑k∈Z03,NN≤|kH|≤2N1CV2|k|βI-k⊗k|k|2.

Arguing as in [14, Section 2.3], it follows easily that Qε′(0) is a diagonal matrix, moreover it holds

Qε′(0)=2(e1⊗e1+e2⊗e2)ηV,Tε+2(e3⊗e3)ηV,Rε,

where we denoted by

ηV,Tε=∑k∈Z03,N,k3≠0N≤|kH|≤2N1CV2|k|β1-|kH|22|k|2,ηV,Rε=∑k∈Z03,N,k3≠0N≤|kH|≤2N1CV2|k|β1-|k3|2|k|2.

In particular both ηV,Tε,ηV,Rε go to 0 as ε→0. Indeed it holds

ηV,Tε+ηV,Rε≲∑k∈Z03,N,k3≠0N≤|kH|≤2N1|kH|2+|k3|2β/2≤∑kH∈Z02N≤|kH|≤2N∑k3∈Z,k3≠011+|k3|2β/2Nβ≤ζH,0Nζβ1Nβ-2=O(N2-β). 2.11

In order to treat Qε¯(0) we introduce a further splitting of the sum. We write

Qε¯(x)=QTε¯(x)+QRε¯(x),

denoting by

QTε¯(x)=2∑k∈Z03,Nk3=0,j=1θk,jε2ak,j⊗ak,jeik·x,QRε¯(x)=2∑k∈Z03,Nk3=0,j=2θk,jε2ak,j⊗ak,jeik·x.

Of course, QTε¯(x),QRε¯(x) satisfy mirror symmetry property too. By definition it holds

QRε¯(0)=2e3⊗e3ηH,Rε,ηH,Rε=∑kH∈Z02N≤|kH|≤2N1C2,H2|kH|γ.

Therefore also ηH,Rε goes to 0 as ε→0. Indeed, we have

ηH,Rε=ζH,γNN2-γC2,H2=O(N2-γ). 2.12

Lastly we need to study the asymptotic behaviour of QTε¯(0) which is the one we will keep track in the scaling limit. Arguing as in [14, Section 2.3], it follows easily that also QTε¯(0) is a diagonal matrix, moreover it holds

QTε¯(0)=ζH,2NC1,H2(e1⊗e1+e2⊗e2)=ζH,2C1,H2(e1⊗e1+e2⊗e2)+O(N-1).

We set

ηTε=ηV,Tε+ζH,2NC1,H2=ζH,2C1,H2+O(N-1),ηRε=ηV,Rε+ηH,Rε=O(N-4),ηT=ζH,2C1,H2.

We state now some results on the covariance functions Qε(x), Q0ε(x), Qρε¯(x), Qε¯(x), Qε′(x), QTε¯(x), QRε¯(x). 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 Q0ε(x), the others being analogous.

Lemma 2.8

For each l,m∈{1,2,3} it holds

∂lQ0ε(x-y)=∂xlQ0ε(x-y)=2i∑k∈Z03,Nj∈{1,2}θk,jε2klak,j⊗ak,jeik·(x-y), 2.13
∂l∂mQ0ε(x-y)=-∂xl∂ymQ0ε(x-y)=-2∑k∈Z03,Nj∈{1,2}θk,jε2klkmak,j⊗ak,jeik·(x-y). 2.14

In particular

∂lQ0ε(0)=2i∑k∈Z03,Nj∈{1,2}θk,jε2klak,j⊗ak,j, 2.15
∂l∂mQ0ε(0)=-2∑k∈Z03,Nj∈{1,2}θk,jε2klkmak,j⊗ak,j. 2.16

Proof

∂lQ0ε(x-y)=∂xlQ0ε(x-y) and ∂l∂mQ0ε(x-y)=-∂xl∂ymQ0ε(x-y) by the chain rule. Then (2.13) and (2.14) follow from the definition of Q0ε(x-y). Setting y=x in the right hand side of (2.13) (resp. (2.14)) we get immediately

∂lQ0ε(0)=2i∑k∈Z03,Nj∈{1,2}θk,jε2klak,j⊗ak,j(resp.∂l∂mQ0ε(0)=-2∑k∈Z03,Nj∈{1,2}θk,jε2klkmak,j⊗ak,j).

□

The other results we need on the covariance functions are strongly related to the mirror symmetry property, therefore they hold true only for Q0ε(x),Qε¯(x),Qε′(x),QTε¯(x),QRε¯(x). We give the detailed statement and proof only for Q0ε(x), the others being analogous.

Lemma 2.9

It holds

∂lQ0ε(0)=2i∑k∈Z03,Nj∈{1,2}θk,jε2klak,j⊗ak,j=0. 2.17

As a consequence, for each l,m,n∈{1,2,3} and f∈L2(Tε3),g∈H1(Tε3) it holds

∑k∈Z03,Nj∈{1,2}⟨∂lgσk,jl,ε,f∂mσ-k,jn,ε⟩ε=0. 2.18

Proof

Since by the mirror symmetry property of the covariance function (2.10), the function Q0ε(x) is even and smooth, then ∂lQ0ε(0)=0 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 σk,jε above

∑k∈Z03,Nj∈{1,2}⟨∂lgσk,jl,ε,f∂mσ-k,jn,ε⟩ε=⟨f,∂lg⟩ε∑k∈Z03,Nj∈{1,2}θk,jε2km(ak,j)l(ak,j)n=0

due to (2.17). □

On the contrary, as discussed in [9], the asymptotic behaviour of ∇Qρε¯(0) 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

{Rε,γm,n}m,n∈{1,2}=∂nQρε,3,m¯(0) 2.19

and a uniform bound on ∇Qρε¯(0).

Lemma 2.10

It holds

∇Qρε¯(0)HS≤22|ρ|ζH,γ/2NN2-γ/2C1,HC2,H.

In particular

{Rε,γm,n}m,n∈{1,2}=∂nQρε,3,m¯(0)=πρζH,γ/2C1,HC2,H0-110N2-γ/2+O(N1-γ/2).

Proof

Thanks to (2.15) and Remark 2.7 it holds

∇Qρε¯(0)=2ρC1,HC2,H∑kH∈Z02N≤|kH|≤2N1|kH|γ/2e3⊗kH⊥|kH|⊗kH|kH|-kH⊥|kH|⊗e3⊗kH|kH|. 2.20

Therefore we have

∇Qρε¯(0)HS≤2|ρ|C1,HC2,H∑kH∈Z02N≤|kH|≤2N1|kH|γ/2e3⊗kH⊥|kH|⊗kH|kH|-kH⊥|kH|⊗e3⊗kH|kH|HS=22|ρ|ζH,γ/2NN2-γ/2C1,HC2,H. 2.21

Due to (2.20), it holds

∂·Qρε,3,·¯(0)=2ρC1,HC2,H∑kH∈Z02N≤|kH|≤2N1|kH|γ/2kH⊥|kH|⊗kH|kH|=2ρC1,HC2,HNγ/2-21N2∑kH∈Z021≤|kH|N≤2Nγ/2|kH|γ/2kH⊥|kH|⊗kH|kH|. 2.22

The function fγ(x)=1|x|γ/2+2(x⊥⊗x) is smooth for 1≤|x|≤2, hence the Riemann sums satisfy

1N2∑kH∈Z021≤|kH|N≤2Nγ/2|kH|γ/2kH⊥|kH|⊗kH|kH|=∫1≤x≤2fγ(x)dx+O(N-1). 2.23

Since we have

∫1≤x≤2fγ(x)dx=∫12∫02π1rγ/2-1-sin(θ)cos(θ)-sin2(θ)cos2(θ)sin(θ)cos(θ)drdθ=ζH,γ/220-110, 2.24

combining (2.22), (2.23) and (2.24) the claim follows. □

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 T2 that is decomposed as VH, an horizontal component corresponding ideally to a point vortex, and V3e3 a vertical component, with the property that VH is an odd function of x, while V3 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 Wε(t,x)=Wε¯(t,x)+Wε(t,x)′, where the first part comprises all the wavenumbers with k3=0, and recalling the further orthogonal decomposition Wε¯(t,x)=Wε,H¯(t,x)+Wε,3¯(t,x)e3, we see that this part of the noise corresponds exactly to theirs. Indeed, in order to have a nonzero ‘off diagonal’ term Qρε¯(0) 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, Wε,H¯ is an odd function of x, while Wε,3¯ 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 (β,γ≥4, 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 T∈(0,+∞). Following the ideas introduced in Section 1, due to our choice of vε as detailed in subsection 2.3, we are interested in studying the properties of the following stochastic model on Tε3:

dBtε=ηΔBtεdt-∑k∈Z03,Nj∈{1,2}Lσk,jεBtε∘dWtk,j,divBtε=0,Btε|t=0=B0ε. 2.25

We recall that the term Lσk,jεBtε above is the Lie derivative of Btε with respect to σk,jε introduced in (2.1). In order to study (2.25), we start rewriting it in Itô form. First, let us observe that for each k∈Z03,N,j∈{1,2} we have due to the linearity of Lσk,jε

Lσk,jεBtε∘dWtk,j=Lσk,jεBtεdWtk,j+12Lσk,jεB·ε,W·k,jt=Lσk,jεBtεdWtk,j+12Lσk,jεB·ε,W·k,jt=Lσk,jεBtεdWtk,j-Lσk,jεLσ-k,jεBtεdt-ρ1{k3=0,l≠j}Lσk,jεLσ-k,lεBtεdt.

Therefore the equation for Btε can be rewritten as

dBtε=ηΔ+∑k∈Z03,Nj∈{1,2}Lσk,jεLσ-k,jε+ρ∑k∈Z03,Nk3=0Lσk,1εLσ-k,2ε+Lσk,2εLσ-k,1εBtεdt-∑k∈Z03,Nj∈{1,2}Lσk,jεBtεdWtk,j,divBtε=0,Btε|t=0=B0ε.

We are left to study ∑k∈Z03,Nj∈{1,2}Lσk,jεLσ-k,jε+ρ∑k∈Z03,Nk3=0Lσk,1εLσ-k,2ε+Lσk,2εLσ-k,1ε. 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 F:Tε3→R3 is a smooth, zero mean divergence free vector field, then it holds

∑k∈Z03,Nj∈{1,2}Lσk,jεLσ-k,jεF+ρ∑k∈Z03,Nk3=0Lσk,1εLσ-k,2ε+Lσk,2εLσ-k,1εF=ΛεF+ΛρεF,

where in the formula above we denoted by Λε the differential operator

ΛεF=ηTε(∂112+∂222)F+ηRε∂332F

and by Λρε the differential operator

ΛρεF=-∑l∈{1,2}∂lQρε¯(0)·∇Fl=-∑j∈{1,2,3}l∈{1,2}∂lQρε,·,j¯(0)∂jFl.

Thanks to Lemma 2.12, equation (2.25) can be interpreted in Itô form as:

dBtε=ηΔ+Λε+ΛρεBtεdt-∑k∈Z03,Nj∈{1,2}Lσk,jεBtεdWtk,j,divBtε=0,Btε|t=0=B0ε, 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

Bε∈CF([0,T];Lε2)∩LF2([0,T];Hε1)

is a weak solution of equation (2.26) if, for every ϕ∈Hε2, we have

⟨Btε,ϕ⟩ε=⟨B0ε,ϕ⟩ε+η∫0t⟨Bsε,Δϕ⟩εds+∫0t⟨Bsε,Λεϕ⟩εds+∫0t⟨ΛρεBsε,ϕ⟩εds-∑k∈Z03,Nj∈{1,2}∫0t⟨Lσk,jεBsε,ϕ⟩εdWsk,j. 2.27

for every t∈[0,T],P-a.s.

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 B0ε∈Lε2 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 Bε which are the main objects of our analysis. Therefore, let

Btε¯:=MεBtε,Btε′:=NεBtε.

More generally, in order to simplify the notation, in the following we will denote the projection operator Mε (resp. Nε) by ·¯ (resp. ·′) forgetting the dependence on ε. Thanks to Theorem 2.14 and the fact that Mε and Nε are projection operator and commute with the operator div, see Lemma 2.3, we have in particular that

Bε¯∈LF2(0,T;Hε1)∩CF(0,T;Lε2),Bε′∈LF2(0,T;Hε1)∩CF(0,T;Lε2).

For each ϕ∈Hε2, considering ϕ¯ and ϕ′ as test function in (2.27) we obtain that Btε¯ and Btε′ are weak solutions of the following SPDEs:

dBtε¯=ηΔ+Λε+ΛρεBtε¯dt-∑k∈Z03,Nk3=0,j∈{1,2}Lσk,jεBtε¯dWtk,j-∑k∈Z03,Nk3≠0,j∈{1,2}Lσk,jεBtε′¯dWtk,j,divBtε¯=0,Btε¯|t=0=B0ε¯, 2.28
dBtε′=ηΔ+Λε+ΛρεBtε′dt-∑k∈Z03,Nk3=0,j∈{1,2}Lσk,jεBtε′dWtk,j-∑k∈Z03,Nk3≠0,j∈{1,2}Lσk,jεBtε¯dWtk,j-∑k∈Z03,Nk3≠0,j∈{1,2}Lσk,jεBtε′′dWtk,j,divBtε′=0,Btε′|t=0=B0ε′ 2.29

in a sense completely analogous to Definition 2.13, namely testing the equations with vector fields ϕ∈Hε2. As discussed in Section 1, we study the convergence of Btε¯ 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 ε=1N→0 as discussed in [24, 25, 28]. In order to do so, we need to introduce some few objects: we denote by

Atε¯=Kε[Btε¯],Atε′=Kε[Btε′].

Thanks to the regularity properties of the Biot-Savart operator, see Subsubsection 2.2.1, we have that

Aε¯∈LF2(0,T;Hε2)∩CF(0,T;Hε1),Aε′∈LF2(0,T;Hε2)∩CF(0,T;Hε1),

moreover

Aε¯=(AH,ε¯,A3,ε¯)t=(-∇H⊥(-Δ)-1B3,ε¯,(-Δ)-1∇H⊥·BH,ε¯)t.

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

limε→0∑k∈Z03,Nj∈{1,2}σk,jεε2.

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 A3¯,B3¯ the unique weak solutions of the following linear 2D PDEs

∂tAt3,γ¯=(η+ηT)ΔAt3,γ¯x∈T2,t∈(0,T)At3,γ¯|t=0=A03¯, 2.30
∂tBt3,γ¯=(η+ηT)ΔBt3,γ¯+divRγ∇⊥At3,γ¯x∈T2,t∈(0,T)Bt3,γ¯|t=0=B03¯, 2.31

where ηT=ζH,2C1,H2 and

Rγ=2πρlog2C1,HC2,H0-110ifγ=40ifγ>4,

our main result reads as follows:

Theorem 2.15

Assuming Hypothesis 2.6 and

B03,ε¯⇀B03¯inL˙2(T2),A03,ε¯⇀A03¯inL˙2(T2), 2.32
supε∈(0,1)B03,ε′ε2ε,supε∈(0,1)A0ε′ε2ε<+∞, 2.33

there exists N0 large enough such that for each N≥N0, for each θ1∈(0,1],θ2∈(0,θ1),δ∈(0,θ2) we have

supt∈[0,T]EBt3,ε¯-Bt3,γ¯H˙-θ12≲B03¯-B03,ε¯-θ12+A03¯-A03,ε¯-θ22+1N(θ2-δ)(θ1-θ2)(1+δ)ifγ=4,B03¯-B03,ε¯-θ12+A03¯-A03,ε¯-θ22+1Nγ-4+1N(θ2-δ)(θ1-θ2)(1+δ)ifγ>4; 2.34
supt∈[0,T]EAt3,ε¯-At3,γ¯H˙-θ22≲A03,ε¯-A03¯H˙-θ22+1Nθ2+1N2(θ2-δ)1+δ. 2.35

The hidden constants in (2.34), (2.35) depend on η, β, γ, CV, C1,H, C2,H, |ρ|, T, supε∈(0,1)B03,ε¯2, supε∈(0,1)A03,ε¯2, supε∈(0,1)B03,ε′ε2ε, supε∈(0,1)A03,ε′ε2ε, θ1, θ2, δ. In particular

supt∈[0,T]EBt3,ε¯-Bt3,γ¯H˙-θ12+supt∈[0,T]EAt3,ε¯-At3,γ¯H˙-θ22→0asN→+∞.

Remark 2.16

The explicit dependence of the hidden constants in (2.34), (2.35) in terms of θ1,θ2 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 B0ε can be decomposed as

B0ε(x1,x2,x3)=B¯0(x1,x2)+B0′x1,x2,x3ε,

where, calling B0ε′=B0′·,·,·ε, we have

B¯0∈L˙2(T2;R3),B0′∈L˙2(T3;R3),∫TB0′(x1,x2,x3)dx3=0a.e.(x1,x2)∈T2divB¯0=0,divB0ε′=0∀N∈N.

Remark 2.18

Assuming A03¯∈H˙01, simple energy estimates applied to equation (2.30) imply

At3,γ¯H˙1(T2)≤e-(η+ηT)tA03¯H˙1(T2).

Consequently energy estimates applied to equation (2.31) imply by Young’s inequality

Bt3,γ¯2+2(η+ηT)∫0t∇Bs3,γ¯2ds≲B03,γ¯2+A03¯H˙1(T2)∫0tBs3,γ¯e-(η+ηT)sds≤CB03,γ¯2+A03¯H˙1(T2)2+(η+ηT)∫0t∇Bs3,γ¯2ds,

for some constant C depending on the parameters of the model. Therefore Grönwall’s inequality implies

Bt3,γ¯≲e-12(η+ηT)tB03¯.

In conclusion, calling BH,γ¯=-∇⊥A3,γ¯, the full magnetic field associated to the limit mean field model, Bγ¯=(BH,γ¯,B3,γ¯) decays exponentially, i.e.

Btγ¯≲e-12(η+ηT)tB0γ¯.

In this sense our main result, Theorem 2.15, corresponds to a result of no-dynamo.

Remark 2.19

Due to Hypothesis 2.6, ηT cannot be arbitrarily large in our model. Indeed the following holds

ηT=ζH,2C1,H2<ζH,2ζH,0η≈0.462η.

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 B·3,ε¯,A·3,ε¯ exploiting the fact that they are independent of the third variable and we can see them as functions from T2 to R3. This seems not possible for quantities related to B·ε′. Due to the lack of compactness for quantities related to B·ε′, we cannot find by Skorokhod’s representation theorem an auxiliary probability space where either (2.28), (2.29) hold and (B·3,ε¯,A·3,ε¯) 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 Bt3,ε¯,At3,ε¯,Mt3¯,At3¯, see Lemma 4.1, showing, in a quantitative way, that the stochastic convolutions approach 0 when considering negative Sobolev norms in T2 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 B0εε2=O(ε), then also

BεCF(0,T;Lε2)2+BεLF2(0,T;Hε1)2=O(ε). 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 limε→0Λε, see [8, Appendix 2]. Even if the operator Λρε and the correlation between the components of the noise Wtε 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 Btε¯ 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 Btε¯. Since the third component Bt3,ε¯ corresponds, in a vague sense, to the unique non null component associated to the curl 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 BtH,ε¯. Indeed, having a good control on the stochastic stretching terms appearing in the equation of BtH,ε¯ 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

∑k∈Z03,Nk3=0,j∈{1,2}∫0TBsε¯·∇σk,jH,εε2ds, 2.37

appearing in the energy estimates, seems to blow-up. The idea is, therefore, of considering the potential field Atε¯ associated to Btε¯. Thanks to (2.2), BtH,ε¯=-∇H⊥At3,ε¯ and, formally, due to Proposition 3.2 below, it solves

dAt3,ε¯=ηΔ+ΛεAt3,ε¯dt-∑k∈Z03,Nk3=0,j∈{1,2}σk,jε·∇At3,ε¯dWtk,j-∑k∈Z03,Nk3≠0,j∈{1,2}Qσk,jε·∇At3,ε′+∂3σk,jε·At3,ε′¯dWtk,j.

Notice that, due to Remark A.1, ΛρεBtε¯ is a vector having the first two components null, therefore it does not affect the equation for BtH,ε¯. Now, the bad stretching term (2.37) has disappeared at this level of regularity, and to show that At3,ε¯ 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 At3,ε¯,Bt3,ε¯ are just a regular perturbation of the 2D-3C model we need either some smallness assumptions on the coefficient σk,jε,k3≠0 in term of the derivative of the covariance function associated to the noise, see subsection 2.3, and some bounds on Btε′. Also in this case, the analysis of Bt3,ε′ 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 BtH,ε′. This term seems again critical for what concerns the stochastic stretching, indeed a term of the form

∑k∈Z03,Nk3=0,j∈{1,2}∫0TBsε′·∇σk,jH,εε2ds 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 Btε′, counterbalancing the gradients of the coefficients. Indeed, applying Hölder’s inequality to relation (2.38), the explosive behaviour of ∇σk,jH,εL∞(Tε3) is absorbed thanks to (2.6) and we obtain

∑k∈Z03,Nk3=0,j∈{1,2}∫0TBsε′·∇σk,jH,εε2ds≤ζH,0C1,H2+o(1)∫0T∇Bsε′ε2ds.

We refer to the analysis of It2 in Lemma 3.3 below for details. Since we already have good estimates on ∫0T∇Bs3,ε′ε2ds 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 BtH,ε′ involves also terms related to ∫0T∇BtH,ε¯ε2ds which are out of reach as discussed before. For this reason, we replace the analysis of BtH,ε′ with that of a different term, involving at most ∫0T∇Bt3,ε¯ε2ds and ∫0T∇At3,ε¯ε2ds, when computing its energy estimates. This term, combined with Bt3,ε′, must be strong enough to ensure that Bt3,ε¯ and At3,ε¯ are close to satisfying the 2D-3C model. The appropriate choice for our purposes is Atε′=Kε[Btε′]. The stochastic stretching term appearing in this case is not identically zero as for At3,ε¯, 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 Wtε. 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

B¯ε∈LF2(0,T;Hε1)∩CF(0,T;Lε2)(resp.Bε′∈LF2(0,T;Hε1)∩CF(0,T;Lε2)),

since B¯ε is independent of the third variable we have

B¯ε∈LF2(0,T;H˙1(T2;R3))∩CF(0,T;L˙2(T2;R3)).

The goal of Corollary 3.6 is to prove some bounds uniform in ε>0 for quantities related to B¯ε 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 B¯ε and Bε′. 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 Btε¯ and Btε′ at a certain point. In order to do so we employ the following classical relations:

Proposition 3.1

Let X∈Lε2,Y∈Hε1. Then

Xε2=(-Δ)-1/2curlXε2,∇Yε2=curlYε2. 3.1

In particular if either X and Y are independent of the third variable, it holds

X3ε2=(-Δ)-1/2∇H⊥X3ε2,∇Y3ε2=∇H⊥Y3ε2. 3.2

Proposition 3.2

Let X:Tε3→R3 a smooth, zero mean, divergence free vector field, Y∈Hε1. Then

X·∇Y-Y·∇X∈Lε2. 3.3

Moreover it holds

X·∇Y-Y·∇X=curlX·∇Kε[Y]+(DX)Kε[Y]=curlQX·∇Kε[Y]+(DX)Kε[Y]=curlPεQX·∇Kε[Y]+(DX)Kε[Y]. 3.4

In particular if both X and Y are independent of the third variable, it holds

X·∇YH-Y·∇XH=-∇H⊥X·∇Kε3[Y], 3.5

where we denoted by Kε3[Y] the third component of Kε[Y].

Now we have all the elements to provide the necessary a priori estimates.

Lemma 3.3

Assuming Hypothesis 2.6, for each ξ1,ξ2>0 we have

dAtε′ε2+2η∇Atε′ε2dt≤-2∑k∈Z03,Nj∈{1,2}⟨Dσk,jεAtε′,Atε′⟩εdWtk,j-2∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Atε¯+Dσk,jεAtε¯,Atε′⟩εdWtk,j+2ζH,0C1,H2+|ρ|ξ1ζH,0+ζH,2C1,H2+O(N-1)∇Atε′ε2dt+6ζβζH,0Nβ-2CV2+O(N1-β)‖∇Atε¯‖ε2dt+6ζβ-2ζH,0Nβ-4CV2+O(N3-β)Atε¯ε2dt, 3.6
dBt3,ε′ε2+2η∇Bt3,ε′ε2dt≤2∑k∈Z03,Nj∈{1,2}⟨Btε′·∇σk,j3,ε,Bt3,ε′⟩εdWtk,j-2∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Bt3,ε¯-Btε¯·∇σk,j3,ε,Bt3,ε′⟩εdWtk,j+2|ρ|ξ2ζH,2C1,H2+2ζH,γ/2C1,HC2,H+O(N-1)∇Bt3,ε′ε2dt+2ζH,γ-2Nγ-4C2,H2+2ζβ-2ζH,0Nβ-4CV2+|ρ|ξ2ζH,γ-2Nγ-4C2,H2+2|ρ|ξ2ζH,γ/2Nγ-4C1,HC2,H+O(N3-γ+N3-β)∇Atε′ε2dt+2∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Bt3,ε¯ε2dt+4ζβ-2ζH,0Nβ-4CV2+O(N3-β)Btε¯ε2dt-2∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε¯ε2dt. 3.7

Proof

Since by Proposition 3.1 it holds

graphic file with name 40072_2026_427_Equ48_HTML.gif 3.8

we apply Itô formula to Inline graphic obtaining

dAtε′ε2=-dWt′+2(-It1+It2+It3+It4+It5+It6)dt,

where we denote by

dWt′=2∑k∈Z03,Nk3=0,j∈{1,2}⟨Lσk,jεBtε′,(-Δ)-1Btε′⟩εdWtk,j+2∑k∈Z03,Nk3≠0,j∈{1,2}⟨Lσk,jεBtε¯,(-Δ)-1Btε′⟩εdWtk,j+2∑k∈Z03,Nk3≠0,j∈{1,2}⟨Lσk,jεBtε′′,(-Δ)-1Btε′⟩εdWtk,j,It1=η⟨∇Btε′,(-Δ)-1∇Btε′⟩ε+∑k∈Z03,Nj∈{1,2}⟨Btε′,(-Δ)-1div(σk,jε⊗σ-k,jε∇Btε′)⟩ε,It2=∑k∈Z03,Nk3=0,j∈{1,2}⟨Lσk,jεBtε′,(-Δ)-1Lσ-k,jεBtε′⟩ε,It3=∑k∈Z03,Nk3≠0,j∈{1,2}⟨Lσk,jεBtε¯,(-Δ)-1Lσ-k,jεBtε¯⟩ε,It4=∑k∈Z03,Nk3≠0,j∈{1,2}⟨Lσk,jεBtε′′,(-Δ)-1Lσ-k,jεBtε′′⟩ε,It5=∑k∈Z03,Nk3≠0,j∈{1,2}⟨Lσk,jεBtε¯,(-Δ)-1Lσ-k,jεBtε′′⟩ε,It6=⟨ΛρεBtε′,(-Δ)-1Btε′⟩ε+ρ∑k∈Z03,Nk3=0⟨Lσk,1εBtε′,(-Δ)-1Lσ-k,2εBtε′⟩ε+⟨Lσk,2εBtε′,(-Δ)-1Lσ-k,1εBtε′⟩ε.

In order to study the terms involved in previous relation we recall that by Proposition 3.2

curl(σk,jε·∇Atε′+Dσk,jεAtε′)=σk,jε·∇Btε′-Btε′·∇σk,jε

and analogously for the others. First we start rewriting the martingale term. By previous relation, exploiting the fact that curlcurlf=-Δf if f is a divergence free vector field and derivatives and the operator (-Δ)-1 commute in the periodic framework we get

dWt′=2∑k∈Z03,Nj∈{1,2}⟨Lσk,jεBtε′,(-Δ)-1Btε′⟩εdWtk,j+2∑k∈Z03,Nk3≠0,j∈{1,2}⟨Lσk,jεBtε¯,(-Δ)-1Btε′⟩εdWtk,j=2∑k∈Z03,Nj∈{1,2}⟨curlσk,jε·∇Atε′+Dσk,jεAtε′,(-Δ)-1curlAtε′⟩εdWtk,j+2∑k∈Z03,Nk3≠0,j∈{1,2}⟨curlσk,jε·∇Atε¯+Dσk,jεAtε¯,(-Δ)-1curlAtε′⟩εdWtk,j=2∑k∈Z03,Nj∈{1,2}⟨σk,jε·∇Atε′+Dσk,jεAtε′,Atε′⟩εdWtk,j+∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Atε¯+Dσk,jεAtε¯,Atε′⟩εdWtk,j=2∑k∈Z03,Nj∈{1,2}⟨Dσk,jεAtε′,Atε′⟩εdWtk,j+∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Atε¯+Dσk,jεAtε¯,Atε′⟩εdWtk,j. 3.9

Now we can analyse the terms It1,It2,It3,It4,It5,It6. First we observe that due to the fact that derivatives and the operator (-Δ)-1 commute in the periodic framework we easily obtain

It1=η∇Atε′ε2+∑k∈Z03,Nj∈{1,2}σk,jε·∇Atε′ε2. 3.10

Exploiting the fact that curlcurlf=-Δf if f is a divergence free vector field we get

It2=∑k∈Z03,Nk3=0,j∈{1,2}⟨curl(σk,jε·∇Atε′+Dσk,jεAtε′),(-Δ)-1curl(σ-k,jε·∇Atε′+Dσ-k,jεAtε′)⟩ε=∑k∈Z03,Nk3=0,j∈{1,2}⟨curlPεQσk,jε·∇Atε′+Dσk,jεAtε′),(-Δ)-1curlPεQσk,jε·∇Atε′+Dσk,jεAtε′)⟩ε=∑k∈Z03,Nk3=0,j∈{1,2}PεQσk,jε·∇Atε′+Dσk,jεAtε′ε2≤∑k∈Z03,Nk3=0,j∈{1,2}σk,jε·∇Atε′+Dσk,jεAtε′ε2=∑k∈Z03,Nk3=0,j∈{1,2}σk,jε·∇Atε′ε2+∑k∈Z03,Nk3=0,j∈{1,2}Dσk,jεAtε′ε2,

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

∑k∈Z03,Nk3=0,j∈{1,2}Dσk,jεAtε′ε2≤∑k∈Z03,Nk3=0,j∈{1,2}(θk,jε)2|k|2Atε′ε2≤ε2∂3Atε′ε2∑k∈Z03,Nk3=0,j=1(θk,jε)2|k|2+∑k∈Z03,Nk3=0,j=2(θk,jε)2|k|2≤ε2∇Atε′ε2∑kH∈Z02N≤|kH|≤2N1C1,H2+∑kH∈Z02N≤|kH|≤2N1C2,H2|kH|γ-2=∇Atε′ε2ζH,0NC1,H2+ζH,γ-2NNγ-2C2,H2=∇Atε′ε2ζH,0C1,H2+O(N-1).

Therefore

It2≤∑k∈Z03,Nk3=0,j∈{1,2}σk,jε·∇Atε′ε2+∇Atε′ε2ζH,0C1,H2+O(N-1). 3.11

Analogously we can show that

It3≤∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Atε¯ε2+∑k∈Z03,Nk3≠0,j∈{1,2}Dσk,jεAtε¯ε2≤∑k∈Z03,Nk3≠0,j∈{1,2}θk,jε2∇Atε¯ε2+∑k∈Z03,Nk3≠0,j∈{1,2}θk,jε2|k|2Atε¯ε2≤(ζH,0N2+O(N))‖∇Atε¯‖ε2CV2∑k3∈NZ\{0}1|k3|β+(ζH,0N2+O(N))Atε¯ε2CV2∑k3∈NZ\{0}1|k3|β-2=2ζβζH,0Nβ-2CV2+O(N1-β)‖∇Atε¯‖ε2+2ζβ-2ζH,0Nβ-4CV2+O(N3-β)Atε¯ε2. 3.12

The analysis of It4 is similar recalling that by Lemma 2.3 the operator Nε and the curl commute. Therefore we have, arguing as above,

It4=∑k∈Z03,Nk3≠0,j∈{1,2}PεQσk,jε·∇Atε′+Dσk,jεAtε′′ε2≤∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Atε′+Dσk,jεAtε′′ε2=∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Atε′+Dσk,jεAtε′ε2-∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Atε′+Dσk,jεAtε′¯ε2≤∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Atε′ε2+∑k∈Z03,Nk3≠0,j∈{1,2}Dσk,jεAtε′ε2.

In the last step we simply neglected the negative term and exploited (2.18). Arguing as when treating It2, we can show by Hölder’s and Poincaré inequality in the thin layer (2.6) that

∑k∈Z03,Nk3≠0,j∈{1,2}Dσk,jεAtε′ε2≤ε2∑k∈Z03,Nk3≠0,j∈{1,2}N≤|kH|≤2N1CV2|k|β-2∇Atε′ε2≤ζH,0+O(N-1)∇Atε′ε2CV2∑k3∈NZ\{0}1|k3|β-2=2ζβ-2ζH,0Nβ-2CV2+O(N1-β)∇Atε′ε2.

In particular, it holds

It4≤∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Atε′ε2+2ζβ-2ζH,0Nβ-2CV2+O(N1-β)∇Atε′ε2. 3.13

For what concerns It5, applying Cauchy-Schwarz and Young’s inequalities we get

It5=∑k∈Z03,Nk3≠0,j∈{1,2}⟨PεQσk,jε·∇Atε¯+Dσk,jεAtε¯,PεQσ-k,jε·∇Atε′+Dσ-k,jεAtε′′⟩ε≤It3+It42≤ζβζH,0Nβ-2CV2+O(N1-β)‖∇Atε¯‖ε2+ζβ-2ζH,0Nβ-4CV2+O(N3-β)Atε¯ε2+ζβ-2ζH,0Nβ-2CV2+O(N1-β)∇Atε′ε2+12∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Atε′ε2.

Let us analyse the last term. It holds

12∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Atε′ε2≤∇Atε′ε22CV2∑k∈Z03,Nk3≠0,j∈{1,2}N≤|kH|≤2N1|k|β≤ζH,0N2+O(N)∇Atε′ε22CV2∑k3∈NZ\{0}1|k3|β=ζβζH,0Nβ-2CV2+O(N1-β)∇Atε′ε2.

In conclusion it holds

It5≤ζβζH,0Nβ-2CV2+O(N1-β)‖∇Atε¯‖ε2+ζβ-2ζH,0Nβ-4CV2+O(N3-β)Atε¯ε2+2ζβζH,0Nβ-2CV2+O(N1-β)∇Atε′ε2. 3.14

Lastly we consider It6: ⟨ΛρεBtε′,(-Δ)-1Btε′⟩ε can be estimated easily due to Lemma 2.10 and (3.1), obtaining by Cauchy-Schwarz inequality

⟨ΛρεBtε′,(-Δ)-1Btε′⟩ε≤22|ρ|ζH,γ/2NN2-γ/2C1,HC2,H(-Δ)-1/2Btε′ε∇Btε′H-1(Tε3)=22|ρ|ζH,γ/2NN2-γ/2C1,HC2,HAtε′ε∇Atε′ε.

The other terms can be treated easily by Cauchy-Schwartz inequality and Proposition 3.2. Indeed for each ξ1>0 and k∈Z03,N such that k3=0 we have

⟨Lσk,1εBtε′,(-Δ)-1Lσ-k,2εBtε′⟩ε=⟨curlσk,1ε·∇Atε′+Dσk,1εAtε′,(-Δ)-1curlσ-k,2ε·∇Atε′+Dσ-k,2εAtε′⟩ε=⟨curlPε[Q[σk,1ε·∇Atε′+Dσk,1εAtε′]],(-Δ)-1curlPε[Q[σ-k,2ε·∇Atε′+Dσ-k,2εAtε′]]⟩ε=⟨Pε[Q[σk,1ε·∇Atε′+Dσk,1εAtε′]],Pε[Q[σ-k,2ε·∇Atε′+Dσ-k,2εAtε′]]⟩ε≤σk,1ε·∇Atε′+Dσk,1εAtε′ε22ξ1+ξ1σk,2ε·∇Atε′+Dσk,2εAtε′ε22.

So far, arguing when treating It2, we proved that for each ξ1>0

It6≤22|ρ|ζH,γ/2NNγ/2-2C1,HC2,HAtε′ε∇Atε′ε+|ρ|ξ1∑k∈Z03,Nk3=0,j=1σk,jε·∇Atε′ε2+|ρ|ξ1∑k∈Z03,Nk3=0,j=2σk,jε·∇Atε′ε2+∇Atε′ε2|ρ|ζH,0ξ1C1,H2+O(N-1). 3.15

Let us analyse ∑k∈Z03,Nk3=0,j=1σk,jε·∇Atε′ε2 and ∑k∈Z03,Nk3=0,j=2σk,jε·∇Atε′ε2. We have

∑k∈Z03,Nk3=0,j=1σk,jε·∇Atε′ε2≤∇Atε′ε2C1,H2∑kH∈Z02N≤|kH|≤2N1|kH|2=ζH,2C1,H2+O(N-1)∇Atε′ε2

and analogously

∑k∈Z03,Nk3=0,j=2σk,jε·∇Atε′ε2≤ζH,γNγ-2C1,H2+O(N1-γ)∇Atε′ε2.

In conclusion, applying Poincaré inequality (2.6) to (3.15), it holds

It6≤|ρ|ξ1ζH,0+ζH,2C1,H2+O(N-1)∇Atε′ε2. 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 Bt3,ε′ε2 which is similar, actually easier, than the previous one. Indeed, by Itô formula it holds:

dBt3,ε′ε2=-dW~t′+2(-Jt1+Jt2+Jt3+Jt4+Jt5+Jt6)dt,

where we denote by

dW~t′=2∑k∈Z03,Nk3=0,j∈{1,2}⟨σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε,Bt3,ε′⟩εdWtk,j+2∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Bt3,ε¯-Btε¯·∇σk,j3,ε,Bt3,ε′⟩εdWtk,j+2∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε′,Bt3,ε′⟩εdWtk,j,Jt1=η∇Bt3,ε′ε2+∑k∈Z03,Nj∈{1,2}σk,jε·∇Bt3,ε′ε2,Jt2=∑k∈Z03,Nk3=0,j∈{1,2}⟨σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε,σ-k,jε·∇Bt3,ε′-Btε′·∇σ-k,j3,ε⟩ε,Jt3=∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Bt3,ε¯-Btε¯·∇σk,j3,ε,σ-k,jε·∇Bt3,ε¯-Btε¯·∇σ-k,j3,ε⟩ε,Jt4=∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε′,σ-k,jε·∇Bt3,ε′-Btε′·∇σ-k,j3,ε′⟩ε,Jt5=∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Bt3,ε¯-Btε¯·∇σk,j3,ε,σ-k,jε·∇Bt3,ε′-Btε′·∇σ-k,j3,ε′⟩ε,Jt6=-⟨divHRε,γBtH,ε′,Bt3,ε′⟩ε+ρ∑k∈Z03,Nk3=0⟨σk,1ε·∇Bt3,ε′,σ-k,2ε·∇Bt3,ε′-Btε′·∇σ-k,23,ε⟩ε+⟨σk,2ε·∇Bt3,ε′-Btε′·∇σk,23,ε,σ-k,1ε·∇Bt3,ε′⟩ε.

Since the σk,jε are divergence free, the martingale term is equal to

dW~t′=-2∑k∈Z03,Nj∈{1,2}⟨Btε′·∇σk,j3,ε,Bt3,ε′⟩εdWtk,j+2∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Bt3,ε¯-Btε¯·∇σk,j3,ε,Bt3,ε′⟩εdWtk,j. 3.17

The analysis of Jt2,Jt3,Jt4,Jt5 is similar to the corresponding terms when estimating Atε′ε2 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 Jt2 let us preliminarily observe that if k3=0, then σk,j3,ε≠0 if and only if j=2. Therefore we get

Jt2=∑k∈Z03,Nk3=0,j∈{1,2}σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,εε2=∑k∈Z03,Nk3=0,j∈{1,2}σk,jε·∇Bt3,ε′ε2+∑k∈Z03,Nk3=0,j=2Btε′·∇σk,j3,εε2≤∑k∈Z03,Nk3=0,j∈{1,2}σk,jε·∇Bt3,ε′ε2+∑kH∈Z02N≤|kH|≤2N1C2,H2|kH|γ-2Btε′ε2≤∑k∈Z03,Nk3=0,j∈{1,2}σk,jε·∇Bt3,ε′ε2+ζH,γ-2Nγ-4C2,H2+O(N3-γ)Btε′ε2=∑k∈Z03,Nk3=0,j∈{1,2}σk,jε·∇Bt3,ε′ε2+ζH,γ-2Nγ-4C2,H2+O(N3-γ)∇Atε′ε2, 3.18

exploiting relation (3.1) in the last equality. The analysis of Jt3 is analogous to that of Jt2 and lead us to

Jt3≤∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Bt3,ε¯ε2+2ζβ-2ζH,0Nβ-4CV2+O(N3-β)Btε¯ε2. 3.19

For what concerns Jt4, exploiting the fact that Nε is a projection on L˙2(Tε3) we get easily

Jt4=∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,εε2-∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε¯ε2=∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Bt3,ε′ε2+Btε′·∇σk,j3,εε2-σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε¯ε2.

Let us analyse the second term in the last sum. We have by Hölder’s inequality and exploiting our definition of the σk,jε

∑k∈Z03,Nk3≠0,j∈{1,2}Btε′·∇σk,j3,εε2≤∑k∈Z03,Nk3≠0,j∈{1,2}N≤|kH|≤2N1CV2|k|β-2Btε′ε2≤2ζβ-2ζH,0Nβ-4CV2+O(N3-β)‖∇Atε′‖ε2.

In conclusion we get

Jt4≤∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Bt3,ε′ε2-σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε¯ε2+2ζβ-2ζH,0Nβ-4CV2+O(N3-β)‖∇Atε′‖ε2. 3.20

Exploiting the fact that for each f,g∈L2(Tε3) we have ⟨f¯,g′⟩ε=0 we get Jt5=0. Indeed, thanks to the mirror symmetry property of the covariance function (2.18) and the definition of the σk,jε we have

Jt5=∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Bt3,ε¯-Btε¯·∇σk,j3,ε,σ-k,jε·∇Bt3,ε′-Btε′·∇σ-k,j3,ε⟩ε=∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Bt3,ε¯,σ-k,jε·∇Bt3,ε′⟩ε+∑k∈Z03,Nk3≠0,j∈{1,2}⟨Btε¯·∇σk,j3,ε,Btε′·∇σ-k,j3,ε⟩ε=∑k∈Z03,Nk3≠0,j∈{1,2}θk,jε2⟨ak,j·∇Bt3,ε¯,a-k,j·∇Bt3,ε′⟩ε+∑k∈Z03,Nk3≠0,j∈{1,2}θk,jε2ak,j32⟨Btε¯·k,Btε′·k⟩=0.

Lastly let us treat Jt6: the term -⟨divHRε,γBtH,ε′,Bt3,ε′⟩ε can be estimated easily due to Lemma 2.10 and (3.1) getting by Cauchy-Schwarz inequality

-⟨divHRε,γBtH,ε′,Bt3,ε′⟩ε=⟨Rε,γBtH,ε′,∇HBt3,ε′⟩ε≤22|ρ|ζH,γ/2NNγ/2-2C1,HC2,H∇Bt3,ε′ε∇Atε′ε.

The other terms can be treated easily by Cauchy-Schwartz inequality obtaining for each ξ2>0 and k∈Z03,N such that k3=0

⟨σk,1ε·∇Bt3,ε′,σ-k,2ε·∇Bt3,ε′-Btε′·∇σ-k,23,ε⟩ε≤σk,1ε·∇Bt3,ε′ε22ξ2+ξ2σk,2ε·∇Bt3,ε′-Btε′·∇σk,23,εε22.

So far, arguing when treating Jt2, we proved that for each ξ2>0

Jt6≤22|ρ|ζH,γ/2NNγ/2-2C1,HC2,H∇Bt3,ε′ε∇Atε′ε+|ρ|ξ2∑k∈Z03,Nk3=0,j=1σk,jε·∇Bt3,ε′ε2+|ρ|ξ2∑k∈Z03,Nk3=0,j=2σk,jε·∇Bt3,ε′ε2+|ρ|ξ2ζH,γ-2Nγ-4C2,H2+O(N3-γ)∇Atε′ε2. 3.21

Let us analyse ∑k∈Z03,Nk3=0,j=1σk,jε·∇Bt3,ε′ε2 and ∑k∈Z03,Nk3=0,j=2σk,jε·∇Bt3,ε′ε2. Arguing when treating It6 we have

∑k∈Z03,Nk3=0,j=1σk,jε·∇Bt3,ε′ε2≤ζH,2C1,H2+O(N-1)∇Bt3,ε′ε2,∑k∈Z03,Nk3=0,j=2σk,jε·∇Bt3,ε′ε2≤ζH,γNγ-2C1,H2+O(N1-γ)∇Bt3,ε′ε2.

In conclusion, applying Young’s inequality to the first term in (3.21), it holds

Jt6≤|ρ|ξ2ζH,2C1,H2+2ζH,γ/2C1,HC2,H+O(N-1)∇Bt3,ε′ε2+|ρ|ξ2ζH,γ-2Nγ-4C2,H2+ζH,γ/2Nγ-4C1,HC2,H+O(N3-γ)∇Atε′ε2. 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 ξ3>0 we have

dAt3,ε¯ε2+2η∇At3,ε¯ε2dt≤-2∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇At3,ε′+∂3σk,jε·Atε′,At3,ε¯⟩εdWtk,j+4ζβζH,0Nβ-2CV2+O(N1-β)∇At3,ε′ε2dt+4ζβ-2ζH,0Nβ-4CV2+O(N3-β)Atε′ε2dt, 3.23
dBt3,ε¯ε2+2η∇Bt3,ε¯ε2+2∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Bt3,ε¯ε2dt≤2∑k∈Z03,Nk3=0,j∈{1,2}⟨BtH,ε¯·∇Hσk,j3,ε,B3H,ε¯⟩εdWtk,j-2∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε,Bt3,ε¯⟩εdWtk,j+2ζH,γ-2Nγ-4C2,H2+|ρ|ξ3ζH,γ-2Nγ-4C2,H2+2|ρ|ξ3ζH,γ/2Nγ-4C1,HC2,H+O(N3-γ)∇At3,ε¯ε2dt+2∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε¯ε2dt+2|ρ|ξ3ζH,2C1,H2+2ζH,γ/2C1,HC2,H+O(N-1)∇Bt3,ε¯ε2dt. 3.24

Proof

First let us observe that thanks to (2.2) and Proposition 3.1

At3,ε¯=-∇H⊥(-Δ)-1BtH,ε¯,At3,ε¯ε2=-Δ-1/2BtH,ε¯ε2,∇HAt3,ε¯ε2=BtH,ε¯ε2. 3.25

Thus we apply Itô formula to -Δ-1/2BtH,ε¯ε obtaining due to Remark A.1

dAt3,ε¯ε2=-dW¯t+2(-Lt1+Lt2+Lt3+Lt4)dt,

where we denote by

dW¯t=2∑k∈Z03,Nk3=0,j∈{1,2}⟨σk,jH,ε·∇HBtH,ε¯-BtH,ε¯·∇Hσk,jH,ε,(-Δ)-1BtH,ε¯⟩εdWtk,j+2∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇BtH,ε′-Btε′·∇σk,jH,ε,(-Δ)-1BtH,ε¯⟩εdWtk,j,Lt1=η⟨∇HBtH,ε¯,(-Δ)-1∇HBtH,ε¯⟩ε+∑k∈Z03,Nj∈{1,2}⟨BtH,ε¯,(-Δ)-1divH(σk,jH,ε⊗σ-k,jH,ε∇HBtH,ε¯)⟩ε,Lt2=∑k∈Z03,Nk3=0,j∈{1,2}σk,jH,ε·∇HBtH,ε¯-BtH,ε¯·∇Hσk,jH,ε,(-Δ)-1σ-k,jH,ε·∇HBtH,ε¯-BtH,ε¯·∇Hσ-k,jH,εεLt3=∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇BtH,ε′-Btε′·∇σk,jH,ε¯,(-Δ)-1σ-k,jε·∇BtH,ε′-Btε′·∇σ-k,jH,ε¯εLt4=ρ∑k∈Z03,Nk3=0σk,H1,ε·∇BtH,ε¯-BtH,ε¯·∇σk,1ε,(-Δ)-1σ-k,H2,ε·∇BtH,ε¯-BtH,ε¯·∇σ-k,2εε+ρ∑k∈Z03,Nk3=0σk,H2,ε·∇BtH,ε¯-BtH,ε¯·∇σk,2ε,(-Δ)-1σ-k,H1,ε·∇BtH,ε¯-BtH,ε¯·∇σ-k,1εε.

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

σk,jH,ε·∇HBtH,ε¯-BtH,ε¯·∇σk,jH,ε=∇H⊥(σk,jH,ε·∇HAt3,ε¯)ifk3=0, 3.26
σk,jε·∇BtH,ε′-Btε′·∇σk,jH,ε=curlσk,jε·∇Atε′+Dσk,jεAtε′Hifk3≠0. 3.27

In particular, considering the mean on the third direction of σk,jε·∇BtH,ε′-Btε′·∇σk,jH,ε, we have

σk,jε·∇BtH,ε′-Btε′·∇σk,jH,ε¯=-∇H⊥σk,jε·∇At3,ε′+∂3σk,jε·Atε′¯ifk3≠0. 3.28

Exploiting these relations we can obtain the required estimates. Let us start analysing dW¯t.

dW¯t=2∑k∈Z03,Nk3=0,j∈{1,2}⟨∇H⊥(σk,jH,ε·∇HAt3,ε¯),(-Δ)-1∇H⊥At3,ε¯⟩εdWtk,j+2∑k∈Z03,Nk3≠0,j∈{1,2}⟨curlσk,jε·∇Atε′+Dσk,jεAtε′H,(-Δ)-1∇H⊥At3,ε¯⟩εdWtk,j=2∑k∈Z03,Nk3=0,j∈{1,2}⟨σk,jH,ε·∇HAt3,ε¯,At3,ε¯⟩εdWtk,j+2∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇At3,ε′+∂3σk,jε·Atε′,At3,ε¯⟩εdWtk,j=2∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇At3,ε′+∂3σk,jε·Atε′,At3,ε¯⟩εdWtk,j. 3.29

Moving to Lt1 we get easily, integrating by parts, that it holds

Lt1=η∇At3,ε¯ε2+∑k∈Z03,Nj∈{1,2}σk,jH,ε·∇HAt3,ε¯ε2. 3.30

Concerning Lt2 we obtain by (3.26)

Lt2=∑k∈Z03,Nk3=0,j∈{1,2}⟨∇H⊥(σk,jH,ε·∇HAt3,ε¯),(-Δ)-1∇H⊥(σ-k,jH,ε·∇HAt3,ε¯)⟩ε=∑k∈Z03,Nk3=0,j∈{1,2}σk,jH,ε·∇HAt3,ε¯ε2. 3.31

Thanks to (3.28) and computations analogous to the ones of Lemma 3.3, we can treat Lt3 obtaining

Lt3=∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇At3,ε′+∂3σk,jε·Atε′¯ε2≤∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇At3,ε′+∂3σk,jε·Atε′ε2≤2ζβζH,0Nβ-2CV2+O(N1-β)∇At3,ε′ε2+2ζβ-2ζH,0Nβ-4CV2+O(N3-β)Atε′ε2. 3.32

Lastly Lt4=0 thanks to Proposition 3.2. Indeed for each k∈Z03,N such that k3=0 it holds

⟨σk,H1,ε·∇BtH,ε¯-BtH,ε¯·∇σk,1ε,(-Δ)-1σ-k,H2,ε·∇BtH,ε¯-BtH,ε¯·∇σ-k,2ε⟩ε=⟨curlσk,1ε·∇At3,ε¯,(-Δ)-1curlσ-k,2ε·∇At3,ε¯⟩ε=⟨σk,1ε·∇At3,ε¯,σ-k,2ε·∇At3,ε¯⟩ε=0.

Relation (3.23) then follows combining (3.29), (3.30), (3.31) and (3.32).

Now we move to the analysis of Bt3,ε¯ε2 which is similar and easier to the previous one. First by Itô formula we have

dBt3,ε¯ε2=-dW^t+2(-Ht1+Ht2+Ht3+Ht4)dt,

where we denote by

dW^t=2∑k∈Z03,Nk3=0,j∈{1,2}⟨σk,jH,ε·∇HBt3,ε¯-BtH,ε¯·∇Hσk,j3,ε,Bt3,ε¯⟩εdWtk,j+2∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε,Bt3,ε¯⟩εdWtk,j,Ht1=η∇HBt3,ε¯ε2+∑k∈Z03,Nj∈{1,2}σk,jH,ε·∇HBt3,ε¯ε2,Ht2=∑k∈Z03,Nk3=0,j∈{1,2}⟨σk,jH,ε·∇HBt3,ε¯-BtH,ε¯·∇Hσk,j3,ε,σ-k,jH,ε·∇HBt3,ε¯-BtH,ε¯·∇Hσ-k,j3,ε⟩ε,Ht3=∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε¯,σ-k,jε·∇Bt3,ε′-Btε′·∇σ-k,j3,ε¯⟩ε,Ht4=-⟨divHRε,γBtH,ε¯,Bt3,ε¯⟩ε-ρ∑k∈Z03,Nk3=0⟨σk,1ε·∇Bt3,ε¯,Btε¯·∇σ-k,23,ε⟩ε+⟨Btε¯·∇σk,23,ε,σ-k,1ε·∇Bt3,ε¯⟩ε.

Analogously to the second part of Lemma 3.3 we can treat all the terms above. Let us start with dW^t. Since the σk,jε are divergence free we get immediately

dW^t=-2∑k∈Z03,Nk3=0,j∈{1,2}⟨BtH,ε¯·∇Hσk,j3,ε,Bt3,ε¯⟩εdWtk,j+2∑k∈Z03,Nk3≠0,j∈{1,2}⟨σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε,Bt3,ε¯⟩εdWtk,j. 3.33

Thanks to (2.18) we get easily by Hölder’s inequality

Ht2=∑k∈Z03,Nk3=0,j∈{1,2}σk,jH,ε·∇HBt3,ε¯ε2+∑k∈Z03,Nk3=0,j∈{1,2}BtH,ε¯·∇Hσk,j3,εε2≤∑k∈Z03,Nk3=0,j∈{1,2}σk,jH,ε·∇HBt3,ε¯ε2+∑k∈Z03,Nk3=0,j=2θk,jε2|k|2BtH,ε¯ε2≤∑k∈Z03,Nk3=0,j∈{1,2}σk,jH,ε·∇HBt3,ε¯ε2+∑kH∈Z02N≤|kH|≤2N1C2,H2|k|γ-2∇At3,ε¯ε2≤∑k∈Z03,Nk3=0,j∈{1,2}σk,jH,ε·∇HBt3,ε¯ε2+ζH,γ-2Nγ-4C2,H2+O(N3-γ)∇At3,ε¯ε2. 3.34

We rewrite Ht3 as

Ht3=∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Bt3,ε′-Btε′·∇σk,j3,ε¯ε2. 3.35

Lastly let us treat Ht4: the term -⟨divHRε,γBtH,ε¯,Bt3,ε¯⟩ε can be estimated easily due to Lemma 2.10 and (3.2) obtaining by Cauchy-Schwarz inequality

-⟨divHRε,γBtH,ε′,Bt3,ε′⟩ε=-⟨Rε,γ·∇H⊥At3,ε¯,∇HBt3,ε¯⟩ε≤22|ρ|ζH,γ/2NNγ/2-2C1,HC2,H∇Bt3,ε¯ε∇At3,ε¯ε.

The other terms can be treated easily by Cauchy-Schwartz inequality. Indeed, for each ξ3>0 and k∈Z03,N such that k3=0 it holds

⟨σk,1ε·∇Bt3,ε¯,Btε¯·∇σ-k,23,ε⟩ε≤σk,1ε·∇Bt3,ε¯ε22ξ3+ξ3BtH,ε¯·∇Hσk,23,εε22.

In conclusion arguing as when treating Ht2, so far, we have proved that for each ξ3>0

Ht4≤22|ρ|ζH,γ/2NNγ/2-2C1,HC2,H∇Bt3,ε¯ε∇At3,ε¯ε+|ρ|ξ3∑k∈Z03,Nk3=0,j=1σk,jε·∇Bt3,ε¯ε2+|ρ|ξ3ζH,γ-2Nγ-4C2,H2+O(N3-γ)∇At3,ε¯ε2. 3.36

Let us analyse ∑k∈Z03,Nk3=0,j=1σk,jε·∇Bt3,ε¯ε2. Arguing as in the second part of Lemma 3.3 we have

∑k∈Z03,Nk3=0,j=1σk,jε·∇Bt3,ε¯ε2≤ζH,2C1,H2+O(N-1)∇Bt3,ε¯ε2.

In conclusion, applying Young’s inequality to the first term of (3.36), it holds

Ht4≤|ρ|ξ3ζH,2C1,H2+2ζH,γ/2C1,HC2,H+O(N-1)∇Bt3,ε¯ε2+|ρ|ξ3ζH,γ-2Nγ-4C2,H2+2ζH,γ/2Nγ-4C1,HC2,H+O(N3-γ)∇At3,ε¯ε2. 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 N>0 large enough

Esupt∈[0,T]At3,ε¯ε2+E∫0T∇As3,ε¯ε2ds≲B03,εε2+A03,ε¯ε2+A0ε′ε2. 3.38
Esupt∈[0,T]Bt3,ε¯ε2+E∫0T∇Bs3,ε¯ε2ds≲B03,εε2+A03,ε¯ε2+A0ε′ε2. 3.39
Esupt∈[0,T]Atε′ε2+E∫0T∇Asε′ε2ds≲B03,εε2+A03,ε¯ε2+A0ε′ε2. 3.40
Esupt∈[0,T]Bt3,ε′ε2+E∫0T∇Bs3,ε′ε2ds≲B03,εε2+A03,ε¯ε2+A0ε′ε2. 3.41

The hidden constants above all depend only on η,β,γ,CV,C1,H,C2,H,|ρ|,T.

Proof

In order to simplify the notation, we will denote by Cpar several constants depending on η, |ρ|, γ, β, C1,H, C2,H, CV, T, possibly changing their values line by line but independent of N in this proof. Let us introduce a new parameter ηaux such that

ζH,0C1,H2<ηaux<η.

Recalling the discussion at the beginning of Section 3, it is easy to show that for each ε>0 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 t∈[0,T]

EAtε′ε2+2ηE∫0t∇Asε′ε2ds≤A0ε′ε2+6ζβζH,0Nβ-2CV2+O(N1-β)E∫0t‖∇Asε¯‖ε2ds+6ζβ-2ζH,0Nβ-4CV2+O(N3-β)E∫0tAsε¯ε2ds+2ζH,0C1,H2+|ρ|ξ1ζH,0+ζH,2C1,H2+O(N-1)E∫0t∇Asε′ε2ds.

Therefore, if we choose ξ1 large enough, there exists N0∈N such that for each N≥N0 it holds

ζH,0C1,H2+|ρ|ξ1ζH,0+ζH,2C1,H2+O(N-1)≤ηaux 3.42

and we get

EAtε′ε2+(η-ηaux)E∫0t∇Asε′ε2ds≤A0ε′ε2+6ζβζH,0Nβ-2CV2+O(N1-β)E∫0t‖∇Asε¯‖ε2ds+6ζβ-2ζH,0Nβ-4CV2+O(N3-β)E∫0tAsε¯ε2ds. 3.43

Now we take the expected value of (3.23) at time t∈[0,T] obtaining by Poincaré inequality (2.6)

EAt3,ε¯ε2+2ηE∫0t∇As3,ε¯ε2ds≤A03,ε¯ε2+4ζβζH,0Nβ-2CV2+ζβ-2ζH,0Nβ-2CV2+O(N1-β)E∫0t∇Asε′ε2ds.

Plugging (3.43) in the relation above we get

EAt3,ε¯ε2+2ηE∫0t∇As3,ε¯ε2ds≤A03,ε¯ε2+CparNβ-2+O(N1-β)×A0ε′ε2+CparNβ-2+O(N1-β)E∫0t‖∇Asε¯‖ε2ds+CparNβ-4+O(N3-β)E∫0tAsε¯ε2ds. 3.44

In order to simplify the expression above, let us observe that since Atε¯ is independent of the third component, Poincaré inequality with constant equal to 1 holds. Therefore we have

E∫0tAsε¯ε2ds≤E∫0t∇Asε¯ε2ds. 3.45

Secondly, thanks to Proposition 3.1 it holds

∇Atε¯ε2=Btε¯ε2=Bt3,ε¯ε2+BtH,ε¯ε2=Bt3,ε¯ε2+∇At3,ε¯ε2, 3.46
Atε¯ε2=(-Δ)-1/2Btε¯ε2=(-Δ)-1/2Bt3,ε¯ε2+(-Δ)-1/2BtH,ε¯ε2≤Bt3,ε¯ε2+At3,ε¯ε2. 3.47

Combining (3.45) and (3.46) in relation (3.44) we get

EAt3,ε¯ε2+2ηE∫0t∇As3,ε¯ε2ds≤A03,ε¯ε2+CparN2-βA0ε′ε2+CparNβ-2+O(N1-β)E∫0t‖∇As3,ε¯‖ε2ds+CparNβ-2+O(N1-β)E∫0t‖∇Bs3,ε¯‖ε2ds.

Therefore, choosing N0∈N large enough such that for each N≥N0 it holds

CparNβ-2+O(N1-β)≤η2,

we get

EAt3,ε¯ε2+ηE∫0t∇As3,ε¯ε2ds≤A03,ε¯ε2+CparN2-βA0ε′ε2CparN2-β+O(N1-β)+E∫0t‖∇Bs3,ε¯‖ε2ds. 3.48

Now we consider the expected value of (3.7):

EBt3,ε′ε2+2ηE∫0t∇Bs3,ε′ε2ds+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε′-Bsε′·∇σk,j3,ε¯ε2ds≤B03,ε′ε2+2|ρ|ξ2ζH,2C1,H2+2ζH,γ/2C1,HC2,H+O(N-1)E∫0t∇Bs3,ε′ε2ds+2ζH,γ-2Nγ-4C2,H2+2ζβ-2ζH,0Nβ-4CV2+|ρ|ξ2Nγ-4ζH,γ-2C2,H2+2ζH,γ/2C1,HC2,H+O(N3-γ+N3-β)E∫0t∇Asε′ε2ds+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε¯ε2ds+4ζβ-2ζH,0Nβ-4CV2+O(N3-β)E∫0tBsε¯ε2ds. 3.49

Considering ξ2>0 large enough, we can find N0∈N such that for each N≥N0 it holds

|ρ|ξ2ζH,2C1,H2+2ζH,γ/2C1,HC2,H+O(N-1)≤η2.

Therefore (3.49) reduces to

EBt3,ε′ε2+ηE∫0t∇Bs3,ε′ε2ds+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε′-Bsε′·∇σk,j3,ε¯ε2ds≤B03,ε′ε2+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε¯ε2ds+CparNβ-4+O(N3-β)E∫0tBsε¯ε2ds+Cpar1Nγ-4+1Nβ-4+O(N3-γ+N3-β)E∫0t∇Asε′ε2ds.

Combining (3.43) and the relation above we get

EBt3,ε′ε2+ηE∫0t∇Bs3,ε′ε2ds+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε′-Bsε′·∇σk,j3,ε¯ε2ds≤B03,ε′ε2+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε¯ε2ds+CparNβ-4+O(N3-β)E∫0tBsε¯ε2ds+Cpar1Nγ-4+1Nβ-4+O(N3-γ+N3-β)×A0ε′ε2+CparNβ-2+O(N1-β)E∫0t‖∇Asε¯‖ε2ds+CparNβ-4+O(N3-β)E∫0tAsε¯ε2ds. 3.50

Combining (3.50), (3.45), (3.46) and (3.47) we obtain

EBt3,ε′ε2+ηE∫0t∇Bs3,ε′ε2ds+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε′-Bsε′·∇σk,j3,ε¯ε2ds≤B03,ε′ε2+Cpar1Nγ-4+1Nβ-4A0ε′ε2+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε¯ε2ds+Cpar1Nγ-4+1Nβ-4+O(N3-β+N3-γ)×E∫0tBs3,ε¯ε2ds+E∫0t∇As3,ε¯ε2ds+E∫0tAs3,ε¯ε2ds. 3.51

Therefore, thanks to (3.48) we get

EBt3,ε′ε2+2ηE∫0t∇Bs3,ε′ε2ds+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε′-Bsε′·∇σk,j3,ε¯ε2ds≤B03,ε′ε2+Cpar1Nγ-4+1Nβ-4A0ε′ε2+A03,ε¯ε2+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε¯ε2ds+Cpar1Nγ-4+1Nβ-4+O(N3-γ+N3-β)E∫0tBs3,ε¯ε2ds+CparN2-β+O(N1-β)E∫0t‖∇Bs3,ε¯‖ε2ds. 3.52

Lastly we take the expected value of (3.24) obtaining

EBt3,ε¯ε2+2ηE∫0t∇Bs3,ε¯ε2ds+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε¯ε2ds≤B03,ε¯ε2+2ζH,γ-2Nγ-4C2,H2+|ρ|ξ3ζH,γ-2Nγ-4C2,H2+2|ρ|ξ3ζH,γ/2Nγ-4C1,HC2,H+O(N3-γ)E∇As3,ε¯ε2ds+2|ρ|ξ3ζH,2C1,H2+2ζH,γ/2C1,HC2,H+O(N-1)E∫0t∇Bs3,ε¯ε2ds+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε′-Bsε′·∇σk,j3,ε¯ε2ds. 3.53

Considering ξ3>0 large enough we can find N0∈N such that for each N≥N0 it holds

|ρ|ξ3ζH,2C1,H2+2ζH,γ/2C1,HC2,H+O(N-1)≤η2.

Therefore (3.53) reduces to

EBt3,ε¯ε2+ηE∫0t∇Bs3,ε¯ε2ds+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε¯ε2ds≤B03,ε¯ε2+CparNγ-4+O(N3-γ)E∇As3,ε¯ε2ds+2∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε′-Bsε′·∇σk,j3,ε¯ε2ds.

Combining relations (3.48) and (3.52) in the formula above we obtain

EBt3,ε¯ε2+ηE∫0t∇Bs3,ε¯ε2ds≤B03,ε¯ε2+B03,ε′ε2+Cpar1Nγ-4+1Nβ-4A0ε′ε2+A03,ε¯ε2+Cpar1Nγ-4+1Nβ-4+O(N3-γ+N3-β)E∫0tBs3,ε¯ε2ds+CparNβ-2+O(N1-β)E∫0t‖∇Bs3,ε¯‖ε2ds.

Choosing N0∈N large enough such that for each N≥N0 it holds

CparNβ-2+O(N1-β)≤η2.

Analogously, the term which multiplies E∫0t‖∇Bs3,ε¯‖ε2ds and the initial conditions can be bounded uniformly in N depending only on η,β,γ,CV,C1,H,C2,H,|ρ|,T. Therefore previous expression simplifies and becomes, due to Lemma 2.3,

EBt3,ε¯ε2+ηE∫0t∇Bs3,ε¯ε2ds≲η,β,γ,CV,C1,H,C2,H,|ρ|,TB03,ε¯ε2+B03,ε′ε2+1Nβ-4+1Nγ-4A03,ε¯ε2+A0ε′ε2+E∫0tBs3,ε¯ε2ds. 3.54

Applying Grownall Lemma to (3.54) we obtain that for each t∈[0,T] it holds

EBt3,ε¯ε2+E∫0t∇Bs3,ε¯ε2ds≲η,β,γ,CV,C1,H,C2,H,|ρ|,TB03,εε2+A03,ε¯ε2+A0ε′ε2. 3.55

Exploiting the estimates implied by (3.55) in (3.48) and (3.52), we get

EAt3,ε¯ε2+E∫0t∇As3,ε¯ε2ds≲η,β,γ,CV,C1,H,C2,H,|ρ|,TB03,εε2+A03,ε¯ε2+A0ε′ε2, 3.56
EBt3,ε′ε2+E∫0t∇Bs3,ε′ε2ds≲η,β,γ,CV,C1,H,C2,H,|ρ|,TB03,εε2A03,ε¯ε2+A0ε′ε2. 3.57

Combining (3.46), (3.47), (3.55) and (3.56) we get

EAtε′ε2+E∫0t∇Asε′ε2ds≲η,β,γ,CV,C1,H,C2,H,|ρ|,TB03,εε2+A03,ε¯ε2+A0ε′ε2. 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 Atε′, the other being analogous. Considering the expected value of the supremum in time of (3.6) for ξ1=1 we obtain, thanks to (3.55) and (3.56)

Esupt∈[0,T]Atε′ε2≤A0ε′ε2+2ζH,0C1,H2+|ρ|ζH,0+ζH,2C1,H2+O(N-1)E∫0T∇Asε′ε2ds+6ζβζH,0Nβ-2CV2+O(N1-β)E∫0T‖∇Asε¯‖ε2ds+6ζβ-2ζH,0Nβ-4CV2+O(N3-β)E∫0TAsε¯ε2ds+Esupt∈[0,T]|Wt′|≤CparB03,εε2+A03,ε¯ε2+A0ε′ε2+Esupt∈[0,T]|Wt′|, 3.59

Wt′ being defined in the first part of Lemma 3.3. Therefore we are left to analyse Esupt∈[0,T]|Wt′| which can be treated by Burkholder-Davis-Gundy inequality, Hölder’s and Young’s inequalities obtaining

Esupt∈[0,T]|Wt′|≲|ρ|E∑k∈Z03,Nj∈{1,2}∫0T⟨Dσk,jεAtε′,Atε′⟩ε2dt1/2+E∑k∈Z03,Nk3≠0,j∈{1,2}∫0T⟨σk,jε·∇Atε¯+Dσk,jεAtε¯,Atε′⟩ε2dt1/2≤Esupt∈[0,T]Atε′ε∑k∈Z03,Nj∈{1,2}∫0TDσk,jεAtε′ε2dt1/2+Esupt∈[0,T]Atε′ε∑k∈Z03,Nk3≠0,j∈{1,2}∫0Tσk,jε·∇Atε¯+Dσk,jεAtε¯ε2dt1/2≤12Esupt∈[0,T]Atε′ε2+CparE∑k∈Z03,Nj∈{1,2}∫0TDσk,jεAtε′ε2dt+CparE∑k∈Z03,Nk3≠0,j∈{1,2}∫0Tσk,jε·∇Atε¯+Dσk,jεAtε¯ε2dt≤CparB03,εε2+A03,ε¯ε2+A0ε′ε2+12Esupt∈[0,T]Atε′ε2, 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. □

As a corollary of (3.38), (3.39) we get

Corollary 3.6

Assuming Hypothesis 2.6 and there exists N0∈N such that for each N≥N0 it holds

B03,εε2+A03,ε¯ε2+A0ε′ε2≲ε, 3.61

then there exists N1∈N large enough such that for each N≥N1 we have

graphic file with name 40072_2026_427_Equ102_HTML.gif 3.62

where the hidden constants depend only on η,β,γ,CV,C1,H,C2,H,|ρ|,T

Proof

The thesis follows immediately combining Proposition 3.5 and assumption (3.61). □

Proof of Theorem 2.15

Let κε:=η+ηTε≥η>0 and let us introduce the following notation

Zt1,ε=∑k∈Z03,Nk3=0,j∈{1,2}∫0te(t-s)κεΔσk,jε·∇Bs3,ε¯-Bsε¯·∇σk,j3,εdWsk,j+∑k∈Z03,Nk3≠0,j∈{1,2}∫0te(t-s)κεΔσk,jε·∇Bs3,ε′-Bsε′·∇σk,j3,ε¯dWsk,j,Zt2,ε=∑k∈Z03,Nk3=0,j∈{1,2}∫0te(t-s)κεΔσk,jε·∇As3,ε¯dWsk,j+∑k∈Z03,Nk3≠0,j∈{1,2}∫0te(t-s)κεΔQσk,jε·∇As3,ε′+∂3σk,jε·Atε′¯dWsk,j.

The stochastic integrals above are well defined thanks to the regularity properties of Btε¯,Btε′,Atε¯,Atε′ and the summability properties of the coefficients in Hypothesis 2.6. The first step in order to prove Theorem 2.15 is to rewrite Bt3,ε¯ and At3,ε¯ in mild form. Indeed, recalling the definition of Rε,γ, see (2.19), the following lemma holds true:

Lemma 4.1

The following mild formulas hold true

At3,ε¯=etκεΔA03,ε¯-Zt2,ε, 4.1
Bt3,ε¯=etκεΔB03,ε¯-Zt1,ε+∫0te(t-s)κεΔdivRε,γ∇⊥As3,ε¯ds. 4.2

Proof

Let us take ϕ=(-∇H⊥(-Δ)-1ψh,0),ψh=eih·x as test function for (2.28) obtaining, since all the functions appearing in the integrals are independent of x3, that it holds

⟨BtH,ε¯,-∇H⊥(-Δ)-1ψh⟩=⟨B0H,ε¯,-∇H⊥(-Δ)-1ψh⟩+κε∫0t⟨BsH,ε¯,∇H⊥ψh⟩ds-∑k∈Z03,Nk3=0,j∈{1,2}∫0t⟨σk,jε·∇BsH,ε¯-Bsε¯·∇σk,jH,ε,-∇H⊥(-Δ)-1ψh⟩dWsk,j-∑k∈Z03,Nk3≠0,j∈{1,2}∫0t⟨σk,jε·∇BsH,ε′-Bsε′·∇σk,jH,ε¯,-∇H⊥(-Δ)-1ψh⟩dWsk,j. 4.3

Recalling that, by (2.2) and Proposition 3.2, it holds

Btε¯=curlAtε¯∑k∈Z03,Nk3=0,j∈{1,2}σk,jε·∇Btε¯-Btε¯·∇σk,jε=∑k∈Z03,Nk3=0,j∈{1,2}curl(σk,jε·∇Atε¯+Dσk,jεAtε¯)∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇Btε′-Btε′·∇σk,jε=∑k∈Z03,Nk3≠0,j∈{1,2}curl(σk,jε·∇Atε′+Dσk,jεAtε′),

looking at the horizontal component, we have in particular

BtH,ε¯=-∇H⊥At3,ε¯ 4.4
∑k∈Z03,Nk3=0,j∈{1,2}σk,jε·∇BtH,ε¯-Btε¯·∇σk,jH,ε=-∑k∈Z03,Nk3=0,j∈{1,2}∇H⊥(σk,jε·∇At3,ε¯) 4.5
∑k∈Z03,Nk3≠0,j∈{1,2}σk,jε·∇BtH,ε′-Btε′·∇σk,jH,ε¯=-∑k∈Z03,Nk3≠0,j∈{1,2}∇H⊥σk,jε·∇At3,ε′+∂3σk,jε·Atε′¯=-∑k∈Z03,Nk3≠0,j∈{1,2}∇H⊥Qσk,jε·∇At3,ε′+∂3σk,jε·Atε′¯. 4.6

Now both σk,jε·∇At3,ε¯ an Qσk,jε·∇At3,ε′+∂3σk,jε·Atε′¯ are zero mean. Substituting (4.4), (4.5), (4.6) in (4.3) and integrating by parts we obtain

⟨At3,ε¯,ψh⟩=⟨A03,ε¯,ψh⟩-κε|h|2∫0t⟨As3,ε¯,ψh⟩ds-∑k∈Z03,Nk3=0,j∈{1,2}∫0t⟨σk,jε·∇As3,ε¯,ψh⟩dWsk,j-∑k∈Z03,Nk3≠0,j∈{1,2}∫0tQσk,jε·∇As3,ε′+∂3σk,jε·Asε′¯,ψhdWsk,j.

Therefore, applying Itô formula to etκε|h|2⟨At3,ε¯,ψh⟩ we have

⟨At3,ε¯,ψh⟩=e-tκε|h|2⟨A03,ε¯,ψh⟩-∑k∈Z03,Nk3=0,j∈{1,2}∫0te-(t-s)κε|h|2⟨σk,jε·∇As3,ε¯,ψh⟩dWsk,j-∑k∈Z03,Nk3≠0,j∈{1,2}∫0te-(t-s)κε|h|2Qσk,jε·∇As3,ε′+∂3σk,jε·Asε′¯,ψhdWsk,jP-a.s.∀t∈[0,T]. 4.7

We can find Γ⊆Ω of full probability such that the above equality holds for all t∈[0,T] and all h∈Z02. But this is exactly (4.1) written in Fourier modes.

Let us consider for h∈Z02 ϕ=(0,0,ψh)t,ψh=eih·x as test function in for (2.28) obtaining, since all the functions appearing in the integrals are independent of x3, that it holds

⟨Bt3,ε¯,ψh⟩=⟨B03,ε¯,ψh⟩-κε|h|2∫0t⟨Bs3,ε¯,ψh⟩ds+∫0t⟨divRε,γ∇⊥As3,ε¯,ψh⟩ds-∑k∈Z03,Nk3=0,j∈{1,2}∫0t⟨σk,jε·∇Bs3,ε¯-Bsε¯·∇σk,j3,ε,ψh⟩dWsk,j-∑k∈Z03,Nk3≠0,j∈{1,2}∫0t⟨σk,jε·∇Bs3,ε′-Bsε′·∇σk,j3,ε¯,ψh⟩dWsk,j.

Therefore, applying Itô formula to etκε|h|2⟨Bt3,ε¯,ψh⟩ we obtain

⟨Bt3,ε¯,ψh⟩=e-tκε|h|2⟨B03,ε¯,ψh⟩+∫0te-(t-s)κε|h|2⟨divRε,γ∇⊥As3,ε¯,ψh⟩ds-∑k∈Z03,Nk3=0,j∈{1,2}∫0te-(t-s)κε|h|2⟨σk,jε·∇Bs3,ε¯-Bsε¯·∇σk,j3,ε,ψh⟩dWsk,j-∑k∈Z03,Nk3≠0,j∈{1,2}∫0te-(t-s)κε|h|2⟨σk,jε·∇Bs3,ε′-Bsε′·∇σk,j3,ε¯,ψh⟩dWsk,jP-a.s.∀t∈[0,T]. 4.8

We can then find Γ⊆Ω of full probability such that the above equality holds for all t∈[0,T] and all h∈Z02. But this is exactly (4.2) written in Fourier modes. □

Secondly we need to study some properties of the stochastic convolutions Zt1,ε,Zt2,ε. 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 δ>0 and N∈N large enough such that Proposition 3.5 holds, then

graphic file with name 40072_2026_427_Equ111_HTML.gif 4.9
graphic file with name 40072_2026_427_Equ112_HTML.gif 4.10

The hidden constants in the inequality above depend only on η,β,γ,CV,C1,H,C2,H,|ρ|,T.

Proof

By Burkholder-Davis-Gundy inequality and Lemma 2.1 we have for each t∈[0,T]

EZt1,εH˙-δ2≲|ρ|∑k∈Z03,Nk3=0,j∈{1,2}E∫0te(t-s)κεΔσk,jε·∇Bs3,ε¯-Bsε¯·∇σk,j3,εH˙-δ2ds+∑k∈Z03,Nk3≠0,j∈{1,2}E∫0te(t-s)κεΔσk,jε·∇Bs3,ε′-Bsε′·∇σk,j3,ε¯H˙-δ2ds≲η∑k∈Z03,Nk3=0,j∈{1,2}E∫0t1(t-s)1-δσk,jε·∇Bs3,ε¯H˙-12+Bsε¯·∇σk,j3,ε2ds+∑k∈Z03,Nk3≠0,j∈{1,2}E∫0t1(t-s)1-δσk,jε·∇Bs3,ε′¯H˙-12+Bsε′·∇σk,j3,ε¯2ds=1ε∑k∈Z03,Nk3=0,j∈{1,2}E∫0t1(t-s)1-δσk,jε·∇Bs3,ε¯H˙-1(Tε3)2+Bsε¯·∇σk,j3,εε2ds+1ε∑k∈Z03,Nk3≠0,j∈{1,2}E∫0t1(t-s)1-δσk,jε·∇Bs3,ε′¯H˙-1(Tε3)2+Bsε′·∇σk,j3,ε¯ε2ds=Vt1,ε+Vt2,ε+Vt3,ε+Vt4,ε. 4.11

Now let us estimate Vt1,ε,Vt2,ε,Vt3,ε,Vt4,ε. First we have by Hölder’s inequality since the σk,jε are divergence free

Vt1,ε+Vt3,ε≤1εE∑k∈Z03,Nk3=0,j=1∫0t1(t-s)1-δσk,jεBs3,ε¯ε2ds+∑k∈Z03,Nk3≠0,j∈{1,2}∫0t1(t-s)1-δσk,jεBs3,ε′ε2ds≲β,C1,H,CV1ε∫0t1(t-s)1-δEBs3,ε¯ε2ds+1Nβ-2∫0t1(t-s)1-δEBs3,ε′ε2ds≲η,β,γ,CV,C1,H,C2,H,|ρ|,T1εδB03,εε2+A03,ε¯ε2+A0ε′ε2, 4.12

where in the last step we exploit (3.39) and (3.41). For what concerns the other two terms, noting that if k3=0 then σk,j3,ε≠0 if and only if j=2, thanks to Hölder’s inequality and (3.38), (3.40) we get

Vt2,ε+Vt3,ε≲β,γ,C2,H,CV1ε∫0t1Nγ-4EBsH,ε¯ε2+1Nβ-4EBsε′ε2ds=1ε∫0t1Nγ-4E∇As3,ε¯ε2+1Nβ-4E∇Asε′ε2ds≲η,β,γ,CV,C1,H,C2,H,|ρ|,T1εB03,εε2+A03,ε¯ε2+A0ε′ε2. 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 δ>0 and N∈N large enough such that Proposition 3.5 holds, then

graphic file with name 40072_2026_427_Equ116_HTML.gif 4.14
graphic file with name 40072_2026_427_Equ117_HTML.gif 4.15

where the hidden constants depend only on η,β,γ,CV,C1,H,C2,H,|ρ|,T.

Proof

By Burkholder-Davis-Gundy inequality and Lemma 2.1 we have for each t∈[0,T]

EZt1,εH˙-1-2δ2≲|ρ|∑k∈Z03,Nk3=0,j∈{1,2}E∫0te(t-s)κεΔσk,jε·∇Bs3,ε¯-Bsε¯·∇σk,j3,εH˙-1-2δ2ds+∑k∈Z03,Nk3≠0,j∈{1,2}E∫0te(t-s)κεΔσk,jε·∇Bs3,ε′-Bsε′·∇σk,j3,ε¯H˙-1-2δ2ds≲η∑k∈Z03,Nk3=0,j∈{1,2}E∫0t1(t-s)1-δσk,jε·∇Bs3,ε¯H˙-2-δ2+Bsε¯·∇σk,j3,εH˙-1-2δ2ds+∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tσk,jε·∇Bs3,ε′¯H˙-12+Bsε′·∇σk,j3,ε¯H˙-1-2δ2ds=∑k∈Z03,Nk3=0,j∈{1,2}E∫0t1(t-s)1-δσk,jε·∇Bs3,ε¯H˙-2-δ2+Bsε¯·∇σk,j3,εH˙-1-2δ2ds+∑k∈Z03,Nk3≠0,j∈{1,2}E∫0t1εσk,jε·∇Bs3,ε′¯H˙-1(Tε3)2+Bsε′·∇σk,j3,ε¯H˙-1-2δ2ds=Yt1,ε+Yt2,ε+Yt3,ε+Yt4,ε. 4.16

The term Yt3,ε can be simply treated as Vt3,ε in the proof of Lemma 4.2 obtaining

Yt3,ε≲η,β,γ,CV,C1,H,C2,H,|ρ|,T1εNβ-2B03,εε2+A03,ε¯ε2+A0ε′ε2. 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 k3=0 we σk,jH,ε≠0 if and only if j=1 and σk,j3,ε≠0 if and only if j=2. Let us start considering Yt1,ε obtaining, thanks to the definition of Sobolev norms in the two dimensional torus

Yt1,ε≲∑k∈Z03,Nk3=0,j=1E∫0t1(t-s)1-δσk,jH,εBs3,ε¯H˙-1-δ2ds≲1N2∑k∈Z02E∫0t1(t-s)1-δeik·xBs3,ε¯H˙-1-δ2ds=12πN2∫0t1(t-s)1-δ∑k∈Z02∑j∈Z021|j|2+2δE⟨Bs3,ε¯eik·x,e-ij·x⟩2ds=12πN2∫0t1(t-s)1-δ∑k∈Z02E⟨Bs3,ε¯,e-ik·x⟩2∑j∈Z021|j|2+2δds≲1δN2∫0t1(t-s)1-δEBs3,ε¯2ds≲η,β,γ,CV,C1,H,C2,H,|ρ|,T1εδ2N2B03,εε2+A03,ε¯ε2+A0ε′ε2, 4.18

where in the last step we exploited (3.39). Let us consider Yt2,ε obtaining, thanks to (3.25)

Yt2,ε≲∑k∈Z03,Nk3=0,j=2∫0tEσk,j3,εBsH,ε¯2ds≲C2,H∑k∈Z02N≤|k|≤2N1|k|γ∫0TEBsH,ε¯2ds≲γ1Nγ-2∫0TE∇As3,ε¯2ds≲η,β,γ,CV,C1,H,C2,H,|ρ|,T1εNγ-2B03,εε2+A03,ε¯ε2+A0ε′ε2, 4.19

where in the last step we exploited (3.38). Lastly we treat Yt4,ε, obtaining thanks to (3.8) and the fact that div and Mε commute

Yt4,ε≲∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tBsε′σk,j3,ε¯2ds=1ε∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tBsε′σk,j3,ε¯ε2ds≤1ε∑k∈Z03,Nk3≠0,j∈{1,2}E∫0tBsε′σk,j3,εε2ds≲β,CV1εNβ-2E∫0tBsε′ε2ds≲η,β,γ,CV,C1,H,C2,H,|ρ|,T1εNβ-2B03,εε2+A03,ε¯ε2+A0ε′ε2. 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. □

Interpolating between Lemma 4.2 and Lemma 4.3 we obtain:

Corollary 4.4

For each θ∈(0,1] and δ∈(0,θ] it holds

graphic file with name 40072_2026_427_Equ287_HTML.gif

The hidden constants in the inequality above depend only on η,β,γ,CV,C1,H,C2,H,|ρ|,T.

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

At3,γ¯=et(η+ηT)ΔA03¯,Bt3,γ¯=et(η+ηT)ΔB03¯+∫0te(t-s)(η+ηT)ΔdivRγ∇⊥As3¯ds.

Now we introduce some intermediate functions between (Bt3,ε¯,At3,ε¯) and (Bt3¯,At3¯). Let Bt3,ε^,At3,ε^ the unique weak solutions of the linear systems

∂tAt3,ε^=(η+ηTε)ΔAt3,ε^x∈T2,t∈(0,T)At3,ε^|t=0=A03,ε¯, 4.21
∂tBt3,ε^=(η+ηTε)ΔBt3,γ^+divRε,γ∇⊥At3,ε^x∈T2,t∈(0,T)Bt3,ε^|t=0=B03,ε¯. 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

At3,ε^=et(η+ηTε)ΔA03,ε¯,Bt3,ε^=et(η+ηTε)ΔB03,ε¯+∫0te(t-s)(η+ηTε)ΔdivRε,γ∇⊥As3,ε^ds.

Now we prove that (Bt3,ε^,At3,ε^) and (Bt3,γ¯,At3,γ¯) are close.

Lemma 4.5

Under the same assumptions of Theorem 2.15, for each θ1∈(0,1],θ2∈(0,θ1) we have

supt∈[0,T]At3,ε^-At3,γ¯H˙-θ2≲η,T|ηTε-ηT|θ2/2+v03¯-A03,ε¯H˙-θ2, 4.23
supt∈[0,T]Bt3,ε^-Bt3,γ¯H˙-θ1≲η,T|ηTε-ηT|θ2/2+A03¯-A03,ε¯H˙-θ2θ1-θ2+B03¯-B03,ε¯H˙-θ1+1θ1Nifγ=4,|ηTε-ηT|θ2/2+A03¯-A03,ε¯H˙-θ2θ1-θ2+B03¯-B03,ε¯H˙-θ1+1θ1Nγ/2-2ifγ>4. 4.24

Proof

First let us observe that by assumptions

B03,ε¯⇀B03¯inL˙2(T2),A03,ε¯⇀A03¯inL˙2(T2)

we have in particular that the families B03,ε¯2ε∈(0,1),A03,ε¯2ε∈(0,1) are bounded. Therefore

supε∈(0,1)B03,ε¯ε2ε=supε∈(0,1)B03,ε¯2<+∞,B03,ε¯→B03¯inH˙-θ2(T2)∀θ2>0,supε∈(0,1)A03,ε¯ε2ε=supε∈(0,1)A03,ε¯2<+∞,A03,ε¯→A03¯inH˙-θ2(T2)∀θ2>0. 4.25

Moreover, since by Lemma 2.10Rε,γ→Rε, we have also

supε∈(0,1)Rε,γHS<+∞. 4.26

Lastly, by simple energy estimates on (4.21) we have for each ε∈(0,1)

supt∈[0,T]At3,ε^2+∫0T∇As3,ε^2ds≲ηsupε∈(0,1)A03,ε¯2<+∞. 4.27

The convergence of Atε,3^ to At3,γ¯ then follows by triangle inequality, Lemma 2.1 and (4.25). Indeed for each t∈[0,T] it holds

At3,ε^-At3,γ¯H˙-θ2≤et(η+ηTε)Δ-et(η+ηT)ΔA03¯H˙-θ2+et(η+ηTε)ΔA03,ε¯-A03¯H˙-θ2≲η,T|ηTε-ηT|θ2/2A03¯+A03¯-A03,ε¯H˙-θ2≲|ηTε-ηT|θ2/2+A03¯-A03,ε¯H˙-θ2.

Thanks to (4.23) we can obtain also (4.24). Indeed thanks to triangle inequality for each t∈[0,T] we have

Bt3,ε^-Bt3,γ¯H˙-θ1≤et(η+ηTε)Δ-et(η+ηT)ΔB03¯H˙-θ1+et(η+ηTε)ΔB03,ε¯-B03¯H˙-θ1+∫0te(t-s)(η+ηTε)Δ-e(t-s)(η+ηT)ΔdivRε,γ∇⊥As3,ε^dsH˙-θ1+∫0te(t-s)(η+ηT)ΔdivRε,γ-Rγ∇⊥As3,ε^dsH˙-θ1+∫0te(t-s)(η+ηT)ΔdivRγ∇⊥As3,ε^-∇⊥As3,γ¯dsH˙-θ1=I1+I2+I3+I4.

I1 can be treated as above obtaining:

I1≲η,T|ηTε-ηT|θ1/2+B03¯-B03,ε¯H˙-θ1. 4.28

Thanks to Lemma 2.1, (4.26) and (4.27) it holds

I2≲|ηTε-ηT|θ1/2∫0t|t-s|θ1/2e(t-s)ηΔdivRε,γ∇⊥As3,ε^ds≲η|ηTε-ηT|θ1/2∫0t1(t-s)1-θ1/2As3,ε^ds≲T1θ1|ηTε-ηT|θ1/2. 4.29

Due to Lemma 2.1 and (4.27) we can treat I3 obtaining:

I3≲η,θ1∫0T1(t-s)1-θ1/2divRε,γ-Rγ∇⊥As3,ε^H˙-2ds≲Rε,γ-RγHS∫0T1(t-s)1-θ1/2As3,ε^ds≲T1θ1Rε,γ-RγHS. 4.30

In particular, combining (4.30) and Lemma 2.10 we have that

I3≲η,T1θ1Nifγ=4,1θ1Nγ/2-2ifγ>4. 4.31

Lastly we treat I4 combining Lemma 2.1 and (4.23):

I4≲η∫0t1(t-s)1+θ2/2-θ1/2As3,ε^-As3,γ¯H˙-θ2ds≲T1θ1-θ2supt∈[0,T]At3,ε^-At3,γ¯H˙-θ2≲η,T|ηTε-ηT|θ2/2+A03¯-A03,ε¯H˙-θ2θ1-θ2. 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 (Bt3,ε^,At3,ε^) and (Bt3,ε¯,At3,ε¯).

Lemma 4.6

Under the same assumptions of Theorem 2.15, there exists N0 large enough such that for each N≥N0, for each θ1∈(0,1],θ2∈(0,θ1),δ∈(0,θ2) we have

graphic file with name 40072_2026_427_Equ135_HTML.gif 4.33
graphic file with name 40072_2026_427_Equ136_HTML.gif 4.34

where the hidden constants depend only on η,β,γ,CV,C1,H,C2,H,|ρ|,T.

Proof

From Lemma 4.1, we already know that Bt3,ε¯ and At3,ε¯ can be rewritten in mild form as

Bt3,ε¯=et(η+ηTε)ΔB03,ε¯-Zt1,ε+∫0te(t-s)(η+ηTε)ΔdivRε,γ∇⊥As3,ε¯ds,At3,ε¯=et(η+ηTε)ΔA03,ε¯-Zt2,ε.

Therefore denoting by

Dtε=Bt3,ε¯-Bt3,ε^,dtε=At3,ε¯-At3,ε^,

we have

Dtε=-Zt1,ε+∫0te(t-s)(η+ηTε)ΔdivRε,γ∇⊥dsεds,dsε=-Zt2,ε.

Due to Corollary 4.4 we immediately obtain (4.33). Now we move to the analysis of Dtε. Zt1,ε can be treated easily by Corollary 4.4 obtaining

supt∈[0,T]EZt1,ε-θ12≲η,β,γ,CV,C1,H,C2,H,|ρ|,T1δ1+θ11+δN2(θ1-δ)1+δ. 4.35

To treat the deterministic convolution, we first argue by interpolation obtaining thanks to Lemma 2.1, (4.26)

∫0te(t-s)(η+ηTε)ΔdivRε,γ∇⊥dsεds-θ12≤∫0te(t-s)(η+ηTε)ΔdivRε,γ∇⊥dsεds-2-θ2θ1-θ2×∫0te(t-s)(η+ηTε)ΔdivRε,γ∇⊥dsεds-θ22-θ1+θ2≲η∫0tdsεH˙-θ2dsθ1-θ2∫0t1(t-s)1-θ2/2As3,ε^-As3,ε¯ds2-θ1+θ2≲T1θ22-θ1+θ2∫0tdsεH˙-θ22dsθ1-θ22supt∈[0,T]At3,ε¯+At3,ε^2-θ1+θ2. 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 t∈[0,T] it holds:

E∫0te(t-s)(η+ηTε)ΔdivRε,γ∇⊥dsεds-θ12≲η,T1θ22-θ1+θ2E∫0TdsεH˙-θ22dsθ1-θ22supt∈[0,T]At3,ε¯+At3,ε^2-θ1+θ2≤1θ22-θ1+θ2E∫0TdsεH˙-θ22dsθ1-θ22Esupt∈[0,T]At3,ε¯2+At3,ε^22-θ1+θ22≲η,β,γ,CV,C1,H,C2,H,|ρ|,T1θ22-θ1+θ2δ(θ1-θ2)(1+θ2)2(1+δ)N(θ2-δ)(θ1-θ2)(1+δ). 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,

|ηTε-ηT|≲1N,

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

∑k∈Z03,Nj∈{1,2}Lσk,jεLσ-k,jεF=ΛεF.

First let us observe that it holds

∑k∈Z03,Nj∈{1,2}Lσk,jεLσ-k,jεF=∑k∈Z03,Nj∈{1,2}div(σk,jε⊗σ-k,jε∇F)-R=divQ0ε(0)∇F-R=ΛεF-R,

where we denoted by

R=∑k∈Z03,Nj∈{1,2}σk,jε·∇F·∇σ-k,jε+σ-k,jε·∇F·∇σk,jε-(F·∇σ-k,jε)·∇σk,jε.

Therefore, it is enough to show that

R=0. A.1

First we observe that

σk,jε·∇F·∇σ-k,jε=(σk,jε·∇F)·∇σ-k,jε+σk,jε·∇2σ-k,jεF.

Therefore

R=∑k∈Z03,Nj∈{1,2}(σk,jε·∇F)·∇σ-k,jε+σ-k,jε·∇F·∇σk,jε+∑k∈Z03,Nj∈{1,2}σk,jε·∇2σ-k,jεF-(F·∇σ-k,jε)·∇σk,jε=R1+R2. A.2

R1 is easily 0 due to (2.17). In order to show that R2=0, we observe that, recalling the definition of σk,jε and expanding the sum, it holds for each k∈Z03,N,j∈{1,2}

σk,jε·∇2σ-k,jεF-(F·∇σ-k,jε)·∇σk,jε=-2∑l,m∈{1,2,3}θk,jε2ak,jklkm(ak,j)lFm=2σk,jε·∇2σ-k,jεF=2∑m∈{1,2,3}σk,jε·∇∂mσ-k,jεFm. A.3

Let us show that for each m∈{1,2,3} it holds ∑k∈Z03,Nj∈{1,2}σk,jε·∇∂mσ-k,jε=0. Due to the fact that σk,jε are divergence free, we have

∑k∈Z03,Nj∈{1,2}σk,jε·∇∂mσ-k,jε=div∑k∈Z03,Nj∈{1,2}σk,jε⊗∂mσ-k,jε=idiv∑k∈Z03,Nj∈{1,2}θk,jε2kmak,j⊗ak,j=0. A.4

Our claim (A.1) then follows combining (A.2), (A.3), (A.4).

Now let us prove that

ρ∑k∈Z03,Nk3=0Lσk,1εLσ-k,2ε+Lσk,2εLσ-k,1εF=ΛρεF.

First let us observe that it holds

∑k∈Z03,Nk3=0Lσk,1εLσ-k,2ε+Lσk,2εLσ-k,1εF=∑k∈Z03,Nk3=0div(σk,1ε⊗σ-k,2ε+σk,2ε⊗σ-k,1ε)∇F-R~=divQρε¯(0)∇F-R~,

where we denoted by

R~=∑k∈Z03,Nk3=0σk,1ε·∇F·∇σ-k,2ε+σ-k,1ε·∇F·∇σk,2ε-(F·∇σ-k,1ε)·∇σk,2ε+∑k∈Z03,Nk3=0σk,2ε·∇F·∇σ-k,1ε+σ-k,2ε·∇F·∇σk,1ε-(F·∇σ-k,2ε)·∇σk,1ε.

Since Qρε¯(0)=0, we are left to show that

-ρR~=ΛρεF. A.5

First we observe that

σk,1ε·∇F·∇σ-k,2ε+σk,2ε·∇F·∇σ-k,1ε=σk,1ε·∇F·∇σ-k,2ε+σk,1ε·∇2σ-k,2εF+σk,2ε·∇F·∇σ-k,1ε+σk,2ε·∇2σ-k,1εF.

Therefore

R~=∑k∈Z03,Nk3=0σ-k,1ε·∇F·∇σk,2ε+σ-k,2ε·∇F·∇σk,1ε+σk,1ε·∇F·∇σ-k,2ε+σk,2ε·∇F·∇σ-k,1ε+∑k∈Z03,Nk3=0σk,1ε·∇2-(F·∇σ-k,1ε)·∇σk,2εσ-k,2εF+σk,2ε·∇2σ-k,1εF-(F·∇σ-k,2ε)·∇σk,1ε=R~1+R~2. A.6

R~2=0 arguing as above when showing that R2=0. We have for each k such that k3=0

σ-k,1ε·∇F·∇σk,2ε=σk,1ε·∇F·∇σ-k,2ε,σ-k,2ε·∇F·∇σk,1ε=σk,2ε·∇F·∇σ-k,1ε A.7

due to our choice of the σk,jε. Therefore

R~=2∑k∈Z03,Nk3=0σk,1ε·∇F·∇σ-k,2ε+σk,2ε·∇F·∇σ-k,1ε.

Since, due to (2.15), we have for each l∈{1,2,3}

∂lQρε¯(0)=2iρ∑k∈Z03,Nk3=0θk,1εθk,2ε∗ak,1⊗ak,2+θk,2εθk,1ε∗ak,2⊗ak,1kl,

it follows that

-ρR~=-∑l∈{1,2}∂lQρε¯(0)·∇Fl. 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 Rε,γ in (2.19), it follows that if F:T2→R3 we have

ΛρεF=-∑l∈{1,2}(0,0,∂lQρε,3,H¯(0)·∇HFl)t=2ρ∑l∈{1,2}∑k∈Z03,Nk3=0(0,0,θk,1εθk,2εklak,1·∇HFl)t=2ρ∑l∈{1,2}∑k∈Z03,Nk3=0(0,0,θk,1εθk,2εdivklak,1Fl)t=-0,0,divRε,γFHt.

More generally if F:Tε3→R3 we have

ΛρεF=-∑l∈{1,2}(∂lQρε,H,3¯(0)∂3Fl,∂lQρε,3,H¯(0)·∇HFl)t=-∑l∈{1,2}∂3(∂lQρε,H,3¯(0)Fl),divHRε,γFHt.

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)

Hε,γ:=12TEWε(T,x)·(∇×Wε(T,x)).

As before we split our noise in mean and fluctuations along the thin direction Wε=Wε¯+Wε′, and split the mean part in horizontal and vertical components Wε¯=Wε,H¯+Wε,3¯e3. Observe that

∇×Wε¯=(-∇⊥Wε,3¯,∇⊥·Wε,H¯),

where with a small abuse of notation we have indicated with Wε,3¯ the scalar quantity Wε¯·e3

Hε,γ=12TE-Wε,H¯·∇⊥Wε,3¯+Wε,3¯∇⊥·Wε,H¯+Wε′·(∇×Wε¯)+Wε¯·(∇×Wε′)+Wε′·(∇×Wε′).

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,

-Wε,H¯·∇⊥Wε,3¯=-∑k,k′∈Z02,N≤|k|,|k′|≤2Nθk,1εθk′,2εak1·(ik′⊥)ei(k+k′)·xWk,1Wk′,2=1C1,HC2,H∑k,k′∈Z02,N≤|k|,|k′|≤2Nk⊥·(k′)⊥|k|2|k′|γ/2ei(k+k′)·xWk,1Wk′,2.

Taking the expected value and remembering that EWTk,1WTk′,2=2Tρδk+k′ we get

E-Wε,H¯·∇⊥Wε,3¯=-2ρTC1,HC2,H∑k∈Z02N≤|k|≤2N1|k|γ/2.

Analogously, we have

Wε,3¯(∇⊥·Wε,H¯)=-1C1,HC2,H∑k,k′∈Z02,N≤|k|,|k′|≤2N1|k|γ/2ei(k+k′)·xWk,2Wk′,1.

This implies

EWε,3¯(∇⊥·Wε,H¯)=-2ρTC1,HC2,H∑k∈Z02N≤|k|≤2N1|k|γ/2.

Finally for the last term

Wε′·(∇×Wε′)=∑k,k′∈Z03,ε,k3,k3′≠0N≤|kH|,|kH′|≤2Ni,j∈{1,2}θi,kεθk,k′εaki·(ik′×ak′j)ei(k+k′)·xWk,iWk′,j.

Taking expectation, we see that only the terms with k′=-k and i=j survive but then, aki·(k×a-ki)=aki·(k×aki)=0. In the end Hε,γ does not vanish in the limit if and only if γ=4. Indeed, we have

Hε,γ=-2ρζH,γ/2NNγ/2-2C1,HC2,H→Hγ=-4πρlog2C1,HC2,Hifγ=40ifγ>4. B.1

Due to (B.1) it follows that

Rε,γ=-Hε,γ20-110,Rγ=-Hγ20-110. B.2

Finally, due to (B.2), denoting by

Btγ¯=(-∇⊥At3,γ¯,Bt3,γ¯)t,Aγ=-Hγ2100010000,

our limit equations (2.30), (2.31) read as

∂tBtγ¯=(η+ηT)ΔBtγ¯+∇×(AγBtγ¯)x∈T2,t∈(0,T)divBtγ¯=0Btγ¯|t=0=B¯0. 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.


Articles from Stochastic Partial Differential Equations are provided here courtesy of Springer

RESOURCES