Abstract:In this paper, we investigate a model recently derived by A. Constantin and R.S. Johnson for nonlinear wave propagation in the troposphere, particularly the 'morning glory' cloud pattern. We consider the model with natural Dirichlet boundary conditions for the vertical velocity at the top of the troposphere, and thus introduce a new pressure term. This modified system has a structural relation to the 2D primitive equations, for which global well-posedness and the existence of a global attractor are already known. We transfer these results to the modified model, giving proofs that exploit specific features and use standard methods combined with anisotropic Sobolev inequalities. Additionally, we show that the attractor exists only for specific parameter ranges, while for other parameters, we find runaway solutions with unbounded growth over time.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the well - posedness and long - term behavior of the nonlinear wave propagation model in the troposphere. Specifically, the authors studied a model recently derived by A. Constantin and R.S. Johnson, which is used to describe the nonlinear wave propagation in the troposphere, especially the "morning glory" cloud pattern. The paper focuses on modifying the original system by introducing a new pressure term after imposing natural Dirichlet boundary conditions at the top of the troposphere. The authors explored the relationship between this modified system and the two - dimensional primitive equations and attempted to transfer the known results about the global well - posedness and the existence of global attractors of the two - dimensional primitive equations to the modified model.
### Specific problems:
1. **Well - posedness**: Prove the existence and uniqueness of global strong solutions of the modified model, as well as the continuous dependence of solutions on initial values.
2. **Long - term behavior**: Analyze the long - term dynamic characteristics of the system, especially whether there exists a compact global attractor and whether solutions will grow unbounded within certain parameter ranges.
### Mathematical formulation:
Consider the following system of partial differential equations:
\[
\begin{aligned}
& \partial_t u+u \partial_1 u + v \partial_2 u+\partial_1 p=\mu \Delta u+\alpha u+\beta v + K, \\
& \partial_1 u+\partial_2 v = 0,
\end{aligned}
\]
where \(u, v: [0, T] \times \Omega \to \mathbb{R}\), \(p: [0, T] \times \Omega \to \mathbb{R}\), and \(\Omega=(-\pi, \pi) \times(0, \pi)\) is a rectangular domain. The boundary conditions are:
\[
\begin{aligned}
& u, v \text{ are periodic with period } 2\pi \text{ in the } x_1 \text{ direction}, \\
& u(\cdot, 0)=u(\cdot, \pi)=0 \text{ on }(-\pi, \pi), \\
& v(\cdot, 0)=v(\cdot, \pi)=0 \text{ on }(-\pi, \pi),
\end{aligned}
\]
The initial condition is:
\[
u(0)=u_0.
\]
### Main results:
1. **Global well - posedness**: It is proved that in an appropriate function space, the above system has a unique global strong solution, and the solution depends continuously on the initial value.
2. **Global attractor**: Within certain parameter ranges, it is proved that the system has a compact global attractor, while within other parameter ranges, solutions may grow unbounded.
### Methods:
- **Energy estimates and a priori estimates**: Prove the existence of weak and strong solutions through energy estimates and a priori estimates.
- **Galerkin approximation method**: Use the Galerkin approximation method combined with the Aubin - Lions compactness theorem to prove the existence of solutions.
- **Anisotropic Sobolev inequality**: Utilize the anisotropic Sobolev inequality to handle nonlinear terms and simplify the proof process.
### Conclusion:
The paper successfully proves the global well - posedness and long - term behavior of the modified tropospheric wave propagation model, especially the existence of a compact global attractor within certain parameter ranges. These results not only deepen the understanding of nonlinear wave propagation but also provide a theoretical basis for further research on atmospheric flows.