四阶正则化YK方程弱解的存在唯一性.pdfVIP

黝 数学物理学报 http：／／actams．wipm．ac．cn 四阶正则化 YK 方程弱解的存在唯一性 金正猛 杨孝平 (南京理工大学应用数学系 南京210094) 摘要：该文针对图像处理中y 方程理论上的不适定性，提出了正则化的 y 方程，证明了 正则化的YK 方程在有界区域上弱解的存在唯一性．而且，该文只要求初始数据属于 ，这 在图像处理中显得更为 自然． 关键词：存在性；唯一性；四阶抛物型方程． MR(2000)主题分类：35K35；35K55；68U10 中图分类号：O175 文献标识码：A 文章编号：1003—3998(2009)05—1265—09 1 引言 近二十年来，非线性偏微分方程在图像处理中已得到越来越广泛的应用．首先是二阶非线 性偏微分方程的出现，Perona和Malik在 1987年提出了用二阶非线性扩散方程来进行图像 去噪的模型I8]．他们定义了一个表示边缘特征的函数g：[0，+。。)一 (0，1】，满足9I(0)=1，9(s) 是单调下降的函数．一般可以取为 ) ， (1．1) 其中 是大于零的阀值参数．把函数g作为扩散系数加入热传导方程中IS]得到了现在被称 为PM 方程的如下去噪模型 “ ( 。， (1．2) I(，0)=。(z)． 因为 g是单调下降的，PM 方程所导致的的图像去噪过程在图像的梯度值 IVuI小的地方 比较显著，在梯度值大的地方就比较弱．而图像中物体边缘处灰度函数的梯度值较大，于是 利用这样的非线性扩散就达到了保护边缘的作用 (详细的分析见文献 2【】中第三章)．如果我 们定义 F(s)=sg(s)，可以发现 F (s)0， 当 0s 时； (1．3) 收稿 日期；2007—05—21；修订 日期：2008—08—16 E-mail：jzhm353@yahoo．com．cn；yangxp@mail．njust．edu．cn 基金项 目：教育部博士点专项基金 (20030288002)和南京理工大学博士生创新基金资助 1266 数 学 物 理 学 报 VO1．29A F(s)0， 当sk时． (1．4) 在文献 [3】中，作者分析了PM 方程 (1．2)的不适性．在一维时， (1．2)式变形为 (1．5) 可以看出，当乱 充分大时，PM 方程是一个反转的抛物型方程，理论上的不适定性将带来 数值计算时计算结果的不稳定性．为此 Carte等在文献 3【]中提出了正则化的P 方程 Jt—V。[g(IVC ~1)Vu]=0， ，。、 (，0) (z)， 其中G()= exp(一若)为一高斯磨光核． 文献 3【】给出了初值uo(x)∈L。(Q)的上述正则化方程光滑解的存在唯一性． 尽管二阶正则化的PM 方程能够在保护边缘的情况