一类Monge-Ampère方程Neumann问题的梯度估计

将文献[1]中的方法运用到一类Monge-Ampère方程det[D2u-σ(x,u)]=f(x,u,Du)的Neumann边值问题中,分别得到梯度内估计,近边梯度估计以及边界梯度估计,从而得到退化椭圆解的全局梯度估计.     

关于一维稳态黏性量子流体动力学模型的一个注记

研究一维稳态黏性量子流体动力学等温模型,证明了当规模普朗克常数趋于零时,模型的解收敛于无量子项的黏性流体动力学模型的解.该证明需要得到关于解的平方根的一个新的估计,此估计显然在以前的文献[4-5]中没有得到,由此给出了关于量子项的一致控制,从而可使解取极限.此极限过程描述了从量子力学到经典牛顿力学的一个关系.     

单调性方法在具散度型二阶拟线性抛物方程组中的应用

本文改进了文献[1]与[3]中有关单调算子的结果,并用之于证明一类二阶拟线性抛物方程组广义解的存在性。我们所得的结果,推广了文献[2,Ch.V,§6]的定理,并得到了几个新的结论。     

一类Laplace方程预定夹角问题的边界梯度估计

研究了一类Laplace方程预定夹角问题的梯度估计,通过选取适当的辅助函数,利用函数在极大值点的性质,证明了解的内梯度估计、近边梯度估计和边界梯度估计有界.得到了一类Laplace方程中关于f依赖于x,u,Du时预定夹角的解的全局梯度估计.     

二阶非线性椭圆方程边值问题多重解的存在性

借助于Leray-Schauder度理论以及对于椭圆边值问题的Schauder估计,本文证明了一类拟线性椭圆边值问题多重解的存在性。这些结果是受文献[1]的启发而得到的。     

关于无线性搜索记忆梯度法的一个修正

对文献[1]提出的无线性搜索记忆梯度法进行了修正,得到一种新的无线性搜索记忆梯度算法,并证明在较弱的条件下,该算法还是整体收敛的.     

主部不相同的弱相关的抛物型和椭圆型方程组的梯度估计

解的梯度估计在偏微分方程的研究中有极为重要的作用。单个方程的解的梯度估计已有不少结果,但是对于方程组,特别是方程组中各方程的主部互不相同时,解的梯度估计就比较困难。本文用对于单个方程的解的梯度估计的方法,建立一组微分不等式,从而得到关于方程组的解的梯度估计。 这里的主要工具是极大值原理,证明的关键是找出一个适当的辅助函数。     

与时间有关的线性迁移方程的非负解的极值原理

在最近的文献[1]中,Larsen研究了与时间无关的线性迁移方程的解的极值原理.从[1]中获悉,在[2]中,Bensoussan,Lions和Papanicolaou以及在[3]中,Williams得到在“局部保守”介质中与时间有关的共轭迁移方程的解N~*的极值原理.本文讨论与时间有关的线性迁移方程,当其系数满足一定条件时,我们证明解的极值原     

二阶混合型方程的边值问题

在文献[1-5]中,作者提出和讨论了具有抛物退化线段的二阶混合型方程的Tricomi问题,它对于空气动力学有重要应用。本文中,我们先给出广义混合型(Lavrent’ev-Bitsadze)方程边值问题解的表达式,该边值问题包括Tricomi问题作为特殊情况,然后证明上述问题解的唯一性。最后我们证明广义二阶混合型(Lavrent’ev-Bitsadze)方程边值问题的可解性,从而得到上述问题解的先验估计。上述问题是一个类似于由J.M.Rassias在最近提出的一个未解解决的问题。     

关于Lewis的模态系统S5的几个注记

本文分三个部分:其一,将应用作者在文献[4]和[5]中得到的关于S5(即S_e)和S5(即S_e)的单纯完全性定理来证明Barcan公式和Prior的导出规则RLM可以分别在S5和S5中推出.这一事实已由Prior在文献[9]中指出,但本文给出的语义证明比[9]中的语法证明要简捷一些;其二,考虑了由S5添加命题量词而得的系统S5的判定问题;Kaplan在文摘[6]中已证明S5(在[6]中记为S5Q)为可判定的.在本文中我们采用Rasiowa和Sikorski在[10]中对一大类带命题量词演算S引进的代数语义方法并具体用到Ackermann在[1]中给出的关于二阶一目谓词演算P_m~2判定问题的一些事实得到更多的结果;其三,我们再次应用S5的单纯完全性定理重新证明S5具有6个模态辞.此事系由O.Becker首先于1930年在文[3]中证明的,本文中的语义证明比Becker[3]中的语法证明似要精致一些.     

关于可测集的定义和开长方体可测性定理的证明

<正> 文[3]曾经指出文献[1]在证明“可测集的并集为可测集”时出现了不定式.该定理的证明又得到文献[2]的引用.本文对文献[2]在测度理论的有关定义和定理的证明提出一些看法,并给出测度理论中一个重要定理的重新证明.     

带松弛项的单个守恒律方程解的大时间状态估计

论文考虑一维空间中带松弛项的单个守恒律方程. 文[4]通过对线性化方程Green函数的估计得到整体解的逐点估计,论文在此基础上进一步得到解的大时间状态估计和Lp模估计,并反映出"弱"惠更斯原理.     

一类四阶拟线性常微分方程的奇摄动

对拟线性常微分方程奇摄动问题已有不少讨论,例如文献[1]～[3],但在这些工作中,均仅作出了外部解的零阶近似.本文讨论四阶拟线性常微分方程的奇摄动,得到了外部解和边界层校正项的M阶递推方程,并作出了余项估计,从而得到了在整个区域内一致有效的渐近展开式,进而导得了该拟线性摄动问题解的存在唯一性.     

关于一类椭圆型方程下解最大值估计的一个注

本文指出文献[1]中定理9.7关于拟线性椭圆型偏微分方程解的极大值的估计,可以扩充到形如(1)的非线性椭圆型偏微分方程下解的最大值的估计.     

一致L-lipschitz渐近伪压缩映象的三重迭代解

该文在一般Banach空间中研究了渐近伪压缩映象方程具误差的三重迭代解的逼近问题.把文中证明所用下确界改为下极限,保证了必有一点列收敛.本证明还改进了文献[2]中的主要结果,证明方法也不同于[2]中给出的.     

一类非线性椭圆型方程组解的C~(1,α)部分正则性

目前研究椭圆方程组解的正则性主要使用两种方法:间接方法和直接方法。前者关健在“blow up”技巧,后者依赖于使用“逆Hlder不等式”得到解的L~p估计,最近Giarrusso在[1]中用一种新的技术,用直接方法但不用逆Hlder不等式,对一类非线性椭圆型方程组的解得到其梯度的部分正则性。本文对[1]的结果作些推广。     

用微分连续法求非线性方程组数值解

本文给出并证明了与文献[1]不同的用微分连续法求非线性方程组数值解的公式。证明的方法与文献[1]不同。在PDP-11/45计算机上,用本文的公式和文献[1]中的中点公式计算了文献[1]中的两个算例,在h相同的情况下,用本文公式得到的结果更接近真解。     

一类非线形耦合偏微分方程的精确解

通过适当的变量变换将某些非线性耦合的偏微分方程(PDE3)转化成单个的非线性偏微分方程,再利用文献[2]中所用的方法得到了这些非线性耦合的偏微分方程一些新的显示精确解.这些精确解不包含在[1]中获得的那些解之中,从而推广了文献[1]的某些结果.此方法也可用来求长水波近似方程的精确解.     

一类线性微分方程解的增长性

研究二阶微分方程f〃+e-znf'+(A1ep(z)+A2eQ(z))f=0解的增长性,运用值分布和复域微分方程理论,得到上述方程的解的增长性的精确估计,推广并完善了文献[10]的结果.     

多组对策系统非劣Nash策略的功效系数算法

引进多组对策系统组内部合作对策非劣解的线性型功效系数方法,证明最优解是组内部隐含某一权重向量的合作对策的非劣解,由此得到合作对策的单目标规划问题.在组内部该问题的解不仅是非劣的,而且对于所有局中人都优于不合作时的Nash平衡策略.利用组与组之间的非劣反应集,构造求解非劣Nash策略的迭代算法.该算法在保留文献[3]优点的前提下,克服其缺点,得到的解优于文献[3]对应的解.最后,用实例验证了该算法的有效性和正确性,所得结论丰富了多组对策问题的内容.