- 追加された行はこの色です。
- 削除された行はこの色です。
#rst2hooktail_source
=================================
ホロノーム型の拘束条件
=================================
ここでは，解析力学の問題を解くときに重要となってくる拘束条件の処理を機械的に行ってしまう
方法(ラグランジュの未定乗数法)を紹介します．ただ，その証明にはいくつかの補題が必要となり
ますから，この記事では割愛して，技術の習得だけを目的にしたいと思います．
ホロノーム型の拘束条件
==============================
力学の問題を使って拘束条件の例を挙げて見ましょう．例えば質量 $m$ の物体がある道に沿って運動するというのも
拘束条件の一つですし，大きさのある物体を剛体で近似することも原子や分子間の相対距離を固定する拘束条件の
一種だと考えることができます．
このように，拘束条件は具体的な問題を解く上で避けることはできない関門です．しかし，先ほど挙げた例は
いずれも物体の軌跡や粒子間の相対的な位置関係を固定するもので，座標に関する拘束条件でした．多くの場合は
拘束条件を一般座標 $q_1,q_2,\cdots,q_n$ と時間の関数を複数用いて次のように表すことができるでしょう．
<tex>
G_1(q,t)=0,\quad G_2(q,t)=0,\quad\cdots, G_k(q,t)=0 \tag{##}
</tex>
例えば，平面内を物体が放物運動するように壁を作って物体を転がしたというような場合は $G(x,y)\equiv y-x^2=0$ など
というように表すことができます．式(1)のように書ける拘束条件をホロノーム型の拘束条件と言います．
では，式(1)の形ですべての拘束条件を網羅できるかというと，そうではありません．式(1)のように表すことのできないもの
も存在して，そのような拘束条件を総称して非ホロノーム型の拘束条件と呼びます．
ここでは，ホロノーム型の拘束条件の処理を考えましょう．なんとホロノーム型の拘束条件はラグランジュの未定乗数法を
使うと統一的に扱うことができてしまうのです！
ラグランジュの未定乗数法
==============================
一般にホロノーム型の拘束条件が $k$ 個あれば，自由度は $k$ だけ減って $n-k$ になります(つまり，独立に動かせる
変数が $n-k$ 個になるということです)．
ここで，式(1)で表せる拘束条件を考えてみましょう．この系のラグランジアンを $L$ と書くことにすると，今までどおり作用を
<tex>
I=\int_{t_1}^{t_2}L\mathrm{d}t
</tex>
と定義できます．この第一変分をとると，これまでと全く同様に計算できて，次のようになります．
<tex>
\delta I=\int_{t_1}^{t_2}\sum_{l=1}^{n}\left({\partial L\over \partial q_l}-{\mathrm{d}\over\mathrm{d}t}
{\partial L\over \partial \dot{q}_l}\right)\delta q_l\mathrm{d}t \tag{##}
</tex>
さて，ここで困ることになります．確かに変分原理より $\delta I=0$ を要請することになりますが，拘束条件(1)のために
各変分 $\delta q_l$ を独立にとることができません！
このままではどうしようもないので，拘束条件をうまく使っていきましょう．まず，拘束条件について変分をとります．
式で表すと次のようになるでしょう． $i=1,2,\cdots,k$ とします．
<tex>
G_i(q+\delta q,t)-G_i(q,t)=0
</tex>
これを，変分について一次の項までとることにしましょう．
<tex>
\sum_{l=1}^{n}{\partial G_i\over\partial q_l}\delta q_l=0 \tag{##}
</tex>
これで，拘束条件と変分の関係を見ることができるようになりました．
ここで，ラグランジュの未定乗数法と呼ばれるものを使うことになります．
アイディアは簡単です．今考えている座標変数のうち独立なものが $n-k$ 個しかなくて困っているわけですから，
新しく値が未定の定数を $k$ 個用意して，とにかく新しい定数にに制限を押し付けてしまえば座標変数はすべて独立に取れて
しまうのではないか？ということです．
具体的には次のようにします．新しい定数 $q_{n+1},q_{n+2},\cdots,q_{n+k}$ を導入します．これはラグランジュの
未定乗数と呼ばれています．式(2)と式(3)から次の式が成り立つでしょう．
<tex>
\int_{t_1}^{t_2}\sum_{l=1}^{n}\left({\partial L\over \partial q_l}-{\mathrm{d}\over\mathrm{d}t}
{\partial L\over \partial \dot{q}_l}+
\sum_{i=1}^{k}q_{n+i}{\partial G_i\over\partial q_l}\right)\delta q_l\mathrm{d}t=0 \tag{##}
</tex>
さて，未定乗数をうまく選べば変分がすべて独立に取れるようになりますから，次の等式が成り立ちます． $(l=1,2,\cdots,n)$
<tex>
{\mathrm{d}\over\mathrm{d}t}{\partial L\over \partial \dot{q}_l}
-{\partial L\over \partial q_l}-\sum_{i=1}^{k}q_{n+i}{\partial G_i\over\partial q_l}=0 \tag{##}
</tex>
あとは，式(1)で表される拘束条件の式とあわせて解けば，良いことになります．これでラグランジュの未定乗数法は
完成です．
式(1)と式(5)をまとめて書くこともできます．新しくラグランジアン $L'$ を次の式で定義します．
<tex>
L'(q,\dot{q},t;q_{n+1},q_{n+2},\cdots,q_{n+k})=L(q,\dot{q},t)+\sum_{i=1}^{k}q_{n+i}G_i(q,t)
</tex>
新しいラグランジアン $L'$ について，いつも通りのラグランジュの運動方程式を使うと式(1)と式(5)が
全部表せてしまうことを確認してください．
<tex>
{\mathrm{d}\over\mathrm{d}t}{\partial L'\over \partial \dot{q}_l}
-{\partial L'\over \partial q_l}=0 \quad (l=1,2,\cdots,n,n+1,\cdots,n+k) \tag{##}
</tex>
つまり，ホロノーム型の拘束条件はラグランジアンに取り込んでしまうことができるのです．
この性質は，拘束条件がないとして議論したことはホロノーム型の拘束条件が課されたときも
成り立つということを意味しますので，非常に便利ですね．
@@author:佑弥@@
@@category:解析力学@@
記事ソース/ホロノーム型の拘束条件 のバックアップの現在との差分(No.2)
