寻求多项式系统在闭超长方体上的实零点

对于给定的一个n元多项式系统P和Rn中一个闭超长方体S,给出了一个有效算法,使得在ZeroR(P)∩S的每一个半代数连通分支上能找到至少一个实零点。为精确起见,所找的实零点通过所谓的区间有理单元表示来描述。同时给出了另一算法,可用来检验所得的实零点是否属于闭超长方体S。为处理实例,有关算法在Maple软件平台上被编制成一个通用程序。     

计算等式约束下多项式在闭长方体上的精确最小值

对于给定的一个实多项式函数f,多项式环R[x1,…,xn]中一个非空的有限子集H以及Rn中一个闭长方体∏n i=1[ai,bi],给出了一个有效算法,用来计算多项式函数f在集合∏n i=1[ai,bi]∩ZeroR(H)上的精确最小值,这里ZeroR为的实零点集。此外,该算法可产生一个最小值点,该点被写成所谓的区间-有理单元表示。相应的有关算法通过Maple软件被编制成一个通用程序,可处理相关实例。     

零点对称分布在虚轴上的整阶规范乘积的一个陶伯型定理

Bowen 讨论了只具有负实零点的整阶规范乘积的一些渐近性质;对于零点分布在虚轴上的整阶规范乘积,推广了 Noble 的一个陶伯型定理。后一结果是从假设 log|P(z)|在 argz=0的性质出发得到的。文中提出了这样的问题:对于一般的 argz=a≠0,是否可以得到类似的结果呢?本文在 P(z)只具有纯虚的共轭零点时利用中的方法对     

捕获等式约束下多项式在闭长方体上的最小值

对于给定的一个实多项式函数f∈R[x1,…,xn],R[x1,…,xn]中一个非空的有限子集H以及Rn中一个闭长方体n∏＝i1[ai,bi],给出了一个有效算法,可产生有限个单元多项式,使得这些单元多项式的一个实根正是多项式函数f在集合n∏i=1[ai,bi]∩ZeroR(H)上的最小值,这里ZeroR(H)为H的实零点集。有关算法通过Maple软件被编制成一个通用程序,可处理相关实例。     

关于实零点多项式导数的不等式

1.前言 熟知关于n次代数多项式P_n(x)的MapoB不等式 (1≤P≤∞,C是绝对常数) 一般来说是不能改善的.这里,但是,Erdos, P.证得 定理A以S_n表示仅有实零点且其所有实零点都不在(-1,1)中的n次代数多项式全体,如果P_n(x)∈S_n,则     

关于Varma一个定理的推广

本文以H_n表示所有零点都落在[-1,1]中的n次代数多项式全体,||·||_(L_P)是[-1,1]上的L_p范数,以||·||代表||·||_(L_∞).我们知道,关于实零点代数多项式,Tur(?)n,P.证有定理A若f(x)∈H_n,则     

关于凸函数不等式组的一些讨论

<正> Fan.ky在[1]中已得出下述引理1.设S是实线性赋范空间X中的一个非空凸子集,f1（x）,i=1,…,m是S上的实值凸函数,那么凸函数不等式组F（x）<0,x∈S,不相容当且仅当存在P∈Em,P≥0使PTF（x）≥0,（?）x∈S。其中F（x）=（f1（x）,…,fm（x））T,符号“≥”表示“≧”但“≠”     

关于L~p尺度下的Turán不等式

记H_n是所有零点都落在〔-1,1〕中的n次代数多项式全体,R_n是所有零点是实的n阶三角多项式全体,‖·‖x[a,b]是在区间〔a,b〕上X尺度下的范数,C表示某个正的绝对常数,其值在不同的地方有所不同.关于实零点代数多项式我们知道有如下的 定理T 如果P_n(x)∈H_n,则     

半环的高层序

在交换半环范畴中引进"n层亚序"和"n层序"等概念,其中n为任意正整数。实代数学中有关高层序的重要结果被推广到交换半环上。对于一个半环S以及任意给定的正整数n,两个这样的结果被建立:(1)半环S有一个n层序,当且仅当S是半实的;(2)半环S中一个理想为实素理想,当且仅当它是某个n层序的支集。     

关于一个亚纯函数唯一性定理的改进

为了以下论述的方便,用f(z)与g(z)表示开平面上非常数的亚纯函数,a_1(z),…,a_m(z)为m个判别的亚纯函数.设S={a_1(z)),…,a_m(z)},令f~(-1)(S)=(?){z|f(z)-a~i(z)=0}这里n重零点在f~(-1)(S)中计算n次。 若f~(-1)(S)(?)g~(-1)(S),则记作f(z)∈S→g(z)∈S,因此f(z)∈S(?)g(z)∈S表示f~(-1)(S)=g~(-1)(S). 当a为一有穷复数时,显然f(z)∈{a}(?)g(z)∈{a}表示f(z)—a与g(z)—a的零点相同且每个零点的重级也相同,类似地f(z)∈{∞}(?)g(z)∈{∞}表示f(z)与g(z)的极点相同且每个极点的重级也相同。     

多元代数方程组解的重数的计算

本文利用多项式理想对偶基的理论给出了当代数方程组只有孤立解(即零维理想的零点)时解的重数的一个算法,同时得到了零维理想有重零点的几个判定准则.     

关于Szabados的一个问题在L1尺度下的解答

Szabados在[6]中考虑了在(-1,1)中没有零点的n次仅有实零点的代数多项式的点态估计。本文将Szabados的问题加以一般化,在L~1尺度下考虑问题,并取得了相应的结果。     

增生算子零点算法

设X是具有Gǎteaux可微范数的自反Banach空间,对增生算子的零点,给出一个显式迭代逼近算法。     

GF(2~m)椭圆曲线上的Co＿Z点加算法

基于统一Z坐标,提出了有限域GF(2~m)上两种射影坐标下的Co_Z点加运算公式。通过对椭圆曲线上有理点的Z坐标统一化处理,使得其运算量分别为10M+3S和8M+3S(M,S分别表示有限域上的乘法和平方),相比已有的计算公式,运算量分别减少了2S和2M。另外,提出了一种Jacobian坐标下的3P运算公式,运算量减少了1M+4S。将新提出的点加、3P运算公式与对称三进制标量乘相结合,改进了标量乘算法的运算效率,使得标量乘算法的效率提高了13%。     

零维多项式组零点的1种直接表示法

给出了零维多项式组所有零点的1种直接表示算法．零点的这种表示方法可避免一般三角化方法引起的误差．此外,该方法较少地依赖符号计算,且核心算法是基于可靠的、数值的区间运算．     

实数轴上Grǔnwald插值算子的收敛性

考虑了拓展插值结点取值范围后的Grǔnwald插值算子在实数轴上的收敛性,证明了将结点范围扩大到全实轴后,即取为Hermite多项式的零点,对任意点x∈(-∞,∞),有Gn(f,x)→f(x),n→∞,其中,f(x)为实数轴上任一满足|f(x)|=O(ex2/2)的连续函数.     

实数轴上Gr nwald插值算子的收敛性

考虑了拓展插值结点取值范围后的Gr nwald插值算子在实数轴上的收敛性,证明了将结点范围扩大到全实轴后,即取为Hermite多项式的零点,对任意点x∈(-∞,∞),有Gn(f,x)→f(x),n→∞,其中,f(x)为实数轴上任一满足|f(x)|=O(ex2/2)的连续函数.     

半环中赋值与序的相容性

在交换半环范畴中,研究赋值与序之间的相容性。通过引进赋值的半截口,这样一个事实被证明:半环的一个赋值具有一个半截口,只要该赋值的值幺半群是一个群。基于此事实,建立了如下主要结果:对于半环S的一个赋值v,v是S的一个实赋值当且仅当v与S的某个序相容。     

关于Abi-khuzam的一个问题

设P_N是N次代数多项式全体,K_N是所有零点都位于左半平面Re(z)≤0中的实系数N次代数多项式全体,P_N~ 为具有正系数的N次代数多项式的集合.又     

多项式零点同时逼近算法的加速

对多项式重零点同时逼近算法提出了一种加速技巧,求得了加速算法的收敛阶,并给出了数值计算实例。