EE263 Prof. S. Boyd EE263 homework 5 solutions 10.2 Harmonic oscillator. The system ẋ = " 0 ω −ω 0 # x is called a harmonic oscillator. (a) Find the eigenvalues, resolvent, and state transition matrix for the harmonic oscillator. Express x(t) in terms of x(0). (b) Sketch the vector field of the harmonic oscillator. (c) The state trajectories describe circular orbits, i.e., kx(t)k is constant. Verify this fact using the solution from part (a). (d) You may remember that circular motion (in a plane) is characterized by the velocity vector being orthogonal to the position vector. Verify that this holds for any trajectory of the harmonic oscillator. Use only the differential equation; do not use the explicit solution you found in part (a). Solution: (a) We have (sI − A) −1 1 s = 2 2 s + ω −ω ω . s From this result it follows that the eigenvalues of A are given by {±jω}. The inverse Laplace transform gives cos ωt sin ωt Φ(t) = − sin ωt cos ωt and we have x(t) = Φ(t)x(0). (b) Here is the vector field: (c) First we note from basic trigonometric relations that ΦT (t)Φ(t) = I. From this we conclude that Φ(t) is orthogonal. Now it follows that xT (t)x(t) = xT (0)ΦT (t)Φ(t)x(0) = xT (0)x(0), i.e. kx(t)k = kx(0)k. (d) Using previous relations we can write T ẋ x = x T 0 ω −ω x = [ −ωx2 0 x ωx1 ] 1 = 0 x2 This shows that the velocity vector is always orthogonal to the position vector, as claimed. 10.3 Properties of the matrix exponential. (a) Show that eA+B = eA eB if A and B commute, i.e., AB = BA. 1 10 8 6 4 2 0 −2 −4 −6 −8 −10 −10 −8 −6 −4 −2 0 2 4 6 8 10 Figure 1: Vector field of harmonic oscillator (b) Carefully show that d At e dt = AeAt = eAt A. Solution: (a) We will show that if A and B commute then eA eB = eA+B . We begin by writing the expressions for eA and eB A2 A3 + + ··· 2! 3! B2 B3 eB = I + B + + + ··· 2! 3! Now we multiply both expressions and get eA = I + A + A2 B 2 A3 A2 B AB 2 B 3 + + + + + + ··· 2! 2! 3! 2! 2! 3! A2 + 2AB + B 2 A3 + 3A2 B + 3AB 2 + B 3 = I +A+B+ + + ··· 2! 3! Now we note that, if A and B commute, we are able to write things such as (A + B)2 = A2 + 2AB + B 2 . So, if A and B commute we can finally write eA eB = I + A + B + AB + eA eB = I + (A + B) + (A + B)2 (A + B)3 + + · · · = eA+B 2! 3! 2 (b) It suffices to note that A commute with itself. Then one can write deAt A3 t2 = A + A2 t + + ··· dt 2! (At)2 + · · ·) = A(I + At + 2! (At)2 = (I + At + + · · ·)A 2! = AeAt = eAt A 10.4 Two-point boundary value problem. Consider the system described by ẋ = Ax, where # " −1 1 . A= −1 1 (a) Find eA . (b) Suppose x1 (0) = 1 and x2 (1) = 2. Find x(2). (This is called a two-point boundary value problem, since we are given conditions on the state at two time points instead of the usual single initial point.) Solution: (a) Many methods can be used to find eA . In this case, power series expansion may be the easiest, since Ak = A2 = 0 for all k ≥ 2: 0 1 . e =I +A= −1 2 A (b) Expanding the equation x(2) = eA x(1) = e2A x(0) yields x1 (2) x2 (2) = = = = 0 1 x1 (1) 2 −1 2 2 1 0 1 x2 (0) −1 2 1 −1 2 −2 3 x2 (0) 2x2 (0) − 1 . 3x2 (0) − 2 Examining the first line yields x1 (2) = 2 and so x2 (0) = 1.5; substituting into the last yields x(2) = [ 2 2.5 ]T . 3 Solutions to additional exercises 1. Scalar time-varying linear dynamical system. Show that the solution of ẋ(t) = a(t)x(t), where x(t) ∈ R, is given by Z x(t) = exp t a(τ ) dτ x(0). 0 (You can just differentiate this expression, and show that it satisfies ẋ(t) = a(t)x(t).) Find a specific example showing that the analogous formula does not hold when x(t) ∈ Rn , with n > 1. Solution. Differentiating the given expression, we obtain ẋ(t) = ! d Zt a(τ ) dτ exp dt 0 = a(t) exp Z t Z t a(τ ) dτ x(0) 0 a(τ ) dτ x(0) 0 = a(t)x(t). For the second part, we look for a counterexample with x(t) ∈ R2 . We let where A1 = A(t) = ( " # 0 1 0 0 A1 0 ≤ t < 1 A2 t ≥ 1, A2 = , " 0 0 1 0 # . Then we have x(2) = (exp A2 )(exp A1 )x(0) " #" # 1 1 1 0 = x(0) 0 1 1 1 = " 1 1 1 2 # x(0). The formula above gives x(2) = exp(A1 + A2 )x(0) # " 0 1 x(0) = 1 0 = " 1.5431 1.1752 1.1752 1.5431 # x(0). Choosing almost any x(0) (e.g., x(0) = e1 ) will give us a contradiction. 4