非线性热源反演中的不动点方法

本研究半无穷直线上热传导方程第一边值的非线性热源的反问题，并通过对Green函数及其导数的积分估计和Banach不动点方法，证明了非线性热源的局部可解性及唯一性。     

一类特殊边界非线性热源的反演

本文研究半无穷直线上的热传导的方程在一类特殊边界条件下的非线性热源的反演问题，证明了非线必热源在Ｈｏｌｄｅｒ空间上的局部可解性及唯一性。     

非线性热源反演中的不动点方法

本文研究半无穷直线上热传导方程第一边值的非线性热源的反问题。文中借助Ｇｒｅｅｎ函数化反问题为积分方程，通过积分估计和不动点方法，证明了非线性热源的局部可解性及唯一性。     

一阶非线性常微分方程解的存在唯一性

文章利用Banach不动点定理证明了一阶非线性常微分方程解的存在唯一性。在非线性项为无界的情况下得到了新的解的存在唯一性条件,弱化了Lipschitz条件和偏导连续性条件,为研究微分方程解的存在唯一性方面提供了新的思路和方法。     

非线性半定规划的雅可比唯一性定理

提出了非线性半定规划的雅可比唯一性条件,证明在这一条件下,刻画 KKT 条件的映射在KKT点处导数是非奇异的。在雅可比唯一性条件下,证明了非线性半定规划的稳定性定理并建立了下层为非线性半定优化问题的一类特殊双层规划的必要性最优条件。     

一类四阶非线性发展方程整体解的存在唯一性

研究一类四阶非线性发展方程整体解的存在唯一性,借助偏微分方程的一些标准技巧对非线性项进行估计,利用嵌入定理和算子半群的方法证明了在相对较弱的条件下上述问题整体解的存在唯一性.     

一类非线性双曲型方程弱解的存在唯一性

为了方便对一些典型的双曲型数学物理方程解的研究,本文着力于一类非线性双曲型方程弱解的存在唯一性的研究,且这类方程的双曲型算子是一般形式的双曲型算子。在非线性项f(u)满足Lipschitz条件的假设条件下,利用伽罗金逼近法和压缩映像原理等方法获得了这类方程初边值问题弱解的存在唯一性,另外,本研究提供了一类非线性双曲型方程弱解存在性及唯一性的一种证明方法。     

一类非线性双曲型方程弱解的唯一性

本文在放宽的条件下研究了一类非线性双曲型方程弱解的唯一性,从而对此类方程解的唯一性问题的研究得到了补充和完善。     

一类强非线性积微分方程的解(英文)

讨论一类强非线性积微分方程解的存在性和唯一性。应用单调算子理论和带时滞的Gronwall不等式,证明了一类含单调非线性算子和非单调扰动的积微分方程解的存在性和唯一性。     

一类强非线性积微分方程的解

讨论一类强非线性积微分方程解的存在性和唯一性。应用单调算子理论和带时滞的Gronwa11不等式，证明了一类含单调非线性算子和非单调扰动的积微分方程解的存在性和唯一性。     

一类半空间间断系数椭圆型方程边值问题

讨论了半空间中一类间断系数椭圆型方程的边值问题，证明有关的存在性、唯一性及稳定性，这些问题来自半导体器件激光再结晶技术中的一类移动热源传热问题。     

一阶拟线性方程以测度为初值的BV解

分别对不带吸附项和带吸附项的一阶拟线性 方程以测度为初值的两类Cauchy问题的BV解进行了综述. 首先, 综述了上述两类Cauchy问题解的存在性、 惟一性及渐进性. 其次, 给出了在此基础上所得到的一些结果, 即上述两类方程以σ有限Borel测度为初值条件的Cauchy问题BV解的存在性、 惟一性及其他一些性质.     

热传导方程初始源项决定的条件稳定性

讨论一有界区域Ω Rr(r≥ 2 )上的热传导方程的初边值问题 u t(x ,t) =Δu(x ,t) ,　x∈Ω ,0 相似文献   

具有热源的二维稳态温度起伏模型

对一个具有对流和热源的二维晶体生长的温度场进行了分析。建立了热传导问题的数学模型，给出了模型的精确解析解，证明了解的唯一性和稳定性，并通过实例计算说明当横向对流存在时，温度场的解在与界面垂直的方向上呈指数型震荡衰减．     

一类热传导方程非线性源项识别问题

利用单调性估计方法证明了一类热传导方程非线性源项识别问题的可识别性，并运用函数逼近理论，把对非线性源项的识别问题转化成一常系数参数识别问题；给出了一种对非线性源项识别的可实现的线性迭代算法及相应的数值实例。     

瞬态热传导问题的精细积分边界元法

对于三维瞬态热传导问题,在考虑内部热源的情况下,采用双重互易边界元法(DRBEM)结合精细积分法(PIM)进行求解。该方法根据含有内部热源的各向同性介质瞬态常系数热传导问题的控制方程,通过加权余量法推导出相应的边界积分方程,然后用双互易法(DRM)处理得到的边界积分方程,将热源项和温度关于时间导数项引起的域积分通过径向基函数(RBF)逼近后转化为边界积分。之后将边界积分方程离散,得到与时间相关的一阶常系数微分方程组,最后,在获得解析解的过程中,通过PIM处理其中的矩阵指数函数(MEF)。通过三个数值算例来验证该方法的准确性和稳定性。     

一类高阶非线性Kirchhoff方程吸引子族及其维数

研究一类带有非线性非局部源项和强阻尼项的高阶Kirchhoff方程的初边值问题。对非线性非局部源项、Kirchhoff应力项进行适当地假设。首先利用Galerkin有限元方法和先验估计证明方程整体解的存在性和唯一性;再由先验估计得到有界吸收集,从而获得高阶非线性Kirchhoff方程的整体吸引子族;将方程线性化并证明解半群的Frechet可微性,进一步证明线性化问题体积元的衰减性,最后证明整体吸引子族的Hausdorff维数及Fractal维数是有限的。     

抛物型多点热源反问题的唯一性

基于确定输油管道多个漏失点的实际背景，首次提出一种描述具有多个点热源的抛物型偏微分方程源反问题新模型，再利用热变换将之转换成相应的双曲型点波源反问题，进而在给定条件下得到该反问题的唯一性.     

基于变分理论与时间相关的抛物型反源问题

研究了一类变系数抛物型方程的源项重构问题,这里的源项仅与时间相关。与以往工作不同,文中的附加条件是关于空间变量积分后得到的,这种类型的附加条件有利于消除随机选择所带来的误差,但同时会导致很多分析方法不可用。基于变分理论,首先给出了变分公式,并利用变分公式证明了解的唯一性;其次给出了时间离散模型和基于线性离散化的变分形式,导出了一系列先验估计,并证明了弱解的存在性。