On the Perron exponents of discrete linear systems

This note studies properties of Perron or lower Lyapunov exponents for discrete time varying system. It is shown that for diagonal system of order s there are at most 2^s-1 lower Lyapunov exponents. By example it is demonstrated that in non-diagonal case it is possible to have arbitrarily many different Perron exponents. Finally it is shown that the exponent is almost everywhere equal to the lower Lyapunov exponent of the matrices coefficient sequence.     

Relations between Bohl exponents and general exponent of discrete linear time-varying systems

In the paper, properties of the upper Bohl exponents and senior upper general exponent of discrete linear time-varying systems are investigated. The relation of these exponents to uniform exponential stability is discussed. Moreover, an example of system, which is not uniformly exponentially stable but each trajectory tends uniformly and exponentially to zero is provided.     

Iterative learning control for linear discrete delay systems via discrete matrix delayed exponential function approach

ABSTRACT

This paper proposes iterative learning control (ILC) for linear discrete delay systems with randomly varying trial lengths without knowing prior information on the probability distribution of random iteration length. Based on matrix delayed exponential function approach, an explicit solution to the linear discrete delay controlled systems is used to generate a sequence of outputs that approximate the desired reference by adopting two ILC update laws in the presence of randomly iteration-varying lengths. A new and direct mathematical technique is explored to deal with ILC for linear discrete delay systems. Two illustrative examples are provided to verify the theoretical results.     

Estimating reachable sets for two-dimensional linear discrete systems

We are concerned with the problem of estimating the reachable set for a two-dimensional linear discrete-time system with bounded controls. Different approaches are adopted depending on whether the system matrix has real or complex eigenvalues. For the complex eigenvalue case, the quasiperiodic nature of minimum time trajectories is exploited in developing a simple, but often accurate, procedure. For the real eigenvalue case, over estimates of reachable sets can be trivially obtained using a decomposition method.The second author was supported by funds supplied by the John M. Bennett Faculty Fellowship, Trinity University, San Antonio, Texas.     

On common linear copositive Lyapunov functions for pairs of stable positive linear systems

We study the common linear copositive Lyapunov functions of positive linear systems. Firstly, we present a theorem on pairs of second order positive linear systems, and give another proof of this theorem by means of properties of geometry. Based on the process of the proof, we extended the results to a finite number of second order positive linear systems. Then we extend this result to third order systems. Finally, for higher order systems, we give some results on common linear copositive Lyapunov functions.     

Approximate and efficient calculation of dominant Lyapunov exponents of high-dimensional nonlinear dynamic systems

This short communication presents an efficient method for calculating dominant Lyapunov exponents (LEs) of high-dimensional nonlinear dynamic systems based on their reduced-order models obtained from the linear model reduction theory. Mathematical derivation shows that the LEs of the reduced-order models correspond to the dominant LEs of the original systems. Two numerical examples are provided to demonstrate the effectiveness of the method.     

Piecewise linear maps, Liapunov exponents and entropy

Let be a class of piecewise linear maps associated with a transition matrix A. In this paper, we prove that if fA,x∈LA, then the Liapunov exponent λ(x) of fA,x is equal to a measure theoretic entropy hmA,x of fA,x, where mA,x is a Markov measure associated with A and x. The Liapunov exponent and the entropy are computable by solving an eigenvalue problem and can be explicitly calculated when the transition matrix A is symmetric. Moreover, we also show that maxxλ(x)=maxxhmA,x=log(λ₁), where λ₁ is the maximal eigenvalue of A.     

Dynamics of generic 2-dimensional linear differential systems

We prove that for a C⁰-generic (a dense Gδ) subset of all the 2-dimensional conservative nonautonomous linear differential systems, either Lyapunov exponents are zero or there is a dominated splitting μ almost every point.     

On exponential stability of linear singular positive delayed systems

In this paper, the problem of positivity and exponential stability for linear singular positive systems with time delay is addressed. By using the singular value decomposition method, necessary and sufficient conditions for the positivity of the system are established. Based on that, a new sufficient condition for exponential stability of the system is derived. All of the criteria obtained in this paper are presented in terms of algebraic matrix inequalities, which make the conditions can be solved directly. A numerical example is given to show the usefulness of the proposed results.     

On the density of the minimal subspaces generated by discrete linear Hamiltonian systems

This paper focuses on the density of the minimal subspaces generated by a class of discrete linear Hamiltonian systems. It is shown that the minimal subspace is densely defined if and only if the maximal subspace is an operator; that is, it is single valued. In addition, it is shown that, if the interval on which the systems are defined is bounded from below or above, then the minimal subspace is non-densely defined in any non-trivial case.     

On the robustness of linear stabilizing feedback control for linear uncertain systems: Multi-input case

The robust stabilization of linear systems with constant uncertainties against structured perturbations using Lyapunov's theory is investigated. The only information needed on the uncertainties is the knowledge of their boundaries. The matching conditions of the uncertain systems are not required to be satisfied. It is first shown that, under some assumptions, the system can be transformed into a certain canonical controllable companion form. Then, under some additional assumptions, the existence of a linear controller which stabilizes the system based on Lyapunov's theory is shown.     

Spectral properties of singular discrete linear Hamiltonian systems

This paper is concerned with spectral properties of singular discrete linear Hamiltonian systems. It is shown that properties of the essential spectrum of each self-adjoint subspace extension (SSE) of the corresponding minimal subspace are independent of the values of the coefficients of the system on any finite subinterval. The analyticity of the Weyl function is studied by employing the Schwarz reflection principle for the system in the limit point case. Based on the above work, several sufficient conditions are obtained for each SSE to have no essential spectrum points in an interval of the real line in the strong limit point case, and then a sufficient condition for the essential spectrum to be bounded from below (above) and a sufficient condition for the pure discrete spectrum are presented, respectively. As a direct consequence, the related spectral properties of singular higher order symmetric vector difference expressions are given.     

Banach空间中线性离散时间系统的一致多项式膨胀性

给出了Banach 空间中线性离散时间系统一致多项式膨胀性的概念,并讨论了其离散特征。借助Lyapunov函数给出了线性离散时间系统满足一致多项式膨胀的充要条件。所得结论将一致指数稳定性、指数膨胀性及多项式稳定性中的若干经典结论推广到了一致多项式膨胀性的情形。     

Instability results for slowly time varying linear dynamic systems on time scales

We develop eigenvalue criteria under which the solutions of a “slowly” time varying linear dynamic system of the form xΔ(t)=A(t)x(t) are unstable.     

Lyapunov inequalities and stability for discrete linear Hamiltonian systems

In this paper, we establish several new Lyapunov-type inequalities for discrete linear Hamiltonian systems when the end-points are not necessarily usual zeros, but rather, generalized zeros, which generalize and improve almost all related existing ones. Applying these inequalities, an optimal stability criterion is obtained.     

Existence and genericity problems for dynamical systems with nonzero Lyapunov exponents

This is a survey-type article whose goal is to review some recent results on existence of hyperbolic dynamical systems with discrete time on compact smooth manifolds and on coexistence of hyperbolic and non-hyperbolic behavior. It also discusses two approaches to the study of genericity of systems with nonzero Lyapunov exponents.      

On the observability of time-discrete conservative linear systems

We consider various time discretization schemes of abstract conservative evolution equations of the form , where A is a skew-adjoint operator. We analyze the problem of observability through an operator B. More precisely, we assume that the pair (A,B) is exactly observable for the continuous model, and we derive uniform observability inequalities for suitable time-discretization schemes within the class of conveniently filtered initial data. The method we use is mainly based on the resolvent estimate given by Burq and Zworski in [N. Burq, M. Zworski, Geometric control in the presence of a black box, J. Amer. Math. Soc. 17(2) (2004) 443-471 (electronic)]. We present some applications of our results to time-discrete schemes for wave, Schrödinger and KdV equations and fully discrete approximation schemes for wave equations.