非线性二阶差分方程三点边值问题的研究

为了拓展非线性离散边值问题的基本理论,研究了一类非线性二阶差分方程三点边值问题正解存在性的充分条件.首先,给出了相应的二阶差分方程三点边值问题解的表达式并证明其性质;其次,在Banach空间中构造合适的锥和积分算子,运用锥上的Krasnoselskii's不动点定理,在非线性项允许变号的条件下,获得非线性二阶差分方程三...     

一类具一阶奇性解的Hilbert核奇异积分方程

利用变换ζ=exp(i2z/a)重新求解了一类黎曼周期边值问题,在此基础上给出了希尔伯特核奇异积分特征方程的解和可解条件,得到了与经典方法形式不同但更为简洁的结果.同时提出了一类具一阶奇性解的希尔伯特核奇异积分方程,给出了解和可解条件表达式.     

不确定离散多时滞系统的模糊动态输出反馈保性能控制

针对一类用T-S模糊模型描述的不确定离散多时滞系统,研究了其动态输出反馈保性能鲁棒控制问题.通过构造一个相应的Lyapunov函数,给出了系统模糊输出反馈保性能控制律存在的一个充分条件和性能上界.并证明了该条件等价于一组线形矩阵不等式的可行性问题.进而,通过建立和求解一个凸优化问题,给出了系统设计次优保性能模糊输出反馈控制律的方法.最后通过一个算例来验证所给结果的有效性.     

关于捕食者-食饵系统正周期解存在性的一个反例

举出一个具有时滞和功能反应的两种群捕食者-食饵扩散系统的反例,并证明该系统不存在正的ω-周期解.这个反例说明了,2003年LI Bin-wen在《Ann.of Diff.Eqs.》上得出的结论是错误的.     

一维离散平均曲率方程Neumann问题解的存在性

用紧向量场方程的解集连通理论给出一维离散平均曲率方程Neumann问题Δ[?(Δu(t-1))]=f(t,u(t)),t∈[1,T]?,Δu(0)=Δu(T)=0的上下解方法,并给出其解的存在性结果,其中:[1,T]?:={1,2,…,T-1,T},T≥2是正整数;?(s)=s/√1-s2,s∈(-1,1);非线性项f...     

(2+1)维AKNS方程的初值扰动波及动力学行为

综合应用相平面分析法和初值扰动椭圆函数展开法研究(2+1)维AKNS方程.给出了方程行波闭轨和同异宿轨的存在性,获得了方程含时间任意函数初始解扰动的椭圆正弦函数精确解,分析了所获解结构在初值扰动下的三类特征,讨论了初值扰动波的局域激发几何结构.所获结果丰富了该方程的可积意义和动力学内涵.     

滞后广义系统的渐近稳定与镇定

广义系统的渐近稳定与镇定问题是广义系统理论的基本问题之一,在许多领域均有应用,时滞广义系统的研究与无时滞广义系统相比要困难得多。利用广义Lyapunov泛函方法研究了具滞后的广义系统的渐近稳定性和镇定问题,给出了渐近稳定判定定理,设计了适当的反馈律,以实现滞后广义系统的镇定,方法简单,直观,易于理解,给出的例子说明了该定理的可行性。     

自组织研究方法及其数学手段——根据输出输入来描述自组织系统的状态和演化

根据自组织的性质及其调节机理能,提出基于系统输出输入这一适用于任何自组织的研究方法,以熵的定律和耗散结构论的基本思想为基础,用能量迁移速度变化来表达熵的定律,推导出远离平衡态系统方程,作为基于系统输出输入研究方法的数学工具。     

解方程算法的局部行为和整体行为

Smale为研究解方程算法的复杂性而提出的“点估计”理论和“一般收敛”概念对迭代法局部行为、半局部行为和整体的研究产生了深刻的影响。他引入的点估计判据既为局部行为的定量分析提供了工具,又启发了对半局部行为统一判定的建立。而用离散动力系统的观察整体行为,更引出不少深邃的研究课题和展示丰富多彩的图景。本文就这些进展及其在非光滑优化方面的应用做一综述。     

K-S方程的精确边界控制

运用Fourier基函数的展开以及Fourier变换的方法研究带有周期边界条件的Kuramoto—Sivashinsky方程在有限时间区间[0,T]上的精确控制．首先研究线性化K—S方程的精确控制,运用Reimann—Lebesgue收敛定理以及Riese基函数的性质证明了在给定的时间T〉0,对于两个任意给定的函数u0（x）,u1（x）属于一定的Sobolev空间,总能找到一个控制函数使得线性化K—S方程有一个存在于某一合适的空间的解u（x,t）使其满足u（x,0）=u0（x）,u（x,t）=u1（x）。然后结合线性化K—S方程的精确控制,再通过定义Fredholm算子并应用此算子的一些理论可以找到K—S方程的控制函数,使其达到精确控制．