伴随多项式与Miranda定理

原始版本的Miranda定理应用起来不甚方便.利用多项式在Box上的伴随多项式改造了Miranda定理.证明了改造后的结果对代数方程组实正则零点的检测是有效的.     

一类全纯函数的正规性

研究了具有一定性质的全纯函数.设F是平面上区域D内的全纯函数族.如果对于任意的f∈F,都有f(z)=0 f'(z)=z j|f″(z)|≤c,其中c为常数且f(0)≠0,则F正规.     

相对于A的螺形映照的齐次展开式估计

运用k(k为自然数)阶零点的概念,给出了复Banach空间中相对于A的螺形映照f(x=0是f(x)-x的k+1阶零点)的齐次展开式的第k+1到2k项的估计结果.     

正规化双全纯映照的增长和掩盖定理

在一般复Banach空间的单位球上引入正规化全纯映照族Mg,考虑满足条件(Df(x))-f(x)∈M9的正规化局部双全纯映照f(其中x=0是f(x)-x的k+1阶零点)并得到其增长和掩盖定理.所得结果统一和推广了许多已知结论.     

连续代数扩域上多项式因式分解的Trager算法

多项式的因式分解是符号计算中最基本的算法,二十世纪六十年代开始出现的关于多项式因式分解的工作被认为是符号计算领域的起源．目前多项式的因式分解已经成熟,并已在Maple等符号计算软件中实现,但代数扩域上的因式分解算法还有待进一步改进．代数扩域上的基本算法是Trager算法．Weinberger等提出了基于Hensel提升的算法．这些算法是在单个扩域上做因式分解．而在吴零点分解定理中,多个代数扩域上的因式分解是非常基本的一步,主要用于不可约升列的计算．为了解决这一问题,吴文俊,胡森、王东明分别提出了基于方程求解的多个扩域上的因式分解算法．王东明、林东岱提出了另外一个算法Trager算法相似,将问题化为有理数域上的分解．他们应用了吴的三角化算法,因此算法的终止性依赖于吴方法的计算．支丽红则将提升技巧用于多个扩域上的因式分解算法．本文将Trager的算法直接推广为连续扩域上的因式分解,只涉及结式计算与有理数域上的因式分解,给出了多个代数扩域上的因式分解一个直接的算法．     

R1上有界函数的导数零点存在性问题

研究定义域为R 1 上有界函数的n阶导数零点存在性问题及一般结论.     

微分方程f″+e^{az}f′+Q(z)f=F(z) 的复振荡

该文研究了线性微分方程f″+e^{az}f′+Q(z)f=F(z)的复振荡问题，其中Q(z)、F(z )( 0)是整函数，且σ(Q)=1,σ(F)<+∞,Q(z)=h(z)e^{bz},h(z)是多项式，b≠-1是复常数，那么上述线性微分方程的所有解f(z)满足~λ(f)=λ(f)=σ(f)=∞,~λ_2(f)=λ_2(f)=σ_2(f)=1.至多除去两个例外复数a及一个可能的有穷级例外解f_0(z)。     

一类全纯函数的正规性

研究了具有一定性质的全纯函数．设F是平面上区域D内的全纯函数族．如果对于任意的f∈F 都有 其中C为常数且f(0)≠0,则F正规．     

微分方程f″ e~(az)f′ Q(z)f=F(z)的复振荡

该文研究了线性微分方程f″ eazf′ Q( z) f=F( z)的复振荡问题,其中Q( z)、F( z) ( 0 )是整函数,且σ( Q) =1 ,σ( F) < ∞,Q( z) =h( z) ebz,h( z)是多项式,b≠- 1是复常数,那么上述线性微分方程的所有解f( z)满足λ( f) =λ( f) =σ( f) =∞,　λ2 ( f) =λ2 ( f) =σ2 ( f) =1 .至多除去两个例外复数a及一个可能的有穷级例外解f0 ( z) .     

转化是解题的利器

著名数学家、莫斯科大学教授C·A·雅洁卡娅一次在向数学奥林匹克竞赛者发表《什么叫解题》的演讲时极其精辟地指出:"解题就是把要解的题转化为已经解过的题",这是对转化的高度概