基于不同边值条件的逆Sturm-Liouville问题

研究了定义在[0,1]区间上的逆Sturm-Liouville微分算子的唯一性问题.应用Marchenko唯一性定理证明了:若势函数q(x)在区间[0,a](1/2≤a<1)上是已知的,则通过在无穷组谱中选取一组适当的共有特征值能唯一确定区间[0,1]上的势函数及边值条件.     

对称型势函数的逆谱问题

考虑定义在[0,1]区间上的Sturm-Liouville(S-L)微分算子的逆特征值问题.应用Weyl函数性质及Marchenko唯一性定理证明:若势函数是多重对称且在部分区间上已知,则可选取一组适当的特征值唯一确定[0,1]上的势函数.     

非连续Sturm-Liouville算子的谱分布及其逆特征值问题

研究了定义在[0,1]区间且在点t0∈(0,1)具有界面条件的Sturm-Liouville算子的特征值与定义在子区间[0,t0]与[t0,1]上的两个Sturum-Liouville算子的特征值分布及其逆特征值问题.利用Weyl-Titchmarsh-m-函数的单调性态,证明了这三组谱之间具有交错性关系,并证明了若子区间上的两组谱不相交,则可由这三组谱唯一确定势函数q(x)与边值条件中的参数h和H.     

非线性项含零点的二阶Dirichlet问题结点解集的全局结构

用Rabinowitz全局分歧定理, 研究二阶Dirichlet边值问题结点解集的全局结构, 其中r为正参数, a: ［0,1］→［0,∞)连续且允许其在［0,1］的 部分真子区间上恒为0, f: R→R在0和∞处是渐近线性的且有两个非0零点.     

非线性含参系统无穷多正周期解的存在性

用Krasnoselskii不动点定理, 讨论非线性含参系统无穷多正周期解的存在性, 得到了其无穷多个正周期解, 其中λ是一个正参数, a,b: ［0,1］→［0,∞)是连续函数且在［0,1］的任意子区间上不恒为0, f,g: ［0,1]×［0,∞)×［0,∞)→［0,∞)是连续函数.     

一类势函数具有脉冲点的Sturm-Liouville算子的半逆问题

目的研究势函数具有脉冲点的Sturm-Liouville算子在Robin边值条件下的半逆问题。方法根据缺失一个特征值后的一组谱和[0,1/2]区间上的势函数q(x)及边值条件中的参数h利用Pivovarchik的方法进行重构。结果与结论得到了(1/2,1]区间上q(x)和参数H的存在性和唯一性,给出了唯一解相应的重构算法。     

基于内部谱数据非连续Dirac算子的逆问题

考虑定义在［0,π］区间上内部有跳跃间断点的非连续Dirac算子的逆问题, 证明了特征值及其对应的特征向量(即内部谱数据)可唯一确定该系统的势函数.     

带参数的非线性简单支撑静态梁方程正解的存在性及多解性

用上下解方法和拓扑度理论讨论带参数的非线性简单支撑静态梁方程正解的存在性和多解性, 其中: λ>0是一个参数; k₁2<0, k₁,k₂均为实常数; f:［0,1］×［0,∞)→(0,∞)为连续函数, 且f(x,y)对固定的x∈［0,1］关于y单调增.     

一类半正二阶常微分方程边值问题正解的存在性

考虑非线性二阶常微分方程边值问题u″+c(t)u+λf(t,u)=0, 00, c(·)∈C［0,1］满足-∞π²对t∈［0,1］成立, f:［0,1］×R⁺→R连续且满足f≥-L, L>0是常数。通过利用相应线性边值问题的Green函数及其性质和Krasnoselskii不动点定理,获得了问题正解的存在性结果。     

一类Neumann边值问题正解的存在性

分别运用锥上的不动点定理和Leggett Williams不动点定理讨论Neumann边值问题u″(t)+a(t)u′(t)+b(t)u(t)+f(t,u(t))=0,t∈(0,1),u′(0)=u′(1)=0正解及多个正解的存在性, 其中: a∈C［0,1］; b∈C(［0,1］,(-∞,0));f∈C(［0,1］×［0,+∞),［0,+∞)).     

一类非线性三阶边值问题正解集的全局结构

考虑一类非线性三阶常微分方程边值问题{-u⁽³⁾(t)=λf(t,u(t)), a.e. t∈［0,1］,u(0)=u'(0)=0, u'(1)=αu'(η)正解集的全局结构,其中 f:［0,1］×R→［0,∞)为L1-Carathéodory函数,0<η<1 且 1<α<1/η为常数。在f满足线性增长的条件下,运用Rabinowitz全局分歧定理得到其正解集的全局结构。     

带有导数项的二阶周期问题正解

获得了非线性函数带有导数项的二阶周期边值问题{u″(t)+au(t)=f(t,u(t),u'(t)),〓t∈［0,1］,u(0)=u(1), u'(0)=u'(1)正解的存在性, 其中(π²)/4π², f:［0,1］×R⁺×R→R⁺连续。 f(t,x,y)满足Nagumo条件, 且关于 x 和 y 满足一定的超线性增长条件。针对超线性情形, Nagumo条件关于y严格控制了f的增长。主要结果的证明基于不动点指数理论。     

一类半正二阶Neumann边值问题正解的存在性

考察一类半正二阶Neumann边值问题■正解的存在性,其中λ是正参数,a∈C[0,1]且■∈C([0,1]×R⁺,R)且f(t,0)<0。证得存在一个正数λ₀,使得当0<λ<λ₀时,该问题存在一个正解。主要结果的证明基于拓扑度理论。     

一类非线性三阶三点边值问题正解的存在性、不存在性及多解性

考虑一类非线性三阶三点边值问题{u(t)+λf(t,u(t))=0, t∈［0,1］,u(0)=u'(0)=0, u'(1)=αu'(η)正解的存在性、不存在性以及多解性,其中λ>0是一个参数,0<η<1, 1<α<1/η, f:［0,1］×［0,∞)→(0,∞)是一个连续函数。主要定理的证明基于不动点指数理论、Leray-Schauder度以及上下解方法。     

带积分边界条件的四阶边值问题的单调正解

运用单调迭代技巧研究了带积分边界条件的四阶边值问题{u⁽⁴⁾(t)=f(t,u(t),u'(t)), t∈(0,1),u(0)=u'(1)=u(1)=0,u″(0)=∫¹₀g(t)u″(t)dt单调正解的存在性,其中 f:［0,1］×［0,+∞)²→［0,+∞)连续, g:［0,1］→［0,+∞)连续,不仅获得了该问题正解的存在性,而且得出迭代列的初值是简单的零函数或一次函数。     

一类四阶周期边值问题解的存在性与唯一性

运用Leray-Schauder 不动点定理,讨论四阶周期边值问题{u⁽⁴⁾(t)=f(t,u(t), u'(t)), t∈［0,1］,u⁽ⁱ⁾(0)=u⁽ⁱ⁾(1), i=0,1,2,3解的存在性与唯一性,其中f:［0,1］×R²→R连续。在允许非线性项f(t,x,y)关于x、y超线性增长的不等式条件下,获得了该问题解的存在性与唯一性。     

非齐次边界条件下弹性梁方程正解的多解性

研究带非齐次边界条件的两端简单支撑的弹性梁方程■多个正解的存在性,其中f∈C([0,1]×[0,∞),[0,∞)),b>0,且对给定的x∈[0,1],f(x,s)关于s单调递增。在适当的条件下,证明存在b^*>0,使得当0*时至少存在两个正解;当b=b^*时至少存在一个正解;当b>b^*时无正解。该结果的证明基于上下解方法和拓扑度理论。     

剩余格上逻辑度量空间的拓扑性质

首先研究了逻辑度量空间(［0,1］, ρ_R)与度量空间(F(X),H_R)的关系,其次讨论了［0,1］剩余格上逻辑度量空间中Cauchy-列的收敛性问题,最后在一般剩余格上建立了一致拓扑结构,为我们研究一般剩余格的结构提供了一种新的方法,并为逻辑推理系统的鲁棒性分析奠定了理论基础。     

一类含一阶导数的四阶边值问题正解的全局结构

考察了一类含一阶导数的四阶边值问题{u⁽⁴⁾(t)=rf(t,u(t),u'(t)), t∈(0,1),u(0)=u'(0)=u″(1)=u(1)=0正解的全局结构,其中r是正参数, f:［0,1］×［0,∞)×［0,∞)→［0,∞)连续,且f(t,0,0)=0。当参数r在一定范围内变化时,运用Rabinowitz全局分歧定理获得了该问题正解的全局结构,所得结果推广并改进了已有的相关结果。