【摘 要】
:
关于微分方程的理论研究已经有着悠久的历史,到现在已经得到了大量的应用结果.随着社会的发展,不管是在工程,生态等自然科学领域还是在金融,管理等社会科学领域,泛函微分方程都有着广泛的应用.然而,在关于泛函微分方程解的存在性的研究工作中,大部分工作只给出了解的存在性的充分条件,而没有给出其近似表示.事实上,只有给出泛函微分方程解的近似表示,才具有它的实际应用价值.基于上述原因,本文讨论了两类中立型泛函微
论文部分内容阅读
关于微分方程的理论研究已经有着悠久的历史,到现在已经得到了大量的应用结果.随着社会的发展,不管是在工程,生态等自然科学领域还是在金融,管理等社会科学领域,泛函微分方程都有着广泛的应用.然而,在关于泛函微分方程解的存在性的研究工作中,大部分工作只给出了解的存在性的充分条件,而没有给出其近似表示.事实上,只有给出泛函微分方程解的近似表示,才具有它的实际应用价值.基于上述原因,本文讨论了两类中立型泛函微分方程的非振动解的存在性的充分条件及近似表示.第一章,首先介绍了泛函微分方程的研究背景和现状,尤其是总结了泛函微分方程的非振动解的存在性的充分条件及它的局限性,其次介绍了本文的研究内容和研究方法.第二章,通过运用压缩映象原理和Lebesgue控制原理,给出了高阶中立型泛函微分方程非振动解的存在性的充分条件,此外,本章不仅证明了放程有无穷多个非振动正解还给出了相应的非振动解的迭代逼近序列以及误差估计,从而使得本章的结果更具有实际意义.第三章,通过运用Krasnoselskii不动点定理及Schauder不动点定理,给出了n阶泛函微分方程非振动解的存在性的充分条件,特别地,本章不仅证明了放程有无穷多个非振动正解还给出了相应的非振动解的迭代逼近序列以及误差估计,从而使得本章的结果具有更大的实际应用价值.
其他文献
分布参数控制系统的状态空间是一个无限维空间,系统在每一瞬间的状态是一个函数,因而分布参数系统的应用面更广,研究时所用的数学工具更复杂.近年来,分布参数控制系统理论已成为控制理论中最活跃的领域之一,并取得不少成果.这些成果在工程系统(如热工程、化工工程、航天工程及机器人工程等),生物与环境系统,经济系统和社会系统(如人口系统)等方面都具有重要意义.由于在自动控制、化工和电子等系统中均存在时滞现象,因
元宇宙和自动驾驶在基础技术体系上存在很多共通性,二者在产业上可以实现多方面的融合发展。笔者认为,以共建共享自动驾驶元宇宙为牵引,通过政产学研金服用各领域众多参与者的共同努力,有助于解决自动驾驶产业发展的一些痛点问题,形成更加繁荣的产业生态。2021年是元宇宙元年,互联网发展开始进入新时代。自动驾驶产业发展当前面临很多痛点问题,元宇宙和自动驾驶在基础技术体系上存在很多共通性,
近年来,作为量子信息过程和量子工程一个基本的组成部分,光与原子系综的相互作用受到了人们广泛的关注。对该领域的研究是基于自由空间中光学稠密的原子系综与量子化的光场之间高效率的相干作用。到目前为止,相对于利用光学腔来增强光与单个原子之间的耦合强度,通过原子系综与光场相互作用已经发展成为一种更为有效和简便的选择。用于描述光与原子相互作用的物理机制和物理模型有很多,包括电磁诱导透明(electromagn
考虑非线性泛函积分方程和需要给出如下条件:(H1)函数α,β,γ:R+→R+连续,且当t→∞时α(t)→∞.(H2)函数.f:R+×r×R→R连续,并且存在正常数L,m,m2,使得对任意t∈R+,x1,x2,y1,y2∈R,有其中L>m1+m2.(H3)函数f(t,0,0)有界,且F=sup{f(t,0,0):t∈R+}.(H4)函数g:R+×R+×R×R→R连续,且存在函数a,b:R+→R+,使
设X为简单图,用V(X),E(X)和Aut(X)分别表示它的顶点集合,边集合和全自同构群.设G是一个有限群,S是G的不含单位元1的子集,我们如下定义群G关于子集S的Cayley有向图X=Cay(G,S):V(X)=G,E(X)={(g,sg)|g∈G,s∈S}.特别的,若S=S-1,则X=Cay(G,S)是无向的.此时我们把一条无向边{u,v}等价于两条有向边(u,v)和(v,u).称一个有限群G
最早起源于十八世纪的图论是离散数学中一个非常重要而且备受欢迎的学科之一,至今已有两百多年的历史。随着科学研究的不断深入发展,图论的实际应用领域越来越广泛。图论不仅对数学理论方面的研究发挥了巨大的推动作用,而且它与其他数学学科密切联系,并相互借鉴融合,使它们均获得了巨大的发展潜力和发展方向。学习图论可以提高和锻炼学生的综合思维能力,通过运用数学工具来更好的描述和解决实际问题。没有2-圈的局部半完全有
鞍点问题的求解在计算科学与工程领域都有非常广泛的应用,例如流体力学,弹性力学,电磁学,带有限制条件的最优化问题和最小二乘问题等.本文针对对称的大型稀疏鞍点问题给出了两种含有待定参数的新的迭代算法,分别称为SMPSOR-Like算法和MGSAOR算法.首先,基于含有参数的修正SOR-Like算法给出一种含有待定参数的新迭代算法,称为对称修正SOR-Like算法,简记为SMPSOR-Like算法.SM
对超可微函数类的研究和应用始于上世纪二十年代。借助于此,R.Meise, B.A.Taylor,D.Vogt和J.BOnet等人扩展了广义函数的理论,利用权函数给出了ω-超可微函数和ω-超广义函数的概念,并在这些空间上开展了线性偏微分算子理论的研究,得到了许多很好的成果.传统上,非伪解析函数类是通过施加在函数的导数上的增长条件来定义分类的.Beurling指出,具有紧支集的函数的Foburier变
具有许多优良特性的k元n方体是应用非常广泛的互连网络之一.k元n方体Qnk(k≥2,n≥1)的顶点集y(Qnk)={u0u1…un-1:0≤ui≤k-1,0≤i≤n-1},两个不同的顶点u=u0u1…un-1和v=v0v1…vn-1相邻当且仅当存在一个整数j∈{0,1,…,n-1},满足uj=vj±1(mod k)且ui=vi,i∈{0,1,…,n-1}\{j}此时称(u,v)为一条j维边.若删去