admin 管理员组

文章数量: 1086019


2024年2月28日发(作者:网站web工程师)

第38卷第1期 江西师范大学学报(自然科学版) V01.38 No.1 2014年1月 Journal of Jiangxi Normal University(Natural Science) Jan.2014 文章编号:1000-5862(2014)01-0065-05 算子非精确条件下确定正则化参数的一种方法 胡彬,夏赘,喻建华 (东华理工大学理学院,江西南昌330013) 摘要:基于非标准的广义偏差原则,在算子及观测数据都有扰动的条件下,对于求解不适定问题的Tik. honov正则化方法,给出了一种选取正则化参数的简单迭代算法,并阐明了该迭代算法是一种线性模型函 数算法.进一步地,利用线性模型函数方法,在一定条件下证明了所提出的选取正则化参数的简单迭代算 法是收敛的,并通过数值算例验证了该方法的有效性. 关键词:不适定问题;正则化方法;正则化参数;模型函数;广义偏差原则 中图分类号:0 241.8;O 241.6 文献标志码:A 0 引言 本文针对在算子和观测数据都非精确的条件下,基 于广义偏差原理研究正则化参数选取的模型函数方 数学物理反问题主要是指由事物的观测数据来 法与求解不适定算子方程的正则化解,并讨论了正 预测它的不可测数据或不可知信息.但在实际测量 则化解的一些性质. 时,测量数据不可避免的带有某些微小扰动,这些微 小扰动可能造成解的急剧变化.因此这类问题往往 1 Tikhonov正则化与广义偏差原理 是不适定或者说是不稳定的.常用正则化方法来克 服这类问题求解中的不稳定性,求得稳定数值解,其 求解不适定的第1类算子方程 中最具有代表的是Tikhonov正则化方法H 4。.在实 Kx=Y, (1) 际求解过程中,正则化方法是否有效关键在于正则 是Hilbert空间 到I,上的有界线性算子.设 为 化参数的选取.选取正则化参数的策略有先验和后 的近似算子,也是Hilbert空间 到y上的有界线 验两种,这些在实际计算和理论研究上都不是令人 性算子,且满足lI — ll≤h.设 为方程右端项 非常满意.因此,找到更有效的选取正则化参数的方 Y的观测值,这里记右端项的真值仍然为Y,且满足 法,不仅可以节约计算代价,还可以进一步提升正则 ll y8一Y ll≤6.记71=(h,6),则不适定算子方程 化方法的适用性。 (1)的实际求解问题是:在 的某个闭凸集D上,由 Morozov偏差原理的选取正则化参数是重要策 { , , }近似求出算子方程(1)的解,即在闭凸 略之一,但更多的是基于这一原理在算子精确的前 集D上求解近似方程 提条件下展开研究的.如文献[5.10]研究了正则化 =Y ,y8∈Y, (2) 参数选取的模型函数方法,特别是文献[8.10]提出 从而获得算子方程(1)的近似解,其中闭凸集D是 了线性模型、指数模型、双曲模型与对数模型的概念 由问题的先验信息决定的.方程(2)的求解归结为 及其新的模型函数,并从单正则化参数的选取推广 极小化泛函l lKhx~Y ,当算子是紧线性算子和 到多正则化参数的选取. 值域是无穷维时,方程(2)本质上是不适定的,从而 在许多实际应用领域,如大气气溶胶遥感反演、 极小化泛函Il 一 I l也是不适定的.克服不适 电磁场反演等领域,算子方程中的算子往往是 精 定的典型方法是Tikhonov正则化,即给极小化泛函 确的,即算子带有扰动误差.众所周知,算子非精确 加上一个惩罚项,再极小化新的目标泛函,即极小化 条件下正则化参数选取的研究未见广泛展开 10-11]. 正则化泛函 收稿日期:2013—10-25 基金项目:国家自然科学基金(11161002),江西省青年科学基金(2O132BAB2l10l4)和江西省教育厅科技课题(GJJ13460) 资助项目. 作者简介:胡彬(1982-),女,江西南丰人,讲师,主要从事数学物理方程反问题理论及计算的研究: 

江西师范大学学报(自然科学版) J ( )=ll^ —Y I +Ol/l ll ,l (3) 2014正 (ii)]iar d( )=ll ll 一6 一( ( ,Y )) ; (iii)liad(r )≤一 ; 其中O/>0为正则化参数.记上述正则化泛函的极 小元为 ( , ).由文献[11]可知,当 ( ,田)为D 的内点或者D=X时,则求解G(O/)等价于求解下述 欧拉方程 (iv)设 萑研,若『l lI > +( ( , )) , 则存在唯一的 >0,使得d(a )=0,对应的正则 化解也是唯一确定的,且此时d( )是严格单调递 K^ ( ,r/)+似( ,r/)=Kh . (4) 方程(4)的求解关键取决于正则化参数OL有效 选取.选取的原则:选取 (71),当 0时, (OL, 叼)一,其中 ( ,叼)为正则化解(方程(4)的解), 为方程(1)的精确解. 定义1 ( , )=i lI 一 lI,称 ( , )为近似算子 与 在闭凸集D 上的不相容度. 显然,当), ∈ D时, ( ,y )=0. 引理1 设II y—y8 II≤6,II K—Kh lI≤h, Y=Kx, ∈D,则当叼一0时,有 ( ,y8):0. 事实上, ( ,y8)≤II 一y8 ll≤ll Khx一 ll+I 1一Y Il≤h l1 Il+6.定义3个正则化 参数 的函数为 F( )=Il ̄x(oL,r1)一 I l+ l J( ,叼)l I, D( )=l lKhX( ,71)一y8 , ( )= I l( , ,7)l l, 其中 ∈(0,+∞). 弓l理2 “ (i)函数F( ),D( ), ( )在 区间(0,+∞)内都连续; (f1)函数F( )是凸的可微函数,且 F ( )= ( ); (iii)函数F( )与D( )是单调非减的, (OL) 是单调非增的; (iv)满足下列等式: lira ( )=liar a ( )=0,li 0c ( )=0, liar F( )=liar D( )=l1),5 l l, li F( )=li D(0[)=( ( ,y8)) . 这里引进如下非标准广义偏差函数 ( )= l lKh ( ,r1)一y8 lJ + l l( ,r1)『 l一 ( +h l l( ,r1)lJ) 一( ( , )) ,(5) 显然,当去掉(5)式右端第2项时,即文献[1l一12] 中所给出的广义偏差函数.确定正则化参数的非标 准广义偏差原理是:当Il l l≤ +( ( , )) 时,取 ( ,r1)=0作为算子方程(1)的近似解;否则, 选取非标准广义偏差函数d( )的正零点 作为正 则化参数,从而获得方程(1)的近似解 ( ,叼). 定理1 d(0c)具有如下性质: (i)d( )是区间(0,+o。)内的连续函数,且单 调非减的; 增的. 证 由F( )和 (OL)的定义知d( )为 d( )=F( )一( + ( )) 一( ( ,,, )) . (i)连续性直接由引理2可得,下证单调性. 取0< 1< 2,则 d( 2)一d(仅1)=F( 2)一F( 1)+ ( ( 1)一 ( 2))+2 ( ( 1)一 ( 2)). 由F( )与 ( )的单调性,得 ( )≥ ( :), F( 1)≤F( 2).所以d( 2)一d( 1)≥0. (ii)由引理2可得 lim d(OL)=l lY ll 一 一( ( , ))2. (iii)由lim F( )=( ( , )) 得证. (iv)因为 譬Kh‘,所以由(4)式知 (0c, )≠ 0,则F( )严格单调递增,从而得d( )也严格递 增.因为 liar d( )=l lII 一6 一( (Kh,Y )) , I 1I 1>6 +( (Kh,y )) , 所以liar d( )>0.又lirad( )≤一8 .由d( )是 区间(0,+∞)内的连续函数,所以存在唯一的 仅 >0,使得d(OL )=0. 2 确定正则化参数的迭代算法 根据(5)式,将偏差函数方程d(a)=0改写成 =[(8+h lI ( ,r1)l1) +( (K^, )) 一 Il Khx(a,r1)一 lI ]/lI ( ,r1) 由此,得到下述确定正则化参数的简单迭代算法. 算法1 正则化参数选取的迭代算法. 给定初始 ,且8>0,置 =0, Step 1 把初始正则化参数 。代入(4)式,解 (4)式得 ( 。,'7),计算d( 。),若d( )=0输出 。,计算停止; Step 2 否则计算 =+ [(6+ Il ( ,r1)I1) +(ix (K^,r1)) 一 l l,^ (OL ,71)一 I I]/l l( ,r1)l J; Step 3 把 代人(4)式求得 ( ,r1),并 计算d(OL ). Step 4 如果d( )d( )≤0或I 一 J/OL ≤8,则输出 .否则置 = 十1并转到 

第1期 胡彬,等:算子非精确条件下确定正则化参数的一种方法 67 Step 2. 定理2 设y8 ,l IIl > +( ( , Y8)) ,d( )=0,假设 。从0开始迭代,算法1不因 d(Ot )d(OL )<0而停止,则由算法1所得的正则 化参数序列{ }或者只有有限个或者是无限且当 y8∈KhD时,有 _ , _++O0. 为了证明该定理,先引进线性模型函数的思想 方法 驯.由引理2可知F (Ot)= (O1),则确定正则 化参数的迭代算法1实际上是线性模型函数的算 法,即设第Ji}步的线性模型函数为m (O/)=C Ot+ ,其中c , 为待定参数.显然,由文献[8,10]中 的方法得C = (Ot ), =D(Ot ).当算子是精确 时,文献[1O]首次从Hermite插值出发得到确定正 则化参数的线性模型函数.而d(O/)可改写为F(OL) 的形式,即 d(Ot)=F( )一( +h F (O/)) 一( ( ,y )) . 在迭代计算中,用m ( )替代了F(OL),得到的 线性模型函数算法即为算法1.记 d ( )=/7/,k(Ot)一(6+h ̄/m ( ))‘一( ( ,%)) , 显然,d ( )是单调递增的,且当y 隹Kh 时严格单 调递增. 定理2的证明 当 ( 。)=0时,算法1停止, 。是所要求的正则化参数.以下只要证明d。(OL。)>0 与d。(OL。)<0这2种情况下结论是成立的. (i)当d。( 。)>0时,因为 do( )= + 一( +h√c0)‘一 , 则由引理2的(iii)知7"o=Ix:,所以得d。(0)<0.又 由d0(O1)的单调性,可得存在唯一的 ∈(0,Ol。) 使得do( 。):0.显然当d0( 。)d (OL )≤0时,序列 { }是有限的且严格单调.因此,只需证明当 ( )d (OL )≤0不成立时,OL 收敛于OL .此时,序 列{ }满足d (OL )>0(.i}=1,2,…). 由 d ( 川)=0和d ( )的单调性得 > .再由 d( )的单调性和d (OL )=d( ),d( )=0得 > .然后,根据单调有界序列必收敛得{ }是 收敛的. 记 =,liar OL .当Y ∈KhD时, (Kh,Y ):0. 下证d( ):0.此时, d ( )=7孔 ( )一(6+h ̄/m (OL ))‘= F(0【 )一(6+h√F ( )). 又因为F( )和 ( )都是连续的,所以 .1iard ( )=.1iard ( +1). k--- ̄+∞ —++∞ 又d ( )=0和d ( )=d( )得 d( )=.1iard( )=.1iard ( )=0. (ii)当 (%)<0时只需证明算法1能够产生 序列{ }.因为 liar d0( )=lim[co + 一( +h ̄/c0)‘一 ix (Kh ,Y )]=+oo, 由d。( )的单调性可知{ }存在.后面的证明与 (i)类似. 3 数值实例及误差估计 为说明本文所给方法的有效性,给出2个数值 实算例. 例1 求解第1类Fredholm积分方程 。 r1 =f K(s,t) (s)ds=y(t),一2≤t≤2, 其中 K( ) , ,、exp(一 )+exp(一 ) L ————— ———一一 0.052 130 9l3. 用梯形公式来离散以上第1类Fredholm积分方 程,得线性方程组 A =Y, (6) 其中积分核K(s,t)离散成矩阵A … (s)离散成n 维列向量 .对(6)式两端同时加入随机扰动,即 A^=A+h・randn(m x n)・A, Y =Y+ ・randn(n)・Y. 注1 randn为Matlab软件中的随机函数.初始 值 =0,取不同的误差值6,h.求出相应的正则化 参数,并求出由此参数求解的正则化解与真解之间 的相对误差,同时也给出正则化解与真解的拟合图 像.如图1所示,线形线为无扰动下方程的数值解, 星形线为在不同扰动水平下方程的正则化解.记 h=I IA 一A lI, =} lY—Y ll, P=I I(OL,叼)一 ll/I ll1. 情形1 当h=9.358 8e一007, =9.358 8e一 007时,正则化参数 =3.790 8e一009,正则化解的 相对误差P=1.274 le一002.正则化解与真解的对 比图(见图1和图2),其中图1是该情形下未作正则 化处理的计算结果(即当 =0时的最小二乘解), 图2为算法l所得结果. 情形2 当h=4.385 0e一005,艿=3.022 4e一 004时,正则化参数 =1.325 0e一008,正则化解的 

江西师范大学学报(自然科学版) 2014正 相对误差p=1.536 5e一002,如图3所示.∞∞∞如 O 们印舳  ● ● ● ●● ● ●● ’● ● ● ● ● . ● ● 。^ ● ● ●●● 。 ●● ● ● 。 ● ● ● ● ● ● ● ● - ● 0 0.2 0.4 0.6 0.8 1.0 图1 =0 5 4 3 2 O图2 Ot=3.790 8e一009 图3 =1.325 0e一008 例2考虑求解第1类Fredholm积分方程 r1 Kx=I K(s,t) (5)ds=),(t), J 0 其中 K(s,t)= ̄/2g(t—s),g=9.80, (s)=e (2 ̄rcos(1Ts)+(1T 一1)sin(1T )). 同理,把积分方程离散成线性方程组Ax=歹,方 程两端的算子及测量数据都加入随机扰动.正则化 解与真解的对比图如下,线形线、星形线分别为无扰 动下与不同扰动水平下方程的正则化解. 情形1 当h=9.474 9e一007, =1.6e一003 时,正则化参数Ot=1.019 2e一009,正则化解的相 对误差p=0.053 7.正则化解如图4与图5所示,其 中图4是该情形下未作正则化处理的计算结果,图5 为算法1所得结果. 情形2 当h=7.765 0e一008, =1.396 7e一 005时,正则化参数 =9.221 7e一014,正则化解的 相对误差p=0.043 5,正则化解如图6所示. ● ● . ’ ● ●● ● ● ▲●. ▲t ▲..~●.上— ~●..…... ● ’’ ’’一’, ’ ’~・ ’●●. ● . ‘ ● 0 10 20 3O 40 50 6O 70 8O 图4 =0 图5 a=1.019 2e一009 图6 =9.221 7e一014 比较算例的数值模拟结果知,方程未做正则化  

第1期 胡彬,等:算子非精确条件下确定正则化参数的一种方法 1998,14(5):1247-1264. 直接得到的解与方程的真解偏离甚远,拟合效果也 较差.而基于非标准广义偏差函数原理的线性模型 函数算法(即算法1),在不同的扰动水平下确定的 正则化参数所求得的正则化解都与真解的相对误差 很小,拟合效果都较好.这就说明了本文所提出的方 法能够有效选取正则化参数,并且用这种方法更新 得到的正则化参数a是全局收敛的. 本文提出的方法仅针对单正则化参数的选取进 行了研究,对于如何把这种线性模型函数,在方程两 端都有扰动的条件下,应用到多个正则化参数的选 取中去有待进一步研究. [6]Xie Jianli,Zou Jan.An improved model function method for choosing regularization parameters in linear inverse problems[J].Inverse Problems,2002,18(3):631-643. [7]Liu Jijun,Ni Ming.A model function method for determi. ning the regularizing parameter in potential approach for the recovery of scattered wave[J].Applied Numerical Mathematics,2008,58(8):1113.1128. [8]Wang Zewen,Liu Jijun.New model function methods for determining regularization parameters in linear inverse problems[J].Applied Numeircal Mathematics,2009,59 (10):2489-2506. [9]Wang Zewen.Multi-parmetaer Tiknonov regularization and 4参考文献 [1]Kitsch A.An introduction to the mathematical theory of inverse problems[M].2nd ed.New York:Springer—Ver- lag,2011. model function approach to the damped Morozov principle for choosing regularization parmetaers[J].Journal of Computational and Applied Mathematics,2012,236(7): 1815.1832. [10]Wang Zewen,Xu Dinghua.On the linear model function method for choosing Tikonov regularization parameters in [2]End H W,Hanke M,Neubamer A.Regularization of in— verse problems[M].Dordrecht:Kluwer Academic Pub— lishers,1996. linear ill—posed problems[J].Chinese Journal of Engi- neeifng Mathematics,2013,30(3):451-466. [3]刘继军.不适定问题的正则化方法及应用[M].北京: 科学出版社,2005. [11]Tikhonov A N,Goneharsky A V,Stepanov V V,et a1.Nu. merical methods for the solution of ill—posed problems [4]Cheng Jin,Yamamoto M.One new strategy for a priori choice of regularizing parameters in Tikhonov’S regulari— [M].Dordreeht:Kluwer Academic Publishe1"8,1995. [12]樊树芳,马青华,王彦飞.算子及观测数据都非精确情 况下一种新的正则化参数选择方法[J].北京师范大 学学报:自然科学版,2006,42(1):25-31. [13]王彦飞.反演问题的计算方法及其应用[M].北京:高 等教育出版社,2007. zation[J].Inverse Problems,2000,16(4):31-38. [5]Kunisch K,Zou Jun.herative choices of regularization pa- rameters in linear inveser problems[J].Inverse Problems, The Method for Determining Regularization Parameters、 th Perturbed Operators HU Bin,XIA Yun,YU Jian・hua (School of Science,East China Institute of Technology,Nanehang Jiangxi 330013,China) Abstract:Based on the non—standard generalized discrepancy principle,a simple iteration method is given for choo- sing regularization parameters witIl perturbed operator and noise data for the Tikhonov regularization method.which is a classical method for solving ill—posed problems.And it is clariifed that the proposed iteration method is a linear model function algorithm.Furthermore,the simple iteration method for choosing regularization parameters is proved to be convering underg some conditions by using he ltinear model function method.Numerical experiments show hatt the method iS efficient. Key words:ill—posed problem;regularization method;regularization parameter;model function;generalized discrep- ancy principle (责任编辑:曾剑锋) 


本文标签: 正则 参数 方程 算子