BIOMATH{95, Soa 18 1 Introduction Since the times of Lotka and Volterra, interactions among populations and evolution of ecological systems have been

Similar documents
The American Naturalist, Vol. 149, No. 1. (Jan., 1997), pp

Optimal Foraging and PredatorPrey Dynamics, II

On Evolutionary Stability in Predator-Prey Models with Fast Behavioral Dynamics

2 Ludek Berec Running head: Optimal foraging Send correspondence to: Ludek Berec, Department of Theoretical Biology, Institute of Entomology, Academy

Searching for Food or Hosts: The Influence of Parasitoids Behavior on HostParasitoid Dynamics

Optimal foraging and predator prey dynamics III

BIOS 6150: Ecology Dr. Stephen Malcolm, Department of Biological Sciences

The ideal free distribution: A review and synthesis of the game-theoretic perspective

Selective strategies in food webs

Predation. Predation & Herbivory. Lotka-Volterra. Predation rate. Total rate of predation. Predator population 10/23/2013. Review types of predation

3 Stability and Lyapunov Functions

BIOS 6150: Ecology Dr. Stephen Malcolm, Department of Biological Sciences

BIOS 3010: Ecology Lecture 8: Predator foraging & prey defense. 2. Predation: 3. Predator diet breadth and preference:

arxiv: v1 [math.ca] 7 Jul 2013

The Ideal Free Distribution: from hypotheses to tests

Foraging. This week in Animal Behaviour. How do animals choose? Do animals choose their food?

PREDATOR AND PREY HABITAT SELECTION GAMES: THE EFFECTS OF HOW PREY BALANCE FORAGING AND PREDATION RISK

Ordinary Differential Equations

Gary G. Mittelbach Michigan State University

Chapter 3 HIGHER ORDER SLIDING MODES. L. FRIDMAN and A. LEVANT. Chihuahua Institute of Technology, Chihuahua, Mexico.

Stability Analyses of the 50/50 Sex Ratio Using Lattice Simulation

Chaos and adaptive control in two prey, one predator system with nonlinear feedback

Stability Of Specialists Feeding On A Generalist

Local Stability Analysis of a Mathematical Model of the Interaction of Two Populations of Differential Equations (Host-Parasitoid)

Problem Description The problem we consider is stabilization of a single-input multiple-state system with simultaneous magnitude and rate saturations,

1 The pendulum equation

Chapter 3 HIGHER ORDER SLIDING MODES L. FRIDMAN Samara Architecture and Civil Engineering Academy, Samara, Russia Tel.: (7) , Fax: (7) 846.

OPTIMAL FORAGING MODELS

BIOS 5970: Plant-Herbivore Interactions Dr. Stephen Malcolm, Department of Biological Sciences

Age (x) nx lx. Population dynamics Population size through time should be predictable N t+1 = N t + B + I - D - E

L. fabarum L. fabarum.

REMARKS ON THE TIME-OPTIMAL CONTROL OF A CLASS OF HAMILTONIAN SYSTEMS. Eduardo D. Sontag. SYCON - Rutgers Center for Systems and Control

HABITAT SELECTION INTRODUCTION. Objectives

Math 1270 Honors ODE I Fall, 2008 Class notes # 14. x 0 = F (x; y) y 0 = G (x; y) u 0 = au + bv = cu + dv

Contents. 2.1 Vectors in R n. Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v. 2.50) 2 Vector Spaces

An explicit dynamic model of segregation

Do short-term behavioural responses of consumers in tri-trophic food chains persist at the population time-scale?

BIOL 410 Population and Community Ecology. Predation

Continuous time population models

Niche The sum of all interactions a species has with biotic/abiotic components of the environment N-dimensional hypervolume

The Dynamic Behaviour of the Competing Species with Linear and Holling Type II Functional Responses by the Second Competitor

Math 345 Intro to Math Biology Lecture 7: Models of System of Nonlinear Difference Equations

Rearrangements and polar factorisation of countably degenerate functions G.R. Burton, School of Mathematical Sciences, University of Bath, Claverton D

in Search Advertising

Scale-free extinction dynamics in spatially structured host parasitoid systems

Spurious Chaotic Solutions of Dierential. Equations. Sigitas Keras. September Department of Applied Mathematics and Theoretical Physics

3.5 Competition Models: Principle of Competitive Exclusion

GLOBAL ANALYSIS OF PIECEWISE LINEAR SYSTEMS USING IMPACT MAPS AND QUADRATIC SURFACE LYAPUNOV FUNCTIONS

Topic 6: Projected Dynamical Systems

Optimal diet choice for large herbivores: an extended contingency model

DISSIPATION CONTROL OF AN N-SPECIES FOOD CHAIN SYSTEM

Journal of Theoretical Biology

ON THE INTERPLAY OF PREDATOR SWITCHING AND PREY EVASION IN DETERMINING THE STABILITY OF PREDATOR PREY DYNAMICS


CONGESTION MODELS OF COMPETITION

The uniformly accelerated motion in General Relativity from a geometric point of view. 1. Introduction. Daniel de la Fuente

Math Camp Notes: Everything Else

Price Competition and Endogenous Valuation in Search Advertising

OBSERVABILITY AND OBSERVERS IN A FOOD WEB

A Finite Element Method for an Ill-Posed Problem. Martin-Luther-Universitat, Fachbereich Mathematik/Informatik,Postfach 8, D Halle, Abstract

Remarks on multifunction-based. dynamical systems. Bela Vizvari c. RRR , July, 2001

Key words and phrases. Bifurcation, Difference Equations, Fixed Points, Predator - Prey System, Stability.

Fractional Roman Domination

DYNAMICS OF A PREDATOR-PREY INTERACTION IN CHEMOSTAT WITH VARIABLE YIELD

A population is a group of individuals of the same species occupying a particular area at the same time

Stochastic dominance with imprecise information

Math 128A Spring 2003 Week 12 Solutions

Honors Biology Ecology Concept List

Analysis of bacterial population growth using extended logistic Growth model with distributed delay. Abstract INTRODUCTION

Average Reward Parameters

The WENO Method for Non-Equidistant Meshes

Biology. Slide 1 of 39. End Show. Copyright Pearson Prentice Hall

Dynamics of Non-Smooth Systems

Chapter 5 Linear Programming (LP)

Pollinator foraging adaptation and coexistence of competing plants

Quantum logics with given centres and variable state spaces Mirko Navara 1, Pavel Ptak 2 Abstract We ask which logics with a given centre allow for en

A Family of Finite De Morgan Algebras

2D-Volterra-Lotka Modeling For 2 Species

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space

The Uniformity Principle: A New Tool for. Probabilistic Robustness Analysis. B. R. Barmish and C. M. Lagoa. further discussion.

Numerical Algorithms as Dynamical Systems

2 J. BRACHO, L. MONTEJANO, AND D. OLIVEROS Observe as an example, that the circle yields a Zindler carrousel with n chairs, because we can inscribe in

A Novel Approach to the 2D Analytic Signal? Thomas Bulow and Gerald Sommer. Christian{Albrechts{Universitat zu Kiel

4.1 Notation and probability review

CONTROL SYSTEMS, ROBOTICS AND AUTOMATION - Vol. VII - System Characteristics: Stability, Controllability, Observability - Jerzy Klamka

(Refer Slide Time: 00:32)

Name Student ID. Good luck and impress us with your toolkit of ecological knowledge and concepts!

Biology 11 Unit 1: Fundamentals. Lesson 1: Ecology

NONSTANDARD NUMERICAL METHODS FOR A CLASS OF PREDATOR-PREY MODELS WITH PREDATOR INTERFERENCE

Harvesting Model for Fishery Resource with Reserve Area and Modified Effort Function

On the Structure of Low Autocorrelation Binary Sequences

Computers and Mathematics with Applications. Chaos suppression via periodic pulses in a class of piece-wise continuous systems

Online Appendixes for \A Theory of Military Dictatorships"

Assessment Schedule 2013 Biology: Demonstrate understanding of the responses of plants and animals to their external environment (91603)

A Mixed Lyapunov-Max-Plus Algebra Approach to the Stability Problem for a two Species Ecosystem Modeled with Timed Petri Nets

Mathematical models in economy. Short descriptions

Dynamical Systems and Chaos Part II: Biology Applications. Lecture 6: Population dynamics. Ilya Potapov Mathematics Department, TUT Room TD325

ECOSYSTEMS AND THEIR LIVING COMMUNITIES

0 o 1 i B C D 0/1 0/ /1

growth rates of perturbed time-varying linear systems, [14]. For this setup it is also necessary to study discrete-time systems with a transition map

Transcription:

17 Individual Behavior and Population Dynamics 1 Vlastimil Krivan Biomathematics, Institute of Entomology, Academy of Sciences of the Czech Republic Dierential equations have been used in population biology to describe dynamics of interacting populations since the pioneering work of Lotka and Volterra. However, most of the work on population dynamics does not takeinto consideration individual decisions of animals. In behavioral ecology it was shown that animals often behave in such a way which maximizes certain criterion like energy or nutrient intake. Typically, this criterion is related to reproduction of animals, thus to tness. We show how the theory of optimal foraging may be included into models of population dynamics. Typically, this leads to discontinuous dierential equations, or more generally, to dierential inclusions. We will discuss a few biologically relevant examples together with the underlying mathematics.

BIOMATH{95, Soa 18 1 Introduction Since the times of Lotka and Volterra, interactions among populations and evolution of ecological systems have been modelled by dierential or difference equations. Typically, these models do not consider the individual decisions of animals which inuence the population dynamics. Several experimental studies in behavioral ecology show that animals can make decisions with respect to their activities. For predators typical activity is foraging while for parasitoids it is laying eggs. Let us consider a predator which meets various types of prey. Upon an encounter with a prey, the predator has to decide whether to attack the prey or not. If the predator decides to attack then this increases the energy reserves of the predator provided the attack is successful, but the predator by attacking and handling the prey loses some time which could be used for searching for another, possibly more protable type of prey. Thus for a predator there is a trade-o: to attack the prey upon an encounter or to search for possibly more protable prey? This sort of reasoning leads to the optimal foraging theory, which is concerned with the composition of the diet of a predator, for a review see [24]. Optimal foraging theory is based on the assumption that the predators are maximizing the net rate of energy intake which leads in the case of two types of prey to maximization of R = E T s + T h ; (1) where T s stands for the total time spent by searching, T h denotes the total time spentby handling and E is the net amount of energy gained in the total time T = T s + T h by a single predator. By u i we denote the probability that a predator will attack prey type i upon an encounter, x i is the density of prey type i, i x i is the encounter rate of a predator with the i,th type of prey when searching, e i is the expected net energy gained from the i,th type of prey and h i is the expected handling time spent with the i,th type of prey. Then T h = h 1 1 x 1 u 1 T s + h 2 2 x 2 u 2 T s (2) and The optimality criterion (1) becomes E =(u 1 1 x 1 e 1 + u 2 2 x 2 e 2 )T: R(u 1 ;u 2 )= u 1 1 e 1 x 1 + u 2 2 e 2 x 2 1+u 1 1 h 1 x 1 + u 2 2 h 2 x 2 : (3)

BIOMATH{95, Soa 19 The derivation of (3) is based on Holling disc equation, see [13, 24]. Based on maximization of (3) composition of the diet of a predator which depends on the ranking of dierent types of prey according to the ratios e i =h i is obtained. The main result of the optimal foraging theory which considers the densities of populations of prey to be xed states that predators will always forage on the most protable type of prey, i. e. the prey type with the highest ratio e i =h i. The other type of prey will be included into the diet of a predator only if the value of R will not decrease by doing so. Thus assuming that the rst type of prey is more protable than the second one, u 1 =1and u 2 is either zero or one depending on the parameters involved. This basic model goes back to Charnov and many others who elaborated it including some other phenomena that may inuence the decision of the predator. We refer to [22, 24] for more detailed information and extensive reference list. A similar problem is the choice of the food patch by a predator. Assume that food is distributed in patches and predators are moving freely between these patches. Then the predator has to choose how long to stay in a particular patch. Assuming that predators are free to settle in any patch, travel time between patches is negligible, predators are omniscient and resource densities in patches remain constant in time lead to ideal free distribution [9, 14] which describes the equilibrium distribution of the population of predators between the habitat patches. Assuming that each consumer tries to settle in the patch where its rate of food intake is maximized, this model predicts that at equilibrium, predators in all patches will experience the same rate of the food intake. There is experimental evidence that in some cases animals behave approximately according to optimality criteria mentioned above. However, what optimality exactly means may depend on the currency through which optimality is expressed. In the theory of optimal foraging the word optimal may mean maximum nutrient, energy, food etc. acquisition per unit of time, for host-parasite systems it may mean the number of eggs laid per unit time. Quite often a simple currency like energy or nutrient is not enough to describe optimality, since it may happen that the optimal choice may be also the most dangerous for the animal. For example, the patch where energy acquisition is high may also be more dangerous to the predators than other patches. Thus there may be a trade-o between energy or nutrient intake and mortality rate, i. e. survival. This leads to a necessity for a more general notion of optimality which isachieved through tness dened as the instantaneous rate of increase of the number of genotype copies of the individual

BIOMATH{95, Soa 20 [23]. The evolutionary biology treats tness as the most general criterion which evolution maximizes. Having dened the optimality criterion we may compute the optimal strategy of an individual by maximizing this criterion over the set of all possible strategies. We note that often the strategies are dened via probabilities, like in the above examples (probability of attacking a prey, probability of staying in a patch), thus 0 u i 1. Up to now wewere considering the behavior of a single average individual. In order to describe the population dynamics we have to dene the dynamics of the densities of populations. We will consider a system consisting of two populations of prey and one population of predators. The densities of these populations are denoted by x 1 ;x 2 ;x 3. Then we have x 1 (t + T ), x 1 (t) = x 1 (t)g 1 (x 1 (t);x 2 (t))t, 1 x 1 (t)u 1 (t)x 3 (t)t s x 2 (t + T ), x 2 (t) = x 2 (t)g 2 (x 1 (t);x 2 (t))t, 2 x 2 (t)u 2 (t)x 3 (t)t s x 3 (t + T ), x 3 (t) = e 1 1 x ( t)u 1 (t)x 3 (t)t s + e 2 2 x 2 (t)u 2 (t)x 3 (t)t s, mx 3 (t)t: From (2) we get T T s = 1+h 1 1 x 1 u 1 + 2 x 2 u 2 and by taking T! 0 we get the following system of dierential equations which describe the population dynamics: u 1 1 x 1 x 3 x 0 1 = x 1 g 1 (x 1 ;x 2 ), 1+u 1 h 1 1 x 1 + u 2 h 2 2 x 2 u 2 2 x 2 x 3 x 0 2 = x 2 g 2 (x 1 ;x 2 ), 1+u 1 h 1 1 x 1 + u 2 h 2 2 x 2 (4) x 0 3 = u 1e 1 1 x 1 x 3 + u 2 e 2 2 x 2 x 3 1+u 1 h 1 1 x 1 + u 2 h 2 2 x 2, mx 3 : The functions g i are growth rate functions for populations of prey. According to the denition, the tness function is given by the per capita growth rate of a predator, i. e. u 1 e 1 1 x 1 + u 2 e 2 2 x 2 1+u 1 h 1 1 x 1 + u 2 h 2 2 x 2, m! max; (5) see [18]. Following the optimal foraging theory we have to maximize (5) over all possible strategies, i. e. over all u 1 ;u 2. We note that due to the fact that the mortality rate m is independent from the foraging behavior of predators, maximization of (5) is equivalent to maximization of energy intake.

BIOMATH{95, Soa 21 Similarly, we may derive a system of equations describing the dynamics of the patch model which gives x 0 1 = r 1 (x), 1x 1 u 1 1+h 1 1 x 1 x 3 x 0 2 = r 2 (x), 2x 2 u 2 x 3 (6) 1+h 2 2 x 2 e1 1 x 1 e2 2 x 2 x 0 3 =, m 1 u 1 x 3 +, m 2 u 2 x 3 ; 1+h 1 1 x 1 1+h 2 2 x 2 see [6, 17, 19]. Here we assume that the mortalities of predators in patches may be dierent. The optimality criterion to maximize is e1 1 x 1 1+h 1 1 x 1, m 1 u 1 + e2 2 x 2 1+h 2 2 x 2, m 2 u 2! max : (7) Now wewant to dene the set of all possible strategies of a predator. In the case when predators decide whether to feed on a prey upon an encounter or not the set of possible strategies is given by U 1 = f(u 1 ;u 2 ) j 0 u 1 1; 0 u 2 1g: (8) Here u i = 1 means that upon an encounter with prey type i the predator will always attack this prey type while u i = 0 means that predator will not attack the prey upon an encounter. In the case of patch selection the set of all possible controls is smaller U 2 = f(u 1 ;u 2 ) j 0 u 1 1; 0 u 2 1; u 1 + u 2 =1g; (9) since now u i ; i =1; 2 is the probability that a predator will stay in patch i and these two events are mutually exclusive. In order to get optimal strategy we have to maximize (5) or (7) either over U 1 or U 2. The set of all controls which maximize the optimality criterion is called the optimal strategy map, since it depend on the state of the system x = (x 1 ;x 2 ;x 3 ). Namely, if we denote by S 1 (x) the set of those controls which maximize (5) over U 1 and S 2 (x) the set of those controls which maximize (7) over U 2 we get that S 1 (x) = 8 >< >: (1; 1) if x 1 < 1 (e 1 h 2, e 2 h 1 ) (1; 0) if x 1 > 1 (e 1 h 2, e 2 h 1 ) (1;u 2 ); 0 u 2 1 e 2 if x 1 = 1 (e 1 h 2, e 2 h 1 ) : e 2 e 2 (10)

BIOMATH{95, Soa 22 Thus there is a critical density ofx 1 given by x 1 := e 2 1 (e 1 h 2, e 2 h 1 ) (11) such that if x 1 >x 1 then each predator will forage exclusively on prey type 1, while if x 1 <x 1 then prey type 2 will be included into the diet of predators. If x 1 = x 1 then the optimal control is not uniquely given, i. e. u 2 2 [0; 1]. We set M 1 = fx 2 R 3 j x 1 = x 1 g: In the case of the patch selection the strategy map is S 2 (x) = We set 8 >< >: (1; 0) if x 1 > (0; 1) if x 1 < (u 1 ; 1, u 1 ) if x 1 = M 2 = fx 2 R 3 j x 1 = e 2 2 x 2 e 1 1 + 1 2 x 2 (e 1 h 2, e 2 h 1 ) e 2 2 x 2 e 1 1 + 1 2 x 2 (e 1 h 2, e 2 h 1 ) e 2 2 x 2 e 1 1 + 1 2 x 2 (e 1 h 2, e 2 h 1 ) : e 2 2 x 2 e 1 1 + 1 2 x 2 (e 1 h 2, e 2 h 1 ) g: (12) We see that for both optimal foraging and patch selection the strategy map S i is set-valued along a manifold M i of a lower dimension. According to the assumption on optimal behavior of animals only those controls which satisfy u 2 S i (x); i =1; 2 (13) are employed by predators. Thus it is not immediately clear whether solutions of (4) and (6) which obey (13) do exists and whether they are unique, since the control depends on the state of the system. One of the reasons why it is important to include individual behavior in models of population dynamics is to study the eect of the individual behavior on the dynamical properties of the system. Namely, wemaybeinterested in questions like: Does optimal behavior stabilize predator-prey dynamics or Does optimal behavior promote the permanence of predator-prey systems, (for permanence see [12]). In population biology mechanisms based on the density dependence have been thoroughly studied with respect to stability of systems. However, we may ask if individual behavior of animals itself may lead to stabilization (or permanence) of otherwise unstable systems. In [11]

BIOMATH{95, Soa 23 it was shown that strong aggregation of predators in more protable patches may have stabilizing eect on Nicholson-Bailey model, which is otherwise unstable. The inuence of individual behavior on population dynamics was not studied systematically until recently. This is mainly due to the fact that straightforward extension of standard models of static optimal foraging theory like above examples show lead on population level to models which are not described by a dierential equations with continuous right hand-side. Typically, the optimality criterion leads to controls which are not uniquely dened, thus on population level to dierential inclusions. Some attempts have been made to approximate the step function which appears in the resulting dierential inclusion by a continuous approximation, see [10] but the resulting systems are often so complex that non-trivial analysis is impossible. On the other hand the theory of dierential inclusions and set-valued maps [1, 2, 7, 8] allows to treat eectively models based on dierential inclusions. In this review we want to show how these techniques may be applied in theoretical population biology to models which include individual decisions. We will be mainly concerned with the two previously mentioned examples, which are probably the most typical ones. However, several other examples in the context of host-parasitoid systems may begiven, see [20]. This review is based on the work given in [4, 6, 15, 16, 17, 18, 19]. We want tomention that there exists another approach to model optimal decisions of animals which is based on the dynamic programming approach, for a review see [22]. This approach is more complex than the original Charnov model, since it allows to describe short term (daily) behavior of animals, which is based on the animal's bodily energy reserves. This model does not work with average animals like the above mentioned model of Charnov, but the behavior of animals within a population may dier in dependence on the current state of the animal. 2 Existence and uniqueness of solutions In this part we want to review some basic mathematical results concerning the existence and uniqueness of solutions of dierential equations which are applied in the models of population biology already mentioned. In general, the dynamics of interacting populations is described by a dierential equation x 0 (t) =f(x(t);u(t)) (14)

BIOMATH{95, Soa 24 where u is the control from a given set U of admissible controls. Together with (14) there is a set-valued map S which associates to any x a subset S(x) of U. We will assume that the map S is set-valued only along a manifold M of a lower dimension, since this is always so in the above mentioned applications. Thus we have together with (14) u(t) 2 S(x(t)): (15) Solutions of (14), (15) are couples (x(t);u(t)) where x is an absolutely continuous function which satises (14) almost everywhere and u is a measurable function which satises (15) everywhere, see [2, 7, 8]. The above system may be seen either as a dierential inclusion or, equivalently, as a Filippov solution of a dierential equation with discontinuous right-hand side, see [8]. Indeed, the above system is equivalent to the following dierential inclusion x 0 2 F (x) :=f(x; S(x)); (16) see [2]. Since S is single-valued with the exception of points belonging to the set M which has lower dimension, (14) is a single-valued dierential equation at points which do not belong to the set M. The right-hand side of (14) cannot be continuously dened at points of M, thus we may consider (14) as a dierential equation with a discontinuous right-hand side. The Filippov solution of such an equation is then dened as a solution of (16), see [8]. Since we are dealing with dierential inclusion (16) we have to ask under which conditions solutions exist. We give here two results which apply in several cases of practical interest. Proposition 1 ([6]) Let f : R n U! R n be a continuous map which is linear in u. If the strategy map S has closed graph and non empty convex values, then for any initial condition (t o ;x o ) there exist a (strictly) positive T, an absolutely continuous x :[t o ;t o + T ]! R n and a bounded measurable u :[t o ;t o + T ]! U that satisfy (14),(15). This result may be applied to get existence of solutions of (6), but it does not apply to (4), since controls do not enter the dynamics described by (4) linearly. Below we give another result which may be applied also to (4). In several cases solutions of (16) will be uniquely given despite the nonuniqueness in the right handside. In general, right uniqueness follows from one-sided Lipschitz condition, namely hf 1, f 2 ;x 1, x 2 ilkx 1, x 2 k 2 ; for every f i 2 F (x i ); i =1; 2;

BIOMATH{95, Soa 25 where L is a Lipschitz constant and h; i stands for the scalar product in R n, see [8]. This condition may not be easy to verify, but if we assume that M splits R n into two parts that we denote by G 1 and G 2, like in the above examples then right uniqueness follows from Proposition 2 below. We denote by u i the unique value of the control u in G i : Let f i (x) denote the unique value of (14) for x 2 G 1 and similarly for f 2 (x). For x such that x 2 M, f 1 (x) denotes the limit of f 1 at the point x from the region G 1 and similarly for f 2. By n(x) we denote the normal to M at x oriented from G 2 towards G 1. Proposition 2 ([6]) Let M be a C 2 manifold, and the vector f 1 (t; x), f 2 (t; x) be in C 1. If for each point x 2 M at least one of the inequalities hn(x);f 2 (x)i > 0 or hn(x);f 1 (x)i < 0 is fullled, then right uniqueness for (14) holds. If f is not linear in u the existence and uniqueness of solutions of (14) may still be proved. For x 2 M we assume that S(x) isaninterval with the endpoints u i. Proposition 3 ([6],[8]) Let M be a C 2 manifold, and moreover f; @f @u ;u i 2 C 1 and @hn; f(x; u)i 6= 0 for all u 2 S(x): @u If for each t 2 R + at each point x 2 M at least one of the inequalities hn(x);f 2 (t; x)i > 0 or hn(x);f 1 (t; x)i < 0 is fullled, then for each initial condition there exists a unique solution of (16). Since Proposition 3 does not require the map f(x; u) to be linear in u it may be applied to (4). Thus using the above Propositions we get that for any initial condition there exists an unique solution of (4) and (6) which satisfy u i 2 S i (x), see [6, 18]. Qualitative analysis of dierential equations with discontinuous right handside or dierential inclusions is more dicult than the analysis of continuous dierential equations. However, methods based on Lyapunov functions are still applicable to detect!,limit sets, see [2, 8]. This method proved to be useful in the case when the handling times equal zero, since

BIOMATH{95, Soa 26 this lead to discontinuous dierential equations of Lotka-Volterra type for which Lyapunov function may be constructed, see [3, 4]. For dierential inclusions or dierential equations with discontinuous right handside numerical approaches which are based on classical Euler or Runge-Kutta methods may not give satisfactory results since they lead typically to rapid oscillations. Thus, it is necessary to take very small step size in order to get a reasonable approximation of the exact solution. For systems like (4), (6) methods for numerical solutions of dierential-algebraic equations may be used, see [15, 21]. 3 Qualitative analysis along the discontinuity manifold In this part we will assume that M splits R n into two parts which are denoted by G 1 and G 2. This is the case of both examples given in the Introduction. In G i the dynamics is described by a dierential equation with a smooth right handside. Thus methods of local analysis for dierential equations with smooth right handsides do apply in G i : We have to study the behavior of trajectories when they fall on the discontinuity manifold M. This behavior is given by projections of vector elds f 1 and f 2 on the normal vector n to M. We have to distinguish four possible cases : (i) hn; f 1 i < 0; in M hn; f 2 i > 0 which means that trajectories of (16) will stay (ii) hn; f 1 i > 0; hn; f 2 i > 0 which means that trajectories of (16) will pass through M in direction from G 2 to G 1 (iii) hn; f 1 i < 0; hn; f 2 i < 0 which means that trajectories of (16) will pass through M in direction from G 1 to G 2 (iv) hn; f 1 i > 0; hn; f 2 i < 0 which means that trajectories of (16) which start on M will move either to G 1 or to G 2 : If the assumptions of Proposition 2 or 3 are fullled it follows that the case (iv) cannot happen. Under the conditions (ii) and (iii) the control will discontinuously change as the corresponding trajectory passes through M. This corresponds to sudden change in the behavior of animals, which is often called switching. Under the condition (i) a trajectory which hits M stays there as long as (i) holds. Such behavior is called sliding regime in the

BIOMATH{95, Soa 27 theory of discontinuous dierential equations. If the system is in the part of M where sliding regime holds we may derive uniquely values of the control. For this let us assume that M = fx 2 R n j h(x) =0g: Then the control which governs the dynamics in sliding regime can be computed from the equation hh 0 (x);f(x; u)i =0: (17) x2 0.5 11.5 2 0 10 0 1 x1 2 3 7.5 x3 5 2.5 0 Figure 1: Solution of (18) with a 1 =3:5; a 2 = m = 1 = 2 = e 1 = e 2 =1: We will illustrate the above concepts on the model for patch selection [6]. In order to simplify the analysis we will assume that the mortality for predators in both patches are same (m 1 = m 2 = m) and handling times are zero (h 1 = h 2 = 0). Thus the dynamics of (6) is described by a discontinuous

BIOMATH{95, Soa 28 dierential equation of Lotka-Volterra type: x 0 1 = a 1 x 1, 1 x 1 u 1 x 3 x 0 2 = a 2 x 2, 2 x 2 u 2 x 3 (18) x 0 3 = e 1 1 x 1 u 1 x 3 + e 2 2 x 2 u 2 x 3, mx 3 where the discontinuity plane M 2 is given by M 2 = f(x 1 ;x 2 ;x 3 ) j e 1 1 x 1 = e 2 2 x 2 g: We assume a 1 a 2. Then the subset of M where sliding regime appears is the set M s = f(x 1 ;x 2 ;x 3 ) j x 3 > a 1, a 2 1 g: In M s, using (17) we may compute uniquely the control which governs the dynamics to be u 1 = a 1, a 2 + 2 x 3 ( 1 + 2 )x 3 : Thus in M s the dynamics is given by a Lotka-Volterra dierential equation where x 0 1 = Ax 1, Kx 1 x 3 x 0 2 = Ax 2, Kx 2 x 3 (19) x 0 3 =(e 1 1 x 1, m)x 3 A = a 1 2 + a 2 1 1 + 2 ; K = 1 2 1 + 2 : Moreover, using Lyapunov function [3, 4] it can be proved that for any initial condition the!,limit set is the largest Lotka-Volterra cycle of (19) which is in M s. We note that the model described by (18) for xed u 1 ;u 2 (i. e. when predators move between patches randomly) is not permanent since the weaker prey is eliminated from the system. However, we see that the optimal behaviour of predators leads in this example to permanence of the system, i. e. both prey types will survive indenitely. The dynamics of the model of optimal foraging (4) with the growth rate functions given by g i (x) =a i (1, x i K i ): was discussed in [18]. We note that this model cannot be simplied by setting handling times to be zero, since by doing so we get that the optimal

BIOMATH{95, Soa 29 strategy of a predator is to attack a prey upon each encounter which leads to u 1 = u 2 =1. In general, the behavior of (4) is quite complex. A partial analysis for a 1 = a 2 ; 1 = 2 shows that the eect of optimal foraging on population dynamics is quite complex and may be either stabilizing or destabilizing depending on values of parameters involved, see [18]. 4 Discussion In this review paper we wanted to show how powerful methods of the theory of dierential inclusions may be used to model the population dynamics which include the individual behavior of individuals. The described approach may be used in a variety of examples that arise in theoretical population biology. The results based on the investigation of the appropriate models may shed some light on the eect of individual behavior on the dynamics of populations. References [1] Aubin, J. P.: Viability Theory, Birkhauser, Boston, 1992. [2] Aubin, J. P., A. Cellina: Dierential Inclusions. Springer-Verlag, Berlin, 1984. [3] Boukal D.: Dierential Inclusions in Population Biology, Thesis, 1994 (In Czech). [4] Boukal D., V. Krivan: Qualitative Analysis of Some Discontinuous Differential Equations of Lotka-Volterra Type, preprint. [5] Charnov, E. L.: Optimal Foraging: Attack Strategy of Mantid. Am. Nat. 110, 1976,141{151. [6] Colombo, R., V. Krivan: Selective Strategies in Food Webs, IMA Journal of Mathematics Applied in Medicine and Biology, 10, 1993, 281{291. [7] Deimling, K.: Multivalued Dierential Equations, Walter de Gruyter, Berlin, 1992. [8] Filippov, A. F.: Dierential Equations with Discontinuous Righthand Sides, Kluwer Academic Publisher, Dordrecht, 1988.

BIOMATH{95, Soa 30 [9] Fretwell, D.S., H. L. Lucas: On Territorial Behavior and Other Factors Inuencing Habitat Distribution in Birds, Acta Biotheoretica 19, 1970, 16{36. [10] Fryxell, J. M., P. Lundberg: Diet Choice and Predator-Pry Dynamics, Evolutionary Ecology 8, 1994, 407{421. [11] Hassell, M. P., R. M. May: Stability in Insect Host-Parasite Models, Journal of Animal Ecology 42, 1973, 693{736. [12] Hofbauer, J., K. Sigmund: The Theory of Evolution and Dynamical Systems, Cambridge University Press, Cambridge, 1988. [13] Holling, C. S.: Some Characteristics of Simple Types of Predation and Parasitism,Can. Entomol. 91, 1959, 385{398. [14] Kacelnik, A., Krebs, J. R., C. Bernstein: The Ideal Free Distribution and Predator-Prey Populations, TREE 7, 1992, 50{55. [15] Kastner-Maresch, A., V. Krivan: Modelling Food Preferences and Viability Constraints, Journal of Biological Systems, 3, 1995. [16] Krivan, V.: Dierential Inclusions in Population Biology, Habilitation Thesis, 1993. [17] Krivan, V.: Dierential Inclusions as a Methodology Tool in Population Biology, In: Snorek, M., Sujansky, M. and Verbraeck, A., (Eds.): Proceedings of the 9th European Simulation Multiconference, The Society for Computer Simulation, San Diego, 1995, 544{547. [18] Krivan, V.: Optimal Foraging and Predator-Prey Dynamics, Theoretical Population Biology, to appear. [19] Krivan, V.: Dynamic Ideal Free Distribution, preprint. [20] Krivan, V., E. Sirot: Searching for Food or Host: The Inuence of Parasitoids on Parasitoid-Host Dynamics, preprint. [21] Lempio, F., A. L. Donchev: Dierence Methods for Dierential Inclusions: A Survey, SIAM Review 34, 1992, 263{294. [22] Mangel, M., C. Clark: Dynamic Modeling in Behavioral Ecology, Princeton University Press, Princeton, New Jersey, 1988.

BIOMATH{95, Soa 31 [23] Sibly, R.M.: The Life-History Approach to Physiological Ecology, Functional Ecology 5, 1991, 184{191. [24] Stephens, D. W., J. R. Krebs: Foraging Theory, Princeton University Press, Princeton, New Jersey, 1986.