关于积流形的P－形式上的Laplace算子谱

本文讨论了积流形的Ｐ－形式上Ｌａｐｌａｃｅ算子谱的唯一性问题，在紧Ｋａｃｈｌｅｒ流形乘积和紧Ｓａｓａｋｉ流形乘积的两类积流形中，ＣＰ^ｎ×ＣＰ^ｎ和Ｓ^２ｎ＋１（１）×Ｓ^２ｎ＋１（１）是Ｐ－形式上Ｌａｐｌａｃｃｅ算子谱特征。     

(?)-方程的Cｐ，ｑｋ＋α-形式解及其上确界范数估计

文中研究了(?)－方程在拟凸域上的积分解算子的性质，得到了(?)－方程在具Ｃ^ｋ（ｋ≥０）类边界的拟凸开集上的Ｃ_ｐ，ｑ^ｋ＋α－形式的积分算子解及其解的上确界范数估计，它包含了文［１］仅对Ｃ^∞的情形     

Kornai－Weibull排队模型的纰漏，修正与分析

本文首先指出Ｋｏｒｎａｉ－Ｗｅｉｂｕｌｌ排队模型（Ａ）中之接待率ｒ（ｙ_１）的定义是不正确的，并给出接待率ｒ（ｙ_１，ｙ₂）的正确定义．其次，证明了修正模型（１）有“正常状态”的充要条件是接待能力(?)于是，本文发现接待能力Ｓ的分歧值是Ｓ^＊；当Ｓ＜Ｓ^＊时，市场是短缺的；当Ｓ≥Ｓ^＊时，市场是不短缺的．     

调和映照与常平均曲率的曲面

本文利用三维欧氏空间Ｒ^３或三维Ｍｉｎｋｏｗｓｋｉ空间Ｒ^2.1中常平均曲率的曲面与Ｓｉｎｈ－Ｌａｐｌａｃｅ方程和Ｓｉｎｈ－Ｇｏｒｄｏｎ方程之间的关系，研究了常平均曲率的曲面与Ｒ²到Ｓ²（或Ｈ²）及Ｒ^1.1到Ｓ^1.1（＋１）的调和映照之间的内在联系，并且提供了一种构造到球面Ｓ²，Ｈ²和Ｓ^1.1     

用Coulomb爆炸实测4HeD＋的键长

用1.468 0 MeV ⁴HeD^＋在超薄无衬碳膜中的Coulomb爆炸,获得⁴HeD^＋的键长实测值为(0.097±0.003)nm.讨论了⁴HeD^＋的形成机理.介绍了⁴HeD^＋原始束中D₃＋污染的降低,及产物⁴HeD^＋＋和D^＋高分辨能谱测量中的粒子鉴别方法等.     

极小子流形上Laplace算子的谱

本文讨论了Ｓ^ｎ＋ｐ（１）（或ＣＰ^ｎ＋1）中极小子流形上Ｌａｐｌａｃｅ算子的谱，证明了Ｓ^ｎ＋ｐ（１）中全测地极小子流形（或ＣＰ^ｎ＋1中Ｋａｃｈｌｅｒ超曲面）是由作用在ｑ-形式上的Ｌａｐｌａｃｅ算子的谱唯一确定．     

SL(2,R)上一类极大算子的(H∞,s1,L1)型

本文我们引入了函数类B_δ(G//K)={φ∈L¹(G//K)||φ(t)|≤Δ^-1(t)(1+t)^1-δ,δ>0),对f∈L^p(G//K),1≤p≤∞,和极大算子(?),证明了这类算子是(H_∞,s¹,L¹)型的.     

范畴 RMRl上的一个函子及范畴A Grn0

本文定义了一个由范畴 _RM_R^l到范畴Ａ G_rn⁰ 的函子Ｇ，并证明了函子Ｇ保持分量正合及全正合，关于范畴ＡＧG_rn⁰ 证明了定理：     

在e+e-湮灭中粲介子产额的计算

根据文献[1]提出的在e⁺e^-湮灭中夸克产生与组合规律,本文计算了在e⁺e^-湮灭中各种粲介子的产额,计算结果同实验相符,这表明我们对e⁺e^-湮灭为强子所采用的机制是合理的。     

紧Lie群上Hp（0＜P＜1）函数的临界阶Bochner－Riesz平均算子的有界性

本文利用尺度‖·‖_H(p,∞)研究了一般紧Ｌｉｅ群上Ｈ^p函数的临界阶Ｂｏｃｈｎｅｒ－Ｒｉｅｓｚ平均算子σ_R^δ:f→σ_R^δf的有界性，得到了如下结果：σ_R^δ是（Ｈ^p，Ｈ（ｐ，∞））型的，并且‖σ_R^δf‖_H(p,∞)≤C‖f‖_H^p     

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.