1. 引言
分数阶微分方程在数学、物理学和生物学中有着重要的研究意义。近年来,分数阶微分方程被广泛的应用到水文学[1] [2]、黏弹性[3]、斑图结构(如蟒蛇,长颈鹿) [4]和混沌动力学等多个领域。分数阶微分系统的理论研究也越来越多,其中包括非线性分数阶微分系统的可解性[5]-[10]。特别地,对分数阶耦合系统的研究有着重大意义,在研究某些复杂问题时会提出该模型,例如,两区域分数阶捕食者–猎物种群模型,该模型是根据捕食者与猎物种群之间的关系建立的,此模型已在文[11]中研究讨论过,证明了系统解的存在性、唯一性和解对初值的依赖。
另一方面,该模型建立之后,对模型中参数的确定是一类很重要的科学问题。目前,反演分数阶微分方程中的参数以及源项问题引起了人们的关注,见Tuan [12],Zhang [13],李功胜[14] [15]等。
本文通过差分格式对两区域分数阶捕食者–猎物种群模型正问题进行求解,得到附加数据,进而利用附加数据且根据同伦正则化算法来反演该模型中的微分阶数和猎物再生速率。本文内容安排如下:
第2节给出本篇文章中所要用到的相关理论知识,第3节介绍一般性的分数阶耦合方程组解的存在性、唯一性,第4节基于上述种群模型提出反问题和证明反问题解的唯一性,第5节根据同伦正则化算法反演微分阶数和猎物再生速率,第6节给出结论。
2. 预备知识
定义1 [16] Caputo分数阶导数:
(2.1)
其中
是一个正常数,
。
定义2 [16] Caputo分数阶导数的L1插值逼近:对于
阶Caputo导数
取正整数N。记
,
,
及
在区间
上对
作线性插值,并用其来近似上式的
,经过化简可以得到Caputo分数阶导数的L1插值逼近公式:
为简化记号,记
。
本文考虑两区域分数阶捕食者–猎物种群模型[11]:
(2.2)
模型中所有的参数均为非负数,其中
表示区域i中的猎物种群数,
表示区域i中捕食者种群数,
,
是猎物分别在区域1和区域2的承载能力,r是猎物的再生长速率,a是捕食者的狩猎率,
是猎物从区域j到区域i的迁移速率,
,
表示区域1与区域2中捕食者的死亡率,e是猎物成为新捕食者的转换率,
是捕食者从区域j到区域i的迁移率。
为了对模型(2.2)分析,给出以下分数阶耦合系统:
(2.3)
定义3 [11]对于模型(2.3)设:
且
和
满足
并且
是混合拟单调的,设:
且
和
分别是模型(2.3)的上解和下解。
引理1 [11]设
是混合拟单调,满足Lipschitz条件,也满足不等式
如果上解和下解
,且满足
,那么(2.3)式在
上有唯一解。
3. 正问题解的存在唯一性
这一节,将给出正问题模型,并应用上下解法以及相关定理来分析该模型解的存在唯一性。
对于两区域分数阶捕食者–猎物种群模型(2.2)与初值条件
一起构成一个求解
,
,
,
的正问题。为了方便读者更好的理解,我们将简要证明正问题解的存在唯一性。
利用上下解法,显然有
,
从而可以得到如下式子:
(3.1)
(3.2)
(3.3)
(3.4)
(3.5)
(3.6)
根据定义的上下解法,我们选择合适的值
,
,
,
满足不等式(3.1)~(3.6)。
此外通过计算,有
另外还有:
其中
是混合拟单调且Lipschitz连续。
和
分别是正问题的上解和下解,又由引理1,可以推出正问题的解具有唯一性。
4. 微分阶数与猎物再生长速率的反问题
4.1. 反问题的形成
分数阶微分方程具有记忆和遗传性质,其中的微分阶数对反常扩散现象具有一定的影响,一般情况下,直接确定微分阶数较为困难,包括正问题中的一些重要系数也是很难直接测量。对此,本文将以确定正问题中微分阶数
和猎物再生速率r构造反问题。基于此,设
时正问题的解为一个观测数据,记为:
(4.1)
从而由正问题及观测数据(4.1)式形成了确定微分阶数和猎物再生速率的参数反问题。
4.2. 反问题解的唯一性
给定一个集合为W,定义
,并且假设未知的参数
,其中C是一个正常数,对于任意给定的
,记
,
,
,
是正问题的解。
定理1. 正问题中,
,
,这里的C为正常数。
,
,
,
是正问题对应于
的解,那么由观测数据(4.1)式可以唯一确定
和r。
证明. 为方便书写,我们考虑一般性的分数阶耦合方程组(2.3)结合附加数据形成的反问题解的唯一性。对于
,设
,下面将证明
,
。这里利用反证法先证明
,记
,不妨设
。
对模型(2.3)作Laplace变换[17]可得:
将
与
对应正问题作Laplace变换:
其中
与
为正问题对应于
与
的解
继而有:
(4.2)
(4.3)
由假设条件可知,右端项,用(4.2)~(4.3)式有:
因当
时,
,即是
,与假设条件矛盾,因此
不成立,故
。
接下来将证明
,不妨设
,类似于上文的做法,对模型(3.1)作Laplace变换且化简可得:
(4.4)
(4.5)
此时
。由原来的四个方程变为两个方程,同理根据假设知
,再由(4.4)~(4.5)式可得:
当
时,即是
,与假设条件矛盾,因此
不成立,故
。综上所述,反问题的解存在唯一性,证毕。
5. 求正问题的解及反演参数
反演参数时,需要附加数据,进而需要获得正问题在
时刻的解,由于正问题的精确解很难获得,所以使用有限差分法来求其数值解。往下将介绍同伦正则化算法,该算法已在文[18] [19]出现,接着用该算法来反演算例中的参数。
5.1. 求正问题的数值解
在数值实验中,我们对
进行N等分剖分,记
,时间步长为
,
令
,
,
,
。在正问题中Caputo分数阶导数可以用L1公式来近似代替,右端非线性项用显示Euler法逼近,这样可以得到正问题的差分格式:
令
,并结合初值条件,可得:
其中
。
这样根据初值条件可以求出t在某个时刻的数值解,换言之,可以得出反问题中需要的观测数据。
5.2. 反问题参数反演
这一节,将应用同伦正则化算法[18] [19]来对反问题中微分阶数
和猎物再生速率r进行数值反演,首先简单的描述该算法。
给出一些记号
,其中
,对所有的
,记
为正问题的解。对反问题的求解实际就是对下面这个算子方程进行求解:
(5.1)
其中
为
的计算输出,
是由真解对应的正问题解得到的观测数据。对(5.1)定义一个同伦:
(5.2)
这样反问题的求解就转化为求下面极小问题的解:
(5.3)
其中
为同伦参数,
。根据最佳摄动算法,上述问题又可转变为对应给定的初始值进行反复迭代优化求解,得出最佳摄动量。给定一个
,通过以下方式进行迭代
(5.4)
这里的
满足下列极小问题:
(5.5)
对
在
处作Taylor展开,并略去高阶项可得:
再结合(5.5)式,有:
(5.6)
进一步可将(5.6)写为:
(5.7)
其中
(5.8)
并且记
(5.9)
这里的
表示对应于
正问题在
时的数值解,
表示对应真解z正问题在
时的数值解。
在上文中,
是二维的单位向量,
是数值微分步长,并且对(5.7)式关于
进行求导可得:
(5.10)
这里
是依赖于迭代次数的同伦参数,选择同伦参数是运用同伦正则化算法的核心,参考文[18] [19],定义
(5.11)
这里的
是调节参数,j为迭代次数,
为预估迭代次数。在实际的计算中,观测数据
是有随机扰动的,设为
,其中,
为扰动水平且是正数,
是随机向量且每个分量都在
之间。
通过以上算法我们就可以得到
,根据迭代式(5.4)可以反复得到最佳摄动量
,当
时,停止迭代,这样可以逐渐得到反问题的最优解。整个迭代步骤如下:
第一步:利用真解带入正问题的差分格式进行计算,从而获得观测数据
,并且给定控制精度eps,数值微分步长
。
第二步:根据给定的初始迭代
,按照(5.8)~(5.9)求出矩阵A和
。
第三步:同伦参数
依据(5.11)来选取,再利用(5.10)式计算出最佳摄动量
。
第四步:判断是否满足
,如果满足,停止迭代,输出反演解
。如果不满足,则转到第二步继续迭代,此时由
代替
。
5.3. 数值算例
算例1. 在数值实验中,取微分阶数
,猎物再生速率
,从而可知真解
,继而我们可以利用上文中的差分格式对正问题进行求解来获得附加数据,也即是得到扰动数据
,最后利用同伦正则化算法进行反演。
正问题中
,
,
,
,
,
,
,
,
,
,
,
,初值
,
,
,
;在反演计算中,预估迭代次数
,调节参数
,数值微分步长
,初始迭代
,控制精度
。将根据不同的扰动水平得到反演解,并把反演解十五次的平均值、反演解平均值与真解的相对误差和迭代次数的平均值列在表1中,定义其相对误差为:
其中,
是连续反演十五次解的的平均值,
代表连续迭代次数的平均值。当
时,表示数据没有扰动。
Table 1. Error results of true and inverse solutions of different γ
表1. 不同γ下,真解与反演解的误差结果
|
|
|
|
5% |
|
2.952e−1 |
15.4 |
1% |
|
5.083e−2 |
15.7 |
0.1% |
|
3.108e−4 |
16 |
0.01% |
|
1.389e−5 |
16 |
0 |
|
7.394e−11 |
16 |
算例2. 在该算例中,微分阶数
,猎物再生长速率为
,也即是反问题的真解
,初始迭代
,正问题模型中参数
,
,控制精度
,其余参数与算例1中一样,反演结果位于表2。
Tablr 2. Error results of true and inverse solutions of different γ
表2. 不同γ下,真解与反演解的误差结果
|
|
|
|
5% |
|
2.128e−3 |
13.45 |
1% |
|
4.047e−4 |
13.05 |
0.1% |
|
3.993e−5 |
13 |
0.01% |
|
7.289e−6 |
13 |
0 |
|
2.809e−8 |
13 |
从上面两个算例的结果可以看出,当数据没有扰动的情况下,反演解和真解基本一致,从而反映了该算法的有效性。同样,在数据有扰动的情况下,也可以看出,随着数据的扰动水平下降时,反演解逐渐靠近真解。
6. 总结
本文考虑两区域分数阶捕食者-猎物种群模型,通过有限差分法求解正问题来获得附加数据。进一步,对模型中的微分阶数和猎物再生速率,应用同伦正则算法去反演求解,通过数值算例来验证该算法的有效性。关于本文中反问题数值解的误差分析理论是我们未来要做的工作。