一类拟可微函数在一点处可微性判别及在不可微优化中的应用

对于拟微分为有限点集凸包的拟可微函数 ,给出了判别其在任一点处是否可微的一种算法 .将此算法作为不可微优化的子算法 ,可得到不可微优化的一种可执行算法 .特别指出 ,所讨论的函数类包含光滑函数的极大值复合函数 .     

一类混杂微分包含的可生存性判别

讨论了某类集合在一类混杂微分包含下的可生存性判别问题.基于非光滑分析理论,通过求解线性规划问题来判别某类集合中的一点在这类混杂微分包含下是否满足生存性条件,并给出例子说明如何具体判断.     

Aubin微分包含的C^1-轨Filippov型定理

为深入探讨无界微分包含可达集的性质,研究了自微分包含x（′t）∈F（x（t））的初值问题。基于预先给定的连续可微函数,应用投影算子的连续性及右端的集值映射F的Aubin性,给出了C1-轨Filippov型定理,证明了无界Lipschitz微分包含的C1-轨的存在性。     

微分包含初值问题连续可微解的存在性

通过构造连续可微的连续可微函数序列,给出一类微分包含初值问题解的存在性.     

仿射非线性控制系统关于一类非光滑区域的可生存性判别

讨论了仿射非线性控制系统关于由次可微函数构成的非光滑区域的生存性判别问题.基于非光滑分析理论,给出了在一点处检验生存性条件是否成立的方法,即将生存性条件的检验转化为判别凸不等式组的相容性,并给出例子说明如何具体判别.     

严格预拟不变凸函数与严格不变拟单调映射

讨论了集值映射的严格不变拟单调性与Clarke次微分意义下不可微函数的严格预拟不变凸性.     

一类拟可微向量值函数的拟微分核

针对拟可微向量值函数的拟微分具有不唯一性的问题,定义了拟可微向量值函数的拟微分核及K-可微向量值函数,分析了K-可微向量值函数的拟微分核的几何特性,给出了K-可微向量值函数的拟微分核的运算性质.     

凸函数的次微分算子的一致连续性和一致单调性

该文给出了“有界—凸集—一致有界”（ｂ．ｃ．ｕ．ｂ），“有界—凸集—一致可微”（ｂ．ｃ．ｕ．ｄ）等概念．证明了凸函数及其次微分，微分在这些意义下的若干性质．建立了凸函数的次微分算子的单调性与该函数凸性关系的特征性质．     

非线性抛物型微分包含积分解的生存性及正则性

研究Banach空间中受极小映射扰动的非线性抛物型微分包含积分解的生存性及正则性.利用非线性半群及极小映射的性质和不动点定理,证明其积分解的生存性,获其积分解之间按Housdorff距离的连续性.借助Lip-schitz条件、绝对连续函数的性质及Banach空间的自反严格凸性,获其积分解的唯一性且是强解.所获结果对受此类微分包含约束的分布参数最优控制问题的探讨奠定理论基础,同时有助于研究相关的非线性微分包含。     

一类抽象分数阶微分包含解的存在性

本文在Hilbert空间中讨论了一类新的抽象分数阶微分包含。我们给出了该类问题mild解的定义,利用分数阶微积分,Clarke次微分和集值函数的不动点等相关理论,证明了该问题解的存在性。另外还证明了其解集是一个紧集。     

分数阶微分包含三点边值问题正解的存在性

利用不动点定理,研究一类分数阶微分包含三点边值问题正解的存在性,给出该三点边值问题至少存在2个正解的充分条件.     

单变量非线性控制系统可生存域

讨论了单变量非线性微分包含可生存域(不变集)问题,通过求解最优化问题完成了最大可生存域(不变集)的计算,并作为微分包含的特殊形式讨论了非线性控制系统。     

集值映象迭合度及对微分包含的应用

应用集值映象的Ｌｅｒａｙ－Ｓｃｈａｕｄｅｒ度建立了集值映象的迭合度。作为应用,讨论了一类微分包含ｍ－点边值问题的可解性,这是对Ｇｕｐｔａ等人工作的完善和发展     

一类不可微凸多目标规划解的最优性充分条件

利用C larke广义梯度,广义次微分将B-凸函数进行推广,给出了正则Lipschitz B-凸等函数的概念,在此基础上我们得到了一类不可微凸多目标规划解的最优性充分条件。     

矩阵非齐次特征值的包含域

用矩阵分析的方法,研究了矩阵的非齐次特征值的估计问题,给出了一个新的矩阵非齐次特征值的包含域和边界定理,为线性微分动力系统的稳定性分析提供了新的方法,改进了已有的相应结果.     

椭圆夹杂点热源问题的研究

研究了点热源作用下弹性椭圆夹杂的热弹性问题．将复变函数的分区全纯函数理论,保角变换,奇性主部分析,解析延拓技术,Cauchy型积分与Riemann边值问题相结合,求得各分区函数之间的解析关系,将问题归结为一个初等复势方程的求解．获得了椭圆内外热应力函数的精确解答．为求解复杂多连通多相域的亚纯函数边值问题发展了一种有效的分析方法,解答结果不仅可作为格林函数,求得任意分布热源下的相应解答,而且作为其特例包含以往文献的研究成果．     

一类周期边值问题解的存在性与唯一性

考虑了一类非线性微分方程周期边值问题，用不动点定理给出了其解存在时参数e，α的取值范围；用压缩映像原理给出了该问题解唯一时参数e，α的取值范围．     

平行四边形薄板自由振动的康氏法解

本文首先采用一个线性变换将平行四边形域上的边值问题变换到矩形域。然后在王磊教授工作的基础上再次采用康托洛维奇能量近似法结合广义梁函数,导得板振动的一个常微分方程及边界条件。采用“对分法”求解了18种边界条件下不同斜度的平行四边形板,得到板的振动频率。本文所采用的方法较原有方法计算工作量大为减少,且具有相当高的精度。     

基于深度神经网络的复杂区域偏微分方程求解

基于深度神经网络求解复杂区域的椭圆型偏微分方程,通过实现深度前馈人工神经网络,构造合适的损失函数和神经网络求解策略,并且提出针对椭圆型偏微分方程的精确、有效的策略和数值方法.该方法只需要在边界和内部上分别选取少量样本点作为训练集,经过迭代学习神经网络的参数使其逼近椭圆型偏微分方程的解.与传统数值方法相比,本方法具有无网格特点,无需生成计算网格,便于处理任意复杂区域问题.数值算例表明此方法可以求解具有复杂区域的微分方程问题且具有较好的数值精度.     

椭圆算子的微分包含问题

讨论了一类椭圆算子的微分包含:Lu∈F(x,u),当集值函数F(x,u)满足一定条件下,运用Schauder不动点定理,证明了在右端项F(x,u)是非凸值情况下解的存在性定理.