1. 引言
近年来,时间分数阶扩散方程在各个领域都有重要的应用。许多研究者都对时分扩散方程的逆向问题进行了研究。对于整数阶时间导数,例如
,逆向问题是一个经典的不适定问题,已经被广泛研究。对于分数阶时间导数,仍有较少的工作式是针对逆向问题的。在文献 [1] 中,Liu和Yamamoto用拟逆正则化方法解决了一维情况下恒定系数
和
的逆向问题。在文献 [2] 中,Wang通过使用拟边界正则化方法进一步扩展了后验正则化参数选择规则。最近,在文献 [3] 中,Han通过使用分数次Landweber方法研究了这种分数阶逆向问题。Bianchi等 [4] 为分数次Tikhonov正则化方法设计了一个迭代版本,以解决著名的饱和问题。在本文中,我们研究了在先验参数和后验参数选择规则下解决此逆向问题的迭代分数次Tikhonov方法。
我们考虑在一般有界域中具有可变系数的时间分数阶扩散方程的逆向问题,设
是
上的一个有界域,且具有足够光滑的边界
。逆向时间分数阶扩散问题由以下公式给出:
(1)
其中分数导数
是阶数为
的Caputo分数导数,其定义为
并且
是定义在
上的对称的一致椭圆算子:
其中
和
是
上的足够平滑的函数,并且满足
(
为常数),使得
。
逆向问题是在测量数据
下找到
的温度
的近似值,其中精确数据
和噪声数据
满足:
(2)
其中
是
范数,
是一个噪音水平。
2. 准备工作
在本文中,我们将使用以下定义和引理。
定义2.1 [5] :Mittag-leffler函数有如下定义
其中
(a为常数)且
。
引理2.1 [5] :1) 对
和
,
此外,
是完全单调的。也就是说
。当
,
满足下面的近似关系:
2) 对
和正整数
,
3) 假设
,存在只与
和
有关的常数
,则有
对所有的
都成立。
引理2.2 [6] :对任意的
满足
,存在正常数
,则有
引理2.3:设常数
,则有
证明:由文献 [4] 中的命题18可知
,其中
。
令
。设
对
,函数
是连续的。由于
,且
,所以最大点满足
。解得
。
将
代入
中得到最大值
最后,我们得到
引理2.3证毕。
引理2.4:设
,则
证明:由文献 [4] 中的命题18可知
。同样的,由文献 [7] 中的命题3.2可知
,其中
是古典Tikhonov方法的滤波函数。我们有
(3)
令
。设
如果
,即
,有
如果
,即
,函数
是连续的。由于
,并且
,所以最大点满足
。解得
。
将
代入
中得到最大值
(4)
最后,我们得到
引理2.5:设
,则
证明:与计算(3)式相类似,我们可得
令
。设
如果
,即
,对
,有
如果
,即
,与计算(4)式相类似,得
最后,我们得到
3. 问题的不适定性和条件稳定性
假设算子
的特征值为
并且
是其相应的标准正交特征函数。
是空间
上的标准正交基。我们有
。由于
是一个对称的一致椭圆算子,我们可以假设其特征值满足
。定义一种Hilbert空间
(5)
其中
表示其在
中的内积。它具有范数
。
通过变量分离和引理2.1,我们可以得到问题(1)的形式解:
(6)
定义
,并且让
,则有
(7)
且
(8)
因此
(9)
当
时,逆向问题是稳定的。这与
时完全不同。我们对这一现象的解释是:由于分数导数是遗传函数,拥有对过去状态的全部记忆,所以我们很容易的从其现在的信息中发现以前的状态。但
时的状态是个例外。
在下文中,我们只考虑
的情况。
定义线性算子
如下:
(10)
其中
。由于
,所以K是自交的。从文献 [8] 中的定理2.1可知,如果
,则
。因为
是紧嵌入
的,所以
是紧的,所以问题(10)是不适定的。
紧的线性自伴算子K的奇异值为
。
我们在下面的定理中给出一个条件稳定性。
定理3.1 [9] :设
满足一个先验约束条件
(11)
则有
其中
是一个与
有关的常数。
4. 迭代的分数次Tikhonov正则化方法和收敛性分析
在本节中,我们提出分数次Tikhonov方法的固定迭代版本 [4] [10] ,用迭代的分数次Tikhonov正则化方法去解决这个不适定问题。
(12)
其中
,如果
,就得到了标准迭代Tikhonov正则化。选择
,可以防止过平滑效应,获得更准确的解的不连续数值结果。
如果
,我们定义
为分数次Tikhonov的第m次迭代。在本节中,正则化参数仍然为
,迭代步骤m是固定的。对任意给定的
和
,在(12)式中的固定的迭代分数次Tikhonov是一种基于过滤器的正则化方法,其滤波函数为:
迭代的分数次Tikhonov正则化方法在噪声数据和精确数据下的解为
(13)
和
(14)
4.1. 先验正则化参数选取规则下的收敛性估计
定理4.1:假设先验条件(11)和噪声假设(2)成立,我们有
1) 如果
和
,则有收敛性估计
2) 如果
和
,则有收敛性估计
证明:由三角不等式得
(15)
首先,我们给出(15)式中的第一项估计
因此
(16)
其次,我们估计(15)式中的第二项
因此
(17)
将(16)式和(17)式相加,选取
得到
(18)
此定理证毕。
4.2. 后验正则化参数选取规则下的收敛性估计
在本节中,我们考虑了Morozov偏差原理的一个后验选取规则,并得到正则化解(13)的收敛率。在这里Morozov偏差原理是用来确定正则化参数
的。
我们使用以下形式的偏差原理:
(19)
其中
是常数。根据下面的引理,如果
,(19)式就会存在一个唯一的解。
引理4.1:设
。如果
,就有下面的结论成立:1)
是一个连续函数;2)
;3)
;4)
是一个在
上的严格递增函数。
证明:由如下的表达式
容易验证上述结论成立。
引理4.2:如果
是(19)式的解,我们可以得到下面不等式:
证明:首先,由(10)式和(19式)得
则可以得到
(20)
引理4.2证毕。
定理4.2:假设先验条件(11)和噪声假设(2)成立,并且存在
,使得
。正则化参数
通过偏差原理(19)选取,我们有
1) 如果
,则有收敛性估计
其中
。
2) 如果
,则有收敛性估计
其中
。
证明:由三角不等式得
(21)
我们先来估计(21)式的第一项,通过(16)式和(20)式可得到
(22)
接下来,我们估计(21)式中的第二项,
(23)
(24)
当
时,有
(25)
下面我们来估计
和
,
(26)
(27)
因此
(28)
当
时,用计算(28)式相似的方法得到(29)式
(29)
将(28)式和(29式)结合
(30)
将(22)式和(30)式相加得
此定理证毕。
5. 结束语
在本文中,我们提出了一种迭代的分数次Tikhonov正则化方法来解决时间分数阶扩散方程的逆向问题。在通常的平滑源条件下,根据先验和后验参数的正则化参数的选择规则得到Hölder型误差估计。迭代的分数次Tikhonov正则化方法克服了经典Tikhonov方法的饱和结果,在先验参数选择规则下,迭代的分数次Tikhonov方法要优于经典迭代Tikhonov方法。