Ⅲ类方程的极限环

构造一条无切二次曲线用以研究一般的Ⅲ类方程ｘ＝－ｙ＋δｘ＋ｌｘ２＋ｍｘｙ＋ｎｙ２，ｙ＝ｘ（１＋ａｘ＋ｂｙ）（ｎ＞０）的极限环之唯一性，得到了两个新的判别法．它们分别是对奇点Ｏ０，１ｎ和Ｏ（０，０）外围的极限环给出的．     

关于迭代函数方程f~2(x)=af(x) bx的通解

设λ的二次三项式λ２－ａλ－ｂ的两个零点为λ１＝ｒ，λ２＝ｓ（ａ及ｂ为实数）．对０＜ｒ＜ｓ，ｒ＜０＜ｓ≠－ｒ及ｒ＝ｓ≠０这三种情形，Ｊ．Ｍａｔｋｏｗｓｋｉ与ＷｅｉｎｉａｎＺｈａｎｇ在“Ｍｅｔｈｏｄｏｆｃｈａｒａｃｔｅｒｉｓｔｉｃｓｆｏｒｆｕｎｃｔｉｏｎａｌｅｑｕａｔｉｏｎｓｉｎｐｏｌｙｎｏｍｉａｌｆｏｒｍ”一文中给出了迭代函数方程ｆ２（ｘ）＝ａｆ（ｘ）＋ｂｘ，对任ｘ∈Ｒ；ｆ∈Ｃ０（Ｒ，Ｒ）（１）的通解，并证明了当ｒ及ｓ非实数时方程（１）无解．对ｒ＝－ｓ≠０的情形，Ｍ．Ｋｕｃｚｍａ已给出了方程（１）的通解．本文则对ｒ＜ｓ＜０及ｒｓ＝０这两种情形给出了方程（１）的通解．此外，本文还给出了ｒ＜０＜ｓ≠－ｒ时关于方程（１）的通解的一个简洁的证明     

U1－sr条件

本文讨论Ｕ１－ｓｒ条件，这一条件有益于计算环的Ｋ１群．得到主要结果为；（１）完全确定满足Ｕ１－ｓｒ条件的半局部环：（２）给出使ＥｎｄＲ（Ｍ）满足Ｕ１－ｓｒ条件的一个刻划；（３）引进比Ｕ１－ｓｒ更强的一个条件ＳＵ１－ｓｒ，利用上述结果证明了：若Ｒ∈ＳＵ１－ｓｒ，则Ｍｎ（Ｒ）∈Ｕ１－ｓｒ；（４）证明了对于满足ＳＵ１－ｓｒ的环Ｒ，Ｋ１Ｒ＝ＧＬ１（Ｒ）ａｂ．     

一类平面微分系统极限环的存在性与唯一性

本文研究了平面微分系统ｘ＝－ｙ＋δｘ＋ｍｘｙ＋ａｙ２＋ｂｙ３，ｙ＝Ｆ（ｘ）的极限环的存在唯一性，比较完整地讨论了参数空间，在全平面得到了无环和环存在的参数区域，发展了文［１］提出的比较对称轨线的方法，证明了只含一个奇点的极限环的唯一性，同时指出了含三个奇点的闭轨线族和奇闻轨线的存在性．     

费尔马最后定理的证明

（ｉ）我们用（ｘ－ｂ）ｎ＋ｘｎ＝（ｘ＋ａ）来代替ｘｎ＋ｙｎ＝ｚｎ作为费尔马最后定理（ＦＬＴ）的普遍方程式．其中ａ及ｂ是两个任意自然数．应用二项展开式，（０．１）可以写成因为ａｒ－（－ｂ）ｒ始终包含ａ＋ｂ作为它的因数，（０．２）可写成其中фｒ＝［ａｒ－（－ｂ）ｒ］／（ａ＋ｂ）对于ｒ＝１，２，…，ｎ．都是个整数．（ｉｉ）令ｓ是ａ＋ｂ的一个因数，并令ａ＋ｂ＝ｓｃ．我们可用ｘ＝ｓｙ来变换（０．３）成为下列（０．４）（ｉｉｉ）将（０．４）除以Ｓ２，我们得（０．５）式的左边，是的整系数多项式，而右边ｃф／ｓ是个常数Ｃф／ｓ．若Ｃф／ｓ不是个整数，那末我们不能求得能适合（０．５）的整数ｙ，这样ＦＬＴ对这场合是对问．若Ｃфｎ／ｓ是个整数，我们可以改变ｓ和ｃ，使ｃф／ｓ≠整数。     

某些椭圆曲线的L－级数的L（1）的非零性

本文考虑了椭圆曲线Γ＿Ｄ：Ｘ￣３＋Ｙ￣３＝ＤＺ￣３．以ＬＤ（ｓ）记Γ＿Ｄ的ＨｅｃｋｅＬ－级数．由Ｌ＿Ｄ（ｓ）的解析延拓我们将Ｌ＿Ｄ（１）展成有限项之和，然后通过建立ｙ￣２＝ｘ￣３－１６的一个处处有好的约化的模型，证明了当ｐ≡２或５（ｍｏｄ　９）时，Ｌ＿（ｐ￣２）（１）≠０．这些结果是对Ｂｉｒｃｈ和Ｓｗｉｎｎｅｒｆｏｎ－Ｄｙｅｒ猜想的支持。     

圆的切线方程

圆的切线方程４３２１００湖北孝感楚环中学徐圣明《平面解析几何》中有结论：经过圆ｘ２＋ｙ２＝２’上一点Ｍ（ｘ０，ｙ０）的切线方程是ｘ０ｘ＋ｙ０ｙ＝ｒ２．由此命题，我们联想到它的两个道命题：Ⅰ若点Ｐ（ｘ１，ｙ１）在圆ｘ２＋ｙ２＝ｒ２上，则直线ｘ１ｘ＋ｙ１...     

具有二个焦点的二次系统极限环的分布与个数

本文证明了具有二个焦点的二次系统必在其中一个焦点外围至多有一个极限环这一猜想．从而得到具有二个焦点的二次系统之极限环必是（Ｏ,ｉ）或（１,ｉ）分布（ｉ＝ ０, １, ２,）．     

秩为k的有限序列t—相交族

设ｎ，ｓ１，ｓ２，…，ｓｎ为正整数及Ｍ（ｓ１，ｓ２，…，ｓｎ）＝｛（ｘ１，ｘ２，…，ｘｎ）｜０ｘｉｓｉ，且ｘｉ为正整数｝．若ＦＭ（ｓ１，ｓ２，…，ｓｎ）满足：对任何ａ，ｂ∈Ｆ，都至少有ｔ个ｉ使ａｉ∧ｂｉ＝ｍｉｎ（ａｉ，ｂｉ）＞０，则称Ｆ为Ｍ（ｓ１，ｓ２，…，ｓｎ）中的一个ｔ－相交序列族．对ｘ＝（ｘ１，ｘ２，…，ｘｎ）∈Ｍ（ｓ１，ｓ２，…，ｓｎ），称ｒ（ｘ）＝∑ｎｉ＝１ｘｉ为ｘ的秩．本文讨论并得到当ｓ１＝ｓ２＝…＝ｓｎ时Ｍ（ｓ１，ｓ２，…，ｓｎ）中秩为ｋ的有限序列最大相交族，从而获得了由Ｅｎｇｅｌ和Ｆｒａｎｋｌ提出的一个关于有限序列相交族的公开未解问题在ｋｎ＋ｔ－１情形下的解．     

ERDS-RE''''NYI大数律下自正则的效用

｛Ｘ，Ｘｉ，ｉ≥１｝是ｉ．ｉ．ｄ．ｒ．ｖ′．ｓ．在矩母函数存在的条件下，由古典的Ｅｒｄｏｓ－Ｒéｎｙｉ大数律有ｌｉｍｎ→∞ｍａｘ０≤ｋ≤ｎ∑ｋ＋［ｃｌｏｇｎ］ｉ＝ｋ＋１Ｘｉ［ｃｌｏｇｎ］＝α（ｃ），α（ｃ）为某常数．自正则下ＭｉｋｌóｓＣｓｏｒｇｏ＆ＳｈａｏＱｉｍａｎ（１９９４）在仅要求一阶矩的条件下就得到了：ｌｉｍｎ→∞ｍａｘ０≤ｋ≤ｎ∑ｋ＋［ｃｌｏｇｎ］ｉ＝ｋ＋１Ｘｉ∑ｋ＋［ｃｌｏｇｎ］ｉ＝ｋ＋１（Ｘ２ｉ＋１）＝β（ｃ），β（ｃ）为某常数．众所周知，自正则下人们往往在较弱条件下取得相应结果是因为：分母中的Ｘ能有效抵销分子中Ｘ较大而引起整个分式极限行为的波动．因此，在什么样的条件下，式ｍａｘ０≤ｋ≤ｎ∑ｋ＋［ｃｌｏｇｎ］ｉ＝ｋ＋１Ｘｉ∑ｋ＋［ｃｌｏｇｎ］ｉ＝ｋ＋１Ｘ２ｉ１－β［ｃｌｏｇｎ］β→ｒ（ｃ）成为非常有意思的问题，因为它将依赖于β的大小．本文给出，当０＜β≤１２时，只要Ｅ（Ｘ）≥０，上式就有有限极限．当１２＜β＜１时，则必须在矩母函数存在下，上式才有有限极限．并都求出了其极限表达式．     

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.     

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.     

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

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

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.     

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.