- ベストアンサー
ラグランジアンの数学的定義
解析力学は純粋に理論的にはラグランジュ方程式から初めてもいいと思いますが、ラグランジアンは数学的にはどのような関数であると考えればいいのかという問題に行きつきました.まずは有限質点系のラグランジアンを考えることにして、これを可算、非可算自由度に拡張する方法については別に考えたいと思ってます.また、時間、一汎座標を考える必要がどうしてもあると思います.更に、ラグランジュ方程式は微分を使っているので可微分性を要求します.これらを踏まえると、ラグランジアンはＲと3N次元の実微分可能多様体の直積上の実数値関数と考えるのが妥当なように思いました. Ｌ：R×M → R ところが、私はMの各座標が時刻からの関数でもあることを考慮すべきと思うのでこれでいいかどうかもよく分ってません.更に、ラグランジアン、時間、一般化座標から一般化運動量はどのように定義したらいいでしょうか？
- yumisamisiidesu
- お礼率76% (174/227)
- 物理学
- 回答数3
- ありがとう数3
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
あなたは、おそらく、数学の専門家だと思いますので、素人の私の言うことは、聞き流してください。 私も、素人なりに、そういうことに関心がありまして、私にも分かりそうな本を買い込み、積んでありますが、まだ読んでいません。えーと、それは、岩波書店の、「物理の世界 物の理 数の理」シリーズの、１，２，３巻です。本のサブタイトルは、１は、「数学から見た物体と運動」、２は、「数学から見た古典力学」、３は、「数学から見た連続体の力学と相対論」です。ぜひとも、3巻まで読みたいと思っています。
その他の回答 (2)
- ryn
- ベストアンサー率42% (156/364)
> 今の解析力学はqとq・は独立と考えているみたいですが、 こちらに慣れてしまっているので， L:R×(C^1(R))^3N∋(t,q1,…,q3N)→L(t,q1,…,q3N)∈R とすると， ∂L/∂qi・ = 0 というように勝手に思っていました． > 異なる位置にある質点は異なる位置にあると認識できるように要請すべき > (そのために座標値も異なるようにするべき)だと思います. 質問者さんの意図を理解出来てない気もしますが， 一般化座標:q→ラグランジアン→変分原理→ラグランジュ方程式 この流れで，最初の一般化座標の段階では数値として同じ座標に見えても 次のラグランジアンを書くときに異なる座標だと そのようにラグランジアンが記述されることになるので， 大丈夫だと思うのですが… その大丈夫というのをちゃんと数学的に言いたいということですよね． 私ではお役に立てなさそうです．
お礼
ありがとうございます. >最初の一般化座標の段階では数値として同じ座標に見えても >次のラグランジアンを書くときに異なる座標だとそのように >ラグランジアンが記述されることになるので，大丈夫だと思うのですが… 極座標は厳密には原点で1to1ではないですが、原則として1to1を要請すべきだと思います.極座標がよく使われているのは単に原点に関わらなくていい現象を扱っているからだと思います. ですが、これからもアドバイスを頂けるとありがたいです.
- ryn
- ベストアンサー率42% (156/364)
> そうすると > qi:R→R ,C^1級(i=1,…,3N) > としてラグランジアンは > L:R×(C^1(R))^3N∋(t,q1,…,q3N)→L(t,q1,…,q3N)∈R > という関数と理解するだけでいいと思いました. これだと運動を決められないと思います． 例えば，N個の自由粒子の問題のときには それぞれの粒子が自由に動けるので自由度は3Nです． ところが L:R×(C^1(R))^3N∋(t,q1,…,q3N)→L(t,q1,…,q3N)∈R とすると，ラグランジアンは(3N+1)個のパラメータからなるので， 運動を規定する方程式は1つしか入れられないことになります．
お礼
ありがとうございます. ラグランジュ方程式は (d/dt)(∂L/∂qi・)-∂L/∂qi=0 (i=1,…,3N) の連立方程式なので、特に自由度があわなくなるようなことはないと思いますが、ラグランジアンの前に一般化座標の定義を数学的にちゃんとしたいと思えました. また、順序としては 一般化座標:q→ラグランジアン→変分原理→ラグランジュ方程式 の順で数学的定式化を考えた方がいいと思えました. ラグランジアンの定義では各質点の座標の取り方が独立だと思いますが、これがいいのか、いい加減なのか疑問に思います.例えば、各質点の座標を独立に取ると異なる位置にある質点でも同じ座標値になってしまう余地を与えてしまいます.せめて、異なる位置にある質点は異なる位置にあると認識できるように要請すべき(そのために座標値も異なるようにするべき)だと思います.また、qiで偏微分というのも単に方向微分と思っていいのか、数学的にはよく分りません.まずqを次のように捉えたいと思います. q:R^4∋(t,x,y,z)→q(t,x,y,z)∈R^3 C1級 ∀t∈R,qt(x,y,z):=q(t,x,y,z)は単射 として tをfixしてqi:=q(t,xi,yi,zi) (i=1,…,N) として定義するといいのかもしれないと思ってますが、実際はよく分ってません.
関連するQ&A
- ラグランジアンについて
鉛直平面に固定されている半径ａのなめらかな円の頂上から質量mの質点を初速度0で滑り降りるとき、質点が離れる位置を求める問題で、ラグランジアンを Ｌ=ｍa^2φ^2/2－mgａ(1-ｃｏｓφ) と立てました。 これで合っているでしょうか? 未定定数が抗力となることを示したいのですが、どう示すのかわかりません。 ラグランジアンを使わずに、高校物理の範囲で解く方法はわかりますが、ラグランジアンをどう使うのかがわかりません。 どうかよろしくお願いします。
- ベストアンサー
- 物理学
- ハミルトニアンとラグランジアンの問題
次の４つの選択肢から「不適切」なものを１つ選べという問題なのですが、どれでしょうか？ 理由とともに教えていただけると嬉しいです。 よろしくお願いいたします。 (1)ラグランジアンは一般化座標とその変化率(一般化速度)の関数として扱うが、ハミルトニアンは一般化座標と一般化運動量の関数として扱わなければならない。 (2)ラグランジアンが与えられればハミルトニアンも求まり、逆にハミルトニアンが与えられればラグランジアンを求めることができる。 (3)ハミルトニアンとラグランジアンはどちらも保存する量であるため、物理学で特に重要な役割を果たす。 (4)ポアソン括弧を用いると、一般化座標と一般化運動量の関数として表現できる任意の物理量の変化率をハミルトニアンによって常に同じ形式で表せる。
- 締切済み
- 物理学
- ラグランジアン、ラグランジュの運動方程式の問題が解けません。
以下の問題が解けません。。。どなたか分かる方、教えて下さい！ 宜しくお願いします。 問題：図のように等間隔に等しい3本の弾性棒の先端に質量mの質点をつけ、各質点をバネ定数k、自然長aの等しいバネでつなぐ。弾性棒とバネの質量は無視し弾性棒の先端は左右のみに変位し、変位に対し比例定数Kの復元力を持つとする。この系のラグランジアン、ラグランジュの運動方程式を求めよ。それを解いて基準振動を求めよ。
- 締切済み
- 物理学
- ラグランジアンのＵの表し方
お世話になっております。 Ｌ＝Ｔ-ＵにおけるＵの表し方について少々混乱したので質問させていただきます。 仮に、円筒座標(r, φ, z)系においての一般的な保存力Fr Fφ Fz (各々ｒφzは添え字)が与えられていた場合ラグランジアンはどうなるのでしょうか？ 簡単のために、質量mの質点の運動とします ＃運動エネルギーに関して T= m/2 * (x'^2 + y'^2 + z'^2) を変数変換して (x=rcosφ ,y =rsinφ , z = z) =m/2 (r'^2 + r^2・φ'^2) となるのはわかりました。 ＃ポテンシャルエネルギーに関して さて、ベクトルＦ＝-∇Ｕ なので Fr = - (U)r 式(a) ただし、(A)iはAのiによる偏微分とする。 Fφ= - (U)φ/r 式(b) Fz = - (U)z 式(c) です。 ここで質問なのですが ポテンシャル原点を(x0,y0,z0)としたとき Ｕはどのようにあらわされるのでしょうか？ 式aをとけば U = -Fr・r + g(φ,z) ただしgは関数 (式A cより U = -Fz・ｚ + h(r,φ) (式B となりますが bの扱い方がよくわかりません。 (U)φ = -rFφ として U = -rφ・Fφ + i(r,z) (式C としてしまうと 式ＣはＡに矛盾してそうです。 一体どこがおかしいのでしょうか？普通のxyz座標におけるＵだと思われる U = -Fx・(x-x0) - Fy・(y-y0) - Fz(z-z0)に類似した式までの変形過程をお教えいただけるとありがたいです。 どうぞよろしくお願いいたします。
- ベストアンサー
- 物理学
- ラグランジアンの物理的意味
運動経路は任意の時間内でLの全体が最小になるように定まる量と考えていいですか? またこれは力学で最も基本的な原理と考えていいですか? また対称性とラグランジアンの関係についても興味深い話などあれば教えて下さい.
- ベストアンサー
- 物理学
- 分数を含む２階の微分方程式の解き方
解析力学の問題の中でラグランジアンから運動方程式を導くと、 x'' = x + M/x^3 という微分方程式がでてきました。（xの２階微分を「x''」で表しました） これを解いて x(t) を t の具体的な関数として求めるというのが問題なのですが、この微分方程式をどうやって解けばいいのかわかりません・・。 わかる方がいらっしゃれば教えてください！よろしくお願いします。
- ベストアンサー
- 数学・算数
- 磁場と重力を考慮に入れた荷電粒子のラグランジアン
(PCの都合上ドットをダッシュ(')で表しています) (問)質量m,電荷eをもつ粒子が3次元空間内を運動しており、その位置ベクトルを r=(x,y,z) とする。粒子がベクトルポテンシャルA(r)の中を運動するときのラグランジアンは、 L={mr'^2/2} + er'・A(r) で与えられる。 また、粒子に対し磁場のほかに一様重力も働いている場合を考える。鉛直上方をz軸の正の向きとし、磁場BはB=(B,0,0)で与えられる。 重力加速度の大きさをgとするとき、この系でのラグランジアンを求めなさい。 A(r)は陽には時間には依らないとする。 という問題ですが、g=(0,0,g)とすると、この系でのラグランジアンは単に L={mr'^2/2} + er'・A(r) -mg・r で合ってますでしょうか？
- ベストアンサー
- 物理学
- 解析力学に関する質問
解析力学でラグランジュ方程式を導出するとき 作用をS、ラグランジアンをLとする δS=δ∫Ldt（区間と変数は省略） を考え、これが極値を取る条件としてδS=0ならラグランジュの方程式が得られますが このδSが0だとどうして極値をとると言えるんでしょうか。 ご教授よろしくお願いします
- ベストアンサー
- 物理学
- くりこみ可能なラグランジアン密度について質問です。
電荷q_Φとq_ψを持つ複素スカラー場Φと、ディラック場ψとの電磁相互作用を考える。 このとき相対論的不変性とゲージ不変性から、くりこみ可能なラグランジアン密度は L(A_μ, Φ, ψ)=(-1/4)F_{μν}F^{μν}+(D_μΦ)*D^μΦ-m_Φ^2Φ*Φ-(λ/4)(Φ*Φ)^2 +ψ^†γ^0(iγ^μD_μ-m_Φ)ψ で与えられることを示せ。ここで、Φおよびψに対する共変微分は D_μΦ≡(∂_μ+iq_ΦA_μ)Φ, D_μψ≡(∂_μ+iq_ψA_μ)ψ で定義される。 この問題の解答は坂本眞人著「場の量子論 不変性と自由場を中心として」のcheck9.12に書かれているのですが、私には理解できないのです。
- 締切済み
- 物理学
- 解析力学学習前の予備知識とは
解析力学を習得する必要があります。しかし、その解析力学の本を読んでもちんぷんかんぷんです。ちなみに私は、同次微分方程式ぐらいは解けます。解析力学を習得する前に、その前段階として習得すべき予備知識は何でしょうか。特にラグランジアンとハミルトニアンが分かりません。よろしくお願いします。
- ベストアンサー
- 物理学
お礼
ありがとうございます. 今の解析力学はqとq・は独立と考えているみたいですが、数学的には不適切だと思いました.私はラグランジアンは閉じているN個の質点系の枠組みで考えるべきだと思いました.そうすると qi:R→R ,C^1級(i=1,…,3N) としてラグランジアンは L:R×(C^1(R))^3N∋(t,q1,…,q3N)→L(t,q1,…,q3N)∈R という関数と理解するだけでいいと思いました.そしてLの条件としては変分原理またはラグランジュ方程式としておけばいいと思いました.