变分Lyapunov方法与脉冲泛函微分系统的一致稳定性

本文研究了一类具有界滞量的脉冲泛函微分系统,通过用变分Lyapunov函数结合Razumikhin技巧的方法建立了一个变分比较原理,得到了脉冲泛函微分系统关于两个测度的一致稳定与一致渐近稳定的比较结果,并给出相关例子。     

泛函微分系统依照两个测度的稳定性

运用变分Lyapunov方法,研究了泛函微分系统依照两个测度的稳定性。首先,给出了关于微分系统的一个Razumikhin型比较定理。进一步,得到一个变分比较定理。根据此结果,在未扰动系统为常微分系统的情形下,建立了关于泛函微分系统依照两个测度稳定性的判定定理,推广并改进了已有结果。     

关于一阶微分核泛函的变分问题

针对目前关于一阶微分核泛函变分理论的不足,文章从定义的精准化入手,给出了这类泛函极值的一个充分条件,并列举出用其解决的实际问题。     

具有脉动的泛函微分系统的稳定性定理

研究了具有脉动的泛函微分系统关于两个测度的稳定性。在允许解轨线碰撞同一脉冲面有限次的情况下,利用变分Lyapunov方法给出了判定脉冲泛函微分系统稳定性的比较结果。     

Ekeland变分原理的推广

将Ekeland变分原理中的广义实值泛函推广为向量值函数,得到了一个形式上和Ekeland变分原理相同的向量值函数的Ekeland变分原理.     

垂直调和映射的二阶变分

对于黎曼流形的浸没建立了垂直能量泛函的二阶变分公式，研究强垂直调和映射的稳定性。得到球面和球面中某些子流形任意黎曼流形的非平凡的稳定强垂直调和映射的不存在性定理。     

解一类似变分不等式问题的预解式技术与辅助原理技术

在研究变分不等式问题 ,特别是解的逼近时 ,通常要借助于真凸下半连续泛函的次微分算子的预解算子 ,运用Banach不动点定理逼近变分不等式问题的解 .而针对似变分不等式问题 ,方法之一是构造一系列辅助问题来逼近问题的解———即辅助原理技术 .另一种新颖的方法是借助于 η 次微分的概念 ,构造 η 次微分算子的预解式来逼近问题的解 .运用 η 次微分算子的预解式技术和辅助原理技术给出了一类似变分不等式问题解的存在性和唯一性 .     

时空分数阶扩散方程的最小二乘混合型有限元方法

本文考虑时空分数阶扩散问题的数值模拟.通过引入通量u=-Dp作为中间变量,将分数阶扩散方程化为一阶微分方程组,构造了相应的最小二乘泛函与变分问题,证明了最小二乘问题与变分问题的等价性.据此,对时空分数阶扩散方程建立了最小二乘混合型有限元离散格式,利用双线性形式满足■不等式,证明了离散格式解的存在唯一性与收敛性估计,并进行了数值实验.     

BBM方程的Hamilton表示

研究了水波动力学中重要规则长波方程之一的BBM方程的Hamilton表示.运用Olver研究该类方程的守恒律来定义能量函数E(u),推导出一种新型的变分原理,并利用所得到的变分原理导出BBM方程的Hamilton表示.同时,利用待定泛函形式的变分原理导出另一种形式的BBM方程的Hamilton表示.两种形式的Hamilton表示均可引进辛差分格式,进行数值解计算.     

小挠度弯曲平板中的广义变分泛函

给出了小挠度弯曲平板中４类变量、６类变量、７类变量３种新的广义变分泛函。其中６类变量和７类变量广义变分泛函，是小挠度弯曲平板问题中最一般的两种广义变分泛函形式。     

协作体系斜拉桥竖向自由振动理论研究

基于大位移非线性弹性理论的广义变分原理,考虑加劲梁轴向压缩应变能和剪切应变能的影响,建立了协作体系斜拉桥空间耦合自由振动的大位移不完全广义势能泛函,通过约束变分导出了协作体系斜拉桥的加劲主梁竖向挠曲振动微分方程.同时以金马大桥为例,构造了T构与斜拉桥协作体系的边界条件.求解出的竖向振动方程的解析解,与有限元数值结果对比吻合良好,证明了方法的正确性.这一方法可为同类型结构的固有振动特性分析提供参考.     

几类泛函微分方程的稳定性比较研究

泛函微分方程是对各种具有复杂变元的微分方程和带有各种滞后量的积分微分方程等的抽象概括,其稳定性研究在现代化的科学研究中具有重要的作用;在此,就中立型泛函微分方程、非线性泛函微分方程和随机时滞泛函微分方程的稳定性进行了探讨;不同类型的泛函微分方程采用的数值方法尽管有相似之处,但也有一些区别;无论哪种方法,都旨在为泛函微分方程的稳定性研究提供可靠的理论保障。     

时滞泛函微分方程的稳定性定理

用Liapunov方法研究时滞泛函微分方程系统的稳定性，得到了系统的渐近稳定性定理、一致渐近稳定性定理及全局渐近稳定性定理，而不要求Liapunov泛函正定，也不要求其沿系统的解的导数负定．     

一类二阶泛函微分不等式及其应用

研究一类二阶非线性具分布型滞量泛函微分不等式解的渐近性质。作为应用,建立了泛函微分方程解的振动准则。     

两类含多个未知函数的函数方程的可微解

讨论了两类含多个未知函数的函数方程可微解的存在性条件,并将其求解问题归结为常微分方程的求解问题。     

无穷时滞算子型泛函微分方程的稳定性

以B空间为相空间,利用D算子的性质及Liapunov泛函方法,研究了具无穷时滞中立型泛函微分方程零解的稳定性.得到了新的一致稳定及一致渐近稳定的判别准则,推广了一般泛函微分方程稳定性的判别结果.     

B-值广义泛函意义下的Wick型随机微分方程

将B-值白噪声广义泛函应用到随机微分方程中,建立B-值广义泛函意义下的Wick型随机微分方程,获得方程解的存在、唯一性定理,证明解的连续性及解对初值的连续依赖性.     

脉冲泛函微分系统的集合稳定性

用分段连续的Lyapunov函数及比较原理,建立了脉冲泛函微分系统的集合稳定性的判别准则。     

Banach空间中非线性中立型泛函微分方程θ-方法的收缩性

中立型泛函微分方程（NFDEs）广泛出现于生物学、物理学、控制理论以及工程技术等领域,近四十年来人们对其进行了大量研究。但由于其困难性,对其数值解的研究基本局限于线性问题和一些特殊的非线性问题,而对于更为一般的中立型非线性初值问题的研究很少。这篇文章致力于研究巴拿赫空间中非线性中立型泛函微分方程初值问题θ-方法的非线性收缩性,获得了θ-方法求解NFDEs的收缩性的结果。     

时滞泛函微分方程的某些稳定性定理

给出了时滞泛函微分方程的零解一致稳定性的新判据，Ｖ的上界可以是某些条件下的正函数；对于解的渐近性及渐近稳定性和一致渐近稳定性给出的判据，去掉了方程右端函数ｆ的有界性假设，使Ｖ的上界容许是在某种条件下的常负函数，推广了Ｊ。Ｋ．Ｈａｌｅ的结果，便于应用。