关于复差分微分理论的若干结果

本文主要利用差分的Nevanlinna理论,研究了几种不同类型的复差分微分多项式的零点情况,推广了微分多项式理论中的一些经典结果,同时也推广了部分差分多项式的结果.另外,本文还得到了某些差分微分方程解的存在性.     

有限级超越整函数的(微-)差分多项式的零点分布

作者研究了有限级超越整函数的差分多项式和微-差分多项式的零点分布,在一定条件下得到了这些多项式的零点收敛指数的精确估计.所得结果可视为Hayman关于Picard例外值的经典结果的(微-)差分模拟.     

两类复微分-差分方程组的整函数解

利用Nevanlinna值分布理论以及复差分和复微分理论,讨论了两类复微分-差分方程组的有限级超越整函数解问题,得到了两个结果,并将涉及微分或差分方程的某些结果推广至复微分-差分方程组中.     

某些差分多项式的亏量

Halburd和Korhonen指出研究复域差分的值分布问题对进一步研究复域差分与差分方程具有十分重要的意义.本文得到了关于有限级亚纯函数的差分多项式的亏量为一些结果,其中部分结果可视为微分多项式相应结果的差分模拟.同时,我们在一定条件下给出了经典的Valiron-Mohon'ko定理的一个差分模拟结果,并且作为本文中的一个重要工具出现.这些结果推广了前人已有结果.     

复微分-差分方程组的超越整函数解

利用亚纯函数的Nevanlinna值分布理论, 我们主要研究了一类复微分-差分方程和一类复微分-差分方程组的有限级超越整函数解的存在形式, 得到两个有趣的结论. 将复微分(差分)方程的一些结论推广到复微分-差分方程(组)中.     

亚纯函数差分多项式的值分布

本文讨论了差分多项式的特征函数和零点. 特别地, 本文将Valiron-Mohon''ko 定理部分地推广到了差分多项式, 并且对微分多项式零点的一些经典结果建立了差分模拟.     

关于微分多项式零点的定量估计

近来有不少各种有关超越整函数或满足δ(∞,f)=1的亚纯函数f的特殊形式(微分多项式)存在有无穷多个零点或亏值的结果.本文将有些结果归结推广到对任意一超越亚纯函数的一类具广泛形式的微分多项式的零点作讨论,并得到定量的估计.在证明中用到了改进的有关微分多项式的Clunie引理并对各种辅助函数的零点重数作了较精密的估计.     

Fermat型复微分-差分方程的整函数解北大核心CSCD

利用值分布理论,研究了一类Fermat型复微分-差分方程与复微分-差分方程组,得到有限级超越整函数解的存在条件与具体形式,推广改进了高凌云、刘凯、曾翠萍等人的结果.     

关于一类复微分-差分方程组的解

作者主要研究了一类复微分-差分方程组的有限级整函数解,得到了一有趣的结果,将复微分(或差分)方程中相关结果推广至复微分-差分方程组中.     

一类复微分-差分方程的亚纯解（英文）

本文研究一类复微分-差分方程的亚纯解的性质和表达式问题,利用亚纯函数的Nevanlinna值分布理论来证明,并得到一些结论,所得结论是从复差分方程到复微分差分方程的推广.例子表明我们的结果是有意义的.     

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.