本文讨论了造血干细胞引发周期噬中性粒子血液病的两房模型。数学上,该模型是一多时滞的时滞微分系统的复杂非线性模型。变化时滞可带来系统的Hopf分岔行为,通过计算范式,分析得出该分岔点处发生了下临界Hopf分岔。数值模拟与理论分析结果一致。 The periodic cyclical neutrophil oscillating model of hematopoietic is discussed. Mathematically, the model is a multi-delay DDEs with high nonlinearity. Varying time delay brings forth Hopf bifurcation in system dynamic behavior. By calculating coefficients of normal form, it is analyzed that Hopf bifurcation is sub-critical. Numerical simulation coincides with the theoretical analyze result.
马苏奇
中国农业大学数学系,北京
收稿日期:2017年9月1日;录用日期:2017年9月15日;发布日期:2017年9月21日
本文讨论了造血干细胞引发周期噬中性粒子血液病的两房模型。数学上,该模型是一多时滞的时滞微分系统的复杂非线性模型。变化时滞可带来系统的Hopf分岔行为,通过计算范式,分析得出该分岔点处发生了下临界Hopf分岔。数值模拟与理论分析结果一致。
关键词 :造血系统,下临界Hopf分岔,时滞
Copyright © 2017 by author and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
在系统生态学动力学行为研究中,造血干细胞模型一直是人们非常关注的一个话题。在数学上,人们致力于应用不同的数学模型来描述干细胞增殖分化的时空动力系统。造血干细胞经分化得到人类必须的三类血液细胞:白细胞、红细胞和血小板。造血功能失调会带来多种血液学疾病,典型的例子有长期发烧、“打摆子”,和慢性的嗜中性粒子白血球减小症。病人呈现出周期性的嗜中性粒子低水平振荡现象,振荡周期经生物学实验证实为11天~19天。应用非线性动力学模型来刻画血液细胞的动力学振荡现象可以帮助理解其复杂动力学机制。
近十几年来,Mackey等人给出了建立血液学疾病机理的基本数学框架 [
d Q d t = − ( β ( Q ) + k N ( N ) + k δ ) Q + 2 e − γ s τ s β ( Q τ s ) Q τ s d N d t = − γ N N + e η N P τ N P − γ 0 τ N M k N ( N τ N ) Q τ N (1)
其中Holling函数
k N ( N ) = f 0 θ 1 m θ 1 m + N m , β ( Q ) = k 0 θ 2 n θ 2 n + Q n k N ( N τ N ) = f 0 θ 1 m θ 1 m + N ( t − τ N ) m , β ( Q ) = k 0 θ 2 n θ 2 n + Q ( t − τ s ) n
可以看出,模型(1)中干细胞以速率 β 进入其增殖相,并以速率 k N 进入嗜中性粒子房。其它参数的生理学意义如下,
(1) 造血过程由激发分化和成熟机制组成,具体地,造血干细胞经由细胞分裂分化成为全部血液细胞包括白细胞、红细胞和血小板,并能自我更新, γ s 表示凋亡率,增殖相需要的天数是
(2) 与嗜中性粒细胞不同的是,血液干细胞分化以速率 k δ 分化成为其它血液细胞;
(3) 嗜中性粒细胞耦合时滞为 τ N ,由两部分和组成,分别是其前驱细胞的增殖相需要的天数 τ N P 和成熟相需要的天数 τ N M 。 η N P 是增殖速率, γ 0 是成熟相中的死亡率。因而,嗜中性粒细胞的组合相中的放大系数为
A N = e η N P τ N P − γ 0 τ N M
注意到速率 γ s , η N P , γ 0 和成熟时间 τ N M 依赖于粒细胞集落刺激因子的管理。考虑到粒细胞集落刺激因子在医学上的成功使用,学者们在周期噬中性粒子的演化模型中,在增殖系数中用时滞来减弱系数。其估计的参数值列出如下 k 0 = 2.0 , f 0 = 0.4 , k δ = 0.01 , θ 1 = 0.36 × 10 8 细 胞 / 千 克 ,
本文首先分析了系统的Hopf分岔,其次通过范式分析,证实了Hopf分岔现象是下临界的Hopf分岔现象,并给出了下临界Hopf分岔的数值模拟。
设 ( Q 0 , N 0 ) 是系统(1)的平衡点,计算方程在平衡点的特征值,如果方程(1)的特征方程有一对纯虚根 ± i ω 0 ,并满足横截条件,则方程(1)发生了Hopf分岔,且经由Hopf分岔,系统(1)出现稳定或不稳定的周期解。作坐标平移,系统的三次Taylor截断展开式为
x ′ = a 11 x + a 12 y + b 1 x ( t − τ s ) + f ( x , x ( t − τ s ) , y ) y ′ = − γ N y + b 2 x ( t − τ N ) + b 3 y ( t − τ N ) + g ( x ( t − τ N ) , y , y ( t − τ N ) )
其中
a 11 = − β ( Q * ) − k N ( N * ) − k δ − β ′ ( Q * ) Q * , a 12 = − k ′ N ( N * ) Q * , b 1 = 2 e − r s τ s ( β ( Q * ) + β ′ ( Q * ) Q * ) , b 2 = e τ N P η N P − γ 0 τ N M k ( N * ) , b 3 = e τ N P η N P − γ 0 τ N M k ′ ( N * ) Q * ,
和
f ( x , x ( t − τ s ) , y ) = − β ′ ( Q * ) x 2 − 1 2 β ″ ( Q * ) Q * x 2 − k ′ N ( N * ) x y − 1 2 k ″ N ( N * ) Q * y 2 + 2 e − γ s τ s β ′ ( Q * ) x 2 ( t − τ s ) + e − γ s τ s β ″ ( Q * ) Q * x 2 ( t − τ s ) + e − γ s τ s β ″ ( Q * ) x 3 ( t − τ s ) − 1 2 β ″ ( Q * ) x 3 − 1 6 β ‴ ( Q * ) Q * x 3 − 1 2 k ″ N ( N * ) x y 2 − 1 6 k ‴ N ( N * ) Q * y 3 + e − r s τ s β ″ ( Q * ) x 3 ( t − τ s ) + 1 3 e − r s τ s β ‴ ( Q * ) Q * x 3 ( t − τ s ) + o ( ‖ x 3 ‖ , ‖ x 3 ( t − τ s ) ‖ , ‖ y 3 ‖ )
g ( x ( t − τ N ) , y , y ( t − τ N ) ) = e τ N P η N P − γ 0 τ N M k ′ N ( N * ) x ( t − τ N ) y ( t − τ N ) + 1 2 e τ N P η N P − γ 0 τ N M k ″ N ( N * ) Q * y 2 ( t − τ N ) + 1 2 e τ N P η N P − γ 0 τ N M k ″ N ( N * ) x ( t − τ N ) y 2 ( t − τ N ) + 1 6 e τ N P η N P − γ 0 τ N M k ‴ N ( N * ) Q * y 3 ( t − τ N ) + 1 6 e τ N P η N P − γ 0 τ N M k ‴ N ( N * ) x ( t − τ N ) y 3 ( t − τ N )
我们引入向量 m = ( x , y ) T ,设参数向量 μ = ( γ s , τ s ) ,那么方程(1)可以写成其向量形式
m ′ ( t ) = L ( μ ) m ( t ) + R 1 ( μ ) m ( t − τ s ) + R 2 ( μ ) m ( t − τ N ) + F ( m ( t ) , m ( t − τ s ) , m ( t − τ N ) , μ ) (2)
其中
L = ( a 11 a 12 0 − γ N ) , R 1 = ( b 1 0 0 0 ) , R 2 = ( 0 0 b 2 b 3 )
和
F ( m ( t ) , m ( t − τ s ) , m ( t − τ N ) , μ ) = 1 2 B ( m ( t ) , m ( t ) ) + 1 2 B ˜ ( m ( t − τ s ) , m ( t − τ s ) ) + 1 2 B ^ ( m ( t − τ N ) , m ( t − τ N ) ) + 1 6 C ( m ( t ) , m ( t ) , m ( t ) ) + 1 6 C ˜ ( m ( t − τ s ) , m ( t − τ s ) , m ( t − τ s ) ) + 1 6 C ^ ( m ( t − τ N ) , m ( t − τ N ) , m ( t − τ N ) ) (3)
设 C 表示连续可微函数 u : [ − τ N , 0 ] → R 2 构成的巴拿赫空间,定义时间平移 u t ( θ ) = m ( t + θ ) , θ ∈ [ − τ N , 0 ] ,那么方程(2)的算子微分方程形式为
m ′ t = A m t + F ( m t ) (4)
这里,设在Hopf分岔临界值处的线性算子 A 为
A u ( θ ) = { d d θ u ( θ ) , θ ∈ [ − τ N , 0 ) , L u ( 0 ) + R 1 u ( − τ s ) + R 2 u ( − τ N ) , θ = 0 , (5)
非线性算子 H 可被写作(6)
H ( u ) ( θ ) = { 0 , θ ∈ [ − τ N , 0 ) , F ( u ( 0 ) , u ( − τ s ) , u ( − τ N ) ) , θ = 0 , (6)
其中 u ∈ ∑ 。
设连续可微函数 v : [ 0 , τ N ] → R 2 构成空间 C * ,在
A * v ( s ) = { − d d s v ( s ) , s ∈ ( 0 , τ N ) L T v ( 0 ) + R 1 T v ( τ s ) + R 2 T v ( τ N ) , s = 0
定义双线性形式 ( , ) : C * × C → R 为
〈 v , u 〉 = v ¯ T ( 0 ) u ( 0 ) + ∫ − τ s 0 v ¯ T ( ξ + τ s ) R 1 u ( ξ ) d ξ + ∫ − τ N 0 v ¯ T ( ξ + τ N ) R 2 u ( ξ ) d ξ (7)
容易证明,有
〈 v , A u 〉 = 〈 A * v , u 〉
成立。
在临界Hopf分岔值 u 0 = ( γ s , τ s ) 处,有一对纯虚特征值 Λ = { − i ω 0 , i ω 0 } ,且其余特征值都具有负实部。因而 C 可被分解为
C = P Λ ⊕ Q Λ ,其中 P Λ 为相应于 Λ 的特征空间,而 Q Λ 是其补空间。计算得 A ( 0 ) 相应于特征值 i ω 0 的特征向量为 q ( θ ) = ( γ N + i ω 0 − b 3 e − i ω 0 τ N b 2 e − i ω 0 τ N ) e i ω 0 θ , − τ N ≤ θ ≤ 0 , A * ( 0 ) 相应于 − i ω 0 的特征向量为 q * ( s ) = l ( − b 2 e i ω 0 τ N a 11 + i ω 0 + b 1 e i ω 0 τ s ) e i ω 0 s , 0 ≤ s ≤ τ N ,满足 〈 q * , q 〉 = 1 ,进一步可证明 〈 q * , q ¯ 〉 = 0 。
注意到
A q ( θ ) = i ω 0 q ( θ ) , − τ N ≤ θ ≤ 0 , A * q * ( s ) = − i ω 0 q * ( s ) , 0 ≤ s ≤ τ N (8)
每个 u ∈ C 可以被写作
u t = z q + z ¯ q ¯ + w (9)
使得
z = 〈 q * , m t 〉 , w ∈ Q Λ (10)
对(9)两边微分,注意到(8)式成立,因而可得
z ′ ( t ) = 〈 q * , m ′ t 〉 = 〈 q * , A z q 〉 + 〈 q * , H ( z q + z ¯ q ¯ + w ( t ) ) 〉 = i ω 0 z + q ¯ * ( 0 ) F * ( z , z ¯ ) (11)
其中
F * ( z , z ¯ ) = F ( 2 Re { z q ( θ ) } + w ( t ) ) (12)
将 w = v ( z , z ¯ ) 展开成级数
w = v ( z , z ¯ ) = ( ∑ 2 ≤ i + j v i j ( 1 ) i ! j ! ( z , z ¯ ) ∑ 2 ≤ i + j v i j ( 2 ) i ! j ! ( z , z ¯ ) ) (13)
其中系数 { v i j } 依赖于 θ ,令 G ( z , z ¯ ) = q ¯ * ( 0 ) F * ( z , z ¯ ) ,把方程(11)写作
z ′ ( t ) = i ω 0 z + G ( z , z ¯ ) (13)
其中 G ( z , z ¯ ) 有展式
G ( z , z ¯ ) = ∑ 2 ≤ i + j G i j i ! j ! ( z , z ¯ ) (14)
其中 G i j 为常数,计算见附录。
从方程(9)和(11)可得
d v d t = { A v − 2 Re { q ¯ * ( 0 ) F ^ q ( θ ) } , − τ N ≤ θ < 0 , A v − 2 Re { q ¯ * ( 0 ) F ^ q ( θ ) } + F ^ , θ = 0 , (15)
方程(14)的第一个方程可以写成
d v d t = A v ( z , z ¯ ) + R ( z , z ¯ ) (16)
其中
R ( z , z ¯ ) = − 2 Re { q ¯ * ( 0 ) F ^ q ( θ ) } = ( R 20 ( 1 ) 2 z 2 + R 11 ( 1 ) z z ¯ + R 02 ( 1 ) 2 z ¯ 2 + ⋯ R 20 ( 2 ) 2 z 2 + R 11 ( 2 ) z z ¯ + R 02 ( 2 ) 2 z ¯ 2 + ⋯ )
其中系数 R i j ( 1 , 2 ) = R i j ( 1 , 2 ) ( θ ) 。
由于
− 2 Re { q ¯ * ( 0 ) F ^ q ( θ ) } = − G ( z , z ¯ ) q ( θ ) − G ¯ ( z , z ¯ ) q ¯ ( θ ) = − ( G 20 2 z 2 + G 11 z z ¯ + G 02 2 z ¯ 2 ) q ( θ ) − ( G ¯ 20 2 z ¯ 2 + G ¯ 11 z z ¯ + G ¯ 02 2 z 2 ) q ¯ ( θ )
所以
R 20 ( 1 ) = − G 20 q 1 e i ω 0 θ − G ¯ 02 q ¯ 1 e − i ω 0 θ , R 20 ( 2 ) = − G 20 q 2 e i ω 0 θ − G ¯ 02 q ¯ 2 e − i ω 0 θ
R 11 ( 1 ) = − G 11 q 1 e i ω 0 θ − G ¯ 11 q ¯ 1 e − i ω 0 θ , R 11 ( 2 ) = − G 11 q 2 e i ω 0 θ − G ¯ 11 q ¯ 2 e − i ω 0 θ
R 02 ( 1 ) = − G 02 q 1 e i ω 0 θ − G ¯ 20 q ¯ 1 e − i ω 0 θ , R 02 ( 2 ) = − G 02 q 2 e i ω 0 θ − G ¯ 20 q ¯ 2 e − i ω 0 θ
为了决定分岔解的行为,通过下式计算 w = v ( z , z ¯ ) 。
A v 20 ( 1 , 2 ) = 2 i ω 0 v 20 ( 1 , 2 ) − R 20 ( 1 , 2 ) , A v 11 ( 1 , 2 ) = − R 11 ( 1 , 2 ) , A v 02 ( 1 , 2 ) = − 2 i ω 0 v 02 ( 1 , 2 ) − R 02 ( 1 , 2 ) (17)
注意到算子 A 的定义,(17)式即
{ d v 20 ( 1 ) d t = 2 i ω 0 v 20 ( 1 ) + G 20 q 1 e i ω 0 θ + G ¯ 02 q ¯ 1 e − i ω 0 θ d v 20 ( 2 ) d t = 2 i ω 0 v 20 ( 2 ) + G 20 q 2 e i ω 0 θ + G ¯ 02 q ¯ 2 e − i ω 0 θ { d v 11 ( 1 ) d t = G 11 q 1 e i ω 0 θ + G ¯ 11 q ¯ 1 e − i ω 0 θ d v 11 ( 2 ) d t = G 11 q 2 e i ω 0 θ + G ¯ 11 q ¯ 2 e − i ω 0 θ { d v 02 ( 1 ) d t = − 2 i ω 0 v 02 ( 1 ) + G 02 q 1 e i ω 0 θ + G ¯ 20 q ¯ 1 e − i ω 0 θ d v 02 ( 2 ) d t = − 2 i ω 0 v 02 ( 1 ) + G 02 q 2 e i ω 0 θ + G ¯ 20 q ¯ 2 e − i ω 0 θ , − τ N ≤ θ < 0 (18)
相似地,由方程(15)的第二个方程得到初值条件
{ a 11 v 20 ( 1 ) | θ = 0 + a 12 v 20 ( 2 ) | θ = 0 − 2 i ω 0 v 20 ( 1 ) | θ = 0 + b 1 v 20 ( 1 ) | θ = − τ s + R 20 ( 1 ) + 2 f 0 = 0 − γ N v 20 ( 2 ) | θ = 0 − 2 i ω 0 v 20 ( 2 ) | θ = 0 + b 2 v 20 ( 1 ) | θ = − τ N + b 3 v 20 ( 2 ) | θ = − τ N + R 20 ( 2 ) + 2 g 0 = 0
{ a 11 v 11 ( 1 ) | θ = 0 + a 12 v 11 ( 2 ) | θ = 0 + b 1 v 11 ( 1 ) | θ = − τ s + R 11 ( 1 ) + f 1 = 0 − γ N v 11 ( 2 ) | θ = 0 + b 2 v 11 ( 1 ) | θ = − τ N + b 3 v 11 ( 2 ) | θ = − τ N + R 11 ( 2 ) + g 1 = 0 (19)
{ a 11 v 02 ( 1 ) | θ = 0 + a 12 v 02 ( 2 ) | θ = 0 + 2 i ω 0 v 02 ( 1 ) | θ = 0 + b 1 v 02 ( 1 ) | θ = − τ s + R 02 ( 1 ) + 2 f 2 = 0 − γ N v 02 ( 2 ) | θ = 0 + 2 i ω 0 v 02 ( 2 ) | θ = 0 + b 2 v 02 ( 1 ) | θ = − τ N + b 3 v 02 ( 2 ) | θ = − τ N + R 02 ( 2 ) + 2 g 2 = 0
对方程(18)积分在初值条件(19)下积分,可得出
{ v 20 ( 1 ) = E 1 e 2 i ω 0 θ + i G 20 q 1 ω 0 e i ω 0 θ + i G ¯ 02 q ¯ 1 3 ω 0 e − i ω 0 θ v 20 ( 2 ) = E 2 e 2 i ω 0 θ + i G 20 q 2 ω 0 e i ω 0 θ + i G ¯ 02 q ¯ 2 3 ω 0 e − i ω 0 θ (20.1)
{ v 11 ( 1 ) = E 3 − i G 11 q 1 ω 0 e i ω θ 0 + i G ¯ 11 q ¯ 1 ω 0 e − i ω 0 θ v 11 ( 2 ) = E 4 − i G 11 q 2 ω 0 e i ω θ 0 + i G ¯ 11 q ¯ 2 ω 0 e − i ω 0 θ (20.2)
其中系数 E 1 , E 2 , E 3 , E 4 , E 5 , E 6 由方程初值条件(19)决定。
当特征值穿越虚轴时,系统(1)的平衡点处发生了Hopf分岔,一般的Hopf分岔分为超临界的Hopf分岔和下临界的Hopf分岔。若当参数值小于临界值时分岔出不稳定的周期解,Hopf分岔被称为是下临界的;若当参数值大于临界值时分岔出的周期解是稳定的,Hopf分岔被称为是超临界的。对平衡点作分析,方程(1)的线性化方程的特征方程为
Δ ( λ , γ s , τ s ) = | a 11 − λ + b 1 e − λ τ s a 12 b 2 e − λ τ N − γ N − λ + b 3 e − λ τ N | = 0 (21)
当有一对共轭复特征值穿越虚轴时,方程(1)的平衡点的稳定性发生改变,这时方程(21)确定了一对
图1. 下临界hopf点附近的周期解。红线表示不稳定周期解,蓝线表示稳定的周期解
Hopf分岔的临界值 μ 0 = ( γ s , τ s ) = ( 0.0969 , 4.9789 ) 。并由方程(21)确定 Re { d λ d τ | τ = τ s } ≠ 0 ,即系统在Hopf临界值处满足横截性。
由特征方程(21)可以计算 d λ d τ s > 0 ,以上计算得到大于零的第一Lyapunov数,又由于 μ = − l 1 ( 0 ) Re { d λ d τ | τ = τ s } < 0 ,从而Hopf分岔是下临界的。数值模拟得到该Hopf分岔点附近的周期解,如图1所示。
本文应用Hopf分岔原理研究造血系统中噬中性粒子数周期性振荡现象发生的机制。模型中引入集落刺激因子管理,有助于降低血液细胞的程序性凋亡率和增加增殖分化所需时间,在数学上,使得造血系统成为含时滞依赖物理参数的多时滞系统。变化时滞得到系统的Hopf分岔点,应用范式理论进一步得到该分岔是下临界Hopf分岔现象。连续延拓得到系统共存的稳定周期解和不稳定周期解。
马苏奇. 造血系统的下临界Hopf分岔 Subcritical Hopf Bifurcation of a Hematopological System[J]. 应用数学进展, 2017, 06(06): 740-751. http://dx.doi.org/10.12677/AAM.2017.66089