1) least fixpoint of functionals
泛函的最小不动点
2) the five functionals fixed point theorem
五个泛函的不动点定理
1.
Using the five functionals fixed point theorem, growth conditions are imposed on f and g which ensure the existence of at least three positive symmetric solutions.
利用五个泛函的不动点定理,赋予f和g一些增长条件保证至少三个对称正解的存在性。
2.
In this paper, using the five functionals fixed point theorem, we establish the existence of multiple monotone positive solutions for a class of 2nth order boundary value problems.
本文利用五个泛函的不动点定理,研究一类2n阶微分方程边值问题的多个单调正 解的存在性。
3) least fixed point
最小不动点
1.
in this paper, by fan kakutani fixed point the Or Em, it is obtained that the least fixed point theorem for set valued mapping in the normal linear space, as a application, we have studied the ill posed two Points boundary problem for a class of semilinear nth differential equation.
利用 Fan- Kakutani不动点定理 ,得到赋范线性空间中集值映射的最小不动点的存在定理 。
2.
Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程。
4) five functionals fixed point theorem
5个泛函不动点定理
5) the three functionals fixed point theorem
三个泛函不动点定理
6) lfp-model
最小不动点模型
补充资料：Borel不动点定理
Borel不动点定理
Borel fixed - point theorem
B吮l不动点定理{B.限l五xe小州nt价e僻m二匆卿，T侧邓吧，f.01”聊叉B“狱班滋n卜.王j 设F为代数闭域kl二非空完全代数簇，正则地作用于犷上的连通可解代数群G(见变换的代数群扭1罗-braic goup of transformat一ons))在卜中有不动点.由这个定理可以推出代数群的B.耽l子群(Borel sub-grouP)是共扼的(Bore卜MOI洲)叉)B定理(Borel一Moro-zov theorem))，不动点定理是A.Borel([lj)证明的.Borel定理可以推广到任意域k(不一定代数封闭卜设F为在域k上定义的完全簇若连通可解k分裂群(人一sPlit grouP)G正则地作用在F上，则有理人点集V(k)或者为空集，或者它包含G的一个不动点.因此推广的Bore]子群共扼性定理是:若域k是完满的，则一个连通人定义的代数群H的极大连通可解北可裂子群，在H的k点构成的群中元素作用下互相共辘(f21)，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条