Heisenberg群上内插的L∞范数估计

本文研究了Heisenberg群(H~n,d,L~(2n+1))上费用函数为?(d(x,y))时最优计划γ的内插μ_t.其中?为严格凸函数.内插的本质就是一种测度.我们证明了该内插μ_t关于Lebsegue测度L~(2n+1)是绝对连续的,同时也对μ_t的L~∞范数进行了估计.此外,利用这一估计结果,我们还对Heisenberg群上的变分逼近问题解的内插■进行了估计.本文的证明主要利用Heisenberg群上的L~(2n+1)测度收缩性质以及最优运输理论中的循环单调性以及?的严格凸性.     

类p-双调和方程Dirichlet问题无穷多解的存在性

讨论了${\bf R}^N$中有界光滑区域上的一类类$p-$双调和方程的无穷多解问题, 其中$2pN$, 非线性项不必具有奇对称性. 利用Ricceri的一个变分原理, 得到了无穷多解的存在性, 进而证明了当非线性项在零点(无穷远点)振荡时, 无穷多解按范数趋于零(趋于无穷)     

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

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

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

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

一类拟变分不等式问题解的存在性与算法

在Hilbert空间中利用投影引理得到一类拟变分不等式问题与不动点问题的等价关系,利用该等价关系证明了一定条件下拟变分不等式问题解的存在性,给出解的算法,并对其收敛性进行分析.     

摩擦接触系统多极边界元法二次建模与数值优化

讨论了摩擦接触系统的建模与求解问题.将系统方程组的多极边界元法求解归结为变分问题并证明其等价性.在系统最优化数学模型的基础上,通过引入严格凸二次函数建立系统的二次规划模型,证明其最优解存在且唯一,并给出模型求解的最优性条件.     

保凸最优三次spline拟合

本文把外形设计中常用的四种类型的保凸最优三次Ｓｐｌｉｎｅ拟合问题都化为仅带简单约束条件的严格凸的二次规划问题，使得我们可以采用解严格凸的二次规划的一些成熟卓效的方法来解保凸最优三次Ｓｐｌｉｎｅ拟合问题．更重要的是使得我们可以借助于严格凸的二次规划的理论来讨论保凸最优三次Ｓｐｌｉｎｅ拟合的存在性和唯一性．文中给出了（Ⅰ）型保凸最优三次Ｓｐｌｉｎｅ拟合的解存在且唯一的充分必要条件，同时证明了（Ⅱ）、（Ⅲ）、（Ⅳ）型的保凸最优三次Ｓｐｌｉｎｅ拟合恒有唯一解．     

一维变域POISSON问题的变分有限元分析

该文利用变域变分有限元法研究了一维变域Poisson问题,证明了该问题解的存在性,并给出了变域变分有限元法在求解该问题时的误差估计.最后,利用变域变分有限元法计算了一个实例.     

具变号非线性项二阶Neumann边值问题的正解

利用锥上不动点定理,研究了一类具有变号非线性项的二阶微分方程Neumann边值问题正解的存在性,证明了边值问题解的范数受控于一个线性函数,推广和改进了相关文献的结论.     

Banach空间中一类变分包含解的存在性和唯一性

为了解决Banach空间中一类变分不等式的包含解问题,给出了正规对偶映射、k强增生映射、次微分的概念,利用强增生映射性质证明了复合型映射的强增生性,并证明了对偶空间中,变分包含问题的不动点的存在性.利用一般的对偶原理和不动点理论,证明了自反Banach空间中,满足G teaux微分和k-强增生映射的某一类变分不等式包含解的存在性和唯一性.该结果将许多相关文献中的变分包含问题由"光滑的Banach空间"推广到"自反的Banach空间",扩大了变分不等式包含解问题应用范围.     

有限理性下拟变分不等式问题解的稳定性

首先引入有限理性下非线性问题的稳定性的统一模型,对拟变分不等式问题定义了理性函数,讨论有限理性下拟变分不等式问题解的稳定性.证明了大多数的拟变分不等式问题(在Baire纲分类意义上)都是结构稳定的,对ε-平衡也都是鲁棒的.得到了有限理性下拟变分不等式问题解的稳定性的一系列结论.     

非线性退化抛物变分不等式问题解的非存在性和长时特征

研究了一类基于非线性退化抛物算子的变分不等式初边值问题,利用微分不等式技术证明了该变分不等式解的非存在性.此外,还证明了变分不等式解的时间收敛性质.     

赋Luxemburg范数的Musielak-Orlicz-Sobolev空间中的凸性

克服了Musielak-Orlicz-Sobolev空间的结构复杂性,吸取了Musielak-Orlicz空间中凸性的研究方法,给出并证明了赋Luxemburg范数的Musielak-Orlicz-Sobolev空间具有严格凸性的充要条件.     

弱广义混合变分不等式的辅助问题及迭代算法

应用辅助变分原则研究了一类新的弱广义混合变分不等式,证明了辅助问题解的存在性及弱广义混合变分不等式解的存在性,也证明了迭代算法序列的收敛性.     

关于一类集值拟变分不等式的广义投影算法

引入并研究了一类新的广义非线性集值强隐拟变分不等式，通过用投影方法，证明了这类变分不等式的解等价于一类不动点问题的解．基于这类不动点问题，我们构造了一个迭代算法，在没有紧性的条件下，证明了这类变分不等式解的存在性；同时，还证明了由迭代算法所产生的迭代序列收敛于这类变分不等式的解．     

复一致凸空间的积空间

Vasile和Ioana已证明了两个复严格凸空间的积空间在2范数下是复严格凸的.复一致凸空间是比复严格凸空间更强的空间.文章将证明两个复一致凸空间的积空间在p(1p<∞)范数和∞范数下仍是复一致凸空间.     

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

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

含参数H-单调算子变分包含组的灵敏性分析

在Hilbert空间中,引入并研究了一类新的关于含参数H-单调算子的变分包含组问题.利用不动点定理证明了这类广义变分包含组解的存在性和唯一性,并且讨论了这类问题的解的连续性.     

具有年龄结构的SIR传染病模型的最优接种和治疗策略

研究了一类染病者具有年龄结构的SIR传染病模型的最优接种和治疗策略问题.利用Banach压缩映射原理和Gronwall引理,证明了该传染病模型非负解的唯一性以及解对控制变量的连续依赖性.借助切锥法锥技巧给出最优接种和治疗策略的必要条件.根据Ekeland变分原理确立了最优接种和治疗策略的存在性和唯一性.     

含参变分包含解的Lipschitz连续性

利用H-单调算子的预解算子技巧,在Hilbert空间中,研究一类新的含H-单调算子的含参分包含问题,证明了这类含参变分包含解的存在唯一性,又进一步分析了这类含参变分包含解的Lipschitz连续性问题.