基于离散数据的非线性抛物型方程反问题

考虑了一类利用离散数据进行线性插值作为终端观测值重构二阶非线性抛物型方程系数的反问题,它在自然科学和工程技术的很多领域都有重要应用.基于最优控制理论框架,先将原问题转化为一个非线性最优控制问题,并导出了最优解所满足的变分不等式.在插值步长趋于零时,利用正问题所满足的一些先验估计结果和变分不等式,证明了极小元的收敛性.     

定态多维量子流体动力学模型解的存在性

研究了热平衡态下多维空间的双极量子流体动力学模型.这个模型由二阶椭圆型方程组成, 通过研究相应的截断系统,构造不动点算子,利用椭圆型方程的估计,并且由嵌入定理得到不动点算子的紧性,从而得到了解的存在性.在证明过程中,利用最大值原理和二阶椭圆方程的估计,得到解的先验估计,由Leray-Schauder不动点定理,得到了这个模型解的存在性.     

具有Wentzel型边界条件的反源问题解的唯一性

研究了有界区域内变系数热传导方程的反源问题.与其他模型不同,此模型中的边界条件是Wentzel型边界条件.在关于空间变量积分的附加条件下进行反演,此类附加条件有利于避免单点观测数据下随机性高、误差大的问题.首先,应用变分理论的方法,研究了方程解的正则性;其次,应用H9lder不等式、Young不等式以及Friedrichs不等式,证明了仅与时间相关的源项系数的唯一性.结果表明给定的附加条件是充分的,能够反演出未知的源项系数.     

关于Gronwall不等式的注记

介绍了Gronwall不等式，并给出了一般的证明方法．利用微分方程中的比较原理，将Gronwall不等式对线性控制量的估计推广到关于非线性控制量的估计．同时给出了Gronwall不等式在讨论微分方程解性质中的应用．     

重构非线性热传导方程导热系数的反问题

研究了一个利用终端数据重构非线性热传导方程导热系数的反问题.首先利用有限体积法,得到了方程的差分格式,并证明了差分格式的稳定性.其次,利用有限差分格式得到了正问题的数值解.最后,通过Gradient型迭代方法对未知导热系数进行了数值模拟,数值结果表明未知导热系数重构的效果很好.     

一维定态薄膜方程Dirichlet边值解的存在性

研究一类定态四阶退化薄膜方程Dirichlet边值条件下的弱解存在性.通过方程变形、构造逼近方程及先验估计的方法,得到非退化问题弱解存在性及正性结果.利用截断方法、Leray-Schauder不动点定理以及Sobolev空间紧性结果,得到退化模型弱解的存在性.由于最大值原理和比较原理对于薄膜方程并不成立,故将方程变形为...     

һ���ʱ�ʹ�ϵͳ��ָ�������ʹ���

基于一类变时滞大系统全局指数稳定性的研究结果，提出了一种大系统指数收敛率的估计方法．利用此方法对该系统的指数收敛率进行了估计，得到了系统指数收敛率的估计式．该方法以大系统的系数矩阵以及与大系统关联的李雅普诺夫矩阵方程的解构造判定矩阵。利用M一矩阵理论，来确定系统的指数收敛率，计算简便，且与时间滞后量无关，便于在实践中应用．     

一类非线性四阶抛物方程周期解的存在性

研究了一类四阶抛物方程在一维情况下的时间周期解的存在性问题.方程形式上,最高阶为四阶线性微分项,低阶部分为二阶非线性微分项,赋予方程时间周期条件和边界条件.主要运用Galerkin方法构造基底及近似解,应用Leray-Schauder不动点定理得到该方程对应的线性方程解的存在性,利用近似解的一致性估计,并利用渐近极限的讨论,得到该方程时间周期解的存在性.     

一类粘性四阶退化抛物方程弱解的存在性

研究一类粘性四阶退化抛物方程弱解的存在性问题.在初始函数的一些假定下,首先考虑半离散问题,利用极小元泛函方法证明构造的椭圆方程弱解的存在性;其次构造此粘性四阶退化抛物方程的逼近解,通过选取恰当的检验函数对逼近解的作一致性估计,得到逼近解的收敛性结果,进而获得弱解的存在性.     

二次B样条曲线的反问题求解

本文给出二次均匀 B 样条曲线反问题解法的两种计算格式,并给出稳定性分析;导出二次非均匀 B 样条曲线的矩阵表达式及反问题求解方法.     

一类拟线性双曲型方程的初值问题

基于双曲型线性偏微分算子理论，引入并研究了具有非零初始值的拟线性双曲型方程的定解问题．由速降函数空间上的傅立叶变换的内积得到了相应的希尔伯特空间和一个重要的估计式．在已知函数满足某些假设条件时，利用Schauder不动点定理证明了该初值问题解的存在性定理．     

数值重构二阶抛物型方程的一阶项系数

研究了一个利用附加条件反演二阶抛物型方程一阶项系数的反问题,基于最优控制框架,证明了控制泛函极小元的存在性及其满足的必要条件.在正问题的计算中,运用离散的有限差分格式来计算方程的数值解,并且用Gradient型迭代法进行数值模拟.数值结果表明该算法是稳定的,而且未知系数反演的效果也很好.     

粘性半导体偏微分方程的定态解

研究了一维粘性定态量子流体动力学(QHD)模型.利用截断法、Leray-Schauder不动点定理以及椭圆型方程的估计,在"亚音速"条件下,得到了强解的存在唯一性.先验估计依赖构造辅助函数,证明依靠截断技术、Leray-Schauder不动点定理和指数变换.     

粘性半导体偏微分方程的定态解

研究了一维粘性定态量子流体动力学(QHD)模型.利用截断法、Leray-Schauder不动点定理以及椭圆型方程的估计,在“亚音速”条件下,得到了强解的存在唯一性.先验估计依赖构造辅助函数,证明依靠截断技术、Leray-Schauder不动点定理和指数变换.     

半线性波动方程在三维空间上径向解的Blow-up

研究了半线性波动方程在三维空间上径向解的Blow-up.应用初等不等式对波前的解进行估计,从而证明在有限时间内解的Blow-up.在证明过程中,通过对满足f(u)=| u|p-1u的基本解的估计来得到解的Blow-up.为了克服基本解的非正定性,将对波前进行估计.通过选取圆环形区域来得到半线性波动方程径向对称型的解和解的逐点下界.假设时间t→∞时,解的均值∫3Ru(x,t)dx比时间t增长的快.     

基于Kriging算法的压气机健康参数主从式插值建模

针对航空燃气轮机压气机数字化建模过程中由于缺少压气机流量系数导致模型精度偏低的问题,基于Kriging插值算法构造了面向压气机流量系数估计的主从式建模方法,分析了高维空间下对应于不同压气机换算转速的流量系数分布特征;基于流量系数的特征提取方法探索了流量系数、换算转速、增压比之间的映射关系,并提出了关于这三类参数的多维样本向量构造方法;基于Kriging算法建立了适用于燃气轮机过渡工况下压气机流量系数主从式插值模型. 研究结果表明:与传统的Kriging插值方法及牛顿插值法相比,基于主从式模型的流量系数计算结果更接近实际值,计算精度提高了近10%;主模型可输出流量系数的估值向量,插值效率相比传统Kriging模型提高了近15%.      

精密的Hayman不等式的推广

在函数值分布论中,有一个重要的Hayman不等式,杨乐证明了精密的Hayman不等式,文中基于Nevanlinna理论对著名的精密Hayman不等式进行了推广,主要是把原不等式中使用的计数函数的常数易为超越整函数,得到副一种形式的Hayman不等式。     

L^2[0,1]区间上的Daubechies小波包的应用

利用小波-Galerkin积分法,第一次给出了用区间上的小波包解第二类积分方程的算法实例,并与小波解积分方程得到的结果进行比较,实验结果表明条件数更小,稳定性更好;同时讨论了解法中方程组的系数矩阵的稀疏性,小波包得到的矩阵更稀疏.     

L2[0,1]区间上的Daubechies小波包的应用

利用小波-Galerkin积分法,第一次给出了用区间上的小波包解第二类积分方程的算法实例,并与小波解积分方程得到的结果进行比较,实验结果表明条件数更小,稳定性更好;同时讨论了解法中方程组的系数矩阵的稀疏性,小波包得到的矩阵更稀疏.     

基于直接刚度法的三段刚度压杆非线性分析

为分析考虑二阶效应的分段刚度压杆内力及位移,根据位移控制方程,建立了变刚度压杆位移和转角方程;根据杆端位移边界条件和变刚度截面处连续条件,得到了位移系数;根据压杆内力方程,建立了以矩阵形式表达的刚度平衡方程,变换得到了变刚度压杆刚度矩阵模型. 将本模型用于分段刚度压杆分岔失稳临界荷载计算,并与解析解、插值形函数单元模型结果进行对比与分析,验证了模型的精度和效率. 结果表明:采用插值形函数法计算压杆临界荷载时,若只划分一个单元,其计算结果与理论解的相对误差最高可达43.24%,随着划分单元数量增加,相对误差降为0.023%;采用基于直接刚度法得到的变刚度压杆单元刚度矩阵计算压杆临界荷载时,只需划分一个单元,即可保证计算结果与理论解一致,该矩阵可用于压杆的非线性分析中,得到压杆内力及位移的精确解.