一类超椭圆曲线上的有理点

设p为素数,r≥0是整数.利用广义Fermat方程的深刻结论证明了：若3≤q<100,q≠31,则当p≥5时,超椭圆曲线y^p=x（x+q^r）上仅有平凡的有理点y=0;当q=5,11,23,29,41,47,59,83时,给出了该超椭圆曲线所有的有理点（x,y）.特别地,当q=3且r=1时,证明了超椭圆曲线y^p=x（x+3）仅在p=2时有非平凡的有理点（x,y）,并给出了此时所有的非平凡有理点.     

有限域上广义Markoff-Hurwitz-type方程的有理点个数

设N_q表示有限域F_q上广义Markoff-Hurwitz-type方程的有理点个数（a₁x₁^m₁+a₂x₂^m₂+…+a_nx_n^m_n）^k=cx₁^k₁ x₂^k₂…x_t^k_t,其中n ≥ 2, m_i, k, k_j和t ≥ n是正整数,a_i,c属于F_q^*,其中1 ≤ i ≤ n, 1 ≤ j ≤ t. 最近有研究推广了Carlitz的结果,给出了上述方程当k=k₁=…=k_t=1时的有理点个数. 当未定元的指数满足一定条件时,本文给出了上述广义方程的有理点个数,推广了已有结论.     

有限域上一类非零迹多项式的计数公式

设F_q为q元有限域.F_q上n次多项式f(x)的迹定义为x~(n-1)的系数.本文利用F_q中多项式的普通分解与其线性q-相伴式的符号分解之间的关系,研究了F_q上非零迹多项式并得到了一类非零迹多项式的计数公式.     

一类k-Hessian方程k-允许解的唯一性和收敛性

首先,运用u₀-次线性定理,证明了一类耦合k-Hessian方程在超线性和次线性情形下,至多存在一个径向k-允许解;其次,用数值例子验证了径向k-允许解的唯一性;最后,运用单调迭代技巧,讨论了k-允许解的一致收敛性。     

有限域上广义Markoff-Hurwitz-type方程的有理点个数（英文）

设N_q表示有限域F_q上广义Markoff-Hurwitz-type方程的有理点个数(a_1x_1~(m_1)+a_2x_2~(m_2)+…+a_nx_n~(m_n))~k=cx_1~(k_1)x_2~(k_2)…x_t~(k_t),其中n≥2,m_i,k,k_j和t≥n是正整数,a_i,c属于F_q~*,其中1≤i≤n,1≤j≤t.最近有研究推广了Carlitz的结果,给出了上述方程当k=k_1=…=k_t=1时的有理点个数.当未定元的指数满足一定条件时,本文给出了上述广义方程的有理点个数,推广了已有结论.     

Weierstrass形椭圆曲线上的快速点乘公式

研究了y2=x3 ax2 2atx at2和y2=x3 ax2 bx这两类椭圆曲线的点乘,得到了快速的三倍乘和倍乘公式,运算花费分别为6M 6S 4C和2M 5S 3C,其中M,S,C分别为有限域中的乘法,平方,常数乘法运算;对于特殊的参数选取,运算花费分别为6M 6S和2M 5S.     

一类退化椭圆方程的弱解的正则性估计

本文讨论了方程: Lu= f w的弱解的一个正则性估计,其中,L 为一退化椭圆算子,w∈ A2 或满足( QC)条件,f 满足条件|f|log+|f|∈ L1(Ψ,w ).     

一类非线性矩阵方程的正定解

讨论非线性矩阵方程X+∑i=1mAi*X-1Ai-∑j=1nBj*X-1Bj=Q的Hermite正定解及其扰动问题。提出了该方程存在唯一正定解的充分条件,给出了迭代解法。讨论了唯一正定解的扰动问题,给出了上界估计,得到了唯一正定解的Rice条件数的显式表达式,并用数值例子对所得结果进行了验证。     

一类R~n上半线性椭圆方程有界正解的存在性和对称性

本文研究 Rn上型如下列具有次线性项加超线性项椭圆方程 :-Δu =a(x) (λus up) ,x∈ Rn,其中 ,n≥ 3,0 0为参数 .用上下解方法给出了方程有界正解存在性及多解性结果 .用移动平面方法给出解的径向对象性结果 .     

一类非线性热传导方程柯西问题的整体解

讨论了Rn中一类非线性热传导方程柯西问题整体解的存在惟一性.当初值φ和非线性项a(x)uβuγ满足一定条件时,利用衰减估计和能量估计相结合的方法,并由B anach不动点定理得到了整体解的存在惟一性.     

素域上椭圆曲线密码的高效实现

给出了几个素域上的算术运算和素域上椭圆曲线算术运算的高效实现算法，从而解决了椭圆曲线密码(ECC)实现中影响效率的几个关键算法设计问题，且就ECC加密机制和签名机制的选择提出了建议，最终形成一套高效的素域上ECC加密算法和签名算法的实现方案．该方案适应多种软件和硬件实现条件，具有较好的通用性．     

脉冲周期种群动力系统的正周期解

使用Poincare映射和Horn不动点定理对具有脉冲的周期种群生态系统进行研究,得到了脉冲周期种群系统的正周期解存在性,从而为进一步从理论上研究脉冲周期种群动力系统打下基础．     

一类反应扩散方程组的Neumann边值问题整体解的存在性与Blow-up问题

本文主要讨论一类反应扩散方程组Neumann边值问题整体解的存在性与Blow-up问题.并对主要结论定理1—定理3作了相应的证明.     

一类二阶系统周期解的存在性

利用临界点理论中的极大极小方法和Sobelev’s不等式研究了以下二阶哈密顿系统{（M（t）u＇）=↓△F（t,u（t））,u（0）-u（T）=u=（0）-u（T）=0,周期解的存在性,其中r〉0,M（f）=[mij（t）]→为定义在[0,T]上的N×N阶正定的对称矩阵值函数;改进了已有文献的相关结论,得到了3个新结论,并通过例子说明了结论的有效性．     

关于一类半线性椭圆型方程的一点注记

本文主要考察形式为-⊿u=g(x,u)的Dirichlet边值问题解的存在性.对这一问题已有了许多结果,如张恭庆,Rabinowitz等.一般地,在已知问题一对下上解,总要g(x,z)关于z是局部Lip连续,而得到解的存在.这就不适合于g(x,z)带有某一项为次线性项的情形。这里我们用一种上下解叠代的方法得到了g(x,z)为Hǒder连续时解的存在性.而在抛物型方程时所得结果是[2]的推广.由此我们还得到定理5,加强了张恭庆的结论.下面的结果也适用于椭圆型方程,但为后面的应用我们只对抛物型方程给出证明.     

具有反馈控制和时滞周期单种群Kolmogorov系统的周期解

研究了具有反馈控制和时滞周期单种群Kolmogorov系统的周期解问题.应用迭合度理论,得到了判别系统正周期解存在的充分条件.     

一类中立型拟线性抛物方程组解的振动性

针对垂直相加法无法讨论泛函偏微分方程组的强迫振动性的不足，直接利用振动的定义、Green公式以及齐次Neumann边界条件把中立型抛物微分方程组的振动问题转化为泛函微分不等式不存存最终正解的问题，然后利用最终正解的定义及上下极限得到了在齐次Neumann边界条件下判别其所有解振动或全振动的充分条件。     

一类二阶拟线性偏微分方程粘性解的存在性

讨论如下Dirichlet问题:ut-Tr[a(t,x)D2u]+H(t,x,u,Du)=0(t,x)∈QT=(0,T)×Ωu(t,x)=ψ(t,x)(t,x)∈PQT证明了该问题的比较原理,进而获得粘性解的存在性。     

一类两端刚性固定的奇异弹性梁方程的正解

考察了一类奇异四阶两点边值问题的正解,其中允许非线性项奇异.主要工具是全连续算子的逼近定理和锥拉伸与锥压缩型的Guo-Krssnosel'skii不动点定理.在力学上这一类问题描述了两端刚性固定的弹件梁的形变,为了描述非线性项的增长,引入了非线性项的主要部分和高度函数.结果表明只要在某些有界集合上的主要部分的高度和高度函数的积分是适当的,该类问题可以具有n个正解,其中n是一个任意的正整数.     

一类非线性差分方程正解的渐近性

研究了差分方程ｘｎ＋１＝ｘｎｅ＾ｒｎ（１－ａｘｎ－ｋ－ｂｘ＾２ｎ－ｋ）,ｎ＝０,１,．．．,其中｛ｒｎ｝是非负实数列,ａ〉０,ｂ〉０;ｋ是非负整数,证明了：（１）设∞／∑／ｎ＝０ｒｎ＝∞,μ＝ｌｉｎ／ｎ→∞ｓｕｐｎ／∑／ｒｉ〈（３／２＋１／２（ｋ＋）／（１＋ｂＮ＾＊２）,则（＊）的每一正解满足ｌｉｎｎ→∞＝ｎ＊。（２）方程ｘｎ＋１＝ｘｎ．ｅ＾４（１－ａｘｎ－ｋ－ｂｘ＾２ｎ－ｋ）,ｎ＝０．１,．．．