半平面上的非等熵MHD方程组的不可压极限

为了研究在半平面上速度场具有Dirichlet条件,且磁场具有完美物理传导条件的非等熵的MHD方程组的不可压极限,采用了能量方法和一般正则性理论,并且通过Schauder不动点理论证明解的存在性,通过Gronwall不等式证明了解的唯一性,这样在具有好始值的前提下,在小时间区间上建立了不依赖于小马赫数ε∈(0,1]的一致估计,其中也包括了在边界法线方向上的速度的高阶导数的估计.最终得出了MHD方程组的局部解的存在性和唯一性.     

弱耦合方程组混合问题广义解的单调迭代法

利用Galerkin方法证明一类非线性抛物—常微弱耦合方程组混合问题广义解的存在性、唯一性和该混合问题的积分模估计;通过广义上、下解方法、Soblev嵌入定理及归纳法证明极大序列和极小序列分别是单调不增和单调不减的;由勒贝格控制收敛定理及Gronwall不等式严格证明了极大序列和极小序列分别从上方和下方单调收敛于问题的唯一广义解.     

求解低温下纺织材料热湿传递模型的有限体积法

针对一类已有的纺织材料热湿传递模型,提出了求解该模型的有限体积法,证明了解的存在唯一性、稳定性及收敛性.首先,给出了低温条件下单层纺织材料热湿传递数学模型,该模型为一个线性偏微分方程组,其边界条件为第三类边界条件.然后,构造了该模型求解的有限体积格式,在证明其数值解的存在唯一性的基础上,利用Gronwall不等式从理论...     

拟线性退化抛物型方程组的初边值问题

考虑的是拟线性退化抛物型方程组解的存在性和唯一性．对解的存在性证明,首先构造所研究问题的正则化问题,再对正则化问题的解进行一系列估计,利用Arzda－Ascoli定理证明原问题解的存在性．用能量方法证明解的唯一性．     

一类奇异半线性反应扩散方程组解的存在唯一性

讨论了一类具有奇异系数的反应扩散方程组解的存在唯一性问题,并给出了一些结果.     

一类1维非线性Schrdinger方程组整体解的存在性及其时间衰减估计

考虑一类1维非线性Schrdinger方程组的初始值问题,采用因式分解法、能量法以及Sobolev不等式,证明了该方程整体解的存在性和解的时间衰减估计.     

二维广义细菌模型的定解问题

讨论了用二维反应扩散方程组描述的二维广义细菌传播模型和它的周期边值问题。用Ｇａｌｅｒｋｉｎ方法，积分估计和紧致性原理证明了问题整体解的存在性，进而证明了整体解的唯一性，作为主要结果的特例，给出了细菌传播模型的周期边值问题整体解的存在性和唯一性。     

拟线性退化抛物型方程组的初边值问题

考虑的是拟线必退化抛物型方程组解的存在性和唯一性，对解的存在性证明，道德构造所研究问题的正则化问题，再对正则化问题的解进行一系列估计，利用Ａｒｚｄａ－Ａｓｃｏｌｉ定理证明原因总是的存在性，用能量方法证明解的唯一性。     

关于确定方程(■/■t~2-■/■x~2+q(x) ■/■t)U(x,t)=F(x,t)中系数q(x)的反问题

本文讨论了如何确定微分方程反问题中的未知系数q(x),证明了此方程柯西问题的古典解的存在唯一性。得到了含未知函数q(x)和U(x,t)的非线性积分方程组,并证明其局部解的存在唯一性。最后,给出此反问题解的稳定性估计定理。     

一个竞争—竞争—互助模型的反应扩散方程组

讨论了一个竞争－竞争－互助模型的反应扩散方程组的齐次Ｄｉｒｉｃｈｌｅｔ边值问题。给出了方程组解的存在性、唯一性和有界性,进一步讨论了非负平衡解的存在性和渐近性态。     

无界区域上一类带有权函数的半线性椭圆方程解的存在性

利用Sobolev - Hardy不等式和变分法,证明了无界区域上一类带有权函数的半线性椭圆方程解的存在性,该结果将有界区域上解的存在性及全空间上解的存在性推广到了无界的外区域上.     

几类求积公式的统一推行及其应用

通过构造函数Pi（t）给出了几类求积公式（辛普森公式,梯形公式,中点公式）的统一的误差估计,结果表明：推行后的求积公式误差更小,并通过举例说明了这些结果比已有文献中的结果要好。最后给出这些结果在数值积分方面的应用。     

具有周期边界的Fitzhugh-Nagumo方程的初边值问题

Hodgkin-Huxley方程是描述神经纤维膜电流、膜电压关系的微分方程,Fitzhugh-Nagumo方程是Hodgkin-Huxley方程的一种简化.讨论了Fitzhugh-Nagumo方程具有周期边界的初边值问题,利用Galerkin方法及常微分方程理论,证明了具有周期边界的Fitzhugh-Nagumo方程存在局部解,通过对局部解作一致先验估计证明了整体解的存在性;利用Gronwall不等式证明了Fitzhugh-Nagumo方程整体解的唯一性.     

Shapiro不等式的指数推广

利用Holder不等式，Young不等式和幂平均不等式建立了Shapiro不等式的指数推广形式．所得结果改进和推广了最近文献的一些相应结果．     

推广Haurdy—Hilbert型不等式的改进

Hilbert型不等式是分析学中的重要不等式,由于权系数方法的改进及参量化思想的应用,使这一领域的研究有了深入的发展．利用改进了的Holder不等式对带参数的Hardy—Hilbert型不等式作了进一步的改进,建立了一些新的不等式．     

含参数的Hardy—Hilbert型积分不等式的加强

利用改进了的Holder不等式对带参数的Hardy-Hilbert型积分不等式作了进一步的改进,建立了一些新的不等式。     

工程设计近似计算精度的探索

研究了一个新的积分不等式及它的应用,它具有传统积分近似计算所不具备的高精度特点,介绍了用新的积分不等式求解定积分 ∫xb=cosx/x3dx的近似值,当积分上限X远离下限b时,不等式的不等程度增大,反之,当X趋近于b时,其不等程度趋于0,也就是说积分区间分得愈细,其积分误差愈小.这样,借助于计算机运算,几乎能将积分的近似值很容易地转换成精确值,无论是什么样的工程设计计算,计算机都能在快速计算的同时大幅度提高近似计算的精度,开创了工程设计计算的新时代.     

弹性碰撞方程解的存在唯一性

选择一个恰当的Banach空间,运用文献[1]所介绍的方法,研究了弹性碰撞方程解的存在及唯一性,得到了新的结果。     

一类带非经典热方程的单相Stefan问题

证明了一类带非经典热方程的单相Stefan问题局部解的存在唯一性.首先利用Green恒等式将问题转化为等价的积分方程组,再由压缩映照原理得到了问题的局部解.最后,证明了解对初值的稳定性.     

Kuramato-Tsuzuki方程的有限差分法

对二维Kuramoto-Tsuzuki方程混合初边值问题建立了线性化Grank-Nicolson格式,证明了差分格式解存在的唯一性、收敛性,并证明了收敛阶为O(τ+h2)。