pm Pure Mathematics 2160-7583 2160-7605 beplay体育官网网页版等您来挑战! 10.12677/pm.2024.147272 pm-91815 Articles 数学与物理 高阶数值导数的分数阶Landweber方法
A Fractional Landweber Method for Higher-Order Numerical Derivatives
李刚刚 西北师范大学数学与统计学院,甘肃 兰州 03 07 2024 14 07 61 68 30 5 :2024 29 5 :2024 29 6 :2024 Copyright © 2024 beplay安卓登录 All rights reserved. 2024 This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/ 本文研究高阶数值微分问题,这是一个经典的不适定问题。首先对问题的不适定性进行分析并给出条件稳定性结果,之后通过分数阶Landweber迭代方法给出正则解,最后在正则化参数的先验选取规则下,得到正则解和精确解之间的误差估计。
In the paper, we consider the higher-order numerical differentiation problem, which is a classical ill-posed problem. First, we discuss the ill-posed problem and provide the conditional stability results. Then, the regularized solution is obtained by the fractional Landweber iteration method. Finally, the error estimation of regularization solution and exact solution under the priori choice rules of the regularization parameter is generated.
数值微分,分数阶Landweber迭代,不适定问题,误差估计
Numerical Differentiation
Fractional Landweber Iteration Ill-Posed Problem Error Estimation
1. 引言

数值微分是一种近似计算函数的导数或高阶导数的方法。数值微分问题在科学研究和实际问题的应用中有着极其重要的作用,例如图像处理 [1] 、医学成像 [2] 、识别 [3] 、偏微分方程 [4] 等问题主要集中在求数值微分上。数值微分问题是经典的不适定问题,主要是因为输入数据的任意“小”的扰动可能会导致近似导数的任意“大”的误差,从而使数值导数变得无意义,因此许多学者致力于克服这个问题,并提出了许多计算方法。差分方法 [5] - [8] 是通过构造高精度有限差分格式来近似计算函数的导数,但该方法并没有消除数据误差的影响。Tikhonov正则化方法 [9] [10] 是将数值微分问题转化为求解极小化泛函问题,通过在目标函数上加一个惩罚项,得到导数的稳定近似解。安抚方法 [11] 是将误差数据映射到问题的适位性类,并得到缓和数据,最终获得误差估计和最优的缓和参数。

分数阶Landweber方法最早是由Klann、Maaß和Ramlau [12] 提出的,考虑了一种基于滤波正则化技术求解线性逆问题的一般正则化方法。本文研究了高阶数值微分问题,并针对高阶数值微分问题构造了一个分数阶Landweber迭代正则化滤子函数,通过构造滤子函数得到正则解。与传统的Landweber方法相比,分数阶Landweber迭代正则化方法不仅减少了迭代次数,还克服了近似解过度光滑的问题 [13]

考虑函数 f ( x ) L 2 ( ) ,设函数f的傅里叶变换为 f ^ ,则:

f ^ ( ξ ) = 1 2 π f ( x ) e i ξ x d x . (1)

对于函数f的k阶导数,用 f ( k ) ( x ) = d k f ( x ) d x k 进行表示,则有:

f ( k ) ( x ) ^ = ( i ξ ) k f ^ ( ξ ) , (2)

则傅里叶逆变换为:

f ( k ) ( x ) = 1 2 π ( i ξ ) k f ^ ( ξ ) e i ξ x d ξ . (3)

从(2)或(3)的右边部分可知 | ( i ξ ) k | = | ξ | k (其中 | ξ | 是趋于无穷大的数值,一般不取0)。在现实问题中,高阶数值导数的输入数据只能通过测量所得,这意味着测量数据中所含有的微小误差,会使得近似解具有较大差异,所以需要对不适定问题进行正则化处理。

因此对高阶数值微分问题,定义一个分数阶Landweber迭代正则化滤子函数:

F m , γ ( ξ ) = [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ , (4)

其中, m 1 0 < β < | ξ | 2 k ,且 1 2 < γ 1 为分数阶参数,正则化参数为 α = 1 m (也可称m为正则化参数)。当 γ = 1 时,则为传统的Landweber方法。之后将在引理2.4中证明滤子函数满足文献 [4] 中滤子函数的构造要求。

2. 预备引理

引理2.1 设 1 2 < γ 1 0 < β < | ξ | 2 k m 1 ,则有:

sup ξ R [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ | ξ | k β 1 2 m 1 2 . (5)

证明. 定义 τ 2 : = β 1 | ξ | 2 k ,则有:

φ ( τ ) = β [ 1 ( 1 β 1 | ξ | 2 k ) m ] 2 γ τ 2 , (6)

并且

ϕ ( τ ) = [ 1 ( 1 β 1 | ξ | 2 k ) m ] 2 γ τ 2 . (7)

显然有 φ ( τ ) = β ϕ ( τ ) 。当 τ ( 0 , 1 ) 时,两个函数都连续。

根据文献 [14] 可知,当 1 2 < γ 1 时,且有 τ ( 0 , 1 ) ,因此:

ϕ ( τ ) m

所以有:

sup ξ R [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ | ξ | k β 1 2 m 1 2 .

引理2.1得证。

引理2.2 对 0 < β < | ξ | 2 k p > k > 0 ,并且 m 1 ,则有:

( 1 β 1 | ξ | 2 k ) m | ξ | k p ( p k 2 k β ) p k 2 k m k p 2 k . (8)

证明. 设 x = 1 | ξ | 2 k ,则有:

f ( x ) = ( 1 β x ) m x p k 2 k , (9)

所以有:

f ( x ) = ( 1 β x ) m x p k 2 k ( m β 1 β x + p k 2 k x ) , (10)

f ( x ) = 0 时,由(10)式可得驻点 x 0 = p k 2 k β m + ( p k ) β ,则有:

f ( x ) f ( x 0 ) = ( 1 p k 2 k m + p k ) m ( p k 2 k β m + ( p k ) β ) p k 2 k ( p k 2 k β m ) p k 2 k = ( p k 2 k β ) p k 2 k m k p 2 k .

引理2.2得证。

引理2.3 [15] 对于 m > 0 0 γ 1 ,当 | x | 1 时,有 | 1 ( 1 x m ) γ | | x | m

引理2.4 令 0 < β < | ξ | 2 k 1 2 < γ 1 ,正则化参数为 α = 1 m ,则函数:

F m , γ ( ξ ) = [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ , (11)

满足以下性质:

1) 对一切 α > 0 σ : = 1 | ξ | k ( 0 , + ) 成立 | F m , γ ( ξ ) | 1

2) 存在函数 c ( α ) 使得对一切的 σ : = 1 | ξ | k ( 0 , + ) 成立 | F m , γ ( ξ ) | c ( α ) σ

3) 对一切的 σ : = 1 | ξ | k ( 0 , + ) 成立 lim α 0 F m , γ ( ξ ) = 1

证明. 显然,条件1)、3)成立。对于条件2),通过引理2.1可得:

[ 1 ( 1 β 1 | ξ | 2 k ) m ] γ ( β m ) 1 2 1 | ξ | k = ( β m ) 1 2 σ = ( β α ) 1 2 σ ,

故有:

| F m , γ ( ξ ) | c ( α ) σ ,

其中, c ( α ) = ( β α ) 1 2 ,则条件2)成立。

3. 问题的不适定性分析与条件稳定性结果

在本节中,主要讨论分析了数值微分的不适定性,并根据文献 [4] 给出条件稳定性结果。为了得到精确解和正则解之间的误差估计,假设精确数据函数 f ( x ) L 2 ( ) 与测量数据函数 f δ ( x ) L 2 ( ) 满足:

f δ f δ . (12)

其中, 表示 L 2 范数, δ > 0 表示噪声水平。这表明我们在计算高阶数值导数时,测量数据所带来的误差当中的高频成分被放大,甚至可能会被破坏掉,使得计算无意义,这意味着高阶数值导数的计算不能仅依赖于测量数据。所以需要将不适定问题进行正则化处理,此时,我们对精确数据施加一个先验界,对任意 p 0 ,定义Sobolev空间 H p ( ) 的范数为:

f p : = ( ( 1 + ξ 2 ) p | f ^ ( ξ ) | 2 d ξ ) 1 2 E , (13)

其中, E > 0 是一个常数。

定理3.1 假设先验界(12)成立,则条件稳定性结果如下:

f ( k ) ( x ) E k p f ^ 1 k p . (14)

证明. 通过(2)式,并使用Holder不等式,可得:

f ( k ) ( x ) 2 = | ξ | k f ^ ( ξ ) 2 = | ξ | 2 k | f ^ ( ξ ) | 2 d ξ = | ξ | 2 k | f ^ ( ξ ) | 2 k p | f ^ ( ξ ) | 2 ( p k ) p d ξ ( | ξ | 2 p | f ^ ( ξ ) | 2 d ξ ) k p ( | f ^ ( ξ ) | 2 d ξ ) p k p = ( | ξ | 2 p ( 1 + ξ 2 ) p ( 1 + ξ 2 ) p | f ^ ( ξ ) | 2 d ξ ) k p ( | f ^ ( ξ ) | 2 d ξ ) p k p ( sup ξ R | ξ | 2 p ( 1 + ξ 2 ) p | ξ | 2 p ( 1 + ξ 2 ) p | f ^ ( ξ ) | 2 d ξ ) k p ( | f ^ ( ξ ) | 2 d ξ ) p k p E 2 k p sup ξ R | ξ | 2 k ( p p ) p ( | f ^ ( ξ ) | 2 d ξ ) p k p = E 2 k p f ^ ( ξ ) 2 ( p k ) p , (15)

所以有:

f ( k ) ( x ) E k p f ^ 1 k p ,

定理3.1证毕。

注3.1 正则化参数的后验选取规则是在条件稳定性结果的基础上建立的,所以只给出条件稳定性结果。

在第4节将引入分数阶Landweber迭代正则化方法,并给出相应的误差估计。

4. 正则化方法及误差估计

在本节中,主要使用分数阶Landweber正则化方法解决高阶数值微分的不适定性,并给出了先验正则化参数规则选取下的误差估计。

通过带噪声的数据表示分数阶Landweber正则化解:

R ( f δ , m ( k ) ( x ) ^ ) = [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ | ξ | k f ^ δ ( ξ ) , (16)

其傅里叶逆变换为:

R ( f δ , m ( k ) ( x ) ) = 1 2 π [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ | ξ | k f ^ δ ( ξ ) e i ξ x d ξ . (17)

不带噪声的精确数据的分数阶Landweber正则化解为:

R ( f m ( k ) ( x ) ^ ) = [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ | ξ | k f ^ ( ξ ) , (18)

其傅里叶逆变换为:

R ( f m ( k ) ( x ) ) = 1 2 π [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ | ξ | k f ^ ( ξ ) e i ξ x d ξ . (19)

需要注意的是,其中 m 1 为正则化参数, 0 < β < | ξ | 2 k ,且 1 2 < γ 1 为分数阶参数。当 γ = 1 时,便是Landweber迭代方法。

下面将给出先验选取规则下的误差估计结果。

定理4.1 假设高阶数值微分问题满足条件(12)和(13),选取正则化参数为 m ( δ ) = ( E δ ) 2 k P ,其中 p > 1 p > k (k为正整数),则收敛估计为:

f ( k ) ( x ) R ( f δ , m ( k ) ( x ) ) [ ( p k 2 k β ) p k 2 k + β 1 2 ] E k P δ 1 k P . (20)

证明. 通过三角不等式可知:

f ( k ) ( x ) R ( f δ , m ( k ) ( x ) ) f ( k ) ( x ) R ( f m ( k ) ( x ) ) + R ( f m ( k ) ( x ) ) R ( f δ , m ( k ) ( x ) ) . (21)

首先证明第一部分,根据(13)式可得:

f ( k ) ( x ) R ( f n ( k ) ( x ) ) = f ( k ) ( x ) ^ R ( f m ( k ) ( x ) ^ ) = | ξ | k f ^ [ 1 ( 1 β 1 | ξ | 2 k ) m γ ] | ξ | k f ^ = [ 1 [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ ] | ξ | k f ^ = ( | [ 1 [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ ] | ξ | k | 2 | f ^ ( ξ ) | 2 d ξ ) 1 2 = ( | [ 1 [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ ] | ξ | k | 2 ( 1 + ξ 2 ) p ( 1 + ξ 2 ) p | f ^ ( ξ ) | 2 d ξ ) 1 2 sup ξ R A ( ξ ) ( ( 1 + ξ 2 ) p | f ^ ( ξ ) | 2 d ξ ) 1 2 sup ξ R A ( ξ ) E , (22)

其中,

A ( ξ ) = [ 1 [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ ] | ξ | k ( 1 + ξ 2 ) p 2 . (23)

根据引理2.2和引理2.3,可得:

A ( ξ ) ( 1 β 1 | ξ | 2 k ) m | ξ | k ( 1 + ξ 2 ) p 2 ( 1 β 1 | ξ | 2 k ) m | ξ | k p ( p k 2 k β ) p k 2 k m k p 2 k . (24)

结合(22)和(24)式,可得:

f ( k ) ( x ) R ( f m ( k ) ( x ) ) ( p k 2 k β ) p k 2 k m k p 2 k E . (25)

接下来证明第二部分,根据引理2.1及(12)式,可以得到:

R ( f m ( k ) ( x ) ) R ( f δ , m ( k ) ( x ) ) = R ( f m ( k ) ( x ) ^ ) R ( f δ , m ( k ) ( x ) ^ ) [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ | ξ | k ( f ^ f ^ δ ) δ sup ξ R [ 1 ( 1 β 1 | ξ | 2 k ) m ] γ | ξ | k β 1 2 m 1 2 δ . (26)

将(25)和(26)式带入(21)式,可以得到:

f ( k ) ( x ) R ( f δ , m ( k ) ( x ) ) ( p k 2 k β ) p k 2 k m k p 2 k E + β 1 2 E k P δ 1 k P .

选取正则化参数 m ( δ ) = ( E δ ) 2 k P ,则可以得到收敛估计为:

f ( k ) ( x ) R ( f δ , m ( k ) ( x ) ) [ ( p k 2 k β ) p k 2 k + β 1 2 ] E k P δ 1 k P .

定理4.1证毕。

5. 结论

本文提出了一种分数阶Landweber迭代正则化方法来分析高阶数值微分的不适定问题。通过分数阶Landweber迭代格式的构造,给出数值微分问题的正则解。最后在正则化参数的先验选取规则下,得到正则解和精确解之间的误差估计。

References Wang, Y. and Liu, J. (2018) On the Edge Detection of an Image by Numerical Differentiations for Gray Function. Mathematical Methods in the Applied Sciences, 41, 2466-2479. >https://doi.org/10.1002/mma.4752 Liu, J.J., Seo, J.K., Sini, M. and Woo, E.J. (2007) On the Conductivity Imaging by MREIT: Available Resolution and Noisy Effect. Journal of Physics: Conference Series, 73, Article ID: 012013. >https://doi.org/10.1088/1742-6596/73/1/012013 Hanke, M. and Scherzer, O. (1998) Error Analysis of an Equation Error Method for the Identification of the Diffusion Coefficient in a Quasi-Linear Parabolic Differential Equation. SIAM Journal on Applied Mathematics, 59, 1012-1027. >https://doi.org/10.1137/s0036139997331628 刘继军. 不适定问题的正则化方法及应用[M]. 北京: 科学出版社, 2005. Qu, R. (1996) A New Approach to Numerical Differentiation and Integration. Mathematical and Computer Modelling, 24, 55-68. >https://doi.org/10.1016/s0895-7177(96)00164-1 Anderssen, R.S. and Hegland, M. (1999) For Numerical Differentiation, Dimensionality Can Be a Blessing! Mathematics of Computation, 68, 1121-1141. >https://doi.org/10.1090/s0025-5718-99-01033-9 Luo, X.J. and Chen, Z.Y. (2006) Differentiation of Approximately Specified Functions. Numerical Mathematics A Journal of Chinese Universities, 1, 76-82. Ramm, A.G. and Smirnova, A.B. (2001) On Stable Numerical Differentiation. Mathematics of Computation, 70, 1131-1154. >https://doi.org/10.1090/s0025-5718-01-01307-2 Cullum, J. (1971) Numerical Differentiation and Regularization. SIAM Journal on Numerical Analysis, 8, 254-265. >https://doi.org/10.1137/0708026 Wang, Y.B., Jia, X.Z. and Cheng, J. (2002) A Numerical Differentiation Method and Its Application to Reconstruction of Discontinuity. Inverse Problems, 18, 1461-1476. >https://doi.org/10.1088/0266-5611/18/6/301 Hao, D.N. (1994) A Mollification Method for Ill-Posed Problems. Numerische Mathematik, 68, 469-506. >https://doi.org/10.1007/s002110050073 Klann, E., Maaß, P. and Ramlau, R. (2006) Two-Step Regularization Methods for Linear Inverse Problems. Journal of Inverse and Ill-Posed Problems, 14, 583-607. >https://doi.org/10.1515/156939406778474523 Han, Y., Xiong, X. and Xue, X. (2019) A Fractional Landweber Method for Solving Backward Time-Fractional Diffusion Problem. Computers&Mathematics with Applications, 78, 81-91. >https://doi.org/10.1016/j.camwa.2019.02.017 Klann, E. and Ramlau, R. (2008) Regularization by Fractional Filter Methods and Data Smoothing. Inverse Problems, 24, Article ID: 025018. >https://doi.org/10.1088/0266-5611/24/2/025018 Wang, J., Zhou, Y. and Wei, T. (2013) Two Regularization Methods to Identify a Space-Dependent Source for the Time-Fractional Diffusion Equation. Applied Numerical Mathematics, 68, 39-57. >https://doi.org/10.1016/j.apnum.2013.01.001
Baidu
map