Langmuir扰动方程和Zakharov方程:光滑性与近似

考虑了一类带参数H,用于描述Langmuir扰动的方程.研究了当参数H趋于0时,这一类扰动方程的渐近行为.通过建立一个弱收敛结果和一个强收敛结果,得到了这类扰动方程初值问题的解(EH,nH)收敛到Zakharov方程初值问题的解(E,n)的结论.     

Burgers-KdV方程的二类行波解

在熊树林关于“Burgers-KdV方程的一类解析解”工作的基础上,给出了Burgers-KdV方程的另外两类精确行波解,扩充了范恩贵等人工作的结果.     

Burgers-Huxley方程的同伦分析解

针对Burgers-Huxley方程定解问题,构造了一种零阶同伦方程,采用同伦方法得到Burgers-Huxley方程定解问题的近似解析解.最后,进行了实例验证和结果分析.     

应用改进的简单方程法求非线性数学物理方程的精确解

应用改进的简单方程法求得Cahn-Allen方程和Jimbo-Miwa方程的精确解,这些解包括双曲函数解、三角函数解.当对双曲函数解中的参数取特殊值时,可以得到了孤立波解.当对三角函数解中的参数取特殊值时,可以得到对应的周期波函数解.实践证明,简单方程法对于研究非线性数学物理方程具有非常广泛的应用意义.     

Boltzmann方程的两个解的平均作为二粒子Boltzmann方程系的解

在这篇文章,由Boltzmann方程的两个解构造出二粒子Boltzmann方程系的一类解。利用这个结果,求出了二粒子Boltzmann方程系的平衡解及宏观运动方程组。     

一类非线性色散型发展方程反问题的整体解

将一类非线性色散型发展方程反问题转化为抽象空间非线性发展方程Cauchy问题。利用半群方法和赋等价范数技巧,建立了该类抽象发展方程整体解的存在唯一性定理,并应用于所论反问题,得到了该类非线性色散型发展方程反问题整体解的存在唯一性定理,本质地改进了袁忠信得出的解的局部存在唯一性结果。     

薛定谔方程及薛定谔-麦克斯韦方程的多解

不作周期性和对称性的假设,也没有Ambrosetti-Rabinowitz增长控制条件,我们得到了一类超线性薛定谔方程在全空间中无穷多解的存在性结果.同时,得到了一类超线性薛定谔-麦克斯韦方程无穷多解的存在性结果.     

R∧N上的临界非齐次多重调和方程的多解存在性

讨论了R∧N上带负扰动的临界非齐次多重调和方程的多解存在性,首先由泛函弱连续性方法获得方程的第一个解,再由山路引理获得方程的第二个解,本文的这种求解方法和这些结果不仅适用于R∧N上的二阶椭圆方程,而且也适用于尚未解决的R∧N上的双调和方程。     

变更Boussinesq方程和Kupershmidt方程的多孤子解

使用王明亮引进的齐次平衡方法,求出了变更Boussinesq方程和Kupershmidt方程的多孤子解,而王明亮给出的变更的Boussinesq方程的单孤子解仅是上述结果的一种特殊情况.     

一类分数阶非线性波方程的精确解及应用

基于分离变量的思想构造了分数阶非线性波方程含常系数的解的形式.在用待定系数法求解时,根据原方程确定假设解中的待定参数,得到具体解的表达式.利用该方法求解了3个非线性波方程,即分数阶CH(Camassa-Holm)方程、时间分数阶空间五阶Kdv-like方程、分数阶广义Ostrovsky方程.比较简便地得到了这些方程的精确解.文献中关于整数阶非线性波方程的结果成为本文结果的特例.通过数值模拟给出了部分解的图像.对能够通过待定系数法求出精确解的分数阶微分方程所应满足的条件进行了阐述.     

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.