P_n(Γ)一组Hilbert基的判定和计算

设Γ是一作用在Rn上的紧李群,Pn(Γ)是Γ不变的多项式芽环,Hilbert-Weyl定理证明了对于Pn(Γ)总存在一组由Γ不变的齐次多项式芽构成的Hilbert基.然而,如何从Γ不变的齐次多项式芽中选出一组Hilbert基?如何判定Γ不变的齐次多项式芽的一个有限集就是Pn(Γ)的一组Hilbert基?在有关的文献中,Pn(Γ)的一组Hilbert基常常是通过幂级数展开进行计算.作为一个补充,本文借助Noether环、不变积分的基本性质以及奇点理论的某些定理,证明了判定、计算Pn(Γ)的Hilbert基的有关定理和原理,这提供了计算某些Pn(Γ)一组Hilbert基的而与幂级数展开不同的方法.最后,举例加以说明.     

判定P_n(Γ)的Hilbert基的一个充要

设Γ是一作用在R^n上的紧李群，P_n(Γ)是Γ不变的多项式芽构成的环. Hilbert-Weyl定理证明了对于P_n(Γ)总存在一组由Γ不变的齐次多项式芽组成的Hilbert基. 然而，如何从Γ不变的齐次多项式芽中选出一组Hilbert基？如何判定Γ不变的齐次多项式芽的一个有限集就是P_n(Γ)的一组Hilbert基？该文借助于Noether环和不变积分的某些基本性质以及奇点理论的有关定理，证明了判定P_n(Γ)的Hilbert基的一个充要条件. 这对某些P_n(Γ)提供了计算一组Hilbert基的新途径.     

En中齐次多项式芽生成的有限余维理想的判定和应用

本文研究了奇点理论中有限余维理想的一种判定方法,利用Arnold在θn中得出的结论以及Hilbert零点定理,获得C∞实函数芽环En中由齐次多项式芽生成的有限余维理想的特征和判定方法. 其结果是有实用性和有效性的.     

■-等价充要条件的一个应用(英文)

在C~∞函数芽的奇点理论和突变论中,很多基本问题涉及到n个变元的函数芽环E_n中有限余维理想任一补空间一组基的计算。例如J.N.Maffler对有限余维的函数芽的universal deformation证明了下述基本定理:f的一个P——参数的deformation是universal,当且仅当它的初速度(i=1,2,…,p)使得: 这意味着,若要把f的一个p—参数的universal deformation求出来,只需把f的雅可比理想J(f)在E_n中一个补空间的一组基求出来。 但是,实际计算往往造成困难。而已出版的文献又很少介绍。文献[3](p.13—p.15)举了数例用了个图来进行计算。但必须指出:(i)该文举的数例,生成元都是最简单的情形—单项式,涉及的变元只是两个。(ii)文中并未给出计算这一问题的一般原则,且这样的图,当变元的个数≥3时,已无法画出。对更复杂一点的生成元,例如多项式,也不再适用。本文将从等价的充要条件的一个命题出发,利用某些代数知识,引出计算该问题的某些定理和原则。最后,举例加以说明。     

关于实Hilbert环

通过引进“强实Hilbert环”这一概念,本文证明了,一个环A是强实Hilbert环,当且仅当多项式环A[X]是实Hilbert环,当且仅当A[X]的每个实极大理想在A上的局限是实极大的,从而文献[1]中两个主要结果被否定.此外,本文还研究了所谓的“严格的实Hilbert环”,这类环对于半代数零点定理等方面的探讨更具应用意义.     

一类拟齐次多项式中心的极限环分支

确定平面拟齐次多项式微分系统具有中心的条件是一个难度很大的课题.该文首先将文献[12]给出的五次拟齐次多项式系统推广到n(奇数)次系统,给出它具有全局中心的充要条件.然后利用一阶Melnikov函数得到中心的周期环域在n次多项式扰动下产生的极限环个数的最小上界.最后证明了该上界适用于所有以m为权指数的(m,1)-(或(1,m)-)拟齐次平面多项式哈密顿系统,在2m-1次多项式扰动下分支出来的极限环个数,其中m为任意正整数.     

两个平均值问题的注记

利用函数得幂级数展开式,证明了两个平均值定理相反问题的解均为多项式函数.     

无穷级数∞∑(n＝1)1/(2n-1)2k的一种计算方法

根据无穷多项式理论,将余弦函数的幂级数展开式构造成无穷乘积的形式.并且利用ln(1+x)幂级数展开,得到∞∑(n-1)1/(2n-1)2k(R为正整数)的一种计算方法.     

具有与多项式复合齐次相容的项序

设K[x1,X2,…,xn]是域K上关于变量x1,x2,…,xn的多项式环,θ=(θ1,…,θn)是K[x1,x2,…,xn]的一组有序多项式.多项式复合θ是用θi代替xi的一种运算.我们说多项式复合θ与项序>齐次相容,是指对任意项P与q,p>q,deg p=deg q(→)polt(θ)>qolt(θ).怎样判断多项式复合与项序>是否齐次相容是困难的.将给出明确的判定方法.     

无穷级数sum from n=1 to ∞(1/(2n-1)~(2k))的一种计算方法

根据无穷多项式理论,将余弦函数的幂级数展开式构造成无穷乘积的形式.并且利用ln(1+x)幂级数展开,得到sum from n=1 to ∞(1/(2n-1)～(2k))(k为正整数)的一种计算方法.     

适合无限维实零点定理的序域之结构II

在本文的第二部分中,我们研究了适合无限维实零点定理的序域的结构。通过嵌入,我们证明了,一个序域适合无限维实零点定理,当且仅当它的实闭包同构于域Ｒ｛Γ｝的某个具有无限维逼近性质的子域。这里Γ是一个无裂缝的可除序群,Ｒ｛Γ｝是指数在Γ中,系数为实数的形式幂级数域。     

多元多项式环上模的中国剩余定理

中国剩余定理在数论及代数中起着重要的作用.在多元多项式环中,中国剩余定理可以转化为多元多项式同余方程组的求解,借助代数理论,可以找到满足同余方程组的多项式.本文研究多元多项式环上关于模的中国剩余定理,并利用模的Gr?bner基理论与方法找出满足模的中国剩余定理的多项式向量,从而找到多项式环上模的同余方程组的解.     

关于多项式系数的Jensen定理及其Abel模拟

将Gould的形式幂级数的计算技巧运用到多元函数,作者证明了关于多项式系数卷积计算的Jensen定理及其Abel形式。所得结果可以视为Mohanty和作者以前工作的自然延伸和拓广。     

非结合的Γ-环

N.Nobusawa 在〔1〕中引进了Γ-环的概念。W.E.Barnes 在〔2〕中定义Γ-环的素理想,准素理想;证明了满足理想升链条件的Γ-环的一个理想如果有准素表示,通常的唯一性定理成立。在这篇文章中,我们将定义非结合的Γ-环的概念,利用〔3〕中的方法定义非结合的Γ-环的 u-素理想,任一理想的根集,给出二种 u-准素理想的概念;讨论了在满足理想升链条件的Γ-环里,如果一个理想有 u-1(或2)准素表示,通常的唯一性定理成立的问题。我们的结果自然可以适合一般的非结合环.     

关于紧李群作用下光滑函数芽的不变量的注记

本文仅用 Malgrange 预备定理和 Haar 积分得到了下述结果:设 G 为线性地作用于 R~n 上的紧李群,σ_1,…,σ_k 是 P(R~n)~G 的一组极小齐次 Hilbert基,并用<σ_1,…,σ_k>表 (R~n)由σ_1,…,σ_k 生成的理想。若 (R~n)/>σ_1,…,σ_k>作为实向量空间是有限维的,则芽 f∈ (R~n)~G 当且仅当存在芽 g∈ (R~k)使得f(X)=g(σ_1(X),…,σ_k(X)),X=(x_1,…,x_n),即σ~* (R~k)= (R~n)~G.     

多项式微分系统定性性质的算法化推导

关于利用计算机代数系统,结合吴方法,Gr(o)bner基方法,结式方法以及实根分离算法等对于多项式微分系统定性分析和稳定性判定的一些近期进展,主要包括高维系统平衡点和稳定性判定,一般平面系统的焦点量计算,焦点量独立性的判定以及小扰动极限环的构造以及利用向量场对称性或不变解曲线的存在性部分算法化地给出中心存在的条件.最后展示一些计算实例并提出几个相关的公开问题.     

带核实赋值环上的多项式

本文引进了带核实赋值环这一结构,带核实域和实闭环是其特款.通过一些引理,我们建立了关于带核实赋值环上多项式的半代数零点定理.正点定理和非负点定理,同时我们讨论了Hilbert第十七问题在带核实赋值环上的推广形式.     

c~∞函数有限决定性的充要条件

在c~∞函数的奇点理论中,通常把c~∞函数局部地分做所谓微分芽的等价类,J.Mather证明了对微分芽的有限决定性,有一个充分条件和一个必要条件.即(1)若m(n)~k m(n)+m(n)~(k+1),则f是k决定的.(2)若f是k决定的,则m(n)~(k+1) m(n).D.Siersma证明,对齐次多项式来说,(2)也是充分的.M.A.B.,Dekin把c~∞函数分成更粗的等价类.f,g∈c~∞(n,1)叫做T等价的,若它们在原点x=0的Taylor级数完全相同,此即形式幂级数的方法.     

Clean一般环的几个结果

证明了一般环I是Clean一般环当且仅当I上的形式幂级数一般环I[[x]]是Clean一般环;一般环I上的多项式环I[x]是Clean一般环当且仅当I是诣零的.引入了强Clean一般环的概念,它是强Clean环的推广.并证明了强π-正则的一般环是强Clean一般环.     

环面上一个中心型问题的推广

在环面上具体非线性微分方程积分曲钱的研究,首先由秦元勋开始。他给出了正弦,余弦一次方程的一个标准形式,并解决了这个方程的中心型问题的判定。本文是给出了正弦,余弦一般齐次,非齐次方程的中心型问题的判定。在特殊情形下就得到秦元勋中定理1,定理1′,定理1″,及定理1_(mn)的情形。(作者对秦元勋老师的热情指导,表示衷心感谢。)首先考虑正弦,余弦的m次齐次方程式: