Related papers: Conformal spectral theory for the monodromy matrix
We study the problem of synthesizing polyhedral Lyapunov functions for hybrid linear systems. Such functions are defined as convex piecewise linear functions, with a finite number of pieces. We first prove that deciding whether there exists…
It is a paper about models for isolated sets and the construction of special hyperbolic Lyapunov functions. We prove that after a suitable surgery every isolated set is the intersection of an attractor and a repeller. We give linear models…
We develop a noncommutative analogue of the spectral decomposition with the quasideterminant defined by I. Gelfand and V. Retakh. In this theory, by introducing a noncommutative Lagrange interpolating polynomial and combining a…
We study the regularity of Lyapunov exponents as functions on the space of compactly supported probability measures on $\mathrm{GL}(d,\mathbb{R})$. We prove that the Lyapunov exponents are pointwise log-H\"older continuous with respect to…
Subharmonic functions associated with the stationary Schrodinger operator are its weak subsolutions under appropriate assumptions on the potential of the operator. We prove for these functions analogs of several classical results on…
In this paper, we develop a comprehensive framework to estimate regions of attraction of equilibria for dynamics associated with general vector fields. This framework combines Koopman operator-based methods with rigorous validation…
For a class of dynamical systems, the cookie-cutter maps, we prove that the Lyapunov spectrum coincides with the map given by the Newton-Raphson method applied to the derivative of the pressure function.
Quasinormal modes of usual, four dimensional, Kerr black holes are described by certain solutions of a confluent Heun differential equation. In this work, we express these solutions in terms of the connection matrices for a Riemann-Hilbert…
In $\mathcal{N}=1$ superconformal theories in four dimensions the two-point function of superconformal multiplets is known up to an overall constant. A superconformal multiplet contains several conformal primary operators, whose two-point…
For a one-dimensional discrete Schr\"odinger operator with a weakly coupled potential given by a strongly mixing dynamical system with power law decay of correlations, we derive for all energies including the band edges and the band center…
A method for constructing homogeneous Lyapunov functions of degree 1 from polynomial invariant sets is presented for linear time varying systems, homogeneous dynamic systems and the class of nonlinear systems that can be represented as…
In the present paper, the reducibility is derived for linear wave equation of finite smooth and time-quasi-periodic potential subject to Dirichlet boundary condition. Moreover, it is proved that the corresponding wave operator possesses the…
We introduce the \emph{metric spectrum}, which measures the exponential rate of approximation to an isolated invariant set of points starting in its stable set, and relate it to the Lyapunov spectrum. We determine the metric spectrum of…
We prove sharp upper and lower bounds for the nodal length of Steklov eigenfunctions on real-analytic Riemannian surfaces with boundary. The argument involves frequency function methods for harmonic functions in the interior of the surface…
In 1961, R\'enyi discovered a rich family of non-classical Lyapunov functions for kinetics of the Markov chains, or, what is the same, for the linear kinetic equations. This family was parameterised by convex functions on the positive…
Let V be a compact real analytic surface with isolated singularities embedded in $R^N$, and assume its smooth part is equipped with a Riemannian metric that is induced from some analytic Riemannian metric on $R^N$. We prove: 1. Each point…
The Lyapunov exponent characterizes the asymptotic behavior of long matrix products. Recognizing scenarios where the Lyapunov exponent is strictly positive is a fundamental challenge that is relevant in many applications. In this work we…
In this paper we employ SMT solvers to soundly synthesise Lyapunov functions that assert the stability of a given dynamical model. The search for a Lyapunov function is framed as the satisfiability of a second-order logical formula, asking…
Lyapunov functions play a fundamental role in analyzing the stability and convergence properties of optimization methods. In this paper, we propose a novel and straightforward approach for constructing Lyapunov functions for first-order…
For the almost Mathieu operator with a small coupling constant, for a series of spectral gaps, we describe the asymptotic locations of the gaps and get lower bounds for their lengths. The results are obtained by analysing a monodromy…