Navier-Stokes existence and smoothness
For three-dimensional incompressible flow, determine whether with always has a global smooth solution, or exhibit finite-time breakdown.
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.For three-dimensional incompressible flow, determine whether with always has a global smooth solution, or exhibit finite-time breakdown.
(A) Existence and smoothness of Navier–Stokes solutions on ℝ³.
(B) Existence and smoothness of Navier–Stokes solutions in ℝ³/ℤ³.
(C) Breakdown of Navier–Stokes solutions on ℝ³.
(D) Breakdown of Navier–Stokes Solutions on ℝ³/ℤ³.
De Giorgi's conjecture holds in dimension .
De Giorgi's conjecture holds in dimension .
De Giorgi's conjecture holds in dimension .
De Giorgi's conjecture holds in dimension .
De Giorgi's conjecture holds in dimension .
De Giorgi's conjecture holds in dimension .