具有无穷时滞的中立型积分微分系统的平稳振荡

利用重合度理论中的延拓定理和微分积分不等式讨论具有无穷时滞的中立型积分微分系统其中x(t)=(x1(t),…,xn(t))T,G∈C2(Rn,R),f∈C(R×R×Rn×Rn,Rn),e∈C(R,Rn),e(t ω)≡e(t),f(t ω,u ω,x,y)≡f(t,u,x,y),f(t,u,0,0)≡0,t,u∈R,x,y∈Rn,ω>0为常数,获得了该系统平稳振荡的易于检验的判别条件.     

GLOBAL EXISTENCE AND BLOW-UP OF SOLUTIONS FOR GENERALIZED POCHHAMMER-CHREE EQUATIONS

In this article,we study the initial boundary value problem of generalized Pochhammer-Chree equation u_(tt)-u_(xx)-u_(xxt)-u_(xxtt)=f(u) xx,x ∈Ω,t 0,u(x,0) = u0(x),u t(x,0)=u1(x),x ∈Ω,u(0,t) = u(1,t) = 0,t≥0,where Ω=(0,1).First,we obtain the existence of local W k,p solutions.Then,we prove that,if f(s) ∈ΩC k+1(R) is nondecreasing,f(0) = 0 and |f(u)|≤C1|u| u 0 f(s)ds+C2,u 0(x),u 1(x) ∈ΩW k,p(Ω) ∩ W 1,p 0(Ω),k ≥ 1,1 p ≤∞,then for any T 0 the problem admits a unique solution u(x,t) ∈ W 2,∞(0,T;W k,p(Ω) ∩ W 1,p 0(Ω)).Finally,the finite time blow-up of solutions and global W k,p solution of generalized IMBq equations are discussed.     

Lienard方程周期解、概周期解的存在性

本文考虑 Lienard方程 x″+f (x) x′+g(x) =e(t) ,我们得到 :当 -∞ 0且 0 相似文献   

非线性薛定谔方程组的散射

本文主要考虑如下非线性薛定谔方程组的柯西问题:{-iu1t=△u1-μ|u1 |p1u1--α |u1 | q1-2 |u2 |q2u1,(x,t)∈RN×(0,T),-iu2t=△u2-ν |u2 |p2u2-β|u1|q1|u2 | q2-2u2, (x,t)∈RN×(0,T),u1 (x,0)=φ(x),u2(x,0)=φ2(x), x∈RN,其中μ,ν,α,β＞0,q1+q2=p3+2,且α/q1=β/q2=b.本文主要研究一些渐近性质,并分别在Sobolev空间、Σ空间及L2(RN)中建立散射理论,这里三={u∈H1(RN),|x|u∈L2 (RN)}.     

Lienard方程周期解、概周期解的存在性

本文考虑Lienard方程x“+f(x)x‘+g(x)=e(t),我们得到：当－∞＜infg‘(x)≤supg‘(x)&;lt;0且sups∈R|f(x)|&;lt;+∈∞时,对于任意周期或概周期函数e(t),它有周期或概周期解,而对于Lienard方程x“+f(x)x‘+cx=e(t),我们得到：当c&;gt;0且0&;lt;inf|f(x)|≤supx∈R|F(X)|&;lt;+∞时,对于任意周期或概周期函数e(t),它有周期或周期解。     

奇异半线性椭圆方程的非径向正整体解

研究如下N维奇异半线性椭圆方程△u+f(x,u)=0, x∈RN(N≥3),其中函数f:RN× R+→R+连续,在u=0有奇异性;采用上-下解方法给出该方程具有满足如下性质的有界正整体解u的条件: u∈C2+θloc(RN)使得lim |x|→∞ u(x)=0且u(x)≥εmin{1,|x|2-N},其中ε＞0是常数;并证明:若条件添加"f关于u单调不增"的限制,则这种解是唯一的.     

一类奇异半线性反应扩散方程初值问题解的存在性

本文获得了如下的奇异半线性反应扩散方程初值问题{(e)u/(e)t-(1/tσ)△u=up+f(x),t＞0,x∈Rnlim t→0+ u (t,x)=0, x∈Rn广义解(mild solution)在L∞ loe[(0,∞);L∞(Rn)]中的存在性.其中σ＞0,0＜p＜1,f(x)非负且f(x)∈L∞(Rn).     

带对流项的一类奇异Dirichlet问题唯一古典解的渐近行为

设Ω是RN中的C2有界区域,应用问题-p"(s)=g(p(s)),p(s)＞0,s∈(0,∞),p(0)=0,lims→∞ p'(s)=β≥0解的性质,构造比较函数,得到了奇异非线性Dirichlet问题-△u=g(u)+λ|▽u|q+σ,u＞0,x∈Ω,u|(e)Ω=0的唯一解u∈C2(Ω)∩ C(Ω)满足lim d(x)→O u(x)/p(d(x))=ξo,这里q∈[0,2],λ,σ是非负参数,T(ξ0)=lim t→O+ g(ξot)/ξog(t)=1,9(s)在(0,∞)是正的单调非增函数且lim s→O+g(s)=+∞,∫∞ 1 9(s)ds＜∞.     

Exact boundary behavior of large solutions to semilinear elliptic equations with a nonlinear gradient term

This paper is concerned with exact boundary behavior of large solutions to semilinear elliptic equations △u=b(x)f(u)(C0+|▽u|q),x∈Ω,where Ω is a bounded domain with a smooth boundary in RN,C0≥0,q E [0,2),b∈Clocα(Ω) is positive in but may be vanishing or appropriately singular on the boundary,f∈C[0,∞),f(0)=0,and f is strictly increasing on [0,∞)(or f∈C(R),f(s)> 0,■s∈R,f is strictly increasing on R).We show unified boundary behavior of such solutions to the problem under a new structure condition on f.     

广义Lienard方程边值问题

By coincidence degree,the existence of solution to the boundary value problem of a generalized Liénard equation a(t)x＂+F(x,x′)x′+g(x)=e(t),x(0)=x(2π),x′(0)=x′(2π)is proved,where a∈C1[0,2π],a(t)>0(0≤t≤2π),a(0)=a(2π),F(x,y)=f(x)+α| y|β,α>0,β>0 are all constants,f∈C(R,R),e∈C[0,2π]. An example is given as an application.     

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.