![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
Abstract
A proof of existence, uniqueness, and smoothness of the Navier–Stokes equations is an actual problem, whose solution is important for different branches of science. The subject of this study is obtaining the smooth and unique solutions of the three-dimensional Stokes–Navier equations for the initial and boundary value problem. The analysis shows that there exist no viscous solutions of the Navier–Stokes equations in three dimensions. The reason is the insufficient capability of the divergence-free velocity field. It is necessary to modify the Navier–Stokes equations for obtaining the desirable solutions. The modified equations describe a three-dimensional flow of incompressible fluid which sticks to a body surface. The equation solutions show the resonant blowup of the laminar flow, laminar–turbulent transition, and fluid detachment that opens the way to solve the magnetic dynamo problem.
Public Interest Statement
The Navier–Stokes equations are one of the fundamentals of fluid mechanics. They describe the motion of viscous liquids, gases, or plasmas, and are the basis of mathematical modeling of many natural phenomena. Their applications cover virtually all areas of science: aerodynamics and hydrodynamics, astrophysics, engineering, medicine and health, chemistry, biology, geophysics, electro and magnetic hydrodynamics, etc. However, the solutions of the Navier–Stokes equations suitable for analysis are found only for simplified problems that have little or no physical interest. There is no complete understanding of the properties of these equations. An open problem in mathematics is whether their physically reasonable (smooth) solutions always exist in three dimensions. Also it is very important to understand how the Navier–Stokes equations describe the chaotic behavior of fluids (turbulence) that is one of the most difficult problems of mathematical physics. This article is the response to the Navier–Stokes existence and smoothness challenge.
1. Introduction
A proof of existence, uniqueness, and regularity of three-dimensional fluid flows for an incompressible fluid concerns most mathematically complex unsolved problems (Constantin, Citation2001; Fefferman, Citation2000; Ladyzhenskaya, Citation2003). The positive result is obtained in two space dimensions (Ladyzhenskaya, Citation1969). In three dimensions, existence is proved for weak solutions (Leray, Citation1934), but their uniqueness and smoothness are not known. For strong solutions, the three-dimensional problem is not solved till now (Constantin, Citation2001; Fefferman, Citation2000; Ladyzhenskaya, Citation2003).
The solution of the problem can help ensure the development in different branches of science. The significance of the challenge is well described in the work (Fefferman, Citation2000).
“A fundamental problem in analysis is to decide whether such smooth, physically reasonable solutions exist for the Navier–Stokes equations. … Fluids are important and hard to understand. There are many fascinating problems and conjectures about the behavior of solutions of the Euler and Navier–Stokes equations. … Since we don’t even know whether these solutions exist, our understanding is at a very primitive level. Standard methods from PDE appear inadequate to settle the problem. Instead, we probably need some deep, new ideas.”
In the work of (Fefferman, Citation2000), the detailed statement for the Cauchy initial value problem and the problem with the initial periodical conditions of the Navier–Stokes equations is presented. We use this statement as the basic formulation of problem-solving in our research.
The regularity question considering the boundary value problem is posed in the work (Constantin, Citation2001):
“What are the most general conditions for smooth incompressible velocities that ensure, in the absence of external input of energy, that the solutions of the Navier–Stokes equations exist for all positive time and are smooth? … A specific regularity question, still open, is for instance: Given an arbitrary infinitely differentiable, incompressible, compactly supported initial velocity field in R3, does the solution remain smooth for all time? A version of the same question is: Given an arbitrary three-dimensional divergence-free periodic real analytic initial velocity, does the ensuing solution remain smooth for all time?”
In the work of (Ladyzhenskaya, Citation2003), there is a more general formulation of the problem,
Do the Navier–Stokes equations together with the initial and boundary conditions provide the deterministic description of the dynamics of an incompressible fluid or not?
In our research, we will try to find the answers to all these questions.
2. Analysis
2.1. Statement of problem
The system of the non-stationary Navier–Stokes equations for an incompressible fluid in three dimension looks as follows:(1)
(1)
(2)
(2)
where ρ is the fluid density, is the vector field of velocities of a fluid at time t and a point with coordinates
,
is the pressure of a fluid, η is the dynamic viscosity, and
is the external force defined as a smooth function on [0, ∞) × R3. ∇ is the Hamilton operator and Δ is the Laplace operator. Equation (1) is the Cauchy momentum equation and Equation (2) is the mass continuity equation.
If the initial value problem is considered, the initial condition looks as follows:(3)
(3)
where is an arbitrary divergence-free vector field defined in R3.
For the boundary value problem (Constantin, Citation2001; Ladyzhenskaya, Citation2003), the boundary condition is taken for a fluid sticking to a body surface:(4)
(4)
where S is the surface separating the fluid and body.
The Clay Mathematics Institute suggests to prove or deny existence of solutions satisfying (1), (2), and (3) for viscous fluid (η > 0) under the following conditions (Fefferman, Citation2000). For physically reasonable solutions, does not grow large as
. Hence, the forces
and initial conditions
satisfy
(5)
(5)
and(6)
(6)
A solution of (1), (2), and (3) is accepted as physically reasonable only if it satisfies(7)
(7)
and(8)
(8)
Note. The function is a smooth one on [0, ∞) × R3. So we added the condition
in (7). This condition is absent in the same expression of the work of Fefferman (Citation2000).
Alternatively, for spatially periodic solutions of (1), (2), and (3), we assume that
(9)
(9)
where is jth unit vector in R3.
In place of (5) and (6), we assume that is smooth and that
(10)
(10)
We accept a solution of (1), (2), or (3) as physically reasonable if it satisfies(11)
(11)
and
(12)
(12)
The problem is formulated in four statements (Fefferman, Citation2000).
(A) Existence and smoothness of Navier–Stokes solutions on R3. Take η > 0 and space dimension n = 3. Let be any smooth, divergence-free vector field satisfying (5). Take
to be identically zero. Then, there exist smooth functions
,
on [0, ∞) × R3 that satisfy (1), (2), (3), (7), and (8).
(B) Existence and smoothness of Navier–Stokes solutions in R3/Z3. Take η > 0 and n = 3. Let be any smooth, divergence-free vector field satisfying (9); we take
to be identically zero. Then, there exist smooth functions
,
on [0, ∞) × R3 that satisfy (1), (2), (3), (11), and (12).
(C) Breakdown of Navier–Stokes solutions on R3. Take η > 0 and n = 3. Then, there exist a smooth, divergence-free vector field on R3 and a smooth
on [0, ∞) × R3, satisfying (5) and (6) on [0, ∞) × R3, for which there exist no solutions
of (1), (2), (3), (7), and (8) on [0, ∞) × R3.
(D) Breakdown of Navier–Stokes Solutions on R3/Z3. Take η > 0 and n = 3. Then, there exist a smooth, divergence-free vector field on R3 and a smooth
on [0, ∞) × R3, satisfying (9) and (10), for which there exist no solutions
of (1), (2), (3), (11), and (12) on [0, ∞) × R3.
2.2. Idea of proof
According to the Cauchy–Kowalevski theorem, for the local existence and uniqueness of the solution of a Cauchy initial value problem for a linear partially differential equation with constant coefficients, it is enough to prove the expansibility of this solution to a uniformly converging power series in some neighborhood of every point in the solution domain. The solution can be a function of real or complex variables (Courant & Hilbert, Citationxxx; Vladimirov, Citation1983).
We will extend this statement to the nonlinear Navier–Stokes equations and generalize the result obtained for a local solution to all space to obtain a global solution. We can do it by the following way.
At first, we carry out the statements for the boundary value problem. We define a compact simply connected domain G ⊂ R3 with a border S. We accept that(13)
(13)
(14)
(14)
(15)
(15)
(16)
(16)
The initial step of the solution existence proof is the definition of a class of generalized solutions for which a uniqueness theorem is performed (Ladyzhenskaya, Citation2003).
Let’s designate all functions satisfying the condition (16) as L2(G). As is known from the differential equation theory (Vladimirov, Citation1983), any function from this space can be presented as a Fourier series converging to this function. Due to the condition (15), the Fourier decompositions to converging series can be applied both to space and time variables. So we introduce the function space L2(GT), GT = [0, T] × G ⊂ [0, ∞) × R3 (Ladyzhenskaya, Citation2003), whose functions are decomposed to the Fourier series that are constructed from the complete system of functions . If this complete system is a Navier–Stokes equation solution, the functions
presented as the expansions to this complete system are solutions of these equations.
A Fourier series is based on the use of the trigonometric functions which are presented as the exponential function with the imaginary-valued argument. So a Fourier series can be presented as a complex-valued power series (Fihtengolts, Citation2003a). For a continuously differentiable function on [0, ∞) × R3, the Lipschitz condition is performed for any domain , which is wider than GT (
), so the Fourier series of this function is uniformly converged on GT (Fihtengolts, Citation2003a). The Fourier coefficients are uniquely determined from the boundary condition. So the local existence and uniqueness theorem can be applied to a general partial differential equation with constant coefficients (Courant & Hilbert, Citationxxx) for the function space GT.
We have the following reasons to suppose that this claim is also valid for the nonlinear Navier–Stokes equations. According to conditions 13–16, the functions ,
,
, and
are k times differentiable for k = 1, … , ∞, and continuous with all their kth-order partial derivatives on [0, ∞) × R3. The nonlinear term of the Cauchy momentum equation is k times differentiable and continuous together with its all derivatives also. Hence,
,
,
,
, their kth derivatives, and the nonlinear term can be presented as the uniformly converging Fourier series on GT (Fihtengolts, Citation2003a). These Fourier series are differentiable and can be multiplied to other Fourier series. The result of multiplication is a Fourier series (Fihtengolts, Citation2003a). The Fourier coefficients of the nonlinear term are uniquely defined from the boundary condition. Assuming that the nonlinear term contains no unknowns, we obtain the unique solution of the Navier–Stokes equations as for the system of two linear equations, one of which contains the additional source presented as the Fourier series.
We can obtain the unique global solution of the initial value problem (1), (2), and (3) satisfying the statement (A) of the Clay Mathematics Institute if we take the limit of the Fourier series for GT = [0, T] × G → [0, ∞) × R3. As a result, the Fourier series turns to the Fourier transforms which are presented by improper integrals. Under conditions (5)–(8), these integrals exist and converge. The similar statements can be carried out for the periodic functions satisfying (9)–(12).
The use of a trigonometric Fourier series is not the only option to obtain a solution of the Stokes–Navier equations. It is possible that for some variables (e.g. time variable), the solution is decomposed to function series based on exponential functions with a real-valued argument instead of a complex-valued one. These series are real-valued power one. Under the condition of the uniform convergence, we can reduce the nonlinear problem to a linear one and transform the series to improper integrals the same way as using the trigonometric Fourier series.
Let’s verify whether the functions expandable to the uniformly converging Fourier series are really solutions of the Navier–Stokes equations. We will obtain the eigensolutions of the Navier–Stokes equations and study their relation to the Fourier series.
If for the proof of Navier–Stokes equation resolvability, it is enough to find the solutions of the mass continuity equation in L2(GT). This is a constant coefficient homogeneous differential equation with private derivatives of the first order. It is linear and only one required unknown function
is presented in it.
The Cauchy momentum equation is also linear with respect to the function . If we take the divergence of the right and left parts of Equation (1), we obtain that the pressure is a solution of the Poisson equation
(17)
(17)
The solution can be easily obtained at substitution of
in this equation.
We should take into account that, generally, the velocity vector does not coincide with a direction of pressure gradient in the mass continuity equation. Therefore, we are interested in the resolvability of the Cauchy momentum equation in the absence of the pressure gradient. Thus, it is necessary to solve the equation(18)
(18)
where ,
, under the conditions (2), (3), and (5)–(8).
2.3. Solutions of mass continuity equation
Let’s consider the mass continuity equation . This equation defines a velocity vector field as a divergence-free one.
For a divergence-free field,(19)
(19)
where is a vector potential of a vector velocity field.
Let’s admit that(20)
(20)
where is an arbitrary function under the condition
. In particular, G ≡ R3. For this function,
(21)
(21)
This expression is a necessary condition of resolvability of Equation (20) (Fihtengolts, Citation2003a).
Let’s obtain the general solution of the heterogeneous system of the equations:(22)
(22)
We use the solution of the inverse problem of the vector analysis (Fihtengolts, Citation2003a).
At first, we obtain the general solution of homogeneous system of the equations:(23)
(23)
The first equation testifies that a divergence-free field is a potential one:(24)
(24)
where is a scalar potential of a vector velocity field.
As a result, we obtain the Laplace equation(25)
(25)
Let’s take a gradient of this expression. We consider that(26)
(26)
We obtain the Laplace equation for the velocity:(27)
(27)
The solutions of this equation are harmonic functions.
Let’s obtain the private solution of the heterogeneous system (22). We substitute expression (19) for the vector potential in Equation (20).
Then,(28)
(28)
where is a vector potential of a vector velocity field. Using the correlations
and
, we obtain the Poisson equation for the velocity
(29)
(29)
The Poisson equation for the vector potential is(30)
(30)
The general solution of the heterogeneous Poisson Equation (29) includes the solution of the Laplace Equation (27) as the general solution of the homogeneous equation. Thus, the general solution of the system (22) is reduced to the general solution of Equation (29).
The vector field is completely defined by its scalar and vector potentials. Let’s investigate the ability of potentials
and
to build the complete systems of functions in three-dimensional space R3 if these potentials are harmonic functions.
The harmonic functions can be presented as converging power series in three dimensions. For two space variables, these power series have the form of the trigonometric Fourier series. For the third variable, the power series is based on the exponential function with the real-valued argument.
The harmonic functions possess the property of completeness only for two variables. For the third variable, it is impossible to construct the complete system of functions.
For example, let’s consider solutions of the three-dimensional Laplace equation in the rectangular Cartesian coordinates. The solutions in the form of linear functions aren’t interesting to us. We investigate the solution which is looking as
for
, where
is a complex-valued vector. In this solution, the value of one wave vector projection always depends on two others. The correlation between projections does not allow constructing the orthonormal basis for one of the three spatial coordinates. The complete system can be constructed only for the functions of two spatial variables.
In the cylindrical coordinates, the solutions of the Laplace equation are functions like(31)
(31)
where Rn(kρ ⋅ ρ) is the cylindrical Bessel function and kρ and kϕ are the real eigenvalues of the problem. As well as in the previous case, we have only two independent eigenvalues for the function of three variables.
In the spherical coordinates, the solution aspiring zero at infinity looks like(32)
(32)
where Yn(ϑ, ϕ) is the spherical superficial harmonics possessing the property of completeness.
The functions 1/rn don’t possess this property. The correlation between the eigenvalues in the Cartesian coordinate problem is kept also in the curvilinear one. The solutions depending on the curvilinear coordinates can be obtained by the expansion of the exponential function to the series on the complete system of the functions corresponding defined geometry (e.g. the cylindrical and spherical functions). Under the condition of , these functions lose the completeness for the three variables.
But it is much more important that the harmonic functions represent a non-viscous fluid motion. According to formula (27), there is no term with the viscosity in the Cauchy momentum equation. A viscous fluid motion is defined by not a potential (curl-free) divergence-free field but exclusively a divergence-free one which is determined by heterogeneous Equation (30).
Let’s consider the case when the velocity is defined only by the vector potential
. We substitute the functions
(33)
(33)
(34)
(34)
in Equation (29). We obtain(35)
(35)
It means that(36)
(36)
We have the same result if we substitute the function (33) in the equation . We obtain the expression
(37)
(37)
The case when(38)
(38)
leads to the expression . It is performed for the potential velocity
satisfying Equation (27).
The alternative solution is where
is a complex-valued vector. It is valid for the velocity
satisfying Equation (29). In this case, there exists correlation defined by the necessity to choose the vector
direction that is perpendicular to the vector
. For the problem-solving in the Cartesian or curvilinear coordinates, this correlation reduces the number of uncertain eigenvalues just as it has occurred for the Laplace equation. If one axis of the Cartesian system of coordinates is directed in parallel to the vector
, the solution becomes the function of only two spatial variables. The transformation to an arbitrary Cartesian system of coordinates and a curvilinear coordinate system leads to the result that there are only two independent spatial variables.
2.4. Solutions of Cauchy momentum equation
Under the condition η > 0, the three-dimensional Navier–Stokes equations are reduced to a two-dimensional one. Besides this, the nonlinear term is equal to 0 in the Cauchy momentum equation if there are no external sources of a fluid motion in R3. Using expression (33), we have(39)
(39)
because the condition is performed for any
in
.
It means that there is no term with velocity in Equation (17):(40)
(40)
and Equation (18) is a linear one:(41)
(41)
As a result, we obtain the eigensolution of the Navier–Stokes equations for velocity in the Cartesian coordinate system with unit vectors ,
, and
under the condition η > 0 as
(42)
(42)
where and
are the real-valued vectors,
. This formula is obtained using the expressions:
(43)
(43)
where f1, f2, and f3 are linear functions.
We obtain the global solution of the problem for if we take the improper integral of the function (42) over the continuous spectra of
and satisfy the initial condition. The solution is a smooth function at any time moment (0 ≤ t < ∞).
For pressure, we have the general solution of the two-dimensional Poisson Equation (40).
We should say that the nonlinear term isn’t equal to 0 if we use the curvilinear coordinates (e.g. spherical or cylindrical) instead of the Cartesian one. In this case, we implicitly use a source of a fluid motion at some points of space R3 (e.g. a point or line source). But at the source points.
3. Alternative
The divergence-free velocity field defines viscous two-dimensional solutions of the Navier–Stokes equations. It is necessary to update the Navier–Stokes equations to consider a potential field which is not divergence-free for solving a viscous three-dimensional problem.
The necessity of updating the equations is most evident at the consideration of fluid movement near body surfaces. Sticking fluid molecules to a surface means inelastic collisions of these molecules with a body. The molecules colliding with the stuck one are also involved in the inelastic collisions since they stick to other molecules or lose kinetic energy equal to the binding energy to release the attached molecules. Therefore, there are the inelastic collisions in the whole boundary layer.
The mass continuity equation does not include the inelastic processes. It means that the field of velocities is divergence-free. It is natural to expect that the divergence-free field does not possess sufficient capabilities to describe the fluid motion in the boundary layer. We suppose that the inelastic intermolecular interactions can be taken into account in the equations by the use of the potential field where velocity divergence is not equal to zero. It distinguishes it from the velocity potential field which is already used in fluid dynamics. That field is a kind of a divergence-free one.
3.1. Modification of equations
Let’s update the Navier–Stokes equations using a curl-free potential vector field. The refined mass continuity equation looks as follows(44)
(44)
(45)
(45)
where is the scalar potential and
is the vector potential of the vector velocity field.
Equation (44) always has solutions. Generally, their number is infinite (Fihtengolts, Citation2003a).
We use the general form of the Cauchy momentum equation(46)
(46)
where ζ is the second viscosity considering the intermolecular interactions. The compressibility of a fluid is not used in the derivation of this equation (Landau & Lifshitz, Citation1987), i.e. we can accept that ρ = const.
We substitute expression (44) in the term of the Cauchy momentum Equation (46). We take into account that
(47)
(47)
We obtain the Cauchy momentum equation in the form(48)
(48)
Any vector field can be presented as a sum of a divergence-free and a curl-free vector field (Fihtengolts, Citation2003a). We suppose that(49)
(49)
where is the scalar potential and
is the vector potential of the vector external source field.The vector field
is potential. So expression (48) can be separated into two equations
(50)
(50)
(51)
(51)
We consider Equation (50). We use the expressions
,
.
We obtain the solution for pressure(52)
(52)
where is an arbitrary function of time and
is the solution of the equation
(53)
(53)
In presence of the divergence-free and curl-free fields, the system of the modified Navier–Stokes equations is(54)
(54)
(55)
(55)
(56)
(56)
(57)
(57)
These equations should be complemented by conditions (3) and (4).
The existence of the general solution of Equation (56) is proved in the next part. The whole system (54–57) with conditions (3) and (4) is solvable in three dimensions. The Fourier method allows obtaining the smooth solutions of these equations.
3.2. Incompressibility of fluid
If we accept that , a crucial problem is whether the fluid is incompressible. According to the work of (Batchelor, Citation2000), the influence of pressure variations on the value of fluid density is negligible if
(58)
(58)
where L is the length scale ( varies slightly over distances small compared with the scale), U is the value of the variations of
with respect to both position and time. It means that the velocity distribution is only approximately divergence-free.
In our research, we suppose that assumption (58) is valid, i.e. a fluid is incompressible. We only accept the existence of a curl-free velocity field besides a divergence-free one on the condition that(59)
(59)
It is performed for a non-stationary flow if (Landau & Lifshitz, Citation1987)(60)
(60)
(61)
(61)
cs is the speed of sound in the fluid and τ is the time scale. The last condition means that the time during which the sound passes the distance equal to the length scale has to be much less that of the time scale τ during which the motion of the fluid significantly changes, i.e. propagation of interactions in the fluid is instantaneous.
The condition (59) is necessary if we want to investigate the nonlinear phenomena of an incompressible fluid motion. Small terms in nonlinear equations can have a significant influence on behavior of a physical system in space and time as a result of a cumulative effect (Bogoliubov & Mitropolski, Citation1961). The equations of the viscous fluid motion become more accurate at the account of curl-free vector field.
3.3. Existence of solutions
Let’s solve Equation (56).(62)
(62)
At first, let’s consider this equation without :
(63)
(63)
We define and
as a uniformly converging series
(64)
(64)
(65)
(65)
(66)
(66)
We obtained the infinite set of the inhomogeneous linear heat equations. The existence and uniqueness theorem is proved for them (Tikhonov & Samarskii, Citation2013). The infinite series of private solutions of the heat equations converges uniformly on [0, ∞) × R3. So we can obtain the unique solution of Equation (56) if the initial and boundary conditions are defined.
The presence in the right part of the equation doesn’t change the reasoning. But we will show that there exists a turbulent solution of Equation (56) besides the unique solution for a laminar flow.
At the beginning, we obtain the solution of Equation (56) for a laminar flow which can blow up as a result of a resonance effect.
3.4. Resonant blowup of laminar flow
We consider the equation
(67)
(67)
Let’s suppose that(68)
(68)
to simplify the expressions.
We obtain the system
,
,
(69)
(69)
,
We define the solutions in the form(70)
(70)
(71)
(71)
We obtain the linear system of the equations
,
,
(72)
(72)
The solution of the first equation is(73)
(73)
Let’s obtain the solutions of the second and the third equations. We suppose that(74)
(74)
(75)
(75)
(76)
(76)
(77)
(77)
(78)
(78)
We study the nonlinear effect which is described as the interaction between the plane wave functions having the initial wave vectors and
. The third and higher order approximations of the solution obtain the term which wave vector coincident with the initial wave vector
. It is the term which has the function
. It means that there is a resonance which increases the amplitude of the solution with time (Landau & Lifshitz, Citation1976).
Let’s study this effect more carefully.
We accept at the next step that(79)
(79)
We obtain(80)
(80)
(81)
(81)
(82)
(82)
(83)
(83)
Let’s obtain the next order of solutions to establish the general form of the resonance amplitude. We are interested in the solutions only with . We define them as
. We need also the solutions
with
to obtain
.
(84)
(84)
(85)
(85)
(86)
(86)
(87)
(87)
(88)
(88)
(89)
(89)
(90)
(90)
(91)
(91)
(92)
(92)
(93)
(93)
(94)
(94)
(95)
(95)
(96)
(96)
As a result, we suppose that the resonance solution is(97)
(97)
We define(98)
(98)
(99)
(99)
(100)
(100)
(101)
(101)
According to d’Alembert’s ratio test (Fihtengolts, Citation2003b), the obtained series converges absolutely for any t ∊ [0, ∞) if
(102)
(102)
Let’s investigate the behavior of the solution if(103)
(103)
For example, let’s solve the system of Equation (72) if
(104)
(104)
We have the second equation as(105)
(105)
We find the solution as (106)
(106)
We obtain(107)
(107)
(108)
(108)
(109)
(109)
The next equation is(110)
(110)
We separate it into two equations:(111)
(111)
and(112)
(112)
We find the solution of the first equation as(113)
(113)
where a is an unknown constant.(114)
(114)
(115)
(115)
We find the solution of the second equation as(116)
(116)
where a is an unknown constant.(117)
(117)
(118)
(118)
We obtain the solution of Equation (110) as the sum of the solutions of Equations (111) and (112):(119)
(119)
We have obtained the secular terms increasing the solution for some period of time. The time of growth (the blowup time) is not infinite due to the presence of the exponential function. This time is proportional to the value . It can be very large if
and becomes infinitesimal if
. The maximum of the time distribution of the solution approaches infinity.
3.5. Laminar flow without resonance
The increase of the solution as the result of the resonance of two fields is possible if a physical nature of the values and
is different. For example, one is a fluid velocity, another is a magnetic field. If
and
describe a divergence-free and curl-free fluid velocity field, the sum of them is a velocity of a fluid. It is considered that there exists no spontaneous growth of a velocity (kinetic energy) for a closed physical system in the absence of an external source (Landau & Lifshitz, Citation1976). Actually, there is a change of basic values of solution parameters to be compared with their unperturbed values in higher approximations of nonlinear equations. This leads to the suppression of the resonance effect. We can remove the resonance terms using the method of Poincare (Landau & Lifshitz, Citation1976).
We suppose that(120)
(120)
Our purpose is to delete the resonance term with .
We modify the first equation of the system (72):(121)
(121)
We construct the system using Equation (72) (Landau & Lifshitz, Citation1976):
(122)
(122)
The solution of the first equation is(123)
(123)
The second equation is(124)
(124)
There is no the term with in the solution if
. We have the solution of the second equation
(125)
(125)
The third equation is(126)
(126)
(127)
(127)
If , we obtain
(128)
(128)
(129)
(129)
(130)
(130)
3.6. Laminar–turbulent transition
Let’s consider the inhomogeneous equation
(131)
(131)
is the flow velocity,
is the divergence-free flow velocity, and
is the curl-free flow velocity.
We suppose that
(132)
(132)
is the constant vector and
is the flow velocity vector.
We consider the linearized equation
(133)
(133)
We perform the qualitative analysis of the resonance for this nonlinear equation (Landau & Lifshitz, Citation1976).
We find the solution of this equation as
(134)
(134)
We define
(135)
(135)
(136)
(136)
We obtain
(137)
(137)
(138)
(138)
We define the absolute value of the amplitude(139)
(139)
We use the approximate expressions(140)
(140)
where ,
(141)
(141)
We obtain(142)
(142)
(143)
(143)
According to formulas (127) and (130), we accept that the absolute value of the wave vector is dependent on the amplitude v0 due to the nonlinear effect. We define this dependence as (Landau & Lifshitz, Citation1976)
(144)
(144)
where χ is the function dependent on the anharmonic coefficients (see (127) and (130)).
It means that we replace the value to
in
of expression (143) (Landau & Lifshitz, Citation1976). As a result, we use the expression
instead of ɛ in (143). We take into account that
(145)
(145)
where is the amplitude of the curl-free velocity,
,
.
If the directions of and
are defined, we obtain that
(146)
(146)
where θ is the constant angle between and
.
We obtain(147)
(147)
(148)
(148)
There is no difference between this expression and the formula presented in the work of (Landau & Lifshitz, Citation1976). Let’s use the results of the analysis in this formula.
The greatest amplitude is
(149)
(149)
If (150)
(150)
we obtain the bifurcation solutions for the amplitude u0 besides the unique one. So it is possible to describe laminar–turbulent transition and an opposite process. A flow separation is also considered. In addition, there are resonances at external forces whose wave vectors and frequencies are greatly different from their own ones (Landau & Lifshitz, Citation1976).
(151)
(151)
The phase shift between the external force and the velocity is dependent on the velocity amplitude and varies stochastically at the turbulence.
3.7. Equations for potential field and curl-free velocity
We use the equation
.
Its solution as a plane wave satisfies the Helmholtz equation(152)
(152)
is the scalar potential of the velocity vector field and ξ is the value connected with the intermolecular interactions. In general, ξ is dependent on space coordinates and can be complex-valued.
The equivalent system of the equations for the velocity is(153)
(153)
(154)
(154)
These equations allow constructing the complete system of functions in space R3.
We suppose that ξ is a real value and(155)
(155)
The solution of Equation (153) is(156)
(156)
Let’s verify the incompressibility condition(157)
(157)
for this solution.(158)
(158)
(159)
(159)
We obtain from the boundary conditions that
(160)
(160)
where is the boundary position.
We have that
(161)
(161)
We obtain from the scale definition that variations of are small if
. Therefore,
(162)
(162)
(163)
(163)
It means that condition (157) is performed. The fluid is incompressible.
We have also that(164)
(164)
It reflects the fact that the energy of the intermolecular interactions is extremely small.
It was shown in the previous part that laminar–turbulent transition is possible for a divergence-free velocity. We can construct equations which allow this for a potential of a curl-free field or a curl-free velocity.
Let’s transform expression (152) to the equation similar to the one for oscillations of a mechanical system with an own frequency ω under the influence of a small nonlinear perturbation (Bogoliubov & Mitropolski, Citation1961):
(165)
(165)
where ɛ is the small positive parameter and is the function which can be expanded to a Fourier series for the variable
. The Fourier coefficients are polynomials in relation to
. For instance, the equation is similar to the one for driven small nonlinear oscillations (Landau & Lifshitz, Citation1976) is
(166)
(166)
where is the attenuation parameter,
are the own frequencies of system oscillations, f(t) is the amplitude of the source of fluid motion which is presented by the periodic function with the frequency
, and
are the positive constants.
The similar equations can be derived for the curl-free velocity using the expression (153).
The solutions of these equations describe the development of turbulence at the resonance as the equations for the divergence-free velocity (Landau & Lifshitz, Citation1976).
3.8. Magnetic dynamo
We consider a mechanism of self-generating a magnetic field through movement of an electrically conducting fluid.
We take the equations of magnetohydrodynamics (MHD) for an incompressible fluid (Landau & Lifshitz, Citation1976) and modify them. The modified MHD equations look as follows(167)
(167)
(168)
(168)
(169)
(169)
(170)
(170)
is the magnetic field, c is the speed of light, and σ is electrical conductivity.
Equation (167) can be separated into parts the same way as Equation (48). As a result, we obtain the equations for pressure as (54) and (55), and the equation for velocity which is (see (56))(171)
(171)
(172)
(172)
All these equations can be solved the way described in the previous part. The solution of Equation (168) obtains the resonant terms which are dependent on the velocity amplitude, , n = 1, 2, 3, …. The time distribution grows to the maximum value and then vanishes exponentially. It means that the amplitude of the magnetic field obtains very high values for a short period of time, even if the initial amplitude u0 is comparatively small. According to Equation (168), the increased magnetic field produces a high value of the amplitude of the fluid velocity as a result of resonance. It causes the next growth of the amplitude of the magnetic field. There exists positive feedback between the moving current conducting fluid and the magnetic field. The growth of the velocity and magnetic field is accelerated, i.e. there is a blowup. It means that the amplitude of the magnetic field obtains very high values for a short period of time, even if the initial amplitude u0 is comparatively small. As a result of strengthening, the amplitude of the magnetic field can exceed the threshold (150) and turbulence is developed. The solutions of the equations have lost their uniqueness. The bifurcation occurs for the system parameters. The system is unstable and any fluctuation of the velocity parameters may cause flow detachment. The amplitude of the magnetic field falls down together with the amplitude of the fluid velocity. A new growth of the fluid velocity and magnetic field is originated from small stochastic perturbations in the conducting moving fluid (Landau & Lifshitz, Citation1976). The initial conditions of this growth define the generation of a magnetic excursion or reversal as a result.
4. The conclusion
It is possible to give a certain answer to the Clay Mathematics Institute’s question. There exist no smooth functions ,
on [0, ∞) × R3 that satisfy the claims (A) or (B). For η > 0, the smooth solutions of the Navier–Stokes equations exist only in space of two variables.
We obtained the general solution of the mass continuity equation and studied it for the condition η > 0. The result is that there exists no smooth, divergence-free vector field on R3 satisfying (C) or (D).
The answers to the questions formulated in the works of (Constantin, Citation2001; Ladyzhenskaya, Citation2003) are the following.
There are no conditions for smooth incompressible viscous velocities that ensure, in the absence of external input of energy, that the solutions of the Navier–Stokes equations exist for all positive time in three dimensions and are smooth.
The Navier–Stokes equations together with the initial and boundary conditions don’t provide the deterministic description of the dynamics of an incompressible viscous fluid in space of three dimensions.
Under the conditions (A) and (B), the divergence-free solutions can be obtained only if the Stokes–Navier equation system takes the two-dimensional and linear form.
For obtaining the viscous solutions of the nonlinear problem, it is necessary to break the strict divergence-free condition by introducing an implicit or explicit source in the right part of the mass continuity equation. Using this source, we apply a potential field whose Laplacian isn’t equal to 0 at all points of R3.
The exact solutions of the Navier–Stokes equations presented in the works of (Bertozzi & Majda, Citation2002; Landau & Lifshitz, Citation1987) are obtained using the linearization of the solutions or the infringement of the strict divergence-free condition and/or (2) by the introduction of a fictitious source in the right part of the mass continuity equation. In the last case, the solutions are obtained in curvilinear coordinates. The examples are a viscous fluid rotating by a disk (an infinite disk source), a fluid flow in a diffuser and confuser (an infinite linear source), and the Landau problem for a flooded jet (a point source) (Landau & Lifshitz, Citation1987).
However, we suppose that only a source geometrical factor is not enough for the description of nonlinear processes considering a viscous fluid flow. It is necessary to consider the molecular inelastic interactions in the mass continuity equation. These interactions change the intermolecular binding energy on the expense of the kinetic energy of a fluid. Their presence in the equation is carried out by the use of the curl-free potential velocity field. Due to this field, the mass continuity equation can be reduced to the Helmholtz equation, whose solutions give a complete system of functions in R3.
The modified equations describe an incompressible fluid flow. Due to the inelastic interactions, an incompressible fluid sticks to a body surface. The analysis of the equation solutions shows the blowup of the laminar flow at the resonance, transition of the laminar flow to the turbulent one, and fluid detachment. This opens the way to solve the magnetic dynamo problem.
Additional information
Funding
Notes on contributors
A.V. Zhirkin
Alexey V. Zhirkin is a senior researcher at the Department of Fusion Reactors of the National Research Centre “Kurchatov Institute” in Moscow, Russian Federation. He graduated from the Moscow Engineering Physics Institute (PhD) and finished the Doctor course at the Department of Quantum Engineering and Systems Science in the University of Tokyo, Japan. His research area is neutronics analysis of fusion devices. He is involved in group’s research considering the design of the tokamak-based hybrid fusion–fission neutron source, including the problems of plasma confinement, magnetohydrodynamic effects, and thermal hydraulics.
References
- Batchelor, G. K. (2000). An introduction to fluid dynamics. Cambridge: Cambridge University Press. ISBN 0-521-66396-2
- Bertozzi, A., & Majda, A. (2002). Vorticity and incompressible flows. Cambridge: Cambridge University Press.
- Bogoliubov, N. N., & Mitropolski, Y. A. (1961). Asymptotic methods in the theory of nonlinear oscillations. New York, NY: Gordon and Breach.
- Constantin, P. (2001). Some open problems and research directions in the mathematical study of fluid dynamics, in mathematics unlimited–2001 and beyond (pp. 353–360). Berlin: Springer Verlag.
- Courant, R., & Hilbert, D.(1962). Methods of mathematical physics. (Vol. 2 Paperback). ISBN 0-471-50439-4
- Fefferman, C. H. (2000). Existence and smoothness of the Navier–Stokes equation (pp. 1–5). Cambridge, MA. Retrieved from http://claymath.org/Millenium_Prize_Problems/NavierStokes_Equations,ClayMathematicsInstitute
- Fihtengolts, G. M. (2003a). Course of differential and integral calculus. Vol. 3. Fizmatlit ISBN: 5-9221-0155-2. Retrieved from http://www.ebook300.com
- Fihtengolts, G. M. (2003b). Course of differential and integral calculus (Vol. 2) Fizmatlit ISBN: 5-9221-0155-2. Retrieved from http://www.ebook300.com
- Ladyzhenskaya, O. A. (1969). The mathematical theory of viscous incompressible flows (2nd ed.). New York, NY: Gordon and Breach.
- Ladyzhenskaya, O. A. (2003). Sixth problem of the millennium: Navier–Stokes equations, existence and smoothness. Russian Mathematical Surveys, 58, 251.10.1070/RM2003v058n02ABEH000610
- Landau, L. D., & Lifshitz, E. M. (1976). Mechanics. (Vol. 1, 3rd ed.).Oxford: Butterworth Heinemann. ISBN 978-0-750-62896-9
- Landau, L. D., & Lifshitz, E. M. (1976). Electrodynamics of continuous media (Vol. 8, 2nd ed.). Oxford: Butterworth Heinemann. ISBN 978-0-7506-2634-7
- Landau, L. D., & Lifshitz, E. M. (1987). Fluid mechanics (Vol. 6, 2nd ed.). Oxford: Butterworth Heinemann. ISBN 978-0-080-33933-7.
- Leray, J. (1934). Essai sur le mouvement d’un liquide visqueux emplissant l’espace [An essay on the motion of a viscous fluid filling the space]. Acta Mathematica, 63, 193–248.
- Tikhonov, A. N., & Samarskii, A. A. (2013). Equations of mathematical physics. New York, NY: Dover Publications.
- Vladimirov, V. S. (1983). The equations of mathematical physics (2nd English ed.). Moscow: Mir. MR 0764399, Zbl 0207.09101