數(shù)學(xué)物理方法13變分法課件

1、數(shù)學(xué)物理方法13變分法 從前面的定解問(wèn)題的解法中，我們?nèi)菀紫氲接捎谶吔缧螐那懊娴亩ń鈫?wèn)題的解法中，我們?nèi)菀紫氲接捎谶吔缧螤钶^為復(fù)雜，或由于泛定方程較為復(fù)雜，或由于其它各種條狀較為復(fù)雜，或由于泛定方程較為復(fù)雜，或由于其它各種條件發(fā)生變化，將使得定解問(wèn)題難以嚴(yán)格解出，因此又發(fā)展了件發(fā)生變化，將使得定解問(wèn)題難以嚴(yán)格解出，因此又發(fā)展了一些切實(shí)可用的近似方法，通過(guò)本章的學(xué)習(xí)我們會(huì)看到近似一些切實(shí)可用的近似方法，通過(guò)本章的學(xué)習(xí)我們會(huì)看到近似解的價(jià)值一點(diǎn)也不低于嚴(yán)格解的價(jià)值事實(shí)上，我們應(yīng)該已解的價(jià)值一點(diǎn)也不低于嚴(yán)格解的價(jià)值事實(shí)上，我們應(yīng)該已經(jīng)注意到，從推導(dǎo)數(shù)學(xué)物理方程時(shí)難免要作一些簡(jiǎn)化假定，經(jīng)注意到，從推導(dǎo)

2、數(shù)學(xué)物理方程時(shí)難免要作一些簡(jiǎn)化假定，定解條件本身也帶有或多或少的近似性，前面所謂的嚴(yán)格解定解條件本身也帶有或多或少的近似性，前面所謂的嚴(yán)格解其實(shí)也是某種程度的近似其實(shí)也是某種程度的近似數(shù)學(xué)物理方法13變分法 如果某個(gè)定解問(wèn)題不能?chē)?yán)格解出，但另一個(gè)與它差別如果某個(gè)定解問(wèn)題不能?chē)?yán)格解出，但另一個(gè)與它差別甚微的定解問(wèn)題能?chē)?yán)格解出，那么就可以運(yùn)用甚微的定解問(wèn)題能?chē)?yán)格解出，那么就可以運(yùn)用微擾法求近微擾法求近似解似解量子力學(xué)教科書(shū)中一般都要介紹微擾法，限于課時(shí)，量子力學(xué)教科書(shū)中一般都要介紹微擾法，限于課時(shí)，這里就不再重復(fù)介紹這里就不再重復(fù)介紹近似解法涉及近似解法涉及：變分法，有限差分法和模擬法等變分法，有

3、限差分法和模擬法等 變分法變分法是研究求解泛函極值（極大或極?。┑姆椒ǎ兪茄芯壳蠼夥汉瘶O值（極大或極小）的方法，變分問(wèn)題即是分問(wèn)題即是求泛函的極值問(wèn)題求泛函的極值問(wèn)題把定解問(wèn)題轉(zhuǎn)化為把定解問(wèn)題轉(zhuǎn)化為變分變分問(wèn)題問(wèn)題，再求變分問(wèn)題的解，再求變分問(wèn)題的解數(shù)學(xué)物理方法13變分法變分法的優(yōu)點(diǎn)變分法的優(yōu)點(diǎn): : (2)(2) 變分法易于變分法易于實(shí)現(xiàn)數(shù)學(xué)的統(tǒng)一化實(shí)現(xiàn)數(shù)學(xué)的統(tǒng)一化因?yàn)橐话愣?，?shù)因?yàn)橐话愣?，?shù)學(xué)物理方程的定解問(wèn)題都可以轉(zhuǎn)化為變分問(wèn)題尤其是前學(xué)物理方程的定解問(wèn)題都可以轉(zhuǎn)化為變分問(wèn)題尤其是前面介紹的斯特姆劉維爾本征值問(wèn)題可轉(zhuǎn)化為變分問(wèn)題，面介紹的斯特姆劉維爾本征值問(wèn)題可轉(zhuǎn)化為變分問(wèn)題，變分

4、法提供了施劉型本征值問(wèn)題的本征函數(shù)系的完備性變分法提供了施劉型本征值問(wèn)題的本征函數(shù)系的完備性等結(jié)論的證明；等結(jié)論的證明；(1) (1) 變分法在物理上可以變分法在物理上可以歸納定律歸納定律因?yàn)閹缀跛械囊驗(yàn)閹缀跛械淖匀欢啥寄苡米兎衷淼男问接枰员磉_(dá)；自然定律都能用變分原理的形式予以表達(dá)；數(shù)學(xué)物理方法13變分法(3)(3) 變分法變分法是解數(shù)學(xué)物理定解問(wèn)題常用的近似方法，是解數(shù)學(xué)物理定解問(wèn)題常用的近似方法，其其基本思想基本思想是是把數(shù)學(xué)物理定解問(wèn)題轉(zhuǎn)化為變分問(wèn)題把數(shù)學(xué)物理定解問(wèn)題轉(zhuǎn)化為變分問(wèn)題由由直接解變分問(wèn)題發(fā)展了一些近似解法，其中最有用的直接解變分問(wèn)題發(fā)展了一些近似解法，其中最有用的是是

5、里茨里茨 （RitzRitz）法）法 由于里茨法中的試探函數(shù)的選由于里茨法中的試探函數(shù)的選取較為麻煩，計(jì)算系數(shù)矩陣也十分困難，隨著計(jì)算機(jī)取較為麻煩，計(jì)算系數(shù)矩陣也十分困難，隨著計(jì)算機(jī)的展，又迅速發(fā)展了一種有限元法；的展，又迅速發(fā)展了一種有限元法； (4) (4) 變分法的應(yīng)用變分法的應(yīng)用不僅在經(jīng)典物理和工程技術(shù)域，而不僅在經(jīng)典物理和工程技術(shù)域，而且在現(xiàn)代量子場(chǎng)論，現(xiàn)代控制理論和現(xiàn)代信息理論等且在現(xiàn)代量子場(chǎng)論，現(xiàn)代控制理論和現(xiàn)代信息理論等高技術(shù)領(lǐng)域都有十分廣泛的應(yīng)用高技術(shù)領(lǐng)域都有十分廣泛的應(yīng)用數(shù)學(xué)物理方法13變分法有限差分法有限差分法：有限差分法把定解問(wèn)題轉(zhuǎn)化為代數(shù)方程，：有限差分法把定解問(wèn)題轉(zhuǎn)

6、化為代數(shù)方程， 然后通過(guò)電子計(jì)算機(jī)求定解問(wèn)題的數(shù)值解然后通過(guò)電子計(jì)算機(jī)求定解問(wèn)題的數(shù)值解模擬法模擬法：即用一定的物理模型來(lái)模擬所研究的定解問(wèn)題，：即用一定的物理模型來(lái)模擬所研究的定解問(wèn)題， 而在模型上實(shí)測(cè)解的數(shù)值而在模型上實(shí)測(cè)解的數(shù)值 變分法變分法是這些方法中最為重要和切實(shí)有效的方法，是這些方法中最為重要和切實(shí)有效的方法，已經(jīng)廣泛應(yīng)用于科學(xué)研究和工程計(jì)算之中，限于篇幅故已經(jīng)廣泛應(yīng)用于科學(xué)研究和工程計(jì)算之中，限于篇幅故本書(shū)主要詳細(xì)介紹經(jīng)典變分法的基本概念和理論本書(shū)主要詳細(xì)介紹經(jīng)典變分法的基本概念和理論數(shù)學(xué)物理方法13變分法定義：定義： 變分法變分法 變分問(wèn)題變分問(wèn)題 變分法變分法就是求泛函極值的

7、方法就是求泛函極值的方法變分問(wèn)題變分問(wèn)題即是求即是求泛函的極值問(wèn)題泛函的極值問(wèn)題一、泛函一、泛函 變分法研究的對(duì)象是變分法研究的對(duì)象是泛函泛函，泛函是函數(shù)概念的推廣，泛函是函數(shù)概念的推廣為了說(shuō)明泛函概念先看一個(gè)例題：為了說(shuō)明泛函概念先看一個(gè)例題：數(shù)學(xué)物理方法13變分法 考慮著名的考慮著名的最速降線落徑問(wèn)題最速降線落徑問(wèn)題。如圖。如圖13.1 13.1 所示，所示， 已知已知A A和和B B為不在同一鉛垂線和不同高度的兩點(diǎn)，要求為不在同一鉛垂線和不同高度的兩點(diǎn)，要求找出找出A A、B B間的這樣一條曲線，當(dāng)一質(zhì)點(diǎn)在重力作用下沿間的這樣一條曲線，當(dāng)一質(zhì)點(diǎn)在重力作用下沿這條曲線無(wú)摩擦地從這條曲線無(wú)摩

8、擦地從A A滑到滑到B B時(shí)，所需的時(shí)間時(shí)，所需的時(shí)間T T最小最小 y x A B(x,y) 圖 19.1 圖圖13.1數(shù)學(xué)物理方法13變分法我們知道，此時(shí)質(zhì)點(diǎn)的我們知道，此時(shí)質(zhì)點(diǎn)的速度是速度是 d2dsgyt因此從因此從 A A滑到滑到B B所需的所需的時(shí)間為時(shí)間為21+ddd22BAtBBtAAysTtxgygy即為即為21+ ( )d2BAyT y xxgy （13.1.1）數(shù)學(xué)物理方法13變分法yxT( )y x( )y x ( )T y x式中式中 代表對(duì)代表對(duì)求一階導(dǎo)數(shù)求一階導(dǎo)數(shù) 我們稱(chēng)上述的我們稱(chēng)上述的為為的的泛函泛函，而稱(chēng)，而稱(chēng)為可取的函數(shù)類(lèi)，為泛函為可取的函數(shù)類(lèi)，為泛函的的

9、定義域定義域。簡(jiǎn)單地說(shuō)，。簡(jiǎn)單地說(shuō)，泛函就是函數(shù)的函數(shù)泛函就是函數(shù)的函數(shù)（不是復(fù)合函數(shù)（不是復(fù)合函數(shù)的那種含義）的那種含義）一般來(lái)說(shuō)，設(shè)一般來(lái)說(shuō)，設(shè)C C是是函數(shù)的集合函數(shù)的集合，B B是是實(shí)數(shù)或復(fù)數(shù)的集合實(shí)數(shù)或復(fù)數(shù)的集合， 如果對(duì)于如果對(duì)于C C的任一元素的任一元素 ( )y x在在B B中都有一個(gè)元素中都有一個(gè)元素J與之對(duì)應(yīng)，與之對(duì)應(yīng)， J( )y x ( )JJ y x則稱(chēng)則稱(chēng)為為的的泛函泛函，記為，記為必須注意，必須注意，泛函不同于通常講的函數(shù)泛函不同于通常講的函數(shù)決定通常函數(shù)值的決定通常函數(shù)值的數(shù)學(xué)物理方法13變分法因素是自變量的因素是自變量的取值取值，而決定泛函的值的因素則是函數(shù)的

10、，而決定泛函的值的因素則是函數(shù)的取取形形如上面例子中的泛函如上面例子中的泛函T T的變化是由函數(shù)的變化是由函數(shù) ( )y xx（即從（即從A A到到B B的不同曲線）的不同曲線）值，也不取決值，也不取決所引起的它的值既不取決于某一個(gè)所引起的它的值既不取決于某一個(gè)本身的變化本身的變化于某一個(gè)于某一個(gè) yyx值，而是取決于整個(gè)集合值，而是取決于整個(gè)集合C C中中與與的函數(shù)關(guān)系的函數(shù)關(guān)系定義：泛函定義：泛函 泛函的核泛函的核 泛函通常以泛函通常以積分形式積分形式出現(xiàn)，比如上面描述的最速降線出現(xiàn)，比如上面描述的最速降線落徑問(wèn)題的式（落徑問(wèn)題的式（13.1.113.1.1）更為一般而又典型的泛函定義為）

11、更為一般而又典型的泛函定義為 ( )( , ,)dbaJ y xF x y yx (13.1.2)其中其中 ( , ,)F x y y稱(chēng)為稱(chēng)為泛函的核泛函的核數(shù)學(xué)物理方法13變分法 二、泛函的極值二、泛函的極值變分法變分法對(duì)于不同的自變量函數(shù)對(duì)于不同的自變量函數(shù) ( )y x，與此相應(yīng)的泛函，與此相應(yīng)的泛函 ( )J y x也有不同的數(shù)值找出一個(gè)確定的自變量函數(shù)也有不同的數(shù)值找出一個(gè)確定的自變量函數(shù) ( )y x，使泛函，使泛函 ( )J y x 具有極值（極小或極大），這種泛函的極小值與極大具有極值（極小或極大），這種泛函的極小值與極大值統(tǒng)稱(chēng)為值統(tǒng)稱(chēng)為泛函的極值泛函的極值引入泛函的概念后，對(duì)

12、于上述的最速降線落徑問(wèn)題變引入泛函的概念后，對(duì)于上述的最速降線落徑問(wèn)題變?yōu)榉汉癁榉汉?( )J y x的極小值問(wèn)題物理學(xué)中常見(jiàn)的有光學(xué)的極小值問(wèn)題物理學(xué)中常見(jiàn)的有光學(xué)中的中的費(fèi)馬費(fèi)馬(Fermat)(Fermat)原理原理，分析力學(xué)中的，分析力學(xué)中的哈密頓哈密頓(Hamiton)(Hamiton)原理原理等，都是泛函的極值等，都是泛函的極值問(wèn)題問(wèn)題數(shù)學(xué)物理方法13變分法即即直接分析所提出的問(wèn)題直接分析所提出的問(wèn)題；另一類(lèi)叫；另一類(lèi)叫間接法間接法，即把，即把問(wèn)題轉(zhuǎn)化為問(wèn)題轉(zhuǎn)化為求解微分方程求解微分方程為討論間接方法，先介紹變分和泛函的變分為討論間接方法，先介紹變分和泛函的變分三、三、 變分變分

13、定義：定義： 變分變分 如果我們將泛函取極值時(shí)的函數(shù)（或函數(shù)曲線）定義為如果我們將泛函取極值時(shí)的函數(shù)（或函數(shù)曲線）定義為 ( );y x并定義與函數(shù)曲線并定義與函數(shù)曲線 ( )y x鄰近的曲線（或略為變形的鄰近的曲線（或略為變形的定義定義： 變分法變分法：所謂的變分法：所謂的變分法就是求泛函極值的方法就是求泛函極值的方法研究泛函極值問(wèn)題的方法可以歸為兩類(lèi)：一類(lèi)叫研究泛函極值問(wèn)題的方法可以歸為兩類(lèi)：一類(lèi)叫直接法直接法， 數(shù)學(xué)物理方法13變分法曲線）作為比較曲線，記為曲線）作為比較曲線，記為( , )( )( )y xy xx其中其中 是一個(gè)小參數(shù)；是一個(gè)小參數(shù)； ( )x是一個(gè)具有二階導(dǎo)數(shù)的任意

14、是一個(gè)具有二階導(dǎo)數(shù)的任意選定函數(shù)，規(guī)定選定函數(shù)，規(guī)定 它在一個(gè)小范圍內(nèi)變化，這限制主要保證泛它在一個(gè)小范圍內(nèi)變化，這限制主要保證泛函在極值處連續(xù)在研究泛函極值時(shí)，通常將函在極值處連續(xù)在研究泛函極值時(shí)，通常將 ( )x固定，固定，而令而令變化，這樣規(guī)定的變化，這樣規(guī)定的好處好處在于：建立了由參數(shù)在于：建立了由參數(shù) 到泛函到泛函 ( )J y x值之間的對(duì)應(yīng)關(guān)系，因此泛函值之間的對(duì)應(yīng)關(guān)系，因此泛函 ( )J y x就成為了參數(shù)就成為了參數(shù) 的普通函數(shù)原來(lái)泛函的極值問(wèn)題就成為的普通函數(shù)原來(lái)泛函的極值問(wèn)題就成為數(shù)學(xué)物理方法13變分法普通函數(shù)對(duì)普通函數(shù)對(duì) 的求極值的問(wèn)題同時(shí)，函數(shù)曲線的求極值的問(wèn)題同時(shí)，

15、函數(shù)曲線 ( )y x的的變分定義變分定義為為0( , )|( )dyy xx(13.1.3)(13.1.3)因此可得因此可得 ( )dyx(13.1.4)(13.1.4)這里這里 ,y代表對(duì)代表對(duì)x求一階導(dǎo)數(shù)求一階導(dǎo)數(shù) 所以所以 ddyyx(13.1.5)(13.1.5)即變分和微分可以交換次序即變分和微分可以交換次序 數(shù)學(xué)物理方法13變分法()dbaFFJyyxyy (13.1.6) (13.1.6)在極值曲線在極值曲線 ( )y x附近，附近，泛函泛函 ( )J y x的增量的增量，定義為，定義為 ( , ) ( )JJ y xJ y x (13.1.7)(13.1.7)依照上述約定，當(dāng)

16、依照上述約定，當(dāng) 0時(shí)，泛函增量時(shí)，泛函增量 J的線性的線性主要部分定義為主要部分定義為泛函的變分泛函的變分，記為，記為 四、四、 泛函的變分泛函的變分定義：定義： 泛函的變分泛函的變分 泛函的增量泛函的增量 變分問(wèn)題變分問(wèn)題泛函的變分定義為泛函的變分定義為0|dJJ (13.1.8)數(shù)學(xué)物理方法13變分法 在求一元或多元函數(shù)的極值時(shí)，微分起了很大的作用；同樣在求一元或多元函數(shù)的極值時(shí)，微分起了很大的作用；同樣在研究泛函極值問(wèn)題時(shí)，變分起著類(lèi)似微分的作用因此，通常在研究泛函極值問(wèn)題時(shí)，變分起著類(lèi)似微分的作用因此，通常稱(chēng)泛函極值問(wèn)題為稱(chēng)泛函極值問(wèn)題為變分問(wèn)題變分問(wèn)題；稱(chēng)求泛函極值的方法為變分法稱(chēng)

17、求泛函極值的方法為變分法解解 1721 ( )()dJ y xy exyx1172711111771111111 ( )()d(2)dd 2dd2d|d 2dJ y xyexyxxy y eyxxy y xey xxy y x eyxxy y x注意：注意：最后一步利用了一般在邊界上函數(shù)變分為零的事實(shí)，即最后一步利用了一般在邊界上函數(shù)變分為零的事實(shí)，即 711|0ey例例 1 計(jì)算泛函的變分計(jì)算泛函的變分?jǐn)?shù)學(xué)物理方法13變分法13132 2 泛函的極值泛函的極值 泛函的極值問(wèn)題，一般來(lái)說(shuō)是比較復(fù)雜的因?yàn)樗c泛泛函的極值問(wèn)題，一般來(lái)說(shuō)是比較復(fù)雜的因?yàn)樗c泛函包含的自變量個(gè)數(shù)，未知函數(shù)的個(gè)數(shù)以及函

18、數(shù)導(dǎo)數(shù)的階數(shù)函包含的自變量個(gè)數(shù)，未知函數(shù)的個(gè)數(shù)以及函數(shù)導(dǎo)數(shù)的階數(shù)等相關(guān)另外，在求泛函極值時(shí)，有的還要加約束條件，且等相關(guān)另外，在求泛函極值時(shí)，有的還要加約束條件，且約束條件的類(lèi)型也有不同，等等下面我們首先討論泛函的約束條件的類(lèi)型也有不同，等等下面我們首先討論泛函的極值的極值的必要條件必要條件 數(shù)學(xué)物理方法13變分法一、一、 泛函的極值的必要條件泛函的極值的必要條件歐拉拉格朗日方程歐拉拉格朗日方程 設(shè)設(shè) ( )J y x的極值問(wèn)題有解的極值問(wèn)題有解( )yy x（13.2.1） 現(xiàn)在推導(dǎo)這個(gè)解所滿(mǎn)足的現(xiàn)在推導(dǎo)這個(gè)解所滿(mǎn)足的常微分方程常微分方程，這是用，這是用間接法間接法研究泛函極值問(wèn)題的重要一環(huán)

19、研究泛函極值問(wèn)題的重要一環(huán)設(shè)想這個(gè)解有變分設(shè)想這個(gè)解有變分 ( )x則則 ( )( )J y xx可視為參數(shù)可視為參數(shù) 的函數(shù)的函數(shù) ( ) ( )( ).J y xx而當(dāng)而當(dāng) 0時(shí)，時(shí)， 數(shù)學(xué)物理方法13變分法( )( )( )y xxy x對(duì)應(yīng)于式對(duì)應(yīng)于式(13.2.1),(13.2.1),即為即為 ( )( )J y xx取極值于是原來(lái)的泛函極值取極值于是原來(lái)的泛函極值問(wèn)題，就化為一個(gè)求普通函數(shù)問(wèn)題，就化為一個(gè)求普通函數(shù) ( )的極值問(wèn)題由函數(shù)的極值問(wèn)題由函數(shù)取取極值的必要條件極值的必要條件，有，有0d|0d即有即有 0|0J（13.2.213.2.2）數(shù)學(xué)物理方法13變分法 1.泛函表

20、示為一個(gè)自變量，一個(gè)函數(shù)及其一階導(dǎo)數(shù)泛函表示為一個(gè)自變量，一個(gè)函數(shù)及其一階導(dǎo)數(shù)的積分形式的積分形式泛函表示為一個(gè)自變量，一個(gè)函數(shù)及其一階導(dǎo)數(shù)的積分形式，泛函表示為一個(gè)自變量，一個(gè)函數(shù)及其一階導(dǎo)數(shù)的積分形式， （13.1.213.1.2） ( )( , ,)baJ y xF x y y dx若考慮兩端固定邊界的泛函問(wèn)題若考慮兩端固定邊界的泛函問(wèn)題：積分是在區(qū)域內(nèi)通過(guò)兩點(diǎn)積分是在區(qū)域內(nèi)通過(guò)兩點(diǎn) 1122(,),(,)x yxy的任意曲線進(jìn)行的，其中的任意曲線進(jìn)行的，其中 12,xa xb數(shù)學(xué)物理方法13變分法泛函中泛函中 y為為( , )( )( )y xy xx由于由于兩端固定兩端固定，所以要求

21、，所以要求 ( )0, ( )0ab，即，即 |0,|0 x ax byy由由(13.1.8)(13.1.8)，有，有 0 ( )( )|d ( )d( )d d dbabaJ y xxJFFxxxyyFFyyxyy（13.2.313.2.3） 數(shù)學(xué)物理方法13變分法式式(13.2.3)(13.2.3)的積分號(hào)下既有的積分號(hào)下既有 y，又有，又有 y，對(duì)第二項(xiàng)，對(duì)第二項(xiàng)應(yīng)用分部積分法可使積分號(hào)下出現(xiàn)應(yīng)用分部積分法可使積分號(hào)下出現(xiàn)yd|()ddbbaaFFFJyy xyyxy(13.2.4)(13.2.4)根據(jù)（根據(jù)（17.2.217.2.2）, ,所以所以 0|0JJd , ,再根據(jù)再根據(jù)（1

22、3.2.413.2.4）故有故有d|()d0dbbaaFFFJyy xyyxy（13.2.513.2.5） 數(shù)學(xué)物理方法13變分法 因?yàn)橐驗(yàn)?|0,|0 x ax byy并且并且 y是任意的，所以是任意的，所以 d()0dFFyxy (13.2.6) (13.2.6) 上式上式(13.2.6)(13.2.6)稱(chēng)為稱(chēng)為歐拉（歐拉（EulerEuler）拉格朗日（）拉格朗日（LagrangeLagrange）方程，簡(jiǎn)稱(chēng)為方程，簡(jiǎn)稱(chēng)為E-LE-L方程方程 此即泛函取極值的必要條件即泛函此即泛函取極值的必要條件即泛函 J的極值函數(shù)的極值函數(shù) ( )y x必須是滿(mǎn)足泛函的變分必須是滿(mǎn)足泛函的變分 0J的

23、函數(shù)類(lèi)的函數(shù)類(lèi) ( )y x因此，因此， 數(shù)學(xué)物理方法13變分法把泛函的極值問(wèn)題稱(chēng)為變分問(wèn)題把泛函的極值問(wèn)題稱(chēng)為變分問(wèn)題 注明注明：E-LE-L方程是泛函取極值的必要條件，而不是充分方程是泛函取極值的必要條件，而不是充分條件如果討論充分條件，則要計(jì)算二階變分，并考慮其正、條件如果討論充分條件，則要計(jì)算二階變分，并考慮其正、負(fù)值負(fù)值, ,但對(duì)于實(shí)際問(wèn)題中，當(dāng)泛函具有明確的物理涵義，極值的但對(duì)于實(shí)際問(wèn)題中，當(dāng)泛函具有明確的物理涵義，極值的存在性往往間接地在問(wèn)題的提法中就可以肯定，所以極值的存存在性往往間接地在問(wèn)題的提法中就可以肯定，所以極值的存在性是不成問(wèn)題的，只要解出在性是不成問(wèn)題的，只要解出E

24、-LE-L方程，就可以得到方程，就可以得到泛函的極泛函的極值值 E-L E-L方程除了上面給出的形式方程除了上面給出的形式(13.2.6)(13.2.6)之外之外，另外還有四種特殊情況：另外還有四種特殊情況：數(shù)學(xué)物理方法13變分法(1) (1) F不顯含不顯含 x( ,),FF y y且且 0Fx因?yàn)橐驗(yàn)閐dd()()()dddFFFFFFFyyyxyxyxyyxy若若 0,y E-LE-L方程等價(jià)于方程等價(jià)于 FFycy （13.2.713.2.7）數(shù)學(xué)物理方法13變分法(2) (2) F不依賴(lài)于不依賴(lài)于 y( ,),FF x y且且 0Fy則則E-LE-L方程化為方程化為d()0, dFF

25、cxyy （13.2.813.2.8）(3) (3) F不依賴(lài)于不依賴(lài)于 y( , ),FF x y且且 0Fy則則E-LE-L方程化為方程化為0Fy（13.2.913.2.9）數(shù)學(xué)物理方法13變分法由此可見(jiàn)由此可見(jiàn) F僅為僅為 x的函數(shù)的函數(shù) (4) (4) F關(guān)于關(guān)于 y是線性的：是線性的： ( , ,)( , )( , )F x y yf x yg x y y則則E-LE-L方程化為方程化為0fgyx （13.2.1013.2.10） 對(duì)于含有一個(gè)自變量，多個(gè)變量函數(shù)，以及有較高階變量對(duì)于含有一個(gè)自變量，多個(gè)變量函數(shù)，以及有較高階變量函數(shù)導(dǎo)數(shù)的泛函，類(lèi)似上面的推導(dǎo)可得如下結(jié)論：函數(shù)導(dǎo)數(shù)的

26、泛函，類(lèi)似上面的推導(dǎo)可得如下結(jié)論：數(shù)學(xué)物理方法13變分法2. 泛函表示為多個(gè)函數(shù)的積分形式泛函表示為多個(gè)函數(shù)的積分形式1122 ( )( ,)dbnnaJ y xF x y y yyyyx|0, |=0 (1,2, )ix aix byyin則與此泛函極值問(wèn)題相應(yīng)的則與此泛函極值問(wèn)題相應(yīng)的E-LE-L方程為方程為d()0 (1,2, )diiFFinyxy（13.2.11）數(shù)學(xué)物理方法13變分法3. 泛函的積分形式中含有高階導(dǎo)數(shù)泛函的積分形式中含有高階導(dǎo)數(shù)( ) ( )( , ,)dbnaJ y xF x y y yyx(1)( )( )( )0ny ay ay a(1)( )( )( )0n

27、y by by b與此泛函極值問(wèn)題相應(yīng)的與此泛函極值問(wèn)題相應(yīng)的E-LE-L方程為方程為22( )ddd()()( 1)()0dddnnnnFFFFyxyxyxy （13.2.12）數(shù)學(xué)物理方法13變分法4.泛函的積分形式中含有多元函數(shù)泛函的積分形式中含有多元函數(shù)( , )u x y, x y設(shè)設(shè)為為的二元函數(shù)，則的二元函數(shù)，則22111212( , , ,)d d( , )(, )( ,)( ,)0 xyxyxyJF x y u u ux yu x yu xyu x yu x y 與此泛函極值問(wèn)題相應(yīng)的與此泛函極值問(wèn)題相應(yīng)的E-LE-L方程為方程為()()0 xyFFFuxuyu（13.2.1

28、313.2.13）數(shù)學(xué)物理方法13變分法212yFgy不顯含不顯含 x，故其故其E-LE-L方程為（方程為（13.2.713.2.7）式）式0221122yyFFyygycyygy令令 02cgc故有故有 221(1)yyc例例2 2 試求解最速降線落徑問(wèn)題，即變分問(wèn)題試求解最速降線落徑問(wèn)題，即變分問(wèn)題21d02BAyxgy解解目前，我們只能用間接方法來(lái)求解，由于目前，我們只能用間接方法來(lái)求解，由于數(shù)學(xué)物理方法13變分法令令 121cc分離變量得到分離變量得到1dd ycyxy再令再令 12sin2cy代入上式得到代入上式得到112dsind(1cos )d22cxc即得到即得到121(sin

29、)2(1c o s2)cccxy數(shù)學(xué)物理方法13變分法此即為擺線的參數(shù)方程，積分常數(shù)可由初始位置此即為擺線的參數(shù)方程，積分常數(shù)可由初始位置 （圖（圖13.113.1的的A,BA,B兩點(diǎn)）決定兩點(diǎn)）決定13.2.213.2.2泛函的條件極值問(wèn)題泛函的條件極值問(wèn)題 在許多泛函的極值問(wèn)題中，變量函數(shù)還受到一些附加條件在許多泛函的極值問(wèn)題中，變量函數(shù)還受到一些附加條件的限制，其中最常見(jiàn)和重要的一種是以的限制，其中最常見(jiàn)和重要的一種是以積分形式表示的限制積分形式表示的限制條件條件( , ,)dbaG x y yxl （13.2.14）數(shù)學(xué)物理方法13變分法即所謂的即所謂的等周問(wèn)題等周問(wèn)題：01 ( )(

30、 , ,)d , ( ), ( )( , ,)d babaJ y xF x y yxy ayy byG x y yxl (13.2.15) (13.2.15)（注：這種問(wèn)題之所以稱(chēng)為等周問(wèn)題，是因?yàn)樵跉v史上起源注：這種問(wèn)題之所以稱(chēng)為等周問(wèn)題，是因?yàn)樵跉v史上起源于求一條通過(guò)兩點(diǎn)，長(zhǎng)度固定為于求一條通過(guò)兩點(diǎn)，長(zhǎng)度固定為l l的曲線的曲線 ( ),y x使面積使面積 ( )dbaSy xx取極大值）取極大值）數(shù)學(xué)物理方法13變分法其中其中 01,l yy為常數(shù)此類(lèi)問(wèn)題可以仿照普通函數(shù)的為常數(shù)此類(lèi)問(wèn)題可以仿照普通函數(shù)的條件極值問(wèn)題的拉格朗日乘子法即將附加條件條件極值問(wèn)題的拉格朗日乘子法即將附加條件(1

31、3.2.14)(13.2.14)乘以乘以參數(shù)，求其變分后，加到泛函取極值的必要條件中得到參數(shù)，求其變分后，加到泛函取極值的必要條件中得到 ( ; ,)( ; ,)d0baF x y yG x y yx于是問(wèn)題轉(zhuǎn)化為不帶條件的由上式所表示的變分問(wèn)題于是問(wèn)題轉(zhuǎn)化為不帶條件的由上式所表示的變分問(wèn)題 其對(duì)應(yīng)的其對(duì)應(yīng)的E-LE-L方程為方程為數(shù)學(xué)物理方法13變分法d()0dFGFGyyxyy這是通過(guò)這是通過(guò) a和和 b兩點(diǎn)的兩點(diǎn)的 ( )y x之下使之下使泛函取極值的必要條件泛函取極值的必要條件它實(shí)際上是一個(gè)關(guān)于它實(shí)際上是一個(gè)關(guān)于 在在附加條件（附加條件（13.2.1413.2.14）( )y x的二階

32、常微分方程其通解中含有三個(gè)參數(shù)，即的二階常微分方程其通解中含有三個(gè)參數(shù)，即和兩個(gè)積分和兩個(gè)積分常數(shù)它們可由條件常數(shù)它們可由條件 01( ), ( )y ayy by（13.2.1413.2.14）來(lái)確定）來(lái)確定 . .和附加條件和附加條件數(shù)學(xué)物理方法13變分法 例例3 3 求求 120 ( )() dJ y xyx的極值，其中的極值，其中 y是歸一化的，即是歸一化的，即 120d1yx ，且已知，且已知 (0)0, (1)0.yy 解解 本題是求泛函的條件極值問(wèn)題，可化為變分問(wèn)題本題是求泛函的條件極值問(wèn)題，可化為變分問(wèn)題1220()d0yyx 對(duì)應(yīng)的對(duì)應(yīng)的E-LE-L方程為方程為0yy其通解為

33、其通解為cossin (0)yAxBx數(shù)學(xué)物理方法13變分法代入附加條件代入附加條件 (0)0, (1)0.yy得到得到( )sin( ) (1,2,)nnyxcn xn代入歸一化條件得到代入歸一化條件得到1220sin ( )d1ncn x x 于是得到于是得到 2nc ，故原極值問(wèn)題的解為，故原極值問(wèn)題的解為2sin( )nyn x 而題中要求的泛函而題中要求的泛函 120() dyx的極值為的極值為數(shù)學(xué)物理方法13變分法12222202 cos ( )dnn xxn當(dāng)當(dāng) 1n 時(shí)，極值函數(shù)時(shí)，極值函數(shù) 1( )2siny xx 使得泛函數(shù)取得最小值使得泛函數(shù)取得最小值 2例例4 4 求泛函求泛函 20 (2 cos )dJ yyyxx在條件在條件 (0)0, ()0yy下的極值曲線下的極值曲線. .解解 此時(shí)此時(shí) xyyyyxFcos2),(2 則偏導(dǎo)數(shù)則偏導(dǎo)數(shù) 數(shù)學(xué)物理方法13變分法yFxFyy2,cos2. .對(duì)應(yīng)的對(duì)應(yīng)的Eu