Допущения, область применимости и ограничения

Всякая количественная концепция опирается на допущения, и её авторитет ограничен ими. 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$, что выполняется, когда множители некоррелированы.

Предельный случай. Форма нарушается там, где любой множитель насыщается или связывается с другим. Если $\eta_{\text{conv}}$ падает с ростом падающего потока $\Phi$ — насыщение преобразующей среды, — то $\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}}$ — доля перехваченной мощности, фактически преобразованной, а доля не может превышать единицу или быть меньше нуля. Любое вычисление, возвращающее $\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) суть модельные допущения, каждое из которых может быть ослаблено ценой явного поправочного члена.

Честное прочтение, таким образом, таково: формула есть точное балансовое тождество при её структурных допущениях и контролируемое приближение при её модельных допущениях. Вне этих условий она не просто теряет точность; она перестаёт быть верным объектом. Открытые вопросы о том, какие режимы занимают реальные окружающие системы — и как измерить нарушающий симметрию $\Delta p$, которого требует допущение (D), — собраны в научных вопросах, а первичная литература, обосновывающая эти посылки, собрана в ссылках.

Дополнительное чтение

• 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 1984) — об энергообмене открытой системы и условиях устойчивого приводимого в действие состояния.
• JCGM 100:2008, Evaluation of Measurement Data — Guide to the Expression of Uncertainty in Measurement (GUM) — об обработке эффективных и усреднённых входных величин.