一类具有复杂执行器动态的双曲线型偏微分方程输出调节

本文研究了一类具有边界执行器动态特性的双曲线型偏微分方程(Partial differential equation, PDE)系统的输出调节问题.特别地,执行器由一组非线性常微分方程(Ordinary differential equation, ODE)描述,控制输入出现在执行器的一端而非直接作用在PDE系统上,这使得控制任务变得相当困难.基于几何设计方法和有限维与无限维反步法,本文提出了显式表达的输出调节器,实现了该类系统的扰动补偿及跟踪控制.并且我们采用Lyapunov稳定性理论严格证明了闭环系统及跟踪误差在范数意义上的指数稳定性.仿真实例对比验证了所提出控制方法的有效性.

伪抛物型p-Kirchhoff方程的爆破解

该文研究了一类具有变指数的伪抛物型p-Kirchhoff方程的齐次Dirichlet初边值问题.首先,采用改进的势阱法和辅助函数法,对初始能量进行最优分类,得到解的爆破和整体存在的判据.其次,分别得到了解的爆破时间估计和整体解的大时间性态.

求解绝对值方程组的广义SOR型方法

为了求解大规模的绝对值方程Ax-|x|=b,利用预处理技术及参数矩阵取代单参数的策略,文章提出了一类广义SOR型(GSOR)方法。通过选取适当的预处理矩阵或参数,GSOR方法能简化为已有的一种SOR型(NSOR)方法或导出更有效的SOR型方法。而且,基于Ax-|x|=b方程解的唯一性条件,建立了GSOR方法的收敛性定理并给出了该方法的拟最优参数。特别地,利用截断的Neumann展开构建了一个新的预处理矩阵,由此导出了一种特殊的GSOR方法,记为GSOR-1方法。文章进一步证明:GSOR-1方法具有比NSOR方法更小的拟最优收敛因子。数值测试进一步揭示:GSOR-1方法比NSOR方法具有更快的收敛速度且耗费更少的计算时间。

四次型状态方程计算若干物质的固-液-气三相物性

为考察四次型状态方程(CCOR-PT EOS)的性能,对苯酚、乙烷、正壬烷、丙酮、乙酸乙酯、二氧化碳、甲苯、正庚烷、乙炔、正己烷、辛烷11个物质的固-液-气三相压力、体积、温度(PVT)物性,使用CCOR-PT EOS进行计算,并与文献数据相比较。同时考察了物质的固有参数对计算结果的影响。结果表明,该方程能够较好地描述包括固体升华压力、固体密度等在内的三相PVT物性,计算结果对临界压缩因子ZC的敏感程度大于偏心因子ω。

带临界指数的Kirchhoff型线性耦合方程组正解的多重性

该文研究了如下带Sobolev临界指数的Kirchhoff型线性耦合方程组{−(1+b_(1)∥u∥^(2))Δu+λ_(1)u=u5+βv,x∈Ω,−(1+b_(2)∥v∥^(2))Δv+λ_(2)v=v^(5)+βu,x∈Ω,u=v=0在∂Ω上,其中Ω⊂R^(3)是一个开球,∥⋅∥表示H_(0)^(1)(Ω)的范数,β∈R是一个耦合参数.常数b_(i)≥0和λ_(i)∈(−λ_(1)(Ω),−1/4λ_(1)(Ω)),i=1,2,这里λ_(1)(Ω)是(−Δ,H_(0)^(1)(Ω))的第一特征值.在含有Kirchhoff项的情形下,利用变分法证明了方程组有一个正基态解和一个高能量的正解,并研究了当β→0时这两个解的渐近行为.

带色散的四阶抛物型方程的紧致差分格式

本研究提出一种有效求解带色散四阶抛物型方程的四阶紧致差分格式。对该方程的空间变量用四阶紧致差分格式进行离散,对离散之后得到的常微分方程组用三次Hermite插值法进行求解,得到一种空间和时间方向上都具有四阶精度的数值格式,并用傅里叶方法证明了该格式的无条件稳定性。数值实验中给出三种类型的算例,并将本研究格式与Crank-Nicolson格式进行数值比较,证明了本研究格式的有效性。结果表明,本研究格式对求解带色散的四阶抛物型方程具有很好的实用性。

一种求解时间分数阶非线性抛物型方程的等阶混合有限元

为数值求解时间分数阶非线性抛物型方程,本文提出了一种k次等阶混合有限元.为获得有限元的完全离散格式,本文在时间方向上考虑经典L1格式、在空间方向上使用基于局部投影的稳定混合有限元.本文定义了混合投影并得到了有限元的误差估计.数值算例验证了理论结果 .

具阻尼项的二阶非线性中立型微分方程的振动准则

建立了二阶非线性中立型阻尼微分方程[a(t)|z′(t)|^(α-1 )z′(t)]′+b(t)|z′(t)|^(α-1) z′(t)+q(t)|x(σ(t))|^(β-1) x(σ(t))=0的若干振动准则,其中z(t)=x(t)+p(t)x(τ(t))。改进、推广和统一了已有文献的相关结果,并通过实例说明了所得准则的广泛应用效果。

基于立方型气体状态方程的激波风洞准一维流动数值研究

采用基于立方型气体状态方程的准一维流动数值模拟方法研究了反射式高焓激波风洞的真实气体流动,重点关注了高压真实气体效应对风洞全场流动时空结构和驻室区气流参数的影响,并以理论分析揭示了高压真实气体效应对激波管内流动的作用机理。研究表明:对于以冷高压气体驱动的激波风洞,使用考虑分子体积和分子间作用力的真实气体状态方程能够更准确地描述气体的状态和风洞内的流动状况。高压真实气体效应主要在冷驱动气体中发生作用,其作用效果主要是使当地声速增大,从而使得入射稀疏波和反射稀疏波的传播速度加快;另一方面,高压气体效应在高温气体效应较显著的被驱动气体中作用微弱,且对激波管产生激波的强度和激波后的流动状态影响甚微。稀疏波的加快传播改变了激波管波系的相干时空关系。提前抵达的稀疏波可在一定情况下侵蚀激波风洞的有效试验时间。对于所测试的激波风洞构型,在150 MPa氢气驱动110 kPa氮气的工况下,高压效应导致的有效试验时间缩短约38%。适当加长驱动段长度和采用高温气体驱动均可有效减弱高压真实气体效应的影响。

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

本文主要研究了一类双重退化的四阶抛物方程弱解的存在性问题.首先,利用Galerkin理论与能量估计方法可以得到该问题在非退化边界情形下弱解的存在性.在此基础上,通过对正则化问题的解进行一致估计以及渐近极限的过程,获得边界退化情形下弱解的存在性.

基于终端观测条件反演非线性抛物型方程的辐射系数

研究了利用终端观测数据重构非线性热传导方程辐射系数的反演问题。与一般的抛物型方程不同的是,非线性热传导方程不仅具有非线性源项,而且边界也是非线性的。主要研究了一维逆问题的理论分析。对于多维情况,同样是适用的。基于最优控制框架,考虑到原问题的不适定性,首先将原问题转化为一个优化问题,在对原问题做估计的同时,证明了控制泛函极小值的存在性以及极值存在的必要条件。其次由于最优控制问题是非凸的,一般不存在全局唯一性,该解只在一些特殊条件下是局部唯一的。最后简单给出了解的稳定性分析。需要指出的是,一般情况下,参数识别是一个非线性反问题,即使其基本方程是一个线性方程。模型复杂性的增大,一方面使得该模型可以刻画更多的物理现象,另一方面也会给相应的分析带来更大的困难。因此,逆问题P的非线性程度,在某种意义上,要高于那些由线性方程控制的非线性程度,在复杂性方面也是如此。

一类Caputo-Katugampola型分数阶微分方程耦合系统边值问题

利用Leray-Schauder二择一定理和Schauder不动点定理,研究了一类具有Caputo-Katugampola型导数的分数阶微分方程耦合系统边值问题解的存在唯一性,再利用Banach不动点定理和Ulam-Hyers稳定性的定义,讨论了该边值问题的Ulam-Hyers稳定性.

一类Kirchhoff型方程边值问题多重解的存在性研究

本文讨论了一类Kirchhoff型方程{-(a+b‖u‖^(2))Δu=bμu^(3)+f(x,u),x∈Ωu=0,x∈∂Ω多重解的存在性,其中:Ω⊂R^(N)是有界区域(N=1,2,3),a,b>0,μ∈R为参数,μ小于非线性特征值问题{-‖u‖^(2)Δu=μu^(3),x∈Ωu=0,x∈∂Ω{的主特征值,即μ<μ1,f∈C(Ω×R,R)在无穷远处满足次四次条件。利用临界点理论及Clark定理可以证明上述Kirchhoff型方程多重解的存在性。

质量临界Kirchhoff型方程正规化解的性质

该文通过约束变分方法研究了一类质量临界Kirchhoff型方程正规化解的性质,获得了该方程正规化解的存在性、非存在性以及集中性结果.

一类带阻尼项的非线性脉冲时滞双曲型方程的振动性分析

研究了一类带阻尼项的非线性脉冲双曲型方程的振动性问题。借助阻尼项的处理技巧及一阶脉冲时滞微分不等式的已有结果,得到了该类方程在Dirichlet边值条件下所有解振动的若干充分性判据。所得结论表明,脉冲量和时滞量均会影响方程的振动性。

具有周期系数的Kirchhoff-型差分方程同宿解的存在性

运用临界点理论研究一类具有周期系数的Kirchhoff-型差分方程同宿解问题。首先,构造了差分方程所对应的能量泛函。在文中的假设条件下,保证了能量泛函具有山路几何结构,从而得到了一个Palais-Smale序列。然后,利用一个可变号的全局性条件证明了该Palais-Smale序列的有界性。进一步,借助于l^(2)空间的紧支撑子集的性质和系数的周期性得到了该差分方程的一个非平凡同宿解。最后,给出两个例子说明了主要结论的正确性。

具幂次非线性项的伪抛物型方程的精确解

研究具幂次非线性项的伪抛物型方程.利用二阶微分方程作为辅助方程,对伪抛物型方程的解进行合理假设,将原方程转化为一组复杂代数方程并借助于计算机代数系统进行求解,最终获得了伪抛物型方程具有tanh函数形式、三角函数形式和有理函数形式的新精确解.

具有无界势能的Kirchhoff-型差分方程多个同宿轨的存在性

该文运用临界点理论研究了具有无界势能的Kirchhoff-型差分方程多个同宿轨的存在性.特别地,文中借助于非线性项次线性增长条件和一些技巧证明了能量泛函满足Palais-Smale紧性条件.最后举例说明主要结论.

一类抛物型方程初值与源项同时反演问题的唯一性与数值计算

基于实际应用的驱动,利用局部观测数据研究了一类抛物型方程初值与源项同时反演问题。首先利用特征函数展开法得到问题的级数形式解,基于级数解构造性地证明基于2个观测时刻的含局部测量数据同时反演问题的非唯一性;其次利用抛物型方程解的解析延拓性,证明了基于3个观测时刻含局部测量数据的同时反演问题的唯一性;然后基于有限元插值技术和叠加原理,构造了同时反演问题的反演算法;最后通过构造具有解析解和不具有解析解的数值算例验证了反演算法的有效性。

R_(+)^(N)上不同阶椭圆方程组的Liouville型定理

本文研究带Navier边值的不同阶椭圆方程组的Liouville型问题.主要结论的证明采用了伸缩变换,双边引理和积分形式的移动平面方法.