Some New Integral Identities for Solenoidal Fields and Applications

In spaces R, n ≥ 2, it has been proved that a solenoidal vector field and its rotor satisfy the series of new integral identities which have covariant form. The interest in them is explained by hydrodynamics problems for an ideal fluid.


Introduction
In [1] , Dobrokhotov and A. Shafarevich found the interesting property of solutions in the Cauchy problem for the Navier-Stokes equations in space.If u = (u 1 , u 2 , u 3 ) is a fluid velocity then where δ ki is the Kronecker symbol.In other words, we have a conservation of some things close to conformal properties.Later, in [2] , L. Brandolese confirmed this result for dimensions n ≥ 4 (see also [3]).In fact, this is the property of solenoidal vector fields if a potential part of a mapping is summaable to a power r > 1 (see [4] ).Here, the repeated index means summation.Now, I would like to consider other things connected with integral identities.A part of them was studied by author in [4].Every finite smooth solenoidal vector field u satisfies the following integral identity: (see [4] where some statements connected with this formula are given).This very simple formula implies some new identities and applications to the 2d Navier-Stokes and Euler equations.In particular, we obtain exact a priori estimates in Ladyzchenskaya's and Judovich's theorems.
, be an arbitrary vector field.Symbols and so forth mean a partial differentiation or differentiation in distributions.Naturally, ∆ is the Laplace operator.Below, unless otherwise indicated, the repeated indices mean summation.For example, u i u j, i u j etc. Further, I consider rotor coordinates (for dimension n = 2, 3) as elements of a skew-symmetric matrix C. The Jacobi matrix in distributions of the vector field u is denoted by ∇u .As in common practice, the modulus of a matrix A is defined by the equality A symbol W l p (R n ) denotes the Sobolev class of vector fields which have all derivatives in distributions until an order l and summable to a power p ≥ 1 .The norm in this space is given by formula: Respectively, a class of infinitely smooth vector fields with a compact support is denoted by C ∞ 0 (R n ) and a closure of this set in the norm of the space W l p (R n ) is written by

Solenoidal Vector Fields and Integral Identities for Dimension n ≥ 2
A classical integral identity for these fields goes on the Helmholtz-Weyl theorem about the decomposition of a smooth vector field by the sum of potential and solenoidal terms.Later, (see [5,6], p. 339) it was shown that the space L 2 (R 3 ) of vector fields has decomposition L 2 (R 3 ) = J ⊕ G where subspaces J and G are closures in L 2 (R 3 ) of finite, smooth solenoidal and potential vector fields respectively.
The main results are described by theorems 1 and 2.
Theorem 1. Suppose, that solenoidal vector field u Then integral identities are true: The proof of this theorem relies on the following statement.
c kj from formula (1), the matrix C is defined above, is potential i.e., for every smooth solenoidal vector field v ∈ C ∞ 0 (R n ) the integral identity is fulfilled: Proof of Lemma 1.It is sufficient to see the equality: which follows from relations of the type: u i,kj u j,k = u i,jk u k,j .
Proof of Theorem 1.Without any restrictions we assume that a vector field u ∈ C ∞ 0 (R n ) (see [7], Theorem 1).In the equality of lemma 1 we take: p = 2, v = ∆u.Further, we integrate by parts with respect to variable x j .Since c kj,j (u) = ∆u k and c ki,jj (u) = c ki (∆u) then we obtain equation (3).Applying ∆u i,j = c im,mj (u) for substitution to equation (3) and integrating by parts with respect to variable x m we exchange summation indices i and j in the first product.Then it follows equation (4).
For the proof of equation ( 5) we note sums equality: since div u ,jm = 0. Now, we write equation ( 3) by expanded form: R n In the third term we exchange summation indices i and k.In the forth term we make it twice.By the first step we exchange i and k, after that i and j.The second term vanishes because Therefore, the previous equality reduces to formula (6).
For verification (8) we use identity: where we integrate by parts.Then Here, for every integral we apply the integration by parts with respect to variable x j .As the result we get: On the right hand side, the middle integral vanishes by formula (5).In the third integral in the same place we exchange index m by index j.Hence, we have equation (8).
2 (R n ), n ≥ 2, be a solenoidal vector field.Then the integral identity is true: Proof of Corollary 1.Let T = T (t, x) be a solution of equation • T = ν∆T with an initial data T (0, x) = u(x).Now, we rewrite equation ( 6) for the solenoidal vector field T and differentiate it with respect to t.A passage to the limit as t → 0 gives the necessary equality.

Solenoidal Vector Fields and Integral Identities for Dimension n = 2
In this case we can give more precise identities.Applying them we can obtain the exact estimates for solutions in the Cauchy problem for the Navier-Stokes equations and Euler equations.
Theorem 2. Let u, v be solenoidal vector fields in R 2 .
(1) If u, v ∈ W 1 2 (R 2 ) then almost everywhere there are fulfilled: ) then the following integral identities are true: Proof of Theorem 2. Direct calculations and equalities div u = 0, div v = 0 prove equation ( 9).Since then integrating by parts we get equation (10).Formula (11) follows from equations ( 9) and ( 6) where v = ∆u.Identity ( 12) we obtain from corollary 1 and equation ( 9) where we must replace u by ∆u, v by u.Finally, equation (13) we have from equation ( 8) and the first identity from equation ( 9).

Applications
Let us consider the Cauchy problem for the Navier-Stokes equations if dimension n = 2 or n = 3.We also suppose that an initial data ϕ ∈ C ∞ 0 (R n ).An existence of a weak solutions for small time interval was proved in [8] (their regularity it was shown in [9]).There are some conditions of an existence of global regular solutions.Now, we note only monotonicity properties of regular solutions.Every regular solution satisfies the conditions: 1 2 Integrals finiteness in these formulas follows from [10].Proof.We take v = u in formula (10) then from (16) it can be deduced the inequality Hence, we have the first statement.
To prove the second part we combine ( 16) and (13).Then Further, we apply Hölder's inequality.Therefore, Use the estimate from [9] (see p. 74).Then Then for the function ω(t) = u 3 2 ∆u 2 we have: The inequality follows from a nonpositiveness of the derivative ω .Remark 2. Obvious and exact estimates may be obtained for weak solutions of Euler equations (see [4]) and Navier-Stokes equations with an outer force.
Remark 3. If dimension n = 3 then from Gagliardo's and Nirenberg's inequalities (see [11] and [12]) with some constant C we get for solution in the problem (14) and (15) the following uniform estimate

Remark 1 . 2 2 ≤ ∇ϕ 2 2
Monotonicity properties are very important for the exact a priory estimates for solutions of Navier-Stokes equations.For example, if dimension n = 2, we get ∇u in the problem (14) and (15).