本文研究一个含抑制剂的血管型肿瘤生长模型。该模型包含了一个描述肿瘤半径的常微分方程和两个分别描述营养物浓度和抑制物浓度变化的抛物型方程。通过运用抛物型方程的 理论、边界固定法和Banach不动点定理,证明了该问题局部解的存在唯一性,然后用延拓方法得到了整体解的存在唯一性。 The vascularized tumor growth model with inhibitor was studied. The model consists an ordinary differential equation describing tumor radius, and two parabolic equations describing the variation of nutrients and inhibitor concentrations, respectively. By applying the theory of parabolic equations, the boundary fixation method and the Banach fixed point theorem, the existence and uniqueness of a local solution was proved, and then the extension method was used to obtain the existence and uniqueness of the global solution.
本文研究一个含抑制剂的血管型肿瘤生长模型。该模型包含了一个描述肿瘤半径的常微分方程和两个分别描述营养物浓度和抑制物浓度变化的抛物型方程。通过运用抛物型方程的 L p 理论、边界固定法和Banach不动点定理,证明了该问题局部解的存在唯一性,然后用延拓方法得到了整体解的存在唯一性。
肿瘤生长,自由边界问题,整体解,存在性,唯一性
Menglin Ge*, Yanhong Zhu
School of Sciences, Chang’an University, Xi′an Shaanxi
Received: Nov. 25th, 2023; accepted: Dec. 19th, 2023; published: Dec. 27th, 2023
The vascularized tumor growth model with inhibitor was studied. The model consists an ordinary differential equation describing tumor radius, and two parabolic equations describing the variation of nutrients and inhibitor concentrations, respectively. By applying the L p theory of parabolic equations, the boundary fixation method and the Banach fixed point theorem, the existence and uniqueness of a local solution was proved, and then the extension method was used to obtain the existence and uniqueness of the global solution.
Keywords:Tumor Growth, Free Boundary Problem, Global Solution, Existence, Uniqueness
Copyright © 2023 by author(s) and beplay安卓登录
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
自二十世纪六七十年代以来,人们发现肿瘤生长的基本规律可以表述为偏微分方程的数学问题。1972年,H. Greenspan [
在文献 [
{ c 1 ∂ u ∂ t = Δ r u − λ u − v , 0 < r < R ( t ) , t > 0 , c 2 ∂ v ∂ t = Δ r v − γ v , 0 < r < R ( t ) , t > 0 , ∂ u ∂ r ( 0 , t ) = 0 , u ( R ( t ) , t ) = u ¯ , t > 0 , ∂ v ∂ r ( 0 , t ) = 0 , v ( R ( t ) , t ) = v ¯ , t > 0 , d R ( t ) d t = μ R 2 ( t ) ∫ 0 R ( t ) ( u ( r , t ) − u ˜ ) r 2 d r , t > 0 , u ( r , 0 ) = φ 0 ( r ) , v ( r , 0 ) = ψ 0 ( r ) , 0 ≤ r ≤ R 0 , ∂ φ 0 ∂ r ( 0 ) = ∂ ψ 0 ∂ r ( 0 ) = 0 , R ( 0 ) = R 0 ,
式中: Δ r u = 1 r 2 ∂ ∂ r ( r 2 ∂ u ∂ r ) , Δ r v = 1 r 2 ∂ ∂ r ( r 2 ∂ v ∂ t ) ; R ( t ) 表示时刻t肿瘤的半径; u = u ( r , t ) 表示营养物的
浓度; v = v ( r , t ) 表示抑制物的浓度; λ 、 γ 分别为营养物消耗速率和抑制物消耗速率; c 1 , c 2 为正常数,分别表示肿瘤细胞分裂速率与营养物扩散速率及抑制物扩散速率的比值; u R ( r ) 、 v R ( r ) 、 ϕ 0 ( r ) 、 ψ 0 ( r ) 为给定的函数。
根据参考文献 [
∂ u ∂ r + a ( t ) ( u − u ¯ ¯ ) = 0 , r = R ( t ) , t > 0 , ∂ v ∂ r + b ( t ) ( v − v ¯ ¯ ) = 0 , r = R ( t ) , t > 0 ,
式中: a ( t ) 、 b ( t ) 为正数值函数 [
{ c 1 ∂ u ∂ t = Δ r u − f ( u , v ) , 0 < r < R ( t ) , t > 0 , c 2 ∂ v ∂ t = Δ r v − g ( u , v ) , 0 < r < R ( t ) , t > 0 , ∂ u ∂ r ( 0 , t ) = 0 , ∂ u ∂ r + a ( u − u ¯ ¯ ) = 0 , t > 0 , ∂ v ∂ r ( 0 , t ) = 0 , ∂ v ∂ r + b ( v − v ¯ ¯ ) = 0 , t > 0 , d R ( t ) d t = 1 R n − 1 ( t ) ∫ 0 R ( t ) S ( u ( r , t ) , v ( r , t ) ) r n − 1 d r , t > 0 , u ( r , 0 ) = u 0 ( r ) , v ( r , 0 ) = v 0 ( r ) , 0 ≤ r ≤ R 0 , R ( 0 ) = R 0 , (1)
式中: f ( u , v ) , g ( u , v ) , S ( u , v ) 分别为营养物消耗速率函数、抑制物消耗速率函数和肿瘤细胞繁衍速率函数。本模型中 n = 3 。
根据生物学背景,我们对函数 f ( u , v ) , g ( u , v ) , S ( u , v ) 做以下假设 [
(A1) f ( u , v ) , g ( u , v ) 在 [ 0 , ∞ ) × [ 0 , ∞ ) 上有定义且Lipschitz连续,二者关于u和v均单调增加,且 f ( 0 , v ) = 0 , ∀ v ≥ 0 , g ( u , 0 ) = 0 , ∀ u ≥ 0 ;
(A2) S ( u , v ) 在 [ 0 , ∞ ) × [ 0 , ∞ ) 上有定义且Lipschitz连续,其关于u单调增加,关于v单调减少;
S ( 0 , 0 ) < 0 ,存在常数 u ˜ ≥ 0 ,使得 S ( u ˜ , 0 ) = 0 ;对于任何 u > 0 , lim v → ∞ S ( u , v ) < 0 ; u ¯ ¯ > u ˜ ;
(A3) u 0 ( r ) 和 v 0 ( r ) 都在 [ 0 , R 0 ] 上二次弱可微(即 u 0 ( r ) , v 0 ( r ) ∈ C 1 [ 0 , R 0 ] ,且 u ′ ( r ) 和 v ′ ( r ) 都Lipschitz 连续),弱导数 u ″ 0 ( r ) 和 v ″ 0 ( r ) 都有界,且 0 ≤ u 0 ( r ) ≤ u ¯ ¯ , 0 ≤ v 0 ( r ) ≤ v ¯ ¯ , ∀ r ∈ [ 0 , R 0 ] , u ′ 0 ( 0 ) = v ′ 0 ( 0 ) = 0 , u ′ 0 ( R 0 ) = a ( u ¯ ¯ − u ( R 0 ) ) , v ′ 0 ( R 0 ) = b ( v ¯ ¯ − v ( R 0 ) ) 。
为后续证明全局解的存在唯一性,引入以下引理。
Ω 是 R n 中具有 C 1 边界的有界域,设 T > 0 , Q T = Ω × ( 0 , T ] ,考虑以下抛物型初边值问题:
{ L u = ∂ t u − ∑ i , j = 1 n ∂ j ( a i j ( x , t ) ∂ i u + ∑ i = 1 n b i ( x , t ) ∂ i u + c ( x , t ) u = f ( x , t ) , x ∈ Ω , 0 < t ≤ T , ∂ v u + β ( x , t ) u = g ( x , t ) , x ∈ ∂ Ω , 0 < t < T , u ( x , 0 ) = u 0 , x ∈ Ω ¯ , (2)
式中: a i j ∈ L ∞ ( Q T ) ( i , j = 1 , 2 , ⋯ , n ) , b i ∈ L q ( Q T ) ( i = 1 , 2 , ⋯ , n ) , n + 2 < q ≤ ∞ ; c ∈ L q / 2 ( Q T ) , c ≥ 0 ;
f ∈ L T ( Q T ) , ( n + 2 ) / 2 < r ≤ n + 2 ; β , g ∈ L ∞ ( ∂ Ω × ( 0 , T ) ) ,对常数 β 0 > 0 , β ≥ β 0 , u 0 ∈ L ∞ ( Ω ) , ∂ i u = ∂ u ∂ x i , ∂ v u = ∂ u ∂ v ,v表示 ∂ Ω 的单位向外法向导数。我们假设方程(2)1在 Q T 中是一致抛物的,因此,对于 ( x , t ) ∈ Q T ,矩阵 ( a i j ( x , t ) ) n × n 是一致正定的。
引理3.1 [
ess sup Q T u ≤ ess sup ∂ p Q T u + + C | Ω | 2 n + 2 − 1 r ‖ f ‖ L r ( Q T ) ,
式中: u + = max { u , 0 } ; ∂ p Q T 表示 Q T 的抛物线边界,即 ∂ p Q T = ( Ω ¯ × { 0 } ) ∪ ( ∂ Ω × ( 0 , T ) ) ;C是正常数,取
决于参数 n , p , q , r , T ,矩阵 ( a i j ( x , t ) ) n × n 最小特征值的下界和 ‖ a i j ‖ L ∞ ( Q T ) , ‖ b i ‖ L q ( Q T ) , ‖ c ‖ L q / 2 ( Q T ) 的上界。
引理3.2 [
‖ u ‖ L ∞ ( Q T ) ≤ ∫ 0 T ‖ f ( ⋅ , τ ) ‖ L ∞ ( Ω ) d τ + 1 β 0 ‖ g ‖ L ∞ ( ∂ Ω × [ 0 , T ] ) + ‖ u 0 ‖ L ∞ ( Ω ) 。
本节将给出问题(1)的主要结果及证明。
定理4.1 在假设(A1~A3)下,问题(1)的解 ( u ( r , t ) , v ( r , t ) , R ( t ) ) 在其存在范围内满足
0 ≤ u ( r , t ) ≤ u ¯ ¯ , 0 ≤ v ( r , t ) ≤ v ¯ ¯ , 0 ≤ r ≤ R ( t ) , t ≥ 0 , (3)
1 n M 1 ≤ R ′ ( t ) R ( t ) ≤ 1 n M 2 , t > 0 , (4)
R 0 e 1 n M 1 t ≤ R ( t ) ≤ R 0 e 1 n M 2 t , t ≥ 0 , (5)
式中: M 1 = S ( 0 , v ¯ ¯ ) < 0 ; M 2 = S ( u ¯ ¯ , 0 ) > 0 。
证明 考虑初边值问题
{ c 1 ∂ σ ∂ t = Δ r σ − f ( σ , v ) , 0 < r < R ( t ) , t > 0 , ∂ σ ∂ r ( 0 , t ) = 0 , ∂ σ ∂ r + a ( σ − u ¯ ¯ ) = 0 , t > 0 , σ ( r , 0 ) = u 0 ( r ) , 0 ≤ r ≤ R 0 ,
显然, σ = u ( r , t ) 是该问题的解。根据假设条件(A1)(A3)可以得到, σ ≡ u ¯ ¯ 和 σ ≡ 0 分别为该问题的一对上下解,由比较原理可知 0 ≤ u ( r , t ) ≤ u ¯ ¯ , ( 0 ≤ r ≤ R ( t ) , t ≥ 0 ) 。同理,还可以证明 0 ≤ v ( r , t ) ≤ v ¯ ¯ , ( 0 ≤ r ≤ R ( t ) , t ≥ 0 ) 。根据假设条件(A2),我们可以得出 M 1 = S ( 0 , v ¯ ¯ ) ≤ S ( u ( r , t ) , v ( r , t ) ) ≤ S ( u ¯ ¯ , 0 ) = M 2 > 0 。由(1)5,易得(4)(5)式。定理4.1得证。
定理4.2 假设条件(A1~A3)满足,则对于任何给定的 c > 0 ,问题(1)对所有 t > 0 存在唯一的古典解。
证明 设 T > 0 ,对问题(1)进行变量变换: r ↦ s = r R ( t ) ,定义: α ( s , t ) = u ( s R ( t ) , t ) ,
β ( s , t ) = v ( s R ( t ) , t ) ,故将自由边界问题转化为固定域 ( 0 ≤ s ≤ 1 , 0 ≤ t ≤ T ) 上的初始边值问题:
{ c 1 ∂ t α = 1 R 2 ( t ) Δ s α + c s R ′ ( t ) R ( t ) ∂ s α − f ( α , β ) , 0 < s < 1 , 0 < t ≤ T , c 2 ∂ t β = 1 R 2 ( t ) Δ s β + c s R ′ ( t ) R ( t ) ∂ s β − g ( α , β ) , 0 < s < 1 , 0 < t ≤ T , ∂ s α ( 0 , t ) = 0 , ∂ s α ( 1 , t ) + a R ( t ) ( α ( 1 , t ) − α ¯ ¯ ) = 0 , 0 < t ≤ T , ∂ s β ( 0 , t ) = 0 , ∂ s β ( 1 , t ) + b R ( t ) ( β ( 1 , t ) − β ¯ ¯ ) = 0 , 0 < t ≤ T , R ′ ( t ) = R ( t ) ∫ 0 1 S ( α ( s , t ) , β ( s , t ) ) S n − 1 d s , 0 ≤ s ≤ 1 , α ( s , 0 ) = α 0 ( s ) , β ( s , 0 ) = β 0 ( s ) , R ( 0 ) = R 0 , (6)
式中: α 0 ( s ) = u 0 ( s R 0 ) ; β 0 ( s ) = v 0 ( s R 0 ) ( s ∈ [ 0 , 1 ] ) 。
引入度量空间 ( S T , d ) ,对于由所有向量函数 ( α ( s , t ) , β ( s , t ) , R ( t ) ) ( 0 ≤ s ≤ 1 , 0 ≤ t ≤ T ) 组成的集合 S T ,其中 α , β ∈ C ( [ 0 , 1 ] × [ 0 , T ] ) , R ∈ C [ 0 , T ] ,且 ( α ( s , t ) , β ( s , t ) , R ( t ) ) 满足下列条件:
(a) α ∈ C ( [ 0 , 1 ] × [ 0 , T ] ) , 0 ≤ α ≤ u ¯ ¯ , α ( ⋅ , 0 ) = α 0 ;
(b) β ∈ C ( [ 0 , 1 ] × [ 0 , T ] ) , 0 ≤ β ≤ v ¯ ¯ , β ( ⋅ , 0 ) = β 0 ;
(c) R ∈ C [ 0 , T ] , R 0 e 1 n M 1 t ≤ R ( t ) ≤ R 0 e 1 n M 2 t , 0 ≤ t ≤ T , R ( 0 ) = R 0 。
度量d的定义如下:对 ∀ ( α 1 , β 1 , R 1 ) , ( α 2 , β 2 , R 2 ) ∈ S T ,
d ( ( α 1 , β 1 , R 1 ) , ( α 2 , β 2 , R 2 ) ) = max ( s , t ) ∈ [ 0 , 1 ] × [ 0 , T ] | α 1 ( s , t ) − α 2 ( s , t ) | + max ( s , t ) ∈ [ 0 , 1 ] × [ 0 , T ] | β 1 ( s , t ) − β 2 ( s , t ) | + max t ∈ [ 0 , T ] | R 1 ( t ) − R 2 ( t ) | .
易得, ( S T , d ) 是一个完备的度量空间。
定义映射 Φ : S T → S T ,对于 ∀ ( α , β , R ) ∈ S T ,令 R ˜ = R ˜ ( t ) ( t ∈ [ 0 , T ] ) 为下面初值问题的唯一解:
{ R ′ ˜ ( t ) = R ˜ ( t ) ∫ 0 1 S ( α ( s , t ) , β ( s , t ) ) S n − 1 d s , 0 < t ≤ T , R ˜ ( 0 ) = R 0 ,
显然, R ˜ ( t ) = R 0 e ∫ 0 t G ( ξ ) d ξ ( 0 ≤ t ≤ T ) 。由函数 S ( α , β ) 的性质, M 1 ≤ S ( α , β ) ≤ M 2 ( 0 ≤ s ≤ 1 , 0 ≤ t ≤ T ) ,
令 G ( t ) = ∫ 0 1 S ( α ( s , t ) , β ( s , t ) ) S n − 1 d s ,易知, 1 n M 1 ≤ G ( t ) ≤ 1 n M 2 , 0 ≤ t ≤ T 。因此, R ˜ ∈ C 1 [ 0 , T ] , R 0 e 1 n M 1 t ≤ R ˜ ( t ) ≤ R 0 e 1 n M 2 t ( 0 ≤ t ≤ T ) , R ˜ 满足条件(c)。
考虑以下抛物型初边值问题
{ c 1 ∂ t z ˜ = 1 R ˜ 2 ( t ) Δ z ˜ + c R ′ ˜ ( t ) R ˜ ( t ) x ⋅ ∇ z ˜ − F ( x , t ) , | x | < 1 , 0 < t ≤ T , ∂ x z ˜ + a R ˜ ( t ) ( z ˜ − α ¯ ¯ ) = 0 , | x | = 1 , 0 < t ≤ T , z ˜ ( x , 0 ) = α 0 ( | x | ) , | x | ≤ 1 , (7)
设固定常数 p > n ,利用抛物型初边值问题的标准 L p 理论, ∃ 0 < T ′ ≤ T ,使得上述问题存在唯一解 z ˜ ∈ W p 2 , 1 ( Q T ′ ) 。由于 z ˜ ≡ α ¯ ¯ 和 z ˜ ≡ 0 是问题(7)的一对上下解, a R ˜ ( t ) ≥ 0 ,且F为单调递增函数,由标准比较原理,
0 ≤ z ˜ ( x , t ) ≤ α ¯ ¯ , | x | ≤ 1 , 0 ≤ t ≤ T ′ 。 (8)
解 z ˜ = z ˜ ( x , t ) 可以扩展到整个域 B ( 0 , 1 ) × [ 0 , T ] ,上述估计在扩展后保持有效。由于解 z ˜ ( x , t ) 关于变量x球对称的,因此对定义在 [ 0 , 1 ] × [ 0 , T ] 上的双变量函数 α ˜ = α ˜ ( s , t ) 有 z ˜ ( x , t ) = α ˜ ( | x | , t ) ,显然 α ˜ = α ˜ ( s , t ) 为问题(6)1、(6)3、(6)6的唯一解,且 0 ≤ α ˜ ( s , t ) ≤ α ¯ ¯ , 0 ≤ s ≤ 1 , 0 ≤ t ≤ T ,即 α ˜ 满足条件(a)。同理,由(6)2、(6)4、(6)7可得唯一解 β ˜ ( s , t ) ,且 0 ≤ β ˜ ( s , t ) ≤ β ¯ ¯ , 0 ≤ s ≤ 1 , 0 ≤ t ≤ T ,可得 β ˜ 满足条件(b)。
在证明 α ˜ 满足条件(a)时, F ( x , t ) 对应初边值问题 ( 6 ) 1 、 ( 6 ) 3 、 ( 6 ) 6 中的 f ( α ˜ ( s , t ) , β ( s , t ) ) 。相应的,在证明 β ˜ 满足条件(b)时, F ( x , t ) 对应函数 g ( α ( s , t ) , β ˜ ( s , t ) ) 。在此考虑抑制物作用,当其直接作用于肿瘤细胞时,所涉及函数为 f ( α ˜ ( s , t ) ) 、 g ( β ˜ ( s , t ) ) ,当其间接作用于肿瘤细胞时,所涉及函数为 f ( α ˜ ( s , t ) , β ( s , t ) ) 、 g ( β ˜ ( s , t ) ) 。
综上, ( α ˜ , β ˜ , R ˜ ) ∈ S T , Φ 是 S T 到 S T 上的映射。
根据文献 [
‖ z ˜ ‖ W p 2 , 1 ( Q T ) ≤ C ( T 0 ) , 0 < T ≤ T 0 , (9)
‖ ∇ x z ˜ ‖ L ∞ ( Q T ) ≤ C ′ ( T 0 ) , (10)
由于 z ˜ 的法向导数受边界条件的约束,且球面对称,故 ∇ x z ˜ 有界。取 p > n ,通过嵌入定理
W 1 , p ( B ( 0 , 1 ) ) ⊆ L ∞ ( B ( 0 , 1 ) ) ,对任意 0 < T ≤ T 0 , ∫ 0 T ‖ Δ z ˜ ( ⋅ , τ ) ‖ L ∞ ( B ( 0 , 1 ) ) p d τ ≤ C ( T 0 ) ,那么
∫ 0 T ‖ Δ z ˜ ( ⋅ , τ ) ‖ L ∞ ( B ( 0 , 1 ) ) d τ ≤ T 1 − 1 p C ( T 0 ) ≤ C ( T 0 ) 。 (11)
下面证明 Φ 是收缩映射。设 ( α 1 , β 1 , R 1 ) , ( α 2 , β 2 , R 2 ) ∈ S T , Φ ( α i , β i , R i ) = ( α ˜ i , β ˜ i , R ˜ i ) ( i = 1 , 2 ) 。记 G ( t ) = ∫ 0 1 S ( α i ( s , t ) , β i ( s , t ) ) S n − 1 d s ( i = 1 , 2 ) ,有
| R ˜ 1 ( t ) − R ˜ 2 ( t ) | ≤ R 0 | e ∫ 0 t G 1 ( ξ ) d ξ − e ∫ 0 t G 2 ( ξ ) d ξ | ≤ R 0 e 1 n M 2 T ∫ 0 T | G 1 ( ξ ) − G 2 ( ξ ) | d ξ ≤ R 0 T e 1 n M 2 T 0 max t ∈ [ 0 , T ] | G 1 ( t ) − G 2 ( t ) | , ( 0 ≤ t ≤ T ) ,
| G 1 ( t ) − G 2 ( t ) | = | ∫ 0 1 [ S ( α 1 ( s , t ) , β 1 ( s , t ) ) − S ( α 2 ( s , t ) , β 2 ( s , t ) ) ] s n − 1 d s | ,
由假设条件(A1)(A2)得:存在常数 C > 0 ,使得对 ∀ α 1 , α 2 ∈ [ 0 , α ¯ ¯ ] , β 1 , β 2 ∈ [ 0 , β ¯ ¯ ] 有, | S ( α 1 ( s , t ) , β 1 ( s , t ) ) − S ( α 2 ( s , t ) , β 2 ( s , t ) ) | ≤ C [ | α 1 ( s , t ) − α 2 ( s , t ) | + | β 1 ( s , t ) − β 2 ( s , t ) | ] ,
则, max t ∈ [ 0 , T ] | G 1 ( t ) − G 2 ( t ) | ≤ C ( T ) d ( ( α 1 , β 1 , R 1 ) , ( α 2 , β 2 , R 2 ) ) ,显然,
max t ∈ [ 0 , T ] | R ˜ 1 ( t ) − R ˜ 2 ( t ) | ≤ T C ( T 0 ) d ( ( α 1 , β 1 , R 1 ) , ( α 2 , β 2 , R 2 ) ) 。 (12)
下面估计 max ( s , t ) ∈ [ 0 , 1 ] × [ 0 , T ] | α ˜ 1 ( s , t ) − α ˜ 2 ( s , t ) | ,记 ω ( x , t ) = z ˜ 1 ( x , t ) − z ˜ 2 ( x , t ) , x ∈ B ( 0 , 1 ) , t ∈ [ 0 , T ] , z ˜ 1 , z ˜ 2 分
别对应问题(7)中 R ˜ 1 , R ˜ 2 的解,则 ω ( x , t ) 为下列初边值问题的解。
{ c 1 ∂ t ω = 1 R ˜ 1 2 ( t ) Δ ω + c R ′ ˜ 1 ( t ) R ˜ 1 ( t ) x ⋅ ∇ ω − c ( x , t ) ω + h ( x , t ) , | x | < 1 , 0 < t ≤ T , ∂ v ω + a R ˜ 1 ( t ) ω = φ ( x , t ) , | x | = 1 , 0 < t ≤ T , ω ( x , 0 ) = 0 , | x | ≤ 1 ,
式中:
h ( x , t ) = ( 1 R ˜ 1 2 ( t ) − 1 R ˜ 2 2 ( t ) ) Δ z ˜ 2 + c ( R ′ ˜ 1 ( t ) R ˜ 1 ( t ) − R ′ ˜ 2 ( t ) R ˜ 2 ( t ) ) x ⋅ ∇ z ˜ 2 , | x | < 1 , 0 < t ≤ T ; φ ( x , t ) = a ( R ˜ 1 ( t ) − R ˜ 2 ( t ) ) ( α ¯ ¯ − z ˜ 2 ( x , t ) ) , | x | = 1 , 0 < t ≤ T ; c ( x , t ) = F 1 ( x , t ) − F 2 ( x , t ) z ˜ 1 ( x , t ) − z ˜ 2 ( x , t ) , | x | < 1 , 0 < t ≤ T ;
c ≥ 0 , ‖ c ‖ L ∞ ( Q T ) 被一个与T无关但取决于T0的常数C所约束。由引理3.2,得
‖ ω ‖ L ∞ ( Q T ) ≤ 1 c 1 ∫ 0 T ‖ h ( ⋅ , t ) ‖ L ∞ ( B ( 0 , 1 ) ) d t + C ( T 0 ) ‖ φ ‖ L ∞ ( ∂ B ( 0 , 1 ) × [ 0 , T ] ) 。 (13)
结合上述估计,对(13)进行化简,得
∫ 0 T ‖ h ( ⋅ , t ) ‖ L ∞ ( B ( 0 , 1 ) ) d t ≤ T 1 − 1 p C ( T 0 ) d ( ( α 1 , β 1 , R 1 ) , ( α 2 , β 2 , R 2 ) ) ,
‖ φ ‖ L ∞ ( ∂ B ( 0 , 1 ) × [ 0 , T ] ) ≤ T C ( T 0 ) d ( ( α 1 , β 1 , R 1 ) , ( α 2 , β 2 , R 2 ) ) ,
‖ ω ‖ L ∞ ( Q T ) ≤ T C ( T 0 ) d ( ( α 1 , β 1 , R 1 ) , ( α 2 , β 2 , R 2 ) ) ,
因此,对于营养物浓度,问题(6)1、(6)3、(6)6结合 ω ( x , t ) 所对应的初边值问题,我们有:
max ( s , t ) ∈ [ 0 , 1 ] × [ 0 , T ] | α ˜ 1 ( s , t ) − α ˜ 2 ( s , t ) | = ‖ ω ‖ L ∞ ( B ( 0 , 1 ) × [ 0 , T ] ) ≤ T C ( T 0 ) d ( ( α 1 , β 1 , R 1 ) , ( α 2 , β 2 , R 2 ) ) ;同理,对于抑制物浓度, max ( s , t ) ∈ [ 0 , 1 ] × [ 0 , T ] | β ˜ 1 ( s , t ) − β ˜ 2 ( s , t ) | = ‖ ω ‖ L ∞ ( B ( 0 , 1 ) × [ 0 , T ] ) ≤ T C ( T 0 ) d ( ( α 1 , β 1 , R 1 ) , ( α 2 , β 2 , R 2 ) ) 成立。
由此可知, d ( ( α ˜ 1 , β ˜ 1 , R ˜ 1 ) , ( α ˜ 2 , β ˜ 2 , R ˜ 2 ) ) ≤ T C ( T 0 ) d ( ( α 1 , β 1 , R 1 ) , ( α 2 , β 2 , R 2 ) ) 。
综上,当T充分小时, Φ 是一个收缩映射。应用Banach不动点定理可知,有唯一的不动点 ( α , β , R ) ∈ S T ,通过分析证明,我们得到该不动点是问题(6)在时间区间 [ 0 , T ] 上的经典解。
由于变量变换,问题(1)和问题(6)等价。因此,对于问题(1),存在一个 T > 0 ,使得其在时间区间 [ 0 , T ] 上有经典解 ( u , v , R ) 。根据定理4.1及已有文献 [
本文研究了一个营养物和抑制物同时存在的非线性血管型肿瘤生长模型。文中首先运用边界固定法将自由边界问题问题转化为固定边界上的非线性初边值问题,其次运用抛物型方程的 L p 理论和Banach不动点定理构造压缩映射,证明该问题局部解的存在唯一性,最后利用变换函数与其原始函数之间的关系,用延拓方法得到整体解的存在唯一性。
盖梦琳,朱妍红. 血管化肿瘤生长自由边界问题全局解的存在唯一性Existence and Uniqueness of Global Solutions of a Free Boundary Problem Modeling Tumor Growth with Angiogenesis[J]. 应用数学进展, 2023, 12(12): 5202-5209. https://doi.org/10.12677/AAM.2023.1212511
https://doi.org/10.1016/0025-5564(94)00117-3
https://doi.org/10.1016/0025-5564(96)00023-5
https://doi.org/10.1002/sapm1972514317
https://doi.org/10.1016/S0022-5193(76)80054-9
https://doi.org/10.1007/s002850050149
https://doi.org/10.1016/S0025-5564(99)00063-2
https://doi.org/10.1081/PDE-120020486
https://doi.org/10.1016/j.jde.2015.08.032
https://doi.org/10.1016/j.jde.2014.02.019
https://doi.org/10.1007/s10440-018-0208-8
https://doi.org/10.1007/s10114-004-0483-3