1、本文主要討論兩方面的內(nèi)容.一是二階差分方程周期和反周期邊值問題的特征值，二是復(fù)離散哈密頓系統(tǒng)的Prüfer變換和三角變換. 對(duì)于微分方程周期和反周期邊值問題的特征值，Coddington和Levinson，Hale，Magnus和Winkler[1，2，3]等人研究二階微分方程邊值問題特征值的性質(zhì)，并比較周期和反周期兩種邊值問題的特征值，獲得一些很漂亮的結(jié)果.這些結(jié)果被章梅榮[4]推廣到一維p-拉普拉斯算子. 而對(duì)于差分

2、方程邊值問題的特征值，Atkinson，Bohner，Jirari，史玉明，陳紹著[5，6，7，8，9，10]等人做出很大貢獻(xiàn).但是，對(duì)于二階差分方程的周期和反周期邊值問題的特征值及其比較卻鮮有討論.因此，本文的一個(gè)主要目的就是探討這一問題. 本文要討論的第二個(gè)問題是復(fù)離散哈密頓系統(tǒng)的變換.在經(jīng)典的Sturm-Liouville理論中，Prüfer變換和三角變換是研究方程振動(dòng)性，譜理論等的重要工具.隨著高維系統(tǒng)研究的深入，Bar

3、rett[11]建立連續(xù)的三角系統(tǒng)，從而為這兩種變換在高維情形下的推廣奠定基礎(chǔ).利用三角系統(tǒng)，Barrett，Reid，鄭召文[11，12，13]得到連續(xù)哈密頓系統(tǒng)的Prüfer變換，并獲得一系列哈密頓系統(tǒng)的振動(dòng)性結(jié)論.而Do(s)l(y)[14]則把三角變換推廣到連續(xù)哈密頓系統(tǒng). 對(duì)于差分方程的研究，Anderson[15]首先建立一種特殊的離散三角系統(tǒng)，引入高維離散的正弦，余弦函數(shù)，從而使Prüfer變換和三角變換能夠拓展到

4、離散的情形.Bohner和Do(s)l(y)[16，17，18]對(duì)此做出主要貢獻(xiàn).他們定義一般實(shí)離散三角系統(tǒng)的概念，利用該系統(tǒng)給出實(shí)辛差分系統(tǒng)的Prüfer和三角變換，并由此獲得實(shí)辛差分系統(tǒng)的一些振動(dòng)性判定定理. 但是，Bohner和Do(s)l(y)的變換僅針對(duì)實(shí)差分系統(tǒng)，而對(duì)于更廣泛的復(fù)差分系統(tǒng)，如復(fù)離散哈密頓系統(tǒng)則不適用.本文的另一個(gè)主要目的就是給出更一般的復(fù)離散三角系統(tǒng)的概念以及復(fù)離散哈密頓系統(tǒng)的Prüfer變換和三角變

5、換.全文共分為三章.每章的第一節(jié)簡(jiǎn)要介紹所研究問題的背景. 第一章研究二階差分方程周期和反周期邊值問題的特征值.第二節(jié)是第三、四節(jié)的準(zhǔn)備工作.首先給出Wronskian恒等式，然后利用Atkinson[5，Chapter4]的結(jié)果得出Dirichlet邊值問題特征值的性質(zhì)和一個(gè)特殊的振動(dòng)性結(jié)論(見引理3.2.3).之后，根據(jù)史玉明和陳紹著的結(jié)果[9，Lemma2.1和Theorem4.1]，得到周期和反周期邊值問題特征值存在性及

6、其個(gè)數(shù).另外，還給出一個(gè)非齊次線性方程初值問題解的表達(dá)式.第三節(jié)建立周期和反周期邊值問題特征值之間的關(guān)系(見定理3.3.1)，這一結(jié)論可看作Coddington和Levinson[1，Chapter8，Theorem3.1]的離散形式.第四節(jié)給出第三節(jié)中一個(gè)關(guān)鍵引理的證明. 第二、三兩章主要研究復(fù)離散哈密頓系統(tǒng)的變換.第二章為第三章做鋪墊.因?yàn)閺?fù)離散三角系統(tǒng)為一種特殊的復(fù)辛差分系統(tǒng)，所以第二章第二節(jié)首先介紹復(fù)辛差分系統(tǒng)的一些概念

7、和某些有用的相關(guān)引理，然后提出復(fù)離散三角系統(tǒng)的定義.第三節(jié)介紹三角系統(tǒng)的幾條性質(zhì)并給出一個(gè)三角系統(tǒng)的判定定理.該判定將在第三章的證明中起重要作用.另外，三角系統(tǒng)可轉(zhuǎn)化為另一種更易研究的特殊三角系統(tǒng). 第三章第二節(jié)說明任意復(fù)離散哈密頓系統(tǒng)可以轉(zhuǎn)化為一個(gè)辛系統(tǒng)，而辛系統(tǒng)不一定能轉(zhuǎn)化為一個(gè)哈密頓系統(tǒng)，并給出幾個(gè)引理.其后的定理3.2.1可看做[13，引理2.3.1]的離散形式.本章一個(gè)重要結(jié)論—Prüfer變換也在第二節(jié)給出.第三節(jié)主