基本介紹
定義,廣義座標轉換,微分形式表示,半完整系統,實例,
定義
![](/img/b/c67/744dca3185da5424bf4d61d74a57.jpg)
![](/img/f/bf6/21d5caac81221a5e8d5e5948edaf.jpg)
廣義座標轉換
完整約束方程式與位置、時間有關,與速度無關。完整約束方程式可以很簡易地除去指定的變數。假設變數xd是完整約束函式fk里的一個參數,現在指定除去 xd。重新編排上述約束方程式,求出表示xd的函式gk:
![](/img/e/4fe/8c714832bbd434c5beb8cc796cf4.jpg)
假設一個物理系統原本的自由度是N。現在,將h個完整約束作用於此系統。那么,這系統的自由度減少為m=N-h。可以用m個獨立廣義座標
來完全描述這系統的運動。座標的轉換方程式可以表示如下:
![](/img/7/9d4/73b0d8e374c9e864324da30959f2.jpg)
![](/img/3/32c/07778f2246e0ccab10ded475fefe.jpg)
微分形式表示
約束有時可以用微分形式的約束方程式來表示。思考第i個約束的微分形式的約束方程式:
![](/img/1/8b3/7dfb72c54c491ba16cb74af9e601.jpg)
![](/img/5/380/237b6e9980bd6caba4e35df6be6e.jpg)
![](/img/4/808/5ca755fe0a679e449c6000cdf553.jpg)
假若此約束方程式是可積分的。也就是說,有一個函式
的全微分滿足下述等式:
![](/img/f/f8b/9cbae0c0a03a555c32d148f453da.jpg)
![](/img/c/e69/2e795a479bc60d53f3e9fba349ed.jpg)
那么,此約束是完整約束;否則,此約束是非完整約束。因此,所有的完整約束與某些非完整約束可以用微分形式的方程式來表示。不是所有的非完整約束都可以這樣表示。含有廣義速度的非完整約束就不能這樣表示。所以,假若知道一個約束的微分形式的約束方程式,這約束到底是完整約束,還是非完整約束,需要看微分形式的約束方程式能否積分來決定。
半完整系統
表示非完整約束的方程式往往比較複雜。因此,非完整系統也比較難分析,只有簡易一點的非完整系統能用形式論來分析。假如,一個非完整系統的約束可以用以下方程式表示:
![](/img/c/0aa/db00a3dad44f69ac0ebec58cf0d6.jpg)
![](/img/a/b69/34063c0650d3d6df8c9d605a0c9a.jpg)
![](/img/6/95a/0edba4368a6308126a9e12b0b9bb.jpg)
![](/img/2/77a/f624bc10be0f6ab71c808d8bc31f.jpg)
![](/img/d/d0d/5796ee136e8ed875edf5be704eae.jpg)
假設哈密頓原理成立,則下述方程式成立:
![](/img/a/965/14fc0cb759bf5b36b6c61941960e.jpg)
![](/img/c/f22/7d524805001457d0afc75e5e4e05.jpg)
![](/img/a/04a/8303b6a744af0c2bfe4e7d1eb5d7.jpg)
實例
非完整系統至少存在於以下三個狀況: