Existence of a strong solution of the Navier-Stokes equations (Q2870402)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Existence of a strong solution of the Navier-Stokes equations |
scientific article; zbMATH DE number 6247768
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Existence of a strong solution of the Navier-Stokes equations |
scientific article; zbMATH DE number 6247768 |
Statements
20 January 2014
0 references
Navier-Stokes equations
0 references
strong solvability
0 references
sixth millennium problem
0 references
Existence of a strong solution of the Navier-Stokes equations (English)
0 references
The author declares of solution of the sixth Millennium Prize Problem. Namely, let \(\Omega=(-\pi,\pi)^3\) the 3-D cube, \(Q_T=\Omega\times(0,T)\), the functions \(v(x,t)=(v_1,v_2,v_3)\) and \(p(x,t)\) satisfy the Navier-Stokes equations NEWLINE\[NEWLINE \frac{\partial v}{\partial t}+(v\cdot\nabla)v-\Delta v+\nabla p=f,\quad \text{div}\,v=0,\quad x\in \Omega,\;t\in(0,T) NEWLINE\]NEWLINE with the initial condition NEWLINE\[NEWLINE v(x,0)=0,\quad x\in \Omega NEWLINE\]NEWLINE and periodic boundary conditions NEWLINE\[NEWLINE v(x,t)|_{x_k=-\pi}=v(x,t)|_{x_k=\pi},\quad p(x,t)|_{x_k=-\pi}=p(x,t)|_{x_k=\pi}, NEWLINE\]NEWLINE NEWLINE\[NEWLINE\left.\frac{\partial v}{\partial x_k}\right| _{x_k=-\pi}=\left.\frac{\partial v}{\partial x_k}\right| _{x_k=\pi},\quad k=1,2,3,\quad t\in[0,T]. NEWLINE\]NEWLINE It is asserted that the problem has a unique strong solution \((v,p)\) for any \(f\in L_2(Q_T)\). This solution belongs to the class NEWLINE\[NEWLINE \frac{\partial v}{\partial t},\, \Delta v,\, (v\cdot\nabla v)v,\, \nabla p\in L_2(Q_T). NEWLINE\]NEWLINE The proof is based on the reducing of the initial-boundary value problem of the Navier-Stokes system to the initial problem for the operator equation NEWLINE\[NEWLINE u'(t)+Au+B(u,u)=f(t),\quad t\in(0,T),\quad u(0)=0, NEWLINE\]NEWLINE in a certain Hilbert space. Here \(A\) is a linear self-adjoint operator \(-\Delta+I\) and \(B(\cdot,\cdot)\) is a bilinear operator corresponding to the convective term. The solvability of the operator equation is deduced from a strong a priori estimate.NEWLINENEWLINEReviewer's remark: There were many reports of a strong solvability to the Navier-Stokes equations during the last fifty years. All of them were erroneous. It is necessary to take the result of the present paper critically and verify the proofs carefully.
0 references