一类k-Hessian型方程和系统全局正径向k-凸解的存在性

运用单调迭代技巧和Arzel-Ascoli定理研究一类带权重的k-Hessian型方程S_(k)(D^(2)u+ηI)=p(x)f^((k)(x,-u,-v),x∈R N和系统S_(k)(D^(2)u+ηI)=p(x)f_(1)(^((k)(x,-u,-v),x∈R N,S_(k)(D^(2)v+ηI)=q(x)f_(2)^((k)(x,-u,-v),x∈R N全局正径向k-凸解的存在性及渐近性质,其中S_(k)是k-Hessian型算子,D^(2)u是u的Hessian矩阵,I是单位矩阵,η是非负常数,p,q是正权函数,f,f_(1),f_(2)是[0,∞)×(-∞,0)2上的连续函数.

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

本文研究了一类具有边界执行器动态特性的双曲线型偏微分方程(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时这两个解的渐近行为.

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

建立了二阶非线性中立型阻尼微分方程[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的非线性程度,在某种意义上,要高于那些由线性方程控制的非线性程度,在复杂性方面也是如此。

一类超线性k-Hessian方程耦合系统的径向解

研究一类带参数的奇异超线性k-Hessian系统Dirichlet问题解的存在性.基于Banach空间中的Krasnosel'skii型不动点定理,建立了非平凡径向解的存在性、多解性及不存在性结果.同时,讨论了解依赖于参数的渐近行为.

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

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

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

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

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

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

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

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

特殊拉格朗日型方程在超临界相位下的内部梯度估计

本文研究了在超临界相位下的特殊拉格朗日型方程arctan{∆uIn−D^(2)u}=Θ(x),并建立了与特殊拉格朗日型方程相关的解的内部梯度估计.

具有Neumann边界条件的抛物型方程解的估计

研究了具有Neumann边界条件的一类抛物型方程解的估计,通过微分方法,选取合适的辅助函数和利用极值原理来进行证明。

非线性抛物型积分微分方程Galerkin有限元方法超收敛分析

主要研究非线性抛物型积分微分方程的协调Galerkin有限元方法Crank-Nicolson(CN)全离散格式。通过对非线性项的精细估计,采用插值与投影相结合的估计技巧,导出了L^(∞)(H^(1))模意义下具有O(h^(2)+τ^(2))阶的超逼近性质。进一步利用插值后处理技术得到了整体超收敛结果,弥补了以往文献的不足。同时,通过数值例子验证了理论分析的正确性和方法的高效性。

使用立方型状态方程求氢氮混合气在不同温度下的配制压力

利用立方型状态方程(P-R方程)、Prausnitz等建议的混合规则,计算出配制同一比例混合气在不同充装温度下,所需要各组分充装压力。

一类平均场型随机微分方程的存在唯一性定理

本文研究一类由布朗运动驱动的平均场型随机微分方程,此方程与平均场型最优控制问题紧密相关,应用压缩映射定理给出了平均场型方程的存在唯一性定理,即当系统的系数关于状态和平均场满足Lipschitz连续,关于时间平方可积,并且初始状态变量满足一定可积性条件时,方程具有唯一的强解。