- ベストアンサー
解析力学での作用積分の次元はなんでしょうか？
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
空間の次元じゃなく、次元解析の次元、つまり単位の話かなぁ？ ポイントはずしてたらごめんなさい。 一般に、例えば ・y'の次元 ＝ ∂y/∂xの次元 ＝ ∂yの次元÷∂xの次元 ＝ yの次元÷xの次元 ・integral y dxの次元 ＝ yの次元×dxの次元 ＝ yの次元×xの次元 というように、∂y、dy, δyなどはみんなyと同じ次元を持つと考えて扱っちゃって構わない。構わないからこういう記法（たしかLagrangeの発明とか）が便利だとも言えますね。 で、変分の次元について：変数 y[k] = y[k](x) (k=1,2,....,n) を持つ汎関数 J(y[1],y[2],.....,y[n]) = integral {x∈A} F(x, y[1],y[2],.....,y[n], y'[1],y'[2],.....,y'[n]) dx の変分は、y[k]の増分をΔy[k]、y'[k]の増分をΔy'[k]とするとき δJ = integral {x∈A} Σ{k=1,...,n} [(∂F/∂y[k])Δy[k]+(∂F/∂y'[k])Δy'[k]] dx ですから、 δJの次元＝ Fの次元÷yの次元×yの次元×xの次元＝ Fの次元×xの次元＝Ｊの次元 んで、汎関数J自体の次元。 何を極値化（最小化・最大化）したいか、その量Jの次元ですから、一般に問題毎に違います。時間を最小にする、エネルギーを最小にする、確率を最大にする、距離を最小にする、コストを最小にする、などなど。それに、式を無次元化しちゃった場合は「（何かに対する）比を極値化する」ということで、もとより次元はないです。普通、変分問題を立てるときは「何を極値化したいか」を意識していると思うんですが、もしJの式だけ与えられたような場合には、式を分解して次元を調べるしかないですね。
その他の回答 (2)
- siegmund
- ベストアンサー率64% (701/1090)
stomachman さんの回答がありましたので，ちょっと補足します． 一般的には stomachman さんの書かれたとおりですが， 質問内容から，Ｌは Lagrangian で Euler-Lagrange の運動方程式 (d/dt)(∂L/∂q') - ∂L/∂q = 0 を導く話だと思われますので，先の私の回答はその線で書きました． それから，dy や dx や∫を使う記法(すばらしい記法です！)は Leibniz の発明です． ∂を最初に使ったのは誰かな～，私は知りません．
- siegmund
- ベストアンサー率64% (701/1090)
Santa123 さんが書かれている式 δI＝∫δL(q,q')dt と 通常 L = T - V (T は運動エネルギー，V はポテンシャルエネルギー) であることからすぐにわかります． すなわち，L はエネルギーの次元，それを t で積分しているのですから 作用の I は [エネルギー・時間] の次元をもっています． 次元解析でやるように，長さＬ，質量Ｍ，時間Ｔ，であらわせば 作用の次元は [M L^2 T^(-1)] で， SI 単位は，[J s] (ジュール・秒) = [kg・m^2・s^(-1)] です． この次元は，まさに作用の次元と呼ばれています． プランク定数 h は作用の次元をもっています． (だから，作用量子と呼ばれる)． その他，角運動量も作用と同じ次元をもっています． 量子力学では，角運動量が h/2π 単位に量子化される，などといいますね． あと，解析力学では，周期運動について integral[一周期] p dq (p,q は一般化運動量と一般化座標)もよく出てきますが， これも作用の次元を持っています． この積分が量子化とかなんとかいうあたりが，量子力学との接続になります．
お礼
ご丁重な回答ありがとうございました。 [作用]の次元をあらためて思い出しました。 ところで質問の意図は、Ｌ＝Ｔ－Ｖという関係はEuler-Lagrangeの方程式を解い て初めてＬ＝Ｔ－Ｖという関係と同等（エネルギーの次元）になっている事がわ かりますが（電磁場中の電子の動きなんかは直感的にLagrangianを見つけること が難しい）、それがまだ分からない段階でどうして作用積分というのだろうという 疑問にありました。 それにしても変分原理から運動方程式を導くという発想に凄いものを感じますが、 概念的にはこれでいいのかなぁと自分で納得したりしています(笑）。つまり、 t0、t1の両端固定でI=∫dtL(q,q'）の極値(δI=0)というのは、簡単に δE＝δI＝(t1-t0）×ΔEとして、δE→０の時ΔE→０つまりエネルギー極値と なる運動が現実の運動を表す。。。
関連するQ&A
- [解析力学] 作用Sの変分 t→t+δt の導出
ラグラジアンL(q,q~,t)を用いて作用S＝∫(t0～t)dt'L(q,q~,t')とする。 ただしqは一般化座標、q~はdq/dt（一般化速度）、tは時間であり、 Lはラグランジュ方程式 (d/dt)(∂L/∂q~)-(∂L/∂q)＝0 を満たすものとする。 このとき、 （１）時刻tでのq(t)を q→q+δq としたときの変分δS を一般化運動量∂L/∂q~＝p とδqを用いて表せ。 （２）位置qとなるtを t→t+δt としたときの変分δS を L、p 、q~、δqを用いて表せ。 ただしq(t0)は固定 という問題について、 （１）はδS＝pδq が求まったのですが、（２）の解法がわかりません。 調べるとδS＝(L-pq~)δt のようになるらしいのですが・・・ 解法、もしくはヒントを教えていただきたく思います。 δS＝（∂S/∂t）δt+（∂S/∂q）δq+（∂S/∂q~）δq~
- ベストアンサー
- 物理学
- 作用積分と一般化運動量の関係がわかりません
作用積分の変分ΔS＝∫_tA^tB dtΣ(Δq ∂L/∂q + Δq' ∂L/∂q') これを部分積分して、 ＝[ΣΔq ∂L/∂q']_tA^tB ＋ ∫_tA^tB dtΣΔq (∂L/∂q － d/dt ∂L/∂q') ここで、tAとtB では、Δq ＝０ なので、第一項は０になり、 これから、ラグランジュの方程式が出てくるのは、わかります。 そうせずに、全体をΔqで微分（偏微分）すると、 ∂S/∂ｑ＝∂L/∂q' ＋ ∫_tA^tB dt ０ なので、一般化運動量ｐを∂L/∂q' と置くと、 ｐ＝∂S/∂ｑ となりました。 それで、ｔAの時点での一般化運動量をｐAとし、ｔBの時点での一般化運動量をｐBと すると、運動量保存則から、 ｐA＝ｐB となると思うのです。 仮に、外力による運動量の増加Δｐがあったとしても ｐB＝ｐA＋Δｐ と思います。 しかし、本には、 ｔAの時点では、－ｐA ｔBでは、 ｐB と書いてあります。 何故、－ がつくのかわかりません。
- ベストアンサー
- 物理学
- 解析力学が得意な方に質問です。
解析力学が得意な方に質問です。 ダランベールの原理からオイラーラグランジュ方程式の導出、および変分原理からオイラーラグランジュ方程式の導出を、専門書など一切何も見ずにできるのですか？ あと、ゴールドスタインの古典力学の第5章 剛体の運動方程式をさくっと理解できなければ、量子力学を理解するのは無理ですか？
- 締切済み
- 物理学
- 解析力学の問題で困っています。
以下の演習問題が参考書に載っていたのですが、模範解答が省略されており困っています。 １～４の解答をしていただけないでしょうか。お手数をおかけしますが、よろしくお願いします。 ***************************** 自然長a、ばね定数kの軽いばねに結ばれた質量m,Mの2質点A,Bの運動を考える。両質点の運動はばね方向の1次元運動とし、その位置をx,X（x＞X）とする。（ただし、両質点に働く力はばねによる復元力だけである。） １） この系のLagrangian Lを書き下せ。 ２） Euler-Lagrangeの運動方程式を書き下せ。 ３） x,Xに正準共役な運動量p,PとしてHamiltonian Hを求めよ。 ４） Hamiltonの正準方程式を書き下せ。
- ベストアンサー
- 物理学
- ハミルトンヤコビの方程式と作用積分
大学3年にして量子力学をちゃんとやろうと思い、解析力学入門の演習問題をやっているのですが、以下の問題がわかりません。 ”ハミルトンがｐ、ｑ、ｔであたえられているとき、ラグランジアンをｑ、ｑ’、ｔの関数として運動方程式の解を代入し、その作用積分の上限をｔとした関数Ｉ（ｔ）を考えるとき、Ｉ（ｔ）はハミルトンヤコビ方程式の解となっていることを示せ。” 解答では、 ｄＩ／ｄｔ＝（∂Ｉ／∂ｔ）＋（∂Ｉ／∂ｑ）ｑ’ としているのですが、運動方程式の解を代入すればＩはそもそもｔだけの関数になるんじゃないでしょうか？それにｑの関数になるとしてもｑ'の関数にはならないのでしょうか？ また、これを認めても、 piqi'+H(qi,pi,t)＝（∂Ｉ/∂t）＋（∂Ｉ/∂q）q’からイキナリ （∂Ｉ/∂q）＝pi を導いてる意味がわかりません。 ラングランジアンやハミルトンの関係や、それらと一般化座標、運動量の関係は大体理解しています（つもりです（＾＾；））。
- ベストアンサー
- 物理学
- 解析力学での座標と運動量
最小作用の原理をハミルトン形式で記述するとき座標Xと運動量Pが独立なので各々の変分の被積分関数が０でなくてはならないとありますが、…XとPは独立なのですか？XによってPが決まるのに。納得できません（._.）よろしくお願いします！
- ベストアンサー
- 物理学
- 解析力学に関する質問
解析力学でラグランジュ方程式を導出するとき 作用をS、ラグランジアンをLとする δS=δ∫Ldt（区間と変数は省略） を考え、これが極値を取る条件としてδS=0ならラグランジュの方程式が得られますが このδSが0だとどうして極値をとると言えるんでしょうか。 ご教授よろしくお願いします
- ベストアンサー
- 物理学
- 力学・単振り子の運動方程式について
長さLの糸に質量Mの重りをつけた振り子で最下点で水平にV０の初速を与えるという設定でまず運動方程式をたてるときに、２次元極座標をつかって、 -ML(dθ/dt)^2=MGcosθ-Tと書いてあるのですが この-ML(dθ/dt)^の部分がどのようにして導出されたか いまいちわかりません。 ご教授よろしくお願いします。
- 締切済み
- 物理学
- Schwingerの作用原理と摂動論
場の量子論の定式化には、正準量子化、Feynmanの経路積分による方法、Schwingerの作用原理がありますが、私はSchwingerの作用原理が気に入っています。それはこの方法が最初から量子場として出発できるからです。さてこのSchwingerの作用原理で、結合定数の変分について作用が不変であると要請して摂動展開を導くことはできないでしょうか。
- ベストアンサー
- 物理学
お礼
そうです、次元解析の話なんですが、 ＞δJの次元＝ Fの次元÷yの次元×yの次元×xの次元＝ Fの次元×xの次元＝Ｊの ＞次元 ＞んで、汎関数J自体の次元。 ＞もしJの式だけ与えられたような場合には、式を分解して次元を調べるしかないで＞すね。 目からうろこが落ちました。ありがとうございました。