159 78 16MB
English Pages 284 Year 1988
Mathematical Ecology
Mathematical Ecology edited by Peter Allen (Brussels), Werner Ebeling (Berlin), Manfred Peschel (Berlin), Peter Schuster (Vienna), Yuri M. Svirezhev (Moscow) Mathematical Ecology deals with mathematical models of evolution processes, in the biosphere as a unity of growth and structure-building, with spring-up of new species, their interaction and possible extinction, with the impacts of human activities on the environment and the corresponding consequences for the biosphere. The whole field seems to be a certain amalgam of suitable system philosophy, in which real world phenomena are considered through an ecological pair of spectacles with the help of system methodology and mathematics. All publications published herein are of interdisciplinary interest for ecology, biology, economy and technical engineering.
Dynamical Systems and Environmental Models Proceedings of an International Workshop cosponsored by IIASA and the Academy of Sciences of the GDR held on the Wartburg, Eisenach (GDR), March 17—21, 1986
Edited by Hans Günter Bothe Werner Ebeling Alexander B. Kurzhanski Manfred Peschel
Akademie-Verlag Berlin 1987
Editors: Dr. habil. Hans Günter Bothe Akademie der Wissenschaften der D D R Karl-Weierstraß-Institut für Mathematik Prof. Dr. Werner Ebeling Humboldt-Universität zu Berlin Sektion Physik Prof. Dr. Alexander B. Kurzhanski International Institute for Applied Systems Analysis (IIASA) Prof. Dr. Manfred Peschel Akademie der Wissenschaften der D D R Zentrum für wissenschaftlichen Gerätebau Reproduction of the original authors' manuscript.
ISBN 3-05-500334-9 Erschienen im Akademie-Verlag Berlin, DDR-1086 Berlin, Leipziger Straße 3—4 © Akademie-Verlag Berlin 1987 Lizenznummer: 202 • 100/521/87 Printed in the German Democratic Republic Gesamtherstellung: VEB Druckerei „Thomas Müntzer", 5820 Bad Langensalza Einbandgestaltung: Ralf Michaelis LSV 1095 Bestellnummer: 763 719 9 (9044) 03500
Introductory Remarks Advanced attempts on modelling the development of complex systems require to an increasing degree concepts and results from theoretical dynamics. This general fact applies especially to environmental models, and it is widely accepted that each of the both sides - the theoretical research and the work with realistic models - can gain a lot of ideas, fruitful motivations and improvements concerning the methods by knowing about the spirit, the problems and the methods of the other side. Nevertheless, in general there is a serious gap between the world of purely theoretical research and that of applications. This situation is rather stable, and it would not be realistic to expect that it will change drastically in the near future. But it seems to be an important task to look for already existing bridges and for developments which promise to lead to such bridges. This was the general aim of the workshop. So the scientific activities of the participants belong to different disciplines, and accordingly broad is the spectrum of their papers which are presented here. On the one end of this spectrum there are contributions to the mathematical theory of dynamical systems (Section I). They concern concepts and ideas which have proved to be (or promise to become) fruitful in connection with applications. These topics of pure mathematics are followed by the presentation of general mathematical models (in Section II) which are motivated by questions arising in attempts to get an insight into certain evolutions. Section III is devoted to mathematical models for more or less concrete evolution processes in ecology, while in Section IV mathematical methods are applied to describe facts which are known from experience or experiments. Here, in some cases, mathematics proves to be useful not only for a phenomenological description of processes in society and nature, but it helps to discover mechanisms which cause these phenomena and their laws.
5
List of Participants K.F. Albrecht, GOR
M. Kubiiek,
T. Aldenberg, The Netherlands
Z. Kubiikova, Czechoslovakia
E. Amann, Austria
E. Labos, Hungary
A. Arneodo, France
A. Lasota, Poland
Czechoslovakia
Th. Bley, GDR
R.W. Leven,'GDR
H.G. Bothe, GDR
L. Maistrenko, USSR
M. Bröhl-Kerner, FRG
H. Malchow, GDR
B. Bruhn, GDR
S. Markov, Bulgaria
P. Brunovsky, Czechoslovakia
V. Mazenko, USSR
G. Czajkowski, Poland
W. Mende, GOR
W. Ebeling, GDR
A. Molcanov, USSR
P. Erdi, Hungary
3.S. Nicolis, Greece
H.I. Freedman, Canadb
L.F. Olsen, Denmark
R. Funke, GDR
M. Peschel, GDR
K.P. Hadeler, FRG
B. Pompe, GDR
Z. Harnos, Hungary
K.R. Schneider, GDR
M. Heilig, Austria
E.E. Shnol, USSR
H.P. Herzel, GDR
K. Sigmund, IIASA
L. Kalriukstis, IIASA
U. Svedin, Sweden
P. Kindlmanh, Czechoslovakia
W.M. Terhorst, FRG
B.P. Koch, GDR
E. van de Vrie, The Netherlands
Organizing
Committee
F. Auert,
Karl-WeierstraB-Institute for Mathematics
E. Herbst,
IIASA
H. Pierau,
Karl-WeierstraQ-Institute
for Mathematics
D. Ruchhoft,
Karl-WeierstraB-Institute
for Mathematics
6
Contents Part I: Mathematical Theory of Dynamical Systems H.G. BOTHE Mausdorff dimension of attractors: An example
9
P. KINDLMANN K-stability as an ecologically more relevant stability concept
....
14
Stability, periodicity and chaos from the statistical point of view
24
K.R. SCHNEIDER Singularly perturbed autonomous differential systems A.N. SHARKOVSKY, YU.K. MAISTRENKO Difference equations with continuous time as mathematical models of the structure emergencies
32
A; LASOTA
40
E.E. SHNOL Stability of equilibria in critical cases
50
Part II: General Mathematical Models E. AMANN Permanence in population dynamics
58
U. EBELING, A. ENGEL, R. FEISTEL, V.G. MAZENKO Models of evolution processes including age structure
67
F. FELBER, A. HUNDING, H. MALCHOW Pattern formation in an ionic reaction-diffusion system: A contribution to the morphogene prepattern theory of mitosis
76
H. HERZEL, TH. SCHULMEISTER Chaotic dynamics and fluctuations in a biochemical system
85
R.W. LEVEN, B.P. KOCH, G.S. MARKMAN Periodic, quasiperiodic and chaotic motion in a forced predator-prey ecosystem
95
J.S. NICOL IS Chaotic dynamics of logical paradoxes
105
M. PESCHEL, M. VOIGT, W. MENDE Control of growth processes Part III. Mathematical Models for Concrete
114 Processes
A. F. ARGOUL, P. reaction: RICHETTI, A J.C. ROUX for The ARNE0D0, Belousov-Zhabotinskii paradigm studi es of dynamical systems
theoretical
122
P. BRUNOVSKY, T. KMET The nitrogen transformation cycle in water
132
G. CZAJKOVSKI Modelling of polymer growth
139
H.I. FREEDMAN, G.S.K. U0LK0WICZ A mathematical model of group defence in predator-prey systems K.P. HADELER Vector-transmitted
diseases in structured populations
....
149 154
7
Z. KUBÎÎKOVA, M. KUBÎCEK, M. MAREK Nonlinear behaviour in mathematical models of anaerobic digesters
«
162
E. LABOS, E. N0GRA0I Examples of computer-aided exploration and design of dynamical systems in neurosciences: Design of optimal nets
172
S. MARKOV, T. KOSTOVA-VASILEVSKA A dynamical model of synaptic transmission
182
K. SIGMUND Gradients for replicator systems
186
Part IV; Mathematical Description of Environmental Processes T. The ALDENBERG limiting factor concept in relation to stability, sensitivity and bifurcation in plankton models
196
G. BARNA, P. ERDI Effects of structured environment to dynamic .behaviour : Some illustrations
209
TH. BLEY, B. HEINRITZ Modelling and control of yeast growth in biotechnical systems
213
H. BOSSEL A dynamic simulation model of tree development under pollution stress
220
H. BRÜHL-KERNER A biota model to assess the influence of human impacts on the global carbon cycle
230
L. KAIRIUKSTIS An integrative approach to the solution of ecological problems with particular attention to the regional case
240
W. MENDE, K.-F. ALBRECHT Application of the evolon model on evolution and energy growth processes
253
L.F. OLSEN Non-linear dynamics of the epidemics of some childhood deseases in Copenhagen, Denmark
265
E.M. VAN DE VRIE Modelling an estimating transport and fate of heavy metals in water column and sediment layer in some enclosed branches of the sea in the S.W. Netherlands
273
POSTER SESSION T. CZIERZYNSKI Mathematical software developed by the Karl-WeierstraO-Institute of Mathematics
8
282
HAUSDORPP DIMENSION OF ATTRACTORS : AN EXAMPLE H. G. Bothe ")
The aim of this paper is to show by a simple example that the connection between the Ljapunov exponents and the Hausdorff dimension of an attractor is not so close as sometimes assumed. The mathematical background for the facts presented here (see [l]) covers a more general class of attractors (1-dimensional hyperbolic or higher dimensional expanding attractors of a diffeomorphism). Let S 1 be the unit circle which is regarded as the real line IR modulo 1, i.e. S1 is obtained from ® by identifying points whose difference is an integer. So for points t ^ t g C S 1 a sum t^+tg t S 1 is defined, and points t £ S 1 can be multiplied by real numbers. 2 2 By ID we denote the unit disk in the plane IR . The cartesian product V » S 1 x ID2 is a solid torus. For t £ S 1 the disk {tj x D 2 will be denoted by D^. We consider a (not necessarily continuous) embedding f: V —» Int V which has the following properties: (1) The restriction
f^
of
f
to
to a disk disk (i.e. f +
D^ is a linear embedding of D^ into the interior of the which contracts all distances by a factor A(t) > 0 is a similarity mapping). (2) There is a positive 6 1 such that for each t € S the distance between the two disks ^(D^), in D t is at least cf . By th-> *(t) the embedding f defines a (not necessarily continuous) positive function XsS 1 —f IR. If f is continuous, then to apply the mapping fsV—»Int V means to stretch V to a longer solid torus of twice the original length, where during the stretching each disk D^ is contracted to a smaller circular disk of radius ^.(t) (see Pig. 1). The set A «= O *" vi * 0 attracts all orbits (x, f(x), f2(x),...) (x e V): it is the attractor of f. As easily seen the intersection /\ r\ H of A with any disk D t is a Cantor set C + . We are interested in the *) Karl-Weierstrass-Institut ftir Mathematik DDR 1086 Berlin, Mohrenstr. 39
9
Hausdorff dimension dia^C^ of these sets. If these dimensions are independent of t, then the Hausdorff dimension dim^A is dim^C^ + 1. Under our assumptions (1), (2) for each t € S 1 the dimension dimgC^. is already determined by the function X . Some relations between X and dlm^C^. are stated in the following theorem. Theorem 1. (A) If for a positive real number equation X P (t)£(t) + ^ ( t + 1/2) | (t + 1/2) = with
p
p
pA the functional £ 0. The topology in £ is defined by the metric diet(X 1t X 2 ) " 8U eJ A,(t> - Aa|, i.e. we coneider the topology of uniform convergence. Then p^ (which for X e X is uniquely determined by L ) depends continuously on A , i.e. X p. is a continuous function on >C. (By (B) the space X 1 contains all Lipschits continuous functions on S .)
on
Corollary. If t.
A
belongs t o
X ,
then
dlmjjC.|. does not depend
For proofs of these facts see [1]. Now, for a continuous function A in X. , we try to reduce the functional equation (*) to an ordinary equation for p A , i.e. we look for a real function P(p) for which pA is the maximal solution of P(p) » 0. This can be done approximatively as follows: We first approximate \ (with respect to the topology of uniform convergence) by a step function A* which, for some n > 1, is constant on each subarc £(1-1 )2~n, i2" n ) of S 1 (i = 1,2,...,2n). If ^ denotes the value of X* on f(i-1)2"n, i2""n), then each solution fu'-'j^^n of the following 2 n linear equations (**) yields a solution of (*). 1
+
i+2*"1 " f 21 t 21 " S 21-1
(i - 1,2,...,2n-1)
(**)
Indeed the solution of (W) corresponding to is the step function jn on S 1 whose values on the arcs [(i-1)2~ttt 12" w ) are The matrix A on the left hand side of (**) is non negative, and, by the theorem of Perron-Frobenius (see [2], XIII,2), we get a positive solution of (**) if and only if 1 is an eigenvalue of A and no eigenvalue is of modulus greater than 1. Let P., be det(A - E) regarded as a function of p. Since 0< 1 the powers are decreasing functions of p, and, applying the Perron-Probenius theorem once more, we find that (**•) has a positive solution if and only if p « p,„ is the maximal solution of P.»(p) = 0. Since P,*(0) « -1, A. X \ lim ^*(p) = 1 » this solution pA, exists and is positive. Reaee A belongs to £ , and by (C) ¡p^» - px| is small provided max |X*(t) - X(t)1 is small. teS-» A similar approximative determination of dim^C^ point of view (not using (*)) is done in £3]. For
n • 2
from a different
we have p ( P ) - (a*p - o a ; p - 1 ) -
11
In this case we consider the step function A ' M t ) - * ( t + J ) . Then Pr(p> -
- DCA^ - 1) -
and for almost a l l values of
).*»•••»
A'*
which i s defined by
AyAy. we get
p^,. /
I t can be proved that for a function A tS 1 -* IR which i s smooth and d i f f e r s from X*" only near the points t = i/4 ( i • 0,1,2,3) aa indicated in Fig. 2 the difference | p^ - px„| i s small (see [ 1 ] ) . Therefore, i f A'sS1 IR is defined by A ' ( t ) = X(t + the inequality p,„j* p,,. implies p v j p , and we have proved the following X A • A i theorem. Theorem 2« There.is a smooth function \ in and a point t —? 1 ° in S such that f o r the function X ' s S ® which i s defined by X ' ( t ) » A.(t + t 0 ) we have p^, + p^. Remark. By (C) this phenomenon i s stable in the sense that the set of a l l functions \ in jC. for which the assertion of the theorem holds true i s C° open in L .
1 4*0
4*0 Pig. 2 For
tQ
e
S1
let
be
O
the
rotation of
(t,x) = (t + tQ, x)
V given by
( ( t , x ) e s 1 * ©2 - v ) .
I f f « V - + V i s an embedding satisfying ( 1 ) , ( 2 ) and i f the corresponding function, then the mapping
i s an embedding which also s a t i s f i e s ( 1 ) , ( 2 ) . The function belonging to f ' i s given by V ( t ) » X(t + t Q ) . 12
> IR
' «1 "X »S
is
This leads to the following corollary In which 7 " denotes the apace of all C 1 embeddings f:V—*• Int V satisfying (1),(2) with the C° topology. Corollary.
for each
j?"* contains a non empty open subset
t & T * there is an embedding
T * such that
f' » f_2t ' 9 t
e
for
o o which theHausdorff dimension of the corresponding attractor is different from the Hausdorff dimension of the attractor belonging to Remark. Probably
7*
is dense in
f.
T.
The Ljapunov exponents of an attractor A are defined with respect to an f-invariant ergodic probability measure on A . The measure of this kind which is most closely connected with the dynamics on /\ » i.e. with the restriction of f to A , is the so called Bowen-Ruelle measure ¡i which in our case can be characterized by the / a -I * condition that its projection to S is the Lebesgue measure on 8 . The ordinary Ljapunov exponents, i.e. those with respect to , for an attractor A of an embedding fsV—»Int V satisfying (1),(2) are (with multiplicity 1) and /logX(t)dt (with multiplicity 2). log 2 Hence, the Ljapunov exponents of the attractor belonging to an embedding f t ? do not change if we apply (as in the corollary) a rotation to f. This shows that the attractors of the mappings f, f' in the corollary have the same Ljapunov exponents but different Hausdorff dimensions. Besides the geometric Hausdorff dimension considered here another dimension of attractors A which dependes on the measure ju^ on ^ is defined as follows dim^
A formula for
= inf |dimjjT ; P a Borel set in A , y u A ( P ) * 1 ]• .
dim^A
proved in
dim
A
A
Corollary 5.1 implies
- 1 - log 2 //log A(t)dt .
>I
Therefore our corollary to Theorem 2 shows that in many simple cases dim /\ differs from the (geometric) Hausdorff dimension of A. References fl] H.G.Bothex On the Hausdorff dimension of expanding attractors. (Preprint 1986)
[2] F.R.Gantmacher: Matrieenrechnung.
Berlin 1959
[3J M.Schuls: Hausdorff-dimension von Cantormengen mit Anwendungen auf Attraktoren. (Dissertation Berlin 1986) [4] L.-S. Young: Dimension, entropy and Igrapunov exponents. Ergodic Theory and Dynam. Syst. 2 (1982), 109-124
13
K-STABILITY
AS AN E C O L O G I C A L L Y
MORE R E L E V A N T
Pave L K i n d I m a n n
1.
1
STABILITY )
Introduction The term s t a b i l i t y
mathematics. Whereas
is f r e q u e n t l y
in m a t h e m a t i c s
stability systems
concept
commonly
is the L i a p u n o v
u s e d b o t h in e c o l o g y a n d
u s e d in m a t h e m a t i c a l
stability.
the -needs of e c o l o g i s t s .
In t h i s
m o d e l s of
H o w e v e r , it d o e s not c o m p l e t e l y better
stability
concept
In m o s t m a t h e m a t i c a l
stability
concepts
t i m e . In the
field ecology
the c o n t i n u o u s
the e x c e p t i o n of a few o n e s ) is a l m o s t systems This
the v a r i a b l e s vertebrates
is p a r t i c u l a r l y
generations.
in p a r t i c u l a r
intervals
u s u a l l y o n c e a year for e c o l o g i c a l
the
some
motivation
measuring
continuously of v a r i a b l e s
changes
important
Moreover, (circadian,
o n l y , in t e r r e s t r i a l
plants
c o n c e p t s are
H o w e v e r , the e n v i r o n m e n t a l
a n d e v e n the e n d o g e n e o u s
fluctuations
in v a l u e s
more it
average
over
some
realistic approach of a p o i n t .
c o n d i t i o n s are n e v e r
d y n a m i c s of e a c h c o m m u n i t y
of p a r t i c u l a r
of e q u i l i b r i u m
s t u d i e s . One p o s s i b i l i t y
variables.
The
is
this equilibrium
p e r i o d w h i c h is c o n s i d e r e d to be is to c o n s i d e r
an i n t e r v a l
are a b l e to e x i s t
in
constant causes
quantitative
usually causes difficulties
to a p p r o x i m a t e
Some e c o s y s t e m s
and the
application.
In m a t h e m a t i c a l m o d e l s of e c o s y s t e m p o p u l a t i o n d y n a m i c s
determination
with
measure
u s u a l l y s u p p o s e d t h a t u n d e r n o r m a l c o n d i t i o n s the s y s t e m r e m a i n s "equilibrium".
(with
11]. C o n s e q u e n t l y , in many c a s e s stability
It in
the
in o r g a n i s m s
H e n c e , it is o f t e n m e a n i n g f u l to
m o d e l s a n d the c o r r e s p o n d i n g
appropriate
in e c o l o g y
e q u a t i o n s are u s e d .
impracticable.
are s u b j e c t e d to p e r i o d i c
phenomenon
non-overlapping
in nature
of
definition:
models, differential
that the v a r i a b l e s are s u p p o s e d to be c h a n g i n g
discrete
proposed
[4]. Here we s h a l l s t r e s s o n l y
p o i n t s of t h i s d i s c u s s i o n , in o r d e r to e l u c i d a t e
ecological
is
m o d e l s of p o p u l a t i o n d y n a m i c s
A t h o r o u g h d i s c u s s i o n of d i f f e r e n t
diurnal).
fit
definition
species:
was g i v e n by K i n d l m a n n a n d Lep§ of the new
The
ecological
p a p e r , a new m a t h e m a t i c a l
a n d a p p l i e d to s e v e r a l m a t h e m a t i c a l
major
defini-
is o f t e n v a g u e .
of s t a b i l i t y , w h i c h f i t s the d e m a n d s of e c o l o g i s t s one a n d t w o
in
t h e r e e x i s t a lot of r i g i d
of t h i s t e r m in e c o l o g y
t i o n s , the u n d e r s t a n d i n g
means
CONCEPT
in the
" n o r m a l " . The
(range
field
is to t a k e
the
more
of v a l u e s )
instead
only far f r o m the
equili-
1) P a v e l K i n d l m a n n , D e p a r t m e n t of B i o m a t h e m a t i c s , B i o l o g i c a l R e s e a r c h C e n t r e , C z e c h o s l o v a k A c a d e m y of S c i e n c e s , B r a n i S o v s k i 3 1 , 3 7 0 0 5 C e s k 6 Bud£jovice, Czechoslovakia
14
b r i u m . As a n i c e example may s e r v e snow a v a l a n c h e great
species
diversity
tem from time t o t i m e . would d i e
is If
these avalanches
The t y p e of L i a p u n o v s t a b i l i t y It
the e q u i l i b r i u m , about the s i z e interested
assures
commonly u s e d i s a l o c a l
of t h i s
neighbourhood.
great
s y s t e m s we meet f a i r l y
prey-predator
environmental
systems)
this
is
2 . The d e f i n i t i o n Bearing
of
more r e l e v a n t
counterparts.
is
invariant
systems
laboratory
w e l l f o u n d e d . But even
interpretation.
stability
concept
[4].
periodical
set w i l l
t h e n be s t u d i e d .
shall
t o us - i t
cases.
differential
i n some
than i n e q u i l i b r i u m .
or even a c h a o t i c
we
i n many
d e f i n i t i o n c o u l d be s t a t e d f o r t h e i r rather
ecologi-
I n the d e f i n i t i o n
w i l l not be of any i n t e r e s t
invariant
The
behaviour
may be a
perio-
m o t i o n . The s t a b i l i t y
Local s t a b i l i t y
will
be
the
system i s
dis-
s t a b l e . T h i s means t h a t the s y s t e m , a f t e r
p l a c e d by some e x t e r n a l acting
force
t o some p o i n t x < H - G , n e v e r
r e a c h e s the s e t G. The e x i s t e n c e
perturbations
leads e i t h e r
perturbed d i f f e r e n t i a l
to s t o c h a s t i c
or d i f f e r e n c e
equations.
stability
c o n c e p t s of p e r t u r b e d e q u a t i o n s
[2,3])
satisfactory
is
o f them assume t h a t the sense:
that
its
h a v i n g been of
leaves
m o d e l s , or t o some None o f the
f o r the use i n e c o l o g i c a l
e.g.,
applications.
"perturbation function'is
small
norm a p p r o a c h e s z e r o a s the s t a t e of the
in a
is
smaller
All certain
system
some c o n s t a n t
But i n e c o l o g y the norm of the
various
i n mathematics ( s e e ,
s m a l l ) , s o t h a t the norm of the p e r t u r b a t i o n fairly
the
permanently
approaches e q u i l i b r i u m , or that there e x i s t s constant.
(maybe
than
"normal"perturbations
very
this may be
h i g h . T h e r e f o r e , t h e r e s h o u l d be some p r e d e t e r m i n e d c o n s t a n t
s e r v i n g a s an upper bound f o r the norm of
of
re-
p l a c e d by the g l o b a l o n e , i . e . , we d e f i n e a s e t H , w i t h i n w h i c h
s e t H and f i n a l l y
in
K-stability
s e t G under n o r m a l c o n d i t i o n s set
always
in simple
We s h a l l assume t h a t the s y s t e m r e m a i n s
d i c a l , an a l m o s t
act
this
either.
concept
e q u a t i o n s , a s t h e y a r e more a p p r o p r i a t e
Obviously, a similar
within this
which
i n mind the c r i t i c i s m a b o v e , we s h a l l d e f i n e an
use d i f f e r e n c e
of
anything
and
- e . g . , i n the
quite
case one must be c a r e f u l w i t h the
etc.)
concept
(especially
conditions
concept
saying
perturbations
variability
i n the L i a p u n o v s t a b i l i t y
Under c e r t a i n c i r c u m s t a n c e s
and under c o n s t a n t
property
perturbations.
great
changes, b i o l o g i c a l
not i n c o r p o r a t e d
unrealistic.
this
species
I n e c o l o g y , h o w e v e r , we a r e
T h i s does not mean t h a t the L i a p u n o v s t a b i l i t y
cally
the sys-
of some n e i g h b o u r h o o d
s t a b l e , without
i n the c o n s e q u e n c e s of f a i r l y
In biological
this
the
were not t h e r e , many
o n l y the e x i s t e n c e
i n w h i c h the s y s t e m i s
permanently ( c l i m a t i c is
[ 5 ] , where
out.
o f the s y s t e m .
fact
paths
c a u s e d By a v a l a n c h e s w h i c h d i s t u r b
"normal"perturbations.
K,
All 15
the subsets of the set H may be d i v i d e d
into three
categories:
D E F I N I T I O N 1. Let N be the set of n a t u r a l n u m b e r s , R NxR
m - d i m e n s i o n a I E u c l i d e a n vector s p a c e , f u n c t i o n f: m"* ve n u m b e r , G e H e R . We shall denote the set P = / g > g: m * supn#N
y
T h e n we d e f i n e : the set G c H a) K - a t t r a c t i v e
is
in H for the system (1), if for all the s o l u t i o n s
the s y s t e m (1) it holds: 1) for all m c N , e x i s t s an n e N , geP
R
and n C N ,
n » m so that
y m « H and for all g « P
y n c G> 2) if m € N ,
n » m , it holds
y m « G , then for all
y n 6 G-
b) K - t r a n s i e n t for the system ( 1 ) , if for all m « N ,
y^e G and for
g C P there e x i s t s such n e N , n > m so that it is not
yn*G.
c) K - s e n i a t t r a c t i v e
of there
all
in H for the s y s t e m ( 1 ) , if it is neither
K - a t t r a e t i v e , nor K - t r a n s i e n t in H. D E F I N I T I O N 2. The set M c H
is c a l l e d the minimal K - a t t r a c t i v e
set
i n H for the system ( 1 ) , if and only if it is K - a t t r a c t i v e and if for all the K - a t t r a c t i v e sets S C H The d i f f e r e n c e
of the s y s t e m (1) it holds
b e t w e e n this s t a b i l i t y concept and the c o m m o n
is rooted in the fact that the constant K is a priori therefore
defined
are b o u n d e d and p e r m a n e n t l y acting "extreme"- catastrophes
ones
(and
it may be fairly great) and does not d e p e n d on x. This
lity concept d i s t i n g u i s h e s two types of p e r t u r b a t i o n s :
displace
MCG.
stabi-
"normal", which
(performed by the f u n c t i o n g) and
like f i r e , human a c t i v i t i e s e t c . , w h i c h
the system outside the regions of its
may
"normal"motion - outside
the K - a t t r a c t i v e set G. There are s e v e r a l e c o l o g i c a l l y
interesting
q u e s t i o n s , which can be a n s w e r e d only by means of this s t a b i l i t y
concept
[4]. We shall state some simple used in the a p p l i c a t i o n s .
lemmas on K - s t a b i l i t y , which will be
Their simple proofs will be
left to the
reader. LEMMA 1. D e c o m p o s i t i o n of exp(H) into K - a t t r a c t i v e , K - s e m i a t t r a c t i ve and K - t r a n s i e n t sets is a d e c o m p o s i t i o n of e x p ( H ) into pairwise joint
LEMMA 2. Let f: N x H - » G . If G'= { x « R m ; .
3
c H , then G ' i s K - a t t r a c t i v e in H for the system
16
dis-
sets. y«G: (1).
| Ix - y ] I - K }c
L E M M A 3 . Let t h e r e e x i s t an x'fiG, so t h a t h o l d s at a)
least one of the
llf(n',x')|| + K > sup
for s o m e n e N
there
conditions
y e G
lly||,
b) 0 < I I f ( n ' , x * ) | | - K < i n f y , G l | y | | . T h e n G is not K - a t t r a c t i v e LEMMA
4. If t h e r e e x i s t s an x ' « G , so t h a t
||f(n,x*)
a) s u p x i G ^
)
inf
(1). for a n y n € N
it
x.G,
h o l d one a n d o n l y one of the
n€N(llf(n,x)||
n 6 N
(
| | f
(
n
'
x
T h e n G is K - t r a n s i e n t
)
-
M
||x 11) = S < - K < 0
"
l,X,l
For K - s t a b i l i t y t h e r e
conditions
,
= l > K >
(1).
a l s o can be p r o v e d t h e o r e m s
of L i a p u n o v
let for e a c h n ( N ,
it h o l d s f ( n , y ) + g ( n , y ) « H .
for e a c h g e P
Furthemore,
let
some f u n c t i o n V: NxR —* R a n d for a l l n « N , for a l l x « H it m V ( n , x ) Si o a n d V ( n + 1 , f ( n , x ) ) - V ( n , x ) < 0. We s h a l l d e n o t e =
For some
sup
t> 0
x€H>V
L
x«G;
sup
type.
and for
holds
" V(n,x)||.
(2)
let
G'={
=
I I x-y I I < K, n c N ' l ^ " ' ^
x , y e H,
(1).
illustration:
T H E O R E M . Let K > 0 , N c R ^ , let for e a c h y € H
>
in H for the s y s t e m
We s h a l l b r i n g one for
"
holds
- x * | | - K , t h e n G is not K - t r a n s i e n t in H for the s y s t e m
L E M M A 5. Let t h e r e
b
in H for the s y s t e m
G = { x€H>
n
«N:
nCN
v
V(n+1, f(n,x))
- V(n,x)
>
- M - £},
(3)
("'x)'
CM
V n-0: V(n,x) - M + L).
T h e n G is K - a t t r a c t i v e case of a u t o n o m o u s
(5)
in H for the s y s t e m (1). (The s i t u a t i o n
systems
is i l l u s t r a t e d
in Fig.
for
the
1.)
P r o o f : We s h a l l v e r i f y the c o n d i t i o n s of the d e f i n i t i o n 1 a ) . 1) Let Y M € H - G. T h e n for e a c h g C G y ^ C H - G , t h e n it is
a n d for a l l n € N ,
n - M , if
satisfied
17
Fig.
1. C o n s t r u c t i o n of the set G i n the Theorem i n the case of a u t o n o mous systems. F u l l l i n e s : V(x) = c o n s t . , broken l i n e : V(x) = = V ( f ( x ) ) - V(x) = c o n s t . V(n+1, f ( n , y n )
+ 9(n,yn))
« V(n+1, f ( n , y n ) ) (as G'C G). so t h a t 2) Let ycG
Therefore
*
there
exists
£
(6)
an n « N ,
n
- (V(m,y m )
- M -
su
and M + L -
PneNv(n^y) > L-
- G* and from (2) and (3)
all
n - 0,
supniNV(n,y) holds
3.
Application
f(n,y)
V(n+1, f ( n , y )
We s h a l l models",
i.e.,
of
analyze
i.e.,
of
published
functions
f
[6],
[8],
[3],
1. The f u n c t i o n 2.
f * ( 0 ) > 1.
3.
There e x i s t s
L7], f
is
y«G
and
I.e.,
of
the
- V(n,y)
a wide c l a s s
of
models *one-species
R^-* r | i n the system ( 1 ) .
following
set
of
conditions
There e x i s t s
convex
18
for
for
Ma'ny
(see,
[9]):
continuous
and f ( 0 )
= 0.
1
decreasing
an x > 0 such t h a t
1
f(x)
is
increasing
for
xx^. an x^> x^, such t h a t
x > x^.
i
again f ( n , y ) +g(n,y)
t o nne- and t w o - s p e c i e s
where f , g :
satisfy
follows
(7)
€ G. I f
- h + L.
the b e h a v i o u r
e.g.
i*
(2) and as V(n +1 , f ( n , y ) )
+ g(n,y))
the case
'from ( M
- H + L
+ g(n,y)
K-stability
Then
we have
+ g(n,y)) 0
it h o l d s f ( x ) -
In this case any set G is e i t h e r dependence
of w h e t h e r
or w h e t h e r
number
from this
according
c a s e s for g i v e n f a n d K
K - t r a n s i e n t or not K - t r a n s i e n t
it d o e s not c o n t a i n a n u m b e r
it d o e s
(Fig.2):
K .
set
d i t i o n c H is not s a t i s f i e d , t h e n there d o e s not e x i s t K-attractive
set G C H
for
e x i s t s a u n i q u e n u m b e r x ® , sutfh t h a t f ( x 5 )
The
h o l d s in t h i s case as in the p r e v i o u s
i n f
y«H
l y l
=
i n f
y«Glyl
=
*5'
S U p
= f ( x 5 ) , t h e n G is K - a t t r a c t i v e
y6G
l y l
~ *3
a n d
if
inf
x > . A g a i n the
interval
in H , if it is c o n t a i n e d any K - a t t r a c t i v e c) T h e r e 5
exist 6
3
( 0 > x > is the
in H. For a n y o t h e r
substan-
set in H is the
=
inter-
minimal K-attractive
set H t h e r e d o e s not
set
exist
set in H for. (1).
two d i f f e r e n t
n u m b e r s x^ a n d x 6 , s a t i s f y i n g
in t h i s case
is much more
complicated.
one e x a m p l e , u s e f u l for b i o l o g i c a l a p p l i c a t i o n s . n u m b e r , for w h i c h f ( x 7 )
f(x^) - K =
We s h a l l s h o w
Let x 7 be the
= f ( x ^ ) . If x 3 < x 7 , t h e n from L e m m a 2.
t h a t G =
with some constants
>
> 1,
IS"(*)I
[S'(x)]2 i K < oo
(1.3)
X ,M and S(a l _ 1 ,a i ) -
(0,1)
for
i=1,...,q,
(1.4)
Under these conditions it is easy to calculate P g . In fact denoting by S^ the restriction of S to the interval (a i _ 1 ,a i ) we have s"1(o,x) = U C v i ' f d 3
( x ) )
o
(J k
(f^x),^)
where vj/^ - S~1 and the first union is over all Intervals in which S^ is increasing whereas the second is over intervals in which Sj is decreasing. Thus according to (1.2) q P s f(x) l^tolfi+^x)) . (1.5) i=1 25
Using (1.3) i t i s easy to v e r i f y (see [3] ) that f o r every C1 function f « D the logarithmic derivative of Pgf s a t i s f i e s K*go
V
,
for
n > nQ(f)
(1.6)
with some constant E independent on f . 2. Properties of the Frobeniua-Perron operator An operator P: IL11 - > I 1 1 i s called a Markov operator i f i t satisfies the following two conditions Pf
>, 0
| P f | - IfII
for
f » 0,
f « L1,
(2.1)
for
f
f t l
(2.2)
0,
1
.
Conditions (2.1) and (2.2) imply that Hpf 1 4 Ufll for
f « I1.
(2.3)
Using formula (1.1) i t i s easy to show that the Probenius-Perron operator P s i s a Markov operator. The behaviour of the iterates £ J allows to determine many propert i e s of the transformation S such as preservation of measure, ergodlclty, mixing and exactness. Here we make only a few remarks concerning these problems. Let a density f * be given. Define the corresponding measure nig(A) •
£f„.(x)m(dx)
for
A ac> kio £ for every m^- lntegrable function g and the convergence in (2.6) holds almost everywhere. Thus from the statistical properties of S we may derive corollaries concerning the behaviour of individual trajectories. 3. Asymptotical stability Let P be a Markov operator. We say that P is asymptotically stable if there exists a unique density t^ such that 11m jp^f - f#|| - 0
for every
i f D.
(3-1)
From (3.1) it follows that PJ^ - t^ and that is the unique fixed point of P. Thus, In particular, when the Probenius-Perron operator is asymptotically stable, then m^ given by (2.4) is invariant and ergodic . A convenient criterion for the asymptotical stability may be formulated by the use of lower bound functions. A function h « I 1 is called a lower bound function if Pnf »
h + £nf
for f € D
(3.2)
where the remainder £ Q f satisfies |(fnffj -9 0 as n —*ao. a lower bound function h is non-trivial if h ^ O and ||hg >0. We have the following £3} Theorem 3.1. A Markov operator P is asymptotically stable if and only if it has a nontrivial lower bound function. Observe that in applications it is not necessary to verify condition (3.2) for all possible f€ D. Sue to the fact that Markov operators are contractive (Inequality (2.3)) it is sufficient to verify (3.2) for all f belonging to a dense subset of D. Example 3.1. Consider the mapping S: to, 1] -*[0,1] described In the Example 1.1. Prom inequality (1.6) It follows that P£f(y) $
pgf (x) e ^ " yl
for x,y£ [0,1] .
Since E^f is a density there is a point y* to, 1} such that P^f(y) >, 1 and concequently p|f(x) >, e~K
for xt[0,1j ,
n >, n 0 (f) .
The last inequality shows that the constant h = e~K is a nontrivial lower bound function for p_ and that P_ is asymptotically stable.
27
The fact that In Examples 1.1 and 3.1 the transformation S maps the unit Interval £0,1] into itself is not essential. Analogous results may be obtained for expanding transformations on the real line and on manifolds (see [3] ). 4. Asymptotical decomposition Let P: L1(X) I 1 (X) be a given Markov operator. We say that P has an asymptotical decomposition if its iterates can be written in the form P°f(x) = where:
*i ( f ) g «, > < x )
+
f
nf(3c)
f
°r
fiI>1
(4
'1)
r is a fixed Integer, of is the n-th iterate of a permation oc of the sequence of numbers (1,...,r), g^-'-igj, are densities with mutually disjoint supports (gjg^-0 for ifj) and such that Pg
i
" srt(i)
for
1 = 1
»"'' r »
,..., are linear functional s on I 1 , the remainder ¿ Q f satisfies U6nf|( —> 0 a s n ^ « Observe that the summation part in (4.1) which does not exceeds r!. Thus if P has an then for every f € I 1 the sequence {P n f} i.e. (P n f) is a sum of a periodic sequence ges to zero.
is periodic in n with period asymptotical decomposition, is asymptotically periodic, and a sequence which conver-
A necessary and sufficient condition for the existence of an asymptotical decomposition may be formulated by the use of upper bound functions. A function h f L1 is called an upper bound function if P n f ^ h + £nf for f « D (4.3) where the remainder f Q f satisfies H£nf II -5> 0 as n -> eo . Again it is sufficient to verify (4.3) on a dense subset of D. Prom the results of J. Komomik [2 3 it is easy to derive the following Theorem 4.1. A Markov operator P has an asymptotical decomposition if and only if P has an upper bound function. Thus we may say shortly that fot Markov operators boundness implies periodicity. This fact has many interesting applications. In this section we will discuss two of them. Example 4.1. Consider a mapping S: [0,1] —> [0,1] which satisfies all the assumptions described in Example 1.1 except (1.4). In this case the operator P has the form
28
Pgf(x) -
IJ/^lfi^^x))!
(x)
(4.4)
1
1-1
where 1/^(x) denotes the characteristic function of the interval ^ " Si^ai-1'ai^ * I't 0811 1,6 verified L 3] that there exists a constant K, independent on on f, such that for every f t D of bounded variation Var P^f 4 K
for n >, no(f).
Since Pgf(y) i 1 for some yf[0,1] , this implies P°f(x) ^
K
+ 1
for x€[0,1],
n^nQ(f)
and shows that the constant h « K + 1 is an upper function. Thus, according to Theorem 4.1, the operator P„ has an asymptotical decomposition . u This fact was first observed by G.Keller [1J . Example 4«2. Consider the family of transformations S^ : [0,1J ->[0,1] given by the formula SA(x) = Ax(1 - x) with A € [°»4]. ?rom the resultB of M. Misiurewicz C 6 3 it follows that there exists an uncountable set /\ c. [0,4J
such that for every A 6 A
the operator P has an upper bound function and admits an asymptotical s» decomposition. 5. The Influence of noise In this section*X - Rd (d-dimensional Euclidean real space) or X = Td (d-dimensional torus). Consider a dynamical system with random perturbations given by the formula x
n+1
"
S(x
n^
+
In '
n
"
where S: X -> X is a Borel measurable transformation sequence of independent random variables with the same tion function g. We also assume that the initial value vector Independent o n { } .
and { f n } is a density distribux_ o is a random
Denote by f the density of in . It is well known that in the recu n rrence formula fn+1
= Pfn
,
n = 0,1,...
(5.2)
the operator P may be written in the form Pf(x) =
5 f(y)g(x - S(y))dy. X
(5.3)
It is difficult to verify directly that P has an upper bound function. 29
Thus In order to understand the behaviour of ll^f} we will ase another version of Theorem 4.1• Assume X « T d and denote by N the set of nonnegative integers. Consider all possible sequences I^f for f tD. This family will be shortly denoted by D • We say that the family {l^fJjj D is asymptotically uniformly integraand ble if there exist a positive valued function o: (0, w ) —s> (0, Integer valued function n Q : D N such that for every L > 0 ^ ^ f (x)dx Í £ A
whenever
m(A) ^ S(£)
and n >f nQ(f). (5.4)
From the results of J. Komomik £2 J it follows immediately Theorem 5.1. If the family ¿ ^ f } N D is asymptotically uniformly Integrable, then F has an asymptotical decomposition. In order to apply Theorem 5.1 to the operator F given by (5.3) we will use the fact that g is an integrable function. This implies the existence of a function (0, oo ) (0, CO ) such that $g(x)dx $ t A
"
"»(A) Í Sg(E)
Now consider P n f for given f € D and n have Jp^xjdx A
.
(5.5)
Setting f Q _ 1 « P n ~ 1 f we
-
$fn_., 0 for x tX, then F Is asymptotically stable.
30
References [1] Keller, G.,Stochastic stability in some chaotic dynamical systems, Monatsh. Math. 94(1982), 313 - 333. [2l Komornik, j., Asymptotic periodicity of the iterates of weakly constrictive Markov operators,TBhoku Hath. J. (In press). [3] Lasota, A. and Mackey, H. C., Probabilistic Properties of Deterministic systems, Cambridge Univ. Press, Cambridge 1985. [4] Lasota, A. and Mackey, M. C., Statistical periodicity and noise, Physica I) (to be published). [51 Li, T. Y. and Torke, J. A., Period three implie chaos, Amer. Math. Monthly 82(1975), 985-992. [6] MisiurewiCE, M., Absolutely continuous measures for certain maps of an interval, Publ. Math. IHES 53(1981), 17 - 51. [7l Sharkovsky, A.N., Coexistence of cycles of a continuous map of a line into itself, Dkr. Mat. Zh. 16(1964), 61 - 71.
31
SIHOULARLY PERTORBED AOTOHOMOUS DIFPEREHTIAL SYSTEMS Klaus R. Schneider 1 ^ 1. Introduction To motivate the following considerations we recall the famous BelousovZhabotinskii reaction [13, 153* When four or five chemical compounds (for example sodium bromate, malonic acid, sulfuric acid and ferroin) are mixed in the appropriate concentration ranges and at the appropriate temperature, the Belousov - Zhabotinskii system organizes itself into temporal dlssipative structures of macroscopio dimension: synchronous oscillations, I.e. spatially homogeneous time periodic oscillations with the same phase can be observed in a well-stirred reactor. The Belousov - Zhabotinskii reaction has played a stimulating role for the developpment of the theory of dlssipative structures and has caught the attention both of chemical engineers and of mathematicians. ?ield and Noyes Invented a kinetic model which they called the "Oregonator". It bases on five important steps of the underlying FKH-mechanism and reads C3] -
- x + 2h? -
p»-1-
u
' ,
(1.1)
* •
+4 Here we have ^ > [ H Br 02J> \ • TBrl! , z - [Ce J, 0 < £,q,p « 1. The system (1.1) is a special case of the following class of differential systems
jf - f(x,y,c,ot) , t §f - g(x,y,£ ,tx) ,
(1.2)
x e R n , j c e " , 1 hold, then the existence of a transversal homoclinic orbit of the degenerated system (1.4) implies the existence of a transversal homoclinic orbit of the system (1.2) for sufficiently small I . 35
It is well-known (Smale-Blrkhoff Homocllnlc Bieorem see C51) that the existence of a transversal homocllnlc orbit 7- Implies the existence of a hyperbolic invariant Cantor set near y such that the dynamics on J c is topologically conjugate to the shift automorphism on a closed subset of the set of bi-lnfinite sequences on a finite set of symbols (for definitions see [53, [8]). Therefore, the set J Q contains a countable set of closed orbits of arbitrarily long primitive periods, an uncountable set of bounded nonclosed orbits, a dense orbit. In case of existence of hyperbolic invariant sets one expects long chaotic transients before the orbits behave like their a -limit sets« Although, in general, we cant say that J c is an attracting set, there are examples with the property that the existence of J c is an indicator for the existence of a strange attractor for systems which are close to the considered one. In what follows we formulate conditions ensureing the existence of an invariant Cantor set J^ with the properties described above for the system (1.2). Let d(x,£,ec)
f(x,>(x,£,«c),£,