This Möbius transformation maps the upper half-plane onto the unit disk. For $\mathrm{Im}z>0$, the identity $1-|C(z){|}^2=4\mathrm{Im}z/|z+i{|}^2$ puts the image inside the unit disk. Its inverse is $z=i(1+w)/(1-w)$, so the map is a conformal bijection. On the extended real boundary it maps onto the unit circle. It is the scalar complex-analytic version of a Cayley map, rather than the matrix parametrization used in Cayley transform.

A specimen-stage reference bearing a scale of known length, imaged through the microscope objective during microscope scale calibration.

A ruled scale viewed together with the intermediate microscope image. Its intervals acquire specimen length units through microscope scale calibration.

A Mersenne prime is a Mersenne number that is a prime number. It is the prime factor required by the Euclid-Euler theorem; $3,7,31,127$ generate $6,28,496,8128$. The family is named after Marin Mersenne.

A greedy matching starts with the empty matching in a graph, scans all edges in some order, and selects an edge exactly when both endpoints are unmatched vertices in a matching. For a finite graph, a complete scan returns a maximal matching: a rejected edge had a matched endpoint, which stays matched thereafter. Stopping before all edges have been considered need not give maximality. Changing the order can change the result; on P₄, middle-first gives one pair, whereas outer-first gives two. A greedy algorithm of this form never revisits its choices, while an augmenting path in a matching does.

An integer linear combination is a linear combination whose coefficients are integers. The lattice basis definition uses unique integer linear combinations, rather than arbitrary real coefficients. For example, $(1,0)$ is a real linear combination of $(2,0)$ but is not an integer linear combination of that single vector.

A contour plot displays several level curves of a real-valued function of two variables, usually with labels indicating their values. It represents a surface's height on a flat page. Closely spaced level curves indicate a large change per unit distance only when the gaps between their labeled values are comparable.

The 2024 operating instructions for PHYWE's 04361-00 apparatus describe a frit between two gas chambers. A copper-coil heat exchanger first restores inlet temperature after cylinder-regulator cooling. An upstream manometer reads gauge pressure; the outlet stays at atmospheric pressure. Two NiCr-Ni thermocouples sit 2–5 mm from the frit. The digital meter's difference mode reports $0.01\mathrm{K}$ precision.^[ref]

The manual specifies at most $1\mathrm{bar}$ gauge pressure, one hour of apparatus acclimatization, half an hour of meter warm-up, about 1.5 minutes of flow settling, then 10–15 seconds of averaging. It identifies a stagnant-gas zeroing error that shifts the fitted intercept and notes a maximum nitrogen signal of about $0.3\mathrm{K}$ in this setup.^[ref]

Define $x=p_1-p_2>0$ and $y=T_1-T_2$, so a small-drop fit is $y\simeq {\mu }_{\mathrm{JT}}x+c$. A constant sensor offset $c$ leaves the slope unchanged; pressure-dependent drift or heat leakage can alter it. The observable is the differential temperature slope across the plug, not cylinder-outlet cooling. Display precision alone does not establish accuracy or prove an isenthalpic process. This low-pressure, room-temperature apparatus does not map a complete Joule-Thomson inversion curve.

A hypothetical Van der Waals equation model illustrates positive and negative Joule-Thomson coefficient regions and a finite throttle that first warms, then cools. Use the molar convention already distinguished in Van der Waals equation:Here $v_{\mathrm{m}}$ is molar volume, $R$ the molar gas constant, $u_{\mathrm{m}}$ internal energy per mole, and $C_{V,\mathrm{m}}$ the stipulated constant molar heat capacity at fixed volume. The second equation is an additional caloric assumption: an equation of state alone does not specify the temperature dependence of internal energy. It satisfies the equilibrium identity $(\partial u_{\mathrm{m}}/\partial v_{\mathrm{m}}{)}_T=T(\partial p/\partial T{)}_{v_{\mathrm{m}}}-p=a_{\mathrm{m}}/v_{\mathrm{m}}^2$. The arbitrary energy reference is set to zero.

Define dimensionless variables $r=v_{\mathrm{m}}/b_{\mathrm{m}}$, $\theta =R{b}_{\mathrm{m}}T/a_{\mathrm{m}}$, $\pi =b_{\mathrm{m}}^{2}p/a_{\mathrm{m}}$ and $\eta =b_{\mathrm{m}}{h}_{\mathrm{m}}/a_{\mathrm{m}}$, where $h_{\mathrm{m}}$ is molar enthalpy. These differ from the critical-value scaling in Van der Waals law of corresponding states. The throttle calculation reduces toThus a prescribed inlet fixes $\eta$, and solving the first and last equations at the outlet pressure gives the final temperature. For an inlet $({\theta }_1,{\pi }_1)=(0.8,0.12)$ and outlet ${\pi }_2=0.025$, the model gives ${\theta }_2\simeq 0.752287$, a decrease of $0.047713$. The inlet $(2.2,0.12)$ instead gives ${\theta }_2\simeq 2.205786$, an increase of $0.005786$. The purple inlet $(1.45,0.30)$ initially warms but ends at ${\theta }_2\simeq 1.437585$ for the same outlet pressure. These are reduced toy values, not kelvin readings or experimental evidence. No physical gas parameters were fitted.

For a short inversion derivation, implicit differentiation of the Van der Waals equation at fixed pressure givesInsert this into $T(\partial v_{\mathrm{m}}/\partial T{)}_p=v_{\mathrm{m}}$ and substitute back into the equation of state. The Joule-Thomson inversion curve isPositive inversion pressure requires $r>3/2$. Its maximum pressure is $\pi =1/3$ at $r=3$, while the upper dilute limit is ${\theta }_{\mathrm{inv}}\to 2$. Using Van der Waals critical point values, the latter is $T_{\mathrm{inv},\max }/T_c=27/4$. The inversion locus depends on the equation of state; the chosen molar heat capacity additionally determines how much temperature changes along each finite throttle.^[ref]

The displayed region has $\theta >8/27$, above the model's critical temperature, and uses only $r>1$, $p>0$, $(\partial p/\partial v_{\mathrm{m}}{)}_T<0$ and positive $C_{p,\mathrm{m}}$. Subcritical calculations require attention to phase coexistence, metastability and the Maxwell construction; an unstable homogeneous continuation is not an equilibrium throttle endpoint. Even on a stable branch, this mean-field theory with constant $C_{V,\mathrm{m}}$ is a qualitative model, not an accurate inversion map for a particular real gas. Phase transitions, changing composition, appreciable heat leakage or bulk kinetic energy changes require a different property calculation or steady-flow energy balance. At phase coexistence, the smooth single-thermodynamic phase coefficient formula cannot replace a balance involving the phase fraction.

The Joule-Thomson inversion curve is the set of equilibrium temperature–pressure states where the Joule-Thomson coefficient vanishes. For positive heat capacity at constant pressure, its condition is $T\alpha =1$, with $\alpha$ the coefficient of thermal expansion. The curve separates locally cooling and warming throttle regions. A finite isenthalpic process can cross it, so the inlet sign alone does not fix the total temperature change. An ideal gas has zero coefficient everywhere, rather than an isolated dividing curve.

Divide $f$ by its finitely many interior zero factors, with each factor repeated according to its multiplicity of a zero. The resulting holomorphic function $g$ has no zeros of a function in the closed disk, so $\log |g|$ is a harmonic function and its circle average is $\log |g(0)|$ by the mean value property for harmonic functions. For each removed factor $z-a$, with $0<|a|<R$, the circle average of $\log |R{e}^{i\theta }-a|$ is $\log R$: factor out $R{e}^{i\theta }$ and apply the mean value property for harmonic functions to $\log |1-(a/R)w|$ on a neighbourhood of the closed unit disk. Reassembling the factors gives $\log (R/|a|)$ for each zero, proving Jensen's formula.

For a nonzero holomorphic function, $n_f(r)$ counts its zeros of a function in the centred open disc of radius $r$, with multiplicity of a zero. Thus a double zero counts twice, even though it is a single point. On every smaller closed disk in the domain the count is finite. The strict inequality $|a|<r$ specifies the convention at a zero modulus; elsewhere it agrees with counting in the closed disk. In the polynomial circle log-mean example the count is zero, one and two on the three displayed intervals.

Under the hypotheses of Jensen's formula, the circle log-mean is the angular average of the natural logarithm of the complex modulus. The factor $1/(2\pi )$ normalizes the integral to a mean. It averages values at equally weighted angles on the circle, and Jensen's formula computes it from $|f(0)|$ and the interior zeros of a function.

Dividing two extensive quantities with the same replication factor produces an intensive quantity:Division by volume gives a density, such as mass density $\rho =m/V$ or energy density $U/V$. Division by mass gives a specific quantity, such as specific internal energy $u=U/m$ or specific volume $v=V/m$. Division by amount of substance gives a molar quantity, such as molar volume $V_m=V/n$. Their units are respectively $\mathrm{kg}{\mathrm{m}}^{-3}$, $\mathrm{J}{\mathrm{m}}^{-3}$, $\mathrm{J}\mathrm{k}{\mathrm{g}}^{-1}$, ${\mathrm{m}}^3\mathrm{k}{\mathrm{g}}^{-1}$ and ${\mathrm{m}}^3\mathrm{mo}{\mathrm{l}}^{-1}$. The denominator must be stated: “per particle”, “per mole” and “per unit mass” are different normalizations.

For a hypothetical uniform parcel with mass $2\mathrm{kg}$, volume $0.002{\mathrm{m}}^3$ and internal energy $40\mathrm{kJ}$ relative to a specified reference, $u=20\mathrm{kJ}\mathrm{k}{\mathrm{g}}^{-1}$ and $\rho =1000\mathrm{kg}{\mathrm{m}}^{-3}$. Three independent copies have $6\mathrm{kg}$, $0.006{\mathrm{m}}^3$ and $120\mathrm{kJ}$; both ratios remain unchanged. This permits comparison of materials without confusing the amount tested with the state tested.

If $X$ and $Y$ are additive but the parcels have different $r_i=X_i/Y_i$, their composite ratio is a weighted arithmetic mean:The denominator supplies the weights: specific internal energy uses mass weights, while mass density uses volume weights. This identity is accounting for the specified subsystems; predicting a new state after mixing also needs the relevant equation of state.

The optical lens assembly that focuses the objective's parallel bundles into the intermediate microscope image in an infinity-corrected microscope. Its focal length participates in the objective-system transverse magnification $-f_t/f_o$.

A heat exchanger transfers heat between a fluid and another fluid or its surroundings. In measuring the Joule-Thomson effect with a porous plug, an upstream coil restores the inlet temperature before the measurement throttle; it belongs outside the approximately insulated measurement control volume.

For a nonnegative $f$, first set $g_n(x)=\min (f(x),n)1_{(1/n,n)}(x)$ and $F_n(x)={\int }_0^x{g}_n(t)dt$. These bounded functions vanish near zero and have compact support. Their averages have finite Lp norms: they vanish near zero and decay as $1/x$ beyond $n$. Integration by parts givesThe boundary term $x^{1-p}{F}_n(x{)}^p$ vanishes at zero because $F_n$ is zero there, and at infinity because $F_n$ is eventually constant and $p>1$. The inequality is Hölder's inequality with conjugate exponents $p$ and $p/(p-1)$. Divide when $I_n>0$; the zero case is immediate. Since $g_n\uparrow f$ and $H{g}_n\uparrow Hf$, the monotone convergence theorem proves the full bound without presupposing that $Hf$ has finite Lp norm. Apply it to $|f|$ for the signed or complex case.^[ref]

The indicator function example reaches a squared L2 norm ratio of two. To approach four, concentrate more strongly near zero. For $0\le a<1/2$, use the measurable functionAll integrals use Lebesgue measure $dx$. Keeping both portions of the squared L2 norm givesConsequently,Every allowed member has ratio strictly below four. For any proposed constant $C<4$, a sufficiently large $a<1/2$ has ratio greater than $C$. Combined with Hardy's integral inequality, this proves that four is the smallest possible squared L2 norm constant.^[ref]

The endpoint is excluded: at $a=1/2$, ${\int }_0^1|f_a{|}^{2}dx={\int }_0^1{x}^{-1}dx=\infty$, and the inner portion of $\Vert H{f}_a{\Vert }_2^2$ also diverges. Its tail still has finite integral four. There is no finite L2 norm ratio at this endpoint, hence no equality example obtained by substituting it. The limit four is unattained by this family. Multiplying each $f_a$ by $\sqrt{1-2a}$ makes its L2 norm one without changing the ratio.

Take the indicator function $f=1_{(0,1)}$. Direct integration givesAlthough the function vanishes beyond one, its average remembers the unit area accumulated before one. Squaring and integrating both portions givesThus the tail accounts for half of the squared L2 norm. Averaging does not always decrease the L2 norm with this Lebesgue measure on the half-line. The same indicator function also explains the restriction $p>1$: ${\int }_1^{\infty }{x}^{-1}dx=\infty$, so its average is not in L1 space.