物理を解説 ♪
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン

ラグランジアン密度

連続体の解析力学のまとめ直し。
作成:2010/3/21

何だかちょっと合わないぞ

前回,前々回と,汎関数微分についてのまとめ記事を挟んだ.これはその前の「連続体の解析力学」の記事中で出て来た次のような方程式を見てもたじろぐことの無いようにしたかったからである. 数式 前回までの説明を読んで,これを具体的に解くことが出来るようになっただろうか.少し状況の再確認をしておこう.上の式の中のLはラグランジアンであり,それはラグランジアン密度Lを使って 数式 と表されるのだった.前に書いたときには積分範囲を表記しなかったが,汎関数微分について書いている内に定積分と不定積分に大きな意味の違いがあることに気付いたので,ここでは急遽書き足したのである.本来こういう意味なのだった.これまで書いた全ての記事ではあまりそのようなことを意識して来なかったが,大丈夫だっただろうか.ひもの運動の場合にはL 数式 と書けるものであり,つまり,∂y/∂x∂y/∂tとの関数になっていると言える.しかしもう少し複雑な問題を考える時にはLyを直接含むこともあったりするので,将来のために少し考えを広げて,Ly∂y/∂x∂y/∂tとの関数になっていると考えておこう.

汎関数微分のみに集中した前回までの特別講義ではIF(x)f(x)という記号を使ってきた.今回の話ではこれらに対応するのがそれぞれ,LLy(x)だというわけである.

何か変だ.関数yというのはy(x)ではなくてy(x,t)という形ではなかったか.前回までの説明にはtに相当するものは出て来なかった.まぁ,それだけならtは定数みたいなものだと考えて無視してやれば済むのだろうが,どうやらそうも行かない.なぜなら,そのtを使って微分した∂y/∂tというものが,Lの中に含まれてしまっているからだ.

このような要素が加わることで,前回までに説明した話と比べてどんな相違点が出てくることになるのか,落ち着いて考えてみよう.


汎関数微分の計算

まず (1) 式を見て,第 2 項の方が簡単そうだから,そちらから考えてみよう.これはyy+δyに変化する時のLの変化を考えようとしているのである.yが変化すればそれに合わせて∂y/∂x∂y/∂tも変化するので,それによるLの変化は, 数式 と書けるのだろう.これを (2) 式に代入してやって,全ての項をδyに合わせてまとめるべく部分積分を行うというのが,これまでのテクニックであった.しかしこの第 3 項は厄介なことに,まとめようがないのである.

しかし安心していい.実はここで第 3 項を考えに入れる必要は元々なかったのである.騙し討ちをしたようで少し心苦しいが,今さらながらその理由を説明しよう.

(1) 式を作ったところまでさかのぼって考えて欲しい.この式のもとになったラグランジュ方程式は,Lの変数としてy\dot{y}を使っていた.これらはそれぞれ独立な変数として扱われており,式も偏微分を使って表されていたはずだ.つまり,yで偏微分するときには\dot{y}は変化しないと見なし,\dot{y}で偏微分するときにはyは変化しないと見なしていたのである.実は今回の (1) 式の汎関数微分は,偏微分のように考えて計算されるべきなのだ.

(1) 式を見た限りはそんな風に計算すべきだなんてことは読み取れないのだが,式の導出の経緯の中にそのような意味が隠されているのである.「いやいや,そんな曖昧なことでは困る,ちゃんと式を見ただけで計算の方針が分かるようにしておいてもらわないと」と文句を言いたい人もいることだろう.実はちゃんとそういうことを明確にする記法があるのだが,紹介が遅れてしまった.Lを次のように表しておけばいい. 数式 ラグランジアンL,関数yと 関数∂y/∂tをそれぞれ独立であると見なすような汎関数ですよ,ということを表している.

というわけで,(4) 式の第 3 項は入れる必要が無く,それを (2) 式に代入して部分積分でδfをまとめてやれば,その結果はすでに前々回の例の中で計算したのと同じである. 数式 以前d/dxと書かれていた部分が∂/∂xとなっているという違いがあるが,それは変数tが付け加わっている故のことであり,意味には大差ない.

さて次は (1) 式の第 1 項について考える番だが,ここまで分かってしまえば大した問題ではない.∂y/∂tだけが変化したとき,Lがどうなるかを考えればいいのだ.まずLの変化を考えると次のようになっている. 数式 実にシンプルだ.これを (2) 式に代入する. 数式 これはよく見ると汎関数微分の定義と同じ形になっていて, 数式 だと言えることになる.

これで (1) 式はもう理解し難いような恐いものではなくなった.(5) 式と (6) 式を代入してやればいい.要するに,(1) 式はただの偏微分方程式に化けるのであり,その形はLがどんな変数を含むかさえ決まってしまえば,それだけで決まってしまうのである.

今回はLy∂y/∂x∂y/∂tとの関数であるとしたので, 数式 という方程式が得られることになった.Lyを直接は含まないというのであれば,この第 3 項は要らないわけで,もう少し簡単な式でいいことになる.

これに (3) 式を代入して具体的に計算してやれば波動方程式が得られる事になるだろう.是非試してみて欲しい.これが,解析力学的手法でひもの運動を得るための手続きである.前から確認しておきたかったことに今ようやくたどり着けたわけだ.説明は長かったが,やることは実にシンプルである.ラグランジアン密度を定義して,すぐ上のようなおおよそ決まった形の方程式に代入するだけ.


新しい定義

ところで,(5) 式や (6) 式に (3) 式のラグランジアン密度Lを代入して計算してやると,次のような結果となる. 数式 上で波動方程式を求めることを実際にやってみた人はその途中でこれと同様な計算をしたことだろう.ところで,気付いているだろうか.これらは前に見たことがある.

これらの右辺はそれぞれ,「運動量密度π」「力密度η」として前に定義したのと全く同じものである.そこで今後は,これらの量の新しい定義として,次のような形式を採用することにしてみてはどうだろうか. 数式 ラグランジュ形式は座標変換しても成り立つ理論体系であり,今やっているような連続体に拡張した場合でも同じ事が言えるはずだ.座標変換によってy(x,t)が別の変数に置き換わったりすることだろう.その場合,この定義では本当の運動量密度や力密度ではないものを表すことになるかも知れないが,とにかくこの式で定義されるものをそう呼ぶことにするのである.それは,一般化運動量,一般化力などでもそうであった.

それでも,前にも出てきた次のような関係は変わらずいつでも成り立っている. 数式 これは (1) 式とこの式と上の新しい定義を見比べてやれば明らかに言えることだ.


ラグランジアン密度の利点

こうして連続体を記述する体系をうまくまとめることが出来た.色んな物理量が「場所xの関数」として表現されるので,この形式の解析力学は「場の解析力学」と呼ばれたりする.他にも「自由度無限大の解析力学」だとか「連続体の解析力学」とか呼ばれることもあるが,どれも同じ意味である.

場の解析力学では,ラグランジアン密度Lが重要になる.しかしこれまでの質点系の解析力学と比べて本質が変わったわけではない.変分原理δI=0は相変わらず生きていて,作用I 数式 と書けるような体系に,結果として落ち着いたというだけのことである.しかし,何ともまぁ,うまく出来ていることこれは作用Iが空間と時間の両方の積分で表せる形になっており,時間と空間を対等なものとして扱う相対論では非常に都合がいい形式なのではないだろうか.

これまでは 1 次元のひもを例に取ってきたが,これを 3 次元を伝わる波の話に拡張してやれば,dxの部分が体積分dVになる.そうすると,作用ILを 4 次元体積で積分したものだ,という見方が出来そうだ.

まぁ,その内にそういう話も出て来ようとは思うが,今はまだ基本を語るだけの段階なので,先を焦らないで行こう.



趣味の物理学書店

趣味で量子力学2の広告バナー