1. 引言
数值微分是一种近似计算函数的导数或高阶导数的方法。数值微分问题在科学研究和实际问题的应用中有着极其重要的作用,例如图像处理[1]、医学成像[2]、识别[3]、偏微分方程[4]等问题主要集中在求数值微分上。数值微分问题是经典的不适定问题,主要是因为输入数据的任意“小”的扰动可能会导致近似导数的任意“大”的误差,从而使数值导数变得无意义,因此许多学者致力于克服这个问题,并提出了许多计算方法。差分方法[5]-[8]是通过构造高精度有限差分格式来近似计算函数的导数,但该方法并没有消除数据误差的影响。Tikhonov正则化方法[9][10]是将数值微分问题转化为求解极小化泛函问题,通过在目标函数上加一个惩罚项,得到导数的稳定近似解。安抚方法[11]是将误差数据映射到问题的适位性类,并得到缓和数据,最终获得误差估计和最优的缓和参数。
分数阶Landweber方法最早是由Klann、Maaß和Ramlau[12]提出的,考虑了一种基于滤波正则化技术求解线性逆问题的一般正则化方法。本文研究了高阶数值微分问题,并针对高阶数值微分问题构造了一个分数阶Landweber迭代正则化滤子函数,通过构造滤子函数得到正则解。与传统的Landweber方法相比,分数阶Landweber迭代正则化方法不仅减少了迭代次数,还克服了近似解过度光滑的问题[13]。
考虑函数
,设函数f的傅里叶变换为
,则:
(1)
对于函数f的k阶导数,用
进行表示,则有:
(2)
则傅里叶逆变换为:
(3)
从(2)或(3)的右边部分可知
(其中
是趋于无穷大的数值,一般不取0)。在现实问题中,高阶数值导数的输入数据只能通过测量所得,这意味着测量数据中所含有的微小误差,会使得近似解具有较大差异,所以需要对不适定问题进行正则化处理。
因此对高阶数值微分问题,定义一个分数阶Landweber迭代正则化滤子函数:
(4)
其中,
,
,且
为分数阶参数,正则化参数为
(也可称m为正则化参数)。当
时,则为传统的Landweber方法。之后将在引理2.4中证明滤子函数满足文献[4]中滤子函数的构造要求。
2. 预备引理
引理2.1设
,
,
,则有:
(5)
证明. 定义
,则有:
(6)
并且
(7)
显然有
。当
时,两个函数都连续。
根据文献[14]可知,当
时,且有
,因此:
所以有:
引理2.1得证。
引理2.2对
,
,并且
,则有:
(8)
证明. 设
,则有:
(9)
所以有:
(10)
当
时,由(10)式可得驻点
,则有:
引理2.2得证。
引理2.3[15]对于
,
,当
时,有
。
引理2.4令
,
,正则化参数为
,则函数:
(11)
满足以下性质:
1) 对一切
和
成立
;
2) 存在函数
使得对一切的
成立
;
3) 对一切的
成立
。
证明. 显然,条件1)、3)成立。对于条件2),通过引理2.1可得:
故有:
其中,
,则条件2)成立。
3. 问题的不适定性分析与条件稳定性结果
在本节中,主要讨论分析了数值微分的不适定性,并根据文献[4]给出条件稳定性结果。为了得到精确解和正则解之间的误差估计,假设精确数据函数
与测量数据函数
满足:
(12)
其中,
表示
范数,
表示噪声水平。这表明我们在计算高阶数值导数时,测量数据所带来的误差当中的高频成分被放大,甚至可能会被破坏掉,使得计算无意义,这意味着高阶数值导数的计算不能仅依赖于测量数据。所以需要将不适定问题进行正则化处理,此时,我们对精确数据施加一个先验界,对任意
,定义Sobolev空间
的范数为:
(13)
其中,
是一个常数。
定理3.1假设先验界(12)成立,则条件稳定性结果如下:
(14)
证明. 通过(2)式,并使用Holder不等式,可得:
(15)
所以有:
定理3.1证毕。
注3.1正则化参数的后验选取规则是在条件稳定性结果的基础上建立的,所以只给出条件稳定性结果。
在第4节将引入分数阶Landweber迭代正则化方法,并给出相应的误差估计。
4. 正则化方法及误差估计
在本节中,主要使用分数阶Landweber正则化方法解决高阶数值微分的不适定性,并给出了先验正则化参数规则选取下的误差估计。
通过带噪声的数据表示分数阶Landweber正则化解:
(16)
其傅里叶逆变换为:
(17)
不带噪声的精确数据的分数阶Landweber正则化解为:
(18)
其傅里叶逆变换为:
(19)
需要注意的是,其中
为正则化参数,
,且
为分数阶参数。当
时,便是Landweber迭代方法。
下面将给出先验选取规则下的误差估计结果。
定理4.1假设高阶数值微分问题满足条件(12)和(13),选取正则化参数为
,其中
且
(k为正整数),则收敛估计为:
(20)
证明. 通过三角不等式可知:
(21)
首先证明第一部分,根据(13)式可得:
(22)
其中,
(23)
根据引理2.2和引理2.3,可得:
(24)
结合(22)和(24)式,可得:
(25)
接下来证明第二部分,根据引理2.1及(12)式,可以得到:
(26)
将(25)和(26)式带入(21)式,可以得到:
选取正则化参数
,则可以得到收敛估计为:
定理4.1证毕。
5. 结论
本文提出了一种分数阶Landweber迭代正则化方法来分析高阶数值微分的不适定问题。通过分数阶Landweber迭代格式的构造,给出数值微分问题的正则解。最后在正则化参数的先验选取规则下,得到正则解和精确解之间的误差估计。