关于一类广义非线性拟变分不等式
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
一
容易证明
l(- (I Ix GYl G) ) :
l 2 +{ ( m + [-) p(, 十 卜 1 ) g ) J( m -N x 】 0 一 - pg A ) -
( , {一 一 ) 【 一) ( 缈 + , I 1 ) ( , + ( Ⅳ 一J + g g 一 , ) 】 l }≤
显然 是单值 非扩 张 映射 。 定义 2 一个 映射 g: H 被 称 为强单 调 的和利 普希 兹连 续 的 ,如 果存 在正 常数 , 满足 . ,
( ,—) , —I 一 ≥. v I l
I 一 I l vVy I l u lx e ≤ ̄ - l , H ,
l y -pNA, )NA, ) — ) 8( B)NA, ) ≤ I l 2 (( B 一 ( B , + Ⅳ , 一 ( B I x l - xx y x x y  ̄ y +pl( , )NA, )一p l—l 口 一l l 2c A B 一 ( B l 2dx y + y ≤ l l xx N y x l l l ( 2(-s + 口) l 1 pd c口 p - ) 一 I
式 :找 出 ∈H 满 足
f∈Ⅳ( () . + ( — () , ] ( ) ) () c g
收稿 日期 :2 1—8 2 0 10 — 2 作者简介 :巩娟 (9 4 ) 16 - ,女 。辽宁 昌图人,副教授 。
第 4期
巩娟:关于一类广义非线性拟变分不等式
27 6
[4 11 -
使用预解算子技术建立 了与该广义非线性拟变分不等式等价的不动点问题, 使用这一等价性和 B ne aa h 不动 点定 理 ,提 出 了两 种迭代 算法 ,给 出了带有极 大单调 映射 的广 义非线 性拟变 分不 等式 的解 的存 在性 和
。
唯 一性 定理 ,证 明了 由算法 产生 的序列 的收敛 性 。本文 的结果 推广 和改进 了[21 1,中的若干 结果 。 - 4
(( , 一 ( ,,—) 一l ̄ , 一 ( ,l , -lV,z H NA z NA z ≥ c x) y ) l z NA z l y , Y ∈ N ) y )+ l l x , l x
类似 地可 以定 义关 于 Ⅳ在 第二 变元 的利 普希 兹连 续性 。 引理 l 设 ∈(, 和 P >0为常数 ,则下列 陈述 是等 价 的 : 0l 】
() 义非 线性拟 变分 不等 式 () 1广 1 有惟 一解 ∈H ; () 2 存在 ∈H ,满 足
=m4 [ r + ( g—m u p A , u +p 】 ) — N( u B ) f
其 中 =( +pw) I 一为预 解算 子 。
依靠 引理 I ,建立 并 分析 下面 的迭代 算法 ,以便找 到非线 性拟 变分 不等强 单调 ,系 数为 a 假 设 W : . H 2 为极大 映射 ,如 果存 在常 数 P满 足
0 1 21 2+ g 一, 2(一 口) P pb ( 1 = — 4 — , (+ ) 、 一 pd 口+ t o) . l + e ,
则广义非线性拟变分不等式 () 1有惟一解 ∈H ,由算法 1 定义的序列 { 。 ) 强收敛于 “ .
证 明了 由算法产生 的序列收敛性 ,其结果 推广 了某些 已知结果。
关键词 :非线性拟变分不等 式;迭代算法 ;收敛性 ;预解算子
中图分类号 :O179 7 .1
文献标识码 :A
文章编号 :17 -2 1 0 10 .2 60 6 43 6 ( 1)40 6 -4 2
S u y o p cfcVe so f n r l e n i e r t d f e i r in o S i Ge e a i d No l a z n
1 预
备
设 一 实 i r 间 范 为I, 积 () I 表 为 个 的Hbt , 数 f 内 为 ・, 代 上 恒 映 , ,, BH_ , l 空 e . I l , ・ 的 等 射g A : ÷ ,
N: H - H 为映射。设 W : × Hx ÷ Ⅳ 2 为极大单调映射。v ,考虑下面广义非线性拟变分不等 feH
Vo . 1 No 4 1 , . 3
Au . 0 1 g 2 1
关于一类广义非线性拟 变分不等式
巩 娟
l20 ) 100 ( 辽宁职 业学 院, 辽宁 铁 岭
摘
要:引进 了一种新的广义非线性拟变分不等式,使用预解算子技术建立了与其等价的不动点问题。利用
这一等价关系, 提出了两种迭代算法, 并证明 了带有极大单调映射的广义非线 性拟变分不等式的解的存在性定理 ,
Ab ta t A e v rin o e ea o l e rq a i ait n lie u l iswa nr d c d By sr c : n w e so fg n rl ni a u s- rai a n q ai e sit u e . n n v o t o u igt etc nq eo s le t p rtr tep o lm ntefx dp it q a au setbih d sn h iu f e ov n eao ,h r be o e o nsi e u l lewa s l e . h e r o h i n v a s W i u h e uv ln e t i ee ttrt eag rtmsween t nys g e td b t lo tes lt n h t s c q iae c ,wodf rn eai lo i i v h r o l u g se , u s , oui o a h o e itn e te rm n t e g n rln nie u s- ait n lie u lis wi xmu o oo e xse c h o e o e e o l a q a i rai a n q aie t ma i m m n tn h a nr v o t h ma pn sWa r v d T e c n eg n e frsq e c e e td b e ag r h swa ei e 。 e p ig s p o e . h o v re c o e u n e g n r e y t loi m sv r d T a h t i f h c n l in ee yh v o uaie u e f n wnc n l so s o cu o sh rb a ep p l z dan mb r o o cu in . s r ok
证明 设 ,为日 中任意 元素 ,定义 映射 G: - H y H - )
28 6
辽宁工业大学学报 ( 自然科 学版)
第 3 卷 l
G ) ( + {一g rx 【 — ) p ( , + 厂 , x ( =1 ) (— ) ( mx NA ) 】 Ve 一 e+ g — x j H
定 义 3 设 : H H,N : xH H 为映射 ,称 | H 7 \ , () 1 关于 第一变 元 为利普 希 兹连续 ,如 果存 在常 量 >0 满足
I(z Ny ) l y, Y E I x ) (zI l l N ,- ,l x I , ≤s - ,Z H
() 2 关于 在 第一变 元 强单调 ,如果存 在 常量 c 0 ≥ 和d≥ 0满 足
第 3 卷第 4期 l
2 0l 1年 8 月
辽 宁工业 大学学报 ( 自然科 学版)
Jun l f io igU ie i f et lg ( trl ce c dt n o ra L ann nv r t o T cmoo yNaua S i e io ) o sy n E i
定 理 1 设 A B g, : - 为利 普希 兹连续 ,系 数分 别 为 口 b P g: g一, 为 强单 调 ,系数 为 , ,, m H - - - ) ,, , , l
m 关 于 g松 弛单调 , 系数 为 . 设 N : × 假
关 于第 一 、 二变元 为利 普希 兹连 续 , 第 系数分 别为 fk, ,
Ke r s n n i e r u s— a it n l n q a i e ; tr t e ag rt m; o v r e c ; y wo d : o l a a i r i a e u l is i ai l o h c n e g n e n q v a o i t e v i r s le t p rtr e ov n eao o
Qu s V ra o a e u l e ai a it n ln q ai s - i I i t
GONG ua J n
( i o ig V c t n l o l e Til g 1 2 0 , ia) L a n n o a i a l g , e i 1 0 0 Ch n o C e n
其中 ∈(, 为常量,E ̄ g和 m是利普希兹连续的且 g一 是强单调的,由此 O1 】 h:
l ( , + —)< 一,( 9]ly -一 一) ( m l l 2 p ) ̄ —l g , g y h . + l 1 l  ̄ + x
注 意
l Ⅳ , 一 ( , ) = — 【( )NA B ] — y xl
算法 1 设 g m, B: , A, H H,N : xH - W : - ,f∈H . 定 ∈ ,按 照 下面 的迭代 H 9H, H 92 给
格式 算 计 序列{ 。 ) : >
肘=1 ) d. ( m 【 — )一 NA u+ 】 ≥ l( - { 一 — ) + ( m p ( , 】 0 一 tl g u 1l g u uB ) ,
其 { )。 [l 任 序 满 ∑6=-. 中 co】 意 列 足 1 - > ,为 t o o
n=0
算 法 2 设 g m, B: - H,N : × , , H - - - ) Ⅳ
, : - 2 .∈H . 定 l ∈H ,按照 下面 的迭代 W H - ,, ) r 给 / o
变分不 等式 理论在 力学 、经济学 、优 化和 工程 学等学 科 中有着 重要 的应 用 。某 些研 究者【4 1J 不动 点 .使用 定理 研究 过多种 变分 不等式 ,拟 变分不 等式和 变分 包含 的解 的存在 性 。
本文引进了一类新 的广义非线性拟变分不等式,其包括已知的某些变分不等式和拟变分不等式为特例
注记 1 容 易看 出广义 非线 性拟 变分 不等 式 () 1包含 许 多类变 分不 等式 和拟 变 分不等 式 作 为特殊 情 ¨
况。
现在 回顾 下面 的定 义 。
定义 l 设 W : 【 H 2 为极 大单 调映射 , V >0,W 的预解 算子 定义 为
=( + , ) V e ~ ,' x
格式 序列{ : 计算 ) 。 >
l 一( ) + [ = g一 ( g—m u ~ N( u, , + 】 V ) p A , ≥ 0 z)
2 解的存在惟一性及算法的收敛性
现 在证 明广义 非线 性拟 变分 不等 式 () 1的解 的存 在 唯一性 和算 法 1 2的收敛 性 。 和
容易证明
l(- (I Ix GYl G) ) :
l 2 +{ ( m + [-) p(, 十 卜 1 ) g ) J( m -N x 】 0 一 - pg A ) -
( , {一 一 ) 【 一) ( 缈 + , I 1 ) ( , + ( Ⅳ 一J + g g 一 , ) 】 l }≤
显然 是单值 非扩 张 映射 。 定义 2 一个 映射 g: H 被 称 为强单 调 的和利 普希 兹连 续 的 ,如 果存 在正 常数 , 满足 . ,
( ,—) , —I 一 ≥. v I l
I 一 I l vVy I l u lx e ≤ ̄ - l , H ,
l y -pNA, )NA, ) — ) 8( B)NA, ) ≤ I l 2 (( B 一 ( B , + Ⅳ , 一 ( B I x l - xx y x x y  ̄ y +pl( , )NA, )一p l—l 口 一l l 2c A B 一 ( B l 2dx y + y ≤ l l xx N y x l l l ( 2(-s + 口) l 1 pd c口 p - ) 一 I
式 :找 出 ∈H 满 足
f∈Ⅳ( () . + ( — () , ] ( ) ) () c g
收稿 日期 :2 1—8 2 0 10 — 2 作者简介 :巩娟 (9 4 ) 16 - ,女 。辽宁 昌图人,副教授 。
第 4期
巩娟:关于一类广义非线性拟变分不等式
27 6
[4 11 -
使用预解算子技术建立 了与该广义非线性拟变分不等式等价的不动点问题, 使用这一等价性和 B ne aa h 不动 点定 理 ,提 出 了两 种迭代 算法 ,给 出了带有极 大单调 映射 的广 义非线 性拟变 分不 等式 的解 的存 在性 和
。
唯 一性 定理 ,证 明了 由算法 产生 的序列 的收敛 性 。本文 的结果 推广 和改进 了[21 1,中的若干 结果 。 - 4
(( , 一 ( ,,—) 一l ̄ , 一 ( ,l , -lV,z H NA z NA z ≥ c x) y ) l z NA z l y , Y ∈ N ) y )+ l l x , l x
类似 地可 以定 义关 于 Ⅳ在 第二 变元 的利 普希 兹连 续性 。 引理 l 设 ∈(, 和 P >0为常数 ,则下列 陈述 是等 价 的 : 0l 】
() 义非 线性拟 变分 不等 式 () 1广 1 有惟 一解 ∈H ; () 2 存在 ∈H ,满 足
=m4 [ r + ( g—m u p A , u +p 】 ) — N( u B ) f
其 中 =( +pw) I 一为预 解算 子 。
依靠 引理 I ,建立 并 分析 下面 的迭代 算法 ,以便找 到非线 性拟 变分 不等强 单调 ,系 数为 a 假 设 W : . H 2 为极大 映射 ,如 果存 在常 数 P满 足
0 1 21 2+ g 一, 2(一 口) P pb ( 1 = — 4 — , (+ ) 、 一 pd 口+ t o) . l + e ,
则广义非线性拟变分不等式 () 1有惟一解 ∈H ,由算法 1 定义的序列 { 。 ) 强收敛于 “ .
证 明了 由算法产生 的序列收敛性 ,其结果 推广 了某些 已知结果。
关键词 :非线性拟变分不等 式;迭代算法 ;收敛性 ;预解算子
中图分类号 :O179 7 .1
文献标识码 :A
文章编号 :17 -2 1 0 10 .2 60 6 43 6 ( 1)40 6 -4 2
S u y o p cfcVe so f n r l e n i e r t d f e i r in o S i Ge e a i d No l a z n
1 预
备
设 一 实 i r 间 范 为I, 积 () I 表 为 个 的Hbt , 数 f 内 为 ・, 代 上 恒 映 , ,, BH_ , l 空 e . I l , ・ 的 等 射g A : ÷ ,
N: H - H 为映射。设 W : × Hx ÷ Ⅳ 2 为极大单调映射。v ,考虑下面广义非线性拟变分不等 feH
Vo . 1 No 4 1 , . 3
Au . 0 1 g 2 1
关于一类广义非线性拟 变分不等式
巩 娟
l20 ) 100 ( 辽宁职 业学 院, 辽宁 铁 岭
摘
要:引进 了一种新的广义非线性拟变分不等式,使用预解算子技术建立了与其等价的不动点问题。利用
这一等价关系, 提出了两种迭代算法, 并证明 了带有极大单调映射的广义非线 性拟变分不等式的解的存在性定理 ,
Ab ta t A e v rin o e ea o l e rq a i ait n lie u l iswa nr d c d By sr c : n w e so fg n rl ni a u s- rai a n q ai e sit u e . n n v o t o u igt etc nq eo s le t p rtr tep o lm ntefx dp it q a au setbih d sn h iu f e ov n eao ,h r be o e o nsi e u l lewa s l e . h e r o h i n v a s W i u h e uv ln e t i ee ttrt eag rtmsween t nys g e td b t lo tes lt n h t s c q iae c ,wodf rn eai lo i i v h r o l u g se , u s , oui o a h o e itn e te rm n t e g n rln nie u s- ait n lie u lis wi xmu o oo e xse c h o e o e e o l a q a i rai a n q aie t ma i m m n tn h a nr v o t h ma pn sWa r v d T e c n eg n e frsq e c e e td b e ag r h swa ei e 。 e p ig s p o e . h o v re c o e u n e g n r e y t loi m sv r d T a h t i f h c n l in ee yh v o uaie u e f n wnc n l so s o cu o sh rb a ep p l z dan mb r o o cu in . s r ok
证明 设 ,为日 中任意 元素 ,定义 映射 G: - H y H - )
28 6
辽宁工业大学学报 ( 自然科 学版)
第 3 卷 l
G ) ( + {一g rx 【 — ) p ( , + 厂 , x ( =1 ) (— ) ( mx NA ) 】 Ve 一 e+ g — x j H
定 义 3 设 : H H,N : xH H 为映射 ,称 | H 7 \ , () 1 关于 第一变 元 为利普 希 兹连续 ,如 果存 在常 量 >0 满足
I(z Ny ) l y, Y E I x ) (zI l l N ,- ,l x I , ≤s - ,Z H
() 2 关于 在 第一变 元 强单调 ,如果存 在 常量 c 0 ≥ 和d≥ 0满 足
第 3 卷第 4期 l
2 0l 1年 8 月
辽 宁工业 大学学报 ( 自然科 学版)
Jun l f io igU ie i f et lg ( trl ce c dt n o ra L ann nv r t o T cmoo yNaua S i e io ) o sy n E i
定 理 1 设 A B g, : - 为利 普希 兹连续 ,系 数分 别 为 口 b P g: g一, 为 强单 调 ,系数 为 , ,, m H - - - ) ,, , , l
m 关 于 g松 弛单调 , 系数 为 . 设 N : × 假
关 于第 一 、 二变元 为利 普希 兹连 续 , 第 系数分 别为 fk, ,
Ke r s n n i e r u s— a it n l n q a i e ; tr t e ag rt m; o v r e c ; y wo d : o l a a i r i a e u l is i ai l o h c n e g n e n q v a o i t e v i r s le t p rtr e ov n eao o
Qu s V ra o a e u l e ai a it n ln q ai s - i I i t
GONG ua J n
( i o ig V c t n l o l e Til g 1 2 0 , ia) L a n n o a i a l g , e i 1 0 0 Ch n o C e n
其中 ∈(, 为常量,E ̄ g和 m是利普希兹连续的且 g一 是强单调的,由此 O1 】 h:
l ( , + —)< 一,( 9]ly -一 一) ( m l l 2 p ) ̄ —l g , g y h . + l 1 l  ̄ + x
注 意
l Ⅳ , 一 ( , ) = — 【( )NA B ] — y xl
算法 1 设 g m, B: , A, H H,N : xH - W : - ,f∈H . 定 ∈ ,按 照 下面 的迭代 H 9H, H 92 给
格式 算 计 序列{ 。 ) : >
肘=1 ) d. ( m 【 — )一 NA u+ 】 ≥ l( - { 一 — ) + ( m p ( , 】 0 一 tl g u 1l g u uB ) ,
其 { )。 [l 任 序 满 ∑6=-. 中 co】 意 列 足 1 - > ,为 t o o
n=0
算 法 2 设 g m, B: - H,N : × , , H - - - ) Ⅳ
, : - 2 .∈H . 定 l ∈H ,按照 下面 的迭代 W H - ,, ) r 给 / o
变分不 等式 理论在 力学 、经济学 、优 化和 工程 学等学 科 中有着 重要 的应 用 。某 些研 究者【4 1J 不动 点 .使用 定理 研究 过多种 变分 不等式 ,拟 变分不 等式和 变分 包含 的解 的存在 性 。
本文引进了一类新 的广义非线性拟变分不等式,其包括已知的某些变分不等式和拟变分不等式为特例
注记 1 容 易看 出广义 非线 性拟 变分 不等 式 () 1包含 许 多类变 分不 等式 和拟 变 分不等 式 作 为特殊 情 ¨
况。
现在 回顾 下面 的定 义 。
定义 l 设 W : 【 H 2 为极 大单 调映射 , V >0,W 的预解 算子 定义 为
=( + , ) V e ~ ,' x
格式 序列{ : 计算 ) 。 >
l 一( ) + [ = g一 ( g—m u ~ N( u, , + 】 V ) p A , ≥ 0 z)
2 解的存在惟一性及算法的收敛性
现 在证 明广义 非线 性拟 变分 不等 式 () 1的解 的存 在 唯一性 和算 法 1 2的收敛 性 。 和