两类四元数矩阵偶的GH合同标准形

该文给出两类四元数矩阵偶〈A，B１〉与〈A，B２〉的ＧＨ 合同标准形，其中A为半正定自共轭阵，B１ 为斜自共轭阵，B２ 为自共轭阵．由此分别得到（广义）半正定与正定四元数矩阵的ＧＨ合同标准形，以及矩阵同时对角化问题的若干个结果．     

正定自共轭四元数矩阵的均值

本文引进了两个正定自共轭四元数矩阵的算术均值，几何均值，调和均值三概念，给出了正定自共轭四元数矩阵的算术－几何－调和均值不等式，得到了正定自共轭四元数矩阵的几何均值的一个最大性质及其相关的某些性质．     

正性除环上矩阵的正定自共轭分解

本文给出了正性除环上矩阵有正定自共轭分解与全正定自共轭分解的充要条件。     

正定可对称化矩阵与预对称迭代算法

１．问题的提出 我们引入正定可对称化矩阵定义的背景是为了研究求解二阶椭圆型非自共轭方程的离散迭代有效算法、这类方程的椭圆型是本质的分析性质。是由二阶项决定的,在离散方程中表现为正定性;非自共轭性则是由方程中的一阶项引起的,在相当广泛一类问题中可通过变量代换化为自共轭。因此,我们称这类问题为正定可对称化问题。 例１．高维二阶常系数椭圆型方程其中 Ａ为常系数正定对称（ｓ．ｐ．ｄ）阵, 为正交阵, Ｄ是对角元素为正的对角阵。 先作变量代换,通过演算,偏微分方程对于新变量变成这里进而令可将原非自共轭偏微分算子…     

体上的矩阵方程AXA=B

设Ｆ和Ω分别表示一个对合反自同构的体，一个加强Ｐ除环，本文定义了Ω上的亚（半）正定矩阵，给出了矩阵方程ＡＸＡ＾＊＝Ｂ在Ｆ上有（斜）自共轭矩阵解及在Ω上有亚（半）正定矩阵解的充要条件及其解集的显式表示。     

除环上左线性方程组的反问题

推广并改进了实数域上线性方程组的反问题及其一系列结果，解决了除环上左线性方程组更具广泛性的一类反问题，给出了此类反问题有（斜）自共轭解及（半）正定自共轭解的充要条件及其解集结构．     

正则四阶微分算子的左定边界条件

本文讨论了-类四阶微分算子的左定边界条件,利用自共轭扩张的正定性来研究左定问题.通过自共轭微分算子的系数、区间端点以及边界条件给出了问题左定性的充要条件,并相应地得到了所有四阶自共轭微分算子的左定边值矩阵的情形.     

体上一矩阵方程组的次自共轭及斜亚半正定解

给出了体上的矩阵方程组[AmnXmn=AsnXnm=Osn]有次自共轭解和斜亚半正定解的充要条件及其通解表达式。     

关于斜正定矩阵的一些性质

利用矩阵的次转置共轭和翻转矩阵等技巧,给出关于斜正定矩阵的一些性质,给出矩阵的斜对称部分与其逆之差是斜半正定的结论.     

正定自共轭矩阵和的Schur余的特征值

本文首先给出正定自共轭矩阵和的 Ｓｃｈｕｒ余的一个不等式,进一步,获得了一些特征值不等式,改进了近期的一些结果．     

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.     

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.     

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

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

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.     

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...     

Estimate of growth of Lebesgue functions of linear methods of summation

Sufficient conditions are obtained in terms of matrix elements for the boundedness of Lebesgue functions of linear methods of summation of expansions in orthogonal systems of polynomial type.Translated from Matematicheskie Zametki, Vol. 6, No. 3, pp. 277–286, September, 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.     

Stable cohomologies of the complements of the discriminants of deformations of singularities of smooth functions

Complements to discriminants of singularities of smooth functions are far generalizations of the classifying spaces of Artin and Brieskorn braid groups. A group of stable cohomologies (i.e., cohomologies preserved under adjacency of singularities) is described for these spaces. A relationship between these cohomologies and Gauss-Manin connectivity of singularities is indicated. A cellular realization of cohomologies of symmetric groups with coefficients in Z₂ is described.Translated from Itogi Nauki i Tekhniki, Seriya Sovermennye Problemy Matematiki, Noveishie Dostizheniya, Vol. 33, pp. 3–29, 1988.     

Approximation of sobolev classes of functions by sums of products of functions of fewer variables

Translated from Matematicheskie Zametki, Vol. 48, No. 6, pp. 10–21, December, 1990.     

Birational aspects of the geometry of Varieties of Sums of Powers

Varieties of Sums of Powers describe the additive decompositions of a homogeneous polynomial into powers of linear forms. The study of these varieties dates back to Sylvester and Hilbert, but only few of them, for special degrees and number of variables, are concretely identified. In this paper we aim to understand a general birational behavior of VSP. To do this we birationally embed these varieties into Grassmannians and prove the rational connectedness of many VSP in arbitrary degrees and number of variables.