1. 引言
自二十世纪六七十年代以来,人们发现肿瘤生长的基本规律可以表述为偏微分方程的数学问题。1972年,H. Greenspan [1] [2] 开创性地提出了一个偏微分方程的数学模型来描述肿瘤生长问题。肿瘤生长过程中其体积不会无限制地增加是由于肿瘤内细胞的繁衍与死亡达到了某种平衡。1995年,Byrne 和Chaplain 在文献 [3] [4] 中提出了自由边界问题,为肿瘤生长模型的自由生长问题奠定了重要的基础。文献 [5] [6] [7] [8] 讨论了肿瘤生长细胞在约束条件为Dirichlet边界条件下解的性态。在文献 [9] 中崔尚斌介绍了肿瘤生长自由边界问题的相关研究内容和进展状况。随着人们研究以及对肿瘤细胞生物学背景理解的深入,一系列以偏微分方程自由边界问题的形式来表达肿瘤生长的模型被提出。文献 [10] [11] [12] [13] 从不同的侧面对肿瘤的生长机理进行探讨,分析了在营养物作用下具有第三边界条件的肿瘤生长问题。在本文中,我们将通过运用抛物型方程的
理论、边界固定等方法来分析含抑制剂的非线性球对称血管化肿瘤生长自由边界问题整体解的存在唯一性。
2. 模型确立
在文献 [6] 中,崔尚斌和Friedman提出了营养物与抑制物同时存在的球形肿瘤生长模型:
式中:
,
;
表示时刻t肿瘤的半径;
表示营养物的
浓度;
表示抑制物的浓度;
、
分别为营养物消耗速率和抑制物消耗速率;
为正常数,分别表示肿瘤细胞分裂速率与营养物扩散速率及抑制物扩散速率的比值;
、
、
、
为给定的函数。
根据参考文献 [11] ,考虑第三类边界条件:
,
式中:
、
为正数值函数 [11] ,分别反映肿瘤通过自身血管系统从宿主组织接受营养物及抑制物的能力,而在本文中,我们考虑
、
均为与时间t无关的正常数a、b的特殊情况;
、
为宿主细胞中营养物和抑制物的浓度值,为简化模型,令
。简化后的模型如下:
(1)
式中:
分别为营养物消耗速率函数、抑制物消耗速率函数和肿瘤细胞繁衍速率函数。本模型中
。
3. 预备知识
根据生物学背景,我们对函数
做以下假设 [7] :
(A1)
在
上有定义且Lipschitz连续,二者关于u和v均单调增加,且
,
;
(A2)
在
上有定义且Lipschitz连续,其关于u单调增加,关于v单调减少;
,存在常数
,使得
;对于任何
,
;
;
(A3)
和
都在
上二次弱可微(即
,且
和
都Lipschitz 连续),弱导数
和
都有界,且
,
,
,
,
,
。
为后续证明全局解的存在唯一性,引入以下引理。
是
中具有
边界的有界域,设
,
,考虑以下抛物型初边值问题:
(2)
式中:
,
,
;
,
;
,
;
,对常数
,
,
,
,
,v表示
的单位向外法向导数。我们假设方程(2)1在
中是一致抛物的,因此,对于
,矩阵
是一致正定的。
引理3.1 [14] 设
是等式(2)1的弱下解,则
,
式中:
;
表示
的抛物线边界,即
;C是正常数,取
决于参数
,矩阵
最小特征值的下界和
的上界。
引理3.2 [13] 设
是问题(2)的弱解,则
。
4. 整体解的存在唯一性
本节将给出问题(1)的主要结果及证明。
定理4.1 在假设(A1~A3)下,问题(1)的解
在其存在范围内满足
, (3)
, (4)
, (5)
式中:
;
。
证明 考虑初边值问题
显然,
是该问题的解。根据假设条件(A1)(A3)可以得到,
和
分别为该问题的一对上下解,由比较原理可知
。同理,还可以证明
。根据假设条件(A2),我们可以得出
。由(1)5,易得(4)(5)式。定理4.1得证。
定理4.2 假设条件(A1~A3)满足,则对于任何给定的
,问题(1)对所有
存在唯一的古典解。
证明 设
,对问题(1)进行变量变换:
,定义:
,
,故将自由边界问题转化为固定域
上的初始边值问题:
(6)
式中:
;
。
引入度量空间
,对于由所有向量函数
组成的集合
,其中
,
,且
满足下列条件:
(a)
;
(b)
;
(c)
。
度量d的定义如下:对
,
易得,
是一个完备的度量空间。
定义映射
,对于
,令
为下面初值问题的唯一解:
显然,
。由函数
的性质,
,
令
,易知,
,
。因此,
,
,
满足条件(c)。
考虑以下抛物型初边值问题
(7)
设固定常数
,利用抛物型初边值问题的标准
理论,
,使得上述问题存在唯一解
。由于
和
是问题(7)的一对上下解,
,且F为单调递增函数,由标准比较原理,
。 (8)
解
可以扩展到整个域
,上述估计在扩展后保持有效。由于解
关于变量x球对称的,因此对定义在
上的双变量函数
有
,显然
为问题(6)1、(6)3、(6)6的唯一解,且
,即
满足条件(a)。同理,由(6)2、(6)4、(6)7可得唯一解
,且
,可得
满足条件(b)。
在证明
满足条件(a)时,
对应初边值问题
中的
。相应的,在证明
满足条件(b)时,
对应函数
。在此考虑抑制物作用,当其直接作用于肿瘤细胞时,所涉及函数为
、
,当其间接作用于肿瘤细胞时,所涉及函数为
、
。
综上,
,
是
到
上的映射。
根据文献 [15] ,对于问题(7),选定一个常数
,且限制
。由抛物型偏微分方程标准
理论知,存在一个常数
,使得
, (9)
, (10)
由于
的法向导数受边界条件的约束,且球面对称,故
有界。取
,通过嵌入定理
,对任意
,
,那么
。 (11)
下面证明
是收缩映射。设
,
。记
,有
,
由假设条件(A1)(A2)得:存在常数
,使得对
有,
,
则,
,显然,
。 (12)
下面估计
,记
,
,
,
分
别对应问题(7)中
的解,则
为下列初边值问题的解。
式中:
,
被一个与T无关但取决于T0的常数C所约束。由引理3.2,得
。 (13)
结合上述估计,对(13)进行化简,得
,
,
,
因此,对于营养物浓度,问题(6)1、(6)3、(6)6结合
所对应的初边值问题,我们有:
;同理,对于抑制物浓度,
成立。
由此可知,
。
综上,当T充分小时,
是一个收缩映射。应用Banach不动点定理可知,有唯一的不动点
,通过分析证明,我们得到该不动点是问题(6)在时间区间
上的经典解。
由于变量变换,问题(1)和问题(6)等价。因此,对于问题(1),存在一个
,使得其在时间区间
上有经典解
。根据定理4.1及已有文献 [6] 的论证,
,使得
,问题(1)在区间
上存在唯一的局部解。由于解的唯一性,我们可以得到其在时间区间
上的经典解,进而可以将其扩展到整个时间区间
。定理4.2得证。
5. 总结
本文研究了一个营养物和抑制物同时存在的非线性血管型肿瘤生长模型。文中首先运用边界固定法将自由边界问题问题转化为固定边界上的非线性初边值问题,其次运用抛物型方程的
理论和Banach不动点定理构造压缩映射,证明该问题局部解的存在唯一性,最后利用变换函数与其原始函数之间的关系,用延拓方法得到整体解的存在唯一性。
NOTES
*通讯作者。