変分原理

**変分原理**（へんぶんげんり、）は、変分法を用いた物理学の原理。
特に、
* 幾何光学においては、フェルマーの原理
* 電磁気学におけるディリクレの原理
* 古典力学、電磁気学、量子力学などにおいては、作用次元を持つので、最小作用の原理という。

変分原理は積分の形で扱うので、座標系の取り方に依存しない。従って拡張性に優れ、いろいろな分野に応用、利用される。

## 古典力学
作用積分*S* を、

: S\left[q(t)\right] := \int_{t_1}^{t_2} L (q(t), \dot{q}(t),t) dt, 

とする。*L* はラグランジアン、*q*(*t*) は一般化座標、 \dot{q}(t) := dq(t)/dt  はその時間微分、すなわち一般化速度である。ここで、ある時刻*t*1、*t*2 において、*q*(*t*1)、*q*(*t*2) は固定されているとする。

この作用積分 *S* に対する変分原理は、作用積分に対する停留値問題を考えることであり、

: \delta S\left[q(t)\right] = \delta \int_{t_1}^{t_2} L (q(t), \dot{q}(t),t) dt = 0 

ということに相当する。
**変分**は、一般化座標 *q* を、

:q(t) \to q(t) + \delta q(t),

と時刻 *t* 上で *&delta;q* だけ微小変化させることに相当する。変分におけるこの微小変化は仮想的な変位を与えることであり、これは時間 *t* に対する微小変位 *dq* とは異なった概念である。*&delta;q* は元の経路 *q*(*t*) 近傍の別の（仮想的な）経路との差であり、他方、時間変化 *dq* は経路 *q* に沿った変化の大きさを表す。

一般化座標 *q* の微小変化 *&delta;q* について、始点 *t* =*t*1 と終点 *t* =*t*2 においては経路が固定されているので、

:\delta q(t_1) = \delta q(t_2) = 0

は常に満たされる。

一般化座標 *q* の表す経路の変化に伴い、一般化速度 \dot{q} も微小変化する。

:\dot{q}(t) \to \dot{q}(t) + \delta \dot{q}(t).

ここで、一般化速度の微小変化 \delta \dot{q}(t) は、ある時刻*t* における、二つの経路での一般化速度の差を表す。

:\delta \dot{q}(t) = \frac{d}{dt}\delta q(t).

作用積分の変分を計算すると、

:\begin{align}
\delta S\left[q(t)\right] &= S\left[q+\delta q\right] - S\left[q\right]\\
&= \int_{t_1}^{t_2} L(q(t) + \delta q(t), \dot{q}(t) + \delta \dot{q}(t),t) dt - \int_{t_1}^{t_2} L (q(t), \dot{q}(t),t) dt \\
&= \int_{t_1}^{t_2} \left[ 
L(q + \delta q, \dot{q} + \delta \dot{q},t) 
- \left\{ L(q, \dot{q} + \delta \dot{q},t) - L(q, \dot{q} + \delta \dot{q},t)\right\}
- L (q, \dot{q},t) \right] dt
,\end{align}

と変形できる。ここで \delta q および \delta \dot{q} は充分小さいので、積分中の第一項と第二項、第三項と第四項の組はそれぞれ偏微分の形に書き換えられ、

:\begin{align}
\delta S\left[q(t)\right] &= \int_{t_1}^{t_2} \left[ \frac{\partial L}{\partial q} \delta q + \frac{\partial L}{\partial \dot{q}} \delta \dot{q} \right] dt\\
&= \int_{t_1}^{t_2} \left[ 
\frac{\partial L}{\partial q} \delta q 
+ \frac{d}{dt}\left(\frac{\partial L}{\partial \dot{q}} \delta q\right) 
- \frac{d}{dt}\left(\frac{\partial L}{\partial \dot{q}}\right)\delta q 
\right] dt\\
&= \left. \frac{\partial L}{\partial \dot{q}}\delta {q} \right|_{t_1}^{t_2} + \int_{t_1}^{t_2} \left[ \frac{\partial L}{\partial q}  - \frac{d}{dt} \left( \frac{\partial L}{\partial \dot{q}} \right) \right] \delta q dt 
,\end{align}

となる。*&delta;q* (*t*1) = *&delta;q* (*t*2) = 0 から第一項は 0 となる。*q*(*t*) の任意の微小変化 *&delta;q*(*t*) に対して、作用積分の変分がゼロ *&delta;S* = 0 である条件として、

: \frac{\partial L}{\partial q}(q(t),\dot{q}(t),t) 
- \frac{d}{dt} \left( \frac{\partial L}{\partial \dot{q}}(q(t),\dot{q}(t),t) \right) = 0 ,

を得る。これはオイラー＝ラグランジュ方程式になっている。

同様にして変分原理を、幾何光学（光線光学）における光の反射や屈折の問題について適用すれば、フェルマーの原理が得られる。フェルマーの原理において、作用積分に対応するものは空間の 2 点間を結ぶ経路の光路長であり、ラグランジアンに対応するものは屈折率となる。

## 電磁気学
微分形のガウスの法則、

:\nabla\cdot\boldsymbol{E}(\boldsymbol{r}) = {\rho(\boldsymbol{r}) \over \varepsilon_0}

および静磁場におけるファラデーの電磁誘導の法則、

:\nabla\times\boldsymbol{E}(\boldsymbol{r})=\boldsymbol{0}

が成り立つ静電場について、電場 \boldsymbol{E}(\boldsymbol{r}) を静電ポテンシャル \phi(\boldsymbol{r}) で書き直せば、

:\boldsymbol{E}(\boldsymbol{r}) = -\nabla\phi(\boldsymbol{r})

次のポアソン方程式が得られる。

:0 = \nabla^2\phi(\boldsymbol{r}) + {\rho(\boldsymbol{r}) \over \varepsilon_0}.

ここで、\rho(\boldsymbol{r}) は位置 \boldsymbol{r} における電荷密度、\varepsilon_0 は国際単位系における真空の誘電率、\nabla^2 はラプラシアンを表す。

この方程式は、次の \phi(\boldsymbol{r}) の汎関数 F[\phi(\boldsymbol{r})] について変分原理を用いることでも得られる。

:F[\phi(\boldsymbol{r})] 
= \int_V \left\{
{1 \over 2}\left|\nabla\phi(\boldsymbol{r})\right|^2 
- {\rho(\boldsymbol{r}) \over \varepsilon_0} \phi(\boldsymbol{r})
\right\}dV.


積分中の項を \varepsilon_0 倍した、{\varepsilon_0 \over 2}\left|\nabla\phi(\boldsymbol{r})\right|^2 は静電場のエネルギー密度であり、\rho(\boldsymbol{r})\phi(\boldsymbol{r}) は電荷密度の位置エネルギーである。

境界上 \partial V で \delta \phi(\boldsymbol{r})=0 として、 汎関数 F[\phi(\boldsymbol{r})] の変分を考えると、

:\begin{align}
\delta F[\phi(\boldsymbol{r})] &= \int_V \left\{ 
{1 \over 2}\left|\nabla\left(\phi(\boldsymbol{r})+\delta\phi(\boldsymbol{r})\right)\right|^2 
- {\rho(\boldsymbol{r}) \over \varepsilon_0} \left(\phi(\boldsymbol{r})+\delta\phi(\boldsymbol{r})\right)
\right\}dV
- \int_V \left\{ {1 \over 2}
\left|\nabla\phi(\boldsymbol{r})\right|^2 
- {\rho(\boldsymbol{r}) \over \varepsilon_0} \phi(\boldsymbol{r})
\right\}dV\\
&= \int_V \left\{ 
{1 \over 2}\left(\nabla\phi(\boldsymbol{r})+\nabla\delta\phi(\boldsymbol{r})\right)
\cdot\left(\nabla\phi(\boldsymbol{r})+\nabla\delta\phi(\boldsymbol{r})\right) 
- {\rho(\boldsymbol{r}) \over \varepsilon_0} \delta\phi(\boldsymbol{r})
- {1 \over 2}\left|\nabla\phi(\boldsymbol{r})\right|^2 
\right\}dV\\
&= \int_V \left\{ 
{1 \over 2}\left(
\left|\nabla\phi(\boldsymbol{r})\right|^2
+ 2\nabla\delta\phi(\boldsymbol{r}) \cdot \nabla\phi(\boldsymbol{r}) 
+ \left|\nabla\delta\phi(\boldsymbol{r})\right|^2
\right)
- {\rho(\boldsymbol{r}) \over \varepsilon_0} \delta\phi(\boldsymbol{r})
- {1 \over 2}\left|\nabla\phi(\boldsymbol{r})\right|^2 
\right\}dV\\
&= \int_V \left\{
\nabla \delta \phi(\boldsymbol{r}) \cdot \nabla \phi(\boldsymbol{r}) 
- {\rho(\boldsymbol{r}) \over \varepsilon_0} \delta \phi(\boldsymbol{r})
\right\}dV
\end{align}

と変形できる。ここで、\delta \phi(\boldsymbol{r}) の二次の項は無視した。ナブラの積の規則より、次の式が成り立つから、

:\nabla \delta\phi \cdot \nabla \phi = \nabla\cdot(\delta\phi \nabla \phi) - \delta\phi \nabla^2 \phi

変分は、

:\begin{align}
\delta F[\phi(\boldsymbol{r})] &= \int_V \left\{
\nabla\cdot\left(\delta\phi(\boldsymbol{r}) \nabla \phi(\boldsymbol{r})\right) 
- \delta\phi(\boldsymbol{r}) \nabla^2 \phi(\boldsymbol{r})
- {\rho(\boldsymbol{r}) \over \varepsilon_0} \delta\phi(\boldsymbol{r})
\right\}dV\\
&= \int_{\partial V}\delta\phi(\boldsymbol{r}) \nabla \phi(\boldsymbol{r}) \cdot d\boldsymbol{S}
- \int_V \left\{
\nabla^2 \phi(\boldsymbol{r})
+ {\rho(\boldsymbol{r}) \over \varepsilon_0} 
\right\}\delta\phi(\boldsymbol{r}) dV\\
&= - \int_V \left\{
\nabla^2 \phi(\boldsymbol{r})
+ {\rho(\boldsymbol{r}) \over \varepsilon_0} 
\right\}\delta\phi(\boldsymbol{r}) dV
\end{align}

となる。ここで、ガウスの発散定理および境界上 \partial V で静電ポテンシャルの変分 \delta \phi(\boldsymbol{r}) がゼロであることを使った。

このことから、汎関数 F[\phi(\boldsymbol{r})] の変分が任意の \delta \phi(\boldsymbol{r}) に対しゼロになる条件は、
:
\delta F[\phi(\boldsymbol{r})] = - \int_V \left\{
\nabla^2 \phi(\boldsymbol{r})
+ {\rho(\boldsymbol{r}) \over \varepsilon_0} 
\right\}\delta\phi(\boldsymbol{r}) dV = 0


関数 \phi(\boldsymbol{r}) が領域 V 上でポアソン方程式、

:\nabla^2 \phi(\boldsymbol{r}) + {\rho(\boldsymbol{r}) \over \varepsilon_0} = 0

を満たすことであることが確認できる。

## 量子力学
### リッツの変分原理
ここでは**リッツの変分原理** (Ritz variational principle) の応用として、変分原理を用いた基底状態の波動関数の近似について述べる。

ハミルトニアン \hat{H} の固有状態で、固有値が最小のものを基底状態と呼ぶ。すなわち基底状態は以下の固有値方程式を満たす。
:\hat{H}|\psi_0\rangle =E_0|\psi_0\rangle.
ここで E_0 は基底状態の固有値であり、ハミルトニアンの固有値は系の固有状態のエネルギーを表す。このハミルトニアンについて次のことが言える。

「適当な境界条件を持つ任意の状態 |\Psi\rangle に対するハミルトニアン \hat{H} の期待値 E は、基底状態のエネルギー E_0 よりも常に大きいか等しい。
:E[\Psi]
=\frac{\left\langle \Psi\right|\hat{H}\left| \Psi \right\rangle}
{\left\langle \Psi | \Psi \right\rangle}
 \geq E_0.
等号は |\Psi\rangle が基底状態 |\psi_0\rangle である場合に成り立つ」。

このことは、ハミルトニアン \hat{H} のエルミート性より、任意の状態がエネルギー固有状態の線形結合で表せることから示される。ハミルトニアンの固有状態 |\psi_\lambda\rangle は以下の固有値方程式を満たす。

:\hat{H}|\psi_\lambda\rangle =E_\lambda|\psi_\lambda\rangle.

エネルギー固有状態を基底として状態 |\Psi\rangle を展開すれば、適当な複素数係数を用いて次のように表される。

:|\Psi\rangle =\sum_\lambda c_\lambda|\psi_\lambda\rangle.

このときハミルトニアンの期待値は、
:\begin{align}
E[\Psi]&=\frac{\left\langle \Psi\right|\hat{H}\left| \Psi \right\rangle}
{\left\langle \Psi | \Psi \right\rangle}\\
&=\frac{\sum_{\lambda}\sum_{\lambda'}\left\langle \psi_\lambda\right|c^*_\lambda\hat{H}c_{\lambda'}\left| \psi_{\lambda'} \right\rangle}
{\sum_{\lambda}\sum_{\lambda'}\left\langle \psi_\lambda\right|c^*_\lambda c_{\lambda'}\left| \psi_{\lambda'} \right\rangle}\\
&=\frac{\sum_{\lambda}E_\lambda\left|c_\lambda\right|^2 \langle \psi_\lambda|\psi_\lambda\rangle}
{\sum_{\lambda}\left|c_\lambda\right|^2\langle \psi_\lambda|\psi_\lambda\rangle}
.\end{align}

となる。ここで固有状態の直交性を用いた。
:\langle \psi_\lambda|\psi_{\lambda'} \rangle = 0 ,\quad \lambda\neq\lambda'. 

エネルギー固有値について、不等式 E_\lambda \geq E_0 が成り立つので、分子の固有値をすべて基底状態の固有値に置き換えれば、
:
E[\Psi]=\frac{\sum_{\lambda}E_\lambda\left|c_\lambda\right|^2 \langle \psi_\lambda|\psi_\lambda\rangle}
{\sum_{\lambda}\left|c_\lambda\right|^2\langle \psi_\lambda|\psi_\lambda\rangle}
\geq
\frac{\sum_{\lambda}E_0\left|c_\lambda\right|^2 \langle \psi_\lambda|\psi_\lambda\rangle}
{\sum_{\lambda}\left|c_\lambda\right|^2\langle \psi_\lambda|\psi_\lambda\rangle}
=E_0.

ハミルトニアンの期待値と基底状態のエネルギーに関する不等式が得られる。

この原理によって、任意の状態 |\Psi\rangle に対するハミルトニアンの期待値 E[\Psi] の最小値が基底状態のエネルギー E_0 である事が保証され、そのときの状態 |\Psi\rangle が基底状態 |\psi_0\rangle であると言える。そのため、もしも基底状態とそのときのエネルギー値を求めたいのであれば、変分法によって |\Psi\rangle の汎関数  E[\Psi]  の停留値を求めればよい事になる。変分原理を利用したこの手法を指して「変分原理」と言われる事も多い。

E[\Psi] の停留値問題は次のようなものになる。

: \delta E[\Psi] = \delta \left(\frac{\langle\Psi|\hat{H}|\Psi\rangle}{\langle\Psi|\Psi\rangle}\right) = 0. 

|\Psi\rangle を適当な試行関数 \left\{|\phi_\lambda\rangle\right\} で表せば、

:|\Psi\rangle = \sum_\lambda c_\lambda |\phi_\lambda\rangle

E[\Psi] の変分は、パラメーター \left\{c_\lambda\right\} の変分で表される。

:\begin{align}
\delta E[\Psi] &= \delta \left(\frac{\langle\Psi|\hat{H}|\Psi\rangle}{\langle\Psi|\Psi\rangle}\right)\\
&= \delta \left(\frac{\sum_\lambda\sum_{\lambda'}c^*_\lambda c_{\lambda'}\langle \phi_\lambda|\hat{H}|\phi_{\lambda'}\rangle}
{\sum_\lambda\sum_{\lambda'}c^*_{\lambda}c_{\lambda'}\langle\phi_{\lambda}|\phi_{\lambda'}\rangle}\right)
.\end{align}

ここでハミルトニアンの |\phi\rangle 表示における行列成分を H_{\lambda,\lambda'} := \langle\phi_\lambda|\hat{H}|\phi_{\lambda'}\rangle 、試行関数の内積を \Phi_{\lambda,\lambda'} := \langle\phi_{\lambda}|\phi_{\lambda'}\rangle とそれぞれ表すことにすると、次のようになる。

:\begin{align}
\delta E[\Psi]&= \delta \left(\frac{\sum_\lambda\sum_{\lambda'}c^*_\lambda c_{\lambda'}H_{\lambda,\lambda'}}
{\sum_\lambda\sum_{\lambda'}c^*_{\lambda}c_{\lambda'}\Phi_{\lambda,\lambda'}}\right).\end{align}

この変分が任意のパラメーターの変分 \left\{\delta c^*_{\lambda}\right\} に対してゼロになることは、各パラメーター \left\{c^*_{\lambda}\right\} の偏微分がゼロになることと同じなので、

:\begin{align}
\frac{\partial E}{\partial c^*_{\lambda}}
&= \frac{\partial}{\partial c^*_{\lambda}}\left(\frac{\sum_{\lambda'}\sum_{\lambda*}c^*_{\lambda'} c_{\lambda*}H_{\lambda',\lambda*}}
{\sum_{\lambda'}\sum_{\lambda*}c^*_{\lambda'}c_{\lambda*}\Phi_{\lambda',\lambda*}}\right)\\
&= \frac{\sum_{\lambda*}c_{\lambda*} H_{\lambda,\lambda*}}
{\sum_{\lambda'}\sum_{\lambda*}c^*_{\lambda'}c_{\lambda*}\Phi_{\lambda',\lambda*}}
- \frac{\sum_{\lambda'}\sum_{\lambda*}c^*_{\lambda'}c_{\lambda*}  H_{\lambda',\lambda*}}
{\sum_{\lambda'}\sum_{\lambda*}c^*_{\lambda'}c_{\lambda*}\Phi_{\lambda',\lambda*}}
\frac{\sum_{\lambda*}c_{\lambda*} \Phi_{\lambda,\lambda*}}
{\sum_{\lambda'}\sum_{\lambda*}c^*_{\lambda'}c_{\lambda*}\Phi_{\lambda',\lambda*}}\\
&=\frac{\sum_{\lambda'}c_{\lambda'}\left(H_{\lambda,\lambda'}-E\Phi_{\lambda,\lambda'}\right)}
{\sum_{\lambda'}\sum_{\lambda*}c^*_{\lambda'}c_{\lambda*}\Phi_{\lambda',\lambda''}}=0
.\end{align}

より、次の式を得る。
:\sum_{\lambda'}\left(H_{\lambda,\lambda'}-E\Phi_{\lambda,\lambda'}\right)c^*_{\lambda'}=0.

この斉次方程式が非自明な解を持つためには、ベクトル \boldsymbol{c} にかかる行列 \mathrm{H}-E\mathrm{\Phi} のディターミナントがゼロでなければならない。

:\det\left[\mathrm{H}-E\mathrm{\Phi}\right]=0.

### ギブズの変分原理
平衡状態において密度行列について変分を考えるギブズの変分原理がある。

## 脚注

### 注釈


## 関連記事
*変分法
*物理学