极小全变分流第一边值问题弱解的存在性.pdfVIP

瑷 数学物理学报 http：／／actams．wipm．ac．cYl 极小全变分流第一边值问题弱解的存在性 芮杰 (中国石油大学 (华东)数学与计算科学学院 山东东营257061) 杨孝平 (南京理工大学理学院 南京210094) 摘要：该文利用 Crandall—Liggett半群定理和完全增长算子的性质，得到初始值属于L (Q) 的非齐次发展方程第一边值问题弱解的存在性． 关键词：完全增长算子；半群解；强解；弱解． MR(2000)主题分类：47B44；74H20；47H05 中图分类号：O175．29 文献标识码：A 文章编号：1003—3998(2011)04—958—12 1 引言及弱解的定义 图像处理中模型的研究已有很多 [1-2]，通常考虑的是极小问题，但将极小问题转化为发 展方程研究尚不多见．文献 [3]研究了图像处理中下列极小问题的解的存在性 ra in n)1l faWll+aiv(+Ja／2J乱【一Id日， (1．1) 其中区域Q是 Ⅳ中具有Lipschitz边界的有界开区域，向量函数0∈Ll()，且 l0I 1， div(O)∈L )， ∈ 。。(aQ)，uloa= ，并有 0·Du=}D 1．为了更好的研究该问题解的性 质，现在对于问题 (1．1)不考虑条件限制 ll。。，对极小泛函用梯度下降法得到了下列 问题 f刊 ()堋 Q ，oo)， 1【(，)=(茁)，s=(0，03()×a2【， L· 乱(0，) u。()， ∈Q， 其中u0∈L (2【)， ∈ (aQ)．文献 4【]研究了问题 (1．2)中 f(t，X)=0时熵解的存在唯一 性．文献 [5]研究了问题 (1．2)中f(t，)=0且边值条件为Neumann边值条件时弱解的存在 唯一性．文献 [6】研究了问题 (1．2)中边值条件为Neumann边值条件时弱解的存在唯一性． 而在图像处理中问题 (1．2)的非齐次情形的解更具有实际价值，本文所要研究的便是问 题 (1．2)的非齐次情形．本文通过引入新的弱解定义，利用 Crandall-Liggett半群定理和极 大单调算子的性质，并借助于相关问题强解的性质，证明了问题 (1．2)当初值 u0EL1(【2)， 收稿 日期：200907—09；修订 日期：2010—08．05 E—mail：rjhygt~163．corn；yangxp@mail．njust．edu．cn No．4 芮杰等：极小全变分流第一边值问题弱解的存在性 959 f(t，)不恒为零，且对任意的t0，f(x)∈Lo。(Q)关于X是单调非增的，强制的，连续的 情形时弱解的存在性．即本文研究的问题为 (1．3) 塑 其中UO∈L (Q)，，(，)不恒为零，且对任意的t0，f(x)∈L (Q)关于 是单调非增的， 帆V一 == == 强制的，连续的． 为了更好的理解弱解定义，我们先来回顾相关的知识，以及在以后的证明中用到的相关 结论． u～ ， 由文献 7【]知，U∈BV(Q)(有界变差函数空间)是指，u∈L (Q)，且 + ∈