论文部分内容阅读
众所周知,现实世界中的许多现象都具有周期性.自法国数学家Poincare和俄国数学家Lyapunov以来对于连续动力系统的周期解存在性的研究一直是动力系统研究的中心课题之一.然而,并非所有的自然现象都能用连续的系统或者离散的系统来描述.目前,一些连续系统的理论和方法己经发展到了时标上,例如[10,78,55,53].时标是R中的任意非空闭子集,通常表示为T.时标理论的建立主要是为了研究连续和离散混合的系统.例如,如果T = Z,时标上的动态方程表现为差分方程的形式,相反,如果T = R,时标上的动态方程则表现为微分方程的形式.所以说时标理论统一且推广了现有的微分和差分理论.时标理论在经济学,人口模型,生物模型等方面都有重要的应用.随着这一理论的迅速发展,对于时标上动态方程周期解的研究也吸引了越来越多人们的关注.到目前为止,当“时间”是连续和离散混合情况的带有小参数ε扰动的动态方程周期解的存在性问题正逐渐被关注.本篇博士论文主要研究的是下面的时标上带有扰动的动态方程周期解的存在性问题其中fi:T×U→Rn,i=0,1,…,k和r:T×U×(—ε0,ε0)→Rn是rd-连续的函数,关于t是T-周期的,U是Rn中的开集,ε是一个小参数.在本篇文章中我们主要应用重合度理论和平均法去研究时标上带有扰动的动态方程的周期解的存在性.同时我们将时标上带有扰动的动态方程的平均法进一步的推广到ε的任意阶.具体地说,我们是应用拓扑度理论去证明时标上动态方程周期解的存在性.我们的证明受连续系统经典结果的启发,但是在时标上的证明过程会更复杂.本篇博士论文总共分三章,第一章为绪论,第二章和第三章为主要结果.在第一章中,我们讨论了微分方程周期解的发展历史,平均方法的起源和发展,以及时标理论的起源和发展,并且简单介绍了我们所考虑问题的研究背景以及概括了本文的主要工作.然后,我们简单介绍了时标的定义,时标理论的相关概念及在本文证明中将用到的时标上的结果.在最后一节中,我们总结了本文的主要工作.在第二章中,我们给出了本文的第一个主要结果,即用重合度理论证明时标上动态方程周期解的存在性定理.在本章的第一节中,我们给出了一阶的周期解存在性定理.然后关于n阶扰动的时标上的动态方程,我们进而给出了任意阶的周期解存在性定理.最近,Llibre,Novaes和Teixeira将带扰动的非线性微分方程的平均法推广到了 ε的任意阶,他们的结果主要是应用Brouwer度理论证明的,与他们的结果相比,我们的结果把连续时间上的平均定理建立在时标上,同时我们给出了新的条件,并且给出了更容易计算的平均函数,我们也不要求动态方程中的函数是充分光滑的.事实上,我们的主要结果提供了一种用拓扑方法探究时标上动态方程周期解存在性的理论.接下来,我们可以给出判定时标上ε任意阶的非线性动态方程的周期解存在的主要结果.定理0.0.1设T是一个T-周期时标,U(?)Rn是一个有界开集.考虑下面的动态方程其中 fi:T× U→ Rn,i=1,…,k,r:T×U/×(-ε0,ε0)都是 rd-连续的函数,关于t是T-周期的,并且关于x是局部Lipschitz的.并且,我们作如下假设:(i)对于任意的t ∈ T,p ∈ 存在p的一个邻域Np,与ε独立的一个常数σ>0和整数1≤j ≤ n,对任意的q ∈ Np,t ∈[0,T]T和ε ∈[—ε0,ε0]\{0}}满足(ii)假设对任意的其中平均函数如果对于方程(0.0.2),(i)和(ii)始终成立,则方程(0.0.2)存在一个T—周期解x(t),满足对于任意的t ∈ T,充分小的|ε|>0,都有x(t)∈U.利用拓扑度理论,在2.2节中我们将会给出该定理的证明.最后,为了说明我们的主要结果,在该章的最后一节我们给出了一些例子.在第三章中,我们将Llibre的连续时间上的平均定理推广到时标上.在Llibre之前的研究中,他已经用低阶平均定理证明了扰动的微分方程的周期解的存在性.本章的主要结果把Llibre的微分方程的平均定理建立到时标上的动态方程上.首先,在3.1节和3.2节中我们给出了时标上动态方程的一阶平均定理和二阶平均定理.进而在3.3节中我们给出了证明时标上动态方程的周期解存在的任意阶的平均定理.我们定义时标上的i阶平均函数Fi如下:其中定义yi:T × → Rn,i = 1,2,…,k-1满足下面的迭代积分方程,其中= b1 + b2+…+ bl,Sl表示所有非负整数的l-元组(b1,b2,…,bl)的集合,并且(b1,b2,…,bl)是Diophantine方程b1 + 2b2 + … + lbl = l的所有非负整数解.接下来我们分两种情况陈述高阶平均定理:当f0 = 0时是定理0.0.2;当f0 ≠ 0时是定理0.0.3.定理0.0.2假设f0 = 0,考虑时标上的动态方程其中 fi:T × U→Rn,i = 1,…,k 和 r:T×U(-ε0,ε0)→ Rn 都是 rd-连续的函数,关于t是T-周期的,U是Rn中的一个开集,ε是一个小参数.我们假设其满足下面的条件:(ⅰ)对于任意的t ∈ T,fi(t,·)∈ Ck,i = 1,2,…,k.函数(?)kfi和r关于第二个变量是局部Lipschitz的.(ⅱ)存在r ∈{1,2,…,k},有Fr≠0,假设Fi=0,i=0,1,2,…,r-1(这里我们取F0=0).(ⅲ)假设存在某个a ∈ U有Fr(a)= 0,对于a的邻域V(?)U满足当z ∈ V-{a}时有Fr(z)≠ 0,并且Brouwer度度deg(Fr(z),V,0)≠0.那么,对于充分小的|ε|>0,方程(0.0.5)存在一个T-周期解x(·,ε)满足当 ε → 0 时,x(·,ε)→a.定理0.0.3假设f0 ≠ 0,考虑时标上的动态方程其中 fi:T × U→ Rn,i = 0,1,…,k和 r:T × U ×(-ε0,ε0)→ Rn 都是连续的函数,关于t是T-周期的,U是Rn中的一个开集,ε是一个小参数.我们假设其满足下面的条件:(i’),假设存在U的一个开子集W满足对任意的z ∈W,都有φ(t,z)是T-周期的.(ii’)对于任意的t ∈ T,fi(t,·)∈ Ck,i = 0,1,2,…,函数(?)kfi,i =0,1,2,…,k和r关于第二个变量是局部Lipschitz的.(iii’)存在r∈{1,2,…,k},有Fr≠0,假设Fi=0,i = 0,1,2,…,r-1.与此同时,我们假设存在某个a ∈ W有Fr(a)= 0,对于a的邻域V(?)W满足当z ∈ V-{a}时有Fr(z)≠ 0,并且Brouwer度deg(Fr(z),V,0)≠ 0.那么,对于充分小的|ε|>0,方程(0.0.6)存在一个T-周期解x(·,ε)满足当 ε → 0 时,x(·,ε)→ a。