共查询到20条相似文献,搜索用时 687 毫秒
1.
何跃 《数学年刊A辑(中文版)》2004,(2)
本文考虑一类二阶退化半线性椭圆型方程边值问题.由椭圆正则化方法建立能量不等式,利用紧性推理,Banach—Saks定理,弱解与强解一致性,解常微分方程,椭圆型方程正则性定理,迭代方法.极值原理和Fredholm—Riesz-Schauder理论,可得相应线性问题适定性及解的高阶正则性;再由Moser引理和Banach不动点定理可得半线性问题解的存在性.这类问题与几何中无穷小等距形变刚性问题密切相关,其高阶正则性解的存在性对几何应用尤为重要. 相似文献
2.
3.
一类二阶退化半线性椭圆型方程边值问题的适定性及解的正则性 总被引:1,自引:0,他引:1
本文考虑一类二阶退化半线性椭圆型方程边值问题.由椭圆正则化方法建立能量不等式,利用紧性推理,Banach-Saks定理,弱解与强解一致性,解常微分方程,椭圆型方程正则性定理,迭代方法,极值原理和Fredholm-Riesz-Schauder理论,可得相应线性问题适定性及解的高阶正则性;再由Moser引理和Banach不动点定理可得半线性问题解的存在性.这类问题与几何中无穷小等距形变刚性问题密切相关,其高阶正则性解的存在性对几何应用尤为重要. 相似文献
4.
5.
6.
本文研究了具有连续参数齐次随机场的3个类型的线性预测问题和两个类型的马氏性问题,并用这3个类型的预测问题的研究结果及[1]的方法,求出了这两个类型的马氏性问题具有马氏性的充分条件和充分必要条件.且深化了[1]中结果. 相似文献
7.
8.
9.
研究一类具脉冲时滞的非线性双曲型向量泛函微分方程解的H-振动性.方法是采用由Domslak引进的H-振动性的概念,将向量微分方程解的振动问题转化为纯量微分不等式正解和负解的不存在性问题.得到了解的H-振动性的若干判别准则. 相似文献
10.
11.
12.
13.
在没有凸性结构的局部FC-一致空间内,引入和研究了某些新的广义矢量拟变分包含问题组和广义矢量理想(真,帕雷多(Pareto),弱)拟优化问题组.应用KKM型定理和Himmelberg型不动点定理,首先对广义矢量拟变分包含问题组的解,证明了某些新的存在性定理.作为应用,对广义矢量理想(真,帕雷多,弱)拟优化问题组的解也得到了某些新的存在性结果. 相似文献
14.
讨论了一类带有扩散与时滞的流行性传染病模型的行波解的存在性.首先,将系统的行波解的存在性问题转化为一个二阶常微分方程组的单调解的存在性问题;应用单调方法和不动点方法,进一步地将问题转化为方程组的上下解的构造问题;应用所建立的引理与定理,通过构造适合的上下解,证明了系统单调行波解的存在性. 相似文献
15.
本文致力于研究一类带阻尼问题周期解的存在性问题.借助于辅助函数,我们得到了一些新的超二次增长和渐进二次增长条件,利用临界点理论中的极大极小方法,获得一些新的存在性结果,推广了已有文献中相关存在性结论. 相似文献
16.
17.
本文研究了集值映射向量优化问题的锥弱有效解的镇定性和稳定性,我们引进了集值映射向量优化问题的镇定性和稳定性的定义,并证明了集值映射向量优化问题的镇定性和稳定性的一些主要定理. 相似文献
18.
本文研究了一个四阶椭圆方程解的存在性问题.利用山路定理和喷泉定理,结合变分方法,获得了该问题弱解的几个存在性定理,推广了现有的一些结果. 相似文献
19.
《数学的实践与认识》2015,(12)
可满足性是逻辑语义理论的基本概念.在分析基元命题内部的逻辑形式的基础上,研究了可拓逻辑的语法及语义理论,给出了可拓逻辑中的可满足性定义.讨论了矛盾问题的可拓逻辑表示,并给出了基于可满足性概念的矛盾问题定义和表示实例. 相似文献