Abstract:We introduce and analyze a space-time least-squares method associated to the unsteady Navier-Stokes system. Weak solution in the two dimensional case and regular solution in the three dimensional case are considered. From any initial guess, we construct a minimizing sequence for the least-squares functional which converges strongly to a solution of the Navier-Stokes system. After a finite number of iterates related to the value of the viscosity constant, the convergence is quadratic. Numerical experiments within the two dimensional case support our analysis. This globally convergent least-squares approach is related to the damped Newton method when used to solve the Navier-Stokes system through a variational formulation.
What problem does this paper attempt to address?
This paper attempts to solve the numerical solution problem of the unsteady Navier - Stokes system. In particular, a brand - new space - time least - squares method is proposed and analyzed. Specifically, the author focuses on how to approximate the solutions of the Navier - Stokes system in two - dimensional and three - dimensional cases by minimizing a specific error functional.
### Main Problem Description
The Navier - Stokes equations describe the motion of fluids within a given time interval, especially viscous incompressible fluids in a bounded region Ω. These equations can be expressed as:
\[
\begin{cases}
y_t-\nu\Delta y+(y\cdot\nabla)y + \nabla p=f, & \text{in }Q_T,\\
\nabla\cdot y = 0, & \text{in }Q_T,\\
y = 0, & \text{on }\Sigma_T,\\
y(\cdot,0)=u_0, & \text{in }\Omega,
\end{cases}
\]
where:
- \(y\) is the fluid velocity,
- \(p\) is the pressure,
- \(\nu\) is the viscosity coefficient,
- \(f\) is the external force,
- \(Q_T=\Omega\times(0,T)\),
- \(\Sigma_T = \partial\Omega\times[0,T]\).
### Main Contributions of the Paper
1. **Introduction of the Space - Time Least - Squares Method**: The author proposes a new space - time least - squares method to approximate the solutions of the Navier - Stokes system. The key to this method lies in defining an error functional \(E(y)\) and finding the solutions of the system by minimizing this functional.
2. **Strong Convergence**: Starting from an arbitrary initial guess, a sequence \(\{y_k\}\) that minimizes the least - squares functional is constructed, and it is proved that this sequence strongly converges to the solutions of the Navier - Stokes system. After a finite number of iterations (related to the viscosity coefficient \(\nu\)), the convergence speed becomes quadratic convergence.
3. **Relationship with the Damped Newton Method**: In practical applications, this method is equivalent to the damped Newton method when solving the Navier - Stokes system using the variational formula, which makes it more robust and fast.
4. **Numerical Experiment Verification**: Numerical experiments in the two - dimensional case support the theoretical analysis. Especially in the case of a small viscosity coefficient \(\nu\), this method shows good efficiency.
### Summary
The core problem of the paper is to develop an effective numerical method to solve the unsteady Navier - Stokes equations, and the effectiveness and superiority of this method are verified through strict mathematical analysis and numerical experiments. This method not only provides new theoretical insights but also offers a reliable solution to fluid mechanics problems in practical engineering applications.