熱力学において、ヘルムホルツ自由エネルギー(またはヘルムホルツエネルギー)は、一定温度(等温)における閉じた熱力学系から得られる有効な仕事の尺度となる熱力学的ポテンシャルである。ある過程におけるヘルムホルツエネルギーの変化は、温度が一定に保たれた熱力学過程において系が行うことができる最大の仕事量に等しい。一定温度において、ヘルムホルツ自由エネルギーは平衡状態で最小となる。
対照的に、ギブスの自由エネルギーまたは自由エンタルピーは、一定圧力下で生じる応用において都合が良い場合、熱力学的ポテンシャルの尺度として(特に化学において)最も一般的に用いられます。例えば、爆発物の研究では、爆発反応がその性質上圧力変化を引き起こすため、ヘルムホルツの自由エネルギーがよく用いられます。また、純物質の 基本状態方程式を定義する際にも頻繁に用いられます。
自由エネルギーの概念は、ドイツの物理学者ヘルマン・フォン・ヘルムホルツによって提唱され、1882年に「化学プロセスの熱力学について」という講義で初めて提示されました。[ 1 ]ドイツ語の「Arbeit」(仕事)から、国際純正応用化学連合(IUPAC)は記号Aとヘルムホルツエネルギーという名称を推奨しています。[ 2 ]物理学では、記号Fも自由エネルギーまたはヘルムホルツ関数を指すために使用されます。
意味
ヘルムホルツ自由エネルギーは次のように定義される [ 3 ] 。
ヘルムホルツエネルギーは、内部エネルギーUのルジャンドル変換であり、独立変数としてエントロピーの代わりに温度が用いられます。
閉鎖系における熱力学第一法則は、内部エネルギー、熱として加えられるエネルギー、系に与えられた仕事を表し ます。 可逆過程における熱力学第二法則は、となります。可逆変化の場合、与えられた仕事は(電気仕事やその他のPV以外の仕事を無視すると) と表され、したがって次のように なります。






微分の積の法則を に適用すると、次の式が 成り立ち 、 


の定義により、これを次のように書き直すことができる。 

Aは状態の熱力学関数であるため、この関係は可逆的ではないプロセス(電気的な仕事や組成の変化がない)にも有効です。
最小自由エネルギーと最大仕事の原理
熱力学の法則は、熱平衡状態にある系にのみ直接適用できます。化学反応のような現象を記述する場合、系が(準安定)熱平衡状態にある初期状態と終状態を適切に選択して考えることが最善策です。系が一定体積に保たれ、一定温度の熱浴と接触している場合、次のように推論できます。
系の熱力学的変数は初期状態と最終状態において明確に定義されているため、内部エネルギーの増加、エントロピーの増加、そして系によって抽出可能な仕事の総量も明確に定義された量である。エネルギー保存則は以下を意味する。 



系の容積は一定に保たれます。これは、熱浴の容積も変化しないことを意味し、熱浴は仕事をしていないと結論付けることができます。これは、熱浴に流入する熱量が次式で表されることを意味します。

熱浴は、系がどのような挙動をしても温度Tで熱平衡状態を維持する。したがって、熱浴のエントロピー変化は

総エントロピー変化は次のように表される。

系は初期状態と終状態において熱浴と熱平衡状態にあるため、Tはこれらの状態における系の温度でもある。系の温度が変化しないという事実から、分子は系の自由エネルギー変化として表すことができる。

エントロピーの変化は必ずゼロ以上でなければならないので、次の不等式が得られる。

等温過程において抽出できる仕事の総量は自由エネルギーの減少によって制限され、可逆過程において自由エネルギーを増加させるには系に仕事を行わせる必要があることがわかります。もし系から仕事が抽出されない場合、

したがって、一定の温度と体積に保たれ、電気作業やその他の非PV作業を実行できないシステムの場合、自発的な変化中の総自由エネルギーは減少するだけです。
この結果は、 TとV を一定に保つということはを意味するように見えるため、式 と矛盾しているように見えます。したがって、実際には矛盾はありません。式の妥当性が制限される単純な1成分系では、唯一の関係があり、したがってT、V、およびPがすべて固定されているため、一定のTおよびVではプロセスは発生しません。一定のTおよびVでの自発的なプロセスを考慮に入れるには、システムの熱力学的状態空間を拡大する必要があります。化学反応の場合は、各タイプjの粒子の数N jの変化を考慮に入れる必要があります。自由エネルギーの微分は、次のように一般化されます。 





ここで、はタイプjの粒子の数、 は 対応する化学ポテンシャルです。この式は可逆変化と非可逆変化の両方に当てはまります。したがって、TとVが一定の場合の自発的変化の場合、最後の項は負になります。 

他の外部パラメータがある場合、上記の関係はさらに一般化される。

ここで は外部変数であり、 は対応する一般化された力です。 

標準分配関数との関係
体積、温度、粒子数が一定に保たれた系は、正準集団によって記述される。任意のミクロ状態iに対して、系が何らかのエネルギー固有状態rにある確率は、 次式 で与えられる。 

アクセス可能な状態のエネルギー

Zは系の分配関数と呼ばれる。系が固有のエネルギーを持たないという事実は、様々な熱力学的量を期待値として定義する必要があることを意味する。系の大きさが無限大となる熱力学的極限では、これらの平均値の相対的な変動はゼロになる。
システムの平均内部エネルギーはエネルギーの期待値であり、次のようにZで表すことができます。

システムが状態rにある場合、外部変数xに対応する一般化された力は次のように与えられる。

この熱平均は次のように書ける。

系に外部変数が1つあると仮定します。系の温度パラメータを、外部変数を 変化させると、 が変化します。 




次のように 書くと

私たちは得る

これは、内部エネルギーの変化は次のように表されることを意味する。

熱力学的極限では、基本的な熱力学関係は次のようになるはずです。

これは、システムのエントロピーが次のように与えられることを意味する。

ここでcは定数である。cの値はT → 0の極限を考えることで決定できる。この極限ではエントロピーは となり、は基底状態の縮退である。この極限における分配関数は となり、 は基底状態のエネルギーである。したがって、 となり、となる。 




微視的定義:


自由エネルギーと他の変数の関係
ヘルムホルツ自由エネルギーの定義を組み合わせると

基本的な熱力学関係とともに

エントロピー、圧力、化学ポテンシャルを表す式は次の通りである。[ 4 ]

これらの3つの方程式と分配関数による自由エネルギーは、

分配関数が与えられた場合に、関心のある熱力学変数を効率的に計算する方法を提供し、状態密度の計算でよく用いられます。また、異なる系に対してルジャンドル変換を行うこともできます。例えば、磁場やポテンシャルを持つ系では、

ボゴリュボフの不等式
統計物理学において、自由エネルギーの計算は、最も単純なモデルを除いて、ほとんどすべてのモデルにとって困難な問題です。強力な近似法の一つが平均場理論です。これはボゴリュボフの不等式に基づく変分法です。この不等式は次のように定式化できます。
モデルの実ハミルトニアンを試行ハミルトニアンに置き換えるとしよう。試行ハミルトニアンには異なる相互作用があり、元のモデルには存在しない追加のパラメータに依存する可能性がある。この試行ハミルトニアンを次のように選ぶと、 


ここで、両方の平均は試行ハミルトニアンによって定義される標準分布に関して取られ、ボゴリュボフの不等式は次のように表される。 

ここで、は元のハミルトニアンの自由エネルギー、 は試行ハミルトニアンの自由エネルギーです。以下でこれを証明します。 

試行ハミルトニアンに多数のパラメータを含め、自由エネルギーを最小化することで、正確な自由エネルギーに近い値が得られることが期待できます。
ボゴリュボフの不等式は、しばしば次のように適用される。ハミルトニアンを次のように書くと、

ここで、は正確に解けるハミルトニアンであるので、上記の不等式を次のように定義して適用することができる。 

ここで、 を で定義される標準集合におけるXの平均と定義します。このように定義される は定数だけ 異なるため、一般に




ここで、 は上で指定した通り、における平均である。したがって、 


そして不平等

が成り立つ。自由エネルギーは、モデルの自由エネルギーに を加えた値である。これは、 



そしてこうして

ボゴリュボフの不等式の証明
古典モデルの場合、ボゴリュボフの不等式は以下のように証明できる。ハミルトニアンと試行ハミルトニアンの標準確率分布をそれぞれ と で表す。ギブスの不等式から、以下のことがわかる。 


成立します。これを理解するには、左辺と右辺の差を考えてみましょう。これは次のように書けます。

以来

結果は次のようになります。

最後のステップでは、両方の確率分布が 1 に正規化されることを使用しました。
不等式は次のように書くことができます。

ここで平均は について取られている。ここで確率分布の式を代入すると、 
![{\displaystyle P_{r}={\frac {\exp \left[-\beta H(r)\right]}{Z}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
そして
![{\displaystyle {\tilde {P}}_{r}={\frac {\exp \left[-\beta {\tilde {H}}(r)\right]}{\tilde {Z}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
結果は次のようになります:

との平均は仮定により同一なので、次の式が成り立ちます。 


ここでは、パーティション関数は平均を取ることに関して定数であり、自由エネルギーはパーティション関数の対数のマイナスに比例することを使用しました。
この証明は量子力学モデルの場合にも容易に一般化できる。 の固有状態を と表記する。この基底における および の正準分布の密度行列の対角成分を以下のように表記する。



![{\displaystyle P_{r}=\left\langle r\left|{\frac {\exp \left[-\beta H\right]}{Z}}\right|r\right\rangle \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
そして
![{\displaystyle {\tilde {P}}_{r}=\left\langle r\left|{\frac {\exp \left[-\beta {\tilde {H}}\right]}{\tilde {Z}}}\right|r\right\rangle ={\frac {\exp \left(-\beta {\tilde {E}}_{r}\right)}{\tilde {Z}}}\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
ここで、は

ここでも、定義される標準集団におけるH と の平均は同じであると仮定します。 


どこ 
不平等

と合計が1になるので、依然として成立します。左側では、次のように置き換えることができます。 


右辺では不等式を使うことができる
ここで、表記法を導入しました

状態rにおける演算子Yの期待値について。証明は ここを参照。この不等式の対数をとると、以下の式が得られる。
![{\displaystyle \log \left[\left\langle e^{X}\right\rangle _{r}\right]\geq \left\langle X\right\rangle _{r}\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
これにより、次のように記述できます。
![{\displaystyle \log P_{r}=\log \left[\left\langle \exp \left(-\beta H-\log Z\right)\right\rangle _{r}\right]\geq \left\langle -\beta H-\log Z\right\rangle _{r}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
H と の平均が同じであるという事実は、古典的な場合と同じ結論につながります。 

一般化ヘルムホルツエネルギー
より一般的なケースでは、力学項は体積、応力、および微小ひずみの積に置き換えられる必要がある。 [ 5 ]

ここでは応力テンソル、 はひずみテンソルである。フックの法則に従う線形弾性材料の場合、応力とひずみの関係は次の式で表される。 


ここで、テンソルにはアインシュタイン記法を用いています。これは、積の繰り返し添字を足し合わせる記法です。ヘルムホルツエネルギーを求めるには、この式を積分します。 

基本状態方程式への応用
純物質のヘルムホルツ自由エネルギー関数(およびその偏微分)は、その物質の他のすべての熱力学的特性を決定するために使用できます。例えば、IAPWSがIAPWS-95リリースで示している水の状態方程式を参照してください。
オートエンコーダのトレーニングへの応用
HintonとZemel [ 6 ]は、「最小記述長(MDL)原理に基づいてオートエンコーダの訓練のための目的関数を導出する」と述べています。「特定のコードを用いた入力ベクトルの記述長は、コードコストと再構成コストの合計である。彼らはこれをコードのエネルギーと定義している。入力ベクトルが与えられた場合、コードのエネルギーはコードコストと再構成コストの合計であると定義している。」真の期待される複合コストは 「ヘルムホルツ自由エネルギーの形と全く同じである」とされています。 
参照
参考文献
さらに読む