关于椭圆曲线y~2=qx(x~2-32)的整数点

设q为无平方因子的正奇数,q的任意素因子qi(i∈Z~+)都满足qi≡5(mod 8),主要利用同余的性质、Legendre符号等证明了y~2=qx(x~3-32)除了整数点(x,y)=(0,0)外至多有4个整数点(x_1,±y_1),(x_2,±y_2).     

关于椭圆曲线y2=(x+p)(x2+p2)的整数点

设p是素数.该文运用初等方法证明了:当p■1(mod 48)时,椭圆曲线y2=(x p)(x2 p2)没有适合gcd(x p,x2 p2)=1的整数点(x,y).     

形如1＋p^2 （x（x＋1））/2的平方数

设p是素数,fp（x）=1＋p2x（x＋1）/2.该文运用二元二次Diophantine方程的性质讨论形如fp（x）的平方数,其中x是正整数.证明了：对于任何素数p,都存在无穷多个正整数x可使fp（x）是平方数.     

丢番图方程y~2=nx(x+1)(2x+1)

本文运用四次Diophantine方程的性质以及初等方法证明了:丢番图方程y~2=nx(x+1)(2x+1)至多有2~(w(n))-1个正整数解.当n=p~k时,方程的正整数解为(p,k,x,y)=(5,1,4,30),(29,1,4900,2612610).当n≡2p,p.5,7(mod8)时,方程的正整数解为(p,x,y)=(3,24,420).     

关于指数Diophantine方程（x^m-1）／（x-1）=y^5

该文证明了：方程（x^m-1）／（x-1）=y^2．x〉1。y〉1，m〉2，没有正整数解（x，y，m）可使m=4（mod5）且m是平方数．     

关于Diophantine方程ax（x＋1）…（x＋z）=y（y＋1）…（y＋z）

设a是大于1的正整数.该文运用Pell方程的基本性质证明了：当a是平方数时,方程ax（x＋1）…（x＋z）=y（y＋1）…（y＋z）仅有有限多组正整数解（x,y,z）适合y-x=2;当a是非平方数时,该方程有无穷多组正整数解（x,y,z）适合y-x=2.     

关于数论函数方程δ（x^2＋y）＋δ（x＋y^2）=2ψ（x^3＋y^3）

对于正整数k，设δ（k）和ψ（k）分别是k的约数和函数和Dedekind函数．该文证明了：方程仅有正整数解（x,y）=（1，1）．     

Diophantine方程（a~n-1）（（a＋1）~n-1）=x~2有解的条件

设a是大于1的正整数;a≡λ（mod 2）,其中λ∈{0,1};又设f（a）=ord2（a-λ）表示素数2在正整数a-λ的标准分解式中的次数.该文运用初等数论方法证明了：如果方程（an-1）（（a＋1）n-1）=x2有正整数解（n,x）,则必有（i）f（a）=2r,其中r是大于1的正整数;（ii）a＋1的奇素因数p都适合p≡±1（mod 8）.     

关于Pell方程x^2—2y^2=1与y^2-Dz^2=4的公解

设D=2kⅡi=1Pi，其中诸Pi是互异的奇素数，Pi≠（mod8）i=1，2，…k，证明了不定方程组x^2-2y^2=1与y^2-Dz^2=4仅有平凡解。     

关于不定方程x^2＋y^2=Z^2正整数解的一个推论

从另一个角度研究费马大定理。从“把一个平方数分成两个平方数”出发,通过研究发现,“把一个平方数分成两个平方数”有多种不同的方法,与不定方程有x2 y2=z2有多少组没有公约数的正整数解是同一问题。从而得到:有无数多种方法可以“把一个平方数分成两个平方数”,“把一个平方数分成三个平方数”,“把一个平方数分成四个平方数”,…,“把一个平方数分成n个平方数”。也就是说,不定方程X12 x22 x32=z2,x12 x22 x32 x42=z2,…,x12 x22 x32 … xn2=z2有无数多组没有公约数的正整数解。     

（2＋1）维广义变系数KdV方程新的精确解

借助符号计算软件Maple和第一种椭圆方程展开法求解(2+1)维广义变系数KdV方程,得到该方程的部分新形式的精确解,包括类孤子解、周期解和指数函数解.     

（2＋1）维长短波共振相互作用方程的整体解

（2＋1）维长短波方程描述双层流体中长波和短波在彼此分界面角度上的传播和共振作用,是分层流体中一个重要的非线性模型系统．关于（2＋1）维长短波方程,目前主要是对该方程的精确解的研究．本文用Galerkin方法和Brezis-Gallouet不等式证明了（2＋1）维长短波方程周期边值问题解的整体存在性和唯一性,然后通过逼近证明了此方程初值问题整体光滑解的存在性和唯一性．     

（2＋1）维长短波方程整体吸引子的存在性

研究了无穷维动力系统中（2＋1）维长短波方程整体吸引子的存在性．运用Galekin方法构建了该系统的弱吸引子,并证明了所构建的弱吸引子是强吸引子．