非线性向量微分方程初值问题的奇摄动

今研究一阶非线性向量微分方程初值问题:εy′=f(t,y,ε),(1)y(0,ε)=A(ε),(2)其可ε>0为小参数.y=(y_1,y_2,…,y_n)为 n 维向量函数.Howes 等人研究了一类高阶非线性标量微分方程的奇摄动问题.对于二阶非线性向量微分方程的奇摄动,也在许多文献中不同程度地研究过(例如[2],[3]).本文是研究更广泛的一类一阶非线性向量微分方程的奇摄动,提供了构造相应初值问题(1),(2)解的任意次精度的渐近展开     

一个非线性波动方程的计算机代数-摄动解*

本文采用计算机代数-摄动法讨论一个非线性波动方程的Caychy问题高阶渐近解,将特征坐标变形与重整化方法相结合,消除直接展开解的长期项,并利用计算机代数软件进行符号运算,得到该问题的四项摄动解,所得的渐近解与数值解的比较表明:对较小的ε,两者相吻合;对较大的ε(如ε=0.25),两者也相当符合。     

一类具有高阶转向点的二次问题的奇摄动

研究带有高阶转向点的二阶非线性微分方程的边值问题εy″=f(t)y′2+g(t,y)y(a,ε)=A,y(b,ε)=B的奇异摄动现象.在一定的条件下,得到了摄动解关于退化解的渐近性质及误差估计.     

一类非线性奇摄动Dirichlet边值问题的匹配解法

利用匹配渐近展开法,讨论一类形如εy″+(xn-k)(y′+ym)=0的非线性奇摄动方程的Dirichlet边值问题,并且通过对参数k的五种不同取值的分类探讨,得到了该问题必有左边界层、右边界层或内部层之一的结论(其中左、右边界层又各分为两种类型).进而给出该问题解的零次渐近展开式,推广并改进了已有的结果.     

一类热传导系数跳跃的非Fourier温度场分布的奇摄动双参数解

应用非Fourier热传导定律构建了温度场模型,即一类在有界域上带小参数的奇摄动双曲方程,由于温度急剧变化热传导系数出现跳跃的情况,得到了非线性的具有间断系数的奇摄动双参数双曲方程.通过奇摄动双参数展开方法,得到了该问题的渐近解;其次对热传导系数跳跃位置进行了定性分析,得到了确定热传导系数跳跃位置的计算公式,从而确定了解的形式渐近展开式;再通过余项估计,得到了渐近解的一致有效性,从而得到了完整温度场的分布.     

一个非线性波动方程的计算机代数－摄动解

本文采用计算机代数－摄动法讨论一个非线性波动方程的Ｃａｙｃｈｙ问题高阶渐近解，将特征坐标变形与重整化方法相结合，消除直接展开解的长期项，并利用计算机代数软件进行符号运算，得到该问题的四项摄动解，所得的渐近解与数值解的比较表明：对较小的ε，两者相吻合；对较大的ε（如ε＝０．２５），两者也相当符合。     

极限方程为椭圆-抛物的四阶椭圆型方程的奇摄动

本文研究了极限方程为椭圆-抛物的四阶椭圆型方程-ε2Δ2u+ym?2u/?y2+?2u/?x2+a(x,y)?u/?y+b(x,y)?u/?x+c(x,y)=0的奇摄动问题,其中ε为正的小参数,m为正的实数,Δ为拉普拉斯算子,a,b,c充分光滑.在适当的假设下,导出可解性的充分条件,证明了解的存在和给出任意阶的一致有效的渐近解.     

含积分算子拟线性系统边值问题的奇摄动

研究奇摄动积分微分方程组边值问题εy"＝f(x,y,Ty,ε)y′++g(x,y,Ty,ε);y(0,ε)＝A(ε),y(1,ε)=B(ε)其中y、g、A和B均为n维向量函数,f是n×n矩阵函数,(Ty)(x)=∫xK(x,s,y(sε),ε)ds在一定假设条件下,利用对角化技巧和逐步逼近法证明解的存在,并给出解的直到0(εN+1)的渐近展开式.     

一维弱噪声随机Burgers方程的奇摄动解

讨论了一类有界区域上具有有色噪声干扰的随机Burgers方程奇摄动解,其波动率服从弱噪声Ornstein-Uhlenbeck(O-U)过程.由波运动的转移概率密度函数满足的后向Kolmogorov方程,得到随机Burgers的期望所满足的后向Kolmogorov方程.由于期望满足的后向Kolmogorov方程的初边值问题条件涉及到一类确定性Burgers方程的解,因此该问题实际上是Burgers方程和Kolmogorov方程的联立形式.首先,应用奇摄动方法,对一类确定性Burgers方程进行了正则渐近展开,由Schauder估计、Ascoli-Arzela定理证明了非线性抛物方程渐近解的有界性与存在性,由Lax-Milgram定理证明了线性抛物方程渐近解的有界性与存在性,得到波速率的形式渐近解.其次,由奇摄动理论,对期望满足的方程进行了奇摄动渐近展开和边界层矫正,由二阶线性偏微分方程理论,得到边界层函数渐近解存在且有界.应用极值原理、De-Giorgi迭代技术分别证明了波速率和波期望渐近解的余项有界,得到渐近解的一致有效性.     

一类非线性奇摄动方程的匹配解法和解的精度估计

利用匹配渐近展开法,研究了一类非线性奇异摄动方程.在适当的条件下,得出了该类问题解的渐近展开式.并将结果应用于例子,对渐近解与精确解和用两变量方法求得的解进行比较,可知所得到的渐近解达到了较高精度.     

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.