带有积分边界条件的一阶脉冲微分方程奇异边值问题

利用Schauder′s不动点定理研究带有积分边界条件的一阶脉冲微分方程奇异边值问题,得到正解的存在性结论.其中对应非脉冲情形的相关结论也是新的.     

一类奇异分数阶微分方程积分边值问题正解的存在性

研究了一类奇异非线性分数阶微分方程积分边值问题正解的存在性,主要利用Green函数和Guo-Krasnoselskii不动点定理,得到方程正解存在性的新结果,结果改进和丰富了一些已有的研究结论.     

奇异二阶连续和离散边值问题正解的存在唯一性

利用一类混合单调算子的一个不动点定理,给出了奇异二阶微分方程边值问题和奇异二阶差分方程边值问题的解的存在及惟一性.     

Banach 空间中奇异积分-微分方程边值问题多解的存在性

通过建立一个特殊的锥,运用锥拉伸与锥压缩不动点定理,获得了Banach空间中一类非线性混合型奇异积分-微分方程边值问题多解的存在性．     

Existence of three positive solutions of singular integral boundary value problem for systems of nonlinear nth-order ordinary difference equations

应用Leggett-Williams不动点定理,研究了n阶非线性常微分方程组奇异积分边值问题,当非线性项fi,gi满足一定增长性条件时,得到了上述边值问题至少存在三个正解的充分条件.     

一类分数阶微分方程奇异多点边值问题解的存在性和唯一性

研究一类非线性分数阶微分方程奇异多点边值问题,利用Schauder不动点定理以及压缩映像原理,得到了边值问题解的存在性及唯一性的充分条件.     

分数阶微分方程积分边值问题多个正解的存在性

研究了带有积分边值条件的分数阶微分方程的边值问题.利用LeggettWilliams不动点定理,以及一些分析技巧得到了这类分数阶微分方程边值问题多个正解的存在性.     

二阶奇异微分方程组边值问题两个正解的存在性

利用锥拉伸和锥压缩不动点定理,给出了一类二阶微分方程组奇异边值问题两个正解的存在性.     

一维p-Laplace二阶脉冲微分方程的奇异边值问题

脉冲现象作为一种瞬时突变现象,在现代科技各领域的实际问题中是普遍存在的.本文研究具有奇异边值的一维p-Laplace二阶微分方程在脉冲影响下的正解的存在性,介绍了解的一般性存在定理,并用A-A定理和不动点定理证明了一维p-Laplace二阶脉冲微分方程的奇异边值问题的正解存在性定理.     

奇异非线性四阶微分方程边值问题正解的存在唯一性

利用一类混合单调算子的一个不动点定理,给出了奇异非线性四阶微分方程边值问题的解的存在及惟一性.     

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.