环的交换性定理

本文证明了如下定理:定理1 环R有左单位元,N为R的幂零集元合,(?)x,y∈R,若x≡y((?)od N)就导致x,y与N中元可换或x~k=y~k,x~(k+1)=y~(k+1),其中k=k(x,y)>2,则N为R的理想;且当R/N的每一子环都幂等时,R为交换环.定理2 环R有左单位元且为2-扭自由,N为R的暴零元集合.若V~x,y∈R,x≡y(mod N)就导致x,y与N中元可换或x~k=y~k,x~(k+1)=y~(k+1),k=k(x,y)>2;或x~2=y~2,则N为R的理想,且当R/N的每一子环幂等时,R为交换环.     

关于不定方程组{x~2-2y~2=1 2y~2-3z~2=4和{x~2-2y~2=1 2y~2-5z~2=7

对于不定方程组{x~2-2y~2=1 2y~2-3z~2=4和{x~2-2y~2=1 2y~2-5z~2=7证明了它们没有整数解.     

几类二次不定方程的解的递归表示

记数列u_o=0,u_1=1,u_n=a_nu_(n-1) bu_(n-2)(n≥2)的项为u_n=u_n(a,b)。设a为正整数,a~2±1及b~2±4为非完全平方的正整数,c=±1或±4,本文证明了二次不定方程x~2-(a~2 1)y~2=c,x~2-(a~2 4)y~2=c,x~2-(a~2-1)y~2=c,x~2-(a~2-4)y~2=c的一切非负整数解可分别由u_n(2a,1),u_n(2a、-1),u_n(a,1),u_n(a,-1)表示,且求得了相应的表达式。     

无穷递降法在不定方程中的应用

利用无穷递降法证明了:(1)若素数p=48 m+41(m≥0),则不定方程x~4+3py~4=z~2(y≠0)无整数解;(2)不定方程x~4+4x~3y-6x~2y~2-4xy~3+y~4=z~2的全部正整数解可表为(x_n,y_n,z_n)=(K_nd_n,L_nc_n,K_n~2c_n~2-2L_n~2d_n~2),这里Ln/Kn=cndn±en/c2n+2d2n(cndnen),dn,cn,en满足2d_n~4-c_n~4=e_n~2.     

几个不定方程在Q(√-3)中的解

应用Femat下降法,证明了不定方程x~4-y~4=z~2与x~4+4y~4=~z2在Q(√-3)没有非平凡解,它表明Fermat方程当n=4时在此域中仍然没有非平凡解.     

关于不定方程x2+4=y17的整数解

在高斯整环中,利用代数数论与同余理论的方法,讨论了不定方程x~2+4=y~(17)的整数解问题,并证明了不定方程x~2+4=y~(17)无整数解.     

丢番图方程x~2+4=8y~(11)的整数解

研究了丢番图方程x~2+4=8y~(11)的整数解问题。主要采用代数数论的方法,利用同余式、高斯整数环等性质得出丢番图方程x~2+4=8y~(11)仅有整数解(x,y)=(±2,1)。     

关于方程x~2-1=y~5

我们已知方程x~2-1=y~3在xy≠0时只有一组整数解x=3,y=2.在本文中,我们将证明方程x~2-1=y~5设有xy≠0的整数解。     

Poincare’型微分方程式的极限环线

H.Poincare′曾经证明了微分力程式 dx/(x(x~2+y~2-2x-3)-y)=dy/(y(x~2+y~2-2x-3)+x)有而且只有一条极限环线,微分方程式 dx/(-y+2x(x~2+y~2-4x+3)=dy/(x+2y(x~2+y~2-4x+3)不存在极限环线,而微分方程式 dρ/dw=ρ(ρ~2-2ρ COS w-3)(ρ~2-2ρ COS w=8)有而且只有两条极线环线。我们考虑微分方程式 dx/(-y+x[(x-x_o)~2+(y-y_o)~2-K]=(dy(x+y[x-x_o)~2+(y-y_o)~2-K]的极限环线。证明了,当 x~2_o+y~2_o相似文献   

系统E_2~2在具有对称中心,细鞍点时分歧曲线的研究

本文讨论二次系统(dx)/(dt)=-y-mx lx~2 mxy y~2,(dy)/(dt)=x(1 ax)在条件l=(m(m-2a))/4(具有对称中心,两个细鞍点)下,轨线的全局结构和(a,m)参数平面上的分歧曲线。证明了使鞍点的某些分界线重合的,(a,m)平面上分歧曲线c_1,c_2,c_3的存在唯一性,入而确定了相应的全局结构。 容易验证系统 (dx)/(dt)=-y_δx lx~2 mxy ny~2,(dy)/(dt)=x(1 ax)具有对称中心,细鞍点的充要条件是: δ=-m,l=(1/4)m(m-2a),n≠0(不妨设n=1)本文就是研究这类系统 (dx)/(dt)=-y-mx (1/4)m(m-2a)x~2 mxy y~2=P(x,y), (dy)/(dt)=x(1 ax)=Q(x,y)且不妨设a<0。     

一类具有双中心的二次系统的Poincare分支

本文讨论了一类具有以弓形为边界的周期环域的二次系统的Ｐｏｉｎｃａｖｅ分支，证明了此分支至多能分支出两个极限环，并分别举出了二次系统恰好存在两个单重极限环；恰好存在一个二重极限环；恰好存在一个极限环和一个分界线环；不存在极限环但存在一个分界线环；以及从周期环域的弓形边界分支出两个极限环以及分支出一个二重极限环的例子     

具有两个不相交抛物线解的中心对称三次系统

本文讨论了具有两个不相交抛物线解的中心对称三次系统,证明了此系统不存在代数分界线环,但可以存在极限环,至少可以存在两个,如存在,它们只可能位于原点的外围．     

食饵具有常数收获率的Kolmogorov系统

对食饵具有常数收获率的Kolmogorov捕食者-食饵系统进行了定性分析,得到了该系统存在稳定(或不稳定)分界线环和唯一稳定极限环的条件,以及该系统不存在周期解的条件。     

带两个区域的平面分段光滑系统的非双曲极限环分岔

本文讨论了一类含有两条切换线的平面分段光滑系统的非双曲极限环的分岔.假设该系统的未扰系统含有一个非双曲极限环且它分别与每一条切换线横截相交一次,本文应用Diliberto定理和由此引出的变分引理导出了极限环的Poincaré映射,并讨论了极限环的稳定性及其在扰动下的分岔.     

极限环解析解确定平衡点吸引域的研究

提出利用系统状态变量两两之间所有极限环的交集,确定高维系统在亚临界霍普夫分岔点附近平衡点吸引域的方法。首先利用改进中心流形降维的方法,对高维微分方程组在亚临界霍普夫分岔点进行降维,得到可进行极限环计算的形式;利用I.Bendxison定理推导极限环存在必要条件的解析表达式,为摄动增量法提供计算初值;然后利用摄动增量和谐波平衡法求取低维系统状态变量在分岔点附近不稳定极限环的近似解析解,用原变量替换近似解析解中的变量得到原系统变量的极限环;最后,将某一变量与其它所有变量形成的不稳定极限环投影到二维平面上取其交集,交集的边界即为该变量的稳定边界。该方法能够精确有效的分析算例中参数大幅变化下亚临界霍普夫点附近平衡点吸引域。     

动力系统极限环计算方法的改进

对计算极限环的摄动－增量法作了改进,解的表达形式更一般化,更适合一般平面动力系统极限环及其分叉的计算。该方法的特点是用有限Fourier级数给出极限环的近似表达式,把微分方程化为线性增量方程,应用谐波平衡法建立Fourier系数的线性代数方程组,再用迭代法求解,计算方法直观、简单,求出了以前原方法难于计算的二次系统的4个极限环,也求出了其具有争议的算例的极限环的个数。算例表明该方法是有效的。求出了改进前的摄动－增量法所不能求出的极限环。     

一类三次哈密顿系统在五次多项式扰动下的分支问题

讨论一类具有4个双曲鞍点和5个中心奇点的三次哈密顿系统,存在一个由4个鞍点和连接它们的异宿轨道组成的奇异环S(4)及4个分别由2个鞍点和连接它们的异宿轨道组成的奇异环S(2).利用定性分析和分支理论等方法,对这类三次哈密顿系统在五次多项式扰动下的奇异环分支问题进行了研究,得出在适当的扰动下系统至少可产生14个极限环,并给出了它们的分布.     

一类平面微分方程极限环的计算

应用摄动－增量法研究一类平面多项式微分方程的极限环相图,半稳定极限环分叉和极限环个数的计算问题,该方法的特点是用有限Ｆｏｕｒｉｅｒ级数给出极限环的挖解析表达式,把微分方程化为线性增量方程,应用谐波平衡法建立Ｆｏｕｒｉｅｒ系数的线性代数方程组,再用迭代法求解。二次系统的算例表明该方法是有效的。     

具有抛物线解的三次系统E_3~1存在代数分界线环的充要条件

具有抛物线解的三次系统 E13 可以存在抛物线分界线环 ,也可以存在弯月形抛物线分界线环 ,也可以存在弯月形无返回映射抛物线分界线环 .分别给出了出现这些分界线环的充要条件 .并分析了它们的拓扑结构 .且分别给出出现各类拓扑相图时的参数条件