线性变换下Grbner基的转换问题

Grbner基是符号计算中的基本工具之一,在许多实际问题中需要进行Grbner基的转换。讨论了经变元的线性变换φ:k[x_1,…,x_n]→k[x_1,…,x_n]后Grbner基的转换问题。证明了Grbner基在这种变换下保持基的性质。并证明了当变换矩阵为可经过行交换化为非退化上三角阵且变换后k[x_1,…,x_n]的序与原有序相容时,Grbner基经变换后仍保持Grbner基性质。     

半群代数k[A]中理想交集的生成元的算法

半群代数k[A]中Groebner基有许多性质,继续对其进行研究,并将其用于解决k[A]中两个理想交集的生成元问题.     

主理想及其商理想的维数

主要介绍并证明了在多项式环K[x1,x2 ,… ,xn]上 ,主理想及其商理想的维数均为n -1维 .     

Grbner基与联立方程式的解法

固定一个项序,利用Buchberger算法求多项式环S=C[x1,x2,…,xn]上的理想I的Grbner基。根据S上任意多项式f(x1,x2,…,xn)用Grbner基表示时其余项唯一的特点,将其应用到求解联立方程和求满足特定条件的多项式值等问题,从而得出Grbner基在求解多元非线性方程组方面的一个行之有效的方法,该方法为解决诸如此类数学建模问题开辟了一个新途径。     

高阶差分方程xn＋1=xn-k/1＋f（xn）g（xn）的解的收敛性

考虑差分方程xn＋1=x_（n＋1）=x（n-k）/1＋f（xn）g（xn）,k∈Z＋,n=k,k＋1,…,其中fg是单调递增的连续函数.对任意的α〉0和β〉0它包含了所有形如f（x）g（x）=αlogx或f（x）g（x）=αxβ的函数.证明了该方程的任意带有初值条件（x0,x1,…,xk）∈R＋k＋1的解是稳定的.当k是奇数时,收敛到（a0,a1,…,ak-1,ak）的解的初始点的集合是形如（y0,y1,…,yk-1,yk）∈[a0,＋∞）×[a1,＋∞）×…×[ak-1,＋∞）×[ak,＋∞）的点的集合,并且关于yi（i=0,2,…,k-1）对所有的ai≥0,yi＋1=hi（yi）和hi∶[ai,＋∞）→[ai＋1,＋∞）分别是唯一的连续增函数.     

Gr(o)bner基与联立方程式的解法

固定一个项序,利用Buchberger算法求多项式环s=C[3x1,x2,…,xn]上的理想Ⅰ的Gr(o)bner基.根据S上任意多项式f(x1,x2,…,xn)用Gr(o)bner基表示时其余项唯一的特点,将其应用到求解联立方程和求满足特定条件的多项式值等问题,从而得出Gr(o)bner基在求解多元非线性方程组方面的一个行之有效的方法,该方法为解决诸如此类数学建模问题开辟了一个新途径.     

分段函数的初等性研究及其初等表达式的构造

构造出两类基函数wi（x）和ui（x）（i=1,2,…,n）,利用这两类基函数构造出定义于开区域D=（x1,x2）∪（x2,x3）∪…∪（xn,xn＋1）内分段函数的初等表达式和定义于闭区域[x1,xn＋1]上的分段函数的初等表达式,并对这两类分段函数的初等性进行了研究,得到了一些重要结论．     

准素理想的商理想与代数簇

设Q是多项式环k[x1,x2,…,xn]中的P－准素理想,P＝√Q是理想Q的根理想,J是k[x1,x2,…,xn]的子集,若Q∩J≠φ,是Q对J的商理想Q：J的代数簇V（Q：J）＝φ;Q∩J＝φ,则Q：J的代数簇V（Q：J）＝V（√Q：J）;若P∩J＝φ,则V（Q：J）＝V（Q）。     

可解多项式代数与它在阶滤子下两种分次代数的关系

针对可解多项式代数A，证明了它在阶滤子下两种分次代数grC(A)与A^～均为可解多项式代数．应用Groebner基理论，给出了其左理想L和gr^C(L)与L^～的Groebner基的转换．     

几类插值有理样条函数

众所周知,多项式样条函数具有比较好的性质和广泛的应用。但是用它们对某些含有奇点的函数进行插值是不适宜的。在这种情形下有理样条则是较合适的工具。在本文中,我们用规范多项式 B 样条 B_(i,k)(x)构造出几类插值有理样条函数。其构造方法与[2]、[3]及[4]中的不同。首先,我们在区间[a、b]上,给出了属于 C~1[a、b]与 C~2[a、b]的两类插值有理样条函数的分段表达式,并且证明了它们的存在唯一性。其次,我们还求得了形式如:R(x)=sum from j=-k+1 to N-1 (C_jR_(j,k)(x)) x∈[a,b]的另一类插值有理样条函数,其中 N 为区间[a、b]被划分成子区间的个数,函数R_(j,k)(x)=B_(j,k)(x)/((x-x_j)~2+(x_(j,k)-x)~2),j=-k+1,-k+2,…N-1有与 B_(j,k)(x)相类似的一些性质。因此 R(x)∈C~(k-2)[a,b]。文中,我们对于 k=4的情形作了详细的讨论。文未的算例说明了对某些函数来讲,用有理样条逼近比用三次样条逼近要好。同时也说明了文中的方法是可行的。在应用这些有理样条时,用户可根据需要调节这些有理样条的分母或分子的次数。