交换环上线性系统的多项式模理论

引言 在线性系统理论中,R.Kalman[1]首先应用模论研究域上线性系统。后来Fuhrmann在这一方向上做了重大发展,创造了域上线性系统的多项式模理论和方法。近年来,Fuhrmann的方法进一步被用于研究各种控制理论问题。 本文借助于[7]中引入的周期性,对交换环上线性系统建立类似于域上线性系统的多项式模理论。并在此基础上讨论传递函数阵的分解与实现问题。     

线性系统的统一描述形式

本文引进了模的最小多项式阵和坐标概念。以此为工具,将Kalman的线性系统的模论建立在坐标的基础上,给出了线性系统相对于模的坐标表示,即为系统的多项式矩阵描述,特殊情况下为状态方程表示。这样,可将线性系统的理论在模论的基础上统一起来,建立统一的线性系统理论。     

H_q~p(01)空间中的多项式最佳逼近问题

文献[1]给出了H_q~p空间中函数的积分表达式,[2]、[3]、[4]在[1]的基础上研究了当P≥1时H_q~p空间的一些性质,[5]研究了当0相似文献   

广义逆多项式模的Attached素理想

设R是有单位元1的结合环,(S,≤)是严格全序Artin幺半群,M_R是右R-模,Att(M_R)与Att([M~(S,≤)]_([[R~(S,≤)]]))分别表示模M_R与广义逆多项式模[M~(S,≤)]_([[R~(S,≤)]])的所有Attached素理想组成的集合.该文主要讨论了广义幂级数环[[R~(S;≤)]]广义逆多项式模[[R~(S;≤)]]的Attached素理想的相关性质,证明了在一定条件下,有Att([M~(S,≤)]_([[R~(S,≤)]])={[[PR~(S;≤)]]P∈Att(M_R)}.这一结论表明广义逆多项式模([M~(S,≤)]_([[R~(S,≤)]])的Attached素理想在一定条件下可以用模M_R的Attached素理想来刻画,推广了Annin S在文献[1]中关于斜多项式环上逆多项式模的Attached素理想的相关结论.     

有限域上与仿射多项式有关的一些多项式的可约性

在这篇文章中,研究了有限域上一些与仿射多项式有关的多项式的可约性.对于有限域Fp上不是xppt-x-1的仿射三项式,得到了这些三项式的一个明确的因式.完全确定了多项式g(xps-ax-b)在Fp[x]中的分解,这里g(x)是Fp[x]中一个不可约多项式.证明了Fp上次数相同的不可约多项式的全体可以构成一个正则图.同时给出了多项式g(xqs-x-b)在Fp[x]不可约因式的个数公式,这里g(x)是Fp上一个不可约多项式.     

Shepard-Lagrange算子的逼近

本文建立了Shepard-Lagrange算子逼近的正逆定理,证明了可以利用高阶光滑模来刻画Shepard-Lagrange算子的逼近性质.从而说明了Shepard-Lagrange算子比一般的Shepard算子具有更好的逼近性质.进一步,所用光滑模的阶梯函数非常广泛,这是多项式逼近所不具有的.     

关于标准分层代数的多项式代数的滤链维数

标准分层代数是拟遗传代数的推广,其性质和理论意义受到人们的重视.在本文中,设A是域k上的标准分层代数,我们从特征模的角度,对A的多项式代数A[x]上的滤链维数进行了研究,得到了一些有意义的结果.     

Lagrange插值在最大框架下的逼近误差

<正>1引言代数多项式插值理论是函数逼近理论和计算数学的重要研究内容.在函数逼近理论研究中,传统研究内容是对个体函数讨论插值多项式依赖于连续模或多项式最佳逼近的误差估计问题,其系列研究结果可见专著[7]或综述文章[8],近期研究结果可见[1,5]及     

Bernstein-Kantorovich算子的迭代布尔和的逼近性质

本文利用光滑模及最佳逼近多项式的性质,研究了Bernstein-Kantorovich算子的迭代布尔和对Lp[0,1]中的函数的逼近性质,得到了逼近正定理,弱逆不等式及等价定理.     

多变量定常线性系统的传输零点与结构无静差性质

文献[1—4]详细研究了多变量定常线性系统的无静差和结构无静差性质,得到了内模原理的频域形式.为了说明内模原理的实质,本文讨论了无静差和结构无静差系统的传输零点的作用.本文所得结果告诉我们,多变量定常线性系统的无静差或结构无静差性质,是由闭环系统的零点与外部输入信号的极点之间的零极相消来保证的.本文使用与参考文献[1,2]相同的符号与术语.我们先对“结构稳定”的概念给一个确切的定义.如果一个多变量定常线性系统具有某种性质 π,并且在该系统的某个标称参数点 P 处存在某个邻域 U,使得这个系统在邻域     

离散性Бернштейн多项式逼近连续函数的估计

1.关于本文结果大家知道1912年由所首创的著名多项式可以一致逼近定义在闭区间[0,1]上的连续函数f(x)。 1935年,Popovicint就f(x)以B_n(x)来逼近时作出了其逼近階(Order)的一个很好的估计,他的结果是这儿表示区间长为的f(x)的连续模 1956年,徐利治-王在申提出了可用多项式的次数与插点不一致的办法来逼近连续函数f(x),有所谓“离散性”的多项式     

多项式环上模的Noether深度

本文讨论了 R 模 M_R 在其多项式环 R[x]上导出模 M[x]_(R[x])的 Noether深度.证明了对任意右 R 模 M_R,M[x]_(R[z])的 Noether 深度等于 M_R 的 Noe-ther 深度.     

中立型大系统的渐近稳定性

文[1]—[3]研究了中立型大系统的稳定性,获得了一些较好的结果。对相对中立型系统来讲,滞后线性系统的稳定性理论已比较完善。本文所提供的方法能较有效地克服判断中立型大系统稳定性的困难,所获得的结果不同于所有已知结果,并补充了这方面的研究。 1.线性系统我们考虑线性中立型大系统     

亏数零p-块的存在条件

<正> 给定有限群G的一个p-子群D,在什么条件下D是G的一个p-块的亏数群呢?这是模表示论中一个十分重要的问题。由Brauer第一基本定理,我们可以假定D是正规子群,从而进一步化为DC_G(D)/D的亏数零p-块的存在性问题.关于此间题的研究,吸引了众多的群论和模表示论工作者.但迄今进展甚微.Brauer和Fowler[1]曾经给出了存在亏数零P-块的充分条件,Tsushima[2]和wada也曾给出过类似的条件,在本文     

关于标准分层代数与它的多项式代数上的滤链维数

在本文中,我们研究了标准分层代数的Δ-好模滤链维数与它的多项式代数的Δ[x]-好模滤链维数,并得到了一些有趣的结果．     

用多项式模型研究分散系统的能观性与能控性

在前一篇文章中,我们用模论方法讨论了分散系统的信息结构,在那项工作的基础上,本文讨论了局部分散反馈下,单个通道可控性与可观性.用模论方法论述了系统传递矩阵,左质分解与右质分解之间的对偶性质以及在分散化条件下的表现.最后,用多项式矩阵形式给出分散固定模存在的一个充要条件的新的简单证明.     

赋值环上的Hermite环猜想北大核心CSCD

本文主要研究赋值环上的Hermite环猜想.根据赋值环V上一元多项式环V[x]的性质,研究并得到V[x]上幺模行向量(a_(1)(x),a_(2)(x),…,a_(n)(x))的一系列关于等价的性质,进而证明了赋值环上的Hermite环猜想成立,即对任意的赋值环V,V[x]都是Hermite环.     

带脉冲模的广义线性系统的二次最优控制

广义线性系统的二次最优控制问题是人们普遍关注的研究课题.虽有不少讨论,但都有不尽人意之处.例如,有人先将广义系统正常化后再讨论其最优控制,这样就回到了正常线性系统的已知结果;有人把一部分状态作为控制变量来求解,因此,这种控制方式实际上是不能实现的.在[1]中,我们曾讨论过无脉冲模的广义线性系统二次最优控制问题,给出了(x~*,u~*)为最优解的充要条件.由于没有涉及到脉冲模的存在,因此     

用快速多项式变换(FPT)计算二维离散富里叶变换(DFT)

一 引言 H.J.Nussbaumer和P.Quandalle在[1]中引入了多项式变换並用它计算数字卷积和离散富里叶变换[2],[3]。我们在[4]中详细的研究了模M(z)是可约多项式时变换存在的条件,並用它来计算两个多项式的乘积[5]。本文研究用FPT计算二维DFT的方法。结果表明,当N=2~(m-r+1),M=2~m(1≤r≤m)时,所用的加法次数与通常以2为基     

F_q[x]上的素数定理和Dirichlet定理及最小范数不可约多项式

讨论了F_q[x]上的zeta函数和L函数的解析性质,并在不假定黎曼猜想的情况下,导出了F_q[x]上的多项式环及其算术级数中不可约多项式的分布.然后,通过一系列的技术性处理,给出了算术级数中不可约多项式的最小范数的估计.成功地把素数定理及Dirichlet定理推广到了F_q[x]中,最重要的是,对应于最小素数问题,得到的最小范数的估计值本质上要比有理整数环上假定黎曼猜想情况下所推得的结果还好.