|
|
| Line 1: |
Line 1: |
| {{Millennium Problems}}
| | She is recognized by the title of Myrtle Shryock. Years ago we moved to North Dakota. I used to be unemployed but now I am a librarian and the salary has been really fulfilling. One of the things she loves most is to study comics and she'll be starting some thing else alongside with it.<br><br>Look at my homepage ... [http://www.hard-ass-porn.com/blog/111007 std home test] |
| The '''Navier–Stokes existence and smoothness''' problem concerns the [[mathematical]] properties of solutions to the [[Navier–Stokes equations]], one of the pillars of [[fluid mechanics]] (such as with [[turbulence]]). These equations describe the motion of a fluid (that is, a liquid or a gas) in space. Solutions to the Navier–Stokes equations are used in many practical applications. However, theoretical understanding of the solutions to these equations is incomplete. In particular, solutions of the Navier–Stokes equations often include [[turbulence]], which remains one of the greatest [[unsolved problems in physics]], despite its immense importance in science and engineering.
| |
| | |
| Even much more basic properties of the solutions to Navier–Stokes have never been proven. For the three-dimensional system of equations, and given some initial conditions, mathematicians have not yet proved that [[Smooth function|smooth solutions]] always exist, or that if they do exist, they have bounded [[energy]] per unit mass.{{citation needed|date=November 2013}} This is called the ''Navier–Stokes existence and smoothness'' problem.
| |
| | |
| Since understanding the Navier–Stokes equations is considered to be the first step to understanding the elusive phenomenon of [[turbulence]], the [[Clay Mathematics Institute]] in May 2000 made this problem one of its seven [[Millennium Prize problems]] in mathematics. It offered a [[United States dollar|US$]]1,000,000 prize to the first person providing a solution for a specific statement of the problem:<ref name=problem_statement>[http://www.claymath.org/sites/default/files/navierstokes.pdf Official statement of the problem], Clay Mathematics Institute.</ref>
| |
| | |
| {{Quotation|
| |
| ''Prove or give a counter-example of the following statement:''<br>
| |
| In three space dimensions and time, given an initial velocity field, there exists a vector velocity and a scalar pressure field, which are both smooth and globally defined, that solve the Navier–Stokes equations.}}
| |
| | |
| The problem was claimed to be solved in January 2014 by Mukhtarbay Otelbaev, and the paper is currently under review.<ref>http://www.newscientist.com/article/dn24915-kazak-mathematician-may-have-solved-1-million-puzzle.html#.UuIWExBNzIV</ref>
| |
| | |
| ==The Navier–Stokes equations==
| |
| {{Main|Navier–Stokes equations}}
| |
| In mathematics, the Navier–Stokes equations are a system of nonlinear [[partial differential equation]]s for abstract vector fields of any size. In physics and engineering, they are a system of equations that models the motion of liquids or non-[[rarefied]]{{clarify|date=June 2013}} gases using [[continuum mechanics]]. The equations are a statement of [[Newton's second law]], with the forces modeled according to those in a [[viscosity|viscous]] [[Newtonian fluid]]—as the sum of contributions by pressure, viscous stress and an external body force.
| |
| Since the setting of the problem proposed by the Clay Mathematics Institute is in three dimensions, for an incompressible and homogeneous fluid, only that case is considered below.
| |
| | |
| Let <math>\mathbf{v}(\boldsymbol{x},t)</math> be a 3-dimensional vector field, the velocity of the fluid, and let <math>p(\boldsymbol{x},t)</math> be the pressure of the fluid.<ref group="note">More precisely, <math>p(\boldsymbol{x},t)</math> is the pressure divided by the fluid [[density]], and the density is constant for this incompressible and homogeneous fluid.</ref> The Navier–Stokes equations are:
| |
| | |
| : <math>\frac{\partial \mathbf{v}}{\partial t} + ( \mathbf{v}\cdot\nabla ) \mathbf{v} = -\nabla p + \nu\Delta \mathbf{v} +\mathbf{f}(\boldsymbol{x},t)</math>
| |
| | |
| where <math>\nu>0</math> is the kinematic viscosity, <math>\mathbf{f}(\boldsymbol{x},t)</math> the external force, <math>\nabla</math> is the [[gradient]] operator and <math>\displaystyle \Delta</math> is the [[Laplacian]] operator, which is also denoted by <math>\nabla\cdot\nabla</math>. Note that this is a vector equation, i.e. it has three scalar equations. Writing down the coordinates of the velocity and the external force
| |
| | |
| : <math>\mathbf{v}(\boldsymbol{x},t)=\big(\,v_1(\boldsymbol{x},t),\,v_2(\boldsymbol{x},t),\,v_3(\boldsymbol{x},t)\,\big)\,,\qquad \mathbf{f}(\boldsymbol{x},t)=\big(\,f_1(\boldsymbol{x},t),\,f_2(\boldsymbol{x},t),\,f_3(\boldsymbol{x},t)\,\big)</math>
| |
| | |
| then for each <math>i=1,2,3</math> there is the corresponding scalar Navier–Stokes equation:
| |
| | |
| : <math>\frac{\partial v_i}{\partial t} +\sum_{j=1}^{3}v_j\frac{\partial v_i}{\partial x_j}= -\frac{\partial p}{\partial x_i} + \nu\sum_{j=1}^{3}\frac{\partial^2 v_i}{\partial x_j^2} +f_i(\boldsymbol{x},t).</math>
| |
| | |
| The unknowns are the velocity <math>\mathbf{v}(\boldsymbol{x},t)</math> and the pressure <math>p(\boldsymbol{x},t)</math>. Since in three dimensions, there are three equations and four unknowns (three scalar velocities and the pressure), then a supplementary equation is needed. This extra equation is the [[continuity equation]] describing the [[incompressibility]] of the fluid:
| |
| | |
| : <math> \nabla\cdot \mathbf{v} = 0.</math>
| |
| | |
| Due to this last property, the solutions for the Navier–Stokes equations are searched in the set of "[[divergence]]-free" functions. For this flow of a homogeneous medium, density and viscosity are constants.
| |
| | |
| The pressure ''p'' can be eliminated by taking an operator rot (alternative notation curl) of both sides of the Navier–Stokes equations. In this case the Navier–Stokes equations reduce to the [[vorticity equation|vorticity-transport equation]]s. In two dimensions (2D), these equations are well-known [6, p. 321].
| |
| | |
| ==Two settings: unbounded and periodic space==
| |
| There are two different settings for the one-million-dollar-prize Navier–Stokes existence and smoothness problem. The original problem is in the whole space <math>\mathbb{R}^3</math>, which needs extra conditions on the growth behavior of the initial condition and the solutions. In order to rule out the problems at infinity, the Navier–Stokes equations can be set in a periodic framework, which implies that they are no longer working on the whole space <math>\mathbb{R}^3</math> but in the 3-dimensional torus <math>\mathbb{T}^3=\mathbb{R}^3/\mathbb{Z}^3</math>. Each case will be treated separately.
| |
| | |
| ==Statement of the problem in the whole space==
| |
| | |
| ===Hypotheses and growth conditions===
| |
| | |
| The initial condition <math>\mathbf{v}_0(x)</math> is assumed to be a smooth and divergence-free function (see [[smooth function]]) such that, for every multi-index <math>\alpha</math> (see [[multi-index notation]]) and any <math>K>0</math>, there exists a constant <math>C=C(\alpha,K)>0</math> such that
| |
| | |
| : <math>\vert \partial^\alpha \mathbf{v_0}(x)\vert\le \frac{C}{(1+\vert x\vert)^K}\qquad</math> for all <math>\qquad x\in\mathbb{R}^3.</math>
| |
| | |
| The external force <math>\mathbf{f}(x,t)</math> is assumed to be a smooth function as well, and satisfies a very analogous inequality (now the multi-index includes time derivatives as well):
| |
| | |
| : <math>\vert \partial^\alpha \mathbf{f}(x)\vert\le \frac{C}{(1+\vert x\vert + t)^K}\qquad</math> for all <math>\qquad (x,t)\in\mathbb{R}^3\times[0,\infty).</math>
| |
| | |
| For physically reasonable conditions, the type of solutions expected are smooth functions that do not grow large as <math>\vert x\vert\to\infty</math>. More precisely, the following assumptions are made:
| |
| | |
| # <math>\mathbf{v}(x,t)\in\left[C^\infty(\mathbb{R}^3\times[0,\infty))\right]^3\,,\qquad p(x,t)\in C^\infty(\mathbb{R}^3\times[0,\infty))</math>
| |
| # There exists a constant <math>E\in (0,\infty)</math> such that <math>\int_{\mathbb{R}^3} \vert \mathbf{v}(x,t)\vert^2 dx <E</math> for all <math>t\ge 0\,.</math>
| |
| | |
| Condition 1 implies that the functions are smooth and globally defined and condition 2 means that the [[kinetic energy]] of the solution is globally bounded.
| |
| | |
| ===The Millennium Prize conjectures in the whole space===
| |
| '''(A) Existence and smoothness of the Navier–Stokes solutions in <math>\mathbb{R}^3</math>'''
| |
| | |
| Let <math>\mathbf{f}(x,t)\equiv 0</math>. For any initial condition <math>\mathbf{v}_0(x)</math> satisfying the above hypotheses there exist smooth and globally defined solutions to the Navier–Stokes equations, i.e. there is a velocity vector <math>\mathbf{v}(x,t)</math> and a pressure <math>p(x,t)</math> satisfying conditions 1 and 2 above.
| |
| | |
| '''(B) Breakdown of the Navier–Stokes solutions in <math>\mathbb{R}^3</math>'''
| |
| | |
| There exists an initial condition <math>\mathbf{v}_0(x)</math> and an external force <math>\mathbf{f}(x,t)</math> such that there exists no solutions <math>\mathbf{v}(x,t)</math> and <math>p(x,t)</math> satisfying conditions 1 and 2 above.
| |
| | |
| ==Statement of the periodic problem==
| |
| | |
| ===Hypotheses===
| |
| | |
| The functions sought now are periodic in the space variables of period 1. More precisely, let <math>e_i</math> be the unitary vector in the ''i''- direction:
| |
| | |
| : <math>e_1=(1,0,0)\,,\qquad e_2=(0,1,0)\,,\qquad e_3=(0,0,1)</math>
| |
| | |
| Then <math>\mathbf{v}(x,t)</math> is periodic in the space variables if for any <math>i=1,2,3</math>, then:
| |
| | |
| : <math>\mathbf{v}(x+e_i,t)=\mathbf{v}(x,t)\text{ for all } (x,t) \in \mathbb{R}^3\times[0,\infty).</math>
| |
| | |
| Notice that this is considering the coordinates [[Fractional part|mod 1]]. This allows working not on the whole space <math>\mathbb{R}^3</math> but on the [[quotient space]] <math>\mathbb{R}^3/\mathbb{Z}^3</math>, which turns out to be the 3-dimensional torus:
| |
| | |
| : <math>\mathbb{T}^3=\{(\theta_1,\theta_2,\theta_3): 0\le \theta_i<2\pi\,,\quad i=1,2,3\}.</math>
| |
| | |
| Now the hypotheses can be stated properly. The initial condition <math>\mathbf{v}_0(x)</math> is assumed to be a smooth and divergence-free function and the external force <math>\mathbf{f}(x,t)</math> is assumed to be a smooth function as well. The type of solutions that are physically relevant are those who satisfy these conditions:
| |
| | |
| 3. <math>\mathbf{v}(x,t)\in\left[C^\infty(\mathbb{T}^3\times[0,\infty))\right]^3\,,\qquad p(x,t)\in C^\infty(\mathbb{T}^3\times[0,\infty))</math>
| |
| | |
| 4. There exists a constant <math>E\in (0,\infty)</math> such that <math>\int_{\mathbb{T}^3} \vert \mathbf{v}(x,t)\vert^2 dx <E</math> for all <math>t\ge 0\,.</math>
| |
| | |
| Just as in the previous case, condition 3 implies that the functions are smooth and globally defined and condition 4 means that the [[kinetic energy]] of the solution is globally bounded.
| |
| | |
| ===The periodic Millennium Prize theorems===
| |
| '''(C) Existence and smoothness of the Navier–Stokes solutions in <math>\mathbb{T}^3</math>'''
| |
| | |
| Let <math>\mathbf{f}(x,t)\equiv 0</math>. For any initial condition <math>\mathbf{v}_0(x)</math> satisfying the above hypotheses there exist smooth and globally defined solutions to the Navier–Stokes equations, i.e. there is a velocity vector <math>\mathbf{v}(x,t)</math> and a pressure <math>p(x,t)</math> satisfying conditions 3 and 4 above.
| |
| | |
| '''(D) Breakdown of the Navier–Stokes solutions in <math>\mathbb{T}^3</math>'''
| |
| | |
| There exists an initial condition <math>\mathbf{v}_0(x)</math> and an external force <math>\mathbf{f}(x,t)</math> such that there exists no solutions <math>\mathbf{v}(x,t)</math> and <math>p(x,t)</math> satisfying conditions 3 and 4 above.
| |
| | |
| ==Partial results==
| |
| # The Navier–Stokes problem in two dimensions has already been solved positively since the 1960s: there exist smooth and globally defined solutions.<ref>{{Citation |first=O. |last=Ladyzhenskaya |title=The Mathematical Theory of Viscous Incompressible Flows |edition=2nd |location=New York |publisher=Gordon and Breach |year=1969 }}.</ref>
| |
| # If the initial velocity <math>\mathbf{v}(x,t)</math> is sufficiently small then the statement is true: there are smooth and globally defined solutions to the Navier–Stokes equations.<ref name=problem_statement />
| |
| # Given an initial velocity <math>\mathbf{v}_0(x)</math> there exists a finite time ''T'', depending on <math>\mathbf{v}_0(x)</math> such that the Navier–Stokes equations on <math>\mathbb{R}^3\times(0,T)</math> have smooth solutions <math>\mathbf{v}(x,t)</math> and <math>p(x,t)</math>. It is not known if the solutions exist beyond that "blowup time" ''T''.<ref name=problem_statement />
| |
| #The mathematician [[Jean Leray]] in 1934 proved the existence of so-called [[weak solution]]s to the Navier–Stokes equations, satisfying the equations in mean value, not pointwise.<ref>{{citation| first=J. | last=Leray | title=Sur le mouvement d'un liquide visqueux emplissant l'espace | journal=Acta Mathematica | volume=63 | year=1934 | pages=193–248 | doi=10.1007/BF02547354 | authorlink=Jean Leray }}</ref>
| |
| | |
| ==Claimed solution==
| |
| | |
| On January 10, 2014, a [[Kazakhstan|Kazakh]] mathematician [[Mukhtarbay Otelbaev|Mukhtarbay Otelbaev]] published an article in which he claims to have provided a full solution to the problem with periodic boundary conditions in space variables.<ref>{{Citation
| |
| |first = M.
| |
| |last = Otelbaev
| |
| |title = Existence of a strong solution of the Navier-Stokes equation
| |
| |url = http://www.math.kz/images/journal/2013-4/Otelbaev_N-S_21_12_2013.pdf
| |
| |language = ru
| |
| |journal = Matematicheskiy zhurnal
| |
| |year = 2013
| |
| |volume = 13
| |
| |issue = 4 (50)
| |
| |pages = 5—104
| |
| |doi =
| |
| |issn = 1682-0525
| |
| }}</ref><ref>[https://github.com/myw/navier_stokes_translate English translation project] for Otelbaev paper on Github</ref>
| |
| | |
| ==Notes==
| |
| {{Reflist|group=note}}
| |
| | |
| ==References==
| |
| {{Reflist}}
| |
| | |
| ==External links==
| |
| * [http://www.claymath.org/millenium-problems/navier%E2%80%93stokes-equation/ The Clay Mathematics Institute's Navier–Stokes equation prize]
| |
| * [http://terrytao.wordpress.com/2007/03/18/why-global-regularity-for-navier-stokes-is-hard Why global regularity for Navier–Stokes is hard] — Possible routes to resolution are scrutinized by [[Terence Tao]].
| |
| * [http://sgrajeev.com/fuzzy-fluids/ Fuzzy Fluid Mechanics]
| |
| * [http://vimeo.com/18185364/ Navier–Stokes existence and smoothness (Millennium Prize Problem)] A lecture on the problem by [[Luis Caffarelli]].
| |
| | |
| {{DEFAULTSORT:Navier-Stokes existence and smoothness}}
| |
| [[Category:Partial differential equations]]
| |
| [[Category:Fluid dynamics]]
| |
| [[Category:Unsolved problems in mathematics]]
| |
| [[Category:Millennium Prize Problems]]
| |