独立ではない(でもついこの間まで良くわからずにいた)。
紛らわしい理由として、
- と書かれているからついつい。
- その導出過程で となっているからついつい。
という感じだろうか?
そもそも、であるから、独立な訳がない。
というか、偏微分している時点で、独立じゃないけど別々に微分しますよ~ということを宣言しているので、別々に微分していることが独立性を表すことに全くならない。
大元に立ち返ると、はの関数である。なので、言ってしまえばラグランジュアンはとだけ書いても良いぐらいである。言い換えると、の形が求まった後に、ラグランジュアンを求めると、結局しか出て来ない訳で。
じゃあ何で結局全部tの関数なのにわざわざで書くのか?というと、そうすることでを理解し易い、利用し易い、実験に合う、Newton力学と整合する、などなどというメリットがあるからである。
じゃあ何で関数の中身を区切るだけでそんな変わるのか?というと、関数を見る視点が変わるから、とでも言いましょうか。
例として、を考えたときに、と勝手に決めると、となる。は明らかにに対して線形である。大元のの5次のまま見ても良いが、直線関係にあるもので 特徴付けられるならば理解し易い気がしないだろうか?ちなみにこの場合、は好き勝手な値が取れるわけではなく、であり、平面上で曲線を描くと思っても良いし、媒介変数の立場を取ればパラメータによって軌跡が描かられると思っても良い。
今は、勝手に作った関数で物理的意味は特になく、変数を変えることにあまり旨味が無いかも知れないが、実際に位置や運動量、圧力、体積、磁場と言った意味を纏った量でエネルギーなどの物理量を記述するとなると、それぞれが既に何かの関数になっているかも知れないが、一つの変数として見て法則性があった方が解釈し易かったり制御し易かったりするわけである。
上では、が求まった後にそれをに分配するという立場で話をしてきた。
元々やりたいことは逆で、、各時刻においての無限小変位を加えたときに作用が変化しない(極値を取る)ようなは何ですか?ということである。このときも変位を受ける。これらも独立ではなく、である。ちなみに、はに対する変位ではないことに注意。時間の変位は考えておらず、それとは無関係に加えている。というか、時間積分だからその中で時間の変位を与えるとおかしくなる。
ごちゃごちゃ書いたが、要は、
これに関して、全微分、すなわち何らかの変位が起こったときのラグランジュアンの一般的な変化がわかれば、のときの全微分を使えば良いから話が終わる。
多変数を引数に持つ関数の全微分は偏微分を用いて書かれる。
それで、本当に一変数の全微分と勝手に区切ったなんちゃって多変数の微分達の和が一致するかで確認すると、例えばで微分すると、
となり、勝手に区切っても正しい微分の手続きを踏めば問題無いことがわかる。
話をまとめると、はの関数(時間で積分すると作用を返す関数)だけど、任意の関数で表現しても良く、これらの変位に対して作用が極値を取るような条件(制限)がラグランジュ方程式であり、この制限下でが上手いこと軌跡を描く、ということだと理解している。
実際にラグランジュアンに形を与える際、例えば等速直線運動のときの運動エネルギーを考えると、を介さずに、ガリレイ変換の対称性からほぼ直接の依存性()がポンっと出てくるから、余計にが独立変数だと思ってしまうかも知れない。
むしろ任意の関数で表現しても良いから、対称性等のアプローチでラグランジュアンの形を大枠で推定出来ると思う方が無難かも知れない。