Abstract:We prove, with a more geometric approach, that the solutions to the Navier-Stokes equations are regular up to a set of Hausdorff dimension 1. The main tool for the proof is a new compactness lemma and the monotonicity property of harmonic functions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the regularity problem of the solutions of the Navier - Stokes equations. Specifically, the author tries to prove that under certain conditions, the solutions of the Navier - Stokes equations are regular (i.e., smooth) in their domain of definition except for a set with Hausdorff dimension 1.
### Main contributions of the paper
1. **Application of geometric methods**:
The author adopts a more geometric method to prove the regularity of the solutions of the Navier - Stokes equations. This method not only simplifies previous proofs but also provides a new framework for understanding the propagation of regularity at different scales.
2. **Compactness lemma and monotonicity formula**:
The author introduces a new compactness lemma and uses the classical monotonicity inequality of harmonic functions as the main tool to control small - scale behavior. These tools make the calculations more geometric and intuitive.
3. **Nonlinear regularity theory**:
The author proves that if certain energy conditions are satisfied on a sufficiently small scale by introducing the energy condition \(E_r\) and nonlinear scaling, then the solution is regular near that scale. This further indicates that the set of discontinuity points of any suitable weak solution on a certain set has zero measure under the parabolic Hausdorff measure.
### Specific problem description
The Navier - Stokes equations are a fundamental system of partial differential equations that describe fluid motion, in the following form:
\[
\begin{cases}
u_t+u\cdot\nabla u - \Delta u+\nabla P = 0,\\
\text{div}\,u = 0,
\end{cases}
\]
where \(u\) is the velocity field and \(P\) is the pressure field. For such equations, an important problem is the regularity of their solutions: that is, whether the solutions are smooth throughout the entire domain of definition or there are singularities (discontinuity points). This paper aims to prove that under certain conditions, the set of singular points of the solution is very "small", specifically, its Hausdorff dimension does not exceed 1.
### Main results
- **Linear approximation theory**: By linearizing the Navier - Stokes equations and iterating, the author proves the regularity of the solution at certain scales.
- **Nonlinear regularity conditions**: The energy condition \(E_r\) is introduced and it is proved that if \(E_r\leq\epsilon_2\) on all small scales, then the solution is regular near these scales.
- **Main theorem**: Finally, it is concluded that if \(E_r\leq\epsilon_2\) on all small scales, then the solution is regular near the origin, and the set of discontinuity points of any suitable weak solution has zero measure under the parabolic Hausdorff measure.
In summary, this paper provides an in - depth understanding of the regularity problem of the solutions of the Navier - Stokes equations through geometric methods and new analytical tools, and lays the foundation for further research.