一类无穷维Hamilton算子本征函数系的完备性

研究了Sturm-Liouvile偏微分方程导出的无穷维Hamilton算子的本征值问题.证明了导出的无穷维Hamilton算子族本征函数系的完备性,为对此类方程应用基于Hamilton体系的分离变量法提供了理论基础.最后举例说明了结果的有效性.     

斜对角无穷维Hamilton算子的点谱和特征函数系辛结构的非退化性

本文研究斜对角无穷维Hamilton算子$H=\begin{pmatrix}0&B\\C&0\end{pmatrix}$的点谱和特征函数系辛结构的非退化性, 给出斜对角无穷维Hamilton算子$H$的特征函数系具有非退化辛结构的充分必要条件. 基于此, 进一步刻画了斜对角无穷维Hamilton算子$H$的点谱分别包含于实轴、虚轴以及其它区域的充分必要条件. 最后, 以板弯曲问题和弦振动问题中导出的斜对角无穷维Hamilton算子为例, 验证了所得结论的正确性.     

对边滑支矩形板方程的辛本征函数展开定理（英文）

本文研究对边滑支边界条件的矩形板方程的无穷维Hamilton算子本征函数系,证明该无穷维Hamilton算子广义本征函数系在Cauchy主值意义下的完备性.进而推导出原矩形板方程的一般解,并对该平面弹性问题指出什么样的边界条件可按此方法求解.最后应用具体的算例说明所得结论的合理性.     

对边简支十次对称二维准晶板弯曲问题的辛分析北大核心CSCD

该文讨论了对边简支十次对称二维准晶中厚板弹性问题的辛方法.将十次对称二维准晶弹性理论基本方程转化为Hamilton对偶方程,采用分离变量方法,获得了相应Hamilton算子矩阵的辛特征值及辛特征函数系.证明了Hamilton算子矩阵的辛特征函数系在Cauchy主值意义下的完备性,在此基础上,基于Hamilton系统的辛特征函数展开,给出了十次对称二维准晶板弯曲问题的解析表达式.     

上三角无穷维Hamilton算子特征值的代数指标

无穷维Hamilton算子特征函数系是否完备与其代数指标有关,研究了上三角无穷维Hamilton算子特征值的代数指标问题,基于主对角元的特征值和特征向量的某些性质,得到上三角无穷维Hamilton算子的几何重数和代数重数.     

一类板弯曲方程的辛本征函数展开方法

本文研究一边简支对边滑支边界条件的矩形板方程的无穷维Hamilton算子本征函数系,证明该无穷维Hamilton算子广义本征函数系在Cauchy主值意义下是完备的,为应用辛本征函数展开法求解该平面弹性问题提供理论基础.进而推导出原方程的通解,并对该平面弹性问题指出什么样的边界条件可按此方法求解.最后应用具体的算例说明所得结论的合理性.     

无穷维Hamilton 算子广义本征函数系的完备性及其在弹性力学中的应用

本文利用无穷维Hamilton 算子的结构特性, 得到由算子的基本本征函数和若当型本征函数构成的广义本征函数系在Cauchy 主值意义下完备的充分必要条件. 进而将结果应用于弹性力学中的板弯曲问题. 相应结论为Hamilton 体系下的分离变量法(弹性力学求解新体系) 提供了理论保证.     

无穷维 Hamilton 算子特征函数系的Cauchy主值意义下的完备性

研究了无穷维Hamilton算子的特征值及特征函数系的性质,
给出了无穷维Hamilton算子
的特征函数系在Cauchy主值意义下完备的充分条件.最后, 举出了具体的例子,
并加以
说明判别准则的有效性.     

无穷维Hamilton算子的可逆性及其应用

本文研究了无穷维Hamilton算子的可逆性问题,进而,刻画了无穷维Hamilton算子的谱的分布,并运用内部的逆紧性描述了无穷维Hamilton算子的逆紧性.最后,给出了无穷维Hamilton算子的可逆性问题在Dirac算子的可逆性问题中的应用.     

Hille-Yosida定理在一类无穷维Hamiltion系统中的应用

应用Hille-Yosida定理研究了无穷维Hamilton算子,得到了一个无穷维Hamilton系统初值问题解的存在性定理,并把结果应用在由一类双曲型偏微分方程导出的无穷维Hamilton系统中,给出了此类无穷维Hamilton系统解的存在性定理.     

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.