一类压缩型映射的不动点定理

在完备的度量空间中,讨论了一类新型的非线性压缩映射ρ(Tx,Ty)≤a(ρ(x,y))ρ(x,Tx)+b(ρ(x,y))ρ(y,Ty)+c(ρ(x,y))ρ(x,y)通过构造迭代序列,指出该映射的不动点的存在性和唯一性,并给出相应的误差估计式,拓展和改进了有关文献的范围.     

改进的PNC方法及其在非线性偏微分方程多解问题中的应用

2017年，李昭祥等提出了一种偏牛顿-校正法（Partial Newton-Correction Method，简记为PNC方法），并利用它成功地计算出了三类非线性偏微分方程的多重不稳定解.本文在PNC方法的基础上，提出并发展了一种改进的PNC方法.首先，利用Nehari流形$\mathcal{N}$与零平凡解的可分离性，建立并证明了$\mathcal{N}$的某特殊子流形$\mathcal{M}$上的全局分离定理及其推广（即局部分离定理）.全局分离定理只跟非线性偏微分算子或相应的非线性泛函本身有关，而与具体的计算方法无关.对一些典型的非线性偏微分方程多解问题（比如，Henon方程问题），该全局分离定理的分离条件，经验证是成立的.另一个方面，通过修改或补充原辅助变换的定义，去掉了原辅助变换的奇异性；接着建立并证明了某些非线性偏微分方程问题的新未知解与该非线性偏微分算子零核空间的密切关系；在证明中，去掉了在原奇异变换下所需的标准收敛（standard convergence）假设.最后，计算实例与数值结果验证了改进的PNC方法的可行性和有效性；同时表明子流形$\mathcal{M}$与已知解的可分离性是PNC方法和本文新方法能成功找到多解的关键.     

参数广义弱向量拟平衡问题解映射的H-连续性刻画

研究了Hausdorff拓扑向量空间中的一类参数广义弱向量拟平衡问题(PGWVQEP)的稳定性.首先，给出了此问题的参数间隙函数，研究了参数间隙函数的连续性.然后, 提出了一个与参数间隙函数相关的关键假设，讨论了它的连续性，并给出关键假设的等价刻画.最后， 借助于假设，获得了PGWVQEP解映射Hausdorff半连续的充分必要条件.并举例验证了所得结果.     

否定非对合剩余格上基于正规模糊理想的一致拓扑空间

拓扑结构是逻辑代数研究领域的重要研究内容之一,为了揭示否定非对合剩余格上的拓扑结构,基于正规模糊理想诱导的同余关系在否定非对合剩余格上构造一致拓扑空间并讨论其拓扑性质.证明了:(1)一致拓扑空间是第一可数,零维,非连通,局部紧的完全正则空间;(2)一致拓扑空间是T_1空间当且仅当是T_2空间;(3)否定非对合剩余格中格运算和伴随运算关于一致拓扑都是连续的,从而构成拓扑否定非对合剩余格.同时,获得了一致拓扑空间是紧空间和离散空间的充分必要条件.最后,讨论了拓扑否定非对合剩余格中代数同构与拓扑同胚间的关系.对从拓扑层面进一步揭示否定非对合剩余格的内部特征具有一定的促进作用.     

鲁棒稀疏重构问题的凝聚同伦算法

鲁棒稀疏重构问题是信号处理领域的重要问题,该问题的数学本质是一个NP难的数学优化问题.同伦算法是一类典型的路径跟踪算法,该算法是解非线性问题的一类成熟算法,具有全局收敛性,且易于并行实现.本文考虑同伦算法在鲁棒稀疏重构问题中的数值求解.基于l_∞范数及罚函数策略,我们首先将原始的基于l_0范数的最优化模型,转化为含参数的无约束极大极小值问题,进而构造凝聚函数光滑化模型中的极大值函数,并构造凝聚同伦算法数值求解.数值仿真实验验证了新方法的有效性,为大规模鲁棒重构问题的并行化数值求解奠定基础.     

互逆规划的拓宽和深化及其在结构拓扑优化的应用

本文的工作涉及数学与力学两方面,数学方面:(1) 将数学规划论中新提出的互逆规划,从 s-m 型 (或称为 m-s 型) 发展出 s-s 型和 m-m 型互逆规划 (其中 s 意为单目标,m 意为多目标),从而使互逆规划的定义完备成为 3 种;(2) 从 KKT 条件审视互逆规划的两方面,得到了互逆规划双方求解涉及拟同构和拟同解的 3 个定理,并且予以证明,提供了在求解中对于互逆规划双方在求解中相互借鉴的理论基础;(3) 对一对互逆规划双方皆合理的情况和某一方不合理的情况,皆给出了求解策略和具体解法. 力学方面:(1) 给出结构优化设计模型合理与否的诠释;(2) 在互逆规划对结构拓扑优化的应用中,提出了不合理结构拓扑优化模型的求解策略;(3) 给出了借助 MVCC 模型 (多个柔顺度约束下的体积最小化) 解决 MCVC 模型 (对于给定体积下的多个柔顺度的最小化) 的途径,其中的建模基于 ICM (独立连续映射) 方法. 用 Matlab 编程给出了数值算例. 其中两个数学问题图示了互逆规划的双方关系;其中,结构拓扑优化问题是众多结构拓扑优化中的两个个案;数值结果均支持了本文提出的互逆规划理论.      

Banach空间四阶两点问题正解的存在性

讨论了Banach空间E中的四阶边值问题:u~(4)(t)=f t(,u(t)),0≤t≤1,u(0)=u(1)=u″(0)=u″(1)=θ正解的存在性,其中f∶0,[1]×P→P连续,P为E中的正元锥.通过非紧性测度的估计技巧与凝聚映射的不动点指数理论获得了该问题正解的存在性结果.     

若干高维可积和不可积模型的严格解

可积和不可积模型可以描述自然科学中的诸多现象, 寻找高维非线性模型的严格解已成为可积系统的一个重要研究内容. 结合达布变换法和多线性分离变量法, 可以得到多个(2+1)维非线性模型包含任意函数的严格解, 通过选取不同的任意函数, 构造这些非线性模型新的相互激发模式. 进一步推广了形变映射理论, 建立了变系数 场和sine-Gordon以及双sine-Gordon场的形变映射关系, 从而得到高维不可积模型包含任意函数的新严格解. 对任意函数的不同选择, 构造了sine-Gordon和双sine-Gordon可积模型丰富的局域解和周期解, 如多solitoff解及其周期波推广、周期形变的蛇形孤波解以及变模的拟周期解等.     

基于SIR模型的工程材料统一单轴本构关系研究

工程材料的单轴应力-应变全曲线反映了材料最基本的本构关系,但目前对适用于多种材料的统一本构关系研究尚不够深入。本文基于传染病传播动力学SIR模型,建立了反映材料单元动态变化的应力-应变模型。根据同伦分析方法提出了模型的解析解和近似解,并讨论了模型反映材料尺寸效应和应变率的能力。结果表明,本文提出的单轴应力-应变模型中的参数可以与实际材料的力学特性相对应,模型解能够统一、全面、准确地反映多种材料力学性能的变化规律以及尺寸效应和应变率等因素的影响。     

无单位元环A=sZst的同调不变量Tor(A~)m(Z,Z)的计算

设A=sZst,(A~)=A( )Z,本文作者给出了(A~)-模Z的自由预解,并以此为基础计算了TorAm(Z,Z).