方程 λ(1 ce~(-τλ) a be~(-τλ)= 0所有根具有负实部的充要条件

考虑方程λ（１＋ｃｅ~（－τλ）＋ａ＋ｂｅ~（－τλ）＝０,（２）其中ａ,ｂ和ｃ为任意常数,τ为正常数,ｃ≠０．方程（１）为中立型方程　　　　　　　　ｘ（ｔ）＋ｃｘ（ｔ－τ）＋ａｘ（ｔ）＋ｂｘ（ｔ－τ）＝０　（２）的特征方程．方程（１）为一常见的拟多项式方程．关于拟多项式函数, Ｐｏｎｔｒｙａｇｉｎ在 １９４２年给出了判断这类函数所有零点位于左半复平面的充要条件．但对中立型方程来说,由于这些条件往往难以验证,使得人们长期以来无法用Ｐｏｎｔｒｙａｐｉｎ定理找出方程（１）所有根具有负实部的充要条件．本文在克服了上述困难后,用Ｐｏｎｔｒｇｉｎ定理找出方程（１）所有根具有负实部的充要条件．     

方程λ＋a＋be^τλ=0全部根的精确分布

考虑方程其中a，b为任意实常数,τ为正常数．本文在复数域上求得了方程（*）全部根的精确分布．在文[1]和[2]中应用Laplace变换法，得到了滞后型方程初值问题的形式解公式下：其中x（t）为初值问题的解，这里H（θ）为Heaviside函数．方程（*）为初值问题（E）中方程的特征方程．应用本文结果于形式解公式（1．1），可求得初值问题（E）的精确解．篇幅所限，此问题另文讨论．     

方程u+bur+g(u(t-τ))=p(t)的2π-周期解

本文对一类不具耗散项的时滞微分方程进行了分析,利用重合度理论,得到了方程至少存在一个2π-周期解的充分条件.     

2π-PERIODIC SOLUTION OF THE EQUATION x + f(x)x + bx + g(x(t - т)) = p(t)

In this paper, time delay Lienard's equations are considered, by using the theory of concidence degree, a sufficient condition of existence of at least one 2π-periodic solution is obtained.     

一类新的关于(4+4+1)-体共轭套中心构型

本文研究R3中一类(4+4+1)-体中心构型.利用中心构型等价类的性质及代数、分析方法,得到了该构型构成中心构型的充分和必要条件,证明了对任意给定的质量比这类中心构型存在的结论,解决了给定不同质量比范围该类中心构型是否唯一的问题,推广了文[16]的结论.     

方程ǖ+bur+g(u(t-τ))=p(t)的2π-周期解

本文对一类不具耗散项的时滞微分方程进行了分析,利用重合度理论,得到了方程至少存在一个2π-周期解的充分条件.     

平面图的k-重(2k+2)-染色

G=(V,E)表示一个顶点集为V,边集为E的有限简单无向图.若存在映射φ:V(G)→Zk(n)(Zk(n)是由{1,2,…,n}的所有k-元子集构成的集合),满足:(A) uv∈E(G),有φ(u)∩φ(u)=θ,则称φ是G的一个k-重n-顶点染色.本文证明了奇围长至少为5k-7(k=4)或5k-9(k=6)的平面图G...     

二分(0,mf-m+1)-图的正交(0,f)-因子分解

设G=(X,Y,E(G))是一个二分图,分别用V(G)=XUY和E(G)表示G的顶点集和边集.设f是定义在V(G)上的整数值函数且对(A)x∈V(G)有f(x)≥k.设H_1,H_2,…,H_k是G的k个顶点不相交的子图,且|E(H_i)|=m,1≤i≤k.本文证明了每个二分(0,mf-m+1)-图G有一个(0,f)-因子分解正交于Hi(i=1,2,…,k).     

环F_2+uF_2上偶长的(1+u)-常循环码

给出了环F2+uF2上任意偶长的(1+u)-常循环码的结构,确定了给定偶长度F2+uF2上(1+u)-常循环码的数目.通过Gray映射,得到了F2+uF2上偶长的(1+u)-常循环码的二元象.     

双曲空间Hn+1(-1)中完备超曲面

本文研究了双曲空间Hn+1(-1)中具有常数量曲率的完备超曲面.利用活动标架的方法,得到此类超曲面的两个刚性定理.     

A STOPPING CRITERION FOR HIGHER-ORDER SWEEPING SCHEMES FOR STATIC HAMILTON-JACOBI EQUATIONS

We propose an effective stopping criterion for higher-order fast sweeping schemes for static Hamilton-Jacobi equations based on ratios of three consecutive iterations. To design the new stopping criterion we analyze the convergence of the first-order Lax-Friedrichs sweeping scheme by using the theory of nonlinear iteration. In addition, we propose a fifth-order Weighted PowerENO sweeping scheme for static Hamilton-Jacobi equations with convex Hamiltonians and present numerical examples that validate the effectiveness of the new stopping criterion.     

非光滑方程组牛顿法的全局收敛性分析

通过定义一种新的*-微分,本文给出了局部Lipschitz非光滑方程组的牛顿法,并对其全局收敛性进行了研究.该牛顿法结合了非光滑方程组的局部收敛性和全局收敛性.最后,我们把这种牛顿法应用到非光滑函数的光滑复合方程组问题上,得到了较好的收敛性.     

A NUMERICAL STUDY OF THE GAUSSIAN BEAM METHODS FOR SCHRODINGER-POISSON EQUATIONS

As an important model in quantum semiconductor devices, the SchrSdinger-Poisson equations have generated widespread interests in both analysis and numerical simulations in recent years. In this paper, we present Gaussian beam methods for the numerical simulation of the one-dimensional Schrodinger-Poisson equations. The Gaussian beam methods for high frequency waves outperform the geometrical optics method in that the former are accurate even around caustics. The purposes of the paper are first to develop the Gaussian beam methods, based on our previous methods for the linear SchrSdinger equation, for the Schrodinger-Poisson equations, and then check their validity for this weakly-nonlinear system.     

OPTIMAL ERROR ESTIMATES FOR NEDELEC EDGE ELEMENTS FOR TIME-HARMONIC MAXWELL'S EQUATIONS

In this paper, we obtain optimal error estimates in both L^2-norm and H（curl）-norm for the Nedelec edge finite element approximation of the time-harmonic Maxwell＇s equations on a general Lipschitz domain discretized on quasi-uniform meshes. One key to our proof is to transform the L^2 error estimates into the L^2 estimate of a discrete divergence-free function which belongs to the edge finite element spaces, and then use the approximation of the discrete divergence-free function by the continuous divergence-free function and a duality argument for the continuous divergence-free function. For Nedelec＇s second type elements, we present an optimal convergence estimate which improves the best results available in the literature.     

ASYMPTOTIC STABILITY FOR GAUSS METHODS FOR NEUTRAL DELAY DIFFERENTIAL EQUATIONS

1. IntroductionIn the past, most of the work on the asymptotic stability for delay and neutra1 delay differential equations dealt with finding the stability region independently of the delay term. AlMutib{l] and recet1y N. Gug1ie1mi [8, 9, 10] reTdsited t…     

MULTILEVEL AUGMENTATION METHODS FOR SOLVING OPERATOR EQUATIONS

We introduce multilevel augmentation methods for solving operator equations based on direct sum decompositions of the range space of the operator and the solution space of the operator equation and a matrix splitting scheme. We establish a general setting for the analysis of these methods, showing that the methods yield approximate solutions of the same convergence order as the best approximation from the subspace. These augmentation methods allow us to develop fast, accurate and stable nonconventional numerical algorithms for solving operator equations. In particular, for second kind equations, special splitting techniques are proposed to develop such algorithms. These algorithms are then applied to solve the linear systems resulting from matrix compression schemes using wavelet-like functions for solving Fredholm integral equations of the second kind. For this special case, a complete analysis for computational complexity and convergence order is presented. Numerical examples are included to demonstra     

MAXIMUM PRINCIPLES FOR SECOND-ORDER PARABOLIC EQUATIONS

This paper is the parabolic counterpart of previous ones about elliptic operators in unbounded domains. Maximum principles for second-order linear parabolic equations are established showing a variant of the ABP-Krylov-Tso estimate, based on the extension of a technique introduced by Cabré, which in turn makes use of a lower bound for super-solutions due to Krylov and Safonov. The results imply the uniqueness for the Cauchy-Dirichlet problem in a large class of infinite cylindrical and non-cylindrical domains.     

SPECTRAL METHODS FOR THE GL-BBM EQUATIONS

1　ＩｎｔｒｏｄｕｃｔｉｏｎＩｎｔｈｉｓｐａｐｅｒ,ｗｅｃｏｎｓｉｄｅｒｔｈｅｆｏｌｌｏｗｉｎｇｐｅｒｉｏｄｉｃｉｎｉｔｉａｌｖａｌｕｅｐｒｏｂｌｅｍｆｏｒｔｈｅｓｙｓｔｅｍｏｆＧｉｎｚｂｕｒｇ ＬａｎｄａｕｅｑｕａｔｉｏｎｓｃｏｕｐｌｅｄｗｉｔｈＢＢＭｅｑｕａｔｉｏｎｓ:ｘ∈Ｒεｔ+ με-(α1+ｉα2 )εｘｘ+ (β1+ｉβ2 ) ｜ε｜2 ε-ｉδｎε=ｇ1(ｘ) ,(1 .1 )ｎｔ+ ｆ(ｎ) ｘ+λｎ-αｎｘｘ-ｎｘｘｔ+ ｜ε｜2 ｘ =ｇ2 (ｘ) ,(1 .2 )ε(ｘ+ 2π ,ｔ) =ε(ｘ ,ｔ) ,ｎ(ｘ + 2π ,ｔ) =ｎ(ｘ ,ｔ) ,(1 .3)ε(ｘ ,0 )…     

AN ITERATION METHOD FOR INCOMPRESSIBLEVISCOUS/INVISCID COUPLED PROBLEM VIA A SPECTRALAPPROXIMATION

1.IntroductionDomaindecompositionmethodsareusefulapproximationtechniquestofacecomputationalfluiddynamicsproblems,especiallyincomplexphysicaldomainsandusingparallelcomputationalenvironments.Theyhavebeenfirstemployedinfinitedifferenceandfiniteelementme...     

NONLOCAL INITIAL PROBLEM FOR NONLINEAR NONAUTONOMOUS DIFFERENTIAL EQUATIONS IN A BANACH SPACE

The nonlocal initial problem for nonlinear nonautonomous evolution equati-ons in a Banach space is considered. It is assumed that the nonlinearities havethe local Lipschitz properties. The existence and uniqueness of mild solutionsare proved. Applications to integro-differential equations are discussed.The main tool in the paper is the normalizing mapping (the generalizednorm).