Abstract:In the first part of this paper, uniqueness of strong solution is established for the Vlasov-unsteady Stokes problem in 3D. The second part deals with a semi discrete scheme, which is based on the coupling of discontinuous Galerkin approximations for the Vlasov and the Stokes equations for the 2D problem. The proposed method is both mass and momentum conservative. Based on a special projection and also the Stokes projection, optimal error estimates in the case of smooth compactly supported initial data are derived. Moreover, the generalization of error estimates to 3D problem is also indicated. Finally, based on time splitting algorithm, some numerical experiments are conducted whose results confirm our theoretical findings.
What problem does this paper attempt to address?
The core problems that this paper attempts to solve include two main aspects:
1. **Uniqueness proof**:
- The paper first devotes itself to proving the uniqueness of strong solutions to the three - dimensional Vlasov - unsteady Stokes problem. Although previous work has already discussed the global existence of strong solutions in three - dimensional problems, the issue of uniqueness has not been resolved. Therefore, an important contribution of this paper is to prove the uniqueness of strong solutions in three - dimensional problems through some high - order moment estimates and regularity results of the fluid velocity vector.
2. **Numerical method and error estimate**:
- In the second part, the paper proposes a semi - discrete numerical scheme based on the discontinuous Galerkin (dG) method for solving the two - dimensional Vlasov - unsteady Stokes system. This method derives the optimal error estimate while maintaining mass and momentum conservation by using special projections and Stokes projections.
- For smooth and compactly supported initial data, the paper derives the optimal error estimate and points out the possibility of generalization to three - dimensional problems.
- In addition, the paper also conducts numerical experiments based on the time - splitting algorithm to verify the correctness of the theoretical results.
### Specific problem description
This research involves the following specific problems:
- **Mathematical modeling**: Study a two - phase model of spray particles (droplets) as the dispersed phase in a gaseous medium. The Vlasov equation describes the droplet distribution function \( f(t,x,v) \), and the unsteady Stokes equation describes the velocity field \( u(t,x) \) of the gas, and the two are coupled together through the drag term.
- **System of equations**:
- Vlasov equation:
\[
\begin{cases}
\partial_t f + v \cdot \nabla_x f + \nabla_v \cdot ((u - v)f) = 0 & \text{in } (0, T) \times \Omega_x \times \mathbb{R}^d, \\
f(0, x, v) = f_0(x, v) & \text{in } \Omega_x \times \mathbb{R}^d.
\end{cases}
\]
- unsteady Stokes equation:
\[
\begin{cases}
\partial_t u - \Delta_x u + \nabla_x p = \int_{\mathbb{R}^d} (v - u) f \, dv & \text{in } (0, T) \times \Omega_x, \\
\nabla_x \cdot u = 0 & \text{in } \Omega_x, \\
u(0, x) = u_0(x) & \text{in } \Omega_x.
\end{cases}
\]
- **Numerical method**: Propose a semi - discrete dG method to approximately solve the above system of equations. This method maintains mass and momentum conservation in the two - dimensional case and obtains the optimal error estimate through special projections and Stokes projections.
### Main contributions
- **Uniqueness proof**: Correct the mistakes regarding uniqueness in previous work and give the correct proof.
- **Numerical method**: Propose a robust numerical method applicable to more physically relevant models (such as the Vlasov - Navier - Stokes equation).
- **Error estimate**: Derive the optimal error estimates for the fluid velocity, pressure, and droplet distribution function.
- **Numerical experiment**: Numerical experiments conducted through the time - splitting algorithm verify the theoretical results.
In summary, this paper aims to solve the uniqueness and error estimate problems in the Vlasov - unsteady Stokes system through rigorous mathematical analysis and effective numerical methods, providing an important theoretical basis and numerical tools for research in related fields.