Problem Set 3 Solutions 1

advertisement
Massachusetts Institute of Technology
Department of Electrical Engineering and Computer Science
6.245: MULTIVARIABLE CONTROL SYSTEMS
by A. Megretski
Problem Set 3 Solutions
1
Task 3.1T
For each of the functions of complex parameter√ s (where Re{s} > 0,
log(s) = log |s| + j arg(s) with arg(s) ∈ (−π/2, π/2), and s = exp(0.5 log(s))) below, state whether they are proper extensions of functions from the
CT class H2 , or H∞ , or both, or none of the two. In other words, can
these functions serve as Fourier transforms of funite energy signals,
or as transfer functions of L2 gain stable LTI systems? Provide brief
reasoning.
√
(a) G1 (s) = exp( s);
Answer: not in H2 , not in H∞ .
Reasoning: recall that |ez | = eRe(z) , and
q
p
p
p
Re( σ + jω) = (σ + σ 2 + ω 2 /4)/2 ≥ |ω|/2.
√
Therefore G1 is not in H2 because Re( s)√> 0 whenever Re(s) > 0, which implies
|G1 (s)| < 1. G1 is not in H∞ because Re( s) → ∞ as s is real and s → ∞.
√
(b) G2 (s) = exp(− s);
Answer: in both H2 and H∞ .
1
Version of October 21, 2011.
2
Reasoning: G2 is in H∞ because it is an analytical in C+ , and satisfies |G1 (s)| < 1
there. G2 is in H2 because it is an analytical in C+ , and the integrals
Z ∞
Z ∞ √
1
1
2
|G2 (σ + jω)| dω ≤
e− |ω|/2 dω
2π −∞
2π −∞
are uniformly bounded for σ > 0.
√
(c) G3 (s) = s/(s + 1);
Answer: not in H2 but in H∞ .
Reasoning: note that
|G3 (σ + jω)|2 =
1
1
|ω|
≤
≤
2
2
(1 + σ) + ω
2(1 + σ)
2
for σ > 0, ω ∈ R. By the equality, |G3 (σ + jω)|2 is not integrable over ω ∈ R,
which implies G3 ∈ H2 . By the inequality, G3 ∈ H∞ because G3 is analytical and
uniformly ounded in C+ .
(d) G4 (s) = exp(−s3 );
Answer: not in H2 and not in H∞ .
Reasoning: since
Re[−(σ + jω)3 ] = 3σω 2 − σ 3
converges to +∞ as ω → ∞ for a given σ > 0, the function ω → |G4 (σ + jω)|2 is
neither bounded nor integrable over ω ∈ R.
(e) G5 (s) = log(s)/(s + 1);
Answer: in H2 but not in H∞ .
Reasoning: since log(r) → −∞ for real positive r → 0, G5 is not bounded in the
right half plane. On the other hand, G5 is analytical in the right half plane (log(s)
is analytical as the well-defined inverse of exp(s) restricted to the strip Im(s) ∈
(−π/2, π/2), and ratio of analytical functions is analytical), hence it is sufficient to
show that L2 norms of functions ω → G5 (jω + σ) are uniformly bounded.
Indeed, by definition of the logarithm, |Im log(jω + σ)| is uniformly bounded by
π/2, hence
Im log(jω + σ) π
1
jω + σ + 1 ≤ 2 |jω + σ + 1| .
3
On the other hand, combining
|ω| ≤ |jω + σ| = |jω − 1 + 1 + σ| ≤ |jω + 1| + |1 + σ| =
√
1 + ω2 + 1 + σ
with the inequality
| log(a + b)| ≤ max{| log(a)|, | log(b)|} ≤ | log(a)| + | log(b)| ∀ a, b ∈ (0, ∞),
which based on the fact that the function a → | log(a)| decreases for a ∈ (0, 1), and
increases for a > 1, and taking into account that
Re log(jω + σ) = log |jω + σ|,
yields
log |ω| ≤ Re log(jω + σ) ≤ log(1 + ω 2 ) + log(1 + σ),
hence
Re log(jω + σ) | log(|ω|)| + log(1 + ω 2 )
log(1 + σ)
+
.
jω + σ + 1 ≤
|jω + 1|
|jω + σ + 1|
Therefore
|G5 (jω + σ) ≤
| log(|ω|)| + log(1 + ω 2 ) π
1
+ log(1 + σ) +
.
|jω + 1|
2 |jω + σ + 1|
Since the first term on the right side is square integrable and does not depend on
σ, and, by the Parceval identity,
Z ∞
Z ∞
π
dω
e−2at dt =
= 2π
2
a
0
−∞ |jω + a|
for all a > 0, the L2 norm of ω → G5 (jω + σ) is uniformly bounded.
(f) G6 (s) = Re{1/(s + 1)};
Answer: not in H2 and not in H∞ .
Reasoning: function s → G6 (s) is not analytical in the right half plane. for
example, (G(1 + δ) − G(1))/δ converges to −0.25 as δ → 0 along the real axis, but
converges to 0 as δ → 0 along the imaginary axis.
(g) G7 (s) = |s|2 .
Answer: not in H2 and not in H∞ .
Reasoning: function s → G7 (s) is not analytical in the right half plane. for
example, (G(1 + δ) − G(1))/δ converges to 2 as δ → 0 along the real axis, but
converges to 0 as δ → 0 along the imaginary axis.
4
Task 3.2T
Let S1 , S2 be two DT LTI models defined by transfer functions
1
G1 (z) = 2 + ,
z
G2 (z) =
1+z
0.5 + z
respectively. One expects a series interconnection of S1 and S2 to be
the DT LTI model defined by the transfer function G(z) = G1 (z)G2 (z).
It turns out that this is not completely true: out of the two series
interconnections S12 = S1 ◦S2 and S21 = S2 ◦S1 , only one is exactly a transfer
function model. The other can be represented as a sum of two systems,
one of which is LTI model with transfer function G, and the other is the
”autonomous” LTI model with an appropriately chosen transfer function
L = L(z): it has only boundary conditions and no input, and its output is
the same as that of the standard DT LTI system with transfer function
L, but with zero input. A block diagram for such representation is shown
on Figure 1. Models like this are usually called uncontrollable, as there is
no way to affect the output of the subsystem with transfer function L.
w
-
G(z)
-
L(z)
-g
6
y
-
0
Figure 1: Uncontrollable LTI model
Represent both systems S12 , S21 in the form shown on Figure 1, and find
the corresponding transfer functions L. Is L uniquely defined in each of
the two cases? Explain your answer.
Answer: S1 ◦ S2 has the form Figure 1 with L(z) ≡ 0 (i.e. is equivalent to a transfer
matrix model with G = G1 G2 ), while S2 ◦S1 has the form Figure 1 with L(z) ≡ (0.5+z)−1
(i.e. is not equivalent to a transfer matrix model with G = G2 G1 ). The selection of L is
not unique in either case.
Reasoning: for G(z) = c + b/(z − a), where a ∈ (−1, 1) and b, c ∈ R, the set XG
(as defined in subsection 4.3.2 of lecture notes) consists of all functions x0 : Z → R
such that x0 (t) = 0 for t < 0 and x0 (t) = at p for t ≥ 0, where p ∈ R is an arbitrary
5
constant, and, by convention, a0 = 1, i.e. for t ∈ Z+ we have 0t = δ(t), where δ(·) is
the unit sample function. Indeed x0 must be approximable by functions y0 satisfying the
difference equation
y0 (t + 1) − ay0 (t) = bw0 (t),
where w0 (t) = 0 for t ≥ 0, which yields y0 (t + 1) = ay0 (t) for t ≥ 0, which justifies the
description of XG .
In particular, x1 ∈ XG1 means x1 (t) = p1 x10 for some p1 ∈ R, where x10 (t) = δ(t),
while x2 ∈ XG2 means x2 (t) = p2 x20 (t) for some p2 ∈ R, where x20 (t) = (−0.5)t , and, for
G( z) = G1 (z)G2 (z) = 2 + 2/z, condition x ∈ XG0 means x(t) = px10 (t) for some p0 ∈ R.
Since
LG1 x20 = 2x10 , LG2 x10 = 0.5x10 + 0.5x20 ,
we have
(S1 ◦ S2 )(w, (x1 , x2 )) = {LG1 G2 w + LG1 x2 + x1 }
= {LG0 w + (2x2 (0) + x1 (0))x10 },
while
(S2 ◦ S1 )(w, (x1 , x2 )) = {LG2 G1 w + LG2 x1 + x2 }
= {LG0 w + 0.5x1 (0)x10 + (0.5x1 (0) + x2 (0))x20 }.
m,k
m,k
We consider models M1 ∈ SDT
(X1 ) and M2 ∈ SDT
(X2 ) equivalent when there exist
functions φ : X1 → X2 and ψ : X2 → X1 such that S1 (w, x1 ) = S2 (w, φ(x1 )) and
S2 (w, x2 ) = S1 (w, ψ(x2 )) for all w ∈ `m , x1 ∈ X1 , x2 ∈ X2 . Acording to this definition,
S1 ◦ S2 is equivalent to the LTI model S defined by transfer function G, which is certified
by
φ(x1 , x2 ) = (2x2 (0) + x1 (0))x10 , ψ(x) = (0, x(0)x10 ).
By a similar argument, S1 ◦ S2 is equivalent to the system defined on Figure 1 with L ≡ 0.
In contrast, S2 ◦ S1 is not equivalent to S (for example, because the zero-input response
of S2 ◦ S1 can be equal to x20 , which is impossible for S). Instead, S2 ◦ S1 is equivalent to
the system defined on Figure 1 with L(z) ≡ 2 + 1/z.
Task 3.3T
This excercise is related to the handy Poisson identity. The integral
Z ∞
Re{G(jω)}
dω,
2
−∞ (ω + 1) + 2
6
where G is a function from the CT class H2 , equals cRe{G(s0 )}, where real
number c and complex number s0 (such that Re{s0 } > 0) do not depend on
G. This special case of the Poisson identity can be easily derived from
the Parseval identity by finding the inverse Fourier transform of
h(ω) =
1
(ω + 1)2 + 2
explicitly, and by expressing inverse Fourier transform of Re{G(jω)} in
terms of the inverse Fourier transform of G. Find the constants c, s0 ,
and explain how √
you prove
√ the identity.
Answer: c = π/ 2, s0 = 2 − j.
Reasoning: the answer follows from the general Poisson identity
Z
1 ∞ aRe{G(jω)}
dω = Re{G(a + jb)},
(1)
π −∞ a2 + (ω − b)2
√
which is valid for all a > 0 and b ∈ R and all functions G ∈ H2 , applied with a = 2 and
b = −1.
To prove (1), let g be the inverse Fourier transform of G. Then, since
(
g(−t), t < 0,
g0 (t) =
g(t),
t ≥ 0,
is the inverse Fourier transform of
G0 (jω) = 2Re{G(jω)},
and
(
e−(a−jb)t , t ≥ 0,
f0 (t) =
e(a+jb)t ,
t < 0,
is the inverse Fourier transform of
F0 (jω) =
a2
2a
,
+ (ω − b)2
the Parceval identity
1
2π
Z
∞
0
Z
∞
F0 (t) G0 (jω)dω =
−∞
−∞
f0 (t)0 g0 (t)dt
7
yields
1
π
Z
∞
−∞
∞
Z
1 0 (a−jb)t
e
g(t)dt +
e
g(−t)dt
2 −∞
0
Z
G(a + jb) 1 ∞ −(a+jb)t
=
+
e
g(t)dt
2
2 0
aRe{G(jω)}
1
dω
=
a2 + (ω − b)2
2
Z
−(a+jb)t
G(a + jb) + G(a + jb)
2
= Re{G(a + jb)}.
=
Task 3.4T
The following situation is quite common in LTI systems research: a theoretical statement is proven (or available in the literature) for the case
of discrete time systems, and one would like to get convinced that a
similar statement also holds in the CT case. Of course, the need to go
the other way (from a CT theorem to a similar DT statement) is just as
common.
A rather starightforward tool for such conversions is the ”bilinear
transform”. It is easy to see that if z is a complex number with |z| > 1,
or z = ∞, and ω0 > 0 is a positive real number then
s = ω0
z−1
z+1
(2)
is a complex number with Re{s} > 0. Conversely, if s ∈ C and Re{s} > 0
then
ω0 + s
(3)
z=
ω0 − s
(obtained by solving (2) with respect to z) is either a complex number with
|z| > 1, or ∞ (when s = ω0 ). Transformations (2),(3) also work between
the unit circle and the imaginary axis, except that z = −1 is mapped to
∞ = j∞.
(a) Is it true that Gd = Gd (z) is a DT H∞ class function with
kGd k∞ = sup |Gd (z)| = γ
|z|>1
8
if and only if
Gc (s) = Gd
ω0 + s
ω0 − s
(4)
is a CT H∞ class function with
kGc k∞ =
sup |Gc (s)| = γ ?
Re{s}>0
Sketch a proof or give a counterexample.
Answer: true.
Reasoning: consider the function f : D+ → C defined by
f (z) = ω0
z−1
,
z+1
where
D+ = {z ∈ C : |z| > 1}.
The function is analytical, and maps D+ to a subset of
C+ = {s ∈ C : Re{(}s) > 0}
(all points except s = ω0 ). Hence, if Gc : C+ → C is analytical and uniformly
bounded then Gd : D+ → C defined by Gd = Gc ◦ f , i.e. by
z−1
,
Gd (z) = Gc ω0
z+1
is also analytical and uniformly bounded.
Conversely, if Gd : D+ → C is analytical and uniformly bounded then it has Laurent
series representation
Gd (z) =
∞
X
gd (k)z −k where
k=0
hence Gc : C+ → C
Gc (s) =
∞
X
k=0
gd (k)
lim |gd (k)|1/k ≤ 1,
k→∞
ω0 − s
ω0 + s
k
is an analytical function. Since Gc (ω0 ) = gd (0) is finite, and for every s ∈ C+ ,
s 6= ω0 there exists z ∈ D+ such that Gc (s) = Gd (z), the fiunction Gc is uniformly
bounded.
9
(b) It is easy to see that transform (4) does not map every DT H2 class
function Gd to a CT H2 class function Gc . Give a counterexample.
Answer: false.
Example: Gd (z) ≡ 1.
(c) For every ω0 > 0 there exist positive real numbers a, b > 0 such that
Gd = Gd (z) is a DT H2 class function with
1/2
Z π
1
2
kGd k2 = sup
|Gd (r exp(jΩ))| dΩ
=γ
(5)
r>1 2π −π
if and only if
b
Gd
Gc (s) =
s+a
ω0 + s
ω0 − s
(6)
is a CT H∞ class function with
1/2
Z ∞
1
2
=γ .
|Gc (jω + σ)| dω
kGc k2 = sup
σ>0 2π −∞
(7)
Find a, b as functions of ω0 , and explain why the statement is true.
√
√
Answer: b = 2ω0 (another possible choice is b = − 2ω0 ), a = ω0 .
Reasoning: whenever the integral converges absolutely, the substitution
ω = ω0
sin(Ω/2)
cos(Ω/2)
yields the identity
Z
∞
−∞
2ω0
g
2
ω + ω02
ω0 + s
ω0 − s
Z
π
dω =
g ejΩ dΩ,
−π
which suggests the choice for a and b in the answer.
In the case when Gd (z) is uniformly bounded on D+ , this identity proves that
kGd k2 = kGc k2 , as in that case finiteness of the integrals in (5), (7) is evident.
In general, we use the fact that functions from class H2 can be approximated arbitrarily well (in the L2 norm) by functions from H∞ . For example, if Gd ∈ H2
then
∞
∞
X
X
−k
Gd (z) =
gd (k)z
where
|gd (k)|2 = kGd k22 < ∞,
k=0
k=0
10
hence kGd − Gd,m k2 → 0 as k → ∞, where
Gd,m (z) =
m
X
gd (k)z −k .
k=0
Let Gc,m : C+ → C be defined by
√
2ω0
Gd,m
Gc,m (s) =
s + ω0
ω0 + s
ω0 − s
.
Since Gd,m belong to the class H∞ , the inequality
Z ∞
1
|Gc (jω + σ)|2 dω ≤ kGd,m k22 ≤ kGd k22
2π −∞
is valid for all σ > 0. Taking the limit as m → ∞ yields finiteness of the supremum
in (7).
Download