• ### Suitable weak solutions of the Navier-Stokes equations constructed by a space-time numerical discretization(1710.01579)

Sept. 13, 2018 math.AP, math.NA
We prove that weak solutions obtained as limits of certain numerical space-time discretizations are suitable in the sense of Scheffer and Caffarelli-Kohn-Nirenberg. More precisely, in the space-periodic setting, we consider a full discretization in which the theta-method is used to discretize the time variable, while in the space variables we consider appropriate families of finite elements. The main result is the validity of the so-called local energy inequality.
• ### Quasiconvex elastodynamics: weak-strong uniqueness for measure-valued solutions(1707.08368)

Sept. 8, 2018 math.AP
A weak-strong uniqueness result is proved for measure-valued solutions to the system of conservation laws arising in elastodynamics. The main novelty brought forward by the present work is that the underlying stored-energy function of the material is assumed strongly quasiconvex. The proof employs tools from the calculus of variations to establish general convexity-type bounds on quasiconvex functions and recasts them in order to adapt the relative entropy method to quasiconvex elastodynamics.
• ### On the convergence of a fully discrete scheme of LES type to physically relevant solutions of the incompressible Navier-Stokes(1708.04040)

Aug. 14, 2017 math.AP
Obtaining reliable numerical simulations of turbulent fluids is a challenging problem in computational fluid mechanics. The Large Eddy Simulations (LES) models are efficient tools to approximate turbulent fluids and an important step in the validation of these models is the ability to reproduce relevant properties of the flow. In this paper we consider a fully discrete approximation of the Navier-Stokes-Voigt model by an implicit Euler algorithm (with respect to the time variable) and a Fourier-Galerkin method (in the space variables). We prove the convergence to weak solutions of the incompressible Navier-Stokes equations satisfying the natural local entropy condition, hence selecting the so-called physically relevant solutions
• ### Eulerian and Lagrangian solutions to the continuity and Euler equations with $L^1$ vorticity(1705.06188)

In the first part of this paper we establish a uniqueness result for continuity equations with velocity field whose derivative can be represented by a singular integral operator of an $L^1$ function, extending the Lagrangian theory in \cite{BouchutCrippa13}. The proof is based on a combination of a stability estimate via optimal transport techniques developed in \cite{Seis16a} and some tools from harmonic analysis introduced in \cite{BouchutCrippa13}. In the second part of the paper, we address a question that arose in \cite{FilhoMazzucatoNussenzveig06}, namely whether 2D Euler solutions obtained via vanishing viscosity are renormalized (in the sense of DiPerna and Lions) when the initial data has low integrability. We show that this is the case even when the initial vorticity is only in~$L^1$, extending the proof for the $L^p$ case in \cite{CrippaSpirito15}.
• ### Global Existence of Finite Energy Weak Solutions of Quantum Navier-Stokes Equations(1605.03510)

June 2, 2016 math.AP
In this paper we consider the Quantum Navier-Stokes system both in two and in three space dimensions and prove global existence of finite energy weak solutions for large initial data. In particular, the notion of weak solutions is the standard one. This means that the vacuum region are included in the weak formulations. In particular, no extra term like damping or cold pressure are added to the system in order to define the velocity field in the vacuum region. The main contribution of this paper is the construction of a regular approximating system consistent with the effective velocity transformation needed to get necessary a priori estimates.
• ### Suitable weak solutions to the 3D Navier-Stokes equations are constructed with the Voigt Approximation(1605.04688)

May 16, 2016 math.AP
In this paper we consider the Navier-Stokes equations supplemented with either the Dirichlet or vorticity-based Navier boundary conditions. We prove that weak solutions obtained as limits of solutions to the Navier-Stokes-Voigt model satisfy the local energy inequality. Moreover, in the periodic setting we prove that if the parameters are chosen in an appropriate way, then we can construct suitable weak solutions trough a Fourier-Galerkin finite-dimensional approximation in the space variables.
• ### On the compactness of finite energy weak solutions to the quantum Navier-Stokes equations(1512.07496)

May 12, 2016 math.AP
We consider the Quantum Navier-Stokes system in three space dimensions. We prove compactness of finite energy weak solutions for large initial data. The main novelties are that vacuum regions are included in the weak formulation and no extra terms, like damping or cold pressure, are considered in the equations in order to define the velocity field. Our argument uses an equivalent formulation of the system in terms of an effective velocity, in order to eliminate the third order terms in the new system. It allows us to derive estimates similar to the ones available in the case of the compressible Navier-Stokes with degenerate viscosity.
• ### On the construction of suitable weak solutions to the 3D Navier-Stokes equations in a bounded domain by an artificial compressibility method(1504.07800)

April 29, 2015 math.AP
In this paper we will prove that suitable weak solutions of three dimensional Navier-Stokes equations in bounded domain can be constructed by a particular type of artificial compressibility approximation.
• ### Failure of the chain rule for the divergence of bounded vector fields(1412.2476)

Dec. 8, 2014 math.AP
We provide a vast class of counterexamples to the chain rule for the divergence of bounded vector fields in three space dimensions. Our convex integration approach allows us to produce renormalization defects of various kinds, which in a sense quantify the breakdown of the chain rule. For instance, we can construct defects which are absolutely continuous with respect to Lebesgue measure, or defects which are not even measures.
• ### Non-Uniqueness and prescribed energy for the continuity equation(1412.2478)

Dec. 8, 2014 math.AP
In this note we provide new non-uniqueness examples for the continuity equation by constructing infinitely many weak solutions with prescribed energy.
• ### Renormalized solutions to the continuity equation with an integrable damping term(1411.0451)

Nov. 3, 2014 math.AP
We consider the continuity equation with a nonsmooth vector field and a damping term. In their fundamental paper, DiPerna and Lions proved that, when the damping term is bounded in space and time, the equation is well posed in the class of distributional solutions and the solution is transported by suitable characteristics of the vector field. In this paper, we prove existence and uniqueness of renormalized solutions in the case of an integrable damping term, employing a new logarithmic estimate inspired by analogous ideas of Ambrosio, Lecumberry, and Maniglia, Crippa and De Lellis in the Lagrangian case.
• ### Renormalized solutions of the 2d Euler equations(1410.3309)

Oct. 13, 2014 math.AP
In this paper we prove that solutions of the 2D Euler equations in vorticity formulation obtained via vanishing viscosity approximation are renormalized.
• ### Vanishing dielectric constant regime for the Navier Stokes Maxwell equations(1407.6147)

July 23, 2014 math.AP
In this paper we rigorously justify the convergence of smooth solutions of the Navier-Stokes-Maxwell equations towards smooth solutions of the classical $2D$ parabolic MHD equations in the case of vanishing dielectric constant . The result is achieved by means of higher-order energy estimates.
• ### Inviscid limits for the 3D Navier-Stokes equations with slip boundary conditions and applications to the 3D Boussinesq equations(1207.6882)

July 30, 2012 math.AP
In this note we consider the inviscid limit for the 3D Boussinesq equations without diffusion, under slip boundary conditions of Navier's type. We first study more closely the Navier-Stokes equations, to better understand the problem. The role of the initial data is also emphasized in connection with the vanishing viscosity limit.
• ### Convergence of Ginzburg-Landau Approximations for a Liquid Crystal Flow in 2D(1102.2396)

May 18, 2011 math.AP
In this paper we prove the convergence for all time for a Ginzburg- Landau type approximation of a simplified Ericksen-Leslie model in two dimension. Moreover, we are able to show that the singular set consists in at most finitely many singular points and we give a characterizations of the singularities.