二次域Q（√7）的单位给出的三角数及相关的不定方程问题

研究了二次域Q（√7）中单位Vn＋Un√7）=（8＋3√7）n所给出的两个递归数列{Vn},{Un}中的三角数问题,找到了{Vn},{Un}中的所有的三角数.作为应用,给出了与其相关的两个不定方程的整数解.     

欧氏空间R3中的几个Bonnesen型不等式

本文研究欧氏空间R3中关于一个凸体的Bonnesen型不等式.利用包含测度的方法,获得了几个Bonnesen型不等式.     

三维区域上Qrot1元的渐近展开及外推

本文研究了正方体区域上Qrot1非协调元渐近展开式.利用林群、吕涛等提出的有限元误差渐近展开法,获得了正方体区域上Qrot1非协调元特征值的误差渐近展开式.理论分析和数值实验结果表明三维Qrot1非协渊元特征值外推公式是有效的,可以把特征值的精度从二阶提高到四阶.     

OI_n的理想K(n,r)的极大逆子半群

Xn为n元有限集,OIn为Xn上的一切保序严格部分一一变换半群.记K(n,r)={α∈OIn∶|Tmα|≤r}(0≤r≤n-1)则K(n,r)(0≤r≤n-1)是OIn的理想.我们刻划了K(n,r)(1≤r≤n-1)的极大逆子半群.     

一类中立型脉冲时滞生物模型的正周期解(英文)

运用严格集压缩映射不动点定理,讨论得到了一类中立型脉冲时滞生物模型正周期解存在的充分条件.我们去掉了文[6,7,12-14]周期解存在的一些条件,推广了对应的结果.     

一类带奇异项的双调和方程的多解性

利用纤维方法及亏格理论对一类带奇异项的双调和方程进行了研究,证明了方程在两种不同情形下解的存在性及多解性.     

双调和方程Schwarz区域分解算法的Fourier分析

Schwarz方法是一类重要的区域分解算法,以Fourier变换作为分析工具,推导了经典Schwarz交替迭代法和加性Schwarz迭代法用于求解双调和方程的误差传播阵及其谱半径的准确表达式,不但从新的角度更简洁地证明了Schwarz交替迭代法和加性schwarz迭代法的收敛性,还刻画了其收敛速度,以及收敛速度随子区域的重叠程度变化而变化的情况,所得结果不依赖于任何未知常数,不受具体离散方法的影响,同时表明经典Schwarz交替迭代法具有比加性Schwarz方法快1倍的收敛速度.     

极大前缀码的刻划

设X*是字母表X上的自由幺半群,本文通过以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的横截集的概念,给出了极大前缀码的一个刻划.同时,证明了满足含有X中字母且长度有限的极大前缀码必是极大码.     

空气污染方程的全离散化混合元格式

本文研究空气污染方程,导出其全离散化的混合元格式,证明该格式的全离散化混合元解的存在性和收敛性(误差估计).     

带Hardy项的半线性椭圆方程非球对称解的研究

本文考虑如下带Hardy项的半线性椭圆问题{-Δu-μu/|x|2=f(u), x∈Ω,/ u=0,x∈(6)Ω}非球对称解的存在性.这里Ω={x|x∈Rn,n≥3,a＜|x|＜1}是Rn≥3)中的环,其中0≤μ＜μ=(n-2/2)2,f(u)为已知函数.本文在讨论球对称解的性质的基础上,利用变分方法得到了方程的极小能量解的存在性,并且利用分支理论得到了方程的非球对称解.