论文部分内容阅读
积分不等式在研究微分方程解的存在性,稳定性以及解的其它定性与定量性质中具有极其重要的作用.在众多不等式的推广研究中,由于Gronwall-Bellman型不等式在微分方程,差分方程,时标动力方程解的估计以及有界性研究过程中具有非常广泛的应用,因此许多数学家都致力于推广此类不等式,使之应用更加广泛. 本文在已有积分不等式的基础之上,进一步将几类一元,二元时滞积分不等式推广到时标上,并得到一些更新的结果. 本文将分五章进行阐述. 第一章主要阐述了本文的一些研究概况以及本文用到的相关定义和引理. 第二章研究了时标上带有时滞项的Gronwall型积分不等式,形如{u(t)≤a(t)+∫tt0b1(s)u(s-r1)△s+∫c(t)c(t0)b2(s)u(s-r2)△s,t∈[t0,T)T,u(t)≤φ(t),t∈[t0-r2,t0)T,和带有时滞项的Gronwall-Bellman-Ou-Iang型积分不等式,即左边为平方项,右侧的时滞项更一般化,形如{u2(t)≤a+∫tt0f1(s)u(Τ1(s))△s+∫c(t)c(t0)f2(s)u(Τ2(s))△s,t∈[t0+∞)T,u(t)≤φ(t)≤a1/2, t∈[α,t0)T,运用相关引理和时标上的知识,通过分析计算,得到新的积分不等式,并且推广了文献中相关结果. 第三章考虑了一类时标上带有时滞项的二元Gronwall型变上限积分不等式,形如{ um(x,y)≤p(x,y)+∫α(x)x0∫β(y)y0a(x,y,t,s)un(t-r,s-r)△s△t+∫xx0∫yy0b(x,y,t,s)un(t-r,s-r)△s△t,x∈[x0,+∞)T,y∈[y0,+∞)T,u(x,y)≤φ(x,y)≤p1/m(x,y), x∈[x0-r,x0)T或y∈[y0-r,y0)T,通过引入新的函数,对此函数求导,利用代数不等式,计算推导得到未知函数u的估计式,进而得到一些新的结论. 第四章推广了含有两个变量的Gronwall-Bellman型二维积分不等式系统,形如{u(x,y)≤a1(x,y)+∫xx0∫yyo[f11(t,s)u(t,s)+f12(t,s)v(t,s)]△s△t,v(x,y)≤a2(x,y)+∫xx0∫yyo[f21(t,s)u(t,s)+f22(t,s)v(t,s)]△s△t,利用已知不等式推出新的结果,并应用到二维积分方程系统上,得到方程解有界的充分条件. 第五章研究了带有时滞项和脉冲点的Gronwall-Bellman-Bihari型积分不等式,形如u(t)≤a(t)+∫tt0f1(s)u(Τ1(s))△s+∫c(t)c(t0)f1(s)u(Τ1(s))△s+∑t0<ti<tβium(ti-0),通过对定义域分段考虑,利用函数单调性以及数学归纳法,得到u函数的上界.