方程—Δu=f(x,u,Du)在W~(2, P)(Ω)中的可解性

本文在一定的条件下证明了DiriChlet问题■在W~(2,p)(Ω)中的可解性,其中p>1当N=1或2;P≥2N/(N+2)当N≥3,而不象以前关于这方面的工作要限制p>N。     

面向对象逻辑语言中的常识知识表示

面向对象程序设计风格和逻辑程序设计风格有其各自的优点和局限性．本文利用ＳＣＫＥ范例的特性，在其中嵌入了常识知识表示模型ＬＸＺ，为大型软件（特别是基于知识的软件）系统的设计提供了一个较有效的环境．     

中立型抽象微分方程Sp-权伪概周期弱解的存在性

 利用中立型微分方程S^p-权伪概周期函数的一个新分解定理和Krasnoselskii’s不动点定理,得到了中立型抽象微分方程的S^p-权伪概周期弱解存在性条件.     

非线性分数阶微分方程边值问题多重正解的存在性

 研究了非线性分数阶微分方程边值问题 ^cD^α₀₊u(t)+f(t,u(t))=0, 0cD^α₀₊为Caputo分数阶导数.通过Green函数的性质,利用不动点定理得出了奇异和非奇异微分方程边值问题多重正解的存在性的一些理论以及奇异问题的唯一解存在性理论,并给出了相应的例证.     

卡诺定理和热力学第二定律须正确扩展

热力学是一门依靠大量科学实验的事实发展起来的近代科学学科.在19世纪经典热力学有过它的辉煌年代,曾经是当时科学发展的一个典范.卡诺定理和由此建立起来的经典热力学第二定律,其正确性不容任何形式的否定.但由于近百年的欠发展,如今热力学成为比较罕见的谬误相对集中的学术领域.当前对卡诺定理和经典热力学第二定律的否定,大体上可以分为两种：一种是比较直接的反对,或声称得到了第二类永动机;另一种是通过篡改或混淆热力学熵函数的定义,或利用根本不存在的＂麦克斯韦妖＂等（包括声称为＂证明热力学第二定律＂的形式）来进行否定.为驳斥谬误,通过一种改变内部热容的卡诺热机的详细描述,证明：卡诺定理和经典热力学第二定律不可能也不容否定.同时指明：它们必须正确地加以发展成为扩展卡诺定理和普适化热力学第二定律.     

椭圆算子的微分包含问题

讨论了一类椭圆算子的微分包含:Lu∈F(x,u),当集值函数F(x,u)满足一定条件下,运用Schauder不动点定理,证明了在右端项F(x,u)是非凸值情况下解的存在性定理.     

单调增加的连续函数的Picard迭代序列的收敛定理

证明了若f:[a,b]→[a,b]为单调增加的连续函数,λ∈(0,1),定义Fλ:[a,b]→[a,b],Fλx=(1-λ)x+λf(x),x1∈[a,b],xn+1=Fλxn=Fλnx1,n≥1,则{xn}单调地收敛于f的1个不动点.     

一类具有一致连续系数的倒向重随机微分方程

利用倒向重随机微分方程解的比较定理和函数逼近方法讨论了一类具有一致连续系数的1维倒向重随机微分方程,得到了此类方程解的存在定理,推广了系数满足Lipschitz条件的情形.     

一类四阶两点边值问题解的存在唯一性

运用锥的性质和u0-凹算子的不动点理论讨论一类四阶两点边值问题,得到了此类问题解的存在唯一性,给出了该类问题正解存在唯一性的充分条件,改进了文献中的相关结论,同时还给出了一个例子作为应用.