数学建模社区-数学中国

标题: 200603网友求助《sturm定理》 [打印本页]

作者: lengyuyendsk    时间: 2006-1-19 14:57
标题: 200603网友求助《sturm定理》
本帖最后由 为你奋斗 于 2009-12-2 12:45 编辑

<>sturm定理到底是哪个定理啊,应用还很广 ,很多学校大纲里都标明了,但书里却没有标明 是不是挺基础的问题哦<BR>是高等代数里经常用的,就是不知道具体哪个,</P>
<>应该是高等代数里经常用的</P>
<>lengyuyendsk@163.com</P>
作者: madio    时间: 2006-1-19 16:13

阅读参考6 多项式根计算的两个定理

实系数多项式根的计算,首先要确定实根的范围,进而将实根分离,使每个小区间只含一个实根.下面,我们就来介绍这两个问题的解法.对于前一个问题,我们可以更一般地讨论复系数多项式的复根的范围,再由此得出实系数多项式实根的界.

定理1 C[x],其次数n³ 1.令

则当zÎ C时,有

M=0时,结论显然成立.下设M¹ 0.当zÎ C时,有

从而有

由定理1得到,当时,有

因此f(x)的复根全都在以原点为圆心,以为半径的圆内.把这一结论用到实系数多项式上便得到

推论1 R[x], 其中degf1,令

f(x)的实根全都在区间内. 

由定理1还可以得到

推论2 R[x],其中degf1,则对一切充分大的正数rf(r)的符号与的符号相同. 

例如,设.我们有M=1.因此f(x)的实根全都在区间(22)内.

求出实系数多项式f(x)实根的界只表明:若f(x)有实根,则所有实根都在这个区间内.但是不能肯定f(x)一定有实根.如何知道f(x)有没有实根?若有的话,实根的数目(不计重数)是多少?如何把实根分离开?对这些问题的第一个令人满意的回答是在1829年由Sturm给出的.下面介绍Sturm的方法,为此引入

定义1 是一个非零实数的有限序列,如果,则说,序列在第i+1项有一个变号.这个序列中变号的总数称为它的变号数.一个有限的实数序列的变号数定义为去掉这个序列中的0以后得到的序列的变号数.

例如,序列–201003–45的变号数是3

定理2(Sturm定理) f(x)R[x]degf1.对f(x)做下述略微修改的辗转相除法

… … … … … … … … , (1)

得到一个多项式序列

(2)

称序列(2)f(x)的标准序列.假设区间[ab]使得f(a)¹ 0f(b)¹ 0,则f(x)在区间(ab)内的不同的实根的数目是,其中表示序列 的变号数.

略述(参考文[2]阅读材料八)

1 ,则.对f(x)做略微修改的辗转相除法,即把每次得到的余式反号以后去除除式:

因此

知道.因此f(x)没有重根.在前面我们已计算过f(x)

实根全在区间(22)内,现在计算f(x)的标准序列在- 22处的变号数:

于是f(x)(22)内的不同的实根的数目是.由于f(x)没有重根,所以f(x)的实根的总数是1.为了进一步确定这个实根的位置,可以再计算

因为,所以f(x)的唯一实根在内.


作者: madio    时间: 2006-1-19 16:15
这个定理是中科院数学与系统研究所考研的要求内容
所以在中科院要求的参考教材里有
代数好像是很老的一本书《线性代数》 蒋尔雄等编 人民教育出版社 1978
作者: chenshao1982    时间: 2006-1-24 11:24
对不起,不知道
作者: cunu    时间: 2006-3-3 11:57
对不起,不知道




欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5