五次键合多项式P-不可约的两个定理.pdfVIP

维普资讯 2008年6月 纯粹数学与应用数学 Jun．2008 第24卷 第2期 PureandAppliedMathematics V_01．24NO．2 五次键合多项式 P一不可约的两个定理 解烈军 (宁波大学理学院数学系，浙江 宁波 315211) 摘 要：在生物化学研究领域，对键合多项式P一不可约性的判定是一个重要问题．已有 结果主要考虑四次或四次以下的多项式，而对五次或五次以上键合多项式的讨论尚未见 报道．文章在这方面作 了一定的探索，给出了五次键合多项式P一不可约的两组充分条 件，这两组条件均是用多项式的系数构成的等式或不等式组显式表示的． 关 键 词：键合多项式；P一不可约；多项式判别系统；稳定判据 中图分类号：O151．1 文献标识码：A 文章编号：1008—5513(2008)02—0314-07 1 引言及主要结论 在许多生理过程 中都包含 “蛋 白质 一配位体的键合 (protein—ligandbinding1”过程．众多 用于描述和解释这个过程的数学模型中，J．Wyman[1]引入了键合多项式 fbindingpolynomia1) 这个基本工具．在生物化学领域，这样一个事实是熟知的：如果某个大分子的键合多项式是 P一 不可约的，那么其所有键合位点组成 “联动结构”(1inkage)，也即，配位体在一个位点的键合会 加速或抑制其他位点的键合过程．反之，如果对应的键合多项式有正分解，则其位点可 以分解成 若干独立 的组，不同组的位点互不影响．这样，一个大分子的诸键合位点是否联动的问题就归结 为其键合多项式是否有正分解，即是否为 P一不可约的问题，而键合多项式都是正多项式．所 以， 由一个正多项式的系数直接给出其 P一不可约的充要条件就显得非常重要． 定义 l【]若一个实数域上的多项式的首项系数和常数项系数为正，而其他系数非负，则称 该多项式为正多项式．正多项式的～个正分解是指将其分解成两个或两个 以上正多项式的乘积． 不能正分解的正多项式称作 P一不可约的． 曾经很长一段时间，正多项式有无正分解的讨论是生物学家提 出的一个长期悬而未决的难 题，关于该问题 的讨论已有很多文 【卜引．1985年 BriggsW．E．2【J给出的结论是多项式的根满足 的条件，需要讨论根的位置而不是由其系数给出的显式判定，繁琐不好用．文 f5]给出的条件中 含有根式．文 81给出的是一组用多项式的系数构成的不等式组表示的显式判定条件．但是， 已有的工作均限于四次或四次以下的正多项式．文 f61的最后，作者指出：“由于五次或五次以 上多项式没有求根公式，关于五次或五次 以上正多项式的正分解或 P一不可约的讨论显得更加 重要”，他们试图引入柱形代数分解 (CAD)算法 9【]加以解决，但始终未见报道．文 f8]也曾指 出：“据我们所知，到 目前为止，对五次或五次 以上正多项式的正分解或 P．不可约的讨论还没 有．”本文的工作围绕五次正多项式P。不可约的判定展开，得到了两个结论． 不失一般性，考虑正多项式 f(x)： +ax4+bx。+CX。+dx+c(T~J) 收稿日期：2006—07—10． ． 基金项 目：国家自然科学基金 ． 作者简介：解烈军 (1974-)，讲师，研究方向：计算机代数与 自动推理 维普资讯 第 2期 解烈军：五次键合多项式 P一不可约的两个定理 315 它的判别式序列 [1o-12]记为 [1，d4，d6，d8，d1o】．并记对 ，()使用 Routh—Hurwitz判据[13]得 到 ／~i(i=1，2，3，4)．又令 c1= e+c02一da一603 c2= Ca2e+b2