Related papers: Methods for verified stabilizing solutions to cont…
This thesis aims at investigating the first steps toward an unconditionally stable space-time isogeometric method, based on splines of maximal regularity, for the linear acoustic wave equation. The unconditional stability of space-time…
In this paper, we propose an RADI-type method for large-scale stochastic continuous-time algebraic Riccati equations with sparse and low-rank matrices. This new variant of RADI-type methods is developed by integrating the core concept of…
We develop algorithms for certifying an approximation to a nonsingular solution of a square system of equations built from univariate analytic functions. These algorithms are based on the existence of oracles for evaluating basic data about…
In this paper, we reveal the intrinsic Toeplitz structure in the unique stabilizing solution for nonsymmetric algebraic Riccati equations by employing a shift-involved fixed-point iteration, and propose an RADI-type method for computing…
In this paper, we present a comprehensive long-time stability analysis of a second-order explicit exponential Runge--Kutta (ERK2) method for the Cahn--Hilliard (CH) equation. By employing Fourier spectral collocation in space and a…
In this paper we consider stabilised finite element methods for hyperbolic transport equations without coercivity. Abstract conditions for the convergence of the methods are introduced and these conditions are shown to hold for three…
A stabilized finite element method is introduced for the simulation of time-periodic creeping flows, such as those found in the cardiorespiratory systems. The new technique, which is formulated in the frequency rather than time domain,…
The package \texttt{NumericalCertification} implements methods for certifying numerical approximations of solutions for a given system of polynomial equations. For certifying regular solutions, the package implements Smale's $\alpha$-theory…
In this paper, we prove the stabilizability of abstract Parabolic Integro-Differential Equations (PIDE) in a Hilbert space with decay rate $e^{-\gamma t} $ for certain $\gamma > 0,$ by means of a finite dimensional controller in the…
We consider solving the surface Helmholtz equation on a smooth two dimensional surface embedded into a three dimensional space meshed with tetrahedra. The mesh does not respect the surface and thus the surface cuts through the elements. We…
In this work we consider the computational approximation of a unique continuation problem for the Helmholtz equation using a stabilized finite element method. First conditional stability estimates are derived for which, under a convexity…
The singularly perturbed Riccati equation is the first-order nonlinear ODE $\hbar \partial_x f = af^2 + bf + c$ in the complex domain where $\hbar$ is a small complex parameter. We prove an existence and uniqueness theorem for exact…
An existing solvability result for relaxed one-sided Lipschitz algebraic inclusions is substantially improved. This enhanced solvability result allows the design of a very robust numerical method for the approximation of a solution of the…
Finding the state feedback control in an $% H^{\infty }$-optimal control problem involves a challenging approach of the associated algebraic Riccati equation of the generic form $A^{\ast }P+PA+P\Gamma P=F$. In view of this objective, we…
In this work, we aim at constructing numerical schemes, that are as efficient as possible in terms of cost and conservation of invariants, for the Vlasov--Fokker--Planck system coupled with Poisson or Amp\`ere equation. Splitting methods…
Let $R$ be a commutative complex unital semisimple Banach algebra with the involution $\cdot ^\star$. Sufficient conditions are given for the existence of a stabilizing solution to the $H^\infty$ Riccati equation when the matricial data has…
We investigate the obstacle problem for generalized Dean--Kawasaki equations driven by correlated conservative noise, establishing the existence, uniqueness, and $L^1$-stability of stochastic kinetic solutions. Our core strategy combines a…
In this short paper we prove a global logarithmic stability of the Cauchy problem for H 2-solutions of an anisotropic elliptic equation in a Lip-schitz domain. The result we obtained is based on tools borrowed from the existing technics to…
We propose an explicit construction of a stationary solution for a stochastic recursion of the form $X\circ\theta=\phi(X)$ on a partially-ordered Polish space, when the monotonicity of $\phi$ is not assumed. Under certain conditions, we…
This work presents a space-time isogeometric analysis of biharmonic wave problem, in contrast to the more common application of space-time methods to second order wave equations. We first establish the unique solvability of the continuous…