[论文解读] Criteria for linearized stability for a size-structured population model

Inom Mirzaev, David M. Bortz|arXiv (Cornell University)|Feb 10, 2015

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 15被引用 6

一句话总结

该论文为一种包含生长、聚集、沉降、捕食和繁殖的大小结构化浮游植物种群模型的零解建立了局部指数渐近稳定性和不稳定性的充分条件。通过线性化稳定性理论和半群紧致性论证，推导出一个可计算的特征函数，该函数基于生长、去除和繁殖速率之间的相互作用来决定稳定性。

ABSTRACT

We consider a size-structured aggregation and growth model of phytoplankton community proposed by Ackleh and Fitzpatrick [2]. The model accounts for basic biological phenomena in phytoplankton community such as growth, gravitational sedimentation, predation by zooplankton, fecundity, and aggregation. Our primary goal in this paper is to investigate the long-term behavior of the proposed aggregation and growth model. Particularly, using the well-known principle of linearized stability and semigroup compactness arguments, we provide sufficient conditions for local exponential asymptotic stability of zero solution as well as sufficient conditions for instability. We express these conditions in the form of an easy to compute characteristic function, which depends on the functional relationship between growth, sedimentation and fecundity. Our results can be used to predict long-term phytoplankton dynamic

研究动机与目标

• 分析包含聚集、生长、沉降、捕食和繁殖的非线性大小结构化浮游植物种群模型的长期行为。
• 解决Ackleh和Fitzpatrick提出的非线性Smoluchowski凝聚型模型缺乏稳定性分析的问题。
• 使用线性化稳定性理论，建立零解局部指数渐近稳定性和不稳定性的充分条件。
• 将稳定性准则表达为一个可计算的特征函数，该函数依赖于生长、沉降和繁殖之间的函数关系。
• 提供一个基于模型参数预测长期浮游植物动态的框架。

提出的方法

• 将浮游植物模型表述为在 $L^1[x_0, x_1]$ 中的半线性抽象柯西问题，其中种群密度 $p(t,x)$ 满足一个非线性积分微分方程。
• 将动力学分解为一个线性算子 $\mathcal{L}$，用于描述输运和去除，以及一个非线性算子 $\mathcal{N}$，用于建模聚集和繁殖。
• 应用线性化稳定性原理，通过分析在零解处线性化算子 $\mathcal{L} + D\mathcal{N}(\bar{f})$ 的谱来研究稳定性。
• 利用半群理论和紧致性论证，证明由 $\mathcal{L}$ 生成的半群是最终紧致的，从而支持谱分析。
• 推导出一个特征函数 $\xi(\lambda)$，其零点决定系统的稳定性，稳定性取决于 $\xi(0)$ 的符号。
• 证明若 $\xi(0) = \int_{x_0}^{x_1} \frac{q(x)}{g(x)} \exp\left(-\int_{x_0}^{x} \frac{w(s)}{g(s)} ds\right) - 1 > 0$，则系统不稳定。

实验结果

研究问题

• RQ1 在什么条件下，该大小结构化浮游植物模型的零解是局部指数渐近稳定的？
• RQ2 在存在非线性聚集和繁殖的情况下，何种条件会导致零解的不稳定？
• RQ3 如何利用基于生长、去除和繁殖速率推导出的特征函数来确定系统的稳定性？
• RQ4 半群的紧致性和谱性质在决定长期行为中起什么作用？
• RQ5 生长速率或繁殖率的变化如何影响零解的稳定性？

主要发现

• 若特征函数 $\xi(0) \leq 0$，则零解是局部指数渐近稳定的，该条件取决于繁殖、生长和去除速率之间的平衡。
• 若 $\xi(0) > 0$，则系统不稳定，即使其他参数保持不变，增加繁殖率或降低生长率均可引发不稳定。
• 由线性算子 $\mathcal{L}$ 生成的半群是最终紧致的，紧致性在 $t > 2\Gamma(x_1)$ 时成立，其中 $\Gamma(x) = \int_{x_0}^x \frac{1}{g(s)} ds$。
• $\mathcal{L}$ 的谱仅由孤立的特征值组成，这使得谱分析可用于稳定性判定。
• 一个假设的参数集：$x_0=1$，$x_1=1000$，$q(x)=\ln(x)$，$g(x)=\frac{1}{10}x(1001-x)$，$w(x)=\frac{1}{1000}(x-1)^{1.17}$，可导致零解稳定。
• 在保持繁殖率不变的同时将生长率减半，会导致系统不稳定，表明稳定性并非直观可判断，必须通过特征函数进行定量分析。