Stability and Optimization in Structured Population Models on Graphs Rinaldo M. Colombo 1 Mauro Garavello arxiv:143.6757v1 [math.ap] 6 Mar 14 October 9, 17 Abstract We prove existence and uniqueness of solutions, continuous dependence from the initial datum and stability with respect to the boundary condition in a class of initial boundary value problems for systems of balance laws. The particular choice of the boundary condition allows to comprehend models with very different structures. In particular, we consider a juvenileadult model, the problem of the optimal mating ratio and a model for the optimal management of biological resources. The stability result obtained allows to tackle various optimal management/control problems, providing sufficient conditions for the existence of optimal choices/controls. Keywords: renewal equation; balance laws; juvenile-adult model; management of biological resources; optimal mating ratio. 1 MSC: 35L5, 9D5 1 Introduction This paper is devoted to the following initial boundary value problem for a system of balance laws in one space dimension: t u i + x gi t, x u i = di t, x u i t, x R + R + g i t, u i t, + = B i t, u1 t,..., u n t t R + u i, x = u o i x x R + i = 1,..., n. 1.1 Here, i = 1,..., n and t R + is time. The space variable x varies in R + and in the applications of 1.1 will have the meaning of a biological age, or size. The scalar functions g 1,..., g n are growth functions, d 1,..., d n are the death rates and u o 1,..., u o n constitute the initial data. A key role is played by our choice of the birth function B i, for i = 1,..., n, which we assume of the form B i t, u 1,..., u n = α i t, u1 x 1,..., u n x n + β i u 1 x dx,..., u n x dx 1. I 1 I n for suitable functions α i, β i, points x i > and measurable I i R +, for i = 1,..., n. The literature on equations similar to 1.1 is vast. We refer for instance to the exhaustive monograph [14] or to the more recent edition of [5] and to the references therein. Specific features of 1.1 are that it is a system, boundary conditions may contain both a local term, the α i, and a nonlocal term, the β i. 1 INDAM Unit, University of Brescia Department of Mathematics and Applications, University of Milano Bicocca 1
From the analytical point of view, in the present treatment we emphasize the role of the total variation, setting the main result in BV. In particular, this allows to consider a function of the type 1. and to prove that the boundary data are attained in the sense of traces, also due to the boundary being non characteristic. In this setting, the stability of solutions with respect to α i and β i is also obtained. Moreover, the techniques used in the sequel can easily be extended to more general source terms as well as to situations where also the space distribution needs to be taken into account. From the modeling point of view, the use of boundary conditions of the type 1. unifies the treatment of rather diverse situations. First, it comprises the standard case always covered in the literature on renewal equations, where the independent variable x varies along a segment or a half line, see Figure 1, left. The dependent variable u represents the population density that at time t j a Figure 1: Biological structures comprised in 1.1 1.. Left, a standard linear setting and, right, a juvenile-adult situation. is of size or age x. A more complicate structure was recently considered in [1], see Figure 1, right. There, the size/age biological variable varies along a graph consisting of distinct sets, corresponding to the juvenile and to the adult stages in the development of the considered species. Here, we are able to deal also with this situation, as depicted in Figure, right. m j s f r Figure : Biological structures comprised in 1.1 1.. Left, a framework corresponding, for instance, to sexual reproduction: the two branches correspond to males M and females F. Right, a structure possibly accounting for the exploitation of biological resources: when juveniles reach the adult stage, they are split into a part S which is, say, sold and a part R used for reproduction. The finite propagation speed intrinsic to models of the type 1.1 clearly allows to combine various instances of the graphs above. Other situations of biological interest can be for instance a three stage linear structure or a tree shaped one, see Figure 3. These schemes, as well as many others, all fit into the scope of Theorem.4 below. In this connection, we recall that similar network structures are widely considered in the framework of vehicular traffic modeling, see [9]. In the case of nonlinear systems of balance laws with flow independent from the space variable, the initial boundary value problem has been widely investigated, see for instance [7]. For the relations between the problems with boundaries and with junction see [8, Proposition 4.]. The present treatment is self-contained. Section is devoted to the analytical results. Specific applications are in Section 3, where sample numerical integrations are also provided. All technical details are deferred to Section 4.
Figure 3: General graphs for further biological structures comprised in 1.1 1.. Analytical Results Throughout, we use the standard notation R + = [, + [ and R + = ], + [. When A and B are suitable subsets of R m, C A; B, respectively C,1 A; B, L 1 A; B or L A; B, is the set of continuous, respectively Lipschitz continuous, Lebesgue integrable or essentially bounded, maps defined on A and attaining values in B. For the basic theory of BV functions we refer to [3]. When referring to a function u: R + R + R, the first argument is time, the second is the biological age/size variable. If I R + is an interval, we denote TV ut, N = sup ut, xh ut, x h 1 : N N, xh 1 < x h, h = 1,..., N h=1 TV ut, ; I N = sup ut, xh ut, x h 1 : N N, xh 1 < x h, x h I, h = 1,..., N h=1 TV u, x; I N = sup uth, x ut h 1, x : N N, th 1 < t h, t h I, h = 1,..., N. h=1 Preliminarily, we consider the following initial boundary value problem for a linear scalar balance law, or renewal equation in [14, Chapter 3]: under the following assumptions b b BV loc R + ; R ; t u + x gt, x u = dt, x u t, x R + R + u, x = u o x x R +.1 gt, ut, + = bt t R + g g C 1 R + R + ; [, ĝ] for positive, ĝ and d d C 1 L R + R + ; R, sup t R + TV dt, < +. { sup t R + TV gt, < + sup t R + TV x gt, < + ; The solutions to.1 can be written in terms of the ordinary differential equation ẋ = gt, x. If g satisfies g, we can introduce the globally defined maps { { ẋ = gt, x t = 1 t Xt; t o, x o that solves and x T x; t xt o = x o, x o that solves gt,x. o tx o = t o. Denote γt = Xt;,, its inverse being t = Γx. Note that if x γt then X; t, x [, x] and if x < γt then T ; t, x [, t]. Recall the following definition of solution to.1, see also [4, 6, 11, 14, 18]. 3
Definition.1. Let b, g and d hold. Choose an initial datum u o L 1 R + ; R. The function u C R + ; L 1 R + ; R is a solution to.1 if 1. for all ϕ C 1 c R + R + ; R, R +. u = u o R + ut, x t ϕt, x + gt, x ut, x x ϕt, x + dt, x ut, x ϕt, x dt dx = 3. for a.e. t R +, lim x + gt, x ut, x = bt. The following Lemma summarizes various properties of the solution to.1, see also [14]. Here, we stress the role of BV estimates. The proof is deferred to Section 4. Lemma.. Let b, g and d hold. Then, for any u o L 1 BVR + ; R, the map u: R + R + R defined by t u o X; t, x exp dτ, Xτ; t, x x g τ, Xτ; t, x dτ x > γt ut, x = bt ;t,x gt ;t,x, exp t dτ, Xτ; t, x T ;t,x x g τ, Xτ; t, x.3 dτ x < γt solves.1 in the sense of Definition.1. Moreover, there exists a constant C dependent only on g and d, see 4.6, such that the following a priori estimates hold for all t R + : ut L u R + ;R o L R + ;R + 1 b L [,t];r e Ct.4 ut L u 1 R + ;R o L1 R + ;R + 1 b L 1 [,t];r e Ct.5 TV ut [ u o L R + ;R + TVu o + C + b L [,t];r + 1 ] TVb; [, t] e Ct.6 u o TV u, x; [, t] L [X;t,x,x];R + TVu o; [X; t, x, x] e Ct x > γt u o L [,x];r + TVu o; [, x] e Ct.7 1 C t + TVb; [, T ; t, x] + b L [,T ;t,x];r e Ct x < γt. Moreover, for any interval I R +, TV u, x dx ; [, t] C I uτ L I;R + TV uτ, ; I dτ..8 For every t R +, there exists a positive L dependent on, ĝ, C and TVb; [, t], b L [,t];r, such that, for t, t [, t], ut ut L1 R + ;R L t t..9 For u o, u o L 1 BVR + ; R and b, b as in b, the solutions u and u to t u + x gt, x u = dt, x u t u + x gt, x u = dt, x u u, x = u ox gt, ut, + = b t and u, x = u ox gt, ut, + = b t.1 4
satisfy the stability and monotonicity estimates u t u t [ u L 1 R + ;R o u o L 1 R + ;R + 1 b b ] L e Ct,.11 1 [,t];r u ox u ox for all x R + b t b t for all t R + u t, x u t, x for all t, x R + R +..1 Recall that in the present case of a linear conservation law, the definition of weak solution at. is equivalent to the definition of Kružkov solution [11, Definition 1]. It is immediate to verify that for u o = and b =, problem.3 admits the solution u =. Hence, the monotonicity property.1 also ensures that non-negative initial and boundary data in 1.1 1. lead to non-negative solutions. In order to pass to system 1.1, we need the following notation for norms and total variations of functions attaining values in R n : u L 1 R + ;R n = n i=1 n u i L 1 R + ;R, u L R + ;R n = n u i L R + ;R, TVu = TVu i. As a reference for the usual definition of weak solution to scalar conservation laws, see [4, 11]. Definition.3. Let T >. Consider 1.1 with g 1,..., g n satisfying assumptions g and d 1,..., d n satisfying d. Fix an initial datum u o L 1 BVR + ; R n. A map u C [, T ]; L 1 BVR + ; R n is a solution to 1.1 1. if, setting b i t = α i t, u1 t, x 1,..., u n t, x n + β i u 1 t, x dx,..., u n t, x dx I 1 I n for all i = 1,..., n, the i-th component u i is a solution to t u i + x gi t, x u i = di t, x u i t, x R + R + u i, x = u i ox x R +.13 g i t, u i t, + = b i t t R + in the sense of Definition.1. The following result ensures the well posedness of 1.1 1.. Its proof is presented in Section 4. Theorem.4. Let n N\{, x 1,..., x n R +, g 1,..., g n satisfy g and d 1,..., d n satisfy d. Assume that the maps α α 1,..., α n and β β 1,..., β n satisfy i=1 α C,1 R + R n ; R n, β C,1 R n ; R n and αt, = β =..14 Then, for any u o L 1 BVR + ; R n, the problem 1.1 admits a unique solution in the sense of Definition.3. Moreover, there exists an increasing function K C R + ; R + dependent only on Lipα, Lipβ and on C in 4.6 such that for any initial data u o, u o L 1 BVR + ; R n, the corresponding solutions satisfy u t u t u L Kt 1 R + ;R n o u o L 1 R + ;R m + t u o u o L,.15 R + ;R m u t u t u L Kt R + ;R n o u L 1 R + ;R m + u o u..16 Moreover, if u o =, then the solution is ut, x = for all t, x R + R +. o i=1 o L R + ;R m 5
We now state separately the stability of solutions to 1.1 1. with respect to the birth function B. This result plays a key role in the optimization problems considered below. Theorem.5. Let both systems t u i + x gi t, x u i = di t, x u i g i t, u i t, + = B i t, u1 t,..., u n t u i, x = u o i x t u i + x gi t, x u i = di t, x u i g i t, u i t, + = B i t, u1 t,..., u n t u i, x = u o i x.17 with B it, u 1,..., u n = α i t, u1 x 1,..., u n x n + β i u 1 x dx,..., u n x dx, I 1 I n B i t, u 1,..., u n = α i t, u1 x 1,..., u n x n + β i u 1 x dx,..., u n x dx I 1 I n satisfy the assumptions of Theorem.4. Then, the corresponding solutions u and u are such that u t u t Ht L1 α α R + ;R n C R + R n ;R n + β β C.18 R n ;R n where H C R + ; R + is such that H =. The proof is deferred to Section 4. In applications of Theorem.4 to systems motivated by, for instance, structured population biology, further assumptions are natural and lead to further reasonable properties. Proposition.6. Under the assumptions of Theorem.4, if the boundary functions and the initial data are such that uj α i for all i, j = 1,..., n, wj β i for all i, j = 1,..., n, u o i u o i for all i = 1,..., n, then, the corresponding solutions satisfy u i t, x u i t, x for all t, x R+ R + and i = 1,..., n. In particular, if u o i for i = 1,..., n, then u i t, x for i = 1,..., n. The proof follows immediately from Theorem.4 and from.1, hence it is omitted. 3 Applications This section is devoted to sample applications of Theorem.4 and Theorem.5 to models inspired by structured population biology. We selected three cases corresponding to three different graphs, namely those in Figure 1, right, and in Figure. First, the well posedness ensured by Theorem.4 provides a ground for the reliability of each model. Then, the stability result in Theorem.5 allows to consider further problems. On the one hand, it ensures the existence of a choice of parameters in the equations that lead to solution that best approximate a given set of data. On the other hand, it allows to tackle the problem of optimal mating ratio in a population with sexual reproduction. Finally, we consider the problem of the optimal management of a biological resource. In the former case, the presentation is based on [1, ] where a sensitivity analysis for a model belonging to the class 1.1 1. is proved. In the latter cases, we provide numerical integrations showing further qualitative properties of the models considered. 6
3.1 A Nonautonomous Juvenile Adult Model In 1.1 1., setting n = and with reference to the structure in Figure 1, right, u 1 t, x = Jt, x g 1 t, x = 1 α 1 t, u 1, u = u t, x = At, x + x min g t, x = gt, x + x min α t, u 1, u = u 1 x 1 = a max d 1 t, x = νt, x β 1 w 1, w = w x = d t, x = µt, x + x min β w 1, w = 3.1 with moreover I = [, x max x min ], we recover [1, Formula.1] in the case β = 1, which we state here for completeness: t J + a J = νt, a J t, a R + [, a max ] t A + x gt, x A = µt, x A t, x R + [x min, x max ] xmax Jt, = At, x dx t R + x min 3. gt, x min At, x min = Jt, a max t R + J, a = J o a a [, a max ] A, x = A o x x [x min, x max ]. Theorem.4 then applies and ensures the well posedness of 3. under assumptions slightly different from those in [1]. Corollary 3.1. In 3., assume that ν C 1 L R + [, a max ]; R and sup t R + TV νt, < + µ C 1 L R + [x min, x max ]; R and sup t R + TV µt, { < + g C 1 R + sup [x min, x max ]; [, ĝ] and t R + TV gt, < + sup t R + TV x gt, < + J o BV[, a max ]; R + A o BV[x min, x max ]; R +. Then, problem 3. admits a unique solution in the sense of Definition.3, the continuous dependence estimates.15.16 and the stability estimate.18 apply. For completeness, we remark that the model in [1] contains the following slightly more general boundary inflow: Jt, = xmax x min βt, x At, x dx. As soon as β C 1 R + [x min, x max ]; [ ˇβ, + [ for a suitable ˇβ >, the change of variables At, x = βt, x At, x 3.3 still allows to apply Theorem.4. Indeed, with this variable, the second equation in 3. becomes t A + x gt, x A = t βt, x + gt, x x βt, x µt, x A, which is again of the type.1 and hence Theorem.4 can still be applied. The stability proved above allows to tackle the problem of parameter identification. Indeed, through a Weierstraß argument based on Theorem.5, one can prove the existence of a set of parameters in 3. that minimizes a continuous functional representing the distance between the computed solution and a set of experimental data. For a detailed sensitivity analysis for a juvenile adult model we refer to []. 7
3. Optimal Mating Ratio Consider a species consisting of males and females, whose densities at time t and age a are described through the functions M = Mt, a and F = F t, a on a structure as that in Figure, left. A natural model is then t M + a M = κ µ M t F + a F = 1 κ µ F{ m f Mt, + F t, = ν min ϑ Mt, a da, 1 ϑ F t, a da m 1 f 1 3.4 η Mt, = 1 η F t, M, a = M o a F, a = F o a. Here, κ µ, respectively 1 κ µ, is the mortality rate of males, respectively females, with µ > and κ [, 1]. The positive parameter η [, 1] defines the ratio of male to female newborns, in the sense that every η M males, 1 η F females are born. The constant ν is the fertility rate. We describe the mating ratio at age a through the parameter ϑ, with ϑ [, 1] as follows. The fertile ages are those in the intervals [m 1, m ] for males and [f 1, f ] for females, where m 1, m, f 1, f are positive constants. According to 3.4, all individuals in their fertile age might contribute to reproduction provided the condition imposed by the presence of the mating ratio ϑ is met. If ϑ m m 1 Mt, a da exceeds 1 ϑ f f 1 F t, a da, then only 1 ϑ f ϑ f 1 F t, a da males contribute to the overall population s fertility. Problem 3.4 fits into 1.1 1. setting u 1 = M g 1 = 1 d 1 t, x = κ u = F g = 1 d t, x = 1 κ µ I 1 = [m 1, m ] α 1 = β 1 w 1, w = 1 η ν min{ϑ w 1, 1 ϑw I = [f 1, f ] α = β w 1, w = η ν min{ϑ w 1, 1 ϑw. Corollary 3.. Let µ, ν R + ; η, ϑ, κ [, 1]; m 1, m, f 1, f R + with m 1 < m and f 1 < f. For M o, F o L 1 BVR + ; R, problem 3. has a unique solution in the sense of Definition.3, the continuous dependence estimates.15.16 and the stability estimate.18 apply. The proof is immediate and, hence, omitted. Here, we note that the presence of C 1 positive weights in the integrands defining the boundary data can be recovered through a change of variables entirely similar to that in 3.3. A first immediate property of the solutions to 3.4 is that a zero initial density in either of the two sexes leads to the extinction of the other at exponential speed. Several different optimization problems can be tackled in the framework of 3.4. It is possible to investigate the relations between the parameters κ identifying relative mortality, η the relative natality and ϑ the mating ratio. Below, we look for the optimal mating ratio for given relative natality and mortality coefficients. To this aim, consider the instantaneous average fertility rate over the fertile population { ν min ϑ m m 1 Mt, a da, 1 ϑ f f 1 F t, a da R = m m 1 Mt, a da + f. 3.5 f 1 F t, a da Remark that the functions M and F in 3.5 are solutions to 3.4, hence they depend on the mating ratio ϑ that enters the boundary condition throughout the time interval [, t]. It is natural to assume that a key role is played by the maximal value of R, which is obtained by the choice f f ϑ = 1 F t, a da m m 1 Mt, a da + f f 1 F t, a da. 3.6 8
Remarkably, this leads to the maximal fertility rate m f m 1 Mt, a da f 1 R = ν F t, a da m m 1 Mt, a da + f f 1 F t, a da coherently with the classical harmonic mean law, see [1, 13, 15, 16, 17, 19]. On the other hand, the right hand sides in 3.5 and 3.6 are time dependent and it can be hardly accepted that ϑ is instantaneously adjusted to the value that maximizes R. More reasonably, one may imagine that ϑ is optimal 1 over a suitably long time interval. We are thus lead to introduce the utility function { Rϑ; T, M o, F o = 1 T ν min ϑ m m 1 Mt, a da, 1 ϑ f f 1 F t, a da T m m 1 Mt, a da + f dt. 3.7 f 1 F t, a da We thus consider the problem find ϑ that maximizes Rϑ; T, M o, F o. A straightforward corollary of Theorem.5 ensures the existence of one such ϑ. Corollary 3.3. Under the assumptions of Corollary 3., for any T R + and any initial datum M o, F o L 1 BVR + ; R there exists a ϑ ], 1[ such that Rϑ ; T, M o, F o = max ϑ [,1] Rϑ; T, M o, F o. The proof is immediate: thanks to Theorem.5, the function ϑ Rϑ; T, M o, F o is continuous for any choice of T R + and M o, F o L 1 BVR + ; R. By the compactness of [, 1], Weierstraß Theorem ensures the existence of ϑ. Moreover, since R; T, M o, F o = R1; T, M o, F o =, we also have ϑ ], 1[. It can be of interest to note that M and F may well increase exponentially with time, but Rϑ; T, M o, F o [, ν] for all T R + and M o, F o L 1 BVR + ; R. As a specific example, we consider the situation identified by the following choices of functions and parameters in 3.4 3.7: κ =.6 µ =. m 1 = 18 f 1 = 16 η =.485 ν = 3 m = 6 f = 55 3.8 and we consider ϑ as a control parameter in [, 1]. As initial datum we choose M o a = 1 and F o a = 1 for all a. 3.9 The graph of the average fertility rate Rϑ; T, M o, F o as a function of ϑ for T = 5 is in Figure 4. The outcome shows a reasonable qualitative behavior. As ϑ or ϑ 1, the number of newborns goes to ; hence the population extinguish. Near to ϑ =.77 there is an optimal choice for the parameter ϑ with respect to the average fertility rate 3.7, which yields a maximal value of.83, see Figure 5 For completeness, we precise that the numerical integration above was obtained using a Lax Friedrichs algorithm, see [1, 1.5], with space mesh a =.4167. 1 Here and in the sequel, optimal is understood in the sense that it is the value that maximizes R. However, an excessive natality rate might turn out to be not optimal from the biological point of view. 9
Figure 4: Average fertility rate 3.7 along the solutions to 3.4 3.8 with initial datum 3.9 plotted as a function of ϑ. For ϑ = or ϑ = 1, there is no reproduction and the population extinguishes. For ϑ.77, the average natality rate reaches its maximum value, which is approximately equal to.83. Figure 5: Solutions to 3.4 3.8 3.9. The integrals 8 Mt, a da blue and 9 F t, a da green as a function of time. Left, for ϑ =.4647, the population vanishes. Middle, with ϑ =.767, there is an equilibrium and right, for ϑ =.777, the population grows exponentially. The latter value gives the maximal average natality rate, see Figure 4. 3.3 Management of a Biological Resource In biological resource management, one typically rears/breeds a species up to a suitable stage, then part of the population is sold and part is used for reproduction. The equations 1.1 1. comprehend this situation. Indeed, call J = Jt, a the density of the juveniles at time t of age or size a. Juveniles reaching the age/size ā are then selected. The density S = St, a refers to those individuals that are going to be sold, while R = Rt, a stands for the density of those reserved for reproduction purposes. One is thus lead to the following model, defined on the structure in Figure, right: t J + a gj t, a J = d J t, a J t, a R + [, ā] t S + a gs t, a S = d S t, a S t, a R + [ā, + [ t R + a gr t, a R = d R t, a R t, a R + [ā, + [ amax g J t, Jt, = β Rt, x dx t R + ā g S t, ā St, ā = η g J t, ā Jt, ā t R + g R t, ā Rt, ā = 1 η g J t, ā Jt, ā t R + J, a = J o a a [, ā] S, a = S o a a [ā, + [ R, a = R o a a [ā, + [. 3.1 1
Above, we used the obvious notation for the growth and mortality functions g J, g S, g R and d J, d S, d R. The birth rate is described through the function β. A key role is played by the parameter η [, 1] which quantifies the percentage of juveniles selected for the market. System 3.1 fits into 1.1 1. setting u 1 t, s = Jt, x g 1 t, x = g J t, x α 1 t, w 1, w, w 3 = u t, x = St, x + ā g t, x = g S t, x + ā α t, w 1, w, w 3 = η w 1 g 1 t, x 1 u 3 t, x = Rt, x + ā g 3 t, x = g R t, x + ā α 3 t, w 1, w, w 3 = 1 η w 1 g 1 t, x 1 d 1 t, x = d J t, x β 1 w 1, w, w 3 = βw 3 x 1 = ā d t, x = d S t, x + ā β w 1, w, w 3 = I 3 = [ā, a max ] d 3 t, x = d R t, x + ā β 3 w 1, w, w 3 = Corollary 3.4. Let g J, g S, g R satisfy g for suitable, ĝ R + with ĝ > >. Let d J, d S, d R satisfy d. Let β C,1 R + ; R be such that β =. For any η [, 1] and any initial data J o BV[, ā]; R + and S o, R o L 1 BV[ā, + [, R +, system 3.1 admits a unique non negative solution and the stability estimates in Theorem.4 apply. A natural question based on model 3.1 is: find the optimal percentage η of juveniles that have to be chosen for the market. To this aim, we postulate simple, though reasonable, cost and gain functionals [ T ā amax [ Cη; T = C J a Jt, a da + CS a St, a + C R a Rt, a ] ] da dt, ā 3.11 Gη; T = T amax ā Ga St, a da dt. Here, C J a is the unit cost to grow a juvenile at age a, and similarly C R, C S are the costs for the other two groups. The gain obtained selling an adult at age a is Ga. We denoted by J = Jt, a, S = St, a and R = Rt, a the solution to 3.1 with initial datum J o and S o =, R o = and with the selection parameter η. A direct consequence of Theorem.5 is the following corollary. Corollary 3.5. In the same assumptions of Corollary 3.4, for any T R + and any J o, S o, R o L 1 BVR + ; R, there exists an optimal choice η such that Gη ; T Cη ; T = max Gη; T Cη; T. η [,1] The proof relies on Weierstraß Theorem, exactly as that of Corollary 3.3 and is here omitted. As a specific example, we consider the situation identified by the following choices of functions and parameters in 3.1 3.11: g J t, a = 1 d J t, a = C J t, a = a βw = w g S t, a = 1 d S t, a = a ā C S t, a = Gt, a = 1 g R t, a = 1 d R t, a = a ā C R t, a =.5 [ā, a max ] = [1, ] and we consider η as a control parameter in [, 1]. As initial datum we choose 3.1 J o a = 5, S o a =, R o a =. 3.13 The graph of the cost Gη; T Cη; T see 3.11 for T = 15 with respect to λ is in Figure 6. The outcome shows a reasonable qualitative behavior. As η, nothing is sold, all population members are kept for reproduction, the population increases exponentially as also does the functional Gη; T Cη; T. On the contrary, for η 1, all population members are immediately sold giving a positive gain and the population vanishes as also G C. Near to η.3 there is an optimal balance, given the chosen unitary costs and gain 3.11 3.1. With the chosen parameters, the optimal choice for η is η.3, which yields a gain of about 6.48 at time t = 15. As expected, different choices of η have deep influences on the solutions to 3.1 3.1 3.13, as shown in Figure 7. For completeness, we precise that the numerical integration above was obtained using a Lax Friedrichs algorithm, see [1, 1.5], with space mesh a =.1. 11
Cost Cost at time t =15. 3 14 1 1 5 1 8 G C t 6 1 1 15 4...4 η.6.8 1....4 η.6.8 1. Figure 6: Cost 3.11 along the solutions to 3.1 3.1 with initial datum 3.13. Left, as a function of η on the horizontal axis and t on the vertical axis. Right, as a function of η at time t = 15.. Recall that for η =, all individual are kept for reproduction and no one is sold. On the contrary, for η = 1, they are all sold and no one is kept for reproduction. J S 67.64 14 t 1 1 1 1 1 8 t t 8 6 6 4 4 4.4 a.6.8 1. J. 1. 1. 1.4 a 1.6 1.8. S 5 14. 1. 1 1 1 8 t 6 6 4 4 4..4 a.6.8 1. J 1. 1. 1.4 a 1.6 1.8. S. 1. 1 1 1 8 t 6 6 4 4 4..4 a.6.8 1. 1.4 a 1.6 1.8.. 8 6 1..47.44 1. R 1.. 14 1 t 1. 4.56 14 8 1.8 5 14 1.6 8 6 a R 1 t 1.4 14 1 8 1..53 14 1. t 8 6. 43.1 14 1. t R 1.7 14 1. 1.4 a 1.6 1.8.. 1. 1. 1.4 a 1.6 1.8.. Figure 7: Solutions to 3.1 3.1 3.13. Time varies along the vertical axis and a along the horizontal one. Above, η =.3 is near to the optimal choice. Middle, η =.5 and, below, η =.91. 1
4 Technical Details Throughout, when BV functions are considered, we refer to a right continuous representative. We now recall the following elementary estimates on BV functions. u BVR + ; R w BVR + ; R TVu w u L R + ;R TVw + TVu w L R + ;R 4.1 f C,1 R; R u BVR + ; R TVf u Lipf TVu 4. u BVR + ; R f BVR + ; [ ˇf u + [ ˇf > TV 1ˇf TVu + 1ˇf f L R + ;R 4.3 u L 1 t R + ; BVR + ; R TV uτ, dτ TV uτ dτ 4.4 u BVR + ; R h L R; R + R + u x + hx ux dx TVu h L R + ;R. 4.5 Inequality 4.1 follows from [3, Formula 3.1]. The definition of total variation directly implies 4., 4.3 and 4.4. For a proof of 4.5 see for instance [6, Lemma.3]. Proof of Lemma.. To verify that.3 solves.1, a standard integration along characteristics is sufficient. The bounds.4 and.5 are an immediate consequence of.3. Passing to the estimates on the total variation, introduce C = max x g L R + R + ;R, tg L R + R + ;R, sup t R + TV gt,, sup t R + TV x gt,, d L R + R + ;R, sup t R + TV dt, which is finite by g and d. Consider now the total variation estimates. Using 4.1, 4., 4.3, 4.4, compute: TV ut = TV ut,, [, γt] + TV ut,, [ γt, + [ 4.6 TV b /g, ; [, t] e Ct + b L [,t];r e Ct + TVu o e Ct + u o L R + ;R ect u o L R + ;R + TVu o + 1 1 + C b L [,t];r + TVb; [, t] e Ct proving.6. The bound.6 directly follows from.3, using 4.1, 4. and 4.3. We exploit now 4.4 and [3, Definition 3.4], and in the lines below, for typographical reasons, we denote by J the real interval [ 1, 1]. TV u, x dx ; [, t] I { = sup uτ, x dx t ϕτ dτ : ϕ C 1 c], t[ ; J { sup { = sup I I I uτ, x ψx t ϕτ dx dτ : ϕ C1 c], t[ ; J ψ C 1 c I; J gτ, xuτ, x x ψxϕτ + dτ, xuτ, xψxϕτ dx dτ : ϕ C1 c], t[ ; J ψ C 1 c I; J 13
{ = sup gτ, x uτ, x x ψx ϕτ dx dτ : ϕ C1 c], t[ ; J I ψ C 1 c I; J { + sup dτ, x uτ, x ψx ϕτ dx dτ : ϕ C1 c], t[ ; J I ψ C 1 c I; J { { sup sup gτ, x uτ, x x ψx dx : ψ C 1 c I; J ϕτ dτ : ϕ C 1 c], t[ ; J { { + sup sup I I dτ, x uτ, x ψx dx : ψ C 1 c I; J ϕτ dτ : ϕ C 1 c], t[ ; J { = sup TV gτ, uτ, ϕτ dτ : ϕ C 1 c], t[ ; J { + sup TV dτ, uτ, ϕτ dτ : ϕ C 1 c], t[ ; J TV gτ, uτ, + TV dτ, uτ, dτ Apply now 4.1 to obtain: TV u, x dx ; [, t] I + C TV gτ, + TV dτ, uτ L R + ;R dτ gτ L R +;R + dτ L R +;R TV uτ dτ uτ L R +;R + TV uτ dτ, completing the proof of.8. Concerning the stability bounds,.3 implies γt + γt ut, x 1 t dx bτ dτ + + ut, x dx uo x dx + γt + γt dτ, x uτ, x dx dτ dτ, x uτ, x dx dτ ut L1 u R + ;R o L 1 R + ;R + 1 b L 1 [,t];r + C uτ dτ. L1 R + ;R An application of Gronwall Lemma yields the desired estimate.11. Finally, the monotonicity property.1 directly follows from.3. To prove.9, fix t, t R + with t < t. Then, ut ut L1 R + ;R = γt γt + + γt + γt ut, x ut, x dx 4.7 ut, x ut, x dx 4.8 ut, x ut, x dx 4.9 and we deal with the three terms separately, using.3 as follows. Begin with 4.7: γt ut, x ut, x dx 14
γt γt + b T ; t, x g T ; t, x, exp T ;t,x b T ; t, x g T ; t, x, exp T ;t,x b T ; t, x g T ; t, x, b T ; t, x g T ; t, x, exp γt T ;t,x d τ, Xτ; t, x x g τ, Xτ; t, x dτ d τ, Xτ; t, x x g τ, Xτ; t, x dτ d τ, Xτ; t, x x g τ, Xτ; t, x dτ b T ; t, x g T ; t, x, exp d τ, Xτ; t, x x g τ, Xτ; t, x dτ T ;t,x dx dx exp T ;t,x d τ, Xτ; t, x x g τ, Xτ; t, x dτ ĝ t TVb; [, t ] TV g, ; [, t ] + b L [,t ];R t t C t e +ĝ t b L [,t ];R e C t t t C + C + ĝ t d L [,t ];R + TVd + x g, + TV L [,t ];R xg, L t t for a suitable positive constant L dependent on t,, ĝ, C and TVb; [, t ], b L [,t ];R. Passing to 4.8, use 4.6 and.5: γt γt ut, x ut, x { ut dx ĝ max, L R + ;R ut L t t R + ;R ĝ u o L R + ;R + 1 b L [,t ];R e Ct t t dx Finally, deal with 4.9 using 4.5: + γt + γt + γt + + γt ut, x ut, x dx ut, x u t, Xt ; t, x [ exp ut, x u t, Xt ; t, x dx u t, Xt ; t, x t exp t TVu gt L R + ;R t t + ut L 1 R + ;R t d τ, Xτ; t, x x g τ, Xτ; t, x dτ d τ, Xτ; t, x x g τ, Xτ; t, x dτ exp Ct t 1 ] dx 1 dx 15
ĝ TVu + C ut L1 t t R + ;R Completing the proof of.9. The following elementary lemma is of use below. Lemma 4.1. Let H, K R + and assume that the numbers B k R + satisfy B k+1 H + K B k for all k N. Then, B k K k B + 1 Kk 1 K H. Proof of Theorem.4. Fix a time T so that ] [ γt, min x i i=1,...,n 4.1 and define u t, x = u o x for t [, T ]. Recursively, for k 1 let u k u k 1,..., u k n solve t u k i + x g i t, x u k i = d i t, x u k i t t, x R+ R + g i t, u k i t, = bk i t t R+ i = 1,..., n 4.11 u i, x = u o i x x R+ where b k i t = α i t, u k 1 1 t, x 1,..., u k 1 n t, x n +β i u k 1 1 t, x dx,..., I 1 u k 1 n I n t, x dx. 4.1 Note that b is satisfied and Lemma. applies. Indeed, if k = 1, then b 1 i is independent on time. Let k > 1, then by.14 and.8 TV b k i ; [, T ] TV α i, u k 1 j, x j=1,...,n ; [, T ] + TV β i u k 1 j, x dx j=1,...,n ; [, T ] I j Lipα T + TV u k 1 j, x j=1,...,n ; [, T ] + Lipβ Lipα T + TV u k 1 j, x j j=1,...,n ; [, T ] +C Lipβ n i=1 [ u k 1 i τ + TV L R + ;R n TV u k 1 i, x dx ; [, T ] I i i=1 u k 1 i τ ] dτ Lipα T + TV u k 1 j, x j j=1,...,n ; [, T ] u +C Lipβ τ k 1 + TV u τ k 1 dτ L R + ;R n which is finite by induction. Lemma. then ensures existence and uniqueness of a solution to 4.11 4.1 for any k >. By construction, the choice 4.1 ensures that u k t, x = u 1 t, x for all x > γt and k 1. 4.13 Therefore, also α i t, u k t, x i = α i t, u 1 t, x i for all t [, T ], for all k 1 and all i = 1,..., n. Compute now t u k i t u k+1 i L 1 R + ;R 16
+ 1 b k+1 i b k i L1 [,t];r α i, u k, x i α i, u k 1, x i L 1 [,t];r i β I uk 1 1, x dx,..., I uk n n, x dx β i I 1 u k 1 1, x dx,..., I n u k 1 n, x dx n Lipβ u k j, x u k 1 j, x dx j=1 I j L 1 [,t];r n Lipβ u k j, x u k 1 j, x dx Lipβ Lipβ j=1 R + n j=1 Adding up all the components, u k j τ u k 1 τ dτ L 1 R + ;R j L 1 [,t];r L 1 [,t];r u k τ u k 1 τ dτ 4.14 L 1 R + ;R n u k+1 u k C [,T ];L 1 R + ;R n T n Lipβ u k u k 1 L1 dτ R + ;R n n Lipβ T u k u k 1 C [,T ];L 1 R + ;R n and, recursively, u k+1 u k C n Lipβ T k u 1 τ u τ [,T ];L 1 R + ;R n C [,T ];L 1 R + ;R n. Choosing now also T < 1/ n Lipβ, the sequence u k is a Cauchy sequence and we obtain the existence of a map u C [, T ]; L 1 R + ; R n which is the limit of the sequence u k, in the sense that lim sup u k t u t =. 4.15 L 1 R + ;R n k + t [,T ] To prove that u solves 1.1, it is sufficient to check that the boundary condition is attained. Indeed, proving that u is a weak solution to the balance law is a standard procedure. Clearly, the initial datum is attained, since u k = u o for all k. Using Lemma.,.3, 4.13 and 4.15, for all large k N we have b k+1 L [,T ];R n Lipα n u k, x i + Lipβ u k C L [,T ];R [,T ];L 1 R + ;R n i=1 Lipα u o L R + ;R n ect + Lipβ u C [,T ];L 1 R + ;R n + 1. 4.16 With the above choice of T, using 4.14 and Lemma., TV b k+1 i ; [, T ] Lipα T + Lipα u o L [,maxj xj];rn + TV u o ; [, max x j ] e CT j T +C Lipβ u o L R + ;R n + 1 b k L e Cτ dτ [,τ];r n 17
[ T +C Lipβ u o L R + ;R n + TVu o + 1 [ C + b k L + TVb k ; [, τ]] ] e Cτ dτ [,τ];r n Lipα T + Lipα u o L R + ;R n + TVu o e CT + C Lipβ T u o L R + ;R n + TVu o e Cτ dτ + C T + C Lipβ b k L + TVb k ; [, τ] e Cτ dτ [,τ];r n Lipα T + Lipα u o L R + ;R n + TVu o e CT + Lipβ u o L R + ;R n + TVu o e CT 1 + C T + C Lipβ b k L + TVb k ; [, τ] e Cτ dτ [,τ];r n Lipα T + Lipα u o L R + ;R n + TVu o e CT + Lipβ u o L R + ;R n + TVu o e CT 1 + + C b Lipβ k + TVb k ; [, T ] e CT 1 L [,T ];R n Inserting now the estimate 4.16 in the latter term above, we can apply Lemma 4.1 to the inequality B k+1 H + K B k, where B k = TV b k ; [, T ] H = n Lipα T + n Lipα e CT + Lipβe CT 1 u o L R + ;R n + TVu o +n + C Lipβ e CT 1 Lipα u o L R +;R n ect + Lipβ u C [,T ];L 1R +;R n + 1 e CT 1 K = n + C Lipβ e CT 1. Hence, as soon as T is so small that n + C Lipβ e CT 1 < 1, we obtain a bound on TV b k ; [, T ] uniform in k. This bound, thanks to Lemma., ensures that also sup t [,T ] sup k N TV u k t < + and, by the lower semicontinuity of the total variation with respect to the L 1 topology, also sup t [,T ] TV u t < +. Therefore, the trace lim x + u t, x exists for all t [, T ]. The uniform bound on TV b k ; [, T ], together with.9 and [6, Theorem.4], ensure that for a.e. x R +, we have lim k + u k t, x = u t, x. Choose one such x and observe that: u t, x = lim k + uk t, x = lim k + b k T ; t, x g T ; t, x, exp = lim k + b k T ; t, x g T ; t, x, exp T ;t,x T ;t,x dτ, Xτ; t, x x g τ, Xτ; t, x dτ dτ, Xτ; t, x x g τ, Xτ; t, x dτ 18
= lim k + B T ; t, x, u k 1 [ g T ; t, x, exp = B T ; t, x, u g T ; t, x, exp T ;t,x T ;t,x dτ, Xτ; t, x x g τ, Xτ; t, x ] dτ dτ, Xτ; t, x x g τ, Xτ; t, x dτ where in the last step above we used the convergences: lim α i t, u k j t, x j j=1,...,n = α i t, u t, x j j=1,...,n k + lim β i u k j t, x dx j=1,...,n = β i u t, x dx j=1,...,n k + I j I j by 4.13. by 4.15. The time T chosen above depends only on β, min i x i, on d and on g. In particular, it is independent from the initial datum. Hence, the above procedure can be iterated, extending u to a function defined on all R +, i.e. u C R + ; L 1 R + ; R n. Let now u o, u o be two initial data. Define x = min i=1,...,n x i and t = Γ x. Denote Ī = [ x, + [. To prove the stability estimate, with obvious notation, preliminarily compute for t [, t]: u t u t L 1 Ī;Rn u o u o L 1 R + ;R n ect u t u t L u Ī;Rn o u o L R + ;R n ect Moreover, by 4.1 and.14, for t [, t], b b L n Lipα u t u t + n Lipβ [, t];r n L Ī;Rn u t u t L1 R + ;R n n Lipα u o u o L R + ;R n ect 4.17 +n Lipβ u t u t L 1 R + ;R n. b b L1 n Lipα ect 1 [, t];r n u o u o C L R + ;R n +n Lipβ u τ u τ L dτ. 4.18 1 R + ;R n Therefore, by.9, for t [, t], u t u t L 1 R;R n 1 b b + L 1 [,t];r u o u o n Lipα e Ct 1 e Ct u o u o C + u o u o L1 R + ;R n ect +n Lipβ L 1 R + ;R n L R + ;R n e Ct u τ u τ L 1 R + ;R n dτ ect. An application of Gronwall Lemma yields, for t [, t], u t u t L 1 R;R n n Lipα e Ct 1 u o u o C L R + ;R n + u o u o exp Ct + n Lipβe Ct To iterate beyond time t, using.5, 4.17 and the above bound to estimate u t u t L R;R n L 1 R + ;R n 19
1 b b L [,t];r n + u o u o L e Ct R + ;R n n Lipα u o u o L R + ;R n ect + n Lipβ u t u t L1 R + ;R n ect + u o u o L R + ;R n ect n Lipα u e Ct + 1 o u o L R + ;R n + n Lipβ u t u t L 1 R + ;R n n Lipα e Ct + 1 + n Lipβ n Lipα e Ct 1 exp Ct + n Lipβe Ct C u o u o L R + ;R n ect + n Lipβ exp Ct + n Lipβe Ct u o u o L1 R + ;R n completing the proof. Proof of Theorem.5. Define, for i = 1,..., n, b it = α i t, u 1 t, x 1,..., u nt, x n + β i u 1t, x dx,..., u nt, x dx, I 1 I n b i t = α i t, u 1t, x 1,..., u nt, x n + β i u 1t, x dx,..., u nt, x dx. I 1 I n e Ct Preliminary, using.14, let us estimate the term b b n L1 [,t];r n α i i=1 + n i=1 s, u 1 s, x 1,..., u ns, x n α i s, u 1s, x 1,..., u ns, x n ds β i I j u js, x dx β i t α α C R + R n ;R n + Lip α n i=1 u j s, x dx I j ds u js, x j u j s, x j ds +t β β + Lip C β u s u s R n ;R n L1 R + ;R n ds. Define x = min i=1,...,n x i and t = Γ x. As long as s [, T ], we have u j s, x j = u j s, x j. Hence the above estimate leads to b b L 1 [,t];r n t for all t [, t]. In the same time interval, α α C R+ Rn;Rn + β β CRn;Rn + Lip β u s u s L1 R + ;R n ds u t u t L1 ect b b R + ;R n L1 [,t];r n t ect α α C R+ Rn;Rn + β β CRn;Rn + Lipβ e Ct u s u s L1 R + ;R n ds
so that by Gronwall Lemma, for t [, t], u t u t [ t e Ct L1 α α R + ;R n C R+ Rn;Rn + ] β β CRn;Rn [ ] Lipβ t e Ct exp. A repeated application of the estimate above on the intervals [k 1 t, k t] allows to complete the proof. Proof of Corollary 3.1. Introduce u 1, u,... as in table 3.1. Then, extend d 1, d and g to R + R maintaining the required regularity and bounds on the total variation. The resulting system fits into 1.1 1.. Hence, d, g and.14 hold. Theorem.4 applies, ensuring the well posedness of the Cauchy problem. Finally, the solution to 3. is obtained restricting the solution to 1.1 1. 3.1 to [, a max ] and to [x min, x max ]. Acknowledgment: The authors were supported by the INDAM GNAMPA project Conservation Laws: Theory and Applications. References [1] A. S. Ackleh and K. Deng. A nonautonomous juvenile-adult model: well-posedness and long-time behavior via a comparison principle. SIAM J. Appl. Math., 696:1644 1661, 9. [] A. S. Ackleh, K. Deng, and X. Yang. Sensitivity analysis for a structured juvenile adult model. Comput. Math. Appl., 643:19, 1. [3] L. Ambrosio, N. Fusco, and D. Pallara. Functions of bounded variation and free discontinuity problems. Oxford Mathematical Monographs. The Clarendon Press Oxford University Press, New York,. [4] C. Bardos, A. Y. le Roux, and J.-C. Nédélec. First order quasilinear equations with boundary conditions. Comm. Partial Differential Equations, 49:117 134, 1979. [5] F. Brauer and C. Castillo-Chavez. Mathematical models in population biology and epidemiology, volume 4 of Texts in Applied Mathematics. Springer, New York, second edition, 1. [6] A. Bressan. Hyperbolic systems of conservation laws, volume of Oxford Lecture Series in Mathematics and its Applications. Oxford University Press, Oxford,. The one-dimensional Cauchy problem. [7] R. M. Colombo and G. Guerra. On general balance laws with boundary. J. Differential Equations, 485:117 143, 1. [8] R. M. Colombo, G. Guerra, M. Herty, and V. Schleper. Optimal control in networks of pipes and canals. SIAM J. Control Optim., 483:3 5, 9. [9] M. Garavello and B. Piccoli. Traffic flow on networks, volume 1 of AIMS Series on Applied Mathematics. American Institute of Mathematical Sciences AIMS, Springfield, MO, 6. Conservation laws models. [1] N. Keyfitz. The mathematics of sex and marriage. In Proceedings of the Sixth Berkeley Symposium on Mathematical Statistics and Probability, Volume 4: Biology and Health, pages 89 18, Berkeley, Calif., 197. University of California Press. [11] S. N. Kružhkov. First order quasilinear equations with several independent variables. Mat. Sb. N.S., 81 13:8 55, 197. [1] R. J. LeVeque. Finite volume methods for hyperbolic problems. Cambridge Texts in Applied Mathematics. Cambridge University Press, Cambridge,. [13] P. Manfredi. Logistic effects in the two-sex model with harmonic mean fertility function. Genus, 491-:43 65, 1993. [14] B. Perthame. Transport equations in biology. Frontiers in Mathematics. Birkhäuser Verlag, Basel, 7. 1
[15] R. Schoen. The harmonic mean as the basis of a realistic two-sex marriage model. Demography, 18:1 16, 1981. cited By since 1996. [16] R. Schoen. Relationships in a simple harmonic mean two-sex fertility model. Journal of Mathematical Biology, 183:1 11, 1983. [17] R. Schoen. Modeling multigroup populations. Springer, 1988. [18] D. Serre. Systems of conservation laws.. Cambridge University Press, Cambridge,. Geometric structures, oscillations, and initial-boundary value problems, Translated from the 1996 French original by I. N. Sneddon. [19] A. Sundelof and P. Aberg. Birth functions in stage structured two-sex models. Ecological Modeling, 193:787 795, 6.