n素元组猜想对于Peano公理组的条件独立性

用模型论的方法证明了一类n素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.     

三素元组猜想对于Peano公理组的条件独立性

用模型论的方法证明了一类三素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.     

Goldbach猜想等与PA的一些联系——对一些数论问题的逻辑讨论(Ⅱ)

用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价). 又证明了它们与一组较强的公理P2相和谐(P2也在N上与PA等价).     

Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论（I）

用模型论方法证明了,在对于自然数系Goldbach猜想及一阶Peano公理组的某种等价表述下,前者在逻辑上独立于后者,此外,还宣布了一些其他结果。     

论实数的构造

Ⅰ.一组关于正数的公理 1.试回忆一下皮亚诺(G,Peano)公理。据皮亚诺的研究(可参看),自然数可以用下列这一组公理来确定: Ⅰ.有一个自然数叫作1. Ⅱ.若n是一个自然数,则n+1也是一个自然数。 Ⅲ.若n是一个自然数,则n+1≠1. Ⅳ.若m与n都是自然数而又m+1=n+1,则m=n. Ⅴ.若一类自然数包含1,而且只要包含n也就包含n+1,则这一类自然数包含全体自然数。     

哥德巴赫猜想的证明

本文用PRC方法找到了哥德巴赫猜想为什么成立的规律.在证明Peano公理组不完备性的基础上,最终证明了哥德巴赫猜想.     

3X+1问题中的循环圈

如果3x+1猜想成立的话,在大于1的整数中就不存在循环圈因而探讨循环圈形成的条件与判断3x+1猜想是否成立有着密切的联系。本文给出了循环圈存在的充要条件,指出不存在圈长大于1小于24的循环圈。     

Fermat猜想的证明

猜想原本为:当n≥3,xn+yn=zn,x0y,0z,0没有整数解.将猜想变为:设n,yz,均为正整数,且n≥3y,z,则方程zn+yn-xn=0中的x为非整数,给予证明。     

关于丢番图方程x2±xy+y2=p

设p是形如6k+1的正素数,运用数论方法及计算机程序,获得了丢番图方程x2-xy+y2=p在p＜100000时的满足x＜y的全部正整数解(9658组);运用数论方法证明了当p是形如6k+5的正素数时丢番图方程x2-xy+y2=p无正整数解.从而推进了广义Fermat猜想和Tijdeman猜想的研究进展.     

3N+1猜想的投资学模型

3N+1猜想是有着70多年历史的数学问题,已入选“10000个科学难题”(数学卷).3N+1猜想的描述非常简单:对任意自然数n,若n为偶数,则除以2;若n为奇数,则乘3加1,经反复迭代最终总得到1.将给定自然数n看作第O期的初始资本,而将第t次迭代的结果看作第t期末的资本,从而建立3 N+1函数迭代过程中函数值变化的投资模型.从投资学的角度看,3N+1猜想的本质在于3N+1函数迭代过程中长期资本是否相对于初始资本n衰减,而其根本困难在于确定3 N+1函数迭代过程中取值为奇数的概率.在研究3N+1函数迭代过程的动态行为的基础上,进一步运用投资模型证明3N+1猜想成立的必要条件为3N+1函数迭代轨迹中奇数的概率小于ln2/ln3,此条件在一定程度上也是充分的.该投资模型也适用于3N+1猜想的各种推广.     

高阶色散方程的柯西问题

主要研究了高阶色散方程ut+2j+1xu=j+1x(u2)+j-1x(ux2),j≥2,j∈N,x,t∈R的柯西问题.使用修正傅里叶限制范数方法和Strichartz估计以及修正Bourgain空间,证明了这个问题在修正的Sobolev空间H(s,1/2j)(s-j/2+3/4)上是局部适定的.使用迭代技巧,也证明了这个问题在H(s,w)(0w1/2j)中,对于任意的s∈R,流映射不是C2的.     

一类动力系统的大范围定性研究

本文考虑动力系统：ｄｘ／ｄｔ＝Ｐ３（ｘ，ｙ），ｄｙ／ｄｔ＝ｘ（１（．研究系统（１）具有代数曲线解：Ｘ２一ｋｙ２＝１ （ｋ＞０）（２）全局结构。 容易得到这时系统（１）等价于系统,ｄｘ／ｄｔ＝ａ１ｘ＋ａ２ｙ－ａ１ｘ３＋（ｋ－ａ２）ｘ２ｙ＋ｋａ１ｘｙ３＝ｋ（ａ２－ｋ）ｙ３，ｄｙ／ｄｔ＝ｘ（３）．由（３）我们得到所有奇点（有限远和无穷远）的类型。并用Ｄｕｌａｃ函数证明 （３）不存在极限环。进而得出（３）的所有可能的全局相图（ｌ）－（１３）．     

关于阶乘的一个问题

设p是奇素数.证明了:当p＞3时,方程x!=yp 1-y没有正整数解(x,y).     

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

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

关于Diophantine方程x3+1=py2

设p是奇素数．该文证明了：当p=12x^2＋1其中s是奇数,则方程x^3＋1=py^2 元正整数解（x,y）．     

关于Diophantine方程x3-1=3py2

设P是奇素数．该文证明了：当P=12s^2 1,其中r是正整数,则方程x^3-1=3py^2无正整数解(x,y)．     

关于Ljunggren问题

设p是大于3的奇素数,证明:方程2)()(zyxyxpp=--,1+>yx,1),gcd(=yx仅当p=5时有正整数解)11,1,3(),,(=zyx可使x是奇素数的方幂。     

几个多项式微分系统极限环的个数

研究了可积系统(称为未扰系统).{xx=-y(1+x4).y=x(1+x4).在几类多项式扰动之下极限环的个数.即当未扰系统加上低次扰动后,考虑扰动系统:.xx=-y(1+x4.)x=-y(1+x4),.y=x(1+x4)+εPn(x,y),+εQn(x,y),1≤n≤4,其中Pn,Qn是任意的n次多项式,讨论了它们从未扰系统的周期环处分支出极限环的个数.通过计算扰动系统的一阶M eln i-kov函数以及估计其根的个数得到从未扰系统的周期轨处分支出极限环的最大个数.证明了未扰系统加上1次或者2次扰动项时,扰动系统最多有1个极限环;加上3次或者4次扰动项时,扰动系统最多有4个极限环.     

关于Diophantine方程x~3±1=Dy~2

利用数论中的同余,勒让德符号的性质及其它一些方法,研究丢番图方程x3±1=Dy2(D=D1p,D是无平方因子的正整数,其中D1是不能被3或6k+1之形的素数整除的正整数,p=3(12r+7)(12r+8)+1,r是正整数)的解的情况。证明了当D1≡7(mod12)时,方程x3+1=Dy2无正整数解;当D1≡5,8(mod12)时,方程x3-1=Dy2无正整数解。     

关于不定方程组x+1=6py~2,x~2-x+1=3z~2

设p为素数,文章利用同余及丢番图方程的一些结果证明了不定方程组x+1=6py2,x2-x+1=3z2无正整数解。