平面图形的形心在旋转体体积计算中的应用

本文讨论平面图形绕平面内的直线旋转的旋转体体积与被旋转的平面图形的形心的关系.当被旋转的平面图形的内部与旋转轴没有交点时,得到了用被旋转的平面图形的面积以及被旋转的平面图形的形心到旋转轴的距离表示的旋转体体积公式.     

维数不同的相关量之间的微积分关系

维数不同的相关量之间的微积分关系王金贵（北京电力高等专科学校１０００４４）我们可能都留意过，圆的面积的导数等于圆的周长，即，球的体积的导数等于球的表面积，即．反过来，当然有圆的周长的积分等于圆的面积，即．球的表面积的积分等于球的体积，即．事实上，不仅...     

一个命题的中间点的渐近性

关于中值定理的中间点的渐近性的讨论已得到大量有趣的结果,对于某些经典命题的中间点的渐近性的讨论也是十分有趣的课题,本文给出了数学分析中的一个经典命题的中间点的一个渐近性的刻画.     

赋权图的圆染色与区间染色

赋权图的区间染色的定义与赋权图的圆染色的定义非常类型,唯一的区别就是将Ｇ的顶点对应圆周上的孤换为Ｇ的顶点对应区间上的子区间,讨论了赋权的圆染色与区染色的关系。     

李群表示论和Schubert条件

本文将Grassmann流形上的Schubert子簇所满足的经典的Schubert条件推广到一般的复半单李群G的广义旗流形.利用复半单李群的表示理论,我们首先在李群的权空间上引入自然的Ehresman偏序.这一偏序可以导出李群的最高权表示的权系、Weyl群及其陪集空间上的Ehresman偏序.然后我们对一般的复表示定义了相应的射影空间,Grassmann流形和旗流形.这使得能够像经典的情形一样来分析广义旗流形的Schubert子簇满足的Schubert条件.在讨论中,我们还给出了李群G的Weyl群及其陪集空间中的Bruhat-Chevalley偏序的简单判别条件.我们的结果应用到例外群,给出了Fulton提出的关于例外群的Schubert分析的问题的部分回答.     

可引进群运算的两类平面图

在某些文献中,我们常常看到图论与代数的概念及方法的密切联系和交错应用。例如,不久前,Babai等人即考虑了有敏锐的边可迁置换群的有向图,得到了关于这种图的最大外度数的估计的一些定理。而Bertram则反过来借助于图论的概念及方法,给出了关于有限群的某些数值(如非交换群中两两可换的一组元素的最大个数,等等)的大小的估计。 本文也将讨论群与图之间的联系。我们将使某些平面图的顶点与某些置换群的元素相对应,使顶点的序列与群元素的乘积相对应,然后通过对群的性质的研究,发现相应的平面图的顶点度数的一些规律,并据此解决     

关于线性偏微分方程的Cauchy问题的唯一性

<正> Cauchy问题的唯一性是偏微分方程的基本问题之一.经典的Cauchy-Kowalewski定理断言,解析方程或方程组的解析解是唯一的.1901年,Holmgren证明了,线性的解析方程或方程组的光滑解的唯一性.在取消关于系数的解析性的假设这个方向上的第一个结果是由Carleman在1939年给出的,他证明了两个自变量的相应结果,其中假设方程的主部的系数是实的,以及特征根是单重的,因而特征根的虚部如果不恒为零则总不为零.     

动态中国银行网络系统传染性风险研究

银行网络系统的传染性风险是目前国内外研究的重要问题,但是目前针对银行网络系统传染的风险研究均考虑的是静态的网络结构及网络上银行的资产负债也均为静态,忽视了动态的网络结构及银行动态的资产负债的演化.文章首先构建动态演化的银行网络系统,其包括网络结构的动态演化与银行节点的资产负债的动态演化;然后根据中国的实际数据,构建动态演化的中国银行网络系统,进一步研究中国银行网络系统的传染的演化规律,为中央银行制定政策提供决策依据.     

ω_(aδ)~ω∪bω_δ形图簇的伴随分解及其补图的色等价性

研究图的伴随分解及其补图的色等价性.采用伴随多项式的性质讨论图的伴随分解式,通过图的伴随分解式确定其补图的色性.证明了形图簇的伴随多项式的分解定理,从上述定理得到了这类图簇的补图的色等价性.结论通过图的伴随分解研究其补图的色等价性,是有效的途径与方法,从图的伴随分解式容易看出其补图的色等价图的结构规律.     

一个自入射Koszul代数的Hochschild同调与循环同调

代数的Hochschild同调群与其对应的Gabriel箭图的循环圈有着紧密的联系.本文基于Furuya构造的一个四点自入射Koszul代数的极小投射双模分解,用组合的方法计算了该代数的Hochschild同调空间的维数,并用循环圈的语言给出该代数的Hochschild同调空间的一组k-基.进一步,当基础域k的特征为零时,我们也得到了该代数的循环同调群的维数.     

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.     

Variant of statistical interpretation of the formation of viscoelastic deformations of polymers

A variant of a statistical probability interpretation of elementary micromechanisms of formation of viscoelastic deformations of polymers is examined with the aid of the concept of dissymmetric media and the dissymmetry coefficient. A new rheological relationship is obtained, a particular case of which is the known equation of a typical linear viscoelastic body. A method is given for determining the relaxation spectrum for different intensity functions figuring in the rheological relationships. The results of the calculation are compared with the experimental data, exemplified by the creep of polyamide P-68.Institute of Polymer Mechanics, Academy of Sciences of the Latvian SSR, Riga. Translated from Mekhanika Polimerov, Vol. 9, No. 3, pp. 392–396, May–June, 1973.     

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

Singularities of Solutions of One Class of Equations of Continuum Mechanics

We analyze one class of families of integral equations and describe the dependence of the singularities of solutions of integral equations on the dimensions of the families of kernels of equations. On the basis of these results, we propose procedures for the construction of approximate solutions for a small parameter.     

Regularity of minimizers of non-isotropic integrals of the calculus of variations

The regularity of the minimizers of a special type of non-isotropic variational minimization problem is studied. The particularity of the potential of energy is that it has different growth rate with respect to different parts of the derivatives of the function. In particular, the model treated in this paper can be described as $$\Phi (Du) = |\partial _1 u|^2 + |\partial _2 u|^2 + |\partial _3 u|^2 + |\partial _3 u - |^p .$$ By using a result of P.Marcellini (cf. [4]) and perturbation method, it is proved that the minimizer of the Dirichlet boundary value problem is a function of W _loc ^{1, ∞} .     

The use of splitting of the equations of motion in the numerical solution of problems of the dynamics of elastic systems

Linear elastic systems with a finite number of degrees of freedom, the initial equations of motion of which are constructed using the finite element method or other discretization methods, are considered. Since, in applied dynamics problems, the motions are usually investigated in a frequency range with an upper bound, the degrees of freedom of the initial system of equations are split into dynamic and quasi-dynamic degrees. Finally, the initial system of equations is split into a small number of differential equations for the dynamic degrees of freedom and into a system of algebraic equations for determining the quasi-static displacements, represented in the form of a matrix series. The number of terms of the series taken into account depends on the accuracy required.     

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.     

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

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

Axiomatizability of reducts of algebras of relations

In this paper, we prove that any subreduct of the class of representable relation algebras whose similarity type includes intersection, relation composition and converse is a non-finitely axiomatizable quasivariety and that its equational theory is not finitely based. We show the same result for subreducts of the class of representable cylindric algebras of dimension at least three whose similarity types include intersection and cylindrifications. A similar result is proved for subreducts of the class of representable sequential algebras. Received October 7, 1998; accepted in final form September 10, 1999.