关于丢番图方程x2±y4=±z6

利用简洁初等方法,证明了丢番图方程x2±y4=z6,x2+y6=z4,x4±4y4=z3,x4-y4=2z3均无正整数解,方程x4+y4=2z3,(x,y)=1,仅有正整数解x=y=z=1.     

一类高阶非线性微分方程解的稳定性

本文对高阶非线性微分方程组x=f_1(x,y,x,y,x,y)…y=f_2(x,y,x,y,x,y)的某些特殊类型,研究了平凡解的全局渐近稳定性[1],用类比法[2]构造李雅普诺夫函数,得到了全局渐近稳定性的一些充分条件。主要结果为定理2、定理3和定理4。文中具体研究了如下三种类型的方程:和x a_1x a_2y a_3x a_4y f(x)=0…y b_1x b_2y b_3x b_4y g(y)=0x a_1x a_2y f(x) a_4y a_3x=0…y b_1x b_2y b_3x g(y) b_6y=0x f(x) a_2y a_3x a_4y a_5x=0…y b_1x g(y) b_3x b_4y b_6y=0其中ai,bi(i=1.2.…,6)均为常数,f和g具有保证解对初值唯一性的条件。     

关于BZMVdm一代数的若干性质

在文献 [1]的基础上 ,主要讨论了二元运算⊙的运算规律 ,并给出了德摩根 BZMVd M-代数的若干性质 ,即在一个 BZMVd M-代数中 ,(1)～～ x=x当且仅当～ x⊙ x=x当且仅当 x x=x.(2 ) x,y∈A,x∧ y=0当且仅当 y<～ x;若 x x=x,则 x∧ y=0当且仅当 x≤ y.(3)～ (x y) =～ x⊙～ y.(4) x ～ x=1.     

关于丢番图方程1+X+Y=Z

设x,y,z,u为非负整数,用计算机辅助方法给出了丢番图方程1+11x+2y11z=2u,x+z0;1+11x+3y11z=3u,x+z0;1+2x+2y11z=11u,x+y0;1+3x+3y11z=11u,x+y0;1+2x+11y=2z11u,zu0;1+3x+11y=3z11u,zu0的全部非负整数解.     

环面自映射ω-极限集轨道的渐近性

给出了环面上连续自映射f的ω-极限集的如下结果：若 （x,y）∈X,则（1）ωf（x,y）=ωfn（x,y）;（2）（x,y）AP（f）蕴涵ωf（x,y）不可数;（3）ωf（x,y）或是由厂的一条周期轨道组成,或不可数;（4）ωf（x,y）=n-1∪i=0ωfn（f（x,y））f（ωfnf（x,y）））=ωfn（fi＋1（x,y））,f（ωfn（fn-1（x,y）））=ωfn（x,y）。     

一类Poincaré系统的中心条件及极限环个数

考虑了形如x=-y x(a f1(x,y) fn(x,y)),y=x y(a f1(x,y) fn(x,y))的Poincaré系统,这里fn(x,y)是n次齐次多项式,得到了当n=4,5,…,8时系统的中心条件及细焦点的阶数和极限环个数。     

浅谈恰当方程与积分因子

对于方程 M( x,y) dx+N( x,y) dy=0为恰当方程的充要条件 :　　　　　　 M y= N x由曲线积分中的格林 ( Green)公式知 ,对于积分∫Mdx+Ndy当 M y= N x时 ,积分与路径无关 ,只与起点 A( x0 ,y0 ) ,终点 B( x,y)有关 :u( x,y) =∫( x,y)( x0 ,y0 ) Mdx+Ndy=∫xx0 M( x,y0 ) dx+∫yy0 N( x,y) dy　　方程的通解为 :u( x,y) =C( C为任意常数 )例 1 :求解方程 ( 5x4 +3 xy2 -y3) dx+( 3 x2 y-3 xy2 +y3) dy=0解 : M y=6xy-3 y2 = N x　方程为恰当方程　　 u( x,y) =∫( x,y)( 0 ,0 ) ( 5x4 +3 xy2 -y3) dx+( 3 x2 y-3 xy2 +y3) dy=∫x0…     

Musielak-Orlicz序列空间的非方常数

给出了Musielak-Orlicz序列空间的非方常数表达式.得到的结果为:当M∈δ02时,则CJl0M=sup infk>1Cx.y.k>0∶PMk(x y)Cx.y.k=k-1∶x,y∈S(l0M),‖x y‖0=‖x y‖0CJlM=supCx.y>0∶PMx yCx.y=1,x,y∈S(lM),‖x y‖=‖x-y‖.     

一类脉冲微分方程边值问题的求解

给出了一类脉冲微分方程边值问题的求解方法 :先求出 Lx =g( t)R1( x) =y1,R2 ( x) =y2的解 x( t) ,再求出Ly =0 ,t≠ ti,i=1 ,2 ,… ,mΔy| t=ti =Ii( y( ti) + x( ti) ) ,Δy′| t=ti =Ii( y( ti) + x( ti) ) ,i =1 ,2 ,… ,mR1( y) =0 ,R2 ( y) =0的解y( t) ,则 x( t) + y( t)即为此类脉冲边值问题的解。     

一类一阶微分方程的通解问题

文章讨论了微分方程y′（x）u（y）=q（x）v（y）解的特殊求法,得出：当{u（y）/v（y）}′=y′/v（y）时y′＋p（x）u（y）=q（x）v（y）有通解u（y）/v（y）=e^-∫p（x）dx[∫q（x）e^∫p（x）dx dx＋c]。     

关于丢番图方程x3±1=py2

应用因子分解法、简单同余法以及前人的已知结果证明了:(1)设p是1个奇素数,则丢番图方程组x+1=3py21,x2-x+1=3y22,(y1,y2)=1,y1>0,y2>0,无正整数解x,p,y1,y2;(2)丢番图方程x3+1=py2(其中p≡-1(mod 3)为素数)仅有整数解(x,y)=(-1,0);(3)丢番图方程x3-1=py2(其中p≡-1(m od 3)为素数)仅有整数解(x,y)=(1,0).     

不定方程m~4x(x+1)(x+2)(x+3)=(m~4-1)y(y+1)(y+2)(y+3)的整数解

运用初等方法对不定方程ax(x+1)(x+2)(x+3)=by(y+1)(y+2)(y+3)的整数解进行了研究,得到了当a=m4,b=m4-1时方程的非负整数解仅有(x,y)=(0,0)。     

关于不定方程x3 + 27 = 139y2

利用Pell方程,递归数列,同余式和平方剩余几种初等方法证明了不定方程x3+27=139y2仅有整数解(-3,0),(13,±4);在证明该结论的过程中,同时证明了不定方程x3+1=417y2仅有整数解(x,y)=(-1,0),从而给出了不定方程x3+27=139y2的全部整数解。     

关于一个不定方程组正整数解的上界

运用Baker方法得到不定方程组13x2-11y2=2,48x2-13z2=35正整数解的上界,即记S={(x,y,z)|x,y,z∈Z,并且满足方程组13x2-11y2=2,48x2-13z2=35},T={y|(x,y,z)∈S}若能求得T的上界,只要将解内的y值代入方程组,就可求得方程组的全部正整数解。可以得到上界方程组13x2-11y2=2,48x2-13z2=35的上界为(x,y,z)=(0.92×2418393,2418393,1.92×2418393)。     

关于不定方程组{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证明了它们没有整数解.     

关于不定方程x3＋8=61 y2的整数解

利用递归数列和同余式的相关性质证明了不定方程x3＋1=122y2仅有整数解（ x,y）=（-1,0）,然后证明了不定方程x3＋8=61y2仅有整数解（ x,y）=（-2,0）。     

关于不定方程组11x2-9y2=2，40y2-11z2=29

对于不定方程组a2x2-a1y2=a2-a1,a3y2-a2z2=a3-a2,本文取(a1,a2,a3)=(9,11,40),得不定方程组 11x2-9y2=2,40y2-11z2=29。再进一步构造出一个集合M,M中的数由一个二无线性递归数列确定,在此基础上做一些初等计算,即可求出本文所得的不定方程组的解。     

关于丢番图方程Ax4+Bx2y2+Cy4=z2的解

证明了丢番图方程4x4-6x2y2 3y4=z2,(x,y)=1的全部正整数解为(x,y,z)=(x0／2,ab,(3a4 b4)／4), (Xn,2yn,2zn),认为仅有正整数解(x,y,z)=(1,1,1)是不妥的,它漏掉了(xn,2yn,2zn)及(x0／2,ab,(3a4 b4)／ 4);丢番图方程x4-6x2y2 12y4=z2,(x,y)=1的全部正整数解为(x,y,z)=(x0,ab,(3a4 b4)／2),(xn,yn, zn),认为仅有正整数解(xn,yn,zn),则漏掉了(x0,ab,(3a4 b4)／2)。     

关于不定方程组5x~2－3y~2＝2，16y~2－5z~2＝11

研究了不定方程组５ｘ２－３ｙ２＝２，１６ｙ２－５ｚ２＝１１，给出了求此不定方程组正整数解的一种方法     

高阶线性微分方程非振动解的渐近性

本文对高阶线性微分方程y~(a)+r(x)y″+p(x)y′+g(x)y=0的非振动解给出其具有渐近性的充分条件。