よくわかる解析力学サポート掲示板
演習問題7-4 E.127,130について †
こーき? 18:37:38)
E.124のθに関するオイラーラグランジュ方程式の第二項のθ微分にあたるところの係数にが抜けています。
- ありがとうございます。確かに抜けてました。修正します。 -- 前野?
演習問題5-3の解答について †
すや? 22:09:01)
式はのラグランジアンからどのように導かれてるのでしょうか?詳しい解説お願いします.
- 普通の計算をしているだけです。の変分を取るとで、後は部分積分をします。 -- 前野?
- わかりました!思い違いをしていた点があったみたいです!素早い回答ありがとうございます! -- すや?
p130の脚注16について †
ジュンジ? 12:50:17)
細かいところですみません。第4刷p130 の脚注で、”…x,yの時間変化に応じのみfが変化する場合は「陰に依存する」と言う。” とあります。
”のみ”の辺りの意味がうまく掴めず、誤植かと思ったのですがいかがでしょうか。
- すいません、ミスタイプで「x,yの時間変化に応じてのみfが変化する」です。つまり、tの変化→fの変化という直接の変化ではなくtの変化→x,yの変化→fの変化という連動によってのみfの変化が起こっているということです。 -- 前野?
- なるほど、理解できました!ご丁寧にありがとうございます。 -- ジュンジ?
p110の式について †
ジュンジ? 18:51:43)
式の中央の式で、左辺のはではないでしょうか。あるいは右辺がドット無しでもいいかもしれませんが。(第4刷)
- 御指摘ありがとうございます。確かに左辺にもドットが必要です。 -- 前野?
練習問題問い2-4について †
すや? 22:53:36)
p.353の式の右辺の積分の第1項のルートの中で,x`はx`+δx`になっているのに,y`はなぜy`+δy`になっていないのでしょうか.Iについて変分を取ったらx`もy`変化する必要があると思うのですが.
- xとyは独立なので、それぞれ別に考えていいです(yに関する変分は最後で言及してます) -- 前野?
- それぞれ独立の関数であるから,片方の関数を固定して変分を取る必要があるということですね.これは例えばfという関数をxで偏微分するときyを一定として微分する必要があることと同じようなものだと考えれば良いのでしょうか. -- すや?
- 「必要がある」ではなく「してもいい」ですが、そういうことです。fの場合も「xだけ変えてもいい」し「yだけ変えてもいい」し、「x,yを同時に変えてもいい」わけです。 -- 前野?
- では問い2-4の問題でIについて同時に変分を取った場合ではどのように問題を解くのでしょうか? -- すや?
- 解答にある通りで「まずはxの変分を取った場合」「次にyの変分を取った場合」とやればそれでいいんですが、同時にやりたいというのなら、同時に変分を取った後、その変分をδxに比例する部分とδyに比例する部分に分けて、「δxとδyは独立だからそれぞれが0」と考えればいいです。 -- 前野?
- おっしゃってる通りに計算したらできました!ありがとうございます! -- すや?
p159の計算について †
phys? 16:28:43)
p159で、両辺を複素化するときに、最後に虚部を取ると書いてありましたが、計算を進めていくとその作業しなくても答えが出ています。この計算の仕組みはどうなっているのでしょうか?
- 明示はしてませんが、で固有値を求めた後で固有ベクトルを並べて変換行列を作ったの時点でまたではなくsinを使った式に戻してます。 -- 前野?
- どうしてで、普通に計算しただけで(虚部だけをとる操作なしに)固有値が実数で求まっているのですか? -- phys?
- 固有値が実数なのは、別に虚数部を取るとかそういう操作の結果ではなく、元々エルミートな行列の固有値を計算しているのですから、実数になるのは最初からわかってます。 -- 前野?
- 解決しました。ありがとうございました!! -- phys?
について †
phys? 11:52:31)
はどのように導かれるのでしょうか?その前のからわかるのかと思いましたが、これはt=tfの時しか成り立たないはずなので分からなくなっています。
- に入っているはと同じですよ。 -- 前野?
- の左辺は添字fを省略したという理解でよいでしょうか。その場合でも右辺にt=tfというただし書きはいらないのでしょうか? -- phys?
- 省略したわけではなく、「正準変換の母関数」と考えたときのはの関数です。母関数としてハミルトン主関数(これはを変数とする)を採用することもできるという話をしてます。 -- 前野?
- そのときにはをとみなすわけですが、まぁそこはやっている計算の内容から読み取ってください。 -- 前野?
- (11.8)が成り立つからといってをとみなした(11.9)が成り立つとはならない気がするのですが、なぜ成り立つのでしょうか? -- phys?
- はを少し動かしたときのの変化率(の符号をかえたもの)がの時のに等しい式だと思うのですが、をの関数とみなしたときの時間微分(の符号を変えたもの)とは特に指定されてないが等しくなるのはなぜかが分からないです。 -- phys?
- ???? と書くかと書くかなんてことは本質でなく、と書いているときのがになるんなら、を書いてで微分すればになります。文字を変えたからと言って「微分したらこうなる」という関係ががらっと変わったりはしません(疑問にされているのはそれとは違う話なのかな??) -- 前野?
- と書いてようがと書いてようが、関数の形が変わるわけではないんですが。 -- 前野?
- をと書こうとと書こうと、文字を置き換えただけなので何も変わらないのは理解できます。 -- phys?
- 「で偏微分」というのは粒子がある到着地点に着く時間を少し変化させたときについて考えていて「で偏微分」というのは時間が少しだけ変化した時について考えているから、この二つは違うものではないのかなというのが疑問です。 -- phys?
- それとも、をに、単に文字を置き換えただけなのでしょうか。でも、それだと、先に出したと意味が違ってくるように思います。 -- phys?
- を満たす関数があれば、ハミルトニアンを0にするような正準変換ができる←というのが、まず最初に出てくる大前提です。 -- 前野?
- そういう関数として、我々はハミルトン主関数なるものを知っている、というのが次に出てくること(その場合のハミルトン主関数の時間微分というのは「到着する時刻を少し変化する」という意味です。それ以外の意味は持たせてません。 -- 前野?
- なるほど、納得できました!!説明してくださりありがとうございました! -- phys?
p287の11.28式について †
けい? 06:31:21)
お忙しい中すみません。
11.28式の積分ができれば新しい座標が分かるとあるのですが、なぜこれで正準変換後の座標が分かるのかがわかりません。
- 正準変換の母関数がで、それを、新しい運動量で微分したものが新しい座標ですす。 -- 前野?
- 解決しました。ありがとうございます。 -- けい?
ハミルトンヤコビ方程式について †
佐々々? 17:03:28)
279から284ページにかけてのハミルトンヤコビ方程式の解釈についてです。K=0になるように正準変換することと、作用をオンシェルにした時の条件が、同じハミルトンヤコビ方程式ということは、物体の経路が確定され後の世界に正準変換するというであり、PとQが定数になるのは自明とみていいのでしょうか?つまり経路が確定していれば、そこから動きようがないということですか?数式的には理解できたのですが、先の2条件がどのように物理的に結びついているのか、ということがいまいちしっくりきません。
- どうも疑問がどこにあるのかわからないのですが、ここでやっていることは経路が確定というとり、経路が「座標が変化しない線」になるように座標を引き直す」という感じのことです。 -- 前野?
ネーターの定理について †
phys? 15:17:29)
(8.28)がゼロならば、つまり時間並進してもハミルトンの主関数が変化しないならば、エネルギーは保存すると理解したのですが、ネーターの定理のところでJ=-εLとしてしまうとハミルトンの主関数は変化してしまうから(8.28)の辺りでやっていることと違ってしまうのではないでしょうか?
- なぜp202でJ=-εLなどをに代入して、(8.28)と同じエネルギーが保存するという結論が出たのでしょうか。 -- phys?
- のところでやっている時間並進というのは「出発点をに、同時に到着点をに」という変化を起こしてます。出発点と到着点の間の経路は運動方程式を満たすように決めてます。系に並進不変性があれば、これで作用(あるいはハミルトン主関数)が変わることはありません。 -- 前野?
- 一方、のあたりでやっていることは、積分範囲を変えてません。その場合、系を時間並進させると、とで「はみ出す」分だけ答えが変わります(これでの積分はこれまで積分してなかった積分をやることになるし、の積分は前には積分してたのにずらした後は積分しなくなります。この分だけ作用の値は変化します。つまり積分範囲を変えながらやっているか、変えずにやっているかの違いです。 -- 前野?
- のところでやっている計算と、のあたりげやっている計算が違うものだということはわかりました。しかし、そうすると、のあたりの計算というのは一般座標をからに微小変化させているだけで、時間並進とは関係なさそうに思えてしまいます。 --
- また、時間並進とは積分範囲をずらすことではないのでしょうか。他の方法で表現できるのでしょうか。 -- phys?
- 時間並進というのは、「粒子の運動から」を「粒子の運動から」に変える操作だと思ってください。つまり「積分範囲をずらす」ことではなく、「違う現象に変える」ということです。 -- 前野?
- ただし、系に並進不変性があるのなら、この二つの「違う現象」の間で計算された作用積分の値は変わらない、というのがこのあたりでやっている計算の肝心な部分です。 -- 前野?
- 積分範囲を変えないで「時間並進」を行うと、作用積分の値は変化します。その変化は二つの表し方ができます。一つは、の間で考えると、ある時刻での位置座標を考えると、それぞれがと変更されたという考え方です。 -- 前野?
- これにより作用積分の値は変化しますが、これと同時にからに時間積分の範囲を変えていたならば作用積分の値は変化しなかったはず、と思えば、この変化量は上に書いた「はみ出す」分と等しいということになります。 -- 前野?
- の右辺が「が各時刻ごとに変化したとして作用積分の変化量を計算した結果」であり、左辺が「はみ出し量だとして作用積分の変化量を計算した結果(これは表面項になる)」です。 -- 前野?
- およびその計算結果であるは、時間並進の結果、各時刻のがどう変化するかに基づいて作用積分の値の変化を求めているので、「時間並進と関係ない」なんてことはなく、まさにその効果を計算しているのです。 -- 前野?
- ということは、は、粒子の運動の変化に合わせて積分範囲を変えたから、「ハミルトン主関数が不変→エネルギー保存」となりの辺りでは粒子の運動だけが$q→q-εと変わり、積分範囲は変えていないから「ハミルトン主関数の変化が積分範囲の違いからくる表面項のみ→エネルギー保存」ということですか? -- phys?
- 2つの計算は方法が違うだけで結局は「作用が時間並進不変性を持つならばエネルギーは保存する」ということを言っているのに違いはないという理解でよいでしょうか。 -- phys?
- もちろん、どっちもエネルギー保存を言ってます。 -- 前野?
- 2つの計算は方法が違うだけで結局は「作用が時間並進不変性を持つならばエネルギーは保存する」ということを言っているのに違いはないという理解でよいでしょうか。 -- phys?
- すみません、操作ミスしてしまいました。理解できました! ご丁寧な説明本当にありがとうございました! -- phys?
について †
tt? 01:02:48)
の第1項がどのようにしてになるのかが分からないので質問させていただきます。第1項の積分領域が微小であるということは理解できました。しかし、を積分しないといけないのになぜだけを考えて、項全体をのオーダーだと判断できたのかがわかりません。あと、「被積分関数の中のは無視して」というのの意味もつかめなかったです。
- そもそも積分というのは、からまでの間のの下の部分の面積を、場所で幅ならばと近似できる(そしてそれを足し上げて後での極限を取れば面積が計算できる)というのがそもそもの意味です。 -- 前野?
- だから微小領域での積分は(今の場合は)になるというのは、「積分のそもそもの定義に戻りました」ということです。 -- 前野?
- 積分の中のはからまでの間を変化しますが、その変化量はのオーダーだから無視します。積分が可能な関数ならこの部分を無視しても積分の結果は変わりません。 -- 前野?
- ご回答ありがとうございます。理解できました! -- tt?
p33 †
ぬらりひょん? 15:19:12)
Fermatの原理から「光の直進」を導出する問題ですが、を用いた計算だとただの最短経路を導出しているにすぎません。
Fermatの原理は「最短時間になるような経路」だったはずなので、例えばに対して偏微分を行うべきです。
ただ、同じ媒質中の伝播なので結果はテキストと全く同じになるので些細な指摘ではありますが...
- そこでcが関係なくなるのは自明だし、そこより前にもcが変わらぬ場合は最短経路になってる例を挙げてるわけで、そこは別にいいんじゃないですかね。、 -- 前野?
式について †
phys? 00:48:18)
6.4.2節で、を書き換えてになったと思うのですが、なぜにあった-\frac{1}{2}k^{2}と-\frac{1}{2}k^{2}の項が消えてしまっているのですか?
- 確かにここはちょっと説明が足りなかったかもしれませんが、その項が有ろうが無かろうが、Δx=0の極限を取った結果はになるので最初から書いてません。 -- 前野?
- 有る無しの違いは言わば積分範囲が「0からまでか、「からまでlかの違いです。 -- 前野?
- 極限をとるから両端のばねの位置エネルギーにあたる項は無視した、ということで合っていますか? -- phys?
- 極限取ればどうせ関係なくなるし、という予想の元で無視しましたが、無視しなくても結果は同じです。 -- 前野?
- 理解できました。ありがとうございました! -- phys?
問10-5について †
けい? 20:11:02)
p349のヒントにてが示せればとなると書かれていますが、これがよくわかりません。これはp245の10.6式から来ているのでしょうか。10.6式からならばどちらか片方が示せればいいように思うのですが。
お忙しい中大変恐縮なのですが、ご教授いただければ幸いです。
- 10.6の上の10.5にを代入すればになります。 -- 前野?
- そこがいまいち分からくて、代入するとででなのでということでしょうか。 -- けい?
- それから、10.6式で例えばにおいてを示すことでではいけないのでしょうか。 -- けい?
- すみません上の既述の最初の式は打ち間違いでです。 -- けい?
- 違います。偏微分だからは1になりません。 -- 前野?
- ならば、これはをで微分するという式なので、1です。 -- 前野?
- 今、がの関数で、実はそのはで表現されているということで、と書いてます。これをで微分すると1になるよね、というのがこの式です。 -- 前野?
- 偏微分の式はよく略記しますが、「あれ?」と思ったときは略記せずにちゃんと書いて検算することを勧めます。たとえばはの略記です。 -- 前野?
- 今を独立に取っていてのなのでとはなるような気がするですが。 -- けい?
- が独立ということからというのは少し違和感があります。 -- けい?
- ここでやっているのはポアッソン括弧の計算なのでポアッソン括弧の定義どうりの計算をしなくては。 -- 前野?
- すみませんポアッソン括弧の定義どおりの計算とはどういうことでしょうか。 -- けい?
- ポアッソン括弧の定義式はですが、この定義においてはを独立変数としてます。つまり、ここにあらわれるとは省略せずに書けばということです。 -- 前野?
- を独立に取っていても、ポアッソン括弧の中のを計算するときはを一定にして計算しないと定義通りでない計算をしていることになります。 -- 前野?
- なんとなく理解できたと思います。ありがとうございました。もう少し考えてみます。 -- けい?
式8.9について †
佐々々? 09:36:56)
2016-06-27 の他の方の質問に対して、「左側の式の左辺をと解釈して、を外してます」と、回答していらっしゃいました。この式変形ができるということは、ハミルトンの主関数をある種のスカラー関数のように見ているということですか?電磁気学のスカラーポテンシャルの勾配の定義と同じようにして導出しているということですよね?即ち、 をイプシロンと単位ベクトルに分解してイプシロンの極限をとっているということですよね?変分δの意味を考えるとオイラーラグランジュ方程式で途中経路の積分が消える前は、変分後の主関数と変分前の主関数は全く異なるものであるが、オイラーラグランジュ方程式で消えた後は、端点だけの値になるので、x毎に関数が決まるという変分δとしての意味がなくなり、あたかもオイラーラグランジュ方程式を満たすスカラー関数が全空間に貼り付けられているように見えるので、δを勾配の意味に読み替えても良いということであっていますか?
- 変分δの効果が消えず、イプシロンだけ動かしたときの主関数と動かす前の主関数が全く異なるもののままであったら、偏微分はできず、変分のままだと思ったので質問させていただきます。 -- 佐々々?
- 今激忙の時期なので返事遅れてすみません。どうも質問の意味というか、何が問題だとされているのかが読み取れなくて困ってますが、ハミルトンの主関数が端点だけの関数になっているのはおっしゃる通りで、それはそもそも「端点を決めると一つ決まる関数」なのだから「定義により」です。 -- 前野?
- お忙しい中すみません。確かに、定関数なので定義通りでした。その後の議論では偏微分の話はあまり気にしなくて良いようなので、変な質問をしてしまいました。解答ありがとうございました! -- 佐々々?
オイラーの運動方程式について †
佐々々? 19:39:50)
式でωがオイラー角たちを用いて表現されていますが、その中に時間微分が入っているのが気になりました。座標変換に時間微分が入っていると、オイラーラグランジュ方程式の共変性が保たれないので、ルジャンドル変換をする必要があると思ったのですが、そのままでいいのは何故ですか?普通に回転の運動方程式から求めた解析力学を使わないオイラーの運動方程式と一致したため、問題はないのだと思いますが、気になります。
- 式を出すまでの過程でやっていることは座標変換ではなくて、剛体の回転の運動エネルギーをでどう表すかを考えていた(つまりラグランジアンを作って後から座標変換するという操作ではなく、最初からこの三つを変数としてラグランジアンを書いていた)ので、ルジャンドル変換のような操作はしてません。不要というか、「する場所がなかった」ということになります。 -- 前野?
- ωは元々座標ではないから、それを角度たちで表したかったということだったのですね。また、追記で質問させて頂きます。 -- 佐々々?
- 式でデカルト座標の基底たちは一次独立であるから、角運動量の成分たちが保存するというのは理解できます。しかし、元々デカルト座標で見ると剛体の慣性テンソルの成分が慣性乗積も含め時間変化すると思うのですが、それでも保存しているのは何故でしょうか?トルクがかかっていないので保存することは自明だとは思いますが、慣性テンソルを使って考えると、イメージと合わない気がします。 -- 佐々々?
- その辺の座標変換をちゃんとやった結果(つまり、慣性テンソルの成分が変わるとかそのあたりもちゃんと考えた結果が)ので、これはベクトルとして保存する量になってます(が保存量であることは、対称性から決まることで、どのような座標で表したかとは関係ありません)。 -- 前野?
- のはなどを使って書かれていますが、が全体として保存する量であることは同じです。その保存するを定ベクトルで展開すればその展開係数も保存する(定ベクトルでないベクトルで展開すれば展開係数は保存しない)ということです。 -- 前野?
- 何度質問すみません。ということは185ページののような状況でも、角運動量は保存して、 -- 佐々々?
- 途中で切れてしまいましたすみません。角運動量は保存して、主軸基底では定ベクトルではないが、デカルト座標座標では定ベクトルであるということですよね。また、をデカルト座標で見ると、角速度は定ベクトルとなりますか?定ベクトルとならないなら、それは慣性テンソルが時間変化することから来るのでしょうか? -- 佐々々?
- ここでの慣性テンソルは式のようなデカルト座標から見てのテンソルのことです。主軸変換後のテンソルではありません。 -- 佐々々?
- まず用語を整理しておくと「定ベクトル」というのは「実体としてのベクトル(空間にある矢印的なもの)が一定」という意味ですから、どの座標系で測るかは関係なく、定ベクトルならどの座標系でも定ベクトルです。 -- 前野?
- 定ベクトルを「時間的に変化する基底ベクトルを使って表現」すれば、必然的にそのベクトルの成分は時間的に変化します(成分と基底の組合せである定ベクトルは変化しないが、成分と基底が連動して変化する)。 -- 前野?
- だから、角運動量ベクトルはどっちで見ようが定ベクトルなわけです。「ベクトルの成分は一定か?」という意味でなら、それはどの座標で成分を考えているかで変わります。 -- 前野?
- 自身の用語について誤認識があったようです。自分が言いたかったのは、角速度の成分はデカルト座標で見ると時間変化しますか?ということです。また時間変化するとすれば、慣性テンソルも時間変化することにより相殺されて、角運動量の成分が一定になるということですか?角速度の成分が時間変化しないならば、慣性テンソルが時間変化することにより、角運動量の成分は一定に保たれないと思います。 -- 佐々々?
- 「角速度」ですか? 角運動量なら、デカルト座標で変化しません。角速度ってのはとかのことですか? -- 前野?
- それともとかのことかな。どちらも時間変化しますね。 -- 前野?
- 181ページで考えているような条件が成立してない限り、というベクトルは時間的に変化します。 -- 前野?
- も、も時間変化しますが、その組合せであるところのは保存します。 -- 前野?
- 説明が下手ですみません。式のような、IXX,IYY,ωXなど主軸基底を用いて表したLxではなく、普通にデカルト座標で表したLx=Ixxωx+Ixyωy+Ixzωzでは、慣性テンソルの時間変化とωxなどの時間変化が相殺されて、Lx全体は成分として保存しますかということです。ラージエックスXではなくデカルト座標の基底のスモールエックスxを用いた時の話です。 -- 佐々々?
- 当然角運動量は保存しなくてはいけないのでそうなる(も時間変化する)でしょう。ただ、時間変化するを考えるのは面倒くさ過ぎるので普通はやらないと思います。 -- 前野?
- 長らくありがとうございました。やっと理解できました。適切な例題で確かめてみたいと思います! -- 佐々々?