Recently, mathematician Mukhtarbay Otelbaev published a paper Existence of a strong solution of the Navier-Stokes equations, in which he claim that he solved one of the Millennium Problems: existence and smoothness of the Navier-Stokes Equation. Unfortunately, the paper is in Russian but I cannot read Russian. There is a summary in English at the end of the paper, in which I found that the problem he proved was
Let Q≡(0,2π)3⊆R3 be a 3-dim domain, Ω=(0,a)×Q, a>0.
Navier-stokes problem is to find unknowns: a speed vector u(t)=(u1(t,x),u2(t,x),u3(t,x)) and a scalar pressure function p(t,x) at the points x∈Q and time t∈(0,a) satisfying the system of the equations
But the problem that stated by the Clay Mathematics Institute was, see http://www.claymath.org/sites/default/files/navierstokes.pdf,
(B) Existence and smoothness of Navier–Stokes solutions in R3/Z3. … Let u0 be any smooth, divergence-free vector field satisfying u0(x+ej)=u0(x); we take f(x,t) to be identically zero. Then there exist smooth functions p(x,t), ui(x,t) on R3×[0,∞). that …
So my question is:
1) Can the a>0 in his proof be ∞? Or is it enough to prove the problem for arbitrary a>0?
2) Is there any theory that can turn the problem with arbitrary initial value u0 (of course satisfying some condition) into a problem with initial value being 0?
3) The problem that formulated by the Clay Institute assumes f≡0. Prof Otelbaev proved his result for all f∈L2(Ω). Is this result much stronger?
Update: There is an article stating that the L2 estimate is not enough to solve the problem. (in Spanish)
- Proving ‖Δu‖L2(Ω)<∞ for any a>0 is sufficient to solve the Millennium problem. In fact ‖(−Δ)3/4u‖L2(Ω)<∞ is enough. Also there is no problem if C and l depend upon a, as long as they are finite for every a.
- Setting ν=1 is not a big deal - this is easily overcome by putting the equation into dimensionless units. (Since the units of length are fixed, you can rescale the velocity and time units, but that is enough degrees of freedom to get the Reynold's number equal to 1.)
- The assumption u(x,0)=0 - this one I am not sure about. I don't immediately see an argument that you can deduce the u(x,0)≠0, f≡0 case from the u(x,0)=0, f∈L2(Ω) case. Even if such an argument isn't available, this paper, if correct, still seems to be an enormous advance.
Update: Actually 3 is also not an issue. See user121805's answer.
So if this paper is correct, it solves the Clay Millennium problem.