Hamiltonian Matrices and the Algebraic Riccati Equation. Seminar presentation

Similar documents
ON SOME PROPERTIES OF THE SYMPLECTIC AND HAMILTONIAN MATRICES

IMPORTANT DEFINITIONS AND THEOREMS REFERENCE SHEET

1. What is the determinant of the following matrix? a 1 a 2 4a 3 2a 2 b 1 b 2 4b 3 2b c 1. = 4, then det

DIAGONALIZATION. In order to see the implications of this definition, let us consider the following example Example 1. Consider the matrix

IMPORTANT DEFINITIONS AND THEOREMS REFERENCE SHEET

Linear Algebra review Powers of a diagonalizable matrix Spectral decomposition

Final Examination 201-NYC-05 - Linear Algebra I December 8 th, and b = 4. Find the value(s) of a for which the equation Ax = b

1 Linear Algebra Problems

Introduction to Matrix Algebra

0.1 Rational Canonical Forms

Question: Given an n x n matrix A, how do we find its eigenvalues? Idea: Suppose c is an eigenvalue of A, then what is the determinant of A-cI?

Chapter 7. Linear Algebra: Matrices, Vectors,

Linear Algebra review Powers of a diagonalizable matrix Spectral decomposition

ALGEBRA 8: Linear algebra: characteristic polynomial

235 Final exam review questions

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Math 1060 Linear Algebra Homework Exercises 1 1. Find the complete solutions (if any!) to each of the following systems of simultaneous equations:

w T 1 w T 2. w T n 0 if i j 1 if i = j

Math Bootcamp An p-dimensional vector is p numbers put together. Written as. x 1 x =. x p

Matrices and Linear Algebra

ON THE MATRIX EQUATION XA AX = X P

Matrices A brief introduction

Matrices A brief introduction

A matrix is a rectangular array of. objects arranged in rows and columns. The objects are called the entries. is called the size of the matrix, and

MA 265 FINAL EXAM Fall 2012

A matrix is a rectangular array of. objects arranged in rows and columns. The objects are called the entries. is called the size of the matrix, and

Dimension. Eigenvalue and eigenvector

Online Exercises for Linear Algebra XM511

1. Let m 1 and n 1 be two natural numbers such that m > n. Which of the following is/are true?

ELE/MCE 503 Linear Algebra Facts Fall 2018

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

Linear Algebra II Lecture 13

Linear Algebra Practice Problems

Discrete Riccati equations and block Toeplitz matrices

Announcements Wednesday, November 01

Perturbation theory for eigenvalues of Hermitian pencils. Christian Mehl Institut für Mathematik TU Berlin, Germany. 9th Elgersburg Workshop

Eigenvalues and Eigenvectors

Family Feud Review. Linear Algebra. October 22, 2013

Knowledge Discovery and Data Mining 1 (VO) ( )

Linear Algebra 1 Exam 2 Solutions 7/14/3

Conceptual Questions for Review

Algebra II. Paulius Drungilas and Jonas Jankauskas

PRACTICE FINAL EXAM. why. If they are dependent, exhibit a linear dependence relation among them.

Linear Algebra. Workbook

Math113: Linear Algebra. Beifang Chen

City Suburbs. : population distribution after m years

Topic 1: Matrix diagonalization

Answer Keys For Math 225 Final Review Problem

(b) If a multiple of one row of A is added to another row to produce B then det(b) =det(a).

Announcements Wednesday, November 01

Linear Algebra Practice Problems

Part IA. Vectors and Matrices. Year

Vectors and matrices: matrices (Version 2) This is a very brief summary of my lecture notes.

Topics in linear algebra

Study Guide for Linear Algebra Exam 2

Linear Algebra Practice Final

Symmetric and self-adjoint matrices

Algebra C Numerical Linear Algebra Sample Exam Problems

Linear algebra II Tutorial solutions #1 A = x 1

Econ Slides from Lecture 7

1. Let A = (a) 2 (b) 3 (c) 0 (d) 4 (e) 1

5.) For each of the given sets of vectors, determine whether or not the set spans R 3. Give reasons for your answers.

Review of Some Concepts from Linear Algebra: Part 2

Homework 2. Solutions T =

Calculating determinants for larger matrices

2 The Linear Quadratic Regulator (LQR)

MATH 20F: LINEAR ALGEBRA LECTURE B00 (T. KEMP)

Queens College, CUNY, Department of Computer Science Numerical Methods CSCI 361 / 761 Spring 2018 Instructor: Dr. Sateesh Mane.

Definite versus Indefinite Linear Algebra. Christian Mehl Institut für Mathematik TU Berlin Germany. 10th SIAM Conference on Applied Linear Algebra

Homework sheet 4: EIGENVALUES AND EIGENVECTORS. DIAGONALIZATION (with solutions) Year ? Why or why not? 6 9

Math 314/ Exam 2 Blue Exam Solutions December 4, 2008 Instructor: Dr. S. Cooper. Name:

Chapter 4 - MATRIX ALGEBRA. ... a 2j... a 2n. a i1 a i2... a ij... a in

NOTES on LINEAR ALGEBRA 1

OHSx XM511 Linear Algebra: Solutions to Online True/False Exercises

Physics 129B, Winter 2010 Problem Set 4 Solution

Jordan Canonical Form

1 Last time: least-squares problems

Matrix Algebra Determinant, Inverse matrix. Matrices. A. Fabretti. Mathematics 2 A.Y. 2015/2016. A. Fabretti Matrices

Numerical Linear Algebra Homework Assignment - Week 2

Math 265 Linear Algebra Sample Spring 2002., rref (A) =

2018 Fall 2210Q Section 013 Midterm Exam II Solution

First we introduce the sets that are going to serve as the generalizations of the scalars.

Matrices and Determinants

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

A Field Extension as a Vector Space

We denote the derivative at x by DF (x) = L. With respect to the standard bases of R n and R m, DF (x) is simply the matrix of partial derivatives,

x 3y 2z = 6 1.2) 2x 4y 3z = 8 3x + 6y + 8z = 5 x + 3y 2z + 5t = 4 1.5) 2x + 8y z + 9t = 9 3x + 5y 12z + 17t = 7

Recall the convention that, for us, all vectors are column vectors.

1 Matrices and Systems of Linear Equations. a 1n a 2n

UNIVERSAL IDENTITIES. b = det

Week 6: Differential geometry I

Linear Algebra- Final Exam Review

Section 2.2: The Inverse of a Matrix

[ Here 21 is the dot product of (3, 1, 2, 5) with (2, 3, 1, 2), and 31 is the dot product of

m We can similarly replace any pair of complex conjugate eigenvalues with 2 2 real blocks. = R

ENGG5781 Matrix Analysis and Computations Lecture 9: Kronecker Product

MATH 221, Spring Homework 10 Solutions

Eigenvalue perturbation theory of structured real matrices and their sign characteristics under generic structured rank-one perturbations

Linear Algebra Formulas. Ben Lee

Eigenvalues and Eigenvectors

Transcription:

Hamiltonian Matrices and the Algebraic Riccati Equation Seminar presentation by Piyapong Yuantong 7th December 2009 Technische Universität Chemnitz

1 Hamiltonian matrices We start by introducing the square matrix J R 2n 2n defined by On I n J =, (1) I n O n where O n R n n I n R n n zero matrix identity matrix. Remark It is not very complicated to prove the following properties of the matrix J: i. J T = J ii. J = J T iii. J T J = I 2n iv. J T J T = I 2n v. J 2 = I 2n vi. det J = ±1 Definition 1 A matrix A R 2n 2n is called Hamiltonian if J A is symmetric, so J A = (J A) T A T J + J A = 0 where J R 2n 2n is from (1). We will denote H n = { A R 2n 2n A T J + J A = 0 } the set of 2n 2n Hamiltonian matrices. 1

Proposition 1.1 The following are equivalent: a) A is a Hamiltionian matrix b) A = J S, where S = S T c) (J A) T = J A a b A = J J A A = J( J)A A H n (J( JA)) T J + JA = 0 J T J=I 2n ( JA) T J T J = JA ( JA) T = JA J( JA) T = A If JA = S A = J( JA) = J( JA) T A = JS = JS T = S = S T a c A T J + JA = 0 A T J = JA () T (A T J) T = ( JA) T J T A = (JA) T JA = (JA) T (JA) T = JA 2

Proposition 1.2 Let A, B H n. The following are true: a) A + B H n b) αa H n, α R c) A, B H n, where A, B def. = AB BA a) Because A and B are Hamiltonian matrices, it results that A T J + JA = 0, and respectively B T J + JB = 0. By adding those two relations we obtain: (A T + B T )J + J(A + B) = 0 (A + B) T J + J(A + B) = 0 A + B H b) A T J + JA = 0 A T Jα + JAα = 0 A T αj + J(Aα) = 0 (Aα) T J + J(Aα) = 0 αa H c) We will prove that A, B = JM, where M = M T. We know that A = JS and B = JR, where S = S T and R = R T. A, B = AB BA = JSJR JRJS = J(SJR RJS) from where, using the notation SJR RJS = M, we obtain A, B = JM. Now we will show that M = M T : M T = (SJR RJS) T = (SJR) T (RJS) T = R T J T S T S T J T R T = RJS + SJR = SJR RJS = M 3

Consequence (H,, ) is a Lie algebra. We will prove the necessary properties of the bracket, in terms of bilinearity, antisymmetry and Jacobi s relation. i. αa + βb, C = αa, C + βb, C - evidently = the operation is bilinear. ii. A, B = AB BA = (BA AB) = B, A = the operation is antisymmetric. iii. Jacobi s relation is satisfied: A, B, C + C, A, B + B, C, A = AB BA, C + CA AC, B + BC CB, A == ABC BAC (CAB CBA) + CAB ACB = 0 (BCA BAC) + BCA CBA (ABC ACB)) Proposition 1.3 Let A H n and p A (x) - the characteristic polynomial of the matrix A. Then: a) p A (x) = p A ( x) b) if p A (c) = 0, then p A ( c) = p A ( c) = p A ( c) = 0, where c R. 4

a) p A (x) = det(a xi 2n ), but A = JA T J = p A (x) = det(ja T J xi 2n ) A = JA J = det(ja T J + JxJ) = det(j(a T + xi 2n )J) = detj det(a T + xi 2n )detj = det(a T + xi 2n ) = det(a T + xi2n) T = det(a + xi 2n ) T = det(a + xi 2n ) = det(a ( x)i 2n ) = p A ( x) b) p A (c) = 0 a) = p A ( c) = 0 p A (x) is a real coefficients polynomial = p A ( c) = 0 a) = p A ( c) = 0 2 The Algebraic Riccati Equation Definition 2.1 The linear space ν spanned by the vectors v 1,..., v k is called an invariant subspace of the matrix A (or A-invariant) if for every v ν, Av ν. This is equivalent to Av i ν for i = 1,..., k. We consider the general Algebraic Riccati Equation (ARE) 0 = R(x) = F + A T X + XA XGX (2) where A, F, G, X R n n and F, G are symmetric matrices (F = F T, G = G T ). Equation (2) is for a symmetric unknown X. First, we define the following 2n 2n matrix H = F A G A T (3) 5

Let the columns of U T, V T T, U, V, R n n, span a H-invariant, n-dimensional subspace, i.e., A G U U = Z, Z R n n, λ(z) λ(h) (4) F A T V V Assuming that U is nonsingular, we obtain from the first row of (4) AU + GV = UZ U AU + U GV = Z Inserting this into the equation resulting from evaluating the second row of (4) yields F U A T V = V Z = V U AU + V U GV The above equation is equivalent to 0 = F A T V U V U A V U GV U setting X := V U we see that X solves (2). Hence, from an H-invariant subspace of dimension n, given as the range U of with U nonsingular, we obtain a solution of the Algebraic Riccati V Equation (ARE). What remains is the problem of how to choose U, V such that U is nonsingular, V U is symmetric and X is stabilizing. Before we can solve this problem, we need some properties of the matrix H in (3). Remark It is easy to see that any Hamiltonian matrix must have the block representation as shown in (3). Moreover, it is easy to verify that the matrix H defined in (3) is Hamiltonian according to (JH) T = JH. By using the similarity transformation J HJ = JHJ = H T (5) it can be shown that if λ is an eigenvalue of H, then λ is also an eigenvalue of H. The subspace χ is the subspace spanned by the eigenvectors of H corresponding to the negative eigenvalues. This subspace is invariant under the transformation H; i.e., if x χ then Hx χ. 6

Theorem Consider the Hamiltonian matrix H with no eigenvalue on the imaginary axis and the invariant subspace χ R 2n n as follows, χ = Im which is spanned by eigenvectors associated with stable eigenvalues. If X 1 is invertible then X = is a (stabilizing and symmetric) solution of the corresponding Riccati equation and A GX is stable. Because χ is an invariant subset, there exists a stable matrix H such that A G H = H = = H F A T A G I I = = X F A T 1 HX 1 X X A G I = X I = 0 F A T X = XA + F XG A T I = 0 X, = XA F + XGX A T X = 0 = F + A T X + XA XGX = 0 From the other side we have GX A = X 1 HX 1 A GX = X 1 HX 1 which proves stability. To show that X is symmetric, we use equation (5) = T JH T F A T A G = T J H = ( X T 2 X 1 + X T 1 ) H 7

The left-hand side of this equation is symmetric and therefore the right-hand side is also symmetric, ( X T 2 X 1 + X T 1 ) H = H T ( X T 1 + X T 2 X 1 ) = H T ( X T 2 X 1 + X T 1 ) = ( X T 2 X 1 + X T 1 ) H + H T ( X T 2 X 1 + X T 1 ) = 0. This is a Lyapunov equation with the stable matrix H, and the only solution should be zero, and therefore X T 2 X 1 + X T 1 = 0 = X T 2 X 1 = X T 1, X = = T T = T X2 T X 1 = T X2 T is also symmetric. Remark As the matrix H is real, it can be shown that the solution X = X 1 is also real. Furthermore, this solution does not depend on the bases chosen and is the unique solution determined by H. 8