带有外部输入项的时间周期SIR传染病模型的周期行波解北大核心CSCD

研究了一类带有外部输入项的时间周期SIR传染病模型周期行波解的存在性和不存在性.首先,通过构造辅助系统适当的上下解并定义闭凸锥,将周期行波解的存在性转化为定义在这个闭凸锥上的非单调算子的不动点问题,利用Schauder不动点定理建立辅助系统周期解的存在性,并利用Arzela-Ascoli定理证明了原模型周期行波解的存在性.其次,借助分析技术得到了周期行波解的不存在性.     

广义阿贝尔微分方程的周期解

本文讨论了广义阿贝尔微分方程.利用不动点定理,得到了方程存在两个非零周期解的充分条件.同时,我们还讨论了不存在非零周期解和存在唯一非零周期解的情况.     

一类高维非自治系统周期解的存在性和唯一性

该文利用Schauder和Roth不动点定理,讨论了一类高维非自治系统周期解的存在性和唯一性,给出了其存在周期解和存在唯一周期解的一组充分性判据.     

一类时滞微分系统的周期解

研究了一类具分布时滞的一阶微分系统的周期解的存在性和全局吸引性.先通过利用重合度理论中的Mawhin延拓定理讨论了周期解的存在性,建立了一些判断准则;进而通过构造适当的Lyapunov泛函以及周期解的存在性结果研究了该类时滞微分系统的周期解的全局吸引性,获得了保证其周期解全局吸引的充分性条件.     

关于退化中立型微分方程的周期解

讨论了退化中立型微分方程的周期解问题,给出了周期解存在性的条件和二维退化中立型微分方程周期解存在的代数判据,并且举例说明了其应用.     

Hopfield神经网络概周期解的存在性和全局吸引性

该文研究Ｈｏｐｆｉｅｌｄ神经网络概周期解的存在性和全局吸性,获得了该网络存在唯一概周期解的充分条件和所有解收敛于此概周期解的充分条件。     

常微分方程解的存在区间和周期解

讨论解的存在区间,说明周期函数如何是周期解以及它和Poincaré映射的关系.对周期的Riccati方程研究了周期解的个数,是文[8]中的定理1的一个补充,同时也研究了周期捕获的人口方程解的存在区间和周期解问题.     

Liénard系统的比较定理

研究了Liénard方程的一类新的等价系统解的有界性与周期解的存在性.证明了几个比较定理,使传统Liénard方程等价系统解的有界性和周期解的存在性可用于判定新等价系统解的有界性与周期解的存在性.     

两类分段对称系统周期解的存在性

本文研究了两类分段对称系统周期解的存在性,得到了系统相应的周期解存在的充分条件．作为应用,证明了一类具有分段对称性的时滞微分方程的周期解的存在性,推广了现有的相关结果．     

一个概周期锁相环路方程的概周期解的存在唯一性和渐近稳定性

本文研究了一个概周期锁相环路方程的概周期解的存在唯一性及渐近稳定性,得到了保证系统存在唯一渐近稳定的概周期解的充分条件     

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.     

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.     

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.     

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.     

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.