广义神经传播方程的整体吸引子

使用Galerkin方法,结合Sobolev空间理论和不等式技巧,给出了广义神经传播方程解的存在唯一性定理,然后利用吸引子存在性定理,采用半群方法证明了方程整体吸引子的存在性.     

具有重值分担的亚纯函数

在考虑重值分担的情况下,得到一个具有三个分担值的亚纯函数的唯一性定理及若干推论,推广并改进了仪洪勋、Lah iri等人的结果.     

ZnO衍射花样180°不唯一性的消除

晶体电子衍射花样涉及到界面、位错等缺陷的晶体学性质测定时,需要设法消除180°不唯一性这一问题.应用Tecnai G~2 F20场发射透射电镜精密的倾斜样品台使晶体做有系统的倾转,观察衍射花样的变化并加以分析,从而消除了ZnO粉末单晶花样的180°不唯一性.     

带积分边值条件的非线性梁方程解的唯一性

本文研究一类带有积分边值条件的四阶非线性梁方程问题解的唯一性,利用构建特殊算子以及Banach压缩映射原理的方法,获得解的存在唯一的条件,并以实例及数值模拟验证了所得结论.     

一类阿达马分数阶微分方程在无穷区间上的的正解（英文）

利用Banach压缩映像原理以及构造一个显式迭代,得到阿达马分数阶微分方程在无穷区间上的正解的存在唯一性结果.而且,我们给出了一个误差估计.     

粘弹性波动方程的H1-Galerkin时空混合有限元分裂格式

构造一维粘弹性波动方程的H¹-Galerkin时空有限元分裂格式.这种新的分裂格式在时空两个方向同时利用有限元离散,具有H¹-Galerkin混合有限元方法和时空有限元方法的优点,如在不受LBB相容性条件限制的同时能够高精度逼近流体的压力和达西速度,有限元空间可以利用不同次数的多项式空间,能同时得到时间和空间两个变量的形式高阶精度等.通过构造时空投影算子并讨论其相关逼近性质,证明了解的存在唯一性和稳定性,给出混合时空有限元解的误差估计,给出数值算例验证了理论推导结果的合理性和算法的有效性,并和传统H¹-Galerkin方法做比较,得到了更小的误差和超收敛阶.     

一个分数阶生长-抑制系统的参数反问题

本文研究一个分数阶生长-抑制线性系统模型及其参数反问题.首先利用Laplace逆变换得到正问题解的唯一存在性.其次,考虑一个利用内点观测数据确定微分阶数与衰减率的反问题,应用极值原理在Laplace像空间中证明反演的唯一性.最后,基于正问题的有限差分解,应用同伦正则化算法进行数值反演.计算结果表明算法的收敛性及反问题的数值稳定性.     

多复变量亚纯函数的唯一性像集的两个结果

利用Cm上亚纯函数的性质(包括值分布理论),研究Cm上亚纯函数唯一性像集有关问题,并证明以下定理:令S={z∈Cm:zn-1=0},a为非零复数,且a2■S,k≥2为整数。f,g为Cm上级小于1的非常数亚纯函数,sum from b∈S(μ~bf,k)=sum from b∈S(μbg,k),且SuppDaf=SuppDag,则若n>(4+3/k+2/(k+1))(1+ε),得f=g。     

微分方程解的存在区间的确定

从六个方面说明了确定一阶微分方程解的存在区间的方法.