Related papers: Fully-implicit log-conformation formulation of con…
By rewriting the Navier-Stokes equation in terms of differential forms we give a formulation which is abstracted and reproduced in a finite dimensional setting. We give two examples of these finite models and, in the latter case, prove some…
We consider the strong solution of the 2D Navier-Stokes equations in a torus subject to an additive noise. We implement a fully implicit time numerical scheme and a finite element method in space. We prove that the rate of convergence of…
A model of fully developed turbulence of a compressible fluid is briefly reviewed. It is assumed that fluid dynamics is governed by a stochastic version of Navier-Stokes equation. We show how corresponding field theoretic-model can be…
We develop a rigorous theory for a structure-preserving discretisation of the incompressible Euler and Navier--Stokes equations, based on discrete exterior calculus on prismatic Delaunay--Voronoi meshes over closed Riemannian manifolds. The…
We introduce new classes of solutions to the three dimensional Navier-Stokes equations in the whole and half spaces that add rotational correction to self-similar and discretely self-similar solutions. We construct forward solutions in…
Within the framework of linear elasticity we assume the availability of internal full-field measurements of the continuum deformations of a non-homogeneous isotropic solid. The aim is the quantitative reconstruction of the associated…
We study stochastic Navier-Stokes equations in two dimensions with respect to periodic boundary conditions. The equations are perturbed by a nonlinear multiplicative stochastic forcing with linear growth (in the velocity) driven by a…
We revisit the problem of computing (robust) controlled invariant sets for discrete-time linear systems. Departing from previous approaches, we consider implicit, rather than explicit, representations for controlled invariant sets.…
The superiority of stochastic symplectic methods over non-symplectic counterparts has been verified by plenty of numerical experiments, especially in capturing the asymptotic behaviour of the underlying solution process. How can one…
We analyze the consolidation of freshly deposited cohesive and non-cohesive sediment by means of particle-resolved direct Navier-Stokes simulations based on the Immersed Boundary Method. The computational model is parameterized by material…
We study a class of monotone inclusions called "self-concordant inclusion" which covers three fundamental convex optimization formulations as special cases. We develop a new generalized Newton-type framework to solve this inclusion. Our…
Recently, we have proposed a new diffusive representation for fractional derivatives and, based on this representation, suggested an algorithm for their numerical computation. From the construction of the algorithm, it is immediately…
We present a static-condensation method for time-implicit discretizations of the Discontinuous Galerkin Spectral Element Method on Gauss-Lobatto points (GL-DGSEM). We show that, when solving the compressible Navier-Stokes equations, it is…
In this paper the issue of the determination of the fluid pressure in incompressible fluids is addressed, with particular reference to the search of algorithms which permit to advance in time the fluid pressure without actually solving…
Coupled tensor decomposition reveals the joint data structure by incorporating priori knowledge that come from the latent coupled factors. The tensor ring (TR) decomposition is invariant under the permutation of tensors with different mode…
We present a dimensionally split method for computing solutions to the compressible Navier-Stokes equations on Cartesian cut cell meshes. The method is globally second order accurate in the L1 norm, fully conservative, and allows the use of…
As one of the seven open problems in the addendum to their 1989 book "Computability in Analysis and Physics", Pour-El and Richards proposed ``... the recursion theoretic study of particular nonlinear problems of classical importance.…
The purpose of this article is to study the convergence of a low order finite element approximation for a natural convection problem. We prove that the discretization based on P1 polynomials for every variable (velocity, pressure and…
This work explores the tensor and combinatorial constructs underlying the linearised higher-order variational equations of a generic autonomous system along a particular solution. The main result of this paper is a compact yet explicit and…
Subatomic logic is a recent innovation in structural proof theory where atoms are no longer the smallest entity in a logical formula, but are instead treated as binary connectives. As a consequence, we can give a subatomic proof system for…