要旨
カラテオドリ(1909)は熱力学第二法則を、たった一つの物理の文に還元した。「任意の状態のどんな近傍にも、そこから断熱的に到達できない状態が存在する」。そこから $\delta Q = T\,dS$ が導かれる。本稿はこの導出を三段に分け、それぞれの段が何を与え、何を与えないかを点呼する。新しい数学定理も新しい物理法則も主張しない。
第一に、三段は次のとおりである。(a) 非到達可能性 $\Rightarrow$ 可積分性(カラテオドリの定理)、(b) 可積分性 $\Rightarrow$ 積分因子の存在(フロベニウス)、(c) 複合系の要請 $\Rightarrow$ 普遍温度の一意化。三段目は、しばしば省略される。
第二に、これが本稿の芯である。積分因子の存在は、温度を与えない。$\delta Q = \lambda\,d\varphi$ が成り立つとき、任意の単調関数 $g$ について $\delta Q = (\lambda/g'(\varphi))\,d(g(\varphi))$ も同じく成り立つ(本稿で記号計算により確認)。存在は、どれかを決めない。普遍的な温度を取り出すには、複合系という別の物理的要請が要る。これは論文113 が別の場所で示した形と同じである。安定性の論法は「存在」までを与え、「値」は与えない。
第三に、より驚くべきこと。二変数の状態空間では、積分因子は数学だけで存在する。平面上のピファフ形式には常に積分因子がある(本稿で具体例により確認)。ところが単純圧縮系の状態空間は二変数である(たとえば $U$ と $V$)。したがって単純系に限れば、$\delta Q = T\,dS$ は物理の公理を一切必要としない。第二法則の中身が現れるのは、変数が三つ以上(すなわち複合系)においてである。
第四に、三変数では実際に破れる。接触形式 $\omega = dz – y\,dx$ は $\omega \wedge d\omega = dx\wedge dy\wedge dz \neq 0$ を満たし、積分因子を持たない。そして同時に、$\omega = 0$ に沿って任意の二点が結べてしまう。非到達可能性の破れと、可積分性の破れが、同時に起きている。カラテオドリの定理が結んでいるのは、まさにこの二つである(第4節)。
第五に、$\delta$ は $d$ ではない。$\delta Q$ は完全微分ではなく、$dS$ は完全微分である。両者は同じ「微分」という語で呼ばれながら、別の圏に属する。積分因子 $1/T$ は、一方を他方へ変換する装置である(第6節・論文16)。
射程(何を示さないか)
本稿の射程:新しい数学定理も新しい物理法則も主張しない。カラテオドリの公理化(1909)、フロベニウスの可積分条件、接触形式の非可積分性、積分因子の非一意性はいずれも標準的な内容である。本稿が加えるのは、導出を三段に分け、各段の与えるものと与えないものを書き分けたことだけである。
1. 記号と位置づけ
熱力学第二法則には、いくつもの定式化がある。クラウジウス、ケルヴィン=プランク、そしてカラテオドリ。本稿が扱うのはカラテオドリの定式化であり、それを選ぶ理由は一つである。
この定式化は、物理と数学の境目を、他のどの定式化よりも鋭く引く。物理の主張は一文しかない。残りはすべて、ピファフ形式についての数学である。どこまでが物理で、どこからが数学かを点呼するには、これ以上の題材がない。
位置づけ:本稿は既存の定理の段の分け方を扱う。新しい定理は主張しない。
2. カラテオドリが立てた、たった一つの物理の文
公理(カラテオドリ 1909):任意の状態の、どんな近傍の中にも、そこから断熱的な操作では到達できない状態が存在する。
観察 2.1 (これが物理のすべてである) この一文の外に、物理的な仮定は置かれていない。熱機関も、循環過程も、クラウジウスの不等式も出てこない。以後に現れるのは、ピファフ形式 $\delta Q$ についての数学だけである。
なぜこの文が「第二法則」なのか:断熱操作は、$\delta Q = 0$ を満たす経路である。到達できない状態があるということは、$\delta Q = 0$ という条件が、状態空間に何らかの層構造を刻んでいるということである。その層に貼る目盛りが、エントロピーになる。
3. 第一段:非到達可能性から、可積分性へ
定理 3.1 (カラテオドリの定理・標準) ピファフ形式 $\omega$ が、任意の点の任意の近傍に、$\omega = 0$ に沿って到達できない点を持つならば、$\omega$ は可積分である(すなわち $\omega \wedge d\omega = 0$)。
観察 3.2 (この段が与えるもの) 物理の言葉(到達できない状態がある)を、幾何の言葉(形式が可積分である)へ翻訳した。ここで物理は使い切られる。以後、公理はもう登場しない。
4. 第二段:可積分性から、積分因子の存在へ
定理 4.1 (フロベニウス・標準) $\omega \wedge d\omega = 0$ ならば、局所的に $\omega = \lambda\,d\varphi$ と書ける。
観察 4.2 (破れる例を、実際に置く) この条件が本当に条件であることを確かめておく。接触形式
$$ \omega = dz – y\,dx \tag{1} $$
を取る。$d\omega = dx \wedge dy$ であり、
$$ \omega \wedge d\omega = (dz – y\,dx)\wedge(dx\wedge dy) = dz\wedge dx\wedge dy = dx\wedge dy\wedge dz \neq 0 $$
(第二項は $dx\wedge dx = 0$ で消える。最後の等号は巡回置換)。したがって積分因子は存在しない。
そして同時に、$\omega = 0$ すなわち $dz = y\,dx$ に沿って、$\mathbb{R}^3$ の任意の二点が結べてしまう(接触分布はブラケット生成的であり、チョウ=ラシェフスキーの定理による)。
観察 4.3 (二つの破れは、同時に起きる) 到達不能性が破れ、可積分性も破れた。カラテオドリの定理が結んでいるのは、まさにこの二つである。一方が成り立たなければ、他方も成り立たない。
5. 第三段:存在は、値を与えない
ここからが本稿の芯である。
命題 5.1 (積分因子は、決して一意でない) $\delta Q = \lambda\,d\varphi$ が成り立つとする。このとき任意の単調な関数 $g$ について
$$ \frac{\lambda}{g'(\varphi)}\;d\bigl(g(\varphi)\bigr) = \frac{\lambda}{g'(\varphi)}\cdot g'(\varphi)\,d\varphi = \lambda\,d\varphi = \delta Q $$
が成り立つ(本稿で記号計算により確認)。すなわち $(\lambda, \varphi)$ の組は、無限に多く存在する。
観察 5.2 (したがって、まだ温度ではない) フロベニウスが与えたのは「そういう組が存在する」ことだけである。どの $\lambda$ を温度と呼ぶべきかは、まだ何も決まっていない。
観察 5.3 (一意化には、別の物理が要る) 普遍的な温度を取り出す段は、二つの系を熱的に接触させるという、新たな物理的設定を必要とする。合成系にも共通の積分因子が存在することを要求すると、$\lambda$ が経験温度だけの普遍関数と、系ごとの因子との積に分解されることが強制される。その普遍関数が、絶対温度である。
これは第三の段であり、前二段からは出てこない。
観察 5.4 (体系の中に、同じ形がある) 論文113 は、安定性の論法について同じことを述べた。論法が与えるのは「存在」までであり、「値」は測定が与える。
住所は違う。論文113 が扱ったのは束縛状態の存在論法であり、本稿が扱うのは微分形式の可積分性である。分野も道具も別である。だが形は同じである。存在定理は、存在しか与えない。
6. 第二法則の中身は、どこから現れるのか
命題 6.1 (二変数では、積分因子は常に存在する) 平面上のピファフ形式 $\omega = P\,dx + Q\,dy$ には、常に局所的な積分因子が存在する(一階常微分方程式の存在定理による)。
確認(本稿による):$\omega = y\,dx + 2x\,dy$ は完全微分ではない($\partial_y P – \partial_x Q = -1 \neq 0$)。ところが $\lambda = y$ を掛けると $y^2\,dx + 2xy\,dy$ となり、これは $d(xy^2)$ に等しい。完全微分になった。
観察 6.2 (そして、単純系の状態空間は二変数である) 単純圧縮系では $\delta Q = dU + P\,dV$ であり、状態変数は $(U, V)$ の二つである。
したがって、単純系に限れば、$\delta Q = T\,dS$ は数学だけで成り立つ。物理の公理は一切要らない。
観察 6.3 (第二法則の中身が現れるのは、三変数以上である) カラテオドリの公理が実際に働くのは、状態空間が三変数以上のとき、すなわち複合系においてである。そこで初めて、共通の積分因子の存在が自明でなくなる。
これは、体系が繰り返し出会ってきた形である。ある次元を超えて初めて、内容が現れる(論文114・105)。ここでの閾値は三である。
7. $\delta$ は、$d$ ではない
観察 7.1 (記号が圏を告げている) $\delta Q$ と $dS$ は、どちらも「微分」と呼ばれる。だが$\delta Q$ は完全微分ではなく、$dS$ は完全微分である。前者は経路に依存し、後者は依存しない。
$\delta$ という記号は、この違いを告げるために存在する。ところが読むほうは、しばしば同じ「微分」として扱ってしまう。
観察 7.2 (では、$\delta Q = T\,dS$ の等号はどの根か) 論文16 は等号に六つの根を数えた。この式のそれは、定義/代入の帰結/恒等式/条件式/経験則/次元的に空のどれか。
答えは、立つ場所で変わる。カラテオドリの道筋の内側では、$T$ と $S$ はこの式によって定義される。公理が「そういう分解が存在する」ことを保証したうえで、その分解に名前を与えている。つまり定義である。一方、$T$ と $S$ を別の方法(理想気体温度計、統計力学の状態数)で先に定めておけば、この式は確かめるべき主張になる。
同じ式が、どちらの道を来たかで、根が変わる。これは論文16 が述べたことの、熱力学における実例である。
8. どこまでが物理で、どこからが数学か
| 段 | 何が与えられるか | 物理か数学か |
|---|---|---|
| 公理(非到達可能性) | 出発点 | 物理(ただ一文) |
| 第一段(カラテオドリ) | 可積分性 $\omega\wedge d\omega=0$ | 数学 |
| 第二段(フロベニウス) | 積分因子の存在 | 数学 |
| 第三段(複合系) | 普遍温度の一意化 | 物理(第二の要請) |
観察 8.1 (物理は一文ではなく、二文だった) カラテオドリの定式化は「物理の仮定は一つだけ」としてしばしば紹介される。だが点呼をとると、物理の要請は二つある。非到達可能性と、複合系に共通の積分因子があること。二つ目は、しばしば数学の中に紛れて語られる。
これは訂正であって、批判ではない。カラテオドリ自身は複合系の議論を行っている。省略しているのは、後世の紹介のほうである。
9. 結論
- 導出は三段である:非到達可能性 $\Rightarrow$ 可積分性(カラテオドリ)、可積分性 $\Rightarrow$ 積分因子の存在(フロベニウス)、複合系 $\Rightarrow$ 普遍温度の一意化。三段目はしばしば省略される。
- 積分因子の存在は、温度を与えない(命題5.1)。$\delta Q=\lambda\,d\varphi$ なら、任意の単調 $g$ について $(\lambda/g’)\,d(g(\varphi))$ も同じ形を与える。存在は、どれかを決めない。
- 同じ形が体系にある(観察5.4)。論文113:安定性の論法は「存在」までを与え、「値」は測定が与える。住所は違うが、形は同じである。
- 二変数では、積分因子は数学だけで存在する(命題6.1・本稿で例示)。そして単純圧縮系の状態空間は二変数である。したがって単純系に限れば $\delta Q=T\,dS$ に物理の公理は要らない。第二法則の中身が現れるのは三変数以上=複合系である(観察6.3)。
- 三変数では実際に破れる(観察4.2)。接触形式 $dz-y\,dx$ は $\omega\wedge d\omega \neq 0$ で積分因子を持たず、同時に任意の二点が到達可能になる。二つの破れは同時に起きる。
- $\delta$ は $d$ ではない(第7節)。積分因子 $1/T$ は非完全微分を完全微分へ変換する装置である。そして $\delta Q=T\,dS$ の等号は、カラテオドリの道の内側では定義であり、外側では検証すべき主張である(論文16)。
- 物理の要請は、一つではなく二つだった(観察8.1)。非到達可能性と、複合系の共通因子。カラテオドリ自身は両方を扱っている。省略しているのは後世の紹介である。
結語:カラテオドリの公理化は、熱力学の中で物理と数学の境目が最も鋭く引かれた場所である。だからこそ、そこで境目がどこにあるかを数え違えることも起きる。存在定理は、存在しか与えない。温度という値が欲しければ、もう一段、物理を置かなければならない。
参考文献
- Carathéodory, C. (1909). Untersuchungen über die Grundlagen der Thermodynamik. Mathematische Annalen, 67.
- Born, M. (1921). Kritische Betrachtungen zur traditionellen Darstellung der Thermodynamik. Physikalische Zeitschrift, 22.
- Frobenius, G. (1877). Über das Pfaffsche Problem. Journal für die reine und angewandte Mathematik, 82.
- Chow, W.-L. (1939). Über Systeme von linearen partiellen Differentialgleichungen erster Ordnung. Mathematische Annalen, 117.
- Buchdahl, H. A. (1966). The Concepts of Classical Thermodynamics. Cambridge University Press.
- 山岸勇輝 (2026). 等号には六つの根がある [論文16], 第3版. Zenodo. 10.5281/zenodo.21600471
- 山岸勇輝 (2026). リューヴィルと時間の矢 [論文77]. Zenodo. 10.5281/zenodo.21722473
- 山岸勇輝 (2026). 摩擦は粗視化である [論文78]. Zenodo. 10.5281/zenodo.21731937
- 山岸勇輝 (2026). 必然性の四つの根 [論文86]. Zenodo. 10.5281/zenodo.21744839
- 山岸勇輝 (2026). 二つのエントロピーを混同しない [論文88]. Zenodo. 10.5281/zenodo.21747809
- 山岸勇輝 (2026). 共有されたアルファベット [論文92]. Zenodo. 10.5281/zenodo.21758486
- 山岸勇輝 (2026). 規約と事実 [論文95]. Zenodo. 10.5281/zenodo.21758621
- 山岸勇輝 (2026). 極限としてのモジュール [論文113]. Zenodo. 10.5281/zenodo.21962996
- 山岸勇輝 (2026). 二つの時計、一つの尺度 [論文118]. Zenodo. 10.5281/zenodo.22036237
- 山岸勇輝 (2026). 第四の時計 [論文119]. Zenodo. 10.5281/zenodo.22036353
- 山岸勇輝 (2026). 集約の三つの別根 [論文124]. Zenodo. 10.5281/zenodo.22057728
作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
書誌
山岸勇輝(2026)「積分因子の存在は、温度を与えない」[論文126]. Zenodo.
DOI: 10.5281/zenodo.22079437
日付の証拠(OpenTimestamps):日本語版の .ots・英語版の .ots・SHA256SUMS
予備の置き場所(ミラー。中身は上と同じです):PDF 日本語・PDF English・SHA256SUMS
住所:https://www.yamagishiyuuki.com/yoi/126・DOI 10.5281/zenodo.22079437・CC BY 4.0・プレプリント(査読を経ていません)・ORCID 0009-0006-8587-3450
引用するとき
山岸勇輝 (2026). 積分因子の存在は、温度を与えない [論文126]. YOI: https://www.yamagishiyuuki.com/yoi/126 ・ DOI: 10.5281/zenodo.22079437
Yamagishi, Y. (2026). The Existence of an Integrating Factor Does Not Give You a Temperature [Paper 126]. YOI: https://www.yamagishiyuuki.com/yoi/126; DOI: 10.5281/zenodo.22079437
@misc{yamagishi2026yoi126,
author = {Yamagishi, Yuuki},
title = {The Existence of an Integrating Factor Does Not Give You a Temperature},
year = {2026},
howpublished = {YOI: https://www.yamagishiyuuki.com/yoi/126},
doi = {10.5281/zenodo.22079437},
note = {Preprint, edition 1}
}
指紋(SHA-256)と確かめ方
ead994a9f9b16a1a5219d535824ac39dd58c74608aa732c6f31632aed7eb7ce3 yamagishi_yoi126_v1_jp.pdfad47356827b6301a90bd2ca0934337363177f8a674bc789f54f26e0bf81ab759 yamagishi_yoi126_v1_en.pdfPDF と .ots を同じ場所に保存し、opentimestamps.org に .ots、続けて PDF を落とすと、記録された日時が表示されます。PDF が 1 バイトでも変わっていれば通りません。