## 1. Introduction

During the last century, the Navier–Stokes equations attracted very much attention. The first essential steps in this way were offered by C. Oseen [

1], F. K. G. Oldquist [

2], J. Leray [

3,

4,

5], and E. Hopf [

6]. Later, the Cauchy problem and the boundary value problem were actively studied by many authors (see, for example, [

7,

8], the review [

9,

10,

11,

12,

13,

14,

15,

16,

17] and etc.). The main objects and tools of these works were weak solutions or fix points of integral operators. Here, a special case is connected with the existence problem of a global and regular solution in the 3D Cauchy problem. In response to the new setting of this task by Ch. Fefferman in 2000 (see [

18]), O.A. Ladyzhenskaya wrote in her review [

9] that she would put the main question otherwise: “Do or don’t the Navier–Stokes equations give, together with initial and boundary dates, the deterministic description of fluid dynamics?”

Then, this problem is more difficult and more interesting from the physical point of view. Therefore, I introduced some invariants for studying solutions properties. At least, it is natural for applications because invariants are very important and strong tools. Moreover, these invariants didn’t apply earlier.

Let us describe them now. The first invariant connected with the Cauchy problem that provided initial data belongs to a special class ${C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$ of solenoidal vector fields vanishing at infinity. Here, outer forces are trivial. Then, the class ${C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$ is invariant (Theorem 2). This is a new result.

The second invariant is a special parameter

$\lambda $ (see (

68)) which is connected with a velocity changing of

${E}^{2},$ where

E is a kinetic energy of a fluid flow. If

$\lambda \ge 1$ or kinetic energy at a special moment is not less any mean depending on

$\lambda $ for

$\lambda <1$ ( i.e., changing of

${E}^{2}$ at moment

$t=0$ is negligible), then an ideal, global and smooth motion is determined. In other words, a global regular solution exists (Theorem 7). This is an essential and qualitative improvement of the classical result together with a new a priori estimate given by Theorems 8–10. These theorems are new results in principle.

Finally, the other parameters

$\epsilon ,0<\epsilon <1$, (see formula (

87)) and

$\mu ,1<\mu <{\lambda}^{-4}$, or

$\mu =\infty $ may also be very useful (see formula (

69), Lemma 50). The first of them is a dissipation coefficient of kinetic energy . The last parameter holds a time interval of a solution regularity. These three numerical characteristics

$\lambda ,\epsilon ,\mu $ are invariant with respect to the scaling procedure.

By the way, the first attempts to estimate invariant norms were implicitly undertaken in [

12,

16].

An introduction of a special invariant class of vector fields and invariant parameters gives the main idea for the proof of basic results. The first step is connected with a change of the construction offered in [

19]. These changes concern solution approximations. The special kind of them gives many uniform a priori estimates. Approximations of a velocity function are built on a fundamental system with a condition for Laplacians of approximative solutions. They must be a finite part of the Fourier series. Simultaneously, approximations of a pressure function are being built. Jointly with a hydrodynamical potential, these approximations give the following facts and properties of local solutions:

- (1)
solutions are bounded with respect to a uniform norm and therefore it belongs to any class ${L}_{p,\phantom{\rule{0.277778em}{0ex}}q}$;

- (2)
there is a universal time interval $[0,{T}_{0})$ where bounded solutions exist;

- (3)
more exact necessary conditions of a hypothetical turbulence phenomenon if it is;

- (4)
a lower estimate of the kinetic energy which influences an existence of a global smooth solution.

The last two items are very important. If dissipation of kinetic energy is large (close to the unit), then blow up is probable.

To the structure of the paper. In the first part (

Section 2), there are considered solutions’ properties of the Cauchy problem in a local form if initial data is smooth enough. Here, there is given a modification of classical results with some supplements (see Theorem 1).The rest of this part contains technical lemmas which are proved by application of hydrodynamic potentials and multiplicative inequalities from Appendix (

Appendix A). In the second part (

Section 3 and

Section 4), there are existence conditions of global solutions studied in this problem, conditions for local solutions’ extensions if the kinetic energy is small and close to the minimum. A more precise hypothetic blow up time interval is found. Here, three basic parameters

$\lambda $,

$\mu $,

$\epsilon $ are very useful.

The third part (

Section 5 and

Section 6) contains the proof of main statements (Theorems 7–9), which are based on properties of invariant parameters

$\lambda $,

$\mu $,

$\epsilon $.

I think, in this way, it is convenient to remove any restrictions on a smoothness in some contrast to the traditional way. The main idea is connected with an invariant form of an a priori estimate for gradient norms of a velocity. In addition, other norms are estimated in class

${L}_{6}$ and, after that, it is done in class

${L}_{2}$. In particular, it is shown that there is a bad solution of a class

${L}_{6}$ with some good properties. As the corollary, this solution has many uniformly bounded norms with respect to time argument. Only after that, by routine calculations, we prove the bad solution from above belongs to a class

${L}_{2}$. Precisely, this step distinguishes from classical way for the second time (see [

7]).

In the considered problem, a boundedness of solutions depends on a smoothness of initial data. At least, initial data from the Sobolev class ${W}_{2}^{3}$ gives the same in principle.

The offered construction doesn’t permit diminishing the index of smoothness.

In the final (

Section 7), we explain the principal difference between the Navier–Stokes equations in space and plane.

A part of local results in modification (

Section 2) and invariants as tools (

Section 4) were announced by author in [

20,

21,

22].

Notation. Now, let us consider the Cauchy problem

$(n=3)$:

where

u is a velocity of flow,

P is a pressure function, symbols

indicate a partial differentiation or differentiation in distributions, Δ is the Laplace operator, and

$\nu $ is a positive constant (viscosity coefficient). A mapping

$\phi $ has all derivatives and satisfies conditions of averaged growth:

$\phi \in {L}_{6/5}({R}^{3})$,

${\phi}_{,\phantom{\rule{0.277778em}{0ex}}i}\in {L}_{3/2}({R}^{3})$. The other derivatives belong to classes

${L}_{r}({R}^{3})$ for any

$r>1$. Furthermore, this class is denoted by symbol

${C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$. A class

${C}_{0}^{\infty}({R}^{n})$ is the class of infinitely smooth mappings with a compact support. A norm in a space

${L}_{p}(\Omega )$ is defined by formula:

A mixed norm is defined by equality:

A symbol

${D}^{\alpha}v$ denotes a partial differentiation or distributions with respect to a multi–index

$\alpha .$ An order of the derivative is indicated by

$|\alpha |.$ Jacobi matrix of a mapping

v with respect to spatial variables is denoted by

$\nabla v$ . Its modulus is

Functions’ properties from the Sobolev classes

${W}_{p}^{l}(\Omega )$ are given, for example, in [

23,

24,

25]. A norm in this functional space is defined by

Let

v be a mapping that is determined on the whole space. For the Riesz potential, we apply notation:

where

$\gamma (\alpha )={\pi}^{\frac{n}{2}}\Gamma (\frac{\alpha}{2})/\Gamma (\frac{n-\alpha}{2})$ and

$\Gamma $ is the Euler gamma–function. The properties of these potentials can be found in [

24].

The agreement about summation. Everywhere in this article, the repeated indices give a summation if it is not done reservation specially. For example,

etc.

Furthermore,

${S}_{T}=[0,T]\times {R}^{3}.$ A number

${T}_{0}$ we define by formula:

We apply the definition of a weak solution given in [

7] everywhere.

## 2. Preliminaries. Boundedness and Smoothness Properties of Local Solutions in the Cauchy Problem

Here, with some compliments, a local result described by Theorem 1 is basic in this section. The rest contains only technical statements.

**Theorem** **1.** Let ${T}_{0}$ be a number from formula (5) and a mapping $\phi \in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}.$ Then, on the set ${S}_{{T}_{0}}$, there exist weak solutions u and P of problems (1) and (2) with the following properties: - (1)
mappings u and P uniformly continuous and bounded on the set ${S}_{T}$ for every number $T,\phantom{\rule{0.277778em}{0ex}}0<T<{T}_{0}$;

- (2)
the solution u belongs to Sobolev classes ${W}_{2}^{2}({S}_{T})$ and ${W}_{6}^{1}({S}_{T})$ for every number $T,\phantom{\rule{0.277778em}{0ex}}0<T<{T}_{0}$, moreover, all normsare uniformly bounded in spaces ${L}_{p}({R}^{3}),\phantom{\rule{0.277778em}{0ex}}2\le p\le 6,$ by a constant $C=C(\nu ,\phi ,T)$ depending on $\nu ,\phi $ and T only, in addition ${\parallel u\parallel}_{2}\le {\parallel \phi \parallel}_{2}$; - (3)
gradients $\nabla {u}_{i},\phantom{\rule{0.277778em}{0ex}}i=1,2,3,\phantom{\rule{0.277778em}{0ex}}\nabla P$ are bounded on the set ${S}_{T}$ for every number $T,\phantom{\rule{0.277778em}{0ex}}0<T<{T}_{0}$;

- (4)
the solution P satisfies uniform estimates:for all numbers q,$\frac{3}{2}<q\le 3$, and $t\in [0,T],\phantom{\rule{0.277778em}{0ex}}T<{T}_{0}$, with constants C depending on $\nu ,\phantom{\rule{0.277778em}{0ex}}\phi ,\phantom{\rule{0.277778em}{0ex}}T$ and q only; - (5)
solutions u and P are classical solutions that is for any $T<{T}_{0}$ they belong to the class ${C}^{\infty}((0,{T}_{0})\times {R}^{3})\bigcap C({S}_{T})$.

The proof of the theorem is given to the end of this section. We note items 1, 3, 4 compliment well-known Ladyzhenskaya’s results (see [

7]). Item (2) contains new uniform estimate for norms of derivatives. Hence, it follows a boundedness of weak solutions and a finiteness of its mixed norms. Moreover, we have an existence of weak solution with required properties on the interval

$[0,{T}_{0})$ with the finite length. To the studying of the smoothness property for weak solutions, the mixed norms were applied by O. Ladyzhenskaya in [

26] (see, also [

7]). They were applied by other authors (see, for example, [

8,

10,

14]). Item (5) is a particular case from [

27]. However, from this theorem, a deeper result follows (see Theorem 7).

#### 2.1. A Priori Estimates of Gradients’ Norms

**Lemma** **1.** Suppose that a mapping $w:{S}_{{T}_{0}}\to {R}^{3}$ belongs to a class ${C}^{2}$ and $w(0,x)=\phi (x).$ If, for every $t\in [0,{T}_{0}),$ Laplacian supports are subsets of some ball with a fixed radius and $w\in {L}_{6}({R}^{3})$, $\nabla w\in {L}_{2}({R}^{3})\bigcap {L}_{6}({R}^{3}),$ then for all mappings w satisfying condition:the following estimate holds:for all $t\in [0,{T}_{0})$, where ${T}_{0}$ from formula (5). **Proof.** We take from Corollary A4 the second inequality. Then, from (

6), we obtain:

Let

$y={\parallel \u25b5w\parallel}_{2}/{\parallel \nabla w\parallel}_{2}^{3}$. Then, (

7) can be rewritten in the form:

The maximal mean on the right-hand side is

$\frac{27{a}_{1}^{4}}{256{\nu}^{3}}.$ Therefore, integrating the inequality

over the interval

$[0,t]$, we get:

Furthermore, we take a number ${a}_{1}$ from Corollary A4 and obtain the required estimate. □

**Lemma** **2.** Let ${T}_{0}$ be a constant from Lemma 1. Assume a mapping $w:{S}_{{T}_{0}}\to {R}^{3}$ belongs to a class ${C}^{3}$ and $w(0,x)=\phi (x)$, ${D}_{t}w(0,x)=\psi (x)$. Suppose that, for every t, there are fulfilled conditions:

- (1)
Laplacian supports $\u25b5w$, $\u25b5{D}_{t}w$ are subsets of a ball with a fixed radius;

- (2)
- (3)
with constants ${k}_{1}$, l the inequalities hold: - (4)

is true. Then, for every segment, $[0,T]$ where $T<{T}_{0}$ the estimate $\parallel \nabla {D}_{t}{w\parallel}_{2}\le {k}_{2}{\parallel \nabla \psi \parallel}_{2}$ holds with a constant ${k}_{2}$ which depends on $\nu ,T,{k}_{1},l,{\parallel \nabla \phi \parallel}_{2}$ only.

**Proof.** The integral on the right-hand side in formula (

8) we rewrite with two integrals

${J}_{1}$ and

${J}_{2}$. Applying Corollary A4, we make estimates for every integral. In integral

${J}_{1}$, a triple of mappings

$u,v,w$ is the triple

${D}_{t}w,\phantom{\rule{0.277778em}{0ex}}w,\phantom{\rule{0.277778em}{0ex}}{D}_{t}w$. In integral

${J}_{2}$, a required triple is the triple

$w,\phantom{\rule{0.277778em}{0ex}}{D}_{t}w,\phantom{\rule{0.277778em}{0ex}}{D}_{t}w$. Therefore, condition (3) yields estimates:

Let

$g(t)=\parallel \nabla {D}_{t}{w\parallel}_{2},$$h(t)=\parallel \u25b5{D}_{t}{w\parallel}_{2}/g(t).$ Then, formula (

9) can be transformed to the formula:

Let us integrate over segment

$[0,t]$ this inequality. For the next step, we apply to each term the Hölder inequality for three and two factors, respectively getting quantities

${h}^{2}(t)$ and

${\parallel \u25b5w\parallel}_{2}^{2}$. Hence, from condition (3), we obtain:

where

$y={\int}_{0}^{t}{h}^{2}(t)dt.$ Let

M be a maximal mean of the function

where

${a}_{1}=a\sqrt{{k}_{1}{\parallel \nabla \phi \parallel}_{2}}\sqrt[4]{lt},$ ${a}_{2}=a{k}_{1}{\parallel \nabla \phi \parallel}_{2}\sqrt[4]{t}$. Then, the last estimates give

$g(t)\le {e}^{2M}g(0)$. From the definition of function

g, we have

$g(0)={\parallel \nabla \psi \parallel}_{2}$. □

#### 2.2. A Priori Estimates of Laplacian Norms

**Lemma** **3.** Let w, ${T}_{0}$ be a mapping and a number from Lemma 1. Then, for every number $T,\phantom{\rule{0.277778em}{0ex}}0<T<{T}_{0},$ there exists a constant $l=l(\nu ,\phi ,T)$ such thatfor all $t\in [0,T]$. **Proof.** We transform inequality (

7) applying the estimate from Lemma 1. Then,

This inequality we integrate over the segment

$[0,t]$. Then, we estimate the right-hand side applying the Hölder inequality and underlining the integral with the term

${\parallel \u25b5w\parallel}_{2}^{2}$. If

$\beta (t)={\int}_{0}^{t}{\parallel \u25b5w\parallel}_{2}^{2}dt$, then we get

The direct calculations of the integral on the right-hand side and the estimate

give the inequality:

Take out the first term on the left hand. Then, the required estimate for function

$\beta (t)$ will be obvious. If

$\beta (t)\le {\parallel \nabla \phi \parallel}_{2}$, then the estimate is acceptable. If

$\beta (t)\ge {\parallel \nabla \phi \parallel}_{2},$ then we have:

Hence, it follows the lemma. □

**Lemma** **4.** Let w be a mapping from Lemma 2 and a number ${T}_{0}$ from Lemma 1. Then, for every number T, $0<T<{T}_{0}$, there exists a constant ${l}_{1}={l}_{1}(\nu ,\phi ,T)$ such thatfor all $t\in [0,T]$. **Proof.** For the mapping

w, inequality (

9) is fulfilled. Its right-hand side we estimate relying on Lemma 2. Then,

Let

C be a maximal coefficient of factors

Therefore, from formula (

10), we have inequality:

This inequality we integrate over segment

$[0,t]$ and its right-hand side we estimate applying the Hölder inequality and underlining terms with norms

$\parallel \u25b5{D}_{t}{w\parallel}_{2}$. If

then we have the estimate:

We increase the right side using Lemma 3 and deduce the left side taking out the first positive term. Then, we obtain:

Hence, we get the lemma in the same way as Lemma 3. If

${\beta}_{1}(t)>{\parallel \nabla \psi \parallel}_{2}$, then, from

we obtain the lemma inequality. If

${\beta}_{1}(t)\le {\parallel \nabla \psi \parallel}_{2},$ then the estimate is acceptable. □

#### 2.3. Basic Space of Solenoidal Vector Fields and Orthogonal Systems

Let us consider solenoidal vector fields

$\phi :{R}^{3}\to {R}^{3}$ from class

${C}^{\infty}$ with a compact support of

$\u25b5\phi $. A closure of this class is defined by the norm:

We denote its by ${J}_{0}^{2}({R}^{3})$. From Lemmas A1 and A2, it follows that elements $u\in {J}_{0}^{2}({R}^{3})$ are represented by the Riesz potentials; moreover, $u,\phantom{\rule{0.277778em}{0ex}}\nabla u\in {L}_{6}({R}^{3})$. Otherwise, each element is defined uniquely by its Laplacian. The class ${J}_{0}^{2}({R}^{3})$ is a separable space as a subspace of the Sobolev classes ${W}_{p}^{l}({R}^{3}),1<p<\infty $. Therefore, there exists a countable system ${({\psi}^{n})}_{n=1,\dots}$ of infinite smooth vector fields satisfying conditions:

- (1)
$div\phantom{\rule{0.277778em}{0ex}}{\psi}^{n}=0$;

- (2)
supports of $\u25b5{\psi}^{n}$ are compact sets;

- (3)
the closure of a linear span in norm (

11) coincides with the space

${J}_{0}^{2}({R}^{3})$.

Now, we apply the Sonin–Shmidt orthogonalization to the fundamental system

${({\psi}^{n})}_{n=1,\dots}$ and construct a countable system of mappings

${({b}^{n})}_{n=1,\dots}$, which would be with the orthogonality property of Laplacians in the space

${L}_{2}({R}^{3})$. That is, the scalar product

where

${\delta}_{ij}$ is Kronecker’s symbol. Then, every mapping

${b}^{n}$ is a finite linear combination of mappings

$({\psi}^{k})$. Therefore, a support of

$\u25b5{b}^{n}$ is a compact set. Let

The system $({a}^{n})$ is complete for the space ${J}_{0}^{2}({R}^{3});$ that is, the following proposition is true.

**Lemma** **5.** If in the space ${L}_{2}({R}^{3})$ for a some vector field $u\in {J}_{0}^{2}({R}^{3})$ the scalar product $(u,{a}^{n})=0$ for every $n=1,2,\dots $ then $u=0$.

**Proof.** From chosen mappings

${a}^{n},$ the equality

$(u,\u25b5{\psi}^{n})=0$ for each element of the fundamental system

${({\psi}^{n})}_{n=1,\dots}$ follows. The Stokes theorem gives

The integral over the sphere vanishes as

$r\to \infty $. Actually, from Corollary A2 of Lemma A2, we have:

Furthermore, we apply Lemma A4

$(\alpha =2,\phantom{\rule{0.277778em}{0ex}}p=6)$ taking into consideration a continuity of

u. The passage to the limit yields the equality

$(u,\u25b5{\psi}^{n})=-(\nabla u,\nabla {\psi}^{n})$ or

$(\nabla u,\nabla {\psi}^{n})=0$. We take a sequence of finite and smooth mappings

which converges to the vector field

u in the space

${J}_{0}^{2}({R}^{3})$. Hence,

$(\nabla u,\nabla u)=0$. The summability of

u in the space

${L}_{6}({R}^{3})$ proves lemma equality. □

**Remark** **1.** To the fundamental system of mappings $({\psi}^{n})$ we can adjoin any solenoidal vector field $\phi \in {C}_{0}^{\infty}({R}^{3}),\phi \ne 0$ or any vector field from the class ${J}_{0}^{2}({R}^{3})$ as the first element of this system.

#### 2.4. Successive Approximations of Solutions and Its Estimates: Velocity

Let

$({a}_{1,\dots}^{n})$ be an orthonormal system of mappings in the space

${L}_{2}({R}^{3})$ constructed above with the completeness property in

${J}_{0}^{2}({R}^{3})$ and conditions (

12) and (

13). Moreover,

${a}^{n}\in {C}_{0}^{\infty}({R}^{3})$ for all

n and

${a}^{1}=\frac{\u25b5\phi}{{\parallel \u25b5\phi \parallel}_{2}}$ where a vector field

$\phi \in {C}_{0}^{\infty}({R}^{3})$ is initial data in problems (

1) and (

2).

For successive approximations

${v}^{n},$ we define changing Ladyzhenskaya’s construction in ([

7], p. 197). Set

Then, an approximative solution

${v}^{n}$ is built as a hydrodynamical potential

Functions

${c}_{qn}$ are solutions of a system of differential equations:

with initial data:

${c}_{qn}(0)={\parallel \u25b5\phi \parallel}_{2}{\delta}_{q1}$, where

${\delta}_{qr}$ is Kronecker’s delta. Hence,

Now, we find an existence interval of a smooth solution in system (

16). For every equation from (

16), we multiply by functions

${c}_{qn}$ and sum them. As a result, we have:

From Corollary A3, we get:

From Lemmas A1 and A2 vector fields

${v}^{n}\in {L}_{6}({R}^{3})$,

$\nabla {v}^{n}\in {L}_{6}({R}^{3})\bigcap {L}_{2}({R}^{3})$. Equalities (

17) and (

18) are conditions of Lemma 1 for mappings

${v}^{n}$ . Therefore, in system (

16), an existence of smooth solutions on some interval

$[0,{t}_{0})$ is guaranteed by well-known theorems for ordinary differential equations. By Lemma 1 (see estimates), these solutions can be extended on the interval

$[0,{T}_{0})$ where

${T}_{0}$ is the constant in Lemma 1 (see also (

5)). Thus, we proved the following statement.

**Lemma** **6.** Let $[0,{T}_{0})$ be an interval from Lemma 1. Then, for every $t\in [0,{T}_{0}),$ approximations ${v}^{n}$ constructed by formulas (14) and (16) satisfy conditions: - (1)
$\parallel \nabla {v}^{n}{\parallel}_{2}\le {\parallel \nabla \phi \parallel}_{2}{\left(1-t/{T}_{0}\right)}^{-1/4}$,

- (2)
$\parallel \nabla {v}^{n}{\parallel}_{6}\le A{\parallel \u25b5{v}^{n}\parallel}_{2},$

where a constant A from Lemma A1.

**Proof.** Item (1) follows from Lemma 1. Item (2) is the corollary of the second representation in (

A1), Lemma A1 and arguments in the proof of Corollary A4. □

**Lemma** **7.** Let $[0,{T}_{0})$ be a constant of Lemma 1. Then, for every segment $[0,T],\phantom{\rule{0.277778em}{0ex}}T<{T}_{0},$ approximations ${v}^{n}$, which are constructed by formulae (14)–(16), satisfy inequalities: - (1)
$\parallel \nabla {D}_{t}{v}^{n}{\parallel}_{2}\le {k}_{2}{\parallel \nabla (\nu \u25b5\phi -{\phi}_{i}{\phi}_{,\phantom{\rule{0.277778em}{0ex}}i})\parallel}_{2}$, where a number ${k}_{2}={k}_{2}(\nu ,\phi ,T)$ depends on $\nu ,\phi ,T$ only;

- (2)
$\parallel \nabla {D}_{t}{v}^{n}{\parallel}_{6}\le A{\parallel \u25b5{D}_{t}{v}^{n}\parallel}_{2}$ with the constant A from Lemma A1.

**Proof.** The item (2) can be proved in the same way as the estimate (2) from Lemma 6. Let us prove item (1). We differentiate equalities (

16) with respect to

t. Then, from each, we multiply by the derivative

${c}_{qn}^{\prime}(t)$ and add together in final. As a result, we have

A support of

$\u25b5{D}_{t}{v}^{n}$ is a compact set. The Stokes theorem and Corollary A3 give:

From Lemmas A1 and A2, we have

By Lemma 3, the vector field

${v}^{n}$ satisfies the inequality:

Then, mappings

${v}^{n}$ satisfy Lemma 2. This implies:

with some constant

${k}_{2}={k}_{2}(\nu ,\phi ,T)$.

Let us estimate the right-hand side of (

20). In (

16), we take

$t=0$. Then, we multiply them by numbers

${c}_{qn}^{\prime}(0)$ respectively and add them together. As a result, formula (

17) gives

where

We move derivatives with the factor

$\u25b5{D}_{t}{v}^{n}$ in (

21) using Corollary A3 and a finiteness of mapping

$\phi $. Then, we obtain

Apply Cauchy–Bunyakovskii’s inequality. Hence, we get the required estimate

Thus, from (

20), a lemma follows. □

**Lemma** **8.** Let ${T}_{0}$ be a constant of Lemma 1. Then, on every segment $[0,T],\phantom{\rule{0.277778em}{0ex}}0<T<{T}_{0},$ approximations ${v}^{n}$ from formulae (14)–(16) satisfy conditions: - (1)
$\parallel \u25b5{v}^{n}{\parallel}_{2}\le C=C(\nu ,\phi ,T)$;

- (2)
${\int}_{0}^{t}{\parallel \u25b5{D}_{t}{v}^{n}\parallel}_{2}^{2}dt\le {l}_{1}$;

where constants C and ${l}_{1}$ depend on $\nu ,\phi ,T$ only.

**Proof.** Condition (1) follows from (

18). We apply the Cauchy–Bunyakovskii inequality and estimates (1) of Lemmas 6 and 7 to the scalar product

$\left({D}_{t}\nabla {v}^{n},\nabla {v}^{n}\right)$. Then,

$|\left({D}_{t}\nabla {v}^{n},\nabla {v}^{n}\right)|\le {C}_{1}(\nu ,\phi ,T)={C}_{1}$. The right-hand side from (

18) is estimated by applying Corollary A4, where we take the triple

${v}_{n},{v}_{n},{v}_{n}$. From (

18), we have

Apply again estimate (1) of Lemma 6. Then,

This implies condition (1). Vector fields ${v}^{n}$ satisfy Lemma 2 (see the proof of Lemma 6). Then, Lemma 4 gives estimate (2). □

**Lemma** **9.** Let ${T}_{0}$ be a constant of Lemma 1. Then, approximations ${v}^{n}$ from (14)–(16) are bounded by a constant C on the set ${S}_{T}$ for every $T<{T}_{0}$ where a constant C depends on $\nu ,\phi ,T$ only. **Proof.** For approximation

${v}^{n}$, we use integral representation (

A2). One should replace integration over whole space by integrations over ball

$|y-x|\le 1$ and its complement. Then,

${v}^{n}(t,x)=\frac{1}{4\pi}({J}_{1}+{J}_{2})$. Every term is estimated by application of Hölder’s inequality. We have

Hence,

where

${C}_{1},{C}_{2}$ are universal constants. The norm

$\parallel \nabla {v}^{n}{\parallel}_{6}$ is estimated in two steps. In the first step, we apply inequality 2) from Lemma 6. After that, we use inequality (1) from lemma 8. To estimate another norm

$\parallel \nabla {v}^{n}{\parallel}_{2}$, we can apply inequality (1) from Lemma 6. Hence, we get a boundedness of all vector fields

${v}^{n}$ by a general constant. □

**Lemma** **10.** Let ${T}_{0}$ be a constant of Lemma 1. Then, for every exponent $p\in [3/2,6]$ and every segment $[0,T],\phantom{\rule{0.277778em}{0ex}}T<{T}_{0},$ approximations ${v}^{n}$ from formulae (14)–(16) satisfy the inequality $\parallel {v}_{i}^{n}{v}_{,\phantom{\rule{0.277778em}{0ex}}i}^{n}{\parallel}_{p}\le C$ with a constant C depending on $\nu ,\phi ,T,p$ only. **Proof.** If $p=6$, then the statement follows from Lemma 9 and estimates by item (2) of Lemma 6 and item (1) of Lemma 8. If $p=3/2$, then we apply Hölder’s inequality. Hence, we have $\parallel {v}_{i}^{n}{v}_{,\phantom{\rule{0.277778em}{0ex}}i}^{n}{\parallel}_{3/2}\le \parallel {v}^{n}{\parallel}_{6}{\parallel \nabla {v}^{n}\parallel}_{2}$. Estimates of Lemma 6 and Lemma 8 prove the lemma for this exponent. An intermediate exponents is verified by Lemma A5. □

**Lemma** **11.** Let ${T}_{0}$ be a constant of Lemma 1. Then, for all $t\in [0,{T}_{0}),$ approximations ${v}^{n}$ from formulae (18)–(20) satisfy inequalities $i,j=1,2,3$, with a universal constant M.

**Proof.** The statement of lemma is the corollary well-known results about integral differentiation with a weak singularity (see [

28]). From the second representation of Lemma A2, we obtain two equalities:

${v}_{,\phantom{\rule{0.277778em}{0ex}}ij}^{n}={k}_{ij}\u25b5{v}^{n}+{T}_{ij}(\u25b5{v}^{n})$,

${D}_{t}{v}_{,\phantom{\rule{0.277778em}{0ex}}ij}^{n}={k}_{ij}\u25b5{D}_{t}{v}^{n}+{T}_{ij}(\u25b5{D}_{t}{v}^{n}),$ where

${k}_{ij}$ are some constants,

${T}_{ij}$ are singular integral operators. Its boundedness in the space

${L}_{2}$ gives the required estimates. □

**Lemma** **12.** Let ${T}_{0}$ be a constant of Lemma 1. Then, for every segment $[0,T],\phantom{\rule{0.277778em}{0ex}}T<{T}_{0},$ for all exponents $p\in [1,3/2]$ and each triple $i,j,k=1,2,3$ approximations ${v}^{n}$ from (14)–(16) satisfy inequalities: - (1)
$\parallel {v}_{i,\phantom{\rule{0.277778em}{0ex}}j}^{n}{v}_{j,\phantom{\rule{0.277778em}{0ex}}ik}^{n}{\parallel}_{p}\le C$;

- (2)
$\parallel {v}_{i,\phantom{\rule{0.277778em}{0ex}}j}^{n}{D}_{t}{v}_{j,\phantom{\rule{0.277778em}{0ex}}ik}^{n}{\parallel}_{p}\le C{\parallel \u25b5{D}_{t}{v}^{n}\parallel}_{2}$;

- (3)
$\parallel {D}_{t}{v}_{i,\phantom{\rule{0.277778em}{0ex}}j}^{n}{v}_{j,\phantom{\rule{0.277778em}{0ex}}ik}^{n}{\parallel}_{p}\le C{\parallel \u25b5{D}_{t}{v}^{n}\parallel}_{2}^{3/p-2}$;

- (4)
$\parallel {v}_{i,\phantom{\rule{0.277778em}{0ex}}j}^{n}{D}_{t}{v}_{j,\phantom{\rule{0.277778em}{0ex}}i}^{n}{\parallel}_{p}\le C$;

where constants C depend on $\nu ,\phi ,T,p$ only.

**Proof.** Apply Hölder’s inequality. Then,

Denote

$h={v}^{n},\phantom{\rule{0.277778em}{0ex}}g={v}^{n}$. An exponent

$2p/(2-p)\in [2,6]$. Then, the first factor in (

23) is estimated by Lemma 1 with an assumption

$r=2,\phantom{\rule{0.277778em}{0ex}}s=6$. Uniform estimate (1) follows from Lemma 6 and Lemma 8. In the same way taking a pair

$h={v}^{n},\phantom{\rule{0.277778em}{0ex}}g={D}_{t}{v}^{n}$ we get estimate (2). Now, denote

$h={D}_{t}{v}^{n},\phantom{\rule{0.277778em}{0ex}}g={v}^{n}$. To the first factor from the right-hand side of (

23) we apply Lemma A5 relying on

$r=2,\phantom{\rule{0.277778em}{0ex}}s=6,\phantom{\rule{0.277778em}{0ex}}t=3-3/p$. The norm

$\parallel \nabla {D}_{t}{v}^{n}{\parallel}_{2}$ has a uniform estimate with respect to

t and

n by Lemma 7. Apply the both estimates of this lemma and obtain estimate (3). The other estimates (4) and (1) we prove in the same way. □

#### 2.5. Successive Approximations of Solutions and Its Estimates: Pressure

Let

${v}^{n}$ be an approximation from formulae (

14)–(

16). Fix

$T,\phantom{\rule{0.277778em}{0ex}}T<{T}_{0}$ where

${T}_{0}$ is the constant from Lemma 1. Consider a hydrodynamical potential

A product

${v}_{i,\phantom{\rule{0.277778em}{0ex}}j}^{n}{v}_{j,\phantom{\rule{0.277778em}{0ex}}i}^{n}\in {L}_{1}({R}^{3})\bigcap {L}_{3}({R}^{3})$. This follows from estimates of Lemma 6, Lemma 8 and Hölder’s inequality. By Lemma A4 on every segment

$[0,T],$ we have:

Lemma A1 implies a uniform estimate with respect to

t and

n:

for any exponent

$q>3$, where

$\frac{1}{q}=\frac{1}{p}-\frac{2}{3}$.

Let us decompose integral in (

24) by two integrals

${J}_{1}$ and

${J}_{2}$: over ball

$|y-x|<1$ and over its exterior. Every integral we estimate by Hölder’s inequality or a simple estimation. Then,

Thus, with some constant

$C=C(\nu ,\phi ,T)$ on the set

${S}_{T}$ for all

n, we obtain:

Function

${P}^{n}$ has derivatives in distributions:

The differentiation of the integral from (

24), the summation and a simple estimation give:

By Lemma A1 for exponents

$p\in (1,3]$ and

$q>3/2$ where

$\frac{1}{q}=\frac{1}{p}-\frac{1}{3}$, we have:

The right-hand side of (

29) is bounded upper by a constant

$C=C(\nu ,\phi ,T,p)$. Here, we apply inequalities from Lemma 6, Lemma 8 and Lemma A5. Therefore,

Thus,

${D}_{t}\nabla {P}^{n}\in {L}_{q}({R}^{3})$ for any exponent

$q>3/2$. By Lemma A1, we obtain:

Consider two cases: $1<p\le 3/2$ and $3/2<p\le 3$.

Let

$1<p\le 3/2$ . Then, the right-hand side of (

31) is bounded by a constant

$C=C(\nu ,\phi ,T,p)$. This follows from estimate 4 of Lemma 12.

Let

$3/2<p\le 3$. Then, the exponent

$6p/(6-p)\in [2,6]$. Applying Hölder’s inequality, we get

The first factor is estimated uniformly by a some constant

$C=C(\nu ,\phi ,T,p)$. This is proved by application Lemma A5, Lemmas 6 and 8. The second factor is estimated by inequality (2) from Lemma 7. Hence, for an exponent

q,

$q>3,\phantom{\rule{0.277778em}{0ex}}\frac{1}{q}=\frac{1}{p}-\frac{1}{3}$, we get:

Applying the integral representation for derivative ${D}_{t}{P}^{n}$ in the same way we prove another uniform estimate $\parallel {D}_{t}{P}^{n}{\parallel}_{q}\le C$ for every exponent $q,\phantom{\rule{0.277778em}{0ex}}q>3$.

As the final result from (

26), (

27), (

30), (

31), we obtain the following statement.

**Lemma** **13.** Let ${T}_{0}$ be a constant from Lemma 1. Let ${P}^{n}$ be a function defined by (24). Then, on every segment $[0,T],\phantom{\rule{0.277778em}{0ex}}T<{T}_{0}$, with some constants ${C}_{1}=C(\nu ,\phi ,T),\phantom{\rule{0.277778em}{0ex}}{C}_{2}=C(\nu ,\phi ,T,q),$ there are fulfilled uniform estimates with respect to $t\in [0,T]$ and n: - (1)
$|{P}^{n}(t,x)|\le {C}_{1}$ for all $x\in {R}^{3}$;

- (2)
$\parallel \nabla {P}^{n}{\parallel}_{q}\le {C}_{2}$ for every $q>3/2$;

- (3)
$\parallel \nabla {D}_{t}{P}^{n}{\parallel}_{q}\le {C}_{2}$ for every $q\in (3/2,3]$;

- (4)
$\parallel \nabla {D}_{t}{P}^{n}{\parallel}_{q}\le {C}_{2}{\parallel \u25b5{D}_{t}{P}^{n}\parallel}_{2}$, $\parallel {P}^{n}{\parallel}_{q}\le {C}_{2}$, $\parallel {D}_{t}{P}^{n}{\parallel}_{q}\le {C}_{2}$ for every $q>3$.

**Lemma** **14.** Suppose that ${T}_{0}$ is the constant from Lemma 1. Let ${P}^{n}$ be a function defined by (24). Then, on every segment $[0,T],\phantom{\rule{0.277778em}{0ex}}T<{T}_{0}$, with some constants ${C}_{2}=C(\nu ,\phi ,T,q),$ there are fulfilled uniform estimates with respect to $t\in [0,T]$ and n: - (1)
$\parallel {P}_{,\phantom{\rule{0.277778em}{0ex}}km}^{n}{\parallel}_{q}\le {C}_{2}$;

- (2)
$\parallel {D}_{t}{P}_{,\phantom{\rule{0.277778em}{0ex}}km}^{n}{\parallel}_{q}\le {C}_{2}max(1,\parallel \u25b5{D}_{t}{v}^{n}{\parallel}_{2})$;

for every $q\in (3/2,3]$ and every pair of numbers $k,m=1,2,3$.

**Proof.** These estimates follow from Lemma A1, Lemma 12 and integral representations for derivatives extracting from (

24). Apply Lemma A1 and item (1) of Lemma 12. Then, we obtain the first inequality. In the same way, we get the second inequality with an application of estimates (2) and (3) from Lemma 12. □

**Lemma** **15.** Let ${T}_{0}$ be a constant of Lemma 1. Let ${P}^{n}$ be a function defined by (24). Then, on every segment $[0,T],\phantom{\rule{0.277778em}{0ex}}T<{T}_{0}$, with some constant $C=C(\nu ,\phi ,T,q),$ there are fulfilled uniform estimates with respect to $t\in [0,T]$ and n: $\parallel {P}_{,\phantom{\rule{0.277778em}{0ex}}klm}^{n}{\parallel}_{q}\le C$ for every $q\in (1,3/2]$, $k,l,m=1,2,3$. **Proof.** It is sufficient to repeat the proof of Lemma 11 with the application of formula (

24). □

**Lemma** **16.** Let ${T}_{0}$ be a constant from Lemma 1. Supposing that ${P}^{n}$ is the function defined by (24), then **Proof.** This follows from proposition A3. □

#### 2.6. Estimates of Uniform Continuity of Approximations in Spaces ${L}_{2}({R}^{3})$ and $C({S}_{T})$

Now, we estimate the integral continuity modulus of gradients and Laplacians for approximations following [

7]. Let

${T}_{0}$ be a constant from Lemma 1. Let

T,

${T}_{1}$ be arbitrary numbers such that

$T<{T}_{1}<{T}_{0}$. Assume

$t\in [0,T],\phantom{\rule{0.277778em}{0ex}}t+h\in [0,{T}_{1}]$. Equations (

16) we write by the following form:

Every equality we multiply by difference

${c}_{qn}(t+h)-{c}_{qn}(t)$ respectively and add together them. Setting

$z={v}^{n}(t+h,x)-{v}^{n}(t,x),$ we have

To the scalar product on the right-hand side, we apply Cauchy–Bunyakovskii’s inequality. The integral (

J is its mean) we estimate by Corollary A4 for the triple

${v}^{n},\phantom{\rule{0.277778em}{0ex}}{v}^{n},\phantom{\rule{0.277778em}{0ex}}z$. Then,

Every factor from the right-hand side of these inequalities is bounded by a constant

$C=C(\nu ,\phi ,{T}_{1})$ uniformly with respect to

$t,\phantom{\rule{0.277778em}{0ex}}n,\phantom{\rule{0.277778em}{0ex}}h$. This follows from estimates of Lemmas 6–8, definition of

z and the choice of means

$h,\phantom{\rule{0.277778em}{0ex}}{T}_{1}$. Since

then we get inequalities:

Integrating it over segments $[0,h]$ if $h>0$ and $[h,0]$ if $h<0$ in any case we have: ${\parallel \nabla z\parallel}_{2}^{2}\le 2C|h|$. Thus, the following statement is proved.

**Lemma** **17.** Let ${T}_{0}$ be a constant from Lemma 1. Let $T,\phantom{\rule{0.277778em}{0ex}}{T}_{1},\phantom{\rule{0.277778em}{0ex}}T<{T}_{1}<{T}_{0}$ be arbitrary but fixed numbers. Then, there exists a constant $C=C(\nu ,\phi ,{T}_{1})$ such that, for all approximations ${v}^{n},$ there is a fulfilled inequality:whenever $t\in [0,T],\phantom{\rule{0.277778em}{0ex}}t+h\in [0,{T}_{1}]$. **Lemma** **18.** Let ${T}_{0}$ be a constant from 1. Let $T,{T}_{1},\phantom{\rule{0.277778em}{0ex}}T<{T}_{1}<{T}_{0}$ be arbitrary but fixed numbers. Then, there exists a constant $C=C(\nu ,\phi ,{T}_{1})$ such that for all approximations ${v}^{n}$ there is fulfilled inequality:whenever $t\in [0,T],\phantom{\rule{0.277778em}{0ex}}t+h\in [0,{T}_{1}].$ **Proof.** Formulae (

16) and (

32) yield equalities:

where

$z={v}^{n}(t+h,x)-{v}^{n}(t,x)$. Every equality we multiply by factor

$c{\prime}_{qn}(t+h)$ respectively and add together them. Furthermore, in the second term, we replace differentiation on variable

t by differentiation on variable

h. Hence, we obtain:

Here,

${L}_{1},{L}_{2}$ are integrals from the first and the second products sums, respectively. Hence,

The scalar products on the left-hand side of (

33) are bounded uniformly. This follows from estimates of Lemmas 6–8. Therefore, we have:

with some constant

$C=C(\nu ,\phi ,{T}_{1})$. A uniform boundedness of integrals

${L}_{1},{L}_{2}$ follows from Corollary A4. For the verification, we take mappings triples

$z,\phantom{\rule{0.277778em}{0ex}}{v}^{n}(t+h,\xb7),\phantom{\rule{0.277778em}{0ex}}{D}_{t}{v}^{n}(t+h,\xb7)$ and

${v}^{n}(t,\xb7),\phantom{\rule{0.277778em}{0ex}}z,\phantom{\rule{0.277778em}{0ex}}{D}_{t}{v}^{n}(t+h,\xb7),$ respectively. Finally, applying estimates from Lemma 6, Lemma 8 and Lemma 17, we obtain:

where constants

${C}_{m}={C}_{m}(\nu ,\phi ,{T}_{1}),\phantom{\rule{0.277778em}{0ex}}m=1,2$ depend on

$\nu ,\phi ,{T}_{1}$ only.

We integrate (

34) over segments

$[0,h]$ if

$h>0$ and

$[h,0]$ if

$h<0$. Assume

$h>0$ without restriction of the generality. Then, from (

35) after Hölder’s inequality application and inequality (2) of Lemma 8, we get:

where

${C}_{1}$ is a new constant. From (

36) in the same way, we obtain another estimate:

Integrating (

34) and, gathering last estimates, we get lemma inequality. □

**Lemma** **19.** Let ${T}_{0}$ be a number from Lemma 1. Let $T,\phantom{\rule{0.277778em}{0ex}}{T}_{1},\phantom{\rule{0.277778em}{0ex}}T<{T}_{1}<{T}_{0}$ be arbitrary but fixed numbers. Then, there exists a constant $C=C(\nu ,\phi ,{T}_{1})$ such that for all approximations ${v}^{n}$ and ${P}^{n}$ there are fulfilled inequalities:whenever $t\in [0,T],\phantom{\rule{0.277778em}{0ex}}t+h\in [0,{T}_{1}],\phantom{\rule{0.277778em}{0ex}}|h|\le 1,\phantom{\rule{0.277778em}{0ex}}x,z\in {R}^{3}$. **Proof.** We have $|f(t+h,x)-f(t,z)|\le |f(t+h,x)-f(t,x)|+|f(t,x)-f(t,z)|$. Therefore, one should find uniform estimates for every modulus on the right-hand side considering mappings ${v}^{n},\phantom{\rule{0.277778em}{0ex}}{P}^{n}$.

From representation (

A2), it follows:

$|{v}^{n}(t+h,x)-{v}^{n}(t,x)|\le \frac{1}{4\pi}({J}_{1}+{J}_{2}),$ where

To every integral, we apply again Hölder’s inequality. Then,

The second representation in (

A2) and Lemma A1 yield estimate:

Therefore, previous inequalities and estimates from Lemma 17 and Lemma 18 give formula:

where

C is a constant depending on

$\nu ,\phantom{\rule{0.277778em}{0ex}}\phi ,{T}_{1}$ only.

Let us estimate the second modulus applying Poisson’s formula (see (

A1)). Then,

From the inequality,

with some constant

${C}_{1},$ we obtain:

Previous estimates and Lemma 8 (estimate (1)) yield:

where a constant

C depends on

$\nu ,\phi ,{T}_{1}$ only. Thus, the first estimate follows from (

37) and (

38).

In the same way, we prove an inequality of the kind (

38) for the function

${P}^{n}$ (formula (

24)). The norm

$\parallel \nabla {v}^{n}{\parallel}_{4}$, which appears after applying Holder’s inequality, we must estimate by Lemma A5. Then,

Furthermore, Lemma 6 (estimates (1), (2)) and lemma 8 (estimate (1)) yield the inequality

$\parallel \nabla {v}^{n}{\parallel}_{4}\le C$, where

$C=C(\nu ,\phi ,T)$ is some universal constant. Then, it follows:

A difference

$L={P}^{n}(t+h,x)-{P}^{n}(t,x)$ is represented in the following form:

To obtain this formula, we change summation index for a separate terms (use (

24)) and apply Hölder’s inequality for three factors and two factors. We make estimates separately on a ball

$|y-x|\le 1$ and its exterior. Let

$m={\left({\int}_{|y-x|\le 1}{|x-y|}^{-2}dy\right)}^{1/2}$. Then,

In the last case, as the first step, we make a simple estimate, thereupon, we apply Hölder’s inequality. The analogous arguments that are used above for the proof of the first estimate in lemma and formula (

39) yield the inequality:

where

$C=C(\nu ,\phi ,{T}_{1})$ is some constant depending on

$\nu ,\phi ,{T}_{1}$ only. Uniform estimates (

39) and (

40) prove the second inequality of lemma. □

#### 2.7. Weak Limits Properties of Approximation Sequences

**Lemma** **20.** Let ${T}_{0}$ be a number from Lemma 1 and $T<{T}_{0}$ be a positive number. Then, the sequence of mappings ${({v}^{n})}_{n=1,\dots}$ defined by (14)–(16) is bounded in the space ${W}_{6}^{1}({S}_{T})$ and the sequence ${({P}^{n})}_{n=1,\dots}$ constructed by formula (24) is bounded in spaces ${W}_{q}^{1}({S}_{T}),\phantom{\rule{0.277778em}{0ex}}q>3$. **Proof.** Estimate (2) from Lemma 6 and estimate (1) from Lemma 8 yield inequality

$\parallel \nabla {v}^{n}{\parallel}_{6}\le C$. It is fulfilled with some constant

C whenever

n and

$t\in [0,T]$. For all mappings

${v}^{n}$,

${D}_{t}{v}^{n}$ integral representation (

A2) is true. Then, by Lemma A1, we obtain:

From inequalities (1) of Lemmas 6 and 8, we conclude that there exist constants ${C}_{1}$, ${C}_{2}$, such that $\parallel {v}^{n}{\parallel}_{6}\le {C}_{1}$, $\parallel {D}_{t}{v}^{n}{\parallel}_{6}\le {C}_{2}$. All norms are uniformly bounded with respect to t. Hence, the sequence ${({v}^{n})}_{n=1,\dots}$ is bounded in ${W}_{6}^{1}({S}_{T})$.

Uniform boundedness of these norms $\parallel {P}^{n}{\parallel}_{q}$, $\parallel \nabla {P}^{n}{\parallel}_{q}$, $\parallel {D}_{t}{P}^{n}{\parallel}_{q},\phantom{\rule{0.277778em}{0ex}}q>3,$ with respect to t and n follows from Lemma 13. Therefore, the sequence ${({P}^{n})}_{n=1,\dots}$ is bounded in spaces ${W}_{q}^{1}({S}_{T})$. □

**Remark** **2.** The spaces ${W}_{6}^{1}({S}_{T})$, ${W}_{q}^{1}({S}_{T})$ are reflexive. Hence, every bounded set from it is a weakly compact set (see [29]). Then, by Lemma 20, sequences ${({v}^{n})}_{\dots}$, ${({P}^{n})}_{\dots}$ are bounded in these spaces. It is possible to extract a weakly converging subsequences from its. Letbe weak limits of these subsequences. Without restriction of generality, we assume that these subsequences converge to the own weak limits on every compact set of ${S}_{T}$. This follows from Arzela’s theorem and Lemma 19. **Lemma** **21.** Let u and P be weak limits from (41). Then, - (1)
mappings u and P are uniformly continuous on a set ${S}_{T},\phantom{\rule{0.277778em}{0ex}}T<{T}_{0}$, moreover, $u(0,x)=\phi (x)$;

- (2)
mappings u and P are bounded on a set ${S}_{T}$;

- (3)
the mapping $u\in {W}_{6}^{1}({S}_{T})$ and there exists a constant $C=C(\nu ,\phi ,T)$ such that following inequalities are true: ${\parallel u\parallel}_{6}\le C$, ${\parallel \nabla u\parallel}_{6}\le C$, $\parallel {D}_{t}{u\parallel}_{6}\le C$ whenever $t\in [0,T]$;

- (4)
${\parallel \nabla u\parallel}_{2}\le C{\parallel \nabla \phi \parallel}_{2}$, $\parallel \nabla {D}_{t}{u\parallel}_{2}\le C{\parallel \nabla {T}^{1}\parallel}_{2}$ whenever $t\in [0,T]$, where vector field ${T}^{1}$ from (22), a constant $C=C(\nu ,\phi ,T)$; - (5)
u has distributions of the second and third orders: ${u}_{,\phantom{\rule{0.277778em}{0ex}}ij},\phantom{\rule{0.277778em}{0ex}}{D}_{t}{u}_{,\phantom{\rule{0.277778em}{0ex}}ij}$, in addition, for all $t\in [0,T],$ there are fulfilled inequalities: ${\parallel \u25b5u\parallel}_{2}\le C$, ${\int}_{0}^{t}{\parallel \u25b5{D}^{t}u\parallel}_{2}^{2}dt\le {l}_{1}$ where constants $C,{l}_{1}$ from Lemma 8;

- (6)
the function $P\in {W}_{q}^{1}({S}_{T})$ for every $q>3$, in this case, there exists a constant $C=C(\nu ,\phi ,T,q)$ such that, for all $t\in [0,T]$ estimates ${\parallel P\parallel}_{q}\le C$, $\parallel {D}_{t}{P\parallel}_{q}\le C$ are true;

- (7)
there exist constants ${C}_{i}={C}_{i}(\nu ,\phi ,T,q)$ such that ${\parallel \nabla P\parallel}_{q}\le {C}_{1}$ for every $q>3/2$ and $\parallel \nabla {D}_{t}{P\parallel}_{q}\le {C}_{2}$ for every $q\in (3/2,3]$;

- (8)
the function P has distributions of the second and third orders: ${P}_{,\phantom{\rule{0.277778em}{0ex}}km},$${P}_{,\phantom{\rule{0.277778em}{0ex}}kmj},\phantom{\rule{0.277778em}{0ex}}{D}_{t}{P}_{,\phantom{\rule{0.277778em}{0ex}}i}$, in addition, there exists a number $C=C(\nu ,\phi ,T,q)$ such that, for all $t\in [0,T],$ the following inequalities hold:

$\parallel {P}_{,\phantom{\rule{0.277778em}{0ex}}km}{\parallel}_{q}\le C,$$\parallel {D}_{t}{P}_{,\phantom{\rule{0.277778em}{0ex}}i}{\parallel}_{q}\le C$ for every $q\in (3/2,3]$ and $\parallel {P}_{,\phantom{\rule{0.277778em}{0ex}}kmj}{\parallel}_{q}\le C,$ for every $q\in (1,3/2].$

**Proof.** Property (1) follows from Remark 2. A uniform continuity follows from Lemma 19 and a uniform convergence of subsequences ${({v}^{{n}_{k}})}_{k=1,\dots}$ and ${({P}^{{n}_{k}})}_{k=1,\dots}$ on compact subsets of ${S}_{T}$.

Property (2) follows from a uniform convergence on compact sets, Lemma 9 and Lemma 13 (item (1)).

Property (3) follows from norm semicontinuity of a weak limit in reflexive spaces.

Property (4) follows from Lemma 11. A uniform boundedness of norms $\parallel {v}_{,\phantom{\rule{0.277778em}{0ex}}ij}^{n}{\parallel}_{2}$ (see Lemma 8 and Lemma 11) and norms boundedness $\parallel {D}_{t}{v}_{,\phantom{\rule{0.277778em}{0ex}}ij}^{n}{\parallel}_{2}$ in the space ${W}_{2}^{1}({S}_{T})$ (see Lemma 8 and Lemma 11) guarantee an existence of distributions ${u}_{,\phantom{\rule{0.277778em}{0ex}}ij}$, ${D}_{t}{u}_{,\phantom{\rule{0.277778em}{0ex}}ij}$. Estimates of its norms follow from a semicontinuity of a weak limit norm.

Properties (5)–(8) are proved in the same way. For the verification, we apply Lemmas 13–15. □

**Lemma** **22.** Weak limits from (41) satisfy equalities: **Proof.** The first equality is fulfilled for mappings

${v}^{n}$ and

${P}^{n}$. The sequence

${(\nabla {v}^{n})}_{n=1,\dots}$ is bounded in the space

${W}_{2}^{1}({S}_{T})$. In addition, estimates of norms

$\parallel \nabla {v}^{n}{\parallel}_{2}$,

$\parallel {v}_{,\phantom{\rule{0.277778em}{0ex}}ij}^{n}{\parallel}_{2}$,

$\parallel {D}_{t}{v}_{,\phantom{\rule{0.277778em}{0ex}}i}^{n}{\parallel}_{2}$ are uniform with respect to

t and

n (see Lemmas 6–8 and 11). Apply Sobolev–Kondrashov’s embedding theorem (see [

23], pp. 83–94) to the sequence

${(\nabla {v}^{n})}_{n=1,\dots}$. As a bounded set, it is embedded in the space

${L}_{q}([0,T]\times \Omega )$ for every ball

$\Omega \subset {R}^{3}$. An exponent

q satisfies condition

In this case, a dimension of spatial domain

$[0,T]\times \Omega )$ $m=4$. Thus, we can assume that a subsequence

${(\nabla {v}^{{n}_{k}})}_{k=1,\dots}$ converges strongly to a mapping

$\nabla u$ in the space

${L}_{q}([0,T]\times \Omega )$,

$q<4$, for every ball

$\Omega \subset {R}^{3}$. Denote the integral from the first equality of the lemma by

${Q}_{k}(t,x)$. Let

${d}^{n}={P}_{,\phantom{\rule{0.277778em}{0ex}}m}^{n}-{Q}_{m}$. From equality

we deduce:

Multiply this inequality by

$|\eta |$ where

$\eta \in {C}_{0}({S}_{T})$ an arbitrary test–function. Thereupon, integrate over the set

${S}_{T}$ and change integration order. Then,

where

${I}_{2}$ is the Riesz potential,

${K}_{1}$ is the interior integral calculating over ball

$|y|<r$, and

${K}_{2}$ is the interior integral calculating over exterior of this ball. Estimate every integral applying Hölder’s inequality. Thus, we have

The second and the third factors on the right-hand side we estimate by constants independent of

t and

n (see Lemmas 6, 8, 21 with conditions (3)–(4) and Lemma A5). A radius

r is fixed so that the first factor is less an arbitrary positive number

$\epsilon $. Then,

${K}_{2}\le C\epsilon $. Integral

${K}_{1}$ we estimate on a subsequence. Then,

The second and the third factors are uniformly bounded by a some constant

C. Therefore, the inequality:

is fulfilled. The middle factor is not greater

$\epsilon $ if a number

k is large enough. This follows from condition of a strong convergence on a bounded set. Combining all estimates above, we obtain the inequality

This means that

${d}^{{n}_{k}}\to 0$ weakly because a function

$\eta $ is an arbitrary. The first equality is proved. The second equality is proved in the same way. Consider the difference

${d}^{n}={v}_{,\phantom{\rule{0.277778em}{0ex}}j}^{n}-{R}_{j}$ where

${R}_{j}$ is the integral of the second equality. In the integral

${d}^{n}(t,x),$ we replace the variable by

$y=x+z$. Thereupon, we multiply the equality by a test–function

$\eta \in {C}_{0}({S}_{T})$ and integrate its over set

${S}_{T}$. Change integration order and carry over Laplace operator to function

$\eta $. Then,

Replace variables in the interior integral by

$x=y-z$ and change integration order. Hence, we get:

Integration with respect to y we make separately over ball $|y|<r$ and its exterior. The furthest arguments are conducted in the same way as above. A distinction in the following. In this time, we use an uniform convergence of a subsequence ${({v}^{{n}_{k}})}_{k=1,\dots}$ on compact sets (see Remark 2). □

#### 2.8. Weak Solutions and Gradients Boundedness

**Lemma** **23.** Let u and P be weak limits from (41). Then, for every solenoidal vector field $\psi \in {C}_{0}^{\infty}({R}^{3})$ and almost everywhere $t\in [0,T],$ there is fulfilled integral identity: **Proof.** Equalities (

16) multiply by a test–function

$\eta \in {C}_{0}^{\infty}([0,T])$ and integrate its over segment

$[0,T]$ . If a subsequence

${({v}^{{n}_{k}})}_{k=1,\dots}$ converges weakly, then, for all

$q=1,\dots ,{n}_{k}$, we have

Fix a some number

q . Then, the passage to the limit gives the equality

This is explained by a weak convergence of a sequence

${({v}_{i}^{{n}_{k}}{v}_{,\phantom{\rule{0.277778em}{0ex}}i}^{{n}_{k}})}_{k=1,\dots}$ to the mapping

${u}_{i}{u}_{,\phantom{\rule{0.277778em}{0ex}}i}$. It is given by support compactness of a vector field

${a}^{q}$, by uniform boundedness with respect to

t and

n of norms

$\parallel \nabla {v}^{n}{\parallel}_{p}\phantom{\rule{0.277778em}{0ex}},2\le p\le 6,$ and a uniform convergence of subsequence

${({v}^{{n}_{k}})}_{k=1,\dots}$ on compact subsets of

${S}_{T}.$ A function

$\eta $ is an arbitrary. Therefore, from (

42), we obtain

It is already fulfilled for every natural number

q. The construction of vector fields

${a}^{q}$ permits this integral identity to extend on elements of the fundamental system

$({\psi}_{n=1,\dots}^{n})$ (see (

12) and (

13)), i.e.,

We show that identity (

43) is true for every solenoidal vector field

$\psi \in {C}_{0}^{\infty}({R}^{3})$. Let

${({\xi}^{m})}_{m=1,\dots}$ be a sequence of a finite linear combinations of mappings

${\psi}^{n}$, which converges to a vector field

$\psi \in {C}_{0}^{\infty}({R}^{3})$ in the space

${J}_{0}^{2}({R}^{3})$. Then,

and equality (

43) for mappings

${\xi}^{m}$ is true. Mappings

$\u25b5u,\phantom{\rule{0.277778em}{0ex}}{u}_{i}{u}_{,\phantom{\rule{0.277778em}{0ex}}i}$ belong to the space

${L}_{2}({R}^{3})$ for a.e.

t. Then,

a.e. as

$m\to \infty $. Let us show

as the same condition is. Consider the equality of scalar products

and note that the right side tends to

$({D}_{t}{u}_{,\phantom{\rule{0.277778em}{0ex}}j},{\psi}_{,\phantom{\rule{0.277778em}{0ex}}j})$ (see Lemma 21 item (4)). On the other side,

$-({D}_{t}{u}_{,\phantom{\rule{0.277778em}{0ex}}j},{\psi}_{,\phantom{\rule{0.277778em}{0ex}}j})=({D}_{t}{u}_{,}\u25b5\psi )$. Condition (

43) is true for an arbitrary

$\psi \in {C}_{0}^{\infty}({R}^{3})$. From

$(\nabla P,\u25b5\psi )=0$, we have the lemma. □

**Lemma** **24.** (see ([7], pp. 41–44), see also [30].) Let $B\subset {R}^{3}$ be an arbitrary ball. Then, a space ${L}_{2}(B)$ of any vector fields has a decomposition by a direct sum ${L}_{2}(B)=G(B)\oplus {J}_{0}(B)$ of orthogonal subspaces. A subspace $G(B)$ is the space of gradients $\nabla g$ where $g:B\to R$ is locally square–integrable function with a finite norm ${\parallel \nabla g\parallel}_{2}$. A space ${J}_{0}(B)$ is the closure with respect to the norm ${L}_{2}(B)$ of all solenoidal vector fields from the class ${C}_{0}^{\infty}(B)$ . **Lemma** **25.** If u and P are weak limits (41), then there are fulfilled equalities:a.e. on a set ${S}_{T}$ for any $T\in [0,{T}_{0})$. **Proof.** Denote ${h}_{2}=-\nu \u25b5u$, ${h}_{3}={u}_{i}{u}_{,\phantom{\rule{0.277778em}{0ex}}i}$, ${h}_{6}={D}_{t}u+\nabla P$. Every vector field ${h}_{p},\phantom{\rule{0.277778em}{0ex}}p=2,3,6,$ belongs to the space ${L}_{p}({R}^{3})$ (see Lemma 21). Mappings norms ${h}_{p}$ are bounded by constants independent of $t\in [0,T]$. From the first equality of Lemma 22, we gather $(H,\nabla g)=0$, where $g\in {C}_{0}^{\infty}({R}^{3})$ is an arbitrary. We assume the mapping H and its generators ${h}_{p}$ belong to the class ${C}^{\infty}({R}^{3})$. Otherwise, we take averages with a kernel from ${C}_{0}^{\infty}({R}^{3})$ for them. For averages, the equality $(H,\nabla g)=0$ and the equality of Lemma 23 are kept. This follows from behind an arbitrary choice of a smooth function g and a field $\psi \in {C}_{0}^{\infty}({R}^{3})$. Then, $div\phantom{\rule{0.277778em}{0ex}}H=0$. Moreover, a smoothness H and the equality of Lemma 23 imply $(\u25b5H,\phantom{\rule{0.277778em}{0ex}}\psi )=0$. From Lemma 24 on every ball $B\subset {R}^{3}$, we have $\u25b5H=\nabla h$. A function h is infinitely smooth. This is given by smoothness $\u25b5H$ . Then, $div\phantom{\rule{0.277778em}{0ex}}\u25b5H=\u25b5h$. On the other hand, $div\phantom{\rule{0.277778em}{0ex}}\u25b5H=\u25b5div\phantom{\rule{0.277778em}{0ex}}H=0$. Therefore, the function h is a harmonic function. Hence, and from above, there is ${\u25b5}^{2}H=0$. By Lemma A7, we have $H=0$. Making an average parameter tending to zero, we obtain this equality in the general case. □

**Lemma** **26.** Let u and P be weak limits from (41). Then, there exists a number $C=C(\nu ,\phi ,T)$ such that, for almost everywhere, $t\in [0,T]$ following conditions are fulfilled: - (1)
${\parallel \u25b5u\parallel}_{6}\le C$;

- (2)
$|\nabla {u}_{k}(t,x)|\le C,\phantom{\rule{0.277778em}{0ex}}|\nabla P(t,x)|\le C$, $k=1,2,3.$

**Proof.** From Lemma 25, we conclude that Laplacian $\u25b5u$ is the linear combination of three vector fields $\nabla P$, ${D}_{t}u$, ${u}_{i}{u}_{,\phantom{\rule{0.277778em}{0ex}}i}$. Coordinates ${u}_{i}$ are bounded on the set ${S}_{T}$ by Lemma 21 item (2). Then, from Lemma 21 (see estimates (3) and (6)), it follows the first part of the lemma.

Gradients boundness $\nabla {u}_{i}$ we obtain from the second integral representation of Lemma 22 and estimate ${\parallel \u25b5u\parallel}_{6}\le C$. In the next step, we repeat the proof of Lemma 9.

Gradients boundedness $\nabla P$ we get from the first integral representation of Lemma 22 and gradients boundedness $\nabla {u}_{i}$ with repeating of the proof from Lemma 9. □

#### 2.9. Weak Solutions, Integral Equations and Energetic Inequality

Let $\Gamma (x,t)={(4\pi \nu t)}^{-n/2}{e}^{-{|x|}^{2}/4\nu t}$ be a Weierstrass kernel. Furthermore, we consider mixed norms for mappings defined on the set ${S}_{T}=[0,T]\times {R}^{n}$.

**Lemma** **27.** (See [13], Theorem 2.1.) A vector field $u:{S}_{T}\to {R}^{n}$ with a finite mixed norm ${\parallel u\parallel}_{p,\phantom{\rule{0.277778em}{0ex}}q}$ is a weak solution of problems (1) and (2) if and only if when u is a solution of integral equationwhere B is a some nonlinear integral operator, $f(t,x)=\int \Gamma (x-y,t)\phi (y)dy.$ **Lemma** **28.** (See [13], Theorem 3.4.) Let u be a solution of integral Equation (44) with a finite mixed norm ${\parallel u\parallel}_{p,\phantom{\rule{0.277778em}{0ex}}q}$ where $p,q\ge 2,\phantom{\rule{0.277778em}{0ex}}\frac{3}{p}+\frac{2}{q}\le 1$. Let k be a positive integer such that $k+1<p,\phantom{\rule{0.277778em}{0ex}}q<\infty $. If mixed norms of derivativeswith exponents ${p}_{1}=\frac{p}{|\alpha |+2j+1},\phantom{\rule{0.277778em}{0ex}}{q}_{1}=\frac{q}{|\alpha |+2j+1}$ are finite whenever $|\alpha |+2j\le k$, then also mixed norms ofare finite for the same means $\alpha ,j$, ${p}_{1},\phantom{\rule{0.277778em}{0ex}}{q}_{1}$. **Remark** **3.** The proof of this result relies on Calderon–Zygmund’s theorem and a boundedness of singular integral operators of parabolic type (see [31]). **Remark** **4.** Norms ${D}^{\alpha}\frac{{\partial}^{j}u}{\partial {t}^{j}}$ are bounded by a constant that depends on exponents p, q, derivative order and the mixed norm ${\parallel u\parallel}_{p,\phantom{\rule{0.277778em}{0ex}}q}$. It follows directly from the proof of the theorem in [13]. **Lemma** **29.** If u is a weak limit from (41), then there exists a number $C=C(\nu ,\phi ,T,p,q)$ such that ${\parallel u\parallel}_{p,\phantom{\rule{0.277778em}{0ex}}q}\le C$ whenever $p,\phantom{\rule{0.277778em}{0ex}}q\ge 2,\phantom{\rule{0.277778em}{0ex}}\frac{3}{p}+\frac{2}{q}\le 1$. **Proof.** Let

$T<{T}_{0}$ be a positive arbitrary number. Integrate the equality of Lemma 25 over segment

$[0,t]$ where

$t<T$. Then, continuity and absolute continuity on lines of mapping

u give:

Every integrable term has finite norms

In addition, every norm is bounded by a constant $C=C(\nu ,\phi ,T)$ depending on $\nu ,\phi ,T$ only. It follows from Lemma 21 (see estimates (5) and (7)) for the first and the second norms. A boundedness of the third norm follows from mapping boundedness u (see Lemma 21 item (2)) and the estimate from item (4) (see Lemma 21) . Therefore, ${\parallel u\parallel}_{2}\le C$. A boundedness of vector field u (see Lemma 21 item (2)) gives a uniform estimate ${\parallel u\parallel}_{p}\le C$ whenever $p\ge 2$. Then, any mixed norm ${\parallel u\parallel}_{p,\phantom{\rule{0.277778em}{0ex}}q}$ is finite whenever $p,\phantom{\rule{0.277778em}{0ex}}q$ from lemma condition. □

**Lemma** **30.** If u is a weak limit from (41), then a mixed norm ${\parallel \u25b5u\parallel}_{6/5,\phantom{\rule{0.277778em}{0ex}}4}<\infty $. **Proof.** Let initial data

$\phi \in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$. Function

f from Lemma 27 is represented by integral

For

$\phi \in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty},$ there is true Lemma 34. Therefore, the mapping

f and any of its derivatives have a finite mixed norm

${\parallel \xb7\parallel}_{p,\phantom{\rule{0.277778em}{0ex}}q}$. By Lemma 25 and Lemma 29, the vector field

u is a weak solution of problems (

1) and (

2) with a finite mixed norm

${\parallel u\parallel}_{p,\phantom{\rule{0.277778em}{0ex}}q}$ whenever

$p,q\ge 2$. Then, from Lemma 27, we conclude that

u is a solution of integral Equation (

44). From Lemma 28, we obtain a finiteness of mixed norms for the second derivatives

$\parallel {D}^{\alpha}{u\parallel}_{{p}_{1},\phantom{\rule{0.277778em}{0ex}}{q}_{1}}$, where

${p}_{1}=p/3,\phantom{\rule{0.277778em}{0ex}}{q}_{1}=q/3$,

$|\alpha |=2,j=0$. Let

$p=18/5,q=12$. Then, we have the statement of the lemma. □

**Lemma** **31.** (Energetic condition.) Let u and P be weak limits from (41). Then,for every $t\in [0,{T}_{0})$ where ${T}_{0}$ from Lemma 1. **Proof.** Note that weak solutions satisfy conditions:

From the first equality of Lemma 22, we have:

Integrals commutation is possible since the integral over

${R}^{6}$ is a finite. It follows from

Tonnelli’s theorem, boundedness and summability of

$u,\phantom{\rule{0.277778em}{0ex}}\nabla u$ with any exponent not less than two and Lemma A1. Here,

${I}_{1}$ is the Riesz potential. The interior integral in (

46) is equal to zero since

for any radius

r.

Let us prove the second equality from (

45). The second equality of Lemma 22 implies:

Integrals commutation we prove in the same way. There is inequality:

The right-hand side is a finite because

$\u25b5u\in {L}_{p},\phantom{\rule{0.277778em}{0ex}}2\le p\le 6$ (see Lemma 21 item (5), Lemma 26 item (1), Lemma A5). In addition,

${I}_{1}{(|u|}^{2})\in {L}_{p},\phantom{\rule{0.277778em}{0ex}}p>3/2$ by Lemma A1. To interior integral in (

47) we apply the Stokes formula. Then,

A product

${u}_{i}{u}_{k}$ belongs to the space

${W}_{p}^{1}({R}^{3})$ whenever

$p>1$. Then, the integral over surface tends to zero as

$r\to \infty $ (to apply Lemma A4 with exponent

$\alpha =1$ and a mean

p, close to unit). Hence, and from (

47) we have:

In the iterated integral

we change integration order because the double integral is finite (see above). Hence, we get:

The interior integral in the right-hand side of (

49) is uniformly bounded with respect to

$r>1$. This follows from a boundedness of the Riesz potential

${I}_{2}(|\u25b5u|)$. It is proved in the same way as Lemma 9 with applications Lemma 26 item (1) and Lemma 21 item (5). Furthermore, we use Lebesgue’s theorem. Then, (

48) and (

49) give the equality of iterated integrals:

The mapping

$u\in {J}_{0}^{2}({R}^{3})$ (norm defined by (

15)). Lemma A1 shows that Poisson’s formula is true for elements of the space

${J}_{0}^{2}({R}^{3})$. Then,

${I}_{2}(\u25b5u)=-u$. Therefore, we have

${J}_{2}=-{J}_{2}$ from (

50). The second equality from (

45) is proved.

Let us show that vector field

u satisfies the equality

a.e. on

$[0,T]$. We have the equality of iterated integrals:

A finiteness of double integral follows from a boundedness

$\nabla u$ (see Lemma 26, item (2)) and properties of the Riesz potential

${I}_{1}(|\u25b5u|)$. Let

$r\to \infty $. The interior integral on the left-hand side of (

52) tends to

$4\pi {u}_{k}(t,x)$ in the space

${L}_{6}({R}^{3})$ for almost every

t. (See Lemma A1 and equality (

A2), which is true for elements of the space

${J}_{0}^{2}({R}^{3})$ ). The norm

${\parallel \u25b5u\parallel}_{6/5}$ is finite a.e. by Lemma 30. In (

52), we make the passage to the limit. The interior integral on the right-hand side of (

52) is replaced by application of Lemma 22. Then, we get (

51). To finish the proof, we are helped with the following steps. Every equality from Lemma 25 we multiply by function

${u}_{k}$. Thereupon, we add together them and integrate over space

${R}^{3}$. From (

45) and (

49), we have

Hence, we get the required equality. □

#### 2.10. Proof of Theorem 1

Observe that all estimates in proved lemmas above depend on norms

${\parallel \nabla \phi \parallel}_{2}$,

$\parallel \nabla {T}^{1}{\parallel}_{2}$ (see (

22)),

${\parallel \u25b5\phi \parallel}_{2}$ or

${\parallel \phi \parallel}_{2}$ only and don’t depend on a diameter of Laplacian support

$\u25b5\phi $.

If

$\phi \in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$, then, by Lemma A4 integrals,

tend to zero as

$r\to \infty .$ Therefore, equalities from Lemma A2 are true for mappings of the class

${C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$. In addition, we have summability

$\phi $ with any exponent

$p>6/5$ and

$\nabla \phi $ with any exponent

$p>3/2$ (see Lemma 32).

1. Assume that initial data $\phi \in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$ and its Laplacian support is a compact set. Let ${T}_{0}$ be a constant from Lemma 1. Then, item (3) follows from Lemma 26, and items (1) and (4) we get from Lemma 21.

Let us prove estimates of item (2). A uniform boundedness with respect to

t of norms

we obtain from Lemma 21 (item (3)). An uniform boundedness of norms

follows from Lemma 21 (see items (4), (5), (7)). The estimate of norm

${\parallel u\parallel}_{2}$ follows from Lemma 31. A uniform boundedness of norms

$\parallel {u}_{,\phantom{\rule{0.277778em}{0ex}}ij}{\parallel}_{6}$ we get by Lemma 26. A uniform boundedness for norm

$\parallel {D}_{t}{u\parallel}_{2}$ is the corollary of Lemma 25 because

${D}_{t}u$ is the finite linear combination of terms with uniform bounded norms in the space

${L}_{2}({R}^{3})$. Uniform estimates of norms in spaces

${L}_{p}({R}^{3})$,

$2<p<6$ we take from Lemma A5. The occurrence of vector field

u in spaces

${W}_{2}^{1}({S}_{T})$ and

${W}_{6}^{1}({S}_{T})$ we get from the uniform estimates proved above. By Lemma 25 and Lemma 21 (see items (5) and (7)), we obtain

${D}_{tt}^{2}u=\nu \u25b5{D}_{t}u-{u}_{i}{D}_{t}{u}_{,\phantom{\rule{0.277778em}{0ex}}i}-({D}_{t}{u}_{i}){u}_{,\phantom{\rule{0.277778em}{0ex}}i}-{D}_{t}\nabla P.$ Hence, it follows a finiteness of norm

$\parallel {D}_{tt}^{2}{u\parallel}_{2}$ since

u and

$\nabla u$ are bounded. Therefore,

$u\in {W}_{2}^{2}({S}_{T})$ .

Let us prove item (5) using mixed norms (see [

8,

26,

27]). Weak solutions

u and

P belong to class

$C({S}_{T})$ (see item 1) of this theorem). In Lemma 28, we put

$p=q$ assuming it is very large. Now, we fix an order of derivatives:

$m>1$. Then, by Lemma 27 and Lemma 28, derivative norms

$\parallel {D}^{\alpha}{D}_{t}^{j}u\parallel ,\phantom{\rule{0.277778em}{0ex}}|\alpha |\le m$ are bounded in the space

${L}_{r}({S}_{T})$ where an exponent

$r\ge 6$ is an arbitrary but fixed. A boundedness of weak solution

u and its summability in

${L}_{2}({S}_{T})$ imply the belonging

$u\in {L}_{r}({S}_{T}),\phantom{\rule{0.277778em}{0ex}}r\ge 2$. Exponents means

$r,\phantom{\rule{0.277778em}{0ex}}p=q$ we choose by large numbers so that the next conditions are fulfilled:

- (1)
for any ball lying in

${S}_{T}$, all conditions of Sobolev’s embedding theorem in a space of continuous functions are certainly valid ([

23], p. 64);

- (2)
at least, all derivatives of the order up to $m-1$ satisfy also all conditions Sobolev’s theorem from above.

Since an integer number m is an arbitrary, then a weak solution u belongs to the class ${C}^{\infty}((0,{T}_{0})\times {R}^{3})$. A smoothness of function P we obtain from Lemma 25 and the smoothness of vector field u. The continuity is proved in item 1.

2. Let initial data

$\phi \in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$. We take a test-function

$\eta \in {C}^{\infty}({R}^{3})$ such that

$\eta (x)=1$ if

$|x|\le 1$ and

$\eta (x)=0$ if

$|x|\ge 2$. Consider a solenoidal vector field

Then,

$\u25b5Q(x)=\frac{1}{r}{\eta}_{,\phantom{\rule{0.277778em}{0ex}}i}(x/r){\phi}_{i}(x)$. A function

Q is Poisson’s integral

Hence, we have:

where

${I}_{1}$ is the Riesz potential,

M is the maximal mean of

$|\nabla \eta |$. From Lemma A1, we obtain

Direct calculations yield:

Without the second term in the first integral, the rest of the integrals of all terms in the right-hand tend to zero as

$r\to \infty $. This is guaranteed by a test-function

$\eta $ and a boundedness of the second derivatives

${Q}_{,\phantom{\rule{0.277778em}{0ex}}jk}$. The last follows from representation of function

Q by Poisson’s integral and definition of the class

${C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$. In this case, we have two equalities:

where

${c}_{kj}$ are universal constants, and

${T}_{kj}$ are singular integral operators. Therefore, as

$r\to \infty $, then

A vector field

${\Phi}^{r}\in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}.$ A summability of the vector field and its derivatives follows from (

53) and (

54), the equality

and Lemma A1. In addition,

${\Phi}^{r}\to \phi $ in the space

${J}_{0}^{2}({R}^{3}),$${D}^{\alpha}{\Phi}^{r}\to {D}^{\alpha}\phi $ in the space

${L}_{2}({R}^{3})$. Laplacians supports

$\u25b5{\Phi}^{r}$ are compact sets. Therefore, there exist solutions

${u}^{r}$ and

${P}^{r}$ with an initial data

${u}^{r}(0,x)={\Phi}^{r}(x)$ satisfying theorem with the number

From (

55), we have

${T}_{0}(r)\to {T}_{0}$ as

$r\to \infty $. Fix a number

$T<{T}_{0}$. From the remark at the beginning of the proof, we conclude all estimates of the theorem for solutions

${u}^{r}$,

${P}^{r}$. They are uniform with respect to

r for

$r>{r}_{0}$. Hence, sets of mappings

${({u}^{r})}_{r>{r}_{0}}$,

${({P}^{r})}_{r>{r}_{0}}$ are bounded in spaces

${W}_{2}^{1}({S}_{T})$ and

${W}_{6}^{1}({S}_{T})$. Extract subsequences

${({u}^{{r}_{k}})}_{k=1,\dots}$,

${({P}^{{r}_{k}})}_{k=1,\dots}$, which converge weakly. Let

u and

P be its weak limits, respectively. These limits satisfy the next properties:

- (1)
Lemma 21 is true for them (this is verified in the same way as the proof of Lemma 21 for subsequences);

- (2)
Lemma 25 is true for them;

- (3)
Lemma 26 is fulfilled for them. Thus,

u and

P are weak solutions of problems (

1) and (

2). Lemma 27 and Lemma 29 are true for vector field

u. Conditions of growth for a mapping

$\phi \in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$ show correctness of Lemma 28 for weak solutions from above.

Furthermore, we realize the proof from the first part (see item (1) above). Therefore, the theorem is true also in this case. Theorem 1 is proved.

## 3. Homotopic Property of Cauchy Problem Solutions in Class ${C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$

If initial data $\phi \in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty},$ then the Cauchy problem solutions from Theorem 1 have the next homotopic property.

**Theorem** **2.** Let u and P be solutions of problems (1) and (2) from Theorem 1. Then, for every fixed mean $t\in (0,{T}_{0})$ (see (5)) mappings $u,\phantom{\rule{0.277778em}{0ex}}P,\phantom{\rule{0.277778em}{0ex}}{D}_{t}u\in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$. Moreover, all normsif $r>1$, $|\alpha |\ge 2$, $|\beta |\ge 0$, are uniformly bounded on every segment $[0,T]$ where $T<{T}_{0}$. Proof of Theorem 2 (it is given below) is relied on for the next simple properties of mappings

$v\in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$. For every vector field

v and its derivatives of the first order, these are true for both (

A1) and representation (Riesz’s formula):

The second equality we obtain by application of the Stokes theorem to the integral from (

56) calculating over a spherical layer

$\epsilon \le |y-x|\le r$. From Lemma A4,

as

$r\to \infty $ since

$\nabla v\in {W}_{3/2}^{1}({R}^{3})$. Then, the passage to limit as

$r\to \infty $,

$\epsilon \to 0$ implies the second equality (

56). The first equality is proved in the same way.

We have

where

${I}_{1}$ is the Riesz potential from (

4). Hardy–Littlewood–Sobolev’s inequality (see Lemma A1) implies

where

$\frac{1}{q}=\frac{1}{p}-\frac{1}{3},\phantom{\rule{0.277778em}{0ex}}1<p<q$. Consider only

$p\in (1,3)$. Two last estimates yield

$\nabla v\in {L}_{q}({R}^{3})$ for every

$q>3/2$. Analogously with the above, we show for the mapping

v and a number

$q\in [3/2,3)$ the belonging

$v\in {L}_{r}({R}^{3})$ whenever

$r\ge 3$. The logarithmic convex of norm

${\parallel v\parallel}_{p}$ and Lemma A5 yield norm finiteness

${\parallel v\parallel}_{p}$ for

$p\ge 6/5$. Thus, we proved the next statement.

**Lemma** **32.** Let $v\in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$. Then, $v\in {L}_{p}({R}^{3})$, $\nabla v\in {L}_{q}({R}^{3})$ whenever $p\ge 6/5,q\ge 3/2$.

**Remark** **5.** Write Poisson’s formula (the representation by Riesz’s integral ${I}_{2}$) for mappings v, $\nabla v$ and ${D}^{\alpha}v$. Then, we have a boundedness of every vector field $v\in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$ and its derivatives.

Let

(the repeated index gives summation).

**Lemma** **33.** Let $v\in \phantom{\rule{4pt}{0ex}}{C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$ and $div\phantom{\rule{0.277778em}{0ex}}v=0$. Then, the function P and all its derivatives belong to the space ${L}_{r}({R}^{3})$ whenever $r>1$.

**Proof.** The integral from (

57) we integrate by parts twice over a spherical layer

$\epsilon \le |y-x|\le r$. Lemma A4 and the passage to the limit as

$r\to \infty $,

$\epsilon \to 0$ imply:

where

${T}_{ij}$ is a singular integral operator with a kernel

Lemma A1 and well-known Calderon–Zygmund’s theorem give a summation of function

P for any finite exponent

$r>1$ . Since

then, analogously with the above, we get:

Hence, we obtain a summability of

$\nabla P$ whenever finite

$p>1.$ A summability of the other derivatives follows from equalities:

□

**Lemma** **34.** If $v\in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty},$ then Poisson’s and Riesz’s formulae are true: **Lemma** **35.** Suppose a function P and all its derivatives are summaable in space ${R}^{3}$ whenever $r>1$ . Let $v,w\in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$. Then, **Proof.** Apply the second representation from Lemma 34 and make the commutation of integrals. Then,

(see the first equality of Lemma A4). Changing of integration order is possible because the integral

is a finite. Really, we have

Then, a finiteness follows from a summability of the Riesz potential

${I}_{1}(|\nabla v|)$ with exponent 3 (see A1) and the summability of

$\u25b5w$ with exponent

$3/2$. The first equality is proved. To prove the second formula, we observe a finiteness of integrals

**Proof** **of** **Theorem** **2.** Items (1), (2) and (3) from Theorem 1, Lemma 27 and Lemma 28 yield a finiteness of mixed norms

$\parallel {D}^{\alpha}{u\parallel}_{{p}_{1},\phantom{\rule{0.277778em}{0ex}}{q}_{1}}$ where

${p}_{1}=\frac{p}{|\alpha |+1},\phantom{\rule{0.277778em}{0ex}}{q}_{1}=\frac{q}{|\alpha |+1}$, whenever

$p,\phantom{\rule{0.277778em}{0ex}}q\ge 2,\phantom{\rule{0.277778em}{0ex}}\frac{3}{p}+\frac{2}{q}\le 1$. For derivatives of the second order, in particular, we have a finiteness of norm

${\parallel \u25b5u\parallel}_{6/5,\phantom{\rule{0.277778em}{0ex}}4}$ (see 30). Integrate (

1) over segment

$[0,t]$ where

$t\le T<{T}_{0}$. The solution

P is represented by (

57). Then, from (

59), we get

Estimate norms in

${L}_{6/5}$ of every term in (

61) in the usual way. We apply Hölder’s inequality to interior and exterior integrals. Then,

The singular integral operator

${T}_{ik}$ is bounded. Hence, from (

61)–(

63) and item (2) of Theorem 1, we obtain a uniform estimate of norm

${\parallel u\parallel}_{6/5}$ with respect to

$t\in [0,T]$.

In the same way, we prove a summability of gradient $\nabla u$ with any exponent $p\ge 3/2$. From Lemma 27 and Lemma 28, whenever $p,q\ge 2,\phantom{\rule{0.277778em}{0ex}}\frac{3}{p}+\frac{2}{q}\le 1$, we get a finiteness of mixed norms $\parallel {D}^{\alpha}{u\parallel}_{{p}_{1},\phantom{\rule{0.277778em}{0ex}}{q}_{1}}$ for derivatives of the third order where ${p}_{1}=\frac{p}{4},\phantom{\rule{0.277778em}{0ex}}{q}_{1}=\frac{q}{4}$ since $\alpha =3,\phantom{\rule{0.277778em}{0ex}}j=0$. In particular, we have a finiteness of norm ${\parallel \u25b5\nabla u\parallel}_{3/2,\phantom{\rule{0.277778em}{0ex}}3/2}$.

Let us differentiate (

1) with respect to

${x}_{m}$. Thereupon, we integrate its over

$[0,t]$ where

$t\le T<{T}_{0}$. Formulae (

57) and (

60) yield

Hence, for exponent

$p=3/2$, we obtain estimates, which are similar estimates (

62) and (

63). A boundedness

u, uniform estimates of norm

${\parallel \nabla u\parallel}_{3}$ (see item (2) from Theorem 1) on segment

$[0,T]$, a finiteness of mixed norm

${\parallel \u25b5\nabla u\parallel}_{3/2,\phantom{\rule{0.277778em}{0ex}}3/2}$ give a uniform boundedness of norms

${\parallel \nabla u\parallel}_{3/2}$.

Let derivative order

$|\alpha |\ge 2$. Then, (

62) takes the form:

Fix an exponent

$r>1$. Choose numbers

$p,q=(|\alpha |+3)r$. Then, we have a finiteness of the mixed norm

$\parallel {D}^{\alpha}{u\parallel}_{r,\phantom{\rule{0.277778em}{0ex}}r}$. It follows

Terms in derivative

${D}^{\alpha}({u}_{i}{u}_{k,\phantom{\rule{0.277778em}{0ex}}i})$ without coefficients have a form:

${D}^{\beta}{u}_{i}{D}^{\gamma}{u}_{k,\phantom{\rule{0.277778em}{0ex}}i},$ where

$|\beta |+|\gamma |=|\alpha |$. Then,

To the right-hand side, we apply Hölder’s inequality with exponents

$\frac{|\alpha |+3}{|\beta |+1}$ and

$\frac{|\alpha |+3}{|\gamma |+2}$. Therefore,

where

${p}_{1}=\frac{p}{|\beta |+1}$,

${p}_{2}=\frac{p}{|\gamma |+2}$. All these mixed norms are bounded. This follows from Lemma 27 and Lemma 28. Hence, formulae (

65)–(

67) and a boundedness of a singular integral operator give uniform boundedness of all norms with respect to

$t\in [0,T]$.

The solution

P is represented by (

57) with replacing

v by

u. A summability follows from Lemma 33 whenever

$r>1$ . Equalities (

58) and (

59) and a uniform boundedness derivatives norms of vector field

u prove a uniform boundedness of norms

$\parallel {D}^{\beta}{P\parallel}_{r}$ where

$r>1$. From (

1) and proved uniform estimates from above, we have necessary statement for derivative

${D}_{t}u$. Theorem 2 is proved. □

## 6. The Cauchy Problem with Less Smoothness of Initial Data

In addition, the invariant class

${C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$ Sobolev space

$\stackrel{\circ}{{W}_{2}^{3}}({R}^{3})$ as the closure of infinitely smooth vector fields is another important invariant class, which satisfy existence condition of global solutions. Different exceptions for solenoidal vector fields from Sobolev classes

$\stackrel{\circ}{{W}_{2}^{3}}({R}^{3})$ and

${W}_{2}^{3}({R}^{3})$ were shown in [

32]. Therefore, we consider the first space from them.

Let

$\phi \in \stackrel{\circ}{{W}_{2}^{3}}({R}^{3})$ be a solenoidal vector field. Set

${({\phi}^{m})}_{m=1,\dots}$ a sequence of of finite, solenoidal and infinitely smooth vector fields, which converges to the field

$\phi $ in the space

$\stackrel{\circ}{{W}_{2}^{3}}({R}^{3})$. We observe that

${\phi}^{m}\in {C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$. Let

${({u}^{m})}_{m=1,\dots}$,

${({P}^{m})}_{m=1,\dots}$ be sequences of solutions in the Cauchy problem for Navier–Stokes equations with the initial dates

${\phi}^{m}$. Then, all pairs

${u}^{m},\phantom{\rule{0.277778em}{0ex}}{P}^{m}$ satisfy all uniform estimates of Lemma 21 on any compact set of the interval

$[0,{T}_{0}^{m})$ where

${T}_{0}^{m}={9}^{4}{\nu}^{3}/{4}^{4}{\parallel \nabla {\phi}^{m}\parallel}_{2}^{4}$ since upper bounds in these inequalities depend on a set and

$\nu ,\phantom{\rule{0.277778em}{0ex}}\parallel \nabla {\phi}^{m}{\parallel}_{2},\phantom{\rule{0.277778em}{0ex}}{\parallel {\phi}^{m}\parallel}_{2}$. Therefore, on every fixed segment

$[0,T]\subset [0,{T}_{0}],$ we can take these constants as common for all

${u}^{m},\phantom{\rule{0.277778em}{0ex}}{P}^{m}$ because

${\phi}^{m}\to \phi $ in the space

$\stackrel{\circ}{{W}_{2}^{3}}({R}^{3})$. Then, without loss of generality, we assume that the sequence

${({u}^{m})}_{m=1,\dots}$ converges weakly in the space

${W}_{6}^{1}({S}_{T})$ to a field

${u}_{0}$. In addition, we suppose that

${(\u25b5{u}^{m})}_{m=1,\dots},\phantom{\rule{0.277778em}{0ex}}{(\nabla {D}_{t}{u}^{m})}_{m=1,\dots}$ and

${(\nabla {P}^{m})}_{m=1,\dots}$ converge weakly in

${L}_{2}^{1}({S}_{T})$ to

$\u25b5{u}^{0},\phantom{\rule{0.277778em}{0ex}}\nabla {D}_{t}{u}^{0}$ and

$\nabla {P}^{0}$. More generally, weak limits

${u}_{0},\phantom{\rule{0.277778em}{0ex}}{P}^{0}$ satisfy all conclusions of Lemma 21 and they are weak solutions of problems (

1) and (

2). From the equality (

1) for couple

${u}_{0},\phantom{\rule{0.277778em}{0ex}}{P}^{0}$ and items (2), (4), (5), (8) differentiating (

1), we obtain that distributions

$\u25b5{u}_{,\phantom{\rule{0.277778em}{0ex}}j}^{0},\phantom{\rule{0.277778em}{0ex}}j=1,\phantom{\rule{0.277778em}{0ex}}2,\phantom{\rule{0.277778em}{0ex}}3,$ belong to the space

${L}_{2}({R}^{3})$ for almost everywhere

t. Thus, the class

$\stackrel{\circ}{{W}_{2}^{3}}({R}^{3})$ is invariant similar to the class

${C}_{6/5,\phantom{\rule{0.277778em}{0ex}}3/2}^{\infty}$. For this case, in the same way, we can define the basic parameters

$\lambda ,\phantom{\rule{0.277778em}{0ex}}\mu ,\phantom{\rule{0.277778em}{0ex}}\epsilon $. After that, one should note that the statement of Lemma 36 will be true when initial data

$\phi \in \stackrel{\circ}{{W}_{2}^{3}}({R}^{3})$. Repeating the proof of Theorem 7, we obtain the following result.

**Theorem** **9.** Let $\phi \in \stackrel{\circ}{{W}_{2}^{3}}({R}^{3})$ be initial data, the parameter λ from (68) and the number ${T}_{0}$ from (5). Let be a vector field u is a weak solution of the Cauchy problems (1) and (2). If parameter $\lambda \ge 1$ or in opposite casethen the Cauchy problems (1) and (2) have global solutions $u(t,x)=({u}_{1}(t,x),{u}_{2}(t,x),{u}_{3}(t,x))$ and $P=P(t,x)$ with the following properties: - (1)
mappings u and P are uniformly continuous and bounded on a set ${S}_{T}$ for every number $T,\phantom{\rule{0.277778em}{0ex}}T>0$;

- (2)
for every numbers $T>0$, $p\ge 2,\phantom{\rule{0.277778em}{0ex}}q\ge 2,$ all normsare uniformly bounded and mixed norms ${\parallel u\parallel}_{p,\phantom{\rule{0.277778em}{0ex}}q},\phantom{\rule{0.277778em}{0ex}}{\parallel {D}_{t}\u25b5u\parallel}_{2,\phantom{\rule{0.277778em}{0ex}}2}$ are finite on segment $[0,T]$; - (3)
solutions u, P belong to class ${C}^{\infty}((0,T)\times {R}^{3})\bigcap C({S}_{T})$ i.e., these solutions are classical.

If parameter $\lambda \ge 1$, then the function $l(t)={\parallel u\parallel}_{2}{\parallel \nabla u\parallel}_{2}$ is a decreasing function on the interval $[0,\infty )$ . If $\lambda <1$ and

then the function $l=l(t)$ is a decreasing function on the interval $[{T}_{0},\infty )$.

**Theorem** **10.** Let $\phi \in {W}_{2}^{3}({R}^{3})$ be initial data in problems (1) and (2). If parameter $\lambda >1,$ then the solution u from Theorem 9 satisfies: - (1)
a power of norm ${\parallel u\parallel}_{2}^{4}$ is a convex function;

- (2)

**Proof.** It follows from Lemma 45 because this lemma is true for solution u from Theorem 9. □

## 7. Integral Identities for Solenoidal Vector Fields: Dimensions Comparison

Some review and results about integral identities for solenoidal vector fields are given by authors in [

33,

34]. Here, we reduce one from these identities, which shows the essential distinction for the Navier–Stokes equations between space and plane.

Let

$u,v,w:{R}^{n}\to {R}^{n}$ be any triple of solenoidal vector fields from the class

${C}_{0}^{2}({R}^{n})$. Denote

**Lemma** **51.** (see [33]) For every triple $u,\phantom{\rule{0.277778em}{0ex}}v,\phantom{\rule{0.277778em}{0ex}}w:{R}^{n}\to {R}^{n}$ of solenoidal vector fields from the class ${C}_{0}^{2}({R}^{n}),$ the identity holds: Hence, it follows (one should take

$u=v=w$):

**Corollary** **1.** (see [34].) If dimension $n=2$, then every solenoidal vector $u\in {C}_{0}^{2}({R}^{2})$ satisfies the integral identity: Obviously, it implies some interesting applications to the 2D Navier–Stokes and Euler equations (see [

33]).

- (1)
We deduce a priori estimate for a solution

u, which is not independent of a viscosity:

where

f is an outer force. This improves essentially Ladyzhenskaya’s estimate (see [

35]).

- (2)
In the case

$f=0$, we have formula (

83) and, therefore, the norm

${\parallel \nabla u\parallel}_{2}$ is a decreasing function.

- (3)
We give the new proof of the existence of a global weak solution for the Euler equations in plane in the case when an outer force

$f=0$. In addition, the estimate

${\parallel \nabla u\parallel}_{2}\le {\parallel \nabla \phi \parallel}_{2}$ is exact and it does not follows from Judovich’s results [

36]. This explains "the simplicity" of a motion of an ideal fluid on plane.

**Remark** **6.** Let $n=2$, $f=0$. Then, the product ${\parallel \nabla u\parallel}_{2}{\parallel u\parallel}_{2}$ is a decreasing function in any case.

**Remark** **7.** If dimension $n=3$, then integral from (91) may be not equal to null. For a simple example, there is the vector field with the following coordinates:

where

${l}_{i}$ is the

i –th vector row of the skew-symmetric matrix. Since

then simple calculations show

with a constant

$c\ne 0$. A coefficient

${\sum}_{j}{l}_{ki}{l}_{ij}{l}_{kj}$ may be not equal to zero for fixed different means

k and

i because there is the linear independence of polynomials

${\lambda}_{i}^{2}{\lambda}_{k}^{4}-{\lambda}_{k}^{2}{\lambda}_{i}^{4},\phantom{\rule{0.277778em}{0ex}}i<k,\phantom{\rule{0.277778em}{0ex}}i,k=1,2,3.$ It gives a distinct from zero of the integral when we choose a suitable skew-symmetric matrix. Respectively, the right side (see (

83)) for dimensions

$n\ge 3$ can be taken with a large value implying a positive mean of the difference

for

$t\simeq 0$. It is possible because we can take a factor for initial data

$\alpha \phi $ or diminish viscosity coefficient

$\nu $. This implies a growth of the norm

${\parallel \nabla u\parallel}_{2}$ for space. Obviously, on the plane, this phenomena does not appear.