关于Hamilton系统同宿轨的研究可以追溯到Poincaré关于天体力学的工作[51]，Poincaré发现如果系统的稳定流形和不稳定流形横截相交，那么这个系统就会有非常复杂的动力学行为并且含有无限多条同宿轨.之后，Birkhoff和Smale的工作深刻揭示了Poincaré的发现中所蕴含的复杂动力学行为，也就是，一个具有横截同宿轨的系统是混沌的[62]。因此，在非线性动力学的研究中，一个非常有意思的问题是在什么条件下我们可以证明一个系统具有横截同宿轨.著名的Melnikov方法对这个问题给出了部分的回答.一般说来，为了考察一个系统是否具有横截同宿轨，我们首先需要证明该系统中有同宿轨，其次再来讨论这个同宿轨的横截性。因此，研究一个系统的同宿轨或者异宿轨的存在性问题对于理解一个系统的复杂动力学行为是非常重要的一步。　　自从Rabinowitz在文献[53]中使用变分方法研究一类一阶连续Hamilton系统的周期轨存在性问题的开创性工作之后，越来越多的研究者发现Hamilton系统具有某种变分结构，而这种变分结构在研究连续系统周期轨，同宿轨或者异宿轨的存在性问题上起到了非常重要的作用.而关于离散Hamilton系统相关问题研究开始不久，许多重要而有意思的问题尚待解决。利用变分方法研究同宿轨或者异宿轨的存在性，我们通常需要在一个合适的Hilbert空间上面构造泛函，而这个泛函的非零临界点通常是我们所关心系统的同宿轨或者异宿轨.我们把寻找特殊轨道的问题转化成了寻找相应泛函非零临界点的问题，而变分方法在寻找临界点方面常常很有效.关于变分法方面的专著，读者可以参见文献[54，70]。连续Hamilton系统的同宿轨存在性的研究取得了许多重要进展.Rabinowitz使用周期轨来逼近同宿轨的方法证明了一类二阶微分方程的同宿轨的存在性[56].Coti-Zelati和Rabinowitz讨论了一类在原点和无穷远点满足超二次条件的一类二阶Hamilton系统的同宿轨存在性问题[20].在文献[65]中，Séré引入多重碰撞解，并使用变分和Bernoulli转移的方法来刻画系统的复杂动力学行为.丁彦恒引入算子谱理论方面的工具研究了几类满足超二次或者次二次的二阶连续系统的同宿轨的存在性问题[27]。连续系统异宿轨的存在性研究也得到了好多重要结果.在文献[30]中，对一类满足一个空间变量是周期的另一个空间变量是超线性假设的方程，Felmer讨论了该系统异宿轨的存在性.在文献[9]中，Bertotti和Montecchiari对一类二阶几乎周期系统证明了有无限多个异宿轨连接两个退化的平衡点.在文献[13]中，Caldiroli和Jeanjean得到了存在一条异宿轨连接原点和一条极小的不可收缩周期轨的结论.在文献[55]中，Rabinowitz讨论了一类二阶Hamilton系统的周期和异宿轨的存在性问题.Rabinowitz也得到了一些关于钟摆方程中异宿轨的存在性方面的结果[60].Coti-Zelati和Rabinowitz讨论了一类连接势能函数中的两个临界点的同宿轨的存在性问题，其中这两个临界点处在不同的能量层[21]。　　对Hamilton系统来说，尽管变分方法在寻找同宿轨方面非常有效，但如何证明该同宿轨的横截性仍然是一个困难的问题.因此，研究者引入“多重碰撞解”来研究Hamilton系统的复杂动力学行为.多重碰撞解的存在性问题，最早开始于Séré在一类一阶连续Hamilton系统的工作[65].之后，在很多其它微分系统中，多重碰撞解的存在性被证明.比如，一类满足退化条件的方程[59]，阻尼系统[10]，能量函数是变号的系统[14].关于差分方程方面的多重碰撞解的研究刚刚开始，关于差分方程同宿轨的多重碰撞解方面的研究非常少。要证明多重碰撞解的存在性通常需要完成下面几步.首先，我们使用变分方法和极小极大方法找到一族非平凡的同宿轨，并且我们把这类同宿轨看作是“单次碰撞解”.然后，我们利用变分技巧来证明多重碰撞解的存在性，这类解在充分分开的几个时间段内与我们找到的单次碰撞解的距离非常近.在研究多重碰撞解的存在性中一个重要的假设是我们所考察泛函的临界点具有某种孤立性.这种孤立性的假设可以看作是比横截性条件稍微弱一些的假设。对于一个实际系统进行建模和仿真对动力系统的研究起到了非常重要的作用.实际的计算是不能直接处理连续系统的，研究者通常都需要把连续系统转化成相应的差分系统以便通过仿真来观察系统的动力学行为.而且由于我们关心的问题不同，通常会给出不同形式的差分方程.另外，差分方程可以应用到物理，化学，工程等研究领域中去.因此，差分方程的研究逐渐变得重要起来.关于离散Hamilton系统的研究，可以参见文献[1].最近，许多关于离散Hamilton系统的周期轨，同宿轨和异宿轨存在性方面的重要结果被得到了[33,35,41,45,46,86,88]。最早利用变分方法研究差分方程的结果是文献[33]中的工作.郭志明和庾建设研究了如下的二阶纯量差分方程的周期解的存在性△2x(t-1)+f(t，x(t))=0.许多研究者讨论了如下类型的差分方程的周期轨，同宿轨和异宿轨的存在性的问题△(p(t)△x(t-1))-L(t)x(t)=f(t,x(t)),x(t)∈Rn，t∈Z,这个方程可以通过一个适当的变换变成等价的离散Hamilton系统.在文献[46]中，马满军和郭志明在p(t)，L(t)和f(t，x)关于时间变量t都是周期函数的假设下，研究了纯量差分方程同宿轨的存在性问题.在文献[45]中，在没有p(t)和L(t)是周期函数的假定下，假设f(t，x)在原点和无穷远处是超二次的，或者f（t,x）关于x是奇函数，马满军和郭志明得到差分方程存在非平凡的同宿轨的结论.在文献[41]中，林晓艳和唐先华在对所有的t∈Z，L(t)是正定矩阵且f（t,z）满足更一般的假设条件下证明差分方程有无限多条非平凡的同宿轨。离散系统的异宿轨研究刚刚起步，有许多有趣的问题尚未解决.异宿轨的存在性是通过研究特定函数空间上的使得能量达到极小的元素而得到的.在文献[79]中，肖华峰和庾建设考察如下钟摆方程的异宿轨存在性问题:△2x(t-1)+asin(x(t))=0,其中a∈R是参数，t∈Z，x(t)∈R.在文献[80，88]中，肖华峰等人以及张浩和李志祥研究如下差分方程的异宿轨的存在性问题:△2x(t-1）+Vx（x（t））=0，其中x(t)∈Rn，t∈Z.　　本文主要讨论三个方面的问题:一是讨论了几类二阶离散哈密顿系统同宿轨的存在性问题;二是讨论了一类二阶离散哈密顿系统同宿轨的多重碰撞解;三是讨论了一类二阶离散哈密顿系统异宿轨的存在性问题。针对上述三个问题，本文分为四章。第一章是准备知识，介绍变分方法的基本概念和方法以及线性算子谱理论的相关知识。第二章主要研究了下面的二阶离散哈密顿系统△2x(t-1)-L(t)x(t)+Vx(t,x(t))=0,t∈Z，（*）其中△x(t-1)=x(t)-x(t-1)，△2x(t-1)=△（△x（t-1））。.对任意t∈Z，L(t)是一个n×n实对称矩阵，V(t，·)∈C1(Rn，R)且Vx(t，0)≡0.我们的结果可以看作丁彦恒的结果的离散对应[27].之前关于差分方程同宿轨存在性的方面的工作通常假设对所有的t∈Z，L(t)是正定矩阵.在第二章中，我们利用差分算子谱理论来减弱这个假设.我们假设V(t，·)满足超二次或者次二次假设.我们不需要假设L和V是关于时间的周期函数，以及对所有的t∈Z，L(t)都是正定矩阵，我们证明了该差分方程至少存在一条非平凡的同宿轨.进一步，如果V(t，x)是超二次的并且关于x是偶函数，则该差分方程存在无限多条非平凡的同宿轨.为了说明所得到结果，我们给出了两个具体例子。在第三章中，我们研究二阶离散哈密顿系统（*）.我们假设V(t，·)是变号函数，L和V是周期函数.我们首先证明同宿轨的存在性.然后，假设临界点满足孤立性条件，我们研究了多重碰撞解的存在性.在差分方程方面，多重碰撞解的研究刚刚开始.据我们所知，我们还没有见到相关文献讨论差分方程同宿轨的多重碰撞解的问题.我们的结果可以看作Caldiroli和Montecchiari的结果的离散对应[14]。在第四章中，我们研究下面一类二阶离散哈密顿系统异宿轨的存在性问题:△2x(t-1)-μL(t)x(t)+Wx(t,x(t)，δ)=0,t∈Z,其中W(t，x，δ)=a(t)V(x，δ），x∈Rn;△x(t-1)=x(t)-x（t-1），△2x(t-1)=△(△x(t-1));对任意t∈Z，L(t)是正定矩阵;a(·):Z→R是周期函数;V(·，δ)∈C2(Rn，R)，并且V(x，·)是连续的;μ∈[0，1]和δ∈[0，δ0]是参数且δ0＞0.在一定的假设条件下，我们得到若δ和μ充分小，则存在一条异宿轨连接函数V(x，δ)的两个具有不同临界值的临界点。当μ=0时，我们的结果可以看作文献[21]中结果的离散对应。据我们所知，现有关于讨论差分方程异宿轨存在性的文献都是假设μ=0并且该异宿轨连接的是函数V的两个具有相同值的临界点，也就是那两个临界点具有相同的势能[88，79，80].而对于连续系统的异宿轨研究方面，我们还没有见到相关文献研究μ≠0的情况。