DOCSLIB.ORG

A Perron–Frobenius Theorem for a Class of Positive Quasi-Polynomial Matrices

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Perron–Frobenius Theorem for a Class of Positive Quasi-Polynomial Matrices View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Applied Mathematics Letters 19 (2006) 747–751 www.elsevier.com/locate/aml APerron–Frobenius theorem for a class of positive quasi-polynomial matrices Pham Huu Anh Ngoc∗ Department of Mathematics, The University of Electro-Communications, Chofu, Tokyo 182-8585, Japan Received 26 July 2004; received in revised form 21 October 2005; accepted 27 October 2005 Abstract In this work,wegiveanextension of the classical Perron–Frobenius theorem to positive quasi-polynomial matrices. Then the result obtained is applied to derive necessary and sufficient conditions for the exponential stability of positive linear time-delay differentialsystems. c 2005 Elsevier Ltd. All rights reserved. Keywords: Perron–Frobenius theorem; Positive system; Exponential stability of linear time-delay system; Quasi-polynomial matrices 1. Introduction It is well known that the principal tool for the analysis of the stability and robust stability of a positive system is the Perron–Frobenius theorem; see, e.g. [1–3,5–9,11,12,15]. It is natural to ask whether it is possible to generalize this to classes of general (positive) linear systems and to positive nonlinear systems. To our knowledge, there are a large number of extensions of the classical Perron–Frobenius theorem in the literature. We were able to find the latest extensions of the Perron–Frobenius theorem to real, complex matrices in [13,14,16]andtononlinear systems in [2, 10]. However, the investigation of extension of the classical Perron–Frobenius theorem to (positive) quasi-polynomial matrices associated with linear time-delay differential systems of the form n x˙(t) = A0x(t) + A1x(t − h1) + ···+ Am x(t − hm ), x(t) ∈ R , t ≥ 0, (1) has not been studied yet. In this work, we give an extension of the classical Perron–Frobenius theorem to positive quasi-polynomial matrices associated with positive linear time-delay differential systems of the form (1).Thenthe result obtained is applied to derive necessary and sufficient conditions for exponential stability of positive systems of the form (1). The organization of this work is as follows. In the next section, we summarize some notation and recall the classical Perron–Frobenius theorem which will be used in the remainder. The main results of the work will be presented in Section 3 where we extend the classical Perron–Frobenius theorem to positive quasi-polynomial matrices. ∗ Tel.: +81 516 204613; fax: +81 516 227510. E-mail address: [email protected]. 0893-9659/$ - see front matter c 2005 Elsevier Ltd. All rights reserved. doi:10.1016/j.aml.2005.10.005 748 P. H.A. Ngoc / Applied Mathematics Letters 19 (2006) 747–751 In Section 4,asanapplication of the Perron–Frobenius theorem of positive quasi-polynomial matrices, we give necessary and sufficient conditions for the exponential stability of the positive linear time-delay differential systems of the form (1). 2. Preliminaries Let K = C or R and n, l, q be positive integers. Inequalities between real matrices or vectors will be understood componentwise, i.e. for two real l × q-matrices A = (aij) and B = (bij),the inequality A ≥ B means aij ≥ bij for i = 1, ...,l, j = 1, ...,q.Furthermore,ifaij > bij for i = 1, ...,l, j = 1, ...,q then we write A B instead of l×q n A ≥ B.The set of all nonnegative l × q-matrices is denoted by R+ .Ifx = (x1, x2, ...,xn) ∈ K and P = (pij) ∈ l×q n×n K we define |x|=(|xi |) and |P|=(|pij|).Then|CD|≤|C||D|.Foranymatrix A ∈ K the spectral abscissa of the matrix A is denoted by µ(A) = max{Rλ : λ ∈ σ(A)},whereσ(A) := {z ∈ C : det(zIn − A) = 0} is the set n×n of all eigenvalues of A.LetA = (aij) ∈ R .Thematrix A is called a Metzler matrix if aij ≥ 0, for every i = j. It is equivalent to A + αIn being a nonnegative matrix for some α ∈ R.Thenext theorem summarizes some basic properties of Metzler matrices; see e.g. [7]. Theorem 2.1. Suppose that A ∈ Rn×n is a Metzler matrix. Then (i) (Perron–Frobenius theorem for Metzler matrices) µ(A) is an eigenvalue of A and there exists a nonnegative eigenvector x ≥ 0, x = 0 such that Ax = µ(A)x. (ii) Given α ∈ R,there exists a nonzero vector x ≥ 0 such that Ax ≥ αxifand only if µ(A) ≥ α. −1 (iii) (tIn − A) exists and is nonnegative if and only if t >µ(A). n×n n×n (iv) Given B ∈ R+ , C ∈ C ,then |C|≤B ⇒ µ(A + C) ≤ µ(A + B). (2) 3. A Perron–Frobenius theorem for a class of positive quasi-polynomial matrices Consider a quasi-polynomial matrix associated with the linear time-delay differential system (1) of the form −h1s −hm s Q(s) := sIn − A0 − A1e − ···− Ame , s ∈ C, (3) n×n where A0, A1, ...,Am ∈ R are given matrices and 0 < h1 < h2 < ···< hm are given positive numbers. For s ∈ C,ifdetQ(s) = 0thens is called an eigenvalue of the quasi-polynomial matrix (3).Then, a nonzero vector x ∈ Cn satisfying Q(s)x = 0iscalledaneigenvector of Q(·) corresponding to the eigenvalue s.Weset µ0 := sup{Rs : det Q(s) = 0} (4) and µ0 is called the spectral abscissa of the quasi-polynomial matrix (3).Itiswell known that µ0 < +∞ and det Q(s) has at most finitely many zeros in a given vertical strip; see e.g. [4]. So, we can replace sup by max in (4). Definition 3.1. The quasi-polynomial matrix (3) is called positive if A0 is a Metzler matrix and A1, ...,Am are nonnegative matrices. It is important to note that the quasi-polynomial matrix (3) is positive if and only if the associated linear delay-time n×n differentialsystem(1) is a positive system. That is, for any initial function φ ∈ C([−hm, 0], R+ ),the corresponding n×n solution x(t,φ),t ≥ 0ofthesystem (1) satisfies x(t,φ) ∈ R+ , ∀t ≥ 0. For further details, we refer the reader to [15]. We are now in the position to prove the main result of this work. The following theorem is an extension of Theorem 2.1 for the positive monomial matrix P(s) = sIn − A to positive quasi-polynomial matrices of the form (3). Theorem 3.2. Letthe quasi-polynomial matrix (3) be positive. Then (i) (Perron–Frobenius theorem for positive quasi-polynomial matrices) µ0 is an eigenvalue of the quasi-polynomial matrix (3) and there exists a nonnegative eigenvector x such that Q(µ0)x = 0. P. H.A. Ngoc / Applied Mathematics Letters 19 (2006) 747–751 749 n (ii) Given θ ∈ R,there exists a nonzero vector x ∈ R+ such that −h θ −hm θ (A0 + A1e 1 + ···+ Ame )x ≥ θx if and only if µ0 ≥ θ. (iii) For t ∈ R,wehave −1 t >µ0 ⇔ Q(t) ≥ 0. −h s Proof. (i) Assume that det Q(s) = 0, for some s ∈ C and Rs = µ0.Thisimplies that s ∈ σ(A0 + A1e 1 + ···+ −h s −h s Ame m ).Bythe definition of the spectral abscissa of a matrix, we derive that µ0 = Rs ≤ µ(A0 + A1e 1 + −h s ···+ Ame m ).ByTheorem 2.1(iv), it follows from A0 being a Metzler matrix and Ai , i ∈{1, 2, ...,m},being −h s −h s −h µ −h µ nonnegative matrices that µ(A0 + A1e 1 + ··· + Ame m ) ≤ µ(A0 + A1e 1 0 + ··· + Ame m 0 ).Thus, −h µ −h µ µ0 ≤ µ(A0 + A1e 1 0 + ···+ Ame m 0 ). −h t −h t Consider the continuous real function f (t) := t − µ(A0 + A1e 1 + ···+ Ame m ), t ∈ R.Then, we have f (µ0) ≤ 0. Assume f (µ0)<0. Since, clearly, limt→+∞ f (t) =+∞,wehave f (t0) = 0forsomet0 >µ0, −h t −h t so that t0 = µ(A0 + A1e 1 0 + ··· + Ame m 0 ).ByTheorem 2.1(i), t0 is an eigenvalue of the Metzler matrix −h t −h t A0 + A1e 1 0 + ···+Ame m 0 .Therefore, det Q(t0) = 0fort0 >µ0.However, this conflicts with the definition of −h µ −h µ µ0.Thus f (µ0) = 0, or equivalently µ0 = µ(A0 + A1e 1 0 + ···+ Ame m 0 ).Applying Theorem 2.1(i) to the −h µ −h µ Metzler matrix A0 + A1e 1 0 + ···+ Ame m 0 ,weget(i). −h θ −h θ n (ii) Assume that (A0 + A1e 1 + ···+ Ame m )x ≥ θx,forsome nonzero vector x ∈ R+.Then, it follows from −h θ −h θ Theorem 2.1(ii) that µ(A0 + A1e 1 + ···+ Ame m ) ≥ θ.Itisimportant to note that the function f given in the proof of (i) is strictly increasing on R.Since f (µ0) = 0and f (θ) ≤ 0, we derive µ0 ≥ θ.Conversely,ifµ0 ≥ θ −h θ −h θ then by Theorem 2.1(iv) µ(A0 + A1e 1 + ···+Ame m ) ≥ µ0 ≥ θ.Then, applying Theorem 2.1(ii) again to the −h θ −h θ Metzler matrix A0 + A1e 1 + ···+ Ame m ,wegetwhat we desired. −h µ −h µ (iii) For every t ∈ R, t >µ0,wehavet >µ0 = µ(A0 + A1e 1 0 + ···+ Ame m 0 ).Ontheother hand, from −h µ −h µ −h t −h t Theorem 2.1(iv), it follows that µ(A0 + A1e 1 0 + ···+Ame m 0 ) ≥ µ(A0 + A1e 1 + ···+Ame m ).Hence, −h t −h t −h t −h t t >µ(A0+ A1e 1 +···+Ame m ).Applying Theorem 2.1(iii) to the Metzler matrix A0+ A1e 1 +···+Ame m , we obtain Q(t)−1 ≥ 0. The converse also follows from Theorem 2.1(iii).
Load more

Recommended publications
  • Stabilization, Estimation and Control of Linear Dynamical Systems with Positivity and Symmetry Constraints
    Stabilization, Estimation and Control of Linear Dynamical Systems with Positivity and Symmetry Constraints A Dissertation Presented by Amirreza Oghbaee to The Department of Electrical and Computer Engineering in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Electrical Engineering Northeastern University Boston, Massachusetts April 2018 To my parents for their endless love and support i Contents List of Figures vi Acknowledgments vii Abstract of the Dissertation viii 1 Introduction 1 2 Matrices with Special Structures 4 2.1 Nonnegative (Positive) and Metzler Matrices . 4 2.1.1 Nonnegative Matrices and Eigenvalue Characterization . 6 2.1.2 Metzler Matrices . 8 2.1.3 Z-Matrices . 10 2.1.4 M-Matrices . 10 2.1.5 Totally Nonnegative (Positive) Matrices and Strictly Metzler Matrices . 12 2.2 Symmetric Matrices . 14 2.2.1 Properties of Symmetric Matrices . 14 2.2.2 Symmetrizer and Symmetrization . 15 2.2.3 Quadratic Form and Eigenvalues Characterization of Symmetric Matrices . 19 2.3 Nonnegative and Metzler Symmetric Matrices . 22 3 Positive and Symmetric Systems 27 3.1 Positive Systems . 27 3.1.1 Externally Positive Systems . 27 3.1.2 Internally Positive Systems . 29 3.1.3 Asymptotic Stability . 33 3.1.4 Bounded-Input Bounded-Output (BIBO) Stability . 34 3.1.5 Asymptotic Stability using Lyapunov Equation . 37 3.1.6 Robust Stability of Perturbed Systems . 38 3.1.7 Stability Radius . 40 3.2 Symmetric Systems . 43 3.3 Positive Symmetric Systems . 47 ii 4 Positive Stabilization of Dynamic Systems 50 4.1 Metzlerian Stabilization . 50 4.2 Maximizing the stability radius by state feedback .
    [Show full text]
  • On Control of Discrete-Time LTI Positive Systems
    Applied Mathematical Sciences, Vol. 11, 2017, no. 50, 2459 - 2476 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ams.2017.78246 On Control of Discrete-time LTI Positive Systems DuˇsanKrokavec and Anna Filasov´a Department of Cybernetics and Artificial Intelligence Faculty of Electrical Engineering and Informatics Technical University of Koˇsice Letn´a9/B, 042 00 Koˇsice,Slovakia Copyright c 2017 DuˇsanKrokavec and Anna Filasov´a.This article is distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract Incorporating an associated structure of constraints in the form of linear matrix inequalities, combined with the Lyapunov inequality guaranteing asymptotic stability of discrete-time positive linear system structures, new conditions are presented with which the state-feedback controllers can be designed. Associated solutions of the proposed design conditions are illustrated by numerical illustrative examples. Keywords: state feedback stabilization, linear discrete-time positive sys- tems, Schur matrices, linear matrix inequalities, asymptotic stability 1 Introduction Positive systems are often found in the modeling and control of engineering and industrial processes, whose state variables represent quantities that do not have meaning unless they are nonnegative [26]. The mathematical theory of Metzler matrices has a close relationship to the theory of positive linear time- invariant (LTI) dynamical systems, since in the state-space description form the system dynamics matrix of a positive systems is Metzler and the system input and output matrices are nonnegative matrices. Other references can find, e.g., in [8], [16], [19], [28]. The problem of Metzlerian system stabilization has been previously stud- ied, especially for single input and single output (SISO) continuous-time linear 2460 D.
    [Show full text]
  • Z Matrices, Linear Transformations, and Tensors
    Z matrices, linear transformations, and tensors M. Seetharama Gowda Department of Mathematics and Statistics University of Maryland, Baltimore County Baltimore, Maryland, USA [email protected] *************** International Conference on Tensors, Matrices, and their Applications Tianjin, China May 21-24, 2016 Z matrices, linear transformations, and tensors – p. 1/35 This is an expository talk on Z matrices, transformations on proper cones, and tensors. The objective is to show that these have very similar properties. Z matrices, linear transformations, and tensors – p. 2/35 Outline • The Z-property • M and strong (nonsingular) M-properties • The P -property • Complementarity problems • Zero-sum games • Dynamical systems Z matrices, linear transformations, and tensors – p. 3/35 Some notation • Rn : The Euclidean n-space of column vectors. n n • R+: Nonnegative orthant, x ∈ R+ ⇔ x ≥ 0. n n n • R++ : The interior of R+, x ∈++⇔ x > 0. • hx,yi: Usual inner product between x and y. • Rn×n: The space of all n × n real matrices. • σ(A): The set of all eigenvalues of A ∈ Rn×n. Z matrices, linear transformations, and tensors – p. 4/35 The Z-property A =[aij] is an n × n real matrix • A is a Z-matrix if aij ≤ 0 for all i =6 j. (In economics literature, −A is a Metzler matrix.) • We can write A = rI − B, where r ∈ R and B ≥ 0. Let ρ(B) denote the spectral radius of B. • A is an M-matrix if r ≥ ρ(B), • nonsingular (strong) M-matrix if r > ρ(B). Z matrices, linear transformations, and tensors – p. 5/35 The P -property • A is a P -matrix if all its principal minors are positive.
    [Show full text]
  • An Alternating Sequence Iteration's Method for Computing Largest Real Part Eigenvalue of Essentially Positive Matrices
    Computa & tio d n ie a l l Oepomo, J Appl Computat Math 2016, 5:6 p M p a Journal of A t h f DOI: 10.4172/2168-9679.1000334 e o m l a a n t r ISSN: 2168-9679i c u s o J Applied & Computational Mathematics Research Article Open Access An Alternating Sequence Iteration’s Method for Computing Largest Real Part Eigenvalue of Essentially Positive Matrices: Collatz and Perron- Frobernius’ Approach Tedja Santanoe Oepomo* Mathematics Division, Los Angeles Harbor College/West LA College, and School of International Business, California International University, USA Abstract This paper describes a new numerical method for the numerical solution of eigenvalues with the largest real part of essentially positive matrices. Finally, a numerical discussion is given to derive the required number of mathematical operations of the new method. Comparisons between the new method and several well know ones, such as Power and QR methods, were discussed. The process consists of computing lower and upper bounds which are monotonically approximating the eigenvalue. Keywords: Collatz’s theorem; Perron-Frobernius’ theorem; Background Eigenvalue Let A be an n x n essentially positive matrix. The new method can AMS subject classifications: 15A48; 15A18; 15A99; 65F10 and 65F15 be used to numerically determine the eigenvalue λA with the largest real part and the corresponding positive eigenvector x[A] for essentially Introduction positive matrices. This numerical method is based on previous manuscript [16]. A matrix A=(a ) is an essentially positive matrix if a A variety of numerical methods for finding eigenvalues of non- ij ij negative irreducible matrices have been reported over the last decades, ≥ 0 for all i ≠ j, 1 ≤ i, j ≤ n, and A is irreducible.
    [Show full text]
  • Stability Analysis of Positive Linear Systems by Decomposition of the State Matrices Into Symmetrical and Antisymmetrical Parts
    BULLETIN OF THE POLISH ACADEMY OF SCIENCES TECHNICAL SCIENCES, Vol. 67, No. 4, 2019 DOI: 10.24425/bpasts.2019.130185 Stability analysis of positive linear systems by decomposition of the state matrices into symmetrical and antisymmetrical parts T. KACZOREK* Bialystok University of Technology, Faculty of Electrical Engineering, Wiejska 45D, 15-351 Bialystok Abstract. The stability of positive linear continuous-time and discrete-time systems is analyzed by the use of the decomposition of the state matrices into symmetrical and antisymmetrical parts. It is shown that: 1) The state Metzler matrix of positive continuous-time linear system is Hurwitz if and only if its symmetrical part is Hurwitz; 2) The state matrix of positive linear discrete-time system is Schur if and only if its symmetrical part is Hurwitz. These results are extended to inverse matrices of the state matrices of the positive linear systems. Key words: linear, positive, system, decomposition, state matrix, stability. 1. Introduction The following notation will be used: ℜ – the set of real n m n m numbers, ℜ £ – the set of n m real matrices, ℜ+£ – the set £ n n 1 A dynamical system is called positive if its trajectory starting of n m real matrices with nonnegative entries and ℜ = ℜ £ , £ + + from any nonnegative initial state remains forever in the posi- M – the set of n n Metzler matrices (real matrices with non- n £ tive orthant for all nonnegative inputs. An overview of state of negative off-diagonal entries), I – the n n identity matrix. n £ the art in positive systems theory is given in the monographs [1, 3, 7].
    [Show full text]
  • Matrix Algebra and Control
    Appendix A Matrix Algebra and Control Boldface lower case letters, e.g., a or b, denote vectors, boldface capital letters, e.g., A, M, denote matrices. A vector is a column matrix. Containing m elements (entries) it is referred to as an m-vector. The number of rows and columns of a matrix A is nand m, respectively. Then, A is an (n, m)-matrix or n x m-matrix (dimension n x m). The matrix A is called positive or non-negative if A>, 0 or A :2:, 0 , respectively, i.e., if the elements are real, positive and non-negative, respectively. A.1 Matrix Multiplication Two matrices A and B may only be multiplied, C = AB , if they are conformable. A has size n x m, B m x r, C n x r. Two matrices are conformable for multiplication if the number m of columns of the first matrix A equals the number m of rows of the second matrix B. Kronecker matrix products do not require conformable multiplicands. The elements or entries of the matrices are related as follows Cij = 2::;;'=1 AivBvj 'Vi = 1 ... n, j = 1 ... r . The jth column vector C,j of the matrix C as denoted in Eq.(A.I3) can be calculated from the columns Av and the entries BVj by the following relation; the jth row C j ' from rows Bv. and Ajv: column C j = L A,vBvj , row Cj ' = (CT),j = LAjvBv, (A. 1) /1=1 11=1 A matrix product, e.g., AB = (c: c:) (~b ~b) = 0 , may be zero although neither multipli­ cand A nor multiplicator B is zero.
    [Show full text]
  • LMI Based Principles in Strictly Metzlerian Systems Control Design
    Hindawi Mathematical Problems in Engineering Volume 2018, Article ID 9590253, 14 pages https://doi.org/10.1155/2018/9590253 Research Article LMI Based Principles in Strictly Metzlerian Systems Control Design Dušan Krokavec and Anna Filasová Department of Cybernetics and Artifcial Intelligence, Faculty of Electrical Engineering and Informatics, Technical University of Koˇsice, Letna9,04200Ko´ ˇsice, Slovakia Correspondence should be addressed to Duˇsan Krokavec; [email protected] Received 5 August 2017; Revised 15 January 2018; Accepted 22 April 2018; Published 17 July 2018 Academic Editor: Marzio Pennisi Copyright © 2018 Duˇsan Krokavec and Anna Filasova.´ Tis is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Te paper is concerned with the design requirements that relax the existing conditions reported in the previous literature for continuous-time linear positive systems, reformulating the linear programming approach by the linear matrix inequalities principle. Incorporating an associated structure of linear matrix inequalities, combined with the Lyapunov inequality guaranteeing asymptotic stability of positive system structures, the conditions are presented, with which the state-feedback controllers and the system state observers can be designed. A numerical example illustrates the proposed conditions. 1. Introduction design. Te second group of methods represents [8], where LMI conditions to state observer design for positive linear Positive systems are ofen found in the modeling and control systems are presented, but the observer is not of Luenberger of engineering and industrial processes, whose state variables type since the standard observer gain matrix does not specify represent quantities that do not have meaning unless they the observer dynamics and an additive matrix is used to are nonnegative [1].
    [Show full text]
  • Optimising the Perron Eigenvalue with Applications to Dynamical Systems and Graphs
    Aleksandar Cvetkovic´ Gran Sasso Science Institute (GSSI) L'Aquila, Italy OPTIMISING THE PERRON EIGENVALUE WITH APPLICATIONS TO DYNAMICAL SYSTEMS AND GRAPHS PhD Thesis March 7, 2019 Thesis advisor: Vladimir Yu. Protasov University of L'Aquila, Italy Faculty of Computer Science of National Research University Higher School of Economics, Moscow, Russia G. Mahler - Symphony no. 10, Adagio Contents 1 Introduction 5 1.1 Thesis overview . .6 2 Positive product families 11 2.1 Simplex and greedy method: an overview . 12 2.2 Simplex vs. greedy method: a comparison . 14 3 Non-negative product families 17 3.1 Greedy method for non-negative families . 17 3.2 The (in)applicability of the greedy method . 21 3.3 Selective greedy method . 25 3.4 The convergence rate of the greedy method . 29 3.5 Selective greedy method: numerical results . 35 3.6 Optimizing spectral radius on reducible families . 39 4 Applications of the selective greedy method to non-negative matrices 41 4.1 Closest stable non-negative matrix . 42 4.2 Applications to graphs . 49 5 Metzler product families 59 5.1 Greedy method for full Metzler matrices . 61 5.2 Greedy method for sparse Metzler matrices . 64 5.3 Numerical results . 66 6 Closest (un)stable Metzler matrix 69 6.1 Hurwitz (de)stabilization in max-norm . 70 6.2 Hurwitz destabilization in L1 norm . 74 6.3 Hurwitz stabilization in L1 norm . 79 3 7 Applications of selective greedy method to Metzler matrices 85 7.1 Closest stable sign-matrix and its application to positive LSS . 87 Appendix: Implementation and strategies of the presented algo- rithms 97 Thesis summary 101 Bibliography 103 4 Chapter 1 Introduction Metzler matrices are an important tool for applied mathematics.
    [Show full text]
  • Arxiv:1907.07089V1 [Math.SP]
    UNIFYING MATRIX STABILITY CONCEPTS WITH A VIEW TO APPLICATIONS Olga Y. Kushel Shanghai University, Department of Mathematics, Shangda Road 99, 200444 Shanghai, China [email protected] Abstract Multiplicative and additive D-stability, diagonal stability, Schur D- stability, H-stability are classical concepts which arise in studying linear dynamical systems. We unify these types of stability, as well as many others, in one concept of (D, G, ◦)-stability, which depends on a stability region D ⊂ C, a matrix class G and a binary matrix operation ◦. This ap- proach allows us to unite several well-known matrix problems and to con- sider common methods of their analysis. In order to collect these methods, we make a historical review, concentrating on diagonal and D-stability. We prove some elementary properties of (D, G, ◦)-stable matrices, uniting the facts that are common for many partial cases. Basing on the proper- ties of a stability region D which may be chosen to be a concrete subset of C (e.g. the unit disk) or to belong to a specified type of regions (e.g. LMI regions) we briefly describe the methods of further development of the theory of (D, G, ◦)-stability. We mention some applications of the theory of (D, G, ◦)-stability to the dynamical systems of different types. Hurwitz stability, D-stability, diagonal stability, eigenvalue clustering, LMI regions, Lyapunov equation. MSC[2010] 15A48, 15A18, 15A75 Contents I Motivation and history 3 1 Introduction 3 1.1 OverviewofPaper .......................... 4 1.2 Unifyingconcept ........................... 5 1.3 Multiplicative (D, G)-stability.................... 6 arXiv:1907.07089v1 [math.SP] 14 Jul 2019 1.4 Hadamard (D, G)-stability.....................
    [Show full text]
  • New Initialization Strategy for Nonnegative Matrix Factorization
    NEW INITIALIZATION STRATEGY FOR NONNEGATIVE MATRIX FACTORIZATION A Thesis Presented By Yueyang Wang to The Department of Electrical and Computer Engineering In partial fulfillment of requirements for the degree of Master of Science in the field of Electrical & Computer Engineering Northeastern University Boston, Massachusetts May 2018 ii ABSTRACT Nonnegative matrix factorization (NMF) has been proved to be a powerful data representation method, and has shown success in applications such as data representation and document clustering. In this thesis, we propose a new initialization strategy for NMF. This new method is entitled square nonnegative matrix factorization, SQR-NMF. In this method, we first transform the non-square nonnegative matrix to a square one. Several strategies are proposed to achieve SQR step. Then we take the positive section of eigenvalues and eigenvectors for initialization. Simulation results show that SQR-NMF has faster convergence rate and provides an approximation with lower error rate as compared to SVD-NMF and random initialization methods. Complementing different elements in data matrix also affect the results. The experiments show that complementary elements should be 0 for small data sets and mean values of each row or column of the original nonnegative matrix for large data sets. Key words: Nonnegative matrix factorization, complementary elements iii ACKNOWLEDGEMENT I would like to express my sincere gratitude to my thesis advisor, Professor Shafai for his patience, motivation, and immense knowledge. His guidance helped me a lot in all the time of research and writing of the thesis. I could not have imagined having a better advisor for my master study. Besides my advisor, I would like to thank the rest of my thesis committee: Professor Nian Sun and Professor Vinay Ingle, for their insightful comments and encouragement.
    [Show full text]
  • LQ Problem in Stabilization of Linear Metzlerian Continuous-Time Systems
    INTERNATIONAL JOURNAL OF MATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES Volume 12, 2018 LQ Problem in Stabilization of Linear Metzlerian Continuous-time Systems D. Krokavec and A. Filasova represented by state-space equations, the synthesis of Abstract—The paper present a consistent set of linear matrix stabilizing state-feedback controllers, guaranteeing the closed- inequalities which guaranties asymptotic stability of the closed-loop loop system is asymptotically stable and internally positive, is system, warranties strictly Metzlerian system structure, and adjusts conditionally supported by linear programming to meet the the state and output variables coincident with prescribed quadratic closed-loop system positive structure [11], [12]. In order to limits. To realize with a positive control law gain, the diagonal stabilizability of strictly Metzlerian linear continuous-time systems is reduce the number of constraints entering the solution in linear approved, and the related closed-form expression of design condi- programming methods, an alternative synthesis procedure with tions is provided. The results are illustrated using a particular LQ is proposed in [13], where the system parameter boundaries problem, for which numerical examples are given. are defined by n linear matrix inequalities (LMI), if the system is strictly Metzlerian. Because a solution of such defined base Keywords—asymptotic stability, linear matrix inequalities, linear set of LMIs only assures that the closed-loop system matrix is quadratic control, Metzlerian continuous-time systems, state feedback strictly Metzler, the design conditions are complemented by stabilization. another LMI that imposes a stable asymptotic solution. Since the applied LMI variables are of diagonal matrix structure, it I. INTRODUCTION can be refereed about diagonal stabilizability of the strictly Positive systems indicate the processes whose variables Metzlerian continuous-time linear systems.
    [Show full text]
  • Perron–Frobenius Theorem - Wikipedia
    Perron–Frobenius theorem - Wikipedia https://en.wikipedia.org/wiki/Perron–Frobenius_theorem Perron–Frobenius theorem In linear algebra, the Perron–Frobenius theorem, proved by Oskar Perron (1907) and Georg Frobenius (1912), asserts that a real square matrix with positive entries has a unique largest real eigenvalue and that the corresponding eigenvector can be chosen to have strictly positive components, and also asserts a similar statement for certain classes of nonnegative matrices. This theorem has important applications to probability theory (ergodicity of Markov chains); to the theory of dynamical systems (subshifts of finite type); to economics (Okishio's theorem,[1] Hawkins–Simon condition[2]); to demography (Leslie population age distribution model);[3] to social networks (DeGroot learning process), to Internet search engines[4] and even to ranking of football teams.[5] The first to discuss the ordering of players within tournaments using Perron– Frobenius eigenvectors is Edmund Landau.[6] [7] Contents Statement Positive matrices Non-negative matrices Classification of matrices Perron–Frobenius theorem for irreducible matrices Further properties Applications Non-negative matrices Stochastic matrices Algebraic graph theory Finite Markov chains Compact operators Proof methods Perron root is strictly maximal eigenvalue for positive (and primitive) matrices Proof for positive matrices Lemma Power method and the positive eigenpair Multiplicity one No other non-negative eigenvectors Collatz–Wielandt formula Perron projection as a limit: Ak/rk Inequalities for Perron–Frobenius eigenvalue Further proofs 1 of 18 2/8/19, 14:03 Perron–Frobenius theorem - Wikipedia https://en.wikipedia.org/wiki/Perron–Frobenius_theorem Perron projection Peripheral projection Cyclicity Caveats Terminology See also Notes References Original papers Further reading Statement Let positive and non-negative respectively describe matrices with exclusively positive real numbers as elements and matrices with exclusively non-negative real numbers as elements.
    [Show full text]