右端非增非连续微分方程组一对伪最小最大解的存在性

设 E 是 Banach 空间,P 是 E 中正规锥,E 中半序由 P 导出.设 u_0,v_0∈E,u_0(?)v_0,D=[u_0,v_0],A(·,·):D×D→E.若存在 x,y ∈D,使得 x(?)A(x,y),A(y,x)(?)y,则称x,y 是 A 的一对伪上下不动点;若 x,y∈D 满足 x=A(x,y),A(y,x)=y,则称 x,y 是 A的一对伪不动点;如果 x_*,x~*∈D 是 A 的一对伪不动点,并且对 A 在 D 中的任一对伪不动点 x,y,x(?)y,都有 x_*(?)x(?)y(?)x~*,则称 x_*和 x~*是 A 的一对伪最小最大不动点;若x∈D 满足 A(x,x)=x,则称 x 是 A 的不动点.如果对任给固定的 v∈D,A(·,v):D→E是增算子,并且对任给固定的 u∈D,A(u,·):D→E 是减算子,则称 A 是 D 上的混合增减算子.     

右端非增非连续微分方程组一对伪最小最大解的存在性

<正> 设 E 是 Banach 空间,P 是 E 中正规锥,E 中半序由 P 导出.设 u_0,v_0∈E,u_0(?)v_0,D=[u_0,v_0],A(·,·):D×D→E.若存在 x,y ∈D,使得 x(?)A(x,y),A(y,x)(?)y,则称x,y 是 A 的一对伪上下不动点;若 x,y∈D 满足 x=A(x,y),A(y,x)=y,则称 x,y 是 A的一对伪不动点;如果 x_*,x~*∈D 是 A 的一对伪不动点,并且对 A 在 D 中的任一对伪不动点 x,y,x(?)y,都有 x_*(?)x(?)y(?)x~*,则称 x_*和 x~*是 A 的一对伪最小最大不动点;若x∈D 满足 A(x,x)=x,则称 x 是 A 的不动点.如果对任给固定的 v∈D,A(·,v):D→E是增算子,并且对任给固定的 u∈D,A(u,·):D→E 是减算子,则称 A 是 D 上的混合增减算子.     

强向量拟均衡问题的存在性

设X是一个实的Hausdorff拓扑向量空间,Y是一个实的局部凸向量空间,C是Y中的闭凸锥,K X是一个紧子集.FX×X→Y是一个双向量函数,GK→2K是一个集合值映射.我们考虑下面的强拟均衡问题存在x∈G(x),使得对任意的y∈G(x),成立F(x,y)∈C.本文证明了当F是半连续时,上述问题解的存在性结论.     

向量极值问题的回归点解释

设 X 为欧氏空间 R~n,Y 为欧氏空间 R~m,g 为映 X 到 Y 的映射,A(?)X 是任意非空子集.在下述向量极值问题(VMP)(VMP) max g(x),s.t.x∈A中,K 是 Y 中非平凡闭凸锥,K≠{0},如果{x∈A|g(x)-g(x_0)∈K\{0}}=φ,则称 x_0∈A 为(VMP)的有效解;如果 intK≠φ,并且{x∈A|g(x)-g(x_0)∈intK)=φ,则称 x_0∈A 为(VMP)的弱有效解.     

一个新的压缩型映象的不动点定理

设X是完备的度量空间,T:X→X是连续映象,若存在X×X上对称实函数φ(x,y).使T满足φ(Tx,Ty)≤aφ(x,y), x,y∈X及d(Tx,Ty)≤cd(x,y)+φ(x,y), x,y∈X,其中d是X上的度量,两个常数a,c满足0≤a<1,0≤c<1.本文证明了映象T有唯一的不动点x_*,且 x∈X,有T_x~n→x_*(n→∞).在φ(x,x)=0,φ是一元连续的条件下,证明了在X上一定存在一个拓扑等价的度量d~*使T关于d~*是X上的Banach压缩映象.     

强向量拟均衡问题解的存在性(英文)

设X是一个实的Hausdorff拓扑向量空间,Y是一个实的局部凸向量空间,C是Y中的闭凸锥,K（?）X是一个紧子集.F:X×X→Y是一个双向量函数,G:K→2K是一个集合值映射.我们考虑下面的强拟均衡问题:存在x∈G（x）,使得对任意的y∈G（x）,成立F（x,y）∈C.本文证明了当F是半连续时,上述问题解的存在性结论.     

全序极小锥

本文引进全序极小锥的概念,讨论了全序极小锥与正则锥、正规锥、极小锥及强极小锥的关系,改进了[1]中的几个结果和[11]的主要定理。按照[1]中定义,Banach 空间 E 中锥 P 称为强极小的,如在 P 诱导的半序下,E 中任何按序有上界的子集都有最小上界;P 称为极小的,如 E 中任二元 x,y 都有最小上界;P称为正规的,如(?)N>0,使得θ≤x≤y时,‖x‖≤N‖y‖;P 正规(?)(?)δ>0,使得 x,y∈P,‖x‖=‖y‖=1时,‖x+y‖≥δ(?)E 中任何序区间[x,y]都有界(?)x_n≤z_n≤y_n,且 x_n→z,y_n→z 时必有 z_n→z(参看[3]第三章);P 称为正则的,如 E 中任何单调递增且有上界的序列都是收敛的,即 x_1≤x_2≤…≤x_n≤…≤x_0,则     

完备向量格的凸集分离定理及其应用

本文指出凸集分离定理对完备向量格的下列推广结果。 设X为线性空间,Y为完备向量格,C为X×Y中的凸锥。如果C满足 1)G_Y={y∈Y|(0,y)∈C}有下界; 2)存在y∈Y,使得 V_X={x∈X|(x,y)∈C}为X中的吸收集,那末存在线性映射∧:X→Y,使得 ∧x+y≥0,?(x,y)∈C。 用这一结果可以完善地把凸规划的Kuhn-Tucker定理推广到凸向量规划情形,改进了Zowe的结果。     

评《关于膨胀算子不动点定理的注记》一文

在文献[1]中,于挺同志证明了下述定理: 定理1设(X,d)是紧度量空间,T是X→X的连续映射,如果存在h>0,对任意x,y∈X,有 d(TX,TY)≥hd(x,y) (1)则T在X中有唯一不动点x_*,且对任意x_0∈X,x_n=TX_(n-1)(n=1,2,…),有=x_*。 我们可以证明: 当X至少有两个点时,满足定理1条件的映射不存在。 证明 用反证法,设存在映射T满足定理1的条件。由X至少有两个不同的点及(1)式易知T≠Ⅰ(Ⅰ是X→X的恒等映射)。     

Browder-Petryshyn型严格伪压缩映象复合迭代算法的收敛性

<正>1引言设E是实Banach空间,E*为E的对偶空间,〈·,·〉表示E与E*之间的广义对偶对.正规对偶映象J:E→2~(E*)定义为J(x)={f∈E*:〈x,f〉=‖x‖~2=‖f‖~2},x∈E.用j表示J中的单值映象.用F(T)表示映象T的不动点集.定义1.1设E是实Banach空间,K是E的非空凸子集,T:K→K是一个映象,则称T是Lipschitz的,若存在L0,使得,x,y∈K,有‖Tx-Ty‖≤L‖x-y‖.称     

逼近非扩张非自映像不动点（英文）

设E是一致凸Banach空间,K是E中非空闭凸集且是一个非扩张收缩核,T：K→E是具非空不动点集F（T）：={x∈K：Tx=x}的非扩张映像.设{α_n},{β_n},{γ_n},{α′_n},{β′_n},{γ′_n}是[0,1]中实数列满足α_n＋β_n＋γ_n=α′_n＋γ′_n＋γ′_n=1,对任意初值x_1∈K,定义{x_n}如下（ⅰ）如果对偶空间E＊具有Kadec-Klee性质,那么{x_n}弱收敛于T的某不动点x＊∈F（T）;（ⅱ）若T满足（A）条件,那么{x_n}强收敛于T的某不动点x＊∈F（T）.     

非可微凸规划的非控解、真有效解与鞍点准则

§1.非控解的充要条件考虑问题(MP)其中C为局部凸线性拓扑空间X中凸集,各f_i和g_k为X上的实连续凸函数。若有α∈intR_+~n,λ∈R_+~m,x_0∈C,使对所有(x,y~*)∈C×R~m有 L_α(x_0,y~*)≤L_α(x_0,λ≤L_α(x,λ) (1)其中L_α(x,y~*)=<α,f(x)>+,则称(x_0,λ)为L_α的鞍点。设x_0为(MP)的非控解(也称有效解,Pareto极优解),若存在α,λ使(1)式成立,则称(MP)在x_0关于α适合鞍     

关于K凹向量值函数的一类极值问题

本文讨论凸集的极值点与K凹向量值函数的一类极值问题之间的关系. 定义1 对于集合C中的点x,若有x=λy+(1-λ)z,其中0<λ<1,y,z∈C,就有x=y=z,则称x为C的极值点.C的所有极值点组成的集合记为extC. 定义2 设X,Y是实拓扑局部凸空间,Ω为X的非空紧凸子集,K为Y中的具有非     

一个极值问题

设X、Z是两线性赋范空间,Y是巴拿赫空间,映射:X→Y,说在x_0∑X处有Frechet导数l,即有界线性算子l:X→Y,满足||(x_0+εx)-x_0-εlx||_Y=o(ε),x∈X,ε→0。又连续线性算子Г:X→Z,Ω是Z中的凸集,记U={x∈X|Г(x)∈Ω},U_0={x∈X|Г(x)=0}。设F是Y上的连续凸泛函,考虑极值问题:     

凸度量空间中非扩张映象的不动点定理

设X是一凸度量空间,并且它的每一直径趋于零的非空闭子集的逆减序列具有非空交的性质.本文证明了,如果X的非空闭子集K的自映象T满足不等式:d(Tx,Ty)≤ad(x,y) b{d(x,Tx) d(y,Ty)} c{d(x,Ty) d(y,Tx)},(?)x,y∈K其中0≤a<1,b≥0,c≥0,使得a c≠0且a 2b 3c≤1.则T在K中存在唯一不动点.     

Fuzzy蕴涵代数与有界BCK—代数等价

在[1]中作者给出了下面的定义. 定义1 一个(2,0)型代数(X,→,0)称为FI代数,如果(?) x,y,z∈X,有 (I_1) x→(y→z)=y→(x→z), (I_2) (x→y)→[(y→z)→(x→2)]=1, (I_3) (x→z)=1, (I_4) 若x→y=y→x=1,则x=y, (I_5) 0→x=1,其中 1=0→0. 在[2]中Iseki K引入了BCK-代数,参见[3,4]. 定义2 一个(2,0)型代数(X;*,0)称为BCK-代数,如果(?) x,y,z∈X,有 (Ⅰ) ((x*y)*(x*z))*(z*y)=0, (Ⅱ) (x*(x*y))*y=0, (Ⅲ) x*x=0.     

Lp（1〈p〈2）空间中Lipschitz强增生算子的迭代程序

设X是实Banach空间。映射T:D(T)X→X称为增生的(accretive),如果(1)对所有的x,y∈D(T)及t>0成立。T称为强增生的,如果存在k>0,使得T-kI(I是恒等映射)是增生的。强增生算子有时称为严格增生算子。 设KX是不空子集。映射T:K→K称为严格拟压缩的(pseudocontraction),如果存在t>1使得不等式     

三角代数上的交换零点ξ-Lie可导映射

设u是数域F上的一个三角代数,δ是u上的一个线性映射,ξ∈F且ξ≠1证明了:如果对任意的x,y∈u且xy=yx=0有δ([x,y]_ξ)=[δ(x),y]_ξ+[x,δ(y)]_ξ,则在u上存在一个导子Φ和一个中心元λ使得对任意的x∈u,有δ(x)=Φ(x)+λx.     

RESEARCH ANNOUNCEMENTS On a Problem Given by D.R.Smart

In [1] Section 5.2, D.R. Smart gave a problem: Does every shrinking mappingof the closed unit ball in a Banach space have a fixed point? In this paper, we givea negative answer to this problem by constructing a counter-example. Definition Let (X,d) be a metric space and T a mapping of X into X. Wecall T a shrinking mapping if d(Tx,Tg)相似文献   

一致光滑Banach空间中Φ-半压缩映象的不动点的迭代逼近

1　引言与预备知识设X为实Banach空间,X*为其共轭空间.正规对偶映象J:X→2X*定义为:Jx={x*∈X*:〈x,x*〉=‖x‖2=‖x*‖2},其中〈·,·〉表示广义对偶组.熟知,若X*为严格凸的,则J为单值正齐次的;若X*为一致凸的(等价地,X为一致光滑的),则J在X的任何有界子集上是一致连续的.我们用j表示单值的正规对偶映象.用R+表示正半实轴.以F(T)表示T的不动点集,即F(T)={x∈D(T):Tx=x}.映象T:D(T)X→X称为φ-半压缩的,如果F(T)≠,且存在严格增加函数φ:R+→R+,φ(0)=0,使得x∈D(T),y∈F(T),相应地存在某j(x-y)∈J(x-y)满足不等式〈Tx-y,j(…