带有非局部条件Caputo分数阶差分方程解的存在性

考虑如下Caputo分数阶差分方程△C^v y（t）=-f（t＋v-1,y（t＋v-1））在非局部条件y（v-3）=φ（y）,△y（v＋6）=ψ（y）,△^2y（v-3）=λ（y）下的边值问题（BVP）,其中t∈[0,b],f：[v-2,v-1,…,v＋b]Nv-2×R→R,f为连续函数,φ,ψ,λ∈C（[v-3,v＋b]）→R,2〈v≤3。利用Banach压缩映射定理和Brouwer不动点定理得到此边值问题解存在的充分条件。     

运用压缩映射原理证明满足一定条件的函数存在定理及推广

压缩映射是度量空间与度量空间之间的一种特殊的对应关系,通过这种对应关系可以找到集合X中的稳定点即不动点;通过压缩映射定理知道满足一定条件的情况下可以得到唯一的不动点;在已有的定理证明上,通过一些条件的改变,然后得出新的命题,再用微分中值定理证明其正确性.     

弹性地基有限长梁的动力学建模

弹性地基梁模型的动力响应对于土木工程抗震和土-结构动力相互作用的研究均有非常重要的意义.本文考虑梁的不可伸长条件作用效应,分别运用Newton法和Hamilton变分原理建立了弹性地基有限长梁的精细化动力学模型.由于考虑了地基反力的二次弯矩效应,在动力学方程中包括了相互作用导致的平方非线性.最后研究了弹性地基梁的主共振响应,并分析了二次弯矩对非线性响应的影响.     

蕴含A(m)r+1-可图序列刻划定理的一个构造性证明

采用构造性方法证明了蕴含A(m)r+1-可图序列刻划定理.     

Banach空间分数阶微分方程边值问题解的存在性

考虑Banach空间E中分数阶微分方程边值问题{-Dβ0＋u（t）=f（t,u（t））,t∈Ju（0）=u（1）={θ解的存在性,其中1〈β≤2为实数,J=[0,1],Dβ0＋是标准的Riemann-Liouville导数,f：J×E→E连续.用新的非紧性测度估计技巧,在f满足比较一般的增长条件和非紧性测度条件下通过凝聚映射的不动点定理获得了该边值问题解的存在性.     

利用最小作用原理研究共振问题的周期解

文章的主要目的是研究以下二阶系统{ü（t）＋q（t）u·（t）=↓△F（t,u（t））u（0）-u（T）=u·（0）-e^Q（T）u·（T）=0,a.e.t∈[0,T]。在F（t,x）=F1（t,x）＋F2（x）满足假设（A）及F1（t,x）,F2（x）满足一些可解性条件下,通过使用最小作用原理获得了2个新的存在性定理。     

对称群Sn（n≤15）的一个新刻画

本文首先通过计算给出了对称群Sn（n≤15）的阶｜Sn｜,最高阶元的阶k1（Sn）,次高阶元的阶k2（Sn）及第三高阶元的阶k3（Sn）。然后利用有限单群分类定理证明了Sn（n=1,2,…,9,11,13,14）可由｜Sn｜和k1（Sn）刻画,即有限群G同构于Sn当且仅当｜G｜=｜Sn｜且k1（G）=k1（Sn）。最后对Sn（n=10,12,15）证明了它们可由｜Sn｜和k1（Sn）,k2（Sn）及k3（Sn）刻画,即G 同构于Sn当且仅当｜G｜=｜Sn｜且k1（G）=k1（Sn）,k2（G）=k2（Sn）及k3（G）=k3（Sn）。     

分数阶微分方程多点边值问题解的存在性

当f和g在适当的条件下,只需对解做有界性先验估计,利用变形的Leray-Schauder定理证明分数阶微分方程解的存在性.     

分数阶脉冲微分方程反周期边值问题解的存在性

研究了一类具有Caputo分数导数的分数阶脉冲微分方程反周期边值问题解的存在性与唯一性.首先,运用分析的方法计算出边值问题的Green函数,并讨论了Green函数的性质;其次,将微分方程边值问题转化为积分算子方程,利用不动点理论及压缩映射原理,得到了关于反周期边值问题解的存在性及唯一性的多个新结论.特别地,研究的边值问题在脉冲条件和边界条件中都涉及状态变量的分数阶导数.     

关于微分方程局部解存在定理证明的注记

通过对有关微分方程局部解存在定理经典证明的研究,给出了一个强化条件下的局部解存在定理,同时给出了一个一阶常微分方程解存在的简化证明和解的一般表达式,并提出教学建议。