オイラー＝ラグランジュ方程式
 | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 (2022年9月) |
| 物理学 |
|---|
| ウィキポータル 物理学 執筆依頼・加筆依頼 |
 |
| ウィキプロジェクト 物理学 |
| カテゴリ 物理学 |
オイラー゠ラグランジュ方程式（オイラーラグランジュほうていしき、英: Euler–Lagrange equation）は、汎関数の停留値を与える関数を求める微分方程式である。オイラーとラグランジュらの仕事により1750年代に発展した。単にラグランジュ方程式、またはラグランジュの運動方程式とも呼ばれる。まれにオイラー方程式と呼ばれることもあるが、完全流体に関する運動方程式の名もオイラー方程式であるので、注意する必要がある。
ニュートンの運動方程式をより数学的に洗練された方法で定式化しなおしたものであり、物理学上最も重要な方程式の一つである。オイラー゠ラグランジュ方程式を基礎方程式としたニュートン力学の定式化をラグランジュ形式の解析力学と呼ぶ。
概要
オイラー゠ラグランジュ方程式は、物理学における最大の指導原理の一つである最小作用の原理から導かれる。これは、運動エネルギーとポテンシャルエネルギーの差を与える関数をラグランジアンと呼び、ラグランジアンの時間積分を作用と呼ぶとき、物理現象は作用を最小化（厳密には極小化）するように動くことを主張する原理である。オイラー゠ラグランジュ方程式は、最小作用の原理を満たす物体の軌跡を変分法で求めることによって導出された方程式である。
最小作用の原理はもともとはニュートン力学（さらにさかのぼれば光学におけるフェルマーの原理）で発見されたものだが、電磁気学、相対性理論等でも成り立つ物理学の根本的な原理である。したがってそれらの分野においてもオイラー゠ラグランジュに相当する方程式を立式でき、その方程式はこれらの分野の基礎方程式[注釈 1]と等価になる[注釈 2]。このように最小作用の原理からオイラー゠ラグランジュ方程式に対応する式を得るという方針は、様々な基礎方程式に統一的な視点を与えることができる。
ニュートン力学の場合、ラグランジアンをルジャンドル変換することでハミルトニアン（エネルギーに対応する関数）が得られ、オイラー゠ラグランジュ方程式をハミルトニアンを使って書き直すことでハミルトンの正準方程式が得られる。これもニュートン力学における基本的な方程式の一つである。オイラー゠ラグランジュ方程式や正準方程式で記述したニュートン力学を解析力学という。なお、ニュートン力学以外の分野の場合、ラグランジアンからハミルトニアン（あるいはその逆）に容易に変換可能であるとは限らない。
また、新たな物理学の分野を探求する際、ラグランジアンやハミルトニアンを定義できれば、そこからオイラー゠ラグランジュ方程式や正準方程式に対応する方程式を定式化できることから、この方程式は未知の領域において基礎方程式を導出するための強力な手段となる。
一般化座標
ニュートンの方程式がデカルト座標を用いて運動を記述する必要があるのに対し、オイラー゠ラグランジュ方程式は任意の座標（一般化座標）を用いることができる。この点においてもオイラー゠ラグランジュ方程式の方がニュートンの方程式よりも本質的であることがわかる。[要出典]
またラグランジアンから一般化運動量、一般化力という、運動量と力を一般化した概念が定式化でき、これらを用いると、オイラー゠ラグランジュ方程式は一般化力（一般化運動量の時間微分）という形に書ける。ニュートンの運動方程式は、力（運動量の時間微分）であるので、オイラー゠ラグランジュ方程式はニュートンの運動方程式を一般化座標に拡張したものと捉えることもできる。
計算上の重要性
一般化座標を用いることができるという事実は、実際に運動を計算する際、有利に働く。例えば振り子の運動を考える場合、ニュートンの方程式ではデカルト座標を用いねばならない関係上、縦軸方向と横軸方向の2つの変数を必要とするため式が煩雑になるが、オイラー゠ラグランジュ方程式の場合は任意の座標系を用いることができるため、振り子の角度に着目することで、角度という1変数のみで運動を記述でき、より簡単な方程式が立てられる（ここでは振り子の長さは一定であると仮定している）。もちろんニュートン方程式で立式した後、極座標に変換すれば同一の式が得られるが、オイラー゠ラグランジュ方程式の利点はこのような煩雑な変換を施すことなく、角度に着目した方程式を最初から直接得られることにある。
数学における重要性
オイラー゠ラグランジュ方程式はシンプレクティック幾何学という、解析力学を起源とする数学の分野でも用いられる。またリーマン幾何学における測地線方程式は、曲線の長さをラグランジアンとした場合のオイラー゠ラグランジュ方程式である。なお、測地線は相対性理論では光の光路を表すので、これはフェルマーの原理の近代的な定式化になっている。
方程式の詳細
以上ではオイラー゠ラグランジュ方程式の物理学的な側面を説明したが、方程式そのものは物理学とは無関係に定式化できるので、まず物理学的な背景から離れて方程式を説明し、その後で方程式のニュートン力学的な解釈を説明する。
C1 級関数
ニュートン力学においては、関数 
オイラー＝ラグランジュ方程式と同じ種類の言葉
| 方程式に関連する言葉 | ディラック方程式(ディラックほうていしき) 線形方程式 オイラーラグランジュ方程式 多元方程式(たげんほうていしき) ドレイクの方程式 |
- オイラー＝ラグランジュ方程式のページへのリンク
