学科分类
/ 9
162 个结果
  • 简介:利用上下解方法及Schauder不动点定理,证明了二阶非线性微分方程三点边值问题:{y"=f(t,y,z,y',z')z"=g(t,y,z,y',z')y(-1)=A,y(1)=B,z(0)=C0,z'(0)=C1,解的存在性,并由此得到四阶非线性微分方程三点边值问题解的存在性,一定程度上推广了前人的一些结果.作为文章结果的应用,讨论了奇摄动四阶半线性三点边值问题,得到该问题解的存在性及解的渐近估计.

  • 标签: 上下解 SCHAUDER不动点定理 二阶方程组 三点边值问题
  • 简介:讨论了较为广泛的一类迭代函数方程G(x,f(x),…,f^n(x),g(x),…,g^n(x))=0H(x,g(x),…,g^n(x),f(x),…,f^n(x)=0对任x∈J,其中J为实数轴R的连通闭子集,G,H∈C^m(J^2n+1,R),n≥2,对任一个整数m≥0,本文在较弱的条件下证明了该方程的C^m解的存在性和唯一性。

  • 标签: 迭代函数方程组 C^M映射 函数空间 紧致凸集 不动点 存在性
  • 简介:本文应用中立型时超不等式解振动的判别准则和变换技巧,研究了一类n维中立型非线性时超微分方程{d/dt[Xi-c(t)Xi(t+r)]+∑k=1^m1∑j=1^naij^k(t)Xj(t+τk)-∑s=1^m2∑j=1^nbji^s(t)Xj(t+δs)+bif(σ(t+ηi)))=0σ(t)=∑t=1^nCsxi(t)(i=1,2,…,n)解的振动性,获得了其解振动的判别准则。

  • 标签: 非线性时超微分方程组 振动性 中立型 时超不等式 判别准则
  • 简介:考虑含分布时滞的退化中立型系统的鲁棒稳定性.利用算子Ω的稳定性和线性矩阵不等式得到一个新的鲁棒稳定性判据,本判据将中立型时滞、时离散时滞、时分布时滞和退化中立型系统一起考虑,相比已有文献具有较低的保守性.利用Matlab可以验证本判据的有效性.

  • 标签: 退化中立型系统 分布时滞:线性矩阵不等式 积分不等式 稳定性
  • 简介:在允许非线性项号的情况下,利用锥上不动点定理,讨论了一类二阶非线性微分方程的非齐次Sturm-Liouville边值问题解的存在性,得到了至少一个解及正解存在的多个存在性定理.

  • 标签: STURM-LIOUVILLE边值问题 不动点定理 正解
  • 简介:设P为素数,利用同余及高次丢番图方程的一些结果证明了不定方程x-1=3py^2,x^2+x+1=3z^2仅有正整数解(p,x,y,z)=(7,22,1,13)。

  • 标签: 不定方程 同余 正整数解
  • 简介:本文提出了一种求解单调非线性方程的非精确正则化牛顿方法,在较弱的局部误差界条件下,证明了该方法具有局部二次收敛性,该方法是文献[4]中精确正则化牛顿法的推广.

  • 标签: 单调非线性方程组 非精确正则化牛顿法 局部收敛
  • 简介:考虑具有可控增长条件的非线性椭圆方程弱解的部分正则性.利用Duzaar和Grotowski引进的弱解部分正则性证明的新方法,该方法是建立在调和逼近技巧一般形式的基础上的,我们把前人的结果由自然增长条件推广到了可控增长条件,并且所得到的弱解导数的Hoelder指标是最优的.

  • 标签: 非线性椭圆方程组 可控增长条件 调和逼近技巧 最优部分正则性
  • 简介:利用能量方法和单元正交分析方法,构造了特殊的Radau型单元正交展开和张量积分解,简明论证了一阶双曲方程时空间断有限元的收敛性,得到了丰满阶的整体误差估计.数值实验证实了这些理论结果.

  • 标签: 全离散有限元 双曲型方程组 收敛性 时空 一阶 间断有限元
  • 简介:利用重合度理论,研究了一类具多偏差元高阶中立型泛函微分方程的周期解,获得这类方程至少存在和至多存在一个T一周期解的充分性条件,其中周期解的先验界估计与方程的滞量有关.文中的主要结果改进和推广了相关文献的主要定理.

  • 标签: 高阶中立型微分方程 周期解 存在性和唯一性 重合度
  • 简介:基本不等式是研究函数值域、求最大值或最小值、求参数的取值范围常用的利器,通常将问题化难为易、化繁为简,化生为熟.但这需要学生具有敏锐的观察力、精细的分析力、深刻的思考力、丰富的联想力、扎实的运算力,同时还要具有良好的解题回顾的习惯。

  • 标签: 基本不等式 教学实践 概括能力 高中生 最值 变式