Showing 1–50 of 150 results for author: Titi, E S

Global well-posedness of the elastic-viscous-plastic sea-ice model with the inviscid Voigt-regularisation

Authors: Daniel W. Boutros, Xin Liu, Marita Thomas, Edriss S. Titi

Abstract: In this paper, we initiate the rigorous mathematical analysis of the elastic-viscous-plastic (EVP) sea-ice model, which was introduced in [E. C. Hunke and J. K. Dukowicz, J. Phys. Oceanogr., 27, 9 (1997), 1849-1867]. The EVP model is one of the standard and most commonly used dynamical sea-ice models. We study a regularized version of this model. In particular, we prove the global well-posedness o… ▽ More In this paper, we initiate the rigorous mathematical analysis of the elastic-viscous-plastic (EVP) sea-ice model, which was introduced in [E. C. Hunke and J. K. Dukowicz, J. Phys. Oceanogr., 27, 9 (1997), 1849-1867]. The EVP model is one of the standard and most commonly used dynamical sea-ice models. We study a regularized version of this model. In particular, we prove the global well-posedness of the EVP model with the inviscid Voigt-regularisation of the evolution equation for the stress tensor. Due to the elastic relaxation and the Voigt regularisation, we are able to handle the case of viscosity coefficients without cutoff, which has been a major issue and a setback in the computational study and analysis of the related Hibler sea-ice model, which was originally introduced in [W. D. Hibler, J. Phys. Oceanogr., 9, 4 (1979), 815-846]. The EVP model shares some structural characteristics with the Oldroyd-B model and related models for viscoelastic non-Newtonian complex fluids. △ Less

Submitted 5 May, 2025; originally announced May 2025.

MSC Class: 86A40 (primary); 35A01; 35A02; 35B65; 35Q86; 74D10; 74H20; 74H25; 74H30; 86A08 (secondary)

On the inadequacy of nudging data assimilation algorithms for non-dissipative systems: A computational examination of the Korteweg de-Vries and Lorenz equations

Authors: Edriss S. Titi, Collin Victor

Abstract: In this work, we study the applicability of the Azouani-Olson-Titi (AOT) nudging algorithm for continuous data assimilation to evolutionary dynamical systems that are not dissipative. Specifically, we apply the AOT algorithm to the Korteweg de-Vries (KdV) equation and a partially dissipative variant of the Lorenz 1963 system. Our analysis reveals that the KdV equation lacks the finitely many deter… ▽ More In this work, we study the applicability of the Azouani-Olson-Titi (AOT) nudging algorithm for continuous data assimilation to evolutionary dynamical systems that are not dissipative. Specifically, we apply the AOT algorithm to the Korteweg de-Vries (KdV) equation and a partially dissipative variant of the Lorenz 1963 system. Our analysis reveals that the KdV equation lacks the finitely many determining modes property, leading to the construction of infinitely many solutions with exactly the same sparse observational data, which data assimilation methods cannot distinguish between. We numerically verify that the AOT algorithm successfully recovers these counterexamples for the damped and driven KdV equation, as studied in [1], which is dissipative. Additionally, we demonstrate numerically that the AOT algorithm is not effective in accurately recovering solutions for a partially dissipative variant of the Lorenz 1963 system. △ Less

Submitted 12 November, 2024; originally announced November 2024.

Comments: [1] Michael S. Jolly, Tural Sadigov, and Edriss S. Titi. Determining form and data assimilation algorithm for weakly damped and driven Korteweg-de Vries equation-Fourier modes case. Nonlinear Analysis: Real World Applications, 36:287-317, 2017

MSC Class: 35Q93; 37N35; 34D06; 93C20; 35Q53

On the conservation of helicity by weak solutions of the 3D Euler and inviscid MHD equations

Authors: Daniel W. Boutros, Edriss S. Titi

Abstract: Classical solutions of the three-dimensional Euler equations of an ideal incompressible fluid conserve the helicity. We introduce a new weak formulation of the vorticity formulation of the Euler equations in which (by implementing the Bony paradifferential calculus) the advection terms are interpreted as paraproducts for weak solutions with low regularity. Using this approach we establish an equat… ▽ More Classical solutions of the three-dimensional Euler equations of an ideal incompressible fluid conserve the helicity. We introduce a new weak formulation of the vorticity formulation of the Euler equations in which (by implementing the Bony paradifferential calculus) the advection terms are interpreted as paraproducts for weak solutions with low regularity. Using this approach we establish an equation of local helicity balance, which gives a rigorous foundation to the concept of local helicity density and flux at low regularity. We provide a sufficient criterion for helicity conservation which is weaker than many of the existing sufficient criteria for helicity conservation in the literature. Subsequently, we prove a sufficient condition for the helicity to be conserved in the zero viscosity limit of the Navier-Stokes equations. Moreover, under additional assumptions we establish a relation between the defect measure (which is part of the local helicity balance) and a third-order structure function for solutions of the Euler equations. As a byproduct of the approach introduced in this paper, we also obtain a new sufficient condition for the conservation of magnetic helicity in the inviscid MHD equations, as well as for the kinematic dynamo model. Finally, it is known that classical solutions of the ideal (inviscid) MHD equations which have divergence-free initial data will remain divergence-free, but this need not hold for weak solutions. We show that weak solutions of the ideal MHD equations arising as weak-$*$ limits of Leray-Hopf weak solutions of the viscous and resistive MHD equations remain divergence-free in time. △ Less

Submitted 1 October, 2024; originally announced October 2024.

Comments: 39 pages

MSC Class: 35Q35 (primary); 35Q31; 76F02; 76B99; 76W05; 35D30 (secondary)

Global well-posedness of the 3D primitive equations with horizontal viscosity and vertical diffusivity II: close to $H^1$ initial data

Authors: Chongsheng Cao, Jinkai Li, Edriss S. Titi, Dong Wang

Abstract: In this paper, we consider the initial-boundary value problem to the three-dimensional primitive equations for the oceanic and atmospheric dynamics with only horizontal eddy viscosities in the horizontal momentum equations and only vertical diffusivity in the temperature equation in the domain $Ω=M\times(-h,h)$, with $M=(0,1)\times(0,1)$. Global well-posedness of strong solutions is established, f… ▽ More In this paper, we consider the initial-boundary value problem to the three-dimensional primitive equations for the oceanic and atmospheric dynamics with only horizontal eddy viscosities in the horizontal momentum equations and only vertical diffusivity in the temperature equation in the domain $Ω=M\times(-h,h)$, with $M=(0,1)\times(0,1)$. Global well-posedness of strong solutions is established, for any initial data $(v_0,T_0) \in H^1(Ω)\cap L^\infty(Ω)$ with $(\partial_z v_0, \nabla_H T_0) \in L^q(Ω)$ and $v_0 \in L_z^1(B^1_{q,2}(M))$, for some $q \in (2,\infty)$, by using delicate energy estimates and maximal regularity estimate in the anisotropic setting. △ Less

Submitted 13 August, 2024; originally announced August 2024.

Comments: arXiv admin note: text overlap with arXiv:1703.02512

MSC Class: 26D10; 35Q35; 35Q86; 76D03; 76D05; 86A05; 86A10

Asymptotic stability of the equilibrium for the free boundary problem of a compressible atmospheric primitive model with physical vacuum

Authors: Xin Liu, Edriss S. Titi, Zhouping Xin

Abstract: This paper concerns the large time asymptotic behavior of solutions to the free boundary problem of the compressible primitive equations in atmospheric dynamics with physical vacuum. Up to second order of the perturbations of an equilibrium, we have introduced a model of the compressible primitive equations with a specific viscosity and shown that the physical vacuum free boundary problem for this… ▽ More This paper concerns the large time asymptotic behavior of solutions to the free boundary problem of the compressible primitive equations in atmospheric dynamics with physical vacuum. Up to second order of the perturbations of an equilibrium, we have introduced a model of the compressible primitive equations with a specific viscosity and shown that the physical vacuum free boundary problem for this model system has a global-in-time solution converging to an equilibrium exponentially, provided that the initial data is a small perturbation of the equilibrium. More precisely, we introduce a new coordinate system by choosing the enthalpy (the square of sound speed) as the vertical coordinate, and thanks to the hydrostatic balance, the degenerate density at the free boundary admits a representation with separation of variables in the new coordinates. Such a property allows us to establish horizontal derivative estimates without involving the singular vertical derivative of the density profile, which plays a key role in our analysis. △ Less

Submitted 27 June, 2024; originally announced June 2024.

MSC Class: 35Q35; 76E20; 76N10; 86A10

Data Assimilation in Chaotic Systems Using Deep Reinforcement Learning

Authors: Mohamad Abed El Rahman Hammoud, Naila Raboudi, Edriss S. Titi, Omar Knio, Ibrahim Hoteit

Abstract: Data assimilation (DA) plays a pivotal role in diverse applications, ranging from climate predictions and weather forecasts to trajectory planning for autonomous vehicles. A prime example is the widely used ensemble Kalman filter (EnKF), which relies on linear updates to minimize variance among the ensemble of forecast states. Recent advancements have seen the emergence of deep learning approaches… ▽ More Data assimilation (DA) plays a pivotal role in diverse applications, ranging from climate predictions and weather forecasts to trajectory planning for autonomous vehicles. A prime example is the widely used ensemble Kalman filter (EnKF), which relies on linear updates to minimize variance among the ensemble of forecast states. Recent advancements have seen the emergence of deep learning approaches in this domain, primarily within a supervised learning framework. However, the adaptability of such models to untrained scenarios remains a challenge. In this study, we introduce a novel DA strategy that utilizes reinforcement learning (RL) to apply state corrections using full or partial observations of the state variables. Our investigation focuses on demonstrating this approach to the chaotic Lorenz '63 system, where the agent's objective is to minimize the root-mean-squared error between the observations and corresponding forecast states. Consequently, the agent develops a correction strategy, enhancing model forecasts based on available system state observations. Our strategy employs a stochastic action policy, enabling a Monte Carlo-based DA framework that relies on randomly sampling the policy to generate an ensemble of assimilated realizations. Results demonstrate that the developed RL algorithm performs favorably when compared to the EnKF. Additionally, we illustrate the agent's capability to assimilate non-Gaussian data, addressing a significant limitation of the EnKF. △ Less

Submitted 1 January, 2024; originally announced January 2024.

Nonlinear dimensionality reduction then and now: AIMs for dissipative PDEs in the ML era

Authors: Eleni D. Koronaki, Nikolaos Evangelou, Cristina P. Martin-Linares, Edriss S. Titi, Ioannis G. Kevrekidis

Abstract: This study presents a collection of purely data-driven workflows for constructing reduced-order models (ROMs) for distributed dynamical systems. The ROMs we focus on, are data-assisted models inspired by, and templated upon, the theory of Approximate Inertial Manifolds (AIMs); the particular motivation is the so-called post-processing Galerkin method of Garcia-Archilla, Novo and Titi. Its applicab… ▽ More This study presents a collection of purely data-driven workflows for constructing reduced-order models (ROMs) for distributed dynamical systems. The ROMs we focus on, are data-assisted models inspired by, and templated upon, the theory of Approximate Inertial Manifolds (AIMs); the particular motivation is the so-called post-processing Galerkin method of Garcia-Archilla, Novo and Titi. Its applicability can be extended: the need for accurate truncated Galerkin projections and for deriving closed-formed corrections can be circumvented using machine learning tools. When the right latent variables are not a priori known, we illustrate how autoencoders as well as Diffusion Maps (a manifold learning scheme) can be used to discover good sets of latent variables and test their explainability. The proposed methodology can express the ROMs in terms of (a) theoretical (Fourier coefficients), (b) linear data-driven (POD modes) and/or (c) nonlinear data-driven (Diffusion Maps) coordinates. Both Black-Box and (theoretically-informed and data-corrected) Gray-Box models are described; the necessity for the latter arises when truncated Galerkin projections are so inaccurate as to not be amenable to post-processing. We use the Chafee-Infante reaction-diffusion and the Kuramoto-Sivashinsky dissipative partial differential equations to illustrate and successfully test the overall framework. △ Less

Submitted 24 October, 2023; originally announced October 2023.

Comments: 27 pages, 22 figures

Downscaling Using CDAnet Under Observational and Model Noises: The Rayleigh-Benard Convection Paradigm

Authors: Mohamad Abed El Rahman Hammoud, Edriss S. Titi, Ibrahim Hoteit, Omar Knio

Abstract: Efficient downscaling of large ensembles of coarse-scale information is crucial in several applications, such as oceanic and atmospheric modeling. The determining form map is a theoretical lifting function from the low-resolution solution trajectories of a dissipative dynamical system to their corresponding fine-scale counterparts. Recently, a physics-informed deep neural network ("CDAnet") was in… ▽ More Efficient downscaling of large ensembles of coarse-scale information is crucial in several applications, such as oceanic and atmospheric modeling. The determining form map is a theoretical lifting function from the low-resolution solution trajectories of a dissipative dynamical system to their corresponding fine-scale counterparts. Recently, a physics-informed deep neural network ("CDAnet") was introduced, providing a surrogate of the determining form map for efficient downscaling. CDAnet was demonstrated to efficiently downscale noise-free coarse-scale data in a deterministic setting. Herein, the performance of well-trained CDAnet models is analyzed in a stochastic setting involving (i) observational noise, (ii) model noise, and (iii) a combination of observational and model noises. The analysis is performed employing the Rayleigh-Benard convection paradigm, under three training conditions, namely, training with perfect, noisy, or downscaled data. Furthermore, the effects of noises, Rayleigh number, and spatial and temporal resolutions of the input coarse-scale information on the downscaled fields are examined. The results suggest that the expected l2-error of CDAnet behaves quadratically in terms of the standard deviations of the observational and model noises. The results also suggest that CDAnet responds to uncertainties similar to the theorized and numerically-validated CDA behavior with an additional error overhead due to CDAnet being a surrogate model of the determining form map. △ Less

Submitted 18 October, 2023; originally announced October 2023.

On posterior consistency of data assimilation with Gaussian process priors: the 2D Navier-Stokes equations

Authors: Richard Nickl, Edriss S. Titi

Abstract: We consider a non-linear Bayesian data assimilation model for the periodic two-dimensional Navier-Stokes equations with initial condition modelled by a Gaussian process prior. We show that if the system is updated with sufficiently many discrete noisy measurements of the velocity field, then the posterior distribution eventually concentrates near the ground truth solution of the time evolution equ… ▽ More We consider a non-linear Bayesian data assimilation model for the periodic two-dimensional Navier-Stokes equations with initial condition modelled by a Gaussian process prior. We show that if the system is updated with sufficiently many discrete noisy measurements of the velocity field, then the posterior distribution eventually concentrates near the ground truth solution of the time evolution equation, and in particular that the initial condition is recovered consistently by the posterior mean vector field. We further show that the convergence rate can in general not be faster than inverse logarithmic in sample size, but describe specific conditions on the initial conditions when faster rates are possible. In the proofs we provide an explicit quantitative estimate for backward uniqueness of solutions of the two-dimensional Navier-Stokes equations. △ Less

Submitted 9 July, 2024; v1 submitted 16 July, 2023; originally announced July 2023.

Comments: to appear in Annals of Statistics

Non-Uniqueness and Inadmissibility of the Vanishing Viscosity Limit of the Passive Scalar Transport Equation

Authors: Lucas Huysmans, Edriss S. Titi

Abstract: We study selection by vanishing viscosity for the transport of a passive scalar $f(x,t)\in\mathbb{R}$ advected by a bounded, divergence-free vector field $u(x,t)\in\mathbb{R}^2$. This is described by the initial value problem to the PDE $\frac{\partial f}{\partial t} + \nabla\cdot (u f) = 0$, or with positive viscosity/diffusivity $ν>0$, to the PDE… ▽ More We study selection by vanishing viscosity for the transport of a passive scalar $f(x,t)\in\mathbb{R}$ advected by a bounded, divergence-free vector field $u(x,t)\in\mathbb{R}^2$. This is described by the initial value problem to the PDE $\frac{\partial f}{\partial t} + \nabla\cdot (u f) = 0$, or with positive viscosity/diffusivity $ν>0$, to the PDE $\frac{\partial f}{\partial t} + \nabla\cdot (u f) -νΔf = 0$. We demonstrate the failure of the vanishing viscosity limit to select (a) unique solutions or (b) physically admissible solutions in the sense of non-increasing energy/entropy. △ Less

Submitted 3 January, 2025; v1 submitted 3 July, 2023; originally announced July 2023.

Comments: 52 pages

MSC Class: 76F25 (Primary) 35A02; 35D30; 35Q35; 60J60; 76R10; 76R50 (Secondary)

Nonuniqueness of generalised weak solutions to the primitive and Prandtl equations

Authors: 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 P… ▽ More 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 [D.W. Boutros, S. Markfelder and E.S. Titi, Calc. Var. Partial Differential Equations, 62 (2023), 219] 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. △ Less

Submitted 21 March, 2024; v1 submitted 23 May, 2023; originally announced May 2023.

Comments: 78 pages

MSC Class: 76B03 (primary); 35Q35; 35D30; 35A01; 35A02; 76D03; 42B35; 42B37 (secondary)

Rigorous justification of the hydrostatic approximation limit of viscous compressible flows

Authors: Xin Liu, Edriss S. Titi

Abstract: This paper considers the asymptotic limit of small aspect ratio between vertical and horizontal spatial scales for viscous isothermal compressible flows. In particular, it is observed that fast vertical acoustic waves arise and induce an averaging mechanism of the density in the vertical variable, which at the limit leads to the hydrostatic approximation of compressible flows, i.e., the compressib… ▽ More This paper considers the asymptotic limit of small aspect ratio between vertical and horizontal spatial scales for viscous isothermal compressible flows. In particular, it is observed that fast vertical acoustic waves arise and induce an averaging mechanism of the density in the vertical variable, which at the limit leads to the hydrostatic approximation of compressible flows, i.e., the compressible primitive equations of atmospheric dynamics. We justify the hydrostatic approximation for general as well as ``well-prepared'' initial data. The initial data is called well-prepared when it is close to the hydrostatic balance in a strong topology. Moreover, the convergence rate is calculated in the well-prepared initial data case in terms of the aspect ratio, as the latter goes to zero. △ Less

Submitted 14 May, 2023; originally announced May 2023.

MSC Class: 35B25; 35B40; 76N10; 76N30

Derivation of a generalized quasi-geostrophic approximation for inviscid flows in a channel domain: The fast waves correction

Authors: Claude Bardos, Xin Liu, Edriss S. Titi

Abstract: This paper is devoted to investigating the rotating Boussinesq equations of inviscid, incompressible flows with both fast Rossby waves and fast internal gravity waves. The main objective is to establish a rigorous derivation and justification of a new generalized quasi-geostrophic approximation in a channel domain with no normal flow at the upper and lower solid boundaries, taking into account the… ▽ More This paper is devoted to investigating the rotating Boussinesq equations of inviscid, incompressible flows with both fast Rossby waves and fast internal gravity waves. The main objective is to establish a rigorous derivation and justification of a new generalized quasi-geostrophic approximation in a channel domain with no normal flow at the upper and lower solid boundaries, taking into account the resonance terms due to the fast and slow waves interactions. Under these circumstances, We are able to obtain uniform estimates and compactness without the requirement of either well-prepared initial data (as in [10]) or domain with no boundary (as in [17]). In particular, the nonlinear resonances and the new limit system, which takes into account the fast waves correction to the slow waves dynamics, are also identified without introducing Fourier series expansion. The key ingredient includes the introduction of (full) generalized potential vorticity. △ Less

Submitted 17 April, 2023; originally announced April 2023.

MSC Class: 76B15; 76B55; 76B65; 76M45; 86A10

Global Well-Posedness of the Primitive Equations of Large-Scale Ocean Dynamics with the Gent-McWilliams-Redi Eddy Parametrization Model

Authors: Peter Korn, Edriss S. Titi

Abstract: We prove global well-posedness of the ocean primitive equations coupled to advection-diffusion equations of the oceanic tracers temperature and salinity that are supplemented by the eddy parametrization model due to Gent-McWilliams and Redi. This parametrization forms a milestone in global ocean modelling and constitutes a central part of any general ocean circulation model computation. The eddy p… ▽ More We prove global well-posedness of the ocean primitive equations coupled to advection-diffusion equations of the oceanic tracers temperature and salinity that are supplemented by the eddy parametrization model due to Gent-McWilliams and Redi. This parametrization forms a milestone in global ocean modelling and constitutes a central part of any general ocean circulation model computation. The eddy parametrization adds a secondary transport velocity to the tracer equation and renders the original Laplacian operators in the advection-diffusion equations nonlinear, with a diffusion matrix that depends via the equation of state in a nonlinear fashion on both tracers simultaneously. The eddy parametrization of Gent-McWilliams-Redi augments the complexity of the mathematical analysis of the whole system which we present here. We show first that weak solutions exist globally in time, provided the parametrization uses a regularized density. Then we prove by a detailed analysis of the eddy operators the global well-posedness. Our results apply also to the ``small-slope approximation'' that is commonly used in global ocean simulations. △ Less

Submitted 11 September, 2024; v1 submitted 6 April, 2023; originally announced April 2023.

Comments: 31 pages

MSC Class: 35Q35; 35Q86; 74A15; 76D03; 80A10

Hölder regularity of the pressure for weak solutions of the 3D Euler equations in bounded domains

Authors: Claude Bardos, Daniel W. Boutros, Edriss S. Titi

Abstract: We consider the three-dimensional incompressible Euler equations on a bounded domain $Ω$ with $C^4$ boundary. We prove that if the velocity field $u \in C^{0,α} (Ω)$ with $α> 0$ (where we are omitting the time dependence), it follows that the corresponding pressure $p$ of a weak solution to the Euler equations belongs to the Hölder space $C^{0, α} (Ω)$. We also prove that away from the boundary… ▽ More We consider the three-dimensional incompressible Euler equations on a bounded domain $Ω$ with $C^4$ boundary. We prove that if the velocity field $u \in C^{0,α} (Ω)$ with $α> 0$ (where we are omitting the time dependence), it follows that the corresponding pressure $p$ of a weak solution to the Euler equations belongs to the Hölder space $C^{0, α} (Ω)$. We also prove that away from the boundary $p$ has $C^{0,2α}$ regularity. In order to prove these results we use a local parametrisation of the boundary and a very weak formulation of the boundary condition for the pressure of the weak solution, as was introduced in [C. Bardos and E.S. Titi, Philos. Trans. Royal Soc. A, 380 (2022), 20210073], which is different than the commonly used boundary condition for classical solutions of the Euler equations. Moreover, we provide an explicit example illustrating the necessity of this new very weak formulation of the boundary condition for the pressure. Furthermore, we also provide a rigorous derivation of this new formulation of the boundary condition for weak solutions of the Euler equations. This result is of importance for the proof of the first half of the Onsager Conjecture, the sufficient conditions for energy conservation of weak solutions to the three-dimensional incompressible Euler equations in bounded domains. In particular, the results in this paper remove the need for separate regularity assumptions on the pressure in the proof of the Onsager conjecture. △ Less

Submitted 16 October, 2024; v1 submitted 4 April, 2023; originally announced April 2023.

Comments: 59 pages

MSC Class: 35Q31 (primary); 35Q35; 76B03; 35J05; 35J08; 35J25; 35D30 (secondary)

Super-exponential convergence rate of a nonlinear continuous data assimilation algorithm: The 2D Navier-Stokes equations paradigm

Authors: Elizabeth Carlson, Adam Larios, Edriss S. Titi

Abstract: We study a nonlinear-nudging modification of the Azouani-Olson-Titi continuous data assimilation (downscaling) algorithm for the 2D incompressible Navier-Stokes equations. We give a rigorous proof that the nonlinear-nudging system is globally well-posed, and moreover that its solutions converge to the true solution exponentially fast in time. Furthermore, we also prove that, once the error has dec… ▽ More We study a nonlinear-nudging modification of the Azouani-Olson-Titi continuous data assimilation (downscaling) algorithm for the 2D incompressible Navier-Stokes equations. We give a rigorous proof that the nonlinear-nudging system is globally well-posed, and moreover that its solutions converge to the true solution exponentially fast in time. Furthermore, we also prove that, once the error has decreased below a certain order one threshold, the convergence becomes double-exponentially fast in time, up until a precision determined by the sparsity of the observed data. In addition, we demonstrate the applicability of the analytical and sharpness of the results computationally. △ Less

Submitted 3 April, 2023; originally announced April 2023.

Comments: 33 pages, 7 figures

MSC Class: 34D06; 35K61; 35Q93; 93C20

Large time behavior for the 3D Navier-Stokes with Navier boundary conditions

Authors: James P. Kelliher, Christophe Lacave, Milton C. Lopes Filho, Helena J. Nussenzveig Lopes, Edriss S. Titi

Abstract: We study the three-dimensional incompressible Navier-Stokes equations in a smooth bounded domain $Ω$ with initial velocity $u_0$ square-integrable, divergence-free and tangent to $\partial Ω$. We supplement the equations with the Navier friction boundary conditions $u \cdot n = 0$ and $[(2Su)n + αu]_{tang} = 0$, where $n$ is the unit exterior normal to $\partial Ω$, $Su = (Du + (Du)^t)/2$,… ▽ More We study the three-dimensional incompressible Navier-Stokes equations in a smooth bounded domain $Ω$ with initial velocity $u_0$ square-integrable, divergence-free and tangent to $\partial Ω$. We supplement the equations with the Navier friction boundary conditions $u \cdot n = 0$ and $[(2Su)n + αu]_{tang} = 0$, where $n$ is the unit exterior normal to $\partial Ω$, $Su = (Du + (Du)^t)/2$, $α\in C^0(\partialΩ)$ is the boundary friction coefficient and $[\cdot]_{tang}$ is the projection of its argument onto the tangent space of $\partial Ω$. We prove global existence of a weak Leray-type solution to the resulting initial-boundary value problem and exponential decay in energy norm of these solutions when friction is positive. We also prove exponential decay if friction is non-negative and the domain is not a solid of revolution. These two results are well known in the case of Dirichlet boundary condition, but, even if they have been implicitly used for the Navier boundary conditions, the comprehensive analysis is not available in the literature. After carefully studying the Stokes semigroup for such a boundary condition, we use the Galerkin method for existence, Poincaré-type inequalities, with suitable adaptations to account for the differential geometry of the boundary, and a novel integral Gronwall-type inequality. In addition, in the frictionless case $α= 0$, we prove convergence of the solution to a steady rigid rotation, if the domain is a solid of revolution. △ Less

Submitted 8 June, 2025; v1 submitted 6 March, 2023; originally announced March 2023.

Comments: Version accepted for publication in Journal of Mathematical Fluid Mechanics

On the incompressible limit of a strongly stratified heat conducting fluid

Authors: Danica Basarić, Peter Bella, Eduard Feireisl, Florian Oschmann, Edriss S. Titi

Abstract: A compressible, viscous and heat conducting fluid is confined between two parallel plates maintained at a constant temperature and subject to a strong stratification due to the gravitational force. We consider the asymptotic limit, where the Mach number and the Froude number are of the same order proportional to a small parameter. We show the limit problem can be identified with Majda's model of l… ▽ More A compressible, viscous and heat conducting fluid is confined between two parallel plates maintained at a constant temperature and subject to a strong stratification due to the gravitational force. We consider the asymptotic limit, where the Mach number and the Froude number are of the same order proportional to a small parameter. We show the limit problem can be identified with Majda's model of layered ``stack-of-pancake'' flow. △ Less

Submitted 20 November, 2023; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: published version. arXiv admin note: text overlap with arXiv:2206.14041

Continuous and Discrete Data Assimilation with Noisy Observations for the Rayleigh-Benard Convection: A Computational Study

Authors: Mohamad Abed El Rahman Hammoud, Olivier LeMaitre, Edriss S. Titi, Ibrahim Hoteit, Omar Knio

Abstract: Obtaining accurate high-resolution representations of model outputs is essential to describe the system dynamics. In general, however, only spatially- and temporally-coarse observations of the system states are available. These observations can also be corrupted by noise. Downscaling is a process/scheme in which one uses coarse scale observations to reconstruct the high-resolution solution of the… ▽ More Obtaining accurate high-resolution representations of model outputs is essential to describe the system dynamics. In general, however, only spatially- and temporally-coarse observations of the system states are available. These observations can also be corrupted by noise. Downscaling is a process/scheme in which one uses coarse scale observations to reconstruct the high-resolution solution of the system states. Continuous Data Assimilation (CDA) is a recently introduced downscaling algorithm that constructs an increasingly accurate representation of the system states by continuously nudging the large scales using the coarse observations. We introduce a Discrete Data Assimilation (DDA) algorithm as a downscaling algorithm based on CDA with discrete-in-time nudging. We then investigate the performance of the CDA and DDA algorithms for downscaling noisy observations of the Rayleigh-Bénard convection system in the chaotic regime. In this computational study, a set of noisy observations was generated by perturbing a reference solution with Gaussian noise before downscaling them. The downscaled fields are then assessed using various error- and ensemble-based skill scores. The CDA solution was shown to converge towards the reference solution faster than that of DDA but at the cost of a higher asymptotic error. The numerical results also suggest a quadratic relationship between the $\ell_2$ error and the noise level for both CDA and DDA. Cubic and quadratic dependences of the DDA and CDA expected errors on the spatial resolution of the observations were obtained, respectively. △ Less

Submitted 5 November, 2022; originally announced November 2022.

On Energy Conservation for the Hydrostatic Euler Equations: An Onsager Conjecture

Authors: Daniel W. Boutros, Simon Markfelder, Edriss S. Titi

Abstract: Onsager's conjecture, which relates the conservation of energy to the regularity of weak solutions of the Euler equations, was completely resolved in recent years. In this work, we pursue an analogue of Onsager's conjecture in the context of the hydrostatic Euler equations (also known as the inviscid primitive equations of oceanic and atmospheric dynamics). In this case the relevant conserved quan… ▽ More Onsager's conjecture, which relates the conservation of energy to the regularity of weak solutions of the Euler equations, was completely resolved in recent years. In this work, we pursue an analogue of Onsager's conjecture in the context of the hydrostatic Euler equations (also known as the inviscid primitive equations of oceanic and atmospheric dynamics). In this case the relevant conserved quantity is the horizontal kinetic energy. We first consider the standard notion of weak solution which is commonly used in the literature. We show that if the horizontal velocity $(u,v)$ is sufficiently regular then the horizontal kinetic energy is conserved. Interestingly, the spatial Hölder regularity exponent which is sufficient for energy conservation in the context of the hydrostatic Euler equations is $\frac{1}{2}$ and hence larger than the corresponding regularity exponent for the Euler equations (which is $\frac{1}{3}$). This is due to the anisotropic regularity of the velocity field: Unlike the Euler equations, in the case of the hydrostatic Euler equations the vertical velocity $w$ is one degree spatially less regular with respect to the horizontal variables, compared to the horizontal velocity $(u,v)$. Since the standard notion of weak solution is not able to deal with this anisotropy properly, we introduce two new notions of weak solutions for which the vertical part of the nonlinearity is interpreted as a paraproduct. We finally prove several sufficient conditions for such weak solutions to conserve energy. △ Less

Submitted 1 August, 2023; v1 submitted 17 August, 2022; originally announced August 2022.

Comments: 44 pages

MSC Class: 76B99 (primary); 35Q35; 35D30 (secondary)

Zero Mach Number Limit of the Compressible Primitive Equations: Ill-prepared Initial Data

Authors: Xin Liu, Edriss S. Titi

Abstract: In the work, we consider the zero Mach number limit of compressible primitive equations in the domain $\mathbb{R}^2 \times 2\mathbb{T}$ or $\mathbb{T}^2 \times 2\mathbb{T}$. We identify the limit equations to be the primitive equations with the incompressible condition. The convergence behaviors are studied in both $\mathbb{R}^2 \times 2\mathbb{T}$ and $\mathbb{T}^2 \times 2\mathbb{T}$, respective… ▽ More In the work, we consider the zero Mach number limit of compressible primitive equations in the domain $\mathbb{R}^2 \times 2\mathbb{T}$ or $\mathbb{T}^2 \times 2\mathbb{T}$. We identify the limit equations to be the primitive equations with the incompressible condition. The convergence behaviors are studied in both $\mathbb{R}^2 \times 2\mathbb{T}$ and $\mathbb{T}^2 \times 2\mathbb{T}$, respectively. This paper takes into account the high oscillating acoustic waves and is an extension of our previous work by X. Liu and E.S. Titi, Arch. Rational Mech. Anal., 238, 705-747, 2020. △ Less

Submitted 3 August, 2022; originally announced August 2022.

MSC Class: 35B25; 35B40; 76N10

Onsager's Conjecture for Subgrid Scale $α$-Models of Turbulence

Authors: Daniel W. Boutros, Edriss S. Titi

Abstract: The first half of Onsager's conjecture states that the Euler equations of an ideal incompressible fluid conserve energy if $u (\cdot ,t) \in C^{0, θ} (\mathbb{T}^3)$ with $θ> \frac{1}{3}$. In this paper, we prove an analogue of Onsager's conjecture for several subgrid scale $α$-models of turbulence. In particular we find the required Hölder regularity of the solutions that ensures the conservation… ▽ More The first half of Onsager's conjecture states that the Euler equations of an ideal incompressible fluid conserve energy if $u (\cdot ,t) \in C^{0, θ} (\mathbb{T}^3)$ with $θ> \frac{1}{3}$. In this paper, we prove an analogue of Onsager's conjecture for several subgrid scale $α$-models of turbulence. In particular we find the required Hölder regularity of the solutions that ensures the conservation of energy-like quantities (either the $H^1 (\mathbb{T}^3)$ or $L^2 (\mathbb{T}^3)$ norms) for these models. We establish such results for the Leray-$α$ model, the Euler-$α$ equations (also known as the inviscid Camassa-Holm equations or Lagrangian averaged Euler equations), the modified Leray-$α$ model, the Clark-$α$ model and finally the magnetohydrodynamic Leray-$α$ model. In a sense, all these models are inviscid regularisations of the Euler equations; and formally converge to the Euler equations as the regularisation length scale $α\rightarrow 0^+$. Different Hölder exponents, smaller than $1/3$, are found for the regularity of solutions of these models (they are also formulated in terms of Besov and Sobolev spaces) that guarantee the conservation of the corresponding energy-like quantity. This is expected due to the smoother nonlinearity compared to the Euler equations. These results form a contrast to the universality of the $1/3$ Onsager exponent found for general systems of conservation laws by (Gwiazda et al., 2018; Bardos et al., 2019). △ Less

Submitted 7 October, 2022; v1 submitted 7 July, 2022; originally announced July 2022.

Comments: 38 pages

MSC Class: 76B99 (primary); 35Q35; 35D30; 76F99 (secondary)

Global well-posedness for the thermodynamically refined passively transported nonlinear moisture dynamics with phase changes

Authors: Sabine Hittmeir, Rupert Klein, Jinkai Li, Edriss S. Titi

Abstract: In this work we study the global solvability of moisture dynamics with phase changes for warm clouds. We thereby in comparison to previous studies [Hittmeir-Klein-Li-Titi (2017)] take into account the different gas constants for dry air and water vapor as well as the different heat capacities for dry air, water vapor and liquid water, which leads to a much stronger coupling of the moisture balance… ▽ More In this work we study the global solvability of moisture dynamics with phase changes for warm clouds. We thereby in comparison to previous studies [Hittmeir-Klein-Li-Titi (2017)] take into account the different gas constants for dry air and water vapor as well as the different heat capacities for dry air, water vapor and liquid water, which leads to a much stronger coupling of the moisture balances and the thermodynamic equation. This refined thermodynamic setting has been demonstrated to be essential e.g. in the case of deep convective cloud columns in [Hittmeir-Klein (2017)]. The more complicated structure requires careful derivations of sufficient a priori estimates for proving global existence and uniqueness of solutions. △ Less

Submitted 27 June, 2022; originally announced June 2022.

Comments: arXiv admin note: text overlap with arXiv:1907.11199

MSC Class: 35A01; 35B45; 35D35; 35M86; 35Q30; 35Q35; 35Q86; 76D03; 76D09; 86A10

Global well-posedness of a three-dimensional Brinkman-Forchheimer-Bénard convection model in porous media

Authors: Edriss S. Titi, Saber Trabelsi

Abstract: We consider three-dimensional (3D) Boussinesq convection system of an incompressible fluid in a closed sample of a porous medium. Specifically, we introduce and analyze a 3D Brinkman-Forchheimer-Bénard convection problem describing the behavior of an incompressible fluid in a porous medium between two plates heated from the bottom and cooled from the top. We show the existence and uniqueness of gl… ▽ More We consider three-dimensional (3D) Boussinesq convection system of an incompressible fluid in a closed sample of a porous medium. Specifically, we introduce and analyze a 3D Brinkman-Forchheimer-Bénard convection problem describing the behavior of an incompressible fluid in a porous medium between two plates heated from the bottom and cooled from the top. We show the existence and uniqueness of global in-time solutions, and the existence of absorbing balls in $L^2$ and $H^1$. Eventually, we comment on the applicability of a data assimilation algorithm to our system. △ Less

Submitted 7 April, 2022; originally announced April 2022.

MSC Class: 35Q30; 35Q35; 76B03; 86A10; 93C20; 37C50; 76B75; 34D06

On the effect of fast rotation and vertical viscosity on the lifespan of the $3D$ primitive equations

Authors: Quyuan Lin, Xin Liu, Edriss S. Titi

Abstract: We study the effect of the fast rotation and vertical viscosity on the lifespan of solutions to the three-dimensional primitive equations (also known as the hydrostatic Navier-Stokes equations) with impermeable and stress-free boundary conditions. Firstly, for a short time interval, independent of the rate of rotation $|Ω|$, we establish the local well-posedness of solutions with initial data that… ▽ More We study the effect of the fast rotation and vertical viscosity on the lifespan of solutions to the three-dimensional primitive equations (also known as the hydrostatic Navier-Stokes equations) with impermeable and stress-free boundary conditions. Firstly, for a short time interval, independent of the rate of rotation $|Ω|$, we establish the local well-posedness of solutions with initial data that is analytic in the horizontal variables and only $L^2$ in the vertical variable. Moreover, it is shown that the solutions immediately become analytic in all the variables with increasing-in-time (at least linearly) radius of analyticity in the vertical variable for as long as the solutions exist. On the other hand, the radius of analyticity in the horizontal variables might decrease with time, but as long as it remains positive the solution exists. Secondly, with fast rotation, i.e., large $|Ω|$, we show that the existence time of the solution can be prolonged, with "well-prepared" initial data. Finally, in the case of two spatial dimensions with $Ω=0$, we establish the global well-posedness provided that the initial data is small enough. The smallness condition on the initial data depends on the vertical viscosity and the initial radius of analyticity in the horizontal variables. △ Less

Submitted 8 June, 2022; v1 submitted 9 March, 2022; originally announced March 2022.

Comments: 45 pages

MSC Class: 35Q35; 35Q86; 86A10; 76E07

Enhanced Simulation of the Indian Summer Monsoon Rainfall Using Regional Climate Modeling and Continuous Data Assimilation

Authors: Srinivas Desamsetti, Hari Prasad Dasari, Sabique Langodan, Yesubabu Viswanadhapalli, Raju Attada, Thang M. Luong, Omar Knio, Edriss S. Titi, Ibrahim Hoteit

Abstract: This study assesses a Continuous Data Assimilation (CDA) dynamical-downscaling algorithm for enhancing the simulation of the Indian summer monsoon (ISM) system. CDA is a mathematically rigorous technique that has been recently introduced to constrain the large-scale features of high-resolution atmospheric models with coarse spatial scale data. It is similar to spectral nudging but does not require… ▽ More This study assesses a Continuous Data Assimilation (CDA) dynamical-downscaling algorithm for enhancing the simulation of the Indian summer monsoon (ISM) system. CDA is a mathematically rigorous technique that has been recently introduced to constrain the large-scale features of high-resolution atmospheric models with coarse spatial scale data. It is similar to spectral nudging but does not require any spectral decomposition for scales separation. This is expected to be particularly relevant for ISM, which involves various interactions between large-scale circulations and regional physical processes. Along with a control simulation, several downscaling simulations were conducted with the Weather Research and Forecasting (WRF) model using CDA, spectral (retaining different wavenumbers) and grid nudging for three ISM seasons: normal (2016), excess (2013), and drought (2009). The simulations are nested within the NCEP Final Analysis and the model outputs are evaluated against the observations. Compared to grid and spectral nudging, the simulations using CDA produce enhanced ISM features over the Indian subcontinent including the low-level jet, tropical easterly jet, easterly wind shear, and rainfall distributions for all investigated ISM seasons. The major ISM processes, in particular the monsoon inversion over the Arabian Sea, tropospheric temperature gradients and moist static energy over central India, and zonal wind shear over the monsoon region, are all better simulated with CDA. Spectral nudging outputs are found to be sensitive to the choice of the wavenumber, requiring careful tuning to provide robust simulations of the ISM system. In contrast, control and grid nudging generally fail to well reproduce some of the main ISM features. △ Less

Submitted 26 January, 2022; originally announced January 2022.

Comments: Research Article

The inviscid limit for the $2d$ Navier-Stokes equations in bounded domains

Authors: Claude Bardos, Trinh T. Nguyen, Toan T. Nguyen, Edriss S. Titi

Abstract: We prove the inviscid limit for the incompressible Navier-Stokes equations for data that are analytic only near the boundary in a general two-dimensional bounded domain. Our proof is direct, using the vorticity formulation with a nonlocal boundary condition, the explicit semigroup of the linear Stokes problem near the flatten boundary, and the standard wellposedness theory of Navier-Stokes equatio… ▽ More We prove the inviscid limit for the incompressible Navier-Stokes equations for data that are analytic only near the boundary in a general two-dimensional bounded domain. Our proof is direct, using the vorticity formulation with a nonlocal boundary condition, the explicit semigroup of the linear Stokes problem near the flatten boundary, and the standard wellposedness theory of Navier-Stokes equations in Sobolev spaces away from the boundary. △ Less

Submitted 29 November, 2021; originally announced November 2021.

Comments: 28 pages

$C^{0,α}$ boundary regularity for the pressure in weak solutions of the $2d$ Euler equations

Authors: Claude W. Bardos, Edriss S. Titi

Abstract: The purpose of this note is to give a complete proof of a $C^{0,α}$ regularity result for the pressure for weak solutions of the two-dimensional "incompressible Euler equations" when the fluid velocity enjoys the same type of regularity in a compact simply connected domain with $C^2$ boundary. To accomplish our result we realize that it is compulsory to introduce a new weak formulation for the bou… ▽ More The purpose of this note is to give a complete proof of a $C^{0,α}$ regularity result for the pressure for weak solutions of the two-dimensional "incompressible Euler equations" when the fluid velocity enjoys the same type of regularity in a compact simply connected domain with $C^2$ boundary. To accomplish our result we realize that it is compulsory to introduce a new weak formulation for the boundary condition of the pressure which is consistent with, and equivalent to, that of classical solutions. △ Less

Submitted 22 November, 2021; v1 submitted 12 July, 2021; originally announced July 2021.

MSC Class: 35Q35; 35Q31; 7603

The primitive equations approximation of the anisotropic horizontally viscous Navier-Stokes equations

Authors: Jinkai Li, Edriss S. Titi, Guozhi Yuan

Abstract: In this paper, we provide rigorous justification of the hydrostatic approximation and the derivation of primitive equations as the small aspect ratio limit of the incompressible three-dimensional Navier-Stokes equations in the anisotropic horizontal viscosity regime. Setting $\varepsilon >0$ to be the small aspect ratio of the vertical to the horizontal scales of the domain, we investigate the cas… ▽ More In this paper, we provide rigorous justification of the hydrostatic approximation and the derivation of primitive equations as the small aspect ratio limit of the incompressible three-dimensional Navier-Stokes equations in the anisotropic horizontal viscosity regime. Setting $\varepsilon >0$ to be the small aspect ratio of the vertical to the horizontal scales of the domain, we investigate the case when the horizontal and vertical viscosities in the incompressible three-dimensional Navier-Stokes equations are of orders $O(1)$ and $O(\varepsilon^α)$, respectively, with $α>2$, for which the limiting system is the primitive equations with only horizontal viscosity as $\varepsilon$ tends to zero. In particular we show that for "well prepared" initial data the solutions of the scaled incompressible three-dimensional Navier-Stokes equations converge strongly, in any finite interval of time, to the corresponding solutions of the anisotropic primitive equations with only horizontal viscosities, as $\varepsilon$ tends to zero, and that the convergence rate is of order $O\left(\varepsilon^\frac\beta2\right)$, where $β=\min\{α-2,2\}$. Note that this result is different from the case $α=2$ studied in [Li, J.; Titi, E.S.: \emph{The primitive equations as the small aspect ratio limit of the Navier-Stokes equations: Rigorous justification of the hydrostatic approximation}, J. Math. Pures Appl., \textbf{124} \rm(2019), 30--58], where the limiting system is the primitive equations with full viscosities and the convergence is globally in time and its rate of order $O\left(\varepsilon\right)$. △ Less

Submitted 31 May, 2021; originally announced June 2021.

MSC Class: 35Q30; 35Q86; 76D05; 86A05; 86A10

A dynamic-kinematic 3D model for density-driven ocean circulation flows: Construction, global well-posedness and dynamics

Authors: Ori Saporta-Katz, Edriss S. Titi, Hezi Gildor, Vered Rom-Kedar

Abstract: Differential buoyancy surface sources in the ocean may induce a density-driven flow that joins faster flow components to create a multi-scale, 3D flow. Potential temperature and salinity are active tracers that determine the ocean's potential density: their distribution strongly affects the density-driven component while the overall flow affects their distribution. We present a robust framework th… ▽ More Differential buoyancy surface sources in the ocean may induce a density-driven flow that joins faster flow components to create a multi-scale, 3D flow. Potential temperature and salinity are active tracers that determine the ocean's potential density: their distribution strongly affects the density-driven component while the overall flow affects their distribution. We present a robust framework that allows one to study the effects of a general 3D flow on a density-driven velocity component, by constructing a modular observation-based 3D model of intermediate complexity. The model contains an incompressible velocity that couples two advection-diffusion equations, for temperature and salinity. Instead of solving the Navier-Stokes equations for the velocity, we consider a flow composed of several temporally separated, spatially predetermined modes. One of these modes models the density-driven flow: its spatial form describes the density-driven flow structure and its strength is determined dynamically by average density differences. The other modes are completely predetermined, consisting of any incompressible, possibly unsteady, 3D flow, e.g. as determined by kinematic models, observations, or simulations. The model is a non-linear, weakly coupled system of two non-local PDEs. We prove its well-posedness in the sense of Hadamard, and obtain rigorous bounds regarding analytical solutions. The model's relevance to oceanic systems is demonstrated by tuning the model to mimic the North Atlantic ocean's dynamics. In one limit the model recovers a simplified oceanic box model and in another limit a kinematic model of oceanic chaotic advection, suggesting it can be utilized to study spatially dependent feedback processes in the ocean. △ Less

Submitted 8 August, 2022; v1 submitted 12 May, 2021; originally announced May 2021.

Comments: 15 pages text, 20 pages appendix, 5 figures

MSC Class: 35Q35; 35Q86 (Secondary)

Well-posedness of Hibler's dynamical sea-ice model

Authors: Xin Liu, Marita Thomas, Edriss S. Titi

Abstract: This paper establishes the local-in-time well-posedness of solutions to an approximating system constructed by mildly regularizing the dynamical sea-ice model of {\it W.D. Hibler, Journal of Physical Oceanography, 1979}. Our choice of regularization has been carefully designed, prompted by physical considerations, to retain the original coupled hyperbolic-parabolic character of Hibler's model. Var… ▽ More This paper establishes the local-in-time well-posedness of solutions to an approximating system constructed by mildly regularizing the dynamical sea-ice model of {\it W.D. Hibler, Journal of Physical Oceanography, 1979}. Our choice of regularization has been carefully designed, prompted by physical considerations, to retain the original coupled hyperbolic-parabolic character of Hibler's model. Various regularized versions of this model have been used widely for the numerical simulation of the circulation and thickness of the Arctic ice cover. However, due to the singularity in the ice rheology, the notion of solutions to the original model is unclear. Instead, an approximating system, which captures current numerical study, is proposed. The well-posedness theory of such a system provides a first-step groundwork in both numerical study and future analytical study. △ Less

Submitted 25 April, 2022; v1 submitted 19 April, 2021; originally announced April 2021.

MSC Class: 35A01; 35A02; 35Q86; 86A05

On the effect of rotation on the life-span of analytic solutions to the $3D$ inviscid primitive equations

Authors: Tej-Eddine Ghoul, Slim Ibrahim, Quyuan Lin, Edriss S. Titi

Abstract: We study the effect of the rotation on the life-span of solutions to the $3D$ hydrostatic Euler equations with rotation and the inviscid Primitive equations (PEs) on the torus. The space of analytic functions appears to be the natural space to study the initial value problem for the inviscid PEs with general initial data, as they have been recently shown to exhibit Kelvin-Helmholtz type instabilit… ▽ More We study the effect of the rotation on the life-span of solutions to the $3D$ hydrostatic Euler equations with rotation and the inviscid Primitive equations (PEs) on the torus. The space of analytic functions appears to be the natural space to study the initial value problem for the inviscid PEs with general initial data, as they have been recently shown to exhibit Kelvin-Helmholtz type instability. First, for a short interval of time that is independent of the rate of rotation $|Ω|$, we establish the local well-posedness of the inviscid PEs in the space of analytic functions. In addition, thanks to a fine analysis of the barotropic and baroclinic modes decomposition, we establish two results about the long time existence of solutions. (i) Independently of $|Ω|$, we show that the life-span of the solution tends to infinity as the analytic norm of the initial baroclinic mode goes to zero. Moreover, we show in this case that the solution of the $3D$ inviscid PEs converges to the solution of the limit system, which is governed by the $2D$ Euler equations. (ii) We show that the life-span of the solution can be prolonged unboundedly with $|Ω|\rightarrow \infty$, which is the main result of this paper. This is established for "well-prepared" initial data, namely, when only the Sobolev norm (but not the analytic norm) of the baroclinic mode is small enough, depending on $|Ω|$. Furthermore, for large $|Ω|$ and "well-prepared" initial data, we show that the solution to the $3D$ inviscid PEs is approximated by the solution to a simple limit resonant system with the same initial data. △ Less

Submitted 8 December, 2021; v1 submitted 4 October, 2020; originally announced October 2020.

MSC Class: 35Q35; 35Q86; 86A10; 76E07

Finite-time Blowup and Ill-posedness in Sobolev Spaces of the Inviscid Primitive Equations with Rotation

Authors: Slim Ibrahim, Quyuan Lin, Edriss S. Titi

Abstract: Large scale dynamics of the oceans and the atmosphere are governed by the primitive equations (PEs). It is well-known that the three-dimensional viscous PEs is globally well-posed in Sobolev spaces. On the other hand, the inviscid PEs without rotation is known to be ill-posed in Sobolev spaces, and its smooth solutions can form singularity in finite time. In this paper, we extend the above results… ▽ More Large scale dynamics of the oceans and the atmosphere are governed by the primitive equations (PEs). It is well-known that the three-dimensional viscous PEs is globally well-posed in Sobolev spaces. On the other hand, the inviscid PEs without rotation is known to be ill-posed in Sobolev spaces, and its smooth solutions can form singularity in finite time. In this paper, we extend the above results in the presence of rotation. First, we construct finite-time blowup solutions to the inviscid PEs with rotation, and establish that the inviscid PEs with rotation is ill-posed in Sobolev spaces in the sense that its perturbation around a certain steady state background flow is both linearly and nonlinearly ill-posed in Sobolev spaces. Its linear instability is of the Kelvin-Helmholtz type similar to the one appears in the context of vortex sheets problem. This implies that the inviscid PEs is also linearly ill-posed in Gevrey class of order $s > 1$, and suggests that a suitable space for the well-posedness is Gevrey class of order $s = 1$, which is exactly the space of analytic functions. △ Less

Submitted 16 September, 2020; v1 submitted 8 September, 2020; originally announced September 2020.

Comments: 15 pages

MSC Class: 35Q35; 35B44; 35Q86; 86A10; 76E07

Global well-posedness for a rapidly rotating convection model of tall columnar structure in the limit of infinite Prandtl number

Authors: Chongsheng Cao, Yanqiu Guo, Edriss S. Titi

Abstract: We analyze a three-dimensional rapidly rotating convection model of tall columnar structure in the limit of infinite Prandtl number, i.e., when the momentum diffusivity is much more dominant than the thermal diffusivity. Consequently, the dynamics of the velocity field takes place at a much faster time scale than the temperature fluctuation, and at the limit the velocity field formally adjusts ins… ▽ More We analyze a three-dimensional rapidly rotating convection model of tall columnar structure in the limit of infinite Prandtl number, i.e., when the momentum diffusivity is much more dominant than the thermal diffusivity. Consequently, the dynamics of the velocity field takes place at a much faster time scale than the temperature fluctuation, and at the limit the velocity field formally adjusts instantaneously to the thermal fluctuation. We prove the global well-posedness of weak solutions and strong solutions to this model. △ Less

Submitted 6 March, 2020; originally announced March 2020.

MSC Class: 35A01; 35A02; 35Q35; 35K55

Asymptotic Expansions in Time for Rotating Incompressible Viscous Fluids

Authors: Luan T. Hoang, Edriss S. Titi

Abstract: We study the three-dimensional Navier--Stokes equations of rotating incompressible viscous fluids with periodic boundary conditions. The asymptotic expansions, as time goes to infinity, are derived in all Gevrey spaces for any Leray-Hopf weak solutions in terms of oscillating, exponentially decaying functions. The results are established for all non-zero rotation speeds, and for both cases with an… ▽ More We study the three-dimensional Navier--Stokes equations of rotating incompressible viscous fluids with periodic boundary conditions. The asymptotic expansions, as time goes to infinity, are derived in all Gevrey spaces for any Leray-Hopf weak solutions in terms of oscillating, exponentially decaying functions. The results are established for all non-zero rotation speeds, and for both cases with and without the zero spatial average of the solutions. Our method makes use of the Poincaré waves to rewrite the equations, and then implements the Gevrey norm techniques to deal with the resulting time-dependent bi-linear form. Special solutions are also found which form infinite dimensional invariant linear manifolds. △ Less

Submitted 30 June, 2020; v1 submitted 21 October, 2019; originally announced October 2019.

MSC Class: 35Q30; 76D05; 35C20; 76E07

Global Well-posedness for the Primitive Equations Coupled to Nonlinear Moisture Dynamics with Phase Changes

Authors: Sabine Hittmeir, Rupert Klein, Jinkai Li, Edriss S. Titi

Abstract: In this work we study the global solvability of the primitive equations for the atmosphere coupled to moisture dynamics with phase changes for warm clouds, where water is present in the form of water vapor and in the liquid state as cloud water and rain water. This moisture model contains closures for the phase changes condensation and evaporation, as well as the processes of autoconversion of clo… ▽ More In this work we study the global solvability of the primitive equations for the atmosphere coupled to moisture dynamics with phase changes for warm clouds, where water is present in the form of water vapor and in the liquid state as cloud water and rain water. This moisture model contains closures for the phase changes condensation and evaporation, as well as the processes of autoconversion of cloud water into rainwater and the collection of cloud water by the falling rain droplets. It has been used by Klein and Majda in \cite{KM} and corresponds to a basic form of the bulk microphysics closure in the spirit of Kessler \cite{Ke} and Grabowski and Smolarkiewicz \cite{GS}. The moisture balances are strongly coupled to the thermodynamic equation via the latent heat associated to the phase changes. In \cite{HKLT} we assumed the velocity field to be given and proved rigorously the global existence and uniqueness of uniformly bounded solutions of the moisture balances coupled to the thermodynamic equation. In this paper we present the solvability of a full moist atmospheric flow model, where the moisture model is coupled to the primitive equations of atmospherical dynamics governing the velocity field. For the derivation of a priori estimates for the velocity field we thereby use the ideas of Cao and Titi \cite{CT}, who succeeded in proving the global solvability of the primitive equations. △ Less

Submitted 15 April, 2020; v1 submitted 25 July, 2019; originally announced July 2019.

MSC Class: 35A01; 35B45; 35D35; 35M86; 35Q30; 35Q35; 35Q86; 76D03; 76D09; 86A10

A Determining Form for the 2D Rayleigh-Bénard Problem

Authors: Yu Cao, Michael S. Jolly, Edriss S. Titi

Abstract: We construct a determining form for the 2D Rayleigh-Bénard (RB) system in a strip with solid horizontal boundaries, in the cases of no-slip and stress-free boundary conditions. The determining form is an ODE in a Banach space of trajectories whose steady states comprise the long-time dynamics of the RB system. In fact, solutions on the global attractor of the RB system can be further identified th… ▽ More We construct a determining form for the 2D Rayleigh-Bénard (RB) system in a strip with solid horizontal boundaries, in the cases of no-slip and stress-free boundary conditions. The determining form is an ODE in a Banach space of trajectories whose steady states comprise the long-time dynamics of the RB system. In fact, solutions on the global attractor of the RB system can be further identified through the zeros of a scalar equation to which the ODE reduces for each initial trajectory. The twist in this work is that the trajectories are for the velocity field only, which in turn determines the corresponding trajectories of the temperature. △ Less

Submitted 30 June, 2019; originally announced July 2019.

MSC Class: 35Q35; 37L25; 76E60

Well-posedness of strong solutions to the anelastic equations of stratified viscous flows

Authors: Xin Liu, Edriss S. Titi

Abstract: We establish the local and global well-posedness of strong solutions to the two- and three-dimensional anelastic equations of stratified viscous flows. In this model, the interaction of the density profile with the velocity field is taken into account, and the density background profile is permitted to have physical vacuum singularity. The existing time of the solutions is infinite in two dimensio… ▽ More We establish the local and global well-posedness of strong solutions to the two- and three-dimensional anelastic equations of stratified viscous flows. In this model, the interaction of the density profile with the velocity field is taken into account, and the density background profile is permitted to have physical vacuum singularity. The existing time of the solutions is infinite in two dimensions, with general initial data, and in three dimensions with small initial data. △ Less

Submitted 26 June, 2019; originally announced June 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1903.01523

MSC Class: 35Q30; 35Q86; 76D03; 76D05

Zero Mach Number Limit of the Compressible Primitive Equations Part I: Well-prepared Initial Data

Authors: Xin Liu, Edriss S. Titi

Abstract: This work concerns the zero Mach number limit of the compressible primitive equations. The primitive equations with the incompressibility condition are identified as the limiting equations. The convergence with well-prepared initial data (i.e., initial data without acoustic oscillations) is rigorously justified, and the convergence rate is shown to be of order $ \mathcal O(\varepsilon) $, as… ▽ More This work concerns the zero Mach number limit of the compressible primitive equations. The primitive equations with the incompressibility condition are identified as the limiting equations. The convergence with well-prepared initial data (i.e., initial data without acoustic oscillations) is rigorously justified, and the convergence rate is shown to be of order $ \mathcal O(\varepsilon) $, as $ \varepsilon \rightarrow 0^+ $, where $ \varepsilon $ represents the Mach number. As a byproduct, we construct a class of global solutions to the compressible primitive equations, which are close to the incompressible flows. △ Less

Submitted 22 May, 2019; originally announced May 2019.

MSC Class: 35B25 / 35B40 / 76N10

Algebraic Bounds on the Rayleigh-Bénard attractor

Authors: Yu Cao, Michael S. Jolly, Edriss S. Titi, Jared P. Whitehead

Abstract: The Rayleigh-Bénard system with stress-free boundary conditions is shown to have a global attractor in each affine space where velocity has fixed spatial average. The physical problem is shown to be equivalent to one with periodic boundary conditions and certain symmetries. This enables a Gronwall estimate on enstrophy. That estimate is then used to bound the $L^2$ norm of the temperature gradient… ▽ More The Rayleigh-Bénard system with stress-free boundary conditions is shown to have a global attractor in each affine space where velocity has fixed spatial average. The physical problem is shown to be equivalent to one with periodic boundary conditions and certain symmetries. This enables a Gronwall estimate on enstrophy. That estimate is then used to bound the $L^2$ norm of the temperature gradient on the global attractor, which, in turn, is used to find a bounding region for the attractor in the enstrophy, palinstrophy-plane. All final bounds are algebraic in the viscosity and thermal diffusivity, a significant improvement over previously established estimates. The sharpness of the bounds are tested with numerical simulations. △ Less

Submitted 17 April, 2020; v1 submitted 3 May, 2019; originally announced May 2019.

MSC Class: 35Q35; 76E06; 76F35; 34D06

On the Well-posedness of Reduced $3D$ Primitive Geostrophic Adjustment Model with Weak Dissipation

Authors: Chongsheng Cao, Quyuan Lin, Edriss S. Titi

Abstract: In this paper we prove the local well-posedness and global well-posedness with small initial data of the strong solution to the reduced $3D$ primitive geostrophic adjustment model with weak dissipation. The term reduced model stems from the fact that the relevant physical quantities depends only on two spatial variables. The additional weak dissipation helps us overcome the ill-posedness of origin… ▽ More In this paper we prove the local well-posedness and global well-posedness with small initial data of the strong solution to the reduced $3D$ primitive geostrophic adjustment model with weak dissipation. The term reduced model stems from the fact that the relevant physical quantities depends only on two spatial variables. The additional weak dissipation helps us overcome the ill-posedness of original model. We also prove the global well-posedness of the strong solution to the Voigt $α$-regularization of this model, and establish the convergence of the strong solution of the Voigt $α$-regularized model to the corresponding solution of original model. Furthermore, we derive a criterion for finite-time blow-up of reduced $3D$ primitive geostrophic adjustment model with weak dissipation based on Voigt $α$-regularization. △ Less

Submitted 24 March, 2019; originally announced March 2019.

Comments: 35 pages

MSC Class: 35A01; 35B44; 35Q35; 35Q86; 76D03; 86-08; 86A10

Onsager's conjecture in bounded domains for the conservation of entropy and other companion laws

Authors: Claude Bardos, Piotr Gwiazda, Agnieszka Świerczewska-Gwiazda, Edriss S. Titi, Emil Wiedemann

Abstract: We show that weak solutions of general conservation laws in bounded domains conserve their generalized entropy, and other respective companion laws, if they possess a certain fractional differentiability of order 1/3 in the interior of the domain, and if the normal component of the corresponding fluxes tend to zero as one approaches the boundary. This extends various recent results of the authors. We show that weak solutions of general conservation laws in bounded domains conserve their generalized entropy, and other respective companion laws, if they possess a certain fractional differentiability of order 1/3 in the interior of the domain, and if the normal component of the corresponding fluxes tend to zero as one approaches the boundary. This extends various recent results of the authors. △ Less

Submitted 19 February, 2019; originally announced February 2019.

Global regularity for a rapidly rotating constrained convection model of tall columnar structure with weak dissipation

Authors: Chongsheng Cao, Yanqiu Guo, Edriss S. Titi

Abstract: We study a three-dimensional fluid model describing rapidly rotating convection that takes place in tall columnar structures. The purpose of this model is to investigate the cyclonic and anticyclonic coherent structures. Global existence, uniqueness, continuous dependence on initial data, and large-time behavior of strong solutions are shown provided the model is regularized by a weak dissipation… ▽ More We study a three-dimensional fluid model describing rapidly rotating convection that takes place in tall columnar structures. The purpose of this model is to investigate the cyclonic and anticyclonic coherent structures. Global existence, uniqueness, continuous dependence on initial data, and large-time behavior of strong solutions are shown provided the model is regularized by a weak dissipation term. △ Less

Submitted 8 October, 2018; originally announced October 2018.

MSC Class: 35A01; 35A02; 35Q35; 35K40

Spectral Filtering of Interpolant Observables for a Discrete-in-time Downscaling Data Assimilation Algorithm

Authors: Emine Celik, Eric Olson, Edriss S. Titi

Abstract: We describe a spectrally-filtered discrete-in-time downscaling data assimilation algorithm and prove, in the context of the two-dimensional Navier--Stokes equations, that this algorithm works for a general class of interpolants, such as those based on local spatial averages as well as point measurements of the velocity. Our algorithm is based on the classical technique of inserting new observation… ▽ More We describe a spectrally-filtered discrete-in-time downscaling data assimilation algorithm and prove, in the context of the two-dimensional Navier--Stokes equations, that this algorithm works for a general class of interpolants, such as those based on local spatial averages as well as point measurements of the velocity. Our algorithm is based on the classical technique of inserting new observational data directly into the dynamical model as it is being evolved over time, rather than nudging, and extends previous results in which the observations were defined directly in terms of an orthogonal projection onto the large-scale (lower) Fourier modes. In particular, our analysis does not require the interpolant to be represented by an orthogonal projection, but requires only the interpolant to satisfy a natural approximation of the identity. △ Less

Submitted 15 March, 2019; v1 submitted 23 September, 2018; originally announced September 2018.

Comments: 27 pages, 1 appendix

MSC Class: 35Q30; 37C50; 76B75; 93C20

Continuous data assimilation with blurred-in-time measurements of the surface quasi-geostrophic equation

Authors: Michael S. Jolly, Vincent R. Martinez, Eric J. Olson, Edriss S. Titi

Abstract: An intrinsic property of almost any physical measuring device is that it makes observations which are slightly blurred in time. We consider a nudging-based approach for data assimilation that constructs an approximate solution based on a feedback control mechanism that is designed to account for observations that have been blurred by a moving time average. Analysis of this nudging model in the con… ▽ More An intrinsic property of almost any physical measuring device is that it makes observations which are slightly blurred in time. We consider a nudging-based approach for data assimilation that constructs an approximate solution based on a feedback control mechanism that is designed to account for observations that have been blurred by a moving time average. Analysis of this nudging model in the context of the subcritical surface quasi-geostrophic equation shows, provided the time-averaging window is sufficiently small and the resolution of the observations sufficiently fine, that the approximating solution converges exponentially fast to the observed solution over time. In particular, we demonstrate that observational data with a small blur in time possess no significant obstructions to data assimilation provided that the nudging properly takes the time averaging into account. Two key ingredients in our analysis are additional boundedness properties for the relevant interpolant observation operators and a non-local Gronwall inequality. △ Less

Submitted 31 August, 2018; originally announced September 2018.

Comments: 44 pages

MSC Class: 35Q35; 35Q86; 35Q93; 37B55; 74H40; 93B52

Non-uniqueness of Weak Solutions to Hyperviscous Navier-Stokes Equations -- On Sharpness of J.-L. Lions Exponent

Authors: Tianwen Luo, Edriss S. Titi

Abstract: Using the convex integration technique for the three-dimensional Navier-Stokes equations introduced by T. Buckmaster and V. Vicol, it is shown the existence of non-unique weak solutions for the 3D Navier-Stokes equations with fractional hyperviscosity $(-Δ)^θ$, whenever the exponent $θ$ is less than J.-L. Lions' exponent $5/4$, i.e., when $θ< 5/4$. Using the convex integration technique for the three-dimensional Navier-Stokes equations introduced by T. Buckmaster and V. Vicol, it is shown the existence of non-unique weak solutions for the 3D Navier-Stokes equations with fractional hyperviscosity $(-Δ)^θ$, whenever the exponent $θ$ is less than J.-L. Lions' exponent $5/4$, i.e., when $θ< 5/4$. △ Less

Submitted 15 April, 2020; v1 submitted 22 August, 2018; originally announced August 2018.

MSC Class: 35Q30

Global Existence of Weak Solutions to the Compressible Primitive Equations of Atmospheric Dynamics with Degenerate Viscosities

Authors: Xin Liu, Edriss S. Titi

Abstract: We show the existence of global weak solutions to the three-dimensional compressible primitive equations of atmospheric dynamics with degenerate viscosities. In analogy with the case of the compressible Navier-Stokes equations, the weak solutions satisfy the basic energy inequality, the Bresh-Desjardins entropy inequality and the Mellet-Vasseur estimate. These estimates play an important role in e… ▽ More We show the existence of global weak solutions to the three-dimensional compressible primitive equations of atmospheric dynamics with degenerate viscosities. In analogy with the case of the compressible Navier-Stokes equations, the weak solutions satisfy the basic energy inequality, the Bresh-Desjardins entropy inequality and the Mellet-Vasseur estimate. These estimates play an important role in establishing the compactness of the vertical velocity of the approximating solutions, and therefore are essential to recover the vertical velocity in the weak solutions. △ Less

Submitted 12 August, 2018; originally announced August 2018.

MSC Class: 35Q30; 35Q35; 76N10

Uniform in time error estimates for a finite element method applied to a downscaling data assimilation algorithm for the Navier-Stokes equations

Authors: García-Archilla, Julia Novo, Edriss S. Titi

Abstract: In this paper we analyze a finite element method applied to a continuous downscaling data assimilation algorithm for the numerical approximation of the two and three dimensional Navier-Stokes equations corresponding to given measurements on a coarse spatial scale. For representing the coarse mesh measurements we consider different types of interpolation operators including a Lagrange interpolant.… ▽ More In this paper we analyze a finite element method applied to a continuous downscaling data assimilation algorithm for the numerical approximation of the two and three dimensional Navier-Stokes equations corresponding to given measurements on a coarse spatial scale. For representing the coarse mesh measurements we consider different types of interpolation operators including a Lagrange interpolant. We obtain uniform-in-time estimates for the error between a finite element approximation and the reference solution corresponding to the coarse mesh measurements. We consider both the case of a plain Galerkin method and a Galerkin method with grad-div stabilization. For the stabilized method we prove error bounds in which the constants do not depend on inverse powers of the viscosity. Some numerical experiments illustrate the theoretical results. △ Less

Submitted 1 March, 2019; v1 submitted 23 July, 2018; originally announced July 2018.

MSC Class: 35Q30; 65M12; 65M15; 65M20; 65M60; 65M70; 76B75

Local Well-posedness of Strong Solutions to the Three-dimensional Compressible Primitive Equations

Authors: Xin Liu, Edriss S. Titi

Abstract: This work is devoted to establishing the local-in-time well-posedness of strong solutions to the three-dimensional compressible primitive equations of atmospheric dynamics. It is shown that strong solutions exist, unique, and depend continuously on the initial data, for a short time in two cases: with gravity but without vacuum, and with vacuum but without gravity. We also introduce the free bound… ▽ More This work is devoted to establishing the local-in-time well-posedness of strong solutions to the three-dimensional compressible primitive equations of atmospheric dynamics. It is shown that strong solutions exist, unique, and depend continuously on the initial data, for a short time in two cases: with gravity but without vacuum, and with vacuum but without gravity. We also introduce the free boundary problem for the compressible primitive equations. △ Less

Submitted 26 June, 2018; originally announced June 2018.

MSC Class: 35Q30; 35Q35; 76N10

On the Extension of Onsager's Conjecture for General Conservation Laws

Authors: Claude Bardos, Piotr Gwiazda, Agnieszka Świerczewska-Gwiazda, Edriss S. Titi, Emil Wiedemann

Abstract: The aim of this work is to extend and prove the Onsager conjecture for a class of conservation laws that possess generalized entropy. One of the main findings of this work is the "universality" of the Onsager exponent, $α> 1/3$, concerning the regularity of the solutions, say in $C^{0,α}$, that guarantees the conservation of the generalized entropy; regardless of the structure of the genuine nonli… ▽ More The aim of this work is to extend and prove the Onsager conjecture for a class of conservation laws that possess generalized entropy. One of the main findings of this work is the "universality" of the Onsager exponent, $α> 1/3$, concerning the regularity of the solutions, say in $C^{0,α}$, that guarantees the conservation of the generalized entropy; regardless of the structure of the genuine nonlinearity in the underlying system. △ Less

Submitted 6 June, 2018; originally announced June 2018.

MSC Class: 35Q31