Abstract:In this paper, we showed that for some given suitable density and pressure, there exist infinitely many compactly supported solutions with prescribed energy profile. The proof is mainly based on the convex integration scheme. We construct suitable subsolutions and localized plane-wave solutions to the reformulated system, and weak solutions are obtained by iterating these subsolutions.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to explore the existence and non - uniqueness of weak solutions to the steady compressible Euler equations with source terms. Specifically, by introducing the convex integration scheme, the author proves that for some given appropriate densities and pressures, there exist infinitely many weak solutions with compact support and a predetermined energy distribution.
#### Main contributions
1. **Existence of weak solutions**: The author proves that under certain conditions, there exist infinitely many weak solutions satisfying a given energy distribution.
2. **Non - uniqueness**: By constructing appropriate subsolutions and localized plane - wave solutions, the author shows the non - uniqueness of these weak solutions.
3. **Method innovation**: Using the convex integration method to iteratively generate exact solutions, thus providing a new perspective to understand the solution structure of such equations.
#### Mathematical model and formulas
Consider the following steady compressible Euler equations:
\[
\begin{cases}
\text{div}(\rho \mathbf{u}) = 0, \\
\text{div}(\rho \mathbf{u} \otimes \mathbf{u}) + \nabla p(\rho) = B(\rho \mathbf{u}),
\end{cases}
\]
where \(x\in\Omega\), \(\Omega\subset\mathbb{R}^n\) or \(\mathbb{T}^n\) (\(n\geq3\)), \(\rho:\Omega\rightarrow\mathbb{R}\) represents the density of the fluid (or gas), \(\mathbf{u}:\Omega\rightarrow\mathbb{R}^n\) represents the velocity, \(p = p(\rho)\) represents the pressure, and it is assumed that \(p'(\rho)>0\) is continuously differentiable on \((0,\infty)\), and \(B\) is an \(n\times n\) constant matrix.
The definition of a weak solution is:
A pair \((\rho,\mathbf{m})\in L^\infty(\Omega;(0,\infty)\times\mathbb{R}^n)\) is called a weak solution of the system of equations (1) if for all test functions \(\Phi,\psi\in C^\infty(\Omega;\mathbb{R}^n)\) with \(\text{div}\Phi = 0\), the following are satisfied:
\[
\begin{cases}
\int_\Omega\frac{\mathbf{m}\otimes\mathbf{m}}{\rho}:\nabla\Phi+\Phi\cdot B\mathbf{m}\,dx = 0, \\
\int_\Omega\mathbf{m}\cdot\nabla\psi\,dx = 0.
\end{cases}
\]
#### Main results
Theorem 1.1 states:
- For \(n\geq3\),
- When \(\Omega=\mathbb{T}^n\) and \(\rho\in C(\Omega)\), for any given continuous function \(q = q(x)>0\), there exist infinitely many weak solutions \(\mathbf{u}\in L^\infty(\Omega;\mathbb{R}^n)\) satisfying \(|\mathbf{u}|^2=\frac{nq}{\rho}\);
- When \(\Omega\) is \(\mathbb{R}^n\) and \(\rho\in C(\Omega)\), for any given continuous function \(q = q(x)>0\), there exist infinitely many weak solutions \(\mathbf{u}\in L^\infty(\Omega;\mathbb{R}^n)\) satisfying \(|\mathbf{u}|^2=\frac{nq}{\rho}\).