理想気体
理想気体（りそうきたい、）または完全気体（かんぜんきたい、）は、圧力が温度と密度に比例し、内部エネルギーが密度に依らない気体である。気体の最も基本的な理論モデルであり、より現実的な他の気体の理論モデルはすべて、低密度で理想気体に漸近する。統計力学および気体分子運動論においては、気体を構成する個々の粒子の体積が無視できるほど小さく、構成粒子間には引力が働かない系である。
実際にはどんな気体分子にも体積があり、分子間力も働いているので理想気体とは若干異なる性質を持つ。そのような理想気体でない気体は実在気体または不完全気体と呼ばれる。実在気体も、低圧で高温の状態では理想気体に近い振る舞いをする。常温・常圧では実在気体を理想気体とみなせる場合が多い。
理想気体の状態方程式には2ないし3種のバリエーションがある。大きな違いは、気体を粒子の集まりとみなすか否かである。式の上での形式的な違いは、平衡状態における理想気体の圧力 が
である。
温度 、体積 、質量 の平衡状態における、理想気体の圧力 は
で表され、質量密度 と温度 に比例する。気体の種類 によって異なる比例係数 は比気体定数と呼ばれる。 は、[エネルギー]×[温度]×[質量] の次元を持つ定数で、例えば空気の比気体定数は である。この状態方程式は、気体の構成粒子の存在を前提としない場合でも意味を持つ式である。
統計力学によると、体積 の容器の中に古典力学に従う 個の自由粒子が閉じ込められているとき、温度 の平衡状態におけるこの気体の圧力 は
で与えられ、数密度 と温度 に比例する。比例係数 は気体の種類によらない普遍定数で、ボルツマン定数と呼ばれる。 の次元は [エネルギー]×[温度] である。粒子数 が式中に現れていることから明らかなように、この状態方程式は、気体の構成粒子の存在を前提としなければ意味を持たない。
温度 、体積 、物質量 の平衡状態における、理想気体の圧力 は
で表され、モル体積 に反比例し、温度 に比例する。比例係数 は気体の種類によらない普遍定数で、モル気体定数と呼ばれる。 は [エネルギー]×[温度]×[物質量] の次元を持ち、その値はボルツマン定数 にアボガドロ定数 を掛けたものに等しい。また、比気体定数 に気体のモル質量 を掛けたものにも等しい。この状態方程式は、通常は、気体の構成粒子の存在を前提としている。なぜなら国際単位系では、気体の物質量 は構成粒子数 を で割ったものとして定義されるからである。ただしSIの定義にこだわらなければ、気体の構成粒子の存在を前提しなくても、純粋に巨視的な物理学の範囲内でこの状態方程式に意味を持たせることができる。
理想気体のエネルギーの表式にも2ないし3種のバリエーションがある。大きな違いは、気体の熱容量が温度に依存するか否かである。理想気体の状態方程式と熱力学的状態方程式から、内部エネルギーが体積に依存しないことが示される。しかし、内部エネルギーが温度に比例すること、すなわち定積熱容量が温度に依存しないことまでは示されない。理想気体の状態方程式を満足する気体は半理想気体、あるいは半完全気体と呼ばれる。半理想気体のうち、内部エネルギーが温度に比例する気体を狭義の理想気体という。狭義の理想気体のうち、構成粒子が内部自由度を持たない気体を単原子理想気体という。
温度 、物質量 の平衡状態における、単原子理想気体の内部エネルギー は
で表される。この式から単原子理想気体の定積モル熱容量 は
と与えられる。単原子理想気体の は、温度にも気体の種類にも依らない定数である。
温度 、物質量 の平衡状態における、狭義の理想気体の内部エネルギー は
で表される。
構成粒子を剛体とみなせる場合、比例係数 は粒子1個当たりの自由度の 1/2 に相当する。内部自由度のない単原子理想気体であれば である。剛体回転子とみなせる直線分子なら内部自由度が 2 なので 、剛体回転子とみなせる非直線分子なら内部自由度が 3 なので である。実在の分子で剛体回転子とみなせる分子は少ない。例えば一酸化炭素 CO は だが、二酸化炭素 CO は である。水蒸気 HO は だが、二酸化硫黄 SO は である。二原子分子に限っても塩素 Cl は であって、5/2 よりもむしろ 3 に近い。希ガス、酸素、窒素、水蒸気などの少数の例外を除けば、比例係数 は分子式から手計算で求められる数値ではない。ファンデルワールス定数 と同様に、比例係数 は実際の気体の熱力学的性質を再現するように定められるパラメータである。また、剛体回転子とはみなせない分子の標準定積熱容量は、温度により少なからず変化する。それにも関わらず狭義の理想気体という気体の理論モデルをあえて考えるのは、エントロピーなどの表式がきわめて簡単になるからである。また、内部エネルギーを表す近似式としてそれで十分な場面も多い。とくに空気の主成分である酸素、窒素、水蒸気は（結露しない限り）比較的広い温度・圧力範囲で狭義の理想気体とみなせる。
温度 、質量 の平衡状態における、狭義の理想気体の内部エネルギー は
で表される。狭義の理想気体の定積比熱容量 は、温度に依らない気体に固有の定数である。
熱力学関数としては、エントロピー 、体積 、物質量 が内部エネルギーの自然な変数である。この考え方で表すと、1成分理想気体の内部エネルギーは
となる。ただし添え字の 0 は適当に選んだ基準値を表す。
温度 、物質量 、質量 の平衡状態における、半理想気体の内部エネルギー は
(T')\,\mathrm dT'=U_0+m\int^T_{T_0}c_V(T')\,\mathrm dT'
で表される。ここで は、温度 における物質量 、質量 の半理想気体の内部エネルギーである。半理想気体の と は、圧力と密度には依らない温度 の関数である。関数の形は気体の種類により異なる。関数が定数関数 であるとき、その気体は狭義の理想気体である。構成粒子の並進運動の自由度のため、半理想気体の定積モル熱容量について任意の温度で
(T) \ge \frac{3}{2}R
が成り立つ。
理想気体に成立する法則として代表的なものには次のものがあげられる。
理想気体の等温圧縮率 は気体の種類に依らない。
理想気体の熱膨張率 は気体の種類に依らない。
この法則は、気体の構成粒子の存在を前提としなければ意味を持たない。
この法則が成り立つ条件は、気体の構成粒子の存在を前提するか否かで異なる。
半理想気体のエンタルピー は
で表される。
狭義の理想気体のエンタルピー は
で表される。
半理想気体のモル熱容量は圧力にも気体の密度にも依らない。
狭義の理想気体の定積モル熱容量 は
で表され、定圧モル熱容量 は
で表される。
理想気体の二つのモル熱容量の差は
となる。この関係はマイヤーの関係式と呼ばれる。この関係式は半理想気体についても成り立つ。また、理想気体の二つのモル熱容量の比 は比熱比と呼ばれ
}{C_{V,\text{m}}} =\frac{C_{V,\text{m}}+R}{C_{V,\text{m}}} =1+\frac{R}{C_{V,\text{m}}}
となる。半理想気体の比熱比 は一般には温度に依存する。狭義の理想気体の場合は、熱容量が温度に依存しないので
となり、比熱比 も温度に依存しない。
狭義の理想気体のエントロピー は
となる。ここで は物質固有の定数である。狭義の理想気体のエントロピーの形は、熱力学第三法則を満たさない。
半理想気体のエントロピー は
(T')}{RT'}\,\mathrm dT' + \ln \alpha_0 \frac{V}{n}\right)
となる。ここで は物質固有の定数である。半理想気体の が を下回ることはないので、半理想気体のエントロピーの形もまた、熱力学第三法則を満たさない。
準静的な断熱過程においては、エントロピーが一定となる。このとき
の関係がある。これらはポアソンの法則と呼ばれる。狭義の理想気体では、ポアソンの法則が厳密に成り立つ。半理想気体では、ポアソンの法則が近似的に成り立つ。
自然な変数で表した1成分理想気体のヘルムホルツの自由エネルギー およびギブスの自由エネルギー は以下となる：
ただし添え字の0は適当に選んだ基準値を表す。
理想気体の手短な解説において
という説明がなされることがある。しかし、分子の体積と相互作用の両方が厳密にゼロだったなら、分子同士が衝突することはありえない。そのため気体が熱平衡に達するには、容器内壁を介して間接的に分子がエネルギーを互いにやり取りしなければならない。ところが容器内壁と分子の衝突が完全弾性衝突だったなら、それも不可能である。したがって、分子の体積がゼロ、相互作用がゼロ、完全弾性衝突だったなら、どれだけ時間が経っても気体が熱平衡に達することはない。
上の3条件のいずれかを適当に緩めると、気体を熱平衡状態にすることができる。例えば、容器内壁と分子の間にエネルギーのやり取りを許せばよい。そうすると壁を温度 の熱浴とみなせるので、カノニカル分布の方法が使える。
あるいは、完全弾性衝突の条件をそのままにして
としてもよい。ここで微小剛体球の半径は、実際の分子の大きさよりもずっと小さい値、例えば 1 fm（核子くらいの大きさ）を仮定する。剛体球なので、粒子間距離が球の直径より小さくなろうとしたときには強い斥力が働いて粒子同士の衝突は完全弾性衝突となるが、粒子間距離が球の直径より少しでも大きいときには粒子間に相互作用が働かない。理想気体の体積中で構成粒子の占める体積が十分に小さければ、この系はほとんど独立な粒子の集まりとなるので理想系である。容器内壁との衝突が完全弾性衝突ということは、この壁が断熱壁であるということなので、体積 と 粒子数 が一定であれば、この系は孤立系である。よってボルツマンの公式によりエントロピーを求めることができる（ミクロカノニカルアンサンブル）。
単原子理想気体の性質は、粒子の並進運動の分配関数から計算できる。すなわち、容器内壁以外でポテンシャルがゼロであるようなハミルトニアンを用いることで、単原子理想気体の性質が統計力学により再現される。
狭義の理想気体の性質は、分子の並進と回転の分配関数から計算できる。分子を古典力学に従う剛体回転子とみなすと、理想気体の熱容量が温度に依存しないことが統計力学により再現される。
半理想気体の性質は、分子の並進と回転と振動の分配関数から計算できる。必要であれば分子の電子状態の分配関数も考える。調和振動子のハミルトニアンを用いることで、理想気体の熱容量が温度に依存することが統計力学により再現される。窒素 N、酸素 O、水蒸気 HO の熱容量が比較的広い温度範囲で一定とみなせるのは、これらの分子の分子振動を励起するのに必要なエネルギーが  よりもずっと大きいためである。
理想気体はどんな条件下でも相転移しない。これは理想気体が以下の性質を持つと仮定しているためである。
理想気体は気体の理論モデルである。理想気体は想像上の存在である、といってもよい。ボイル＝シャルルの法則が厳密に成り立つ気体は、現実には存在しない。理想気体の法則は、低圧の状態に近づくにつれて実在気体でも厳密に成り立つようになる極限法則である。
実在気体が理想気体と若干異なる性質を持つのは、気体分子に体積があり、分子間力が働いているためである。温度 と分子数 が一定の場合、気体が低圧の状態に近づくということは、気体分子の数密度が減るということだから、気体分子の体積と分子間力について次のことが言える。
どんな気体でも温度を一定に保ったまま低圧にすると、気体分子の体積と分子間力が無視できるようになるので、ボイル＝シャルルの法則が成り立つようになる。実在気体の状態方程式はすべて、低密度で理想気体に漸近する形になっている。例えばファンデルワールスの状態方程式
あるいはビリアル方程式
はどちらも、温度 一定、モル体積 の極限で理想気体の状態方程式となる。
同じ理由で、どんな気体でも圧力を一定に保ったまま高温にすると、密度が減少して気体分子の体積と分子間力が無視できるようになるので、ボイル＝シャルルの法則が成り立つようになる。ただしある程度の高温になると、どんな気体でも分子の解離や電離（プラズマ化）が起こるため、分子数 が温度や圧力によって変化するようになる。そのような高温領域では、アボガドロの法則とドルトンの法則は成り立っても、ボイル＝シャルルの法則は成り立たなくなる。それゆえ「理想気体の法則は高温の状態に近づくにつれて実在気体でも厳密に成り立つようになる極限法則である」ということはできない。
理想気体は、気体が関係する物理化学現象を解析する際に、気体のモデルとして多用される。例として
が挙げられる。
気体の性質については、17世紀には盛んに研究がすすめられ、ボイルの法則やシャルルの法則などが発見されていた。そして19世紀に入った1802年、ジョセフ・ルイ・ゲイ＝リュサックは、気体の体積は温度が１℃上昇すると266分の1だけ増加し、この増加の割合は気体の種類によらないという実験結果を発表した。さらに同じ時期に、ジョン・ドルトンも同様の結果を導き出した（しかし後に、ドルトンの測定値には計算の誤りがあり、実際はゲイ＝リュサックの値とは異なっていることが明らかになっている）。
気体の熱膨張率が気体の種類によらないというゲイ＝リュサックらの実験結果から、気体は物質の種類とは無関係の熱の普遍的な性質が現れると考えられるようになった。さらに、気体は固体や液体よりも熱膨張しやすく観測が容易であることも相まって、19世紀前半になると、熱学において気体の研究は重要な位置を占めるようになった。
しかしその後、このゲイ＝リュサックの結果に対して疑問が抱かれるようになった。は1837年の論文で、ゲイ＝リュサックの実験は空気を乾燥していない条件での数値であって、乾燥させた空気では値が異なってくることを明らかにした。ハインリヒ・グスタフ・マグヌスはルードベリの実験を追試するとともに、体積が膨張する割合は気体によって異なることを発見した。
アンリ・ヴィクトル・ルニョーは1842年の論文で、様々な気体について精密に実験した結果を発表した。そして、ゲイ＝リュサックらによる気体の基本的な性質が成り立つのは、特殊な条件下にある気体、すなわち理想気体に限られることを見出した。さらにルニョーは、気体が圧縮された状態にあると、理想気体からのずれは大きくなることを発見した。ルニョーは、これは圧縮によって分子間の引力が強くなったためだと推察した。
分子間力も考慮に入れた状態方程式は、1873年、ヨハネス・ファン・デル・ワールスによって作られた。
ゲイ＝リュサックの理論が理想気体のみでしか成り立たないという発見は、温度計の分野において大きな転換点になった。そもそも温度計は、温度によって基準物質（水銀など）が体積変化（または圧力変化）する現象を利用している。そして当時は、熱の本質はカロリック（熱素）という物質であるという、カロリック説が主流であった。カロリック説によれば、温度とはカロリックの量で決まるため、カロリックの量を正しく反映させることのできる温度計が優れた温度計となる。そして、ゲイ＝リュサックの実験によれば、気体においてはどの気体でも熱膨張率が一定であるので、このことから気体は液体や固体と比べて物体の種類に影響されることなく、カロリックの量を正確に反映した体積変化をすると考えられていたのである。以上のことから、ピエール＝シモン・ラプラスは1825年、著書『天体力学』5巻において、気体である空気を基準物質とした空気温度計こそが真の温度計だと主張した。
しかし、ルニョーによって気体の熱膨張率が気体の種類によって異なることが明らかになると、空気温度計を真の温度計として他と比べて絶対視することはできなくなった。ウィリアム・トムソン（ケルヴィン卿）は1848年、特定の物質を基準物質として、それで絶対的な尺度を得ることはできないと述べた。
実在の気体は理想気体の性質を満たさないが、高温になると理想気体と似たふるまいを示す。この現象について、カロリック説では、高温の気体ではカロリックの持つ膨張力（斥力）が強くはたらき、分子間力が無視できるようになるためだと説明されていた。それに対し、ルドルフ・クラウジウスは、高温では分子間力に対してなされる仕事が、外圧に対してなされる仕事と比べて無視できるほど小さくなるためだと述べ、カロリックを使わずにこの現象を説明した。
そしてクラウジウスは1850年の論文で、理想気体を取り上げて研究し、理想気体の状態方程式などから、熱力学第一法則（エネルギー保存の法則）を定式化した。さらにクラウジウスは同論文で、熱は低温の物体から高温の物体へとひとりでに流れることはないという、熱力学第二法則を初めて導き出した。
一方、ウィリアム・トムソン（ケルヴィン卿）は理想気体に基づいた理論を拒否した。そしてトムソンは、クラウジウス論文から1年遅れとなる1851年に、理想気体に限定しない形で熱力学第二法則を導き出した。さらに1854年には、同じく理想気体に頼らずに熱力学温度を定義した。トムソンは1878年、理想気体について、「そのどの性質もいかなる現実の物質によっても厳密には実現されず、そのいくつかの性質は未知で想像によってさえまったく与えることのできない完全気体と呼ばれるある架空の実在を最初に構成することによって、熱力学の理解はきわめて遅らされ、学生は不必要に混乱させられ、単なる浮砂にすぎぬものが温度測定の基礎として与えられてきた」と批判している。