Related papers: Methods for verified stabilizing solutions to cont…
This paper investigates the properties of the solutions of the generalised discrete algebraic Riccati equation arising from the solution of the classic infinite-horizon linear quadratic control problem. In particular, a geometric analysis…
In this paper, we tackle the significant challenge of simultaneous stabilization in control systems engineering, where the aim is to employ a single controller to ensure stability across multiple systems. We delve into both scalar and…
In this note, we propose a symplectic algorithm for the stable manifolds of the Hamilton-Jacobi equations combined with an iterative procedure in [Sakamoto-van~der Schaft, IEEE Transactions on Automatic Control, 2008]. Our algorithm…
We use the semi-discrete method, originally proposed in Halidias (2012), Semi-discrete approximations for stochastic differential equations and applications, International Journal of Computer Mathematics, 89(6), to reproduce qualitative…
This manuscript presents the results of stabilization for the Zakharov--Kuznetsov equation, a two-dimensional Korteweg--de Vries-type equation. We provide rigorous proofs using two different approaches, showing that when a damping mechanism…
We study the problem of stabilization for the acoustic system with a spatially distributed damping. Without imposing any hypotheses on the structural properties of the damping term, we identify logarithmic decay of solutions with growing…
In this paper, several Kaczmarz-type numerical methods for solving the matrix equation $AX=B$ and $XA=C$ are proposed, where the coefficient matrix $A$ may be full rank or rank deficient. These methods are iterative methods without matrix…
The purpose of this paper is to close the remaining gaps in the understanding of the role that the constrained generalized continuous algebraic Riccati equation plays in singular linear-quadratic (LQ) optimal control. Indeed, in spite of…
We present and analyze two stabilized finite element methods for solving numerically the Poisson--Nernst--Planck equations. The stabilization we consider is carried out by using a shock detector and a discrete graph Laplacian operator for…
We give stability estimates in the Cauchy problem for general partial differential equation of the elliptic type similar to the Helmholtz equation. We do not impose any (pseudo)convexity assumptions on the domain or the operator. These…
Studied here is the Kawahara equation, a fifth order Korteweg-de Vries type equation, with time-delayed internal feedback. Under suitable assumptions on the time delay coefficients we prove that solutions of this system are exponentially…
We consider the numerical approximations of the Cahn-Hilliard equation with dynamic boundary conditions (C. Liu et. al., Arch. Rational Mech. Anal., 2019). We propose a first-order in time, linear and energy stable numerical scheme, which…
Addressing stability in functional equations is a critical task with broad implications across mathematics and its applications. In this paper, we present a novel direct method for proving the stability of the following equation,…
We address the task of verifying whether a quantum computer, designed to be protected by a specific stabilizer code, correctly encodes the corresponding logical qubits. To achieve this, we develop a general framework for subspace…
The Reynolds equation, combined with the Elrod algorithm for including the effect of cavitation, resembles a nonlinear convection-diffusion-reaction (CDR) equation. Its solution by finite elements is prone to oscillations in…
We provide an accurate verification method for solutions of heat equations with a superlinear nonlinearity. The verification method numerically proves the existence and local uniqueness of the exact solution in a neighborhood of a…
Simulating Clifford and near-Clifford circuits using the extended stabilizer formalism has become increasingly popular, particularly in quantum error correction. Compared to the state-vector approach, the extended stabilizer formalism can…
In this paper we propose, analyze, and test numerically a pressure-robust stabilized finite element for a linearized problem in incompressible fluid mechanics, namely, the steady Oseen equation with low viscosity. Stabilization terms are…
A class of (block) rational Krylov subspace based projection method for solving large-scale continuous-time algebraic Riccati equation (CARE) $0 = \mathcal{R}(X) := A^HX + XA + C^HC - XBB^HX$ with a large, sparse $A$ and $B$ and $C$ of full…
We consider the Ricker model with delay and constant or periodic stocking. We found that the high stocking density tends to neutralize the delay effect on stability. Conditions are established on the parameters to ensure the global…