TY - JOUR
T1 - On the formulation of size-structured consumer resource models (with special attention for the principle of linearized stability)
AU - Barril, Carles
AU - Calsina, Àngel
AU - Diekmann, Odo
AU - Farkas, József Z.
N1 - Publisher Copyright:
© 2022 World Scientific Publishing Company.
PY - 2022/6/15
Y1 - 2022/6/15
N2 - To describe the dynamics of a size-structured population and its unstructured resource, we formulate bookkeeping equations in two different ways. The first, called the PDE formulation, is rather standard. It employs a first-order partial differential equation, with a non-local boundary condition, for the size-density of the consumer, coupled to an ordinary differential equation for the resource concentration. The second is called the DELAY formulation and employs a renewal equation for the population level birth rate of the consumer, coupled to a delay differential equation for the (history of the) resource concentration. With each of the two formulations we associate a constructively defined semigroup of nonlinear solution operators. The two semigroups are intertwined by a non-invertible operator. In this paper, we delineate in what sense the two semigroups are equivalent. In particular, we (i) identify conditions on both the model ingredients and the choice of state space that guarantee that the intertwining operator is surjective, (ii) focus on large time behavior and (iii) consider full orbits, i.e. orbits defined for time running from -∞ to + ∞. Conceptually, the PDE formulation is by far the most natural one. It has, however, the technical drawback that the solution operators are not differentiable, precluding rigorous linearization. (The underlying reason for the lack of differentiability is exactly the same as in the case of state-dependent delay equations: we need to differentiate with respect to a quantity that appears as argument of a function that may not be differentiable.) For the delay formulation, one can (under certain conditions concerning the model ingredients) prove the differentiability of the solution operators and establish the Principle of Linearized Stability. Next, the equivalence of the two formulations yields a rather indirect proof of this principle for the PDE formulation.
AB - To describe the dynamics of a size-structured population and its unstructured resource, we formulate bookkeeping equations in two different ways. The first, called the PDE formulation, is rather standard. It employs a first-order partial differential equation, with a non-local boundary condition, for the size-density of the consumer, coupled to an ordinary differential equation for the resource concentration. The second is called the DELAY formulation and employs a renewal equation for the population level birth rate of the consumer, coupled to a delay differential equation for the (history of the) resource concentration. With each of the two formulations we associate a constructively defined semigroup of nonlinear solution operators. The two semigroups are intertwined by a non-invertible operator. In this paper, we delineate in what sense the two semigroups are equivalent. In particular, we (i) identify conditions on both the model ingredients and the choice of state space that guarantee that the intertwining operator is surjective, (ii) focus on large time behavior and (iii) consider full orbits, i.e. orbits defined for time running from -∞ to + ∞. Conceptually, the PDE formulation is by far the most natural one. It has, however, the technical drawback that the solution operators are not differentiable, precluding rigorous linearization. (The underlying reason for the lack of differentiability is exactly the same as in the case of state-dependent delay equations: we need to differentiate with respect to a quantity that appears as argument of a function that may not be differentiable.) For the delay formulation, one can (under certain conditions concerning the model ingredients) prove the differentiability of the solution operators and establish the Principle of Linearized Stability. Next, the equivalence of the two formulations yields a rather indirect proof of this principle for the PDE formulation.
KW - delay formulation
KW - Physiologically structured populations
UR - http://www.scopus.com/inward/record.url?scp=85134396932&partnerID=8YFLogxK
U2 - 10.1142/S0218202522500269
DO - 10.1142/S0218202522500269
M3 - Article
AN - SCOPUS:85134396932
SN - 0218-2025
VL - 32
SP - 1141
EP - 1191
JO - Mathematical Models and Methods in Applied Sciences
JF - Mathematical Models and Methods in Applied Sciences
IS - 6
ER -