关于Diophantine方程x~2+py~2=(p+1)z~2

利用初等的方法,研究p=1,2,4时,不定方程x~2+py~2=(p+1)z~2的解,给出了解的一般结构,这在实际应用中有广泛的作用,并给出了一些特殊解.在此基础上,给出不定方程x~2+py~2=(p+1)z~2求解问题一个切实有效的方法.     

关于Euler一致型方程x2-D1y2=s2和x2-D2y2=-t2

设D1,D2是无平方因子正整数,证明了:当D2!1,2,5(mod8)时,方程组x2-D1y2=s2和x2-D2y2=-t2无本原整数解(x,y,s,t).     

丢番图方程n-1∑i=1 aix2i=anx2n整数解的探讨

讨论了n元二次齐次丢番图方程a1x2 1+a2x2 2+…+an-1 x2 n-1=anx2n的整数解问题,在已得到一组特殊解的情况下,给出了该方程整数解的一般公式.     

关于2个不定方程的求解

利用同余理论和代数数论的有关结论,证明了不定方程x2+1=y5仅有整数解(0,1)以及不定方程x 2+64=y3无整数解.     

C1XD2=F2的反对称解及其最佳逼近

利用迭代方法来解线性矩阵方程组A1XB1+C1XD1=F1,A2XB2+C2XD2=F2.若这个矩阵方程组是相容的,那么它的反对称解就能在有限步迭代中得到.如果选取一个特殊的初始矩阵,就能够求得其最小范数解.若任意给定一个矩阵,可在A1B1+C1D1=F1,A2B2+C2D2=F2中求得它的最佳逼近解.最后通过实例说明了这种迭代算法是有效的.     

一类里卡蒂方程y′=x~2+y~2解的性质

对于一类不能用初等积分法求解的里卡蒂方程y′=x2+y2,从方程本身的特点研究了解的存在唯一性、解的最大存在区间的有界性及解曲线的单调性和凹凸性.     

关于不定方程组x~2-15y~2=1与y~2-Dz~2=4的解

利用初等的方法,证明当D不是平方数的正整数时,不定方程组x~2-15y~2=1与y~2-Dz~2=4没有整数解.     

关于指数Diophantine方程x~2=2~(2a+2)p~(2m)-2~(a+2)p~(m+n)+1的整数解条件

设p是奇素数,运用初等方法证明:如果(p,x,a,m,n)是方程x2=22a+2p2m-2a+2pm+n+1的一组正整数解,则必有n≥2m,且x=2a+1f+λ=2p2mg-λ,其中,λ=(-1)(x-1)/2,f和g是适合2a-pn-m=fg以及p2mg-2af=λ的正整数;而且该方程仅有解(p,x,a,m,n)=(5,49,3,1,2)满足g=1。     

求矩阵方程组A1XB1=C1，A2XB2=C2最小二乘对称解及其最佳逼近的迭代法

该文提出了梯度矩阵(F(X))的概念,构造了一种迭代法求最小二乘问题min‖(A1XB1,A2XB2)-(C1,C2)‖的对称解.通过这种方法,给定初始对称矩阵X1,在没有舍入误差的情况下,经过有限步迭代,找到它的一个对称解.并且,通过选择一种特殊的初始对称矩阵,得到它的最小范数对称解X*.另外,给定对称矩阵X0,通过求解最小二乘问题min‖(A1~XB1,A2~XB2)-(~C1,~C2)‖(其中~C1=C1-A1X0B1,~C2=C2-A2X0B2),得到它的最佳逼近对称解.     

丢番图方程sum form i =1 to n-1(a_ix_i~2=a_nx_n~2) 整数解的探讨

讨论了n元二次齐次丢番图方程a1x21+a2x22+…+an-1x2n-1=anx2n的整数解问题,在已得到一组特殊解的情况下,给出了该方程整数解的一般公式.     

关于Diophantine方程x~3+1=py~2

利用同余理论,得出了丢番图方程x 3+1=py2无正整数解的一个充分条件.设p是奇素数,证明了:当p=3(24k+19)(24k+20)+1,其中k是非负整数,则方程x 3+1=py2无正整数解.     

关于丢番图方程χ3+1=py2

用初等方法证明了当p是奇素数且p=27s2+1,2|s时,则方程x3+1=py2无正整数解.     

关于丢番图方程χ3+1=py2

用初等方法证明了当p是奇素数且p=27s2+1,2|s时,则方程χ3+1=py2无正整数解.     

任意维数半线性拟抛物方程的整体W2,p(2＜p＜∞)解

研究有界域上的任意维数的半线性拟抛物方程的初边值问题ut-△ut=f(u) x∈Ω, t＞0 (1.1)u(x, 0)= u0(x) x∈Ω (1.2)u| Ω=0 t≥0 (1.3)利用逐次磨光法,证明了,若f∈C1,f(u)上方有界,且满足(H) |f′u)|≤A1|u|γ1+B1, 0≤γ1＜∞ ifn=4; 0≤γ1＜4/n-4 if n＞4u0(x)∈W2,p(Ω)∩W1,p 0(Ω)(2＜p＜∞),则对任一T(x),问题(1.1)-(1.3)存在唯一整体解u(x,t)∈W2,∞(0,T;W2,p(Ω)∩W1,p 0(Ω)).从实质上改进和推广了文献[1-3]的结果.     

矩阵方程组A1XB1+C1XD1=F1,A2XB2+C1XD2=F2的反对称解及其最佳逼近

利用迭代方法来解线性矩阵方程组A1XB1 +C1XD1 =F1,A2XB2+ C2XD2=F2.若这个矩阵方程组是相容的,那么它的反对称解就能在有限步迭代中得到.如果选取一个特殊的初始矩阵,就能够求得其最小范数解.若任意给定一个矩阵,可在A1(X-)B1 +C1 (X-)D1=F1,A2(X-)B2+C2(X-)D2 =F2中求得它的最佳逼近解.最后通过实例说明了这种迭代算法是有效的.     

关于丢番图方程x(x+1)(x+2)=2py~2

设p是奇素数,给出了方程x(x+1)(x+2)=2py2当p17时的所有正整数解,并且讨论了当x为偶数时方程解的情况.     

关于Legendre方程x~2+ny~2=z~2的研究

讨论了Legendre方程的整数解公式 ,并导出特殊形式下的两个结论     

除环上二阶全矩阵空间强保持秩交换的加法满射

D是特征不为2除环,M2(D)表示D上2×2全矩阵代数,文中所刻画的f是M2(D)到自身满足rank(f(A1)f(A2))=rank(f(A2)f(A1))当且仅当rank(A1A2)=rank(A2A1)的加法满射.     

关于丢番图方程y~2=a~2(bx+c)~4+dx~2+ex+f

给出了用初等方法解决一类丢番图方程 y2 =a2 (bx +c ) 4+dx2 +ex +f 的求解问题的判别方法 ,并给出解的范围 ,在 z≠ 1且其取值范围较大时 ,可利用给出的 Pascal程序段 ,求出 z值 .