水平未知时一种图像恢复正则化算法(图像和数字(19)
发布时间:2021-06-06
发布时间:2021-06-06
河北工业大学硕士学位论文
为展平泛函:其中,只是F中的稠密子集,n[f】是定义在R上的非负连续泛函(称为稳定泛函),且满足下述条件:
(1)待求的fT∈乃
(2)vor>0集合{,IQ[,】5d=const}是乃中的紧子集.
可以证明下面的结论
定理2.1.设日是度量空间F到度量空间U的连续算子,则Vo>0和均∈U,j厶∈F使得泛函(2.12)在Fl上达到极小值,即:
M。魄,引2魅M“【,,引
之,定义了一个由U_+F的算子冗。:(2 13)由上述定理,VⅡ>0和Vg∈U,在空间F中有唯一的元素厶与之对应;换言
厶=冗。(9,D),g∈以厶∈F(2.14)
由于算子冗。对VoL>0和V9∈u都有定义,自然冗。对。∈(0,OLl)及满足不等式Pu(9r,邯)Sd的卯也有定义.因而,这样定义的算子满足正则算子定义的第一个条件.下面的定理表明,对于适当选择的正则参数口=口(9d,6),冗(9,d)也满足正则算子的第二个条件.
定理2.2设疗是对应于方程(2.10)的准确右端项的准确解:日厅=tit.于是,ve>0,及满足下列的在【0,6l】上定义的非负、非减函数pl(口),仍(o):
志≤徘m(0)=。
均存在60(E,卢l,倪,厅)Sd1,只要
Pu(gd,gT)曼5,卯∈阢5≤50
便有PF,l露厅、J<一E《||兄扫d口卯∞kJ
这样我们就在连续情况下说明了正则算子的存在性,并且给出了一种构造正则算子的方法.下面讨论离散的情况,设Ⅳ“和L“分别为离散解空间与数据空间,定义如下:
W“={f“:/“=(fo,^,…,厶)T)
驴={矿:g“=(go,gh.一,‰)T)
13