Nagumo条件下三阶两点边值问题解的存在性

讨论Nagumo条件下非线性常微分方程三阶两点边值问题{y″′=t,y,′,y″）,t∈[0,1],y（0）=y′（0）=y′（1）=0解的存在性，其中f：[0，1]×R^3→R为连续函数．     

非线性特征值问题正解的存在性

证明了四阶边值问题y(4) =λα( x) f ( y( x) ) ,　 0 0且充分小时正解的存在性 .其中 ,α:[0 ,1 ]→ R连续 ,f ( 0 ) >0 .本文的工具是L eray- Schauder不动点定理 [4] .     

曲面上图的短圈结构与Mohar和Thomassen的一个问题的解决

研究了(赋权)图的圈基结构并且对包含在最小圈基中的短圈提供了大量信息. 建立了一个基变换的Hall型定理, 利用此定理, 给出了判断一个圈基是最小圈基的充分必要条件, 而且，证明了一个(赋权)图的最小圈基结构是唯一的. 这一性质对于最大圈基也成立 (尽管在最小圈基方面已有很多工作, 而在最大圈基方面的工作几乎没有). 利用这些方法， 发现了(赋权)图中具有特定性质的短圈的一些新结果. 作为应用， 决定了一个嵌入图的短圈的结构, 并找到一个多项式算法能够判断一个嵌入图中是否存在双侧圈, 如果这样的圈存在, 就可以找到一个最短的双侧圈. 这回答了B. Mohar和C. Thomassen提出的一个未解决问题, 并对他们提出的另一个未解决问题给出了部分解答.     

带自扩散和交错扩散的三种群Lotka-Volterra竞争模型解的一致有界性和稳定性

应用能量估计方法和Gagliardo-Nirenberg型不等式,讨论了带自扩散和交错扩散的三种群Lotka-Volterra竞争模型解的一致有界性和整体存在性,并由Lyapunov函数证明了该模型正平衡点的全局渐近稳定性.     

B -值白噪声广义泛函的解析刻画

Banach空间值白噪声广义泛函是一类重要的向量值白噪声广义泛函. 该文建立了Banach空间值白噪声广义泛函的一个解析刻画定理, 并给出了此结果的若干应用.     

具有消息恢复的指定验证人代理多重签名方案

针对已有指定验证人代理签名方案并不具有消息恢复功能,使用自认证公钥技术,提出了一种具有消息恢复的指定验证人代理多重签名方案.在该方案中,代理签名人可以代表多个原始签名人生成指定验证人的代理签名,只有原始签名人指定的验证人可以验证代理签名的有效性,而且由于指定验证人在验证代理签名时可以恢复消息,因此在传送签名时,没有必要传送消息和其他指定验证人代理签名方案相比,本方案降低了传输消息本身所需要的通信开销.     

抽象半线性发展方程初值问题解的存在性

本文研究Banach空间E中具有非紧半群的半线性发展方程初值问题u′(t)+Au(t)=f(t,u(t)),t≥0;u(0)=x_0解的存在性,其中-A为E中等度连续C_0-半群的生成元,f:[0,∞)×E→E连续。在f满足较弱的非紧性测度条件下,获得了该问题饱和mild解的存在性。特别,当E为有序弱序列完备Banach空间时,我们获得了一个不需要非紧性测度条件的便于应用的存在性结果。     

整环上广义幂级数环的分解性质

设A(て)B是整环的扩张,(S,≤)是满足一定条件的严格偏序幺半群,[[BS,≤]]是整环B上的广义幂级数环.本文研究整环[Bs,≤]]和{f∈[[Bs,≤]]|f(0)∈A}的ACCP条件和BFD性质.结果表明,整环{f∈[[BS,≤]]|f(0)∈A}的分解性质不仅依赖于A和B的分解性质以及U(A)和U(B),而且还依赖于幺半群S的分解性质.该结果能够构造出具有某种分解性质的整环的新例子.     

弱耗散梁方程的渐近性

讨论弱耗散梁方程的能量衰退.通过构造辅助泛函的方法克服了一般的证明能量估计的方法在证明过程中所碰到困难,从而证明了如果记忆核是指数衰退的,那么能量也是指数衰退的.     

七阶非线性色散方程初值问题解的局部和整体存在性

该文研究七阶非线性弱色散方程:∂u/∂t + au(∂u/∂x) +β(∂^3 u/∂x^3) +γ(∂^5 u/∂x^5) + μ(∂^7 u/∂x^7)=0, (x,t)∈R^2的初值问题,通过运用震荡积分衰减估计的最近结果, 首先对相应线性方程的基本解建立了几类Strichartz型估计. 其次, 应用这些估计证明了七阶非线性弱色散方程初值问题解的局部与整体存在性和唯一性. 结果表明, 当初值u_0(x)∈H^s(R), s≥2/13 时, 存在局部解; 当s≥1时, 存在整体解.