2n阶非线性差分方程周期解的存在性与多重性
- 格式:pdf
- 大小:196.41 KB
- 文档页数:4
2m阶差分方程边值问题解的存在性周展;徐菲【摘要】讨论一类2m阶非线性差分方程边值问题.通过建立相应的变分框架,将边值问题的解转换为对应的非线性泛函的临界点.利用环绕定理,获得变分泛函临界点的存在性,进而得到所求边值问题解的存在性.最后给出例子说明本文的结论.【期刊名称】《广州大学学报(自然科学版)》【年(卷),期】2016(015)004【总页数】5页(P13-17)【关键词】2m阶差分方程;环绕定理;边值问题【作者】周展;徐菲【作者单位】广州大学数学与信息科学学院,广东广州510006;广州大学数学与交叉科学广东普通高校重点实验室,广东广州510006【正文语种】中文【中图分类】O175.8差分方程在诸如物理、生态、金融等领域有着广泛的应用.众所周知,差分方程是微分方程离散化, 它与相应的微分方程有很多共同的性质,但很多差分方程与其对应的微分方程有本质不同.因此,在过去几十年里,许多学者把注意力放在差分方程周期解的存在性、振动性、边值问题等方面,获得了丰富的结果,主要方法包括上下解方法、拓扑度理论、不动点理论等经典方法[1-4].2003 年开始,GUO等开始利用临界点理论研究二阶超线性差分方程的周期解和次调和解[3],后来,这一方法被用来研究差分方程的边值问题.设R, Z分别表示实数集和整数集.对任给的a, b∈Z且a≤b,定义Z(a,b)={a,a+1,…,b},Z(a)={a,a+1,…}.Δ为向前的差分算子,定义为Δun=un+1-un,Δkun=Δ(Δk-1un), k∈Z(2).设T∈Z(2), 在参考文献[5]中,ATICI 等讨论了如下差分方程的周期边值问题:这里f∈C(Z(1,T)×R,R).方程(1)作为一个二阶微分方程的离散模型,被应用于很多领域,如空气动力学、核物理等.运用上下解方法,ATICI等建立了边值问题(1)存在唯一解的条件.2014年, LIU等在参考文献[6]中利用临界点理论研究了四阶差分边值问题的解的存在性与不存在性条件.其中δ表示正奇数的比,f∈C(Z(1,T)×R, R).在物理学中方程(2)经常被用来模拟弹性梁的弯曲程度.2009年,ZOU等在参考文献[7] 中利用临界点理论讨论了以下2m阶差分方程:Δm(pn-mΔmun-m)+(-1)m+1f(n,un)=0,n∈Z(1,T)在边值条件下的解的存在情况.其中 T和m是任给的正整数,且T>m.然而,可以看到大部分参考文献[5-6,8-12]都是研究二阶或者四阶差分方程的, 对一般高阶差分方程的研究相对来说较少.受文献[4-7,13]的启发,本文讨论更一般的2m阶差分方程Δm(pn-mΔmun-m)+(-1)m+1Δ(g(Δun-1))+(-1)m+1f(n,un)=0, n∈Z(1,T)在边值条件下的解的存在性.其中g∈C(R, R), f(n,·)∈C(R,R)对任意n∈Z(1,T).设m, T∈Z(1)且T>m, 定义向量空间Ω={u={un}|un∈R,n∈Z(1-m,T+m)},对任意的u,v∈Ω,a,b∈R有au+bv={aun+bvn}.E={u={un}∈Ω|u1-i=u1,uT+i=uT,i∈Z(1,m)}是Ω的一个线性子空间.易知E与RT是同构的,因此,在空间E上可以定义内积如下:由E上的内积可以诱导空间E上的范数:对任意的r≥1, 可以定义空间E上的另一种范数:因为E是有限维空间,所以存在2个常数c2(r)≥c1(r)>0使得c1(r)‖u‖2≤‖u‖r≤c2(r)‖u‖2,∀u∈E这里u.显然J ∈C1(E,R),其中C1(E, R)表示Hilbert空间E上Fréchet可微且其Fréchet导数是连续的泛函集合.根据E的定义, 有f(n,un),∀n∈Z(1,T).因此,u是泛函J的一个临界点当且仅当u满足边值问题(5)~(6).记u={un}∈E,由于E与RT同构,所以u可写成u=(u1,u2,…,uT)*∈RT.那么存在T×T阶矩阵A 使得显然, A是一个半正定矩阵.令σ+(A)为A的所有正特征值构成的集合.定义}.设W, Y分别为A的0特征值和所有正特征值对应的特征向量空间,则W={(u1,u2,…,uT)*∈RT|ui=w,w∈R,i∈Z(1,T)},且下面介绍一些临界点理论的基本概念和基本结果.定义1 设S是一个实Banach空间, J∈C1(S,R)满足Palais-Smale条件 (简称P.S.条件),如果对任给的{un}⊂S,{J(un)}有界,当n→∞时J′(un)→0蕴含{un}有收敛的子列.记Bρ={y∈S: ‖y‖<ρ}是以0为中心,半径为ρ的开球,‖y‖=ρ}为Bρ的边界.引理1(环绕定理[14]) 设S=S1⨁S2是一个Hilbert空间, 其中,S1是S的一个有限维的子空间. 若J∈C1(S,R)满足P.S.条件且满足:(1)存在常数σ>0和ρ>0使得J|∂Bρ∩S2≥σ;(2)存在e∈∂B1∩S2和常数R1>ρ使得J|∂Q≤0, 其中⨁{re|0<r<R1}.那么J存在临界值c≥σ, 这里表示∂Q上的恒等算子.定理1 如果以下假设都满足:(A1)f(n,v),g(v)是关于v连续, 且g(0)=0, G(v)≥0对v∈R成立,其中n∈Z(1,T); (A2)对任给的n∈Z(1-m,T),pn>0;(A3)当n∈Z(1,T),v∈R时F(n,v)≥0且(A4)存在正常数R2和β>2使得0<βF(n,v)≤vf(n,v), n∈Z(1,T),|v|≥R2;(A5)存在正常数R3和α<β使得0<sg(s)≤αG(s),n∈Z(1,T),|s|≥R3.那么边值问题(5)~(6)至少存在2个非平凡解.注1 由(A4)知,存在正常数使得,∀(n,v)∈Z(1,T)×R.注2 由(A5)、(A1)知,存在正常数得,∀s∈R.记p*=max{pn, n∈Z(1-m,T)},p*=min{pn, n∈Z(1-m, T)}.则p*≥p*>0.为了方便定理1的证明, 需要验证下面的引理.引理2 假设(A1)~(A5)都满足, 那么泛函J满足P.S.条件.证明设{u(l)}l∈Z(1)⊂E是一个P.S.序列,则存在常数C使得|J(u(l))|≤C,∀l∈Z(1).根据式(11),注1和注2有‖a1c1β(β)‖‖‖u(l)‖α-‖注意到J(u(l))≥-C, 则由式(13)得‖‖u(l)‖2-‖C.因为β>max{2,α}, 所以存在常数N0>0使得‖u(l)‖≤N0,∀l∈N. 因此, {u(l)}是E 上的有界序列.因为E是有限维的, 所以 {u(l)}存在收敛的子列.即J满足P.S.条件. 定理1的证明由(A3)知f(n,0)=0, n∈Z(1,T), 结合(A1)中g(0)=0知0是 J的一个临界点, 且J(0)=0.式 (13)蕴含lim‖u‖→+∞J(u)=-∞, 因此,J在E上有上界,-J是强制的.记cmax为{J(u)}的上确界,对任给的c0>|cmax|, 存在一个常数t>0,使得|J(u)|>c0>|cmax|,‖u‖>t.根据J在E上的连续性, 存在使得即是J的一个临界点. 可断定cmax>0. 事实上, 由(A3)知存在和η>0使得F(n,u)≤ε|u|2,|u|≤η.对任给的u=(u1,u2,…,uT)*∈Y,‖u‖≤η有|un|≤η,n∈Z(1,T). 因此,‖u‖2-ε‖u‖2=‖u‖2令,∀u∈Y∩∂Bη有J(u)≥σ>0,所以cmax=supu∈EJ(u)≥σ>0, 故cmax对应的临界点是边值问题(5)~(6)的一个非平凡解. 要得到另一个非平凡解可以利用引理1.由引理2 知J满足P.S.条件.其次,令S2=Y,S1=W,则E=S1+S2.由式(14)知J|Y∩∂Bη≥σ,因此J满足引理1的第一个条件.为了验证J满足引理1 的第二个条件,设e∈∂B1∩Y,对任给的w∈W,r∈R,令u=re+w,有‖‖w‖β.定义,‖w‖β.可以得到,因此k1(r),k2(w)有上界.注意到,则存在一个正常数R4>η使得J(u)≤0,∀u∈∂Q成立, 其中⨁{re|0<r<R4}.由引理1知J存在一个临界值c≥σ>0,其中}.令使得c. 如果,那么定理1的结论成立.不然,有,也即).令h=id,有.与上述方法类似,可以将e换成-e∈∂B1∩Y,同样存在一个常数R5>η使得∀u∈∂Q1,J(u)≤0成立,其中⨁{-re|0<r<R5},再次利用引理1可以得到J存在一个临界值c′≥σ>0,其中}.同理,存在u′∈E使得J(u′)=c′,如果定理1的结论成立,否则有,即,也即).令h=id,有因为J|∂Q≤0与J|∂Q1≤0,所以u′一定是Q和Q1的内点,然而Q∩Q1⊂W且对任给的u∈W都有J(u)≤0成立,即c′≤0与c′>0矛盾,因此结论成立,定理1 得证.例1 设T为一正整数, 考虑四阶差分方程边值问题Δu-1=Δu0=0,ΔuT=ΔuT+1=0对照式(5), 有因此易知边值问题(15)~(16)满足条件(A1)~(A5), 其中α=4,β=6, 由定理1 知至少存在2个非平凡解.【相关文献】[1] AGARWAL R P, O′REGAN D. Singular discrete (n,p) boundary value problems[J]. Appl Math Lett, 1999, 12(8): 113-119.[2] AGARWAL R P, WONG F H. Upper and lower solutions method for higher-orderdiscrete boundary values problems[J]. Math Ineq Appl, 1998, 1(4): 551-557.[3] GUO Z M, YU J S. Existence of periodic and subharmonic solutions for second-order superlinear difference equations[J]. Sci China Ser A, 2003, 46(4): 506-515.[4] ZHOU Z, YU J S, CHEN Y M. Periodic solutions of a 2nth-order nonliner difference equation[J]. Sci China Math, 2010, 53(1): 41-50.[5] ATICI F M, CABADA A. Existence and uniqueness results for discrete second-order periodic boundary value problems[J]. Comput Math Appl, 2003, 45(6/9): 1417-1427. [6] LIU X, ZHANG Y B, SHI H P. Nonexistence and existence results for a class of fourth-order difference Neumann boundary value problems[J]. Indag Math, 2015, 26(1): 293-305.[7] ZOU Q R, WENG P X. Solutions of 2nth-order boundary value problem for difference equation via variational method[J]. Adv Differ Equ, 2009, Art. ID 730484,10pp.[8] 李龙图, 翁佩萱. 二阶泛函差分方程边值问题[J]. 华南师范大学学报:自然科学版,2003(3): 20-24.LI L T, WENG P X. Boundary value problems of second order functional difference equation[J]. J South China Normal Univ: Nat Sci Edi, 2003(3): 20-24.[9] 梁海华, 翁佩萱. 一类四阶差分边值问题解的存在性与临界点方法[J]. 高校应用数学学报, 2008, 23(1): 67-72.LIANG H H, WENG P X. Existence of solutions for a fourth-order difference boundary value problem and critical point method[J]. Appl Math J Chin Univ Ser A, 2008, 23(1): 67-72.[10]ZHENG B, ZHANG Q Q. Existence and multiplicity of solutions of second-order difference boundary value problems[J]. Act Appl Math, 2010, 110(1): 131-152.[11]LIU X, ZHANG Y B, SHI H P. Periodic solutions for fourth-order nonlinear functional difference equations[J]. Math Meth Appl Sci, 2015, 38(1): 1-10.[12]LIU X, ZHANG Y B, SHI H P. Nonexistence and existence results for a class of fourth-order difference Dirichlet boundary value problems[J]. Math Meth Appl Sci, 2015, 38(4): 691-700.[13]BONANNO G, CANDITO P, D′AUGI G. Variational methods on finite dimentional banach spaces and discrete problems[J]. Adv Nonlin Stud, 2014, 14(4): 915-939.[14]RABINOWITZ P H. Minimax methods in critical point theory with applications to differential equations[M]. USA: CBMS, American Mathematical Society, 1986.。
第29卷第4期江苏理工学院学报JOURNAL OF JIANGSU UNIVERSITY OF TECHNOLOGYVo l.29,No.4Aug.,20232023年8月在天体力学中,质点的运动规律可以表示为非线性微分方程组。
庞加莱在《天体力学新方法》中提出,诸多力学微分方程系统都可化成正规型微分方程系统,即Hamilton 系统。
Hamilton 系统作为一类重要的动力学系统,在力学、统计力学、天体力学、控制论等领域有着广泛的应用。
在动力学系统中,天体运行的位置坐标和速度经过一定时间都会回到原来的数值,因此周期解理论作为天体运行周期轨道的存在性和稳定性的理论,是非线性动力系统的主要研究对象。
寻找这类非线性微分方程的周期解主要有三种方法:定性方法、分析方法、数值方法。
本文对于Hamilton 系统周期解的研究主要运用分析方法中的变分法。
变分法起源于物理学的最速降线问题,这个物理问题最终由数学家运用极小化原理得到解决。
其一般原理为:在赋范空间X 中,设映射φ:X →R ,将求算子方程φ′(u )=0在X 上的解,归结为求φ的局部极小值或极大值。
用变分法解Hamilton 系统周期解的关键即:在某空间上定义相应泛函,从而使泛函的临界点与Hamilton 系统的周期解相对应。
本文运用变分方法中极小作用原理,考虑如下扰动的二阶Hamilton 系统:ìíîu (t )+Bu ()t =∇F (t,u (t ))a.e.t ∈[0,T ]u (0)-u (T )=u (0)-u (T )=0。
(1)系统中,B 是反对称矩阵,T >0,F :[0,T ]×R N →R 。
此非线性微分方程满足条件(A ):F ()t ,x 对∀x ∈R N 关于t 是可测的,对a.e.t ∈[0,T ]关于x 是连续可微的;∃a ∈C ()R +,R +,b ∈L 1()0,T ;R +使得对a.e.t ∈[0,T ]和∀x ∈R N 都有|F ()t,x |≤a ()|x |b ()t ,|∇F ()t ,x |≤a ()|x |b ()t 。
非线性choquard方程解的存在性和多重性
Choquard 方程是一个典型的非线性方程,其通常被称为Choquard-Pohozaev 方程,其由勒贝尔在1962 年提出。
Choquard 方程考虑了非线性有限支持效应,并将其与连续空间结构中的植物和昆虫类型的行为进行了关联。
例如,它可以用于描述植物和昆虫对密切的距离的反应,以及它们在不同环境中的行为。
Choquard 方程的解可以通过把问题转换成一种四维空间中的表达式来解决。
在这里,变量仅仅是相对位置和大小,其中距离仅仅就是衍生出来的量。
由于 Choquard 方程存在非线性效应,因此在解决时也需要特殊的处理策略。
这些包括对密度的估计,以及使用分歧型积分变换来解决通径前后的问题,因为距离会发生变化。
通过妥善的处理,可以求得有效的解,从而解决可能存在的存在性和多重性问题。
Choquard 方程的解也可以应用到非线性动力系统中,从而获得预测性结果。
例如,它可以应用于危险时间处理,以及多物体系统中的厘定运动。
此外,这个方程可以用于模拟非线性水力过程,如洪水、大河和其他溪流,以及复杂的空气结构运动,如气象模拟中的风暴和雨等等。
总之,Choquard 方程可以用来解决非线性方程的存在性和多重性问题,它可以用于模拟各种有限支持下的物理系统,并可以得出一些有用的信息。
几类差分方程的周期解的开题报告标题:几类差分方程的周期解研究摘要:本文研究了几类差分方程的周期解问题,分别使用了不同的方法进行探讨,并借助数值模拟来验证结论。
具体来说,本文将讨论以下几个问题:(1)一阶差分方程的周期解;(2)二阶差分方程的周期解;(3)由常系数线性差分方程表示的二阶差分方程的周期解;(4)非线性差分方程的周期解。
在研究过程中,我们使用了多种方法,如递推法、线性代数、特征方程法、拉格朗日插值法等。
同时,为了验证结论的正确性,我们通过数值模拟进行了验证。
最后,我们总结了各类差分方程周期解的特点和共同之处,并探讨了未来可能的研究方向。
关键词:差分方程;周期解;递推法;特征方程法;拉格朗日插值法;数值模拟。
研究方法和步骤:(1)一阶差分方程的周期解对于一阶差分方程y(k+1) = f(y(k)), 我们研究了周期解的存在性和求解方法。
我们使用递推法来求解周期解,并使用数值模拟验证了得到的结论。
(2)二阶差分方程的周期解对于二阶差分方程y(k+2) = f(y(k),y(k+1)), 我们采用了特征方程法来求解周期解。
我们先通过特征方程求出方程的通解,然后根据初值条件来确定特解,从而得到周期解。
(3)由常系数线性差分方程表示的二阶差分方程的周期解对于形如y(k+2) + ay(k+1) + by(k) = 0的差分方程,我们使用特征方程法求出通解,然后根据初值条件来确定特解,从而得到周期解。
(4)非线性差分方程的周期解对于非线性差分方程y(k+1) = f(y(k)), 我们使用拉格朗日插值法来求解周期解。
我们将差分方程中的y(k+1)用拉格朗日插值公式来表示,然后将表达式带回原方程,从而得到一个递推公式,进而求解周期解。
预期结果:通过对几类差分方程周期解的研究,我们将得到以下结果:(1)一阶差分方程的周期解存在,并能够通过递推法求解。
(2)二阶差分方程的周期解存在,并能够通过特征方程法求解。
二阶非线性微分方程的稳定性:一阶非线性微分方程的稳定性是指该方程在特定条件及其解的未来行为,尤其是其稳定性(也称为收敛性)方面的性质,这种性质也称之为稳定性。
二阶非线性微分方程也有着这种稳定性,但由于它的非线性性质,其稳定性也不同于一阶方程。
首先要明确,什么是一阶微分方程?它是指函数y(t)的一个或多个关于时间t的副导数的函数。
这种方程最常见的情况是变量具有线性关系,这时,只要通过解方程就可以求解变量的值。
通常,解一阶微分方程的稳定性可以用来确定系统的未来状态,这与一阶微分方程有关。
了解了一阶微分方程,那么就可以讨论二阶微分方程的稳定性。
它也可以用来表示变量的线性关系,不过它包含一个变量的二阶导数,而不是一阶导数。
由于二阶导数的概念,二阶微分方程的非线性性质比一阶方程更为明显。
这意味着给定任何解,可以观察系统的稳定性的行为如何变化。
了解了二阶微分方程的非线性性质,我们将进一步讨论其稳定性。
根据本原定理,二阶微分方程的收敛性取决于其动力学特性,而动力学特性又受到变量的相互作用以及外部条件的影响。
比如,假设存在一个复杂的非线性系统,由于外部条件的不同,其变量的相互作用会导致该系统的动力学行为而发生变化,从而影响到系统的稳定性。
因此,可以得出结论,二阶非线性微分方程的稳定性取决于变量的相互作用和外部条件,这一结论也反映了非线性性质对二阶微分方程的影响。
两阶微分方程的收敛性可以通过分析变量的相互作用及其外部条件来确定或分析,以便实现系统的及时稳定。
综上,二阶微分方程的稳定性取决于变量的相互作用及其外部条件的影响,这使得系统的动力行为可以不断变化,影响到其未来的收敛稳定性。
因此,要想得出安全稳定的解,必须要精确到位地分析和研究变量的动力学行为。
一类二维非线性差分方程组和一类n阶脉冲微分方程的振动性的开题报告题目:一类二维非线性差分方程组和一类n阶脉冲微分方程的振动性摘要:本文将研究一类二维非线性差分方程组和一类n阶脉冲微分方程,探究其振动性质。
首先将会介绍差分方程和脉冲微分方程的概念和基本性质,然后详细分析这两种方程类型的解的存在性和唯一性。
最后,建立适当的数学模型,并应用定理和方法进行分析和求解,得出结论。
关键词:二维非线性差分方程组;n阶脉冲微分方程;振动性质;数学模型;分析与求解一、研究背景及意义差分方程和脉冲微分方程是数学中非常重要的两个分支,在生命科学、经济学、物理学等多个领域广泛应用。
其中,二维非线性差分方程组和n阶脉冲微分方程作为两种具有代表性和复杂性的方程,一直是研究的重点和难点。
因此,深入研究这两种方程类型的振动性质,对于加深我们对其本质的认识,推动数学理论的发展和在实际应用中的有效利用都具有重要的意义。
二、研究目的本文旨在探究一类二维非线性差分方程组和一类n阶脉冲微分方程的振动性质,通过建立适当的数学模型,分析其解的存在性和唯一性,并应用定理和方法进行分析和求解,得出相应的结论。
三、研究内容1、差分方程和脉冲微分方程的概念和基本性质介绍差分方程和脉冲微分方程的定义和基本性质,包括一阶、二阶和高阶差分方程,以及线性和非线性、一般和特殊的脉冲微分方程,并分析其解的存在性和唯一性。
2、二维非线性差分方程组的振动性质研究二维非线性差分方程组的振动性质,包括周期解、正周期解、反周期解等,根据解的性质和特征,建立适当的数学模型,并应用相应的定理和方法进行求解。
3、n阶脉冲微分方程的振动性质研究n阶脉冲微分方程的振动性质,包括有限延迟和无限延迟两种情况,根据解的性质和特征,建立适当的数学模型,并应用相应的定理和方法进行求解。
4、分析与求解根据前面的分析和研究,对得到的结果和结论进行分析和求解,总结出二维非线性差分方程组和n阶脉冲微分方程的振动性质,并对其应用进行探讨和展望。
几类分数阶非线性椭圆方程解的存在性与集中性分数阶拉普拉斯问题可以用来描述物理学、生物学、化学、金融经济、概率等领域中的许多重要现象.特别地,在概率的观点下,分数阶拉普拉斯算子被视为稳态Levy扩散过程的无穷小生成元.因此,分数阶拉普拉斯微分方程解的相关问题研究目前已成为非线性分析领域的热门研究方向之一在本论文中,我们利用非线性分析中的临界点理论和变分约化等方法研究了两类具有临界指数的分数阶椭圆方程解的存在性、多重性及分数阶非线性Schrodinger方程解的存在性和集中性,获得了一系列新的结果.具体包含以下四章内容:在第一章中,我们利用Nehari流形方法和Ljusternik-Schnirelmann筹数理论研究了一类具有临界指数的分数阶非线性Schrodinger方程.证明了方程在两种不同情形下具有基态解和catΛδ(Λ)个非平凡解.在第二章中,我们利用变分扰动方法研究了分数阶
非线性Schrodinger方程解的存在性及集中性.设合理的假设下,证明了所得解集中在函数г(x)的临界点.我们所得结果推广了文献[36]和[44]的结果.在第三章中,我们研究了一类分数阶非线性椭圆方程的多峰解,其中Q(x)为正的连续有界函数.利用 Lyapunov-Schmidt变分约化方法得到,对任意的正整数七,方程具有一个七-峰的正解,且其集中在Q的严格局部极小点处.我们把文献[65]的结果推广到了分数阶情形.最后,我们利用调和扩展技术和临界点理论,研究了一类具有临界指数的非齐次分数阶Laplacian司题,证明了此类问题至少具有两个正解.同时,在一类线性正型区域上,我们获得了一个正解的不存在性结果.此结论推广了文献[85]中的不存在性结果.。
第24卷第2期 2011年6月 海南师范大学学报(自然科学版) Journal of Hainan Normal University(Natural Science) V0I_24 No.2
Jun.201 1
2n阶非线性差分方程周期解的存在性与多重性 彭国荣 (湖北民族学院预科教育学院,湖北恩施445OOO)
摘要:主要利用非线性泛函分析中的变分方法,结合临界点理论,研究2阶非线性差分方程 一 一 )十厂( , ):0(1.1.1)周期解的存在・I ̄-E,多重性.
关键词:周期解;临界点;非线性差分方程;变分方法 中图分类号:0 177 文献标识码:A 文章编号:1674—4942(20l1)02—0131—03
Existence of Periodic Solutions for A 2n TH-order Nonlinear Diference Equation
PENG Guorong (Pre-lnstituteDepartment,HubeiInstituteforNatmnalit ̄s,Enshi 445000,China)
Abstract:In this paper,the existence and multiplicity of solutions for a diference equation of the form △ rt一 A"xf_ 1+厂 , I)=0(1.1.1)is discussed by means of variati。hal method,the critical point theory,especially
critical group and the Morse theory of nonlinear functional analysis. Key words:Periodic solution;critical point theory;Nonlinear diference equation;Varational me ̄od
1分析 本文主要利用非线性泛函分析中的变分方法, 结合临界点理论,研究2n阶非线性差分方程 △”( 一 △ z 一 )十厂( , )=o,nEZ(3),tEZ(1)
当n=2k时,在 中至少有四个不同解的情况. 其中z(口)=I口,口+l,…J,当口≤6时,Z(a,6)={口,o+ l,…,bl,A是向前差分算子,即 -XH1一 , +1 =△( ).实数序列n和非线性项厂分别满
足以下条件: (A)对给定的正整数 , +丁= >0,tEZ; (B)fE C(ZxR! R ),并且对任意(t, )∈ Z ̄R1, (件T, )=厂( , ).
记V1 f鼎)rf'V2: m(1IaxT)rt・显然 v2>0・
对于zEET,定义 ( ) =z 一△ ( 一 △”z 一 )-I(t, ), =1,2,…
( )=【(&) ,(Bx)2,…,(&)r),
收稿日期:2011-01—28
那么算子B:ET一 .注意到 , (z)=(△ (n一 △ z1一 )十厂(1,z ),…,
△”(,7一 A z丁一 )+厂(丁, 丁)), 因此, (z)=x-Bx,从而J的临界点等价于B的 不动点. 在 中定义锥 JF)={xER了、I =(z1,z2,…,z丁),zf≥o,
=1,2,…,丁}, 则P是正规体锥.我们用锥P规定 中的半序关 系≤,<,《等.于是,我们有下面的结论. 定理1假设下列条件满足: (1) , ∈E丁是问题(1)的一对上下解,并且 U《 : (2)B: 一E丁是增算子; (3)存在R2>o, >2,对任意 ≥R2有
(~1) ( , )≤(一1) flSof(t,s)出<0. 则问题(1)在E丁中至少有四个不同的解. 132 海南师范大学学报(自然科学版) 2基本定义与引理 定义1‘ I设 是一个实Banach空间, :E-÷ R 是C 泛函.如果{‰}CE,J(u )有界, (‰)一 蕴涵{U }有收敛子列,则称泛函-,满足Pa1. ais—Smale条件,简称P.S.条件. 定义2l 设E是一个实Banach空间,P为E中 的锥,E中半序关系定义为 ≤ 甘 ~U∈P;
U< 甘 ≤ 且U≠ ; 《 铮73--U∈P.并称定 义了半序关系的实Banach空间为一个有序的Ban. ach空间. 定义3 设E是一个实的有序的Banach空 间,算子A:E—E.如果对 , ∈E,u<v蕴涵 Au<Av,则称A为增算子;如果对V , ∈E,u<v 蕴涵Au<Av,则称A为严格增算子;如果对
,z,∈E,u<v蕴涵Au《A ,则算子A称为强增 算子. 引理1 设H是一个Hilbert空间, :E—R 是c 泛函,满足P.S.条件, ( )可以表示为 ( )= z‘一Au的形式.设D,和D 是日中的开凸集,满足 D1ND2≠ ,A(OD1)CD1,A(aD2)CD2. 如果存在一条道路^:[0,1卜+H,使得h(0)∈ D1\D2,h(1)ffD2\Dl,并且 in fnD2 )> S(h( )),
则.,至少有四个临界点,分别在中 D1 ND2,D1\D2,D2\D1,小《D1 U D2).
3主要结论及其证明 为了证明主要结论需要如下引理 引理2假设存在a>0,c>O,使得对任意 (t, )EZxR有F( , )≤一nIzr+c,则下列结论成 立: (1).,在ET上有下界; (2).,满足P.S.条件; (3) 是强制的. 证明 (1)对任意 =( 1,z2,…,XT) ∈研, .,(z)≥∑T?'t-l(AnXt-1 2妻(一 XtI。+f)≥
n∑Iz l2-cY---口llz 一fT≥一cT 从而.,在E丁上有下界.
2011年 (2)设{z }cEnkeZ(1),J(x )有界.即存 在Ml>o,满足l (z㈣)I≤Ml,由(1)的证明知 Ml≥ ( ≥n ’ 汀, 从而不难找到M2>0,使得对任意的 ∈N, I H2≤M2.即{ ’}是有限维空间E .中的有界
序列,所以它有收敛子列,因此.,满足P.S.条件. (3)由 li—m
佃
(z):+∞,所以.,是强制的・
引理3 (△ z卜。 ≤4 i . 证明用数学归纳法证明. 当k=l时,
∑( 川) =∑( 一 ) ≤
2(z +z )=∑1 =4 l , 所以k=l时结论成立. 假设.j}:凡一1成立,即妻( 丑一 ) ≤4 一 IIzII .
则当k=n时, ∑T(△ 卜 )2:∑T(△ 一l 一△n-1.7 ̄t-1) ≤
)2+(△ 一-z卜 )1≤ ∑4(△. ̄ 2[ (A
)' -
:ix
4t
T ×4 II ll =4 I ,
所以当k=n时也成立. 引理4若存在R2>O, >2使得当 ≥R2,
(一1) ( ,z)≤(一1) flSo f(t,5)出<o,则存在常数 口2>o使得对任意zCR ,F(t,z)≥口lI2 一口2. 证明当n=2k+l时,由不等式 (£,2)>flS:f(t,s)ds<0
有 ≤盟 SoS( ̄,s)出’ ’
星≥ :兰!。 ≤ ,.
, )出’ ‘
分别对上述两不等式在 , ,k,一R21上积分得 第2期 彭国荣:2n阶非线性差分方程周期解的存在性与多重性 133 -R z<lnI: 2f( t’, s )dst)as。, ≥.Rz;
h而Jo&f(t,s)ds ;
即 出≥ )出( z;
≥ ( 从而得到,对任意 ≥Rz有 foI( ̄,5)凼≥口1I I , 其中, a1= R min{ ,一)as 出}>o.
又因为 厂( , )出在Zx[-R ,R2】上有界,因此存 在口3>o使得 厂(f, )凼≥--a3,对任意(f,z)GZ× 【-R2,R2】成立.从而对任意(£,z)GZ ̄R 有 厂( , ≥口1I r一口2,其中口2=口1R ̄z+a3>o.
n=2kI ̄,由不等式zf(t, )<flf:f(t, ) <0 得 z[-f(t, )】≥ 一 ( >o, 由前面的证明知存在常数a ,a2>0使得 ( ≥口。 一 又因为F(t, )=(一1) 厂( , )as,所以当n=2k+ IN,F(t, )= (£, )出≥口 l 一口 .当n=2k ̄'-t, F , )=一 ,s)d ≥口 I 一口 . 因此,存在常数a1,a2>0使得对任意zGR , F(t, )≥口1Iz(一口2. 定理2的证明由(1)知U《 ,U《B ,By
.在ET中定义集合 D1={XEET:z《 },D2={XEETt.Tg: ̄T3). 因为 《 ,所以uGD1,从而D1≠ ;同理 《 ,rED2,D2≠ .因为D1DD2={xGE , 《 《 },所以D1 flD2≠ ,因此D1,D2是ET中的
是增算子,由(1)知Bw<By《 .从而B将D1 的边界映人D1,同理可证B将D2的边界映人 D2.由引理2及条件(3)知.,满足P.S.条件.因为P 是正规锥,所以一D1n—D =[U, 有界,即存在M1> 0,当xG[U, ,IIxlI≤M1.又因为f(t,z)连续,则 存在M2>o,当xG[U, ,tG【1, 时If(t, )l≤ M2.所以.,在 1 n 2上有下界. 取z,yEE丁 《 , 》0,使得z《 《 《 , 且z,Y线性无关.令^ ’(r)=R( +(1一r) ),R≥ 0,rE D,1】.则道路^‘R’:【o,1】一E丁.易知^‘R’(o)= Rx. ̄v,^‘R (1)= 《 《 ,只要R充分大,所 以 (R’(O)∈D1kD2,h(R)(1)GD2kD1.令 (r)= ll^‘R (r)ll,rE[0,1】.因为z, 线性无关,所以垃+ (1-t)yce,即 (r)>0,易知 (r)在[0,1]lu连续, 所以 】 (f)=czR>O,又因为
 ̄,(r)<R(Ilxll+llyl1)<caR, 从而0<cz尺≤ (r)≤f3R.另一方面,由引理4知 存在a1>0,a2>0,使得F(t, )≥口1Izl 一a2,结合 引理3,则 ‘R)(r))≤等 ’(r)11 奎 f)r 丁≤t=l ^(R (r)llz-al(C h(R’(r)II +口。T≤
TVz4"f;R 一口1 c + 2,
从向
R :一∞, 因此
∈i。ta
。
f
n_2 (z)>
∈su
【0p,1】
,(^ R (r))・
所以由引理I知问题(I)在ET上至少有四个 不同的懈【3.5】.
参考文献: 【I】郭大钧,孙经先,刘兆理.非线性常微分方程的泛函方法 【M】.济南:山东科学技术出版社,1995. 【2】孙经先.非线性泛函分析及其应用[M】.科学出版社, 2o08. [3】郭志明,庾建设.二阶超线性差分方程周期解与次调和解 的存在性[J】.中国科学,2003,33(3):226—235.