一类Curvature方程组解的迭代逼近.pdfVIP

应 用 数 学 M ATHEMATICA APPLICATA 2015，28(4)：761—770 ～ 类Curvature方程组解的迭代逼近 魏利，师爱芬 (河北经贸大学数学与统计学学院，河北石家庄 050061) 摘要：本文给出一类Curvature方程组解的构造，并建立其解与有限个极大单调 算子公共零点之间的关系．借助于极大单调算子的广义豫解式，设计新的投影 迭代算法，利用Lyapunov~函、广义投影映射和保核收缩映射等工具，证 明迭 代序列在Banach空间中强收敛到有限个极大单调算子公共零点的结论．进而得 到Curvature方程组解的迭代逼近序列．推广和补充了以往的相关研究成果． 关键词：广义豫解式；保核收缩映射；Lyapunov泛 函；极大单调算子；零点； Curvature方程组 中图分类号：O177．91 AMS(2000)主题分类：47ti05；47H09 文献标识码：A 文章编号：1001—9847f2015)04_0761—10 1．引言 Curvature方程与图像处理、光纤传感器等问题密切相关[1_ ．因此对这类问题的研 究活跃在数学领域．在文 2【】中笔者利用含有伪单调算子的变分不等式理论得到了以下含 有Curvature方程的Dirichelet边值问题在 ，p(n1空问中存在唯一解的结论： f—div[(1+1wl)iiw l一V]+￡IuIq--2u=，(z)，a．e．X∈ ， ，， _ ： a．e_ ∈ ， 文 2【1还利用极大单调算子值域几乎相等的结论得到了以下含有Curvature方程的Neumann边 值问题在 1,p(g2)空问中存在唯一解的结论： f—div[(1+lX7u])§l l一 乱]+￡I乱lq--2=，()，a_e． ∈ ， ，，n、 I一- ，(1十1w l)IW lm--1Vu∈ (())一 ()，a．e． ∈ 、 当一个‘Curvature方程不足以刻画实际问题而需要多个Curvature方程来刻画的时候，就引 出了研究Curvature方程组的问题．本文分为三部分．第一部分是引言和预备知识，第二部分给 出一类Curvature方程组解的构造，并研究这个解与有限个极大单调算子公共零点的关系，第 三部分设计有限个极大单调算子公共零点的投影迭代算法，由此引出Curvature方程组解的迭 代强收敛序列． 以下，设 为实Banach空问，E 为其对偶空问．正规对偶算子JC E ×E 定义为： 。I(x)={ ∈E ：(，X)= 。『一lIxIl。)，Vz∈E，其中(·，)·表示E与E元素问的广义对偶 对．分别用 “ ”和 “一”(“w—lim”)表示空间 或E 中序列的强、弱收敛． 映射T：D(T)=X-4X 称为hemi连续映射[3]．若w—lim oT(x+ty)= ， ，Y∈X． 映射 ： -÷ 称为强迫映射 【】：若lim_++oo ； =∞，当lim +ooIIxlJ=+∞． 收稿 日期：2014-10—22 基金项 目： 国家 自然科学基金 ，河北省 自然科学基金 (A2014207010)，河北省教育厅科研重 点项目(ZH2012080)，河北经贸大学科研重点项目(2013KYZ01) 作者简介：魏利，女，汉族，河北人，教授，研究方向：非线性泛函分析． 762 应 用 数 学 称多值算子A cEXE 为单调算子[4]．若Vx ∈D(A)，Yi∈Ax，i= 1，2，均有(z1一 2，Y1一Y2) 0．称单调算子以为极大单调的：若Vr0，R(J+rA)=E ．对单调算子／l，其核 定义为：／l 0={ ∈E：0∈Ax}．若X∈A_。0，则称 为 的零点． 定义