arXiv subjects

Edriss S. Titi

Publications and source records attributed to Edriss S. Titi.

At least 91 records · Page 5Linked to original sources

arXiv2017

A Computational Investigation of the Finite-Time Blow-Up of the 3D Incompressible Euler Equations Based on the Voigt Regularization

We report the results of a computational investigation of two blow-up criteria for the 3D incompressible Euler equations. One criterion was proven in a previous work, and a related criterion is proved here. These criteria are based on an inviscid regularization of the Euler equations known as the 3D Euler-Voigt equations, which are known to be globally well-posed. Moreover, simulations of the 3D Euler-Voigt equations also require less resolution than simulations of the 3D Euler equations for fixed values of the regularization parameter $α>0$. Therefore, the new blow-up criteria allow one to gain information about possible singularity formation in the 3D Euler equations indirectly; namely, by simulating the better-behaved 3D Euler-Voigt equations. The new criteria are only known to be sufficient for blow-up. Therefore, to test the robustness of the inviscid-regularization approach, we also investigate analogous criteria for blow-up of the 1D Burgers equation, where blow-up is well-known to occur.

math.AP↗

arXiv2017

Global well-posedness of the 3D primitive equations with horizontal viscosity and vertical diffusivity

In this paper, we consider the 3D primitive equations of oceanic and atmospheric dynamics with only horizontal eddy viscosities in the horizontal momentum equations and only vertical diffusivity in the temperature equation. Global well-posedness of strong solutions is established for any initial data such that the initial horizontal velocity $v_0\in H^2(Ω)$ and the initial temperature $T_0\in H^1(Ω)\cap L^\infty(Ω)$ with $\nabla_HT_0\in L^q(Ω)$, for some $q\in(2,\infty)$. Moreover, the strong solutions enjoy correspondingly more regularities if the initial temperature belongs to $H^2(Ω)$. The main difficulties are the absence of the vertical viscosity and the lack of the horizontal diffusivity, which, interact with each other, thus causing the "\,mismatching\," of regularities between the horizontal momentum and temperature equations. To handle this "mismatching" of regularities, we introduce several auxiliary functions, i.e., $η, θ, φ,$ and $ψ$ in the paper, which are the horizontal curls or some appropriate combinations of the temperature with the horizontal divergences of the horizontal velocity $v$ or its vertical derivative $\partial_zv$. To overcome the difficulties caused by the absence of the horizontal diffusivity, which leads to the requirement of some $L^1_t(W^{1,\infty}_\textbf{x})$-type a priori estimates on $v$, we decompose the velocity into the "temperature-independent" and temperature-dependent parts and deal with them in different ways, by using the logarithmic Sobolev inequalities of the Brézis-Gallouet-Wainger and Beale-Kato-Majda types, respectively. Specifically, a logarithmic Sobolev inequality of the limiting type, introduced in our previous work [12], is used, and a new logarithmic type Gronwall inequality is exploited.

math.AP↗

arXiv2017

A data assimilation algorithm: the paradigm of the 3D Leray-alpha model of turbulence

In this paper we survey the various implementations of a new data assimilation (downscaling) algorithm based on spatial coarse mesh measurements. As a paradigm, we demonstrate the application of this algorithm to the 3D Leray-$α$ subgrid scale turbulence model. Most importantly, we use this paradigm to show that it is not always necessary that one has to collect coarse mesh measurements of all the state variables, that are involved in the underlying evolutionary system, in order to recover the corresponding exact reference solution. Specifically, we show that in the case of the 3D Leray$-α$ model of turbulence the solutions of the algorithm, constructed using only coarse mesh observations of any two components of the three-dimensional velocity field, and without any information of the third component, converge, at an exponential rate in time, to the corresponding exact reference solution of the 3D Leray$-α$ model. This study serves as an addendum to our recent work on abridged continuous data assimilation for the 2D Navier-Stokes equations. Notably, similar results have also been recently established for the 3D viscous Planetary Geostrophic circulation model in which we show that coarse mesh measurements of the temperature alone are sufficient for recovering, through our data assimilation algorithm, the full solution; viz. the three components of velocity vector field and the temperature. Consequently, this proves the Charney conjecture for the 3D Planetary Geostrophic model; namely, that the history of the large spatial scales of temperature is sufficient for determining all the other quantities (state variables) of the model.

math.AP↗

arXiv2016

Postprocessing Galerkin method applied to a data assimilation algorithm: a uniform in time error estimate

We apply the Postprocessing Galerkin method to a recently introduced continuous data assimilation (downscaling) algorithm for obtaining a numerical approximation of the solution of the two-dimensional Navier-Stokes equations corresponding to given measurements from a coarse spatial mesh. Under suitable conditions on the relaxation (nudging) parameter, the resolution of the coarse spatial mesh and the resolution of the numerical scheme, we obtain uniform in time estimates for the error between the numerical approximation given by the Postprocessing Galerkin method and the reference solution corresponding to the measurements. Our results are valid for a large class of interpolant operators, including low Fourier modes and local averages over finite volume elements. Notably, we use here the 2D Navier-Stokes equations as a paradigm, but our results apply equally to other evolution equations, such as the Boussinesq system of Benard convection and other oceanic and atmospheric circulation models.

math.NA↗

arXiv2016

A data assimilation algorithm for the subcritical surface quasi-geostrophic equation

In this article, we prove that data assimilation by feedback nudging can be achieved for the three-dimensional quasi-geostrophic equation in a simplified scenario using only large spatial scale observables on the dynamical boundary. On this boundary, a scalar unknown (buoyancy or surface temperature of the fluid) satisfies the surface quasi-geostrophic equation. The feedback nudging is done on this two-dimensional model, yet ultimately synchronizes the streamfunction of the three-dimensional flow. The main analytical difficulties are due to the presence of a nonlocal dissipative operator in the surface quasi-geostrophic equation. This is overcome by exploiting a suitable partition of unity, the modulus of continuity characterization of Sobolev space norms, and the Littlewood-Paley decomposition to ultimately establish various boundedness and approximation-of-identity properties for the observation operators.

math.AP↗

arXiv2016

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

We study a moisture model for warm clouds that has been used by Klein and Majda as a basis for multiscale asymptotic expansions for deep convective phenomena. These moisture balance equations correspond to a bulk microphysics closure in the spirit of Kessler and of Grabowski and Smolarkiewicz, in which water is present in the gaseous state as water vapor and in the liquid phase as cloud water and rain water. It thereby 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. Phase changes are associated with enormous amounts of latent heat and therefore provide a strong coupling to the thermodynamic equation. In this work we assume the velocity field to be given and prove rigorously the global existence and uniqueness of uniformly bounded solutions of the moisture model with viscosity, diffusion and heat conduction. To guarantee local well-posedness we first need to establish local existence results for linear parabolic equations, subject to the Robin boundary conditions on the cylindric type of domains under consideration. We then derive a priori estimates, for proving the maximum principle, using the Stampacchia method, as well as the iterative method by Alikakos to obtain uniform boundedness. The evaporation term is of power law type, with an exponent in general less or equal to one and therefore making the proof of uniqueness more challenging. However, these difficulties can be circumvented by introducing new unknowns, which satisfy the required cancellation and monotonicity properties in the source terms.

math.AP↗

arXiv2016

On the Charney Conjecture of Data Assimilation Employing Temperature Measurements Alone: The Paradigm of 3D Planetary Geostrophic Model

Analyzing the validity and success of a data assimilation algorithm when some state variable observations are not available is an important problem in meteorology and engineering. We present an improved data assimilation algorithm for recovering the exact full reference solution (i.e. the velocity and temperature) of the 3D Planetary Geostrophic model, at an exponential rate in time, by employing coarse spatial mesh observations of the temperature alone. This provides, in the case of this paradigm, a rigorous justification to an earlier conjecture of Charney which states that temperature history of the atmosphere, for certain simple atmospheric models, determines all other state variables.

math.AP↗

arXiv2016

Strong solutions to the 3D primitive equations with only horizontal dissipation: near $H^1$ initial data

In this paper, we consider the initial-boundary value problem of the three-dimensional primitive equations for oceanic and atmospheric dynamics with only horizontal viscosity and horizontal diffusivity. We establish the local, in time, well-posedness of strong solutions, for any initial data $(v_0, T_0)\in H^1$, by using the local, in space, type energy estimate. We also establish the global well-posedness of strong solutions for this system, with any initial data $(v_0, T_0)\in H^1\cap L^\infty$, such that $\partial_zv_0\in L^m$, for some $m\in(2,\infty)$, by using the logarithmic type anisotropic Sobolev inequality and a logarithmic type Gronwall inequality. This paper improves the previous results obtained in [Cao, C.; Li, J.; Titi, E.S.: Global well-posedness of the 3D primitive equations with only horizontal viscosity and diffusivity, Comm. Pure Appl.Math., Vol. 69 (2016), 1492-1531.], where the initial data $(v_0, T_0)$ was assumed to have $H^2$ regularity.

math.AP↗

arXiv2016

A discrete data assimilation scheme for the solutions of the 2D Navier-Stokes equations and their statistics

We adapt a previously introduced continuous in time data assimilation (downscaling) algorithm for the 2D Navier-Stokes equations to the more realistic case when the measurements are obtained discretely in time and may be contaminated by systematic errors. Our algorithm is designed to work with a general class of observables, such as low Fourier modes and local spatial averages over finite volume elements. Under suitable conditions on the relaxation (nudging) parameter, the spatial mesh resolution and the time step between successive measurements, we obtain an asymptotic in time estimate of the difference between the approximating solution and the unknown reference solution corresponding to the measurements, in an appropriate norm, which shows exponential convergence up to a term which depends on the size of the errors. A stationary statistical analysis of our discrete data assimilation algorithm is also provided.

math.AP↗

arXiv2016

Non-viscous Regularization of the Davey-Stewartson Equations: Analysis and Modulation Theory

In the present study we are interested in the Davey-Stewartson equations (DSE) that model packets of surface and capillary-gravity waves. We focus on the elliptic-elliptic case, for which it is known that DSE may develop a finite-time singularity. We propose three systems of non-viscous regularization to the DSE in variety of parameter regimes under which the finite blow-up of solutions to the DSE occurs. We establish the global well-posedness of the regularized systems for all initial data. The regularized systems, which are inspired by the $α$-models of turbulence and therefore are called the $α$-regularized DSE, are also viewed as unbounded, singularly perturbed DSE. Therefore, we also derive reduced systems of ordinary differential equations for the $α$-regularized DSE by using the modulation theory to investigate the mechanism with which the proposed non-viscous regularization prevents the formation of the singularities in the regularized DSE. This is a follow-up of the work of Cao, Musslimani and Titi on the non-viscous $α$-regularization of the nonlinear Schrödinger equation.

math.AP↗

arXiv2016

One-dimensional parametric determining form for the two-dimensional Navier-Stokes equations

The evolution of a determining form for the 2D Navier-Stokes equations (NSE), which is an ODE on a space of trajectories is completely described. It is proved that at every stage of its evolution, the solution is a convex combination of the initial trajectory and the fixed steady state, with a dynamical convexity parameter $θ$, which will be called the characteristic determining parameter. That is, we show a remarkable separation of variables formula for the solution of the determining form. Moreover, for a given initial trajectory, the dynamics of the infinite-dimensional determining form are equivalent to those of the characteristic determining parameter $θ$ which is governed by a one-dimensional ODE. %for the parameter specifying the position on the line segment. This one-dimensional ODE is used to show that if the solution to the determining form converges to the fixed state it does so no faster than $\mathcal{O}(τ^{-1/2})$, otherwise it converges to a projection of some other trajectory in the global attractor of the NSE, but no faster than $\mathcal{O}(τ^{-1})$, as $τ\to \infty$, where $τ$ is the evolutionary variable in determining form. The one-dimensional ODE also exploited in computations which suggest that the one-sided convergence rate estimates are in fact achieved. The ODE is then modified to accelerate the convergence to an exponential rate. Remarkably, it is shown that the zeros of the scalar function that governs the dynamics of $θ$, which are called characteristic determining values, identify in a unique fashion the trajectories in the global attractor of the 2D NSE. Furthermore, the one-dimensional characteristic determining form enables us to find unanticipated geometric features of the global attractor, a subject of future research.

math.DS↗

arXiv2016

Recent Advances Concerning Certain Class of Geophysical Flows

This paper is devoted to reviewing several recent developments concerning certain class of geophysical models, including the primitive equations (PEs) of atmospheric and oceanic dynamics and a tropical atmosphere model. The PEs for large-scale oceanic and atmospheric dynamics are derived from the Navier-Stokes equations coupled to the heat convection by adopting the Boussinesq and hydrostatic approximations, while the tropical atmosphere model considered here is a nonlinear interaction system between the barotropic mode and the first baroclinic mode of the tropical atmosphere with moisture. We are mainly concerned with the global well-posedness of strong solutions to these systems, with full or partial viscosity, as well as certain singular perturbation small parameter limits related to these systems, including the small aspect ratio limit from the Navier-Stokes equations to the PEs, and a small relaxation-parameter in the tropical atmosphere model. These limits provide a rigorous justification to the hydrostatic balance in the PEs, and to the relaxation limit of the tropical atmosphere model, respectively. Some conditional uniqueness of weak solutions, and the global well-posedness of weak solutions with certain class of discontinuous initial data, to the PEs are also presented.

math.AP↗

arXiv2016

Continuous Data Assimilation for a 2D Bénard Convection System through Horizontal Velocity Measurements Alone

In this paper we propose a continuous data assimilation (downscaling) algorithm for a two-dimensional Bénard convection problem. Specifically we consider the two-dimensional Boussinesq system of a layer of incompressible fluid between two solid horizontal walls, with no-normal flow and stress free boundary condition on the walls, and fluid is heated from the bottom and cooled from the top. In this algorithm, we incorporate the observables as a feedback (nudging) term in the evolution equation of the horizontal velocity. We show that under an appropriate choice of the nudging parameter and the size of the spatial coarse mesh observables, and under the assumption that the observed data is error free, the solution of the proposed algorithm converges at an exponential rate, asymptotically in time, to the unique exact unknown reference solution of the original system, associated with the observed data on the horizontal component of the velocity. Moreover, we note that in the case where the observational measurements are not error free, one can estimate the error between the solution of the algorithm and the exact reference solution of the system in terms of the error in the measurements.

math.AP↗

arXiv2015

Existence and uniqueness of weak solutions to viscous primitive equations for certain class of discontinuous initial data

We establish some conditional uniqueness of weak solutions to the viscous primitive equations, and as an application, we prove the global existence and uniqueness of weak solutions, with the initial data taken as small $L^\infty$ perturbations of functions in the space $X=\left\{v\in (L^6(Ω))^2|\partial_zv\in (L^2(Ω))^2\right\}$; in particular, the initial data are allowed to be discontinuous. Our result generalizes in a uniform way the result on the uniqueness of weak solutions with continuous initial data and that of the so-called $z$-weak solutions.

math.AP↗

arXiv2015

Determining form and data assimilation algorithm for weakly damped and driven Korteweg-de Vries equaton- Fourier modes case

We show that the global attractor of a weakly damped and driven Korteweg-de Vries equation (KdV) is embedded in the long-time dynamics of an ordinary differential equation called a determining form. In particular, there is a one-to-one identification of the trajectories in the global attractor of the damped and driven KdV and the steady state solutions of the determining form. Moreover, we analyze a data assimilation algorithm (down-scaling) for the weakly damped and driven KdV. We show that given a certain number of low Fourier modes of a reference solution of the KdV equation, the algorithm recovers the full reference solution at an exponential rate in time.

math.DS↗

arXiv2015

Data Assimilation algorithm for 3D Bénard convection in porous media employing only temperature measurements

In this paper we propose a continuous data assimilation (downscaling) algorithm for the Bénard convection in porous media using only coarse mesh measurements of the temperature. In this algorithm, we incorporate the observables as a feedback (nudging) term in the evolution equation of the temperature. We show that under an appropriate choice of the nudging parameter and the size of the mesh, and under the assumption that the observed data is error free, the solution of the proposed algorithm converges at an exponential rate, asymptotically in time, to the unique exact unknown reference solution of the original system, associated with the observed (finite dimensional projection of) temperature data. Moreover, we note that in the case where the observational measurements are not error free, one can estimate the error between the solution of the algorithm and the exact reference solution of the system in terms of the error in the measurements.

math.AP↗

arXiv2015

A Blow-Up Criterion for the 3D Euler Equations Via the Euler-Voigt Inviscid Regularization

We propose a new blow-up criterion for the 3D Euler equations of incompressible fluid flows, based on the 3D Euler-Voigt inviscid regularization. This criterion is similar in character to a criterion proposed in a previous work by the authors, but it is stronger, and better adapted for computational tests. The 3D Euler-Voigt equations enjoy global well-posedness, and moreover are more tractable to simulate than the 3D Euler equations. A major advantage of these new criteria is that one only needs to simulate the 3D Euler-Voigt, and not the 3D Euler equations, to test the blow-up criteria, for the 3D Euler equations, computationally.

math.AP↗

arXiv2015

A Tropical Atmosphere Model with Moisture: Global Well-posedness and Relaxation Limit

In this paper, we consider a nonlinear interaction system between the barotropic mode and the first baroclinic mode of the tropical atmosphere with moisture; that was derived in [Frierson, D.M.W.; Majda, A.J.; Pauluis, O.M.: Dynamics of precipitation fronts in the tropical atmosphere: a novel relaxation limit, Commum. Math. Sci., 2 (2004), 591-626.] We establish the global existence and uniqueness of strong solutions to this system, with initial data in $H^1$, for each fixed convective adjustment relaxation time parameter $\varepsilon>0$. Moreover, if the initial data enjoy slightly more regularity than $H^1$, then the unique strong solution depends continuously on the initial data. Furthermore, by establishing several appropriate $\varepsilon$-independent estimates, we prove that the system converges to a limiting system, as the relaxation time parameter $\varepsilon$ tends to zero, with convergence rate of the order $O(\sqrt\varepsilon)$. Moreover, the limiting system has a unique global strong solution, for any initial data in $H^1$, and such unique strong solution depends continuously on the initial data if the the initial data posses slightly more regularity than $H^1$. Notably, this solves the VISCOUS VERSION of an open problem proposed in the above mentioned paper of Frierson, Majda and Pauluis.

math.AP↗