NonlinearBook10pt November 20, 2007
636 CHAPTER 10
satisfies
J(x
0
, φ(x(·))) ≤ J(x
0
, φ(x(·))) = x
T
0
P x
0
+ p(x
0
), (10.202)
where
J(x
0
, u(·)) =
Z
∞
0
[L(x(t), u(t)) + Γ(x(t), u(t))]dt (10.203)
and where u(·) is admissible, x(t), t ≥ 0, solves (10.101) with w(t) ≡ 0, and
Γ(x, u) = [D
T
(P x +
1
2
p
′
T
(x)) −E
1
x − E
2
u]
T
R
0
·[D
T
(P x +
1
2
p
′
T
(x)) − E
1
x − E
2
u]. (10.204)
Furth ermore,
J(x
0
, φ(x(·))) = min
u(·)∈S(x
0
)
J(x
0
, u(·)), (10.205)
where S(x
0
) is the set of regulation controllers for the system (10.101) with
w(t) ≡ 0 and x
0
∈ R
n
. Finally, with u = φ(x), the solution x(t), t ≥ 0, of
(10.101) satisfies the passivity constraint
Z
T
0
2w
T
(t)z(t) + V (x
0
) ≥ 0, w(·) ∈ L
2
, T ≥ 0. (10.206)
Proof. The result is a direct consequ en ce of Theorem 10.4 with
F (x, u) = Ax + Bu, J
1
(x) = D, L(x, u) = x
T
R
1
x +
1
2
p
′
(x)(S
s
− DR
0
D
T
)
p
′
T
(x) +ℓ(x) + u
T
R
2
u, V (x) = x
T
P x + p(x), D = R
n
, and U = R
m
.
Specifically, conditions (10.88)–(10.91) are trivially satisfied. Now, forming
x
T
(10.199)x + (10.200), it follows that, after some algebraic manipulations,
V
′
(x)J
1
(x)w ≤ r(z, w) + L(x, φ(x), w) + Γ(x, φ(x), w) for all x ∈ D and w ∈
W. Furthermore, it follows from (10.199) and (10.200) that H(x, φ(x)) = 0
and H(x, u) = H(x, u) −H(x, φ(x)) = [u −φ(x)]
T
R
2s
[u − φ(x)] ≥ 0 so that
all conditions of Theorem 10.4 are satisfied. Finally, since V (·) is radially
unbounded, (10.101), with u(t) = φ(x(t)) = −R
−1
2s
(B
T
s
(P x(t)+
1
2
p
′
T
(x(t)))+
E
T
2
R
0
E
1
x(t)), is globally asymptotically stable.
Since A
s
− (S
s
− DR
0
D
T
)P is Hurwitz and ℓ(x), x ∈ R
n
, is a
nonnegative multilinear f unction, it follows from Lemma 8.1 that there exists
a nonnegative p(x), x ∈ R
n
, such that (10.200) is satisfied.
Finally, if p(x), x ∈ R
n
, is a polynomial function of the form
P
r
k=2
1
k
(x
T
M
k
x)
k
, then it follows from (10.200) that ℓ(x) =
P
r
k=2
(x
T
M
k
x)
k−1
x
T
·
ˆ
R
k
x, where M
k
,
ˆ
R
k
∈ N
n
, k = 2, . . . , r, an d M
k
satisfies
0 = [A
s
−(S
s
−DR
0
D
T
P )]
T
M
k
+M
k
[A
s
−(S
s
−DR
0
D
T
P )]+
ˆ
R
k
, k = 2, . . . , r,
(10.207)