arxiv: v3 [math-ph] 23 Jan 2017

Transcription

1 AN INFINITE LINEAR HIERARCHY FOR THE INCOMPRESSIBLE NAVIER-STOKES EQUATION AND APPLICATION ZEQIAN CHEN arxi:6773 [math-ph] 23 Jan 27 Abstract This paper introduces an infinite linear hierarchy for the homogeneous, incompressible three-dimensional Naier-Stokes equation The Cauchy problem of the hierarchy with a factorized diergence-free initial datum is shown to be equialent to that of the incompressible Naier-Stokes equation in H This allows us to present an explicit formula for solutions to the incompressible Naier-Stokes equation under consideration The obtained formula is an expansion in terms of binary trees encoding the collision histories of the particles in a concise form Precisely, each term in the summation of n particles collision is expressed by a n-parameter singular integral operator with an explicit kernel in Fourier space, describing a kind of processes of two-body interaction of n particles Therefore, this formula is a physical expression for the solutions of the incompressible Naier-Stokes equation Contents Introduction 2 Function spaces 5 3 The Naier-Stokes hierarchy 6 3 Interaction operator 6 32 Definition of solution 7 4 Uniqueness and equialence for the Naier-Stokes hierarchy 5 Graphic expression for interaction operators 2 6 Graphic representation for the Naier-Stokes hierarchy 6 7 A prior space-time estimates 2 7 Space-time estimates for collision operators 2 72 Space-time estimates for error operators Proof for uniqueness 28 8 A solution formula for the incompressible Naier-Stokes equation 29 9 Appendix 38 9 Binary trees with marked edges Preliminary estimates 4 References 42 Introduction We are concerned with the homogeneous, incompressible Naier-Stokes equation in R 3 { t u + u u = u p, u =, with the initial data u = u satisfying u = Recall that u = ut, x R 3 is the elocity of the fluid at position x R 3 and time t >, and p = pt, x is a scalar field called the pressure of the fluid, while u = u x R 3, x R 3, is a gien initial elocity ector By eliminating the pressure p, Key words: Naier-Stokes equation, Naier-Stokes hierarchy, Cauchy problem, binary tree, solution formula

2 2 Zeqian Chen the equation is reformulated as 2 { t u = u W u u, u =, where W u u = P u u with P being the Leray projection on [L 2 R 3 ] 3 This formulation was traced back to Leray [6] see also [7, Chapter ] for details From the quantum-mechanical point of iew, the nonlinear term of the first equation of 2 that inoles a two-fold tensor function should indicate the on-site effect of many-body pair interaction in some sense This obseration allows us to introduce a sequence of symmetric tensor functions u k t, x k := k j= ut, x j with x k = x,, x k R 3 k for all k It then follows that U = u k k satisfies an infinite hierarchy of linear equations that follows 3 t u k t, x k = k j u k t, x k j= k W j u k+ t, x k, x j for all k, where j and W j denote respectiely the operators and W acting on x j R 3 for eery j Conersely, a symmetric tensor solution U = u k k to 3 with a factorized diergence-free initial data leads necessarily to a solution to 2, thanks to the uniqueness of solutions to the initial problem for the hierarchy 3 see Section 4 below We thereby can inestigate the Cauchy problem of through using the infinite linear hierarchy 3 In what follows, we will call this hierarchy the Naier-Stokes hierarchy, since it can be obtained from the Naier-Stokes equation By the linearity of the Naier-Stokes hierarchy 3, its solution with an initial datum u k k can be formally expanded in a Duhamel-type series, ie, for any k, 4 u k t = e t k u k + n j= + t t t dt dt 2 t dt dt 2 j= tj dt j e t t k W k e tj tj k+j W k+j e tj k+j u k+j tn dt n+ e t t k W k e tn tn+ k+n W k+n u k+n+ t n+ for eery n, with the conention t = t, where m = m j= j and W m = m j= W j for m Gien a fixed k, from the definition of W m there are about kk + k +n n! terms in the summation and remainder expressions on the right hand of 4 For handling the integration terms in this expression, a natural method is to perform an iteratie estimate inoling subsequent one-parameter space-time dispersie bounds Unfortunately, the present author was unable to proe a prior space-time estimates for W m s cancelling the factor n! at the moment of this writing For this reason, instead we manage to present an expansion in terms of binary trees as follows 5 u k t = e t k u k + n C T,t u k+j T T j,k j= T T n+,k t dsr T,t s u k+n+ s for any k and for eery n Here, T m,k is the set of k-rooted binary trees see Section 9 below encoding the collision ways of k + m particles with T m,k C m, where C is a constant depending only on k; and both C T,t and R T,t s are multi-parameter singular integral operators on tensor product spaces, indicating the two-body interaction of k + m particles in a concise form The key noelty of 5 is to reduce the number of n! terms in the expansion 4 to C n A suitable strategy for using the Naier-Stokes hierarchy 3 to inestigate the Naier-Stokes equation 2 is to establish a prior space-time estimates for the interaction operators C T,t and R T,t, which are singular integral operators from multi-parameter product spaces to one-parameter spaces Although C T,t and R T,t are expressed by explicit kernels in Fourier space, to the best of my knowledge, both seem not to fall into an existing theory for either multi-parameter singular integral operators on tensor product spaces or multi-linear singular integral operators on Cartesian product spaces In fact, the argument we proceed, following [4] in spirit, is elementary and ery inoled The proofs

3 Naier-Stokes equation 3 are quite technical and complicated, but essentially eerything is based on two main ideas: integrate δ-functions and estimate integration for rational functions with parameters In this paper, we will proe the equialence between the Cauchy problem of 2 and that of 3 with a factorized diergence-free initial datum in H As an application, we obtain a solution formula for with an initial datum u H R 3 that follows 6 ut = e t u + C T,t u T T n, n= in the sense of distributions for small t > As noted aboe, eery T T n, indicates a kind of processes of two-body interaction of n + particles Note that eery C T,t encodes the two-body interaction of particles in a concise form Therefore, this solution formula is a physical expression and should be of helpful implications in computing the incompressible Naier-Stokes equation There are extensie works on the incompressible Naier-Stokes equation, we refer to [7, 8] and references therein also see arxi for more recent works Howeer, it seems that this is the first time to introduce the Naier-Stokes hierarchy 3 as a framework of studying We expect that this framework will shed some new lights on the study of the incompressible Naier-Stokes equation, such as the multi-parameter singular integral operators will play a role in this study In fact, the hierarchy 3 exhibits a certain kind of interference behaior arising from linear superposition of many-mode fluids We will explain the physical meaning of 3 together with 5 and 6 elsewhere The organization of this paper is as follows In the next section, we introduce some function spaces that will be used throughout the paper In Section 3 we show that the interaction operators in the Naier-Stokes hierarchy are well-defined in the sense of distributions, and introduce the notion of solution to the Naier-Stokes hierarchy In Section 4, we gie a uniqueness theorem for the Naier- Stokes hierarchy and show the equialence between the Cauchy problem of 2 and that of 3 with a factorized diergence-free initial datum in H In Sections 5 and 6, we proe the formula 5 The aim of Section 7 is to establish a prior space-time estimates for the interaction operator and then present the proof of the uniqueness theorem mentioned aboe Finally, in Section 8, we proe the main result of this paper, that is the solution formula 6 We include preliminaries on binary trees and some technical inequalities in Appendix Preliminary notation Throughout the paper, we denote by x = x, x 2, x 3 a general ariable in R 3 and by x k = x,, x k a point in R 3k = R 3 k For any x, y R 3 we denote by x y = 3 i= xi y i, and x = x x 2 with the conenience notation x 2 = x Moreoer, we use the notation x = + x 2 2 for all x R 3 For any x k, y k R 3k, we set x k, y k = k j= x j y j, and x k = x k, x k 2 with the conenience notation x 2 k = x2 + + x 2 k The following are some notations that will be used throughout the paper L 2 R n the Hilbert space of square integrable functions in R n DR n and D R n the space of all smooth ie, infinitely differentiable functions on R n with compact support and its locally conex topological dual space SR n and S R n the Schwarz space of all smooth functions of rapid decrease and the space of tempered distributions equipped with the Schwartz topology, respectiely H α R n α-order Sobole spaces for α R, defined as the closure of the Schwartz functions in R n under their norms f Hα R n := α 2 f L 2 R n ˆf the Fourier transform of f, defined by the formula n+ 7 ˆfξ := R n dxfxe ix ξ, ξ R n Here and in the following, i = L 2 R 3 = [L 2 R 3 ] 3 the Hilbert space of square integrable ector fields u = u, u 2, u 3 in R 3 = x, x 2, x 3 the gradient operator in R 3

4 4 Zeqian Chen R x i = x i 2 i =, 2, 3 the Riesz transform, ie, for f L 2 R 3 8 R x ifξ = iξi ξ ˆfξ, ξ R 3 The Leray projection P on L 2 R 3 is defined by P = id + R R with R = R x, R x 2, R x 3, ie, 9 P u j = u j + 3 R x j R x iu i, j =, 2, 3, i= for u = u, u 2, u 3 L 2 R 3 u k = u k x k k-fold tensor functions in R 3k with the conention notation u k = u i,,i k := u i,,i k x k : i,, i k 3 a i b i = 3 i= ai b i Einstein s summation notation p, q, r Fourier momentum ariables in R 3 with the conenience notation p 2 = p fp, fq, or fr the Fourier transform of f in R 3, ie, the usual hat indicating the Fourier transform is omitted p k = p,, p k a point in R 3k = R 3 k with the conenience notation p 2 k = p2 + + p 2 k u k p k, u k q k, or u k r k the Fourier transform of k-body elocity u k x k in position space, ie, u k p k := d x k u k x k e i x k, p k with the slight abuse of notation of omitting the hat on the left hand side dp the integration measure for the momentum ariable p which is always diided by 2π 3, ie, dp = 2π 3 d Lebp, where d Leb denotes the usual Lebesgue measure in R 3 With this notation, we hae the Fourier inersion formula fx = dpfpe ix p, x R 3 δp the delta function in the momentum space R 3 corresponding to the measure dp aboe, ie, dpfpδp q = fq, q R 3 for smooth functions f in the momentum space The delta function in the position space R 3, δx, remains subordinated to the usual Lebesgue measure in R 3 τ frequency ariables dual ariables to the time t with the conenience notation dτ = 2π d Lebτ, to which the delta function δτ of τ-ariables is subordinated Without specified otherwise, the integrals are oer R 3, R 3k, or on R, if the measure is dx, dp; d x k, d p k ; or dτ etc We use X Y to denote the inequality X CY for an absolute constant C >, and use X Y as shorthand for X Y X Also, X p,s, Y denotes the inequality X C p,s, Y for some constant C p,s, > depending on p, s,

5 Naier-Stokes equation 5 Gien k, we define equipped with the norm 2 Function spaces L 2 k R3 := { u k = u i,,i k : ui,,i k L 2 R 3k, i,, i k 3 }, u k L 2 k = and the associated inner product is gien by u k, k L 2 = k i,,i k 3 i,,i k 3 u i,,i k 2 L 2 2, ui,,i k, i,,i k L 2 R 3k for any u k = u i,,i k, k = i,,i k L 2 k R3 Note that L 2 R3 = L 2 R 3, and we simply write u = u For u k L 2 k R3 we let Θ σ u k x k = u iσ,,i σk x σ,, x σk for a permutation σ Π k Π k denotes the set of permutations on k elements Each Θ σ is a unitary operator on L 2 k R3 We define L 2 k R3 := { u k L 2 k R3 : Θ σ u k = u k, σ Π k } equipped with the norm L 2 k Then for each uk = u i,,i k L 2 k R 3, u k L 2 k R3 if and only if for eery i,, i k 3, u i,,i k x,, x k = u iσ,,i σk x σ,, x σk for all σ Π k We remark that for eery k 2, L 2 k R3 resp, L 2 k R3 is identified with the k-fold Hilbert tensor resp, symmetric tensor product space of L 2 R 3 In the sequel, we will write L 2 k = L2 k R3 and L 2 k = L2 k R3 as shorthand For k, we denote by D k R 3 resp, S k R 3 the space of k-fold tensor smooth and compactly supported functions resp, Schwarz functions, ie, D k R 3 = { φ k = φ i,,i k i,,i k 3 : φ i,,i k DR 3k } and S k R 3 = { φ k = φ i,,i k i,,i k 3 : φ i,,i k SR 3k } We may define the generalized function space D k R3 as the topological dual space of D k R 3 and the Schwarz generalized function space S k R3 as that of S k R 3, respectiely Similarly, for any T >, we can define D k, T R 3 and S k, T R 3 Gien k, we write as shorthand S j = j 2 for j k, and S k α = k j= for any k and for any α R, with the conention S k = S k Here and in the following, j refers to the usual Laplace operator with respect to the j-th ariables x j R 3 We then define H α k R3 for α R as the closure of the Schwartz functions u SR 3k under the norm S α j u H α := Sk k α u L 2 R, 3k These spaces are Hilbert spaces under the natural inner products In fact, each H α k R3 is identified with the k-fold Hilbert tensor product spaces of the usual Sobole space H α R 3 We will write H α k = Hα k R3 as shorthand

6 6 Zeqian Chen Next, we define H α k R3 for α R to be the space with the norm Moreoer, we define H α k R3 := { u k = u i,,i k : u i,,i k H α k R3 } u k H α k = i,,i k 3 u i,,i k 2 H α k 2 H α k R3 = { u k = u i,,i k H α k R3 : Θ σ u k = u k, σ Π k } Thus H α k R3 s resp, H α k R3 s generalize the spaces L 2 k R3 resp, L 2 k R3, which correspond to the cases α = It can be shown that for α >, the Banach space dual of H α k R3 resp, H α k R3 is identified with H α k R3 resp, H α k R3 In what follows, we will write as shorthand respectiely H α k for Hα k R3, H α k for Hα k R3, H α = H α, Hα = H α, etc 3 The Naier-Stokes hierarchy 3 Interaction operator Gien k, we define 3 j u k+ := x i j u i,,i k,i, j k +, with Einstein s summation notation x i j u i,,i k,i = 3 i= x i j u i,,i k,i, and 32 P j u k := u k + R i x j R x l j j u i,,i j,l,i j+,,i k, j k, where Einstein s summation notation is used again for the index l For any j k, put 33 W + j,k+ uk+ x k := j u k+ x k, x j = x i j u i,,i k,i x k, x j and 34 W j,k+ uk+ x k := R i x j R x l j j x i j u i,,i j,l,i j+,,i k,i x k, x j We then define 35 Wj,k+ u k+ x k := W + j,k+ uk+ x k + W j,k+ uk+ x k = P j j u k+ x k, x j, for any j k We introduce the interaction operator W k as k 36 W k := j= W j,k+ which describes interactions between the first k particles and the k + -th particle The action of W k is defined through a limiting procedure Since the expression of W k acting on smooth tensor functions u k+ = u i,,i k,i k+ Sk+ R 3 is W k u k+ x k = k P j j u k+ x k, x j, the action of W k for general u k+ is then formally gien by 37 W k u k+ k x k = P j j dx k+ δx j x k+ u k+ x k, x k+ j= j= Since S k+ R 3 is dense in L 2 k+, W j,k+ is a densely defined operator from L 2 k+ into L2 k for any j k, and so does W k In the following, we show that W k is well defined in H k+ by 37 in the sense of distributions To this end, we choose a nonnegatie function h DR 3 supported in the unit ball B = {x R 3 :

7 Naier-Stokes equation 7 x } such that hdx = For any ɛ >, we set δ ɛ x = ɛ 3 hɛ x Then for u k+ L 2 k+, we define 38 W k u k+ k x k = lim P j j dx k+ δ ɛ x j x k+ u k+ x k, x k+ ɛ j= in the sense of distributions, ie, for eery φ k = φ i,,i k D k R 3, φi,,i k, W k u k+ i,,i k = lim ɛ j= + i= L 2 R 3k k [ 3 dx k+ x i j φ i,,i k, δ ɛ x j x k+ u i,,i k,i, x k+ L 2 R 3k 3 3 l= i= for all i,, i k 3 dx k+ Rx i j R x l j j x i j φ i,,i k, δ ɛ x j x k+ u i,,i j,l,i j+,,i k,i, x k+ L 2 R 3k Proposition 3 For eery k, W k is well defined for all u k+ H k+ in the sense of distributions, such that 39 φ k, W k u k+ Ck L 2 2 φ k H uk+ k k H, k+ where C > is a uniersal constant Consequently, for any k the operator W k, originally defined on Schwarz functions, can be extended to a bounded operator from H k+ into H k Proof By a standard argument, it follows from Lemmas 96 and 97 that the limit 38 exists for eery u k+ H k+ in the sense of distributions, and is independent of the choice of h DR3 Hence, the operator W k is well defined for all u k+ H k+ To proe 39, by Lemma 97 again, we hae for each term in 38, φ i,,i k, W k u k+ i,,i k C k j= i= L 2 R 3k 3 x i j φ i,,i k L 2 R [ 3k j 2 k+ 2 ui,,i k,i L 2 R 3k+ + 3 j 2 k+ 2 ui,,i j,l,i j+,,i k,i L 2 R ] 3k+ l= This yields 39 and completes the proof 32 Definition of solution In terms of W k s, we can rewrite the Naier-Stokes hierarchy 3 as 3 t u k t = k u k t + W k u k+ t for all k, where and in the following, k := k j j= In the sequel, we define the notion of weak solution to the Naier-Stokes hierarchy 3 At first, with the help of Proposition 3, we gie a restriction assumption that will be proposed on suitable solutions to 3 Definition 32 A sequence u k k k H k is said to be consistent if 3 u k, W + j,k+ uk+ L 2 k = for eery k and for all j k Remark 33 Note that if u H R 3 with u =, then u k k is consistent ]

8 8 Zeqian Chen We refer to [3] for the details of strongly measurable functions with alues in a Banach space and the Bochner and Pettis integrals for them Definition 34 Let < T A weak solution on, T for the Naier-Stokes hierarchy 3 is defined as a sequence of strongly measurable functions u k t on, T with alues in H k for k, satisfying the following properties: For eery k, one has T [ t φ + k φ, u k L 2 + φ, W k u k+ ] k L 2 k dt =, for any φ D k, T R 3 with the diergence free property that follows 3 x l j φ i,,i j,l,i j+,,i k t = for all < t < T and for eery i,, i k 3 2 For any k the diergence free conditions 3 34 x l j u k i,,i j,l,i j+,,i k t = l= l= hold true for eery t, T and all j k, where i,, i k 3 3 The sequences u k t k are consistent for eery t, T As for T =, the solution is called a global weak solution The equality 32 means that u k t k satisfies 3 in the sense of distributions Note that φ, W k u k+ k is well defined in 32, since W k u k+ H k for uk+ H k+ Remark 35 Any weak solution for the Naier-Stokes hierarchy is shift-inariant, ie, if u k t, x k k is a weak solution on, T, so does u k t + t, x k x k k on, T t, where t, T and x k R 3 k are fixed for all k Moreoer, for eery λ > putting 35 u k λ t, x k = λ k u k λ 2 t, λ x k, k one has that for each λ >, u k λ k is a weak solution, T to the Naier-Stokes hierarchy 3 when u k k does on, λ 2 T, and ice ersa Thus, the Naier-Stokes hierarchy 3 has the usual space-time dilation inariance Definition 36 Let < T Suppose U = u k k k L2 k R3 such that for eery k, 36 3 l= x l j u k i,,i j,l,i j+,,i k = in the sense of distributions for all j =,, k, and for any i,, i k 3 A weak solution on [, T for the Cauchy problem of the Naier-Stokes hierarchy 3 with the initial data U that is 37 u k = u k for any k, is by definition a weak solution u k t k on, T to the Naier-Stokes hierarchy 3 such that for eery k, u k L, T ; L 2 k R3 and lim t uk t = u k in the weak topology of L 2 k R3 When T =, the solution is said to be a global solution We shall study the Cauchy problem of 3 with the initial alue 37 by transforming 3 into the integral Naier-Stokes hierarchy that follows 38 u k t = T k tu k + t dst k t sw k u k+ s, k,

9 Naier-Stokes equation 9 where the free eolution operator T k t is defined on L 2 k for eery t by 39 T k tu k := e t k u i,,i k for eery u k = u i,,i k L 2 k Proposition 37 Gien any fixed k and t, T k t is a contraction on H α k ie, for any α R, for all u k = u i,,i k H α k T k tu k H α uk H α k k Proof Fix k and let t Note that for any i,, i k 3, e t k u i,,i k L2 R 3k u i,,i k L2 R 3k, it follows that T k t is a contraction on L 2 k Since et k commutates with S j = j 2 for all j k, it follows that T k t is a contraction on H α k for eery α R By Propositions 3 and 37, for k and t s > one has T k t sw k u k+ s H k if u k+ s H k+ Thus, when t uk t is strongly measurable on, T with alues in H k for k, the equality 38 can be expressed as that for each t >, there is a representation of t dst k t sw k u k+ s which lies in H k and such that 38 holds in the sense of distributions, due to the fact that both u k t and T k tu k are in H k for t >, where uk L 2 k Definition 38 Let < T Suppose U = u k k k L2 k R3 satisfies the diergencefree condition 36 for all k A mild solution on [, T to the integral Naier-Stokes hierarchy 38 with the prescribed initial condition U is defined as a sequence of strongly measurable functions u k t on, T with alues in H k R3 for k, satisfying the following conditions: The integral equation 38 holds for all t, T in the sense of distributions 2 The sequences u k t k are consistent for eery t, T 3 For eery k, u k L, T ; L 2 k R3 and in the weak topology of L 2 k R3 lim t uk t = u k When T =, the solution is called a global mild solution Next, we show the equialence between a weak solution to the Cauchy problem of the Naier-Stokes hierarchy 3 and a mild solution to the integral Naier-Stokes hierarchy 38 Proposition 39 Let u k L 2 k R3 satisfying 36 for all k A sequence of strongly measurable functions u k t on, T with alues in H k R3 for k is a weak solution to the Cauchy problem of the Naier-Stokes hierarchy 3 with the initial data u k k = u k k, if and only if it is a mild solution to the integral Naier-Stokes hierarchy 38 with the prescribed initial condition u k k Proof The proof is straightforward by using the standard argument cf [7, Theorem 2] We include the details for the sake of conenience Let < T Suppose U = u k k k L2 k R3 satisfying the diergence-free condition 36 for all k At first, we assume that

10 Zeqian Chen u k t k is a weak solution on [, T to the Cauchy problem for 3 with the initial datum U By Propositions 3 and 37, for k and for t, T one has s T k t sw k u k+ s is strongly measurable on, t with alues in H k, since s uk+ s is strongly measurable on, T with alues in H k+ We put F u k = T k tu k + in the sense of distributions Then we hae t dst k t sw k u k+ s t u k F u k = k u k F u k with lim t u k F u k = in the sense of distributions By the standard argument cf [7, p 3], we conclude that u k = F u k and, therefore u k t k is a mild solution to 38 with the prescribed initial condition U Conersely, let u k t k be a mild solution on [, T to 38 with the prescribed initial condition U For any k we hae t F u k = k F u k + W k u k+ t in the sense of distributions Since u k = F u k for all k, it follows that u k t k is a weak solution to 3 with the initial data U 4 Uniqueness and equialence for the Naier-Stokes hierarchy The following is a uniqueness theorem for the Naier-Stokes hierarchy Theorem 4 Let T > Assume that U = u k k k H k k, u k satisfies the diergence-free condition 36 and 4 u k H k Ck where C > is a constant independent of k Then the integral Naier-Stokes hierarchy u k t = T k tu k + t T k t sw k u k+ sds, k, is consistent and for eery has at most one mild solution Ut = u k t k in [, T with U = U such that for eery k, u k L [, T, H k and satisfies the bound 42 u k L [,T,H k C k As in [], we define { H = u k k H k : λ >, } λ k uk H < k k k equipped with u k k H = inf { λ > : k λ k uk H k } Note that H is not actually a norm but a F-norm in H Thus, H is a F -space cf [2, Chapter II] For any u H R 3, it is easy to check that u k k H and u k k H = 2 u H Namely, U H is compatible with the Sobole norm u H for factorized hierarchies U = u k k with u H Remark 42 By using this F -space of Sobole-type, Theorem 4 can be reformulated as follows: The integral Naier-Stokes hierarchy 38 has uniqueness of mild solutions in H

11 Naier-Stokes equation Combining Theorem 4 and Proposition 39 yields the following result Corollary 43 Let u H R 3 such that u = Let ut be the unique mild solution in C[, T, H R 3 for the Naier-Stokes equation 2 with the initial datum u = u, where T is the maximal life-time of ut Let u k t = ut k for eery k Then Ut = u k t k is a unique weak solution in H for the Cauchy problem of the Naier-Stokes hierarchy 3 on [, T with the initial datum U = u k k Remark 44 This corollary shows that the initial problem for the Naier-Stokes hierarchy 3 in H with a factorized diergence-free initial datum is equialent to the Cauchy problem of the Naier-Stokes equation 2 in H The proof of Theorem 4 is based on Duhamel expansion for the solution to 38 Any solution u k t k to 38 can be formally expanded in a Duhamel-type series, ie, for any k, 43 u k t = T k tu k + n t j= + t dt t t dt dt 2 tj dt 2 dt j T k t t W k T k+j t j t j W k+j T k+j t j u k+j tn dt n T k t t W k T k+n t n t n W k+n u k+n t n for eery n >, with the conention t = t Note that the terms in the summation contain only the initial data, which are said to be fully expanded, while the last error term inoles the function at intermediate time t n We want to estimate the terms on the right hand side of 43, this will be mostly done in Fourier momentum space To this end, we introduce, for a gien n > and j, m n with j m, 44 K + j,m un q n = iq j + q m i u i,,i m,i,i m+,,i n q n and 45 K j,m un q n = i q j + q m ij q j + q m l q j + q m i q j + q m 2 u i,,i j,l,i j+,,i m,i,i m+,,i n q n Recall that a i b i = 3 i= ai b i and the conention notation q 2 = q Moreoer, put 46 K j,m u n q n := K + j,m un q n + K j,m un q n Then, K ± j,m and K j,m are all linear operators from S n R 3 into S n R 3 for any n > Clearly, if {j, m } {j 2, m 2 } = then K ± j,m commutes with K ± j 2,m 2, ie, 47 K ± j,m K ± j 2,m 2 = K ± j 2,m 2 K ± j,m, K j,m K j2,m 2 = K j2,m 2 K j,m Now, in Fourier space, by 33 we hae W + j,k+ uk+ p k = i dq k+ p i j u i,,i k,ip,, p j, p j q k+, p j+,, p k, q k+ 48 = d q k+ [ k Similarly, by 34 we hae i p j W j,k+ uk+ p k =i dq k+ 49 = ι j j pl j pi j p 2 j d q k+ [ k ι j ] δp ι q ι δp j q j q k+ K + j,k+ uk+ q k+ u i,,i j,l,i j+,,i k,ip,, p j q k+,, p k, q k+ ] δp ι q ι δp j q j q k+ K j,k+ uk+ q k+

12 2 Zeqian Chen Therefore, by 35 and 36, W k acts in momentum space according to k [ k ] 4 W k u k+ p k = d q k+ δp ι q ι δp j q j q k+ K j,k+ u k+ q k+ j= ι j We will apply 4 repeatedly and show that all integrals in 43 are absolutely conergent 5 Graphic expression for interaction operators In this section, we will use binary trees see Section 9 for details to represent arious terms in the Duhamel expansion 43 Precisely, we will use a forest consisting of finite binary trees to indicate how the initial state eoles as the system undergoes a specific sequence of collision First of all, we present the collision mapping from an initial state into the final state determined by such a forest Definition 5 Gien a fixed forest T T n,k, for eery ertex V T we denote by e a the mother-edge of the ertex, by e b the marked daughter-edge, and by e c the unmarked daughter-edge see Fig Moreoer, for each edge e ET we associate a negatie number γ e < such that 5 γ ea = γ e b + γ e c, for any ertex V T Figure One ertex with three edges Remark 52 By definition, the alues γ e associated with all leaes e LT uniquely determine all others γ e for e ET \ LT Definition 53 Gien a fixed forest T T n,k, the granddaughter-edge de of an edge e ET is defined as follows: If e is a leaf, then de = e; otherwise, de is defined as the unique leaf ē such that there is a route from e to ē on which all edges are marked daughter-edges 2 Gien a labelling π 2 on the leaes LT, for a ertex V T we define an operator K π2 by K π2 u n+k q e, r n+k = iq e b + q e c i u i,,i m,i,i m+,,i n+k r n+k 52 + i q e + q b e c ij q e b + q e c l q e b + q e c i q e b + q e c 2 u i,,i j,l,i j+,,i m,i,i m+,,i n+k r n+k if π 2 de b = j and π 2 de c = m, where j, m n + k with j m 3 For any two ertices, V T, the actions of K π2 and K π2 follow the partial order, that is, if then K π2 first acts on u n+k and subsequently so does K π2 In particular, V T Kπ2 acts on u n+k according to the partial order on the ertices Moreoer, we write for any T T n,k, 53 K π2 T un+k {q e : T}, r n+k = V T K π2 u n+k q e, r n+k

13 Naier-Stokes equation 3 Remark 54 Note that if there is no order relation between and, then by definition K π2 with K π2 eg 47 Thus, K π2 T un+k {q e : T}, r n+k is well defined commutes Next, we turn to the graphic representation for the fully expended terms in terms of forests defined aboe For illustration, we first consider the simple case n = and k = To this end, for a gien u 2 L 2 2, put F t := t dst t sw T 2 su 2 In this case, T n,k with n = k = contains only a single element, ie, the forest T, consists of the binary tree containing a ertex cf Fig Note that in momentum space T 2 su 2 p 2 = e sp2 2 u 2 p 2 By 4 we hae W T 2 su 2 p = dq dq 2 e sq2 sq2 2 δp q q 2 K,2 u 2 q, q 2 Then we hae F tp = dq a dq b dq c t dse t sq2 a sq2 b sq2 c δp q a δq a q b q c K b,c u 2 q b, q c, where we hae changed ariables for corresponding to the ariables in the binary tree T, Next, we consider the integral I := t dse t sq2 a sq2 b sq2 c By Cauchy s integral formula, for any s > one has 54 e sq2 = dτe sγ+iτ γ q 2, γ < + iτ Recall that dτ = d Leb τ/2π Hence we hae t dτ a dτ b dτ c e t sγa +iτ a sγ b +iτ b sγ c +iτ c I = ds γ a qa 2 + iτ a γ b qb 2 + iτ b γ c qc 2 + iτ c By Cauchy s theorem, 55 R dτe sγ+iτ γ q 2 + iτ =, if s < and γ < Then the time integration in I can be extended to s R, and performing the s-integration, we hae dτ a dτ b dτ c e tγa +iτ a δτ a τ b τ c I = γ a qa 2 + iτ a γ b qb 2 + iτ b γ c qc 2 + iτ c R because γ a = γ b + γ c This yields that F dq a dq b dq c dτ a dτ b dτ c tp = γ a qa 2 + iτ a γ b qb 2 + iτ b γ c qc 2 + iτ c δp q a e tγ a +iτ a = 2 δτ a τ b τ c δq a q b q c K b,c u 2 q b, q c d r 2 dτ e K π2 T, u 2 r 2 π 2 Π 2 e L 2T, V T, e E 2T, δ q e r π2e e E 2T, γ e q 2 e + iτ e δ τ ea τ e b τ e c δ qe a q e c e R 2T, e tγe +iτ e δq e p πe

14 4 Zeqian Chen This expression motiates us to gie the definition of collision operators as follows Definition 55 Let n and k For a gien T T n,k, t, and a gien family of strictly negatie numbers Υ = {γ e } e ET such that γ ea = γ e b + γ e c for all V T, we define the collision operator C T,t,Υ : L 2 n+k L2 k by 56 CT,t,Υ u n+k p k = d r n+k GT,t,Υ u n+k p k ; r k+n through its kernel GT,t,Υ u n+k p k ; r k+n = 57 e E 2T k + n! dτ e K π2 T un+k r n+k e E 2T π 2 Π k+n e R T=L T e R 2T γ e q 2 e + iτ e e tγe +iτ e δq e p πe V T e tp2 π e δp πe r π2e e L 2T δq e r π2e δ τ ea τ e b τ e c δ qe a q e c The collision operator C T,t,Υ will describe the terms of the summation in 43 Remark 56 Noticing that there are R 2 + L 2 + V = 2k + 2n 2 R momentum delta-functions inoling q e -ariables and R delta-functions related to the roots in R T, but only E 2 = k + 2n R momentum integration ariables, we find that G T,t,Υ contains k delta-functions among its n + 2k ariables, each of which corresponds to the momentum conseration in the corresponding one of the k components of T Also, we see that all the q e momenta are uniquely determined by the external momenta p k and r n+k Hence, all the integrations are well defined and correspond to substituting the appropriate linear combinations of the external momenta into q e Proposition 57 For eery T T n,k and a gien family of negatie numbers Υ = {γ e } e ET, the collision kernel G T,t,Υ is well defined for all t More precisely, all the dτ e integrals in 57 are absolutely conergent Proof As remarked aboe, all the q e -integrations of G T,t,Υ are well defined It remains to proe the absolute conergence of all the τ e integrals in 57 Since the delta functions relate τ-ariables within the same trees, the integration can be done independently in each tree of T Therefore, it suffices to consider the case of a binary tree T T n The proof is based on induction oer n For n = there is no such integration For n =, the τ e -integrations are of the form I := R dτ ea dτ eb dτ ec δτ ea τ eb τ ec γ ea q 2 e a + iτ ea γ eb q 2 e b + iτ eb γ ec q 2 e c + iτ ec where e b and e c correspond respectiely to the marked and unmarked daughter-edges of the motheredge e a in T cf Fig Recall that γ ea = γ eb + γ ec, and all the γ s are strictly negatie Let γ = max{γ eb, γ ec } Note that dτ ea dτ eb I γ qe 2 + iτ a ea γ q 2 + iτ e b eb γ qe 2 + iτ c eb τ ea R γ 3 = γ R R i + τ ea γ i + τ eb γ dtds t s s t, dτ ea dτ eb i + γ τ eb τ ea then, by Lemma 98 twice we hae that the integration in the last line is finite and so 58 I γ For general n, we note that any binary tree with n + ertices can be built up from a binary tree T with n ertexes by adjoining a new ertex to a leae Indeed, we choose a maximal ertex of T, ie, there is no such that We add a new ertex by splitting one of leaes e b, e c, denoted

15 Naier-Stokes equation 5 by e which is e a, into two daughter-edges eb and ec of Then we create two new denominators, two new τ-ariables and one new delta function The additional integration is dτ eb dτ ec δτ ea τ eb τ ec R γ eb q 2 e b + iτ eb γ ec q 2 e c + iτ ec where γ s are chosen such that γ e = γ ea = γ eb + γ ec As done aboe, by Lemma 98 this integral is absolutely conergent uniformly in τ e and for any choice of γ eb, γ ec < After this integral is done, the tree has only n ertices Therefore, by induction, all the dτ e integrals in 57 are absolutely conergent Proposition 58 For any gien t and eery T T n,k, the collision kernel G T,t,Υ is independent of the family of negatie numbers Υ = {γ e } e ET In particular, C T,t,Υ is independent of Υ, and C T,t,Υ = when t = Proof Since γ ea = γ e b + γ e c for each ertex of T, the only independent γ s are the ones associated with the leaes of T Gien a fixed ē LT, by using the estimate 58 in the proof of Proposition 57, G T,t,Υ has an analytic extension in the left-half plane {z C : Rez < } as a function of γē It suffices to show that G T,t,Υ is constant in a small neighborhood of a gien alue γē with Reγē <, while all the other γ e < for e LT\{ē} are kept constant Indeed, if γē is replaced by γē + β, then for eery e ET on the route from ē to the unique root connected to ē, we put τ e = τ e + iβ and keep τ e = τ e for all other e ET Here, we require that Reβ < min e ET Reγ e in order to aoid deforming the τ e integral contour through the pole at τ e = iγ e q 2 e Since τ ea τ e b τ e c = τ e a τ e b τ e c for all V T, it follows that the integral remains unchanged after the change of ariable This proes the independence of 57 from the family Υ = {γ e : e ET} Finally, when t =, by 58 again, we take the limit γ = min e LT γ e and obtain that C T,,Υ = Remark 59 We will write G T,t,Υ = G T,t and, respectiely, C T,t,Υ = C T,t for what follows To describe the error term in 43 that inoles the function u k+n at an intermediate time t n, we need to introduce a slight modification of the collision operator C T,t,Υ For a gien T T n,k, let MT denote the set of maximal ertices of T, ie, MT if and only if V T and there is no V T such that Let D = {e b, e c } denote the set of daughter-edges of MT Definition 5 Gien n, k and t, for a fixed T T n,k we define the error operator R T,t by 59 RT,t u k+n p k = d r k+n QT,t u k+n p k, r k+n through its kernel QT,t u k+n p k, r k+n := 5 e E 2T e E 2T e/ D e L 2T k + n! π 2 Π k+n MT e R T=L T dτ e γ e q 2 e + iτ e Kπ2 T un+k r n+k δq e r π2e V T e R 2T δ τ ea τ e b τ e c e tp2 π e δp πe r π2e e tγe +iτ e δq e p πe V T where the family of strictly negatie numbers Υ = {γ e : e ET} is chosen as in 5 δ q e a q e c Namely, R T,t is defined so that there are no propagators associated with the daughter-edges of each MT Note that although γ e does not appear in 5 for e D, the alue of the γ associated with the mother-edge of depends on them

16 6 Zeqian Chen Remark 5 As similar to the collision kernel G T,t, Q T,t is well defined, that is, all the dτintegrals in 5 are absolutely conergent This can been done as in the proof of Proposition 57 2 It can be proed as in Proposition 58 that the error kernel Q T,t is independent of the choice of Υ = {γ e : e ET}, and so does the error operator R T,t This explain the reason that we do not include the notation Υ in the definitions of Q T,t and R T,t 6 Graphic representation for the Naier-Stokes hierarchy In this section, we will show that n u k t = e t k u k + C T,t u k+j 6 j= T T j,k T T n+,k t dsr T,t s u k+n+ s for any k and for eery n This will be done respectiely for the fully expended terms and remainder terms in the Duhamel expansion 43 First of all, we note that for any k, by the definition of the collision operator 56, 62 T k tu k = T T,k C T,t u k for eery u k L 2 k, where the summation on the right hand side is only for the unique forest consisting of k triial trees The first aim of this section is to extend the expression 62 to the fully expended terms in 43 Theorem 6 Let k and n For any gien u k+n L 2 k+n, we hae 63 for all t T T n,k C T,t u k+n = t t dt dt 2 tn dt n T k t t W k T k+n t n t n W k+n T k+n t n u k+n Proof Assume k and n Fix T > For a gien u k+n L 2 k+n, put F k n,t := t t dt dt 2 tn dt n T k t t W k T k+n t n t n W k+n T k+n t n u k+n for t [, T ] Clearly, F k n, = Also, by Proposition 58 one has C T, u k+n = T T n,k Thus, 63 holds true at t = For t >, we compute the deriatie of F k with respect to t as follows t F k n,t = t dt 2 tn n,t dt n W k T k+ t t 2 T k+n t n t n W k+n T k+n t n u k+n + Then in momentum space, one has k t t j dt j= tn dt 2 dt n T k t t W k 64 t F k n,t p k = p 2 kf k n,t p k + W k F k+ n,t p k for all t [, T ] On the other hand, let Ξ k n,t := T k+n t n t n W k+n T k+n t n u k+n T T n,k C T,t u k+n

17 In the sequel, we will show that Ξ k n,t also satisfies 64, ie, Naier-Stokes equation 7 65 t Ξ k n,t p k = p 2 kξ k n,t p k + W k Ξ k+ n,t p k for all t [, T ] By induction oer n, this shows that Ξ k n,t = F k n,t for all k, n, and for all t [, T ], as required First of all, by 57 the deriatie of Ξ k n,t with respect to t can be computed as follows: Note that the integral with respect to τ e is not absolutely conergence after the differentiation, so the following calculation is formal, but we will indicate how to make this rigorous later 66 Note that t Ξ k n,t p k = e E 2T T T n,k [ d r n+k k + n! dτ e K π2 T un+k r n+k e R T e E 2T e R 2T p 2 π e + e R 2T γ e q 2 e + iτ e π 2 Π k+n e R T=L T e R 2T ] γ e + iτ e V T γ e + iτ e = e R 2T e tp2 π e δp πe r π2e e tγe +iτ e δq e p πe e L 2T δ τ ea τ e b τ e c δ qe a q e c γ e q 2 e + iτ e + e R 2T Since the delta-functions e R δq 2T e p πe are inoled in the integration, we hae p 2 π + e qe 2 = p 2 π = e p2 k e R T Combing these two equations yields where 67 B p k = T T n,k e E 2T e R 2T e R 2T e RT t Ξ k n,t p k = p 2 kξ k n,t p k + B p k d r n+k k + n! dτ e K π2 T un+k r n+k γ e q 2 e + iτ e e E 2T π 2 Π k+n e R T=L T e R 2T γ e q 2 e + iτ e q 2 e e tp2 π e δp πe r π2e e tγe +iτ e δq e p πe V T e L 2T δq e r π2e δq e r π2e δ τ ea τ e b τ e c δ qe a q e c In order to proe 65, it then suffices to show that B p k = W k Ξ k+ n,t p k To this end, for a gien ē R 2 T, let = ē V T be the only ertex such that ē there is such ertex by the definition of R 2 T Then, 67 can be rewritten as note that L 2 T R 2 T = : 68 B p k = e T T n,k ē R 2T e E 2T e/ e L 2T d r n+k k + n! π 2 Π k+n e R T=L T e tp2 π e δp πe r π2e dτ e e tγē+iτ ē δqē p πēδ τ eā τ e b τ e c δ qe a q e b q e c dτ e V T δq e r π2e K π2 u n+k r n+k e E 2T e ē γ e q 2 e + iτ e e R 2T e ē V T e tγe +iτ e δq e p πe K π 2 δ τ ea τ e b τ e c δ qe a q e c

18 8 Zeqian Chen Since γ ea = γ e b + γ e c, performing the dτ ē integration, we hae dτ ēe tγē+iτ ē δ τ eā τ e b τ e c = e t e,e ē γe +iτ e Combing this term with the factor e t e R 2 T\{ē} γe +iτ e, we obtain a factor e t e R γe +iτ e with R = {e b, e c } R 2 T\{ē} For this T and ē, we construct a new forest T = TT, ē T n,k+ with R R T as being the set of k + roots of it as follows: Remoe the ertex together with the root edge ē recall that is the unique ertex to which ē is adjacent 2 Add the two daughter-edges adjacent to to the set of roots such that the marked daughteredge inherits the label of ē, while the unmarked daughter-edge becomes the k + -th root of the new forest T 3 All the other roots keep their labels The ertices and edges of T are respectiely V T = V T\{ } and E T = ET\{ē}, but the leaes of T is identical to that of T, ie, L T = LT For illustrating this construction, see Fig2 for an example of a forest T T 4,3 together with the root of the first tree mapping to a forest T in T 3,4 Figure 2 T together with ē mapping to T Notice that the map constructed aboe from T T n,k together with ē R 2 T to T T n,k+ is surjectie but not injectie This is because that for eery T T n,k+, its last k + -th root can be attached to any of the first k roots, and so there are k possible choices of T T n,k together with ē R 2 T mapping to T Furthermore, this fact implies that the sum oer T T n,k and ē R 2 T in 68 can be replaced by a sum oer T T n,k+ and a sum oer the first k roots of T Therefore,

19 Naier-Stokes equation 9 using these notations we can rewrite 68 as k [ k ] B p k = d p k+ δp ι p ι δ p j p j p k+ Kj,k+ j= T T n,k+ e E 2 T e E 2 T ι j d r n+k k + n! dτ e K π2 T un+k r n+k γ e q 2 e + iτ e V T π 2 Π k+n e R T=L T e R 2 T e t p2 π e δp πe r π2e e tγe +iτ e δq e p πe e L 2 T δq e r π2e δ τ ea τ e b τ e c δ qe a q e q b e c = W k Ξ k+ n,t p k where we hae rewritten the integration oer with e in the second line of 68, so that it corresponds to the action of the operator W k as defined in 4 This proes 65 Finally, we turn to showing how to make the calculation in 66 rigorous To this end, we introduce a regularizing factor exp{ ɛ e E 2T τ e } in the definition of G T,t in 57 for any ɛ >, denoted by G T,t;ɛ this new kernel, and obtain the corresponding operator Ξ k n,t;ɛ Then the proceeding calculation for Ξ k n,t;ɛ in place of Ξ k n,t can be done rigorously, and we hae Ξ k n,t p k = lim ɛ t ds [ p 2 kξ k n,s;ɛ p k + W k Ξ k+ n,s;ɛ p k ] By Proposition 57, the integrations oer τ-ariables in Ξ k n,t;ɛ are all absolutely conergent uniformly for eery ɛ > and for all t [, T ] with any fixed T > Thus, taking the limit ɛ on the right hand side of the aboe equation into the integral, we obtain Ξ k n,t p k = t ds [ p 2 kξ k n,s p k + W k Ξ k+ n,s p k ] which is equialent to the equation 65, since Ξ k n, p k = as shown aboe Next, we consider the error terms in 43 Theorem 62 Let k and n For any gien T >, if u k+n L 2 [, T ], H k+n then 69 for all t [, T ] T T n,k t dsr T,t s u k+n s = t t dt dt 2 tn dt n T k t t W k T k+n t n t n W k+n u k+n t n Proof Assume that k and n Fix T > For any u k+n L 2 [, T ], H k+n we put Q k n tu k+n := t t dt dt 2 tn dt n T k t t W k T k+n t n t n W k+n u k+n t n for all t [, T ] By Fubini s theorem, we hae t [ t s t tn 2 Q k n tu k+n = ds dt dt 2 dt n T k t s t W k ] T k+n 2 t n 2 t n W k+n 2 T k+n t n W k+n u k+n s By 63, we hae 6 Q k n tu k+n = t ds T T n,k C T,t s W k+n u k+n s

20 2 Zeqian Chen Furthermore, by 57 and 4 we hae, in momentum space, 6 Q k t n tu k+n p k = ds T T n,k e E 2 T e E 2 T K π2 T dτ e d r k+n k + n! e R 2 T γ e q 2 e + iτ e [ k+n j= V T [ k+n d q k+ π 2 Π k+n e R T=L T e t sγe +iτ e δq e p πe ι j e t sp2 π e δp πe r π2e e L 2 T δ τ ea τ e b τ e c δ qe a q e q b e c δq e r π2e ] δr ι q ι δ ] r j q j q k+n Kj,k+n u n+k s, q n+k where the sum oer j in the last line corresponds to the action of the operator W k+n on u n+k s Eidently, j labels the leaes L T Thus, choosing j =,, k + n corresponds to fixing one of the leaes of T For a fixed T T n,k and ē L T, we construct a new forest T T n,k by splitting the edge ē with a new ertex and attaching a new leaf to this ertex as its unmarked daughter-edge eg Fig3 We notice that the map constructed from T T n,k together with ē LT to T T n,k is Figure 3 T, ē mapping to T surjectie but not injectie Indeed, for a gien T T n,k, by remoing a MT and deleting the daughter-edges of, we obtain a T T n,k from which we can obtain T Recall that MT denotes the set of maximal ertices of T, ie, MT if and only if V T and there is no V T such that This also yields that the sum oer T T n,k and j {, 2,, k + n } in 6 can be replaced by a sum oer T T n,k and a sum oer MT Next, we want to rewrite 6 in terms of forests T T n,k To this end, note that From 6 the two daughter-edges of will hae the integrations for q-ariables as all the other edges, but they will not hae any τ-ariable, any γ-ariable, or any propagator 2 The labelling π 2 of the leaes of T induces a labelling with {, 2,, k + n } of the leaes of T, except for the unmarked daughter-edge of the chosen MT which is always labelled by the number k + n 3 Since u n+k r k+n is symmetric with respect to permutation on r n+k, we can restore a full symmetry of the leaf-ariables r k+n ; for this, we need to replace the sum oer π 2 Π k+n by a sum oer π 2 Π k+n and replace the factor k + n! by k + n!

21 Naier-Stokes equation 2 Thus, we can rewrite 6 as Q k n tu k+n p k t = ds T T n,k π 2 Π k+n MT e E 2T e L 2T = T T n,k e E 2T e/ D δq e r π2e t d r n+k k + n! e R T=L T dτ e γ e q 2 e + iτ e Kπ2 T un+k s, r n+k V T dsr T,t s u k+n s δ τ ea τ e b τ e c V T e t s p2 π e δp πe r π2e e R 2T e t sγe +iτ e δq e p πe δ q e a q e c where D denotes the set of daughter-edges of The proof is complete In conclusion, combining Theorems 6 and 62 yields the expression 6 7 A prior space-time estimates In this section, we first present a prior space-time estimates for interaction operators C T,t and R T,t, and then gie the proof of Theorem 4 7 Space-time estimates for collision operators We hae a prior space-time estimates for C T,t as follows Theorem 7 Fix α > 2 and k Let M > Then there exists a constant C > depending only on α, k such that for any k S k R 3 satisfying 7 sup i,,i k 3 sup p 3 p k 3 k i,,i k p k M, p,,p k R 3 for any n, and for all T T n,k, we hae 72 k, C T,t u n+k MC n u n+k L 2 k H α n+k for all u n+k H α n+k and any < t Proof Fix k and < t Let M > Assume that k S k R 3 satisfying 7 Let T T n,k and suppose u n+k L 2 n+k We hae, by the definition of C T,tu n+k in 56, k, C T,t u n+k = d p L 2 k d r n+k e tp2 π e δp πe r k π2e k + n! π 2 Π k+n e R T=L T [ ] dτ e k i,,i k p k K π2 T un+k i,,i k r n+k e E 2T e R 2T e E 2T i,,i k 3 e tγe +iτ e δq e p πe γ e q 2 e + iτ e V T e L 2T δq e r π2e δ τ ea τ e b τ e c δ qe a q e c For simplicity, we will write E = ET, R 2 = R 2 T, L = L T, etc Since u n+k r n+k is symmetry with respect to the permutation on r n+k, the integral on the right-hand side of the aboe equation has the same alue for eery π 2 Π n+k, and hence, instead of aeraging oer π 2, we fix one π 2 so

22 22 Zeqian Chen that π 2 e R + for all e L 2 Then, using all the δ-functions and integrating oer the ariables p k and r n+k, one has k, C T,t u n+k L Me t 2 e R γ e 2 dτ e k γ e q 2 e E e E 2 e E e + iτ e q e 3 2 V δ τ ea τ e b τ e c δ qe a q e c i,,i k 3 e R K π2 T un+k i,,i k q e : e L where we hae used the assumption 7, and the permutation symmetry of u n+k, namely, u n+k depends only on the set of the ariables q e associated with the leaes of T, but not on the order of those ariables Choosing γ e = t for all e L 2, we hae that γ e t for eery e E 2, and e R 2 γ e = n + R 2 t Moreoer, by the definition of K π2 T un+k see 52 and 53, we hae 73 K π2 T un+k i,,i k q e 6 n q e b + q e c n+k u i,,i R,j R +,,j n+k q e V j R +,,j n+k 3 Then for a fixed α > 2, k, C T,t u n+k L MC n dq 2 e dτ e k e E e E 2 e E 2 t + q2 ei + τ e q e 3 e R δ τ ea τ e b τ e c δ qe a q e q b e c qe + q b e c n+k u i,,i n+k q e : e L V i,,i n+k 3 74 C n [ u k+n H α k+n + q e α dτ e q e 3 e E 2 e R 2 + q 2 ei + τ e e E 2 e L 2 V e E\L δ ] 2 τ ea τ e b τ e c δ qe a q e q b e c qe + q b e c where C > in the second line is a constant depending only on α, k Here, we hae used the conditions < t, the Cauchy-Schwarz inequality and the integral e L =R + q e α q e dq 6 e < Next, we estimate the following integral note that E\L = E 2 \L 2 I = dτ e + q 2 e E 2\L 2 e E 2 e E 2 ei + τ e q e 3 e R 75 2 δ τ ea τ e b τ e c δ qe a q e q b e c qe + q b e c V For bounding the integral 75, we first successiely integrate oer all τ-ariables and then oer all momenta except for the momenta of the leaes 76 First of all, we claim that e E 2 ε dτ e + q 2 ei + τ e V δ τ ea τ e b τ e c + q 2 + q 2 : e a / R2 e b e c ε + q 2 : e a R2 e + a q2 + q 2 e b e c ε where ε is a small constant which will be specified later Note that the delta functions relate ariables within the same trees, the integration then can be done independently in each tree of T The order of integration is prescribed according to the conerse order of ertices of the trees see Appendix 9 below, that is, the τ-ariables of a ertex will be integrated only when those of all ertices with hae already been integrated out Now, we choose a ertex V and suppose that the τ-integrations oer all hae been performed We will perform the integration oer the τ-ariables associated with the daughter-edges

23 Naier-Stokes equation 23 of the ertex We need to distinguish two cases according to whether the mother-edge of, e a with the notation of Fig, is the root or not e a is not a root: Both e b and e c are leaes By Lemma 99 one has dτ b dτ c δτ a τ b τ c + qb 2i + τ b + qc 2 i + τ c = dτ b + qb 2i + τ b + qc 2 i + τ a τ b ε τ a + + qb 2 + q2 c i ε for all τ a R and all q b, q c R 3 2 One of e b and e c is a leaf Assuming that there exists such that with e a = ec and e b is a leaf, we hae dτ b dτ c δτ a τ b τ c + qb 2i + τ b + qc 2 i + τ c + qb 2 + q 2 c i + τ c ε dτ c + qb 2 + q 2 c ε + qb 2i + τ a τ c + qc 2 i + τ c + qb 2 + q 2 c ε τ a + + qb 2 + q2 c i ε Similarly, the same inequality holds when e a = eb and e c is a leaf 3 Neither e b nor e c is a leaf, ie,there are, such that e b = e a and ec = e a Then we hae dτ b dτ c δτ a τ b τ c + qb 2i + τ b + qc 2 i + τ c + qb 2 + q 2 c i + τ b ε + qb 2 + q 2 c i + τ c ε dτ c + qb 2 + q 2 c ε + qb 2 + q 2 c ε + qb 2i + τ a τ c + qc 2 i + τ c + qb 2 + q 2 c ε + qb 2 + q 2 c ε τ a + + qb 2 + q2 c i ε e a is a root: In this case, we will integrate oer all the τ-ariables associated with the edges of the ertex including the mother-edge We hae three different cases yet Both e b and e c are leaes In this case, we hae dτ a dτ b dτ c δτ a τ b τ c + qai 2 + τ a + qb 2i + τ b + qc 2 i + τ c dτ a dτ b = + qai 2 + τ a + qb 2i + τ b + qc 2 i + τ a τ b ε + qa 2 + qb 2 + q2 c ε where we hae used Lemma 99 twice 2 One of e b and e c is a leaf Suppose that there exists such that with e a = ec and e b is a leaf, we hae dτ a dτ b dτ c δτ a τ b τ c + qai 2 + τ a + qb 2i + τ b + qc 2 i + τ c + qb 2 + q 2 c i + τ c ε dτ a dτ c + qb 2 + q 2 c ε + qai 2 + τ a + qb 2i + τ a τ c + qc 2 i + τ c ε + qb 2 + q 2 c ε + qa 2 + qb 2 + q2 c ε Similarly, the same inequality holds when e a = eb and e c is a leaf