无穷时滞泛函微分方程解的稳定性分析

假定无穷时滞泛函微分方程的初值问题满足解的存在性和延拓性,利用Liapunov函数对无穷时滞泛函微分方程进行了讨论,建立了该方程的一致渐近稳定性判定定理,给出了无穷时滞Volterra积分微分方程零解一致渐近稳定的一个充分条件。     

空间不均匀的Boltzmann方程的稳定性

摘要：Boltzmann方程是描述稀薄气体变化规律的重要微分方程之一,如果方程的初始状态是真空附近的一个扰动,并且在无穷远处以幂指数形式快速收敛到零,同时分析了空间不均匀的Boltzmann方程的稳定性。为了得到该方程的稳定性,首先引入了几个非线性泛函并时它们作适当的估计,然后利用Gronwall不等式证明空间不均匀的Bohzmann方程的稳定性。     

偏微分方程及泛函Hamiltonian结构的机械化研究与应用

本文是对 PDES与泛函的 Hamiltonian结构的计算机代数构造和判别法的初步研究 .首先给出了微分与泛函的形式化 ,以计算机代数系统 Mathematica为例说明了计算机上实现变分导数 ,Euler-Lagrange算子 ,分部积分及 Frechet导数等基本概念的自动推演形式 .其次在理论上给出 Hamiltonian结构的普适性及Hamilton方程的普遍形式 ,从而为泛函构造其 Hamiltonian方程提供了机械化方法 .     

加权无穷序列空间上集合的列紧性

加权无穷序列空间lp(φ)是通常lp空间的推广.本文考虑其集合紧性问题,证明了当p≥2时,Mlp(φ)为列紧集的充要条件是M一致有界且具有某种意义上的一致收敛性.这一结果丰富了泛函分析的内容.     

Liénard方程非平凡周期解的存在性

文章讨论Liénard方程非平凡周期解的存在性,所获得的结果推广并改进了一些关于Liénard方程周期解的存在性定理.     

共焦对合系与广义Liouville方程族的联系

共焦对合系的｛Ｆ－１｝－流和和｛Ｆｍ｝－流在某约束下，联系着一族无穷维可积的广义Ｌｉｏｖｉｌｌｅ发展方程。其｛Ｆ－１｝－流与｛Ｆｍ｝－流恰分别对应该发展方程族Ｌａｘ对的空间与时间部分。在势函数与（Ｆ－１）和（Ｆｍ）的对合解的约束下，此发展方程族恰化为此哈密尔顿系统。     

Banach空间二阶非线性微分-积分方程两点边值问题整体解的存在性

利用一个新的比较结果和Monch不动点定理,研究了Banach空间二阶非线性微分-积分方程两点边值问题整体解的存在性.     

带白噪声扰动的随机发展方程解的存在性

讨论了Ｈｉｌｂｅｒｔ空间中带白噪声扰动半线性随机发展方程的Ｃａｕｃｈｙ问题，在一组很一般的条件下，建立了Ｃａｕｃｈｙ问题适度解的存在性定理     

一类半线性椭圆型方程正解的存在性

在适当条件下,运用不动点定理结合上、下解的方法证明了一类半线性椭圆型方程全局正解的存在性,并在无穷远处趋于任意预先给定的正数.     

用变分法推导拉普拉斯算子在曲线坐标中的表达式

在张量分析中证明了拉普拉斯微分算子在曲线坐标中的一般表达式[见1]。鉴于变分问题的重要性和为了避免张量的概念,本文用变分法推导拉普拉斯算子以及二重调和方程在曲线坐标中的一般表达式。 由变分法我们已经知道[见2],泛函     

Padé逼近问题的数值代数求解

主要讨论使用单点Padé逼近、多点Padé逼近和混合Padé逼近等三种方法将Padé逼近问题转化为数值代数问题,并通过一个数值例子说明如何利用转化后的矩阵方程求解Padé逼近问题.     

正交各向异性弹性层/压电半空间结构中Love波的传播特性

研究了层状半空间介质中Love波的传播特性,其中表面层为正交各向异性纯弹性材料,而半空间为横观各向同性压电材料.推导了显函形式的频散方程,并结合数值算例分析了压电材料的性能和正交各向异性的程度对传播速度的影响.     

Cahn-Hilliard方程半离散的矩形Morley元有限元方法

采用半离散有限元法求解二维Cahn-Hilliard方程,其中空间方向采用非协调矩形Morley有限元进行离散.导出了半离散有限元解的最优误差估计.     

无穷时滞的一阶脉冲偏中立型泛函微分方程积分解的存在唯一性

利用积分半群算子理论结合Banach压缩映射原理,证明了一类无穷时滞的一阶中立型脉冲偏泛函微分方程积分解的存在唯一性和连续依赖性.     

对流扩散方程的半拉格朗日有限差分法

针对二维对流扩散方程提出了半拉格朗日Crank-Nicolson有限差分格式.化对流扩散方程成拉格朗日形式,然后进行时间和空间离散.时间的离散采用Crank-Nicolson格式,空间离散采用有限差分格式.数值实验表明,新建格式是稳定和收敛的.     

含一般时延的高阶泛函微分方程的周期解

研究了一类含有“一般”时延的高阶泛函微分方程的周期解问题,将原方程化为等价的泛函微分方程,并利用该等价泛函微分方程的特征方程,得到了原方程具有周期解的充分必要条件,即其等价方程的特征方程具有不为零的纯虚根。     

一类不连续四阶微分算子特征函数系的完备性

研究了边界条件含有特征参数的不连续四阶微分算子L的特征函数系的完备性问题.首先,在一个适当的Hilbert空间H中定义一个与问题相关的新算子T,使得T与L有相同的特征值;然后,在已知算子自共轭的基础上,结合其附带的转移条件和边界条件,得到了特征值的判别函数.利用泛函分析方法,得到自共轭算子T的特征值是下方有界的且仅有点谱,再结合紧算子的谱理论,在新空间H中,证明了算子T的特征函数系是完备的,其中算子T的特征函数系是由算子L的特征函数系扩张而成的.     

Hilbert空间中的半线性随机发展方程

研究了由Ｍｉｌｄ发展算子所描述的半线性随机发展方程，得到了解的存在唯一性定理，推广了文献［４］关于线性系统及文献［２］关于由半群描述的半线性系统的相应结果     

Rolle定理的推广及应用

微分中值定理是数学分析中很重要的基本定理,在数学分析中有着广泛的应用。它是沟通函数及其导数之间的桥梁,是应用导数研究函数在某点的局部性质和在某个区间上的整体性质的重要工具。利用微分中值定理可以论证方程的根的存在问题、方程根的个数问题以及根的存在区间问题,也经常用于证明一些含有导数的等式。在形式结构上,Rolle定理是中值定理的基础,一方面它包含在其它中值定理之中,另一方面其它中值定理的证明又往往通过Rolle定理来实现,但该定理要求自变量的范围是闭区间,这就使某些问题的解决受到了限制。主要将Rolle定理推广到有限开区间和无穷区间,用两种方法进行证明,并且举例说明其应用。     

关于非齐次热传导方程的初值控制问题

本文通过构造新的迭代序列,研究了非齐次热传导方程的初值控制问题的可控性,并推广了文[1]的主要结果.