Related papers: Fully-implicit log-conformation formulation of con…
We consider a system of nonlinear partial differential equations modelling the steady motion of an incompressible non-Newtonian fluid, which is chemically reacting. The governing system consists of a steady convection-diffusion equation for…
In the present paper, we establish the well-posedness, stability, and (weak) convergence of a fully-discrete approximation of the unsteady $p(\cdot,\cdot)$-Navier-Stokes equations employing an implicit Euler step in time and a discretely…
The micropolar Rayleigh-B{\'e}nard convection system, which consists of Navier-Stokes equations, the angular momentum equation, and the heat equation, is a strongly nonlinear, coupled, and saddle point structural multiphysics system. A…
We generalize recent work to construct a map from the conformal Navier Stokes equations with holographically determined transport coefficients, in d spacetime dimensions, to the set of asymptotically locally AdS_{d+1} long wavelength…
The paper aims on the construction of weak solutions to equations of a model of compressible viscous fluids, being a simplification of the classical compressible Navier-Stokes system. We present a novel scheme for approximating systems that…
This article aims at developing a high order pressure-based solver for the solution of the 3D compressible Navier-Stokes system at all Mach numbers. We propose a cell-centered discretization of the governing equations that splits the fluxes…
The present works is focused on studying bifurcating solutions in compressible fluid dynamics. On one side, the physics of the problem is thoroughly investigated using high-fidelity simulations of the compressible Navier-Stokes equations…
A numerical method for the two-dimensional, incompressible Navier--Stokes equations in vorticity--streamfunction form is proposed, which employs semi-Lagrangian discretizations for both the advection and diffusion terms, thus achieving…
The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan…
We investigate a compressible two-fluid Navier-Stokes type system with a single velocity field and algebraic closure for the pressure law. The constitutive relation involves densities of both fluids through an implicit function. We are…
We introduce a new consistency-based approach for defining and solving nonnegative/positive matrix and tensor completion problems. The novelty of the framework is that instead of artificially making the problem well-posed in the form of an…
In this paper, we consider numerical approximation of an electrically conductive ferrofluid model, which consists of Navier-Stokes equations, magnetization equation, and magnetic induction equation. To solve this highly coupled, nonlinear,…
This thesis is divided into two parts. In the first part we study completely integrable systems, and their underlying structures, in detail. We study their deformation theory and the different equivalence relations surrounding it. We…
A new fourth order compact formulation for the steady 2-D incompressible Navier-Stokes equations is presented. The formulation is in the same form of the Navier-Stokes equations such that any numerical method that solve the Navier-Stokes…
Recently, relaxation methods have been developed to guarantee the preservation of a single global functional of the solution of an ordinary differential equation. Here, we generalize this approach to guarantee local entropy inequalities for…
This article focusses on the analysis of a conforming finite element method for the time-dependent incompressible Navier-Stokes equations. For divergence-free approximations, in a semi-discrete formulation, we prove error estimates for the…
In this paper, we focus on discrete-time stochastic systems modelled by nonlinear stochastic difference equations and propose robust abstractions for verifying probabilistic linear temporal specifications. The current literature focuses on…
I investigate the higher-derivative conformal theory which shows how the Nambu-Goto and Polyakov strings can be told apart. Its energy-momentum tensor is conserved, traceless but does not belong to the conformal family of the unit operator.…
We present a linear, second order fully discrete numerical scheme on a staggered grid for a thermodynamically consistent hydrodynamic phase field model of binary compressible fluid flow mixtures derived from the generalized Onsager…
A constructive numerical approximation of the two-dimensional unsteady stochastic Navier-Stokes equations of an incompressible fluid is proposed via a pseudo-compressibility technique involving a parameter $\epsilon$. Space and time are…