Kinetic energy
ラグランジアン formula_3 は一般に運動エネルギー とポテンシャル の差