在物理學裡， 作用量原理（），或更精確地，平穩作用量原理（），是一種變分原理，當應用於一個機械系統的作用量時，可以得到此機械系統的運動方程式。這原理的研究引導出經典力學的拉格朗日表述和哈密頓表述的發展。卡爾·雅可比特稱最小作用量原理為分析力學之母。
在現代物理學裏，這原理非常重要，在相對論、量子力學、量子場論裏，都有廣泛的用途。在現代數學裏，這原理是莫爾斯理論的研究焦點。本篇文章主要是在闡述最小作用量原理的歷史發展。關於數學描述、推導和實用方法，請參閱條目作用量。最小作用量原理有很多種例子，主要的例子是莫佩爾蒂原理（）和哈密頓原理。
在最小作用量原理之前，有很多類似的點子出現於測量學和光學。古埃及的在測量兩點之間的距離時，會將固定於這兩點的繩索拉緊，這樣，可以使間隔距離減少至最低值。托勒密在他的著作《地理學指南》（）第一册第二章裏強調，測量者必須對於直線路線的誤差做出適當的修正。古希臘數學家歐幾里得在《反射光學》（）裏表明，將光線照射於鏡子，則光線的反射路徑的入射角等於反射角。稍後，亞歷山卓的希羅證明這路徑的長度是最短的。
費馬的表述
1662年，皮埃爾·德·費馬提出費馬原理，又稱為「最短時間原理」：光線移動的路徑是需時最少的路徑。
費馬原理更正確的版本應是「平穩時間原理」。對於某些狀況，光線移動的路徑所需的時間可能不是最小值，而是最大值，或甚至是拐值。例如，對於平面鏡，任意兩點的反射路徑光程是最小值；對於半橢圓形鏡子，其兩個焦點的光線反射路徑不是唯一的，光程都一樣，是最大值，也是最小值；對於半圓形鏡子，其兩個端點Q、P的反射路徑光程是最大值；又如最右圖所示，對於由四分之一圓形鏡與平面鏡組合而成的鏡子，同樣這兩個點Q、P的反射路徑的光程是拐值。
假設，介質1、介質2的折射率分別為n_1、n_2，光線從介質1在點O移動進入介質2，則司乃耳定律以方程式表達為
:n_1\sin\theta_1=n_2\sin\theta_2；
其中，\theta_1為入射角，\theta_2為折射角。
從費馬原理，可以推導出司乃耳定律。通過設定光程對於時間的導數為零，可以找到「平穩路徑」，這就是光線移動的路徑。光線在介質1與介質2的速度分別為
:v_1=c/n_1、
:v_2=c/n_2；
其中，c是真空光速。
由於介質會減緩光線的速度，折射率n_1和n_2都大於1。
如右圖所示，從點Q到點P的移動時間T為
:T=\frac{\sqrt{x^2 + a^2}}{v_1} + \frac{\sqrt{b^2 +(l - x)^2}}{v_2}。
根據費馬原理，光線移動的路徑是所需時間為極值的路徑，取移動時間T對變數x的導數，設定其為零：
:\frac{dT}{dx}=\frac{x}{v_1\sqrt{x^2 + a^2}} + \frac{ -(l - x)}{v_2\sqrt{(l-x)^2 + b^2}}=0。
由圖中的邊角關係，可以得到移動速度與折射角的關係式：
:\frac{dT}{dx}=\frac{\sin\theta_1}{v_1} - \frac{\sin\theta_2}{v_2}=0。
將移動速度與折射率的關係式代入，就會得到司乃耳定律：
:n_1\sin\theta_1=n_2\sin\theta_2。
費馬原理引發了極大的爭議。假若介質的密度越小，光線的移動速度越快，則費馬原理是正確的；但是，艾薩克·牛頓和勒內·笛卡兒都認為介質的密度越大，光線的移動速度就越快。1802年，托馬斯·楊做實驗發現，當光波從較低密度介質移動進入較高密度介质之後，光波的波長會變短，他因此推論光波的運動速度會降低。。但是，史學專家指出，這優先聲明並不明確。萊昂哈德·歐拉在他的1744年論文裏就已談到這原理。還有一些考據顯示出，在1705年，戈特弗里德·萊布尼茨就已經發現這原理了。
莫佩爾蒂發表的最小作用量原理闡明，對於所有的自然現象，作用量趨向於最小值。他定義一個運動中的物體的作用量為A，物體質量m、移動速度v與移動距離s的乘積：
:A=mvs
莫佩爾蒂又從宇宙論的觀點來論述，最小作用量好像是一種經濟原理。在經濟學裏，大概就是精省資源的意思。這論述的瑕疵是，並沒有任何理由，能夠解釋，為什麼作用量趨向最小值，而不是最大值。假若，我們解釋最小作用量為大自然的精省資源，那麼，我們又怎樣解釋最大作用量呢？
折射理論
於1744年，在巴黎科學院發表的一篇論文《幾種以前互不相容的自然定律的合一論》（）中，莫佩爾蒂提出，光折射的路徑，從一種介質到另一種介質，是作用量的最小值。按照這論點，如前圖，假設光線從折射率為n_1的介質1折射於折射率為n_2介質2，則作用量為
:A=m\left( v_1 \sqrt{x^2 + a^2}+v_2\sqrt{b^2 + (l-x)^2}\right)；
其中，m是光線的質量。雖然光線並沒有質量，這變量對於結果沒有任何影響，可以被忽略。
取作用量對於變數x的導數，設定為零，經過一些運算，可以得到
:v_1\sin\theta_1=v_2\sin\theta_2。
請注意，這結果與牛頓的光粒子理論相符合；但是，與費馬得到的結果南轅北轍，大不相同。
非彈性碰撞
1747年，莫佩爾蒂在柏林科學院（）發表了論文《運動與靜止定律》（）。在這篇論文裏，他將碰撞分為兩種，彈性碰撞與非彈性碰撞。彈性碰撞遵守動量守恆和能量守恆；非彈性碰撞只遵守動量守恆。莫佩爾蒂可以將最小作用量原理應用於彈性碰撞與非彈性碰撞，正確地計算出碰撞後的物體的速度。
思考一個一維非彈性碰撞，假設兩個質量分別為m_1和m_2的物體O1和物體O2，分別以初始速度v_1和v_2朝著同一方向移動，而且，v_1>v_2，物體O1緊追著物體O2。當兩物體發生非彈性碰撞後，結合成為物體O3，以終結速度v_3移動。從固定於物體O3的參考系觀察，物體O1和物體O2的速度分別為v_1 - v_3和v_2 - v_3。所以，作用量為
:A=m_1(v_1 - v_3)^2 t+m_2(v_2 - v_3)^2 t；
其中，t是時間。
取作用量對於變數v_3的導數，設定為零，經過一些運算，可以得到
:m_1(v_1 - v_3)+m_2(v_2 - v_3)=0。
所以，最終速度為
:v_3=\frac{m_1 v_1+m_2 v_2}{m_1+m_2} 。
請注意，按照這種設定參考系的方法，前面折射問題的光折射作用量應該是
:A=m(v_1 - v_2) \sqrt{x^2 + a^2}。
還有，前面光折射作用量的距離參數是任意值，但是，非彈性碰撞作用量的碰撞前距離參數與碰撞後距離參數被設定為相等。
由於這些不一致之處，促使恩斯特·馬赫嚴厲批評，莫佩爾蒂的最小作用量原理只是一個模糊不清的概念，勉強地被用來解釋各種不同的物理現象。
歐拉的表述
1744年，萊昂哈德·歐拉在論文《尋找具有極大值或極小值性質的曲線，等周問題的最廣義解答》（）裏，以非常清楚的字句，給出最小作用量原理的定義：
{{quote|設定一個質量為M，速度為v的粒子移動無窮小距離ds。這粒子的動量為M v，當乘以無窮小距離\mathrm{d}s時，會給出M v \,\mathrm{d}s，粒子的動量積分於無窮小距離\mathrm{d}s。現在，我宣明，這移動粒子的真實軌道（在所有連結兩個端點的可能軌道之中）是\int M v \mathrm{d}s為最小值的軌道，或者，假定質量是個常數，是\int v \,\mathrm{d}s為最小值的軌道。}}
如同歐拉所寫，\int Mv\,\mathrm{d}s是動量積分於移動路徑。採用現代術語，這積分等於簡略作用量\int \mathbf{p}\cdot\,\mathrm{d}\mathbf{q}；其中，\mathbf{p}是廣義動量，\mathbf{q}是廣義坐標。因此，在同一年，稍微比莫佩爾蒂晚一點，歐拉獨立地發表了，與莫佩爾蒂的理論等同的，關於變分原理的理論。歐拉並沒有爭奪優先榮譽。
直線運動
假設沒有任何作用力施加於這粒子，則這粒子以均勻速度移動：
:A=\int Mv\,\mathrm{d}s=Mvs。
只有在軌道長度s為最小值時，才能得到作用量最小值。這軌道是一條直線。
拋物線運動
假設這移動於二維空間的粒子感受到均勻重力\mathbf{F}=Mg\hat{\mathbf{y}}，則根據活力定律（），
:\frac{1}{2}Mv^2=\frac{1}{2}Mv_0^2+Mgy；
其中，v是瞬時速度，v_0是最初速度，y是粒子朝著y-軸移動的距離，g是加速度常數。
將這方程式代入作用量：
:A=\int Mv\,\mathrm{d}s=\int M\sqrt{v_0^2+2gy}\,\mathrm{d}s
=\int M\sqrt{v_0^2+2gy}\,\sqrt{1+\left(\frac{dx}{dy}\right)^2}\ dy。
令\delta A=0，求作用量的穩定值，應用變分法，可以得到歐拉-拉格朗日方程式：
:\cfrac{\sqrt{v_0^2+2gy}\left(\frac{dx}{dy}\right)}{\sqrt{1+\left(\frac{dx}{dy}\right)^2}}=k_1 ；
其中，k_1是積分常數。
重新編排，可以得到
:\frac{dx}{dy}=\cfrac{k_1}{\sqrt{v_0^2+2gy - k_1^2}}。
將這方程式積分，
:x=\frac{k_1}{g}\sqrt{v_0^2+2gy - k_1^2}+k_2；
其中，k_2是積分常數。
假設粒子的初始位置為(0,0)，初始速度為(0,v_0)，則
:k_1=v_0、
:k_2=0、
:x=\sqrt{\frac{2v_0^2 y }{g}}。
重新編排，可以看出這是拋物線方程式：
:y=\frac{g}{2v_0^2}\ x^2。
歐拉又將這結果推廣至一群粒子。他認為最小作用原理所以正確，是因為粒子的慣性試著阻抗任何關於狀態的改變，自由粒子會選擇遵循影響最小的作用力。後來，於1816年，奧淩迪·若立格（）想出新點子，將這時間作用量的變分詳細計算出來]]
作用量记作 \mathcal{S} ，定义为时刻、之间拉格朗日量L的积分——是广义坐标的泛函，其中坐标是时间的函数，定义了系统的位形空间：
\mathbf{q} : \mathbf{R} \to \mathbf{R}^N
\mathcal{S}[\mathbf{q}, t_1, t_2] = \int_{t_1}^{t_2} L(\mathbf{q}(t),\mathbf{\dot{q}}(t), t) dt
点表示时间导数，是时间。
数学原理为
\delta \mathcal{S} = 0 ,
其中δ是微小变化。换句话说就是：
\delta \int_{t_1}^{t_2} L(\mathbf{q}, \mathbf{\dot{q}},t) dt = 0 .
作用与拉格朗日量都包含了系统在所有时间的动力特性。“路径”是指系统在位形空间中画出的曲线，即以时间为参数的曲线（关于这一概念，另见参数方程）。
进一步发展
拉格朗日与哈密顿
约瑟夫·拉格朗日于1760年提出了变分法的大部分内容，并将其应用于动力学问题。在《动力分析》（1788）中，拉格朗日推导出了机械体的一般运动方程。威廉·哈密顿在1834、1835年将变分法应用于经典拉格朗日函数L = T - V得到了目前形式的欧拉-拉格朗日方程。
雅可比、莫尔斯和卡拉西奥多里
卡尔·雅可比于1842年解决了变分法是否总能找到最小值而非其他驻点（最大值或鞍点）的问题，他的大部分工作集中于二维曲面的测地线上。马斯顿·莫尔斯在1920年代到30年代首次给出了明确的一般性陈述，形成了莫尔斯理论。例如，莫尔斯证明了轨迹中共轭点数等于拉格朗日二次变分中负特征值的数量。康斯坦丁·卡拉西奥多里对欧拉-拉格朗日方程进行了非常优雅的推导，发表于1935年。
高斯与赫兹
其他经典力学的极值原理有高斯最小约束原理及其推论——赫兹最小曲率原理。
达朗贝尔
对于具有非完整约束的系统，哈密顿原理被达朗贝尔原理代替。这时，作用量\mathcal{S}[\mathbf{q}, t_1, t_2] 被强加为只在符合约束的变化\delta \mathbf{q}(t)时静止。
表觀目的論
微分運動方程式數學等價於其對應的積分運動方程式，這具有很重要的哲學意義。微分方程式描述局部於空間的一點或單獨時間的片刻。舉例而言，牛頓第二定律\mathbf{F}=m\mathbf{a}解釋為瞬時作用力\mathbf{F}施加於質量為m的粒子會造成瞬時加速度為\mathbf{a}的運動。明顯對比地，作用量原理不會局部於一點，而牽涉到積分於一段時間間隔或一個空間的局域。更重要地，通常在經典作用量原理的表述裏，系統的初始狀態和終結狀態是固定不變的，也就是說，
:設定一個移動粒子開始於位置x_1、時間t_1，結束於位置x_2、時間t_2，連接這兩個端點的物理軌道是作用量積分的平穩值。
特別地針對這程序，終結狀態的固定動作似乎額外地賦予了作用量原理一些目的論的特色。在物理學史裏，這特色不經意地製造出很多激烈的爭論。
參閱
- 變分法
- 活力 (物理)（）
- 高斯最小約束原理（）
- 赫茲最小曲率原理（）
- 雅可比原理（）
參考文獻
评论 (0)