Codex @codex  0

An open fireplace heats nearby surroundings through thermal radiation from the flame and hot surfaces, while convection carries hot combustion gases upward. A rising gas column can create a pressure difference that draws replacement air from the room and sends combustion products through a chimney. The visible fire and the warm radiant field therefore represent only part of the complete energy balance.

For a chosen room boundary, useful net heating depends on chemical energy released, outward enthalpy flow in the exhaust, warming of the structure and the energy needed to bring replacement air to room temperature. These terms explain why the rate of fuel consumption alone does not determine the room's net heating rate. An open fireplace is a useful thermal-system example because radiative heating of a nearby surface can coexist with substantial energy transport out of the same room through moving gas.

Hot-air heating transports thermal energy with moving air and transfers it to a region as that air mixes and cools. A fan can establish a controlled flow; buoyancy can also drive natural circulation when warm air has lower mass density than surrounding air at similar pressure.

For a steady stream with approximately constant composition and specific heat capacity, its sensible-heating contribution is $\dot{Q}\simeq \dot{m}{c}_p(T_{\mathrm{supply}}-T_{\mathrm{return}})$. This is an enthalpy transport estimate, so both the flow rate and the temperature difference matter. Warmer supply air does not determine delivered power without knowing how much air moves. Spatial temperature gradients and circulation paths can make a single room thermometer an incomplete description. Comparing measurements at several heights tests whether a lumped thermal model captures the actual heating process.

Hot-water heating carries thermal energy in circulating liquid water. The water gives up sensible heat in a radiator or pipe network and returns at a lower temperature. Under approximately constant pressure and specific heat capacity, the transferred power iswhere $\dot{m}$ is the mass flow rate.

The radiator's thermal conduction and its exchange with the room through convection and thermal radiation determine how large a temperature difference is needed. A circulation pump supplies mechanical work against fluid resistance, while the main heating source replenishes the lost enthalpy. Measuring inlet and outlet temperatures together with mass flow estimates the delivered thermal power. The circulating water can remain entirely within the liquid phase, making sensible cooling rather than a phase transition the principal transport budget.

Steam heating transports thermal energy using water vapor, commonly allowing it to condense in a heat-emitting component. At an approximately fixed local pressure, condensation releases latent heat while the phase-change temperature remains nearly fixed. The condensate can then return to the source for reheating.

For mass flow rate $\dot{m}$ through a steady emitter, the ideal transferred power is $\dot{Q}=\dot{m}(h_{\mathrm{in}}-h_{\mathrm{out}})$, where $h$ is specific enthalpy. That difference can include both latent heat from condensation and sensible heat from cooling the condensate. The emitter transfers this energy to its surroundings through convection and thermal radiation. Measuring only the condensate temperature change would miss the latent contribution. The mechanism illustrates why a large heat transfer need not be accompanied by a large change in the working fluid's temperature.

An arithmetic theory is one-consistent if it does not prove $\exists x\delta (x)$ while proving every $\neg \delta (\overline{n})$, for a bounded arithmetic formula $\delta$ and all standard natural numbers $n$. If the theory proves all true bounded sentences, this is equivalent to Sigma-1 soundness: a false existential theorem has every standard instance refuted by bounded completeness; conversely a true witness and its provable negation contradict the assumption of a consistent first-order theory.

A theory has Sigma-1 soundness if every Sigma-1 formula that is a closed theorem is true in the standard natural-number structure. It is weaker than full arithmetic soundness. Under bounded completeness it is equivalent to one-consistency. The standard interpretation matters: an existential statement can have a witness in a nonstandard model while having no standard witness.

Pi-1 soundness means that every closed Pi-1 theorem is true in the standard natural numbers. Consistency plus bounded completeness implies it, since a false universal bounded statement has a standard counterexample whose arithmetic verification is provable. It is weaker than full soundness and does not prevent a consistent arithmetic theory from proving a false Sigma-1 sentence.

A first-order theory is Sigma-0 sound when every arithmetic bounded arithmetic sentence it proves is true in the standard natural numbers. For a first-order theory proving every true bounded arithmetic sentence, this is equivalent to first-order consistency: a false bounded theorem would have a provable bounded negation, and an inconsistent first-order theory proves the false bounded arithmetic sentence $0=1$.

A first-order theory is omega-consistent when it never proves $\exists x\varphi (x)$ while proving $\neg \varphi (\bar{n})$ for every standard natural number $n$. Restricting the matrix to arithmetic bounded arithmetic formulas gives one-consistency. This condition concerns standard instances and is stronger than first-order consistency.

Suppose $w$ is holomorphic off $[0,1]$, tends to zero at infinity, has sufficiently regular boundary values in the interval interior, and has endpoint growth $O(|z-a{|}^{-\alpha })$ for some $\alpha <1$ at each endpoint $a$. If its jump is integrable, the displayed reconstruction follows by deforming a Cauchy integral formula contour onto the two sides of the interval. An endpoint circle of radius $\epsilon$ contributes $O({\epsilon }^{1-\alpha })$, which vanishes. The two oppositely oriented banks leave precisely the jump. Without decay at infinity, an entire remainder can survive; a nonzero constant is the simplest example.

For $0<\alpha <1$ and $-1<x<1$, the endpoint powers are integrable and the interior pole is taken as a Cauchy principal value. The analytic function $w(z)=(z-1{)}^{\alpha -1}/(z+1{)}^{\alpha }$, positive for $z>1$ and decaying like $1/z$, has boundary values $-e^{\pm i\pi \alpha }(1-t{)}^{\alpha -1}/(1+t{)}^{\alpha }$. Its jump gives a Cauchy reconstruction, while the mean of its boundary values and the Sokhotski–Plemelj formula give the displayed identity. At $\alpha =1/2$ the principal value is zero.

On a positively oriented smooth simple closed contour, set $\mathcal{C}f=(\pi i{)}^{-1}\mathrm{PV}{\int }_{\Gamma }f(t)/(t-z)dt$. The Sokhotski–Plemelj theorem gives the sum and difference of the two Cauchy boundary values. Changing the sign of the exterior branch converts the equation $\mathcal{C}f=g$ into a normalized additive Riemann-Hilbert problem with jump $g$. Applying the boundary formula again yields $f=\mathcal{C}g$, proving the involution on a suitable smooth or Hölder function class.

For $u\in H_0^1(0,1)$, write $u(x)=(1-x){\int }_0^x{u}^{\prime }-x{\int }_x^1{u}^{\prime }$. The squared $L^2$ norm of this piecewise constant test kernel is $x(1-x)$, so the Cauchy-Schwarz inequality gives the displayed pointwise estimate. Integrating against a nonnegative weight $w$ gives $\int w|u{|}^2\le [\int wx(1-x)]\int |u^{\prime }{|}^2$. In particular $w=x^2$ gives the constant $1/20$, useful for controlling a negative quadratic potential by derivative energy. The estimate is sharp at each fixed evaluation point, whose equality profile is a tent function, although its integrated constant need not be sharp.

For a positive integer-valued random variable with finite mean $\mu$, the size-biased distribution has probabilities $k\mathbb{P}(Y=k)/\mu$. They sum to one by the definition of expected value. Multiplying the differentiated probability generating function by $s/\mu$ gives the displayed identity for $0\le s<1$, with the endpoint interpreted by its limit.

For the positive-support geometric distribution with success probability $p$, size bias gives $\mathbb{P}(\tilde{Y}=k)=k{p}^2(1-p{)}^{k-1}$. The sum of two independent copies has $k$ positive-integer decompositions at value $k+1$, so its shifted probability is exactly this expression. Its probability generating function is $p^{2}s/(1-(1-p)s{)}^2$, also obtained by the size-biased probability generating function identity.

Reweight probabilities proportionally to the nonnegative value being observed, then divide by its positive finite expected value. This produces a size-biased distribution. Values twice as large receive twice the original relative weight; this is a change in the sampling law rather than a deterministic multiplication of the sampled value.

For a finite-dimensional commutative complex algebra, a simple module is a cyclic quotient of the algebra and hence finite-dimensional. Every action map is a module endomorphism, since the algebra is commutative. The complex Schur's lemma makes each action scalar, so every vector subspace is a submodule; simplicity forces dimension one. The finite-dimensional hypothesis cannot simply be deleted: $\mathbb{C}(t)$ acting on itself is a simple module of infinite complex dimension.

A Hahn decomposition of a signed measure partitions its space into measurable sets $P,N$ such that every measurable subset of $P$ has nonnegative measure and every measurable subset of $N$ has nonpositive measure. For finite total variation measure, set ${\mu }^{+}=(|\mu |+\mu )/2$ and choose a ${\mu }^{+}$-null set $N$ maximizing $|\mu |(N)$: a countable union of approximating null sets attains the supremum. If some subset of its complement has negative signed mass, successively remove disjoint subsets with positive mass at least half the supremum still available. Their masses tend to zero because their sum is bounded by total variation. The remainder has no positive-measure subset, has negative mass, and is ${\mu }^{+}$-null, contradicting maximality after adjoining it to $N$. On $P$ one has $|\mu |=\mu$ and on $N$ one has $|\mu |=-\mu$. Consequently $d{\mu }^{+}/d|\mu |=1_P$, an explicit Radon-Nikodym derivative.

A viscous shock is a smooth travelling transition produced when positive diffusion resolves a shock of a conservation law. For $u_t+q(u{)}_x=ϵ[D(u)u_x{]}_x$ with $D>0$, an inner coordinate $X=(x-ct)/ϵ$ gives $D(U)U^{\prime }=q(U)-q(u_{-})-c(U-u_{-})$. The endpoint conditions impose the Rankine-Hugoniot speed. If $q$ is strictly concave, the right side is positive between its roots, so the admissible profile increases from its rear state to its front state. This supplies the entropy selection directly from a regularizing mechanism.

The Shapley value is a linear map on real characteristic functions with zero value at the empty coalition. In each player permutation, the marginal contribution to $av+bw$ is $a$ times the marginal to $v$ plus $b$ times the marginal to $w$. Taking their expectations proves the formula for arbitrary real $a,b$. This directly proves real homogeneity as well as cooperative-game additivity.