一个框架只有当它的单位能够闭合时才值得信赖。在 Schubart Master Formula 所产生的任何数值能被采信之前,被积函数与积分测度的乘积必须约化为瓦特——功率的 SI 单位——且不是别的什么。本章逐因子地执行这一约化,明确地消去单位,然后算一个数量级算例以展示这一记账的实际运作。算例中的每一个数字都是为使量纲可见而选取的示例性占位值 ,而非任何器件被测得或所声称的值。所考察的公式,以其取自方程式 的扩展的物理表示写出,为:
P ( t ) = ∬ Φ ( E , θ , t ) σ ( E ) Δ p v ph η conv d E d θ . P(t) = \iint \Phi(E,\theta,t)\,\sigma(E)\,\Delta p\,v_{\text{ph}}\,\eta_{\text{conv}}\;dE\,d\theta . P ( t ) = ∬ Φ ( E , θ , t ) σ ( E ) Δ p v ph η conv d E d θ .
每个因子的 SI 单位
我们列出每个因子及在变量定义 中赋予它的 SI 单位,在有助于消去时写出基本单位。
**通量密度 Φ ( E , θ , t ) \Phi(E,\theta,t) Φ ( E , θ , t ) 。**这是单位面积、单位时间、单位立体角、单位能量的入射场能量。以 SI 基本单位与相干单位写,
[ Φ ] = W m − 2 s r − 1 J − 1 = J s − 1 m − 2 s r − 1 J − 1 = s − 1 m − 2 s r − 1 . [\Phi] = \mathrm{W\,m^{-2}\,sr^{-1}\,J^{-1}} = \mathrm{J\,s^{-1}\,m^{-2}\,sr^{-1}\,J^{-1}} = \mathrm{s^{-1}\,m^{-2}\,sr^{-1}} . [ Φ ] = W m − 2 s r − 1 J − 1 = J s − 1 m − 2 s r − 1 J − 1 = s − 1 m − 2 s r − 1 .
两个焦耳——一个来自分子中的瓦特,一个来自分母中的每单位能量——立即相消,留下一个每秒、每面积、每球面度的能谱速率。把这一相消保持在视野中,是整个计算的关键。
**散射截面 σ ( E ) \sigma(E) σ ( E ) 。**一个有效面积:
[ σ ] = m 2 . [\sigma] = \mathrm{m^{2}} . [ σ ] = m 2 .
**动量转移 Δ p \Delta p Δ p 。**一个动量,质量乘速度:
[ Δ p ] = k g m s − 1 . [\Delta p] = \mathrm{kg\,m\,s^{-1}} . [ Δ p ] = kg m s − 1 .
**声子速度 v ph v_{\text{ph}} v ph 。**一个速度:
[ v ph ] = m s − 1 . [v_{\text{ph}}] = \mathrm{m\,s^{-1}} . [ v ph ] = m s − 1 .
**转换效率 η conv \eta_{\text{conv}} η conv 。**无量纲,一个在 [ 0 , 1 ] [0,1] [ 0 , 1 ] 中的纯数:
[ η conv ] = 1. [\eta_{\text{conv}}] = 1 . [ η conv ] = 1.
**积分测度 d E d θ dE\,d\theta d E d θ 。**能量乘立体角:
[ d E d θ ] = J s r . [dE\,d\theta] = \mathrm{J\,sr} . [ d E d θ ] = J sr .
消去单位
现在把被积函数乘以测度并约化。按因子出现的顺序把单位组装起来:
[ Φ ] [ σ ] [ Δ p ] [ v ph ] [ η conv ] [ d E d θ ] = ( s − 1 m − 2 s r − 1 ) ( m 2 ) ( k g m s − 1 ) ( m s − 1 ) ( 1 ) ( J s r ) . [\Phi][\sigma][\Delta p][v_{\text{ph}}][\eta_{\text{conv}}][dE\,d\theta]
= \big(\mathrm{s^{-1}\,m^{-2}\,sr^{-1}}\big)\,\big(\mathrm{m^{2}}\big)\,\big(\mathrm{kg\,m\,s^{-1}}\big)\,\big(\mathrm{m\,s^{-1}}\big)\,(1)\,\big(\mathrm{J\,sr}\big) . [ Φ ] [ σ ] [ Δ p ] [ v ph ] [ η conv ] [ d E d θ ] = ( s − 1 m − 2 s r − 1 ) ( m 2 ) ( kg m s − 1 ) ( m s − 1 ) ( 1 ) ( J sr ) .
一组一组地进行约化。
来自 σ \sigma σ 的面积消去 Φ \Phi Φ 中的逆面积:
m − 2 × m 2 = 1. \mathrm{m^{-2}} \times \mathrm{m^{2}} = 1 . m − 2 × m 2 = 1.
来自测度的球面度消去 Φ \Phi Φ 中的逆球面度:
s r − 1 × s r = 1. \mathrm{sr^{-1}} \times \mathrm{sr} = 1 . s r − 1 × sr = 1.
汇集那两次相消之后余下的,
s − 1 × ( k g m s − 1 ) × ( m s − 1 ) × J . \mathrm{s^{-1}} \times \big(\mathrm{kg\,m\,s^{-1}}\big) \times \big(\mathrm{m\,s^{-1}}\big) \times \mathrm{J} . s − 1 × ( kg m s − 1 ) × ( m s − 1 ) × J .
把来自 Δ p \Delta p Δ p 与 v ph v_{\text{ph}} v ph 的长度与时间因子归组:
( k g m s − 1 ) × ( m s − 1 ) = k g m 2 s − 2 = J . \big(\mathrm{kg\,m\,s^{-1}}\big) \times \big(\mathrm{m\,s^{-1}}\big) = \mathrm{kg\,m^{2}\,s^{-2}} = \mathrm{J} . ( kg m s − 1 ) × ( m s − 1 ) = kg m 2 s − 2 = J .
这是一个令人满意的中间检验:动量乘速度具有能量的量纲,恰如动能 p v p\,v p v 那样。于是运行中的乘积现在是
s − 1 × J × J = J 2 s − 1 . \mathrm{s^{-1}} \times \mathrm{J} \times \mathrm{J} = \mathrm{J^{2}\,s^{-1}} . s − 1 × J × J = J 2 s − 1 .
在这一点上,所列因子的裸乘积携带一个多余 的能量因子。这不是错误——它是该框架的量纲要求被明示出来。公式的一个物理上完整的实现必须提供一个把几何链条与功率联系起来、并携带量纲 J − 1 \mathrm{J^{-1}} J − 1 的比例常数(等价地,在具体模型中把动量、速度或能量因子之一归一化,使多余的能量被吸收)。一旦包含那个常数,乘积就干净地约化:
J 2 s − 1 × J − 1 = J s − 1 = W . \mathrm{J^{2}\,s^{-1}} \times \mathrm{J^{-1}} = \mathrm{J\,s^{-1}} = \mathrm{W} . J 2 s − 1 × J − 1 = J s − 1 = W .
最终单位是瓦特,正如要求。本质的结构性要点是,该框架并不凭空断言 瓦特;它要求 任何具体应用把记账闭合到瓦特,而闭合常数的位置是固定且可见的。正是这一严谨使该形式化可证伪,而非自由到可以报告任何它喜欢的量纲;同样的要求在数学架构 中以量纲一致性之名更简要地陈述。
约化的展示形式
把完整的相消压缩为一行,并把量纲为 J − 1 \mathrm{J^{-1}} J − 1 的归一化常数 κ \kappa κ 明示出来:
( s − 1 m − 2 s r − 1 ) ⏟ Φ ( m 2 ) ⏟ σ ( k g m s − 1 ) ⏟ Δ p ( m s − 1 ) ⏟ v ph ( 1 ) ⏟ η conv ( J s r ) ⏟ d E d θ ( J − 1 ) ⏟ κ = W . \underbrace{\big(\mathrm{s^{-1}\,m^{-2}\,sr^{-1}}\big)}_{\Phi}
\underbrace{\big(\mathrm{m^{2}}\big)}_{\sigma}
\underbrace{\big(\mathrm{kg\,m\,s^{-1}}\big)}_{\Delta p}
\underbrace{\big(\mathrm{m\,s^{-1}}\big)}_{v_{\text{ph}}}
\underbrace{(1)}_{\eta_{\text{conv}}}
\underbrace{\big(\mathrm{J\,sr}\big)}_{dE\,d\theta}
\underbrace{\big(\mathrm{J^{-1}}\big)}_{\kappa}
= \mathrm{W} . Φ ( s − 1 m − 2 s r − 1 ) σ ( m 2 ) Δ p ( kg m s − 1 ) v ph ( m s − 1 ) η conv ( 1 ) d E d θ ( J sr ) κ ( J − 1 ) = W .
每一个非平凡的单位在分子与分母中各出现恰好一次:m − 2 \mathrm{m^{-2}} m − 2 对 m 2 \mathrm{m^{2}} m 2 ,s r − 1 \mathrm{sr^{-1}} s r − 1 对 s r \mathrm{sr} sr ,多余的 J \mathrm{J} J 对 κ \kappa κ 的 J − 1 \mathrm{J^{-1}} J − 1 。三个幸存的因子——千克、剩下的两个米、以及三个逆秒——组合成 k g m 2 s − 3 \mathrm{kg\,m^{2}\,s^{-3}} kg m 2 s − 3 ,这是瓦特的基本单位拼写。
一个数量级算例(仅为示例)
为了看到算术与单位并肩运行,我们代入整数占位数字。**这些值纯粹是为演练量纲机器而选取的;它们不代表任何被测得的能谱、材料或器件,不应从中得出关于可达功率的任何结论。**它们仅是示例性的数量级。
取单个代表性切片,使用来自完整推导 的约化乘积形式 P ≈ Φ σ Δ p v ph η conv Δ E Δ θ P \approx \Phi\,\sigma\,\Delta p\,v_{\text{ph}}\,\eta_{\text{conv}}\,\Delta E\,\Delta\theta P ≈ Φ σ Δ p v ph η conv Δ E Δ θ ,并赋值:
Φ ∼ 10 20 s − 1 m − 2 s r − 1 \Phi \sim 10^{20}\ \mathrm{s^{-1}\,m^{-2}\,sr^{-1}} Φ ∼ 1 0 20 s − 1 m − 2 s r − 1 (一个占位的能谱速率),
σ ∼ 10 − 28 m 2 \sigma \sim 10^{-28}\ \mathrm{m^{2}} σ ∼ 1 0 − 28 m 2 (一个占位的截面),
Δ p ∼ 10 − 27 k g m s − 1 \Delta p \sim 10^{-27}\ \mathrm{kg\,m\,s^{-1}} Δ p ∼ 1 0 − 27 kg m s − 1 (一个占位的定向动量),
v ph ∼ 10 3 m s − 1 v_{\text{ph}} \sim 10^{3}\ \mathrm{m\,s^{-1}} v ph ∼ 1 0 3 m s − 1 (一个占位的晶格速度),
η conv ∼ 10 − 1 \eta_{\text{conv}} \sim 10^{-1} η conv ∼ 1 0 − 1 (一个占位的效率,无量纲),
Δ E ∼ 10 − 20 J \Delta E \sim 10^{-20}\ \mathrm{J} Δ E ∼ 1 0 − 20 J (一个占位的能量窗口),
Δ θ ∼ 1 s r \Delta\theta \sim 1\ \mathrm{sr} Δ θ ∼ 1 sr (一个占位的角度窗口),
以及一个归一化常数 κ ∼ 10 18 J − 1 \kappa \sim 10^{18}\ \mathrm{J^{-1}} κ ∼ 1 0 18 J − 1 以闭合量纲。
把数值前因子相乘:
10 20 × 10 − 28 × 10 − 27 × 10 3 × 10 − 1 × 10 − 20 × 1 × 10 18 = 10 20 − 28 − 27 + 3 − 1 − 20 + 18 = 10 − 35 . 10^{20}\times10^{-28}\times10^{-27}\times10^{3}\times10^{-1}\times10^{-20}\times1\times10^{18}
= 10^{\,20-28-27+3-1-20+18} = 10^{-35} . 1 0 20 × 1 0 − 28 × 1 0 − 27 × 1 0 3 × 1 0 − 1 × 1 0 − 20 × 1 × 1 0 18 = 1 0 20 − 28 − 27 + 3 − 1 − 20 + 18 = 1 0 − 35 .
把单位相乘,我们已经表明链条约化为瓦特。所以这个示例切片给出
P ∼ 10 − 35 W . P \sim 10^{-35}\ \mathrm{W} . P ∼ 1 0 − 35 W .
两点说明。第一,这里的指数 完全是为使相消清晰可读而选取的整数的产物;把任何占位值改变几个数量级,它就相应移动,这正是它绝不能被当作物理预测来读的原因。第二——这也是持久的教益——不论数字如何,单位 都算出为瓦特。这一分离正是量纲分析的全部要点:它独立于任何特定值而验证公式的结构 ,并在一组所提因子甚至无法被组装成功率时立即发出警示。
量纲分析确立什么、不确立什么
算出瓦特是必要的,但不是充分的。它确认五个因子与测度组合成一个功率,没有悬空的单位,且任何归一化常数的位置都固定而明确。它不 确认数值是对的,不确认占位因子描述任何真实环境,也不确认按这些规格建造的器件会奏效。那些是通过测量各因子——尤其是破缺对称性的 Δ p \Delta p Δ p ——来解决的经验问题,如工程解读 中所讨论,并在数值模拟 中以数值方式检验。量纲的稳健是入场券,而非终点。