Related papers: Positive trigonometric polynomials for strong stab…
Real-stable, Lorentzian, and log-concave polynomials are well-studied classes of polynomials, and have been powerful tools in resolving several conjectures. We show that the problems of deciding whether a polynomial of fixed degree is real…
This paper examines the problem of stabilizing linear distributed delay systems with nonlinear distributed delay kernels and dissipativity constraints. Specifically, the nonlinear distributed kernel includes functions such as polynomials,…
Numerical analysis for linear constant-coefficients Finite Difference schemes was developed approximately fifty years ago. It relies on the assumption of scheme stability and in particular -- for the $L^2$ setting -- on the absence of…
We introduce an efficient stable algorithm for transforms associated with expansions in Hermite functions interpolated at Hermite polynomial roots. The Hermite transform matrix can be factorised into a diagonal component and an orthogonal…
In this paper, new weighted integral inequalities (WIIs) are first derived by refining the Jensen single and double inequalities. It is shown that the newly derived inequalities in this paper encompass both the Jensen inequality and its…
In this paper, the stability of IMEX-BDF methods for delay differential equations (DDEs) is studied based on the test equation $y'(t)=-A y(t) + B y(t-\tau)$, where $\tau$ is a constant delay, $A$ is a positive definite matrix, but $B$ might…
This paper examines the robust (strong) H-infinity norm of a linear time-invariant system with discrete delays. The considered system is subject to real-valued, structured, Frobenius norm bounded uncertainties on the coefficient matrices.…
In this paper, we consider the problem of representing a multivariate polynomial as the determinant of a definite (monic) symmetric/Hermitian linear matrix polynomial (LMP). Such a polynomial is known as determinantal polynomial.…
We analyse the problem of stability of a continuous time linear switching system (LSS) versus the stability of its Euler discretization. It is well-known that the existence of a positive {\tau} for which the corresponding discrete time…
Computational problem certificates are additional data structures for each output, which can be used by a-possibly randomized-verification algorithm that proves the correctness of each output. In this paper, we give an algorithm that…
Every real hyperbolic form in three variables can be realized as the determinant of a linear net of Hermitian matrices containing a positive definite matrix. Such representations are an algebraic certificate for the hyperbolicity of the…
In this paper, we study the stability of the concentration inequality for one-dimensional complex polynomials. We provide the stability of the local concentration inequality and a global version using a Wehrl-type entropy.
Linear matrix inequalities (LMIs) have played a central role in certifying stability, robustness, and forward invariance of dynamical systems. Despite rapid development in learning-based methods for control design and certificate synthesis,…
We prove existence and uniqueness of strong solutions, as well as continuous dependence on the initial datum, for a class of fully nonlinear second-order stochastic PDEs with drift in divergence form. Due to rather general assumptions on…
Based on the generalized Routh-Hurwitz criterion, we propose a sufficient and necessary criterion for testing the stability of fractional-order linear systems with order {\alpha}{\in}[1,2), called the fractional-order Routh-Hurwitz…
Eigenvalue perturbation theory is applied to justify using complex-valued linear scalar test equations to characterize the stability of implicit-explicit general linear methods (IMEX GLMs) solving autonomous linear ordinary differential…
In this work, we systematically investigate linear multi-step methods for differential equations with memory. In particular, we focus on the numerical stability for multi-step methods. According to this investigation, we give some…
We obtain new explicit exponential stability conditions for the linear scalar neutral equation with two bounded delays $ (x(t)-a(t)x(g(t)))'+b(t)x(h(t))=0, $ where $|a(t)| \leq A_0 < 1$, $0<b_0\leq b(t)\leq B_0$, assuming that all…
For dispersive Hamiltonian partial differential equations of order 2N+1, N integer, there are two criteria to analyse to examine the stability of small-amplitude, periodic travelling wave solutions to high-frequency perturbations. The first…
For the left-sector stability of interval polynomials, it suffices to check a subset of its vertex polynomials. This paper provides a recipe for construction of these critical vertices. Illustrative examples are presented.