Abstract:We prove that there exists an interval of time which is uniform in the vanishing viscosity limit and for which the Navier–Stokes equation with the Navier boundary condition has a strong solution. This solution is uniformly bounded in a conormal Sobolev space and has only one normal derivative bounded in L∞. This allows us to obtain the vanishing viscosity limit to the incompressible Euler system from a strong compactness argument.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the uniform regularity of the solutions of the Navier - Stokes equations under the Navier boundary conditions and their limit behavior as the viscosity tends to zero. Specifically, the author aims to prove that there exists a time interval independent of the viscosity parameter \(\varepsilon\), within which the Navier - Stokes equations have strong solutions, and these solutions are uniformly bounded in an appropriate function space. In addition, the author also hopes to derive the solutions of the inviscid Euler equations from these solutions through strong compactness arguments.
### Background of the Paper
- **Navier - Stokes Equations**: The basic equations describing the motion of incompressible fluids, in the form:
\[
\partial_t u+u\cdot\nabla u + \nabla p=\varepsilon\Delta u,\quad\nabla\cdot u = 0,\quad x\in\Omega
\]
where \(u\) is the velocity field, \(p\) is the pressure, and \(\varepsilon\) is the viscosity parameter.
- **Navier Boundary Conditions**: Describing the slipping behavior of fluids on the boundary, in the form:
\[
u\cdot n = 0,\quad(S u\cdot n)^\tau=-\alpha u^\tau,\quad x\in\partial\Omega
\]
where \(n\) is the outer normal vector, \(S\) is the strain tensor, and \(\alpha\) is the slipping coefficient.
### Main Contributions
1. **Uniform Regularity**: It is proved that within a certain time interval, the solutions of the Navier - Stokes equations are uniformly bounded in an appropriate function space. Specifically, the solution \(u_\varepsilon\) satisfies:
\[
\sup_{[0, T]}\left(\|u_\varepsilon(t)\|_m+\|\nabla u_\varepsilon(t)\|_{m - 1}+\|\nabla u_\varepsilon(t)\|_{1,\infty}\right)+\varepsilon\int_0^T\|\nabla^2 u_\varepsilon(s)\|_{m - 1}^2\,ds\leq C
\]
where \(C\) is a constant independent of \(\varepsilon\) and \(\alpha\).
2. **Inviscid Limit**: Through strong compactness arguments, the solutions of the inviscid Euler equations are derived from the solutions of the Navier - Stokes equations, and the convergence of these solutions in \(L^2\) and \(L^\infty\) norms is proved:
\[
\sup_{[0, T]}\left(\|u_\varepsilon - u\|_{L^2}+\|u_\varepsilon - u\|_{L^\infty}\right)\to 0\quad\text{as}\quad\varepsilon\to 0
\]
### Methods and Techniques
- **Energy Estimation**: By performing energy estimations in an appropriate function space, the regularity of the solutions is controlled. In particular, the anisotropic co - normal Sobolev space \(H^m_{\text{co}}\) is used to deal with the boundary layer effect.
- **Pressure Estimation**: By decomposing the pressure term into two parts, one part has the same regularity as the Euler equations, and the other part is related to the Navier boundary conditions.
- **Strong Compactness Argument**: Using the uniform regularity of the solutions, through strong compactness arguments, the existence and convergence of the inviscid limit are proved.
### Conclusion
This paper successfully solves the problems of the uniform regularity of the solutions of the Navier - Stokes equations and the inviscid limit under the Navier boundary conditions. This result not only provides a theoretical basis for understanding the boundary layer effect in fluid dynamics, but also provides new ideas for further research on complex fluid problems.