仮定、妥当性および限界

あらゆる定量的枠組みは仮定の上に成り立ち、その権威は仮定によって境界づけられる。Schubart Master Formula は開放系における連続的な環境エネルギー変換のための一般的な収支恒等式——装置モデルではなく簿記構造——であり、その構造は明確な一組の前提を担っている。本章は各前提を明示的に述べ、それが成り立つ条件を与え、それが破綻する極限的な場合を特定する。目的は枠組みを擁護することではなく、それを囲い込むこと、すなわち恒等式がどこで適用され、どこで利用者がそれを信頼してはならないかを明瞭に示すことである。議論の対象となる正準の対象は

$$P(t) = \iint \Phi(E,\theta,t)\,\sigma(E)\,\Delta p\,v_{\text{ph}}\,\eta_{\text{conv}}\;dE\,d\theta ,$$

であり、その因子ごとの構成は数学的構造に示されている。以下ではその構成を所与として扱い、それを意味あるものにする条件を吟味する。

全体を通じて、二種類の言明を区別する。ある仮定は構造的である——それらは公式が何を意味するかを定義しており、別の公式を書くことなしには緩められない。他はモデル化の仮定である——モデルは扱いやすさのためにそれらを仮定しており、複雑さが増す代償を払えば原理的には緩められる。どちらがどちらかを明示する。なぜなら両者はまったく異なる仕方で破綻するからである。構造的仮定の破綻は恒等式がまったく適用されないことを意味する一方、モデル化の仮定の破綻は補正項が必要であることを意味する。

仮定A —— 五つの因子の線形性と独立性

言明。 被積分関数は五つの因子——フラックス密度、断面積、運動量移行、フォノン速度、変換効率——の積であり、各因子は一次で入る。この乗法的な形は、因子が統計的に独立であり、積分窓の内部でそのいずれも飽和せず互いに依存しないことを仮定する。

妥当性条件。 積の形が妥当なのは、五つの因子が別個の物理機構によって個別に決定され、一つを固定しても別の因子の分布が変化せず、かつ各因子が自らの引数について線形な領域で動作するときである。形式的には、同時期待値が因子分解し、$\langle \Phi\,\sigma\,\Delta p\,v_{\text{ph}}\,\eta\rangle \approx \langle\Phi\rangle\langle\sigma\rangle\langle\Delta p\rangle\langle v_{\text{ph}}\rangle\langle\eta\rangle$ となる必要があり、これは因子が無相関のときに成り立つ。

極限的な場合。 この形は、いずれかの因子が飽和するか別の因子と結合する場合に破綻する。入射フラックス $\Phi$ が上昇するにつれて $\eta_{\text{conv}}$ が低下するなら——変換媒体の飽和——$\Phi$ と $\eta$ は負に相関し、その積は出力を過大評価する。交差項 $\langle\Phi\,\eta\rangle - \langle\Phi\rangle\langle\eta\rangle$ を差し引かねばならない。同様に、$\sigma(E)$ 自体が入射強度に依存する場合(非線形断面積)、一次の仮定は破綻する。これはモデル化の仮定であり、その破綻は非消失の共分散によって示される。これは不確かさ解析で定量的に論じられる。

仮定B —— 多チャネルフラックスに対するチャネル加法性

言明。 複数の別個のエネルギーチャネルが環境駆動に寄与するとき、モデルはそれらのフラックスが加算されると仮定する。すなわち実効フラックスは総和 $\Phi_{\text{eff}} = \sum_c \Phi_c$ であり、各チャネルは同じ被積分関数構造に入る。

妥当性条件。 加法性は、チャネルがインコヒーレントであるとき——独立な位相を担い、それらの変換媒体への寄与が干渉しないとき——に成り立つ。これは統計的に独立な環境源の通常の状況であり、それらの強度(振幅ではなく)が加算される。

極限的な場合。 加法性は、チャネルが相互にコヒーレントであるときに破綻する。コヒーレントなチャネルは振幅のレベルで加算され、単純な総和を超えて総和を増強あるいは抑制しうる干渉交差項 $2\,\mathrm{Re}\langle A_c A_{c'}^{*}\rangle$ を生じる——これはコヒーレント増強で扱われる領域である。その領域では $\Phi_{\text{eff}} = \sum_c\Phi_c$ は完全なコヒーレント重ね合わせに置き換えられ、チャネル加法性はもはや妥当な簡約ではない。これもまたモデル化の仮定である。

仮定C —— 実効的でアンサンブル平均されたパラメータ

言明。 記号 $\sigma$、$\Delta p$、$v_{\text{ph}}$、$\eta_{\text{conv}}$ は、微視的に解像された関数ではなく、実効的な量——基礎となる分布のスペクトル平均あるいはアンサンブル平均された代表値——とみなされる。

妥当性条件。 実効平均が代表的であるのは、平均化窓が分布を完全に標本化するのに十分広く、かつ分布が窓を横切って変化しないほど十分狭いときである。すなわち、パラメータの分布は積分に寄与する $E$ と $\theta$ の範囲にわたっておよそ定常でなければならず、それによって単一の平均値が全体を代表する。

極限的な場合。 この簡約は、パラメータが窓の内部で急峻に変化するとき——たとえば $E$ に狭い共鳴を持つ断面積——に破綻する。このとき平均 $\langle\sigma\rangle$ は積分 $\int\sigma(E)\,\mathrm{d}E$ を誤って表す。共鳴が不釣り合いに寄与し、平均値がそれを捉えないからである。そのような場合には実効パラメータを解像されたプロファイルに置き換えねばならず、手法の章で述べられる代表スライス簡約は無効である。窓が代表的かどうかは経験的な問題であり、公式が保証できるものではない。

仮定D —— 定常な外部駆動と開放系交換

言明。 系は開放されており駆動されている。系は外部の環境リザーバとエネルギーを交換し、それが系を熱平衡から離れた状態に保つ。駆動が非対称であるため、非ゼロの正味運動量移行 $\Delta p$ が利用可能である。

妥当性条件。 これは平衡から離れたところで成り立つ。そこでは持続的な勾配あるいはフラックスが順過程と逆過程の対称性を破る。これは開放熱力学系で展開される。正味運動量移行 $\Delta p$ は対称性を破る因子であり、外部駆動によって詳細釣り合いが破られるときにのみ有限である。

極限的な場合。 詳細釣り合いにおいて——平衡へと緩和した閉じた系、あるいは順逆の速度が等しくなった駆動系——正味運動量移行は消失し、$\Delta p \to 0$、それとともに $P(t) \to 0$ となる。これは枠組み全体の中で最も重要な極限的な場合である。すなわちそれは構成上、熱力学第二法則を強制する。他の四つの因子をどう配置しても平衡状態で正味の連続出力を生み出すことはできない。それらに乗じられるべき因子が恒等的にゼロだからである。これは構造的仮定である。平衡系は単に枠組みの領域の外にある。

仮定E —— 変換効率の有界性

言明。 変換効率は有界であり、$0 \le \eta_{\text{conv}} \le 1$ である。

妥当性条件。 有界性は熱力学的許容性条件であり、常に妥当である。$\eta_{\text{conv}}$ は捕捉された出力のうち実際に変換された割合であり、割合が1を超えたり0を下回ったりすることはできない。$\eta_{\text{conv}} > 1$ を返すいかなる評価も因子を定義し損なっており——典型的には規格化基準出力を省いている——棄却されねばならない。

極限的な場合。 境界 $\eta_{\text{conv}} = 1$ は可逆で損失のない極限である。それは実際には決して到達されない上限であり、それを達成可能と扱うことは物理の極限的な場合ではなくモデル化の誤りである。下側の境界 $\eta_{\text{conv}} = 0$ は変換なしという自明な場合を復元する。$\eta_{\text{conv}}$ は被積分関数全体に乗じるので、他の因子がゼロに設定した出力を救済することは決してできないが、最大値に上限を課すことはできるし、実際にそうする。これは、公式が返す任意の数値の熱力学的許容性を保証する構造的制約である。

仮定F —— (E, θ) 積分の分離可能性

言明。 エネルギーと角度にわたる二重積分は、簡約される場合には分離可能として扱われる。$\iint g(E,\theta)\,\mathrm{d}E\,\mathrm{d}\theta \approx \big(\int g_E\,\mathrm{d}E\big)\big(\int g_\theta\,\mathrm{d}\theta\big)$ となり、スペクトル構造と角度構造が因子分解する。

妥当性条件。 分離可能性は、被積分関数のエネルギー依存性と角度依存性が独立であるとき——フラックスと断面積が着目領域にわたって $\Phi(E,\theta) \approx \Phi_E(E)\,\Phi_\theta(\theta)$ と因子分解するとき——に成り立つ。これはスペクトル・角度構造で論じられる。

極限的な場合。 分離可能性は、エネルギーと角度が相関するとき——たとえば入射スペクトルがかすめ角に向かって硬化し、$\Phi_E$ のピークが $\theta$ とともに移動するとき——に破綻する。このとき積分は因子分解せず、一次元積分の積が真の二次元積分を誤って見積もる。その場合には完全な二重積分を因子分解せずに数値的に評価せねばならず、代表スライスの近道は適用できない。これは扱いやすさのために採用されたモデル化の仮定である。

妥当性領域 —— 要約

これらをまとめると、Schubart Master Formula が堅固な基盤の上にあるのは、以下が同時に成り立つとき、かつそのときに限る。五つの因子が独立で非飽和であること(A)、寄与するチャネルがインコヒーレントでそのフラックスが加算されること(B)、実効パラメータが代表的な窓にわたって平均されること(C)、系が開放され平衡から離れて駆動されており、$\Delta p \neq 0$ であること(D)、効率が $0\le\eta_{\text{conv}}\le1$ を満たすこと(E)、そしてスペクトル依存性と角度依存性が分離可能であるか、さもなくば同時に積分されること(F)。これらのうち、(D)と(E)は構造的で交渉の余地がない——それらは枠組みを熱力学第二法則の正しい側にしっかりと置く——一方、(A)、(B)、(C)、(F)はモデル化の仮定であり、それぞれ明示的な補正項という代償を払えば緩められる。

したがって誠実な読み方はこうである。公式はその構造的仮定の下では厳密な収支恒等式であり、そのモデル化の仮定の下では制御された近似である。これらの条件の外では、公式は単に精度を失うのではなく、正しい対象であることをやめる。現実の環境系がどの領域を占めるのか、そして仮定(D)が要求する対称性を破る $\Delta p$ をどう測定するのかに関する未解決の問いは、科学的問いにまとめられており、これらの前提を根拠づける一次文献は参考文献に集められている。

参考文献

• H. B. Callen, Thermodynamics and an Introduction to Thermostatistics, 2nd ed. (Wiley, 1985) —— 仮定Dの基礎をなす詳細釣り合いと平衡極限について。
• S. R. de Groot and P. Mazur, Non-Equilibrium Thermodynamics (North-Holland, 1962; Dover reprint 1984) —— 開放系のエネルギー交換と持続的な駆動状態の条件について。
• JCGM 100:2008, Evaluation of Measurement Data — Guide to the Expression of Uncertainty in Measurement (GUM) —— 実効的で平均された入力量の取り扱いについて。