Related papers: Guaranteed inf-sup bounds and existence verificati…
We present a post-processing certification workflow for nonlinear elliptic boundary value problems that upgrades a standard finite element computation to a rigorous existence and output certificate. For a given approximate discrete state,…
The purpose of this work is to investigate root finding problems defined on (quasi-)metric spaces, and ranging in Euclidean spaces. The motivation for this line of inquiry stems from recent models in biology and phylogenetics, where…
In this paper, we present a general framework for constructively proving the existence and of stationary localized solutions, spatially periodic solutions, and branches of spatially periodic solutions in the 1D Thomas model. Specifically,…
In this article, we present a comprehensive framework for constructing smooth, localized solutions in systems of semi-linear partial differential equations, with a particular emphasis to the Gray-Scott model. Specifically, we construct a…
We propose an algorithm to numerically determined whether a second-order linear PDE problem satisfying a Garding inequality is well-posed. This algorithm further provides a lower bound to the inf-sup constant of the weak formulation, which…
The focus of this study is on exploring some qualitative properties of solutions to a class of semilinear elliptic problems in bounded domains, where the boundary conditions depend non-locally on the unknown solution at specified interior…
This paper is dedicated to the problem of isolating and validating zeros of non-linear two point boundary value problems. We present a method for such purpose based on the Newton-Kantorovich Theorem to rigorously enclose isolated zeros of…
We propose a stable Petrov-Galerkin discretization of a kinetic Fokker-Planck equation constructed in such a way that uniform inf-sup stability can be inferred directly from the variational formulation. Inspired by well-posedness results…
This paper studies inf-sup stable finite element discretizations of the evolutionary Navier--Stokes equations with a grad-div type stabilization. The analysis covers both the case in which the solution is assumed to be smooth and…
The initial problem for the Navier-Stokes type equations over ${\mathbb R}^n \times [0,T]$, $n\geq 2$, with a positive time $T$ in the spatially periodic setting is considered. First, we prove that the problem induces an open injective…
It is well known in the Reduced Basis approximation of saddle point problems that the Galerkin projection on the reduced space does not guarantee the inf-sup approximation stability even if a stable high fidelity method was used to generate…
We analyze the two-field formulation of the quasi-static Biot's equations in bounded domains by means of the inf-sup theory. For this purpose, we exploit an equivalent four-field formulation of the equations, introducing the so-called total…
The paper addresses a problem of sampling discretization of integral norms of elements of finite-dimensional subspaces satisfying some conditions. We prove sampling discretization results under a standard assumption formulated in terms of…
We propose a high-order finite element method for linear fourth-order elliptic problems that is both nodally bound-preserving and mass-conservative, based on a variational inequality formulation. The method admits an equivalent strictly…
In this work we introduce and analyze a novel Hybrid High-Order method for the steady incompressible Navier-Stokes equations. The proposed method is inf-sup stable on general polyhedral meshes, supports arbitrary approximation orders, and…
In this paper, we present a methodology for establishing constructive proofs of existence of smooth, stationary, non-radial localized patterns in the planar Swift-Hohenberg equation. Specifically, given an approximate solution $u_0$, we…
We introduce a unified geometric framework for domains satisfying a geometric normal property (C-GNP) relative to a strictly convex set \(C\). Under the fundamental assumption that the source \(f\) is supported within the core \(C\), we…
This paper studies fully discrete finite element approximations to the Navier-Stokes equations using inf-sup stable elements and grad-div stabilization. For the time integration two implicit-explicit second order backward differentiation…
In this article, we extend the framework developed in \cite{unbounded_domain_cadiot} to allow for rigorous proofs of existence of smooth, localized solutions in semi-linear partial differential equations possessing both space and non-space…
This paper is devoted to the Lin-Ni conjecture for a semi-linear elliptic equation with a super-linear, sub-critical nonlinearity and homogeneous Neumann boundary conditions. We establish a new rigidity result, that is, we prove that the…