Abstract:In this paper, we first establish the global existence and stability of solutions to 3-D classical Navier-Stokes equations $(NS)$ in an infinite cylindrical domain with large Fourier mode initial data. Then we extend similar result for 3-D anisotropic Navier-Stokes equations $(ANS).$ We remark that due to the loss of vertical viscosity in $(ANS),$ the construction of the energy functionals for $(ANS)$ is much more subtle than that of $(NS).$ Compared with our previous paper for $(NS)$, we improve the polynomial decay in $k$ for the Fourier coefficients of the solution to be exponential decay in $k$ here.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the global existence and stability of the three - dimensional anisotropic Navier - Stokes equations (ANS) and the classical Navier - Stokes equations (NS) with large Fourier - mode initial data in an infinite cylindrical domain. Specifically:
1. **Classical Navier - Stokes equations (NS)**:
- Researchers first established the global existence and stability of solutions to the classical Navier - Stokes equations with large Fourier - mode initial data in an infinite cylindrical domain.
- They improved previous work [21], improving the polynomial decay of Fourier coefficients to exponential decay.
2. **Anisotropic Navier - Stokes equations (ANS)**:
- Due to the absence of the vertical viscosity term in the anisotropic Navier - Stokes equations, constructing the energy functional becomes more complicated.
- Researchers extended similar results to the anisotropic Navier - Stokes equations and proved that under certain conditions, the system still has global stability and existence.
### Specific problem description
- **Research background**: The Navier - Stokes equations are fundamental equations in fluid mechanics, describing the evolution of the velocity field \(u\) and pressure field \(P\) of an incompressible fluid. For general initial conditions, whether there exists a global smooth solution remains an important unsolved problem.
- **Initial conditions with special structures**: For initial conditions with certain special structures (such as axisymmetric solutions), there have been some positive results. However, for more general cases, especially when the initial conditions have large Fourier modes, the problem becomes more complicated.
- **Contributions of this paper**:
- By introducing appropriate energy functionals, the author proved that under large Fourier - mode initial conditions, the solutions of the classical Navier - Stokes equations and the anisotropic Navier - Stokes equations have global existence and stability.
- Improved the decay property of Fourier coefficients from polynomial decay to exponential decay.
### Summary of mathematical formulas
- **Navier - Stokes equations**:
\[
\begin{cases}
\partial_t u+u\cdot\nabla u - (\Delta_h+\nu^2\partial_z^2)u+\nabla P = 0, & (t, x)\in\mathbb{R}_+\times\Omega, \\
\text{div }u = 0, \\
u|_{\partial\Omega} = 0, \\
u|_{t = 0}=u_{\text{in}},
\end{cases}
\]
where \(\Delta_h=\partial_x^2+\partial_y^2\) represents the horizontal Laplace operator.
- **Energy functional**:
\[
E_j(t)=N^{2(1/4-\eta)}\left(\|\partial_z^j u_0\|_{L_t^\infty L^2}^2+\|\tilde{\nabla}\partial_z^j u_0\|_{L_t^2 L^2}^2+\left\|\frac{\partial_z^j(u_r^0, u_\theta^0)}{r}\right\|_{L_t^2 L^2}^2\right)+\sup_{k\geq1}k^{2N^{2\eta(k - 2)}}\left(\|\partial_z^j u_k\|_{L_t^\infty L^2}^2+\|\tilde{\nabla}\partial_z^j u_k\|_{L_t^2 L^2}^2+k^2N^2\left\|\frac{\partial_z^j u_k}{