正文
用拓撲方法研究變分問題的數學分支。古典的變分法研究泛函的極值──極大值或極小值。然而物理、幾何以及分析中提出的變分問題，一般不僅要研究泛函的極值點，而且還要研究其臨界點，即其變分為零的點。大範圍變分法假設M是一個微分流形，ƒ是M上的光滑函式,所謂一點p∈M是ƒ的臨界點,是指ƒ的導映射dƒ在這點為零。ƒ在臨界點處的值,稱為臨界值。對任意實數α,稱ƒα={p∈M|ƒ(p)≤α}為函式ƒ的水平集。大範圍變分法的基本手法是通過考察拓撲空間ƒα隨α變化時,其拓撲結構的變化，來判定臨界點的存在性和估計臨界點的個數。下面是一個有啟發性的例子。考察切於平面π的一個環面M,如圖
所示。 設ƒ:M→R1是關於平面π的高度,易見：①當α<0時，ƒα=═,②當α=0時，ƒα={p0}，如圖之a，③當0<α<h1時,ƒα如圖之b,④當h1<α<h2時,ƒα如圖之c,⑤當h2<α<h3時，ƒα如圖之d，⑥當α≥h3時，ƒα＝M，如圖之e。其中 hi=ƒ(pi)(i=1,2,3)，連同極小值0,都是ƒ的臨界值。這個例子表明：若在實數α,b(α<b)之間沒有ƒ的臨界值，則ƒα與ƒb是同胚的, 但當α越過ƒ的一個臨界值時,一般地，ƒα的拓撲結構將發生變化。這就是大範圍變分法的基本出發點。
H.M.莫爾斯考察了非退化函式的臨界點的性態與緊流形M本身的拓撲結構間的聯繫。函式ƒ稱為是非退化的，是指在它的所有臨界點上，對應的由二階導數構成的黑塞矩陣 (
)都是非退化的。對應的黑塞矩陣的負本徵空間的維數，稱為這臨界點的莫爾斯指數。用Mk表示函式ƒ的莫爾斯指數為k的臨界點的個數。莫爾斯理論的核心是下列莫爾斯不等式： 
基於類似的基本思想,Л.Α.柳斯捷爾尼克、Л.Γ.施尼雷爾曼開闢了另一條估計臨界點個數的途徑。對M上任意閉子集A,稱A在M中的疇數為m,記作Cat(A)=m,是指A可以被m個可縮閉集所覆蓋,但不能被m-1個這樣的集合覆蓋。疇數是一個拓撲不變數。為估計緊流形M上的函式ƒ的臨界點個數有下界Cat(M)，柳斯捷爾尼克、施尼雷爾曼引進了下述重數定理：設
R.S.帕萊斯和S.斯梅爾把莫爾斯理論及柳斯捷爾尼克-施尼雷爾曼理論中流形M的緊性條件去掉,代之以在函式ƒ上添加帕萊斯-斯梅爾條件，即對於M上的任意點列{pn},條件ƒ(pn)有界,連同dƒ(pn)→θ，蘊涵了{pn}有子列收斂。
莫爾斯理論以及柳斯捷爾尼克－施尼雷爾曼理論都被成功地套用到許多變分問題中去，特別是套用於研究黎曼流形上的閉測地線的個數，以及楊-米爾斯方程。
A.阿姆布羅塞蒂、P.H.拉賓諾維茨發展了柳斯捷爾尼克-施尼雷爾曼的思想,提出了山路引理:設ƒ是巴拿赫空間X上的一個滿足帕萊斯-斯梅爾條件的C1函式，又設有θ的一個開鄰域U和一點x0唘U,使得ƒ(θ)=ƒ(x0)=0，且
，則ƒ至少有一個臨界值с≥α。隨後拉賓諾維茨又提出一系列極小極大原理。對許多由方程引出的變分問題的解的存在性以及個數估計有廣泛的套用。特別是對哈密頓方程組周期解的存在性以及周期軌道個數的估計引出重要的結果。 參考書目
R. Bott,Morse Theory,Old and New,BAMS,1981.
W. Klingenberg,Lectures on Closed Geodesics,Springer Verlag, Berlin,1978.
J. Milnor,Morse Theory, Princeton Univ. Press,Princeton,1963.
M. Morse,The calculus of Variations in the large,American Math. Soc. Colloq.Pub.,New York,1934.
