EE263 homework 5 solutions

advertisement
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
Download