关于映象的公共不动点

设E是非空的完备距离空间,K 是E中的闭集合,设 S_1,S_2,…,S_m 是映 K 到 K 的映象.x_*∈K 称为 S_1,S_2,…,S_m 的公共不动点,如果S_ix_*=x_*(i=1,2,…,m).关于完备距离空间中映象的公共不动点问题,最近以来一些作者曾作过某些讨论.这里我们继续研究这一问题.在本文中我们所得的结果,在某些方面使原来互为     

Herbrand基上的语义映射

Emden和Kowalski(以下简称E、K二氏)以horn集为对象,研究了谓词逻辑的操作语义、模型语义和不动点语义及它们之间的等价性.但他们只考虑不包含负子句的horn集,这种子句集是一定可以满足的,因而结论是局限的.他们也没有给出最小不动点的构造方法.本文在定义新的语义映射的基础上,解决了这些问题.     

非线性映象不动点的迭代逼近

设X是Banach空间,E是X中的非空闭凸集,T是映E到自身的映象(一般是非线性的)。给定λ∈(0,1)和由迭代程序(*)确定的E中的序列{x_n}。非线性分析的一个重要问题是研究在怎样的条件下,由(*)确定的迭     

具有正规结构的Banach空间中多值非扩张映射的不动点定理

自1974年Lim证明了一致凸空间中多值非扩张映射的不动点定理以来,出现了该定理的各种推广及改进(例如文献[2—5]中的其他文献),然而具有正规结构的Banach空间中相应的不动点问题一直未得到解决。本文将对此问题给出正面解答。 我们先引入“f-准不变”概念,它似乎比“f-不变”概念更适用于多值映射的不动点问题。     

临界点理论中的Schauder型条件

Schauder不动点定理是一个有广泛应用的著名结论。这一定理断言:如果M是Banach空间E中的有界凸闭集,A:M→E是全连续算子并满足 AM(?)M,(1)则A至少有一个不动点。我们把Schauder不动点定理中的条件AM(?)M称为Schauder型条件。本文的主要目的是把Schauder型条件引进临界点理论,从而在Hilbert空间的情况下,     

非线性最优化一个超线性收敛的序列方程组方法

本文考虑如下的优化问题:这里x=(x_1,…,x_n)∈E~n.对于问题(P),本文给出了一个超线性收敛的序列方程组算法.此算法与现有的序列二次规划(SQP)方法相比,具有以下三个重要的性质:(1)由于算法每一次迭代只需计算三个系数矩阵完全相同的线性方程组,因此算法每一次迭代的计算量要比现有的SQP方法大为减少;(2)算法每一次迭代产生的点都是可行的;(3)算法是一步超线性收敛的.     

纤维化又是上纤维化的刻划定理

1974年,Milgram首先发现,纤维化序列K(Q/Z,n)→K(Z,n 1)→K(Q,n 1)(n≥1)又是上纤维化序列,注意到K(Q,n 1)=K(Z,n 1)_0,即K(Z,n 1)→K(Q,n 1)是单连通空间K(Z,n 1)的有理化(0-局部化).1981年,Schiffman将Milgram的例子推广到一般的单连通空间,即证明了:对于单连通空间X,局部化纤维化序列F→X→Xp又是上纤维化序列,这里Xp是X的p-局部化,p为素数或0.1983年,Alons再将Schiffman的结果推广到幂零空间,即证明了:对于幂零空间X,如果Xp是单连通的,则局部化纤维化序列F→X→Xp又是上纤维化序列.同时,Alonso也给出了纤维化序列又是上纤维化序列的充分必要条件.定理1纤维化序列F→E→B又是上纤维化序列,即诱导映射EUCF→B是同伦等价,当且仅当存在一族素数P,使得同调群(?)(F)和(?)(ΩB)中一个为P-局部的,另一个为P’-挠群,这里P’为P的余集.     

关于可交换的轨道压缩映射的公共不动点

本文讨论了可交换的轨道压缩映射的公共不动点问题,关于轨道压缩映射的某些结果,可参见文献[1—3]。     

某些Henon映射的非游荡集

对于Henon映射 ,Ta ,b(x ,y) =(1-ax2 y ,bx) ,Benedicks和Carleson证明了在 (a ,b) =(2 ,0 )附近且b >0 ,存在一个正测度集合E ,如果 (a ,b)∈E ,对应的映射Ta ,b有奇怪吸引子 .Viana猜测 ,对于 (a ,b)∈E ,非游荡集Ω(Ta,b) =Λa ,b∪ { qa ,b} ,其中Λa,b是奇怪吸引子 ,qa,b是映射Ta ,b在第三象限内的不动点 .我们证明了对于正测度集合E1 E这个猜测成立 .     

超广义函数的解析表示与■_()型算子

本文讨论矢值超广义函数的解析表示,解除了Komatsu、Krner以及Petzsche三篇博士论文的主要条件,然后将结果应用于D_()型算子。设正数序列{M_k}满足非拟解析性、可微性、是对数凸的。设E为Banach空间,D_()(E)表定义在D_()而取值于E中的矢值超广义函数的全体。令H~Ω(E)表定义在复平面C中的开集Ω上而取值于     

关于概率赋范线性空间映射族的一个公共不动点定理

本文在概率线性赋范(PN)空间中引入一族半赋范空间,并以此为工具,建立了一个映射族的公共不动点定理,它是文[1]中定理5的推广.PN 空间及其中的ε、λ邻域U_x(ε,λ),ζ收敛等基本概念的定义见文[2,3].记R=(-∞,∞),R~+=[0,∞),Z={1,2,3,…).     

双平稳随机时变信道最大似然序列检测的概率收敛定理

本文首先利用平稳K相依随机变量序列的中心极限定理,给出了双平稳随机时变信道最大似然序列检测定理一个新的、准确的叙述和证明。然后,导出了序列检测概率收敛速度的定量计算公式。最后,对序列检测技术的某些重要问题进行了讨论。所     

Banach空间中集值非扩张映象的不动点定理

本文在某种边界条件下,得到两个关于Banach空间中集值非扩张映象的不动点的存在性定理。关于集值非扩张映象不动点的存在性问题有很多人讨论过(例如见引文[1—4])。但至今,对映Banach空间中具正规结构的弱紧凸集到     

圆周自映射可嵌入半流的一些结果

最近,杨路、张景中提出了空间自映射嵌入半流的问题,并对线段自映射的情形给出了彻底的解答。本文我们讨论了圆周自映射的情形,对有不动点的圆周自映射给出了可嵌入半流的充分条件。     

关于拓扑度的计算及应用

本文研究了锥映射的不动点指数(亦称相对拓扑度)的计算及其应用。关于锥映射及其不动点指数的性质见H.Amalm,SIAM Revtew,18(1976),620—709。     

电算机模拟水轮机瞬变过程的误差函数校正迭代方法和快速收敛程序

迭代收敛性是水力装置瞬变过程电算机数值模拟中的主要问题。迭代过程的收敛性问题包括两个方面:可收敛性和收敛速度,迭代过程不收敛将不能得到真解,这是众所周知的。而收敛速度却很少引起注意。但这一问题对于八十年代初期提出的超微计算机模拟水力瞬变方法来说,则是至关重要的。因为超微计算机运算速度及输出打印速度均较低,而迭代过程构成CPU时间的绝大部份。所以加速收敛方法是必须考虑的问题。当然,即使对大型电算     

微分包含的解

设E是Banach空间,F:[0,T]×E→2~E是集值映射,考虑微分包含其中A是映E到E的单值或集值映射。由于很多实际问题可转化为这样的微分包含,因     

良序列紧fts

C.K.Wang 1973年在JMAA上定义了序列紧fts(每个不分明集序列有收敛的子序列),得到每个fts都是序列紧的病态结果,且这种定义不是一般拓扑学中序列紧性的良扩张。     

环面→单连通空间的映射的同伦群

把从环面K=S~1×S~1到拓扑空间V的映射(指连续映射,下同)的绝对同伦类集合记为N(K,V)。我们在文献[1]中曾指出:当V为二维球面S~2时,该集合可被构造成同构于整数加群Z的群,并据此解决了环管状铁磁体磁化状态的绝对拓扑分类问题。N     

某些Henon映射的非游荡集

对于Henon映射 ,T_a,b(x ,y) =(1-ax² +y ,bx) ,Benedicks和Carleson证明了在 (a ,b) =(2 ,0 )附近且b >0 ,存在一个正测度集合E ,如果 (a ,b)∈E ,对应的映射T_a,b有奇怪吸引子.Viana猜测 ,对于(a ,b)∈E ,非游荡集Ω(T_a,b) =Λ_a,b∪ { q_a,b} ,其中Λ_a,b是奇怪吸引子 ,q_a,b是映射T_a,b在第三象限内的不动点 .我们证明了对于正测度集合E₁ E这个猜测成立.