オイラー＝ラグランジュ方程式

**オイラー゠ラグランジュ方程式**（オイラーラグランジュほうていしき、）は、汎関数の停留値を与える関数を求める微分方程式である。オイラーとラグランジュらの仕事により1750年代に発展した。単に**ラグランジュ方程式**、または**ラグランジュの運動方程式**とも呼ばれる。まれに**オイラー方程式**と呼ばれることもあるが、完全流体に関する運動方程式の名もオイラー方程式であるので、注意する必要がある。

ニュートンの運動方程式をより数学的に洗練された方法で定式化しなおしたものであり、物理学上最も重要な方程式の一つである。オイラー゠ラグランジュ方程式を基礎方程式としたニュートン力学の定式化を**[[ラグランジュ力学|ラグランジュ形式]]の[[解析力学]]**と呼ぶ。

## 概要
オイラー゠ラグランジュ方程式は、物理学における最大の指導原理の一つである最小作用の原理から導かれる。これは、運動エネルギーとポテンシャルエネルギーの差を与える関数をラグランジアンと呼び、ラグランジアンの時間積分を作用と呼ぶとき、物理現象は作用を最小化（厳密には極小化）するように動くことを主張する原理である。オイラー゠ラグランジュ方程式は、最小作用の原理を満たす物体の軌跡を変分法で求めることによって導出された方程式である。

最小作用の原理はもともとはニュートン力学（さらにさかのぼれば光学におけるフェルマーの原理）で発見されたものだが、電磁気学、相対性理論等でも成り立つ物理学の根本的な原理である。したがってそれらの分野においてもオイラー゠ラグランジュに相当する方程式を立式でき、その方程式はこれらの分野の基礎方程式と等価になる。このように最小作用の原理からオイラー゠ラグランジュ方程式に対応する式を得るという方針は、様々な基礎方程式に統一的な視点を与えることができる。

ニュートン力学の場合、ラグランジアンをルジャンドル変換することでハミルトニアン（エネルギーに対応する関数）が得られ、オイラー゠ラグランジュ方程式をハミルトニアンを使って書き直すことでハミルトンの正準方程式が得られる。これもニュートン力学における基本的な方程式の一つである。オイラー゠ラグランジュ方程式や正準方程式で記述したニュートン力学を解析力学という。なお、ニュートン力学以外の分野の場合、ラグランジアンからハミルトニアン（あるいはその逆）に容易に変換可能であるとは限らない。

また、新たな物理学の分野を探求する際、ラグランジアンやハミルトニアンを定義できれば、そこからオイラー゠ラグランジュ方程式や正準方程式に対応する方程式を定式化できることから、この方程式は未知の領域において基礎方程式を導出するための強力な手段となる。

### 一般化座標
ニュートンの方程式がデカルト座標を用いて運動を記述する必要があるのに対し、オイラー゠ラグランジュ方程式は任意の座標（一般化座標）を用いることができる。

またラグランジアンから一般化運動量、一般化力という、運動量と力を一般化した概念が定式化でき、これらを用いると、オイラー゠ラグランジュ方程式は一般化力（一般化運動量の時間微分）という形に書ける。ニュートンの運動方程式は、力（運動量の時間微分）であるので、オイラー゠ラグランジュ方程式はニュートンの運動方程式を一般化座標に拡張したものと捉えることもできる。

### 計算上の重要性
一般化座標を用いることができるという事実は、実際に運動を計算する際、有利に働く。例えば振り子の運動を考える場合、ニュートンの方程式ではデカルト座標を用いねばならない関係上、縦軸方向と横軸方向の2つの変数を必要とするため式が煩雑になるが、オイラー゠ラグランジュ方程式の場合は任意の座標系を用いることができるため、振り子の角度に着目することで、角度という1変数のみで運動を記述でき、より簡単な方程式が立てられる（ここでは振り子の長さは一定であると仮定している）。もちろんニュートン方程式で立式した後、極座標に変換すれば同一の式が得られるが、オイラー゠ラグランジュ方程式の利点はこのような煩雑な変換を施すことなく、角度に着目した方程式を最初から直接得られることにある。

### 数学における重要性
オイラー゠ラグランジュ方程式はシンプレクティック幾何学という、解析力学を起源とする数学の分野でも用いられる。またリーマン幾何学における測地線方程式は、曲線の長さをラグランジアンとした場合のオイラー゠ラグランジュ方程式である。なお、測地線は相対性理論では光の光路を表すので、これはフェルマーの原理の近代的な定式化になっている。

## 方程式の詳細
以上ではオイラー゠ラグランジュ方程式の物理学的な側面を説明したが、方程式そのものは物理学とは無関係に定式化できるので、まず物理学的な背景から離れて方程式を説明し、その後で方程式のニュートン力学的な解釈を説明する。

C1 級関数

を考える。

としたとき、オイラー゠ラグランジュ方程式とは u(x) に関する以下の連立偏微分方程式のことである。
(u(x), \partial u(x), x)
 \right )= 0 \quad (i=1, \ldots, f) 
}}
ここで \partial u(x) は x による偏微分

を表す。

なお通常は記号を疎漏に用い、上の方程式を

と表記することが多い。この表記では F に代入される値としての u_i, \partial_\mu u_i が F の変数としての v_i, m_{i,\mu} と混用されている。

さらにベクトル表記により f 個の式を一括して
(u(x), \partial u(x), x)
 -\nabla\cdot \left(
 \frac{\partial F}{\partial(\nabla\boldsymbol{u})}(u(x), \partial u(x), x)
 \right )= 0
}}
とも書き表す。

## ニュートン力学との関係

ニュートン力学においては、関数 u_i は一般化座標 q_i であり、その変数は時間 t である。一般化座標の次元 f を系の（力学的な）自由度という。

関数 F はラグランジアン L がその役割を果たす。オイラー゠ラグランジュ方程式は

となる。なお、ドットは時間による微分を表す。この式を特に**ラグランジュの運動方程式**と呼ぶこともある。

一般化運動量は

で定義され、これを使うとオイラー゠ラグランジュ方程式は

と書き換えられる。上式右辺を一般化力と呼ぶことにすると、上述の方程式は「一般化運動量の微分＝一般化力」を意味する。

ニュートン方程式は「運動量の微分＝力」であったので、オイラー゠ラグランジュ方程式はニュートン方程式を一般化座標に拡張したものであるとみなすことができる。

### 具体例
3次元デカルト座標 \boldsymbol{x}=(x,y,z) の場合を考える。このとき時間微分 \dot{\boldsymbol{x}} = \boldsymbol{v} = (v_x, v_y, v_z) は速度である。また、ポテンシャルは速度には依らないものとする。

ラグランジアン L は『運動エネルギー - ポテンシャル』の形をしており、

である。

このとき、ラグランジュの運動方程式は
 = -\nabla V(\boldsymbol{x})
}}
となり、ニュートンの運動方程式に一致する。

## 導出
汎関数

を考える。

オイラー゠ラグランジュ方程式は適当な境界条件の下で汎関数の停留条件 \delta I[u] = 0 から導かれる。

停留条件を満たす解を u = \bar{u}(x) とする。積分領域の境界 \partial\Omega で 0 となる任意の関数 \delta(x) を考え、u_\epsilon(x) = \bar{u}(x) +\epsilon \delta(x) と書くことにする。このとき、停留条件は I[u_\epsilon]=I[\bar{u} +\epsilon \delta] を &epsilon; の関数としてみたときに

である。この微分を計算すると
(u_\epsilon, \partial u_\epsilon, x)
 \right\}\, d^dx \\
\end{align} 
}}
となるが、被積分関数の第二項を部分積分すると、

 (u_\epsilon, \partial u_\epsilon, x) \right]_{\partial_\Omega} \\
 &+\int_\Omega \delta_i(x) \left\{
 \frac{\partial F}{\partial v_i}(u_\epsilon, \partial u_\epsilon, x)
 -\frac{\partial}{\partial x^\mu} \left(
 \frac{\partial F}{\partial m_{i,\mu}}(u_\epsilon, \partial u_\epsilon, x)
 \right) \right\}\, d^dx \\
\end{align} 
}}
となる。積分領域の境界 \partial\Omega で \delta(x)=0 なので第一項は 0 となる。最終的に、
 (\bar{u}, \partial\bar{u}, x)
 \right) \right\}\, d^dx =0
}}
が得られる。この式が任意の \delta(x) について言えるには、括弧内が 0 でなければならない。

したがって、オイラー゠ラグランジュ方程式
(u, \partial u, x)
 \right) = 0
}}
が導かれる。

## 脚注
### 注釈

## 関連項目
*ラグランジュ力学
*ラグランジュ点