Académique Documents
Professionnel Documents
Culture Documents
Founding Editors:
M. Beckmann
H. P. Kiinzi
Managing Editors:
Pro f. Dr. G. Fandel
Fachbereich Wirtschaftswissenschaften
Fernuniversitat Hagen
Feithstr. 140/AVZ 11,58084 Hagen, Germany
Prof. Dr. W. Trockel
In stitut fur Mathematische Wirtschaftsforschung (IMW)
Universitat Bielefeld
Universitatsstr, 25, 33615 Bielefeld, Germany
Co-Editors:
C. D. Aliprantis
Editorial Board:
A. Ba sile, A. Drexl, G. Feichtinger, W Guth, K. Inderfurth, P. Korhonen,
W. Kursten, U. Sch ittko, R. Selten, R. Steuer, F. Vega-Redondo
Springer-Verlag Berlin Heidelberg GmbH
Wemer Krabs
Stefan Wolfgang Pick1
Analysis, Controllability
and Optimization
of Time-Discrete Systems
and Dynamical Games
Springer
Authors
Prof. Dr. Wemer Krabs Dr. Stefan Wolfgang Pickl
Department of Mathematics Department of Mathematics
Technical University Darmstadt Center of Applied Computer Science
Schlossgartenstrasse 7 ZAIK
64289 Darmstadt University of Cologne
Germany Weyertal80
50931 Cologne
Germany
ISSN 0075-8450
ISBN 978-3-540-40327-2 ISBN 978-3-642-18973-9 (eBook)
DOI 10.1007/978-3-642-18973-9
This work is subject to copyright. AII rights are reserved, whether the whole Of part
of the material is concemed, specificalIy the rights of translation, reprinting, re-use
of ilIustrations, recitation, broadcasting, reproduction on microfilms or in any other
way, and storage in data banks. Duplication of this publication or parts thereof is
permitted only under the provisions of the German Copyright Law of September 9,
1965, in its current version, and permis sion for use must always be obtained from
Springer-Verlag. Violations are liable for prosecution under the German Copyright
Law.
http://www.springer.de
Springer-Verlag Berlin Heidelberg 2003
Originally published by Springer-Verlag Berlin Heidelberg New York in 2003
The use of general descriptive names, registered names, trademarks, etc. in this
publication does not imply, even in the absence of a specific statement, that such
names are exempt from the relevant protective laws and regulations and therefore
free for general use.
Typesetting: Camera ready by author
Cover design: Erich Kirchner, Heidelberg
Printed on acid-free paper 55/3143/du 543 2 1 O
Dedicated to the people of Navrongo
Preface
J.P. La Salle has developed in [20] a stability theory for systems of difference
equat ions (see also [8]) which we introduce in the first chapter within the
framework of metric spaces. The st ability theory for such systems can also be
found in [13] in a slightly modified form . We st art with autonomous systems
in the first section of chapte r 1. After theoretical preparations we examine
the localization of limit sets with the aid of Lyapunov Functions. Applying
these Lyapunov Functions we can develop a stability theory for autonomous
systems.
If we linearize a non-linear system at a fixed point we ar e able to develop
a stability theory for fixed points which makes use of the Frechet derivative
at the fixed point.
The next subsection deals with general linear systems for which we intro-
duc e a new concept of stability and asymptotic stability that we adopt from
[18]. Applications to various fields illustrat e these results. We st art with the
classical predator-prey-model as being developed and investigated by Volterra
whi ch is based on a 2 x 2-system of first ord er differential equ ations for the
densities of the prey and predator population, resp ectively. This model has
also been investigated in [13] with resp ect to stability of its equilibrium via
a Lyapunov function. Here we consider the discrete version of the model. If
we discretize the original model of interacting growth of populations in terms
of two first order differential equations we obtain a general discrete model for
interacting logistic growth of two populations. As a last example we present
an emission reduction model for the reduction of carbon dioxide emissions.
The next section of chapter 1 deals with non-autonomous systems. Def-
initions and elementary properties of such are pr esented. Again, we present
the stability theory based on Lyapunov's method for such systems. We regard
general systems and as a spe cial case the linear case. As an application we
describe the temporal development of the concentration of some poison like
urea in the body of a person suffering from a renal disease and having to be
attached to an artificial kidney.
VIII Preface
The second cha pter deals with time-discret e cont rolled systems . Here we
begin with the a ut onomous case and introduce the problem of fixed point
controllability. If we regar d linear syste ms, we obtain the pr oblem of null-
controlla bility. For t his we present an algorit hmic method for its solution.
Furthermore, we describ e t he problem of stabilizat ion of cont rolled sys-
t ems. Then several applicat ions are presented . We pick up the emission re-
du ction mod el and concent rate ourself on t he cont rolled syste m which we
lineariz e at a fixed point. As a second exa mple we treat the cont rolled pr ey-
pr ed ation model. Also a plan ar pendulum with moving suspension point can
be described by that mod eling. We consider a non-lin ear pendulum of length
l( > 0) whose moment is cont rolled by movin g its suspension point with ac-
celerat ion u = u( t) along a hori zontal st raight line.
In t he next sect ion of chapte r 2 we regard the non- autonomous case and the
specific problem of fixed point controllability. Furthermore, t he general prob-
lem of controllability, the st abili zation of cont rolled systems and the problem
of reachability is t reate d .
The third chapte r deals with t he controllability of dyn ami cal ga mes . These
are formul ated as cont rolled auto nomous dynamical syst ems which as uncon-
trolled systems admit fixed point s. The problem of cont rollab ility consist s of
findin g cont rol functions such that a fixed point of t he uncontrolled syste m
is reached in finit ely many time ste ps. For t his probl em a ga me theoretical
solution is given in t erms of P ar eto optima in the cooperat ive case and Nash
equilibria in the non- coop er ative case.
For the emission redu ction mod el the non- coop er ative treatment of t he cont rol
problem lead s t o the applicat ion of linear pro gramming for the calculat ion of
Nash equilibria and the cooperat ive treatment gives rise to the applicati on of
coope rat ive ga me theory.
In particular we have t o investigat e t he question und er whi ch condit ions the
core of such a ga me is non empty.
In this connect ion we also consider n-person goal-cost-games and pr esent a
dynamical method for findin g a Nas h equilibrium in such a ga me.
Aft er the treatment of evolut ion matrix games we come back t o n-person
goal-cost -games which we tran sfer into cooperat ive n-person games . Here we
investigate the questi on under which condit ions t he grand coa lit ion is stable.
The aut hors want to thank Silja Meyer-Nieberg for carefully reading the
manuscript and Gor an Mihelcic for excellent typesetting . He solved every t ex-
problem which occur ed in minim al time.
1 Uncontrolled Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 The Autonomous Cas e. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Definitions and Elementar y Properties . . . . . . . . . . . . . . . 1
1.1.2 Localization of Limit Set s with the Aid of
Lyapunov Fun ctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.3 St ability Based on Lyapunov's Method . . . . . . . . . . . . . . . 8
1.1.4 St abili ty of Fixed Points via Lineari sation . . . . . . . . . . .. 13
1.1.5 Linear Syst ems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.1.6 Applications .... ... .. ... . ... ... . .... .. ... .... ..... 21
1.2 The Non-Autonomous Cas e 32
1.2.1 Definitions and Element ary Properties . . . . . . . . . . . . . .. 32
1.2.2 Stability Based on Lyapunov 's Method . . . . . . . . . . . . . . . 35
1.2.3 Linear Syst ems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.2.4 Application to a Mod el for the Process of Hemo-Di alysis 43
2 Controlled Systems 47
2.1 The Autonomous Cas e 47
2.1. 1 The Problem of Fixed Po int Controllability 47
2.1.2 Null-Cont rollability of Linear Systems 57
2.1.3 A Method for Solvin g t he Problem of Null-Controllability 65
2.1.4 St abiliz ation of Cont rolled Systems 70
2.1.5 Applications 73
2.2 The Non-Autonomous Cas e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
2.2.1 The Problem of Fixed Point Cont rollability . . . . . . . . . .. 80
2.2.2 The Gener al Problem of Controllability .. . . . . . . . . . . . . 83
2.2.3 St abili zation of Con trolled Syst ems. . . . . . . . . . . . . . . . . . 86
2.2.4 T he Problem of Reachability . . . . . . . . . . . . . . . . . . . . . . . . 89
A Appendix 167
A.l The Core of a Cooperat ive n-Person Gam e 167
A.2 The Core of a Linear P roducti on Gam e 173
A.3 Weak P ar eto Optima : Necessary and Sufficient Condit ions 177
A.4 Du ality 179
References 183
Index 185
Uncontrolled Systems
In [20] J.P. La Salle has developed a stability theory for difference equat ions.
He considers difference equat ions which can be transformed into equa t ions of
t he form
x (n + 1) = f (x (n )), n E No = N U {O} , (1.1)
wher e
x( O) = x (1.2)
is a given initial state in a non-empty subset X ~ IRk and f : X -+ X is
a given cont inuous mapping. By (1.1) and (1.2) a time-discrete dyn amical
system (X,!) is defined , if we equ ip IRk with a norm (e.g. t he Euclidean
norm) and define a flow 7r : X x No -+ X by
7r (x , n ) = r( x) = f 0 f 0 ... 0 f( x) (1.3)
'------v----"'
n -tim es
(1.6)
This limit set can be given an equivalent definition which is the conte nt of
Proposition 1.1. For eveTy x E X the limit set L f( x) being defined by (1.6)
consists of all accumulatio n points of the sequence (fn(x) ) nE No .
Proof.
o
1.1 T he Autonomous Case 3
and invariant, if
f( H ) = H .
Exercise 1.1. Show that for a cont inuous mapping f :X -> X t he following
holds true:
(a) The closure of a positively invari ant subset of X is also posit ively invari ant
(with resp ect to 1).
(b) The closure of a relativ ely compact invari ant subset of X is also invariant
(with resp ect to 1).
According to Proposition 1.1 the limit set L f (x) for some x E X given by
(1.6) ca n be empty, if the sequence (f n(X))nENo does not have accumulat ion
points . If this is not the case, t hen we have the
Proposition 1.2. If, for some x E X , the limit set L f (x) given by (1.6) is
non- empt y, then it is closed and positively invaria nt.
Proposition 1.3. If X is compact, then, for every x E X , the limit set L f (x)
given by (1.6) is compact, invariant and the smallest closed subset S <;;;; X
with
lim (}(r (x) ,S) = 0 where (}( y,S) = rnin {d(y,z ) I z E S }. (1.7)
n--->oo
4 1 Uncontrolled Sys t em:
Proof As a non- empty closed subset of the compact metric space X the limit
set Lf(x) is also compact .
In order to show the invariance of L f (x) it suffices to show that L f (x) ~
f(Lf( x)). Let y E L f( x) be given. Then there exists a subsequence (fn; (X))iENo
of the sequence (r( X))nENo with r ;( x) -> y and with no loss of generality
we can assume that there is some z E L f (x) with r ; -1 (x) -> z. By the con-
tinuity of f this implies r ;(x) -> f (z), hence y = f (z) ELf (x) and therefore
L f( x) ~ f(Lf(x)) . In order to show (1.7) we at first show that
lim dr (x) , S) =
n ---> oo
o.
Then we choose any y ELf (x) and conclude by Proposition 1.1 the existe nce
of a subsequ ence (fn ;( X))iENo of (r( X))nE No with (fin(x)) -> y. Further it
follows that
lim g(fn ; (x ), S) = 0,
n--->oo
whi ch impli es Y ES , since S is closed . This compl et es the proof of Proposit ion
1.3.
D
1.1 The Autonomous Case 5
Exercise 1.2. Show that a finit e subset H <;;; X is invari antly connect ed, if
and only if for every x E H the sequence (r (x) )n E No is periodic and its period
is equa l to the cardinality of H .
Proposition 1.4. If X is com pact, then, for ever y x E X, the limit set Lf(x)
given by (1.6) is inv ariantly conn ected.
Proof. Let us assume that , for some x E X , there exist two non- empty, in-
variant and closed subsets Al and A z of L f( x) which are disjoint and satisfy
Al U A z = Lf(x).
Since Lf(x) is compact , Al and A z are also compact and there exist disjoint
ope n subsets UI and U: of X with Al <;;; UI and A z <;;; U . Since f is uni-
formly cont inuous on AI , there is an op en subset VI of X with Al <;;; VI and
!(VI) <;;; UI .
Sin ce L f( x) is the smallest closed set S <;;; X with (1.7) , t he sequence
(fn( X))nE No must int ersect VI as well as Uz infinitely many times. This im-
plies the existence of a subsequence (fn ; (:r) ) i ENo whi ch is neither contained
in VI nor Uz and whi ch can be ass umed t o be convergent . This, however, is
impossible and leads to a contradict ion to the assumpt ion that Lf(x) is not
invariantly connecte d.
o
Exercise 1.3. Given a compact and positively invariant subset K <;;; X . Show
that n r(K) wit h r(K) = {r( x ) I x E K} for all n E No is non-empty,
nE No
compact and t he lar gest invari an t subset of K .
6 1 Unco nt rolled Syst ems
Let X be a metric space and let f : X ---.., X be a cont inuous mapping. Further
let G ~ X be a non- emp ty subset.
D efinition 1.4. A func tion V : X ---.., lR. is called a Lyapunov fun cti on with
respect t o f on G, if
(1) V is con tinuous on X ;
(2) V(f (x)) - V( x) ~ 0 fo r all x E G with f(x) E G.
If V : X ---.., lR. is a Lyapunov functi on with respect t o f on G , th en we defin e
the set
E = {x E X I V (f(x)) = V (x) , x E G}
where G is the closure of G. Further we put , for every c E lR. ,
V- I(c ) = {x E X I V(x ) = c }.
Then we ca n prove
Proposition 1.5. Let G ~ X be no n-empty and relative ly com pact. Further
let V be a Lyapunov functi on with respect to f on G an d finall y let Xo E G
be suc h that
r (xo) E G for all n E N.
Th en th ere exi st s some c E lR. suc h that
D
1.1 The Autonomous Case 7
with
y x
ft(x,y) = 1 + x 2 ' h(x ,y) = 1 + y2 . (1.8)
Further we choos e
V( x,y)= x 2+2
y , (x , y )E -X . (1.9)
From j(x,O) = (O,x) for all x E lR and j(O,y) = (y,O) for all y E lR, it follows
t hat E is invariant and hence !VI = E .
Further we conclude
and
j 2(O ,y) = j(y ,O) = (O ,y)
for all x E lR.
2
Now let G = {(x,y) E lR I x + y2 < r} for any r > 0.
2
Then it follows that j (G) ~ G and for every (xo,Yo) E G there exist s some
c E lR such
Definition 1.5. A relative ly com pact set H <;:; X is called stable with respect
to I , if f or ever y relative ly compact open set U <;:; X with U ;;2 H = closure
of H there exis ts an open set W <;:; X with H <;:; W <;:; U such that
where
r(W) = {r( x) Ix E W}.
Theorem 1.1. Let H <;:; X be relatively compact and such that for every
relative ly compa ct open set U <;:; X with U ;;2 H there exis ts an open set subset
B u of U with B u ;;2 Hand f(B u ) <;:; B u .
Further let G <;:; X be an open set with G ;;2 H such that th ere exis ts a
Lyapunov fun ction V with respect to f on G which is posit ive definite with
respect to H , i. e.,
W = {x E U* I V( x) < m },
then W is op en and H <;:; W <;:; Bu .
Now let x E W be chosen arb itrarily. T hen x E B u . and therefor e f (x ) E U*.
Further we have
V (f( x)) ::; V (x) < m ,
hen ce f( x) E W <;:; B u . This implies f2(X ) = f(f( x)) E U* and
Definition 1.6. A set H t:;; X is called an attrac tor with respect t o i , if there
exis ts an open set U t:;; X with U :;;;> H such tha t
where
oiu,H) = inf {d( y,z) I z E H}.
If H t:;; X is stable an d an atiracior with respect t o f , th en H is called
asymptotically stable with respect to f .
Theorem 1.2. Let H t:;; X be such th at th ere exis ts a relatively compact open
set U :;;;> H with f(U) < U .
Further let V : X ----+ lR be a Lyapunov func ti on with respect to f on U whic h
is positive definit e with respect to H , i. e.
lim
) --->00
r 'j (x) = q.
This implies
lim V U n' j (x)) = V (q) = 0,
) --->00
hen ce q E H , and therefore fn'j (x ) ----+ H as j ----+ 00 . From this it follows that
fn (x ) ----+ H which shows that H is an attractor with res pect t o f .
Corollary: Und er the assump tions of Theor em 1.1 and 1.2 it follo ws th at
H t:;; X is asymptotically st able.
10 1 Uncontrolled Systems
This implies
lim V(r( x)) = 0 for all x E U.
n-> oo
o
1.1 The Autonomous Case 11
Let us demonstrate this result by the same exa mple as in Section 1.1.2,
i.e. we choose f : 1R 2 -+ 1R 2 as
s:
Theorem 104. Let G X be open , relatively com pact and positively invariant
with respect to f , i. e. f (G) s:
G . Further let V be a Lyapunov function with
respect to f on G . Th en th e largest invariant subs et M of
In order to show that M is asympt ot ically stable with resp ect to f we have to
show that M is stable with resp ect to f . For t hat purpose we apply Th eorem
s:
1.1 and verify its assumptions. At first let U X be relatively compact, op en
and such that U ~ H . If we define
B u = {x E U n G I f (.1:) E U } ,
Let
V (x) = c for all x E M . (1.11)
Let us assume that there is some x E G wit h V (x) < c.
Then it follows t ha t
V (x ) 2: c for all x E G
and further
V (x ) = c {:? x EM .
Therefor e, if we define
V( x) = V (:r) - c, x E X,
then we obtain a Lyapunov fun ction with resp ect to f on G which is positive
definite with resp ect to M. The asse rt ion now follows by Th eorem 1.1.
o
Let us again demonstrate this res ult by t he above example (1.8 ) with Lya-
punov fu nction (1.9). Let again
wher e
Ilc(llx - .r *II )11 = 0
lim
Ilx - x* II
x ----x* .
If one chooses 1] > 0 with d = d' - 1] > 1 and <5 > 0 such t hat
Il cUlx - x*II)11
Ilx- x*1I < 1] for all B( x* ,<5)\{x*} ,
and we obtain
a) Let us choose
Then
tl f~. 11 = IlJf (x*)11 ::; ~(1 + 15(Jf(x *))) < 1
and the assertion follows from Theorem 1.5 a).
16 1 Uncontrolled Systems
b) From t he assumpt ion it follows that f2 (J j (X*)- l ) < 1. Again by the above
quoted theor em it follows that , for a suitable matrix norm ,
o
Assumption a) in the Coroll ary is not necessar y for the asymptotic st ability
of x* with respect to f as ca n be seen by the Ex ample (1.8) . Here we have
2x y . 1
h x(x , y) = - (1 + X2 )2 ' h y(x , y ) = 1 + x 2 '
1 2xy
hx (x, y) = 1 + y2 ' hy (x, y) = - (1 + y 2)2 '
hen ce
Jj (O, O) = (~~) =} f2( Jj(O, O)) = 1.
However , we have seen in Sec tion 1.1.3 t ha t (0, 0) is asy mpt ot ica lly stable
with resp ect to f.
f (x) = A(x ) + b , x E E,
Exercise 1.5. Show that under the assumpt ion I AII < 1 there is at most one
x* E E with (1.12).
Further show that , if IIAII < 1 and there exists x* E E with (1.12) (which is
then unique), it follows that , for every Xo E E , the sequence (X n)nENo given
by
.'T n + 1 = A(x n ) + b, , n E No,
converges to x* .
f (x) = A x +b , x E IRk,
x * = A x * + b.
2. attractive, if for every N E N, th ere exists some 8 = 8(N) such that for
every sequen ce (Xn)n ENo with (1.13) for (xo) E E and IlxN - xN11 < 8 it
follows that lim Ilxn - X n II = 0;
n--->oo
3. asympt ot ically st able, if (Xn)n ENo is stable and attractive.
18 1 Uncontrolled Systems
In order to guarantee the stability of all sequences ( X n)n ENo with (1.13) it
suffices to gua rantee the st ability of t he zero sequence (x n = B E)nEN o which
satisfies (1.13) for b = B E = zero element of E. T his is a consequence of
Proof. (1) =} (2) is trivially true. Now let (2) be true. Then there is a sequ ence
(Yn)nENo with (1.13) which is stable. Now let ( Xn )nENo be any sequence with
(1.13) for b = B E. Then (x n + Yn)nENo satisfies (1.13) and for every E > 0
there exist s some 0 = O(E, N ) such that
Xn = Yn - Zn and xn = Y n - Zn for n E No
Since according to (3) the zero sequence (x n = BE)nENo (which satisfi es (1.13)
for b = B E) is st abl e, it follows that for every E > 0 there exist s som e 0 =
o(E, N) such t ha t
l YN - YNII = IlxN - XN - BEll < 0 impli es that
ll Yn - Yn ll = Il xn - xn - BEll < E for all n 2: N
which shows that (1) is true.
Hen ce (1) =} (2) =} (3) =} (1) which completes the proof.
D
Remark: Lemma 1.1 also hold s true, if we replace stable by at t rac t ive. Hence
it is also true with asympt ot ically stable inst ead of stable.
Now let us again consider the special case E = IRk equipped with any norm
11 11. According t o Lemma 1.1 we consider sequences (X n)n ENo in IRk with
(1.14)
1.1 The Autonomous Case 19
a norm by
k
Il zll = L ICi (z )1 ,
i= 1
it follows that
k
:S L ICi(.To)1 = IIToll
i =1
This leads t o
Theorem 1. 7 . Let the eigenva lues A I , . . . , Ak E C of A satisfy (1.15) an d be
such that the corresponding eigenvectors are linearly independen t. Th en the
zero sequence (x n = 8k) n ENo which satisfie s (1.14) is stable and hence ever y
sequence ( Xn) n ENo that sati sfies (1.14) with E = ]Rk is stable.
Proof Let E > 0 be chosen. T hen we put 5 = E . Now let (X n) n ENo be any
sequen ce with (1.14) for X n = xn and Ilxoll < 5. Then it follows that Ilxn -
8k II < E for all n E No which completes t he proof.
o
Exercise 1.6. Prove that the zero sequence (x n = 8 k) nE No is asymptot ica lly
stable, if all t he eigenvalues of A are less than 1 in absolute valu e.
20 1 Unc ontrolled System s
Remark: Under the assumpt ions of Theorem 1. 7 it is also t rue that the
mapping f : JRk ----> JRk defined by
f (x) = A x , x E JRk ,
V( x) = Ilxll ,x E JRk ,
where
k
Ilxll = L ICi(X)1 , x E JRk .
i =1
o
vVe can also use anot her Ly apuno v fu nction in order to show that x = 8k
is a stable fixed point of the syst em (1.14 ). For that purpose we choose a
symmet ric and positive definite real k x k - matrix B and define a function
If
xT (AT B A - B) x ~ 0 for all x E JRk,
then V is a Lyapunov fun ction with respect t o
f (x ) = A x , x E JR k ,
Exercise 1. 7.
a) Show with t he aid of Th eorem 1.3 t hat {8d is stable with respect to f.
b) Show with the aid of Th eorem 1. S that {8d is asy mptotically st able with
resp ect to i. if
One can even show that {8 d is globally asympt otically stable with respect
to I , i.e., {8d is stable wit h res pect to f and
whi ch is equivalent t o
Converse ly, let {8d be globally asy mptotically stable with resp ect t o f . Fur-
ther let C be a symmet ric and positi ve definite real k x k - m atrix such t hat
00
t he ser ies L: (A T) kCA k converges . If we define
k=O
00
l:)AT )kCA k ,
k=O
which implies
1.1.6 Applications
The classical predator - pr'ey - mo del as being develop ed and invest igated
by Volterra is based on a 2 x 2 - system of first order different ial equat ions
for t he densities of the prey and pr edat or populati on , res pect ively, This
model has also been invest igat ed in [13] with respect t o stability of its
equilibrium via a Lyapunov functio n.
22 1 Uncontrolled Systems
with
I: (x , y) = (1 + a)x - bxy and f2( x , y) = (1 - c)y + dxy ,
t hen (1.16) read s
* c * a
x =d and Y =b .
For every (x , y) T E ]R2 the J acobi matrix of f is given by
J ( )
j x, Y =
(1+ a - by
dy
bx
1 - c + dx
)
which implies
1
Jj (X.* , y * ) -- ( abd - 1([
be) .
The eigenvalues of J j(X*, y*) are given by
A1 ,2 = 1 ivac,
hence
o
By the Corollary of Th eorem 1.5 the only fixed point (x *, y*)T of f in ]R~
is un st abl e. Next we assume that the prey population grows logistically in
the abs ence of pred ators. Therefore we repl ace the first equa t ion in (1.16)
by
Xn+1 = (1 + a )x n - eXn2 - b.x nYn
with a constant param et er e > O.
1.1 The Autonomous Case 23
With this modification (1.16) can be written in the form (1.12) with
o
The only fixed point (x * , y*) T E ]R~ oi ] is then given by
x* = ~ and v' = ~ (a - ~)
if
ce
a> d'
For every (x , y) T E ]R2 the Jacobi matrix of f is given by
J (x
j ,
1)
Y
= (1 + a - 2ex - by
dy
- bx
1 - c + dx
)
whi ch implies
1 - e .
Jj(x * ,y*) = ( (a - t.)
_!!f)
1
d
.
b d
The eigenval ues of Jf(x * , y*) are given by
Al ,2 = 1 - 2d
ec
V(2dec ) 2
- c (a - dec ).
I
Then
ec
- 1 < Al ,-') =1- -2d < 1 '
if and only if
ec
d < 4.
Then
IAl,212 = 1-
ec
d ec ) < 1 ,
+ c (a - d
if and only if
ec e
a< -
d
+-d .
24 1 Uncontrolled Systems
Then
ec ec
1 - 2d < Al < 1 a nd 1 - d < A2 < 1.
Hence -1 < Al < 1 , if - 1<1- ~~ 7 <4
{::}
This leads to the fact that the above syste m of differential equa t ions admit s
an equilibrium solut ion
We now discretize this system by introducing a time ste psize and repl acing
the derivatives x(t) and y(t) by the difference quotients
x (t + h) - x( t) y(t +h)-y(t)
h an d h '
X(t + h))
( y(t + h) = j ,(x(t) ,y(t )) , (1.17')
whi ch has the same fixed poin t solut ion as (1.16'). The above vector fun c-
tion f has t o be repl aced by t he function
J x* 7* -
1 -hc12 ~ )
1 + h2c C
C21
f( , Y ) - ( -hc21 .L
C12 12
T he eigenvalues of Jf(.7:*, y*) rea d
which is equivalent t o
4
IC1 . c21 = h 2 .
which implies
Al i' A2 and IA11= IA21= 1.
3) (1 + h2 C1C2 )2 > 1 ::} IC1 ' c2 1> ~2
2
which implies
and
h2 h2
> 1+-
2
A2 CI C2 - - leI ' C21 = 1 - h ICI .C21 .
2 2
Further we have A2 ~ - 1, if an d only if
4
-< -h 2
which is impossible.
Result :
4
If ICI .c21:s; h2 ' then IAl,2 1= 1 .
4
If leI ' C2 1> h2 ' then A2 < Al < 1 , but A2 < -1 .
wh ich implies that the corres po nd ing eigenvectors are linearly ind ep en-
dent. From the rem ark following Theorem 1. 7 we therefor e infer that the
mapping 9 : lR 2 ~ lR 2 defined by
with constant par amet ers a, b, e, d, e, I > 0 and ste p size h > O. Again X n
and Yn den ot e the densit ies of t he two pop ulations at time t = n . Both
pop ulations grow logisti cally in the abse nce of the other popul ation and
t he te rms (h e Ynxn) and (h e xn Yn) describ e the mutual int er act ion. If
we define
I (x , Y ) -_ ( ffI2 ((..11:': , Y)
Y
) ) , ( x,. Y) E lR 2 ,
with
fI( x ,y) = (1 + h a - h b x - h e y) x ,
f2 (x , y ) = (1 + h d - h e x - h ] y )y,
(1.19)
e a b
f < d < ~, (1.21)
Jj( x , y) =
- h bx +1+h a - h b x - h ey - h ex )
( - he y - h f y + 1+ h d- h e x - h f y
which implies
J j (x * , y *) = (1 - h b x* - h c x* )
_ h e y* 1 - h f y* .
bx* + fy * bX* + fy *) 2 )
A1,2 = +1 + h (
- 2 ( 2 - (bf - ec )x *y*
= +1 + hf.l1 ,2.
From (1.21) whi ch implies (1.20 ) and .'1:* > 0, y* > 0 it follows that
R e(f.l1 ,2) < O. This implies IA1,21< 1 (Exercise), if h > 0 is sufficiently
small.
= (1 + h a - h e X n - h b Yn) x n ,
X n +1
Yn+1 = (1 - h c + h d xn )Yn , n E No ,
with a , b, c, d, e > 0, h > 0 has exa ct ly one fixed point x* > 0, y* > 0, if
a > cde, which is asympt ot ically stable, if h > 0 is sufficient ly sm all.
30 1 Uncontrolled Syst ems
r
Ei(t + 1) = Ei(t) + L emij Mj (t ) ,
j= l
for i = 1, . .. , r and t E No
wh ere Ei(t) denotes the amount of emission reduction and Mi(t) the fi-
nancial me ans sp ent by the i - th actor at the time t , Ai > 0 is a growth
paramet er and Mt > 0 an upp er bound for M; (t) for i = 1, . .. , rand
t E No. For t = 0 we ass ume t he system to be in the st ate E Oi , M Oi ,
i = 1, .. . , r whi ch leads to the initi al condit ions
r
f i(X) = Ei + L emij Mj , i = 1, . . . , r , (1.23)
j=l
x (t + 1) = f( x(t)) , t E No , (1.25)
i; = f( i;) .
Let i; be any such fixed point of f.
1.1 The Autonomous Case 31
wher e 11' and Or is the r x r - unit and <z er o matri x , resp ectively, and
and
D _ (d ll
. 0)
o d rr
with
e; ) for J, = 1 , ... , r
( G,.
and
(
_ _ 1
1-d j J
ce,)
J forj =l , .. . , r
eJ
(ej = j-t h unit vector) are linearly ind ependent. Th eorem 1.7 therefore
implies that t he zero sequence (x(t) = G n)t ENo which satisfies (1.26) is
stable.
32 1 Uncont rolled Systems
and
Fa = x for all x E X .
If f n = f for all n E N we obtain an autonomous time-discrete dynamical
system (X , f) as being defined in Section 1.1.1.
For every x E X we define an orbit start ing with x by
I'F(X) = U {Fn( x)} (1.5 ')
n ENo
LF(x) = n
nE No
U {Fm( x)}
m'2:n
(1.6')
Proposition 1.1': For every x E X the limit set LF(x) consists of all accu-
mulation points of the sequence (Fn(X)) nENo '
The proof is the same as that of Proposition 1.1 and is left as an exercise.
The proof is left as an exercise (see Proposition 1.3) . In addition we can prove
the following
1.2 The Non-Autonomous Case 33
Proposition 1.6. Let X be compact and let (fn) nEN be uniformly convergent
to some mapping fo : X ----+ X. Then it follows that
Proof
Fn;+1 (x) ----+ fo(Y) and hence, by Proposition (1.1 '}, fo(Y ) E L F(x).
then it follows that I. (Xi) ----+ Y as i ----+ 00 . We can also assume that
Xi ----+ x for some x E L F(x).
34 1 Un con trolled System s
Then we have
d(fo( x) , y) < d(fO(X),fO( Xi)) + d(fO(Xi), f n;(Xi)) + d(fn;(Xi) , y)
< d(fO(X),fO(Xi)) + sup d(fo(i) , fn ;(i)) + d(fn;(Xi) , y)
, v ' x EX '------v--"
--. 0 - --.0
v
--.0
as i ----+ 00,
hence y = fo(x) .
o
Next we give a more pr ecise localization of t he limit sets L F (x) , X E X , with
the aid of a Lyapuno v fun ction which is defined as follows:
V -1(c) = {x E X I V (x ) = c}.
Then we ca n prove the following
Proof Since G is relatively compact , it follows that LF(xo ) is non empty. For
every n E N we put X n = Fn(xo) which impli es
Since V : X ----+ lEt is cont inuous, V is bounded from below on G which implies
the existence of c = lim V (x n ) .
n--. oo
Now let p E L F(xo) . T hen, by Proposition 1.1 ', t here is a subsequence
(x n; ) i ENo of ( Xn)n ENo with xn; ----+ p as i ----+ 00 .
T his impli es V(p) = lim V( x nJ = c, hence p E V -l(c).
' --'00
o
1.2 T he Non-Autonomous Case 35
Definition 1.8. A relatively com pact set H ~ X is called stable with respect
to (fn)nE N, if for every relatively compa ct open set U ~ X with U ;2 H =
closure of H th ere exis ts an open set W ~ X with H ~ W ~ U such that
where
Theorem 1 .1': Let H ~ X be relat ively com pact and such that for eve ry
relatively com pact open set U ~ X with U ;2 H th ere exists an open subs et
B u of U with e., ;2 Hand
W = { x E U* I V (x) < m} ,
then W is op en and H ~ W ~ B u - . Now let x E W be chose n arbit rarily.
Then x E B u- and therefor e F1(x) = h(x ) E U* . Further we have
Definition 1.9. A set H S;; X is called an atiracior with respect to (fn)n EN,
if there exists an open set U S;; X with U 2 H such that
where
p(y , H) = inf{ d(y , z ) I z E H }.
If H S;; X is stable and an aiira cior with respect to (fn)n EN, then H is called
asymptotically stable with respect to (fn)nEN.
Theorem 1.2': Let H S;; X be such that there exists a relatively compact
open set U 2 H with
lim V(Fn(x) )
n ->oo
=0 fo r all x E U.
lim F n ; (x)
) ---"'00 .1
= q.
This implies
lim V(Fn; (.r )) = V(q) = 0,
) -+00 .1
Let us demonstrat e Theorem 1.1 ' and Theorem 1.2 ' by an example which is
a modifi cation of Exampl e 1.8. We choose X = 1R 2 and consider a sequ ence
(fn)nEN of mappings fn : 1R 2 x 1R 2 given by
f n(x , y ) = ( -an
-2
y ' --2
bn X ) , (x ,Y ) E IR 2 ,n EN,
l +x l +y
1.2 The Non-Autonomous Case 37
where (an)nEN and (bn)nEN are seque nces of real numbers with
V( x , y) = x 2
+Y 2
, (x , y)2
E ]R ,
then V is a Lyapuno v fun ction on G = ]R2 with resp ect to (fn)n EN which is
positive definit e with respect to H = {(a, a)} , since
:::; ( a~ - 1)y 2 + (b~ - 1)x 2 :::; a for all (x , y) E]R2 and n EN.
hence
fn( B u ) < B u ~ U for all n E N.
Therefore all t he ass umpt ions of Theorem 1.1 ' hold true which implies that
{(a, O)} is st abl e with respect to (fn)n EN.
Next we sharpen (1.27) to
V(fn(x ,y)) :::; "fV(x ,y) for all n EN and (x ,y) E]R2
which impli es
and in t urn
lim V(Fn( x ,y)) = a for all (x , y ) E ]R2 .
n ---> oo
f n(x) = An (x) + bn , z E E , n E N,
where (A n)nEN is a sequ ence of cont inuous linear mappings An : E --+ E and
(bn)nEN is a fixed sequence in E .
Then the pair (E , (fn)nEN) is a non-autonomous time-discrete dynamical sys-
t em. The dynamics in this system is defined by the sequence (Fn) nENo of
mappings Fn : E --+ E given by
for x E E and n E N
1. st abl e, if for every c > 0 and every N E No there exists some 0 = o(c, N) >
Osuch that for every sequence (x n = Fn(XO))n ENo , Xo E E, with II x N - x N II < 0
it follows that
II Xn - x n ll < e for all n 2: N + 1.
2. attractive, if for every N E No there exists som e 0 = o(N) > 0 such that
for every sequence (x n = E; (xo) )nEN'l! Xo E E, with Il x N - x Nil < 0 it follows
that
lim Ilxn - xnll = 0 ;
n --->oo
The proof is t he same as that of Lemma 1.1 . We ca n also repl ace stable by
attractive and hen ce by asymptotically stable. This Lemma leads to t he fol-
lowing suffici ent cond it ions for stability a nd asymptotic stability:
Theorem 1.8. If
Proof. Let us first assume t hat (1.30) holds true. Let e > 0, b e cho-
sen arbitrarily. Then we put 8 = e a nd conclude that for eve ry sequence
(x n = Fn(XO))nE No , Xo E E , with IlxN11 < 8 for some N E No it follows that
Thus the seque nce (Xn = GE) nENo is attractive, hen ce asymptotically stable
which implies that all sequ en ces (.':c n = Fn(XO) )nEN o , Xo E E , are asymptoti-
cally stable.
According to the a bove conside rations it suffices t o consider homogeneous
syst ems with
f n(x ) = An (x ) , X E E , n E N,
40 1 Uncontrolled Systems
such that
Fn(x) = An 0 A n- I 0 .. . Al (x) , x E E , n E N.
Then all sequ ences (x n = Fn (xo) )nENo, Xo E E, ar e stable or asymptotically
stable, if and only if the sequence (x n = Fn (G E))nENo is stable or asymptoti-
cally stable.
o
This leads to
2e
sup[ IIAn 0 An- I 0 AN+I(XN) II I llxN l1:::: 1 } :::: TeN
for all n 2 N + 1 -here the Assumption that all An , n EN, are invertible
is needed- . Conversely let (1.32) be true for every N E No. Then we choose
e > 0, N E N, define 0 = .. eN
and conclude that for every sequence (XN
Fn(XO))nEN o ' Xo E E , with IlxN11 < 0 it follows that
Ilxn - GEII = IIAn 0 An- I 0 AN+I(XN ) 11
:::: IIAno An- I O. . . o AN+l llll x NII < e for all n 2N+1.
Henc e the sequ ence (x n = G E )nENo is stable.
1.2 The Non-Autonomous Case 41
lim Ilx n - GE II = 0, i.e., for every e > 0 t here exists some n (c):::: N +1
n ---> oo
This implies
II A n 0 A n- 1 0 ' " 0 A N+l II =
2e
sup] II Ano A n- 1 0 .. . o AN+ 1(XN)11 I IIxNl1:::; I} :::; T
(here again the A ssumption that all A n , n E N , are invertible is needed)
for all n :::: n( c), hence
lim II A n 0 A n - 1 0 0 A N+lI I = O.
l1 ---t OO
Conversely let (1.33) be t rue for every N E No. Thus (1.32) is satisfied for
every N E No and t herefore t he sequence (A n 0 A n- 1 0 .. . 0 A1(GE)nENo)
is stable. Further there exists J = J (N) > 0 such that for every sequ ence
(x n = Fn(XO)) nENo , Xo E E , with II xNl1< J it follows that
o
Now we specialize to t he case E = IRk equipped with any norm.
T hen we have
f n(x ) = Anx + bn , x E IRk ,
where (An)nEN is a sequence of real k x k - matrices and (bn)nEN a sequ ence
of vectors bn E IRk . This lead s to
for all n E N.
The question then is whether there is a sequence (Xn)n ENo with
such that
Xn +p = Xn for all n E No (1.35)
which implies x p = x o.
Convers ely let this be the case . Then
x !+p = A l +p x p + b!+p = AlXo + bl = Xl
X2+p = A 2+p x !+p + b!+p = A2 Xl + b2 = X2
hence
X x +p = Xn for all n E No.
Result. A sequ ence (Xn)n ENo with (1.34) sat isfies (1.35) , if and only if x p = Xo
whi ch is equivalent to Fp(xo) = Xu, i.e.,
L A pA p_ l . . . Aj+lb
P
.TO = ApA p_ l .. . Al Xo + j .
j= l
This implies that there exist s exactly one sequence (Xn)nENo with (1.34) and
(1.35) , if and only if the matrix 1- ApA p- l . .. AI , 1= k x k-unit matrix, is
non-singul ar. The first vector Xo is then given by
p
a non-zero sequence (Xn)nENo with (1.34) and (1.35) can only exist, if the
matrix I - ApA p- l . . . Al is singular ,
i.e.
det(I - A pA p- l . . . A d = 0 .
This again is equivalent to the fact that A = 1 is an eigenv alue of ApA p_ l .. . AI .
1.2 The Non-Autonomous Case 43
In order to describe the tempor al development of the concent rat ion of som e
po ison like ur ea in the bod y of a person suffering from a renal disease and
having t o be attached to an artificial kidney a mathem atical model has been
proposed in [1 2] which ca n be described as follows. The human body is divided
into two compa rt ment s being t erm ed as cellul ar par t Z and ext racellular part
E of volume Vz and VE, resp ect ively.
The two compa rt ments are sepa rate d by cell membran es having the perme-
ability Cz [m l/min ]. Let t [min] denot e the time and let K z(t) [mg/ m i n ] and
K E(t) [mg/min ] be the concent ration of t he poison at t he time tin Z , and E ,
respectively. We consider some time interval [0, T ], T > 0, and assume that
the patient is attached to the art ificial kidn ey dur ing t he subinte rva l [0, t d] for
som e t d E (0, T] . We further ass ume t ha t the genera t ion rat e of the poison in
Z and E is L 1 [m g/ m i n ] and L 2 [mg/ m i n ], respectively. T hen the t emporal
development of K z = K z(t) an d K E = K E(t ) in [0, 00) can be described by
t he following syste m of linear differential equations
VzKz(t) = - Cz (K z (t ) - K E(t)) + L1 ,
(1.36)
VEKE(t) = Cz (Kz (t) - K E(t )) - C (t) KE + L2
where
c for 0 :::; t < t.
C (t) ={0 for td :::; t < T.
(1.37)
By (1.38) the periodicity of the pro cess of dialysis is expressed . The main
result in [12] is the proof of the existe nce of exac tly one pai r (Kz (t) , K E(t)) of
positive and T-perio dic solutions of (1.36) which intuitiv ely is to be expec te d .
For the numerical computation of t hese solut ions Eul er 's polygon method ca n
be used. For this purpose we choose a time ste psize L1t > 0 such that
td = K . L1t , T = N . L1t
for K , N EN , 2 <K <N
44 1 Uncontrolled Syst ems
(1.39)
VE(KE(t + Llt) - K E(t)) = Cz Llt( Kz(t) - K E(t )) - C (t )Llt KE (t ) + LzLlt .
If we define, for every n E No,
_ (Kz (n . Llt))
Xn - K E(n Llt ) ,
Xn+1 = A n + 1 X n + bn + 1 , n E No , (1.40)
and we have
A n+N = An an d b = b for all n E N.
and hen ce
1.2 Th e Non-Autonomous Case 45
If we put
C3 = CLJ.t jVE ,
then we obtain
This implies
and hence
Therefore
Sinc e the spectral radius dB) of every quadratic matrix B with positive
elements satisfies the inequality
for all Y = (Y)i with Yi > 0 for all i (see [5]), it follows that
is positive.
46 1 Uncontrolled Systems
L A NA N- 1. A j+ l bj
j=1
(I - B) -1 = LB j
j=O
has positive element s which impli es that Xo is positive and in turn that all
Xn ,n E No, ar e positive.
2
Controlled Systems
then , for every t EN, it : IRn --+ IR n is a cont inuous mapping and (IRn, (ft)tEN)
is a non-autonomous time-discret e dyn ami cal syste m which is cont rolled by
the fun ction u : No --+ IRm. If
then the syste m (2.1) is called uncontrolled. Let us assume that the uncon-
trolled syste m (2.1) admits fixed points i: E IR n which then solve the equa t ion
(2.4)
Now let fl <;;; IRm be a subset with 8 m E fl . T hen we define the set of
admissible control functions by
i.e., a solution x of equ ation (2.4) and an initi al st ate Xo E jRn find som e
N E No and a control function u E U with
such that the solution x : No ----> jRn of (2.1), (2.2) sat isfies the end condition
x (N ) = x (2.8)
(whi ch implies x (t ) = x for all t 2: N .) From (2.1) and (2.2) it follows that
c N (xo, u(O) , . .. , u(N - 1)) = C1(C N-1( xo, u(O), . . . , u(N - 2)) , u(N - 1)).
Convers ely now let us assume that we are given a sequence (C N) NE N of vector
fun ctions C N : jRn X jRm .N ----> jRn with t his prop erty.
Then we define, for every tE N,
and conclude
x (t ) = CI(Ct-I( XO ' U(O) , . . . ,U(t - 2)), u(t - 1))
= CI(x(t - 1), u(t - 1))
for all t EN ,
if we define CO(xo) = Xo. Now let S(X) ~ jRn be the set of all vectors Xo E jRn
such that there exists a time N E N and a solution (u(O) T, . . . , u( N - 1 )T) T E
[I N of the system (2.10) . Obviously, x E S(X) (choose N = 1 and u(O) = en).
A first simple sufficient condit ion for the solvability of the problem of fixed
point cont rollability is then given by
Proposition 2.1. Let x E S(x) be an int erior point of S(X) and let x be an
attractor of the uncontroll ed syst em (2.6), i.e., there exists an open set U ~ jRn
with X E U such that lim x (t ) = x uihere x: No -+ jRn is a solution of (2.6)
t --oo
with (2.2) for any Xo E U. Then it follows that S(X) ;2 U which impli es that
fOT every choice of Xo E U the problem of fixed point controllability has a
solution.
If we define
u*(t) = {em
u(t - NI)
for t = 0,
for t = N I,
, N I - 1,
, N] + N 2 - 1,
The essential assumpt ion in Proposition 2.1 is that t he fixed point x of the
uncontrolled syst em (2.6) is an int erior point of the cont rollable set S(x) .
50 2 Controlled Systems
In order t o find sufficient condit ions for that we ass ume that [J is op en
and 9 E C1(JR n x JRm ) which impli es G N E c 1(JRn x JRm.N) for every N E N
and
and
for k = 0, . . . , N - 1.
Let us assume that 9x(X, 8 m) is non- singular . Then it follows, for all N E N,
that G{/ (x, 8 m " , . , 8 m ) is also non- singular, since
there exist s, by the implicit function theorem , an open set V <;;; [I N with
8 ;;' E V and a function h : V ----+ JRn with h E C 1(V) such that
for k = 0, . . . , N - 1.
2.1 The Autonomous Case 51
hN(u(O), . . . , u( N - 1)) E S( x)
One calculate s
1 - e . _!!....)
d
gx(x ,82 ) = ( ~(a_ c:e) 1
which implies that gx(x , ( 2) is non-singul ar , if and only if
Fu rther we obtain
whi ch implies
x = f( x) = g(x ,8 m ) .
Then
and hence
((h u (o)(8 ;;;) I ... I hu (N- 1)(8 ;;; ))
= -(F(x) I f x(X)- l F(x ) I . . . I f x(x )- N+lF(x)) .
In the example we have m = n = 2 and t he 2 x 2-ma t rix F( x) is non-singular .
Next we come back to the solu tion of (2.10) whi ch we replace by an optimiza-
tion problem . For this purpose we define a cost functional ep : lR. m . N ---> lR. by
putting
The algorithm is then cont inued with (u(O) + h>.(O) , . . . , u(N -1) + h;..(N -1))
instead of (u(O) , . . . , u(N - 1)) .
Now let us consider a special case which is motivated by a situation which
occurs in the mod elling of conflicts . We begin with an uncontrolled system of
the form
where gi : jRnl X jRn 2 --+ jRn ; , i = 1,2, are given continuous mappings and
X i : No --+ jRn i , i = 1,2, ar e considered as state functions.
For t = 0 we assume initial condit ions
(2.11)
for some x; : :
8 n z which is also given. We further assume that the above
system admits fixed points (xl T , X2 T ) T E jRn, x jRn z with
x l = gl(x l ,x 2) , x 2 = g2(x l , x 2) .
Problem: Find vector functions x l : No ----> jRn , and .1:2 : No ----> jRn z with
which satisfy the above system equa t ions and initial condit ions and
wher e N E No is a suitably chose n int eger. In general this problem will not
have a solution. Therefore we repl ace the un controlled syste m by the following
controlled syste m:
8 nz ::;: x
2(t ) + u(t ) ::;: x; for all t E No
and
x l (t + 1) = gl(XI(t) ,v(t)) , t E No ,
x l (O) = x5
sa t isfies
XI (t ) =X I for all t ::::N
where N E N is a suitably chosen int eger.
2.1 The Autonomous Case 55
Then we put
(0) = x6 ,
X
2
satisfies
x 1 (t ) = Xl for all t ~ N
where N E N is a suitably chosen int eger. Let us demonstrate all this by an
emission redu ction mod el (1.22) to which we add the condit ions
v(t ) = 8 r for t ~ N
56 2 Controlled Systems
satisfies
E(t) = for all t 2: N
wher e N E N is a suitably chosen integer .
First of all we observe that for every N E N
N- 1
E(N) = Eo + C( ~ v(t))
t=O
If we define
v(t ) = G r for all t 2: N ,
then
E(t ) = for all t 2: N .
Let us put
N- l
VN = ~ v(t ) = C- 1 ( - Eo).
t=O
If we define
1
v(t) = N VN for t = 0, . . . , N - 1
then
N- l
~ v(t ) = C - 1 ( - Eo)
t= O
and
Gr :::; v(t ) :::; NI* for t = 0, ... , N - 1
for sufficiently large N , if
Mt >
for i = 1, . .. , r .
2.1 The Autonomous Case 57
1 -0 .8 0)
C = 0 1 - 0.8 .
( -0.1 -0.5 1
VN l -0.8 VN2 = 10 ,
VN2 - 0.8 VN 3 = 10,
-0.1 VN 1 -0 .5 VN2 + VN 3 = 10 ,
The solution reads
VN 1 = 38.059701 ,
VN2 = 35.074627 ,
VN 3 = 31.343284 .
We choose N = 39. Then we have to put
1 (0.9758898)
v(t ) = N VN = 0.8993494 for t = 0, ... , 38.
0.803674
Problem of Null-Controllability
Given Xo E IRn find some N E No and a cont rol function u E U (2.5) with
(2.7) such that the solution x : No -+ IRn of (2.13), (2.2) sat isfies the end
condit ion
x(N ) = en (2.15)
(which implies x (t ) = e n for all t ;::: N ).
58 2 Controlled Systems
s(e n ) = U E(N)
NEN
Then, for every N E 1"1, the set E(N) is convex and E(N) = -E(N) .
This implies because of
Proof Let us assume that en is not an interior point of S(e n) . Then S(e n)
must be contained in a hyp erplane t hrough en, i.e. there must exist some
y E IR n , y =I e n, with
This implies
N
yT(2:.A N- tBu(t - 1)) = 0
t=l
for all (u(Of , . .. , u (N -Iff ElR. m .N and all N E1"1,
hence
yT A N - t B = e;, and all N E N.
In particular for N = No this impli es y = e n du e to Kalman condition (2.19)
whi ch contradi cts y =I- en ' Therefore t he assumpt ion that e n is not an inte-
rior point of S(en) is false.
In addit ion t o the assumpt ion of Theorem 2.1 we ass ume that all the eigen-
valu es of A are less t ha n 1 in absolute value. Then according to the Corollary
following Th eorem 1.6 e n is a globa l attractor of the un controlled system
(2.14) , i.e. lim x(t ) = e n where z : No ~ lR.n is a solut ion (2.14) with (2.2) for
t-i-co
any Xo E lR. n . By Proposition 2. 1 t herefore the problem of null-controllability
has a solut ion for every choice of Xo E lR. n . If t he set n of cont rol vector valu es
has the form
a = {u E lR. m I Il ull < .,} (2.20)
for some y > 0 where 11 11 is any norm in lR.m , then this result can be strength-
ened to
Theorem 2.2. Let the Kalman condition (2.19) be satisfied for some No E N.
Furth er let n be of the form (2.20) .
Finally let all the eigenvalues of AT be less than or equal to one in absolut e
value and the corresponding eigenvectors be linearly independ ent . Th en th e
problem of null- controllability has a solutio n for every choice of Xo E lR. n ! if A
is non- singular.
and put
R oo = U R(N) .
NEl\!
Becaus e of
R(N) ~ R(N + 1) for all N E No
the set R oo is also convex. We have to show that R oo = lR n . Let us assume
that R oo =1= lR n .
Then there exists som e i E lR n with .1: tf. R oo which can be sep ar ated from
R oo by a hyp erplan e, i.e., there exists a number a E lR and a vector y E lR n ,
y =1= 8 n such that
yT X :::; a :::; yT i for all x E R oo.
Since 8 n E R oo , it follows that a ::::: O. Fur ther it follows from the implication
u E [l =;. -u E [l that
N
I LyT A-tBu(t -1) 1:::; a for all N E N and all u E U .
t= l
This implies
N
L II(yT A- t Bf lld < a for all N E N
t= l
From Kalman's condition (2.19) it follows that there exist n linearly ind ep en-
dent vectors in lR n of the form
This implies
lim yT A- t =
t ---? CX)
8;
or , equivalentl y,
lim (AT )-t y = 8 n . (2.22)
t~ oo
2.1 The Autonomous Case 61
and
hen ce
(AT)-tY=tO: j(:)t yj for all t e- N,
j= 1 J
o
Remark: If we define
whi ch implies
and in turn
from which
follows.
62 2 Cont rolled Systems
T his implies that A has t he same eigenvalues as AT (which holds for arbi-
T
t ra ry matrices) and the eigenvecto rs of A are t he column vect ors of (y )- 1.
Therefor e AT in Th eorem 2.2 could be repl aced by A. For t he followin g let
us ass ume t hat [l = lR m .
For every N E N let us define
Y (N ) = (B I A B I . . . 1 A N- 1B ).
Since U (2.5) cons ists of all funct ions u : No --+ lR m , it follows, for every
N E N, t hat
N
E (N ) = {x = L A N- t B u (t - 1) I u : No --+ lR m } .
t= 1
(ii) E (N ) = E (N + 1) ;
(iii) (A N B )lRm ~ E (N ) ;
Proof
(A N + 1 B)lR m ~ A E (N ) ~ E(N + 1)
whi ch implies E (N + 1) = E(N + 2) and hence
D
2.1 The Autonomous Cas e 63
Now let r be the smallest int eger such that I , A , . . . , Ar-l are linearly
ind ependent in jRnn and hence there are numbers CXr-l ,CXr-2 , ... , CXo E jR
such that
Defining
PO(A) = >t + CXr _ l A r - 1 + .. . + CXo ,
Proposition 2.3. Let s be the degree of the minimal polynomial of A(s :::; n) .
Th en there is an integer k :::; s such that
rankY(l) < rankY(2) < ... < rankY(k) = rankY(k + j) for all j E N
Proof. Proposit ion 2.2 impli es the existe nce of such an integer k, since
rankY(N) :::; n for all N E N. We have to show that k :::; s . Let
'I/; (A) = AS + CXs_IA s- 1 + . .. + CXo be the minimal polynomial of A . Then
'I/; (A )B = 0 and A SBjRm <;;; E(s) which impli es (by Proposition 2.2) that
rankY(s) = rankY(s + j) for all j E N, hence k :::; s .
Proposition 2.4. If Kalman 's condition (2.19) is satisfi ed for some No EN,
then n ecessarily No :::; nand
r an k (B I AB I.. . IA n - 1 B) = n ,
hence E(n) = jRn. Conv ersely, if E(n ) = jRn , then Kalman 's con dition (2.19)
2: nand
is satisfied for all N
W(N)y * = _ANxo.
Further let u E jRm.N be any solution of
-
Y(N)u = - A N Xo (see (2.17)).
If we put
then
-
Y(N )u* = - A N .TO
and
I l u* l l ~ = U*Tu* = y*TY(N)1l* = y*TW(N)y*
= _y*TA N Xo = y*Y( N)1l = U*TU ::; Ilu*11211u112
which impli es Ilu*112::; Ilu112.
2.1 The Autonomous Case 65
Let us equip IR m with the Euclidean norm II . 112 and consider the following
Problem (P)
For a given N E N find u : {O, . . . , N - I} ----> IR m such that
N
LAN -tBu(t - 1) = - AN xo (2.23)
t=l
and
tp N(U) = max
t = l, ... ,N
Ilu(t - 1)112
is as sm all as possible.
N
LA-tBu(t - 1) = -Xo
t=l
which impli es
Under the assumpt ions of Theorem 2.2 there exist s, for every E > 0, some
N(E) E N such that
which implies
So we can be sure, for every choice of "Y > 0, to find a solut ion UN (-y) E jRm.N('Y)
of Problem (P) with tp N (-y) (U N (-y)) :::; "Y which leads to a solution U N(-y) : No ---->
jRm of the problem of null- controllability, if we define
Problem (D)
Minimize
N
X(y) = L IIBT (AN-k f yl12, Y E JRn ,
k=l
subject to
(2.24)
Let U: {O , . .. , N -I} ----+ JRm be a solut ion of (2.17) and let y E JRn satisfy
(2.24) . Then it follows that
N
L yTAN-kBu(k -1) = yT c = 1
k=l
which implies
1
k=~,~x.N l l u ( k - 1)112 2: X(y) '
Now let fj E JRn be a solut ion of Problem (D) . Then there is a multiplier
A E JR su ch that
\7X(fj) = Ac (2.25)
N k
\7x(fj) = L II B T(A J - k)Tfll A - BBT(A N-k f fj
kE I(iJ) Y 2
with
This implies
If we define
if k E I(fj) ,
else , k = 1, ... , N ,
(2.26)
then it follows that
N
L A N- kBUN(k - 1) = C
k=l
and
1
Il uN (k - 1)112 = - ( , ) for all k EI(fj)
XY
wh ich implies
1
max Il uN(k - 1)112= - (, ).
k =l ,... ,N X Y
Hen ce UN : {O , . . . , N - I} ----+ JRm solves Problem (P) . This result is summa-
rized as
2.1 T he Au tonomous Case 67
Theorem 2.3. Jfy E JRn solves Problem (D), then UN : {O, . .. , N -I} -+ JRm
defin ed by (2.26) solves Problem (P) .
In order to solve Problem (D) we apply the well known gradient projection
m ethod which is based on the following ite ra t ion ste p: Let y* E JRn with
cT y* = 1 be givenn. (At the beginn ing we t ake y* = Il c~ l ~ c). Then we calculate
then
x(y* + ~h) < X(y *)
and cT (y* + ~h) = 1. The next step is then performed with y* + ~h instead
of y*. A necessary and sufficient condit ion for ~ > 0 to satisfy (2.27) is
d T
dA x(y* + Ah) = \7X(Y* + Ah) h = 0
A A
which is equivalent to
with
'\' 1 hTAN-kBBT(AN- k)T *
L.. IIB T (A N k) T( Y* +Ah) 1I2 y
.I'(A) = kEI (Y*+Ahl
'f/ '\' 1 I T AN-k B BT (AN - k )T h
L.. IIBT(AN '')7' (Y *+AhlI12 1
kEI( Y *+Ah)
68 2 Cont rolled Syst ems
and
J;(x ,8m ) = is, (x , 8 m )) i ==
k
i , -n.
1 , . .. , H'.
'
The above pr oblem has the form of Problem (P) at the beginning of t his Sec-
tion and ca n be solved by the method describ ed above.
Finally we consider a special case in which t he probl em of fixed point cont rol-
lability is reduced to a sequence of such problems which can be solved mor e
easily.
2.1 The Autonomous Case 69
x (t + 1) = 90(X(t)) , tE N ,
has a fixed point xE jRn which t hen solves the syste m
x= 9o(X) .
We again assume t hat the set U of admissible cont rol functions is given by
(2.5) where n <;: jRm is a subset with 8 m E n.
Let us define
90(X) =9o(X) -x , x E jRn .
(2.8h
If we put
N"
Xk = Xo + 2:: .CJO(X(Uk - 1
)(t - 1))
t =l
and
Bk(t - 1) = (gl( X(uk - 1 )(t - 1) I ... I gm(x(Uk - 1 )(t - 1)) ,
t hen t he end condit ion (2.8h is equivalent to
N
2:: Bk(t - 1)uk- 1(t - 1) = i: - x k .
t=l
Let 9 : jRn X jRm -> jRn be a cont inuous mapping and let H be a family of
continuous mappings h : jRn -> jRm . If we define, for every h E H , t he mapping
j" : jRn -> jRn by
j,,(x) = g(x , h(x)) , .1: E jRn ,
t hen j" is cont inuous and (R", j,,) is a time - discrete autonomous dynamical
system . Let i: E jRn be a fixed point of
J;(x ,h(x)) = (giUk(X,h(x))) ; = 1" " , JT; (X) = (hixj( X)) i =1" " ,m
k ::::: 1 , . . , In i = 1, . . . , n
2.1 The Autonomous Case 71
Theorem 2.4.
(a) Let the spectral radius Q( J j,. (x)) < 1. Th en x is asymptotically stable with
respect to ih.
(b) Let (h, (x)) be invertible and let all the eigenv alues of Q(Jh. (x)) be larger
than 1 in absolut e value. Th en x is un stable with respect to ih.
Special cases:
(a) Let
g(x ,u) = A x + Bu , .T E jRn , U E jRm ,
and
h(8 n ) =8m for all h H.
Finally we have Jh(X) = C,
J;(x, h( x)) = A , and J~(x , h( x)) = B
(b ) Let
g(x , u) = F(x) + B(x)u , x E X , u E IR m ,
hex) = Cx , x E IR n .
and
h(8 n ) = 8 m for all h E H.
Further we obtain
Jh(x) = C ,
m
hence
Jih(8 n ) = JF(8 n ) + B(8 n) C for all u e H.
Thus x= 8n is asympt ot ically stable wit h resp ect to fh, if
2.1.5 Applications
em ll . . . em Ir)
C= .
.
.
"
(
em ri . . . em rr
This implies
k
A k B -- (CUr + DDk+1
+ . .. + D ) ) I:
lOr a
11 k E 1M
1'10 .
If
Idil : : : 1 for all i = 1, . . . , r
and
n= {u E jRr I lI ull : : : 'Y }
for some 'Y > a where 1111 is any norm in jRr , t hen by Theorem 2.2 the problem
of null- controllability has a solut ion for every choice of Xo = (X6T, x f ) E jR2r .
This problem ca n be solved with the aid of Problem (P) in Section 2.1.3 which
reads as follows in this case: For a given N E N find u ; {a, ... , N - I} ----+ jRr
such that
and
'PN(U ) = max
k=l ,... ,N
Ilu(k - 1)112
is minimized (where II . 112 deno tes t he Euclidean norm in jRr ).
(2.32)
At first we choose
and
0.1 a 0)
D = a - 0.2 a
( a a 0.1
2.1 T he Autonomous Cas e 75
and obtain
0 .9
0.8
0.7
0.6
0.5
0 .4
0.3
0 .2
0.1
oo~-:--:,::-----:-::---=---=--=-----:c;--:=---:,::,--------:
10 15 20 25 30 35 40 45 50
Ordinate, I{! N (UN) = -X (Y~ N )
Abscissa , N
Next we choose
0.8 0.5 0.5) 0.2 0)
C = 0.2 0.2 0.3
( 0.4 0.1 0.2 D = ( 0.8
0.6
and get
2 .5 ,...-~----,--~-~-~-~-,...---,--,.--,
' .5
0.5
where a > 0, < C < 1, b > 0, d > 0, Xj(t ) and X2(t ) denote the density of
the prey and predator population at time t , resp ectively, and Ul, U2 : No -> lR
ar e control functions .
If we define
and
92(Xl(t) , X2(t)) = (-X~(t)) ,
then the system can be rewritten in the form
2
.T(O) = (~01)
X02
= Xo. (2.34)
.T(t + 1) = x (t ) + 90(X(t)) , t E No ,
x (N ) = x. (2.36)
2.1 Th e Autonomous Case 77
su ch that
wh er e
Nk
x k = Xo + L 9o(x(u k- 1 Ht - 1)) ,
t= l
and
Iluk(t - 1)112 ~ I for t = 1, . . . , N i :
For this we ca n apply the method develop ed in Secti on 2.1.3.
.. 9 u(t)
ip (t ) = -T sin ip(t ) - -Z- COSip(t) , t E lR, (2.37)
Now we discretize t he differ ential equa t ion by introducing a time step length
h > 0 and replacing the second de rivat ive i/J(t) by io(
ip(t + 2h) - 2ip( t + h) +
ip(t )) thus obtaining the differ ence equa t ion
gh 2 u(t )h 2
ip(t + 2h) = 2ip(t + h) - ip(t) - -Z- sinip( t) - -Z- COSip (t ) , t E R
If we define
Yl(t) = ip(t) and Y2(t) = ip(t + h) ,
78 2 Controlled Systems
then we obtain
Yl(t + h) = YZ(t) ,
gh Z . u(t)h Z
yz(t + h) = 2yz(t) - Yl(t) - -1- sin Yl(t) - - 1 - cos Yl(t) , t E R
Xl (t + 1) = xz (t ) , (2.1')
gh Z . u(t )h Z
xz (t + 1) = 2xz(t) - Xl (t ) - -1- smx l (t ) - - 1 - COS X l (t ) ,
(2.2')
Xl(t + 1) = xz( t ) ,
ghZ
xz( t + 1) = 2x z(t ) - Xl (t ) - -1- sinxl (t )
such that the solut ion x: No -+ ]Rz of (2.1') , (2.2') sat isfies the end condition
.'r(N) = 8 z .
2.1 T he Autonomous Case 79
The k - th step of the iteration method described in Section 2.1.3 for the
solution of this problem then reads as follows: Let U k - 1 E U be given . Then
we determine N k E No and uk E U such that
These ar e equivalent to
Nk- 1
-t L COSX l (uk- l )(t -1)u k(t - 1) =
t=l
Nk - 1
-t./JO-X2 (u k- 1)(Nk - 2 ) +<PO- r L sinx l (uk- l )(t - 1)
t =l
where (gt) t ENo is a sequence of cont inuous vector functi ons gt : JRn X JRm ---.
JRn , u : No ---. JRm is a given vector function which is called a cont rol fun ction.
The vecto r functi on x : No ---. JRn which is called a state functi on is uniquely
defined by (2.38), if we requ ire an initi al condit ion
x( O) = Xo (2.39)
t hen, for every t E No , It : JRn ---. JRn is a cont inuous mapping and
(JRn , (It )t ENo ) is a non-autonom ous ti me-d iscrete dy nami cal system which is
cont rolled by t he fun ction u : No ---. JRm . If
then the system (2.40) is called uncontrolled. Let us ass ume that t he un-
cont rolled syste m (2.40) admits a fixed poin t x E JRn which then solves the
equa t ions
(2.41)
Now let Jl ~ JRm be a subset with 8 m E Jl . Then we define the set of
admissible cont rol fun ct ions by
(2.42)
such that the solution x : No ---> jRn of (2. 38), (2.39) sat isfies the end condition
x (N ) =. (2.45)
(which implies x(t) = x for all t ~ N). Let us assume that , for every t E No ,
the Jacobi-matrices
At = ~~ (x, 8 m ) and e, = ~~ (x , 8 m )
exist . Then it follows that, for every t E No,
h(O) = Xo - X . (2 .47)
(2.50)
Then , for N = No , the system (2.49) has a solut ion (u(O f , u(lf , .. . ,
u(No - l)T)T E lR m . N o where Xo E lR N can be chosen arbit rarily. If we define
So the system (2.49) has a solution (u(Of , u(l)T , ... , u(No - l)T)T for all
N 2:: No
Next we assume that n ~ lR m is convex , has em as int erior point and satisfi es
u En =? -u E n. Let us define, for every N E N, the set
N
R(N) = {x = LA N- 1A N - 2 . . . A kBk-1U(k -1) I u E U} .
k=l
Proof Let us ass ume that e n (E R (N )) is not an int erior point of R( N) for
some N 2:: No . Thus R(N) must be contained in a hyp erplane through e n,
i.e., there must exist some y E lR n , y =1= en , with
This impli es
hence
yT A N - 1AN - 2 . . . AkBk-l = e;;' for all k = 1, ... , N .
Since (2.50) also holds true for all N 2: No inst ead of No , it follows that
y = en which contradicts y i- e n. Hence the assumpt ion is false and the
proof is complete.
D
As a cons equence of Theorem 2.5 we obtain
Theorem 2.6. In addition to th e assumption of Th eorem 2.5 let
lim A N - 1A N - 2 . . . Ao( xo - x ) = en .
N -+oo
Hence Th eorem 2.5 impli es that there is some N E N with N 2: No such that
-A N - 1A N - 2 . . . Ao(xo - x ) E R(N)
Problem of Controllability
Find som e N E No and a cont rol function u E U (2.42) such that the solution
X :No ----+ JRn of (2.38) , (2.39) sat isfies the end conditi on
x (N ) = Xl . (2.53)
84 2 Controlled Systems
and put
S(xI) = U SN(x d
NE N
and
C~k) (x , u(O), .. . , u(N - 1)) =
(gN_l) x(C N-l(x ,u(O) , ,u( N - 2)), u( N - l)) x
(gN- 2)x(C N - 2(X, u(O) , ,u(N - 3)) , u( N - 2)) x
for some Uo E U. Further let (gN)x(x, uo) be non- singular for all N E No, for
all x E IRn and all u E D .
Then e;:'O(xo,uo(O), . . . , uo(N o - 1)) is also non-singular and , by the implicit
fun ction theorem, there exists an open set V <;;; DNo with (uo(O) , . .. ,uo(No -
1)) E V and a function h : V ~ IR n with h E C 1 (V) such that
and
eN(h(u(O), , u(No - 1)) , u(O) , . . . , u(No - 1)) = Xl
for all (u(O) , , u(N o -1)) E V
whi ch means
Mor eover ,
Then it follows with the aid of the invers e function theorem that there exist s
an n-dimensional relatively op en set V <;;; V with (uo(O) , . .. , uo(No -1)) E V
such that the restriction of h t o V is a hom eomorphism which impli es that
h(V) <;;; SN,Jxd is open .
Therefore Xo E h(V) is an int erior point of S( X1)'
Now we consider the special case where there exists some .1: E IR n with
which implies
c'' (x ,e;:') = x for all N EN .
Then, for every N E N, it follows that x E S N(X) , hence x E S( x) .
Let us assume that
86 2 Controlled Systems
Then
Then it follows with the aid of the invers e function t heorem that there ex-
ist s an n-dimensional relatively op en set VNo ~ VNo with e;;,o
E VNo such
that the restricti on of hNo to VNo is a hom eomorphism which implies that
hNo(VNo) ~ SNo(X) is open. Therefore x E hNo(VN,.) is an interior point of
S(X). This result is a generalizati on of Th eorem 2.5, if [] in addit ion is op en.
Let (gt) tEfi be a sequence of cont inuous mappings gt : JRn X JRm ----> JRn and let
1i be a family of cont inuous mappings h : JRn ----> JRm . If we define, for every
h H and t EN, the mapping It : JRn ----> JRn by
then we obtain a non- autonomous time-di scret e dyn amic al system (JRn , (fth )tEfi).
The dynami cs in this syst em is defined by t he sequence p h = (Pi' )tEfi of map-
pings p th : JRn ----> JRn given by
2.2 The Non-Autonomous Case 87
and
F/:(x) = x for all x E JRn .
We also obtain the dyn ami cal syste m (JRn, Uth) tEN) , if we repl ace the con-
t rol fun ction u : No --> JRm in t he system (2.38) by the feedb ack cont rols
h(x) : No --> JRm , X E JRn .
The problem of stabilizat ion of t he cont rolled system (2.38) by the feedb ack
controls h(x) ,x E JRn, then reads as follows: Given Xo E JRn such t hat the limit
set L ph( XO) defined by (1.6' ) (see Section 1.2.1) is non-empty and compact
for all h E 'H.
F ind a mapping h E 7t such t hat L ph (xo) is stable, an att ractor or asymp-
t oti cally stable with respect to Uth)tEN .
Let us consider the special case
wher e (At( X))tEN and (B t(X) )tEN is a sequence of real , cont inuous n x n- and
n x m matrix functi ons on JRn, respectively.
Let 'H be the fam ily of all linear map pin gs h : JRn --> JRm (which are auto mat-
ically cont inuous). Every h E 'H is t hen representable in the form
If we define
V( x) = Il x l l~ = .17.T for x E IR
n
,
then
V(x) 2 0 for all x E IR n and (V( x) = 0 :} x = Xo = e n)
and
This implies
lim FI'(x) = en for all x E IR n
t-> oo
and shows that {xo = en} is an attrac tor with respect to (fth) tE N with f th
given by (2.57).
T he question we ar e interested in now is: Under whi ch condit ions does R( xo)
have a non-empty interior?
A simple answer to t his qu estion gives
Theorem 2.7. Let n be open. If there is som p, N E N and there exist
u(O) , . . . , u(N - 1) E n such that
then R N(XO) has a non- empty int erior and therefore also R( xo) .
has n linearly ind ep endent column vectors. Let E be the n-dimensional sub-
set of n N consist ing of all vecto rs whos e compone nts which do not corre-
spond to these linearly indep endent column vectors are equal to the ones of
(u(O)T, . . . , u(N _1)T)T. If we restrict the mapping C N to E , then the Jacobi
matrix of this restriction consists of these linearly ind ep endent column vectors
and is therefore non- singular .
By the inverse function theorem t he refore t he re exist s an op en set (with re-
sp ect to E) U S;;; n N with ((u(Of , . . . , u (N _ 1)T ))T E U whi ch is mapped
homeomorphically by C N on an op en set V S;; R N(XO ) with C N (xo , u(O) , . . . ,
u(N - 1)) E V . This completes t he proo f.
D
90 2 Controlled Systems
x E 1R. n , u E 1R. m ,
with n x n- and n x m - matrices At and B t , resp ect ively, for every t E No.
Then , for every N E N and every ;r;o E 1R. n , we obtain
N
e N (xo, u(O), ... , u(N - 1)) = A N- I . . . Aoxo + I: A N- I AkBk-IU(k - 1)
k=1
Because of
Proof. Let x, Xo E 1R. n be given arb it ra rily. Then condit ion (2.50) impli es the
existence of u(k) E 1R. m for k = 0, .. . , No - 1 such t hat
Nil
X - A No- I' " Aoxo = I: A No- I ' " AkB k- I U(k - 1)
k= 1
and
2.2 T he Non-Autonomous Cas e 91
and put
uj(k - 1) = 0 for k i= kl , j i= jk , , l = 1, . . . , n ,
then we obtain
then
92 2 Controlled Systems
This implies
Since
hU(k)(U(O) , . . . , u (N - 1)) =
-Gx(xo,u(O) , . . . , u(N _ 1))- 1 x G:r"k)(xO 'u(O) , .. . , u(N - 1))
for k = 0, . . . , N - 1,
it follows that
Finally let us assume that (as in Theorem 2.7) [l is op en and (for the given
Xo E lRn ) there exists some N E N such that t he condition (2.62) is satisfied
for all (u(O) T , ... , u(N _ 1)T)T E [IN. Then it follows from the proof of The-
orem 2. 7 that every x E lRN (xo) is an int erior point of R N(XO), i.e., R N(xo)
is op en .
This impli es in the linear case with [l being an open subset oflRm that R N(xo)
is op en for every Xo E lR n , if the cond it ion (2.50) is satisfi ed .
3
Xi (t + 1) = gi(X(t ), u(t )) , t E No ,
(3.1)
i= l , .. . ,n,
where x(t) = (Xl( t)T, . . . , xn(t )T f , u(t) = (Ul(t )T, . . . , un(t)T)T , and gi E
n n
C(jRN x jRM,jRn;), i = 1, . . . ,n, with N = 2:ni and M = 2:mi.
i= l i= l
If one put s 9 = (g'[, . .. , g~ ) T , t hen (3.1) can be writ ten in t he form
is called un controlled.
(3.4)
We assume t ha t t his fixed point is a desired state of the whole system for all
players.
Problem of Controllability
Given an initial state Xo E lRN , find a time T E No and a cont rol fun ction
U : No ---+ lR
M with
n
u(t) E V = II Vi for all t E No (3.5)
i= 1
and
u(t) = eM for all t 2: T (3.6)
such that the solutio n x : No ---+ lR N of (3.2) which satisfies t he initial condit ion
x (O) = Xo (3.7)
Now let T EN be given . If the u(O), ... , u(T - 1) E V are solutions of the
system
C T( xo,u(O), .. . ,u(T- 1)) =:1: (3.9)
and if one defines
u (t ) = eM for all t 2: T ,
then one obtain s a cont rol function U : No ---+ lR M with (3.5) and (3.6) whi ch
solves the pro blem of cont rollability.
3.2 A Game Theoretical Solution 95
Every solution uT(O), . . . ,uT(T - 1) E U of the opt imizat ion problem (3.10)
is a so called Pareto optimum, i.e., t he following holds true:
For every u(O) , . . . , u(T - 1) E U with
cpf(u (O), .. . , u(T - 1)) ::; cpT (uT (O), . .. , uT(T - 1))
(3.11 )
for all i = 1, .. . , n
cp~ (u(O), ... , u (T -1) ) > cp~ (uT (O) , . . . , uT(T - 1)) .
In words : There is no T -tupel (u(O) , . . . , u(T - 1)) E UT for which one player
can improve his cost function value in compa rison with that of the T -tupel
(u T (0) , ... , u T (T - 1)) E UT without anot her player having to det eriorate his
cost function value.
96 3 Cont rollability and Optimization
The impli cation (3.11) ::::} (3.12) can be easily seen as follows: (3.11) implies
<pT (u(O), . . . , u(T -1)) ::; <pT (uT(O) , .. . , uT(T - 1)) hence <pT (u(O), ... ,u(T-
1)) = <pT (uT (O), ... , uT(T - 1)) which is only possible, if (3.12) holds true.
If
<pT (UT(O), . .. ,uT(T - 1)) =0,
then uT(O) , . . . , uT(T - 1) E U is a solut ion of the syste m (3.9) .
Further it follows that
so that in a pro cedure for solving the minimization problem (3.10) for T + 1
instead of T the (T + l)-tupel (uT (0) , . .. ,uT (T - 1), eM) could be used as
st arting solution. The existence of a solut ion of t he problem (3.10) is ensure d,
if ever y Ui for i = 1, . .. , n is compact in jRm ; . The evalua ti on of the total
cost function <pT can be very complicated . We therefore present an it er ation
method for the solution of problem (3.10) for which t he function evalua t ions
are less complicate d . Now, we repl ace the syste m (3.2) by
x (t + 1) = x (t ) + f( x(t ),u(t)) , t E No
(for instan ce, by defining f( x ,u) = g(x, u) - x ). Then we choose, for some
given TEN ,
xO(t + 1) = xO(t ) + f( xo(t) ,uO(t))
for t = 0, . . . , T - 1
where
xO(O) = xo .
Then we const ru ct a sequence (uk(O ), .. . , uk (T - l ))kEN o in U T and a sequence
(x k (l ), . . . , xk(T ))kENo in R N .T and xk(O) = xo, are given, then we det ermine
(u k+ 1(0), . . . ,uk+l(T - 1)) E UT such that for
with
X- k+ l (0) -- xo
becomes minimal.
3.2 A Game Theoretical Solution 97
Here
T- l
i k+ l (T ) = Xo + f( xo, Uk+1(0)) + L f( xk(t) , Uk+1(t))
t =l
and hence
n T-l
= L II L fi( xk(t), Uk+l(t)) + XOi - xi l l ~ .
i=l t=O
Xk+1(t + 1) = Xo ,
x k+1(t + 1) = xk+1(t ) + f( x k+1(t),uk+l(t))
for t = 0, ... , T - 1
and we proceed to the next step of the pro cedure. Concerning convergence of
this method we can prove
Theorem 3.1. If for every t E {O, .. . ,T - I } there is some
exist s.
98 3 Controllability and Optimization
lim x k+1(t + 1) = x (t + 1)
k ...... oo
that
T- l
lim Xk+ 1(T ) = Xo +
k ...... oo
L f( x(t) , u(t)) = x (T )
(= 0
and henc e
Now let (u(O) , . . . , ii(T - l))T be chosen arbitrarily. T hen it also follows that
and hence
cpT (u(O), . .. ,u(T -1)) = klim cpI (u k+1 (O), . . . ,Uk+1(T- 1)) :S;
...... oo
This shows that (u(O) , . .. , u(T - 1)) E U T is a solut ion of the problem (3.10) .
We shall see later (see Section 3.2.3 ) that this pro cedure is not needed in the
linear case where the functions 9i : jRN x jRM -+ jRn ; for i = 1, . .. , n in (3.1)
are given by
9i( X,U) = A i x + Bn: , x E jRN, U E jRM ,
with n i x N-matrices A i and ri , x M-matrices Bi ,
3.2 A Ga me Theoreti cal Solution 99
For a given vector fun cti on U : No ----> IR M we define, for every i = 1, . . . , nand
TE N,
and
-T T
G i (UTI" ' " UT.,) = G; (xo , u(O), .. . , u( T - 1))
as well as
<j)f(UTl'" '" UT.,) = li C iT (UTI " ' " UT.,) - xi l l~ .
The system (3.9) ca n t hen be rewritten in the form
To solve system (3.9') non- coop er atively t hen means to find uTi E UT for
i = 1, . . . , n such that , for every i = 1, .. . , n,
-T( UTI
'Pi * n) <
* " "'UT -T( uTI"
-'Pi * * * *)
",uTi_I,UTj,UTi+l,uTn
for all UTi E uT = '-----v-----'
U, X . . . X U, . (3.13)
T -times
Every such n-tupel (UTI' . . . , uTJ is called a Nas h equilibrium. In words (3.13)
means that , if one player declines from his equilibri um control whereas all t he
others st ick to it , his cost fun cti on cannot decrease.
Co ncern ing the existence of a Nas h equilibrium we can prove the
Theorem 3 .2.
A ssumptions:
Si(UT*I ' " ' ' UT* ) = (UT*1 , .. . , uT*'1' - 1 ,(S;UT* )i, uT*.,+ 1 , ... , UT*-n )
II-
'---v-'"
uT
with
'Pi * )) <
-T(Si (UT -T( UTI"
_ 'Pi * *
'" UTi_I' * i+ I, " " UT
UTi' UT * n)
-T ( k k k k ) (3.14)
:S tpi UT 1"' " l1Ti _ 1 ' UT i , l1T i + 1 ' . .. , UT"
for all l1T; E Vi .
Further we have, for every i = 1, .. . , n ,
CPi (UT1" ' " l1T i _ 1 , ( S i uT )i, UTi +1, , UT J
:S cpr(U T 1 , .. . , 11T;_ 1' l1T; , UT i+1 ' . .. , UT ,,) for all UT i E V'[ .
Now let i E {I , . . . , n} be chosen arbit ra rily. Then there is a subsequ ence
(( U~l ' . .. , u~J )l EN and aUT; E V'[ with
(5 i l1Tk 1 ) i
1Hfl = l1T ;
-
l -HXJ
CPi (UT1" ' " l1T;_l ' (5 i l1T )i , l1T i+l " ' " l1T J
UTi = (SiUT )i .
In t he sa me way one shows t hat, for every subsequence ((U~l " '" U~J)lEN
k; kl
there exist s a subse quence ( l1T ,''' , . . . , 11 T,;" ) m EN such t ha t
(5 i l1Tk zm.) i
1IIfl -- (Si UT*) i
m ---> oo
which impli es
In order to calculate a Nash equilibrium one can apply the following it-
erat ion method. Starting with k = a and i = 1 as well as some u~ E U T a
uTi E uT is det ermined with
-T ( k k * k k )
'Pi UTI " ' " U T i _ I' UT i' U T i + I " ' " U T "
(3.15)
~ k k
.
rp!" ( U T 1 , . .. , UT7- 1
k
, U r 1 , UT1+ 1
k
, . .. , U T fI- ) for all ur.1 E U! ."
Assumptions:
n
Proof. From a) it follows that U T = TI uT is compact and hence closed which
i= 1
implies that UT E U T .
Let us assume that , for some i E {I , . .. , n} , there exist s some UTi E uT with
-T ( ,
'P UTI ,
A ,
,UTi _ I ,UTi ,UT i + I , ,UT "
, )
< 'Pi T ( UT
- ' )
Since the fun ction U --> rpf( u ) , U E jRM.T, is cont inuous, it follows that
rpf( u~) --> rpf( UT ) . This implies for
s
U = :2l( 'Pi
_T( UT
A) - -T (U' T I "
'Pi A
, . . ,
A
UT"
))
that
k ~ oo
and hence
-T(( UT
'Pi k )i) -T (UT,
< 'Pi A
, , U T i _ , , UT i ' UTi + i
A A
, . . . , UT "
A )
+ s:
U
For this purpose we consider the problem t o find, for a given i E {I , ... , n}
r U
and a given u E T , some UT i E such that Ur
-T ( * * * * )
'Pi uT,, " " UT i _" UT i ' U T i + " " " U T ",
A
< -T (U T* , , " " U T* i_ " UTi' UT* i + l " ' " UT* m )
_ 'Pi
for all UTi E U;T
At the beginning of the pro cedure we choose
where
XO(O) = Xo .
Then we construct a sequ ence (u~ (O) , . . . , u~ (T - l ) )IENo in Ur and a sequ ence
(x 1(1), ... ,x1(T ))IENo in jRN.T as follows:
3.2 A Game Theoretic al Solution 103
becomes minimal.
Then we define xl+l (O) = Xo and
Xl+1(t + 1) =
x l+1(t) + f( xl+l (t) , ui (t) , . .. ,U7- 1(t) , u~+l (t), U7+1 (t) , ... , u~ (t))
for t = 0, . . . , T - 1 and proceed to the next st ep of the procedure.
a nd
Obviously we have
9(8N,8M) =8N ,
i.e., x = 8N is a fixed point of the uncontrolled syste m
x (t + 1) = Ax(t) , t E No . (3.17)
Further we obtain from (3.16) and
x (O) = Xo (3.18)
for some Xo ER N t ha t , for every T E N ,
T
x (T ) = ATXo + L AT- t
Bu(t - 1) ,
t=l
104 3 Controllab ility and Optimizati on
hence
T
CT(XO, U(O), . . . , u (T - 1)) = ATXo + L A T - t B u(t - 1)
t= l
= fj5T (u T (O), . .. , uT (T -1 ))
wh ere again (uT(O) , . .. , uT(T - 1)) denotes t he solut ion of problem (3.10)
with iT instead of ipT.
If one puts C; = AT- tB for t = 1, . . . , T and defines
t hen on e obtains
T T T n
L A T- t B u( t - 1) = L
Gtu( t - 1) = L L GtiUi(t - 1)
t=l t=l t=l i=l
n T n
L L GtiUi(t - 1) = L (G li I G2i I .. . I GTi )UTi
i=l t=l i= l
T hen it follows
n
6nuTI, . .. ,UTn) = L Gi(j)UTj + Yi for i = 1, . . . , n
j=l
and t he functi onal
n
3 .3 Local Controllability
Let us come back t o S ection 3.1 and ass ume that 9 E C1(JR N X JRM, JR) .
T hen we define
A = gx(x , 8 M ) and B = gu(x, 8 M )
Given an initial st ate Xo E JRN, find a time T E No and a cont rol fun ction
u : No ---4 JRM with
n
u(t) E U = Il Ui for all t E No (3.22)
i= l
and
u(t) = 8 M for all t ~ T (3.23)
such that the solut ion x : No ---4 JR N of (3.20) which sat isfies the initial condi-
tion (3.21) satisfies the end condit ion
h (t) = 8 N
which implies
h(t) =8N for all t ~ T .
This problem is nothing else but the problem of null- controllability of the
linear system (3.20) (see S ection 2.1.2 ).
Let us assume, for every i = 1, . . . ,n, t ha t
where v > 0 is a given constant and I Iii is a norm in JRn; . Then we can prove
(see Th eorem 2.2 ) the following
Theorem 3.4. Let there exist some T E N such that
r ank(B I AB I . . . I A T - l B) = N .
Further let all th e eigenv alues of A' = transpo se of A be less than or equal to
on e in absolute value and the corresponding eigenve ctors be lin early indepen-
dent. Th en the problem of local contro llabilit y has a solution for every choice
of Xo E JR N! if A is no n-s ingular'.
3.4 An Emission Reduction Model 107
We come back t o the emission redu cti on mod el that was introduced in Section
1.1.6 as an uncontrolled syste m (see (1.22)) and in Section 2.1.1 as a con-
trolled syst em under an addit iona l condit ion on t he costs. Now we consider
the act ors who control the syst em as players who have t o find a cost vector
fun ction v : No ----+ jRr wit h
such that
N-l
C( L vet )) = E - Eo , C = ( e m ij k j =l ,... ,r .
t= O
whi ch in t he case
Mt > 0 for i = 1, . .. , 1
can always be sat isfied , if we can find v : No ----+ jRr with (3.24) , (3.25) (see
Section 2.1.1). If we put
N- l
L Xj :S L Xj + Xi ,
j =l i = 1
:i :eft -;
subjec t t o
r
L Cij Yi :S 1 , j = 1, . .. ,T , (3.30)
i= l
and
Yi 2: 0 , i = 1, ... ,T . (3.31)
For Y1 = Y2 = ... = Yr = 0 t he side condit ions (3.30), (3.31) are satisfied. If
we ass ume that ther e ex ist s some X E jRr whi ch satisfies (3.26) , (3.27) , then
by a well kn own duality theor em t here exists a solut ion X = x E jRr of (3.26),
(3.27) whi ch minimizes (3.28) and a solut ion Y = i) E jRr of (3.30) , (3.31)
wh ich maximizes (3 .29) and it is s ex) = t (i) ) which is equivalent t o the two
3.4 An Emi ssion Reduction Mod el 109
implications
r
Xj > 0 =} L Cij Yi = 1
;'= 1
(CSL) and
r
Yi > 0 =} L CijXj = b i .
i= l
su bjec t to (3.31) , (3.32) , (3.33) . T his problem ca n be immedi ately solved with
the aid of the simplex method starting with t he feasible basis solut ion
Zj =1, j = 1, . .. , r , an d Yi = 0 , i = 1, . . . , r .
Le., the player j can be conside red as an opponent of all the others, then it
follows for the solut ion x E JRr of (3.26), (3.27) which minimizes (3.28) that
r
L Cj k X k = bj .
k=l
xi + 2:=
T T
also solves (3.26) , (3.27) and it follows Xk < 2:= .'h cont radicti ng
k = 1 k=l
k i' j
T
t he minimality of 2:= Xk Now we ass ume that
k=l
L
T
then
Cjj > 0 for all j = 1, . .. , r
and t he matrix C = ( c i j k j =l ,... ,r is inverse monotone, i.e. C- 1 exist s and
is positive (see L. Collatz : Funktionalanalysis un d Numerische Mathematik.
Springer-Verl ag: Berlin, Co ttingen , Heidelberg 1964) .
This implies
x = C- 1 b 2: 8 T
If x E JRT is any solution of (3.26) , (3.27), then it follows t ha t
x 2: C - 1b = x , i.e, , Xi 2: x; for i = 1, . . . , r .
In words this means the following: If every player is an opponent of every other
and if his own cont ribut ion to achieve his goa l is greate r than the negative sum
of the cont ribut ions of his opponent s, t hen everybody can reach the absolute
minimum of his costs .
Now we return to t he
General case
We assume that t here exists a solut ion x E JRT of (3.26) , (3.27). Then the dual
problem has a solut ion as seen above. If t his has been obtained by s :::: r st eps
of the simplex method , we can ass ume t he result in t he following form :
Y1 d1 - Zl
Ys ds - Zs
+D
Zs+ l ds + 1 - Y s+ 1
ZT dT - YT
3.4 An Emission Reduction Model 111
where
dl l dIs d1s + 1 ;
: s.. d ss +1 a.,
D=
d S +ll . . . d s + 1s d s + 1s + 1 . . . d s + 1r
t, ~ t, bA
bj Yj + 1;, (t. djkb j) (- zM kt (t. djkbj) (-Yk)
wit h
dj 2: 0 for j = 1, .. . , T .
and
L djk bj 2: 0
8
for k = 1, ... , T .
j =1
Further we have
r
dj + L Cij Yi = 1 for j = s + 1, . . . , r .
i =1
Xj =0 for j = s + 1, .. . , r
and
L CijXj = b,
S
for i = 1, . . . , s .
j=1
If t he matrix
112 3 Cont rolla bilit y and Optimizati on
dll . . . d S1 )
C- 1 = : .. :
S
( i ; ..: d~s
whi ch implies for XS = (Xl , ... ,.Tsf t ha t
hen ce
s
.Tk = L d j kbj for k = 1, . . . , s .
j=l
Let us cont inue with a dir ect method for t he det ermination of a Nash equi-
librium, i.e., of an .T E lR r with .T 2: G r and
r
L Ci j .Tj 2: bi , i = 1, . . . , r (3.35)
j= l
then it follows that Xi ::; Xi. In order to det ermine su ch a Nas h equilibrium
we apply an iter ative method as follows:
St arting with a vector x O 2: G r which satisfies (3.35) with X O inst ead of .T we
const ruct a sequence ( XL) L ENo with L = l . r + i , l E No, i = 1, . . . , n - 1
in the following manner : If xL 2: G r with (3.35) for x L inst ead of z is given,
then we minimize X i E lR subject t o Xi 2: 0 and
r
L CkjXl' + Ck iXi 2: b k , k = 1, . . . , r . (3.36)
.i = 1
i :- i
where
L +1= {(l + l)r , if i = r - 1 ,
l .r +i +1 , if i < r - 1 ,
then X L + 1 2: 8 r satisfi es (3.35) with xL+1 inst ead of x and x L+! :::; X L .
The latter impli es the existe nce of
x = Llim
-CX)
xL < xL
-
for all L E No
and Xi < Xi
This implies
r
:i = 1
:I:;t i
L CijXj + CiiXi = bi
i = 1
i ,:pi
contradict ing (3.38). Hence t he assumpt ion is false and x is a Nash equilib-
rium.
o
114 3 Controllability and Op timizatio n
where
I( x L) = {k I L" CkjxjJ + CkiXf = bd .
i = 1
i #- i
Then
hi s: ~ ( .t
ki j = 1
CkjXf + CkiXf - bk)
i f:- i
that
hi = min( xf , o:f )
where
which implies
r
L CijXf + Cii Xi = bi .
.1 = 1
:i : i
Starting with XO = (0,2 , 16f' which sat isfies Cxo ~ b we obtain the sequence
xt = 0 , x~ = 2 , x~ = 16
xi = 0 , x = 1.9016197 , x = 16
xr = 0 , x~ = 1.9016197 , x~ = 15.90862
xi = 0 , xi = 1.9016197 , xj = 15.90862
x~ = 0 , x~ = 1.8536548 , x3 = 15.90862 ;
x~ = 0 , x~ = 1.8536548 , .1:~ = 15.884566 ;
xi = 0 , x~ = 1.8536548 , x; = 15.884 566 ;
x~ = 0 , x~ = 1.8410289 , x~ = 15.884566 ;
xi = 0 , x~ = 1.8410289 , x~ = 15.878234 .
116 3 Controllability and Op timization
The sequ en ces (x ')L ENa and (x f) L E N" converge to the solut ions X2 and X3 of
the linear syst em
0.01667x2 - 0.00875x 3 = - 0.1083
-0.00167x 2 - 0.00333x 3 = 0.0498
which are approximat ely given by
Let us assume that we have found a cost vect or function v : No ----+ jRr which
satisfies (3.24) , (3.25). Then the cont rolled cost s are given by
r
= Vi (t ) - AiVi(t)(Mi* - vi(t ))(Ei (t - 1) + 2::= emijVj (t - 1))
j=l
cI)(t - 1) = emij + c~ (t - 1)
and
c~ (N - 1) = emij for i, j = 1, . . . , r ,
then
N N- l
2::= OK (t - l) v(t - 1) 2: C( 2::= v(t )) 2: E - Eo .
t =l t= O
Hence the condit ion (3.25) is also sat isfied, if we repl ace, for every t E
{O , .. . , N -I} , the matrix C by OK(t ) (c~(t) kj= l , ...,r. The cont rolled
costs are then given by
r
M iK (t + 1) = Vi(t) - AiVi(t)(Mt - vi(t ))(Ei (t - 1) + 2::= c~ (t - l) vj(t - 1))
j= l
then
Vt( ) = 0 .
The fun ction Vt : 2N ---> IR+ can t herefore be int erpret ed as t he payoff function
of a cooperative r-pe rson game . The subset s K of N can be interpreted as
coalit ions which are built by the players by changing the matrix C of mutual
influence to the matrix CK (t - 1) for t = 1, . .. , N -1 whereby they guarant ee
that the cont rolled cost s are diminished. If i 'f. K , then c~ (t - 1) = 0 for all
j EN and therefore M;(t + 1) = M{ (t + 1) so that
vt (K ) = 2: (Mi(t + 1) - M{ (t + 1)) .
;E K
In p articular we have
r
vt(N ) = 2:(M;(t + 1) - M f(t + 1)) .
;= 1
If we denote the gain of the i-t h player , if he joins the coalit ion K ~ N , by
r
v;(K ) = M;(t + 1) - M{ (t + 1) = A;v;(t)(M;* - v;(t )) 2: c~ (t - l) vj(t - 1)
j=1
then
Vt(K) = 2: v;(K ) .
;E K
Then the "grand coalition" N lead s to the larg est joint gain Vt (N) . The
qu estion now is whether there exist s a division (X1 , . .. , Xr ) of vt (N ), i.e.,
r
X ; ::::: 0 for all i = 1, . . . , r and vt(N ) = l: X; such that
;= 1
This means that there is no incentive to build coa lit ions which differ from the
gr and coalit ion. The set of all such divisions of Vt (N) is called the core of the
gam e.
118 3 Cont rolla bility and Op ti mization
If we therefore put
Xi = v:(N) for i = 1, .. . , r ,
t hen we can conclude that
Xi 2: 0 for i = 1, . . . , r ,
r
'L Xi = vt(N) and 'L Xi 2: vt (K) for all K ~ N ,
i =l iEK
For this purpose we define the set of all divisions of vt (N ) by I( vt) , i.e.,
r
We say that X E I (vd dominat es y E I (Vt ), if t here exists a coa lit ion K ~ N
such that
Proof. Fi rst of all we observe that c(Vt) <;;; I (Vt ). Now let Y E c(Vt ). Assume
t hat there exists some x E I (Vt ) t hat dominat es y . Then there is a coa lit ion
K <;;; N such that (*) hold s t rue which implies
P = vt (N ) - vt( K) - I: v~(N \ K) ,
i EN\K
(J = vt (K ) - I: Yi
iEK
and put
. _ {Yi + I~I for i E K ,
x, - vt(N \ K ) + IN \ KI for i EN \ K .
Becau se of (J > a it follows t hat Xi > Yi for all i E K . Further it follows
that
I: Xi = I: u. + vt( K) - I: u. = vt (K)
iE K iEK iEK
and
r
I: Xi = Vt(K )+ I: v:(N\ K) +Vt(N)-Vt(K) - I: v:(N\ K ) = Vt(N ) .
i= l iEN\K iEN\ K
Since
o
Next we give a necessar y condition for t he core to be non- empty. For t hat
purpose we define
120 3 Controllability and Optimization
This is therefore a necess ary condit ion for the core to be non-empty. In the
following we assume this condition to be satisfied. If we define , for every
i = 1, . .. ,r,
it follows that
bi h) 2 Ai(vd 2 0 for all i = 1, . . . ,r .
Further we obtain , for every x E c(Vt ),
henc e
bi(Vt) - Ai(Vt) S Xi S bi(vt)
for all i = {I , . . . , r } .
3.4 An Emissi on Reduction Model 121
If in addition to
we assume that
r
gt(N) = L bj( vt) - vt(N) = 0 ,
j=1
then it follows that (b1 (vt} , . . . ,br( Vt )f E c(vt}.
So these two condit ions are sufficient for t he core to be non-empty.
r
If gt(N) > 0 and L Ai(Vt) > 0, then we define
j=1
and obtain
if
r
L Aj (vt} 2: gt(N) .
j=1
Further we obtain
r r r
LTi(Vt) = L bi(vt) - L bj(vt) + vt (N ) = vt(N )
i= 1 i =1 j=1
and
if
gt(S) - !!t(N) L Ai(Vt) 2: 0 for all S < N
L Aj(Vt} iES
j=1
which implies that (T1(Vt} , . . . ,Tr(Vt))T E c(Vt ).
Assume that
122 3 Cont rollability and Optimization
and we obtain
Further r
LAj(Vt) =r ' 9t (N ) ? 9t (N ) > 0
j =l
is satisfi ed .
Result. If
Ai (vd = 9t (N) > 0 for all i = 1, . . . , r
and
9t(8) - ~9t(N)
r
? 0 for all 8 r;, N ,
then
Remark: If 9t (N) = 0, then this result coincides with the one obtained above.
With these definitions we conclude that a vector x E jRn is in the core c(Vt ),
if and only if
n
L a ik x k ;::: b, for i = 1, . .. , 2n - n - 2, (PI)
k= l
n
L Xk = b2" - n - 1 = vt (N ) (P2)
k =l
and
Xk ;::: 0 for k = 1, . . . , n . (P3)
L biYi
;.= 1
Let us consider t he case n = 3. Then the constraints (P I') and (P2) read
Xl + Xz + 'T4 > bl
Xl + X3 + X4 > bz (P Ili)
Xz + X3 + X4 > b
Xl + Xz + X3 b4 (P2')
Yl +
yz
yz
+
+
Y3
Y3
+
+
Y4
Y4
<
<
1 (D2')
hence
for all Yl ::: 0, yz ::: 0, Y 3 ::: 0, if b 4 ::: ~bi for i = 1,2,3 which is t hen a
sufficient condition for the core c(Vt) of Vt to be non-empty.
If we choose
1
Xl = Xz = X3 = 3b4 ,
t hen
2
Xl + Xz = 3b4 ::: bl ,
2
Xl + X3 = 3b4 ::: bz ,
2
Xz + X 3 = 3b4 ::: b3 ,
Xl + X z + X3 = b 4 .
3.4 An Emission Reduction Model 125
Henc e (!b 4 , !b4, !b 4) is in the core c (V t ) of Vt. On e can easily see that
under the condition
3
b4 > -b for i=1 ,2, 3
- 2 '
3
Xi ~ a , i = 1,2 ,3 , L Xi = b4 and
i= l
1
Xl ~ "2(b l + b2 - b3 ) ,
1
X2 ~ "2(b l - b2 + b3 ) ,
1
X3 ~ "2( -b l + b2 + b3 ) ,
which implies
Henc e
for i = 1, ,6 ,
for i = 7, , 10 .
These conditions are therefore sufficient for the core c(Vt) of Vt to be non-
empty.
126 3 Controllability and Optimization
Xl + X2 = tbl1 2: bl ,
Xl + X3 = ~bl1 2: b2 ,
Xl + X4 = ~bl1 2: b3 ,
X2 + X3 = ~bn 2: b ,
X2 + X4 = ~bl1 2: b5 ,
X3 + X4 = ~ b l1 2: be ,
Xl + X 2 + X3 = ~ b ll 2: b7 ,
Xl + X2 + X4 = ~ b l1 2: b8 ,
Xl + X3 + X4 = ~ b l1 2: b9 ,
X2 + X3 + 1:4 = 4 bl1 2: ho.
Hence (:tbn, :tbl1 ' :tbn , :tbl1) is in t he core c(vd of Vt . For a general n 2: 3
one der ives as sufficient condit ions for the core c(Vt ) of Vt to be non- empty:
n-times
n) (:~)
(r
n .
This implies for every r = 2, . .. , n - 1 fi: k;;:l X k 2: i~ vt ( K~ ) and further
r
;, Vt(N) 2: Vt ( K~) . (n)
for all i = 1, ... , r and r = 2, . .. , (n - 1)
is necessary for the core c(Vt) of Vt to be non- empty. Now let us ass ume in
addit ion that
Vt (Ki ) + Vt(Ki) - Vt(Kl) 2: 0 ,
I
Vt (K 2) - Vt(K 22 ) + Vt(K 2)
3
2: 0 ,
- Vt(Ki ) + Vt(Ki) + Vt(Ki ) 2: 0 .
Then we put
and define
X2 + X3 = Vt( K 2)
3
+ 32 10 2: Vt(K 2)
3
,
and
Now let us come back to the problem of minimizing (3.28) subject to (3.26) ,
(3.27) .
Let us define , for every non- empty subset S of N = {1, . . . , r},
and
b(S) = 2:)i .
iES
For every non- empty S <:;;; N we now consider the problem of minimizing
subject to
for j '= 1, . .. , r (3.39)
and
r
2:Cj(S )Xj 2 b(S) . (3.26s)
j =1
According to the assumpt ion (A) t he set V(S) of all vectors x E IR r which
satisfy (3.27) and (3.26s) is non- empty and , since 2: Xj 2 0 for all x E V(S),
j ES
there exist s som e x (S) E V(S) with
This function v : 2N ----+ IR+ can be int erpret ed as the payoff fun ction of a
coope rative r-pers on game, if we define v() = O. The subset s S <:;;; N ca n
be interpreted as coa lit ion which are built by the players by adding their
const raint s in (3.26) and minimizing 2: Xj .
JEN
The valu e v(S), for every non-emp ty S <:;;; N , ca n be det ermined explicit ly.
For that purpose we consider the du al problem which consist s of maximizing
b(S)y subject to
y(S) = max{
1
Cj (S )
.
I J E N, Cj (S ) > }
and it is
v (S ) = b(S) . y(S) .
The question now arises what could be an incentive for the players to join in
a grand coalition. For that purpose we divide the minimum cost v (N ) of the
grand coalition N into r shares X i 2: 0, i = 1, . . . , r , i.e.,
r
:L .T i = v (N ) .
i= l
If this can be done in such a way that for every coa lit ion S S;; N we have
then there is no incentive for them to form coa lit ions other than the grand
one . In such a case we call the grand coalition st able.
Now we can prove the following
Theorem 3.5. If th e condition (A) is satisfied, th en the grand coalition is
stabl e.
For the proof of this theorem we need the following lemma whose proof is
modelled along the lines of the proof of Th eorem 1 in [24] .
Lemma 3.1. If the condition (A) is satisfi ed, then for every collection B S;; 2N
such that th ere exist weights I S 2: for S E B with
:L I S = 1 for all i EN
S EB
i. E S
it follows that
v (N ) < L ISv (S ) .
SE B
130 3 Cont rolla bility and Optimizati on
wh ere
Xj = L'YSXj (S ) for j = l, . .. , T.
SE 13
Now we have
~ L 'Ys b(S )
SE 13
which implies
r r
and
L ' s 2: 1 for i = 1, . . . , r .
SE tS
i E S
max{L Xi IX E jRn sat isfies (3.27), (Os) for all S ~ N } < v (N) .
iEN
=max{L Xi IX E jRn satisfies (3.27), (Os ) for all S < N } < v (N) .
i EN
For a solut ion (is ) SE13 of t he dual pro blem we can ass ume that
L is = 1 for i = 1, . . . , r .
SE t3
i E S
hen ce
In order t o derive further sufficient and necessar y cond it ions for the grand
coa litio n to be st able we denot e the (~) subsets of N which have k element s
by S1, l = 1, . .. , G) .
Then we have t he condit ions
L Xi < v (Sk)
iES~
r
L Xi = v (N) .
i= l
If we then define
1
Xi = - v(N ) for i =l , . . . , r
r
we obtain
and r
L Xi = v (N ) ,
i=l
for all k = 1, . .. , r
for all k = 1, . . . , r - 1
3.4 An Emission Reduction Model 133
are necessary conditions for the existe nce of a division {Xl , . . . , x r } of v(N)
2::>i
with
< v(S) for all S ~ N .
i ES
In order to obtain further necessary conditions we enumer ate the sets sL for
and k = 1, . .. , r such that
1 ( ~) -1 +1
Sk n Sr- k = 0.
Then it follows from (0;) that
(~ ) - I+l
v(N)
1
:s: V(Sk) + v(Sr_k ) , l=l , ... , (~) .
Xl + X2 :s: v(SJ) ,
Xl + X 3 :s: v(S~) , (oj)
X2 + X 3 :s: v ( S~ ) ,
the conditions
3
v(N ) < L v(si) ,
1=1
3
2v(N) :s: L v ( S~ ) ,
1= 1
for i = 1,2,3
134 3 Controllabilit y and Optimizat ion
and
If we then define
Xl = t(b l + b2) - ~b3 ,
X2 = 1 (bl + b3) - t b2 ' (**)
X3 = 'i(b 2 + b3) - 'ibl '
we obtain
Xl = v(N ) - b3 2:: v(N ) - v(S:] ) 2:: 0 ,
X2 = v(N ) - bz 2:: v(N ) - v(Si ) 2:: 0 ,
X3 = v(N ) - b l 2:: v(N ) - v(Si ) 2:: 0 ,
Xl + X2 = bl ::; v(Si ) ,
Xl +X3 = oz ::; V(Si) , (CD
X2 +X3 = b3 ::; V(Si) ,
and
whi ch tog ether with (*) are sufficient for t he existe nce of a division {Xl , X2, X3 }
of v (N ) with (Cn , (C~) . The impli cation (B I ) =} (B 2 ) is also necessar y for
the existe nce of some X E jRn with (3.27), (CN ) and (C s) for all S ~ N . For ,
if such an X E jRn is given , then , for every collect ion l3 ~ 2N such that there
exist weights IS 2:: 0 for S E l3 with (Bd , it follows that
n n
v (N ) = I >j = 2) L IS )Xj = L I S L Xj ::; L ISV (S ) .
j =l j= l S E B SE B j ES SEB
.i E S
3.4 An Emission Reduction Model 135
z(S) + L Xj = v(S)
jES
for S ~ N , S i= 0.
Then one has to maximize
L o z(S) + L Xj
s c r jEN
S #0
subject to (* * *), (3.27) and (6 s ) for all S ~ N , S i= 0. Let us dem onst rat e
this by an example: As system (3.26) we consider
v(S) - Xl - X2 -X3
z(Sf) 0.2 1 0 0
z(Sr ) 0.2 0 1 0
z(sf) 0.2 0 0 1
z ( S~ ) 0.2 .. . 1 1 0
z ( S~ ) 0.3076923 1 0 1
z(SD 0.2 .. . 0 1 1
z(N ) 0.2608696 1 1 1
3
I: Xi 0 -1 - 1 - 1
i =l
136 3 Controllability and Optimizati on
v (S ) - z (S i) - z(SJ) -z (N )
Xl 0.2 1 0 0
z(Sr ) 0.7. .. 1 - 1 0
z (S r ) 0.1613526 o 1 -1
X2 0.02 . . . -1 1 0
z (Si ) 0.0690449 - 1 0 - 1
z( SD 0.161 3526 1 0 -1
X3 0.0386474 o -1 1
3
I: X i 0.2608696 o o 1
i= l
L
m i-
(3.41 )
3.5 A Dynamic al Method for Finding a Nash Equilibrium 137
n
L: m i
For every player Pi we define a cost function i : lRi = l -7 lR by
L: rn ,
Instead of finding a solut ion U E lR+ 1 of (3.41) which sat isfies (3.40) the
players now try to find a Nash equilibrium, i.e., to find vectors uT E lR m i with
1n i
m ,
For every i E {1, . .. , n} t here exist numbers '\ > 0 and Aik 2: 0 for k
1, . .. , mi such that
and
AikuTk = 0 for k = 1, .. . , mi .
If every 'Pi = 'Pi (Ul, . . . , Un), i = 1, . .. , n is convex, then the multiplier rule is
also sufficient for a Nash equilibrium.
138 3 Controllability and Optimizati on
= L (- Ai + Aik)(uik - U:k)
k=l
m i. rn , m i.
This implies that (ui , .. . , u~) with (3.42) for i = 1, , n is a Nash equilib-
rium, if it satisfies the mu ltiplier rul e. Now let (ui , , u~) satisfy (3.42) for
all i = 1, . . . , n and be a Nash equilibrium, hence sat isfy the mu ltiplier ru le.
Let , for som e i E {I , . . . , n} ,
m;
for all k = 1, . .. , mi .
(3.45)
L U:k = c; (3.46)
k=l
The two necessary condit ions (3.45) and (3.47 ) for a Nash equilibrium give
rise to an iter ative procedure for finding it . By this procedure a sequence
(U1 (t) , . . . , un(t)) tENo with
L Uik(t) < c;
m i
(3.49)
k=l
and put
Ail = . { -uid
min
t) I k
hi k( t ) E
K}
il , 1
if K i 1 -L
/
0
(3.53)
{ +00 , else .
Then it follows that Ail > 0 and
Uik(t + 1) = Uik(t) + Aihik(t ) 2 0
(3.54)
for all k = 1, . . . , m ; and all Ai E (0, Aid .
140 3 Cont rolla bility and Optimization
If we put
m j
, if L hik(t) > 0
k= l
, else ,
mi rrl, i
L Uik(t) = C; . (3.56)
k=l
(3.58)
< L Uik(t) = C;
k=l
for all A > 0 .
If we define Ail by (3.53) with K il given by (3.52), t hen it follows t hat Ail >0
and (3.54) is sat isfied.
In both cases (3.49) and (3.56) it is t rue t hat
mi
Lhik(t) 'PiU;k (Ul (t ), .. . , un(t )) < 0,
k=l
3.6 Evolution Matrix Games 141
if the set K; given by (3.50) and (3.57) , respect ively, are non- empty.
This implies that the vector hi(t) defined by (3.51) and (3.58), respectively,
determines a feasible descent dir ection. Therefore we put A: = min(Ail ' Ai2)
in the case (3.49) and A:
= Ail in the case (3.56) , det ermine .xi E [0, A:J such
that
and put
A -- (a1.J.) t,. ] .= I , . . . ,n
In words this mean s that a declin ation from u* does not lead to a higher
payoff.
Definition 3.2. A Na sh equilibrium u* E Llis called evoluti onary stable, if
UA U*T = u*AU*T f or some u E Ll with u =I- u* im plies that uAuT < u *AuT .
In words this mean s that, if a cha nge from u* to u lead s to t he sam e payoff,
u cannot be a Nash equilibr ium.
Let us demonstrate these definitions by an exa mple. We consider a population
with two st rategies Ir and 12 . In dividuals t hat choose Ir are called pigeons
a nd those who choose 12 are called hawks. If a pigeon meet s a pigeon they
men ace each other without seriously fighting until one of t hem gives in . If a
pigeon meets a hawk , it runs away and is not hur t. If two hawks meet each
other, they fight until one of them is seriously hurt and has to give up or is
dead . Let us ass ume that in each case the winner is given V > points and
the loser in a fight of hawks is given -D points where D > 0. This leads to
the payoff matrix
A= (y V )
V; D .
On e ca n show that t he pure popul ation state e2 = (0,1) where all individuals
behave like hawks is evolutiona ry stable, if V 2 D (Ex ercise). If V < D , then
t he pure population state e2 = (0,1) is not even a Nash equilibrium. On the
contrary we have
But also the pure population state el = (1,0) is not a Nas h equilibrium.
In t his case we have
3.6 Evolution Matrix Games 143
n
uAe[ = L Ujajk <
j=1
This implies
n n n
ekAuT - uAuT = Lakiu i - L L ajiUjU;.
i= 1 j=1 i = 1
n n (3.61)
= L L(aki - aji)UjUi = L L(aki - aji)UjUi > 0
j=1 i= 1 Uj >0 ii'k
where
E(u , v) = uAv T for any u, v E ,1 .
From this we obtain the equivalence
E( WE: 'WE:) < E(u*, wE:) {::} E(u ,wE:) < E(u*,wE:) . (3.62)
Now there exists some IOu > 0, IOu ::; 1 such that
This impli es
2) Assume that E( u, u*) = E(u* , u*) , u =J u*. Then it follows that E(u , u*) >
E( u, u) which impli es
(3.64)
where
WE; = (1 - c)u* + IOU .
Conversely let u* E L1 be such t hat for every u E L1 with u =J u* there
exist s som e IOu E (0,1 ] such that (3.64) is satisfied . Then it follows from the
equivalence (3.62) that
(3.65)
and in t urn for 10 ----t t ha t
E( u* ,u*) 2:: E(u ,u* ) .
(1- c)E(u* ,u*) + cE(u* ,u) > (1- c)E (u*, u* ) +cE (u,u )
which implies E(u ,u) < E(u* ,u) .
3.6 Evolution Matrix Games 145
and
that
whi ch impli es
UAU*T = u* AU*T for all u E ,1
This shows that u* E ,1 is the only evoluti ona ry st able st ate. Let us define,
for every u E ,1 , a support set by
5 (u) = {i I ii ; > a} .
which impli es
and in turn
uAuT < u" AuT for all u E ,1 with u -:f- u* and 5(u) <:: 5(u*) ,
If
Ui :::: u; for all i = 1, . . . ,n ,
t hen it follows from
n n
L Ui = L U; = 1
i= l i=l
and put
v = u * + '\(u - u*) ,
Since C is compact and Cv, v E C, can be chosen continuously, t here exist s
som e E > with E = min e; and therefore
v EC
If we define
c;* =- E- -
min
v EC
Ilv- u* 112 '
Conversely let u * E ,1 and s" > 0 be given such that (3.68) is satisfi ed .
If we then t ake any u E ,1 with u =I- u" and define, for c: E (0,1],
and shows that (3.64) is satisfied and in turn that u* is evolutionary st able.
Result: u * E ,1 is evolut iona ry st able, if and only if there exist s some s" > 0
such that (3.68) is satisfied.
The condit ion (3.68) says that an evolut iona ry stable st ate is locally the only
evolut ionary st abl e state.
if and only if
T T
ei Au* = u* Au* for all i E S(u*) . (3.71 )
Sinc e in S ection 3.6.1 we have shown that t his condit ion is necessary for
u * ELl to be evolut ionary stable, it follows that u* E ,1 is a fixed point of fA ,
if u* is evolut ionary stable. This even hold s true, if u* is a Nash equilibrium ,
sin ce the condition (3.71) is also necessary for u* bein g a Nash equilibrium .
This gives rise to the question under which condit ion a fixed point of fA is a
Nash equilibrium. A first answer to t his question is
Lemma 3.2. If u* E ,1 is a fixed point of fA and
o
A second answer to the above question is
Lemma 3 .3. If u* E ,1 is an attmctive fixed point (i. e. a fixed point which is
an aitra ctor) , then u* E ,1 is a N ash equilibrium .
Proof. If u* satisfies (3.72), the asse rt ion follows from Lemma 3.1.
If S( u *) =1= {1, . .. , n}, then it follows that (3.71 ) is satisfied . If we show that
(3.73)
Since g(u) = ek A uT - uAu T is cont inuous, there is some Cl > 0 such that
(3.74)
This impli es for every v E Ll with Ilv - u* 112 < C t he existe nce of some T o E N
such that
lim Vk(t)
t-s- cx:
= u k = 0 , since k E S (u *) ,
Further we define
E*
G = {u E L\ I IUk - 11< -}
n
.
Then G ~ L\ is op en in L\ , ek E L\ and for every U = (Ul l " " un) E G it
follows that
n *
LUi = I -Uk < ~
n
i = 1
i :;i: k
which implies
E*
o:: : Ui < -n for all i E {I, . . . , n} , i =1= k ,
hence
E* *
Ilu - ekll z< yTi <E .
T herefore G ~ U. Further it follows for every U E G that
Thus all the assumptions of Th eorem 1.3 are sat isfied and henc e {ed is
asymptotically stable.
In S ection 3.4.1 we have conside red an n-person goa l-cost-game that can be
gen eralized as follows: Given n players who persue n goals whi ch are given by
an n-vector
In order to achieve these goals every player has to spend a certain amount of
money, say Xi 2: a for the i - th player. Ev ery player P i , i = 1, . .. , n , ca n be
assigned a goal valu e Ii whi ch dep ends on the cost values of all players and
can be described as a fun ction Ii : lR n ----+ lR for i = 1, .. . , n.
The requirement that all players reach their goal is assumed to be given by a
system of inequalities of the form
(3.77)
wh ere
Xi 2: a for i = 1, .. . , n . (3.78)
Ev ery player is, of cour se , interested in minimizing his own cost subject to
(3.77), (3.81) . This, however , is in general simultaneously impossible. There-
fore we assume in a first st ep that the players coope rate and minimize
n
s(X) = L:>i (3.79)
i= l
Let us assume that x E jRn is a solut ion of this problem . If we then choose,
for any i E {I , . . . , n} , some Xi :::: such that
it follows that
n n
L Xj ::; L Xj + Xi
j=l i = 1
i::p i
Now we go one st ep further and define a coope ra t ive n -person gam e in the
following way: Let N = {I , ... , n}. Then , for every non- empty subset S of N ,
we define
f s( x) = L fi(X) , X E jRn , and os = Lbi
iES iES
The question now aris es under which condit ions the grand coa lit ion N is
st abl e which means that , if the players decide for a gra nd coalition there is
no incentive for them to declin e from t his decision. This is cert ainly the case,
if there is a divis ion {X1 , . . . ,X n } of v(N) , i.e.,
and n
su ch that
2:: Xi :::: v (S ) for all non-empty S <;;:; N . (3.83)
iES
If this condit ion is sat isfied, the players have to spend at least as much as
they have to spend in the gra nd coa lit ion , if they choos e anot her one.
Theorem 3.7. Th ere exists a vector X E jRn with (3.81), (3.82) and (3.83),
if and only if fo r every collection B <;;:; 2N such that fo r every S E B th ere
exists a weight "is :::: a with
it is tru e that
v (N ) :::: 2:: "isv (S ) . (3.85)
SE !3
i E S
= 2:: Xi = v(N ) .
iEN
o
As a gen er alization of Lemma 3.1 we ca n prove
Lemma 3.4. Let us assume that , for every i E {I , . .. , n }, for every finite
sequen ce of vect ors Xl , . . . , x m E lR. n and numb ers Al ~ 0, ... , Am ~ 0 it is
tru e that
Xi ~ 0 f or i = 1, ... , n .
Th en fo r every collection E c:;; 2JV such that for every S EE th ere exis ts a
weight 'Ys ~ 0 with (3.84) it is true that (3.85) is satisfied.
v (S ) = X1 (S ) + ... + xn (S )
wh ere
Xi (S) ~ 0 , i = 1, . .. , n ,
f s(x(S)) ~ os .
Then
n
L 'Ysv (S ) = L 'Ys L Xj(S)
SE 6 SE 6 j=l
wh ere
Xj = L 'YSXj (S ) for j = 1, . .. , n .
SE 6
3.8 A Co ope ra t ive Treatmen t of an n-Per son Cost-Game 155
nVi
n n
V = where v; c ITVJ
t -
for i = 1, .. . , n .
i= 1 j=1
n
Further every player Pi is ass igned a cost fun ction 'Pi U, --+ IR+ which IT
j=1
he wants t o minimi ze on V . T his, however, is in general impossibl e simulta-
neously. Therefore the player s could minimize in
156 3 Controllability and Optim ization
If U E U is such that
t hen it is eas y to see that ii is a so called P ar eto optimum, i.e., if there is any
U E U su ch that
'Pi (u) :S 'Pi (u) for all i = 1, .. . , n ,
t hen it necessarily follows that
Then
n Vi .
n n
U = {u E lR~ IL CijUj 2: b, for all i = 1, . .. , n } =
j = l i= l
Then it follows t ha t
Us ~ U Vi .
iES
Let us assume that U is non- emp ty. Then every Us is non-emp ty and , since
n
cp (u ) = I: Ui 2: 0 for all U E Us ,
i= l
The question now arises under which condit ions t he grand coalit ion N is
stable which means that , if the players decide for the gra nd coa lit ion, there is
no incentive for them to decline from this decision .
This is certainly the case , if there is a division {Xl , . . . ,xn } of v (N ), i.e.,
Xi 2: 0 for i = 1, . .. , n (3.86)
and
n
I:.Ti= v(N ) (3.87)
i=l
su ch that
I: Xi :::; v(S) for all non-emp ty S ~ N . (3.88)
iES
Every such divi sion guarantees every player P i a cost Xi :::; v({i}) such that
for every coa lit ion S ~ N , S -=I- 0 t he joint cost L Xi is at most as high as v(S).
i ES
158 3 Cont rolla bility and Optimization
The proof of the impli cation ((3.89) =? (3.90)) =? (3.86) , (3.87) , (3.88) is the
same as that of Th eorem 3.5. The pro of of t he impli cation (3.86) , (3.87) , (3.88)
=? ((3.89) =? (3.90)) has been given in Section 3.4.5. In order to apply this
theor em to the cooperat ive n-person ga me defined in Section 3.8.2 we make
the following assumptions:
1) For every non- empty set S C;;;; N let ve ~ 0 be a weight such that (3.89)
is satisfied . Then for every Us E Us it follows that
L 'YsUs E UN .
SE 2 N \ {0}
2) For every non- empty set S C;;;; N t here is some Us E Us with cp (us ) = v(S).
n
L: rn ,
3) For every i E N and every finite sequence u 1 , . . , u m E jRi=l and num-
bers Al ~ 0, . .. , Am ~ 0 it is true that
Proof. Let, for every non-empty set S C;;;; N , a weight "ts ~ 0 be given such
that (3.89) hold s true. Then it follows with B = 2N \ {0} t hat
L L ~ (L ~
S E13
'Ysv (S) =
SE 13
'Yscp (us ) cP
SE 13
'---v---'
'YSUS ) v(N ) , q.e.d. .
EUN
o
3.8 A Coop erative Treatment of an n-Person Cost-Game 159
Lemma 3.5. If
Cii > 0 for i = 1, . .. , n
and
Cij ~ 0 for i , j = 1, . . . , n , i -I- j ,
(which im plies that U is non- empty), then assumption 1) is also satisfied.
Proof Let H = 2 N \ {0} and for every S E H let t here be given a weight
'YS~ 0 such that
n
L 'YS = 1 for i = 1, . . . , n .
SE B
i E S
t
j= l
Cj (S ) ( L 'YSUS )
SE13 i
= L 'ts ( t Cj (S )(US )j)
SE 13 j=l
~ SE13
L 'Ys b(S ) = b(N) ,
henc e
which impli es
Us = nVi
iES
and put
v(5) = inf{ cp(u) I u E Us}
where again
n
cp(u) = L cpi (U) for U E IT U, .
iEN j= 1
es = v(5) - -151
1 'L..-
" v({ t. } ) C~ 0) .
iES
If we define
1 .
Xi = - (v( {t}) + cN) for i = 1, . . . ,n ,
n
then it follows that
Xi 2: 0 for i = 1, . . . , n
and
n 1 n 1 n
L Xi = - L(v({i}) +cN) = - L v({i }) + CN = v(N) ,
i=1
n i= 1 n i= 1
Assumption:
CN - 1 {cs +
-:S (-1 L1
- -)v({ i})} for all non-empty set s 5 ~ N .
n 151 iES 151 n
(3.91)
3.8 A Cooperative Treatment of an n-Person Cost-Game 161
L Xi = L.!.(V({i}) + EN)
iES iES n
1" . 1" . 1" .
::; ~ ~ v ( { ~ }) + lOS + 1ST ~ v ({ ~ } ) -~ ~ v({~})
, v
~
v(S)
= v(S ) ,
Result: If the condit ion (3.91) is satisfied , t hen the grand coalition is sta-
ble .
Us = U Vi .
iES
Then it follows that , for every non- empty set S ~ N,
If we define
Xi = .!.v(N) for i = 1, ... ,n ,
n
then (3.86) and (3.87) ar e satisfied and for every non-empty set S ~ N we
obtain
Then we put
where
'Ps(U) = L 'Pi(U) , U E Us .
iES
Let us assume t hat, for every non- empty set S <:;; N, t here exists a u(S) E
Us such t hat 'Ps(u(S)) = v(S).
Since
Us <:;; Vi = U{i } for every i E S ,
it follows t hat
v( {i}) :s: 'Pi (U(S)) for all i E S .
T his implies
L V({ i }) :S: 'Ps(u (S)) = v(S) .
iES
If
L V({i }) = v(N ), (3.92)
i EN
t hen (v( {I}) , ... , v( {n}))T satisfies (3.86), (3.87), (3.88). Converse ly, if this
is the case, t hen (3.92) must hold true.
R esult: Under the above ass umption t he condition (3.92) is necessary and
sufficient for (v( {I}), ... , v( {n})f to satisfies (3.86), (3.87), (3.88) .
If (3.92) is satis fied, t hen it is easy to see that v({ l}) , . . . ,v({ n } ) is t he
only division of v(N ) which satisfies (3.88) .
We consider t he non-cooperat ive game in Section 3.8.1 wit hou t ass uming t hat
n Vi wit h
n n
t he set U <:;; TI U, which restricts t he strategies is of t he form U =
i=l i =l
n
Vi <:;; TI Uj , for i = l , . . . ,n.
j=l
We have seen that t he minimization of
n
'P(u) = L 'Pi(U) for U E U
i= l
it follows that
rpi(U) =rpi (U) for alli =l , ... , n . (3.94)
By cont raposit ion this is equivalent to the following statement: If for U E U
there exist s io E {I , .. . , n} with rpi o (u) < rpio ( u), then there is some i 1 E
{I, . . . , n} with rpi t (u) > rpio (u). T his mean s that there is no U E U for which
a player improves his cost valu e without t he cost valu e of at least on e other
player det eriorating.
In this sens e a P ar eto opt imum can be considered as a coop erative solution
of the gam e. A sufficient condition for some U E U to be a P areto optimum is
given in
Theorem 3.10. Let 11 E U be such that there exist numbers Yi > a for i =
1, .. . , n with
n n
LYirpi(U) :::; LYirpi(U) for all U E U . (3.95)
i= l i= l
Then U is a Pareto optimum.
Proof Let U E U be given such that (3.93) holds true. Then it follows that
n
LYi(rpi(U) - rp;(u )) 2: a .
;.= 1
hence
n
L Yi ( rpi (u) - rpi (u)) = a,
i= l
which implies, to gether with (3.93), that (3.94) must hold true.
(3.96)
Theorem 3.12. Let u E U be such that there exists a vector y E JR.+. with
y =I- en such (3.96) holds true. Then {j, is a weak Pareto optimum.
o
A
Appendix
In Section 3.4.3 and 3.4.4 we have investigat ed the core of a special coop era-
tive n-person game and have given necessary and sufficient condit ions for its
non- emptiness. Here we consider a general cooperat ive n-person ga me repre-
sented by a fun ction v ; 2N --+ IR where N = {I , . . . , n }, n:::: 2, with v(0) = o.
The core C(v) of such a game is given by all vectors x E IRn with
L .Xi = v (N ) (A.l)
iEN
and
L Xi :::: v (S ) for all non-empty S ~ N . (A.2)
iES
In [3] there is given a necessar y and sufficient condit ion for t he core C(v) to be
non-empty (see Chapter II, Theorems 8.3 and 8.4) which can be formul ated
as follows;
Theorem A .I: There exists a vector x E IRn with (A.l) and (A.2), if and
only if for every collect ion H ~ 2N \ { 0} and every set of weights "Is :::: 0,
S E H, with
n
L "Is = 1 for i = 1, . . . , n (A.3)
SE 6
j, E S
it follows that
L "Isv (S ) ::; v (N ) . (A .4)
SE 6
168 Appendix
P roof
1) Let x E IRn be given such that (A.I ) and (A.2) are satisfied. Let further
B ~ 2 N \ {0} and {Is :::: 0 I S E B} be given such that (A.3) holds true.
Then it follows t ha t
L "Isv (S)
SE 2 N \ { 0 }
sub ject to
"Is :::: 0 for all S E 2N \ {0} (A.5)
and
"Is =1 for i =I , .. . , n . (A.6)
" E 2N \ {0 j
i E S
Obv iously t here exist vectors X E IRn such t ha t (A.2) is satisfied and for
every such vector we have t hat
L X i :::: v(N ) .
iEN
min{L xi IX E IR
n
satisfies (A.2)}:::: v (N ) .
iEN
n
= min{L Xi IX E IR satisfies (A.2) } :::: v( N ) .
iEN
Appendix 169
max{ L "Ysv(S ) I ("(S )SE2 N \{0} sat isfies (A. 5) and (A.6)} < v (N )
SE2N \ {0}
The dual problem can be used in ord er to find a vector X E ]Rn with (A.I) ,
(A .2), if such one exists. Let us demonstrat e this for t he case n = 3, v ( {1}) =
v ({ 2} ) = v ({3 } ) = 0, v ({ I, 2} ) > 0, v( { I,3 } ) > 0, v( {2,3 } ) > 0 and v (N ) > 0,
N = {I , 2, 3}. In this case t he core C (v ) consists of all vectors X E ]R3 such
that
Xl + X2 + X3 = v (N ) ,
Xl + X2 2 v ({1 , 2}) ,
(A.7)
Xl + X3 2 v ({1,3 }),
X2 + X3 2 v ({2 ,3 }) ,
Xl 2 0 , X2 2 0 , X3 2 0 .
The du al problem consists of maximi zing
L = "Y{ 1,2} v ( {I , 2}) + "Y{1 ,3} v( {I , 3}) + "Y{2,3}v ( {2, 3}) + "YNv (N )
subjec t to
"Y{1,2} + "Y{1,3} + "YN ::; 1 ,
"Y{ 1,2} + "Y{2,3} + "YN ::; 1 ,
"Y{ 1,3} + "Y{2,3} + "YN ::; 1 ,
"Y{ 1,2} 2 0 , "Y{1,3} 2 0 , "Y{2 ,3} 2 0 , "YN 2 0 .
In ord er to solve the dual problem with the aid of the simplex method we
int roduce slack vari ables
/'N 1 1 1 a 1
Z2 a a -1 IT] -1
Z3 a -1 a 1 -1
2: v (N ) v(N ) - v ( {I , 2}) v (N ) - v( {I, 3}) -v( {2, 3}) v (N )
/'N 1 1 1 a 1
/'{2 ,3 } a a -1 1 -1
Z3 a -1 III -1 a
v(N ) - v(v(N ) v(N ) - v( { I,3 }) v({ 2 3}) v(N )
2: {l , 2}) - v({2, 3}) , - v({2, 3})
/'N 1 2 -1 1 1
/'{2,3 } a -1 1 a -1
/,{l,3 } a -1 1 -1 a
2v( N) - v({I, 2})- v({I , 3})+ v(N) - v(N )-
2: v(N ) v({ I,3 }) - v({2,3 }) v( {2,3 }) - v(N ) v( { I,3 }) v( {2, 3})
Appendix 171
satisfy (A.7) .
Appendix 173
units of the k-th resource. Using all of their resour ces, the members of S can
produce vectors (Xl , XZ , .. . , x p ) of goods whi ch sat isfy
p
L akj Xj :::: bk(S) for k = 1, . .. ,m , (A.8)
j=l
L Cj Xj
j=l
If we define
p
L "fsbk( S ) = L L "fsbk
SE 13 SE 13 iES
= L{ L "fs }bk
iEN S E B
(A.9)
i E S
= Lbk
iEN
Now let Xl (S) , . . . , xp(S) be such that (A .8) is sat isfied and
p
v (S ) = L CjXj(S ) .
j=l
Then
p
t
j=1
akj (:L 'YSXj(S ))
(t
SE I3
: ; :L 'YS bk(S)
SE I3
which implies
p
:L cjij < v (N )
j=1
which impli es
p
In order to find points in the core we consider for every S C;;; N , S =J 0, the
p
du al of the problem of maximizing L: CjXj subject t o (A.8) which consist s of
j=1
min imizing
m
:L bk(S) Yk
k=l
subject to
m
:L akjYk 2: Cj for j = 1, . . . , p ,
k=1
Yl 2: 0, . . . , Ym 2: 0 .
176 Appendix
v(N) = L bk(N)Yk(N)
k=l
v (S ) :::; L bk(S)Yk(N) .
k=l
Now let us define, for every i = 1, . . . , n,
m
u.; = L b~Yk(N) .
k=l
T hen it follows, for every S ~ N, S i- 0,
m
L Ui = LL b~ Yk ( N)
iES iES k=l
m
= L (L bic)Yk(N)
k=l iES
m
= L bk(S)Yk(N)
k=l
and therefore
L Ui = v (N )
iEN
and
L Ui :::: v(S) for every S non-empty ~ N .
iES
Thus (Ul, . . . , un) is a point in the core.
Appendix 177
su ch that
'P~ (u f (u - fl) < for all i = 1, ... , n (A.ll)
P roof We ass ume that there exists some u E U such t hat (A. 9) is sa t isfied .
If we define , for every A E (0,1 ], u,\ = fj, + A(U - u), t hen it follows that
Further we have
for all i = 1, . . . , n .
Therefore for every i = 1, ... , n t here exist s some Ai E (0, 1] such that
whi ch cont radicts the ass umpt ion t ha t u is a weak P areto opt imum .
178 Append ix
If all payoff fun ctions 'Pi ar e convex and for some given u E U there is no
u E U with (A.9) , then u is a weak Pareto optimum. This follows immedi ately
from
'Pi (u) - 'Pi (u) ~ 'P~ (u)T(u - u) for all u E U and all i = 1, . . . , n .
wher e
(
'P~ (U)TU)
p ' (U) (u) = : for all u E U .
'P~ ( u )T u
Since P'( U)(U) is convex, (A.IO) implies t he existe nce of some y E JR.+. with
y =f. en su ch that
r",
yTp'(U)(U) ~ yTp'(u)(u) for all u E U (A.13)
where
Conversely, the existe nce of some y E JR.'-t with y =f. en with (A.ll) implies
that there is no u E U with (A.9) .
o
Appendix 179
A.4 Duality
We consider the sam e non- cooperative n-per son game as in Section A .3 and
define
<Pl (U))
<I>(u) = : for u E U .
(
<Pn (u )
Then u E U is a Pareto optimum, if and only if
(<I>(u) - lR~) n <I>(U) = {<I>(u)} . (A.14)
Let us define
D = lRn \ (<I>(U ) + ( lR~ \ {0})) .
Then it follows that
(<I>(u) +(lR~ \ {8 n } )) n D= 0
whi ch is equivalent to
Bibliographical Remarks
The definition of t ime discrete aut onomous dyn ami cal syste ms given in Section
1.1.1 is a special case of the abst rac t definition of dyn amic al syste ms whi ch
goes back to G. D. Birkhoff [2] and can also be found in the essay " What is a
Dyn amic al System ?" by G. R . Sell in [8]. In this essay also the time discret e
case is discussed.
The localization of limit set s with t he aid of Lyapunov functions in Section
1.1. 2 has been first repr esented by J. P. La Salle in [8] and ca n also be found
in [13] and [20].
The st ability results given in Section 1.1.3 generalize a standa rd result on the
st ability of fixed points to be found in [8], [13], [18], [20] (see Theorem 1.3) .
Theorem 1.5 in Section 1.1.4 coincides with Satz 5.4 in [18], if we choose as
normed linear sp ace the n-space JRn equipped with any norm.
The results on linear syste ms following the Corollary of Theorem 1.6 in Section
1.1. 5 and also those for non-autonomous syste ms in Section 1.2.3 are based
on Section 4.2 in [18] .
The stability results in Section 1.2.2 generalize those of Section 1.1.3 and are
t aken from [15] . Lyapunov's method has also been applied to non-autonomous
systems in [1] and [19] in order to investigat e stability of fixed points. Instead
of one Lyapunov function a sequence of such is used .
Theorem 2.2 a bout null- controllability of linear systems has been taken from
[14]. Proposition 2.3 concern ing Kalman 's condit ion can be found in [20] as
well as Propositions 2.1 and 2.2. Theorem 2.5 which generalizes Theorem
2.1 to non- autonomous syste ms is taken from [15] and further generalized
in Section 2.2.2. The results on stabilizat ion of cont rolled systems in Section
2.2.3 ar e taken from [15].
The dynamical ga mes which are introdu ced in Section 3.1 have also been
investigat ed in [13], however, in a different way.
182
ad missible cont rol fun ctions , 69, 76, 78, differenti al equations , 21, 24, 25, 28, 43
80 duality, 168, 179
artificia l kidney, 43 dyn am ical game , 93
asym ptotically stable, 9-11 , 13, 15-1 9,
21, 24, 29, 36-41, 70-72 , 87, 88, emission reduction , 30, 73, 107, 182
149-151 emission reduction mod el, 55
attract ive, 17, 18, 38, 39, 41, 148 equilibrium solution , 24, 25
attracto r , 9, 10, 12, 36, 37, 49 , 87, 88, evolution matrix, 141
148, 149 evolut ionary stable, 142-145, 147-149,
autonomo us , 2, 32, 70, 181 182
autonomo us system , 1
fixed point, 10, 13, 16, 22-26 , 28-30,
Brouwer's fixed point t heor em , 100 38, 48, 49, 51, 52, 57, 67, 69, 70,
73, 76, 78, 80, 83, 89, 93, 100, 103,
cardinality,S 106, 148-1 50
coalit ion , 117-11 9, 128, 129, 152, 153, fixed point cont ro lla bility, 48, 49, 57, 68
157, 161, 173 fixed point solution , 25, 26
cont rol function , 47, 48, 54, 57, 59, 69, flow, 1, 2
76, 78 , 80-83, 87, 94, 106 Frechet, 70, 72
control fun ctions, 47, 55, 76, 94 Frec het derivati ve, 13, 15, 16
control set, 93 Frechet differen ti ability, 14
controlla bility , 83 Frechet d ifferen ti abl e, 16
contro lla ble set, 49, 84 function , 93, 116
controlled costs , 116, 117
coo pe rative, 117, 128, 157, 158, 167 game , 117, 128, 157, 158, 167, 179
cooperat ive ga me, 157 ga p fun cti on , 120
core, 117, 119, 121, 124, 126, 127, 167, global attractor, 59
169,174,175 globally asy mptotically stable, 21
cost , 116 goa l-cost-game, 136, 151
cost func tion , 95, 96, 99, 104, 137, 155 grand coalition, 117,1 29,1 31,132, 153,
cost-game , 155 158
Vol. 435 : L. Chen. Interest Rate Dynami cs , Derivatives Vol. 457: C. Hsu, Volume and the Nonlinear Dynamics of
Pricing , and Risk Management. XII. 149 pages. 1996. Stock Returns . VIII, 133 pages. 1998.
Vol. 436: M. Klemisch-Ahlert , Bargaining in Economic and Vol. 458 : K. Marti, P. Kall (Eds.), Stochastic Programming
Ethical Environment s. IX, 155 pages. 1996. Method s and Technical Applicati ons. X, 437 pages. 1998.
Vol. 437: C. Jordan, Batching and Scheduling . IX, 178 pages. Vol. 459 : H. K. Ryu, D. J. Slottje, Measuring Trend s in U.S.
1996. Income Inequality . XI, 195 pages. 1998.
Vol. 438: A. Villar, General Equilib rium with Increasing Vol. 460 : B. Fleischmann, J. A. E. E. van Nunen, M. G.
Returns. XIII, 164 pages. 1996. Speranza, P. Stahly, Advances in Distribution Logistic. XI,
Vol. 439 : M. Zenner , Learn ing to Become Rational. VII, 535 pages. 1998.
201 pages . 1996. Vol. 461: U. Schmidt, Axiomatic Utility Theory under Risk.
Vol. 440 : W. Ryll, Litigati on and Settlement in a Game with XV, 201 pages. 1998.
Incomplete Information. VIII, 174 pages . 1996. Vol. 462: L. von Auer , Dynam ic Preferences, Choice
Vol. 441 : H. Dawid, Adaptive Learning by Gen eti c Mechanisms, and Welfare . XII, 226 pages. 1998.
Algorithms . IX, 166 pages.1996. Vol. 463: G. Abraham-Fr ois (Ed.), Non-Linear Dynamics
Vol. 442 : L. Corch6n, Theori es of Imperfe ctly Competitive and Endogenous Cycles. VI, 204 pages. 1998.
Markets. XIII, 163 pages . 1996. Vol. 464: A. Aulin, The Impact of Science on Economic
Vol. 443: G. Lang, On Overlapping Generations Models with Growth and its Cycles. IX, 204 pages. 1998.
Productive Capital. X, 98 pages. 1996. Vol. 465 : T. J. Stewart, R. C. van den Honert (Eds.), Trends
Vol. 444 : S. Jergensen, G. Za ccour (Eds .) , Dyn amic in Multicr iteria Decision Making. X, 448 pages. 1998.
Competitive Analysis in Marketing. X, 285 pages. 1996. Vol. 466 : A. Sadrieh, The Altern ating Doubl e Auction
Vol. 445 : A. H. Christer, S. Osaki, L. C. Thom as (Eds.), Market. VII, 350 pages. 1998.
Stochastic Modellin g in Innovative Manufactoring. X, 36 1 Vol. 467: H. Hennig-Schmidt, Bargaini ng in a Video Ex-
pages. 1997. periment. Determinants of Boundedly Rational Behavior.
Vol. 446 : G. Dhaene, Encompassing. X, 160 pages. 1997. XII, 221 pages. 1999.
Vol. 447: A. Artale, Rings in Auctions. X, 172 pages. 1997. Vol. 468 : A. Ziegler, A Game Theory Analysis of Options .
XIV, 145 pages. 1999.
Vol. 448: G. Fandel, T. Gal (Eds.), Multiple Criteria Decision
Making. XII, 678 pages. 1997. Vol. 469: M. P. Vogel, Environmental Kuznets Curves. XIII,
197 pages . 1999.
Vol. 449 : F. Fang, M. Sanglier (Eds.), Complexity and Self -
Organization in Social and Economic Systems. IX, 317 Vol. 470: M. Ammann , Pricing Derivative Credit Risk. XII,
pages, 1997. 228 pages. 1999.
Vol. 450 : P. M. Pardalo s, D.W. Hearn, W. W. Hager, (Eds.), Vol. 471 : N. H. M. Wilson (Ed.), Computer-Aided Transit
Network Optimi zation. VIII, 485 pages, 1997. Scheduling . XI, 444 pages. 1999.
Vol. 451 : M. Salge, Rational Bubbles. Theoretical Basis, Vol. 472: J .-R . Tyran, Mon ey Illu sion and Strategic
Economic Relevance, and Empirical Evidence with a Special Complementari ty as Causes of Monetar y Non-Neutrality.
Emphasis on the German Stock Market.IX , 265 pages. 1997. X, 228 pages. 1999.
Vol. 452: P. Gritzmann, R. Horst, E. Sachs, R. Tichatschke Vol. 473: S. Helber, Performance Analysis of Flow Lines
(Eds.), Recent Advances in Optimi zation. VIII, 379 pages. with Non-Linear Flow of Material. IX, 280 pages . 1999.
1997. Vol. 474 : U. Schw albe, Th e Core of Ec onomies with
Vol. 453: A. S. Tangian, J. Gruber (Eds.), Constru cting Asymmetric Informatio n. IX, 141 pages. 1999.
Scalar-Valued Objective Functions . VIII, 298 pages. 1997. Vol. 475: L. Kaas, Dynamic Macroeconomics with Imperfect
Vol. 454 : H.-M. Krolz ig, Markov-Switchi ng Vector Auto- Competition . XI, 155 pages. 1999.
regressions. XIV, 358 pages. 1997. Vol. 476: R. Deme l, Fiscal Policy, Publi c Debt and the
Vol. 455: R. Caballero, F. Ruiz, R. E. Steuer (Eds.), Advances Term Structure of Interest Rates. X, 279 pages. 1999.
in Multiple Objective and Goal Programming. VIII, 391 Vol. 477 : M. Thera, R. T ichatschke (Eds .), Ill-p osed
pages . 1997. Variational Problems and Regulari zation Techniques . VIII,
Vol. 456: R. Conte, R. Hegselmann , P. Terna (Eds.), Simu- 274 pages. 1999.
lating Social Phenomena . VIII, 536 pages . 1997. Vol. 478: S. Hartmann , Project Schedulin g under Limited
Resources. XII, 221 pages. 1999.
Vol. 479 : L. v. Thadd en, Money, Inflation, and Capital Vol. 506 : B. P. Kellerhals, Financial Pricing Models in
Formation . IX, 192 pages. 1999. Continuou s Time and Kalman Filtering . XIV, 247 pages.
Vol. 480: M. Grazia Speranza, P. Stahly (Eds.), New Trends 2001.
in Distribution Logistics . X, 336 pages . 1999. Vol. 507: M. Koksalan , S. Zionts, MUltipleCriteria Decision
Vol. 481 : V. H. Ngnyen, J. J. Strodiot, P. Tossings (Eds.). Making in the New Millenium . XII, 481 pages. 2001.
Optimation. IX, 498 pages . 2000. Vol. 508: K. Neumann, C. Schwindt, J. Zimmermann, Project
Vol. 482: W. B. Zhang, A Theory of International Trade . Scheduling with Time Windows and Scarce Resources. XI,
XI, 192 pages. 2000. 335 pages. 2002.
Vol. 483: M. Konigstein, Equity, Efficiency and Evolutionary Vol. 509: D. Hornung , Investment, R&D, and Long-Run
Stabilit y in Bargaining Games with Joint Production . XII, Growth . XVI, 194 pages . 2002.
197 pages . 2000. Vol. 510 : A. S. Tangian, Constructing and Applying
Vol. 484: D. D. Galli, M. Gallegati, A. Kirman, Interactio n Objective Functions. XII, 582 pages. 2002.
and Market Structure . VI, 298 pages . 2000. Vol. 511: M. Kiilpmann, Stock Market Overreaction and
Vol. 485: A. Garnaev, Search Games and Other Application s Fundamental Valuation . IX, 198 pages . 2002.
of Game Theory . VIII, 145 pages . 2000. Vol. 512: W-B. Zhang, An Economic Theory of Cities .XI,
Vol. 486: M. Neugart, Nonlinear Labor Market Dynamic s. 220 pages. 2002.
X, 175 pages . 2000. Vol. 513: K. Marti, Stochastic Optimizat ion Techniqu es.
Vol. 487: Y. Y. Haimes, R. E. Steuer (Eds.), Research and VIII, 364 pages . 2002.
Practice in Multiple Criteria Decision Making . XVII , Vol. 514: S. Wang, Y. Xia, Portfolio and Asset Pricing . XII,
553 pages. 2000. 200 pages. 2002.
Vol. 488 : B. Schmolck, Ommitted Variable Te sts and Vol. 515: G. Heisig , Planning Stability in Material Require-
Dynamic Specification. X, 144 pages . 2000. ments Planning System . XII, 264 pages. 2002.
Vol. 489 : T. Steger, Tran sitional Dynamics and Economic Vol. 516: B. Schmid, Pricing Credit Linked Financial In-
Growth in Developing Countries . VIII, 151 pages . 2000. strument s. X, 246 pages . 2002.
Vol. 490: S. Minner, Strategic Safety Stocks in Supply Vol. 517: H.1. Meinhardt , Cooperative Decision Making in
Chains. XI, 214 pages . 2000. Common Pool Situations . VIII, 205 pages . 2002.
Vol. 491 : M. Ehrgoll, Multicriteria Optimization. VIII, 242 Vol. 518: S. NapeI, Bilateral Bargaining . VIII, 188 pages.
pages . 2000. 2002.
Vol. 492: T. Phan Huy, Constraint Propagation in Flexible Vol. 519: A. Klose, G. Speranza, L. N. Van Wassenhove
Manufactu ring . IX, 258 pages. 2000. (Eds.), Quantitative Approache s to Distribution Logistics
Vol. 493 : J. Zhu, Modular Pricing of Options. X, 170 pages. and Supply Chain Management. XIII, 421 pages . 2002.
2000. Vol. 520: B. Glaser , Efficiency versus Sustainability in
Vol. 494: D. Franzen, Design of Master Agreements for OTC Dynamic Decision Making . IX, 252 pages. 2002.
Derivatives . VIII, 175 pages . 2001. Vol. 521: R. Cowan, N. Jonard (Eds.), Heterogenous Agents,
Vol. 495 : I Konnov, Combined Relaxation Methods for Interaction s and Economic Performance . XIV, 339 pages.
Variational Inequalities . XI, 181 pages. 2001. 2003.
Vol.496: P. Weill, Unemployment in Open Economie s. XII, Vol. 522 : C. Neff , Corporate Finance, Innovation, and
226 pages. 2001. Strateg ic Competition . IX, 218 pages. 2003.
Vol. 497: J. Inkmann , Conditional Moment Estimation of Vol. 523: W.-B. Zhang, A Theory ofinterregional Dynamics.
Nonlinear Equation System s. VIII, 214 pages. 2001. XI, 23 I pages. 2003.
Vol. 498: M. Reutter, A Macroeconomic Model of West Vol. 524: M. Frolich, Programme Evaluation and Treatment
German Unemployment. X, 125 pages. 2001. Choise. VIII, 191 pages. 2003.
Vol. 499: A. Casajus, Focal Points in Framed Games. XI, Vol. 525 :S. SpinIer, Capacity Reserv ation for Capital-
131 pages . 2001. Intensive Technologies. XVI, 139 pages. 2003.
Vol. 500: F. Nardini , Technical Progress and Economic Vol. 526: C. F. Daganzo , A Theory of Supply Chains. VIII,
Growth . XVII, 191 pages . 200 I. 123 pages. 2003.
Vol. 501: M. Fleischmann , Quantitative Models for Reverse Vol. 527: C. E. Metz, Information Dissemination in Currency
Logistic s. XI, 181 pages. 200 I. Crises . XI, 231 pages . 2003 .
Vol. 502: N. Hadjisa vvas, J. E. Martinez-Legaz, J.-P. Penot Vol. 528 : R. Stolletz, Performance Analy sis and Opt i-
(Eds .), Generalized Convexity and Generalized Mono- mization ofinbound Call Centers . X, 219 pages . 2003.
tonicity . IX, 410 pages. 2001. Vol. 529: W. Krabs, S. W. Pickl, Analysis, Controllability
Vol. 503: A. Kirman, J.-B. Zimmermann (Eds.), Economic s and Optimization of Time-Discrete Systems and Dynamic al
with Heterogenous Interacting Agents. VII, 343 pages. 2001. Games. XII, 187 pages . 2003.
Vol. 504: P.-Y.Moix (Ed.),The Measurement of Market Risk. Vol. 530: R. Wapler, Unemployment , Market Structure and
XI, 272 pages. 2001. Growth. XXVII, 207 pages. 2003.