共查询到20条相似文献,搜索用时 15 毫秒
1.
杨廷力 《江苏大学学报(自然科学版)》2002,23(1):44-48
用多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组PS)化为主系数不含变元的三角型多项式组DTS ,可得到定理命题成立的不含变元的非退化条件 ,即充分必要或更接近充分必要的非退化条件 由于多项式主系数不含变元 ,已不存在DTS多项式之间的约化问题 ,故方法有普遍意义 文中例为西姆松定理的机器证明 相似文献
2.
肖建 《湖南大学学报(自然科学版)》1994,21(2):77-81,85
本文基于儒歇定理,给出了系数多线性地依赖于不确定参数的多项式鲁棒稳定性的充分条件。这些判据具有简单的形式,十分容易检验。在某些特殊情况下,这些条件甚至还是必要的。本文的结论为具有不确定系数的多项式的鲁棒稳定性提供了一些新的有效的判据。 相似文献
3.
朱春鹏 《安徽大学学报(自然科学版)》2021,45(2):28-31
考虑平衡点附近一类拟周期非线性哈密顿系统在弱非退化条件下的约化性问题.证明在弱非退化条件和非共振条件下,对于绝大多数充分小的参数ε,通过一个拟周期辛变换,非线性哈密顿系统是能约化的. 相似文献
4.
本文研究一类平面五次系统极限环的唯二性。通过将其化为Abel方程,应用文献[1]中的定理3,给出一类平面五次多项式系统至多存在两个极限环的充分条件。 相似文献
5.
作者研究了多项式Liénard方程具有非退化中心的条件,运用消元法给出了计算此条件的一个算法. 相似文献
6.
刘颖 《哈尔滨商业大学学报(自然科学版)》2002,18(4):460-461
文献[1]中,作者证明的一个矩阵求和法的重要定理条件仅是充分的,给出此定理的条件不仅是充分的,而且是必要的,从而回答了作者提出的公开问题。 相似文献
7.
复数域上近似定理证明的方法:首先将一个初等命题转变为多项式的零点问题,然后在一个更大的域上将此理想分解为一些正规分支的交,算法可快速判定例题在忽略一个低维部分的真假,分析了此自算歧的复杂度,对相伴多项式(退化条件)的次数进行估计并与已有结果进行比较。 相似文献
8.
微分几何定理证明中最简单辅助条件的计算 总被引:1,自引:0,他引:1
在微分几何定理证明中,一个定理成立的辅助条件(非退化条件)不是惟一的,但越简单越好。对预先确定的标准如变元个数最少、导数算子阶数最低等,利用根微分理想分解的Rosenfeld—Groebner算法,给出了微分几何定理机器证明中最简单辅助条件的构造性算法。 相似文献
9.
作者研究了多项式Liénard方程具有非退化中心的条件,运用消元法给出了计算此条件的一个算法. 相似文献
10.
考虑一类有重特征值的拟周期非线性哈密顿系统的约化性问题.在非共振条件和非退化条件的情况下,对于绝大多数充分小的参数ε,通过一个拟周期辛变换,哈密顿系统是可以约化的. 相似文献
11.
给出矩阵A的最小多项式m(λ)的两个性质:(1)n阶矩阵A的全体实系数多项式所成的线性空间W的维数等于A的最小多项式m(λ)的次数k;(2)对于次数大于零的任意多项式f(λ),f(A)为非退化的充分必要条件是f(λ)与m(λ)互素.并举例说明了矩阵最小多项式在解决某些问题时的有效性. 相似文献
12.
威尔生定理在初等数论中是很重要的,而且是很有用的.本给出可由威尔生定理推导出的三个判定质数的必要充分条件。 相似文献
13.
14.
具一般吸收项的一类拟线性退化抛物方程的局部化条件 总被引:1,自引:0,他引:1
张志跃 《内蒙古师范大学学报(自然科学版)》1998,27(2):99-105
使用Moser迭代技巧和Sobolev嵌入定理,研究了具一般吸收项的一类拟线性退化抛物方程的Cauchy问题解的局部化条件。 相似文献
15.
研究退化椭圆系统特征值的性质.首先对Sobolev空间进行直和分解,然后给出系统的扰动条件;利用临界点理论中的环绕定理和局部鞍点定理,建立了退化椭圆系统在非主特征值处近共振的多重解的两个存在性结论. 相似文献
16.
戴志娟 《南通工学院学报(自然科学版)》2004,3(3):8-11,22
文章研究了一类与厌氧消化过程微生物生态模型有关的微分方程组在非自治双曲情形扰动下的周期解,通过利用重舍度的延拓定理,获得了该方程组周期解全局存在性的充分条件。 相似文献
17.
18.
徐君祥 《南京大学学报(自然科学版)》1996,32(2):181-190
在较弱的非退化条件下给出了一类可积无穷维hamilton系统在小扰动下的不变坏面存在性定理,进一步推广了Kuksin的结果。 相似文献
19.
李道常 《西南民族学院学报(自然科学版)》1990,(2)
本文对北京大学编《高等代数》中不可约多项式的两个性质定理给出四个注记,对教材内容作了必要的补充,注记4圆满地解决了不可约多项式f(x)的k重因式(k≥1)的判别条件。并且完整地加以证明。多项式理论以数域上一元多项式的因式分解理论为中心内容,不可约多项式是一等重要 相似文献
20.