跳转到内容

伯特蘭定理:修订间差异

维基百科,自由的百科全书
删除的内容 添加的内容
老陳留言 | 贡献
无编辑摘要
使用DisamAssist清理消歧義連結:頻率(改連結至頻率 (物理學))。
 
(未显示23个用户的38个中间版本)
第1行: 第1行:
{{Distinguish|伯特蘭-切比雪夫定理}}
{{PhysicsTA}}
{{noteTA|G1=物理學}}
在[[經典力學]]裏,'''伯特蘭定理'''<ref>{{cite journal | last = Bertrand | first = J | year = 1873 | title = Théorème relatif au mouvement d'un point attiré vers un centre fixe| journal = C. R. Acad. Sci. | volume = 77 | pages = 849&ndash;853}}</ref>闡明,只有兩種[[勢]] <math>V\,\!</math> 可以產生閉合軌道:
[[File:Bertrand.jpg|thumb|200px|約瑟·伯特蘭]]
#[[反平方定律|反平方]][[連心力|連心勢]]像[[萬有引力|重力勢]]或[[靜電學|靜電勢]]: <math>V(r) = \frac{ - k}{r}\,\!</math> ,
在[[經典力學]]裏,'''伯特蘭定理'''闡明,只有兩種[[位勢]]<math>V</math>可以給出閉合軌道<ref>{{cite journal | last = Bertrand | first = J | year = 1873 | title = Théorème relatif au mouvement d'un point attiré vers un centre fixe| journal = C. R. Acad. Sci. | volume = 77 | pages = 849–853}}</ref>:
#徑向[[諧振子]]勢: <math>V(r) = \frac{1}{2} kr^{2}\,\!</math> ;
*[[平方反比定律|平方反比]][[連心力]]給出的[[連心勢]],像[[萬有引力|重力勢]]或[[靜電學|靜電勢]],以方程式表示為
::<math>V(r) = \frac{ - k}{r}</math>。
*徑向[[諧振子]]勢:
::<math>V(r) = \frac{1}{2} kr^{2}</math>。


這裏,<math>r\,\!</math> 是徑向座標,<math>k\,\!</math> 是正常數。假若物體經過移動一段路,又回到原來軌道,則稱此為'''閉合軌道'''。
其中,<math>r</math>是徑向座標,<math>k</math>是正常數。假若物體從某位置移動,經過一段路又回到原先位置,則稱此路徑為'''閉合軌道'''。


[[牛頓]]於 1687 年發表的[[萬有引力定律]],解釋了[[克卜勒定律]]中,行星繞太陽的橢圓軌道隨後,許多科學家都在研究,當行星的運動稍偏離了這軌道,會發生何種狀況其中一個問題就是:軌道是否仍舊閉合的?這問題一直到 1873 年,才由法國數學家[[約瑟·伯特蘭]]找到解答,即為伯特蘭定理。定理經典[[天體力學]]裏是很重要的。因為在[[宇宙]]遙遠的那一邊萬有引力是否仍舊一樣?伯特蘭定理給予實驗者,更精確的方法,來測試萬有引力的平方性。
1687年,物理学家[[艾薩克·牛頓]]在著作《自然哲學數學原理》裏提出了[[萬有引力定律]],解釋了行星繞著太陽的公轉为何遵守[[克卜勒定律]]。此后許多科學家開始研究,當行星的運動稍偏離了這軌道時,可能會發生狀況其中一個問題軌道是否仍舊閉合。但經過多年探討亦無法給出合理的解答。直到1873年,法國數學家[[約瑟·伯特蘭]]發表伯特蘭定理,才正確解析此問題定理對於經典[[天體力學]]研究非常重要,伯特蘭定理給予實驗者一個精確的方法,來測試萬有引力的平方反比


在現代物理學裏,因為[[廣義相對論]]效應,關於連心勢的軌道不再是閉合的。實驗證明,水星繞太陽軌道[[拱點|近拱點]]呈緩慢[[進動#行星軌道的進動|進動]]狀態。所以,當涉及廣義相對論的領域,伯特蘭定理不再正確
在現代物理學裏,理論物理學家發現由於[[廣義相對論]]效應,引力與距離不再成精確平方反比關係,因此軌道是閉合的。天文學家作實驗觀測到[[水星]]著[[太陽]]公轉的橢圓軌道,其[[拱點|近拱點]]呈緩慢[[進動#行星軌道的進動|進動]]狀態。


==前論==
==前論==
所有引性[[連心力]]都可以使環繞物體的軌道呈[[圓|圓形]];這圓形軌道當然是閉合軌道;其產生的唯一條件是連心力恰巧地相等於[[離心力]];後者決定對於某圓形半徑所需的[[角速度]]。我們在這裏不研究[[連心力|非連心力]]一般而言,它們並不會產生圓形軌道。
所有引性[[連心力]]都可以產生[[圓|圓形]]的公轉軌道;這圓形軌道當然是閉合軌道;其形成的唯一條件是連心力恰巧地[[離心力]]等值;後者決定了維持某圓形半徑所需的[[角速度]]。本篇文章不研究[[連心力|非連心力]]一般而言,非連心力不會產生圓形的公轉軌道。


一個移動於連心勢 <math>V(r)\,\!</math> 的粒子[[拉格朗日量]] <math>\mathcal{L}\,\!</math>
採用[[極坐標]]<math>(r,\theta)</math>,一個移動於連心勢<math>V(r)</math>的粒子,其[[拉格朗日量]]<math>\mathcal{L}</math>是
:<math>\mathcal{L}=\frac{1}{2}m\dot{r}^2+\frac{1}{2}mr^2\dot{\theta}^2 - V(r)\,\!</math>
:<math>\mathcal{L}=\frac{1}{2}m\dot{r}^2+\frac{1}{2}mr^2\dot{\theta}^2 - V(r)</math>。


這裏,<math>m\,\!</math> 是粒子質量,<math>r\,\!</math> 是徑向座標,<math>\theta\,\!</math> 是角座標
其中,<math>m</math>是粒子質量,<math>\dot{r}</math>、<math>\dot{\theta}</math>分別表示<math>r</math>、<math>\theta</math>對於時間<math>t</math>的導數


這粒子的[[拉格朗日方程式]]為
立刻,我們發覺 <math>\theta\,\!</math> 是個[[廣義動量#廣義動量守恆定律|循環座標]],
:<math>\frac{\partial \mathcal{L}}{\partial \dot{\theta}}=mr^2\dot{\theta}=\ell\,\!</math>
:<math>m\ddot{r} - mr\dot{\theta}^2+\frac{dV}{dr}=0</math>
:<math>\frac{d}{dt}(mr^2\dot{\theta})=0</math>。


由於角坐標<math>\theta</math>顯性地跟拉格朗日量無關,<math>\theta</math>是個[[可略坐標]],其[[共軛動量]]([[角動量]])<math>\ell</math>守恆,<math>\ell</math>是個常數:
這裏,<math>\ell\,\!</math> 是角動量,一個常數。
:<math>\ell=\frac{\partial \mathcal{L}}{\partial \dot{\theta}}=mr^2\dot{\theta}</math>。


關於徑向座標,[[拉格朗日方程式|拉格朗日運動方程式]]
將角動量的方程式代入徑向拉格朗日方程式,可以得到一個<math>r</math>的二次[[微分方程式]]
:<math>m\ddot{r} - mr\dot{\theta}^2= - \frac{dV}{dr}\,\!</math>
:<math>m\ddot{r} - \frac{\ell^2}{mr^3}+\frac{dV}{dr}=0</math>。


假設軌道是圓形軌道,方程式左手邊第一個項目是零,則如同期待的,連心力<math> - \frac{dV}{dr}</math>等值於離心力<math> - \frac{\ell^2}{mr^3}</math>。
代入角動量,
:<math>m\ddot{r} - \frac{\ell^2}{mr^3}= - \frac{dV}{dr}\,\!</math> 。


對於時間的導數與對於角變數的導數之間關係為
假若軌道是圓形的,方程式左邊第一個項目是零,則連心力 <math> - \frac{dV}{dr}\,\!</math> 相等於離心力;這是我們期待的結果。
:<math>\frac{d}{dt} = \frac{\ell}{mr^{2}} \frac{d}{d\theta}</math>。


將這公式代入,可推導出一個跟角度有關,跟時間無關的軌道方程式:
隨時間微分與隨角度微分的關係為
:<math>\frac{d}{dt} = \frac{\ell}{mr^{2}} \frac{d}{d\theta}\,\!</math>
:<math>\frac{\ell}{r^{2}} \frac{d}{d\theta} \left( \frac{\ell}{mr^{2}} \frac{dr}{d\theta} \right) - \frac{\ell^{2}}{mr^{3}} = - \frac{dV}{dr}</math>。


設定變數<math>u = \frac{1}{r}</math>,改換方程式的變數為<math>u</math>,同時將方程式兩邊乘以<math>\frac{m}{\ell^2 u^2}</math>,可以得到一個[[微分方程#常系数非齐次线性全微分方程|常係數非齊次線性全微分方程式]]:
換隨時間微分為隨角度微分,則可導引出一個相依於角度,不相依於時間的運動方程式
:<math>\frac{d^2u}{d\theta^2}+u= - \frac{m}{\ell^2}\frac{d}{du}V(1/u)</math>。


==導引==
:<math>\frac{\ell}{r^{2}} \frac{d}{d\theta} \left( \frac{\ell}{mr^{2}} \frac{dr}{d\theta} \right) - \frac{\ell^{2}}{mr^{3}} = - \frac{dV}{dr}\,\!</math> 。
如同前面所說,給予粒子適當的初始速度,任何連心力都能產生標準圓形軌道。可是,假設給予粒子某徑向速度,則這些軌道可能不穩定('''穩定'''在這裏定義為長久地公轉於同一條軌道),也可能不閉合。本段落會證明,穩定的閉合軌道只發生於平方反比連心勢或徑向諧振子勢(一個[[必要條件]])。下一個段落會證明,這些位勢的確會產生穩定的閉合軌道(一個[[充分條件]])。


為了簡化標記,設定
改變變數 <math>r\,\!</math> 為 <math>u \equiv \frac{1}{r}\,\!</math> 。同時將方程式兩邊乘以 <math>\frac{m}{\ell^2 u^2}\,\!</math> 。可以得到一個[[微分方程#常系数非齐次线性全微分方程|常系数非齐次线性全微分方程式]]
:<math>\frac{d^2u}{d\theta^2}+u= - \frac{m}{\ell^2}\frac{d}{du}V(1/u)\,\!</math>
:<math>J(u)= - \frac{m}{\ell^2}\frac{d}{du}V(1/u)= - \frac{m}{\ell^{2}u^{2}} f(1/u)</math>;<span style="position:absolute;right:15%">(1)</span>


其中,<math>f(1/u)</math>是連心力函數。
==伯特蘭定理==
如同前面所說,給予粒子適當的初始速度,任何連心力都能產生標準圓形軌道。可是,假若給予粒子徑向速度,則這些軌道可能不穩定(穩定是指長久的環繞於同一條軌道),也可能不閉合(閉合是指持續的回到同一路徑)。這裏,我們會證明,穩定的閉合軌道只能發生於反平方連心勢或徑向諧振子勢(一個[[必要條件]])。下個段落,我們將證明,這些勢的確產生穩定的閉合軌道(一個[[充分條件]])。


則軌道方程式為
為了簡化標記,設定 <math>J(u)\,\!</math>
:<math>J(u)= - \frac{m}{\ell^2}\frac{d}{du}V(1/u)= - \frac{m}{\ell^{2}u^{2}} f(1/u)\,\!</math> ;<span style="position:absolute;right:15%">(1)</span>
:<math>\frac{d^2u}{d\theta^2}+u=J(u)</math>


如果要得到半徑為<math>r_0\equiv \frac{1}{u_0} </math>的圓形運動軌道,必要條件是軌道方程式左邊第一項等於零,方程式變為
這裏,連心力函數 <math>f(1/u)\,\!</math> 與勢函數 <math>V(1/u)\,\!</math> 的關係為
:<math>\frac{d}{du} V(1/u)=\frac{f(1/u)}{u^{2}} \,\!</math>
:<math>u_{0} = J(u_0)</math>。


思考對於標準圓形運動軌道的變數<math>u</math>的[[微擾理論|微擾]]<math>\eta \equiv u - u_{0}</math>,函數<math>J(u)</math>在<math>u_0</math>的[[泰勒級數]]為
則運動方程式為
:<math>\frac{d^2u}{d\theta^2}+u=J(u)\,\!</math>
:<math>J(u)\approx u_0+\eta J^{\prime}(u_0)+\frac{1}{2}\eta^2 J^{\prime\prime}(u_0) +\frac{1}{6}\eta^3 J^{\prime\prime\prime}(u_0)+\ldots</math>。


將此展開示代入軌道方程式:
如果要得到一個,半徑為 <math>r_0\equiv \frac{1}{u_0} \,\!</math> ,標準圓形的運動軌道,必須的條件是運動方程式左邊第一項等於零:
:<math>\frac{d^2\eta}{d\theta^2}+\eta=\eta J^{\prime}(u_0)+\frac{1}{2}\eta^2 J^{\prime\prime}(u_0)+\frac{1}{6}\eta^3 J^{\prime\prime\prime}(u_0)\ldots</math>。
:<math>u_{0} = J(u_0)\,\!</math> 。


設定常數<math>\beta^2\equiv 1 - J^{\prime}(u_0)</math>(<math>\beta=0</math>的解答為標準圓形運動軌道):
思考對於標準圓形運動軌道的變數 <math>u\,\!</math> 的[[微擾理論|微擾]] <math>\eta \equiv u - u_{0}\,\!</math> ,函數 <math>J(u)\,\!</math> 在 <math>u_0\,\!</math> 的[[泰勒級數]]可以展開為
:<math>J(u)\approx u_0+\eta J^{\prime}(u_0)+\frac{1}{2}\eta^2 J^{\prime\prime}(u_0) +\frac{1}{6}\eta^3 J^{\prime\prime\prime}(u_0)+\ldots\,\!</math>
:<math>\frac{d^2\eta}{d\theta^2}+\beta^2\eta=\frac{1}{2}\eta^2 J^{\prime\prime}(u_0) +\frac{1}{6}\eta^3 J^{\prime\prime\prime}(u_0) \ldots</math>。<span style="position:absolute;right:15%">(2)</span>


取至<math>\eta</math>的1次方:
將此展開示代入運動方程式,稍微運算,
:<math>\frac{d^2\eta}{d\theta^2}+\eta=\eta J^{\prime}(u_0)+\frac{1}{2}\eta^2 J^{\prime\prime}(u_0)+\frac{1}{6}\eta^3 J^{\prime\prime\prime}(u_0)\ldots\,\!</math>
:<math>\frac{d^2\eta}{d\theta^2}+\beta^2\eta=0</math>。


<math>\beta^2</math>必須是個非負數;否則,軌道的半徑會呈指數方式遞增。一階微擾解答為
設定常數 <math>\beta^2\equiv 1 - J^{\prime}(u_0)\,\!</math> ,則
:<math>\eta(\theta)=h_1\cos(\beta\theta)</math>;
:<math>\frac{d^2\eta}{d\theta^2}+\beta^2\eta=\frac{1}{2}\eta^2 J^{\prime\prime}(u_0) +\frac{1}{6}\eta^3 J^{\prime\prime\prime}(u_0) \ldots\,\!</math> 。<span style="position:absolute;right:15%">(2)</span>


其中,[[振幅]]<math>h_1</math>是個積分常數。
<math>\beta^2\,\!</math> 必須是個非負數;否則,軌道的半徑會呈指數方式增長。而 <math>\beta=0\,\!</math> 的解答為標準圓形運動軌道。取至 <math>\eta\,\!</math> 的 1 次方,一階微擾解答為
:<math>\eta(\theta)=h_1\cos(\beta\theta)\,\!</math> ;


假若這軌道是閉合軌道,則<math>\beta</math>必須是[[有理數]]。繼續運算,從方程式(1),取對於<math>u</math>的導數:
這裏,振幅 <math>h_1\,\!</math> 是個積分常數。

假若這軌道是閉合軌道,則 <math>\beta\,\!</math> 必須是[[有理數]]。更加地,因為有理數是互相[[完全不連通]]的 ([[:en:totally disconnected space|totally disconnected]]) ,<math>\beta\,\!</math> 不能持續的改變;所以,<math>\beta\,\!</math> 對於所有的半徑,都必須是同樣的[[有理數]]。
:<math>\begin{align} J^{\prime}(u_0) & = -\frac{m}{\ell^2}\left( - \left.\frac{2f(1/u)}{u^3}\right|_{u_0}+\left.\frac{1}{u^2}\frac{d f(1/u)}{du}\right|_{u_0}\right) \\
:<math>\begin{align} J^{\prime}(u_0) & = -\frac{m}{\ell^2}\left( - \left.\frac{2f(1/u)}{u^3}\right|_{u_0}+\left.\frac{1}{u^2}\frac{d f(1/u)}{du}\right|_{u_0}\right) \\
& = - \left.\frac{2J(u)}{u}\right|_{u_o}+\frac{J(u)}{f(1/u)}\left.\frac{df}{du}\right|_{u_0}= - 2+\frac{u_0}{f(1/u_0)}\left.\frac{df}{du}\right|_{u_0}=1 - \beta^2 \\ \end{align} \,\!</math> <span style="vertical-align:bottom">。</span>
& = - \left.\frac{2J(u)}{u}\right|_{u_o}+\frac{J(u)}{f(1/u)}\left.\frac{df}{du}\right|_{u_0}= - 2+\frac{u_0}{f(1/u_0)}\left.\frac{df}{du}\right|_{u_0}=1 - \beta^2 \\ \end{align} </math> <span style="vertical-align:bottom">。</span>

這方程式對於任意<math>u_0</math>值都必須成立,因此可以將<math>u_0</math>認定為函數<math>\left.\frac{df}{du}\right|_{u_0}</math>的參數。用符號<math>u</math>來代替<math>u_0</math>,
:<math>\frac{df}{du}= - (\beta^2 - 3 )\frac{f(1/u)}{u}</math>。

將方程式的變數換回為<math>r</math>,
:<math>\frac{df}{dr} = \left( \beta^{2} - 3 \right) \frac{f}{r}</math>。

這意味著作用力必須遵守[[冪定律]]:
:<math>f(r) = - \frac{k}{r^{3-\beta^2}}</math>。

代入方程式 (1) , <math>J</math>的一般形式為
:<math>J(u) = \frac{mk}{\ell^2} u^{1-\beta^2}</math>。<span style="position:absolute;right:15%">(3)</span>

假設實際軌道與圓形有更大的差別(也就是說,不能忽略<math>J</math>函數的泰勒級數的更高次方項目),則可以用[[傅立葉級數]]來展開<math>\eta</math>:
:<math>\eta(\theta) = h_0 + h_1\cos(\beta\theta)+h_2\cos(2\beta\theta) + h_3\cos(3\beta \theta) + \ldots</math>。

因為高頻率項目的係數太小,傅立葉級數只取至<math>3\beta</math>項目。方程式 (2)也只取至<math>\eta</math>的三次方。注意到<math>h_0</math>與<math>h_2</math>的數量級為<math>h_1^2\!</math>,超小於<math>h_1</math>;<math>h_3,\!</math>的數量級為<math>h_1^3</math>,超小於<math>h_0</math>與<math>h_2</math>。將上述傅立葉級數代入方程式 (2),匹配方程式兩邊同頻率項目的係數。這樣,可以得到一系列方程式:
:<math>h_0=h_1^2\frac{J^{\prime\prime}(u_0)}{4\beta^2}</math>,<span style="position:absolute;right:15%">(4)</span>

:<math>0=(2h_1 h_0+h_1 h_2)\frac{J^{\prime\prime}(u_0)}{2}+h_1^3 \frac{J^{\prime\prime\prime}(u_0)}{8}</math>,<span style="position:absolute;right:15%">(5)</span>

:<math>h_2= - h_1^2\frac{J^{\prime\prime}(u_0)}{12\beta^2}</math>。<span style="position:absolute;right:15%">(6)</span>

求<math>J(u)</math>在<math>u_0</math>對於<math>u</math>的微分:
:<math>J^{\prime}(u_0) =(1 - \beta^2) \frac{mk}{\ell^2} u_0^{ - \beta^2}=1 - \beta^2</math>
:<math>J^{\prime\prime}(u_0) =(1 - \beta^2)( - \beta^2)\frac{mk}{\ell^2} u_0^{ - \beta^2 - 1} = - \frac{\beta^2(1 - \beta^2)}{u_0}</math>。<span style="position:absolute;right:15%">(7)</span>
:<math>J^{\prime\prime\prime}(u_0) =(1 - \beta^2)( - \beta^2)( - \beta^2 - 1)\frac{mk}{\ell^2} u_0^{ - \beta^2 - 2} =\frac{\beta^2(1 -\beta^2)(1+\beta^2)}{u_0^2}</math>。<span style="position:absolute;right:15%">(8)</span>

將方程式(7)、(8)代入方程式(4)、(6):
:<math>h_0= - \frac{(1-\beta^2)h_1^2}{4u_0}</math>,<span style="position:absolute;right:15%">(9)</span>
:<math>h_2=\frac{(1-\beta^2)h_1^2}{12u_0}</math>。<span style="position:absolute;right:15%">(10)</span>

再將方程式 (7)、(8)、(9)、(10)代入方程式 (5),經過一番運算,可以得到伯特蘭定理的重要結果:
:<math>\beta^2( 1 - \beta^2)(4 - \beta^2)=0</math>。

解答<math>\beta=0</math>是標準圓形軌道。只有平方反比連心勢 (<math>\beta =1</math>)與徑向諧振子勢 (<math>\beta =2</math>)能夠造成穩定的,閉合的,非圓形的公轉軌道。

==平方反比力(克卜勒問題)==
平方反比連心力給出的連心勢,像重力勢或靜電勢,以方程式表示為
:<math>V(\mathbf{r}) = \frac{ - k}{r} = - ku</math>。

處於這種連心勢的粒子,其一般軌道方程式寫為
:<math>\frac{d^{2}u}{d\theta^{2}} + u = -\frac{m}{\ell^{2}} \frac{d}{du} V(1/u) = \frac{km}{\ell^{2}}</math>。

其解答為軌道函數<math>u(\theta)</math>:
:<math>u= \frac{km}{\ell^{2}} \left[ 1 + e \cos \left( \theta - \theta_{0}\right) \right]</math>;

其中,<math>e</math>是橢圓軌道的[[離心率]],<math>\theta_{0}</math>是相位差,是一個積分常數。

這是[[焦點]]位於原點的[[圓錐曲線]]的一般方程式。當<math>e=0</math>時,這軌道對應於[[圓形]]軌道;
當<math>e<1</math>時,這軌道是橢圓形軌道;當<math>e=1</math>時,這軌道是[[拋物線]]軌道;當<math>e>1</math>時,這軌道是[[雙曲線]]軌道。

離心率與粒子能量<math>E</math>的關係為
:<math>e = \sqrt{1 + \frac{2E\ell^{2}}{k^{2}m}}</math>。


所以,當<math>E= - \frac{k^{2}m}{2\ell^{2}}</math>時,這軌道是圓形軌道;
既然定義方程式對於任何 <math>u_0\,\!</math> 值都必須成立,我們可以認定 <math>u_0\,\!</math> 是函數 <math>\frac{df}{du}\,\!</math> 的參數。所以,用 <math>u\,\!</math> 來代表 <math>u_0\,\!</math> ,
當<math>E<0</math>時,這軌道是橢圓形軌道;當<math>E=0</math>時,這軌道是拋物線軌道;當<math>E>0</math>時,這軌道是雙曲線軌道。
:<math>\frac{df}{du}= - (\beta^2 - 3 )\frac{f(1/u)}{u}\,\!</math> 。


==徑向諧振子==
換回為參數 <math>r\,\!</math> ,
為了方便解析這問題,採用[[直角坐標]]<math>\mathbf{r} = (x, y, z)</math>。勢能可以寫為
:<math>\frac{df}{dr} = \left( \beta^{2} - 3 \right) \frac{f}{r}\,\!</math> 。
:<math>V(\mathbf{r}) = \frac{1}{2} kr^{2} =
\frac{1}{2} k ( x^{2} + y^{2} + z^{2})</math>。


處於徑向諧振子位勢的粒子,其拉格朗日量<math>\mathcal{L}</math>是
這意謂著作用力必須遵守[[冪次定律]]:
:<math>f(r) = - \frac{k}{r^{3-\beta^2}}\,\!</math> 。
:<math>\mathcal{L}=\frac{1}{2} m (\dot{x}^{2}+\dot{y}^{2}+\dot{z}^{2})
+\frac{1}{2} k (x^{2}+y^{2}+z^{2})</math>。


這粒子的拉格朗日方程式為
代入方程式 (1) , <math>J\,\!</math> 的廣泛形式為
:<math>J(u) = \frac{mk}{\ell^2} u^{1-\beta^2}\,\!</math>。<span style="position:absolute;right:15%">(3)</span>
:<math>\frac{d^{2}x}{dt^{2}} + \omega_{0}^{2} x = 0</math>
:<math>\frac{d^{2}y}{dt^{2}} + \omega_{0}^{2} y = 0</math>、
:<math>\frac{d^{2}z}{dt^{2}} + \omega_{0}^{2} z = 0</math>;


其中,<math>\omega_{0}=k/m</math>是振動[[頻率 (物理學)|頻率]]。
假若實際軌道與圓形有更大的差別(也就是說,我們不能忽略 <math>J\,\!</math>函數泰勒級數的更高次方項),則可以用[[傅立葉級數]]來展開 <math>\eta\,\!</math> :
:<math>\eta(\theta) = h_0 + h_1\cos(\beta\theta)+h_2\cos(2\beta\theta) + h_3(\cos(3\beta \theta) + \ldots\,\!</math> 。


常數<math>k</math>必須為正值;否則,粒子會朝著無窮遠飛離。這些微分方程式的解答為
在這裏,因為高頻率項目的係數太小,只取頻率小於 <math>3\beta \theta\,\!</math> 的項目。方程式 (2) 也只取至 <math>\eta\,\!</math> 的三次方。特別記住 <math>h_0\,\!</math> 與 <math>h_2\,\!</math> 超小於 <math>h_1\,\!</math> 。代入方程式 (2) 的兩邊,兩邊同頻率項的係數必須相等。 這樣,可以得到一系列方程式:
:<math>x = A_{x} \cos \left(\omega_{0} t + \phi_{x} \right)</math>、
:<math>h_0=h_1^2\frac{J^{\prime\prime}(u_0)}{4\beta^2}\,\!</math> ,<span style="position:absolute;right:15%">(4)</span>
:<math>y = A_{y} \cos \left(\omega_{0} t + \phi_{y} \right)</math>、
:<math>z = A_{z} \cos \left(\omega_{0} t + \phi_{z} \right)</math>;


其中,<math>A_{x}</math>、<math>A_{y}</math>、<math>A_{z}</math>分別為x、y、z方向的振幅,<math>\phi_{x}</math>、<math>\phi_{y}</math>、<math>\phi_{z}</math>分別為其[[相位]]
:<math> 0=(2h_1 h_0+h_1 h_2)\frac{J^{\prime\prime}(u_0)}{2}+h_1^3 \frac{J^{\prime\prime\prime}(u_0)}{8}\,\!</math> ,<span style="position:absolute;right:15%">(5)</span>


由於上述方程式經過整整一周期<math>T \equiv {2\pi}/{\omega_{0}}</math>後,會重複自己,軌道解答<math>\mathbf{r}(t) = \left[ x(t), y(y), z(t) \right]</math>是閉合軌道。
:<math>h_2= - h_1^2\frac{J^{\prime\prime}(u_0)}{12\beta^2}\,\!</math> 。<span style="position:absolute;right:15%">(6)</span>


==牛頓旋轉軌道定理==
求 <math>J(u)\,\!</math> 隨 <math>u\,\!</math> 在 <math>u_0\,\!</math> 的微分,
[[牛頓旋轉軌道定理]]表明,對於一個感受到線性作用力或平方反比作用力的移動中的粒子,假設再增添立方反比力於此粒子,只要因子<math>\alpha</math>是[[有理數]],則粒子的軌道仍舊是閉合軌道。根據牛頓旋轉軌道定理的方程式,增添的立方反比力<math>\Delta F(r)=\frac{k}{r^3}</math>為
:<math>J^{\prime}(u_0) =(1 - \beta^2) \frac{mk}{\ell^2} u_0^{ - \beta^2}=1 - \beta^2\,\!</math>
:<math>J^{\prime\prime}(u_0) =(1 - \beta^2)( - \beta^2)\frac{mk}{\ell^2} u_0^{ - \beta^2 - 1} = - \frac{\beta^2(1 - \beta^2)}{u_0}\,\!</math> 。<span style="position:absolute;right:15%">(7)</span>
:<math>\Delta F(r)=\frac{L_{1}^{2}}{mr^{3}} \left( 1 - \alpha^{2} \right)</math>
:<math>J^{\prime\prime\prime}(u_0) =(1 - \beta^2)( - \beta^2)( - \beta^2 - 1)\frac{mk}{\ell^2} u_0^{ - \beta^2 - 2} =\frac{\beta^2(1 -\beta^2)(1+\beta^2)}{u_0^2}\,\!</math> 。<span style="position:absolute;right:15%">(8)</span>


其中,<math>\ell_{1}</math>是粒子原本的角動量,<math>m</math>是粒子的質量。
代入方程式 (4) , (6) :
:<math>h_0= - \frac{(1-\beta^2)h_1^2}{4u_0}\,\!</math> ,<span style="position:absolute;right:15%">(9)</span>
:<math>h_2=\frac{(1-\beta^2)h_1^2}{12u_0}\,\!</math> 。<span style="position:absolute;right:15%">(10)</span>


所以,<math>\alpha^2=1 - \frac{mk}{\ell_1^2}</math>。
將方程式 (7) , (8) , (9) ,與 (10) 代入方程式 (5) ,則可得到伯特蘭定理的重要結果:
:<math>\beta^2( 1 - \beta^2)(4 - \beta^2)=0\,\!</math>。


由於<math>\alpha</math>是有理數,<math>\alpha</math>可以寫為[[分數]]<math>m/n</math>;其中,<math>m</math>和<math>n</math>都是[[整數]]。對於這案例,增添立方反比力使得粒子完成<math>m</math>圈公轉的時間等於原本完成<math>n</math>圈公轉的時間。這種產生閉合軌道的方法不違背伯特蘭定理,因為,增添的立方反比力與粒子的原本角動量有關。
解答 <math>\beta=0\,\!</math> 是標準圓形軌道。只有反平方[[連心力|連心勢]] (<math>\beta =1\,\!</math>) 與徑向[[諧振子]]勢 (<math>\beta =2\,\!</math>)能夠產生穩定的,閉合的,近圓形的軌道。


==參閱==
==參閱==
第114行: 第174行:
*[[三體問題]]
*[[三體問題]]
*[[克卜勒定律]]
*[[克卜勒定律]]
*[[牛頓旋轉軌道定理]]


==參考文獻==
==參考文獻==
{{reflist}}
<references/>
* Goldstein H. (1980) ''Classical Mechanics'', 2nd. ed., Addison-Wesley. ISBN 0-201-02918-9
:{{cite book |last=Goldstein|first=Herbert|authorlink=:en:Herbert Goldstein |title=Classical Mechanics|year=1980| location=United States of America | publisher=Addison Wesley| edition= 3rd| isbn=0201657023 | language=en| pages=pp. 89-92}}
:{{Citation
| last = Grandati
| first = Yves
| last2 =Bérard
| first2 =Alain
| title = Inverse problem and Bertrand's theorem
| journal = American Journal of Physics
| volume = 76
| issue = 8
| pages = pp. 782-787
| url = http://scitation.aip.org/getabs/servlet/GetabsServlet?prog=normal&id=AJPIAS000076000008000782000001&idtype=cvips&gifs=yes&ref=no
|date=August 2008}}
:{{Citation
| last = Tikochinsky
| first = Yoel
| title = A simplified proof of Bertrand's theorem
| journal = American Journal of Physics
| volume = 56
| issue = 12
| pages = pp. 1063-1157
| url = http://scitation.aip.org/getabs/servlet/GetabsServlet?prog=normal&id=AJPIAS000056000012001073000001&idtype=cvips&gifs=Yes&ref=no
|date=December 1988}}
:{{Citation
| last =Zarmi
| first = Yair
| title = The Bertrand theorem revisited
| journal = American Journal of Physics
| volume = 70
| issue = 4
| pages = pp. 446-449
| url = http://scitation.aip.org/getabs/servlet/GetabsServlet?prog=normal&id=AJPIAS000070000004000446000001&idtype=cvips&gifs=Yes&ref=no
|date=April 2002}}


[[Category:經典力學]]
[[Category:拉格朗日力學]]
[[Category:天體力學]]
[[Category:萬有引力]]


[[Category:經典力學|B]]
[[en:Bertrand's theorem]]
[[Category:拉格朗日力學|B]]
[[he:משפט ברטרנד]]
[[Category:天體力學|B]]
[[Category:引力|B]]
[[Category:物理定理|B]]

2024年7月4日 (四) 03:34的最新版本

約瑟·伯特蘭

經典力學裏,伯特蘭定理闡明,只有兩種位勢可以給出閉合軌道[1]

其中,是徑向座標,是正值常數。假若物體從某位置移動,經過一段路徑後,又回到原先位置,則稱此路徑為閉合軌道

1687年,物理学家艾薩克·牛頓在著作《自然哲學的數學原理》裏提出了萬有引力定律,解釋了行星繞著太陽的公轉为何遵守克卜勒定律。此后許多科學家開始研究,當行星的運動稍許偏離了這軌道時,可能會發生的狀況。其中一個問題為軌道是否仍舊閉合。但經過多年的探討亦無法給出合理的解答。直到1873年,法國數學家約瑟·伯特蘭發表伯特蘭定理,才正確解析此問題。该定理對於經典天體力學研究非常重要,伯特蘭定理給予實驗者一個精確的方法,來測試萬有引力的平方反比性質。

在現代物理學裏,理論物理學家發現由於廣義相對論效應,引力與距離不再成精確的平方反比關係,因此軌道是非閉合的。天文學家作實驗觀測到,水星繞著太陽公轉的橢圓軌道,其近拱點呈緩慢進動狀態。

前論

[编辑]

所有吸引性連心力都可以產生圓形的公轉軌道;這圓形軌道當然是閉合軌道;其形成的唯一條件是連心力恰巧地與離心力等值;後者決定了維持某圓形半徑所需的角速度。本篇文章不研究非連心力。一般而言,非連心力不會產生圓形的公轉軌道。

採用極坐標,一個移動於連心勢的粒子,其拉格朗日量

其中,是粒子質量,分別表示對於時間的導數。

這粒子的拉格朗日方程式

由於角坐標顯性地跟拉格朗日量無關,是個可略坐標,其共軛動量角動量守恆,是個常數:

將角動量的方程式代入徑向拉格朗日方程式,可以得到一個的二次微分方程式

假設軌道是圓形軌道,方程式左手邊第一個項目是零,則如同期待的,連心力等值於離心力

對於時間的導數與對於角變數的導數之間關係為

將這公式代入,可推導出一個跟角度有關,跟時間無關的軌道方程式:

設定變數,改換方程式的變數為,同時將方程式兩邊乘以,可以得到一個常係數非齊次線性全微分方程式

導引

[编辑]

如同前面所說,給予粒子適當的初始速度,任何連心力都能產生標準圓形軌道。可是,假設給予粒子某徑向速度,則這些軌道可能不穩定(穩定在這裏定義為長久地公轉於同一條軌道),也可能不閉合。本段落會證明,穩定的閉合軌道只發生於平方反比連心勢或徑向諧振子勢(一個必要條件)。下一個段落會證明,這些位勢的確會產生穩定的閉合軌道(一個充分條件)。

為了簡化標記,設定

(1)

其中,是連心力函數。

則軌道方程式為

如果要得到半徑為的圓形運動軌道,必要條件是軌道方程式左邊第一項等於零,方程式變為

思考對於標準圓形運動軌道的變數微擾,函數泰勒級數

將此展開示代入軌道方程式:

設定常數的解答為標準圓形運動軌道):

(2)

取至的1次方:

必須是個非負數;否則,軌道的半徑會呈指數方式遞增。一階微擾解答為

其中,振幅是個積分常數。

假若這軌道是閉合軌道,則必須是有理數。繼續運算,從方程式(1),取對於的導數:

這方程式對於任意值都必須成立,因此可以將認定為函數的參數。用符號來代替

將方程式的變數換回為

這意味著作用力必須遵守冪定律

代入方程式 (1) , 的一般形式為

(3)

假設實際軌道與圓形有更大的差別(也就是說,不能忽略函數的泰勒級數的更高次方項目),則可以用傅立葉級數來展開

因為高頻率項目的係數太小,傅立葉級數只取至項目。方程式 (2)也只取至的三次方。注意到的數量級為,超小於的數量級為,超小於。將上述傅立葉級數代入方程式 (2),匹配方程式兩邊同頻率項目的係數。這樣,可以得到一系列方程式:

(4)
(5)
(6)

對於的微分:

(7)
(8)

將方程式(7)、(8)代入方程式(4)、(6):

(9)
(10)

再將方程式 (7)、(8)、(9)、(10)代入方程式 (5),經過一番運算,可以得到伯特蘭定理的重要結果:

解答是標準圓形軌道。只有平方反比連心勢 ()與徑向諧振子勢 ()能夠造成穩定的,閉合的,非圓形的公轉軌道。

平方反比力(克卜勒問題)

[编辑]

平方反比連心力給出的連心勢,像重力勢或靜電勢,以方程式表示為

處於這種連心勢的粒子,其一般軌道方程式寫為

其解答為軌道函數

其中,是橢圓軌道的離心率是相位差,是一個積分常數。

這是焦點位於原點的圓錐曲線的一般方程式。當時,這軌道對應於圓形軌道; 當時,這軌道是橢圓形軌道;當時,這軌道是拋物線軌道;當時,這軌道是雙曲線軌道。

離心率與粒子能量的關係為

所以,當時,這軌道是圓形軌道; 當時,這軌道是橢圓形軌道;當時,這軌道是拋物線軌道;當時,這軌道是雙曲線軌道。

徑向諧振子

[编辑]

為了方便解析這問題,採用直角坐標。勢能可以寫為

處於徑向諧振子位勢的粒子,其拉格朗日量

這粒子的拉格朗日方程式為

其中,是振動頻率

常數必須為正值;否則,粒子會朝著無窮遠飛離。這些微分方程式的解答為

其中,分別為x、y、z方向的振幅,分別為其相位

由於上述方程式經過整整一周期後,會重複自己,軌道解答是閉合軌道。

牛頓旋轉軌道定理

[编辑]

牛頓旋轉軌道定理表明,對於一個感受到線性作用力或平方反比作用力的移動中的粒子,假設再增添立方反比力於此粒子,只要因子有理數,則粒子的軌道仍舊是閉合軌道。根據牛頓旋轉軌道定理的方程式,增添的立方反比力

其中,是粒子原本的角動量,是粒子的質量。

所以,

由於是有理數,可以寫為分數;其中,都是整數。對於這案例,增添立方反比力使得粒子完成圈公轉的時間等於原本完成圈公轉的時間。這種產生閉合軌道的方法不違背伯特蘭定理,因為,增添的立方反比力與粒子的原本角動量有關。

參閱

[编辑]

參考文獻

[编辑]
  1. ^ Bertrand, J. Théorème relatif au mouvement d'un point attiré vers un centre fixe. C. R. Acad. Sci. 1873, 77: 849–853. 
Goldstein, Herbert. Classical Mechanics 3rd. United States of America: Addison Wesley. 1980: pp. 89–92. ISBN 0201657023 (英语). 
Grandati, Yves; Bérard, Alain, Inverse problem and Bertrand's theorem, American Journal of Physics, August 2008, 76 (8): pp. 782–787 
Tikochinsky, Yoel, A simplified proof of Bertrand's theorem, American Journal of Physics, December 1988, 56 (12): pp. 1063–1157 
Zarmi, Yair, The Bertrand theorem revisited, American Journal of Physics, April 2002, 70 (4): pp. 446–449