15.08.2015 Views

Introduction to the Modeling and Analysis of Complex Systems

introduction-to-the-modeling-and-analysis-of-complex-systems-sayama-pdf

introduction-to-the-modeling-and-analysis-of-complex-systems-sayama-pdf

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

7.4. ASYMPTOTIC BEHAVIOR OF CONTINUOUS-TIME LINEAR DYNAMICAL... 121with X 0 = I. This is a Taylor series-based definition <strong>of</strong> a usual exponential, but now it isgeneralized <strong>to</strong> accept a square matrix instead <strong>of</strong> a scalar number (which is a 1 x 1 squarematrix, by <strong>the</strong> way). It is known that this infinite series always converges <strong>to</strong> a well-definedsquare matrix for any X. Note that e X is <strong>the</strong> same size as X.Exercise 7.10 Confirm that <strong>the</strong> solution Eq. (7.43) satisfies Eq. (7.40).The matrix exponential e X has some interesting properties. First, its eigenvalues are<strong>the</strong> exponentials <strong>of</strong> X’s eigenvalues. Second, its eigenvec<strong>to</strong>rs are <strong>the</strong> same as X’s eigenvec<strong>to</strong>rs.That is:Xv = λv ⇒ e X v = e λ v (7.45)Exercise 7.11 Confirm Eq. (7.45) using Eq. (7.44).We can use <strong>the</strong>se properties <strong>to</strong> study <strong>the</strong> asymp<strong>to</strong>tic behavior <strong>of</strong> Eq. (7.43). As inChapter 5, we assume that A is diagonalizable <strong>and</strong> thus has as many linearly independenteigenvec<strong>to</strong>rs as <strong>the</strong> dimensions <strong>of</strong> <strong>the</strong> state space. Then <strong>the</strong> initial state <strong>of</strong> <strong>the</strong> systemcan be represented asx(0) = b 1 v 1 + b 2 v 2 + . . . + b n v n , (7.46)where n is <strong>the</strong> dimension <strong>of</strong> <strong>the</strong> state space <strong>and</strong> v i are <strong>the</strong> eigenvec<strong>to</strong>rs <strong>of</strong> A (<strong>and</strong> <strong>of</strong> e A ).Applying this <strong>to</strong> Eq. (7.43) results inx(t) = e At (b 1 v 1 + b 2 v 2 + . . . + b n v n ) (7.47)= b 1 e At v 1 + b 2 e At v 2 + . . . + b n e At v n (7.48)= b 1 e λ 1t v 1 + b 2 e λ 2t v 2 + . . . + b n e λnt v n . (7.49)This result shows that <strong>the</strong> asymp<strong>to</strong>tic behavior <strong>of</strong> x(t) is given by a summation <strong>of</strong> multipleexponential terms <strong>of</strong> e λ i(note <strong>the</strong> difference—this was λ i for discrete-time models).Therefore, which term eventually dominates o<strong>the</strong>rs is determined by <strong>the</strong> absolute value <strong>of</strong>e λ i. Because |e λ i| = e Re(λi) , this means that <strong>the</strong> eigenvalue that has <strong>the</strong> largest real partis <strong>the</strong> dominant eigenvalue for continuous-time models. For example, if λ 1 has <strong>the</strong> largestreal part (Re(λ 1 ) > Re(λ 2 ), Re(λ 3 ), . . . Re(λ n )), <strong>the</strong>nx(t) = e λ 1t ( b 1 v 1 + b 2 e (λ 2−λ 1 )t v 2 + . . . + b n e (λn−λ 1)t v n), (7.50)lim x(t) ≈t→∞ eλ 1t b 1 v 1 . (7.51)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!