(承前) P1（第一法則） U̇ = PE := PE,in −…

jrf> (承前)

P1（第一法則）
U̇ = PE := PE,in − PE,out(P1)

U　系の全物理エネルギー（J）。絶対連続
PE　同一境界を通る正味エネルギー流入率（W）。熱・仕事・物質の運ぶエネルギーを符号規約に従って全て含む。可積分

P2（第二法則）
Πgen ≥ 0,　D ≥ 0(P2)

Πgen　内部エントロピー生成率
D　エクセルギー破壊率（W）

P3（等温仕事不等式）
W = ΔFneq + D,　D ≥ 0　（等号は可逆極限）(P3)

W　温度 T0 の単一熱浴に接した等温プロトコルで外から系になされる仕事（J）
ΔFneq　非平衡自由エネルギーの差（J）
D　散逸（J）。非負

P4（基準環境つきエクセルギー収支）
Ḃp = Ẋin − Ẋout − Ẇu − J↑ + J↓ − Dp,　Dp ≥ 0(P4)

Bp　固定した基準環境 (T0, p0, {μ0i}) に対する物理エクセルギー（J）
Ẋin, Ẋout　境界を通るエクセルギーの流入率・非有用流出率（W）
Ẇu　有用仕事の出力率（W）
J↑, J↓　物理側から実装側への充填流と、逆向きの放出流（W）
Dp　物理側のエクセルギー破壊率

wα に必要な換算係数を含ませ、C := ΣwαHα、Sphys、Π を同じエントロピー単位 J/K で扱う。無次元の Shannon エントロピーを用いる場合は、kB その他の意味—物理換算係数を重みに明記した。Hα を既に J/K で定義する流儀を採るなら wα は無次元である。二つの流儀を同一式で混在はしていない。

十二支縁起「無明に縁りて行があり」厳密証明定理27無明起行定理

定理27無明起行 数式解説版日本語
https://tomabechi.jp/TomabechiAvijjaSankharaLayJA.html


定理27無明起行 数式解説版英語
https://tomabechi.jp/TomabechiAvijjaSankharaLayEN.html


定理27無明起行 学術版論文日本語
https://tomabechi.jp/TomabechiAvijjaSankharaJA.html


定理27無明起行 学術版論文英語
https://tomabechi.jp/TomabechiAvijjaSankharaEN.html


苫米地四法印定理論文と解説
論文 日本語版
https://tomabechi.jp/TomabechiFourDharmaSealsMini13JA.html


https://x.com/drtomabechi/status/2095603889244627183
＜＜