「よくわかる解析力学」(東京図書)サポート掲示板 †
よくわかる解析力学サポートページに戻る
- mathjaxを使って、TeX形式で数式を打てるようにしてあります。$または$$(もちろんほんとは全角じゃなく半角の「ドル」です)で囲んで入力してください。
- spam避けに、httpを含む文章と、英字のみの文章は登録できなくしてあります。
「サポート掲示板3」が不具合で書き込めなくなりましたので作りました。こちらに書き込んでください。
P80 †
まろ? 22:30:34)
先生の参考書で勉強させていただいてます。
P80のについてですが、体積積分において変分や部分積分を取っているのですが実際にはどのように計算されているのでしょうか?1次元の積分なら分かるのですが、表面項などが消えているので体積積分ではどのようになるのか気になってしまいました。
- 体積積分でも、変分でやっていることは、関数がの場合との場合の差を取るという計算で、同じです。の2次以上は無視するところも同じ。 -- 前野?
- 表面項は、表面部分でにするので効きません(これも1次元のときといっしょ)。1次元と3次元に違いがあるとすれば、部分積分のときの表面項にまだ2次元分の積分が残っている(x方向を部分積分したらy,z方向の積分はまだある)という違いぐらいだと思います(どうせ表面ではなので積分を計算する必要はなく0です)。 -- 前野?
p199について †
こめお? 13:11:58)
p199の中盤に関する質問です。
「この場合、『x+δx』は、〜〜」の説明での『』中のxというのは、右図の黒線のt=tfにおける位置xfを表し、
式左辺のxは灰色の線のt=tfにおける位置を表している、という解釈であってますか?
- はなので、は右の図の図中の黒線のにおける位置です。 -- 前野?
- の左辺のも同じで、図中の黒線のでの位置、つまりです。これは、変化させた後の新しい関数のでの値でもある、というのが8.24式で書いていることです。 -- 前野?
- お返事ありがとうございます。なるほど、つまり、8.24右辺のδxは0、という解釈でよろしいでしょうか。 -- こめお?
- やはより先の値は決めてない(時刻までしか決めてない)です。という関数は、時刻まで定義されてます。なので、だけを取り出しては0か、と聞かれると少し微妙ですね(そう考えてもよさそうではありますが)。右辺はあくまでという関数のでの値、と考えた方がよいかと思います。 -- 前野?
- 納得できました。ありがとうございました! -- こめお?
- 初等力学の方にもう一つ質問させていただいたので、お時間ある時にお願いしますmm -- こめお?
p245のヤコビアンについて †
マータン? 11:13:17)
qp座標は直交座標で、QP座標は任意座標として、正準変換で位相平面の微小面積が変わらないことを示すならば、dqdp=JdQdPでJ=∂/∂となり、これが1になるので、ヤコビアンがポアソン括弧と一致しなくなると考えてしまいました。どこを勘違いしているのかが分かりません。どうか宜しくお願いいたします。
- 「ヤコビアンがポアソン括弧と一致しなくなる」というのは何を見て判断しているのでしょう?J=1で{Q,P}=1なので一致してますが。 -- 前野?
- 式と式とで変換前後の変数の関係が逆になっているので、混乱してしまいました。ヤコビアンJを式とすると、位相空間の単位面積が変わらない条件は、JdQdP={Q,P}dqdpとなって、正準変換でポアソン括弧が1になっても必ずしもヤコビアンは1にならないと考えてしまいました。どうか宜しくお願いいたします。 -- マータン?
- 式と式とで変換前後の変数の関係が逆になっているので、混乱してしまいました。ヤコビアンJを式とすると、位相空間の単位面積が変わらない条件は、JdQdP={Q,P}dqdpとなって、正準変換でポアソン括弧が1になっても必ずしもヤコビアンは1にならないと考えてしまいました。どうか宜しくお願いいたします。 -- マータン?
- 今の場合、J=1で、{Q,P}=1で、つまりはdQdP=dqdpなのですが、これのどこで混乱されてるのかが私にはわからないです、すみません。 -- 前野?
- ヤコビアンの意味はdQdPとdqdpの比なので、それが1だということはdQdP=dqdpだということです。 -- 前野?
- 位相空間の体積が変わらない条件もdQdP=dqdpです。少し下のp324に関する質問の答えも参照してください。 -- 前野?
- 何回もすいません。ヤコビアンの変数変換前後の関係をB.29式に合わせた場合、10.6式が1/JをJに置き換えたものになり、10.7式が訂正前に戻ってJ=1が得られると考えました。どうか宜しくお願いいたします。 -- マータン?
- J=1なんだからJでも1/Jでも同じなんでは?? それに(B.29)は一般式なので、この式ののペアをと思うかと思うかで前後の関係はどっちにでも合わせられますが。 -- 前野?
- 仰る通り、J{Q,P}=1なので、どちらでも構わない事で納得出来ました。ありがとうございました。 -- マータン?
p.88,89の記述について †
A.C? 18:47:01)
「無限個の連立方程式」とありますが、これがオイラー・ラグランジュ方程式に繋がる過程がよく分かりません。どういう意味なのでしょうか?
- は無限個あるからのどれで微分しても0という「無限個の連立方程式」です。オイラー・ラグランジュ方程式もやはり(の場合で言えば)からまでの「どれで微分しても0」という無限個の連立方程式なので、はオイラー・ラグランジュ方程式の形で書けるんじゃなかろうか、という繋がりです。繋がりというよりは同じものなわけですが。 -- 前野?
- 返信ありがとうございます。 -- A.C?
- 追加で質問なのですが、p.88での, -- A.C?
- すいません。誤送してしまいました。p.88での「なにか」があらゆる時刻のxを含むのは経路そのものを -- A.C?
- 経路そのものを考えているからということで間違いないでしょうか。 -- A.C?
- 考えているもの(つまり変化させる変数にあたるもの)は経路そのものです。実際に「なにか」に当たるものは、ラグランジアンの積分=作用ということになります。そして、作用は経路によって決まる量です。 -- 前野?
- 理解できました。ありがとうございます。 -- A.C?
P324の9行目の記載内容について †
マータン? 19:44:18)
ヤコビアンはdxexとdyeyが作る面積と、dXeXとdYeYの作る面積の比と書かれていますが、前者の面積はdxdyなので比にはならない気がするのですが。どうか宜しくお願いします。
- 疑問に感じているのは、比だというのなら(B.28)の右辺をdXdYで割った結果ではなくdxdyで割るべきなのでは、ということですね。 -- 前野?
- そういう疑問でしたら、ここでの(括弧つきの)「比」というのは、割と大雑把な意味をもたせていて、dxdyやdXdYを除いた係数部分の「比」だと思ってください。より正確に書くなら、「との作る面積のの前の係数と、との作る面積のの前の係数の比である」となります。書き方が雑だったかもしれません。 -- 前野?
- 納得出来ました。ありがとうございました。 -- マータン?
- 納得出来ました。ありがとうございました。 -- マータン?
p72 3.51式 †
モグラ? 13:20:08)
すみません、3.51式でなぜシグマが出るのか教えていただきたいです。あと添字のiとjになにか対応関係ってありますか?
この辺の議論がよく分からないのですが、付録を先に読んだ方が理解しやすい場合、どのあたりを読むべきかも教えていただきたいです。
- 省略形を使わずに2変数の場合で書くと、左辺のUは、右辺のUはです。これをで微分するとどうなるかを考えてみてください。 -- 前野?
- となります。これをΣ記号を使って表していると思ってください。当然iとjには対応関係はありません。 -- 前野?
- 理解できました。ありがとうございました。 -- モグラ?
p92 あたりについて †
こめお? 11:00:06)
の2行上から1行上への式変形はどのようにしたのでしょうか。単に第一項の二乗を展開したのですか? だとしても、絶対値が付いているのにそんなことをしていいのか疑問です。
- すみません。ベクトルの絶対値の2乗の展開公式を使ったのですね。わかりました。ありがとうございました。 -- こめお?
- すみません。ベクトルの絶対値の2乗の展開公式を使ったのですね。わかりました。ありがとうございました。 -- こめお?
p91 について †
こめお? 16:24:53)
あたりで何をやっているのかが分からなくなってしまいました。なぜ、になるようにしたいのでしょうか?
- 上に書いてある、「何を変分したらが出てくるか?」というのを数式にしただけです。 -- 前野?
- 変分してこれが出てくれば、「任意のに対して変分が0」という条件から運動方程式が出てきます。 -- 前野?
- ここでやっているのは\に書いてある「なにか」を作りたいという試行錯誤です。 -- 前野?
- 分かりました。ありがとうございました。 -- こめお?
p77 3.62の積分 †
化学徒? 13:22:42)
基礎的な質問なのですが、の両辺にy'/yをかけて積分するとなぜ3.63のような式が出るのかわかりません。第2項目と積分定数についてはなんとなくわかるのですが、どのように一項目の-1/2y^2が出るのでしょうか?
- にを掛けるとになります。これはをで微分したものです。 -- 前野?
- 理解しました。ありがとうございました。 -- 化学徒?
とても軽微な誤記 †
R8xt*$P!y9BC6DvP? 14:18:14)
p.327 の注釈 7 で「『未定乗数』と書き間違える人がたまにいるが、」とありますが、鉤括弧内が正しい表記になっていて書き間違えていません。注釈のその後の文との整合性を考えると「『未定常数』と書き間違える人がたまにいるが、」が意図された内容なのではないかと思いました。
- ありがとうございます。この脚注には2回「未定乗数」という言葉が出てきますが、実は古い版では両方が「未定常数」になってました。で、「2つ目の未定常数は未定乗数になおしてください」とお願いしたところ、なぜか両方「未定乗数」になってしまったようです。また次で(今度は間違えないように)修正します。 -- 前野?
p196の(8.16)について †
Jun? 21:07:20)
ふと疑問に思ったのですが、ポテンシャルが並進不変の形であることから運動量保存則が導かれ、また作用·反作用の法則が導かれるとのことですが、摩擦力のようにポテンシャルを導けないけども、作用·反作用の法則を満たすような力はどのようにして考えれば良いでしょうか。ポテンシャルが定義できるという前提なのでしょうか?
- 摩擦は解析力学では扱えないと思って下さい。 -- 前野?
- 返信ありがとうございます。非勾配力はその時点で解析力学の範囲から外れると言ってしまって良いでしょうか。 -- Jun?
- 束縛力も非勾配力ですが、ラグランジュ未定乗数の形で入れられます。 -- 前野?
- そうなると、摩擦力は振り子でいう紐の長さといった、拘束条件が見当たらないから扱いづらいということでしょうか。では、物体を引くことによって生じた摩擦力によって、地球が動くことまで考慮にいれて(ある種運動量保存の結果を先取りしている気がしますが)重心速度が一定(もしくは不変)という拘束条件が置けるような気がするのですが、一般には成立しないということでしょうか。 -- Jun?
- 成立しないわけじゃなく、ラグランジュ形式にははまらないというだけです。 -- 前野?
- 返信ありがとうございます。未定乗数とる以前の問題ということでしょうか。では結局のところ摩擦力がラグランジュ形式で表すことが出来ない原因とは何でしょうか -- Jun?
- 最初に書いてあるとおり、ポテンシャルを導けないからです。束縛力は対応するポテンシャルはないけど、未定乗数で表せられるから入れられる。 -- 前野?
- 返信ありがとうございます。未定乗数含め、理解が深まった気がします。本当にありがとうございました。 -- Jun?
P204 演習問題8-3のについて †
Shogo? 14:52:04)
の導出を教えていただきたいです。8.5ではεを角速度ベクトルのようにみて微小変位と結びつけてパラメータの微小変化を分解していましたが、剛体に固定されたframeの回転の場合はεを何と見ることでを導出しているのでしょうか?
- の意味は(あとで角運動量ベクトルと結びつくことからわかるように)剛体に固定された軸ではなく空間軸それぞれの周りの微小回転のパラメータであることは同じです。その意味については、ヒントの後半部分に少しだけ書いてあります(パラメータのとり方がちょっと極座標とは違うけど、軸回りの回転を表すパラメータであるには違いない)。 導出の簡単な方法は実は、解答(角運動量の成分が出てくること)からの逆算です。 -- 前野?
- 図形でどんなxyzの回転がどうなっているかを考えてもでてくるはずですが、説明結構面倒そうです(前にやったことはあるんですがそのメモが出てこない)。 -- 前野?
- わりと簡単に理解できるとの関係について書いておくと、の逆関係として、という式があります。 -- 前野?
- この最後のは、オイラー角による軸回りの回転がの変化との変化で得られることを示してます。の変化が軸回りの回転を生むことはすぐにわかると思います(オイラー角の図を見てください)。の変化はもともとの軸から傾いた軸の回転になるので、が掛かっています。 -- 前野?
- 残念ながらの方の説明が単純ではないですが、の場合、の場合などを順に考えていくとこの形になるのが理解できるかと思います。 -- 前野?
- 早速のご返信ありがとうございます。よく理解できました。 -- Shogo?
p224の(q,p+δp)のδtにおける位置の変化について †
Jun? 09:40:46)
p+δpのδtの変化ですが、本ではハミルトニアン(δpδtが掛かっている方)の偏微分がqの後pになっていますが、pの後qではないでしょうか。mathjaxの使い方が分からずこのような質問の書き方になりましたが、お願いします。
- よくよく考えてみればこの場合の偏微分は交換しますね。お騒がせしました -- Jun?
第4章 †
SH? 10:06:41)
P91のFAQの下の行
- gradの「なにか」を求めるのに、なぜ「なにを変分したら-md²x/dt²・δxが出てくるか」を考えるのですか?
最終的なS試はだと思うのですが、でLとUが出てくるのはなぜでしょうか。
- gradは微分。微分と変分は言葉は違いますが、「ある量を変化させたときにその量に依存する量がどう変化するか」を求めているという意味では、同じ計算です。 -- 前野?
- の時間積分が、逆にいえば求めたS試であるはという量の時間積分になっているということを示してます。 -- 前野?
- 出てくるようにしたいのが『-md²x/dt²・δx』である理由はなんですか。の「直前の結果を整理すると」について、p91-93で運動エネルギーにしか触れてないのに、急にLやUが出てくる理由は何でしょうか。 -- SH?
- ああ、Uが出てきたことに関する質問だったんですね。Uに関しては普通の微分でが出てくるのはのあたりでわかっていたので、これにさらにも出てくるようにするにはどうすればいいのかな、 -- 前野?
- から後の話です。 -- 前野?
- P93のからが導かれる計算過程を教えていただきたいです。 -- SH?
- オイラー・ラグランジュ方程式そのまんまです。 -- 前野?
- 理解できました。ありがとうございました。 -- SH?
微分の計算について †
大学一年生? 03:09:55)
巻末の数学的知識の解説のお陰もあり本書はあまり問題無く読み進められているのですが、もっと初歩的な部分で自分の理解が足りていないと感じたのでこちらにご質問させていただきます。
とするとき、
であり、 というものない(そのような量を考えることはない)、という理解は合っていますでしょうか。
同様に、 であった場合には
であり、 というものない(そのような量を考えることはない)ということでしょうか。
あるいは、 の逆写像 を考えて
のようにするのでしょうか。
また、これまで何冊か大学数学や物理の本を読んできて偏微分は(偏微分する変数以外を定数扱いするため例えば を で偏微分するときに は の式として展開せずに「定数」 として扱うように)「中身の依存関係まで見に行かない」微分、(全)微分は(例えば を で全微分するときに を の式として展開して微分したように)「中身の依存関係まで見に行く微分」というイメージを抱いているのですが、このような認識を持っていても大丈夫でしょうか。
このイメージのもとでは、上の例では( は に依存しない量であるため、 を の式として展開できない、すなわち「中身まで見に行けない」ため) や などのような量は考えられないだろうと思いました。
初歩的かつ長い質問で申し訳ありませんが、ご回答いただけると大変幸いに存じます。よろしくお願いいたします。
- すみません。本文が長すぎたのかシステムのバグを踏んでしまったのか、(少なくともこちらの環境では)本文が正常に表示されていません。正しく表示された本文のスクリーンショットをこちらにアップロードいたしましたのでこちらで同じ内容をご確認いただけます(p の前の @ を外してください)。 htt@ps://imgur.com/GZhncrR -- 大学一年生?
- 最初に書いた の(偏/全)微分に含まれる や はそれぞれ のように書けます(直し忘れました)。 -- 大学一年生?
- まず厳密な立場で考えると、と書いたならそれはもう「の関数」であって「の関数」ではありませんから、「を考えるのは無意味」です。を考えるのは「を代入する前」の段階でのみです。 -- 前野?
- そういう意味で、この状況では「もなければ、もない」というのが正しいです。 -- 前野?
- ただし、多くの場合「いったんをの関数ではないと考えて、計算終わったあとでを代入する」という操作を「暗黙のうちに」やっている場合が多々あります。その場合、「計算途中」としてが出現するわけです。 -- 前野?
- 偏微分は、「何と何を変数にしているか」を変えれば違う結果を出す計算なので、計算の途中で常に「今変数としているのはなにか?」を意識してないといけません。そういう意味で、と書いたら変数はなので「で微分(全微分も偏微分も)」はないわけです。ただ計算の途中経過としてを考えることはあるので、あくまでその途中経過の中で「で偏微分」が登場します。 -- 前野?
- なお、と書ける場合はそう書いてもいいけど、その場合は「の関数」であって、「で微分」はないです。しかし計算の途中経過では出てくることもある。 -- 前野?
- (記法の問題で誤解が生じやすいけれど)数学的には という記法はまず の関数 を考えて、後から と の関係を持ち出してきて二変数の定義域を から曲線(変数が増えれば曲面など) に制限している(そのため に対して定義域を から制限しない段階で などを考えることができる)と考えてよろしいでしょうか。 -- 大学一年生?
- また、本来はきちんと明記するべきですが とあったら と の関係を代入する前の二変数関数 について考えていて、 とあったら を代入して のみの関数になった (更に一変数関数らしく書けば など)を考えていて、(あまり見ないかもしれないけど) とあったら という逆対応を代入して のみの関数になった を考えていると思えば誤解は無さそうだというわけですね。 -- 大学一年生?
- そして( の逆対応が無いなどで) を のみの関数にできない場合には をそもそも考えない(ただし偏微分の方は普通に二変数関数のままにして考えられる)ということですね。同じことの復唱のような感じで申し訳ありませんが、このような理解で問題ありませんでしょうか。悩んでいたことが晴れてすっきりしております。ありがとうございます。 -- 大学一年生?
- 「まず〜〜〜を考えて、後から〜」の部分は、別に後から気づくわけではなくがなのは最初からわかっている場合もあるので必ずそうだとは限りませんが、理解としてはそれでいいと思います。また、本来はきちんと明記すべきところをさぼって省略してしまうことが多いのはおっしゃるとおりです。 -- 前野?
- 「まず」「後で」は実際にその間に時間差があるということではなく、比喩的に用いた表現でした。思考が整理されてとても感謝しております。ご回答ありがとうございました。 -- 大学一年生?
これより古い記事は