エネルギー保存の法則

**エネルギー保存の法則**（エネルギーほぞんのほうそく、）とは、「孤立系のエネルギーの総量は変化しない」という物理学における保存則の一つである。**エネルギー保存則**とも呼ばれる。

## 概要

任意の異なる二つの状態について、それらのエネルギー総量の差がゼロであることをいう。

例えば、取り得る状態が全て分かっているとして、全部で  つの状態があったとき、それらの状態のエネルギーを  と表す。

エネルギー保存の法則が成り立つことは、それらの差について、
: 
が成り立っていることをいう。

時間が導入されている場合には、任意の時刻でエネルギー総量の時間変化量がゼロであることをいい、時間微分を用いて表現される。

エネルギー保存の法則は、物理学の様々な分野で扱われる。特に、熱力学におけるエネルギー保存の法則は**[[熱力学第一法則]]** () と呼ばれ、熱力学の基本的な法則となっている。 

熱力学第一法則は、熱力学において基本的な要請として認められるものであり、あるいは熱力学理論を構築する上で成立すべき定理の一つである。第一法則の成立を前提とする根拠は、一連の実験や観測事実のみに基づいており、この意味で第一法則はいわゆる経験則であるといえる。

一方でニュートン力学や量子力学など一般の力学において、エネルギー保存の法則は必ずしも前提とされない。

## 歴史

### 概要

ルネ・デカルトやゴットフリート・ライプニッツが、それぞれの仕方でこれを主張し、それぞれの支持者によって議論が長年に渡り行われた。

19世紀の中ごろ、ユリウス・ロベルト・フォン・マイヤー、ジェームズ・プレスコット・ジュール、ヘルマン・フォン・ヘルムホルツらによって、「力学的・熱・化学・電気・光などのエネルギーは、それぞれの形態に移り変わるが、エネルギーの総和は変化しない（保存される）」と主張された。

20世紀にアルベルト・アインシュタインによって、質量とエネルギーの等価性という考え方が提唱され、別の形での保存が主張されたが、その有効性や有効範囲については、疑問視されることも多かった。

現在ではエネルギー保存の法則は、しばしば「最も基本的な物理法則の一つ」と考えられている。多くの物理学者が、自然はこの法則にしたがっているはずだ、と信じているのである。

### 活力論争
ルネ・デカルトは、1644年に出版した自身の著作『哲学の原理』 で、宇宙において***quantitas motus***（運動の量）の総和が保たれている、と主張した。

デカルトが主張した （, 運動の量）という概念は、現代の運動量とある程度似てはいるが、厳密には異なる概念である。デカルトは「質量」という概念を持っていなかったし、デカルトは速度の大きさだけを重視し、向きが変わることについては考慮していなかった。したがって、デカルトの  を現代の運動量に対応する量と見なすことはできない。

ゴットフリート・ライプニッツは、運動の量というのを初めて数式で表現してみようと試みたが、デカルトとは異なって  の総和が保存されている、と主張した。ライプニッツはこの量を （, 活力）と呼んだ。この  という概念は、釣り合いなどの場面で想定される動きとしては見えない （, 潜在的な力）と対比しつつ置かれた概念である。

デカルトの考え方を支持する人々と、ライプニッツの考え方を支持する人々で議論が起こるようになった。これを「活力論争 」という。議論は長年に渡って続いた。18世紀半ばになって、ジョゼフ＝ルイ・ラグランジュやジャン・ル・ロン・ダランベールらが、両概念の明確化を試み、それらを区別したことによって、ようやく論争は沈静化した。

### 「エネルギー」の定義
1807年にトマス・ヤングは、 という用語で表されていた運動の概念を、 と呼んだ。 はギリシア語の  （, エネルゲイア）という語を基にした造語である。ギリシャ語の  というのは語の構成としては  +   であり、  は「仕事」、&mdash;  は「～の状態」という意味である。よって「仕事をしている状態」といったような意味である。アリストテレスの哲学において  は、ものが持つ「可能態」の中から現実化された「現実態」を意味する。つまり、 という用語を用いている背景には、眼には見えない「活力」が具体的な「仕事」に変化したのだ、という発想がある。

ヤングが  という用語を用いたからといって、それが人々にすぐに用いられるようになったわけでもなく、人々の間に定着するようになったのは、あくまで後のことである。 相当の概念は、19世紀半ばでもしばしば、英語圏では  と呼ばれていたし、ドイツ語圏では  と呼ばれていた。

現代的な意味で  の語が用いられるようになったのは、ヤングより後のことで、1850年頃にウィリアム・トムソンによって （運動エネルギー）、1853年にウィリアム・ランキンによって （位置エネルギー）の語が定義された。

### 19世紀前半のドイツ自然哲学
19世紀前半のドイツの自然哲学では、「破壊されることもなく、形態が様々に変換する根源的な何か」を （力）と呼んでいた。この自然哲学の概念は、現在の「エネルギー保存の法則」という概念の成立に大きな影響を与えている。

### 力学的仕事と熱に関する保存則の発見

19世紀の中ごろ、ロベルト・マイヤー、ジェームズ・プレスコット・ジュール、ヘルマン・フォン・ヘルムホルツらが、それぞれ独立して「エネルギー保存の法則」という考え方に辿りついた。

マイヤーは、ドイツの医者で、船医としてジャワ島に行った時に熱量とエネルギーとの関係を考察するようになった。船が熱帯を航海すると水夫らの静脈の血液の赤みが増すことに気付き、気温が上昇したことで体温維持のために酸素が使われる量が減るのだ、と解釈した。

そして1842年、「熱」と「仕事」の関係に関する論文 **'を発表した。

ジュールは1843年に[[熱の仕事当量]]の[[測定]]を行い、その後も様々な方法で熱の仕事当量を計測した。

ヘルムホルツは、[[ニコラ・レオナール・サディ・カルノー|サディ・カルノー]]や[[エミール・クラペイロン]]、ジュールらの仕事について整理し、1847年に著した **'で様々な状況でエネルギー保存の法則が成り立つことを示した。

マイヤーやジュールが熱の仕事当量に関する考察をした頃は、1798年のベンジャミン・トンプソン（ランフォード伯）による指摘などがあったものの、アントワーヌ・ラヴォアジエとピエール＝シモン・ラプラスに始まるカロリック説が有力であり、熱は物質であると見なされ、熱は単独で保存されると考えられていた。そのため、熱が仕事に変わり得ることの発見とその事実の定量的評価をすることは、熱力学第一法則を構成する上で重要な仕事だった。

1850年、ルドルフ・クラウジウスは論文 **'の中で熱力学第一法則について完全な形で述べた。



=== 質量とエネルギーの等価性 ===
1905年に[[アルベルト・アインシュタイン]]は、[[:en:Annus Mirabilis papers|Annus Mirabilis papers]] の一つの **'において、質量とエネルギーが交換可能なのではないか、という提案を行った。これをきっかけとして、物理学が大きく変容していくことになった。「エネルギー」や「物質」という概念自体が大きく変わっていくことになったのである。

特殊相対性理論において、質量はエネルギーの一形態であり、E=mc² という式の関係が成り立っている。したがって相対論の立場では、エネルギー保存の法則は「質量を含めたエネルギーの総和が保存されている」という主張になる。

他の物理学の様々な主張同様に、このアインシュタインの主張も最初は受け入れられなかったり疑問視されたが、原子核反応や電子対生成などの実験において成立していることが確認されると、アインシュタインの考えが次第に受け入れられるようになっていった。

なおそれに伴って、「質量保存の法則は（厳密に言えば）成り立っていない」と考えられるようになった。特に、原子核反応を扱う場合においては、質量のエネルギーへの変換は無視できないほど大きく、質量は保存されていない、として計算するようになっている。

ただし、この法則を一応受け入れるとしても、一体どの程度まで受け入れてよいのかということについて見解はバラバラであった。例えばニールス・ボーアは、ベータ崩壊をエネルギー保存の法則が成立していない事例だと考えていた。

ただしそのような状況の中で、1932年にヴォルフガング・パウリとエンリコ・フェルミが、ベータ崩壊の事例でも、仮にエネルギー保存の法則が成立していると仮定して計算したところ、中性の粒子が存在しているだろう、と予想することができた。彼らはその粒子の存在を主張したものの具体的な物証は無く、長らく認められなかったが、1956年になり実験によってその粒子（ニュートリノ）が確認された。この出来事によって、有効範囲については疑問視されることも多かったものの、エネルギー保存の法則が成り立つと仮定してみることが、科学的発見につながるひとつの指針にもなり得ることが知られるようになった。

## 対称性
1918年、エミー・ネーターは論文 **'を出版した。この論文の中で、ネーターが1915年に得た、今日[[ネーターの定理]]と呼ばれる[[定理]]の[[証明 (数学)|証明]]が与えられた。ネーターの定理から、[[最小作用の原理#量子力学における最小作用の原理|作用積分]]が不変であるような無限小変換が存在する場合、系はその変換に対して対称であるという。このとき系の対称性に対応した量が保存する。特にエネルギー保存の法則は、**時間の並進対称性**に対応していることが知られる。

== 各分野において ==
=== 熱力学 ===

[[熱力学]]におけるエネルギー保存の法則は、熱力学第一法則である。熱力学第一法則は次のように表現される。
:<math>dU = \delta Q - \delta W.</math>
ここで  は系の[[内部エネルギー]]  の変化量、 は系に与えられた[[熱|熱量]]、 は系から取り出された[[仕事 (物理学)|仕事]]を表す（ は[[完全微分]]を、 はを表す）。仕事は熱力学的系に繋がっている力学的系へのエネルギーの移動を表し、熱はそれ以外の熱力学的系へのエネルギーの移動を表している。

熱力学第一法則は、エネルギーがひとりでに消えたり生じたりすることはない、という経験的事実を法則化したものであり、上述の定式化では、エネルギーの変化が熱と仕事の和として与えられることで表現されている。

熱力学において第一法則は、上式を満たす[[状態量]]（すなわち系に対する操作の方法や途中経過に依存しない量）  が存在することを主張する法則とみなされている。

=== 古典力学 ===
[[古典力学]]におけるエネルギー保存の法則は、[[力学的エネルギー]]保存の法則と呼ばれる。力学的エネルギーは[[位置エネルギー]]と[[運動エネルギー]]に分類され、それらの和が一定であることをいう。

====一粒子系での力学的エネルギー保存の法則====
以下に一粒子系の場合についての力学的エネルギー保存の法則を述べる。

一粒子の運動について、粒子に働く力 <math>\boldsymbol{F}(\boldsymbol{r}(t),t)</math> が[[ポテンシャル]] <math>V(\boldsymbol{r}(t))</math> を用いて、

:<math>\boldsymbol{F}(\boldsymbol{r}(t),t) = -\nabla V(\boldsymbol{r}(t)) + \boldsymbol{f}(t)</math>

と表される場合について、ニュートン力学の[[運動の第2法則]]、

:<math>m\frac{d^2\boldsymbol{r}}{dt^2}(t)=\boldsymbol{F}(\boldsymbol{r}(t),t)</math>

より次の[[運動方程式]]が得られる。

:<math>m\frac{d^2\boldsymbol{r}}{dt^2}(t)=-\nabla V(\boldsymbol{r}(t)) + \boldsymbol{f}(t).</math>

ここで、<math>m</math> は[[質量]]、<math>\boldsymbol{r}</math> は粒子の位置、<math>t</math> は時刻をそれぞれ表し、[[ナブラ]] <math>\nabla</math> とポテンシャル <math>V</math> の積 <math>\nabla V</math> はポテンシャルの[[勾配_(ベクトル解析)|勾配]]を意味する。

:<math>\nabla V(\boldsymbol{r}(t)) = \left(
\frac{\partial}{\partial x}V(\boldsymbol{r}(t)),
\frac{\partial}{\partial y}V(\boldsymbol{r}(t)),
\frac{\partial}{\partial z}V(\boldsymbol{r}(t))
\right)^T.</math>

このとき仕事は、

:<math>\begin{align}
W(t_1,t_2) &= \int_{t_1}^{t_2}\boldsymbol{F}(\boldsymbol{r}(t),t) \cdot d\boldsymbol{r}(t)\\
&= \int_{t_1}^{t_2}\left\{-\nabla V(\boldsymbol{r}(t))+\boldsymbol{f}(t)\right\}\cdot d\boldsymbol{r}(t)
\end{align}</math>

と <math>\boldsymbol{r}(t)</math> についての[[線積分#場の線積分|線積分]]で表される。ここで中黒 '・' は[[ベクトル空間]]の[[内積]]を意味する。線積分を時間についての積分に直せば、

:<math>\begin{align}
W(t_1,t_2) &= -\int_{t_1}^{t_2}\nabla V(\boldsymbol{r}(t))\cdot d\boldsymbol{r}(t)
+\int_{t_1}^{t_2}\boldsymbol{f}(t) \cdot d\boldsymbol{r}(t)\\
&= -\int_{t_1}^{t_2}\left\{
\frac{\partial V(\boldsymbol{r}(t))}{\partial x}\frac{dx(t)}{dt}
+\frac{\partial V(\boldsymbol{r}(t))}{\partial y}\frac{dy(t)}{dt}
+\frac{\partial V(\boldsymbol{r}(t))}{\partial z}\frac{dz(t)}{dt}
\right\}dt
+\int_{t_1}^{t_2}\boldsymbol{f}(t) \cdot d\boldsymbol{r}(t),
\end{align}</math>

となるので、ポテンシャルの時間についての[[全微分]]、

:<math>
\frac{dV}{dt}(\boldsymbol{r}(t)) = \left\{
\frac{dx(t)}{dt}\frac{\partial}{\partial x}
+\frac{dy(t)}{dt}\frac{\partial}{\partial y}
+\frac{dz(t)}{dt}\frac{\partial}{\partial z}
\right\}V(\boldsymbol{r}(t))
</math>

を用いて、

:<math>\begin{align}
W(t_1,t_2) &=-\int_{t_1}^{t_2}\frac{d V(\boldsymbol{r}(t))}{dt}dt
+\int_{t_1}^{t_2}\boldsymbol{f}(t) \cdot d\boldsymbol{r}(t)\\
&=-\left\{V(\boldsymbol{r}(t_2))-V(\boldsymbol{r}(t_1))\right\}
+\int_{t_1}^{t_2}\boldsymbol{f}(t) \cdot d\boldsymbol{r}(t)
\end{align}</math>

と書ける。もし、粒子が受ける力がポテンシャルのみによる場合、<math>\boldsymbol{f}(t)</math> は存在しないので、粒子に与えられた仕事 <math>W(t_1,t_2)</math> はポテンシャルの差 <math>-\left\{V(\boldsymbol{r}(t_2))-V(\boldsymbol{r}(t_1))\right\}</math> に等しい。このときポテンシャル　<math>V(\boldsymbol{r}(t))</math> は位置エネルギーと呼ばれる。

再び仕事の定義に戻ると、粒子の運動方程式より、次のように書き換えられる。

:<math>\begin{align}
W(t_1,t_2) &= \int_{t_1}^{t_2}\boldsymbol{F}(\boldsymbol{r}(t),t) \cdot d\boldsymbol{r}(t)\\
&= \int_{t_1}^{t_2}m\frac{d^2}{dt^2}\boldsymbol{r}(t) \cdot d\boldsymbol{r}(t)\\
&= m\int_{t_1}^{t_2}\frac{d^2}{dt^2}\boldsymbol{r}(t) \cdot \frac{d\boldsymbol{r}(t)}{dt}dt
\end{align}</math>

ここで、ベクトルの内積の微分について、

:<math>\begin{align}
\frac{d}{dt}\left(\boldsymbol{u}(t) \cdot \boldsymbol{v}(t)\right)
&= \sum_{\alpha = x,y,z}\frac{d}{dt}\left(u_\alpha(t)v_\alpha(t)\right)\\
&= \sum_{\alpha = x,y,z}\left(\frac{du_\alpha(t)}{dt}v_\alpha(t)+u_\alpha(t)\frac{dv_\alpha(t)}{dt}\right)\\
&= \frac{d\boldsymbol{u}(t)}{dt}\cdot\boldsymbol{v}(t) + \boldsymbol{u}(t)\cdot\frac{d\boldsymbol{v}(t)}{dt}
\end{align}</math>

という公式が成り立つので、

:<math>\begin{align}
W(t_1,t_2) &= m\int_{t_1}^{t_2}\frac{d^2}{dt^2}\boldsymbol{r}(t) \cdot \frac{d\boldsymbol{r}(t)}{dt}dt\\
&= m\int_{t_1}^{t_2}\left\{\frac{d}{dt}\left(\frac{d\boldsymbol{r}(t)}{dt} \cdot \frac{d\boldsymbol{r}(t)}{dt}\right)
-\frac{d\boldsymbol{r}(t)}{dt} \cdot \frac{d^2\boldsymbol{r}(t)}{dt^2}\right\}dt\\
&= \frac{1}{2}m\int_{t_1}^{t_2}\frac{d}{dt}\left(\frac{d\boldsymbol{r}(t)}{dt} \cdot \frac{d\boldsymbol{r}(t)}{dt}\right)dt\\
&=\frac{1}{2}m\left|\frac{d\boldsymbol{r}(t_2)}{dt}\right|^2 - \frac{1}{2}m\left|\frac{d\boldsymbol{r}(t_1)}{dt}\right|^2
\end{align}</math>

が得られる。ここで得られた[[関数 (数学)|関数]] <math>\frac{1}{2}m\left|\frac{d\boldsymbol{r}(t)}{dt}\right|^2</math> は粒子の運動エネルギーと呼ばれ、この差分は粒子になされた仕事を表す。

ポテンシャルと仕事、運動エネルギーと仕事の関係をそれぞれ見比べると、

:<math>\begin{align}
-\left\{V(\boldsymbol{r}(t_2))-V(\boldsymbol{r}(t_1))\right\}+\int_{t_1}^{t_2}\boldsymbol{f}(t) \cdot d\boldsymbol{r}(t)
&=\frac{1}{2}m\left|\frac{d\boldsymbol{r}(t_2)}{dt}\right|^2 - \frac{1}{2}m\left|\frac{d\boldsymbol{r}(t_1)}{dt}\right|^2\\
\int_{t_1}^{t_2}\boldsymbol{f}(t) \cdot d\boldsymbol{r}(t) 
&= \left\{\frac{1}{2}m\left|\frac{d\boldsymbol{r}(t_2)}{dt}\right|^2 + V(\boldsymbol{r}(t_2))\right\}
- \left\{\frac{1}{2}m\left|\frac{d\boldsymbol{r}(t_1)}{dt}\right|^2 + V(\boldsymbol{r}(t_1))\right\}
\end{align}</math>

という等式が得られる。<math>\boldsymbol{f}(t)</math> を粒子に対する力学的な操作によって生じる力だとすれば、それがなす仕事は操作の前後での粒子の力学的エネルギー、すなわち粒子の位置エネルギーと運動エネルギーの和、の差に等しい。特に、外部から力学的操作を行わない場合には、粒子にはポテンシャルによる力しか働かないので、系の力学的エネルギーは保存されることになる。また、操作の前後で粒子の速度を変えないようにすれば、操作の前後では粒子の運動エネルギーが変化しないので、外部から与えられた仕事は粒子のポテンシャルの差に等しくなる。

こうして得られた等式が成り立つことを、力学的エネルギー保存の法則と呼ぶ。保存則が成り立っているかどうかは系の設定により、外界の力学的エネルギーを考慮しない場合には、保存則は成り立たないが、外界の力学的エネルギーを考慮するのであれば、外界への仕事を付け加える形で、保存則が成立する。

外界に及ぼされる力は <math>-\boldsymbol{f}(t)</math> で表され、[[摩擦]]などによる[[抗力]]を考える場合には、粒子の[[速度]]の関数になる。

====多粒子系での力学的エネルギー保存の法則====
以上のことは多粒子系の場合にも成り立つ。一粒子系の場合との変更点は、各粒子に対して力と運動方程式が与えられることと、ポテンシャルがすべての粒子の位置の関数になることである。以下に''N'' 個の粒子がある場合について示す。

力：
:<math>\boldsymbol{F}_i(\{\boldsymbol{r}(t)\},t) = -\nabla_i V(\{\boldsymbol{r}_i(t)\}) + \boldsymbol{f}_i(t) \quad (i=1,\dots,N).</math>
運動方程式：
:<math>m_i\frac{d^2\boldsymbol{r}_i}{dt^2}(t) = \boldsymbol{F}_i(\{\boldsymbol{r}(t)\},t)  \quad (i=1,\dots,N).</math>

ナブラ <math>\nabla_i</math> は、粒子 <math>i</math> の位置に対する偏微分を表し、ポテンシャルの勾配は次のように変更される。

:<math>\nabla_i V(\{\boldsymbol{r}_i(t)\}) = \left(
\frac{\partial}{\partial x_i}V(\{\boldsymbol{r}_i(t)\}),
\frac{\partial}{\partial y_i}V(\{\boldsymbol{r}_i(t)\}),
\frac{\partial}{\partial z_i}V(\{\boldsymbol{r}_i(t)\})
\right)^T  \quad (i=1,\dots,N).</math>

また、ポテンシャルの時間微分は、それぞれの粒子の速度と粒子が感じるポテンシャルの勾配の内積をすべて足しあわせたものになる。
:<math>\frac{dV}{dt}(\{\boldsymbol{r}_i(t)\}) = \sum_{i=1}^N \frac{d\boldsymbol{r}_i(t)}{dt}\cdot\nabla_i V(\{\boldsymbol{r}_i(t)\}).</math>

系になされる仕事は、各粒子に対する仕事の和になる。
:<math>W(t_1,t_2) = \sum_{i=1}^N \int_{t_1}^{t_2} \boldsymbol{F}_i(\{\boldsymbol{r}_i(t)\},t) \cdot d\boldsymbol{r}_i(t).</math>

以上のことから、力学的エネルギー保存の法則は次のように表される。
:<math>
\sum_{i=1}^N \int_{t_1}^{t_2} \boldsymbol{f}_i(t) \cdot d\boldsymbol{r}_i(t)
= \left\{V(\{\boldsymbol{r}_i(t_2)\}) + \sum_{i=1}^N \left(\frac{1}{2}m_i\left|\frac{d\boldsymbol{r}_i(t_2)}{dt}\right|^2 \right)\right\}
- \left\{V(\{\boldsymbol{r}_i(t_1)\}) + \sum_{i=1}^N \left(\frac{1}{2}m_i\left|\frac{d\boldsymbol{r}_i(t_1)}{dt}\right|^2 \right)\right\}.
</math>

一粒子の場合と異なり、各粒子の運動エネルギーの総和と系のポテンシャルの和が系の力学的エネルギーの役割を果たしている。

=== 量子力学 === 
[[量子力学]]においてもエネルギー保存の法則は厳密に成立する。量子力学において、あらゆる物理量はそれに対応する[[エルミート作用素|エミルート作用素]]として定義される。閉じた系のエネルギーを与える[[作用素 (関数解析学)|作用素]]は、古典力学の[[ハミルトニアン#解析力学（古典力学）|ハミルトニアン]]に対応する作用素 <math>\hat{H}</math> である。

物理量 <math>\hat{O}</math> の[[期待値]]の時間微分を計算すると、
:<math>\begin{align}
\frac{d}{dt}\left\langle\psi\right\vert\hat{O}\left\vert\psi\right\rangle 
&= \left(\frac{\partial}{\partial t}\left\vert\psi\right\rangle^*
\right)\hat{O}\left\vert\psi\right\rangle
+ \left\vert\psi\right\rangle^*
\frac{\partial}{\partial t}\hat{O}\left\vert\psi\right\rangle\\
&= \frac{i}{\hbar}\left(-\frac{\hbar}{i}\frac{\partial}{\partial t}\left\vert\psi\right\rangle\right)^*
\hat{O}\left\vert\psi\right\rangle
+ \left\vert\psi\right\rangle^*
\frac{i}{\hbar}\frac{\hbar}{i}\frac{\partial}{\partial t}\hat{O}\left\vert\psi\right\rangle\\
&= \frac{i}{\hbar}\left\{
\left(\hat{H}\left\vert\psi\right\rangle\right)^*
\hat{O}\left\vert\psi\right\rangle
+\left\vert\psi\right\rangle^*
\frac{\hbar}{i}\left(
\frac{\partial\hat{O}}{\partial t}
+\hat{O}\frac{\partial}{\partial t}\right)
\left\vert\psi\right\rangle
\right\}\\
&= \frac{i}{\hbar}\left\{
\left\vert\psi\right\rangle^*\hat{H}^*\hat{O}\left\vert\psi\right\rangle
+\left\vert\psi\right\rangle^*
\left(
\frac{\hbar}{i}\frac{\partial\hat{O}}{\partial t}
-\hat{O}\hat{H}\right)
\left\vert\psi\right\rangle
\right\}\\
&=\left\langle\psi\right\vert\left(
\frac{\partial\hat{O}}{\partial t}
+\frac{i}{\hbar}\left\{\hat{H}\hat{O}
-\hat{O}\hat{H}\right\}\right)\left\vert\psi\right\rangle
\end{align}</math>

となり、<math>\hat{O}</math> の時間発展を記述する作用素が得られる。ここで[[シュレーディンガー方程式]]、

:<math>\hat{H}\left\vert\psi(t)\right\rangle = -\frac{\hbar}{i}\frac{\partial}{\partial t}\left\vert\psi(t)\right\rangle</math>

を用い時間微分作用素をハミルトニアンに書き換えた。またハミルトニアンが自己共役であることを用いた。<math>\hat{O}</math> がハミルトニアンであるなら、[[交換子]]の項はゼロになる。

:<math>
\left[\hat{H},\hat{O}\right]
:=\hat{H}\hat{O}-\hat{O}\hat{H}=\hat{H}\hat{H}-\hat{H}\hat{H}=0.
</math>

このとき期待値の時間微分は以下のようになる。

:<math>\frac{d}{dt}\left\langle\psi\right\vert\hat{H}\left\vert\psi\right\rangle
=\left\langle\psi\right\vert
\frac{\partial\hat{H}}{\partial t}
\left\vert\psi\right\rangle.
</math>

外部系との相互作用がない孤立系を考えると、ハミルトニアン <math>\hat{H}</math> にはあらわな時間依存性がないので、エネルギー保存の法則が成り立っている。

:<math>\frac{\partial\hat{H}}{\partial t}=0 ~\Rightarrow~ 
\frac{d}{dt}\left\langle\psi\right\vert\hat{H}\left\vert\psi\right\rangle=0.
</math>

時間とエネルギーの不確定性関係のために短時間ではエネルギー保存則が破れるという記述もあるが、それは摂動論における自由ハミルトニアン部分の保存則の破れにすぎず、相互作用項まで加えた全エネルギーは常に厳密に保存する（詳しくは[[不確定性原理]]のページを参照）。

== 注意 ==

「《エネルギー保存の法則》が成り立つ」ということは「（有用な）エネルギーはいくら使ってもなくならない」という意味ではない（[[永久機関#第二種永久機関|第二種永久機関]]の否定）。エネルギー保存の法則は、エネルギー問題においては直接的には[[永久機関#第一種永久機関|第一種永久機関]]の否定という面でかかわりを持つ。

== 脚注 ==


=== 注釈 ===
<references group="注"/>
=== 出典 ===


== 関連項目 ==
***物理学の法則**
**[[熱力学第零法則]]
**[[熱力学第二法則]]
**[[熱力学第三法則]]
**[[質量保存の法則]]
**[[ヘスの法則]]
***物理学に関係する人物'''
**ベンジャミン・トンプソン（ラムフォード伯）
**ニコラ・レオナール・サディ・カルノー
**エミール・クラペイロン
**ユリウス・ロベルト・フォン・マイヤー
**ジェームズ・プレスコット・ジュール
**ヘルマン・フォン・ヘルムホルツ
**ウィリアム・トムソン（ケルビン卿）

## 外部リンク
*