Daniel W. Boutros,Simon Markfelder,Edriss S. Titi
Abstract:We develop a convex integration scheme for constructing nonunique weak solutions to the hydrostatic Euler equations (also known as the inviscid primitive equations of oceanic and atmospheric dynamics) in both two and three dimensions. We also develop such a scheme for the construction of nonunique weak solutions to the three-dimensional viscous primitive equations, as well as the two-dimensional Prandtl equations. While in Boutros et al. (Calc Var Partial Differ Equ 62(8):219, 2023) the classical notion of weak solution to the hydrostatic Euler equations was generalised, we introduce here a further generalisation. For such generalised weak solutions, we show the existence and nonuniqueness for a large class of initial data. Moreover, we construct infinitely many examples of generalised weak solutions which do not conserve energy. The barotropic and baroclinic modes of solutions to the hydrostatic Euler equations (which are the average and the fluctuation of the horizontal velocity in the z -coordinate, respectively) that are constructed have different regularities.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the following aspects:
1. **Non - uniqueness problem**: The authors developed a convex integration scheme to construct non - unique weak solutions of the two - and three - dimensional hydrodynamic Euler equations (i.e., the inviscid primitive equations). In addition, they also constructed non - unique weak solutions for the three - dimensional viscous primitive equations and the two - dimensional Prandtl equations. These equations are of great significance in ocean and atmospheric dynamics.
2. **Existence and non - uniqueness of generalized weak solutions**: The paper introduced a broader definition of weak solutions and proved the existence and non - uniqueness of such generalized weak solutions for a large class of initial data. Specifically, the authors showed that there are infinitely many generalized weak solutions that do not conserve energy.
3. **Energy dissipation problem**: The paper explored the energy dissipation problem in the inviscid primitive equations (i.e., the hydrodynamic Euler equations). By constructing generalized weak solutions that do not conserve energy, the authors provided preliminary results for solving the dissipation part of the Onsager conjecture. The Onsager conjecture is an important hypothesis about the incompressible Euler equations, which states that if the regularity of the weak solution satisfies certain conditions, then energy must be conserved; otherwise, energy may not be conserved.
### Specific problem description
- **Equation form**:
- Hydrodynamic Euler equations (inviscid primitive equations):
\[
\begin{aligned}
&\partial_t u - \nu_h \Delta_h u - \nu_v \partial_{zz} u + u \cdot \nabla_h u + w \partial_z u + \nabla_h p = 0, \\
&\partial_z p = 0, \\
&\nabla_h \cdot u + \partial_z w = 0,
\end{aligned}
\]
where \( u \) is the horizontal velocity field, \( w \) is the vertical velocity field, \( p \) is the pressure field, and \( \nu_h \) and \( \nu_v \) are the horizontal and vertical viscosity parameters, respectively.
- **Specific cases studied**:
- When \( d = 2 \) and \( \nu_h=\nu_v = 0 \), the three - dimensional inviscid primitive equations are obtained.
- When \( d = 2 \) and \( \nu_h, \nu_v>0 \), the three - dimensional viscous primitive equations are obtained.
- When \( d = 1 \) and \( \nu_h=\nu_v = 0 \), the two - dimensional inviscid primitive equations are obtained.
- When \( d = 1 \) and \( \nu_h = 0 \), \( \nu_v>0 \), the two - dimensional Prandtl equations are obtained.
### Main contributions
- **Convex integration scheme**: The authors developed a convex integration scheme to construct non - unique weak solutions of the above equations.
- **Generalized weak solutions**: A new concept of generalized weak solutions was introduced, in which the nonlinear terms are treated in a more general way.
- **Energy conservation and dissipation**: Generalized weak solutions that do not conserve energy were constructed, which provided preliminary results for solving the dissipation part of the Onsager conjecture.
### Conclusion
Through these methods, the authors not only proved the existence and non - uniqueness of generalized weak solutions but also showed that these solutions do not conserve energy in some cases. These results are of great significance for understanding the complex fluid behavior in ocean and atmospheric dynamics.