无限族渐近k-严格伪压缩映象的强收敛定理

在H ilbert空间框架下,给出了迭代逼近无限族渐近k-严格伪压缩映象的公共不动点的杂交投影算法,并证明了一个强收敛定理.此结果改进和推广了原有的相关结果.     

Hilbert空间中求解带约束的分裂公共不动点问题的三种迭代算法

该文的目的是研究带约束的分裂公共不动点问题.建立和分析了求解带约束的分裂公共不动点问题的三种新的迭代算法.建立了三种迭代算法的强收敛性结果,这些结果改进并推广了某些作者的相关结论.     

关于有限族Lipschitz映射多步Ishikawa迭代算法的收敛性及其应用

本文的目的是研究Lipschitz映射公共不动点问题.基于传统的Ishikawa迭代和Noor迭代方法,我们引入多步Ishikawa迭代算法,并且分别给出了该算法强收敛于有限族拟-Lipschitz映射和伪压缩映射公共不动点的充分必要条件.此外,我们证明了该算法强收敛到非扩张映射的公共不动点.作为应用,我们给出数值试验证实所得的结论.     

带扰动映像的广义平衡问题和不动点问题的混合粘性逼近问题

引入一个用于寻求带扰动映像的广义平衡问题解集以及可数无穷多非扩张映像之族公共不动点集的公共解的新的迭代算法. 证明了由此算法生成的序列的强收敛性. 所得的结果推广改进了先前许多作者的结果.     

有限个平衡问题与非扩张映象不动点问题的复合迭代方法

在Hilbert空间中引进并研究一种新的复合粘性迭代算法,借以寻求有限个平衡问题的公共解集与非扩张映象不动点集的一个公共元素.所得结果改进并推广了最近一些人的最新结果.     

平衡问题和拟φ-渐近非扩张映像的强收敛定理

在自反、严格凸、光滑的Banach空间中,设计了一种修正的混合投影迭代算法用来构造平衡问题与拟φ-渐近非扩张映像的不动点问题的公共元,并利用广义投影算子和K-K性质证明了此迭代算法生成的序列强收敛于这两个问题的公共元.所得结果是近期相关结果的改进和推广.     

关于变分包含问题和不动点问题的一些结果及应用

基于一个广义迭代算法,考虑了逼近一类拟变分包含问题解集与一族无限多个非扩张映象公共不动点集的某一公共元问题.在实Hilbert空间的框架下,证明了由次广义迭代算法产生的迭代序列强收敛到某一公共元.     

Banach空间中非膨胀映象和α-逆强增生算子的强收敛性

在2-一致光滑的Banach空间中,引入一种新的迭代算法研究非膨胀映象的不动点集与α-逆强增生算子的变分不等式解集的公共元素,并获得了迭代算法的强收敛性定理.而且应用这些结果考虑了非膨胀映象和严格伪压缩映象公共不动点的收敛性问题.     

严格伪压缩映像族隐格式迭代逼近不动点几何结果

对非线性算子迭代序列逼近不动点过程的几何结构进行研究,在提出并证明了一个H ilbert空间中收敛序列的钝角原理基础上,应用这个钝角原理研究了严格伪压缩映像族的隐格式迭代序列逼近公共不动点的几何结构.并证明了相应的钝角原理.这个钝角原理表述了严格伪压缩映像族的隐格式迭代序列逼近公共不动点时与公共不动点集形成了钝角关系.这个钝角关系是使用相应内积序列的上极限表示的.事实上这个钝角结果的表述形式也是一个几何变分不等式,迭代序列的极限点即是这个几何变分不等式的解.一方面这个钝角结果表述了严格伪压缩映像族公共不动点隐格式逼近的几何过程,另一方面,这个钝角结果自然是隐格式迭代序列逼近严格伪压缩映像族公共不动点的必要条件.     

Banach空间中两个多值非扩张映射不动点的迭代逼近问题

研究了两个多值非扩张映射的公共不动点的迭代逼近问题.利用Hausdoff度量,引入了一类新的Ischikawa型迭代,在一致凸的Banach空间里,证明了在某些条件下,此迭代序列强收敛到多值非扩张映射的公共不动点.改进和推广了文献的相关结果.     

Distribution of types of symmetry of tensors of high degree

The asymptotic distribution of tensors of degree N in symmetry types is studied in this paper.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 155, pp. 181–186, 1986.     

Estimates of stability of characterization of additive types of distributions

An estimate of stability of characterization of distribution types is obtained for the case of additive types. Under some conditions, the estimate has the order ε^1/3L(ε), where L(ε) is a slowly varying function. Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, Russia, 1996, Part I.     

Study of the blow-up of solutions of systems of equations of hydrodynamic type

Mathematical Notes - We study the initial boundary-value problem for three-dimensional systems of equations of pseudoparabolic type. The system is similar to the Oskolkov system, but differs from...     

一类完全正则半群簇子簇格的性质

本文研究了完全正则半群簇的子簇格［Ｖ＋∩ＰＶ，Ｖ＋∩ＰＶ］的某些格运算性质，我们证明了簇Ｖ＋∩ＰＶ可分解为Ｖ与Ｖ＋∩ＰＶ的并；对任意完全正则半群簇Ｗ，有Ｗ∩（Ｖ∨Ｖ＋∩ＰＶ）＝（Ｗ∩Ｖ）∨（Ｗ∩Ｖ＋∩ＰＶ）．特别地，我们得到了等式Ｖ＋∩ＰＶ＝Ｖ成立的若干条件．     

Characterization of types of asymptotic discernibility of families of hypotheses

We give a characterization of the types of asymptotic discernibility of families of hypotheses in the case of hypothetical measures that are not, in general, mutually absolutely continuous. The case when the logarithm of the likelihood ratio admits an asymptotic expansion of the type of an expansion with local asymptotic normality is examined in detail. Examples are studied.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 64–71, 1987.     

Bases of the identities of products of certain varieties of groups

The following theorem is proved: The product of any variety of two-step solvable groups and a variety having a finite basis of identity relations has a finite basis of identity relations.Translated from Matematicheskie Zametki, Vol. 5, No. 1, pp. 137–144, January, 1969.     

Preservation of equivalence of derivations under reduction of depth of formulas

In this paper we consider derivations in the (&, )-fragment of the intuitionistic propositional calculus. As is known, replacement of any occurrence of a formula [F] in a sequent S by an occurrence of the formula [p], where p is a new propositional variable, with the simultaneous addition to the antecedent of the formula F p or p F depending on the sign of the occurrence of F in S, leaves the derivability unchanged. We give a proof of the fact that the natural extension of this transformation to derivations preserves the relation of equivalence of derivations, i.e., transformed derivations are equivalent if and only if the originals are equivalent. (Derivations are considered equivalent if certain of their normal forms coincide, or, what is the same, if their deductive terms coincide.) It is proved that by the iteration of this transformation, each derivation of an arbitrary sequent S can be transformed into a derivation of a sequent S, depending only on S, whose succedent is a variable, and in the antecedent there occur only formulas of the form a,a & b, a b,,(a b) c, a & b c, a (b & c), wherea, b, c are variables. Here if S is balanced, then S is also balanced. (A sequent is called balanced if each variable occurs in it no more than twice.) The familiar correspondence between certain concepts of the theory of categories and concepts of the theory of proofs allows one to assert that there has been constructed a univalent functor, mapping a free Cartesian closed category into itself.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 197–207, 1979.