一类抛物型Monge-Ampère方程具Neumann边界条件的初边值问题

证明了一类抛物型Monge-Ampère方程具Neumann边界条件的初边值问题的古典解的存在惟一性。用比较原理证明了该问题至多存在一个古典解。在一定条件下,通过构造辅助函数和闸函数,得到严格凸解的先验估计结果,进而利用连续性方法得到了该问题严格凸解的存在性。     

抛物型Hessian方程的第三初边值问题

给出了一类抛物型Hessian方程第三初边值问题解的情况.在一定条件下,利用辅助函数和闸函数得到了上述问题严格凸解的先验估计结果,进而利用连续性方法得到了所述问题严格凸古典解的存在唯一性.     

以严格凸范数为费用函数时的Kantorovich问题解的分类

回答了费用函数为严格凸范数时的Kantorovich问题解的分类问题.首先,利用范数的严格凸性,我们得到了最优计划在传输线上的性质定理.其次,我们应用变分法的直接方法证明了第二变分问题解的存在性,该问题的解集是全体最优计划构成的集合的子集合.最后,本文利用第二变分问题中被积函数的凹凸性,对最优计划进行选择,达到分类的目的,证明了可以根据传输线上的单调性这一分类准则对最优计划进行分类.     

一个反源问题的极小化能量泛函正则化方法

针对分子成像领域中的反源问题,利用Tikhonov正则化方法,构造了一种通过求解一个极小化问题来重构源函数的新方法.利用目标泛函的严格凸性等性质,证明了极小化问题解的存在惟一性.由有限元方法的误差估计及细致分析,证明了离散化后极小化问题解的收敛性和误差估计,并通过数值实验验证了该方法的有效性.     

一维带噪声均值数据函数重构的二阶导数正则化方法

针对一维带噪声均值数据的函数重构问题,构造了一个新型正则化方法.该方法正则化项由函数二阶导数导出.通过证明目标泛函严格凸证明了该方法的存在惟一性,再利用Banach空间的最优化理论和分部积分技巧的解可用4次样条函数表示,通过样条函数性质和插值函数构造给出近似解L2模意义下的误差估计及具体算法.     

一类半线性双曲方程的Cauchy问题

讨论推广了一类具有非线性项的 Euler-Poisson-Darboux 方程的 Cauchy 问题可解性及大范围解的存在性.利用线性方程 Cauchy 问题的整体可解性及逐步迭代法,通过先验估计证明了所得出的一系列解按 L~2-范数收敛,且该收敛函数就是所讨论问题的唯一强解.并利用高阶能量估计得到该问题古典解存在.     

一类含有梯度项的奇异抛物方程古典解的存在性

研究了一类含有梯度项的奇异型抛物方程. 在一定条件下, 通过抛物正则化方法及上下解方法, 获得了该问题的古典解, 证明了这个解在边界点处的一阶导数为0. 而且,证明了某些奇异问题古典径向解的存在性.     

一类非线性四阶波动方程的第三初边值问题

利用压缩映射原理证明了方程utt-αutt-βuxxtt=φ(ux)x 的第三初边值问题局部古典解的存在性和惟一性.利用解的延拓法证明了上述问题的整体古典解的存在性和惟一性.     

Banach空间ψ-直和的k严格凸性与Banach-Saks性质

通过研究Banach空间ψ-直和的k严格凸性及Banach-Saks性质,证明了若X,Y分别是k严格凸与l严格凸的Banach空间,则XψY是k+l-1严格凸的(其中ψ∈Ψ是[0,1]上的严格凸函数),并将该结果推广到有限个Banach空间的ψ-直和.另外证明了XψY具BSP当且仅当X,Y具BSP.     

一类非线性四阶波方程的第三初边值问题

利用压缩映射原理证明了方程utt-autt-βuxxtt=φ(ux)x的第三初边值问题局部古典解的存在性和唯一性。利用解的延拓法证明了上述问题的整体古典解的存在性和唯一性。     

一类奇异双调和方程的多解存在性

讨论了一类具有奇异系数的半线性双调和问题,运用隐函数定理证明了该问题的极小正解的存在性,然后通过变分方法又得到了该问题的第二个非平凡解.     

带梯度项的奇异抛物方程古典解的研究(英文)

讨论了一类含梯度项的奇异抛物方程.在某些特定条件下,通过抛物正则化方法及上下解方法,获得该类方程的非负古典解的存在性,并证明了其唯一性.并且,由此还得到了某些奇异抛物问题古典径向解.     

一类p-Laplacian方程的可解性

文章研究了一类p-Laplacian方程边值问题正径向整体解的存在性和唯一性.首先利用隐函数定理证明了该问题局部解的存在唯一性,以及解对初值的连续依赖性,最后利用区间套定理证明了该问题存在唯一的正径向整体解.     

人口问题中一般扩散模型的径向对称解

研究四阶非线性抛物方程初边值问题的径向对称解. 采用抛物正则化方法, 借助Campanato空间框架和一致Schauder型估计, 得到了正则化问题古典解的存在性, 并基于正则化问题解的一些必要一致估计, 证明了弱解的存在性.     

临界问题在全空间上的无穷多解

研究了全空间上一类临界增长的非局部问题古典解的存在性,通过特殊函数法,给出该问题无穷多古典正解的表达式,推广并丰富了已有文献的结果.     

奇性抛物方程的奇性定解问题

本文考虑奇性抛物方程的奇性定解问题,用方程的基本解证明了古典解的存在性、唯一性和稳定性。     

一类强耦合拟线性退化抛物方程组解的全局存在与非存在性

研究一类强耦合拟线性退化抛物方程组初边值问题正古
典解的局部存在、 全局存在与非全局存在性. 用正则化方法和先验估计证明了问题正古典
解的局部存在性, 并且分别给出了该问题是否存在全局古典解的充分条件. 结果表明, 当种
群内竞争强于种群间互惠作用时, 问题存在全局解; 而当两种群具有强互惠作用时, 所有解
均为非全局的.     

一类捕食-食饵差分系统概周期解的存在性与唯一性

首先改进并证明了一个相关的存在性定理, 再通过构造离散形式的Liapunov函数研究了一类捕食-食饵差分系统正概周期解的存在性. 得到了该差分系统存在正概周期解的一个充分条件.     

Clifford分析中广义正则函数向量的带位移带共轭的非线性边值问题

讨论Clifford分析中广义正则函数向量的带位移带共轭的非线性边值问题, 得到了其plemelj公式, 然后用积分方程的方法和Schauder不动点原理证明了该问题解的存在性, 并得到了解的积分表达式.     

一类广义变分不等式解的存在性及其算法

利用变分不等式的古典算法,在Hilbert空间中讨论了一类广义变分不等式问题(GVIP),证明了GVIP解的存在性,给出了一个新的迭代算法,得到了GVIP解的强收敛定理.