architecture
Mathematical Architecture
The formal structure of the P(t) master formula: integrand, integration domain, dimensional consistency, and the factorisation into physical stages.
This chapter sets out the formal architecture of the Schubart Master Formula: what is being integrated, over what domain, and why the resulting expression is dimensionally consistent. Having motivated the framework physically in the earlier chapters, the aim here is to make its mathematical skeleton fully explicit, so that any subsequent numerical or analytic work rests on an unambiguous definition.
The expanded physical representation
The canonical Schubart Master Formula is the compact volume form . To make its mathematical architecture fully explicit, this chapter works with its expanded physical representation,
Here is the instantaneous usable electrical power [W]; is the radiation flux density; is the scattering cross-section; is the directed momentum transfer; is the phonon velocity; and is the conversion efficiency. The double integral runs over the energy variable and the angular variable . This is the expanded physical representation; the same expression, together with the standard symbol glossary, is reproduced at the equation and the notation reference.
Reading the integrand as a product of stages
The integrand factorises into a chain of physical stages, and this factorisation is the organising idea of the whole framework. Reading left to right: supplies the incident resource; sets how strongly that resource couples to the material; converts coupling into directed momentum; transports that momentum; and rectifies it into usable power. Because these appear as a product, the whole integrand vanishes if any factor vanishes — the mathematical expression of the “chain” argument developed in non-equilibrium energy conversion. The product form also means the factors are, to first order, independently tunable: improving transport does not change coupling, and vice versa, which is what makes the framework useful for isolating bottlenecks.
The factorisation can be made precise. Only two factors carry the integration variables — the flux depends on and , and the cross-section depends on — while , , and are, in the basic form, treated as effective constants representative of the converter. Under that assumption the constant factors pull out of the integral,
so the entire spectral and angular content is concentrated in the overlap integral . This separation is what licenses the “isolate the bottleneck” methodology: one can study the environment-and-material overlap independently of the transport-and-rectification prefactor. When any of the three prefactors is in fact energy- or angle-dependent — for instance from the microscopic average — it must remain inside the integral, and the separation above holds only approximately. The framework states the general form with all factors inside the integral precisely so that this generalisation requires no change of structure.
Differentiating the factorised form gives the sensitivity of the output to each stage. Because the dependence is multiplicative, the relative sensitivities simply add:
A ten-percent improvement in any single factor yields a ten-percent improvement in the output, and the worst factor dominates the achievable gain. This logarithmic-derivative structure is the quantitative backbone of the bottleneck argument.
The integration domain
The domain of integration deserves care. The energy integral runs over the range of energies present in the ambient spectrum and to which the converter can couple; formally one may take it from zero to infinity, with the understanding that the integrand is negligible outside the support of . The angular integral runs over the solid angle subtended by the incident flux at the converter surface. In many treatments is a polar angle and a full solid-angle integration would introduce the usual measure; the framework keeps explicit precisely so that whatever angular measure is appropriate to a given geometry can be inserted without changing the overall structure. The important formal point is that the limits are set by the physical support of the integrand, not chosen arbitrarily.
Time dependence
The output carries an explicit time argument because the flux does. Time enters through ; the coupling and rectification factors are treated as quasi-static, meaning they respond effectively instantaneously to changes in flux on the timescales of interest. Consequently inherits its time dependence from the environment, and the framework naturally describes a converter whose output tracks a fluctuating ambient field. If any of the material parameters were themselves time-dependent — for example if drifted with temperature — they too could be given a time argument without altering the form of the integral.
The quasi-static assumption can be stated as a separation of timescales. Let be the characteristic time over which the ambient flux varies and the internal response time of the converter (set by scattering and collection). The instantaneous form of the master formula is valid when
so that at every instant the converter has effectively reached its steady response to the current flux. When this holds, one may average the output over an observation window to obtain a mean power,
which is the quantity most experiments actually report. Should the separation fail — a flux varying faster than the converter can respond — the framework would require a convolution with a response kernel in place of the instantaneous product, an extension that leaves the spectral–angular structure untouched but replaces the quasi-static factors with memory functions.
Order of integration and separability
Because the integrand is a product of a spectral–angular part and a set of quasi-constant factors, Fubini’s theorem guarantees that the double integral may be evaluated in either order, or , whenever the integrand is absolutely integrable — which it is, since and are non-negative and the integrand has finite support. This freedom is practically useful: one may integrate over angle first to obtain an effective spectral flux and then perform a single spectral overlap integral,
or, conversely, integrate over energy first to obtain an angular power pattern. The two routes must agree, and checking that they do is a simple but effective self-consistency test for any numerical implementation. When a factor genuinely couples the two variables — for instance an angle-dependent cross-section — separability is lost and the full double integral must be retained, but the interchange of integration order remains valid. This is another reason the framework is written with both integrals explicit rather than pre-collapsed into an effective one-dimensional form.
Dimensional consistency
A framework of this kind is only credible if it is dimensionally sound, so it is worth checking. The flux density has units of energy per area, per time, per solid angle, per energy — that is, when the energy density is expressed per joule. The cross-section contributes , the momentum transfer contributes , the phonon velocity contributes , and is dimensionless. The integration measure contributes energy times solid angle, . In any concrete realisation of the framework the product of these units, together with whatever proportionality constant relates the geometric factors to power, must reduce to watts. The framework requires that this reduction hold; a specific application must supply the constants that make the bookkeeping close exactly. This discipline — insisting that the units balance before any number is trusted — is what keeps the formalism from drifting into unfalsifiable territory.
Positivity and boundedness
Two structural properties reassure us that the formula is well-behaved. First, positivity: the flux is non-negative by definition, the cross-section is non-negative, is positive, and lies in . The only factor that can carry a sign is the directed momentum transfer , which is positive when the net push is toward the collection axis and would be negative for a push against it. In a properly oriented converter , so the integrand is non-negative and : the framework cannot report negative delivered power, as physical sense demands. Second, boundedness: because , the delivered power can never exceed the total rectifiable power crossing the boundary,
which is itself bounded by the incident flux. There is no configuration of the parameters that lets the output exceed the resource supplied by the environment. Positivity and boundedness together are the mathematical guarantees that correspond, respectively, to “no spontaneous reverse current” and “no output beyond the available resource” — the two things a credible energy-conversion model must never violate.
From structure to evaluation
With the architecture fixed, the remaining work is interpretation and evaluation. The meaning and units of each factor are catalogued in variable definitions; the control surface across which the balance is drawn is specified in system boundaries; the full step-by-step construction is given in full derivation; and the governing relations that follow from the structure are collected in governing relations.
Further reading
- R. Courant and D. Hilbert, Methods of Mathematical Physics, Vol. 1 (Interscience, 1953). Standard reference for the integral operators and separability arguments used here.
- G. B. Arfken, H. J. Weber, and F. E. Harris, Mathematical Methods for Physicists, 7th ed. (Academic Press, 2013). Multidimensional integration, measures, and dimensional reasoning.
- H. B. Callen, Thermodynamics and an Introduction to Thermostatistics, 2nd ed. (Wiley, 1985). On dimensional consistency and the units of energy-balance expressions.
- J. M. Ziman, Electrons and Phonons (Oxford University Press, 1960). Physical grounding for the transport prefactor .