We derive a semi-geostrophic variational balance model for the three-dimensional Euler--Boussinesq equations on the non-traditional $f$-plane under the rigid lid approximation. The model is obtained by a small Rossby number expansion in the Hamilton principle, with no other approximations made. We allow for a fully non-hydrostatic flow and do not neglect the horizontal components of the Coriolis parameter, i.e., we do not make the so-called "traditional approximation". The resulting balance models have the same structure as the "$L_1$ balance model" for the primitive equations: a kinematic balance relation, the prognostic equation for the three-dimensional tracer field, and an additional prognostic equation for a scalar field over the two-dimensional horizontal domain which is linked to the undetermined constant of integration in the thermal wind relation. The balance relation is elliptic under the assumption of stable stratification and sufficiently small fluctuations in all prognostic fields.
We establish the global well-posedness of the 3D fractional Boussinesq-Coriolis system with stratification in a framework of Fourier type, namely spaces of Fourier-Besov type with underlying space being Morrey spaces (FBM-spaces, for short). Under suitable conditions and rescaled density fluctuation, the result is uniform with respect to the Coriolis and stratification parameters. We cover the critical case of the dissipation, namely half-Laplacian, in which the nonlocal dissipation has the same differential order as the nonlinearity and balances critically the scaling of the quadratic nonline…
This paper is devoted to the study of the long wave approximation for water waves under the influence of the gravity and a Coriolis forcing. We start by deriving a generalization of the Boussinesq equations in 1D (in space) and we rigorously justify them as an asymptotic model of the water waves equations. These new Boussinesq equations are not the classical Boussinesq equations. A new term due to the vorticity and the Coriolis forcing appears that can not be neglected. Then, we study the Boussinesq regime and we derive and fully justify different asymptotic models when the bottom is flat : a …
In this paper, we study the asymptotic behavior of weakly transverse water-waves under a weak Coriolis forcing in the long wave regime. We derive the Boussinesq-Coriolis equations in this setting and we provide a rigorous justification of this model. Then, from these equations, we derive two other asymptotic models. When the Coriolis forcing is weak, we fully justify the rotation-modified Kadomtsev-Petviashvili equation (also called Grimshaw-Melville equation). When the Coriolis forcing is very weak, we rigorously justify the Kadomtsev-Petviashvili equation. This work provides the first mathem…
In this paper we prove the global well-posedness for the three-dimensional Euler-Boussinesq system with axisymmetric initial data without swirl. This system couples the Euler equation with a transport-diffusion equation governing the temperature.
In this paper we study a fractional diffusion Boussinesq model which couples the incompressible Euler equation for the velocity and a transport equation with fractional diffusion for the temperature. We prove global well-posedness results.
We consider the 3D Euler equations with Coriolis force (EC) in the whole space. We show long-time solvability in Besov spaces for high speed of rotation $Ω$ and arbitrary initial data. For that, we obtain $Ω$-uniform estimates and a blow-up criterion of BKM type in our framework. Our initial data class is larger than previous ones considered for (EC) and covers borderline cases of the regularity. The uniqueness of solutions is also discussed.
In this article, we investigate the geometry of a central extension $\widehat{\mathcal D}_μ(S^{2})$ of the group of volume-preserving diffeomorphisms of the 2-sphere equipped with the $L^{2}$-metric, whose geodesics correspond solutions of the incompressible Euler equation with Coriolis force. In particular, we calculate the Misiolek curvature of this group. This value is related to the existence of a conjugate point and its positivity directly implies the positivity of the sectional curvature.
We consider the full Navier-Stokes-Fourier system in the singular regime of small Mach and large Reynolds and Peclet numbers, with ill prepared initial data on an unbounded domain in the three dimensional Euclidean space with a compact boundary. We perform the singular limit in the framework of weak solutions and identify the Euler-Boussinesq system as the target problem.
In this paper we derive kinematic relations for quantities involving the rate of strain tensor and the Hessian of the pressure for solutions of the 3D Euler equations and the 2D Boussinesq equations. Using these kinematic relations, we prove new blow up criteria and obtain conditions for the absence of type I singularity for these equations. We obtain both global and localized versions of the results. Some of the new blow up criteria and type I conditions improve previous results of [3].
We address the well-posedness of the 2D (Euler)-Boussinesq equations with zero viscosity and positive diffusivity in the polygonal-like domains with Yudovich's type data, which gives a positive answer to part of the questions raised in 2011 [Lai-Pan-Zhao, Initial boundary value problem for two-dimensional viscous Boussinesq equations, Arch. Ration. Mech. Anal. 199 (2011), no. 3, 739-760]. Our analysis on the the polygonal-like domains essentially relies on the recent elliptic regularity results for such domains proved in 2013 [Bardos-Plinio-Temam, The Euler equations in planar nonsmooth convex…
We prove a Prodi-Serrin-type global regularity condition for the three-dimensional Magnetohydrodynamic-Boussinesq system (3D MHD-Boussinesq) without thermal diffusion, in terms of only two velocity and two magnetic components. This is the first Prodi-Serrin-type criterion for a hydrodynamic system which is not fully dissipative, and indicates that such an approach may be successful on other systems. In addition, we provide a constructive proof of the local well-posedness of solutions to the fully dissipative 3D MHD-Boussinesq system, and also the fully inviscid, irresistive, non-diffusive MHD-…
This paper is devoted to the global existence and uniqueness results for the three-dimensional Boussinesq system with axisymmetric initial data $v^{0}{\in}B_{2,1}^{5/2}(\RR^3)$ and$ $ρ^{0}{\in}B_{2,1}^{1/2}(\RR^3)\cap L^{p}(\RR^3)$ with $p>6.$ This system couples the incompressible Euler equations with a transport-diffusion equation governing the density. In this case the Beale-Kato-Majda criterion is not known to be valid and to circumvent this difficulty we use in a crucial way some geometric properties of the vorticity.
We revisit a family of infinite-energy solutions of the 3D incompressible Euler equations proposed by Gibbon et al. [9] and shown to blowup in finite time by Constantin [6]. By adding a damping term to the momentum equation we examine how the damping coefficient can arrest this blowup. Further, we show that similar infinite-energy solutions of the inviscid 3D Boussinesq system with damping can develop a singularity in finite time as long as the damping effects are insufficient to arrest the (undamped) 3D Euler blowup in the associated damped 3D Euler system.
Singularity formation of the 3D incompressible Euler equations is known to be extremely challenging. In [18], Elgindi proved that the 3D axisymmetric Euler equations with no swirl and $C^{1,α}$ initial velocity develops a finite time singularity. Inspired by Elgindi's work, we proved that the 3D axisymmetric Euler and 2D Boussinesq equations with $C^{1,α}$ initial velocity and boundary develop a stable asymptotically (or approximately) self-similar finite time singularity [8]. On the other hand, the authors of [35,52] recently showed that blowup solutions to the 3D Euler equations are hydrodyn…
Inspired by the numerical evidence of a potential 3D Euler singularity by Luo-Hou [30,31] and the recent breakthrough by Elgindi [11] on the singularity formation of the 3D Euler equation without swirl with $C^{1,α}$ initial velocity, we prove the finite time singularity for the 2D Boussinesq and the 3D axisymmetric Euler equations with boundary and $C^{1,α}$ initial data for the velocity (and density in the case of Boussinesq equations). Our finite time blowup solution for the 3D Euler equations and the singular solution considered in [30,31] share many essential features, including the symme…
We study here some asymptotic models for the propagation of internal and surface waves in a two-fluid system. We focus on the so-called long wave regime for one dimensional waves, and consider the case of a flat bottom. Starting from the classical Boussinesq/Boussinesq system, we introduce a new family of equivalent symmetric hyperbolic systems. We study the well-posedness of such systems, and the asymptotic convergence of their solutions towards solutions of the full Euler system. Then, we provide a rigorous justification of the so-called KdV approximation, stating that any bounded solution o…
We study the global well-posedness of a two-dimensional Boussinesq system which couples the incompressible Euler equation for the velocity and a transport equation with fractional diffusion of type $|\DD|^α$ for the temperature. We prove that for $α>1,$ there exists a unique global solution for initial data with critical regularities.
The travelling wave problem for a particular bidirectional Whitham system modelling surface water waves is under consideration. This system firstly appeared in [Dinvay, Dutykh, Kalisch 2018], where it was numerically shown to be stable and a good approximation to the incompressible Euler equations. In subsequent papers [Dinvay 2018], [Dinvay, Selberg, Tesfahun 2019] the initial-value problem was studied and well-posedness in classical Sobolev spaces was proved. Here we prove existence of solitary wave solutions and provide their asymptotic description. Our proof relies on a variational approac…
2D inviscid Boussinesq equations and 3D axisymmetric Euler equations: (1) A unification ($Em$), (2) Finite-time blow-up of two unified $(1+1)$D systems rigorously derived from ($Em$)
We consider the initial value problem for the inviscid Primitive and Boussinesq equations in three spatial dimensions. We recast both systems as an abstract Euler-type system and apply the methods of convex integration of De Lellis and Székelyhidi to show the existence of infinitely many global weak solutions of the studied equations for general initial data. We also introduce an appropriate notion of dissipative solutions and show the existence of suitable initial data which generate infinitely many dissipative solutions.
Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis
Courant Institute, New York University（纽约大学柯朗数学科学研究所）；Department of Mathematics, University of Chicago（芝加哥大学数学系）；Applied and Computational Mathematics, Caltech（加州理工学院应用与计算数学系）
We establish global existence and uniqueness theorems for the two-dimensional non-diffusive Boussinesq system with viscosity only in the horizontal direction, which arises in Ocean dynamics. This work improves the global well-posedness results established recently by R. Danchin and M. Paicu for the Boussinesq system with anisotropic viscosity and zero diffusion. Although we follow some of their ideas, in proving the uniqueness result, we have used an alternative approach by writing the transported temperature (density) as $θ= Δξ$ and adapting the techniques of V. Yudovich for the 2D incompress…
Asymptotic linear stability of columnar vortices driven by Coriolis force
School of Mathematics and Statistics, Wuhan University（武汉大学数学与统计学院）；School of Mathematical Sciences, Zhejiang University of Technology（浙江工业大学数学系）；School of Mathematical Sciences, Peking University（北京大学数学科学学院）
We give an example of a well posed, finite energy, 2D incompressible active scalar equation with the same scaling as the surface quasi-geostrophic equation and prove that it can produce finite time singularities. In spite of its simplicity, this seems to be the first such example. Further, we construct explicit solutions of the 2D Boussinesq equations whose gradients grow exponentially in time for all time. In addition, we introduce a variant of the 2D Boussinesq equations which is perhaps a more faithful companion of the 3D axisymmetric Euler equations than the usual 2D Boussinesq equations.
Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data II: Rigorous Numerics
Courant Institute, New York University（纽约大学柯朗数学科学研究所）；Department of Mathematics, University of Chicago（芝加哥大学数学系）；Applied and Computational Mathematics, Caltech（加州理工学院应用与计算数学）
In this paper, we consider the Cauchy problem for $(abcd)$-Boussinesq system posed on one- and two-dimensional Euclidean spaces. This model, initially introduced by Bona, Chen, and Saut, describes a small-amplitude waves on the surface of an inviscid fluid, and derived as a first-order approximation of incompressible, irrotational Euler equations. We mainly establish the ill-posedness of the system under various parameter regimes, which generalize the result of the one-dimensional BBM-BBM case by Chen and Liu. Most of results established here, we obtain the optimal result for two-dimensional B…
In the present study a mathematical model of long-crested water waves propagating mainly in one direction with the effect of Earth's rotation is derived by following the formal asymptotic procedures. Such a model equation is analogous to the Camassa-Holm approximation of the two-dimensional incompressible and irrotational Euler equations and has a formal bi-Hamiltonian structure. Its solution corresponding to physically relevant initial perturbations is more accurate on a much longer time scale. It is shown that the deviation of the free surface can be determined by the horizontal velocity at …
The two-dimensional (2D) incompressible Euler equations have been thoroughly investigated and the resolution of the global (in time) existence and uniqueness issue is currently in a satisfactory status. In contrast, the global regularity problem concerning the 2D inviscid Boussinesq equations remains widely open. In an attempt to understand this problem, we examine the damped 2D Boussinesq equations and study how damping affects the regularity of solutions. Since the damping effect is insufficient in overcoming the difficulty due to the "vortex stretching", we seek unique global small solution…
We study the global existence issue for the two-dimensional Boussinesq system with horizontal viscosity in only one equation. We first examine the case where the Navier-Stokes equation with no vertical viscosity is coupled with a transport equation. Second, we consider a coupling between the classical two-dimensional incompressible Euler equation and a transportdiffusion equation with diffusion in the horizontal direction only. For the both systems and for arbitrarily large data, we construct global weak solutions `a la Leray. Next, we state global wellposedness results for more regular data. …
The Boussinesq equations are fundamental in meteorology. Among other aspects, they aim to model the process of front formation. We use the approach presented in [Hol15] to introduce stochasticity into the incompressible Boussinesq equations. This is, we introduce cylindrical transport noise in a way that the geometric properties in the Euler-Poincaré formulation are preserved. One of our main results establishes the local well-posedness of regular solutions for these new stochastic Boussinesq equations. We also construct a blow-up criterion and derive some general estimates, which are crucial …
Recently, the Nash-style convex integration has been becoming the main scheme for the mathematical study of turbulence, and the main building block of it has been either Beltrami flow (finite mode) or Mikado flow (compactly supported in the physical side). On the other hand, in physics, it is observed that turbulence is composed of a hierarchy of scale-by-scale vortex stretching. Thus our mathematical motivation in this study is to find another type of building blocks accompanied by vortex stretching and scale locality (possibly finitely many Fourier modes). In this paper, we give a complete l…
We establish a connection between Optimal Transport Theory and classical Convection Theory for geophysical flows. Our starting point is the model designed few years ago by Angenent, Haker and Tannenbaum to solve some Optimal Transport problems. This model can be seen as a generalization of the Darcy-Boussinesq equations, which is a degenerate version of the Navier-Stokes-Boussinesq (NSB) equations. In a unified framework, we relate different variants of the NSB equations (in particular what we call the generalized Hydrostatic-Boussinesq equations) to various models involving Optimal Transport …
In the present paper, we study the fast rotation limit for the density-dependent incompressible Euler equations in two space dimensions with the presence of the Coriolis force. In the case when the initial densities are small perturbation of a constant profile, we show the convergence of solutions towards the solutions of a quasi-homogeneous incompressible Euler system. The proof relies on a combination of uniform estimates in high regularity norms with a compensated compactness argument for passing to the limit. This technique allows us to treat the case of ill-prepared initial data.
Recently, a new singularity formation scenario for the 3D axi-symmetric Euler equation and the 2D inviscid Boussinesq system has been proposed by Hu and Luo based on extensive numerical simulations [15, 16]. As the firrst step to understand the scenario, models with simplified sign-definite Biot-Savart law and forcing have recently been studied in [7, 6, 8, 12, 14, 18]. In this paper, we aim to bring back one of the complications encountered in the original equation - the sign changing kernel in the Biot-Savart law. This makes analysis harder, as there are two competing terms in the fluid velo…
For all $ε>0$, we prove the existence of finite-energy strong solutions to the axi-symmetric $3D$ Euler equations on the domains $ \{(x,y,z)\in\mathbb{R}^3: (1+ε|z|)^2\leq x^2+y^2\}$ which become singular in finite time. We further show that solutions with 0 swirl are necessarily globally regular. The proof of singularity formation relies on the use of approximate solutions at exactly the critical regularity level which satisfy a $1D$ system which has solutions which blow-up in finite time. The construction bears similarity to our previous result on the Boussinesq system \cite{EJB} though a nu…
The three-dimensional incompressible Boussinesq system is one of the important equations in fluid dynamics. The system describes the motion of temperature-dependent incompressible flows. And the temperature naturally has diffusion. Recently, Elgindi, Ghoul and Masmoudi constructed a $C^{1,α}$ finite time blow-up solutions for Euler systems with finite energy. Inspired by their works, we constructed $C^{1,α}$ finite time blow-up solution for Boussinesq equations where the temperature has diffusion and finite energy. Generally speaking, the diffusion of temperature smooths the solution of the sy…
We give a new sufficient criteria to prove the uniqueness of the incompressible Euler equation in dimension $N\geq2$. In their celebrated works by V. Scheffer [18], A. Shnirelman [19], C. De Lellis and L. Székelyhidi Jr. [7] they have obtained the nonuniqeness of weak solutions of incompressible Euler equation. Here we obtain uniqueness criteria for the same equation under some mild regularity condition on weak solutions. Our proof is simple and can be employed to other equations like inhomogeneous incompressible Euler and Euler-Boussinesq equations. One of the key ingredients in our proof is …
On the Profile of Singularity Formation for the Incompressible Hydrostatic Boussinesq system
University of Victoria（维多利亚大学）；Pacific Institute for Mathematical Sciences（太平洋数学科学研究所）；Clemson University（克莱姆森大学）；University of Cambridge（剑桥大学）；Texas A&M University（德克萨斯农工大学）；Weizmann Institute of Science（魏茨曼科学研究所）
We prove local-in-time existence of smooth solutions to the semigeostrophic equations in the general setting of smooth, bounded and simply connected domains of $\mathbb{R}^2$ endowed with an arbitrary conformally flat metric and non-vanishing Coriolis term. We present a construction taking place in Eulerian coordinates, avoiding the classical reformulation in dual variables, used in the flat case with constant Coriolis force, but lacking in this general framework.
We prove that there exists no self-similar finite time blowing up solution to the 3D incompressible Euler equations. By similar method we also show nonexistence of self-similar blowing up solutions to the divergence-free transport equation in $\Bbb R^n$. This result has direct applications to the density dependent Euler equations, the Boussinesq system, and the quasi-geostrophic equations, for which we also show nonexistence of self-similar blowing up solutions.
The Boussinesq equations are known since the end of the XIXst century. However, the proliferation of various \textsc{Boussinesq}-type systems started only in the second half of the XXst century. Today they come under various flavours depending on the goals of the modeller. At the beginning of the XXIst century an effort to classify such systems, at least for even bottoms, was undertaken and developed according to both different physical regimes and mathematical properties, with special emphasis, in this last sense, on the existence of symmetry groups and their connection to conserved quantitie…
Motivated by recent studies in geophysical and planetary sciences, we investigate the PDE-analytical aspects of time-averages for barotropic, inviscid flows on a fast rotating sphere $S^2$. Of particular interests are the incompressible Euler equations. We prove that the finite-time-average of the solution stays close to a subspace of \emph{longitude-independent zonal flows}. The intial data can be arbitrarily far away from this subspace. Meridional variation of the Coriolis parameter underlies this phenomenon. Our proofs use Riemannian geometric tools, in particular the Hodge Theory.
