- For initial data u^0(x) not assumed to be small, it is known that (A) and (B) hold (also for \nu = 0) if the time interval [0,∞) is replaced by a small time interval [0,T), with T depending on the initial data.
- For a given initial u^0(x), the maximum allowable T is called the “blowup time.” Either (A) and (B) hold, or else there is a smooth, divergence-free u^0(x) for which (1), (2), (3) have a solution with a finite blowup time.
- For the Navier–Stokes equations (ν > 0), if there is a solution with a finite blowup time T, then the velocity u_i(x,t)),1≤i≤3 becomes unbounded near the blowup time.
We read that Fefferman claims that the distinction between (i) YES or (ii) NO to the question of existence+regularity for the Navier-Stokes equations, is between (i) bounded flow velocity for all time and (ii) unbounded velocity for some "blowup time" T.
Fefferman here uses the same distinction as in the classical theory of ordinary differential equations (odes) based on a (correct) mathematical analysis showing that the only way a solution trajectory can cease to exist, is to tend to infinity in finite time.
But this argument cannot be generalised to partial differential equations (pdes), because a smooth solution to a pde can cease to exist as a smooth solution because of unbounded derivatives of the solution, without the solution itself becoming infinite (as required in the ode case).
The basic distinction for Navier-Stokes is instead between (i) laminar/smooth flow and (ii) turbulent/non-smooth for all time without blowup to infinity of the velocity, where non-smooth means large velocity gradients.
The official formulation of the problem is unfortunate by (incorrectly) claiming that the question can be reduced to a question of infinite velocities at finite blowup time. The Clay problem thus needs to be reformulated, since an incorrectly formulated problem can only lead in a wrong direction.
In a lecture about the problem, Cafarelli falls in the trap of Fefferman.
In a lecture about the problem, Cafarelli falls in the trap of Fefferman.
Inga kommentarer:
Skicka en kommentar