相关论文: Fully-implicit log-conformation formulation of con…
We consider a stochastic 2D Navier-Stokes equation in a bounded domain. The random force is assumed to be non-degenerate and periodic in time, its law has a support localised with respect to both time and space. Slightly strengthening the…
This paper deals with a fully discrete numerical scheme for the incompressible Chemotaxis(Keller-Segel)-Navier-Stokes system. Based on a discontinuous Galerkin finite element scheme in the spatial directions, a semi-implicit first-order…
We study a colocated cell centered finite volume method for the approximation of the incompressible Navier-Stokes equations posed on a 2D or 3D finite domain. The discrete unknowns are the components of the velocity and the pressures, all…
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…
In this paper we study the incompressible Navier-Stokes equations with logarithme damping {\alpha} log(e + |u|2)|u|2u, where we used new methods, new tools and Fourier analysis
This paper investigates the pathwise uniform convergence in probability of fully discrete finite-element approximations for the two-dimensional stochastic Navier-Stokes equations with multiplicative noise, subject to no-slip boundary…
In computational fluid dynamics, the demand for increasingly multidisciplinary reliable simulations, for both analysis and design optimization purposes, requires transformational advances in individual components of future solvers. At the…
We propose a new family of high order staggered semi-implicit discontinuous Galerkin (DG) methods for the simulation of natural convection problems. Assuming small temperature fluctuations, the Boussinesq approximation is valid and the flow…
The Navier--Stokes equations are commonly used to model and to simulate flow phenomena. We introduce the basic equations and discuss the standard methods for the spatial and temporal discretization. We analyse the semi-discrete equations --…
We present a fully discrete approximation technique for the compressible Navier-Stokes equations that is second-order accurate in time and space, semi-implicit, and guaranteed to be invariant domain preserving. The restriction on the time…
We prove the convergence of an incremental projection numerical scheme for the time-dependent incompressible Navier--Stokes equations, without any regularity assumption on the weak solution. The velocity and the pressure are discretised in…
We prove the existence of the weak solutions to the compressible Navier--Stokes system with barotropic pressure $p(\varrho)=\varrho^\gamma$ for $\gamma\geq 9/5$ in three space dimension. The novelty of the paper is the approximation scheme…
We study the Navier-Stokes equations governing the motion of isentropic compressible fluid in three dimensions driven by a multiplicative stochastic forcing. In particular, we consider a stochastic perturbation of the system as a function…
In this paper a new high order semi-implicit discontinuous Galerkin method (SI-DG) is presented for the solution of the incompressible Navier-Stokes equations on staggered space-time adaptive Cartesian grids (AMR) in two and three…
This paper focuses on deriving optimal-order full moment error estimates in strong norms for both velocity and pressure approximations in the Euler-Maruyama time discretization of the stochastic Navier-Stokes equations with multiplicative…
In this paper, we consider a fully-discrete approximation of an abstract evolution equation deploying a non-conforming spatial approximation and finite differences in time (Rothe-Galerkin method). The main result is the convergence of the…
For sampling from a log-concave density, we study implicit integrators resulting from $\theta$-method discretization of the overdamped Langevin diffusion stochastic differential equation. Theoretical and algorithmic properties of the…
It is shown that large classes of nonlinear systems of PDEs, with possibly associated initial and/or boundary value problems, can be solved by the method of order completion. The solutions obtained can be assimilated with Hausdorff…
Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of…
We establish the notion of limit consistency as a modular part in proving the consistency of lattice Boltzmann equations (LBEs) with respect to a given partial differential equation (PDE) system. The incompressible Navier--Stokes equations…