1. 引言
近年来,趋化模型在生物数学领域占据了重要地位,成为研究者关注的核心课题。这类模型主要用于刻画细胞在化学信号物质引导下发生的定向迁移现象,该生物学过程在胚胎形态发生、组织修复及新生血管生成等多种生理活动中具有关键作用。通过研究趋化机制,不仅能够深化对这些基础生命现象的认识,更有助于揭示生命系统发育的内在规律。
让我们聚焦于下面的趋化系统:
(1.1)
其中
代表细胞种群密度,
表示化学信号物质浓度,
和
为非负参数。这里
表示边界
上的单位外法向导数。参数
表示趋化效应的强度:当
时,细胞会向化学信号浓度较高的区域聚集;而当
时,细胞则会表现出远离化学信号源的迁移特性。
当
时,在
的情况下,Zhao和Zheng在
时证明:对于
,当
或者
时,系统具有唯一的全局有界古典解[1]。后续研究中,Zhao在
时,对于
且
,
,建立了全局有界的经典解[2]。
当
时,我们在论证系统(1.1)在此情形下的全局解存在性时,要面临较经典趋化模型更为复杂的挑战。首要困难源于
方程中
项的非线性动力学特性,这与传统趋化模型存在本质差异,使得后者的证明方法难以直接利用。我们观察到,对于与(1.1)在此情形下相关的logistic趋化系统,适当的logistic阻尼作用可以防止解的爆破。例如,在
的情况下,Lankeit和Lankeit [3]在
时证明了有
界
维空间中,对于任意
弱解的全局可解性。其进一步研究[4]表明:当
且
时,系统从任意适当光滑初值出发都存在全局经典解,并且在所有一维情形下的经典解都具有全局有界性。以及Wang [5]在
时证明:对于
,当
时,存在
,使得当
时系统存在全局经典解。
对于趋化系统
(1.2)
在
的情况下,Tao,Wang和Wang在
时证明:在Neumann边界条件下,
和
均为常数,那么对于任何充分光滑的初始数据
,满足
,
不恒等于0和
,该系统存在唯一的全局有界解,并且该解在
中有
,其中 [6]。
本文受以上结论启发,研究一类具有奇异灵敏度和Logistic源的抛物–抛物趋化系统:
(1.3)
其中
是一个光滑且有界的区域,
是
的单位外法向量,
且
。本文的目标是证明解全局存在性结果。非负初始函数
和
满足对某个
,
以及
,
。
我们论文主要结果如下:
定理1.1 设
是
中的一个光滑有界的凸区域。如果
,当
,
或者
时,系统(1.3)存在唯一的全局光滑非负解。
论文结构安排如下。第二节将重点建立抛物–抛物型趋化系统(1.3)的先验估计。基于这些估计结果,第三节将完成本文主要定理的证明。
2. 预备知识
本节我们主要给出解的局部存在性以及一些先验估计。需要特别指出的是,虽然系统(1.3)中的项
具有
型奇异结构,但在初始条件
严格正定的假设下,该奇异性在有限时间内不会显现。
引理2.1 设
是
中的一个光滑有界凸区域。则系统(1.3)存在唯一的非负解
,其最大存在时间
,并满足
或者
,或者
(2.1)
引理2.2 函数
满足
(2.2)
其中
。
证明:我们对(1.3)中的第二个方程应用常数变易法,并根据
,可以得到
其中
。
3. 定理1.1的证明
本节将给出定理1.1的完整证明。基于极值原理,我们首先建立关于
和
的估计。
引理3.1 在
时,若
及
或者
及
,则存在不依赖于
的正常数
,
使得以下估计式成立:
(3.1)
证明:根据(1.3)的第一个方程,我们可以得到
(3.2)
根据(1.3)的第二个方程,我们可以得到
(3.3)
令
,记
。由于
,
以及
的凸性可知,在
中,有
。将(3.2)和(3.3)
相加,得到
(3.4)
利用Young不等式和
,
可知,当
,我们有
(3.5)
我们将(3.5)代入(3.4),可以得到
(i)
。
利用Young不等式,当
时,我们计算
(ii)
。
利用Young不等式,有
令
,当
,
或者
时,我们有
从而
记
,我们有
这意味着
由于在
上,
,并根据极值原理可得:
令
,那么
所以我们得到
从而
因此我们得到了(3.1)的估计,引理3.1的证明完成。
引理3.2 在引理3.1的条件成立的前提下,存在不依赖于
的正常数
,
,
,
使得以下估计式成立:
(3.6)
证明:根据常数变易公式我们可以得到:
根据(1.3)的第二个方程,可以得到
从而
(3.7)
令
,利用插值不等式、嵌入关系
以及(3.7),我们有
结合上述估计,对
取上确界并运用Young不等式,得
那么
我们完成了引理3.2的证明。接下来,我们来证明定理1.1。
定理1.1的证明:我们要证当
时,若
及
或者
及
时,
。假设不然,即
。由于引理3.1和引理3.2以及爆破准则可知,这与
的事实相矛盾。因此
。至此,我们的证明完毕。
4. 讨论
本文研究了凸域上带奇异敏感和Logistic源的趋化模型。我们证明了,当敏感性系数
时,若
及
或者
及
时,系统存在唯一的全局古典解。本节旨在对这一结论进行讨论,
并展望未来研究方向。
是为了保证系统可以转化成一个单个方程,进一步,当
及
充分大或者
及
时,
可以借助于极值原理得到解的整体存在性。这蕴含着敏感性系数恰当小并且Logistic源充分强时,有利于建立系统的整体存在性。
基于本文的工作,以下几个方向值得进一步探索:移除区域的凸性假设得到解的整体存在性是一个明显的下一步目标。当敏感性系数
较大时,得到解的整体存在性以及敏感性系数
更小时,得到解的整体有界性和长时间渐进行为,也有很大研究空间。