Preprint
Article

A Solution of the Navier-Stokes Problem for an Incompressible Fluid with Cauchy Condintion

Altmetrics

Downloads

70

Views

30

Comments

0

This version is not peer-reviewed

Submitted:

09 September 2023

Posted:

12 September 2023

You are already at the latest version

Alerts
Abstract
The main object of this work is to establish the existence and uniqueness of a solution to the 3D Navier-Stokes (NS) system for an incompressible fluid with viscosity. The nonlinearity of the NS system, as well as the need to estimate velocity and pressure for every value of the viscosity parameter [1] make them challenging to solve. In this regard, in the present work, we study the Navier-Stokes system, which describe the flow of a viscous incompressible fluid and the solution was obtained for velocity and pressure in an analytical form. In addition, the found pressure distribution law, which is described by a Poisson type equation and plays a fundamental role in the theory of Navier-Stokes systems in constructing analytic smooth (conditionally smooth) solutions.
Keywords: 
Subject: Computer Science and Mathematics  -   Mathematics

1. INRODUCTION

In this work, we are not trying to consider the extensive references on the Navier-Stokes system, since there are fundamental works in this area [2,3,4] and others. Some special of the above problems were also investigaqted in the works [5,6,7,8] etc.
It is known that the methods of integral transformations in the theory of partial differential equations made it possible to find solutions to many problems [11,12] and clarify the physical meaning of some basic laws and phenomena in fluid mechanics. Therefore, this paper presents one of the developed transformations of the said species.
In this regard, in the present work, we study the Navier-Stokes system, which describe the flow of a viscous incompressible fluid filling all of R 3 , i.e.:
ν t + ( ν ) ν = f 1 ρ   P + μ Δ ν ,
div   ν = 0 ,
with initial conditions
ν t = 0 = ψ ( x ) ,   x R 3 ,
where R 3 ψ ( x ) is the known initial velocity vector, R 3 f ( x , t ) is external applied force (e.g. gravity), 0 < μ is kinematic viscosity, ρ is density, Δ   is Laplace operator,   is Hamilton operator. These equations are to be solved for an unknown velocity vector ν R 3 and pressure P ( x , t ) , and equation (1.2) just says that the fluid is incompressible.
Aim of research. The main object of this work is to establish the existence and uniqueness of a solution to the Navier-Stokes system for an incompressible fluid and at the same time, it is proved that:
a) the solutions of the transformed equations are regular with respect to the viscosity coefficient µ, and they simplify the analysis of the original problem,
b) the found pressure distribution law, which is described by a Poisson type equation and plays a fundamental role in the theory of Navier-Stokes systems in constructing analytic conditionally smooth (smooth) solutions.
c) at the same time, the obtained results meet the requirements of the "Navier-Stokes Millennium problem-NSMP " (2000y.).
In the introduced space G 3 , h 1 ( D 0 ) , the norm is defined as:
ν G 3 , 1 h ( D 0 ) = i = 1 3 ν i G h 1 ( D 0 ) = i = 1 3 { 0 k 2 D k ν i C ( D ) + ν i t 1 h ) } , ν t 1 h = s u p p R 3 0 h ( s ) ν t ( x , s ) d s ;   h L 1 ( 0 , ) , 0 h h 1 = c o n s t < , 0 h ( s ) d s h 2 = c o n s t < , ( h 0 = m a x ( h 1 , h 2 ) ; D = R 3 × R + ; D 0 = R 3 × ( 0 , ) ,
where k = ( k 1 , k 2 , k 3 ) is the multi-index,
ν = ( ν 1 , ν 2 , ν 3 ) ,   k = 0 : D 0 ν i ν i ; k 0 : D k ν i = k ν i x 1 k 1 x 2 k 2 x 3 k 3 ,   ( i = 1 , 3 ¯ ) ,   k = j = 1 2 k j ,   ( k j = 0 , 1 , 2 ; j = 1 , 2 ) .
A) In this regard, we note that in our early works, for example, in [9], we proposed method for constructing smooth (conditionally smooth) solutions of 3D Navier-Stokes equations in G 3 1 ( D 1 = R 3 × ( 0 , T 0 ) ) :
ν G 3 1 ( D 1 ) = i = 1 3 ν i G 1 ( D 1 ) = i = 1 3 { 0 k 2 D k ν i C ( D 1 ¯ ) + ν i t 1 ) } , ν t 1 = sup R 3 0 T 0 ν t ( x , s ) d s
with the condition:
ν t = 0 = φ ( x ) λ , x R 3 ,
where φ ( x ) is known scalar function, R 3 λ is given vector with positive constant components: 0 < λ i , ( i = 1 , 3 ¯ ) . Since it takes place
f R 3 ,   φ R ,   λ R 3 :   div f = 0 ;   div ( λ φ ) = 0 , D k φ β 0 = c o n s t ,   x R 3 ; D k f i β 1 = c o n s t ,   ( x , t ) D ¯ 1 ,   ( i = 1 , 3 ¯ ) ,
then, we seek the solution of the Navier-Stokes problem in the form:
ν = θ λ + μ J ( x , t ) ,
here R 3 J is known vector-valued function of the form:
J = 1 2 3 π 3 0 t R 3 1 ( μ ( t s ) ) 3 f ( τ , s ) exp ( r 2 4 μ ( t s ) ) d τ d s , ( x , τ R 3 ) , 0 < μ < 1 ;   r = x τ = i = 1 3 ( x i τ i ) 2 ; J t = 0 = 0 , x R 3 , G ( x , τ , t s ) 1 2 3 ( μ π ( t s ) ) 3 exp ( x τ 2 4 μ ( t s ) ) , ( t > s ) , 0 , ( t s ) , L [ G ] G t μ Δ G = 0 ,
and θ ( x , t ) is a new unknown scalar function with the condition:
θ t = 0 = φ ( x ) ,   x R 3 .
Lemma 1.
In case of (1.7), when conditions (1.2), (1.6) are satisfied, the inertial terms of equation (1.1), taking into account (1.7), are linearized with respect to the introduced function θ ( x , t ) and its derivatives.
Proof. 
In fact, under conditions (1.2) and (1.6), it follows from (1.7):
div f = 0 ;   div J = 1 π 3 0 t R 3 div f ( x + 2 ξ μ ( t s ) , s ) exp ( ξ 2 ) d ξ d s = 0 ,   τ = x + 2 ξ μ ( t s ) R 3 ;   0 = div   ν = div θ λ + μ div J = i = 1 3 λ i θ x i .
And since
( θ λ ) θ λ = λ i θ ( j = 1 3 λ j θ x j ) = 0 , ( i = 1 , 3 ¯ ) ,
then, on the basis of (1.7), (1.10) and (1.11), the inertial terms of equation (1.1) are equivalently converted to the form:
( ν ) ν = ( θ λ ) θ λ + μ [ ( θ λ ) J + ( J ) θ λ ] + μ 2 ( J ) J = μ [ ( θ λ ) J + ( J ) θ λ ] + + μ 2 ( J ) J .
So this means that under condition (1.2), the inertial terms of equation (1.1), taking into account (1.7), are linearized with respect to the newly introduced function θ ( x , t ) and its derivatives with respect to x R 3 , and the nonlinearity goes over to the known vector of the function J ( x , t ) and partial derivatives with respect to x R 3 . Which was required to show.
Further, substituting (1.7) into equation (1.1), we obtain a linear inhomogeneous differential equation of the type of heat conduction with variable coefficients:
θ t λ + μ [ ( θ λ ) J + ( J ) θ λ ] + μ 2 ( J ) J = ( 1 μ ) f 1 ρ   P + ( μ Δ θ ) λ ,
in this case,
λ 1 1 j = 1 3 λ j J 1 x j λ 2 1 j = 1 3 λ j J 2 x j λ 3 1 j = 1 3 λ j J 3 x j , λ 1 1 { 1 ρ P x 1 f 1 ( 1 μ ) + μ 2 j = 1 3 J j J 1 x j } λ 2 1 { 1 ρ P x 2 f 2 ( 1 μ ) + μ 2 j = 1 3 J j J 2 x j } λ 3 1 { 1 ρ P x 3 f 3 ( 1 μ ) + μ 2 j = 1 3 J j J 3 x j } ,
(1.14) is the condition of unequivocal compatibility for case (1.13), since θ is a scalar function.
Remark 1.
The remark consists of two parts related to formula (1.7) and (1.14).
a) In transformation (1.7) it is assumeds that: d i v f = 0 . But this transformation can also be introduced in the case when: d i v f 0 . For this purpose, let us introduce the vector function f 0 ( x , t ) , ( x R 3 ) :
f 0 = ( f 1 ( 0 , x 2 , x 3 , t ) ) , f 2 ( x 1 , 0 , x 3 , t ) , f 3 ( x 1 , x 2 , 0 , t ) ) ,   d i v f 0 = x 1 f 1 ( 0 , x 2 , x 3 , t ) + x 2 f 2 ( x 1 , 0 , x 3 , t ) + x 3 f 3 ( x 1 , x 2 , 0 , t ) = 0.
Then in this case, the vector function J ( x , t ) is represented as:
J 0 = ( J 1 0 ( 0 , x 2 , x 3 , t ) ) , J 2 0 ( x 1 , 0 , x 3 , t ) , J 3 0 ( x 1 , x 2 , 0 , t ) ) , J i 0 x i = 0 = 1 2 3 π 3 0 t R 3 ( exp ( r 2 4 μ ( t s ) ) ) f i ( τ , s ) τ i = 0 d τ d s ( μ ( t s ) ) 3 , ( i = 1 , 3 ;   ¯ τ R 3 ) , J 0 t = 0 = 0 , x R 3 , d i v J 0 = x 1 J 1 0 + х 2 J 2 0 + x 3 J 3 0 = 0.
Next, we obtain similar results as in the case of lemma 1.
b) To understand (1.14) we give a concrete example from the field of the system of algebraic equations. For this purpose, consider a system with one unknown quantity z, i.e.:
λ i z + a i = λ i b , ( i = 1 , 3 ¯ ) .
From here we see that if there is
λ 1 1 a 1 = λ 2 1 a 2 = λ 3 1 a 3 = a 0
then z is uniquely defined in the form
z = b a 0 .
But z, can be defined differently, i.e.:
z = b ( λ 1 + λ 2 + λ 3 ) 1 ( a 1 + a 2 + a 3 )
or with respect to (0.6), performing some mathematical transformation we obtain
z = b ( λ 1 + λ 2 + λ 3 ) 1 ( λ 1 a 1 λ 1 + λ 2 a 2 λ 2 + λ 3 a 3 λ 3 ) = ( 0.5 ) b a 0 .
This means that the first and second paths are equivalent. So, under condition (0.4), z is indeed uniquely determined from (0.3). Which was reguired to show.
Note that (1.14) has conditions of the type (0.4) for the system with scalar unknown. Therefore, when we solve the system (1.13) we choose the second path as shown in the case (0.6).
Next, the equation for the pressure is derived:
1 ρ Δ P = i = 1 3 j = 1 3 ν i x j ν j x i = { F 0 + μ [ i = 1 3 ( j = 1 3 λ j J i x j ) θ x i + i = 1 3 ( j = 1 3 J j x i θ x j ) λ i ] } , F 0 μ 2 i = 1 3 j = 1 3 J i x j J j x i .
We are taking into account the operation div with respect to (1.13), (that's tantamount to applying the operation div with respect to equation (1.1), since (1.1) is equivalently converted to the form (1.13) based on (1.7)), since takes places:
div f = 0 ,   div ( θ t λ ) = 0 ;   div ( μ Δ θ ) λ = 0 ,   div ( Δ J ) = 0 ,   ( div J = 0 ) , div { μ [ ( θ λ ) J + ( J ) θ λ ] + μ 2 ( J ) J   } = F 0 + μ ( i = 1 3 ( j = 1 3 λ j J i x j ) θ x i + i = 1 3 ( j = 1 3 J j x i θ x j ) λ i ) .
Here, formula (1.15) modifies the Landau – Lifshitz formula (see [2]: (15.11)) and is an equation of Poisson type. Then it follows from (1.15),
P ( x , t ) = R 3 1 r ρ Ω ( τ , t ) d τ , ( x , τ R 3 ) , r = x τ ;   Ω ( x , t ) 1 4 π { F 0 + μ [ i = 1 3 ( j = 1 3 λ j J i x j ) θ x i + i = 1 3 ( j = 1 3 J j x i θ x j ) λ i ] } ,
at that
x P = R 3 ρ Ω ( τ , t ) 1 r x d τ = R 3 ρ Ω ( τ , t ) τ x r 3 d τ , ( τ x R 3 ) ,
where (1.16) is called the Newtonian potential [11]. On the other hand, a solution to the Poisson equation (1.15) tending to zero at infinity will be unique if the function θ x i , ( i = 1 , 2 , 3 ) is unique, since the function Ω ( x , t ) contains these functions.
To prove the above, we note that the obtained pressure distribution law allows us to express the velocity in integral form when ν R 3 . In fact, substituting (1.17) into equation (1.13) with allowance for (1.14), we obtain an inhomogeneous linear integro-differential heat conduction equation with the Cauchy condition:
θ t = Φ + μ B [ θ , θ x 1 , θ x 2 , θ x 3 ] + μ Δ θ , θ t = 0 = φ ( x ) , x R 3 ,
here the known functions contained in (1.18) are introduced on the basis of the notation:
Φ Φ 1 + Φ 2 ;   Φ 1 d 0 1 i = 1 3 ( 1 μ ) f i ( x , t ) , d 0 = i = 1 3 λ i > 0 ,   Φ 2 ( x , t ) d 0 1 [ μ 2 i = 1 3 ( j = 1 3 J j J i x j ) 1 4 π R 3 i = 1 3 ξ ˜ i   r 1 3 F 0 ( x + ξ ˜ ; t ) d ξ ˜ ] ,
B [ θ , θ x 1 , θ x 2 , θ x 3 ] { d 0 1 θ ( . ) i = 1 3 ( j = 1 3 λ j I i x j ) + j = 1 3 θ x j ( . ) I j ( . ) + + d 0 1 ( 1 4 π R 3 k = 1 3 ξ ˜ k r 1 3 [ i = 1 3 ( j = 1 3 λ j I i h j ( x + ξ ˜ , t ) ) θ h i ( x + ξ ˜ , t ) + i = 1 3 ( j = 1 3 I j h i ( x + + ξ ˜ , t ) θ h j ( x + ξ ˜ , t ) ) λ i ] d ξ ˜ ) } , ( r 1 = ( ξ ˜ 1 2 + ξ ˜ 2 2 + ξ ˜ 3 2 ) 3 ;   h = x + ξ ˜ R 3 ) .
As a result, problem (1.18) is transformed to a system of Volterra and Volterra-Abel equations of second kind, where the solvability of this problem in G 1 ( D 1 ) follows from the solvability of this system. Therefore, we obtain similar conclusions for problem (1.1)-(1.3) in G 3 1 ( D 1 ) .
B) Similar issues were investigated in [10], i.e., equation (1.1), (1.2) with the condition:
ν t = 0 = 0 ,   x R 3 , t R + = [ 0 , ) ,
at that f i ( x , t ) is the component of a given external force f admits the conditions:
f = ( f 1 , f 2 , f 3 ) ,   div f = 0 ,   D k f i β 1 ( 1 + t ) q β 1 = c o n s t ,   ( ( x , t ) D = R 3 × R + ) ; q = c o n s t > 1 ) , 0 R 3 f ( x , t ) d x d t = λ ,   ( λ R 3 :   0 < λ i = c o n s t ,   i = 1 , 3 ¯ ) ,
and this means that R 3 λ is a vector with constant components: 0 < λ i , ( i = 1 , 2 , 3 ) , therefore, it becomes possible to use modification of the method (1.7) of the previous sector, i.e.:
ν = θ λ + μ ( 1 + t ) q J ( x , t ) ,
where (1.8) is taken into account. At that θ ( x , t ) is a new unknown scalar function with the condition:
θ t = 0 = 0 ,   x R 3 .
Here (1.22) differs from (1.7), since t R + , therefore as a multiplier function, we introduced: Ω 0 ( t ) ( 1 + t ) q . Hence, follow (1.10) and (1.11) we have
div f = 0 :   div J = 1 π 3 0 t R 3 div f ( x + 2 ξ μ ( t s ) , s ) exp ( ξ 2 ) d ξ d s = 0 ,   τ = x + 2 ξ μ ( t s ) R 3 ;   div   ν = 0 :   0 = div   ν = div θ λ + μ ( 1 + t ) q div J = i = 1 3 λ i θ x i
And
( θ λ ) θ λ = λ i θ ( j = 1 3 λ j θ x j ) = 0 , ( i = 1 , 3 ¯ ) .
Then, taking into account (1.20), (1.24) and (1.25), the inertial terms of equation (1.1) are equivalently converted to the form:
( ν ) ν = ( θ λ ) θ λ + μ ( 1 + t ) q [ ( θ λ ) J + ( J ) θ λ ] + μ 2 ( 1 + t ) 2 q ( J ) J = = μ ( 1 + t ) q [ ( θ λ ) J + ( J ) θ λ ] + μ 2 ( 1 + t ) 2 q ( J ) J .
Constraints on external force of the form (1.21) make it possible to simplify the Navier-Stokes problem and transform it into a system of integral equations of the second kind. In fact, on the basis of (1.22) and (1.26), from (1.1) follows the equation:
θ t λ + μ ( 1 + t ) q [ ( θ λ ) J + ( J ) θ λ ] + μ 2 ( 1 + t ) 2 q ( J ) J = ( 1 μ ( 1 + t ) q ) f + + μ q ( 1 + t ) ( q + 1 ) J 1 ρ P + ( μ Δ θ ) λ ,
since θ is a scalar function, then the condition:
λ 1 1 j = 1 3 λ j J 1 x j λ 2 1 j = 1 3 λ j J 2 x j λ 3 1 j = 1 3 λ j J 3 x j , λ 1 1 { 1 ρ P x 1 f 1 ( 1 μ ( 1 + t ) q ) μ q ( 1 + t ) ( q + 1 ) J 1 + μ 2 ( 1 + t ) 2 q j = 1 3 J j J 1 x j } λ 2 1 { 1 ρ P x 2 f 2 ( 1 μ ( 1 + t ) q ) μ q ( 1 + t ) ( q + 1 ) J 2 + μ 2 ( 1 + t ) 2 q j = 1 3 J j J 2 x j } λ 3 1 { 1 ρ P x 3 f 3 ( 1 μ ( 1 + t ) q ) μ q ( 1 + t ) ( q + 1 ) J 3 + μ 2 ( 1 + t ) 2 q j = 1 3 J j J 3 x j } ,
is a univocal compatibility condition for (1.28). From where the equation for pressure is derived:
1 ρ Δ P = i = 1 3 j = 1 3 ν i x j ν j x i = { F 0 + μ ( 1 + t ) q [ i = 1 3 ( j = 1 3 λ j J i x j ) θ x i + i = 1 3 ( j = 1 3 J j x i θ x j ) λ i ] } , F 0 μ 2 ( 1 + t ) 2 q i = 1 3 j = 1 3 J i x j J j x i ,
where
div f = 0 ;   div ( θ t λ ) = 0 ;   div ( μ Δ θ ) λ = 0 ; div J = 0 , div { μ ( 1 + t ) q [ ( θ λ ) J + ( J ) θ λ ] + μ 2 ( 1 + t ) 2 q ( J ) J   } = F 0 + μ ( 1 + t ) q ( i = 1 3 ( j = 1 3 λ j J i x j ) θ x i + + i = 1 3 ( j = 1 3 J j x i θ x j ) λ i ) .
On the other hand, we note that it follows from (1.29):
Ω ( x , t ) 1 4 π { F 0 + μ ( 1 + t ) q [ i = 1 3 ( j = 1 3 λ j J i x j ) θ x i + i = 1 3 ( j = 1 3 J j x i θ x j ) λ i ] } , P ( x , t ) = R 3 1 r ρ Ω ( τ , t ) d τ , ( x , τ R 3 ,   r = x τ ) ,
here (1.30) tends to zero at infinity, and there are second-order partial continuous derivatives, and for the first-order partial derivatives it takes place:
x P = R 3 ρ Ω ( τ , t ) 1 r x d τ = R 3 ρ Ω ( τ , t ) τ x r 3 d τ , ( τ x R 3 ) .
Therefore, excluding pressure from (1.27), we obtain a linear differential equation with variable coefficients and with the Cauchy condition of the form:
θ t = Φ + μ ( 1 + t ) q ζ ( x , t ) + μ Δ θ , θ t = 0 = 0 ,   x R 3 , ζ ( x , t ) = { d 0 1 θ ( . ) i = 1 3 ( j = 1 3 λ j I i s j ( . ) ) + j = 1 3 θ x j ( . ) I j ( . ) + d 0 1 ( 1 4 π R 3 k = 1 3 ξ ˜ k r 1 3 [ i = 1 3 ( j = 1 3 λ j I i h j ( x + + ξ ˜ , t ) ) θ h i ( x + ξ ˜ , t ) + i = 1 3 ( j = 1 3 I j h i ( x + ξ ˜ , t ) θ h j ( x + ξ ˜ , t ) ) λ i ] d ξ ˜ ) } ,   ( h = x + ξ ˜ R 3 ) ,
where
Φ Φ 1 + Φ 2 ;   Φ 1 d 0 1 i = 1 3 [ ( 1 μ ( 1 + t ) q ) f i ( x , t ) + μ q ( 1 + t ) ( q + 1 ) J i ] , Φ 2 ( x , t ) d 0 1 [ μ 2 ( 1 + t ) 2 q i = 1 3 ( j = 1 3 J j J i x j ) 1 4 π R 3 i = 1 3 ξ ˜ i   r 1 3 F 0 ( x + ξ ˜ ; t ) d ξ ˜ ] = = μ 2 d 0 1 [ ( 1 + t ) 2 q i = 1 3 ( j = 1 3 J j J i x j ) 1 4 π R 3 i = 1 3 ξ ˜ i   r 1 3 ( 1 + t ) 2 q × × m = 1 3 k = 1 3 ( J m x k ( x + ξ ˜ ; t ) J k x m ( x + ξ ˜ ; t ) ) ] ,   ( r 1 = ( ξ ˜ 1 2 + ξ ˜ 2 2 + ξ ˜ 3 2 ) 3 ;   d 0 = i = 1 3 λ i > 0 ) .
In such an approach the solution of problem is reduced to finding two functions, θ ( x , t ) and ζ ( x , t ) . The latter can be usually determined without difficulties and we will solve the equation with respect to ζ ( x , t ) by the Picard’s method [11]. Besides, since the function θ has continuous partial derivatives up to the second order inclusive with respect to spatial coordinates, and a first order time derivative, then problem (1.32) with sufficiently smooth data is solvable in W 0 ( D ) . Therefore, based on (1.22) we have similar conclusions for problem (1.1)-(1.3) we obtain in W 3 0 ( D ) :
ν R 3 , ν W 3 0 ( D ) = i = 1 3 ν i W 0 ( D ) = i = 1 3 { 0 k 2 D k ν i C ( D ) + ν i t C ( D ) } .

2. FLUID WITH THE CAUCHY CONDITION (1.3)

Methods of analysis of physical phenomena are based on statements of corresponding mathematical problems formulated by means of various kinds of functional equations and certain additional conditions. The solutions of these problems may be considered the main aim of the theoretical investigation.
Let is the velocity vector satisfies conditions (1.2), (1.3) and takes place
R 3 ψ ( τ ) d τ + 0 R 3 f ( τ , s ) d τ d s = λ ,   ( f R 3 , τ R 3 , D 0 = R 3 × ( 0 , ) , D = R 3 × R + ) ,
where R 3 λ is a known vector with positive constant components: 0 < λ i , ( i = 1 , 3 ¯ ) , and then applying the transformation:
ν = θ λ + ( exp ( t μ δ 0 ) ) J ( x , t ) ,
where θ ( x , t ) is the new unknown scalar function, and 0 < δ 0 is the introduced constant, which ensures the application of the Banach principle and the Picard's method for the system of integral equations of Volterra-Abel type of the second kind, into which the original problem is transformed, R 3 J ( x , t ) is the given vector:
J = 1 2 3 ( μ π t ) 3 R 3 ψ ( τ ) exp ( x τ 2 4 μ t ) d τ , J t = 0 = ψ ( x ) ,   x R 3 , x τ = i = 1 3 ( x i τ i ) 2 ,   ( x , τ R 3 ;   0 < μ < 1 ;   0 < δ 0 = c o n s t < 1 ) , G ( x , τ , t ) 1 2 3 ( μ π t ) 3 exp ( x τ 2 4 μ t ) , ( t > 0 ) , L [ G ] G t μ Δ G = 0 ,
where θ ( x , t ) is a new unknown scalar function with the condition:
θ ( x , 0 ) = 0 , x R 3
at that
div   ν = 0 ,   ( div ψ = 0 ) :   div J = 1 π 3 R 3 exp ( ξ 2 ) div ψ ( x + 2 ξ μ t ) d ξ = 0 , τ = x + 2 ξ μ t R 3 ;   0 = div   ν = div ( θ λ ) + ( exp ( t μ δ 0 ) ) div J = div ( θ λ ) = i = 1 3 θ x i λ i .
Then, taking into account (1.11) and (2.5), the inertial terms of equation (1.1) are equivalently converted to the form:
( ν ) ν = ( θ λ ) θ λ + ( exp ( t μ δ 0 ) ) [ ( θ λ ) J + ( J ) θ λ ] + ( exp ( 2 t μ δ 0 ) ) ( J ) J = = ( exp ( t μ δ 0 ) ) [ ( θ λ ) J + ( J ) θ λ ] + ( exp ( 2 t μ δ 0 ) ) ( J ) J .
The conditions of the form (2.6) make it possible to simplify the Navier-Stokes problem and transform it into a system of Volterian type integral equations of the second kind. In fact, on the basis of (2.2) and (2.6), from (1.1) follows the equation:
θ t λ + ( exp ( t μ δ 0 ) ) [ ( θ λ ) J + ( J ) θ λ ] = 1 μ δ 0 ( exp ( t μ δ 0 ) ) J ( exp ( 2 t μ δ 0 ) ) ( J ) J + + f ρ 1   P + ( μ Δ θ ) λ ,
since θ is a scalar function, then the condition:
λ 1 1 J 1 λ 2 1 J 2 λ 3 1 J 3 ;   λ 1 1 { 1 ρ P x 1 f 1 + ( exp ( t μ δ 0 ) ) ( j = 1 3 λ j J 1 x j + + ( exp ( t μ δ 0 ) ) j = 1 3 J j J 1 x j ) } λ 2 1 { 1 ρ P x 2 f 2 + ( exp ( t μ δ 0 ) ) ( j = 1 3 λ j J 2 x j + ( exp ( t μ δ 0 ) ) × × j = 1 3 J j J 2 x j ) } 3 λ 3 1 { 1 ρ P x 3 f 3 + ( exp ( t μ δ 0 ) ) ( j = 1 3 λ j J 3 x j + ( exp ( t μ δ 0 ) ) j = 1 3 J j J 3 x j ) } ,
is a univocal compatibility condition for (2.8). In addition, the Poisson equation for pressure is derived in the form:
1 ρ Δ P = i = 1 3 k = 1 3 ν i x k ν k x i = { F 0 + ( exp ( t μ δ 0 ) ) [ i = 1 3 ( j = 1 3 λ j J i x j ) θ x i + i = 1 3 ( j = 1 3 J j x i θ x j ) λ i ] } ,
and it is obtained on the basis of (2.2) by applying the operation div to equation (1.1), (or (2.7)), since
div f = 0 ;   div J = 0 ; div ( θ t λ ) = 0 ;   div ( μ Δ θ ) λ = 0 ; F 0 exp ( 2 t δ 0 μ ) i = 1 3 j = 1 3 J i x j J j x i , div { exp ( t δ 0 μ ) [ ( θ λ ) J + ( J ) θ λ ] + exp ( 2 t δ 0 μ ) ( J ) J   } = F 0 + exp ( t δ 0 μ ) × × ( i = 1 3 ( j = 1 3 λ j J i x j ) θ x i + i = 1 3 ( j = 1 3 J j x i θ x j ) λ i ) .
On the other hand, we note that it follows from (2.9):
Ω ( x , t ) 1 4 π { F 0 + exp ( t μ δ 0 ) [ i = 1 3 ( j = 1 3 λ j J i x j ) θ x i + i = 1 3 ( j = 1 3 J j x i θ x j ) λ i ] } , P ( x , t ) = R 3 1 r ρ Ω ( τ , t ) d τ , ( x , τ R 3 ,   r = x τ ) ,
here (2.10) tends to zero at infinity, and there are second-order partial continuous derivatives, and for the first-order partial derivatives it takes place:
x P = R 3 ρ Ω ( τ , t ) 1 r x d τ = R 3 ρ Ω ( τ , t ) τ x r 3 d τ , ( τ x R 3 ) .
Therefore, excluding pressure from (3.3), we obtain a linear differential equation with variable coefficients and with the Cauchy condition of the form:
θ t = Φ + ζ ( x , t ) exp ( t μ δ 0 ) + μ Δ θ , ζ ( x , t ) = { d 0 1 θ ( . ) i = 1 3 ( j = 1 3 λ j I i x j ( . ) ) + j = 1 3 θ x j ( . ) I j ( . ) + d 0 1 ( 1 4 π R 3 k = 1 3 ξ ¯ k r 1 3 [ i = 1 3 ( j = 1 3 λ j I i τ j ( x + + ξ ¯ , t ) ) θ τ i ( x + ξ ¯ , t ) + i = 1 3 ( j = 1 3 I j τ i ( x + ξ ¯ , t ) θ τ j ( x + ξ ¯ , t ) ) λ i ] d ξ ¯ ) } ,   ( τ = x + ξ ¯ R 3 ) , θ t = 0 = 0 , x R 3 ,
where
d 0 = i = 1 3 λ i > 0 ; Φ i = 1 3 Φ i ;   Φ 1 d 0 1 i = 1 3 f i ( x , t ) ( exp ( 2 t μ δ 0 ) ) i = 1 3 ( j = 1 3 J j J i x j ) , Φ 2 d 0 1 1 μ δ 0 exp ( t μ δ 0 ) i = 1 3 J i ;   Φ 3 d 0 1 [ 1 4 π R 3 i = 1 3 ξ ¯ i   r 1 3 F 0 ( x + ξ ¯ ; t ) d ξ ¯ ] = = d 0 1 ( exp ( 2 t μ δ 0 ) ) [ 1 4 π R 3 i = 1 3 ξ ¯ i   r 1 3 m = 1 3 k = 1 3 ( J m τ k ( x + ξ ¯ ; t ) J k τ m ( x + ξ ¯ ; t ) ) d ξ ¯ ] , ( r 1 = n = 1 3 ξ ¯ n 2 ) .
Further, the solution of the problem under study is reduced to the determination of functions from the equations:
θ = γ + 1 2 3 π 3 0 t R 3 ( exp ( r 2 4 μ ( t s ) ) ) ( exp ( s μ δ 0 ) ) ζ ( τ , s ) d τ d s ( μ ( t s ) ) 3 = γ + + 1 π 3 0 t R 3 ( exp ( ( ξ 2 + s μ δ 0 ) ) ) ζ ( x + 2 ξ μ ( t s ) , s ) d ξ d s ( Γ ζ ) ( x , t ) ,
θ x i = γ x i + 1 2 3 π 3 0 t R 3 ( exp ( ( r 2 4 μ ( t s ) + s μ δ 0 ) ) ) ( x i τ i ) 2 μ ( t s ) ζ ( τ , s ) d τ d s ( μ ( t s ) ) 3 = = γ x i + 1 π 3 0 t R 3 ( exp ( ( ξ 2 + s μ δ 0 ) ) ) ζ ( x + 2 ξ μ ( t s ) , s ) ξ i d ξ d s μ ( t s ) Γ i ζ , ( i = 1 , 3 ¯ ) , γ 1 = 1 π 3 0 t R 3 ( exp ( ξ 2 ) ) ( Φ 1 ( x + 2 ξ μ ( t s ) , s ) + Φ 3 ( x + 2 ξ μ ( t s ) , s ) ) d ξ d s , γ 2 = 1 π 3 0 t R 3 ( exp ( ξ 2 ) ) Φ 2 ( x + 2 ξ μ ( t s ) , s ) d ξ d s , ( ζ ( x , t ) C 1 , 0 ( D ) ; γ γ 1 + γ 2 ) .
So, taking into account (2.12), (2.14) and ζ ( x , t ) we have
θ = ( Γ ζ ) ( x , t ) , ζ ( x , t ) = { d 0 1 ( Γ ζ ) i = 1 3 ( j = 1 3 λ j I i x j ( . ) ) + j = 1 3 ( Γ j ζ ) I j ( . ) + d 0 1 ( 1 4 π R 3 k = 1 3 ξ ˜ k r 1 3 [ i = 1 3 ( j = 1 3 λ j I i τ j ( x + + ξ ˜ , t ) ) ( Γ i ζ ) ( x + ξ ˜ , t ) + i = 1 3 ( j = 1 3 I j τ i ( x + ξ ˜ , t ) ( Γ j ζ ) ( x + ξ ˜ , t ) ) λ i ] d ξ ˜ ) } ( Γ 0 ζ ) ( x , t ) ,   τ = x + ξ ˜ R 3 ,
at that
D k γ 2 β 1 , D k J β 2 , ( x , t ) D , γ 2 x i = x i γ 2 ( x , t ) = d 0 1 μ δ 0 π 3 0 t R 3 ( exp ( ( ξ 2 + s μ δ 0 ) ) ) ( j = 1 3 J j l i ( x + + 2 ξ μ ( t s ) , s ) ) d ξ d s Φ 4 , i , ( i = 1 , 3 ¯ ) , γ 2 x i 2 = x i ( Φ 4 , i ( x , t ) ) , ( i = 1 , 3 ¯ ; l = x + 2 ξ μ ( t s ) R 3 ) , 1 μ δ 0 0 t exp ( s μ δ 0 ) d s = 1 exp ( t μ δ 0 ) 1 , t R + ,   γ 2 t = Φ 2 + 1 μ δ 0 π 3 0 t R 3 ( exp ( ( ξ 2 + s μ δ 0 ) ) ) k = 1 3 ξ k t s μ J l k ( x + 2 ξ × × μ ( t s ) , s ) d ξ d s , Φ 2 1 h = sup R 3 0 h ( s ) Φ 2 ( x , s ) d s d 0 1 β 2 h 0 = β 3 , 1 μ 0 t ( exp ( s μ δ 0 ) ) d s t s 1 μ ( 0 t ( exp ( 2 ( t τ ) ( t + τ ) μ δ 0 ) d τ τ ) 1 2 × × ( 0 t 2 d τ 2 τ ) 1 2 2 δ 0 ( 0 t ( exp ( 2 ( t τ ) t ) μ δ 0 ) d ( 2 μ δ 0 ( t τ ) t ) 1 2 2 δ 0 , sup D 1 π 3 R 3 ( exp ( ξ 2 ) ) k = 1 3 ξ k × J l k ( x + 2 ξ μ ( t s ) , s ) d ξ β 2 β 4 = β 5 ,
sup D 1 μ π 3 0 t 1 t s R 3 ( exp ( ( ξ 2 + s μ δ 0 ) ) ) k = 1 3 ξ k × J l k d ξ d s β 5 2 δ 0 = β 6 , γ 2 t 1 h β 3 + β 6 β 7 ,   γ 2 G h 1 ( D 0 ) = 0 k 2 γ 2 C ( D ) + γ 2 t 1 h β 8 , ( 0 < β i = c o n s t , i = 1 , 8 ¯ ) .
Similar assessments can be made regarding γ 1 in G h 1 ( D 0 ) , therefore we have γ 1 + γ 2 = γ G 1 ( D 0 ) . Since, operator Γ 0 of system (2.15) contains small viscositie δ and δ 0 , then the proof of solvability and the construction of the approximate solution can be realized on the basis of the Banach principle and the Picard's method.
Letting
L Г 0 = k ¯ δ 0 < 1 ,   ( 0 < δ 0 < k ¯ 2 , 0 < k ¯ = c o n s t ) , Γ 0 : S r 1 S r 1 , ( S r 1 ( ζ 0 ) = { ζ : ζ ζ 0 r 1 ,   ( x , t ) D } ) ,
we obtain for ζ ( x , t ) the formula
ζ = lim n ζ n + 1 , ( x , t ) D *
we have estimate
ζ n + 1 ζ C ( L Г 0 ) n + 1 r 1 L Г 0 < 1 , ( n ) 0 ,
>where
ζ n + 1 = ( Γ 0 ζ n ) ( x , t ) , ( n = 0 , 1 , 2 , 3 ) ,
here ζ 0 is unitial estimate. Then, taking into account (2.15) we obtain that the function θ ( x , t ) is the only one with an estimate
θ n = ( Γ ζ n ) ( x , t ) , ( ζ n + 1 = ( Г 0 ζ n ) ( x , t ) , n = 0 , 1 , 2 , ... ) , θ n θ C μ δ 0 ζ n ζ C μ δ 0 L Г 0 n r 1 L Г 0 < 1 , n 0 , ζ n ζ C L Г 0 n r 1 , ( L Г 0 = k ¯ δ 0 < 1 ) , θ C γ C + μ δ 0 r 2 β 9 , S r ( ζ 0 ) = ζ : ζ ζ 0 r 1 , ( x , t ) D , ( ζ r 2 , ( x , t ) D ) .
It follows from the results obtained that in this case, the pressure becomes known, since the right side (2.10) is a known function.
Further, since equations (2.14), (2.15) contain θ , θ x i , ( i = 1 , 2 , 3 ) , ζ C 1 , 0 ( D ) , then, taking into account
θ x i 2 = γ x i 2 + 1 π 3 0 t R 3 ( exp ( ( ξ 2 + s μ δ 0 ) ) ) ζ l i ( x + 2 ξ μ ( t s ) , s ) ξ i μ ( t s ) d ξ d s , θ t = γ t + exp ( t μ δ 0 ) ζ ( x , t ) + 1 π 3 0 t R 3 ( exp ( ( ξ 2 + s μ δ 0 ) ) ) μ j = 1 3 ξ j t s ζ l j ( x + + 2 ξ μ ( t s ) , s ) d ξ d s ,   ( i = 1 , 3 ¯ ;   l = x + 2 ξ μ ( t s ) R 3 ) ,
moreover, from the estimate (2.14) and (2.22), on the basis of (2.16) it follows:
θ G h 1 ( D 0 ) = 0 k 2 D k θ C ( D ) + θ t ( x , t ) 1 h β 10 = c o n s t .
Further, taking into account (2.2), we obtain
ν i , n = θ n λ i + exp ( t μ δ 0 ) J i ( x , t ) , ( i = 1 , 3 ¯ ;   n = 0 , 1 , 2 , ... ) , ν i , n ν i C ( D ) λ i μ δ 0 L Г 0 n r 1 n 0.
Then, based on (2.2), (2.23), (2.24) and
ν i G h 1 ( D 0 ) :   ν i G h 1 ( D 0 ) M 0 , ( 0 < M 0 = β 11 + β 12 = c o n s t ; i = 1 , 3 ¯ ) , ν i t = λ i θ t + exp ( t μ δ 0 ) 1 μ δ 0 J i + 1 π 3 R 3 ( exp ( ξ 2 ) ) μ j = 1 3 ξ j t ψ i l j ( x + 2 ξ μ t ) d ξ ,     l = x + 2 ξ μ t R 3 ;   0 k 2 D k ν i C ( D ) β 11 ;   ν i t 1 h β 12 , ( i = 1 , 3 ¯ ) ,
it follows
ν G 3 , h 1 ( D 0 ) = i = 1 3 ν i G h 1 ( D 0 ) = i = 1 3 { 0 k 2 D k ν i C ( D ) + sup R 3 0 h ( t ) ν i t ( x , t ) d t } N 0 = c o n s t .
Theorem 1. Let the Navier-Stokes system (1.1) is defined on the D 0 and with prescribed initial data (1.2), (1.3), and conditions (2.1), (2.8), (2.16) and (2.23). Then there exists a unique solution of the problem (2.12) in G 1 ( D 0 ) . Moreover, taking into account (2.2), there exists solution to problem (1.1), (1.2) and (1.3) in G 3 1 ( D 0 ) . Remark 2. In the case when the functions γ i , ( i = 1 , 2 ) are continuous, the result is valid, if we understand the partial derivatives in the sense of S. L. Sobolev [11]. This fact is also one of the significant advantages of the applied method.

3. CONCLUSIONS

The main idea of this chapter is that the Navier-Stokes equations (1.1) is reduced to Cauchy problem for inhomogeneous linear equations with the variable coefficients of the heat conduction type, based on the transformation (2.2), taking into account conditions (1.2) and (2.1). The indicated conditions are an important factor for the linearization of equation (1.1), since (2.6) holds when formula (2.2) introduced, i.e. the inertial terms in the Navier-Stokes equations with respect to the new unknown function θ and its derivatives θ x i , ( i = 1 , 2 , 3 ) are linearized. Further, taking into account (2.2), we also obtain Poisson type equations for pressure of the form (2.9), which modifies the Lipschitz-Landau formula. Therefore, with the exclusion of pressure from equation (2.7), the linear parabolic problem (2.12) follows, which is reduced to the system of Volterra and Volterra-Abel integral equations of the second kind (2.15), and they simplify the analysis of the original problem in space G 3 1 ( D 0 ) . On the other hand, since the Navier-Stokes equations with certain initial conditions were studied in papers [9,10] in G 3 1 ( D 1 = R 3 × ( 0 , T 0 ) ) and W 3 0 ( D ) (see sector 1), and in this work this equation is studied with conditions (1.3), (1.20) in G 3 1 ( D 0 ) (see sector 2). Therefore, it can be considered that the Navier-Stokes equation is studied in the full sense with the Cauchy conditions. Note that in the future, space G 3 1 ( D 0 ) can be used for the Navier-Stokes problem in a bounded domain, when D 0 is bounded.

References

  1. Fefferman C. Existence and smoothness of the Navier-Stokes equation. Available: http://claymath.org/Millenium Prize Problems / Navier-Stokes Equations. Cambridge, MA: Clay Mathematics Institute. 2000;1-5.
  2. Landau L.D, Lifshith E.M. Fluid Mechanics. Vol. 6 (2nd ed.). Butterworth-Heinemann. 2nd ed. – Pergamon Press. 1987;XIV.
  3. Prantdl L. Gesammelte Abhandlungen zur angewandten Mechanik, Hudro-und Aerodynamic. Springer, Berlin; 1961.
  4. Schlichting H. Boundary-Layer Theory, Nauka, Moscow; 1974.
  5. Scheffer, V. Turbulence and Hausdorff dimension, in Turbulence and the Navier–Stokes Equations, Lecture Notes in Math. 565, Springer Verlag, Berlin. 1976;94–112.
  6. Beale J.T, Kato T, Majda A. Remarks of the breakdown of smooth solutions for the 3D Euler equations. Comm. Math. Phys. 1984, 94, 61–66. [CrossRef]
  7. Fernández-Dalgo PG, Lemarié–Rieusset PG. Characterisation of the pressure term in the incompressible Navier–Stokes equations on the whole space. Discrete & Continuous Dynamical Systems-S. 2021, 14, 2917. [Google Scholar]
  8. Marcati C, Schwab C. Analytic regularity for the incompressible Navier-Stokes equations in polygons. SIAM Journal on Mathematical Analysis. 2020, 52, 2945–68. [Google Scholar] [CrossRef]
  9. Omurov, T.D. A solution of the Navier-stokes problem for an incompressible fluid, proceedings of the Pakistan Academy of Sciences. A: Physical and Computational Sciences. 2019, 56, 1–13. [Google Scholar]
  10. Omurov T.D. Study on a Solution of the Navier-Stokes Problem for an Incompressible Fluid with Viscosity, Research Trends and Challenges in Physical Science Vol. 3, 27 October (2021), Page 144-170.
  11. Sobolev L.S. Equations of mathematical physics, Nauka, Moscow; 1966.
  12. Friedman, A. Boundary estimates for second order parabolic equations and their application. Journal of Mathematics and Mechanics. 1958, 7, 771–791. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated