Related papers: A new practical framework for the stability analys…
In this paper we propose a nonconforming finite element method for the solution of the ill-posed elliptic Cauchy problem. We prove error estimates using continuous dependence estimates in the $L^2$-norm. The effect of perturbations in data…
Stability analysis and control of linear impulsive systems is addressed in a hybrid framework, through the use of continuous-time time-varying discontinuous Lyapunov functions. Necessary and sufficient conditions for stability of impulsive…
We report numerical simulations of one-dimensional cellular solutions of the stabilized Kuramoto-Sivashinsky equation. This equation offers a range of generic behavior in pattern-forming instabilities of moving interfaces, such as a host of…
We propose an analysis for the stabilized finite element methods proposed in, E. Burman, Stabilized finite element methods for nonsymmetric, noncoercive, and ill-posed problems. Part I: Elliptic equations. SIAM J. Sci. Comput., 35(6) 2013,…
We provide a general framework for the stability of solutions to stochastic partial differential equations with respect to perturbations of the drift. More precisely, we consider stochastic partial differential equations with drift given as…
The principle of linearized stability and instability is established for a classical model describing the spatial movement of an age-structured population with nonlinear vital rates. It is shown that the real parts of the eigenvalues of the…
We consider a possible application of the Wa\.zewski topological method to feedback control systems and to more general dynamical systems. We show how this method can be used to prove the impossibility of global stabilization in such…
A novel method for stability and instability study of autonomous dynamical systems using the flow and divergence of the vector field is proposed. A relation between the method of Lyapunov functions and the proposed method is established.…
In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…
This article focuses on the space-time isogeometric method for a linear time dependent fourth order problem. Using an auxiliary variable, first the problem is split into a system of two second order differential equations and then the…
Recent development of contraction theory based analysis of singularly perturbed system has opened the door for inspecting differential behavior of multi time-scale systems. In this paper a contraction theory based framework is proposed for…
The stability of Lattice Boltzmann Equations modelling Shallow Water Equations in the special case of reduced gravity is investigated theoretically. A stability notion is defined as applied in incompressible Navier-Stokes equations in…
Finite-state abstractions are widely studied for the automated synthesis of correct-by-construction controllers for stochastic dynamical systems. However, existing abstraction methods often lead to prohibitively large finite-state models.…
In the paper we provide new conditions ensuring the isolated calmness property and the Aubin property of parameterized variational systems with constraints depending, apart from the parameter, also on the solution itself. Such systems…
This paper addresses structured normwise, mixed, and componentwise condition numbers (CNs) for a linear function of the solution to the generalized saddle point problem (GSPP). We present a general framework that enables us to measure the…
Recently, in (M. Masoudi, D.K. Salkuyeh, An extension of positive-definite and skew-Hermitian splitting method for preconditioning of generalized saddle point problems, Computers \& Mathematics with Application,…
We construct and parametrize solutions to the constraint equations of general relativity in a neighborhood of Minkowski spacetime with arbitrary prescribed decay properties at infinity. We thus provide a large class of initial data for the…
This paper is about Holder and Lipschitz stability estimates and uniqueness theorems for some coefficient inverse problems and associated inverse source problems for a general linear parabolic equation of the second order with variable…
We develop a method to prove almost global stability of stochastic differential equations in the sense that almost every initial point (with respect to the Lebesgue measure) is asymptotically attracted to the origin with unit probability.…
We study the global (asymptotic) stability of the Lengyel-Epstein differential systems, sometimes called Belousov-Zhabotinsky differential systems. Such systems are topologically equivalent to a two-parameter family of cubic systems in the…