Professional Documents
Culture Documents
(The MIT Press Research Monograph Series, No. 62) Jan C. Willems-The Analysis of Feedback Systems-The MIT Press (1971)
(The MIT Press Research Monograph Series, No. 62) Jan C. Willems-The Analysis of Feedback Systems-The MIT Press (1971)
(The MIT Press Research Monograph Series, No. 62) Jan C. Willems-The Analysis of Feedback Systems-The MIT Press (1971)
Jan C. Willems
Preface xi
Chapter 1: Introduction 1
1.1. Orientation 1
1.2. Mathematical Preliminaries 2
1.3: Transform Theory 6
2.1. Introduction 10
2.2. Operators: Generalities 11
2.3. Extended Spaces 12
2.4. Causal Operators 14
2.5. Algebras: Generalities 16
2.6. Operator Algebras 19
2.7. Contractions, Conic Operators, Positive Operators 24
2.8. Conditions for InvertibiJity of Nonlinear Operators 28
2.9. Conditions for Noninvertibility of Nonlinear Operators 40
3.1. Introduction 45
3.2. Positive Convolution Operators and Positive Memoryless
Operators 49
3.3. Memoryless Time-Invariant Nonlinear Operators 51
3.4. Periodic Gain 53
3.5. Positive Operators with Monotone or Odd-Monotone Non-
linearities 57
vii
viii CONTENTS
4.1. Introduction 86
4.2. Mathematical Framework 87
4.3. Well-Posedness of Feedback Systems 93
4.4. Stability and Instability 101
4.5. Continuity and Discontinuity 110
4.6. Concluding Remarks 114
Index 185
Foreword
xi
xii PREFACE
xv
1 Introduction
1.1 Orientation
F" are maps from S{ into Sz and S� into Sz such that F'x = F"x for all
x ES� (x ES;), then F' is called the restriction (an extension) of F" to
S{ (SD. A sequence is a map from / (/+) to a set S and will be denoted by
{xn}, n E/ (n E/+).
A metric space is a set X and a map, d, from X x X into R+ such that
for all x, y, Z EX, the following relations hold: d(x,y) = dCy,x) > 0;
d(x,y) + d(y,z) > d(x,z) (the triangle inequality); and d(x,y) = 0 if
and only if x = y.
A sequence {xn}, n E/+, of elements of a metric space X is said to
converge to a point x EX if limn '" d(xn'x) = O. This limit point x is
....
1. (x + y) + z = x + (y + z);
2. there exists a zero element, denoted by 0, with x + 0 = 0 + x = x;
3. there exists a negative element, denoted by -x, with x + (-x) = 0
(y + (-x) will be denoted by y - x);
4 INTRODUCTION
4. x + Y =y + z;
5. «(X + fJ)x = (Xx + fJx;
6. (X(x + y) (Xx + (Xy;
7. «(XfJ)x = (X( fJx) £:.. (XfJx;
=
8. l·x = x.
whether the field K is the real or complex number system. Rfl denotes
A vector space is called a real or complex vector space according to
The norm induces a natllral metric d(x,y) A IIx - yll, and all statements
(e.g. concerning convergence) always refer to this metric, unless
otherwise mentioned. Sometimes the norm is subscripted for emphasis,
as II IIv, but the subscript will be deleted whenever there is no danger of
confusion.
K such that for all x, y, Z E V and scalars oc, {J, the following relations
denoted by ( ) and called the inner product, from V x V into the scalars
hold:
The inner product induces a natural norm IIxll = .J(x,x) and all
statements (e.g., concerning convergence) always refer to the metric
induced by this norm, unless otherwise mentioned. Sometimes the
inner product is denoted by (,)v, but the subscript will be deleted
Ir=1 XiYi where x = (Xl> X2' .. . , xn) and y = (Yl> Y2' . ,Yn).A very
. •
X(jw) = (L+ex>«>x(t)e-;wt dt
is called the Fourier transform of x. Clearly X E L«> and IIX I IL �
«>
lIXIlL1; if xCt) is real, then X(jw) = X(-jw). Since this transform need
not belong to L1> it is in general impossible to define the inverse Fourier
transform. However, if X itself turns out to belong to L1 then
«>
21T i+
1 .
x(t) = - X(jw)e,wt dw
-«>
(As always, this equality is to be taken in the L1 sense, that is, except
on a set of zero Lesbesgue measure.) Thus the need of a slightly more
general transform in which the inverse transform can always be defined
x(t) I.i.m.
I 1+00X(jw)eitDt dw.
=
21T
-
-00
Let x E Ls(O,T), T> O. Then the sequence X = {x"J, k E 1, given by
Xk liTx(t)e-ik211t/T dt,
= -
T 0
is well defined since L2(O,T)c L1(O,T), and is called the Fourier series
of x(t). Clearly X E 100 and xk = x-k whenever x(t) is real. The Parseval
relation states that if Xl> X2 E L2(O,T) and if Xl> Xz are their Fourier
series, then Xl> X2 E 12 and (Xl>X2)L2(O.T) = 27T(X1,X2)Z2.
In trying to obtain the inverse Fourier series formula, the same
difficulties are encountered as with the inverse Fourier transform, and
the same type of solution is presented. This leads to
l.i.m. 2
+00
x ( t) = xkeik2r.tIT.
k=-oo
2
N
x ( t) = lim xk eikb tl T,
:.V-t-o:> k=-..V
2
+00
-k
X(z) = Xk Z
k=-oo
l.i.m. 2
+00
k
X(z) = XkZ-
k=-oo
3.
Continuous periodic functions are almost periodic.
The sums, products, and limits of uniformly convergent almost
...!.. ( T xCt + T) dt
2TLT
exists, is independent of T for all almost periodic functions x, and
T
Xl * x2 A lim ...!.. ( XI(t - T)X2(T) dT.
T-+oo 2T L T
Moreover, Xl * X2 = Xz * Xl and Xl * (xz * xa) = (Xl * xz) * Xa for
all almost periodic functions Xl> X2, Xa.
6. The function
lim
T-+oo 2T
J
...!..
T
-T
x(t)e-iCJ>! dt
7.
vanishes for all but a countable number of values of w.
The space of almost periodic functions forms an inner product
space with
-T
for Xl> X2 almost periodic functions. (This inner product space is,
however, not complete and not separable.) Let X be an almost
periodic function and let {wk} be the set of values for which the limit
in (6) does not vanish and let Xk be the value of that limit for W = Wk'
The sequence {Xk} is called the generali zed Fourier series of xCt). If
REFERENCES 9
x(t) is real, then co belongs to the set {cok} if and only if -co does
and the values Xk associated with co and -co are complex conjugates.
The int'erse Fourier series is defined as
lim
N
x(t) =
k
� xkei(J)kt
=-.\'
N->(J;)
References
2.1 Introduction
range of F.
An operator F from a metric space X into a metrix space Y is said to
be continuous if every convergent sequence {x,,}, 11 E /+, yields a
convergent sequence {Fx,,}. It is said to be Lipschitz continuous if
d(Fx,Fy) < 00
sup .
"'.J/eX d(x,y)
"*11
.,eX II xII
.,*0
t ime-interrai of defin ition. Let B be a Banach space, and let Y(B) denote
the linear space of B-valued functions defined on S, that is, Y(B) l'i
{x I x : S -- B}.
(PTx)( t ) l'i
{
X(t ) for t < T, t E S
0 otherwise
PT will be called the truncation operator and PTx will be called the
truncation of x at time T. {PT}, TE S, consists thus of a family of pro
jection operators on Y(B).
Let W C Y(B) be a Banach space. The extended space W. is defined
as W. /\ {X E Y(B) l pTx E W for all TE S, Tfinite}.
« Not all of these assumptions are necessary for the theorems which follow.
14 NONLINEAR OPERATORS
6 Indeed, {PT} is not a resolution of the identity if W= Lro. Most of the theorems
which follow, however, stilI hold.
S This definiti on is equivalent to requiring that PTXl PTX2 implies that PTFxl
PTFx2' Other equivalent definitions are given in Reference 2.
= =
Indeed, implicit in the definition of extended spaces is the fact that the past and the
future are regarded as essentially different; thus unless the operators on those
extended spaces show a similar property, such a distinction would appear to be ill
founded. The extended space defined in this section is sometimes referred to as the
causal extension of W.
16 NONLINEAR OPERATORS
As is well known, the natural setting for the study of linear operators
on a Banach space is as a linear Banach algebra. It is not as generally
appreciated , however, that most of these ideas carry over to nonlinear
operators as well. This is the subject of Sections 2.5 and 2.6. Section
2.5 contains the relevant notions from algebras, and Section 2.6 imbeds
nonlinear operators in this algebraic framework.
Let A be a vector space with a mapping (multiplication) from A x A
into A defined. Then A is said to be an (in general nondistributive)
algebra if (xy)z x(yz) h. xyz for all x, y, Z E A. An algebra is said
=
THEOREM 2.2
Let A be a left-distributive Banach algebra with a unit e, and let A+
be a subalgebra of A which contains the unit. Assume that A+ has the
18 NONLINEAR OPERA TORS
and let pc denote its complement in the complex plane. The theorem
claims that pc n C is empty. The proof goes by contradiction : assume
that pc n C is not empty. Then
property, and that lI(e + x) -l ll < (1 - IIxID-1 for IIxll < 1 . The
assumption implies that 1\ (x + ex.y) -l l l is a continuous function of ex.
and is satisfied, for instance, when A is a linear Banach algebra. The
boundedness condition then follows from the fact that a continuous
real-valued function on a compact set attains its maximum.9
Definition: Let 5(W., W.) denote the class of operators from W. into
itself, that is, let 5(W., W.) £>. {x \ x: We -- We}. Let addition and
scalar multiplication in 5(W., We) be defined in the obvious way, and
let multiplication be defined as composition of maps. These definitions
lead immediately to Theorem 2.3.
THEOREM 2.3
The operators in ,A/(We' We) form a left-distributive algebra with a
unit.
THEOREM 2.4
The operators in o/V(W, W) form a left-distributive algebra with a
unit.
11 Notice that time invariance is only defined for causal operators when S
[To, co). An alternative approach would be to define time invariance when S
=
YO( W,W) and the time-invariant operators with S = [To, co) are
regular subalgebras of Y+(W,W) and Y(W,W).
For the purposes of analysis it is often mandatory to work with
Banach algebras rather than simply algebras. Operators which belong
to Banach algebras can be "measured" and this leads to the possibility
of establishing invertibility conditions for operators. Two important
norms on the space of operators will be considered : the first one takes
the Lipschitz constant of an operator as its measure and the second one
takes the bound of an operator as its measure.
Definition : Let 86'(W,W) denote the space of Lipschitz continuous
operators from W into itself which map zero into itself, and define the
norm of an element FE &&( W, W) by
"'#11
"'.1IEW IIx - yll
Let addition, scalar multiplication, and multiplication of elements be
defined in @(W,W) in the usual way.
THEOREM 2.5
The algebra £Y( W, W)is a left-distributive Banach algebra with a unit.
22 NONLINEAR OPERA TORS
Proof: The only element in the proof which is not immediate is the
statement that &1( W, W) is a Banach space. Let {F,,}, n E /+, be a Cauchy
sequence in .@i( W, W). Then {F"x}, for any x E W, is a Cauchy sequence
in W. Let Fx A lim,,-->oo F"x. Clearly F maps W into itself and F O = O.
Since
IIFx - Fyll = lim II F"x - FnYIl ::::;;; sup IIFnll4 IIx - yll,
n-'oo ne[+
THEOREM 2.6
The algebra 86(W, W) is a left-distributive Banach algebra with a unit.
Proof: The proof requires only minor modifications from the proof
of the previous theorem and is left to the reader.
2. 2'(W,W); and
3. the time-invariant operators in M(W, W).
The classes 1-3, or any intersection of them, form sub algebras of
$(W, W) that contain the unit.
Important subalgebras of f8(W,W) include :
1. f8+(W,W) /\ .Y+(W,W) (') f8(W,W) ,
THEOREM 2.7
The algebras $>+(W.,We) and &6'+(We'W.) are left-distributive
Banach algebras with a unit.
Proof' Since by Theorem 2.1, .cff+(W.,W.) and &6'+(W.. W.) are
isometrically isomorphic to respectively iJ+(W, W) and &6'+(W, W),
the theorem follows from Theorems 2.5 and 2.6.
ex ter ior , str ictly exter ior) , co nic on W with ce nter c and r adius r if for all
x, y E W. and all T E S, IIPT( F - cI)x - PT( F - cI)y \l < r \lPT( x -
y)11 (for some e > 0, «r - e) \lPT( x - y)\I , �r \l PT( x - y) \I ,
�(r + e) IIPT( x - y) ID. It is said to be inter ior ( str ictly inter ior,
ex ter ior , str ictly ex ter ior) , co nic on W. with ce nter c and r adius r if for all
x E We and T E S, \lPT( F - cI)x\l < r \lPT xl1 (for some e > 0,
«r - e) \l PT x\l, �r \lPT xl , �(r + e) \lPT xl\).
It is said to be inside ( str ictly inside , o utside , str ictly o utside) the se ctor
[a,b] on We if for all x E We and T E S
Re (PT( F - aT)x , PT( F - bT)x ) < °
(for some E > 0, < - E II PTx I l2, > 0, > E I IPTx I 12) .
It is clear that contractive operators are particular cases of conic
operators (with center ° and radius 1) . Furthermore, interior conicity
on We and W are by Theorem 2. 1 equivalent notions for causal
operators. This, however, is no t the case for exterior conicity.12
For operators on a Hilbert space, it is in general easier to verify
sector conditions than conicity conditions. The following theorem
establishes a relationship between conic operators and sector operators.
THEOREM 2.8
Let W be a Hilbert space and let F E % (W, W) (or F E %+ (W., w.)).
Then F is (incrementally) (strictly) interior (exterior) conic on W
(or We) with center c and radius I rl if and only if F is (incrementally)
(strictly) inside (outside) the sector [a,b] on W (or We) with a c - r =
and b = c + r .
It follows from Theorems 2.1 and 2.8 that the operators that are
inside a sector on W. stand in one-to-one correspondence with the
causal operators which are inside that sector on W. This correspondence
again does not exist for causal operators which are o utside a sector on W.
An important role will be played in the sequel by po sitive operators.
They are generalizations of nonnegative definite linear operators on
Hilbert spaces and have been referred to as dissipatiL'e , passive , or
mo no to ne operators.13
De finitio ns: If W is a Hilbert space and F E %( W, W) , then F is said
to be incre me ntally po sitive on W if Re (x - y, Fx - Fy) > ° for all
12 It suffices therefore to consider a time-delay on L2( - co, + co). This operator is
exterior conic with center 0 and radius 1 on L2( - co, + co), but not on L2.( - co, + co).
13 An important reference for the implications of positivity to well-posedness
problems for partial differential equations is Reference 7.
CONTRACTIONS, CONIC OPERATORS, POSITIVE OPERA TORS 27
The space W' and the operator F' will be called a restriction of W
and F to S' = [To,oo). The same procedure allows one to obtain a
restriction on W; of an operator on W •.
14 See Reference 8, p. 34. For some folklore about fixed-point theorems, see
Reference 9.
15 Related, but much more restrictive, conditions have appeared in the mathemati
cal literature (Ref. 8, p. 296). The author draws his inspiration from the work of
Zames (Ref. ]0), who proves stability theorems using similar conditions. After the
link between stability and invertibility is established (as will be done in Chapter 4)
these invertibility theorems become apparent. Their derivation is of independent
interest, however.
CONDITIONS FOR INVER TIBILITY OF NONLINEAR OPERA TORS 29
THEOREM 2.10
The algebra �(W,W) and any of its subalgebras which contain the
unit have the contraction property.
Proof: Let FE �( W, W) with IIFII� < 1. Then by the contraction
mapping principle, / + F is invertible on W and its inverse is Lipschitz
continuous. In fact.
l
11(1 + F)-lila < 1 '
_
llF I a
and the solution to the equation x Fx + u with u E W given and
= -
THEOREM 2.11
Let FE YeW,W) be a contraction on W. Then - 1 i a(F) in
&1(W,W). Moreover , if F belongs to a subalgebra of �(W, W) that
contains the unit, then so does (l + F)-I. Finally,
11(1 + F)-lila < 1
_ �I Flia '
THEOREM 2.12
Let F1, F2 E YeW, W). Then -1 i a(FIF2) in YeW,W) if there
exists a scalar e such that -1 i a(eF2) in .IV(W, W) and (Fj eI) -
(J + cF2)-1 belongs.
COROLLARY 2.12.1
Let F1, F2 E %( W, W). Then -1 ¢ a(F1F2) in %( W, W) if for some
scalar c and r > 0, F 1 is incrementally strictly interior conic on W with
center c and radius r, -1 ¢ a(cF2) in %( W, W), and F2 satisfies for all
x, y E W the inequality 11(1 + cF2)x (J + cF2)yll > r IIF2x F2yll.
- -
THEOREM 2. 1 3
Let F1 , F2 E .Y(W, W) with W a Hilbert space. Then - 1 ¢ a(F1F2)
in .Y(W,W) if for some scalar e and r > 0, the operator F1 is incre
mentally strictly interior conic on W with center e and radius r,
- 1 ¢ a(eF2) in .Y(W, W), and F2 satisfies one of the following condi
tions :
Case 1 : l ei < r, and F2 is incrementally i nterior conic on W with
center and radius
r
Re 1\ ( F2 - 2C r 2 I) X - ( F2 - 2C - r 2 I) Y ,
r - lei r - lei
-
I"
2
2 1 2 IIx - y II
I" -I 1
e
1 2 2 2
2 - le 2 «1" - l e l ) 11 F2x - F2yII
r i
=
1 2 2
2 - l e 2 ( 1" 11 F2X - F2y II
r i
=
2
- 1 1(1 + eF2) x - (1 + eF2)yII ).
32 NONLINEAR OPERA TORS
It thus follows from Theorem 2.8 that both cases 1 and 2 imply that
11 (1 + cF2) x - (I + cF2)y ll ;> , 11 F2 x - F2y ll , w hich by Corollary 2.12. 1
yields the conclusions of the theorem for these cases. If l ei == , then
Re (x - y, (/ + 2cF2) x - (I + 2 cFz)y) ;> 0 for all x, y E W. Hence
2 2 2
11 (1 + cF2) x - (I + cF2)y 1 l - 1c1 11 F2X - F2y l l < 0 and 11 (1 + cF2) x
2 2
- ( / + cF2)y 1l ;> , II FzX - F2yll Z which by Corollary 2. 1 2.1 yields
the conclusions of the theorem for case 3.
THEOREM 2.14
Let F1 , F2 E %(W, W) with W a Hilbert space. Then - 1 ¢ a(F1FJ
in .IV( W, W) if for some scalars a, b , the operator F1 is incrementally
strictly inside the sector [a,b] on W, - 1 ¢ a(i(a + b)Fz) in % ( W, W)
and F2 satisfies one of the following conditions :
Case 1 : l a + b l < l a - b l , and F2 is incrementally inside the sector
[ a ' h]
-
Re ab
-
Re ab
on W.
Case 2 : l a + b l > l a - b l , and F2 is incre m entally outside the sector
[- hah ' a ]
-
Re Re ab
on W.
Case 3 : l a + bl = l a - b l , that is, Re
incrementally positive on W.
ah
= 0, and / + (a + b)Fz is
center a + ah.
--
2Re b
. la-h i
and rad iUS --
2Re ab
,
CONDITIONS FOR INVER TIBILlTY OF NONLINEAR OPERA TORS 33
COROLLARY 2. 14. 1
Let Fl o F2 E % ( W, W) with W a Hilbert space. Then - 1 ¢ a(F1Fz)
in % ( W, W) if for some real numbers a < b , b > 0 , Fl is incrementally
strictly inside the sector [a,b] , - 1 ¢ a(l(a + b)F2) in %( W, W), and
F2 satisfies one of the following conditions :
Case I : a < 0, and F2 is incrementally inside the sector [ - l Jb , - lJa]
on w.
Case 2 : a > O , and Fz is incrementally outside the sector [- l /a, - l Ib]
on W.
Case 3 : a = 0, and Fz + lIb is positive on W.
Moreover, (I + F2F1)-1 E �( W, W) if (I + i (a + b)F2)-1 E
&1 ( W, W) ; and if Fl and Fz belong to a subalgebra of g1(W, W) that
contains the unit, then (I + F1F2)-1 belongs to that subalgebra if and
only if (I + cF2)- 1 does.
LEMMA 2. 1
Let FE % ( W, W) be continuous on W with W a Hilbert space. If F is
incrementally strictly positive on W then F is invertible on %( W, W)
and F-l E £!J( W, W) and is positive on W. Moreover, if FE �(W, W)
34 NONLINEAR OPERA TORS
THEOREM 2. 1 5
Let F1 , F2 E fe W, W) b e continuous on W, with W a Hilbert space.
Then - 1 ¢ a(F1 F2) in f ( W, W) if F1 is incrementally positive on W,
F2 is incrementally strictly positive on W, and F2 is Lipschitz continuous
or F1 is also incrementally strictly positive. Moreover, (/ + F1F2)-1 E
�( W, W) and belongs to all subalgebras of .@(W, W) which contain the
unit to which F1 and F2 belong.
Proof; By Lemma 2. 1 , F2 is invertible on W, and thus I + F1 F2 =
(F;1 + F1)F2. Since F;:1 + F1 is incrementally strictly positive on W,
it is invertible on W. Thus I + F1F2 is the product of two invertible
operators with inverses in &4(W, W). The statement about the sub
algebras follows from the expression of the inverse given by Lemma 2. 1 .
THEOREM 2. 1 6
Let S = [To , oo) and F b e a strongly causal operator on W• . Then
a(F) on o/V·+( W., W.) consists of the zero element only.
THEOREM 2.17
Let F E ,9.i'+( We, W.), and - 1 ¢ a(F) in ';v+( W., W.). If F is atten
uating on W (or We), then - 1 ¢ a(F) in ,9.i'+(W, W). Moreover,
11 (1 + F)-I II < ( 1 - II F ID -l .
Proof; Let U E W, and consider the equation x + Fx = u. This
equation has a unique solution x E W. by assumption. Thus, PTx +
PTFx = PT U for all T E S, which yields
II PTx II - II F ll lIPTxl1 < IIPTxl1 - II FPTxll
< IIPTxll - IIPT FPTxll < IIPTull < lIull .
Hence, IIPTxl1 < Il ull/ ( 1 - II F ID for all T E S, and x E W with
IIxll < Il ull/ (1 - II F II ). Thus (l + F)-1 exists on W. It remains to be
shown that (J + F)-I is causal on W. This, however, follows since
(J + F)-I on W is the restriction of (J + F)-I on W. to W. Since the
'
THEOREM 2. 1 8
Let Fb F2 E ';v+( W., We), and I ¢ a(FI F2) in ';v+( W., W.). Then
(J + Fl F2)-1 E ,9.i'+( W, W) if there exists a scalar c such that - 1 ¢
-
COROLLARY 2. 1 8.2
Let F1, F2 E %+(We, We) , and - 1 ¢ a(F1F2) in %+( We, We). Then
(I + F1F2)-1 E �+( W, W) if for some scalar e and r > 0, the operator
F1 is strictly interior conic on W with center e and radius r , - 1 rf:. a(eF2)
i n %+( We, We) , and F2 satisfies for all x E W and T E S the inequality
r IIPT F2x ll .::;; II PT(1 + e F2) xll · In fact,
1 + l e l /r
1
11 (1 + F1F2r 11 .::;;
1 - I I Fl - cI ll lr
Proof: Since the conditions of the corollary imply that rF2( 1 + eFJ-t
is attenuating on W, this theorem becomes a simple consequence of
Corollary 2. 1 8. 1 .
THEOREM 2. 1 9
Let F1, F2 E %+( We, We), with W a Hilbert space, and - 1 ¢ a(F1F2)
in ,.A!"+(We, We). Then (l + F1F2) -1 E �+( W, W) if for some scalar e
and r > 0, the operator Fl is strictly interior conic on W with center
e and radius r , - 1 ¢ a(eF2) in %+( We, We) , and F2 satisfies one of the
following conditions :
Case 1 : l e i < r, and F2 is interior conic on W with
C r
center 2 2 and radius 2 2
r - lei r - l ei
38 NONLINEA R OPERA TORS
Proof: Combining the ideas of the proof of Theorem 2.1 3 and the
result of Theorem 2. 1 8 and its corollaries leads to this result without
difficulty. The details are left to the reader.
THEOREM 2.20
Let F1 , F2 E JV+( We, We) , with W a Hilbert space, and - 1 rt (1(F1F2)
in JV+( We, W.). Then ( l + F1 F2)-1 E @+( W, W) if for some scalars
a, b, the operator Fl is strictly inside the sector [a,b] on W, - 1 rt
(1(!(a + b)F2) in JV+( We' We), and F2 satisfies one of the following
conditions :
Case 1 : la + h i < la - hi , and F2 is inside the sector
[- li
-
h ]
Re lib ' Re ab
on W.
Case 2 : l a + hi > la - b l , and F2 is outside the sector
[- b
-
li ]
Re ab ' Re ab
on We'
Case 3 : la + h i = la - bl , i.e. , Re ab = 0, and I + (a + b)F2 is
positive on W•.
The proof of Theorem 2.20 is entirely analogous to the proof of
Theorem 2.14 and is left to the reader.
The case when a and b are real is of particular interest and leads to
COROLLARY 2.20. 1
Let Flo F2 E JV+( We, We) , with W a Hilbert space, and - 1 ¢ (1(F1 F2)
in JV+( W., We). Then ( l + F1 F2)-1 E @+( W, W) if for some real
numbers a < b, b > 0, Fl is strictly inside the sector [a,b] on W,
CONDITIONS FOR INVER TIBILITY OF NONLINEAR OPERA TORS 39
- 1 � O'(Ha + b)F2) in .;II'+ ( W., We), and F2 satisfies one of the following
conditions :
Case 1 : a < 0, and F2 is inside the sector [ - lIb, - lla] on W.
Case 2 : a > 0, and F2 is outside the sector [ - l la, - l Ib] on We'
Case 3 : a = 0, and F2 + lIb is positive on We'
THEOREM 2.2 1
Let F1 > F2 E .;II'+ (w., We), with W a Hilbert space, and - 1 � 0'(F1F2)
in .;II'+ (W. , We). Then (I + F1 F2)-1 E 861+( W, W) if Fl is positive on We
and F2 is strictly positive and bounded on W.
Proof: Let u E W, and consider the equation x + F1F2x = u. This
equation has a unique solution x E We by assumption. Thus for all
T E S, PTx + PTF1F2x = PTu. Hence by strict positivity and the
Cauchy inequality, there exists an € > 0 such that for all T E S,
2
€ IIPTxl1 � I (PT F2x , PTx + PTF1 F2x)I = I (PT F2x , PTU) I
� II PT F2x II II PT u II � II F2 11 I1 PTxI l IlPTu li .
Consequently I/PTxl/ � €-1 I/ F211 I/ ull for all T E S which shows that
x E W and IIxli � c1 I I F21/ I/ ull . lt remains to be shown that (l + F 1F2)-1
is causal on W. This, however, follows since (l + F1 F2)-1 on W is the
restriction of ( J + F1F2)-1 on We to W.
+ ADM I T TANCE
F2
+
IMPEDANCE
F
+
- -
l
-
1
ADM I TTANCE F2 ( 1 + F1 F2)-
THEOREM 2.21
Let Flo F2 E 8#+( W, W). Then - 1 E a(F1 F2) in Y+( W, W) if there
exists a scalar c such that - 1 � (CF2) in .@(W, W) , (J + cF2)-1 �
Y+( W, W), and if (F1 - CJ)F2(J + cF2)-1 is a contraction on W.
Note that Theorem 2.2 1 and its corollaries, which can be obtained
by making the contraction condition more specific (as in Corollary
2. 1 2. 1 , Theorem 2. 1 3 , Theorem 2. 1 4, and Corollary 2. 1 4. 1 ) do state
sufficient conditions for a particular causal operator J + FIF2 not to be
invertible in the algebra of causal operators. This is done by showing
that I + FIF2 is invertible but by ensuring, through Theorem 2.2 , that
this the inverse is not causal on W. Theorem 2.21 is predicated on the
possibility of showing that J + CF2 is invertible on W for some scalar c,
but that this inverse is not causal.
Remark 1 : The preceding statement trades the problem of showing
that a particular inverse (J + F1 F2)-1 is not causal for a similar one,
namely, showing that (J + cF2)-1 is not causal. In general, however,
the operator F FIF2 is given and F2 can be selected to convenience
(modulo the condition F = F1F2). Very often F2 can thus be chosen to
=
hypotheses :
1 . The space W' satisfies the assumptions W.1-W.4 enumerated in
Section 2.3.
1 9 Compare this with the definition of the restriction of an operator t o a smaller
time-interval of definition , as explained in Section 2.7. In fact, F is a restriction of
F' if and only if F' is a backwards extension of F.
42 NONLINEAR OPERA TORS
{X(t) for t E S
x'(t) = 0
for t E (S' - S)
belongs to W'.
3 . If x' E W', then the B-valued function x with x(t) = x'(t) for t E S
belongs to W.
4. The operator F' is an element of JV+( W; , W;).
5 . Given any x' E W' with x' (t) = 0 for « To and x E W with
x(t) = x' (t) for ( E S, then F'x'(t) = Fx(t) for t E S.
The following lemma plays a crucial role in the results that follow
and is believed to be of some interest in its own right. It essentially
states. that if a Lipschitz-continuous operator is invertible on one
half-line, then it is invertible on any half-line.
LEMMA 2.2
Let t l o t 2 E S be given, F E .94+(W" We) , and let F be invertible in
JV+( We, We). Then F has an inverse on Wtl /\ {x E W i Ptlx = O} if
and only if F has an inverse on W12 .D.. {x E W i Pt2x = O}.
Proof: Note that F has a causal inverse on Wtle and WI2e since it has
a causal inverse on We by assumption. Let tl < t 2• If F has an inverse
on WI I ' then the restriction of this inverse to the subspace Wt2 of Wt I
clearly qualifies as the inverse on Wt t since by causality this inverse
maps Wl 2 into itself. Conversely, assume that F is invertible on Wt2
and let U E WI] be given. Let e = F-IU E Wile be decomposed as
e = PI2e + (I - Plt)e. Thus PI2e E W. Since F is Lipschitz contin
uous, it follows that II PT(Fe - F(I - P,2)e) 1 I < II FILJPtte l l for all
T E S, T > ( 2, which shows that v .D.. Fe - F(I - Pt2)e E W. Hence
F(I - Ptt)e = Fe - v = u - V E W. Since U - v E Wtt and Fis invertible
on Wit' this thus yields (I - P12)e = F-l (U - v) E Wit. Thus e = PI2e +
(I - Plt)e E W, which ends the proof of the lemma.
THEOREM 2.22
Let S = [To, (0), F E &1+( We, We), and F be invertible in vtr+( W., W.).
Let W' and F' E .4j+( W;, W;) be a backwards extension of W and F
from S = [To, oo) to S' = ( - 00 , + (0) , and assume that for all T E S'
the operator F' has a causal inverse on W�e /\ {x E W; I PTX = O}.
Then F-l i JV ( W, W) if F' has a noncausal inverse on W� o .
REFERENCES 43
Proof: Since F' has a noncausal inverse onW', there exists at least one
T E S' such that F' is not invertible on Wp {x E W' I PTX = O}. This
/\
then implies by Lemma 2.2 that 'p is not invertible on W�o b..
{x E W' I PT ox = O}. Since W' and F' are backward extensions of W
and F, the spaces Wpo and W are isomorphic and F' is equivalent to F
i n the sense that F' and F map equivalent elements x' E WPo and x E W
into equivalent elements F'x' E Wpo and Fx E W. Thus F is not one-to
one and onto W if F' is not one-to-one and onto W'. Hence F is not
invertible on W as claimed.
Theorems 2.2 1 and 2.22 can then be combined to give a rather
concrete noninvertibility theorem. More specifically, they yield
THEOREM 2.23
Let S = [To, oo) , F E 86'+( We, W.), and let F be invertible in
..;V+( We, We). Let W' and F' E �+(W; , W;) be a backwards extension
of W and F from S = [To, oo) to S' = (- 00 , + 00) , and assume that
for all T E S' , F' has a causal inverse on WP e b.. {x E W; I PTX = O}.
Let F{, F� E g&+(W', W') and F' = I + F{F�. Then F-1 ¢ ";v(W, W) if
there exists a scalar c such that - 1 ¢ a (cFD in B& ( W', W'), (l + CF�)-l ¢
";v+( W', W'), and if (F{ cl)F�(l + cF2)-l is a contraction on W'.
-
References
3.1 Introduction
The first class of operators which are examined in this chapter for
positivity are the convolution operators and the memoryless operators
in which the output is an instantaneous function of the input. These
positive operators lead to the well-known Manley-Rowe equations and
play an i mportant role in stability theory since they are closely connected
with the Popov criterion and the circle criterion for the stability of
nonlinear and time-varying feedback systems.
Next, attention is focused on the question what class of linear
convolution operators can be composed with a positive periodically
time-varying linear multiplicative gain and still yield a positive operator.
The answer to this question turns out to require that this convolution
operator itself be positive and that the kernel of the convolution should
consist of a string of impulses occurring at multiples of the period of
the time-varying gain. It is also shown that this result is the best of its
type.
In Section 3.2, an answer to the following question is sought: What
is the most general linear operator that when co mposed with a monotone
nondecreasing (or an odd-monotone nondecreasing) nonlinearity
yields a positive operator? This problem has received a great deal of
attention in the past, in connection with both the frequency-power
el
is (incrementally) positive on Do (F).
-
i+ooget - ) ( ) dT.
00
+
gk - tk) +
yet) k=�OO X(t
/\ T X T
-00
LEMMA 3.1
The convolution operator G formally defined above maps L2 into
itself. Moreover GE C§ and the function G(jw) associated with G is
given by
+00
+ oo g(t)e-;W! dt.
G (jw) /\
k
�
OO J
gke -;wt + -00
THEOREM 3.1
Every element GE t[1 defines a time-invariant bounded linear
operator on L2, IIGII = II G(jw)IlL", ' and G is a positive operator on L2
if and only if for almost all WE R, G(jw) is (pointwise) positive on H.
Moreover, G*E c;g, and has the function G*(jw) associated with it.
COROLLARY 3.1.1
Let H = R and G(jw) = G( -jw). Then G is positive on L2 if and
only if Re G(jw) > 0 for almost all w > o.
Definition: Let :;I(' denote the class of operators4 from L2 into itself
defined as follows. Associated with each element KE:;I(' is a class of
operators K(t)E2(H,H) , parametrized by t, tER, with K(t)EL""
and which maps the element xE L2 into the element of L 2 defined by
(Kx)(t) A K(t)x(t). From this definition there follows
THEOREM 3.2
Every element KE :;I(' defines a bounded memoryless linear operator
on L2, IIKII = IIK(t)IIL"" and K is a positive operator on L2 if and only
if K(t) is (pointwise) positive on H for almost all tE R. Moreover,
K*E:;I(' and has the function K*(t) associated with it.
COROLLARY 3.2.1
If H = R, then every element KE:;I(' is self-adjoint and K is positive
on L2 if and only if K(t) > 0 for almost all t E R .
• The classes rJ and .:f are dual in the sense that both constitute pointwise multi
plications; the former in the frequency domain and the latter in the time domain.
This duality permeates the recent work on stability from an input-output point of
view.
MEMOR YLESS TIME-INVARIANT NONLINEAR OPERA TORS 51
Definition: Let ofF denote the class of operators from L2 into itself
defined as follows. Associated with each element FE ofF is a class of
operators F(·, t ), parametrized by t , t E R, each mapping H into itself,
such that there exists a constant M < co such that IIF(x, t )1I � M IIxll
for all xE H and t E R , and which maps the element xE L2 into the
element of L2 defined by (Fx)( t ) ./::;. F(x( t ) , t ). There follows
THEOREM 3.3
Every element FE ofF defines a bounded memoryless operator on
L2 , IIFII = M', with M' = inf M over a)l M such that for all xE H and
almost all t E S, II F(x, t )II < M IIxll ; i.e. , IIFII = (1IF(', t )IJ)Lco' and F is
(incrementally) positive on L2 if and only if F(' , t ) is (incrementally)
positive on H for almost all t E R. The operator F is Lipschitz con
tinuous on L2 if F(·, t ) is Lipschitz continuous for almost all t E S,
uniformly in t , and IIFII<1 = (1IF(· , t )II<1)L",.
and ret)= x(t) for almost all t. Let S�(a,b) be the subspace of L2.(a,b)
formed by the functions on [a,b] that are absolutely continuous and
that belong, together with their derivatives, to L2.(a,b). Let S� denote
S�(-oo, + oo). The space S� is an inner product space with the inner
product as in L2• It is , however, not closed in the L2-topology.
LEMMA 3.2
If x E S� then Iimt .... ±oo x(t) = o.
Proof: Write S�j.l x(t)x(t) dt = i[x2(T2) - x2(-Tl)]; it foIlows that
the limits exist, since the limit of the integral for Tl or T2. -+ 00 exists by
the Schwartz inequality. Since limt .... ±oo x(t) thus exist and since
x(t) E L2, the limits must indeed be zero.
THEOREM 3.4
Assume that FE ff; and that the functionfthat defines F is Lipschitz
continuous on R. Then (x, d(Fx)/dt)L2 = 0 for all x E S�.
Proof: Let yet)= Fx(t) and let K be a Lipschitz constant for f Since f
is Lipschitz continuous , yet) is absolutely continuous whenever x( t ) is.
It is simple to show that !y(t)! � K !x(t)! whenever both exist (and thus
almost everywhere). The inner product in the theorem statement is thus
well defined since yE S�. Integration by parts yields
=0
T .... oo J
x(-T)
f(a) da
THEOREM 3.5
Let F E fF . a n d assume that the function.f which determines F is
Lipschitz continuous on R. Let ex E R and G E 'iff be defined by G ( jw ) =
1/(1 + exjw). Then FG is a nonnegative operator on Lz if and o nly if
for all (J E R , af ( a) � O.
Proof: The theorem is a particular case of Theorem 3.3 if ex = O.
Let therefore ex � O. Since the operator G corresponds to a convolu
tion , Gx is absolutely continuous for all x E L2• Moreover, since
jw/(1 + exj w ) E Loo for ex � 0, Gx E S� for all x E Lz. Thus
(x,FGx) = «1 + ex :t)GX,FGX)
=(Gx,FGx) + ex(ddt Gx,FGx\/ � ex\/ddt Gx,FGxl\
This last i nner product equals zero by Theorem 3.4. The converse part
of the theorem is an immediate consequence of Theorems 3.3 and 3.4.
T
limit-in-the-mean transform G (jw)X(jw). An important subclass of
operators in � are those defined by the convolution with kernel
ZneI gn <5(t - nT), where {gn} Ell, and <5 denotes the Dirac delta
function.
T T. L2,
LEMMA 3.3
L2•
Let K E % and G E � Then K and G commute on i.e. ,
KGx = GKx for all x E
Proof;6 Since both K and G are bounded linear operators from into L2
itself, KG and GK are. By continuity of bounded linear operators, it
thus suffices to prove the lemma for a dense set in
sequence {gn } , n E I, by
Define the L2•
gn .6. -T i211fTG(jw)-inwTdw.
27T
12
0
I t follows from the theory of Fourier series that {gn} E and that
+00 +N
L2
'11=-(0 J.V-+co n=-N
Let v be any element of n LI• Then
w,v(t) =
N
Z gnv(t - nT) E
n=-N
L2 n LI.
formal argument: since Gx(t) Z��_oog"x(t - nT) and k(t) k(t - nT), then
=n =Zoog"k(t - nT)x(t - nT)
= =
+00 +00
KGx(t) = k(t)n Z g"x(t - nT) = GKx(t).
=_co -
PERIODIC GAIN 55
T
Since 2.��-N gkeinro approaches G(jw) in the L2 sense, this shows
that WN approaches i n the L2 sense the function whose limit-in-the-mean
transform equals G(jw) P(jw). Hence
+00
LEMMA 3.4
Let K E:/f' be determined by k(t), and assume that for almost all
t E R, k(t) > 0. Then KI/2 exists. Moreover, KI/2 E:/f' and Kl/2 E:/f'T
if K E:/f'T'
Proof: The element of :/f' determined by k(t)1/2 possesses all the
required properties.
THEOREM 3.6
Let K E :/f'T and let G E rJT' Then KG and GK are (strictly) positive
operators on L if for almost all t E R and w > 0, k(t) > ° and
2
Re G(jw) > ° (for some € > 0, k(t) > € and Re G(jw) > E). Moreover,
the elements of rJ T which satisfy the above inequality are the only
elements of rJ which yield (strictly) positive operators KG and GK
for all (strictly) positive elements K E:/f'T'
Proof: The first part of the theorem follows from Lemma 3.3 if it is
proved for KG. But by Lemmas 3.3 and 3.4
(x,KGx) = (X,KII2GKI/2X).
56 POSITIVE OPERA TORS
on the set Q. (A similar argument holds for the other cases). Then there
exists an E > 0 such that Re (G(jw) - G(j(w + 27TT-l» ) < -E for all
w E Q' with Q' c Q a set of positive measure. Let Q: be a subset of
(n27TT-1, (n + 1)27TT-l] n Q' which is of positive measure (such a
subset exists for some n, since Q' is of positive measure). Let Q: +
k27TT -l denote the set of points x E R such that x - k27TT-l E Q:.
Choose X(jw) = 1 for w E Q� + k27TT-l, k E I, and Ikl < N, an d
X (jw) = 0 otherwise, and choose k(t) = 1 - cos 27TT-1t. Clearly,
k(t) � 0 and the K corresponding to k(t) belongs to KT• Let y = KGx.
Then
n n
kLX
kYk > LxkY,,(k)
=l k=l
The informal explanation of this fact given there is that, given a lever
arm with hooks at distances Xl> xz, . , Xn from a pivot and weights
. .
Yl> Ya, ,Yn to hang on the hooks, the largest moment is obtained by
• . •
hanging the largest weight on the farthest hook , the next largest weight
on the next most distant hook, etc.
This result has an interpretation i n terms of positive operators.
Suppose thatfis a function from R into itself, and denote by X and Fx
8 In particular it is the problem studied by Page (Ref. 5), Pantell (Ref. 6), and
Black (Ref. 7) in connection with frequency-power formulas and it plays a central
role in the determination of stability criteria for feedback systems with a monotone
or an odd-monotone nonl inearity in the feedback loop. In the latter context it has
been treated by Brockett and Willems (Ref. 8), Narendra and Neumann (Ref. 9),
Zames (Ref. 10), O'Shea (Refs. 1 1, 12), O'Shea and Younis (Ref. 13), Zames and
Falb (Ref. 14), and others.
58 POSITIVE OPERA TORS
sequences {X.. (l) ,Xr.(2) ,... ,x .. (n)}and {Y,,(l),Y .. (2),' ,Y.. (n)} are mono
• •
and {Yl'YZ" " ,Yn,Yn+l} with Xn+l = Yn+l = 0 are similarly ordered.
Two sequences are said to be similarly ordered and symmetric if they are
unbiased and if the sequences {lxll, IXzl, . . , Ixnn and {IYll, I Y21 ,
• , • . .
Yn
l n are similarly ordered.
As an example, let f(a) be a mapping from the real line into itself,
and consider the sequences {Xl, xz, ... xn} and {f(Xl),f(X2)" '"
f(xn)}. These two sequences will be similarly ordered for all sequences
{Xl' Xz, ... ,Xn} if and only iff(a) is a monotone l10ndecreasin g function
of a, i.e. , if for all al and az,(al - aZ)(j(al) - f(a2)) > O. They will be
unbiased if and only if f(a) is a first an d third quadrant functio n; i.e. ,
if for all a, af(a) > O . They will be similarly ordered and symmetric
if and only if f(a) is an odd monotone nondecreasin g fun ction of a,
i.e. , iff(a) is monotone nondecreasing and f(a ) = -f( -a) for all a.
• The Hardy, Littlewood, and Polya rearrangement inequality leads rather easily
to a proof of the fact that the cross correlation o� the input and the output to a
monotone nondecreasing nonlinearity attains its maximum value at t he origin.
This approach has in fact been used by Prosser (Ref. 16) and Black (Ref. 7).
POSITIVE OPERA TORS WITH MONOTONE NONLINEAR/TIES 59
LEMMA 3.5
The set of all doubly stochastic matrices forms a convex polyhedron
with the permutation matrices as vertices ; i.e. , if M is a doubly
stochastic matrix then M = Li:'l Cl.iPi with Cl.i � 0 , Li�l Cl.i = 1. and
Pi a permutation matrix. This decomposition need not be unique.
LEMMA 3.6
Let {Xl> X2, . xn} and {Yl. Y2, ... ,Yn} be two similarly ordered
. . •
THEOREM 3.7
A necessary and sufficient condition for the bilinear form
:.
! I=1 mk1xkYI to be nonnegative for all similarly ordered sequences
{Xl > X2, . xn} and {Yl,Y2,
. . Yn} is that the matrix M = (mkl) be
. . •
THEOREM 3.8
A necessary and sufficient condition for the bilinear form
1� 1=1 mklxkYI to be nonnegative for all similarly ordered unbiased
sequences {Xl ' X2, , xn} and {Yl,Y2,... ,Yn} is that the matrix
. . •
THEOREM 3.9
A necessary and sufficient condition for the bilinear form
L�.Z=l mk1xkyz to be nonnegative for all similarly ordered symmetric
sequence s {Xl> X2' , xn} and {Yl ' Y2,
• • • , Yn} is that the matri x
• • •
THEOREM 3 . 1 0
Let M be an (n X n ) matrix and let / be one o f the following:
1. A monotone nondecreasing function.
2. A monotone nondecreasing first and third quadrant function.
3. An odd-monotone nondecreasing function.
Then MF is a positive operator on Rn for all mappings / satisfying one
of the conditions 1-3 if and only if M is, respectively ,
LEMMA 3.7
Let the array {rkl},k, I E I, be such that the sequences {rkl} belong to
'1 for fixed k and I, uniformly in k and /; i .e. , there exists an M < 00 such
that !t.�oo Ird < M and !t=�oo Irkzl < M. Then {rkl} determines an
element R of 2(12'/2) and IIRII < M.
POSITIVE OPERATORS WITH MONOTONE NONLINEARITIES 63
THEOREM 3. 1 1
Let M be an element of 2(12'/2). Then a necessary and sufficient
condition for the inner product (x,My)zz to be nonnegative for all
similarly ordered unbi ased 12-sequences x and y (simil arly ordered
symmetric 12-sequences x and y) is that M be doubly hyperdominant
(doubly dominant).
64 POSITIVE OPERA TORS
THEOREM 3.12
Let M be an element of .2(12,!2) which is of the Toeplitz type. Then a
necessary and sufficient condition for the inner product (x ,My) to be
nonnegative for all similarly ordered unbi ased /2-sequences x and y
(similarly ordered symmetric ''I.-sequences x and y) is that the sequence
{mk}, k E I, which is determined by M be hyperdominant (dominant) .
THEOREM 3. 1 3
Let A E .9/ and F E .fF. Then A F i s a positive operator o n I'l. i f the
following statements are true :
1. The f corresponding to F is a (odd) monotone nondecreasing first
and third quadrant function.
2. The i nverse z-transform of A (z) is (dominant) hyperdominant.
Moreover , the elements of .9/ satisfying statement 2 are the most
general elements of .9/ which yield a nonnegative operator AF on /2,
for any F E .fF satisfying statement 1. Finally AF is a strictly positive
operator on 12 if A -€I and F €I satisfy statements 1 and 2 for
-
some E > O.
The proof of Theorem 3 . 1 3 follows from Theorem 3 . 1 2. Theorem
3.13 states that if X(z) and 9(z) are the limit-in-the-mean z-transforms
of the input and the output of a (odd) monotone nondecreasing
nonlinearity then
X(jw) X jw
yields I R"'I"'2H 1 < IIXIII Il x2 11 . M oreover, since the timit-in-the-mean
transforms of x(t) and x(t + T) are given by and ( ) ei"'T
respectively, it follows from Parseval's relation that
THEOREM 3 . 1 4
Let F E vii, x E L z and let y = Fx. Then R", u (O) � R",it) for all
t E R. If F belongs to 51', then R",y(O) � I R",y(t) 1 for all t E R.
Proof: Let F(a) = S� f(x) dx. Then F(a) is a convex function of a
(since the derivative of F(a) exists and is monotone nondecreasing).
The convex function inequality (Ref. 24) yields that (al - aZ)f(al) �
F(al) - F(az) for all aI , az E R. (This inequality can simply be
obtai ned by integrating f(a) - f(al) from al to az.) Taking al =
x(t + -r) and a2 = x (t) it follows that
THEOREM 3. 1 5
Let F E .;11 (51') and let G E t§ be determi ned by the function G (jw)
given by the Fourier-Stieltjes integral
THEOREM 3. 1 6
Let F and G satisfy the conditions of Theorem 3. 1 5 and assume that
the function / which determines F satisfies a Lipschitz condition o n R.
Then (G + a dfdt ) F is a nonnegative operator on S� for all (1. E R.
The proof of Theorem 3. 1 6 follows from Theorem 3 .4 and 3 . 1 5.
Theorem 3. 1 6 states that if X and f are the Iimit-in-the-mean trans
forms of x and y = Fx with x and F as i n Theorem 3. 1 6 , then
L + "'
oo MI ( jW) X( -jw) f( jw) dw >0
L+oooo e-iWr
for all fu nctions MI(jw) given by the Fourier-Stieltjes integral
e;wr �
form13
1
00
M ( jW) = + 1 -
2 - 00 r
jwr g(r) d
V(r)
,
-"dV2!T)
and
J T- co
T
exist for x > 0, and ge ) is any bounded real-valued function of T
which is continuous at the origin and with g(O) = 1 (it can be shown
that under these conditions M2(jW) is well defined). It is then possible
to show - using an argument which is completely analogous to the one
used above - that the integral
M(jw) = 1 y ex p ( l w \ T),
T T
- -
where y and are real numbers satisfying ° < y < 1 and ° < < 2.
2. The function
M (jw) = 1 - e(w),
where e(w) is any real-valued , nonnegative even function of w which
is convex for w > ° and with e(O) < 1.
3. The functions
M (jw) = [
I W I T l + jb tan �TJ for w > 0,
In the remainder of this section these results are tied in with the
frequency-power formulas. Frequency-power formulas are relations
between the power inputs and the power outputs of a nonlinear device
at various frequencies of the almost periodic input. The discussion will
be mainly concerned with nonlinear resistors. Frequency-power
relations of the type given here have found application in the design of
frequency converters and express fundamental limitations of such
devices.14 The proofs of the relations which follow will not be given
since they are completely analogous to the parallel relations obtained
above for L2-functions.
Let x be an almost periodic function of t, and let / be a continuous
map from R into itself. It follows then from the smoothness conditions
on / that y(t) = f(x(t» is also almost periodic.
Definitions: Let (l) k be a basic frequency common to both x(t) and y(t)
and let X k and Yk be the corresponding Fourier coefficients. Let (l) k > o.
Then the complex power Rk> the active power Pk, and the reactive
power Qk absorbed by the nonlinearity / at frequency (l) k are defined as
Rk /\ lX'kYk Pk 1\ Re Rk Qk .fl 1 m Rk•
Frequency-powerformulas are relations between the active and reactive
powers absorbed by the nonlinear resistor at the different frequencies.
The first relation which can then be obtai ned is the analogue o f
Theorem 3.4 a n d states that if x a n d _0( are almost periodic functions of t,
then
L P k > O.
(r)k�O
I f / is in addition monotone nondecreasing (f is then usually referred
to as a nonlinear resistor), then the following general frequency-power
Re L RkM(jwk) > 0.
"'k� O
The particular choices of M given i n the preced ing list lead to the
following simple frequency-power formulas :
1. The formula
L [1 - y e x p ( - I wk I T)]Pk > 0,
(t)k� O
where y and T are real numbers satisfying ° � y � 1 and ° � T � 2.
2. The formula
L (1 - e(wk) Pk > 0,
C.rJ1.:� O
where e (w) is any real-valued , non negative , even function of 01
",.",- 0
(
L I WkI T Pk + Qk 0 tan 7f
2
T
)> °
and
L
(Qk;;'O
(
Wk Pk + Qk 0 In
Wk
010
) > 0,
where T, 0 and Wo are real n umbers satisfying ° � T � 2, T � 1,
1 0 1 � 1 , and 010 > 0.
Remark 1 : For nonli near capacitors with voltage versus charge
characteristic v = !(q) where / satisfies the same assumptions as above,
analogous frequency-power formulas can be obtained with Rk replaced
by jRklwk . The same is true for nonlinear inductors with current versus
flux characteristic i = !(4)) with Rk replaced by RkUwk•
Remark 2: An im portant refi nement of the frequency-power relations
can be obtained i f the input xU) to the nonlinearity / is assumed to
be quasi-periodic, i.e. , if it is assumed that the basic frequencies Wk
consist of li near combi nations of N fundamental frequencies. Thus, let
011> W2 ' • •Ws be N given real nonnegative n umbers, let 11 1 > /12 ,
• , , n.v • • •
be integers , and assume that the basic frequencies i n x are of the form
wn n • . . . n.\. = Li�:" l /1i(l)i' I t can then be shown that the basic frequencies
1
of y are of the same type and that the Fourier coefficient in the output
y at frequency w n 1 n ' "s depends on the nonli nearity J, the set of
...
72 POSITIVE OPERA TORS
Moreover, si nce
it immediately follows that each factor of the different O)/s in the above
equality must be zero. H ence,
I n a similar man ner one can then argue that with M as before,
Re L R n1 n2 . . . n.vM(j(nl el + 11 2 e2 + . . . + nx(y)) � 0
n,· ;:;:O
for any real numbers e l > e 2, • • • , �s.
THEOREM 3 . 1 7
Let F b e a n (incrementally) positive operato r on W with W a H ilbert
space of functions defined on the time-interval of definition S and satis
fying the usual properties with respect to truncations. Assume that F
1 . These facts are obvious when the functionfis a power law or a l inear combina
tion of power laws. The extension t o arbitrary functions f then follows readi l y by
app ro x i m a tion .
FA CTORIZA TION OF OPERATORS 73
in the usual way as the greatest lower bound of all nu mbers M which
satisfy for all A E 11 the inequal ity I1 7TA II < M II A II .17 The identity
transformation o n 11 is denoted hy fJ
The following factorization theorem states the main result of this
section.lS
THEOREM 3. 1 8
Let 11 be a linear Banach algebra with a unit element I and let 7T+ and
7T- = e 7T+ be projections on 11. Let 11+ and 11- be the ranges of 7T+
and 7T- , and assume that 11 7T+ 1I < 1 and that 1 1 7T- 1I < 1 . Let Z be a n
-
1 7 Contrary to H ilbert spaces, projections i n Banach spaces need not have norm
less than or equal to one. Since the spaces under consideration here are spaces of
bounded l inear operators, there is in general no inner prod uct structure on them, and
the condition /l1T+ 1I � 1 thus becomes a constraint.
18 A similar theorem , due to Masani , with the estimate IIZII < p/4 has appeared
in the literature ( Ref. 33). Another interesting factorization theorem in a somewhat
different setting has been obtained by Gohberg and K rein (Ref. 35).
1 9 The notation (J+ <3 1 means all elements of (J which are of the form R + al with
EB
R E (1+ and a a scala r ; (J- I is simi larly defined .
FA CTORIZA TION O F OPERATORS 75
LEMMA 3.8
Let {Ak} , {Pk}, and {Nk} , k = 1, 2, . . . be sequences of elements of
a, a+, and a- respectively and �ssume that for some ro > 0 and all
I r l < '0 : 1 , The series A = [ + I;;"= l Akrk, P = [ + I:= l PJ,:r\ and
N = [ + 2:'= 1 NJ,:rk converge ; and 2, the elements are related by
A = PN. Then A un iquely determ ines the sequence:; {Pk} and {Nk}.
Proof: Equati ng coefficients of equal powers in r in the equality
A = PN leads to PI + NI = A l and Pn + Nn = A " - I::i PkNn-k for
11 = 2, 3 , . . . . Thus Pn = 17+(A n - I::i PkNn k) and Nn = 17-(A n -
-
Ir::i PJ,:Nn-k) which shows that A uniquely determines Pn and Nn
provided it uniquely determ ines Ph . , Pn-I and Nh . . , Nn I• Since
-
. . .
LEMMA 3.9
The equations P = [ + rr.+(ZP) and N = [ + m-(NZ) h ave a
I
unique solution P E a and N E a for all I r l < I p l - . Moreover, these
solutions are given by the convergent series P = 2� 1 PkrJ,: and N =
2:= 0 NJ,:rl.: with Po = No = [, Pk+I = 17+(ZPk) , and NJ,:+ I = 17-(N1..Z).
Also, P E a+ E9 [ and N E a - E9 [.
Proof: The result follows from the inequalities
II m- «A - B) Z) II < I p l - l IIZ II II A - B II ,
and the contraction mapping principle. M oreover, it is easily verified
that the successive approxi mations induced by this contraction mapping
with Po = No = [ yield the power series expressions of P and N as
clai med in the lemma.
LEMMA 3.10
The solutions P a n d N t o the equations of Lemma 3 . 9 are i nvertible
for all i r l < I p l - , the i nverses being given by p-l = [ - m+(NZ) and
I
I
N- = [ - m-(ZP). Moreover, N-IP-I = [ - rZ for all I r l < I p l -l.
I
Also , p- E a+ E9 [ and N-I E a- E9 [.
Proof: From the equations defining P and N it follows for I r l < I p l -l
that
and
76 POSITIVE OPERA TORS
Since all elements of (1 which are of the form 1 - B with IIBII < 1 are
i nverti ble, it thus follows that I - nr+(NZ), 1 - r7T-(ZP) and J - rZ
are i nvertible for I r l � I p l-1/2. Furthermore, the inverses are given by
the convergent series
Ol
(I - rZ r1 = I + 2, Zkrk
k=1
From the equations of P and N, it follows that (I - ,Z)P = I -
m-(ZP) and N(I - rZ) = 1 - m+ (NZ) for I r l � I p l - l and thus that
(I - ,Z)- 1 = P(/ - m-(ZP» -l = (/ - r7T+(NZ» -lN for I r l < I p l - 1/2.
Since all factors in the equalities are given by the convergent series
given in this lemma and in Lemma 3.9 and since q+ and (1- are closed
u nder multiplication , Lemma 3.8 i s applicable. This yields P =
(I - m+ (NZ» -t , N = (I - m-(ZP» -1 and PN = (I - rZ)- 1 for
1 ' 1 � I p l - 1 /2. Thus for 1 ' 1 � I pl- 1 /2 the following equalities hold :
P(I - m+ (NZ» = (I - m+(NZ» P = I,
N(I - m-(ZP» = (I - m-(ZP» N = I,
(I - m-(ZP» (I - m+ (NZ» = 1 - rZ.
PROOF OF THEOREM 3. 1 8
Let r = p-l i n the Lemma 3 . 1 0. The theorem fol lows with Z- =
p( / - p-I7T-(ZP» , ( Z-)-1 = p-lN, Z+ = 1 - p-17T+(NZ) and (Z+)-1 =
P.
COROLLARY 3 . 1 8 . 1
Let Z b e an element o f 2(12 ' /2) such that Z E I is doubly dominant
for some E > O. Then there exist elements M and N of 2(12 ' /2) such
-
that :
l . Z = MN;
2. M a n d N have bounded i nverses M-l and N-l ; and
3. N and N-l belong to 2+(12 ' /2) , and M and M-l belong to 2-(12'/2). 20
COROLLARY 3. 1 8.2
Let A ( z) - E be the z-transform of a sequence which is dominant for
some E > O. Then there exist functions A+(z) and A-(z) such that
1 . A (z) = A-(z) A+ (z) ; and
2. A+(z) and (A+(Z» -l are the z-transforms of iI-sequences {at} and
{btl with at = bt = 0 for k < 0, and A-(z) and (A-(Z» -l are the
z-transforms of II-sequences {a;;} and {b;;} with a;; = b;; = 0 for
k > O.
Proof: Both of these corolIaries follow from Theorem 3. 1 8 under a
suitable cho ice of the Banach algebra (J and the projections 7T+ and 7T-.
CorolIary 3 . 1 8 . 1 folIows from Theorem 3 . 1 8 with the Banach
algebra (J all members of 2 (l2,!2) such that if A E (J and if {ak!} , k, I E I
is the corresponding array , then the sequences {ak!} belong to 11 for
fixed k and i, uniformly in k and I; i.e. , there exists an M such that
!:.=":",, l ad < M and !t=�"" lakti < M. Multiplication is defined i n
the usual way a s composition o f elements o f 2(12 ' /2)' The norm is
20 It comes somewhat as a surprise that Theorem 3.18 when applied to linear
operators on 2'2 yields factorization of doubly infinite matrices, just sufficient to
ensure factorizability of the positive operators discovered earlier in this chapter.
This result also hinges on the somewhat unexpected type of norm chosen in applying
Theorem 3.18. Notice that this norm is not the one induced by the 12-topology. The
reason for not using the induced norm is that it was not possible to show that
1I1T+ 1I ..; 1 in this topology. Whether or not this is true remains u nclear. For time
gE
invariant operators this question reduces to proving or disp roving that for any
L"
wER If+""g(t)e-iwldtl
max
- <Xl
� max
wE R
I Jo(""g(t)e-iwtdtl ·
If this i nequality holds then Theorem 3 . 1 8 can b e used to show that any strictly
positive operator on a Hilbert space admits a factorization into a causal and an
anticausal part.
78 POSITIVE OPERA TORS
defi ned as the greatest lower bound of all numbers M satisfying the
above i nequaiities. The nonobvious elements in veri fying that (J forms
a Banach algebra are that (J is closed under multiplication, that
II ABII < II A II IIB II for all A , B E (J , and that (J is complete. Closed ness
u nder multiplication follows from Fubini's Theorem for sequences
(Ref. 22, p. 245) and the inequalities
+00 +00
= .L I bil l .L la k il
i=-oo k=-oo
< II A I I II B I l
and
THEOREM 3 . 1 9
Let A (z) be the z-transform of an 11-sequence. Then there exist
functions A+(z) and A-(z) such that :
k > 0,
if and only if A (z) =/= 0 for Izl = 1 and the increase in the argument
of the function A (z) as z moves around the circle Izl = 1 is zero.
Moreover, all factorizations which satisfy conditions 1 and 2 differ
only by a nonzero multiplicative constant.
THEOREM 3.20
Let G E C§ 1 and assume that all the delays are equally spaced , i.e. ,
that tlr = k T for some k. Then there exist element;; G+ E C§1 and G- E C§l
such that :
1 . G = G- G+ ,
2. G+ and G- are i nvertible, and
3. G+ and (G+)-1 E qjt, and G- and (G-)-1 E qjl,
80 POSITI VE OPERA TORS
if and only i f, I G(jOJ) I > E:, for some E: > 0 and all OJ E R, and the
increase in the argument of the function G(jOJ) as ( I ) varies from 00 -
to + 00 is zero. 2 1
Theorem 3.21 below shows h ow this solution can be read ily obtained,
provided that R admits a suitable factorization. First, however, a si mple
lemma will be proven :
LEMMA 3 . 1 1
Let (1 be a linear algebra with a unit element I and let 7T+ and 7T- =
21
Let G (jw), w E R, be a complex-val ued function of w with G(jw) = Aejw) +
Lejw) and ACjw) periodic and lim",-. ± «> Lejw) = O. The increase in the argument
of the function GCjw) is said t o be zero if
This definition is a natural generalization of the usual definition of the increase in the
argument of a complex-val ued function.
POSITI VE OPERA TORS ON EXTENDED SPACES 81
Proof: Si nce
7T+( A B) = 7T+«7T+A + 7T-A)B)
= 7T+«7T+A)B) + 7T+«7T-A)B) = 7T+«7T+A)B) ,
the lemma follows.
THEOREM 3.2 1
Let (J be a linear algebra with a unit element I and let 7T+ and 7T- =
(J - 7T+ be projections on (J with ranges a+ and (J-, respectively. Let
R and M be given elements of (J, and assume that there exist elements
R+ E (J and R- E (J s uch that :
1 . R = R+R- ;
2. R+ and R- are i nvertible i n (J ; and
3. R+ and (R+)-l belong to (J+ (f) I, and R- and (R-)-l belong to (J- (f) I.
Then the unique soluti on of the Wiener-H opf equation, i.e. , the
solution of the system of equations 7T+(XR) = 7T+M , 7T+X = X, is given
in terms of this factorization of R by X = (7T+(M(R-)-l» (R+)-l.
Proof: It will first show that X = (7T+(M(R-)-l» (R+)-l is a sol utio n of
the Wiener- H opf equati on. Clearly 7T+X = X. Moreover,
7T+(XR) = 7T+«7T+(M(R-)-l» (R+)-lR)
= 7T+«7T+(M(R-)-l» R-) = 7T+ «M ( R-) -l)R-) = 7T+M.
These equalities follow from Lemma 3 . 1 1 since (R+)-l E a+ (£J I and
R- E (J- (f) I. To show that (7T+( M(R-)-l» (R+)-l i s the unique solution
of the Wiener- H opf equation, assume that 7T+(XR) = 7T+M and
7T+X = X. Then (7T+(7T+(XR+R-))) (R-)-l = ?T+(M( R-)-l) si nce (R-)-l E
(J- EEl I. H ence, since R+ E (J+ (£J I, the equalities ?T+ (M ( R -) - l) =
?T+(XR+) = XR+ hold , which shows that (?T+(M(R-)-l» (R+)-l is
i ndeed the u n ique soluti on of the Wiener- Hopf equation.
For causal operators on L2• which do not map L2 into itself it is,
however , a simple matter to generalize the theorems of the previous
22
situati on to operators on L2• • For example, Theorem 3.2 can be
extended to cover the case where K(t) E Loc. (it suffices for K(t) to
belong to Loc. i n order for the operator (Kx) (t) = K(t)x(t) to be
well defined as a map from L2• i nto itself). The analogue of Theorem
3.11 is also obvi ous and requires the analogue of the dominance
conditions without the requirement that SUPkEI mkk < 00 ; instead , it is
assumed that mkl = ° for k < I. This analogue, however, does not
fully exploit the power of the rearrangement inequalities derived in
this chapter, and it is in fact possible to prove a somewhat stronger
positive-operator theorem , which does not requi re boundedness of the
operators i nvolved.
Definitions: Let M = {mkl} , with k, I E /+, be a square array of real
numbers. Then M is said to be doubly hyperdominant if mkl < ° for
k :;z!: I and i f 1:=0 mkl and 1�= 0 mkl exist and are nonnegative for ali I
and k. M is said to be doubly dominant if mu >: 1:= O k ;O l lmkll and
,
mkk >: 1:= O , I i"k Imkl l . Every doubly dominant array M, with k, I E /+
and mkl = ° for k < I, defines a causal linear operator from 12.(0, 00)
into itself with (MX)k = 1�= 0 mk1xl. This operator need not, however,
be bounded on 12e' Given two square arrays of real numbers Ml =
{mill} and M2 = {mi�l }, k, 1 E /+, it is possible to define the product
MI M2 as the square array with (M1 M2)kl .f:,. 1� 0 mk�lmW whenever this
infinite sum exists for all k and I, and thus in particular whenever Ml
is causal (Le. , whenever M1 defines a causal operator o n 12. ; in other
words , whenever mW = ° for k < I) , since the summation defining
this product then becomes finite. Let M = {mk l}, k, 1 E /+, be given ;
then M* = {11k!}, k, 1 E /+ is defined as the square array with I1kl = mlk
for all k and I.
THEOREM 3.22
Let Ll and L2 be causal li near operators from /2.(0, 00) into itself and
let F denote the operator on /2.(0, 00) defined by ( FX) k = !(xk) with !
a map from R into itself. Assume that Ll has a causal inverse on 12.(0, 00).
22 It should be pointed out that Theorem 3.1 is an exception to this, i.e., that, in a
sense, the bounded positive time-invariant causal convolution operators on L 2 •
define in fact the most general positive time-invariant causal operators on L.. as
well . More specifically, consider the convolution operator (as in Theorem 3.1) with
vanishing kernel for t < 0 (for causality) and whose kernel is locally integrable (i.e.,
integrable on compact sets) so that it defines a causal l inear time-invariant operator
on L 2, . If for some I1T > 0, the integral of the norm of the kernel on the interval
[ T, T + 11 T] becomes unbounded as T -+ro , then this operator will not be positive
o n L2, .
REFERENCES 83
Then LIFL2 is a positive operator on ,2.(0, 00) for any mon otone
nondecreasing (odd-monotone nondecreasi ng) first and third quadrant
function f if and only if the square array determined by L2(L-;'I) * i s
doubly hyperdominant (dominant) .
Proof; Let N be a nonnegative i nteger, let x E 12 .(0, 00) , and let Pxx
denote the truncation of x. The operator PSL1 FL2PS i s posi tive on RoY
i f and only if PXL-;'lPxLIFL2PX(L-;'1)* Ps is. Since, however,
PSL-;'IP.VLl FL2Ps(L-;'l) *Pi\" = P,yFL2(L-:; 1) *P1\',
the theorem follows from Theorem 3. 1 0.
References
4.1 Introduction
L....----IFEEDBACK CONTROLLERi+-----'
INPUTS
e2 = U 2 + Yl>
(FE)
Y1 = G1el> and
Y 2 = G 2e 2 ,
where lIh U 2 are called the inputs,· eh e 2 are called the errors, and
Yl> Y 2 are called the outputs.
Let To be a (finite) real number and let S, the time-interval ofdefinition,
be [To,oo).2 Let B1 and B2 be given Banach spaces , and let Y(Bi) ,
PT will be called the truncation operator and PTx will be called the
truncation of x at time T. The collection { PT}, T E S, thus consists of a
family of projecti on operators on Y(Bi)'
Definition: Let Wic Y(Bi), i = 1,2, be a Banach space. The extended
space, Wi., is defined as
ST.3. There exist constants PI> P2 < 00 such that for any inputs
Ui E Wi' i = 1 ,2, lIelll, lIe211, IIYlll , IIY211 < PI lIulll + P2 11u211.
c.l. It is stable.
C.2. Let Ui E Wi' i = 1, 2 , be given (but arbitrary) , and let ei and Yi
be the corresponding errors and outputs. Then there exists, for any
given € > 0, a b > 0 such that the inputs Ui + AUi with AUi E Wi
and lIilulll, lIilu211 < € yield corresponding errors, ei + Ae;, and
outputs, Yi + AYi' with ileI, AY2 E WI, Ae2, AYI E W2, and lIilelll,
IIAe211, IIAY111, lIilY211 < b.
The system is said to be Lipschitz continuous i f it is continuous and i f in
addition :
GO.
A careful examination of the definition of well-posed ness also reveals
that a pure delay T., is assumed to be present i n the loop describing
the physical feedback system . This assumption is inspired by the
consideration that no information can travel faster than the speed of
light, which is a finite, albeit very large, constant. It thus seems
very reasonable to make such an assumption. It should be noted that
this assumption has n ot been introduced capriciously, but that it is
essential to the mathematical development.
The conditions assumed on the physical model in the treatment of
well-posed ness appear to be minimal. Taking into consideration that
the final conditions will be in terms of the mathematical models, n o
additional assumptions on the physical systems will be made. This is
in the spirit that the exact description of the physical system is unknown
but that smoothness assumptions can be made, these being warranted
by general physical principles.
The assumption made is thus that the summing junctions and the
systems in the forward and the feedback loop of the system are approxi
m ations (in the strong topology) of the exact physical (strongly causal
and locally continuous) system . The requirement for well-posedness
of the closed loop system is then that it itself approximate the physical
system obtained by considering exact physical models for the summing
junctions and the systems in the forward and feedback loop. Thus well
posedness of the open-loop operators (i.e., the open-loop operators are
WELL-POSEDNESS OF FEEDBACK SYSTEMS 95
small delay of length t. > 0 is introduced in the forward loop, then the
error corresponding to a nonzero constant input ul(t) Uo = con
=
stant � 0 is given by
for 0 < t < il
for il < t < 2il
if and only if IKI < 1 (when the expansion (1 + K)-l I::'=o (_K)n
=
Yl
\-----
",.!JEW.
P"(X-lI)=O
IIPT+6T(X - y)1I
J>T+..l.r("'-Y) *0
is called the gain of F 011 the interval [T, T + t:.T]. It is clear that
PT(t:.T) is monotone nondecreasing in t:.T for T fixed. The real number
PT 1\ inf.:.T>o PT(t:.T) lim..l.T!o PT(t:.T) is sometimes referred to as the
=
WELL-POSEDNESS OF FEEDBA CK SYSTEMS 97
THEOREM 4.1
The feedback system described by equations (FE) is well posed if
either of the following conditions is satisfied for all T E S:
1 . The product of the uniform instantaneous gains of the operators
G1 and G2 is less than (J. < 1 .
2 . The system i s linear and the instantaneous gain o f the Nth power
of the open-loop operator, (G2G1)-V , is less than unity for some
integer N > o.
Proof: The proof is an adaptation of the usual proofs involving
existence and uniqueness of solutions of ordinary differential equations
or Volterra integral equations.6 Since the interested reader will be
• Whether or not this terminology is natural is unclear. The idea of instantaneous
gain and the gain on the interval [T, T + AT) is obvious and clearly related to
the feedthrough in a system. The uniform instantaneous gain and the uniform gain
on the interval [ T, T + AT) are also related to the feedthrough in a system but in
addition take into consideration that the state of the system could be different.
8 The type of proof given here can be completely imbedded in a contraction
mapping argument, thus avoiding the argumentation on consecutive intervals. It
involves redefining the norm of P'o+nl!7'X to the equivalent norm
n
with Pi appropriately chosen nonzero constants. Both arguments are tedious and
painful. The one given here appears to be the more transparent one. The contraction
mapping argument is somewhat more sophisticated and yields an important side
result: it shows that the successive approximations en+l -Ge" + u converge on
=
any interval [to, to + T) to the solution and it gives a (more or less) explicit bound
on the rate of convergence and on the error. Similar ideas can be found in References
2,3.
98 FEEDBACK SYSTEMS
COROLLARY 4.1.3
Let WI = L�I(To,oo), I < p < 00, and G2G1 = G' + Gil be linear,
with G' a memoryless operator and Gil strongly causal , uniformly with
respect to past inputs. Assume that the characteristic of G', g, is
continuous in t on [To,oo) and continuous on B. Then the feedback
system described by the equations (FE) is well posed if g satisfies for
some ex. < 1 and all t in any finite interval the inequality
9 Most of the results presented here have their analogue obtained using Lyapunov
methods. The survey paper by Brockett (Ref. 8) contains one such method based on
spectral factorization and ample references to other works in this area. The same
author presents in Reference 9 another method using algebraic matrix equations
to obtain similar results. This method was originally developed by Popov (Ref. 10)
and Kalman (Ref. 11). A survey paper by the author (Ref. 12) contains further
references to the literature in this area, particularly those applying to distributed
parameter systems as well.
104 FEEDBA CK S YSTEMS
This i s in spite of the fact that its founders, Lyapunov and Poincare,
were not primarily interested in control. It should be noted that this
dynamical-system point of view is supported by the work of Maxwell
and much of the subsequent work on regulators. Although Lyapunov
stability remains important and very useful in many control applica
tions, its basic philosophy can often be challenged and is somewhat out
of line with the modern approach to systems, where inputs and outputs
are the fundamental variables and the state is merely an auxiliary
variable that essentially represents the contents of a memory bank. The
development and success of i nput-output stability should thus come as
no surprise. This does not exclude that for many applications (for
example, in aerospace problems) Lyapunov stability does represent a
very satisfactory type of stability, and thus its study will remain both
important and fruitful.
1 1
su p -_ - II PTYI II , sup -- II PTY2 11
T�To T - 10
.
T�To T - To
THEOREM 4.3
Consider the feedback system described by the equations ( FE) and
assume that :
1. It is well posed.
2. The operator G2 is Lipschitz continuous on W2•
3. The operator GI is bounded on WI or there exists an € > 0 such that
for all x E W2e and T E S , II PT G2X II ;> € IIPTx ll .
12 This formulation has interesting applications to problems in which the inputs
are described in terms of random processes.
1 08 FEEDBACK S YSTEMS
then follows that YI also satisfies such conditions. The necessity part of
the theorem is obvious by letting liz 0 and applying Theorem 4.2.
=
CO RO LLARY 4.3. 1
The feedback system described by the equations (FE) is finite gain
stable it is well posed , if G 2 is Lipschitz continuous on W 2, if GI is
bounded o n WI> and if the open loop is attenuating o n WI (i.e. , if
II G2GIII < 1).
CO R OLLARY 4.3.2
Let WI = Wz. Then the feedback system described by the equations
(FE) is finite gain stable if it is well posed , if G z is Lipschitz continuous
13 These results are essentially due t o Zames ( Refs. 14, 16) and Sandberg (Refs.
1 3 , 15). The only novel part in the Corollaries as presented here is that the operators
G. and GI are never separated (compare the II G,GI I I < 1 cond itions with the
I I G. 1I 11 GI l l < 1 condition of Ref. 1 6). A theorem of the positive-operator type has
appeared in Ref. 1 7 in a Lyapunov setting.
STABILITY AND INSTABILITY 1 09
COROLLARY 4.3.3
Let WI = W2 be a Hilbert space. Then the feedback system described
by equations (FE) is finite gai n stable if it is well posed , if G2 is Lipschitz
continuous on W2 , and if for some real numbers a < b , b > 0, the
operator Gz is strictly inside the sector [a,b] , 1 + Ha + b)G1 has a
causal inverse on Wl e, and G1 satisfies one of the following conditions :
1. a < 0, and G1 is inside the sector [ - l ib, - l la] o n WI ;
2. a > 0, and G1 is outside the sector [ - l la, - l Ib] on WI. ; or
3. a = 0, and G1 + ( l lb)l is positive on WI •.
COROLLARY 4.3.4
Let WI = W2 be a H ilbert space. Then the feedback system described
by equations (FE) is finite gain stable if it is well posed , if G2 is positive
on W2 e> and if GI is strictly positive and Lipschitz continuous on WI '
Proof: These corollaries follow from Theorem 4.3 and Theorem 2. 17 ,
Theorem 2. 1 8 , Corollary 2.20. 1 , and Theorem 2.21 (occasionally with
the roles of G2 and G1 reversed). The details are left to the reader.
COROLLARY 4.4. 1
Let W1 be a Hilbert space, and let the preliminary conditions of
Theorem 4.4 be satisfied. Then the feedback system i s unstable if for
some real numbers 0 < a � b, the operator G; is incrementally strictly
i nside the sector [a,b] on W� , 1 + Ha + b) G� has a noncausal
Lipschitz continuous inverse on W� , and G� is outside the sector
[- l ib, - l /a] on W�.
systems for which the desired output i s not a priori fixed (in other
words, for tracking systems). The feedback system should then be
viewed as follows : An (a priori undetermined) signal drives a stable
feedback system and generates a desired output. Additive in this input
is an undesired "small" noise component. Continuity then requires the
corresponding output to differ from the desired output also by a
"smaIl" amount.
I . It is well posed.
2. The inverse (1 + G)-l (which exists on WI' x W 2, by I) maps
WI x W2 into itself and is continuous on W I X W2•
C. l . It is well posed.
C.2. Let Ui E Wi" i = 1 , 2 , be given (but arbitrary), and let ei and Y i
be the corresponding errors and outputs. Then there exists, given
any € > 0, a <5 > 0 such that the inputs Ui + A U i with A Ui E Wi and
I I A u l ll, I I A u211 < € yield corresponding errors, ei + Aei, and outputs,
Y i + A Yi ' with Ael , AY2 E WI > A e2 ' A YI E W 2, and II A el ll , I I A e2 11 ,
II A YI II , II A Y 211 < <5 (for some fixed K < co, the inequalities hold
with <5 = K€).
1 12 FEEDBA CK SYSTEMS
1
sup II PT(u� ll - U�2l) 1 I < <x> , i = 1 , 2,
T ;;;' To T - To
---
THEOREM 4. 6
Consider the feedback system described by the equations (FE) and
assume that :
1 . I t is well posed
2. The operator G2 is Lipschitz continuous on W2
3 . The operator GI is Lipschitz continuous o n WI or there exists an
E > 0 such that for all Xl > Xz E W2• and T E S , II PT(GZXl - G2 X2)\I >
E IIPT(XI - x2) 1I .
CONTINUITY AND DISCONTINUITY 1 13
COROLLARY 4.6. 1
The feedback system described by the equations (FE) is Lipschitz
continuous if G1 and G2 are Lipschitz continuous on their domain and
if the open loop is contracting o n WI (i.e. , II G2G1 ll a < 1).
COROLLARY 4.6.2
Let WI = W2• Then the feedback system described by the equations
(FE) . is Lips chitz continuous if it i s well posed , if G2 is Lipsch i tz
continuous on W2 , and if there exists a scalar c such that 1 + cG2 has
a causal i nverse on WI" the inverse (I + cG1)-1 is Lipschitz continuous
on WI and (G2 - cI)GI(I + cGI)-I is contracti ng on WI.
COROLLARY 4.6.3
Let WI = W2 be a Hilbert space. Then the feedback system described
by equations (FE) is Lipschitz continuous if it is well posed , if G2 i s
Lipschitz continuous on W2 , a n d if for some real numbers a < b ,
b > 0 , the operator G 2 is incrementally strictly inside the sector
[a,b] , 1 + Ha + b) G1 has a causal i nverse on WI ., and G1 satisfies one
of the following conditions :
1 . a < 0, and G1 is incrementally inside the sector [ - l Ib , - l /a]
on WI ;
2. a > 0 , and G1 is incrementally outside the sector [- I /a, - l Ib] o n
WI . ; or
3. a = 0, and G1 + ( l Ib)! is i ncrementally p ositive on WIe -
16
These conditions are again essentially due to Zames (Refs. 14, 1 6). Compare,
however, the II G.G1 Il a < 1 cond ition with the II G.ll a I I Gdi a < 1 cond i tion of
Ref. 1 6.
1 14 FEEDBACK S YSTEMS
COROLLARY 4.6.4
Let WI = Wz be a Hilbert space. Then the feedback system described
by equations (FE) is Lipschitz continuous if it is well posed , if Gz is
incrementally positive on W2.. and if GI is incrementally strictly
positive and Lipschitz continuous on WI .
4.6. 1 Sensitivity
A concept related to stability is that of sensitivity. Two types of
sensitivity are usually considered i n the literature : the first is sensitivity
with respect to measurement noise, and the second is sensitivity with
respect to modeling errors.
Consider the feedback system shown in Figure 4.6 and the open-loop
u
l--.... y
system shown i n Figure 4.7. The system G is called the plant , CI is the
forward-loop compensator, C2 is the feedback-loop compensator, and C
is the open-loop compensator. It is assumed that all these operators are
well-defined causal mappings between appropriate extended spaces and
that they satisfy the usual regularity conditions. Let WI. be the i nput
space and W2• be the output space.
It is assumed that u nder the nominal operating conditions , 11 = 0 ,
the feedback a n d the open-loop systems are equivalent. This imposes
certain conditions on the compensators CI, C2, and C. In fact , this
restriction is equivalent to the condition that G CI( I + C2G CI) -1 = G C
on W1 e"
One of the primary purposes of feedback is sensitivity reduction.
For output noise this means that for the sam e noise n, Y differs less
from its nominal value when the feedback system is used than when the
open-loop system is used.
the feedback system is said to reduce the sensitivity with respect to plant
variations if it is well posed and if for all U E WI., T E S, and operators
!:::. G such that the feedback system remai ns well posed , IIP T aYI I i �
11 FT aY2 11 for 11 FT !:::. GPT II <1 sufficiently smallP This sensitivity reduction
can again also be considered for a particular U (usually u = 0) , and in
connection with measurement noise.
No specific conditions for sensitivity red uction will be given. The
reader is referred to the specialized literature for results and further
discussion.ls It is the intent of this section to introduce the concept of
sensitivity reduction in the framework of extended spaces since no
general theory of feedback systems can claim completeness withou t at
least introducing this important concept.
around its desired operating point. The main result of this section
states :
THEOREM 4.8
Assume that G is a causal operator on W. and that (I + G) has, for
any T E S = ( - 00 , + 00) , a causal. inverse o n WT• Ll {x E We i PTx =
0, T E S given}. Then the feedback system described by the equation
(I + G)e = U is continuous if and only if J + G has " a continuous
causal inverse on W (and hence on We).
Proof: Si nce the feedback system is continuous and since / + G has ,
for any T E S, a causal inverse on WTe, (I + G)-l maps for any T E S,
120 FEEDBACK S YSTEMS
References
LINEAR
+ TIME- INVARIANT Yl
I-..;._....
CONVOLUTION
OPERATOR
exists for Re s � a and is analytic in Re s > a. Let x(t) be such that for
'
some real number a , x(t)e-all E L1(To,ce) then
Yes) £'c Co
• To
(Glx)(t)e-si dt
'
exists for Re s � a, a and in fact equals G(s)X(s).
THEOREM 5.1
Consider the feedback system described by the functional equations
(LFE) with Lpe(To,ce), I �P � ce, as the solution space. Then this
feedback system is well posed if and only if IIgok(t)11LocITo,ocl < 1.
on a set on nonzero measure. Assume now that a delay of length e' :;6 0
is inserted in the loop and consider as the input a unit step starting at
T' > To, where T' is such that any interval [T', T' + a], a> 0,
contains a set of nonzero measure, where Igok'(t)1 > 1. It can then be
shown that the response to this input will lead to an ill-posed situation
on L'P.(To,oo), 1 < p < 00, in the sense that lim., .... o lim..... o e.,. will not
equal the response obtained by taking e' = e = O. The mechanics of
this explicit calculation are similar to those used in Corollary 4.1.3.
The details are left to the reader.
Theorem 5.1 shows, among other things, that the case where the
forward loop represents a strongly causal system (go = 0) is the only
one which should be used in connection with an unbounded gain k(t)
in the feedback loop.
1 The Nyquist criterion is well known, although many of the engineering texts
which treat this stability problem a priori equate stiibility with the absence of right
half-plane singularities of the closed-loop frequency response. Although this is
clearly valid for instance in the case of rational functions, this equivalence is far from
obvious for more general transfer functions. The results stated in these texts should
thus be carefully interpreted when applied to nonrational transfer functions since it
is known that one indeed can get into difficulties for sufficiently complex transfer
functions (see Ref. 1). Recently Desoer (Refs. 1-4), recognizing this difficulty, has
obtained rigorous derivations to essentially the level of generality treated in this
chapter (but with multiple inputs). These papers, however, treat only stability,
whereas the results obtained in this section treat instability as well.
126 THE NYQUIST CRITERION AND THE CIRCLE CRITERION
defined by
where {tn}3 = {tnh EEl {tnh (i.e., all elements of the form tn = tnl + tn2
where tnl and tn2 range over {tnh and {tnh respectively), and the
element gn corresponding to tn in {gn,tnh is given by gnlgn2' with
tn = tnt + tn2· Let the norm on LA be defined by IigiILl + Ii{gn}llzl. It
can be shown that LA as defined above is a real commlltMivf'! Rm�('h
algebra with the uniteL:::.. ( O,{gn,tn}) where go = 1, to = 0 and gn = 0
otherwise.
Consider now the subset of LA, LA+, which consist of all elements
of LA which satisfy get) = 0 for t <.0 and tn > 0 for all n. It is easily
verified that LA+ is a subalgebra and that it contains the unit. The
details of the proofs of the above claims can be found elsewhere (Ref.
5, pp. 141-157).
The Laplace transform of an element of LA is defined as the function
of the complex variable s defined by
The importance of the algebras LA and LA+ stems from the fact that
- -
they define subspaces of 2(Lp( 00,+ 00) , Lp( 00, + 00»,1 <. p <. 00:
namely those subspaces formed by convolution operators with kernels
consisting of an integrable function and a summable string of impulses.
In fact, LA represents "almost" all time-invariant operators in 2(Lp,Lp)
and by and large all those of interest in mathematical systems theory.
Multiplication and addition in LA correspond to those operations in
2(Lp,Lp). Moreover, LA forms a regular subalgebra of 2(L1>L1),
.fL?(L2,L2), and 2(Loo,Loo) in the sense that every element of LA which
,
is invertible in 2 ( L 2 L2), for example, is invertible in LA itself. LA+
is of particular importance; the corresponding elements of 2(Lp,Lp),
1 <. P <. 00, are causal.
The next lemma plays an essential role in the results which follow.
STABILITY AND INSTABILITY IN THE TIME-INVARIANT CASE 127
LEMMA 5.1
Let (g,{gn,tn}) E LA+. Then (g,{gn,tn}) is invertible (regular) in LA+
if and only if inf1te8;<>o I G(s) 1> 0, and in LA if and only if infRe8 o IG(s)1
=
> o.
A proof of this classical result can be found in most books treating
convolution operators (Ref. 5, pp. 150, 155).
Application of the above lemma leads to the following necessary and
sufficient condition for stability of linear time-invariant feedback
systems.
THEOREM 5.2
Assume that the feedback system described by the functional equa
tions (LFE) is well-posed and that k(t) = K almost everywhere.
Assume furthermore that {gn} E /1 and g E Ll (O, oo) (i.e., the feedback
system is open-loop stable). Let G(s) denote the Laplace transform of
(g,{gn,tn}). Let L2(To,00) be the space with respect to which stability is
defined. Then the feedback system is stable if and only if
inf 11 + KG(s)I > O.
Re8;<>O
implies that the operator I + G�G�, defined on L2( - co,+ co) by the
same formal expressions as G1 and Gz (but with the lower limit in the
convolution integral defining Gz replaced by co), has a noncausal
-
THEOREM 5.3
The condition infnc s;;'O 11 + KG(s) I > o is equivalent to the following
conditions:
1. infHc.=o 11 + KG(s)I > 0, and
2. lim.v oo (J(N27TT-l) exists and is zero.
...
Proof: Let A (s) .l:;. 2::=0 glle-snT and L(s) .l:;. S;' g(t)e-st dt. The function
G(jw) = A (jw) + L(jw) is the sum of a periodic function A (jw), and a
bounded function L(jw) that, by the Riemann-Lebesque lemma
(Ref. 7, p. 103), approaches zero as Iwl- 00. Since infnes=o 11 +
KG(s) I > 0 by condition 1 , it follows that inf.... eR 11 + KA(jw)1 > o.
Since Iims_co O(N27TT-l) exists by condition 2, it follows that the argu
ment <P(w) of 1 + KA(jw) satisfies <P(27TT-l) = <P(O). Thus by the
principle of the argument (Ref. 7, p. 216), there are no zeros of the
function R(z) = 2::=0 g"z" inside the unit circle since R(z) is analytic
inside the unit circle and since the increase in its argument as z moves
around the unit circle equals zero. Thus the function 1 + KA(s) has
no zeros in Re s > O. Consider now the contour in the complex plane
shown in Figure 5.2. The increase of the argument of 1 + KG(s) as s
1m
C
2
0+ jN27T"T-1
C C3
1
Re
O"+jO
. -1
0-JN27T"T
C4
moves around this contour is zero for Nand (j sufficiently large. Indeed,
along C1 it is zero by the assumption limN"'co ()(N27TT-l) = 0, and
along C2, C3, C4 it is zero since G(s ) is arbitrarily close to A(s) along
that part of the contour. Hence, 1 + KG(s) has by the principle of
the argument no zeros in any finite part of the half-plane Re s > o.
It is bounded away from zero in Re s > 0 since it arbitrarily closely
approximates 11 + KG(s) I for large values of lsi in Re s > O. Thus,
11 + KG(s ) I is indeed bounded away from zero in Re s > 0, as
claimed. This argument of this proof is easily reversed to yield the
converse of the theorem.
ImG(jw)
w=O ReG(jW)
-11K
does not belong to the Nyquist locus G(jw); and 2, that the Nyquist
locus does not encircle the -1/K point.
All elements are now available to state the circle criterion3 as applied
to linear time-varying feedback systems. Let kmin < kmax be real
numbers with kmax > 0, and let the critical disk �, be defined as
Re
a There are several more or less independent and simultaneous sources for the
stability part of the circle criterion. The work of Sandberg (Refs. 8, 9) and Zames
(Refs. 6, 10) has influenced attem ts to obtain these results in an input-output
f
stability setting. Other treatments 0 the circle criterion will be found in References
1), 12. The instability part of the circle criterion originates - in a more restricted
setting - in Brockett and Lee (Ref. 13), where it is obtained using Lyapunov
methods. It was obtained by the author (Ref. 14) in the framework of input-output
stability. The circle criterion as it is presented here is in essence a direct generalization
of the Nyquist criterion and should thus be of considerable interest in engineering
design. Note that the open loop unstable case is not treated here, in contradistinc
tion to Reference 13.
STABILITY AND INSTABILITY IN THE TIME-VARYING CASE 131
Remark: If k(t) has no specified upper bound but if k(t) > kmin, then
stability results if one of the following conditions is satisfied:
1. kmill> 0 and d(�/1+) > 0, where � denotes the closed disk
centered on the negative real axis which passes through the origin
and -l/kmin;
2. kmill < ° and d(£!#,�+) > 0, where � denotes the outside of the open
disk centered on the negative real axis which passes through the
origin and the -l/kmin points; or
3. kmill = 0 and Re G(s) > E > 0 for all Re s > O.
THEOREM 5.5
Assume that {gn} E II and g E L1(O,(0) in the feedback system
described by the functional equations (LFE), i.e., that the feedback
system is open-loop stable. Let G(s) denote the Laplace transform of
fg,{gl1,tn}). Let Lz (To,oo) be the space with respect to which stability
is defined and assume that the feedback system is well-posed. Then
the feedback system is unstable if there exist real numbers kmill =F: kmax
such that 0 < kmill < k(t) < kmax for almost all t > to and jf
d(�,�O) > 0 and d(£!#,�+) = O.
Proof: Let G� and G� denote the operators defined on L2 (-00,+(0) by
and
(G�x)(t) = k'(t)x(t)
(
with
Hkmin + kmaJ for
k'(t) =
k(t) otherwise.
It is a simple matter to verify that L2(-oo,+oo), G�, and G� qualify as
backward extensions of L2(To,oo), Gh and G2 and that all the con
ditions of Corollary 4.4.1 are satisfied. The estimates involved in this
verification are in fact identical to the ones used in Theorem 5.4, and the
noncausality follows from Lemma 5.1.
Remark 1: It is again possible at least in the case where all the delays
are equally spaced, i.e., tn = nT, T> 0, to rephrase the conditions of
Theorems 5.4 and 5.5 exclusively in terms of the frequency response
....
of the forward loop. In fact d(�,�+)> ° if and only if: 1 , d(�,�O) >
0; and 2, lim.v oo 0(N27rT-l) exists and is zero, where 0 is the argument
of 1 + rxG(jw) and rx is an arbitrary element of �. This leads to the
situation shown in Figure 5.5.
ImG(jw} ImG(jw)
�
/// ImG(jw)
kmin=O<kmox
Stability
ImG(jw)
:.j-----+----,r-r- Re G(jw)
References
5 It has been conjectured that the instability part of the circle criterion could be
extended to yield instability whenever every point of the critical disc belongs to the
spectrum of the forward-loop operator. In terms of encirclements this would imply
instability if every point of the critical disk is encircled at least once. (The present
instability theorem requires all points to be encircled the same number of times.)
This conjecture is due to Professor R. W. Brockett of Harvard University.
REFERENCES 135
6.1 Introduction
136
INTRODUCTION 137
G'1
G�
Figure 6.1 Transformations of the Feedback Loop
when cascaded with this operator will not change the conicity of the
feedback loop, whereas the compensation of this multiplier in the
forward loop will change the conicity of the forward loop, thus making
it possible to show stability whereas this was not possible before
the conicities were changed by means of the multipliers.
The above two transformations are usually used in series in the sense
that the conicity transformation is used first and results in making
thp. 0!1p.rator in the feedback loop (which is assumed to satisfy certain
constraints) a positive operator.2 The forward loop is in this process
appropriately modified so as to preserve the original input-output
relationship. One then introduces a multiplier in cascade with the
operator in the feedback loop. This multiplier is appropriately chosen
ez = U2 + YI,
(FE)
YI = Gle ! >
Y2 = G2e2•
It is still assumed that the assumptions W.l through W.4, G . l through
G.4, and 1.1 are satisfied. These assumptions are enumerated in
Section 4.2.
THEOREM 6.1
Consider the feedback system described by equations (FE) and
assume that WI = W2 • Let k =/: 0 be a scalar such that -k-I f{: a(G1)
in %+(W1e,WIe) (i.e., 1+ kG1 has a causal inverse on WI.). Let G� =
GI(I + kGI)-1 and G� = G2 - kl. Let UI E WIt and U2 E W2 • be given
and assume that {el ,e2,Yl,Y2} is a corresponding solution. Then the
quadruple
{e� = e1 + kYl> e� = e2, y� = Yl' y� = Y 2 - k e2 }
satisfies the equations
e� = u� - y�,
e� = u� + y�,
(FE')
TRANSFORMATIONS OF THE FEEDBACK LOOP 139
THEOREM 6.2
!-et NE 86'+(WIe,WIe) (86'+(W1e,Wle» b� regular in 86'+(WIe,W1e)
(86'+(WI.,WI.» �nd ME 86'+(Wz..W2e) (86'+(W2e,Wz.» be regular in
86'+(Wze,W2e) (86'+(Wze,W2e», i.e., M, M-I, N, N-I are causal bounded
(Lipschitz-continuous) operators. Consider now the feedback system
described by the equations
el = ul - Y�,
e; = u; + Yl,
(FE")
Assume that both feedback systems (FE) and (FE") are well posed. Then
the feedback system described by the equations (FE) is (finite gain)
stable (continuous, Lipschitz continuous) if and only if the feedback
system described by the equations (FE") is (finite gain) stable (con
tinuous, Lipschitz continuous).
Proof: It is a simple matter to verify that the solutions to the feedback
systems are related through u; = NUl> e; = Nel> Y� = M-IYl> u; =
M-1uz, e; = M-1ez, Y; = NY2, which then in view of the assumptions
on M and N readily yields the theorem.
COROLLARY 6.2.1
Let WI = Wz be Hilbert spaces. Let M, NE 86'+(W1e,W1e)
(�+(Wle,Wle» be regular in 86'+(W1e,W1e) (�+(Wle,Wle». Then the
feedback system described by equations (FE) is finite gain stable
140 STABILITY CRITERIA OBTAINED USING MULTIPLIERS
COROLLARY 6.2.2
Let WI = W2 be Hilbert spaces. Assume that ZE .@(W2,W2) admits
a factorization into Z = MN with
In terms of the notation used in the previous chapters, let the time
interval of definition S = [To,co) , VI = V2 = R, i.e., Ul> e1, Yl> U2> e2,
Y2 are real-valued functions of time on [To,co), and let the operators G
and K be formally defined by
(Kx)(t) /\ k(t)x(t),
where {tn}, n E /+, is a sequence of real numbers with to = 0, tn > 0
for n � 1, get) is a real-valued function on R with get) = 0 for t < 0
and g E L1(0,co), {gn} E lI is a real-valued sequence, and k(t) is a real
valued function on [To,co) with k(t + T) = k(t), for some T> 0 and
all t � To, with k(t) E L",,(To,co). The functional equations describing
the feedback system are:
e1(t) = u1(t) - Y2(t),
elt) = u2(t ) + Yl(t),
(LPFE)
h(t) = (G1e2)(t), and
Y2(t) = (G2e2)(t).
The solution space will be taken as L2e(To,co) . The inputs Ul> U2 E
L2eCTo,co). The above operators have been studied in detail in Chapter
3. It follows readily from Minkowski's inequality and some direct
estimates that G and K map L2eCTO' co) into itself. They are in fact both
Lipschitz-continuous linear operators on L2e(To,co). The operator G
4 There exists a large mathematical literature on the stability of linear differential
equations with periodic coefficients. The specific results obtained here evolved out
of the so-called "pole-following technique" ingeniously introduced by Bongiorno
(Refs. 6, 7) and exploited, among others, by Sandberg (Ref. 8) and the author
(Ref. 9.)
142 STABILITY CRITERIA OBTAINED USING MULTIPLIERS
of PI(S) larger than the degree of ql(S), This nth order scalar differential
equation is equivalent to the first-order vector differential equation
dz(t)
= Az(t) + bu(t),
dt
with
yet) = c'z(t)
and
u(t) = kl(t)y(t),
where
dx(t) dn-IX(t»
Z(t) = col ( x(t), -- , ... , n I)'
dt dt -
0 1 0 0
o o 1 o
A=
o o o
-Pl.O - P l,1 Pl.2
- -Pl.n-l
b = col (0, 0, . . . , 0, 1),
hence dz/dt E L2(0, (0) . Since z and dzJdt belong to L2(0,00), limt .... oo z(t)
exists and is zero. Hence, L2-stability. of the above feedback system
implies asymptotic stability of the null solution of the differential
equatIOn.
These simple manipulations show that although it might at first
glance seem that the type of stability which is obtained in the theorem
in the previous section is not as strong as Lyapunov stability, in most
circumstances it actually implies it.
Notice that the periodicity of k(t) was not used in the preceding
argument. Using the periodicity of k(t) it can in fact be shown by
invoking Ploquet theory (Ref. 10) that if the system described by
equation (LPFE) is L2-stable, then it is Lp-stable for any 1 < P < 00,
STABILITY CRITERION WITH A PERIODIC GAIN 145
THEOREM 6.3
Assume that the feedback system described by the functional equa
tions (LPFE) is well posed, and that:
the forward and the feedback loop reversed (i.e., the feedforward is
taken around the feedback path). It thus suffices to prove stability for
the system with G' = G(l + � G)-l in the forward loop and the gain
k(t) - � in the feedback loop. This transformation is now repeated with
the roles of the operators reversed (i.e., the feedforward is now around
the forward path) and k = -1/(P - �). It thus suffices to prove
stability for the system with Gil G(I + �G)-l + [1/(P - �)]I in the
=
forward loop and the gain (k(t) - �)(l - [1/(P - �)l(k(t) - Cl»-l in
the feedback. A simple manipulation now shows that
1_1 + PG
Gil = _
P - Cl 1 + ClG
and that the gain in the feedback loop equals
k(t) - �
k (t) = (,..,R )
- Cl
P k(t) .
"
_
operators G"Z-l and ZK" are respectively positive and strictly positive
bounded linear operators on La( - 00,+ (0). The manipulations as in
Corollary 3.2.2 and the factorization of Theorem 3.20 now show that
the conditions of Corollary 6.2.2 are satisfied, which thus yields
stability as claimed. The fact that the operators can be considered as
operators on La( To (0) follows from the causality of the operators
,
THEOREM 6.3A
Assume that the feedback system described by the functional
equations (LPFE) is well-posed, and that:
1. + E < k(t) = k(t + T) < {3 - E for some E> 0 and almost all
ex
t > To;
2. infRe $;;"011 + KG(s) I > 0 for some K E [IX,Pl, where G(s) denotes
the Laplace transform of (g,{gn,tn}); and
3. cf>maxCw) - cf>min(W) < 7T for alllwi < 7TT-I.
Then the feedback system is L2-stable.
Since IcPmax(w) - cPmin(w)1 < 7T, there exists an E > 0 such that
IcPmax(w) - cPmin(W)I � 7T - E. Let
F(jw) = exp {-M[cPmax(w) + cPmin(W)]}.
It is easily verified that this choice for F(jw) yields the conclusion by
Theorem 6.3. For the converse part of the equivalence, assume that
cPlIlax(w') - cPmin(W') = 7T for some w' E R. Then, since Re {G(jcl)F(jw)}
has to be nonnegative for all w, this implies that larg F(jw')1 > 7T/2,
which contradicts the condition that Re F(jw) > E> O.
COROLLARY 6.3.1
The feedback described by the equations (LPFE) is L2-stable if it is
well posed, if k(t) is periodic, and if:
COROLLARY 6.3.2
Assume, in the definition of G, that gn = 0 for all n � 1 and that
the feedback system is L2-stable for any k(t) = k = constant in the
feedback loop with IX < k < (3. Then there exists a Tl such that for all
T < Tl the feedback system with any gain IX < k(t) = k(t + T) < (3
in the feedback loop is also L2-stable.
Proof; Since limlcul .... co G(jw) = go exists (by the Riemann-Lebesgue
lemma) and is real, lim lcul-+ co cf>(w) exists and is zero. Since the feedback
system is L2-stable for constant gains k in the feedback loop with
IX < k < (3, there exists a function of Z(jw) such that for all w,
( w
Re Z(jw) � E > 0 and Re Z(jw) (3G j ) + 1 � O.
IXG(jW) + 1
(This follows from the Nyquist diagram and a simple graphical con
struction.) It thus follows that for Wo sufficiently large the function
F(jw) = Z(jw) for Iwl < wof2 and F(jw) = F(j(w + Cl)o» otherwise,
will yield the conclusion by Theorems 6.3.
<P1
upper and lower envelope of these curves give cf>max(D.) and cf>min(D.).
Theorem 6.3 then requires for L2-stability that cf>max(D.) - cf>min(D.) < 1T
for all l D.1 < wo/2. It is apparent that this procedure, although straight
forward, is rather tedious.
In order to facilitate the application of the criterion, some simple
necessary conditions for the multiplier F(s) to exist are now given for
the case 0 < IX < f3:
1. The Nyquist locus of G(s) should not encircle or intersect the straight
line segment [-l/IX, -11f3] of the negative real axis of the Nyquist
plane.
2. The points G(jnwo/2), n = 0, 1, 2, . . , should satisfy the conditions
.
of the circle criterion; i.e., they should not lie inside the closed disk
centered on the negative real axis at -Hl/lX + llf3) with radius
!(l/il. - 1/f3).
Analogous conditions hold for other ranges of IX and f3.
The second necessary condition follows from the fact that, since
F(jw) = F(-jw), and since F(j(w + wo» = F(jw), then
F(jnwo/2) = Re F(jnwo/2)
for n = 0, ±l, ±2, ... Thus conditions F.l and F.3 of Theorem 6.3
.
imply that
f3G(jnwo/2) + 1
Re > 0 for n E I,
IXG(jnwo/2) + 1
COROLLARY 6.3.3
Assume, in the definitions of G, that t n = nTl for some Tl > O. Then
the feedback system described by equations (LPFE) is L2-stable if it is
well posed, and if:
1. the Nyquist locus of G(s) does not encircle the point -l/il. on the
negative real axis of the Nyquist plane; and
STABILITY CRITERION WITH A PERIODIC GA IN 151
2. there exists a circle, C, which passes through the points -l/a. and
-liP, such that the Nyquist locus of G(s) for w � 0 does not
intersect it.
Let C' be the mirror image of C with respect to the real axis, and
consider the following two parts of the Nyquist locus of G(s):
Sl: {GUw) I nwo <; w <; (n + 1/2)wo}, and
Sa: {GUw) I (n + 1/2)wo <; w <; (n + l)wo},
where n E ]+. Then
3. C' does not intersect both Sl and S2'
This corollary is illustrated in Figure 6.5.
11m G(jw)
- :$1
---- : $2
-1/a
" (n-1)w
2 0
I
,
,
,
\
\
'...
----
+ 1
{PTa.T 1 T E C}.
+ 1
Assume that 6 � 0 and that C' does not intersect S2 ( a similar argument
establishes the corollary for the other cases). Let F(jw) be a function
{
152 STABILITY CRITERIA OBTAINED USING MULTIPLIERS
k(t) = k(t + T) and 0 < k(t) < 2. Determine for which range of
ImG(jw>
0.1
COo = 21T/T this feedback system is stable. The Nyquist locus of G(s) is
shown in Figure 6.6.
It is apparent from the Nyquist locus that the circle criterion cannot
be used to predict L2-stability. Using the procedure suggested at the
beginning of this section, Theorem 6.3 shows that this feedback system
is L2-stable for all k(t) in the determined range provided COo > 1.55.
Using Corollary 6.3.3, on the other hand, this feedback system is found
to be L2-stable for all k(t) in the given range provided COo > CO,. = 3.3.
(This number CO,. was obtained as follows: Let AB be the tangent to
the Nyquist locus through the point ( - 1/2 + OJ); let A C be the line
symmetric to AB with respect to the real axis. The intersection of the
Nyquist locus and A C then gives co,./2.)
This example shows that, although Corollary 6.3.3 did not give an
excellent estimate, it is quite simple to apply.
2. Let G(s) = l/s(s + 2). Determine K(coo) such that the feedback
system is L2-stable for all k(t) = k(f + T), COo = 21T/T, and 0 < � <
k(t) < K(coo). The Nyquist locus of G(s) is shown in Figure 6.7. Using
the circle criterion, one obtains K(coo) = 4. Brockett (Ref. 1 1) has
shown by examining the worst possible variation in k(t) that K(coo) =
11.6. Applying Theorem 6.3 and the graphical procedure outlined in
this section results in K(coo) as shown in Figure 6.8. The same figure
also shows the result obtained using Corollary 6.3.3 and a graphical
construction analogous to the one used in example 1. Thus, by re
stricting the feedback gain to the periodic, it was possible by means of
Theorem 6.3 to obtain higher values of K as the frequency was increased.
1m G(jw)
0.1
-0.25
o ReG(jw)
w=1 -0.4
K
Theorem :3
15
10
Circle Criterion
THEOREM 6.4
Assume that the feedback system by the functional equations
(LPFE) is well posed, and that:
1. Cl + € < k(t) = k(t + T) < {3 € for some € > 0 and almost all
-
t � To;
2. infRe• �o 11 + KG(s)I = 0 and infRe• =011 + KG(s) I > 0 for some
K E [0(,{31 where G(s) denotes the Laplace transform of (g,{gn,tn});
and
3. there exists a complex-valued function F(jw) = F(-jw), of the
real variable w, such that for almost all w � 0:
Xk+l = Ak k + bku k,
x
k = C�X
Y k + dkuk, k EI+,
Xo = given,
where b
k and C
k are n-vectors, d
k is a scalar, Ak is an (n X n) matrix and
Xk is· an n-vector called the state of the system. This input-output
relation is a particular case of the input-output relation defined by the
above summation with
for k> 1 + 2
for k= 1 + 1
for k= 1
otherwise,
and
ro =
c�o·
The case in which the system is time-invariant is of particular
interest. The system is then defined by the equation
gk = 0 for k < 0,
rk = c'AkxO for k> O.
k EJ+,
THEOREM 6.5
A sufficient condition for the feedback system under consideration
to be 12-stable is that:
1. G belongs to 2(12,/2) and F is strictly monotone (strictly odd
monotone), and bounded; and
2. there exists an element Z of 2(12'/2), such that Z €/ is doubly-
The case in which the system is time invariant and the multiplier is
of the Toeplitz type is, of course, of particular interest. The positivity
condition and the doubly hyperdominance (doubly dominance) con
dition can then be stated in terms of z-transforms. This is done in the
Corollary 6.5.l. 7
LEMMA 6.1
Let R = h-l}, k, 1 E /+ define an element of 2(12'/2) which is of the
Toeplitz type. Then a necessary and sufficient condition for the inner
product (x,Rx) to be nonnegative for all 12-summable sequences x is
that the z-transform of {rk}, R(z), satisfy Re {R(z)} > 0 for almost all z
with Izl = 1.
Proof: It is well known that
COROLLARY 6.5.1
A sufficient condition for the feedback system under consideration
to be 12-stable is that:
Proof: This corollary follows from Theorem 6.5 and Lemma 6.1.
References
10. Brockett, R. W., Finite Dimensional Linear Systems, John Wiley and
Sons, New York,1970.
11. Brockett, R. W., "Variational Methods for Stability of Periodic Equa
iff
tions," in D erential Equations and Dynamical Systems (edited by
LaSalle and Hale),pp. 299-308, Academic Press,New York,1967.
12. O'Shea,R. P.,"A Combined Frequency-Time Domain Stability Criterion
for Autonomous Continuous Systems," IEEE Trans. on Automatic
Control, Vol. AC-ll,pp. 477-484,1966.
13. O'Shea, R. P., "An Improved Frequency Time Domain Stability
Criterion for Autonomous Continuous Systems," IEEE Trans. on
Automatic Control, Vol. AC-12,pp. 725-731, 1967.
14. O'Shea,R. P.,and Younis,M. I.,"A Frequency Time Domain Stability
Criterion for Sampled-Data Systems," IEEE Trans. on Automatic Control,
Vol. AC-12, pp. 719-724,1967.
15. Zames, G., and Falb, P. L., "Stability Conditions for Systems with
Monotone and Slope-Restricted Nonlinearities," SIAM J. on Control,
Vol. 6, pp. 89-108, 1968.
7 Linearization and Stability
Linear systems are much simpler to design and analyze than nonlinear
systems. This is the reason why engineers resort to linear models if this
is at all possible and that otherwise a nonlinear system is very often
linearized for design purposes. This chapter examines the relationships
between stability and continuity of nonlinear systems and their
linearizations. It will be shown that a nonlinear system is Lipschitz
continuous if and only if its linearization at any point is continuous and
that a system whose linearization at the origin is not continuous is not
finite-gain stable.
The second part of this chapter contains an account of some of the
linearization procedures that are frequently used in engineering design.
These include the describing function linearization (often called the
equivalent gain or the method of the first harmonic), the total gain
linearization, and the incremental gain linearization. An attempt will
be made to characterize the philosophy of these methods and to draw
attention to their deficiencies. To illustrate this point, the chapter thus
ends with a class of counterexamples to Aizerman's conjecture.
7.1 Linearization
161
162 LINEARIZATION AND STABILITY
and (lFI �dmit lin �arizations at Xo. These are, respectively, Llxo +
L2", and (lL,� .
3. Le t" FI and F; be operators from, respectively, WI into W2 and W2
into W3 which admit linearization LI", and L2F '" at, respectively, Xo
and Flxo. Then L21<' '" LI", is the linea�ization dfoF2FI at xo.
1 0 0
4. If FE2(WI,W2) then L",o eXIsts for all XoE WI and L",0 = F.
•
THEOREM 7.1
Let F be an operator from WI into W2 and let Xo E WI' Assume that
F admits the linearization L",o at Xo. Then Lx is causal (strongly casual,
anticausal, memoryless) on Wl if F is cau�al (strongly causal, anti
causal, memoryless) on WI'
Proof: Let F be causal and assume, to the contrary, that L", is not.
°
There then exists an xE WI and T E S (the time-interval of definition)
such that P TLx x � 0 and PTX = O. Then
°
LINEARIZATION 163
since
= 0
implies that
IIPTL"'oxllw2 IIPTL",oxllw2
lim =
,
",-0 IIxllwl IIxllwl
",,00
which yields the desired contradiction. The other cases are proved in a
similar fashion.
THEOREM 7.2
LetF be a causal operator from Wl. into W2e and let Xo E WI•.
Assume that F admits a linearization Lxo at Xo' Then Lxo is causal
164 LINEARIZATION AND STABILITY
x = !(x,u,t),
y = g(x,u,t),
with S = [To,oo), u E Rm, x ERn,y ER\ and x(to) ERn given. Assume
appropriate smoothness conditions on! and g (e.g., j, g uniformly
Lipschitz and differentiable). Let F be defined by y A Fu , where u
generates y through the differential equation. Then F maps L�:(S)
into L�.k(S),
1 < p < 00, is causal on L�.m(S), and F admits a lineariza
tion for any Uo E L�:(S) with Lu o defined through the linear ordinary
differential equation
THEOREM 7.3
Let FE .iJ'(W, W) be regular in i&'(W, W) and assume that F has a
linearization L�o at Xo E W. Then L-;: exists and is the linearization of
F-1 at Fxo.
Proof that L�o is one-to-one: Assume to the contrary that L�0x = 0 for
some xE W, X :;6 o. Then
Proof that L-;1o is bounded and that it linearizes F-1 at Fxo: The inverse
L-;/
o is bounded by the closed graph theorem. To see that L;;llinearizes
0
F-1 at Fxo note that since
it follows that
x
lIr-l(Fxo + L ox) - r-1FxO - xII
I/xl/-+O
. 0,
I1m =
Ilxll
which shows that
THEOREM 7.4
Let F be a causal locally Lipschitz continuous operator from We into
itself with a causal locally Lipschitz continuous inverse on We' Assume
that F admits the linearization Lx at Xo. Then Lx is invertible, Lx and
L�l° are causal and locally Lipschi"tz continuous on We, and F-I admits
O
LEMMA 7.1
Let F be an operator from WI into W2 and assume that F admits a
linearization at every Xo E WI' Let Lx denote this linearization. Then
o
IILx II is uniformly bounded in 2' (Wl>W2) if and only if F is Lipschitz
°.
contmuous on WI' In fact, FIL� = sUPxeWl IILxo"'
O
Proof: It will be shown that IIFlia = sup", eWI IILx II, where the equality
:
O
means that if one side exists, so does th e other and they are equal.
The inequality IILx° II ..;; IIFlia follows immediately from the definition
oflinearization and yields sUPX eJJ·1 "Lx " ..;; II Fila· To prove the converse
o o
inequality , let x, y E WI be given and consider the equality
This yields II Fx - Fyll -< SUP<lE[O.l] II Lx-a (v-""II II x - yll, and thus
II Fx - FYI/w
I1FIL� 1\ sup 2 -< sup I/L",oll.
",.�EWI Ilx - yllwl XOEWI
Hence SUP"'oE1T'l IIL"'oli = IIFI/4 as claimed.
el = UI - Ya.
ea = Ua + Yh
(FE)
YI = Gle!>
Ya = Gaea,
and satisfies the conditions W.I-WA, G.l-GA, and I.1 enumerated in
Chapter 4. The time-interval of definition is S = [To, co), and well
posedness imposes weak conditions on the operators G1 and G2• One
such condition has been given in Theorem 4.1 .
Assume that for some elements Xl E WI. and X2 E W2• the operators
GI and G2 admit linearizations LI"'I and L2"'2 at, respectively, Xl and x2•
Consider now the functional equations associated with this linearization
given by
e� = tI� - y�,
e� = tI� + y�,
(LFE)
y� = L I "'l e �,
y� = L2x2e;.
It follows immediately from Theorem 7.2 that these equations satisfy
the assumptions W.I-WA, G.I-G.4, and 1.1 iftl � E Wi., i = 1, 2. This
system obviously describes a feedback system that will be called the
linearizedJeedback system. Note that this linearized feedback system is
linear but that the operators in the forward and the feedback loop
depend on the point of linearization, (Xl>X2) E WI. X W2e•
Theorem 7.5 exposes the relationship between continuity of a feedback
system and its linearization. 2
2 Theorem 7.5 is an infinite-dimensional version of a theorem of Palais (Refs. 2, 3)
which essentially states that a nonlinear transformation on a finite-dimensional
space is invertible if all its linearizations are invertible. Theorem 7.5 is by no means a
generalization of this theorem to infinite-dimensional spaces, since it exploits
causality and invertibility on extended spaces in a very essential manner.
168 LINEARIZATION AND STABILITY
THEOREM 7.5
Consider the feedback system described by the functional equations
(FE) and assume that it is well posed. Assume that the operator Gi,
i = 1, 2, admits a linearization at every Xi E Wi •• Then the (in general
nonlinear) feedback system described by the functional equations (FE)
is Lipschitz continuous if and only if the linearized feedback system
described by the functional equations (LFE) is Lipschitz continuous for
all (Xl>Xz) E WI. X Wz., uniformly in (Xl>Xz),
Proof: It can be shown that well-posedness of (FE) implies welI
posedness of (LFE). However, since the thrust of Theorem 7.5 lies in
the continuity implications and since the demonstration of the above
claim is rather involved, its proof will be deleted. Turning now to the
continuity proof, let G denote the operator defined on WI. X W2e by
G(eI,eZ) = (-GZeZ,GIeI). Clearly, L(eI,ez) = (-Lx2 ez,Lx,el) is the
linearization of G at (Xl>Xz), By Theorem 7.4, (I + G)-l (which exists
and is causal by well-posedness) admits the linearization (I + L)-l at
(Xl>Xz), Thus by Lemma 7.1,
IIPT(I + G)-lPTlb = sup IIPT(I + L)-IPTII for all T E S.
(X,.X2 )EJr'e x Jr'e
Now passing to the limit with T -- 00 shows that these limits exist
simultaneously - since both sides are monotone in T - and that they
are equal if they exist. This is precisely the claim of the theorem.
THEOREM 7.6
Consider the feedback system described by the functional equations
(FE) and assume that it is well posed. Assume that the 9perator Gi,
i = 1, 2, admits a linearization at 0 E Wi•. Then the (in general non
linear) feedback system described by the functional equations (FE) is
not finite-gain stable (and thus not Lipschitz continuous) if the feedback
system linearized at the origin (i.e., described by the functional equations
(LFE) with (x1,xz) = 0) is not continuous.
Proof: Let G denote the operator as defined in the proof of Theorem
7.5 and let Lo be its linearization at the origin. Let u = (Ul>Uz) E WI X
Wz be the input to both the linearized and the nonlinear feedback
TOTAL AND INCREMENTAL GAIN LINEARIZATION 169
The ideas of Theorems 7.5 and 7.6 can be combined to show that a
well-posed feedback system is continuous if and only if it is stable and
its linearization at any point is continuous. This thus relaxes the
uniformity requirement of Theorem 7.5, but introduces the explicit
requirement that the feedback system be stable. Since this latter
condition cannot be stated in terms of linearizations, the combined
theorems cannot provide a test for verifying continuity by solely
considering linearizations, and so the combination has not been stated
explicitly in this section.
Imtial conditions·
o y(t)
between the input and the output of the element in the forward loop is
determined by the ordinary time-invariant differential equation
3 An excellent source for the describing function and its generalizations is Reference
6.
4 Originally published in 1949, it took until 1958 before Pliss (Ref. 9) gave a
satisfactory counterexample. It is possible to show using the Popov criterion that
for sccond-order systems the conjecture is true with the exception of some cases
where the dc gain approaches for large values of its argument a gain for which the
resulting l i nea r system is not asymptotically stable. The counterexa mp l e given by
Krasovskii (Ref. 10) is in fact of this kind. The counterexamples obtained by PI iss,
however, are more satisfactory. The very stringent conditions on the nonlinearity
and the involved mathematics kept the work of Pliss from being well known. Mo re
recently , Dewey and Jury (Ref. 11) and Fitts (Ref. 12) gave numcrical counter
examples derived from a computer simulation. The conjecture due to Kalman in
which the ac gain is used predicts stability in the large only for a subclass of the
nonlinearities for which Aizerman's conjecture docs. Fitts (Ref. 12) gives counter
examples to this conjecture derived from a computer analysis.
AVERAGING THEORY 173
ignores in this process the fact that this linear gain does not extend to
the origin. The incremental gain does correspond to a type of lineariza
tion: namely those linearizations obtained by considering constant
inputs. The linearization thus suggests a continuity consideration, but
the conclusion pertains to stability. Note that the range of the dc gain
is always smaller than the range of the ac gain and thus that the ac gain
type of linearization leads to more cautious conclusions than the dc
gain type of linearization.
The question of continuity of a particular feedback system can be
answered by linearization, as indicated in Section 7.2. However, one
needs thereby to replace the nonlinearity f by a gain k(t), which varies
between (I. � k(t) � P with (I. = infaER Kia) and P = sUPaER Ki(a),
and the resulting linear system needs to be stable for any gain satisfying
the constraint (I. � k(t) � p.
The describing-function technique is clearly inspired by linear
time-invariant systems where the eigenfunctions (in L�) are sinusoids,
and thus the responses to sinusoids are completely representative of the
system behavior. This, however, does not carry over to nonlinear
systems and makes the mathematical philosophy of the describing
function unclear. However, it appears to yield good results, which is
understandable in view of the fact that if a system sustains oscillations,
then it is very likely that the first harmonics are in balance somewhere
in the neighborhood of the oscillation.
In what follows, a simple, rigorous proof of the existence of periodic
solutions in a fourth-order system will be given. It will be shown,
however, that all of the above-mentioned linearization techniques
predict asymptotic stability in the large. These oscillations thus con
stitute a class of counterexamples to both Aizerman's conjecture and
Kalman's suggestion. The results are obtained using perturbation
theory (Refs. J 3, 14). Since the ideas behind this technique are simple,
the theorem from which the results follow will be proved.
Defin ition : Let x(t) be a continuous map from [0,1'] into a Banach
space. Then SUP E[O,T] Ilx(t)11 exists and is called the norm induced by the
t
uniform topology. This space is complete. Recall that the contraction
mapping principle states that if F is a map from a complete metric
space X into itself with d(F(x),F(y))< C( d(x,y) for all x, y E X and
some C( < 1, then the equation x = Fx has a unique solution (called a
fixed point of the mapping F). Moreover, picking any Xo and defining
Xk+l .f::::.. Fxk, k E 1+, yields a sequence {xk} which converges in the metric
of X to the fixed point of F.
LEMMA 7.2
Given any T > 0, p, and M, then the above differential equation
has a unique solution x(t) for any x(O), z, and t that satisfy Ilx(O) 1I < p,
0< t< T, and Ilz ll< M provided E is sufficiently small (Le., for all E
with lEI < EI and some EI > 0). Moreover, this solution can be obtained
using the successive approximations
xo(t) = eAtx(O)
and
for k E I+.
Proof: Let S be the sphere in the Banach space of alI continuous
mappings from [O, T] into Rn with the uniform topology and with IIx(t)1I
< 2pN where N = supo�t�,. IleAtli. The mapping F defined on S by
facts is simple and will not be given explicitly. Thus, the equation
x(t) = Fx(t) has a unique fixed point, which can be obtained using the
successive approximations as stated. This yields the lemma.
LEMMA 7.3
Given any r > 0, p, and M, then the solutionx(t) to the above differ
ential equation for anyx(O), z, and t that satisfy IIx(O)11 < p, O < t< r,
and IIzll < M can be expressed as
x(t) = f
eAtx(O) + e eA(t-0"1(eAO"x(0),z,e) da + e2L(t,x(0),z,e)
for all E sufficiently small ( i.e., for all e with lei < e2 and some E2 > 0).
Moreover, L(t,x(O),Z,E) is bounded for 0< t< r, Ilx(O)1I < p,
Ilzll < M, and lEI < e2.
THEOREM 7.7
If for e sufficiently small ( i.e., for all e with lEI < EO and some eo > 0)
there exist bounded functions X(O)(E), T(e), and Z(E) such that
[ T(E )
X(O)(E) = eAT(E)x(O)(e) + e eA[T(E)-0"1(eAT(E)x(0)(e),z(E),E) da
)o
+ E2L(T(E),x(0)(e),z(E),e),
then the differential equation under consideration has a periodic
solution for e sufficiently small ( Le., for e with lEI < e1 and some
e1 > 0).
176 LINEARIZATION AND STABILITY
Proof: Lemma 7.2 shows that for E sufficiently small x(T(E» = X(O)(E),
which, since the differential equation under consideration is time
invariant, yields a periodic solution of period T(E).
then there exists a map, cf>, from Rn into Rm, which is continuous in a
Y
neighborhood of Xo and such that = cf>(x) yields f(cf>(x),x) = 0 for
all x in some neighborhood of Xo. Moreover, Yo (o
= cf> x ) , and cf> is
THEOREM 7.8
Assume that e-'1To = I (i.e., that all solutions of x(t) = Ax(t) are
periodic with period To),
and thatf(x,z,E) is a continuous function of
x, z, and E that has continuous first partial derivatives with respect to x
and z for E sufficiently small (i.e., for all E with lEI < EO and some
o
€ > 0.) Let
F(x,z,€)
/\ iTOe-Aaf(eAax,z,€) d(f
and assume: 1, that F(xo,zo,O)
= 0; and 2, that the matrix
� (xo,zo,O)
i}X,flZ
is of full rank. Then there exists a continuous function
z(€) such that for E sufficiently small (i.e., for all E with lEI < E1 and
some €1 > 0) the differential equation under consideration has a
periodic solution X*(t,E) with lim.... Z(E) = Z and lim.... 0 X * ( t, E) =
o o
e·-1txo ·
Proof: The smoothness conditions on f together with the resulting
smoothness of the solutions of ordinary differential equations (Ref.
15, p. 29) ensure that the implicit function theorem is applicable. This
COUNTEREXAMPLES TO AIZERMAN'S CONJECTURE 177
in turn shows that the conditions 1 and 2 of the theorem are sufficient
to ensure that Theorem 7.7 is applicable, which leads to the conclusion
of the theorem.
S2 y(t)
(s2+1)(s2+9)+E(as3+,Bs2+ys+8)
L.....-----1Ef(-)..,.------'
][ ]
to its argument. This equation describes the feedback system shown in
Figure 7.2 and is equivalent to the following system of first-order
differential equations:
1 0 0 Z'l(t)
o 0 o Z'2(t)
o 0 3 Z'a(t)
o -3 o Z'4(t)
178 LINEARIZATION AND STABILITY
�'.J [-� �l
1 0
e.4.t za.o
0 0
lim z *(t,e) = A=
( .... 0 za.o 0 0 0
c. 0 0 -3
if
1
({lo - c50)Zl.0 - (Yo - cxo)z2,O + -
i2"
7T 0
!(Zl.O cos a
THEOREM 7.9
If I(a) is not identically equal to ka for any constant k, then there
exists a nonzero periodic solution to the differential equation under
COUNTEREXAMPLES TO AIZERMAN'S CONJECTURE 179
consideration for e sufficiently small (i.e., for all e with lei � eo and
eo > 0), and proper choice of the functions cx(e), /3(e), y(e), and O(e).
Moreover, the functions cx(e) and y(e) which yield this periodic solution
satisfy the inequality
Proof: The proof proceeds as follows: First, cxo, /30' Yo, and 00 will be
chosen in such a way that the determining equations are satisfied. If
Zl.O, Z2.0, za.o, and z4,O are chosen such that (zto + zi.o)(z�.o + zto) ;r!' 0,
then the determining equations can be solved uniquely for 1X0, /30, Yo,
and 00, since the determinant of these linear equations in cxo, /30' Yo, and
00 is then nonzero and yields in particular the following expression for
Yo - cxo:
1 1 2lr .
Yo - cxo =
2 2 -
zl,O + Z2.0 7T 0J!(Zl. O cos a + Z2.0 SID a
+ Z3.0 cos 3a + Z4.0 sin 30')(Zl.0 sin 0' - Z2.0 cos 0') dO'.
If f is linear, then Yo - 11.0 0. If f is not linear, then there exists a
=
choice of Zl.O, Z2.0, Z3.0, and Z4.0 with (zto + z� o)(z�.o + z!.o ) ;r!' Osuch
that Yo - 11.0 ;r!' 0. Moreover, from these determining equations it also
follows that
that € > 0, IX > 0, y > 0 and (y - 1X)(y - 91X) < 0 or that € < 0,
IX < 0, y < 0 and (y - 1X)(y - 91X) < 0 and the linearized gain satisfies
ImG(jw) K> r� m
K< O
O
K< i 1
K>O\
ReG(jw)
------�---Re
K>O j �
K<o l
K<O l -3
K>O
Figure 7.4 Nyquist Locus of G(jw) and Root Locus of the Linearized
Feedback System
)(J--
4)(5 3
I
x2: x 3
I �
x
2
X4�---
xl
� 5
Figure 7.5 The Frequency Spectrum of the Input and the Outp ut of the
Element in the Feedback Loop
Figure 7.6 The Frequency Spectrum of the Input and the Output of the
Element in the Forward Loop
References
185
186 INDEX
Vector space, 3
W, W., notation, 13
Well-posedness of feedback systems,
conditions, 96
definition, 90
discussion. 93
examples, 95
Wiener-Hopf equation, 80
z-transform, 7